Custom Bell inequalities from formal sums of squares

Abstract

Bell inequalities play a key role in certifying quantum properties for device-independent quantum information protocols. It is still a major challenge, however, to devise Bell inequalities tailored for an arbitrary given quantum state. Existing approaches based on sums of squares provide results in this direction, but they are restricted by the necessity of first choosing measurement settings suited to the state. Here, we show how the sum of square property can be enforced for an arbitrary target state by making an appropriate choice of nullifiers, which is made possible by leaving freedom in the choice of measurement. Using our method, we construct simple Bell inequalities for several families of quantum states, including partially entangled multipartite GHZ states and qutrit states. In most cases we are able to prove that the constructed Bell inequalities achieve self-testing of the target state. We also use the freedom in the choice of measurement to self-test partially entangled two-qubit states with a family of settings with two parameters. Finally, we show that some statistics can be self-tested with distinct Bell inequalities, hence obtaining new insight on the shape of the set of quantum correlations.

arXiv comment19+5 pages, 4+1 figures

References in corpus (51)

• Bell nonlocality
• Entanglement detection
• Device-independent security of quantum cryptography against collective attacks
• Random Numbers Certified by Bell's Theorem
• Bell inequalities for arbitrarily high dimensional systems
• A convergent hierarchy of semidefinite programs characterizing the set of quantum correlations
• Bounding the set of quantum correlations
• Self-testing of quantum systems: a review
• Private Randomness Expansion With Untrusted Devices
• Quantum non-locality in two three-level systems
• Randomness vs Non Locality and Entanglement
• Experimental device-independent quantum key distribution between distant users
• Device-independent witnesses of genuine multipartite entanglement
• Robust Self Testing of the Singlet
• All Pure Bipartite Entangled States can be Self-Tested
• Sum-of-squares decompositions for a family of CHSH-like inequalities and their application to self-testing
• Device-independent entanglement quantification and related applications
• Quantum Pseudo-Telepathy
• Geometry of the set of quantum correlations
• More Randomness from the Same Data
• Spectral decomposition of Bell's operators for qubits
• Convergent relaxations of polynomial optimization problems with non-commuting variables
• Robust and versatile black-box certification of quantum devices
• Photonic verification of device-independent quantum key distribution against collective attacks
• Using complete measurement statistics for optimal device-independent randomness evaluation
• Self-testing multipartite entangled states through projections onto two systems
• Bell inequalities tailored to maximally entangled states
• All the self-testings of the singlet for two binary measurements
• Self-testing protocols based on the chained Bell inequalities
• Classifying 50 years of Bell inequalities
• Scalable Bell inequalities for qubit graph states and robust self-testing
• Robust self testing of the 3-qubit $W$ state
• Certifying the building blocks of quantum computers from Bell's theorem
• Violations of Bell inequalities as lower bounds on the communication cost of non-local correlations
• Device-independent tomography of multipartite quantum states
• Reexamination of a multisetting Bell inequality for qudits
• Maximal nonlocality from maximal entanglement and mutually unbiased bases, and self-testing of two-qutrit quantum systems
• Quantum networks self-test all entangled states
• Multi-setting Bell inequality for qudits
• Device-independent characterization of quantum instruments
• Device-independent detection of genuine multipartite entanglement for all pure states
• Quantum Correlations in the Minimal Scenario
• Robust self-testing of two-qubit states
• A generalization of the CHSH inequality self-testing maximally entangled states of any local dimension
• Self-testing of multipartite GHZ states of arbitrary local dimension with arbitrary number of measurements per party
• Self-testing quantum states via nonmaximal violation in Hardy's test of nonlocality
• Bell inequalities tailored to the Greenberger-Horne-Zeilinger states of arbitrary local dimension
• Quantum correlations on the no-signaling boundary: self-testing and more
• Scalable Bell inequalities for graph states of arbitrary prime local dimension and self-testing
• Adjusting inequalities for detection-loophole-free steering experiments
• Self-testing of different entanglement resources via fixed measurement settings

Cited by in corpus (8)

• Semidefinite programming relaxations for quantum correlations
• Extremal Tsirelson inequalities
• Quantum bounds for compiled XOR games and $d$-outcome CHSH games
• Genuine multipartite entanglement is not necessary for standard device-independent conference key agreement
• Composable framework for device-independent state certification
• Expanding bipartite Bell inequalities for maximum multi-partite randomness
• Translating Bell Non-Locality to Prepare-and-Measure Scenarios under Dimensional Constraints
• Photonic quantum information with time-bins: Principles and applications