Self-testing of binary observables based on commutation

Abstract

We consider the problem of certifying binary observables based on a Bell inequality violation alone, a task known as self-testing of measurements. We introduce a family of commutation-based measures, which encode all the distinct arrangements of two projective observables on a qubit. These quantities by construction take into account the usual limitations of self-testing and since they are "weighted" by the (reduced) state, they automatically deal with rank-deficient reduced density matrices. We show that these measures can be estimated from the observed Bell violation in several scenarios and the proofs rely only on standard linear algebra. The trade-offs turn out to be tight and, in particular, they give non-trivial statements for arbitrarily small violations. On the other extreme, observing the maximal violation allows us to deduce precisely the form of the observables, which immediately leads to a complete rigidity statement. In particular, we show that for all $n\ge 3$ the $n$-partite Mermin-Ardehali-Belinskii-Klyshko inequality self-tests the $n$-partite Greenberger-Horne-Zeilinger state and maximally incompatible qubit measurements on every party. Our results imply that any pair of projective observables on a qubit can be certified in a truly robust manner. Finally, we show that commutation-based measures give a convenient way of expressing relations among more than two observables.

5 + 4 pages. v2: published version; v3: formatting errors fixed

References in corpus (11)

• Device-independent security of quantum cryptography against collective attacks
• Private Randomness Expansion With Untrusted Devices
• 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
• Robust self testing of the 3-qubit $W$ state
• Device-independent tomography of multipartite quantum states
• Multi-setting Bell inequality for qudits
• The Parallel-Repeated Magic Square Game is Rigid
• Biased nonlocal quantum games
• Overlapping qubits

Cited by in corpus (52)

• Self-testing of quantum systems: a review
• Geometry of the set of quantum correlations
• Self-testing quantum states and measurements in the prepare-and-measure scenario
• Fully device independent Conference Key Agreement
• Self-testing multipartite entangled states through projections onto two systems
• Self-testing mutually unbiased bases in the prepare-and-measure scenario
• Self-testing of Pauli observables for device-independent entanglement certification
• Self-testing entangled measurements in quantum networks
• Maximal nonlocality from maximal entanglement and mutually unbiased bases, and self-testing of two-qutrit quantum systems
• Noise-resistant device-independent certification of Bell state measurements
• Device-Independent Certification of Genuinely Entangled Subspaces
• Device-independent characterization of quantum instruments
• Maximal randomness from partially entangled states
• Self-testing properties of Gisin's elegant Bell inequality
• Experimentally Robust Self-testing for Bipartite and Tripartite Entangled States
• Optimization of device-independent witnesses of entanglement depth from two-body correlators
• Robust self-testing of two-qubit states
• Experimental robust self-testing of the state generated by a quantum network
• Device-independent quantum key distribution with arbitrarily small nonlocality
• A weak form of self-testing
• Robust Self-Testing of Multiparticle Entanglement
• Self-testing with finite statistics enabling the certification of a quantum network link
• Self-testing maximally-dimensional genuinely entangled subspaces within the stabilizer formalism
• Self-testing of multipartite GHZ states of arbitrary local dimension with arbitrary number of measurements per party
• An elegant proof of self-testing for multipartite Bell inequalities
• Self-testing of binary Pauli measurements requiring neither entanglement nor any dimensional restriction
• Certified Quantum Measurement of Majorana Fermions
• Self-testing and certification using trusted quantum inputs
• Robust certification of arbitrary outcome quantum measurements from temporal correlations
• Structure of the set of quantum correlators via semidefinite programming
• Testing local-realism and macro-realism under generalized dichotomic measurements
• Constant-sized correlations are sufficient to robustly self-test maximally entangled states with unbounded dimension
• Self-testing two-qubit maximally entangled states from generalized CHSH tests
• Authenticated teleportation with one-sided trust
• Certification of three black boxes with unsharp measurements using $3\to 1$ sequential quantum random access codes
• Device-independent certification of non-classical joint measurements via causal models
• Network-Device-Independent Certification of Causal Nonseparability
• An Operational Environment for Quantum Self-Testing
• Improved and Formal Proposal for Device Independent Quantum Private Query
• Simultaneous Certification of Entangled States and Measurements in Bounded Dimensional Semi-Quantum Games
• Quantum bounds for compiled XOR games and $d$-outcome CHSH games
• Robust certification of quantum instruments through a sequential communication game
• Quantifying Multipartite Quantum Entanglement in a Semi-Device-Independent Manner
• Graph-theoretic approach to dimension witnessing
• A mathematical foundation for self-testing: Lifting common assumptions
• Investigating an approach of robustly self-testing two-qubit entangled states
• Parallel remote state preparation for fully device-independent verifiable blind quantum computation
• Expanding bipartite Bell inequalities for maximum multi-partite randomness
• An approach using geometric diagrams to generic Bell inequalities with multiple observables
• Nonlocality as a consequence of complementarity
• Controlling nonlocality of bipartite qubit states via quantum channels
• Tight analytic bound on the trade-off between device-independent randomness and nonlocality