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.
14 pages, 6 Figures, completed partition logic representation by adding atoms 19, 20 and 21 in Table I
References in corpus (7)
- A simple test for hidden variables in spin-1 system
- Experimentally testable state-independent quantum contextuality
- Logical equivalence between generalized urn models and finite automata
- Quantum Scholasticism: On Quantum Contexts, Counterfactuals, and the Absurdities of Quantum Omniscience
- Vector Generation of Quantum Contextual Sets in Even Dimensional Hilbert Spaces
- Orthogonal Representation of Graphs
- Hypergraph Contextuality
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