Pith. sign in

REVIEW 5 minor 34 references

Classically Realizable Incompatibility

T0 review · 0 major / 5 minor · reviewed 2026-07-13 · grok-4.5

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

Pith's one-line read Any finite incompatibility scenario embeds into a classical Boolean algebra and can be realized by a classical game.

desk verdict Clean formal separation of pure incompatibility from nonclassicality: every finite incompatibility scenario embeds into a Boolean algebra and is classically realizable by a simple game. read the letter →

arxiv 2607.09047 v1 pith:FSYMVREV submitted 2026-07-10 quant-ph

Songyi Liu , Yongjun Wang , Baoshan Wang , Yunyi Jia , Chang He This is my paper · ORCID
classification quant-ph
keywords incompatibilitypartialBooleanalgebraexclusivitygraphclassicalrealizationcontextualitylogicalprincipleatom
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

The paper asks how much of quantum nonclassicality is truly forced by the mere incompatibility of observables. Inside the framework of partial Boolean algebras, it shows that every finite incompatibility scenario can be embedded into an ordinary Boolean algebra of joint outcomes and therefore realized by a classical measurement game (a referee rolling a suitably labeled die and answering only the observable the player names). The same construction works for any scenario that embeds into a Boolean algebra. The exclusivity graph of such a scenario is proved to be the atom graph of an exclusive partial Boolean algebra that itself embeds into a Boolean algebra. Consequently incompatibility alone never produces nonclassical statistics; any nonclassicality must come from the states placed on the scenario. Scenarios that refuse Boolean embedding (Kochen–Specker sets, Peres–Mermin square with its product constraints) lie outside this class and cannot be captured by incompatibility relations alone.

What carries the argument

The natural embedding i_M that sends each maximal-context Boolean algebra B_C into the full joint-outcome Boolean algebra B_X = P(O^X) by the marginal representation e ↦ ∨{f : f|_C = e}; the family of all such images and their subalgebras forms the exclusive partial Boolean algebra generated by the exclusivity graph.

What would settle it

Exhibit a finite incompatibility scenario whose natural map into the joint-outcome power-set algebra fails to be an embedding, or produce an exclusivity graph that cannot arise as the atom graph of any exclusive partial Boolean algebra embeddable into a Boolean algebra.

Watch

Extended reading notes

Core claim

Every finite incompatibility scenario embeds into a classical Boolean algebra via the natural marginal map that sends each context’s outcome algebra into the power-set algebra of all joint outcomes; the same map shows that the exclusivity graph of the scenario is the atom graph of an exclusive partial Boolean algebra that likewise embeds into a Boolean algebra.

Load-bearing premise

The construction treats compatibility as the general (non-Specker) relation that does not force pairwise-compatible elements to lie inside a single Boolean algebra.

Editorial extensions

If this is right

  • Any statistics (including quantum ones) on a pure incompatibility scenario can be reproduced by a classical game whose hidden-variable space is the set of joint outcomes.
  • Nonclassicality of an incompatibility scenario can arise only from the choice of contextual states, never from the compatibility structure itself.
  • Every exclusivity graph is a legitimate atom graph of an exclusive partial Boolean algebra, giving a necessary condition for graphs that represent exclusivity scenarios and a sufficient condition for recognizing atom graphs.
  • Scenarios that refuse Boolean embedding (Kochen–Specker vector sets, constrained Peres–Mermin squares) necessarily involve logical structure beyond mere incompatibility.

Reading between the lines

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

  • The classical-game construction supplies an operational translation of any Boolean-embeddable quantum scenario, making it possible to test which quantum features survive when the underlying algebra is forced to be classical.
  • Because the embedding always exists for pure incompatibility, any future complete characterization of exclusivity graphs will automatically yield a complete characterization of classically realizable measurement scenarios.
  • The gap left open by the paper—necessary and sufficient conditions for a graph to be an exclusivity graph—suggests a concrete combinatorial research program that could separate classical from quantum exclusivity structures.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 5 minor

Summary. The paper studies incompatibility scenarios in the partial Boolean algebra (pBA) framework. It constructs an explicit embedding of any finite incompatibility scenario (observables X, contexts M, outcomes O) into the Boolean algebra B_X = P(O_X) of joint outcomes via the natural marginal maps i_C on each maximal-context Boolean algebra, yielding a well-defined injective homomorphism i_M (Proposition 1). The same construction realizes the scenario by a classical game with a referee and a random system whose sample space is O_X. The exclusivity graph G of the scenario is shown to generate a partial Boolean subalgebra B_G of B_X that satisfies the logical exclusivity principle (LEP) and is therefore an exclusive pBA (Propositions 2–3). Consequently every exclusivity graph is the atom graph of a finite exclusive pBA that embeds into a Boolean algebra, giving a necessary condition on exclusivity graphs and a sufficient condition on atom graphs. The authors emphasize that nonclassicality therefore requires contextual states rather than incompatibility alone, and that certain quantum scenarios (Kochen–Specker, Peres–Mermin, and the five-atom example of Section 4) lie outside pure incompatibility descriptions.

