Robust self-testing of quantum systems via noncontextuality inequalities

Abstract

Characterising unknown quantum states and measurements is a fundamental problem in quantum information processing. In this Letter, we provide a novel scheme to self-test local quantum systems using non-contextuality inequalities. Our work leverages the graph-theoretic framework for contextuality introduced by Cabello, Severini, and Winter, combined with tools from mathematical optimisation that guarantee the unicity of optimal solutions. As an application, we show that the celebrated Klyachko-Can-Biniciogglu-Shumovsky inequality and its generalisation to contextuality scenarios with odd n-cycle compatibility relations admit robust self-testing.

arXiv commentManuscript accepted in Physical Review Letter

References in corpus (21)

• A simple test for hidden variables in spin-1 system
• Quantum steering: a review with focus on semidefinite programming
• Experimentally testable state-independent quantum contextuality
• Secure device-independent quantum key distribution with causally independent measurement devices
• Distinguishing separable and entangled states
• The Communication Cost of Simulating Bell Correlations
• Graph-Theoretic Approach to Quantum Correlations
• Specker's Parable of the Over-protective Seer: A Road to Contextuality, Nonlocality and Complementarity (PLUS AN ERRATUM)
• Robust Self Testing of the Singlet
• Detecting non-locality in multipartite quantum systems with two-body correlation functions
• All Pure Bipartite Entangled States can be Self-Tested
• Improving zero-error classical communication with entanglement
• Analytic and nearly optimal self-testing bounds for the Clauser-Horne-Shimony-Holt and Mermin inequalities
• Finding optimal strategies for minimum-error quantum-state discrimination
• Self-testing multipartite entangled states through projections onto two systems
• Memory cost of quantum contextuality
• Pentagrams and paradoxes
• Optimal classical simulation of state-independent quantum contextuality
• Bridging the gap between general probabilistic theories and the device-independent framework for nonlocality and contextuality
• Quantum State Tomography with incomplete data: Maximum Entropy and Variational Quantum Tomography
• Structure of the set of quantum correlators via semidefinite programming

Cited by in corpus (47)

• Noisy intermediate-scale quantum (NISQ) algorithms
• Self-testing of quantum systems: a review
• Kochen-Specker Contextuality
• Scalable Bell inequalities for qubit graph states and robust self-testing
• Machine Learning meets Quantum Foundations: A Brief Survey
• Semidefinite programming relaxations for quantum correlations
• Quantum contextuality provides communication complexity advantage
• Significant-loophole-free test of Kochen-Specker contextuality using two species of atomic-ions
• Noisy intermediate-scale quantum algorithm for semidefinite programming
• Self-testing of a single quantum device under computational assumptions
• Sum-of-squares decompositions for a family of noncontextuality inequalities and self-testing of quantum devices
• Robust Semi-Device Independent Certification of All Pure Bipartite Maximally Entangled States via Quantum Steering
• Self-testing maximally-dimensional genuinely entangled subspaces within the stabilizer formalism
• Self-testing of binary Pauli measurements requiring neither entanglement nor any dimensional restriction
• Bell non-locality and Kochen-Specker contextuality: How are they connected?
• Graph-Theoretic Framework for Self-Testing in Bell Scenarios
• Robust certification of arbitrary outcome quantum measurements from temporal correlations
• Certifying sets of quantum observables with any full-rank state
• Topological contextuality and anyonic statistics of photonic-encoded parafermions
• Optimal and tight Bell inequalities for state-independent contextuality sets
• Experimental test of high-dimensional quantum contextuality based on contextuality concentration
• Certifying dimension of quantum systems by sequential projective measurements
• Local certification of programmable quantum devices of arbitrary high dimensionality
• Large violations in Kochen Specker contextuality and their applications
• Experimental self-testing for photonic graph states
• Revealing quantum contextuality using a single measurement device
• Connecting XOR and XOR* games
• Scalable noncontextuality inequalities and certification of multiqubit quantum systems
• Non-classical Correlations in n-Cycle Setting
• A computational test of quantum contextuality, and even simpler proofs of quantumness
• Optimal Measurement Structures for Contextuality Applications
• Lifting noncontextuality inequalities
• Bosonic Indistinguishability-Dependent Contextuality
• Certification of two-qubit quantum systems with temporal inequality
• Exploring the boundary of quantum correlations with a time-domain optical processor
• The quantum maxima for the basic graphs of exclusivity are not reachable in Bell scenarios
• Certifying Temporal Correlations
• Contextuality of Quantum Error-Correcting Codes
• Experimental Approach to Demonstrating Contextuality for Qudits
• Unexpected consequences of Post-Quantum theories in the graph-theoretical approach to correlations
• Twenty years of quantum contextuality at USTC
• Graph-theoretic approach to dimension witnessing
• All fundamental non-contextuality inequalities are unique
• Communication scenario enables robust self-testing of n-party Greenberger-Horne-Zeilinger basis measurements
• Certification of multi-qubit quantum systems with temporal inequalities
• Contextuality, superlocality and nonclassicality of supernoncontextuality
• Convexity of noncontextual wirings and how they order the set of correlations