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 (73)

• Semidefinite programming relaxations for quantum correlations
• Bounding sets of sequential quantum correlations and device-independent randomness certification
• Device-independent certification of Hilbert space dimension using a family of Bell expressions
• Experimental robust self-testing of the state generated by a quantum network
• Robust self-testing of steerable quantum assemblages and its applications on device-independent quantum certification
• 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
• A weak form of self-testing
• Semi-definite programming and quantum information
• The quantum marginal problem for symmetric states: applications to variational optimization, nonlocality and self-testing
• Experimental demonstration of one-sided device-independent self-testing of any pure two-qubit entangled state
• 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
• Certification of incompatible measurements using quantum steering
• 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
• 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
• Device-independent certification of tensor products of quantum states using single-copy self-testing protocols
• 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
• Constant-sized correlations are sufficient to robustly self-test maximally entangled states with unbounded dimension
• Geometrical self-testing of partially entangled two-qubit states
• A generalization of CHSH and the algebraic structure of optimal strategies
• 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 tilted strategies for maximal loophole-free nonlocality
• Self-testing of multiple unsharpness parameters through sequential violations of non-contextual inequality
• Self-testing quantum systems of arbitrary local dimension with minimal number of measurements
• Separation of quantum, spatial quantum, and approximate quantum correlations
• Self-testing of different entanglement resources via fixed measurement settings
• Biased Random Access Codes
• 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
• Self-testing composite measurements and bound entangled state in a single quantum network
• Computational Complexity and the Nature of Quantum Mechanics
• Extremal Tsirelson inequalities
• Quantum value for a family of $I_{3322}$-like Bell functionals
• Strength of the nonlocality of two-qubit entangled state and its applications
• Almost device-independent certification of GME states with minimal measurements
• Quantum bounds and device-independent security with rank-one qubit measurements
• Simultaneous Certification of Entangled States and Measurements in Bounded Dimensional Semi-Quantum Games
• Robust one-sided self-testing of two-qubit states via quantum steering
• SOS decomposition for general Bell inequalities in two qubits systems and its application to quantum randomness
• An operational notion of classicality based on physical principles
• Investigating an approach of robustly self-testing two-qubit entangled states
• Supersinglets can be self-tested with perfect quantum strategies
• Genuine multipartite entanglement is not necessary for standard device-independent conference key agreement
• Parallel remote state preparation for fully device-independent verifiable blind quantum computation
• Composable framework for device-independent state certification
• Topologically noise robust network steering without inputs
• Translating Bell Non-Locality to Prepare-and-Measure Scenarios under Dimensional Constraints
• Expanding bipartite Bell inequalities for maximum multi-partite randomness
• Self-testing of symmetric three-qubit states
• Robust self-testing and certified randomness based on chained Bell inequality
• Rigidity for Monogamy-of-Entanglement Games
• Self-Testing Graph States Permitting Bounded Classical Communication
• Tight analytic bound on the trade-off between device-independent randomness and nonlocality
• Certifying classes of $d$-outcome measurements with quantum steering
• Exploring Bell nonlocality of quantum networks with stabilizing and logical operators
• 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
• Device-independent secure correlations in sequential quantum scenarios
• Tight and self-testing multipartite quantum Bell inequalities from the renormalization group