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.

arXiv comment14 pages, 3 figures

References in corpus (8)

• Bell nonlocality
• 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
• Randomness vs Non Locality and Entanglement
• Robust Self Testing of the Singlet
• Guess your neighbour's input: a multipartite non-local game with no quantum advantage
• Robust Self Testing of Unknown Quantum Systems into Any Entangled Two-Qubit States

Cited by in corpus (119)

• Quantum steering: a review with focus on semidefinite programming
• Self-testing of quantum systems: a review
• All Pure Bipartite Entangled States can be Self-Tested
• Geometry of the set of quantum correlations
• Analytic and nearly optimal self-testing bounds for the Clauser-Horne-Shimony-Holt and Mermin inequalities
• Self-testing quantum states and measurements in the prepare-and-measure scenario
• Self-testing of binary observables based on commutation
• Self-testing multipartite entangled states through projections onto two systems
• Bell inequalities tailored to maximally entangled states
• Self-testing mutually unbiased bases in the prepare-and-measure scenario
• Device-independent parallel self-testing of two singlets
• Self-testing protocols based on the chained Bell inequalities
• Quantifying Bell: the Resource Theory of Nonclassicality of Common-Cause Boxes
• Scalable Bell inequalities for qubit graph states and robust self-testing
• Rigidity of quantum steering and one-sided device-independent verifiable quantum computation
• Self-testing of Pauli observables for device-independent entanglement certification
• Certifying the building blocks of quantum computers from Bell's theorem
• Self-testing entangled measurements in quantum networks
• Self-testing through EPR-steering
• Enabling computation of correlation bounds for finite-dimensional quantum systems via symmetrisation
• Maximal nonlocality from maximal entanglement and mutually unbiased bases, and self-testing of two-qutrit quantum systems
• Semidefinite programming relaxations for quantum correlations
• Noise-resistant device-independent certification of Bell state measurements
• Device-independent characterization of quantum instruments
• Bounding sets of sequential quantum correlations and device-independent randomness certification
• Maximal randomness from partially entangled states
• One-sided Device-independent Self-testing of any Pure Two-qubit Entangled State
• Experimentally Robust Self-testing for Bipartite and Tripartite Entangled States
• Optimization of device-independent witnesses of entanglement depth from two-body correlators
• Device-independent certification of Hilbert space dimension using a family of Bell expressions
• Robust self-testing of two-qubit states
• 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
• Randomness versus nonlocality in the Mermin-Bell experiment with three parties
• Understanding the interplay of entanglement and nonlocality: motivating and developing a new branch of entanglement theory
• Device-independent tests of structures of measurement incompatibility
• Oblivious communication game, self-testing of projective and non-projective measurements and certification of randomness
• Semi-definite programming and quantum information
• A weak form of self-testing
• Test for a large amount of entanglement, using few measurements
• Device-independent Certification of One-shot Distillable Entanglement
• Experimental demonstration of one-sided device-independent self-testing of any pure two-qubit entangled state
• Two-Qubit Pure Entanglement as Optimal Social Welfare Resource in Bayesian Game
• The quantum marginal problem for symmetric states: applications to variational optimization, nonlocality and self-testing
• Self-testing with finite statistics enabling the certification of a quantum network link
• 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
• A two-player dimension witness based on embezzlement, and an elementary proof of the non-closure of the set of quantum correlations
• Self-testing of multipartite GHZ states of arbitrary local dimension with arbitrary number of measurements per party
• Device-Independent Bit Commitment based on the CHSH Inequality
• Self-testing maximally-dimensional genuinely entangled subspaces within the stabilizer formalism
• Robust Semi-Device Independent Certification of All Pure Bipartite Maximally Entangled States via Quantum Steering
• 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
• Device-independent randomness generation with sublinear shared quantum resources
• Experimental comparison of tomography and self-testing in certifying entanglement
• 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
• Limitations of semidefinite programs for separable states and entangled games
• Custom Bell inequalities from formal sums of squares
• Maximal Violation of a Broad Class of Bell Inequalities and Its Implications on Self-Testing
• Robust certification of arbitrary outcome quantum measurements from temporal correlations
• The future of secure communications: device independence in quantum key distribution
• A versatile construction of Bell inequalities for the multipartite scenario
• Certifying long-range quantum correlations through routed Bell tests
• Non-local games and optimal steering at the boundary of the quantum set
• Certification of the maximally entangled state using non-projective measurements
• Certificates of quantum many-body properties assisted by machine learning
• Parallel self-testing of (tilted) EPR pairs via copies of (tilted) CHSH
• Constant-sized correlations are sufficient to robustly self-test maximally entangled states with unbounded dimension
• Tilted Hardy paradoxes for device-independent randomness extraction
• Geometrical self-testing of partially entangled two-qubit states
• A generalization of CHSH and the algebraic structure of optimal strategies
• Experimental certification of more than one bit of quantum randomness in the two inputs and two outputs scenario
• SymDPoly: symmetry-adapted moment relaxations for noncommutative polynomial optimization
• Self-testing of multiple unsharpness parameters through sequential violations of non-contextual inequality
• Self-testing tilted strategies for maximal loophole-free nonlocality
• Separation of quantum, spatial quantum, and approximate quantum correlations
• Biased Random Access Codes
• Self-testing quantum systems of arbitrary local dimension with minimal number of measurements
• Self-testing of different entanglement resources via fixed measurement settings
• Model-independent inference of quantum interaction from statistics
• An operator-algebraic formulation of self-testing
• A universal scheme to self-test any quantum state or measurement
• Self-testing composite measurements and bound entangled state in a single quantum network
• Computational Complexity and the Nature of Quantum Mechanics
• Quantum value for a family of $I_{3322}$-like Bell functionals
• Extremal Tsirelson inequalities
• Almost device-independent certification of GME states with minimal measurements
• Robust one-sided self-testing of two-qubit states via quantum steering
• How to avoid (apparent) signaling in Bell tests
• Strength of the nonlocality of two-qubit entangled state and its applications
• Quantum bounds and device-independent security with rank-one qubit measurements
• Simultaneous Certification of Entangled States and Measurements in Bounded Dimensional Semi-Quantum Games
• 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
• Parallel remote state preparation for fully device-independent verifiable blind quantum computation
• Expanding bipartite Bell inequalities for maximum multi-partite randomness
• Experimental self-testing of entangled states
• 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
• 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
• Communication scenario enables robust self-testing of n-party Greenberger-Horne-Zeilinger basis measurements
• Robust self-testing and certified randomness based on chained Bell inequality
• Any gate of a quantum computer can be certified device-independently
• Tight and self-testing multipartite quantum Bell inequalities from the renormalization group
• Device-independent secure correlations in sequential quantum scenarios
• Certifying classes of $d$-outcome measurements with quantum steering
• Self-Testing Graph States Permitting Bounded Classical Communication
• Tight analytic bound on the trade-off between device-independent randomness and nonlocality
• Exploring Bell nonlocality of quantum networks with stabilizing and logical operators
• Self-testing of symmetric three-qubit states
• Rigidity for Monogamy-of-Entanglement Games