[Back]

K. Svozil:
"Extensions of Hardy-type true-implies-false gadgets to classically obtain indistinguishability'";
Physical Review A, 103 (2021), 2; 022204#?.

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

In quantenlogischen Begriffen können Argumente vom Typ Hardy einheitlich dargestellt und als Sammlungen von
miteinander verflochtene Kontexten und ihre Observablen interpretiert werden. Bei klassischer Interpretation dienen diese Strukturen als graphentheoretisch
"Gadgets", die Korrelationen an den jeweiligen vorgewählten und nachgewählten beobachtbaren Endpunkten erzwingen.
Das Verfahren ermöglicht die Verallgemeinerung und Erweiterung auf andere Arten relationaler Eigenschaften, insbesondere auf neuartige
gemeinsame Eigenschaften, die die klassische Gleichheit quantenmechanisch unterschiedlicher Observablen vorhersagen. Es erleichtert auch
Suche nach originalgetreuen orthogonalen Darstellungen von Quantenobservablen

Hardy paradox, Gleason theorem, Kochen-Specker theorem, Born rule, gadget graphs, Greechie diagram, McKay-Megill-Pavicic diagram (MMP), orthogonality hypergraph

http://dx.doi.org/10.1103/PhysRevA.103.022204

https://publik.tuwien.ac.at/files/publik_295120.pdf