Strong Kochen-Specker theorem and incomputability of quantum randomness
arXiv:1207.2029 · doi:10.1103/PhysRevA.86.062109
Abstract
The Kochen-Specker theorem shows the impossibility for a hidden variable theory to consistently assign values to certain (finite) sets of observables in a way that is non-contextual and consistent with quantum mechanics. If we require non-contextuality, the consequence is that many observables must not have pre-existing definite values. However, the Kochen-Specker theorem does not allow one to determine which observables must be value indefinite. In this paper we present an improvement on the Kochen-Specker theorem which allows one to actually locate observables which are provably value indefinite. Various technical and subtle aspects relating to this formal proof and its connection to quantum mechanics are discussed. This result is then utilized for the proposal and certification of a dichotomic quantum random number generator operating in a three-dimensional Hilbert space.
31 pages, 5 figures, final version
References in corpus (17)
- Random Numbers Certified by Bell's Theorem
- Observation of three-photon Greenberger-Horne-Zeilinger entanglement
- Experimentally testable state-independent quantum contextuality
- State-independent experimental test of quantum contextuality
- Experimental non-classicality of an indivisible quantum system
- Experimental test of quantum contextuality in neutron interferometry
- State-independent quantum contextuality with single photons
- Quantum random number generator based on photonic emission in semiconductors
- Optical Quantum Random Number Generator
- Quantum randomness and value indefiniteness
- Three criteria for quantum random number generators based on beam splitters
- Quantum Random Number Generator using Photon-Number Path Entanglement
- Logical equivalence between generalized urn models and finite automata
- How much contextuality?
- Generalized Kochen-Specker Theorem
- Noncontextuality in multipartite entanglement
- Von Neumann Normalisation of a Quantum Random Number Generator
Cited by in corpus (47)
- Quantum Random Number Generators
- Kochen-Specker Contextuality
- Quantum Theory and Determinism
- A variant of the Kochen-Specker theorem localising value indefiniteness
- Value-indefinite observables are almost everywhere
- Multiplexed Quantum Random Number Generation
- Realization of a quantum random generator certified with the Kochen-Specker theorem
- Confined Contextuality in Neutron Interferometry: Observing the Quantum Pigeonhole Effect
- A Quantum Random Number Generator Certified by Value Indefiniteness
- Experimentally Probing the Algorithmic Randomness and Incomputability of Quantum Randomness
- Inequalities witnessing coherence, nonlocality, and contextuality
- Gadget structures in proofs of the Kochen-Specker theorem
- Non-signaling deterministic models for non-local correlations have to be uncomputable
- What makes quantum clicks special?
- New forms of quantum value indefiniteness suggest that incompatible views on contexts are epistemic
- Unscrambling the Quantum Omelette
- On the unpredictability of individual quantum measurement outcomes
- Searching for evidence of algorithmic randomness and incomputability in the output of quantum random number generators
- A Non-Probabilistic Model of Relativised Predictability in Physics
- The Minimum Complexity of Kochen-Specker Sets Does Not Scale with Dimension
- Ontological Models in Quantum Mechanics: What do they tell us?
- Universal security for randomness expansion from the spot-checking protocol
- Quantum randomness is chimeric
- Roots and (re)sources of value (in)definiteness versus contextuality. A contribution to the Pitowsky Volume in memory of Itamar Pitowsky (1950--2010)
- Classical predictions for intertwined quantum observables are contingent and thus inconclusive
- Large violations in Kochen Specker contextuality and their applications
- Semi-device independent randomness certification using Mermin's proof of Kochen-Specker contextuality
- Contextuality witness inspired by optimal state discrimination
- The Golay codes and Quantum Contextuality
- Connecting XOR and XOR* games
- Varieties of contextuality based on probability and structural nonembeddability
- Parity-based, bias-free optical quantum random number generation with min-entropy estimation
- Generalised Kochen-Specker Theorem for Finite Non-Deterministic Outcome Assignments
- Binary Quantum Random Number Generator Based on Value Indefinite Observables
- Conway-Kochen and the Finite Precision Loophole
- How Real is Incomputability in Physics?
- Characterizing high-dimensional quantum contextuality
- Exploring the boundary of quantum correlations with a time-domain optical processor
- A refinement of quantum mechanics by algorithmic randomness
- Twenty years of quantum contextuality at USTC
- Quantum advantage by relational queries about physically realizable equivalence classes
- Certified Quantumness via Single-Shot Temporal Measurements
- Physical aspects of oracles for randomness, and Hadamard's conjecture
- Overturning negative construal of quantum superposition
- Principles of a Second Quantum Mechanics QM2 Rooted In Factuality And Constructed Bottom-Up
- Locating possible sources of physical indeterminism
- Quantum Random Self-Modifiable Computation