Pith. sign in

REVIEW 3 major objections 6 minor 1 cited by

Coming full circle -- A unified framework for Kochen-Specker contextuality

T0 review · 3 major / 6 minor · reviewed 2026-08-10 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read A finite observable algebra is Kochen-Specker noncontextual exactly when the orthogonality graph of its maximal extension is d-colourable.

desk verdict A genuinely new and elegant characterization of KS contextuality, but the full generality rests on deferred appendix lemmas; the stress-test challenge to Def. 30 does not actually land. read the letter →

arxiv 2501.09750 v1 pith:5NO3JHUQ submitted 2025-01-16 quant-ph math-phmath.MP

Markus Frembs This is my paper · ORCID
classification quant-phmath-phmath.MP MSC 81P1381P6805C15 PACS 03.65.Ta03.67.-a
keywords Kochen-Speckercontextualityobservablealgebrascontextconnectionscyclesorthogonalitygraphschromaticnumberstate-independentclassicalembeddings
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper gives a complete criterion for when a finite collection of quantum observables with a compatibility relation can be described by classical hidden variables in the sense of Kochen and Specker. The criterion is order-theoretic: a system is Kochen-Specker noncontextual if and only if one can match the elementary outcomes of its maximal measurement contexts, fixing all shared outcomes, so that every loop of matchings returns to the identity. Equivalently, the system is noncontextual exactly when the orthogonality graph built from its maximal extension is d-colourable, with d the dimension of the algebra. The result matters because it unifies the original algebraic formulation of contextuality with the modern marginal and graph-theoretic approaches, and it settles which chromatic conditions on orthogonality graphs are necessary and sufficient for state-independent contextuality.

What carries the argument

The central machinery is the context connection: for each pair of maximal contexts, a bijection between their one-dimensional generating projections that is the identity on the shared subcontext. A flat context connection is one whose composition around every context cycle $(C_0,\dots,C_{n-1})$ satisfies $\circ_{i=0}^{n-1} l_{C_{i+1}C_i} = \mathrm{id}$. The paper's central object is the maximal extension $O^{*}$: every finite-dimensional observable algebra embeds into a maximal one of the same dimension, and Kochen-Specker contextuality is shown invariant under this extension. Flat context connections on $O^{*}$ are shown equivalent to classical embeddings in Theorem 1, and, through the associated orthogonality graph $G(O^{*})$, equivalent to $d$-colourability in Theorem 3. The proof constructs the classical state space directly from the flat connections, so the context connection is not merely an invariant but the object that organizes the embedding.

What would settle it

Construct a finite-dimensional observable algebra with two different maximal extensions whose orthogonality graphs need different numbers of colours, or one whose maximal extension can be coloured with the dimension number of colours but which still admits no separating classical state. Either example would refute the equivalence claimed in Theorems 1 and 3.

Watch

Extended reading notes

Core claim

The central claim is that Kochen-Specker contextuality of a finite-dimensional observable algebra $O$—the obstruction to embedding $O$ into a commutative algebra of classical random variables while preserving all functional relations between compatible observables—is completely captured by the partial order of its commutative measurement contexts. Theorem 1 states that $O$ is Kochen-Specker noncontextual exactly when there is a context connection on the maximal extension $O^{*}$, that is, a family of bijections between the one-dimensional projections of any two maximal contexts that fix their intersection, with the property that composing the bijections around every context cycle gives the identity. Theorem 3 restates this as a colouring problem: $O$ is Kochen-Specker noncontextual if and only if $\chi(G(O^{*})) = \dim(I)$, where $G(O^{*})$ is the orthogonality graph of the minimal projections of $O^{*}$. The paper further shows that this algebraic notion differs from, but is precisely related to, the marginal notion of classical correlations, and that for orthogonality graphs coming from partial algebras, contextual graphs are characterized by the same chromatic criterion, giving a positive resolution of the conjecture in [160] under appropriate realizability assumptions.

Load-bearing premise

The load-bearing premise is that every finite set of observables can be extended to a maximal one, where every maximal measurement context has the same number of elementary outcomes, without changing whether the system is contextual, since the main proof constructs the classical picture only for such maximal algebras and transfers the result to all others through this extension.

Editorial extensions

If this is right

  • Any finitely generated measurement scenario can be tested for Kochen-Specker contextuality by computing one graph invariant: colour the orthogonality graph of the maximal extension and compare the required number of colours with the dimension $d$.
  • Acyclic observable algebras—those whose only context cycles pass through the trivial identity context—are always Kochen-Specker noncontextual, which explains why the dense noncontextual hidden-variable models constructed in [61] admit hidden-variable models without contradicting the Kochen-Specker theorem.
  • A single non-trivial context cycle is never enough to produce Kochen-Specker contextuality in a three-dimensional system; the obstruction requires constraints arranged over several context cycles, in contrast with the $n$-cycle scenario in the marginal approach.
  • For orthogonality graphs with unital or freely completable realisations, $\chi(G^{*}) > d$ is a necessary condition for state-independent contextuality, and for the paper's notion of a contextual graph it is necessary and sufficient; this resolves the conjecture in [160].
  • Kochen-Specker noncontextuality is equivalent to the existence of a separating set of classical states, so the algebraic embedding problem and the study of noncontextuality inequalities are two views of the same condition.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the chromatic criterion is as sharp as claimed, deciding Kochen-Specker contextuality of a finitely generated system reduces to computing the chromatic number of a finite graph, which makes resource-oriented questions, such as how many hidden-variable colourings a noncontextual fragment admits, algorithmically accessible.
  • The flat-context-connection picture reads naturally as holonomy around loops of measurement contexts, suggesting a geometric or cohomological refinement of contextuality in which context cycles play the role of parallel transport; the paper gestures at this possibility in its outlook.
  • The gap between state-independent contextuality graphs and sets identified here implies that graph-level chromatic tests should be applied to the faithful completion of a realisation, not the raw graph, when searching for new state-independent contextuality experiments.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 6 minor

Summary. The paper develops a unified algebraic framework for Kochen-Specker (KS) contextuality based on 'observable algebras' and 'context connections'. Theorem 1 claims that a finite-dimensional observable algebra O is KS noncontextual if and only if its maximal extension O* admits a flat context connection, i.e., a context connection satisfying the triviality constraints of Eq. (4) on every context cycle. Theorems 2 and 3 reformulate this as a d-colouring problem and as the chromatic-number condition χ(G(O*)) = dim(I). The paper further relates this algebraic notion to the marginal and graph-theoretic approaches, proves that acyclic algebras are KS noncontextual, gives a classical embedding for the CHSH scenario, and resolves a conjecture of Ref. [160] under a faithful-completion assumption.

Significance. If correct, the characterization is a substantial step: it gives a complete, finite, and effectively computable invariant for KS contextuality in finite dimensions, and it explicitly constructs the classical state space from a flat connection. The paper also provides a detailed map between the algebraic, marginal, and graph-theoretic notions of contextuality, which is of independent value. The main theorem is not machine-checked, but the maximal-algebra proof is constructive and the graphical criterion is concrete. The principal weakness is that the reduction from general finite-dimensional algebras to maximal extensions rests on Lemmas 9 and 10, whose treatment in the text is incomplete and whose dimension-function dependence is not addressed.

