Large violations in Kochen Specker contextuality and their applications

Abstract

The Kochen-Specker (KS) theorem is a fundamental result in quantum foundations that has spawned massive interest since its inception. We present state-independent non-contextuality inequalities with large violations, in particular, we exploit a connection between Kochen-Specker proofs and pseudo-telepathy games to show KS proofs in Hilbert spaces of dimension $d\ge 2^{17}$ with the ratio of quantum value to classical bias being $O(\sqrt{d}/\log d)$. We study the properties of this KS set and show applications of the large violation. It has been recently shown that Kochen-Specker proofs always consist of substructures of state-dependent contextuality proofs called $01$-gadgets or bugs. We show a one-to-one connection between $01$-gadgets in ${\mathbb{C}}^d$ and Hardy paradoxes for the maximally entangled state in ${\mathbb{C}}^d\otimes {\mathbb{C}}^d$. We use this connection to construct large violation $01$-gadgets between arbitrary vectors in ${\mathbb{C}}^d$, as well as novel Hardy paradoxes for the maximally entangled state in ${\mathbb{C}}^d\otimes {\mathbb{C}}^d$, and give applications of these constructions. As a technical result, we show that the minimum dimension of the faithful orthogonal representation of a graph in ${\mathbb{R}}^d$ is not a graph monotone, a result that that may be of independent interest.

arXiv comment16 pages, 4 figures

References in corpus (30)

• Random Numbers Certified by Bell's Theorem
• Contextuality supplies the magic for quantum computation
• A simple test for hidden variables in spin-1 system
• Experimentally testable state-independent quantum contextuality
• Free randomness can be amplified
• Bell-Kochen-Specker theorem: A proof with 18 vectors
• Graph-Theoretic Approach to Quantum Correlations
• State-independent proof of Kochen-Specker theorem with 13 rays
• Full randomness from arbitrarily deterministic events
• Improving zero-error classical communication with entanglement
• Strong Kochen-Specker theorem and incomputability of quantum randomness
• Memory cost of quantum contextuality
• Robust Device-Independent Randomness Amplification with Few Devices
• State independent contextuality advances one-way communication
• A variant of the Kochen-Specker theorem localising value indefiniteness
• Robust self-testing of quantum systems via noncontextuality inequalities
• Basic exclusivity graphs in quantum correlations
• Randomness amplification against no-signaling adversaries using two devices
• Free randomness amplification using bipartite chain correlations
• Minimal true-implies-false and true-implies-true sets of propositions in noncontextual hidden variable theories
• Device-independent Randomness Amplification and Privatization
• Quantum theory allows for absolute maximal contextuality
• Gadget structures in proofs of the Kochen-Specker theorem
• Ladder proof of nonlocality without inequalities and without probabilities
• Does ignorance of the whole imply ignorance of the parts? - Large violations of non-contextuality in quantum theory
• Extensions of Hardy-type true-implies-false gadgets to classically obtain indistinguishability
• Contextuality offers device-independent security
• State-independent quantum contextuality and maximum nonlocality
• Amplifying the randomness of weak sources correlated with devices
• Quantum randomness is chimeric

Cited by in corpus (2)

• Tilted Hardy paradoxes for device-independent randomness extraction
• Optimal Measurement Structures for Contextuality Applications