Author:
Liu Yuan,Ramanathan Ravishankar,Horodecki Karol,Rosicka Monika,Horodecki Paweł
Abstract
AbstractThe Kochen-Specker (KS) theorem is a cornerstone result in the foundations of quantum mechanics describing the fundamental difference between quantum theory and classical non-contextual theories. Recently specific substructures termed 01-gadgets were shown to exist within KS proofs that capture the essential contradiction of the theorem. Here, we show these gadgets and their generalizations provide an optimal toolbox for contextuality applications including (i) constructing classical channels exhibiting entanglement-assisted advantage in zero-error communication, (ii) identifying large separations between quantum theory and binary generalized probabilistic theories, and (iii) finding optimal tests for contextuality-based semi-device-independent randomness generation. Furthermore, we introduce and study a generalization to definite prediction sets for more general logical propositions, that we term higher-order gadgets. We pinpoint the role these higher-order gadgets play in KS proofs by identifying these as induced subgraphs within KS graphs and showing how to construct proofs of state-independent contextuality using higher-order gadgets as building blocks. The constructions developed here may help in solving some of the remaining open problems regarding minimal proofs of the Kochen-Specker theorem.
Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Computer Networks and Communications,Statistical and Nonlinear Physics,Computer Science (miscellaneous)
Reference49 articles.
1. Kochen, S. & Specker, E. P. The problem of hidden variables in quantum mechanics. J. Math. Mech. 17, 59–87 (1967).
2. Bell, J. B. On the problem of hidden variables in quantum mechanics. Rev. Mod. Phys. 38, 447 (1966).
3. Clifton, R. Getting contextual and nonlocal elements-of-reality the easy way. Am. J. Phys. 61, 443–447 (1993).
4. Stairs, A. Quantum logic, realism, and value definiteness. Philos. Sci. 50, 578–602 (1983).
5. Hardy, L. Nonlocality for two particles without inequalities for almost all entangled states. Phys. Rev. Lett. 71, 1665 (1993).