major comments (3)
  1. [Sec. 2.3, Thm. 1; App. B, Def. 30 and Lm. 9] The statement of Theorem 1 is for an arbitrary finite-dimensional observable algebra, but a maximal extension is defined only after choosing a dimension function. App. B explicitly notes that finite-dimensional observable algebras can admit more than one dimension function and gives a coarse-graining example with two distinct ones. If different dimension functions lead to non-isomorphic maximal extensions, the phrase 'its maximal extension in Lm. 9' and the invariant d = dim(I) in Theorem 3 are not well-defined. The text should either fix a dimension function in the theorem statement (for quantum subalgebras, the canonical rank function) or prove that the existence of a flat connection, and hence the KS verdict and the equality χ(G(O*)) = dim(I), are independent of the chosen dimension function.
  2. [App. B, Lm. 10 and proof sketch of Thm. 1] The proof of Theorem 1 for non-maximal algebras depends entirely on Lm. 10, which states that O is KS noncontextual if and only if its maximal extension O* is. This lemma is cited in the proof sketch but its proof is not given in the available text; App. A constructs the classical state space only for maximal algebras. Since this is the load-bearing bridge from the maximal case to all finite-dimensional observable algebras, a complete proof of Lm. 10 must be supplied. In particular, one must show that any classical embedding of O extends to O* with a consistent assignment to the newly added minimal summands of non-minimal shared projections.
  3. [App. B, Def. 30(iii) and Lm. 9 (stress-test response)] A stress-test concern proposed that Def. 30(iii) is unsatisfiable when two maximal contexts share a non-minimal projection p, because p must decompose into minimal projections in each context and these summands would lie in the intersection of the extended contexts. This concern does not land as stated: in an observable algebra, a non-minimal projection can be refined differently in different maximal contexts, and the minimal summands of p in C* need not belong to C'*. Thus condition (iii) can hold even when p has dimension greater than one. The real burden, as noted above, is the missing proof of Lm. 10 and the dimension-function dependence, not the mere existence of shared non-minimal projections.
minor comments (6)
  1. [Sec. 2.1, Def. 2] The definition contains a typo: 'observable algberas' should read 'observable algebras'.
  2. [Several displayed equations] The identity element is rendered as '/BD' or '2/BD' in multiple places, apparently a typesetting corruption; these should be corrected throughout.
  3. [Sec. 2.4, Def. 11 and Thm. 2] The equivalence between d-colourability and χ(G(O)) = d is asserted for a maximal algebra; this relies on every maximal context contributing a clique of size d, which should be stated explicitly at the point of Definition 11.
  4. [Sec. 4.2, Def. 24] Definition 24 requires a 'normalised' correlation in Stab(G), but the stable set polytope is not normalised; the intended normalisation is that the sum equals 1 in every maximal clique, and this should be part of the definition.
  5. [Table 1 and surrounding text] The table entry 'π(G)1 is' is incomplete, and the table's line breaks obscure the comparison; please reformat for clarity.
  6. [Sec. 3.3.3, Thm. 7 proof] The symbol π is used both for the product of unitaries in Eq. (8) and for graph realisations in Sec. 4; these uses should be distinguished to avoid confusion.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the central characterization is derived from explicit definitions, and citations to the companion paper are used for terminology and motivation, not as a black box for Theorem 1.

full rationale

The main characterization (Thm. 1) is not circular. The proof in App. A starts from the definition of a classical embedding and derives the flatness condition Eq. (4) by composing the induced maps around context cycles; conversely, it constructs the state space Lambda in Eq. (16) from a flat connection and verifies the embedding. Neither direction invokes the companion paper [76] as a load-bearing premise; [76] is cited for the notion of context connections and for a predecessor theorem whose role is replaced by the self-contained App. A argument. The graph-theoretic equivalences (Thm. 2, Thm. 3, Thm. 8-11) are likewise reductions to Thm. 1 rather than definitions of the answer into the problem. A real concern is the maximal-extension reduction: Def. 30(iii) may be unsatisfiable for algebras with a shared non-minimal projection, since the decomposition of that projection in the two extending maximal contexts would add common minimal projections not present in O. This would be a soundness gap in Lm. 9/Lm. 10 and hence in the claimed reduction, but it is a failure of proof, not a circular identification of the conclusion with the hypothesis. There are no fitted parameters, no data, and no empirical predictions that could be forced by construction. Self-citations are frequent but not load-bearing.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

No free parameters are fitted; this is a purely mathematical characterization. The framework introduces mathematical constructs, observable algebras and context connections, but no new physical entities with independent empirical handles. The main external input is a definitional model of observables as random variables and finite-dimensionality as existence of a dimension function.

assumptions (3)
  • domain assumption Finite-dimensional observable algebras are defined as those admitting an additive dimension function (Def. 5).
    This excludes observable algebras with no states, such as some Greechie diagrams, from the central theorem. The maximal extension O* used in Thm. 1 is only constructed for algebras with a dimension function.
  • domain assumption Every finite-dimensional observable algebra has a unique maximal extension and KS noncontextuality is invariant under this extension (Lm. 9 and Lm. 10 in App. B).
    This lemma does the work of reducing Thm. 1 to maximal observable algebras. The main text states it and defers the proof; if the invariance failed, the characterization would apply only to maximal algebras.
  • domain assumption Observables are represented as random variables with finitely many outcomes, and contexts are commutative algebras over R (Def. 2).
    The entire framework is built on this representation. Unsharp measurements, continuous spectra, and infinite dimensions are explicitly left for future work.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Coming full circle -- A unified framework for Kochen-Specker contextuality." pith.science (2026). https://pith.science/paper/5NO3JHUQ

@misc{pith2026250109750,
  author       = {Pith},
  title        = {Pith review of: Coming full circle -- A unified framework for Kochen-Specker contextuality},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5NO3JHUQ}},
  note         = {Machine review of arXiv:2501.09750}
}
read the original abstract

Contextuality is a key distinguishing feature between classical and quantum physics. It expresses a fundamental obstruction to describing quantum theory using classical concepts. In turn, when understood as a resource for quantum computation, it is expected to hold the key to quantum advantage. Yet, despite its long recognised importance in quantum foundations and, more recently, in quantum computation, the mathematics of contextuality has remained somewhat elusive - different frameworks address different aspects of the phenomenon, yet their precise relationship often is unclear. In fact, there is a glaring discrepancy already between the original notion of contextuality introduced by Kochen and Specker on the one side [J. Math. Mech., 17, 59, (1967)], and the modern approach of studying contextual correlations on the other [Rev. Mod. Phys., 94, 045007 (2022)]. In a companion paper [arXiv:2408.16764], we introduce the conceptually new tool called ``context connections'', which allows to cast and analyse Kochen-Specker (KS) contextuality in new form. Here, we generalise this notion, and based on it prove a complete characterisation of KS contextuality for finite-dimensional systems. To this end, we develop the framework of ``observable algebras". We show in detail how this framework subsumes the marginal and graph-theoretic approaches to contextuality, and thus that it offers a unified perspective on KS contextuality. In particular, we establish the precise relationships between the various notions of ``contextuality" used in the respective settings, and in doing so, generalise a number of results on the characterisation of the respective notions in the literature.

Figures

Figures reproduced from arXiv: 2501.09750 by the authors.

