Extensions of Hardy-type true-implies-false gadgets to classically obtain indistinguishability
arXiv:2006.11396 · doi:10.1103/PhysRevA.103.022204
Abstract
In quantum logical terms, Hardy-type arguments can be uniformly presented and extended as collections of intertwined contexts and their observables. If interpreted classically those structures serve as graph-theoretic "gadgets" that enforce correlations on the respective preselected and postselected observable terminal points. The method allows the generalization and extension to other types of relational properties, in particular, to novel joint properties predicting classical equality of quantum mechanically distinct observables. It also facilitates finding faithful orthogonal representations of quantum observables.
arXiv comment14 pages, 6 Figures, completed partition logic representation by adding atoms 19, 20 and 21 in Table I
References in corpus (26)
- A simple test for hidden variables in spin-1 system
- Generalized Schmidt decomposition and classification of three-quantum-bit states
- Experimentally testable state-independent quantum contextuality
- Bell-Kochen-Specker theorem: A proof with 18 vectors
- Graph-Theoretic Approach to Quantum Correlations
- Kochen-Specker Vectors
- Simple Hardy-like proof of quantum contextuality
- A variant of the Kochen-Specker theorem localising value indefiniteness
- Basic exclusivity graphs in quantum correlations
- Value-indefinite observables are almost everywhere
- Hardy's Paradox for High-Dimensional Systems: Beyond Hardy's Limit
- Pentagrams and paradoxes
- Minimal true-implies-false and true-implies-true sets of propositions in noncontextual hidden variable theories
- Logical equivalence between generalized urn models and finite automata
- Proof of the Peres conjecture for contextuality
- Quantum Scholasticism: On Quantum Contexts, Counterfactuals, and the Absurdities of Quantum Omniscience
- Gadget structures in proofs of the Kochen-Specker theorem
- Vector Generation of Quantum Contextual Sets in Even Dimensional Hilbert Spaces
- What makes quantum clicks special?
- New forms of quantum value indefiniteness suggest that incompatible views on contexts are epistemic
- Orthogonal Representation of Graphs
- Faithful orthogonal representations of graphs from partition logics
- No-hidden-variables proof for two spin-1/2 particles preselected and postselected in unentangled states
- Hypergraph Contextuality
- 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
Cited by in corpus (12)
- Increased success probability in Hardy's nonlocality: Theory and demonstration
- Quantum Contextuality
- Quantum randomness is chimeric
- Large violations in Kochen Specker contextuality and their applications
- Generalized Greenberger-Horne-Zeilinger arguments from quantum logical analysis
- Varieties of contextuality based on probability and structural nonembeddability
- Non-Kochen-Specker Contextuality
- Converting nonlocality into contextuality
- Quantum Contextual Hypergraphs, Operators, Inequalities, and Applications in Higher Dimensions
- Chromatic Quantum Contextuality
- Form of Contextuality Predicting Probabilistic Equivalence between Two Sets of Three Mutually Noncommuting Observables
- Completing bases in four dimensions