File Download
Links for fulltext
(May Require Subscription)
- Publisher Website: 10.22331/q-2020-08-14-308
- Scopus: eid_2-s2.0-85094926168
- WOS: WOS:000559787500001
Supplementary
- Citations:
- Appears in Collections:
Article: Gadget structures in proofs of the Kochen-Specker theorem
Title | Gadget structures in proofs of the Kochen-Specker theorem |
---|---|
Authors | |
Issue Date | 2020 |
Publisher | Verein zur Forderung des Open Access Publizierens in den Quantenwissenschaften. The Journal's web site is located at https://quantum-journal.org/ |
Citation | Quantum, 2020, v. 4, p. 308 How to Cite? |
Abstract | 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 the Kochen-Specker theorem, i.e,. every Kochen-Specker graph contains a 01-gadget and from every 01-gadget one can construct a proof of the Kochen-Specker theorem. Moreover, we show that the 01-gadgets form a fundamental primitive that can be used to formulate state-independent and state-dependent statistical Kochen-Specker arguments as well as to give simple constructive proofs of an ``extended'' Kochen-Specker theorem first considered by Pitowsky. |
Persistent Identifier | http://hdl.handle.net/10722/290246 |
ISI Accession Number ID |
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Ramanathan, R | - |
dc.contributor.author | Rosicka, M | - |
dc.contributor.author | Horodecki, K | - |
dc.contributor.author | Pironio, S | - |
dc.contributor.author | Horodecki, M | - |
dc.contributor.author | Horodecki, P | - |
dc.date.accessioned | 2020-10-22T08:24:04Z | - |
dc.date.available | 2020-10-22T08:24:04Z | - |
dc.date.issued | 2020 | - |
dc.identifier.citation | Quantum, 2020, v. 4, p. 308 | - |
dc.identifier.uri | http://hdl.handle.net/10722/290246 | - |
dc.description.abstract | 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 the Kochen-Specker theorem, i.e,. every Kochen-Specker graph contains a 01-gadget and from every 01-gadget one can construct a proof of the Kochen-Specker theorem. Moreover, we show that the 01-gadgets form a fundamental primitive that can be used to formulate state-independent and state-dependent statistical Kochen-Specker arguments as well as to give simple constructive proofs of an ``extended'' Kochen-Specker theorem first considered by Pitowsky. | - |
dc.language | eng | - |
dc.publisher | Verein zur Forderung des Open Access Publizierens in den Quantenwissenschaften. The Journal's web site is located at https://quantum-journal.org/ | - |
dc.relation.ispartof | Quantum | - |
dc.rights | This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License. | - |
dc.title | Gadget structures in proofs of the Kochen-Specker theorem | - |
dc.type | Article | - |
dc.identifier.email | Ramanathan, R: ravi@cs.hku.hk | - |
dc.identifier.authority | Ramanathan, R=rp02582 | - |
dc.description.nature | published_or_final_version | - |
dc.identifier.doi | 10.22331/q-2020-08-14-308 | - |
dc.identifier.scopus | eid_2-s2.0-85094926168 | - |
dc.identifier.hkuros | 317345 | - |
dc.identifier.volume | 4 | - |
dc.identifier.spage | 308 | - |
dc.identifier.epage | 308 | - |
dc.identifier.eissn | 2521-327X | - |
dc.identifier.isi | WOS:000559787500001 | - |
dc.publisher.place | Austria | - |
dc.identifier.issnl | 2521-327X | - |