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.

19+5 pages, 4+1 figures

References in corpus (21)

• Entanglement detection
• Device-independent security of quantum cryptography against collective attacks
• A convergent hierarchy of semidefinite programs characterizing the set of quantum correlations
• Bounding the set of quantum correlations
• Private Randomness Expansion With Untrusted Devices
• Experimental device-independent quantum key distribution between distant users
• 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
• Photonic verification of device-independent quantum key distribution against collective attacks
• Classifying 50 years of Bell inequalities
• Robust self testing of the 3-qubit $W$ state
• Device-independent tomography of multipartite quantum states
• Quantum networks self-test all entangled states
• Multi-setting Bell inequality for qudits
• Quantum Correlations in the Minimal Scenario
• 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
• 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
• 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