Significance. If the embedding and LEP arguments hold, the work cleanly separates the contribution of incompatibility from that of contextual states inside the pBA formalism. The classical-game construction is fully explicit and immediately usable for any finite scenario that embeds into a Boolean algebra; the exclusivity-graph results supply concrete necessary/sufficient graph-theoretic conditions that can be checked without reconstructing the whole algebra. These are useful structural tools for the foundations literature on contextuality and for the design of classical simulations of quantum measurement scenarios. The paper does not claim new experimental predictions or machine-checked proofs, but the constructive character of the maps i_M and the ambient-Boolean-algebra argument for LEP are genuine strengths.

minor comments (5)
  1. [Section 3] Section 3, definition of F and the subsequent claim that Boolean operations coincide on intersections: a one-sentence reminder that the general (non-Specker) definition of pBA is being used would help readers who expect Specker’s principle by default.
  2. [Section 4] Figure 4 caption and surrounding text: the phrase “compatible and exclusive” is slightly ambiguous; clarifying that adjacency means both relations hold simultaneously would remove any residual confusion with ordinary exclusivity graphs.
  3. [Proposition 3] Proposition 3 proof: the step “all elements in {a_i,b_j} are pairwise exclusive, implying their preimages under i_M belong to the same maximal clique” is correct but terse; a parenthetical reference to the definition of exclusivity in the graph would make the argument self-contained.
  4. [Sections 2–5] References [21] and [31] are cited for the embedding criterion and the uniqueness of atom graphs under Specker’s principle; a brief parenthetical statement of the precise statements used would reduce the need for the reader to consult those papers.
  5. [Abstract] Abstract and Introduction: the phrase “necessary condition for exclusivity graphs and a sufficient condition for atom graphs” is accurate but could be sharpened by naming the two graph classes explicitly once.

Circularity Check

2 steps flagged · score 2.0 of 10

Mild non-load-bearing self-citation of prior embedding/uniqueness lemmas; central Props. 1–3 rest on independent elementary constructions of marginal embeddings and LEP verification.

  1. self citation load bearing [Section 2, paragraph after Eq. (2)]
    "Since A (1,2,2) is a finite exclusive pBA, it embeds into a Boolean algebra if and only if it embeds into A c (1,2,2) =P(s d(A(1,2,2))), the power-set algebra of its deterministic states [21]."

    The embedding criterion used to justify restricting attention to the power-set of deterministic states is taken from the authors’ own prior paper [21] rather than re-derived; the subsequent explicit map is then presented as the classical realization. The step is only mildly circular because the general construction of Prop. 1 does not rely on this criterion.

  2. self citation load bearing [Section 5, final paragraph]
    "For scenarios satisfying Specker’s principle, such as ideal measurements, a crucial result establishes that any finite exclusive partial Boolean algebra (epBA) is uniquely determined by its atom graph [31]."

    Uniqueness of the epBA from its atom graph is imported from the authors’ earlier work [31] and stated as background; it is not needed for the proofs of Props. 2–3, which only show that an exclusivity graph is some atom graph of an embeddable epBA. Mild because the uniqueness claim is not used to force the main embedding or LEP results.

full rationale

The paper’s core claims are Proposition 1 (any finite incompatibility scenario embeds into the classical Boolean algebra B_X = P(O_X) via the natural family of marginal maps i_C) and Propositions 2–3 (every exclusivity graph generates an exclusive pBA that likewise embeds). Both are proved by fully explicit, self-contained constructions: the map i_M is defined by sending each event of a maximal-context Boolean algebra to the corresponding cylinder set in O_X, well-definedness follows because marginals agree on intersections, and injectivity is immediate from distinct atoms or distinct supports. The LEP argument in Prop. 3 likewise uses only that exclusive elements become disjoint subsets of O_X and therefore lie inside a common maximal clique of the exclusivity graph. No equation reduces a claimed prediction or first-principles result to a fitted parameter or to a quantity defined solely in terms of the target. The two self-citations ([21] for the finite-exclusive-pBA embedding criterion and the equality of state spaces, [31] for uniqueness of atom graphs under Specker’s principle) appear only as background lemmas in the two-observable example and in the outlook; they are not invoked inside the proofs of Props. 1–3 and do not force the classical-game realization. Consequently the derivation chain is independent of the self-citations, yielding only a minor circularity score of 2.

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

