Sum-of-squares decompositions for a family of CHSH-like inequalities and their application to self-testing

Abstract

We introduce two families of sum-of-squares (SOS) decompositions for the Bell operators associated with the tilted CHSH expressions introduced in Phys. Rev. Lett. 108, 100402 (2012). These SOS decompositions provide tight upper bounds on the maximal quantum value of these Bell expressions. Moreover, they establish algebraic relations that are necessarily satisfied by any quantum state and observables yielding the optimal quantum value. These algebraic relations are then used to show that the tilted CHSH expressions provide robust self-tests for any partially entangled two-qubit state. This application to self-testing follows closely the approach of Phys. Rev. A 87, 050102 (2013), where we identify and correct two non-trivial flaws.

14 pages, 3 figures

References in corpus (4)

• A convergent hierarchy of semidefinite programs characterizing the set of quantum correlations
• Bounding the set of quantum correlations
• Symmetry groups, semidefinite programs, and sums of squares
• Robust Self Testing of the Singlet

Cited by in corpus (66)

• Semidefinite programming relaxations for quantum correlations
• Device-independent certification of Hilbert space dimension using a family of Bell expressions
• Robust self-testing of steerable quantum assemblages and its applications on device-independent quantum certification
• Experimental robust self-testing of the state generated by a quantum network
• Device-independent quantum key distribution with arbitrarily small nonlocality
• Understanding the interplay of entanglement and nonlocality: motivating and developing a new branch of entanglement theory
• Oblivious communication game, self-testing of projective and non-projective measurements and certification of randomness
• Semi-definite programming and quantum information
• Experimental demonstration of one-sided device-independent self-testing of any pure two-qubit entangled state
• The quantum marginal problem for symmetric states: applications to variational optimization, nonlocality and self-testing
• Quantifying EPR: the resource theory of nonclassicality of common-cause assemblages
• Sum-of-squares decompositions for a family of noncontextuality inequalities and self-testing of quantum devices
• Robust Semi-Device Independent Certification of All Pure Bipartite Maximally Entangled States via Quantum Steering
• Self-testing of multipartite GHZ states of arbitrary local dimension with arbitrary number of measurements per party
• Certification of incompatible measurements using quantum steering
• Self-testing maximally-dimensional genuinely entangled subspaces within the stabilizer formalism
• An elegant proof of self-testing for multipartite Bell inequalities
• Self-testing quantum states via nonmaximal violation in Hardy's test of nonlocality
• Device-independent quantification of measurement incompatibility
• Self-testing of binary Pauli measurements requiring neither entanglement nor any dimensional restriction
• Custom Bell inequalities from formal sums of squares
• Robust certification of arbitrary outcome quantum measurements from temporal correlations
• The future of secure communications: device independence in quantum key distribution
• Certifying long-range quantum correlations through routed Bell tests
• Certification of the maximally entangled state using non-projective measurements
• Certificates of quantum many-body properties assisted by machine learning
• Geometrical self-testing of partially entangled two-qubit states
• Tilted Hardy paradoxes for device-independent randomness extraction
• Experimental certification of more than one bit of quantum randomness in the two inputs and two outputs scenario
• Self-testing of multiple unsharpness parameters through sequential violations of non-contextual inequality
• Self-testing tilted strategies for maximal loophole-free nonlocality
• Self-testing of different entanglement resources via fixed measurement settings
• Biased Random Access Codes
• Separation of quantum, spatial quantum, and approximate quantum correlations
• Model-independent inference of quantum interaction from statistics
• A universal scheme to self-test any quantum state or measurement
• An operator-algebraic formulation of self-testing
• Quantum value for a family of $I_{3322}$-like Bell functionals
• Self-testing composite measurements and bound entangled state in a single quantum network
• Computational Complexity and the Nature of Quantum Mechanics
• Extremal Tsirelson inequalities
• Robust one-sided self-testing of two-qubit states via quantum steering
• Almost device-independent certification of GME states with minimal measurements
• Strength of the nonlocality of two-qubit entangled state and its applications
• Quantum bounds and device-independent security with rank-one qubit measurements
• Parallel remote state preparation for fully device-independent verifiable blind quantum computation
• SOS decomposition for general Bell inequalities in two qubits systems and its application to quantum randomness
• Translating Bell Non-Locality to Prepare-and-Measure Scenarios under Dimensional Constraints
• Topologically noise robust network steering without inputs
• Composable framework for device-independent state certification
• Genuine multipartite entanglement is not necessary for standard device-independent conference key agreement
• Supersinglets can be self-tested with perfect quantum strategies
• Investigating an approach of robustly self-testing two-qubit entangled states
• Expanding bipartite Bell inequalities for maximum multi-partite randomness
• An operational notion of classicality based on physical principles
• Rigidity for Monogamy-of-Entanglement Games
• Tight analytic bound on the trade-off between device-independent randomness and nonlocality
• Self-testing of symmetric three-qubit states
• Self-Testing Graph States Permitting Bounded Classical Communication
• Certifying classes of $d$-outcome measurements with quantum steering
• Device-independent secure correlations in sequential quantum scenarios
• Tight and self-testing multipartite quantum Bell inequalities from the renormalization group
• Robust self-testing and certified randomness based on chained Bell inequality
• Communication scenario enables robust self-testing of n-party Greenberger-Horne-Zeilinger basis measurements
• Any gate of a quantum computer can be certified device-independently
• Exploring Bell nonlocality of quantum networks with stabilizing and logical operators