A weak form of self-testing

Abstract

The concept of self-testing (or rigidity) refers to the fact that for certain Bell inequalities the maximal violation can be achieved in an essentially unique manner. In this work we present a family of Bell inequalities which are maximally violated by multiple inequivalent quantum realisations. We completely characterise the quantum realisations achieving the maximal violation and we show that each of them requires a maximally entangled state of two qubits. This implies the existence of a new, weak form of self-testing in which the maximal violation allows us to identify the state, but does not fully determine the measurements. From the geometric point of view the set of probability points that saturate the quantum bound is a line segment. We then focus on a particular member of the family and show that the self-testing statement is robust, i.e. that observing a non-maximal violation allows us to make a quantitative statement about the unknown state. To achieve this we present a new construction of extraction channels and analyse their performance. For completeness we provide two independent approaches: analytical and numerical. The noise robustness, i.e. the amount of white noise at which the bound becomes trivial, of the analytical bound is rather small (~0.06%), but the numerical method takes us into an experimentally-relevant regime (~5%). We conclude by investigating the amount of randomness that can be certified using these Bell violations. Perhaps surprisingly, we find that the qualitative behaviour resembles the behaviour of rigid inequalities like the Clauser-Horne-Shimony-Holt inequality. This shows that at least for some device-independent applications rigidity is not a necessary ingredient.

5 + 10 pages, 3 figures, comments welcome; accepted manuscript

References in corpus (9)

• Device-independent security of quantum cryptography against collective attacks
• A convergent hierarchy of semidefinite programs characterizing the set of quantum correlations
• Bounding the set of quantum correlations
• Certified randomness in quantum physics
• Robust Self Testing of the Singlet
• Sum-of-squares decompositions for a family of CHSH-like inequalities and their application to self-testing
• Robust and versatile black-box certification of quantum devices
• Device-independent tomography of multipartite quantum states
• Self-testing properties of Gisin's elegant Bell inequality

Cited by in corpus (17)

• Mutually unbiased bases and symmetric informationally complete measurements in Bell experiments
• Device-Independent Certification of Genuinely Entangled Subspaces
• Quantum Correlations in the Minimal Scenario
• Understanding the interplay of entanglement and nonlocality: motivating and developing a new branch of entanglement theory
• Sum-of-squares decompositions for a family of noncontextuality inequalities and self-testing of quantum devices
• Self-testing quantum states via nonmaximal violation in Hardy's test of nonlocality
• Quantum correlations on the no-signaling boundary: self-testing and more
• Certifying sets of quantum observables with any full-rank state
• Near-maximal two-photon entanglement for quantum communications at 2.1 $\mu$m
• Scalable Bell inequalities for graph states of arbitrary prime local dimension and self-testing
• A generalization of CHSH and the algebraic structure of optimal strategies
• Unconditional quantum magic advantage in shallow circuit computation
• Quantum value for a family of $I_{3322}$-like Bell functionals
• Device-independent certification of desirable properties with a confidence interval
• Counterexamples in self-testing
• Maximal device-independent randomness in every dimension
• Trading symmetry for Hilbert-space dimension in Bell-inequality violation