The paper is pure mathematics inside the established framework of partial Boolean algebras and exclusivity graphs. No free parameters or numerical fits appear. The only non-standard background is the authors’ choice of the general (non-Specker) definition of pBA and the identification of atom graphs with exclusivity graphs; both are domain conventions rather than ad-hoc inventions. No new physical entities are postulated.

assumptions (3)
  • domain assumption A partial Boolean algebra is a set equipped with a compatibility relation and Boolean operations defined only on compatible pairs (general definition without Specker’s principle).
    Adopted in Section 3; allows the family F of context algebras to form a pBA even when pairwise compatibility fails to imply global compatibility.
  • domain assumption Two atom events are exclusive precisely when there exists a jointly measurable observable that distinguishes them.
    Standard definition of exclusivity graphs used throughout Sections 5–6; taken from Cabello–Severini–Winter and related literature.
  • domain assumption Finite exclusive pBAs embed into the power-set algebra of their deterministic states.
    Invoked via citation [21] to justify the classical embedding; treated as established background.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Classically Realizable Incompatibility." pith.science (2026). https://pith.science/paper/FSYMVREV

@misc{pith2026260709047,
  author       = {Pith},
  title        = {Pith review of: Classically Realizable Incompatibility},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/FSYMVREV}},
  note         = {Machine review of arXiv:2607.09047}
}
read the original abstract

Incompatibility constitutes a fundamental aspect of quantum mechanics. However, not every quantum observable non-classical property arises from incompatibility, nor can all quantum scenarios be fully captured by incompatibility alone. Within the framework of partial Boolean algebra (pBA), we research the structural properties of incompatibility scenarios. We introduce a unified method to realize any incompatibility scenario via a classical game, and the construction is extendable to any scenario embeddable into a Boolean algebra. The exclusivity graph offers a precise characterization of incompatibility scenarios. We prove that every exclusivity graph is the atom graph of an exclusive pBA, which is embedded into a Boolean algebra. These results provide a necessary condition for exclusivity graphs and a sufficient condition for atom graphs.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

34 extracted references · 13 canonical work pages

  1. [1]

    Brunner, N., Cavalcanti, D., Pironio, S., Scarani, V., Wehner, S.: Bell nonlocality. Rev. Mod. Phys.86, 419–478 (2014) https://doi.org/10.1103/RevModPhys.86. 419

    doi:10.1103/revmodphys.86 2014

  2. [2]

    International Journal of Theoretical Physics54, 4591–4600 (2015) https: //doi.org/10.1007/s10773-015-2735-7

    Aravinda, S., Srikanth, R.: The essence of nonclassicality: Non-vanishing signal deficit. International Journal of Theoretical Physics54, 4591–4600 (2015) https: //doi.org/10.1007/s10773-015-2735-7

    work page doi:10.1007/s10773-015-2735-7 2015

  3. [3]

    Budroni, C., Cabello, A., G¨ uhne, O., Kleinmann, M., Larsson, J.-A.: Kochen- specker contextuality. Rev. Mod. Phys.94, 045007 (2022) https://doi.org/10. 1103/RevModPhys.94.045007

    2022

  4. [4]

    Kurzy´ nski, P., Ramanathan, R., Kaszlikowski, D.: Entropic test of quantum contextuality. Phys. Rev. Lett.109, 020404 (2012) https://doi.org/10.1103/ PhysRevLett.109.020404

    2012

  5. [5]

    New Journal of Physics13(11), 113036 (2011) https://doi.org/ 10.1088/1367-2630/13/11/113036 11

    Abramsky, S., Brandenburger, A.: The sheaf-theoretic structure of non-locality and contextuality. New Journal of Physics13(11), 113036 (2011) https://doi.org/ 10.1088/1367-2630/13/11/113036 11

    doi:10.1088/1367-2630/13/11/113036 2011

  6. [6]

    IEEE Trans- actions on Information Theory59(2), 803–817 (2013) https://doi.org/10.1109/ TIT.2012.2222863

    Fritz, T., Chaves, R.: Entropic inequalities and marginal problems. IEEE Trans- actions on Information Theory59(2), 803–817 (2013) https://doi.org/10.1109/ TIT.2012.2222863

    arXiv 2013

  7. [7]

    Cabello, A., Severini, S., Winter, A.: Graph-theoretic approach to quantum correlations. Phys. Rev. Lett.112, 040401 (2014) https://doi.org/10.1103/ PhysRevLett.112.040401

    2014

  8. [8]

    Communications in Mathematical Physics334, 533–628 (2015) https://doi.org/10.1007/s00220-014-2260-1

    Acin, A., Fritz, T., Leverrier, A., Sainz, A.B.: A combinatorial approach to nonlo- cality and contextuality. Communications in Mathematical Physics334, 533–628 (2015) https://doi.org/10.1007/s00220-014-2260-1

    work page doi:10.1007/s00220-014-2260-1 2015

