Graph-Theoretic Framework for Self-Testing in Bell Scenarios

Abstract

Quantum self-testing is the task of certifying quantum states and measurements using the output statistics solely, with minimal assumptions about the underlying quantum system. It is based on the observation that some extremal points in the set of quantum correlations can only be achieved, up to isometries, with specific states and measurements. Here, we present a new approach for quantum self-testing in Bell non-locality scenarios, motivated by the following observation: the quantum maximum of a given Bell inequality is, in general, difficult to characterize. However, it is strictly contained in an easy-to-characterize set: the \emph{theta body} of a vertex-weighted induced subgraph $(G,w)$ of the graph in which vertices represent the events and edges join mutually exclusive events. This implies that, for the cases where the quantum maximum and the maximum within the theta body (known as the Lovász theta number) of $(G,w)$ coincide, self-testing can be demonstrated by just proving self-testability with the theta body of $G$. This graph-theoretic framework allows us to (i) recover the self-testability of several quantum correlations that are known to permit self-testing (like those violating the Clauser-Horne-Shimony-Holt (CHSH) and three-party Mermin Bell inequalities for projective measurements of arbitrary rank, and chained Bell inequalities for rank-one projective measurements), (ii) prove the self-testability of quantum correlations that were not known using existing self-testing techniques (e.g., those violating the Abner Shimony Bell inequality for rank-one projective measurements). Additionally, the analysis of the chained Bell inequalities gives us a closed-form expression of the Lovász theta number for a family of well-studied graphs known as the Möbius ladders, which might be of independent interest in the community of discrete mathematics.

arXiv comment29 pages

References in corpus (42)

• Supplementary information for "Quantum supremacy using a programmable superconducting processor"
• Bell nonlocality
• Quantum computational advantage using photons
• Multidimensional quantum entanglement with large-scale integrated optics
• A convergent hierarchy of semidefinite programs characterizing the set of quantum correlations
• Bounding the set of quantum correlations
• Graph-Theoretic Approach to Quantum Correlations
• Bell-type inequalities to detect true n-body non-separability
• Bell Inequalities for Graph States
• Robust Self Testing of the Singlet
• Verifiable measurement-only blind quantum computing with stabilizer testing
• A Combinatorial Approach to Nonlocality and Contextuality
• All noncontextuality inequalities for the n-cycle scenario
• "All versus nothing" inseparability for two observers
• Analytic and nearly optimal self-testing bounds for the Clauser-Horne-Shimony-Holt and Mermin inequalities
• Robust and versatile black-box certification of quantum devices
• Robust Self Testing of Unknown Quantum Systems into Any Entangled Two-Qubit States
• Physical characterization of quantum devices from nonlocal correlations
• Robustness and device independence of verifiable blind quantum computing
• Bell inequalities tailored to maximally entangled states
• All the self-testings of the singlet for two binary measurements
• Self-testing mutually unbiased bases in the prepare-and-measure scenario
• Device-independent entanglement certification of all entangled states
• Self-testing non-projective quantum measurements in prepare-and-measure experiments
• Self-testing protocols based on the chained Bell inequalities
• Device-independent parallel self-testing of two singlets
• Robust self testing of the 3-qubit $W$ state
• Self-testing of Pauli observables for device-independent entanglement certification
• "No Information Without Disturbance": Quantum Limitations of Measurement
• Fully nonlocal quantum correlations
• Maximal nonlocality from maximal entanglement and mutually unbiased bases, and self-testing of two-qutrit quantum systems
• Tsirelson's problem and an embedding theorem for groups arising from non-local games
• Robust self-testing of quantum systems via noncontextuality inequalities
• Self-guaranteed measurement-based quantum computation
• Converting contextuality into nonlocality
• Maximal quantum randomness in Bell tests
• Mermin inequalities for perfect correlations
• Bounding sets of sequential quantum correlations and device-independent randomness certification
• Generalized Ardehali-Bell inequalities for graph states
• Quantum correlations from simple assumptions
• Self-testing using only marginal information
• Structure of the set of quantum correlators via semidefinite programming

Cited by in corpus (8)

• Certifying sets of quantum observables with any full-rank state
• Experimental test of high-dimensional quantum contextuality based on contextuality concentration
• Certifying nonstabilizerness in quantum processors
• Experimental Quantum Advantage in the Odd-Cycle Game
• Certifying Temporal Correlations
• Certification of multi-qubit quantum systems with temporal inequalities
• Multipartite entanglement vs nonlocality for two families of $N$-qubit states
• Communication scenario enables robust self-testing of n-party Greenberger-Horne-Zeilinger basis measurements