Gadget structures in proofs of the Kochen-Specker theorem
The Kochen-Specker theorem is a fundamental result in quantum foundations that has spawned massive interest since its inception. We show that within every Kochen-Specker graph, there exist interesting subgraphs which we term $01$-gadgets, that capture the essential contradiction necessary to prove t...
| Main Authors: | , , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften
2020-08-01
|
| Series: | Quantum |
| Online Access: | https://quantum-journal.org/papers/q-2020-08-14-308/pdf/ |