Figure 1
Figure 1. Schematic of a context connection l = (lC′C)C,C′∈Cmax(O) (reprinted from Ref. [76]). Context connections preserve elements in subcontexts: lC′C|P1(C∩C′) = id for all maximal contexts C, C′ ∈ Cmax(O). Definition 8. Let O be a maximal observable algebra of dimension dim(I) = d with partial order of contexts C(O). A (context) connection l = (lC′C)C,C′∈Cmax(O) on C(O) is a collection of bijective maps lC′C : P1(C) → P1(… view at source ↗
Figure 2
Figure 2. Schematic of (black) a context cycle γ = (C0, · · · , Cn−1), with Ci ∈ Cmax(O) and C(i+1)∩i = Ci+1 ∩ Ci for all i ∈ Zn, and (blue) elements of a context connection l (reprinted from Ref. [76]). Algebraic characterisation of Kochen-Specker noncontextuality. The main result of this section is a generalisation of Thm. 2 in Ref. [76] from quantum to general finite-dimensional, but not necessarily maximal observable alge… view at source ↗
Figure 3
Figure 3. The CHSH scenario [59] admits a classical embeddin [PITH_FULL_IMAGE:figures/full_fig_p036_3.png] view at source ↗
Figures from the paper (2 more)
Figure 4
Figure 4. Figure 4: Under the classical embedding ǫ : O → L∞(Λ), every observable O ∈ O induces a decomposition Λ = ∪˙ σ∈sp(O)Λ O σ . Viewing O : ΣC → R with C = C(O) as a random variable, we can thus define surjective maps εO : Λ → ΣO by Λ O σ ∋ λ 7→ σˆ ∈ ΣO such that ǫ factorises as ǫ(O…
Figure 5
Figure 5. Figure 5: Orthogonality graphs (a) GYO of 13 three-dimensional vectors in Eq. (20) (taken from Ref. [188]), and (b) G′ YO of the 15 vectors obtained by replacing h0 with x10, x20 and x30. Both graphs share the same completion π(VYO) = hπ(VYO), 1i = hπ(V ′ YO), 1i = π(V ′ YO), ye…

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Ruling out nonlinear modifications of quantum theory with contextuality

    quant-ph 2025-06 conditional novelty 6.0 of 10

    Nonlinear modifications of quantum theory, including Deutsch's map, Weinberg's model, and the Schrödinger-Newton equation, can convert contextuality into noncontextuality, enabling experimental falsification.

Reference graph

Works this paper leans on

193 extracted references · 80 canonical work pages · cited by 1 Pith paper

  1. [160]

    Necessa ry and sufficient condi- tion for state-independent contextual measurement scenar ios

    Ravishankar Ramanathan and Pawel Horodecki. Necessa ry and sufficient condi- tion for state-independent contextual measurement scenar ios. Phys. Rev. Lett. , 112:040404, Jan 2014

    work page 2014

  2. [1]

    D¨ oring, and C

    A. D¨ oring, and C. J. Isham. A topos foundation for theories of physics: I. Formal languages for physics. J. Math. Phys. , 49(5):053515, 2008

    2008

  3. [2]

    D¨ oring, and C

    A. D¨ oring, and C. J. Isham. A topos foundation for theori es of physics: II. Da- seinisation and the liberation of quantum theory. J. Math. Phys. , 49(5):053516, 2008

    2008

  4. [3]

    D¨ oring, and C

    A. D¨ oring, and C. J. Isham. A topos foundation for theori es of physics: III. The representation of physical quantities with arrows ˘δ( ˆA) : Σ → R↔. J. Math. Phys. , 49(5):053517, 2008

    2008

  5. [4]

    D¨ oring, and C

    A. D¨ oring, and C. J. Isham. A topos foundation for theori es of physics: IV. Categories of systems. J. Math. Phys. , 49(5):053518, 2008

    2008

  6. [5]

    Improved simulati on of stabilizer circuits

    Scott Aaronson and Daniel Gottesman. Improved simulati on of stabilizer circuits. Phys. Rev. A , 70:052328, Nov 2004

    2004

  7. [6]

    Cohomology and the algebraic structure of contextuality in mea- surement based quantum computation

    Sivert Aasnæss. Cohomology and the algebraic structure of contextuality in mea- surement based quantum computation. Electronic Proceedings in Theoretical Com- puter Science, 318:242–253, May 2020

    2020

  8. [7]

    Abramsky, R

    S. Abramsky, R. S. Barbosa, and S. Mansfield. Contextual F raction as a Measure of Contextuality. Physical Review Letters , 119(5):050504, 2017

    2017

Show all 193 references
  1. [8]

    Abramsky and A

    S. Abramsky and A. Brandenburger. The sheaf-theoretic s tructure of non-locality and contextuality. New J. Phys. , 13(11):113036, 2011

    2011

  2. [9]

    Partial boolean algebras and the logical exclusivity principle

    Samson Abramsky and Rui Soares Barbosa. Partial boolean algebras and the logical exclusivity principle. 2020

    2020

  3. [10]

    Contextuality, Cohomology and P aradox

    Samson Abramsky et al. Contextuality, Cohomology and P aradox. In Stephan Kreutzer, editor, 24th EACSL Annual Conference on Computer Science Logic (CSL 2015) , volume 41 of Leibniz International Proceedings in Informatics (LIPIcs), pages 211–228, Dagstuhl, Germany, 2015

    2015

  4. [11]

    A combina- torial approach to nonlocality and contextuality.Communications in Mathematical Physics, 334(2):533–628, Mar 2015

    Antonio Ac´ ın, Tobias Fritz, Anthony Leverrier, and Ana Bel´ en Sainz. A combina- torial approach to nonlocality and contextuality.Communications in Mathematical Physics, 334(2):533–628, Mar 2015

    2015

  5. [12]

    On Graph Approaches to Contextuality and their Role in Quantum Theory

    Barbara Amaral and Marcelo Terra Cunha. On Graph Approaches to Contextuality and their Role in Quantum Theory . Springer, 2018

    2018

  6. [13]

    Parity oblivious d-level random access codes and class of noncontextuality inequalities, 2016

    Andris Ambainis et al. Parity oblivious d-level random access codes and class of noncontextuality inequalities, 2016. 55

    2016

  7. [14]

    State-independent quantum contextuality with single phot ons

    Elias Amselem, Magnus R˚ admark, Mohamed Bourennane, a nd Ad´ an Cabello. State-independent quantum contextuality with single phot ons. Phys. Rev. Lett. , 103:160405, Oct 2009

    2009

  8. [15]

    Anders and D

    J. Anders and D. E. Browne. Computational Power of Corre lations. Phys. Rev. Lett., 102(5):050502, February 2009

    2009

  9. [16]

    Anschuetz, Hong-Ye Hu, Jin-Long Huang, and Xun G ao

    Eric R. Anschuetz, Hong-Ye Hu, Jin-Long Huang, and Xun G ao. Interpretable quantum advantage in neural sequence learning. PRX Quantum , 4:020338, Jun 2023

    2023

  10. [17]

    All noncontextuality inequaliti es for the n-cycle scenario

    Mateus Ara´ ujo et al. All noncontextuality inequaliti es for the n-cycle scenario. Phys. Rev. A , 88:022118, Aug 2013

    2013

  11. [18]

    Extending and characterizing quantum m agic games, 2012

    Alex Arkhipov. Extending and characterizing quantum m agic games, 2012

    2012

  12. [19]

    Schilling

    Abhay Ashtekar and Troy A. Schilling. Geometrical Formulation of Quantum Mechanics, pages 23–65. Springer New York, New York, NY, 1999

    1999

  13. [20]

    Experimental tests of realistic local theories via Bell’s theorem

    Alain Aspect, Philippe Grangier, and G´ erard Roger. Experimental tests of realistic local theories via Bell’s theorem. Phys. Rev. Lett. , 47:460–463, Aug 1981

    1981

  14. [21]

    Univer- sality of state-independent violation of correlation ineq ualities for noncontextual theories

    Piotr Badziag, Ingemar Bengtsson, Ad´ an Cabello, and Itamar Pitowsky. Univer- sality of state-independent violation of correlation ineq ualities for noncontextual theories. Phys. Rev. Lett. , 103:050401, Jul 2009

    2009

  15. [22]

    Continuous-variable nonlocality and contextuality

    Rui Soares Barbosa et al. Continuous-variable nonlocality and contextuality. Com- munications in Mathematical Physics , 391(3):1047–1089, May 2022

    2022

  16. [23]

    Local quantum measurement and no-s ignaling imply quan- tum correlations

    Howard Barnum et al. Local quantum measurement and no-s ignaling imply quan- tum correlations. Phys. Rev. Lett. , 104(14):140401, 2010

    2010

  17. [24]

    Information processing in generali zed probabilistic theories

    Jonathan Barrett. Information processing in generali zed probabilistic theories. Phys. Rev. A , 75:032304, Mar 2007

    2007

  18. [25]

    Bartosik et al

    H. Bartosik et al. Experimental test of quantum context uality in neutron interfer- ometry. Phys. Rev. Lett. , 103:040403, Jul 2009

    2009

  19. [26]

    Kerstin Beer and Tobias J. Osborne. Contextuality and b undle diagrams. Phys. Rev. A, 98:052124, Nov 2018

    2018

  20. [27]

    J. S. Bell. On the Einstein-Podolsky-Rosen paradox. Physics, 1:195, Nov 1964

    1964

  21. [28]

    John S. Bell. On the problem of hidden variables in quant um mechanics. Rev. Mod. Phys., 38:447–452, Jul 1966

    1966

  22. [29]

    E. G. Beltrametti and S. Bugajski. A classical extensio n of quantum mechanics. Journal of Physics A: Mathematical and General , 28(12):3329, Jun 1995. 56

    1995

  23. [30]

    A Kochen-Specker in- equality from a SIC

    Ingemar Bengtsson, Kate Blanchfield, and Ad´ an Cabello. A Kochen-Specker in- equality from a SIC. Physics Letters A , 376(4):374–376, 2012

    2012

  24. [31]

    Bennett and Gilles Brassard

    Charles H. Bennett and Gilles Brassard. Quantum crypto graphy: Public key distribution and coin tossing. Theoretical Computer Science, 560:7–11, 2014

    2014

  25. [32]

    Bennett et al

    Charles H. Bennett et al. Teleporting an unknown quantum state via dual classical and einstein-podolsky-rosen channels. Phys. Rev. Lett. , 70:1895–1899, Mar 1993

    1993

  26. [33]

    Bennett and Stephen J

    Charles H. Bennett and Stephen J. Wiesner. Communicati on via one- and two- particle operators on einstein-podolsky-rosen states. Phys. Rev. Lett. , 69:2881– 2884, Nov 1992

    1992

  27. [34]

    The logic of quantum mechanics

    Garrett Birkhoff and John Von Neumann. The logic of quantum mechanics. Annals of Mathematics , 37(4):823–843, 1936

    1936

  28. [35]

    A suggested interpretation of the quantum t heory in terms of ”hid- den” variables

    David Bohm. A suggested interpretation of the quantum t heory in terms of ”hid- den” variables. i. Phys. Rev., 85:166–179, Jan 1952

    1952

  29. [36]

    Contextuality and inductive bias i n quantum machine learn- ing, 2023

    Joseph Bowles et al. Contextuality and inductive bias i n quantum machine learn- ing, 2023

    2023

  30. [37]

    Quantum advantage with shallow circuits

    Sergey Bravyi, David Gosset, and Robert K¨ onig. Quantum advantage with shallow circuits. Science, 362(6412):308–311, 2018

    2018

  31. [38]

    Briegel and Robert Raussendorf

    Hans J. Briegel and Robert Raussendorf. Persistent ent anglement in arrays of interacting particles. Phys. Rev. Lett. , 86:910–913, Jan 2001

    2001

  32. [39]

    Bell nonlocality

    Nicolas Brunner, Daniel Cavalcanti, Stefano Pironio, Valerio Scarani, and Stephanie Wehner. Bell nonlocality. Rev. Mod. Phys. , 86:419–478, Apr 2014

    2014

  33. [40]

    Kochen-Specker contextuali ty

    Costantino Budroni et al. Kochen-Specker contextuali ty. Rev. Mod. Phys. , 94:045007, Dec 2022

    2022

  34. [41]

    Busch, P

    P. Busch, P. Lahti, J.P. Pellonp¨ a¨ a, and K. Ylinen.Quantum Measurement. Theo- retical and Mathematical Physics. Springer International Publishing, 2016

    2016

  35. [42]

    Butterfield and C

    J. Butterfield and C. J. Isham. A topos perspective on the Kochen-Specker Theo- rem II. Conceptual aspects and classical analogues.Int. J. Theor. Phys. , 38(3):827– 859, 1999

    1999

  36. [43]

    Butterfield and C

    J. Butterfield and C. J. Isham. Topos perspective on the K ochen-Specker theorem: IV. Interval valuations. Int. J. Theor. Phys. , 41(4):613–639, 2002

    2002

  37. [44]

    Experimentally testable state-independent quantum contextuality

    Ad´ an Cabello. Experimentally testable state-independent quantum contextuality. Phys. Rev. Lett. , 101:210401, Nov 2008

    2008

  38. [45]

    Specker’s fundamental principle of quan tum mechanics

    Adan Cabello. Specker’s fundamental principle of quan tum mechanics. arXiv e-prints, 2012. 57

    2012

  39. [46]

    State-independent quantum contextuali ty and maximum nonlocal- ity, 2012

    Adan Cabello. State-independent quantum contextuali ty and maximum nonlocal- ity, 2012

    2012

  40. [47]

    Simple explanation of the quantum viola tion of a fundamental inequality

    Ad´ an Cabello. Simple explanation of the quantum viola tion of a fundamental inequality. Phys. Rev. Lett. , 110:060402, Feb 2013

    2013

  41. [48]

    Estebaranz, and Guillermo Garc´ ıa-Alcaine

    Ad´ an Cabello, Jos´ e M. Estebaranz, and Guillermo Garc´ ıa-Alcaine. Bell-Kochen- Specker theorem: a proof with 18 vectors. Physics Letters A , 212(4):183–187, 1996

    1996

  42. [49]

    Proposed ex- periment for testing quantum contextuality with neutrons

    Ad´ an Cabello, Stefan Filipp, Helmut Rauch, and Yuji Ha segawa. Proposed ex- periment for testing quantum contextuality with neutrons. Phys. Rev. Lett. , 100:130404, Apr 2008

    2008

  43. [50]

    Optimal classical sim- ulation of state-independent quantum contextuality

    Ad´ an Cabello, Mile Gu, Otfried G¨ uhne, and Zhen-Peng Xu. Optimal classical sim- ulation of state-independent quantum contextuality. Phys. Rev. Lett. , 120:130401, Mar 2018

    2018

  44. [51]

    Necessary and suf- ficient condition for quantum state-independent contextua lity

    Ad´ an Cabello, Matthias Kleinmann, and Costantino Budroni. Necessary and suf- ficient condition for quantum state-independent contextua lity. Phys. Rev. Lett. , 114:250402, Jun 2015

    2015

  45. [52]

    Gr aph-theoretic approach to quantum correlations

    Ad´ an Cabello, Simone Severini, and Andreas Winter. Gr aph-theoretic approach to quantum correlations. Phys. Rev. Lett. , 112:040401, Jan 2014

    2014

  46. [53]

    A generalisation of S tone duality to ortho- modular lattices

    Sarah Cannon and Andreas D¨ oring. A generalisation of S tone duality to ortho- modular lattices. In Masanao Ozawa, Jeremy Butterfield, Han s Halvorson, Mikl´ os R´ edei, Yuichiro Kitajima, and Francesco Buscemi, editors, Reality and Measure- ment in Algebraic Quantum Theory , ...

    2018

  47. [54]

    On the cohomology of contextuality

    Giovanni Car` u. On the cohomology of contextuality. Electronic Proceedings in Theoretical Computer Science, 236:21–39, January 2017

    2017

  48. [55]

    Galley, and Tomas Gonda

    Lorenzo Catani, Thomas D. Galley, and Tomas Gonda. Reso urce-theoretic hier- archy of contextuality for general probabilistic theories , 2024

    2024

  49. [56]

    Opti- mal bounds for parity-oblivious random access codes

    Andr´ e Chailloux, Iordanis Kerenidis, Srijita Kundu, and Jamie Sikora. Opti- mal bounds for parity-oblivious random access codes. New Journal of Physics , 18(4):045003, Apr 2016

    2016

  50. [57]

    Entropic approach to lo cal realism and noncon- textuality

    Rafael Chaves and Tobias Fritz. Entropic approach to lo cal realism and noncon- textuality. Phys. Rev. A , 85:032113, Mar 2012

    2012

  51. [58]

    Informational derivation of quantum theory

    Giulio Chiribella, Giacomo Mauro D’Ariano, and Paolo P erinotti. Informational derivation of quantum theory. Phys. Rev. A , 84:012311, Jul 2011

    2011

  52. [59]

    Clauser, Michael A

    John F. Clauser, Michael A. Horne, Abner Shimony, and Ri chard A. Holt. Pro- posed experiment to test local hidden-variable theories. Phys. Rev. Lett. , 23:880– 884, Oct 1969. 58

    1969

  53. [60]

    Perfect commuting-operator strategies for linear system games

    Richard Cleve, Li Liu, and William Slofstra. Perfect commuting-operator strategies for linear system games. Journal of Mathematical Physics , 58(1):012202, 2017

    2017

  54. [61]

    Simulating quantum mechan ics by non-contextual hidden variables

    Rob Clifton and Adrian Kent. Simulating quantum mechan ics by non-contextual hidden variables. Proceedings of the Royal Society of London. Series A: Mathe- matical, Physical and Engineering Sciences , 456(2001):2101–2114, 2000

    2001

  55. [62]

    The free will theorem

    John Conway and Simon Kochen. The free will theorem. Foundations of Physics , 36(10):1441–1473, Oct 2006

    2006

  56. [63]

    Quantum theory, the churchˆ a€ “turing principle and the universal quantum computer

    David Deutsch and Roger Penrose. Quantum theory, the churchˆ a€ “turing principle and the universal quantum computer. Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences , 400(1818):97–117, 1985

    1985

  57. [64]

    D. Dieks. Communication by epr devices. Physics Letters A , 92(6):271–272, 1982

    1982

  58. [65]

    D¨ oring

    A. D¨ oring. Kochen Specker Theorem for von Neumann Alge bras. Int. J. Theor. Phys., 44:139–160, February 2005

    2005

  59. [66]

    Quantum states and measures on the spectral presheaf

    Andreas D¨ oring. Quantum states and measures on the spectral presheaf. Adv. Sci. Lett., 2, 10 2008

    2008

  60. [67]

    Contextuality and the fundamental theorems of quantum mechanics

    Andreas D¨ oring and Markus Frembs. Contextuality and the fundamental theorems of quantum mechanics. Journal of Mathematical Physics , 63(7):072103, 2022

    2022

  61. [68]

    Abelian subalgebrasand the Jordan structure of a von Neumann algebra

    Andreas D¨ oring and John Harding. Abelian subalgebrasand the Jordan structure of a von Neumann algebra. Houston J. Math., Electronic Edition , 42(2):559–568, 2016

    2016

  62. [69]

    What is a Thing?

    Andreas D¨ oring and Christopher J. Isham.“What is a Thing?”: Topos Theory in the Foundations of Physics , pages 753–937. Springer, 2011

    2011

  63. [70]

    Dzhafarov, Janne V

    Ehtibar N. Dzhafarov, Janne V. Kujala, and V´ ıctor H. Ce rvantes. Contextuality and noncontextuality measures and generalized Bell inequalities for cyclic systems. Phys. Rev. A , 101:042119, Apr 2020

    2020

  64. [71]

    Einstein, B

    A. Einstein, B. Podolsky, and N. Rosen. Can quantum-mec hanical description of physical reality be considered complete? Phys. Rev., 47:777–780, May 1935

    1935

  65. [72]

    Artur K. Ekert. Quantum cryptography based on bell’s th eorem. Phys. Rev. Lett., 67:661–663, Aug 1991

    1991

  66. [73]

    Memory cost f or simulating all quan- tum correlations from the peres-mermin scenario

    Gabriel Fagundes and Matthias Kleinmann. Memory cost f or simulating all quan- tum correlations from the peres-mermin scenario. Journal of Physics A: Mathe- matical and Theoretical, 50(32):325302, Jul 2017

    2017

  67. [74]

    A. Fine. Hidden variables, joint probability, and the B ell inequalities. Phys. Rev. Lett., 48:291–295, Feb 1982. 59

    1982

  68. [75]

    Bipartite entanglement and the arrow of time

    Markus Frembs. Bipartite entanglement and the arrow of time. Phys. Rev. A , 107:022218, Feb 2023

    2023

  69. [76]

    An algebraic characterisation of koche n-specker contextuality, 2024

    Markus Frembs. An algebraic characterisation of koche n-specker contextuality, 2024

    2024

  70. [77]

    Characterization o f nonsignaling bipartite correlations corresponding to quantum states

    Markus Frembs and Andreas D¨ oring. Characterization o f nonsignaling bipartite correlations corresponding to quantum states. Phys. Rev. A, 106:062420, Dec 2022

    2022

  71. [78]

    Gleason’s theorem f or composite systems

    Markus Frembs and Andreas D¨ oring. Gleason’s theorem f or composite systems. J. Phys. A , 56(44):445303, Oct 2023

    2023

  72. [79]

    No state-in dependent contextu- ality can be extracted from contextual measurement-based q uantum computation with qudits of odd prime dimension, 2022

    Markus Frembs, Cihan Okay, and Ho Yiu Chung. No state-in dependent contextu- ality can be extracted from contextual measurement-based q uantum computation with qudits of odd prime dimension, 2022

    2022

  73. [80]

    Bartlett

    Markus Frembs, Sam Roberts, and Stephen D. Bartlett. Co ntextuality as a re- source for measurement-based quantum computation beyond qubits. New Journal of Physics , 20(10):103011, oct 2018

    2018

  74. [81]

    Hier- archies of resources for measurement-based quantum comput ation

    Markus Frembs, Sam Roberts, Earl T Campbell, and Stephe n D Bartlett. Hier- archies of resources for measurement-based quantum comput ation. New J. Phys. , 25(1):013002, Jan 2023

    2023

  75. [82]

    Entropic inequalities and marginal problems

    Tobias Fritz and Rafael Chaves. Entropic inequalities and marginal problems. IEEE Transactions on Information Theory , 59(2):803–817, 2013

    2013

  76. [83]

    Local orthogonality as a multiparti te principle for quantum correlations

    Tobias Fritz et al. Local orthogonality as a multiparti te principle for quantum correlations. Nat. Commun. , 4(1), Aug 2013

    2013

  77. [84]

    Fuchs, Michael C

    Christopher A. Fuchs, Michael C. Hoang, and Blake C. Sta cey. The sic question: History and state of play. Axioms, 6(3), 2017

    2017

  78. [85]

    Enhancing generative models via quantum c orrelations

    Xun Gao et al. Enhancing generative models via quantum c orrelations. Phys. Rev. X, 12:021037, May 2022

    2022

  79. [86]

    Significant-loophole-free tes t of Bell’s theorem with entan- gled photons

    Marissa Giustina et al. Significant-loophole-free tes t of Bell’s theorem with entan- gled photons. Phys. Rev. Lett. , 115:250401, Dec 2015

    2015

  80. [87]

    Andrew M. Gleason. Measures on the closed subspaces of a Hilbert space , pages 123–133. Springer, 1975

    1975

  81. [88]

    Orthomodular lattices admitting no states

    R.J Greechie. Orthomodular lattices admitting no states. Journal of Combinatorial Theory, Series A , 10(2):119–132, 1971

    1971

  82. [89]

    Reconstruction of quantum theory

    Alexei Grinbaum. Reconstruction of quantum theory. The British Journal for the Philosophy of Science , 58(3):387–408, 2007

    2007

  83. [90]

    D. Gross. Hudson’s theorem for finite-dimensional quan tum systems. Journal of Mathematical Physics, 47(12):122107–122107, December 2006. 60

    2006

  84. [91]

    S. P. Gudder. Partial algebraic structures associated with orthomodular posets. Pacific Journal of Mathematics , 41(3):717–730, 1972

    1972

  85. [92]

    Compatibility and noncontextuality for sequential measure- ments

    Otfried G¨ uhne et al. Compatibility and noncontextuality for sequential measure- ments. Phys. Rev. A , 81:022121, Feb 2010

    2010

  86. [93]

    Hamilton, C

    J. Hamilton, C. J. Isham, and J. Butterfield. Topos persp ective on the Kochen- Specker theorem: III. Von Neumann algebras as the base categ ory. Int. J. Theor. Phys., 39(6):1413–1436, 2000

    2000

  87. [94]

    Topos quantum theory wit h short posets

    John Harding and Chris Heunen. Topos quantum theory wit h short posets. Order, 38(1):111–125, Apr 2021

    2021

  88. [95]

    Boolean subalgebras of orthoalgebras

    John Harding, Chris Heunen, Bert Lindenhovius, and Mir ko Navara. Boolean subalgebras of orthoalgebras. Order, 36(3):563–609, Nov 2019

    2019

  89. [96]

    Subalgebras of orthomod ular lattices

    John Harding and Mirko Navara. Subalgebras of orthomod ular lattices. Order, 28(3):549–563, 2011

    2011

  90. [97]

    Can we obtain quantum theory from reasona ble axioms?, 2001

    Lucien Hardy. Can we obtain quantum theory from reasona ble axioms?, 2001

    2001

  91. [98]

    Quantum theory from five reasonable axiom s, 2001

    Lucien Hardy. Quantum theory from five reasonable axiom s, 2001

    2001

  92. [99]

    Quantum contextuality from a simple princi ple?, 2012

    Joe Henson. Quantum contextuality from a simple princi ple?, 2012

    2012

  93. [100]

    Characterizations of categories of com mutative c*-subalgebras

    Chris Heunen. Characterizations of categories of com mutative c*-subalgebras. Communications in Mathematical Physics , 331(1):215–238, Oct 2014

    2014

  94. [101]

    Chris Heunen, Tobias Fritz, and Manuel L. Reyes. Quant um theory realizes all joint measurability graphs. Phys. Rev. A , 89:032121, Mar 2014

    2014

  95. [102]

    Landsman, and Bas Spitters

    Chris Heunen, Nicolaas P. Landsman, and Bas Spitters. A topos for algebraic quantum theory. Commun. Math. Phys. , 291(1):63–110, 2009

    2009

  96. [103]

    Landsman, and Bas Spitters

    Chris Heunen, Nicolaas P. Landsman, and Bas Spitters. Bohrification of operator algebras and quantum logic. Synthese, 186(3):719–752, 2012

    2012

  97. [104]

    Toolbox for reconstructing qua ntum theory from rules on information acquisition

    Philipp Andres H¨ ohn. Toolbox for reconstructing qua ntum theory from rules on information acquisition. Quantum, 1:38, December 2017

    2017

  98. [105]

    Philipp Andres H¨ ohn and Christopher S. P. Wever. Quan tum theory from ques- tions. Phys. Rev. A , 95:012102, Jan 2017

    2017

  99. [106]

    Quantum entanglement

    Ryszard Horodecki, Pawe/suppress l Horodecki, Micha/suppress l Horodecki, and Karol Horodecki. Quantum entanglement. Rev. Mod. Phys. , 81:865–942, Jun 2009

    2009

  100. [107]

    Contextuality supplies the ‘magic’ for quantum computation

    Mark Howard, Joel Wallman, Victor Veitch, and Joseph E merson. Contextuality supplies the ‘magic’ for quantum computation. Nature, 510(7505):351—355, June 2014. 61

    2014

  101. [108]

    Isham and Jeremy Butterfield

    Christopher J. Isham and Jeremy Butterfield. Topos per spective on the Kochen- Specker theorem: I. Quantum states as generalized valuatio ns. Int. J. Theor. Phys., 37(11):2669–2733, 1998

    1998

  102. [109]

    Metrological power of incompatibl e measurements, 2023

    Jeongwoo Jae et al. Metrological power of incompatibl e measurements, 2023

    2023

  103. [110]

    Jeongwoo Jae, Jiwon Lee, M. S. Kim, Kwang-Geol Lee, and Jinhyoung Lee. Con- textual quantum metrology. npj Quantum Information , 10(1):68, Jul 2024

    2024

  104. [111]

    Information and the reconstruction of q uantum physics

    Gregg Jaeger. Information and the reconstruction of q uantum physics. Annalen der Physik , 531(3):1800097, 2019

    2019

  105. [112]

    No-broadcasting characterizes o perational contextuality, 2024

    Pauli Jokinen et al. No-broadcasting characterizes o perational contextuality, 2024

    2024

  106. [113]

    On the role of entanglem ent in quantum- computational speed-up

    Richard Jozsa and Noah Linden. On the role of entanglem ent in quantum- computational speed-up. Proc. Math. Phys. Eng. Sci. , 459(2036):2011–2032, 2003

    2011

  107. [114]

    Matchgates and clas sical simulation of quan- tum circuits

    Richard Jozsa and Akimasa Miyake. Matchgates and clas sical simulation of quan- tum circuits. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, 464(2100):3089–3106, 2008

    2008

  108. [115]

    Operator space theory: a natural fr amework for Bell inequal- ities

    Marius Junge et al. Operator space theory: a natural fr amework for Bell inequal- ities. Phys. Rev. Lett. , 104:170405, Apr 2010

    2010

  109. [116]

    Orthomodular lattices

    Gudrun Kalmbach. Orthomodular lattices. Number 18. Academic press, 1983

    1983

  110. [117]

    Noncontextual hidden variables and phys ical measurements

    Adrian Kent. Noncontextual hidden variables and phys ical measurements. Phys. Rev. Lett., 83:3755–3757, Nov 1999

    1999

  111. [118]

    Bell-Kochen-Specker theorem for 20 vectors

    Michael Kernaghan. Bell-Kochen-Specker theorem for 20 vectors. Journal of Physics A: Mathematical and General , 27(21):L829, Nov 1994

    1994

  112. [119]

    Kochen-Specker th eorem for eight- dimensional space

    Michael Kernaghan and Asher Peres. Kochen-Specker th eorem for eight- dimensional space. Physics Letters A , 198(1):1–5, 1995

    1995

  113. [120]

    T. W. B. Kibble. Geometrization of quantum mechanics. Commun. Math. Phys. , 65:189–201, Jun 1979

    1979

  114. [121]

    Kirchmair et al

    G. Kirchmair et al. State-independent experimental t est of quantum contextuality. Nature, 460(7254):494–497, Jul 2009

    2009

  115. [122]

    Kl¨ ay, C

    M. Kl¨ ay, C. Randall, and D. Foulis. Tensor products and probability weights. Int. J. Theor. Phys. , 26:199–219, Mar 1987

    1987

  116. [123]

    Optimal inequalities for state-independen t contextuality

    Matthias Kleinmann, Costantino Budroni, Jan- ˚ Ake Larsson, Otfried G¨ uhne, and Ad´ an Cabello. Optimal inequalities for state-independen t contextuality. Phys. Rev. Lett., 109:250402, Dec 2012

    2012

  117. [124]

    Memory cost of quantum conte xtuality

    Matthias Kleinmann et al. Memory cost of quantum conte xtuality. New Journal of Physics , 13(11):113011, Nov 2011. 62

    2011

  118. [125]

    Klyachko, M

    Alexander A. Klyachko, M. Ali Can, Sinem Binicioˇ glu, and Alexander S. Shu- movsky. Simple test for hidden variables in spin-1 systems. Phys. Rev. Lett. , 101:020403, Jul 2008

    2008

  119. [126]

    A reconstruction of quantum mechanics

    Simon Kochen. A reconstruction of quantum mechanics. Foundations of Physics , 45(5):557–590, May 2015

    2015

  120. [127]

    Simon Kochen and Ernst P. Specker. The problem of hidde n variables in quantum mechanics. Journal of Mathematics and Mechanics , 17:59–87, 1967

    1967

  121. [128]

    Spekkens

    Ravi Kunjwal and Robert W. Spekkens. From the Kochen-S pecker theorem to noncontextuality inequalities without assuming determin ism. Phys. Rev. Lett. , 115:110403, Sep 2015

    2015

  122. [129]

    Spekkens

    Ravi Kunjwal and Robert W. Spekkens. From statistical proofs of the Kochen- Specker theorem to noise-robust noncontextuality inequal ities. Phys. Rev. A , 97:052110, May 2018

    2018

  123. [130]

    Experimental non-classicali ty of an indivisible quantum system

    Radek Lapkiewicz et al. Experimental non-classicali ty of an indivisible quantum system. Nature, 474(7352):490–493, Jun 2011

    2011

  124. [131]

    A Kochen-Specker inequality

    Jan- ˚ Ake Larsson. A Kochen-Specker inequality. Europhysics Letters, 58(6):799, Jun 2002

    2002

  125. [132]

    Noncontextual ity inequalities from an- tidistinguishability

    Matthew Leifer and Cristhiano Duarte. Noncontextual ity inequalities from an- tidistinguishability. Phys. Rev. A , 101:062113, Jun 2020

    2020

  126. [133]

    Spekkens, and Howard M

    Yeong-Cherng Liang, Robert W. Spekkens, and Howard M. Wiseman. Specker’s parable of the overprotective seer: a road to contextuality , nonlocality and com- plementarity. Phys. Rep., 506(1):1 – 39, 2011

    2011

  127. [134]

    David Mermin

    N. David Mermin. Simple unified form for the major no-hidden-variables theorems. Phys. Rev. Lett. , 65:3373–3376, Dec 1990

    1990

  128. [135]

    David Mermin

    N. David Mermin. Hidden variables and the two theorems of John Bell. Rev. Mod. Phys., 65:803–815, Jul 1993

    1993

  129. [136]

    David A. Meyer. Finite precision measurement nullifie s the Kochen-Specker theo- rem. Phys. Rev. Lett. , 83:3751–3754, Nov 1999

    1999

  130. [137]

    Experiments towards falsification of noncontextual hidden variable theories

    Markus Michler, Harald Weinfurter, and Marek ˙Zukowski. Experiments towards falsification of noncontextual hidden variable theories. Phys. Rev. Lett. , 84:5457– 5461, Jun 2000

    2000

  131. [138]

    Ryan, David G

    Osama Moussa, Colm A. Ryan, David G. Cory, and Raymond L aflamme. Test- ing contextuality on quantum ensembles with one clean qubit . Phys. Rev. Lett. , 104:160501, Apr 2010. 63

    2010

  132. [139]

    M¨ uller and Andrew J

    Markus P. M¨ uller and Andrew J. P. Garner. Testing quantum theory by general- izing noncontextuality. Phys. Rev. X , 13:041001, Oct 2023

    2023

  133. [140]

    M¨ uller

    Markus P. M¨ uller. Probabilistic theories and reconstructions of quantum theory. SciPost Phys. Lect. Notes , page 28, 2021

    2021

  134. [141]

    An orthomodular lattice admitting no gr oup-valued measure

    Mirko Navara. An orthomodular lattice admitting no gr oup-valued measure. Pro- ceedings of the American Mathematical Society , 122(1):7–12, 1994

    1994

  135. [142]

    Small quantum structures with small sta te spaces

    Mirko Navara. Small quantum structures with small sta te spaces. International Journal of Theoretical Physics , 47(1):36–43, Jan 2008

    2008

  136. [143]

    Existence of states on quantum structur es

    Mirko Navara. Existence of states on quantum structur es. Information Sciences, 179(5):508–514, 2009

    2009

  137. [144]

    Homotopical appro ach to quantum contex- tuality

    Cihan Okay and Robert Raussendorf. Homotopical appro ach to quantum contex- tuality. Quantum, 4:217, Jan 2020

    2020

  138. [145]

    Topological proofs of contextuality in quantum mechanics

    Cihan Okay, Sam Roberts, Stephen Bartlett, and Robert Raussendorf. Topological proofs of contextuality in quantum mechanics. ArXiv e-prints , 2016

    2016

  139. [146]

    Bartlett, and Robe rt Raussendorf

    Cihan Okay, Sam Roberts, Stephen D. Bartlett, and Robe rt Raussendorf. Topo- logical proofs of contextuality in quantum mechanics. Quantum Inf. Comput. , 17(13&14):1135–1166, 2017

    2017

  140. [147]

    Th e cohomological and the resource-theoretic perspective on quantum contextuality: common ground through the contextual fraction

    Cihan Okay, Emily Tyhurst, and Robert Raussendorf. Th e cohomological and the resource-theoretic perspective on quantum contextuality: common ground through the contextual fraction. ArXiv e-prints, June 2018

    2018

  141. [148]

    Bartlett, and David Gross

    Hakop Pashayan, Stephen D. Bartlett, and David Gross. From estimation of quantum probabilities to simulation of quantum circuits. Quantum, 4:223, Jan 2020

    2020

  142. [149]

    Gelfand-type duality for commutative von Neumann algebras

    Dmitri Pavlov. Gelfand-type duality for commutative von Neumann algebras. Journal of Pure and Applied Algebra , 226(4):106884, 2022

    2022

  143. [150]

    Information causality as a physical principle

    M Pawlowski et al. Information causality as a physical principle. Nature, 461(7267):1101 – 1104, 10 2009. Publisher: Nature Publishi ng Group

    2009

  144. [151]

    Two simple proofs of the Kochen-Specker t heorem

    Asher Peres. Two simple proofs of the Kochen-Specker t heorem. J. Phys. A , 24(4):L175–L178, Feb 1991

    1991

  145. [152]

    Deterministic model of spin and stat istics

    Itamar Pitowsky. Deterministic model of spin and stat istics. Phys. Rev. D , 27:2316–2326, May 1983

    1983

  146. [153]

    Quantum mechanics and value definite ness

    Itamar Pitowsky. Quantum mechanics and value definite ness. Philosophy of Sci- ence, 52:154 – 156, 1985

    1985

  147. [154]

    Quantum probability-quantum logic, volume 321

    Itamar Pitowsky. Quantum probability-quantum logic, volume 321. Springer, 1989. 64

    1989

  148. [155]

    Correlation polytopes: their geome try and complexity

    Itamar Pitowsky. Correlation polytopes: their geome try and complexity. Mathe- matical Programming, 50(1):395–414, Mar 1991

    1991

  149. [156]

    General probabilistic theories: An introduction

    Martin Pl´ avala. General probabilistic theories: An introduction. Physics Reports, 1033:1–64, 2023

    2023

  150. [157]

    Nonlocality beyond quantum mechanics

    Sandu Popescu. Nonlocality beyond quantum mechanics. Nature Phys., 10(4):264– 270, 2014

    2014

  151. [158]

    Quantum nonlocali ty as an axiom

    Sandu Popescu and Daniel Rohrlich. Quantum nonlocali ty as an axiom. Found. Phys., 24(3):379–385, 1994

    1994

  152. [159]

    The logic of quantum mechanics , page 174–197

    Hilary Putnam. The logic of quantum mechanics , page 174–197. Cambridge Uni- versity Press, 1979

    1979

  153. [161]

    Generalized monogamy of contextual inequalities from the no-disturbance principle

    Ravishankar Ramanathan, Akihito Soeda, Pawe/suppress l Kurzy´ nski, and Dagomir Kasz- likowski. Generalized monogamy of contextual inequalities from the no-disturbance principle. Phys. Rev. Lett. , 109:050404, Aug 2012

    2012

  154. [162]

    Contextuality in measurement-b ased quantum computation

    Robert Raussendorf. Contextuality in measurement-b ased quantum computation. Physical Review A , 88(2):022322, August 2013

    2013

  155. [163]

    Cohomological framework for con textual quantum computa- tions

    Robert Raussendorf. Cohomological framework for con textual quantum computa- tions. ArXiv e-prints , 2016

    2016

  156. [164]

    Robert Raussendorf and Hans J. Briegel. A one-way quan tum computer. Phys. Rev. Lett., 86:5188–5191, May 2001

    2001

  157. [165]

    Browne, and Hans J

    Robert Raussendorf, Daniel E. Browne, and Hans J. Brie gel. Measurement-based quantum computation on cluster states. Phys. Rev. A , 68:022312, Aug 2003

    2003

  158. [166]

    Security of quantum key distribution

    Renato Renner. Security of quantum key distribution. International Journal of Quantum Information , 06(01):1–127, 2008

    2008

  159. [167]

    Relational quantum mechanics

    Carlo Rovelli. Relational quantum mechanics. International Journal of Theoretical Physics, 35(8):1637–1678, Aug 1996

    1996

  160. [168]

    Spekkens

    David Schmid and Robert W. Spekkens. Contextual advan tage for state discrimi- nation. Phys. Rev. X , 8:011015, Feb 2018

    2018

  161. [169]

    Shalm et al

    Lynden K. Shalm et al. Strong loophole-free test of loc al realism. Phys. Rev. Lett., 115:250402, Dec 2015

    2015

  162. [170]

    Kochen-Specker

    Christoph Simon, Marek ˙Zukowski, Harald Weinfurter, and Anton Zeilinger. Feasi- ble “Kochen-Specker” experiment with single particles. Phys. Rev. Lett. , 85:1783– 1786, Aug 2000. 65

    2000

  163. [171]

    Die Logik nicht gleichzeitig entschei dbarer Aussagen

    Ernst Specker. Die Logik nicht gleichzeitig entschei dbarer Aussagen. Dialectica, 14:239–246, 1960

    1960

  164. [172]

    R. W. Spekkens. Contextuality for preparations, tran sformations, and unsharp measurements. Phys. Rev. A , 71:052108, May 2005

    2005

  165. [173]

    Spekkens

    Robert W. Spekkens. Evidence for the epistemic view of quantum states: A toy theory. Phys. Rev. A , 75:032110, Mar 2007

    2007

  166. [174]

    When are probabilis tic explanations possible? Synthese, 48(2):191–199, Aug 1981

    Patrick Suppes and Mario Zanotti. When are probabilis tic explanations possible? Synthese, 48(2):191–199, Aug 1981

    1981

  167. [175]

    On measures and measurements: a fi bre bundle approach to contextuality

    Marcelo Terra Cunha. On measures and measurements: a fi bre bundle approach to contextuality. Philosophical Transactions of the Royal Society A: Mathema tical, Physical and Engineering Sciences , 377(2157):20190146, 2019

    2019

  168. [176]

    B. S. Tsirelson. Quantum generalizations of bell’s in equality. Lett. Math. Phys. , 4(2):93–100, 1980

    1980

  169. [177]

    Noncommutativity as a colimit

    Benno van den Berg and Chris Heunen. Noncommutativity as a colimit. Applied Categorical Structures, 20(4):393–414, August 2012

    2012

  170. [178]

    Mathematische Grundlagen der Quantenmechanik

    John von Neumann. Mathematische Grundlagen der Quantenmechanik . Die Grundlehren der mathematischen Wissenschaften. Springer , 1996

    1996

  171. [179]

    N. N. Vorob’ev. Consistent families of measures and th eir extensions. Theory of Probability & Its Applications , 7(2):147–163, 1962

    1962

  172. [180]

    N. R. Wallach. An unentangled Gleason ’s theorem, volume 305, page 291–298. Amer. Math. Soc., 2002

    2002

  173. [181]

    What does an experimental test of quan tum contextuality prove or disprove? J

    Andreas Winter. What does an experimental test of quan tum contextuality prove or disprove? J. Phys. A , 47(42):424031, Oct 2014

    2014

  174. [182]

    Wiseman and Eric G

    Howard M. Wiseman and Eric G. Cavalcanti. Causarum Investigatio and the Two Bell’s Theorems of John Bell , pages 119–142. Cham, 2017

    2017

  175. [183]

    W. K. Wootters and W. H. Zurek. A single quantum cannot b e cloned. Nature, 299(5886):802–803, Oct 1982

    1982

  176. [184]

    A Herculean task: classical simulatio n of quantum computers, 2023

    Xiaosi Xu et al. A Herculean task: classical simulatio n of quantum computers, 2023

    2023

  177. [185]

    Necessary and sufficien t condition for contex- tuality from incompatibility

    Zhen-Peng Xu and Ad´ an Cabello. Necessary and sufficien t condition for contex- tuality from incompatibility. Phys. Rev. A , 99:020103, Feb 2019

    2019

  178. [186]

    Proof of the Peres conjecture for contextuality

    Zhen-Peng Xu, Jing-Ling Chen, and Otfried G¨ uhne. Proof of the Peres conjecture for contextuality. Phys. Rev. Lett. , 124:230401, Jun 2020. 66

    2020

  179. [187]

    State-i ndependent contextuality sets for a qutrit

    Zhen-Peng Xu, Jing-Ling Chen, and Hong-Yi Su. State-i ndependent contextuality sets for a qutrit. Physics Letters A , 379(34):1868–1870, 2015

    2015

  180. [188]

    Sixia Yu and C. H. Oh. State-independent proof of Koche n-Specker theorem with 13 rays. Phys. Rev. Lett. , 108:030402, Jan 2012

    2012

  181. [189]

    Sixia Yu and C. H. Oh. Quantum contextuality and joint m easurement of three observables of a qubit, 2013

    2013

  182. [190]

    A proof of the Kochen-Specker the- orem can always be converted to a state-independent noncont extuality inequality

    Xiao-Dong Yu, Yan-Qing Guo, and D M Tong. A proof of the Kochen-Specker the- orem can always be converted to a state-independent noncont extuality inequality. New Journal of Physics , 17(9):093001, Sep 2015

    2015

  183. [191]

    Xiao-Dong Yu and D. M. Tong. Coexistence of Kochen-Spe cker inequalities and noncontextuality inequalities. Phys. Rev. A , 89:010101, Jan 2014

    2014

  184. [192]

    state space

    J. Zimba and R. Penrose. On Bell non-locality without p robabilities: more curious geometry. Stud Hist Philos Sci , 24(5):697–720, 1993. A. Proof of Thm. 1 Proof. Without loss of generality, we choose non-degenerate obser vables O for every maximal context C ∈ C max(O), that i...

    1993

  185. [193]

    y− 3 = (1, ¯ 1, 0) h0 = (1, 1, 1) h1 = (¯ 1, 1, 1) h2 = (1, ¯ 1, 1) h3 = (1, 1, ¯ 1), where ¯ 1 = −1. These vectors give rise to the following 16 contexts: C(z1,z 2,z 3) C(z1,y + 1,y − 1 ) C(z2,y + 2,y − 2 ) C(z3,y + 3,y − 3 ) C(h0,y − 1,x 01) C(h1,y − 1,x 11) C(h2,y + 1,x 21)...

Pith tools

Reviewed August 10, 2026 · model on record in the stance chip above.