Show all 34 references
  1. [9]

    G¨ uhne, O., Haapasalo, E., Kraft, T., Pellonp¨ a¨ a, J.-P., Uola, R.: Colloquium: Incompatible measurements in quantum information science. Rev. Mod. Phys. 95, 011003 (2023) https://doi.org/10.1103/RevModPhys.95.011003

    2023 doi

  2. [10]

    New Journal of Physics20(1), 013021 (2018) https://doi

    Bene, E., V´ ertesi, T.: Measurement incompatibility does not give rise to bell violation in general. New Journal of Physics20(1), 013021 (2018) https://doi. org/10.1088/1367-2630/aa9ca3

    2018 doi

  3. [11]

    Xu, Z.-P., Cabello, A.: Necessary and sufficient condition for contextuality from incompatibility. Phys. Rev. A99, 020103 (2019) https://doi.org/10.1103/ PhysRevA.99.020103

    2019

  4. [12]

    Spekkens, R.W.: Contextuality for preparations, transformations, and unsharp measurements. Phys. Rev. A71, 052108 (2005) https://doi.org/10.1103/ PhysRevA.71.052108

    2005

  5. [13]

    Selby, J.H., Schmid, D., Wolfe, E., Sainz, A.B., Kunjwal, R., Spekkens, R.W.: Contextuality without incompatibility. Phys. Rev. Lett.130, 230201 (2023) https: //doi.org/10.1103/PhysRevLett.130.230201

    2023 doi

  6. [14]

    Khrennikov, A.: Can there be given any meaning to contextuality without incompatibility? International Journal of Theoretical Physics60, 106–114 (2021) https://doi.org/10.1007/s10773-020-04666-z

    2021 doi

  7. [15]

    Physics Physique Fizika1(3), 195 (1964)

    Bell, J.S.: On the einstein podolsky rosen paradox. Physics Physique Fizika1(3), 195 (1964)

    1964

  8. [16]

    Kochen, S., Specker, E.P.: The problem of hidden variables in quantum mechanics. J. Math. Mech.17, 59–87 (1967)

    1967

  9. [17]

    Zeitschrift f¨ ur Physik43, 172–198 (1927) https://doi.org/ 10.1007/BF01397280 12

    Heisenberg, W.: ¨ uber den anschaulichen inhalt der quantentheoretischen kine- matik und mechanik. Zeitschrift f¨ ur Physik43, 172–198 (1927) https://doi.org/ 10.1007/BF01397280 12

    1927 doi

  10. [18]

    Robertson, H.P.: An indeterminacy relation for several observables and its clas- sical interpretation. Phys. Rev.46, 794–801 (1934) https://doi.org/10.1103/ PhysRev.46.794

    1934

  11. [19]

    Applied Categorical Structures20, 393–414 (2012) https://doi.org/10.1007/s10485-011-9246-3

    Berg, B., Heunen, C.: Noncommutativity as a colimit. Applied Categorical Structures20, 393–414 (2012) https://doi.org/10.1007/s10485-011-9246-3

    2012 doi

  12. [20]

    (eds.) Classical Representability for Partial Boolean Structures in Quantum Mechanics, pp

    Budroni, C.: In: Cintio, A., Michelangeli, A. (eds.) Classical Representability for Partial Boolean Structures in Quantum Mechanics, pp. 93–116. Springer, Cham (2023). https://doi.org/10.1007/978-3-031-44988-8 7 . https://doi.org/10.1007/ 978-3-031-44988-8 7

    2023 doi

  13. [21]

    Journal of Physics A: Mathematical and Theoretical 59(4), 045301 (2026) https://doi.org/10.1088/1751-8121/ae38a3

    Liu, S., Wang, Y., Wang, B., He, C., Wang, J.: The logical structure of contex- tuality and nonclassicality. Journal of Physics A: Mathematical and Theoretical 59(4), 045301 (2026) https://doi.org/10.1088/1751-8121/ae38a3

    2026 doi

  14. [22]

    Abramsky, S., Barbosa, R.S., Searle, A.: Combining contextu- ality and causality: a game semantics approach. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences382(2268), 20230002 (2024) https://doi.org/ 10.1098/rsta.2023.0002 htt...

    2024 doi

  15. [23]

    Annals of Mathematics37(4), 823–843 (1936)

    Birkhoff, G., Neumann, J.V.: The logic of quantum mechanics. Annals of Mathematics37(4), 823–843 (1936). Accessed 2023-04-01

    1936

  16. [24]

    https://search.ebscohost.com/login

    Foulis, D.J., Greechie, R.J., Louisa Dalla Chiara, M., Giuntini, R.: Quantum Logic., University of Massachusetts (2006). https://search.ebscohost.com/login. aspx?direct=true&db=edselc&AN=edselc.2-52.0-84889442066& lang=zh-cn&site=eds-live

    2006

  17. [25]

    Foundations of Physics45, 557–590 (1994) https://doi.org/10.1007/s10701-015-9886-5

    Kochen, S.: A reconstruction of quantum mechanics. Foundations of Physics45, 557–590 (1994) https://doi.org/10.1007/s10701-015-9886-5

    1994 doi

  18. [26]

    In: Baier, C., Goubault- Larrecq, J

    Abramsky, S., Barbosa, R.S.: The logic of contextuality. In: Baier, C., Goubault- Larrecq, J. (eds.) 29th EACSL Annual Conference on Computer Science Logic (CSL 2021). Leibniz International Proceedings in Informatics (LIPIcs), vol. 183, pp. 5–1518. Schloss Dagstuhl – Leibniz-Z...

    2021 doi

  19. [27]

    Dialectica 14(54/55), 239–246 (1960) https://doi.org/10.1111/j.1746-8361.1960.tb00422.x

    Specker, E.: Die logik nicht gleichzeitig entscheidbarer aussagen. Dialectica 14(54/55), 239–246 (1960) https://doi.org/10.1111/j.1746-8361.1960.tb00422.x

    1960 doi

  20. [28]

    Physics Letters A212(4), 183–187 (1996) https://doi.org/ 10.1016/0375-9601(96)00134-X 13

    Cabello, A., Estebaranz, J., Garc´ ıa-Alcaine, G.: Bell-Kochen-Specker theorem: A proof with 18 vectors. Physics Letters A212(4), 183–187 (1996) https://doi.org/ 10.1016/0375-9601(96)00134-X 13

    1996 doi

  21. [29]

    Journal of Physics A: Mathematical and General24(4), 175 (1991) https://doi.org/10.1088/0305-4470/ 24/4/003

    Peres, A.: Two simple proofs of the kochen-specker theorem. Journal of Physics A: Mathematical and General24(4), 175 (1991) https://doi.org/10.1088/0305-4470/ 24/4/003

    1991 doi

  22. [30]

    Mermin, N.D.: Simple unified form for the major no-hidden-variables theorems. Phys. Rev. Lett.65, 3373–3376 (1990) https://doi.org/10.1103/PhysRevLett.65. 3373

    1990 doi

  23. [31]

    Quantum Information Processing24, 12 (2025) https://doi.org/10.1007/s11128-024-04632-2

    Liu, S., Wang, Y., Wang, B., Yan, J., Zhou, H.: Atom graph, partial boolean alge- bra and quantum contextuality. Quantum Information Processing24, 12 (2025) https://doi.org/10.1007/s11128-024-04632-2

    2025 doi

  24. [32]

    Clauser, J.F., Horne, M.A., Shimony, A., Holt, R.A.: Proposed experiment to test local hidden-variable theories. Phys. Rev. Lett.23, 880–884 (1969) https: //doi.org/10.1103/PhysRevLett.23.880

    1969 doi

  25. [33]

    Klyachko, A.A., Can, M.A., Binicio˘ glu, S., Shumovsky, A.S.: Simple test for hidden variables in spin-1 systems. Phys. Rev. Lett.101, 020403 (2008) https: //doi.org/10.1103/PhysRevLett.101.020403

    2008 doi

  26. [34]

    Nature Communications4, 2263 (2013) https://doi.org/10.1038/ncomms3263 14

    Fritz, T., Sainz, A.B., Augusiak, R., Brask, J.B., Chaves, R., Leverrier, A., Ac´ ın, A.: Local orthogonality as a multipartite principle for quantum correlations. Nature Communications4, 2263 (2013) https://doi.org/10.1038/ncomms3263 14

    2013 doi

Pith tools

Reviewed July 13, 2026 · model on record in the stance chip above.