Pith. sign in

REVIEW 4 minor 58 references

Whether a finite quantum logic looks classical depends on which structure you keep: incidence data, prepare-and-measure fragments, or operator product rules.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · grok-4.5

2026-07-14 06:06 UTC pith:DUNEMZ7F

load-bearing objection Clean bookkeeping of three classicality tests, with certified fragment thresholds and a carefully scoped GHZ packaging argument; not a new theory, but a solid, reproducible audit.

arxiv 2607.11234 v1 pith:DUNEMZ7F submitted 2026-07-13 quant-ph

Which Classicality? Incidence, Simplex, and Product-Rule Tests in Finite Quantum Logics

Karl Svozil This is my paper
classification quant-ph MSC 81P1081P13 PACS 03.65.Ta03.65.Ud
keywords quantum contextualitysimplex embeddabilityKochen-SpeckerGHZpartition logicprepare-and-measureproduct ruletwo-valued states
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

This paper argues that classicality in finite quantum logics is not a single yes-or-no property of a hypergraph or pasting. It is a bookkeeping choice about which data are retained. Incidence tests based on valuations, colorings, and partition representations; simplex-embedding tests for specified prepare-and-measure fragments; and operator-functional tests that impose spectral and product rules answer different questions and can disagree on the same physical construction. A sharp illustration is GHZ: the collective joint measurement of the four commuting global products is one Boolean context and is simplex-classical; nonclassicality appears only when those global outcomes are forced to factor into pre-existing local Pauli values under a product rule. For selected labelled ray fragments the author computes state-depolarizing thresholds under a restricted projector-cone factorization and a vector-generated operational closure, separating exact primal–dual certificates from numerical estimates, and insists those numbers belong to the stated fragments and noise model—not to the underlying hypergraphs as a universal ordering of contextuality.

Core claim

Classicality of a finite quantum-logical construction is fixed by which retained structure one tests—incidence, a specified operational prepare-and-measure fragment, or operator-algebraic product data—rather than by a binary property of the hypergraph alone. The collective GHZ joint measurement is a single Boolean context and becomes nonclassical only when a common assignment of local factors together with product preservation is required. The reported depolarizing thresholds are properties of the labelled fragments and noise model, not invariants of the hypergraphs or a universal ranking of contextuality.

What carries the argument

The three-way split of retained structures—combinatorial incidence (two-valued states, colorings, partition logics), operational simplex embeddability via positive orthant factorization of the accessible Born pairing, and operator-functional product rules—plus the restricted projector-cone and vector-generated-closure linear programs that measure state-side depolarizing robustness.

Load-bearing premise

The comparisons rest on treating deliberately restricted projector cones and a specified vector-generated operational closure, with complete state-side depolarizing noise, as the right operational packages for these named configurations.

What would settle it

Exhibit a collective GHZ joint-spectral prepare-and-measure fragment that fails simplex embeddability without any product-preserving local-factor assignment, or produce an exact primal–dual certificate showing a different depolarizing threshold for one of the rational projector-cone rows (for example Yu–Oh 13 or Cabello 18–9) under the same listed-ray convention and noise map.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

Share X Bluesky LinkedIn Reddit HN

If this is right

  • A partition-logically representable pasting can still carry nonclassical Born probabilities in a quantum realization of the same pasting.
  • A closed single Boolean context is always simplex-classical, so collective GHZ has no projector-simplex obstruction by itself.
  • Orthogonal or operational completion of a ray set can change the generated cones and raise the reported noise threshold.
  • Simplex nonembeddability, KS uncolorability, and chromatic contextuality diagnose different failures; none is a reformulation of the others.
  • Noise-threshold tables should be read as comparative audits of labelled fragments, not as strengths of named hypergraphs in isolation.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Any laboratory claim about how contextual a named configuration is should first name the operational package—preparations, effects, equivalences, and noise—before quoting a robustness number.
  • Unmasking a degenerate operator proof into a multi-context projector fragment can move an algebraic parity argument into ordinary KS or simplex territory, while a product-rule packaging keeps it outside both.
  • Bare two-context transition tables remaining classically realizable implies experimental designs need closed consistency loops—cycles, mixture equivalences, or local-factor product rules—before nonclassicality can surface.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 4 minor

Summary. The paper argues that classicality of finite quantum-logical constructions is not a binary property of a hypergraph, but depends on which retained structure is tested: incidence data (valuations, colorings, partition logics), convex-operational prepare-and-measure fragments (simplex embeddability), or operator-functional data (FUNC and product rules). Its central conceptual claim is that the collective GHZ joint measurement of the four commuting product observables is a single Boolean context and is simplex-classical; nonclassicality appears only when global product outcomes are identified with products of pre-existing local Pauli values under product preservation. For selected labelled ray fragments it reports state-side depolarizing thresholds for a restricted projector-cone factorization and for a specified vector-generated operational closure, carefully separating exact rational primal–dual certificates (L12, Specker bug, YO13, YO25, Cabello 18–9, PM24) from numerical/algebraic rows, and insists that the numbers are properties of the stated fragments and noise model rather than hypergraph invariants or a universal ranking of contextuality.

Significance. If the scoped claims hold, the paper supplies a useful cross-cutting bookkeeping for contextuality literature that often conflates KS uncolorability, simplex nonembeddability, chromatic obstruction, and operator parity proofs. The GHZ analysis is carefully packaged: collective spectral context versus local-factor product rule (Section V, Remark 1, Eqs. 41–42). Strengths that raise the contribution above a pure review include: exact rational primal and dual certificates for several projector-cone rows (Table I, Appendix A); a reproducible self-contained audit program with recorded SHA-256 hash and full data archive; explicit separation of exact optima from numerical estimates; and a second audit (Table II) showing how thresholds change under a stated operational closure. These make the computational claims falsifiable and regenerable rather than opaque numerics.

minor comments (4)
  1. In the abstract and conclusion the phrase “not a universal ordering of contextuality” is clear, but a single sentence in §XIV explicitly warning against ranking the numerical r-values across rows would further reduce the risk of mis-citation of Table I as a strength hierarchy.
  2. Table II caption already states that displayed fractions are rationalizations of floating-point optima; repeating that caveat once in the main text near the YO13 closed-effects discussion (≈9/20, ≈21/44) would help readers who sample only the body.
  3. The term “meager two-valued-state space” is defined as an umbrella (Definition 3); a brief parenthetical reminder at first use in §VIII that it is not Baire-category language would avoid a possible terminological collision for some readers.
  4. A short pointer in §III or §XII to the companion operational-shadows note (arXiv:2607.09312) already cited would help readers who want the broader GPT framing without expanding the present scope.

Circularity Check

0 steps flagged

No significant circularity: thresholds are LP outputs on explicitly stated cones/noise models; GHZ nonclassicality is the standard extra product-preservation assumption, not redefined into existence.

full rationale

The paper’s load-bearing claims are (i) that classicality status depends on which retained structure (incidence/valuation, prepare-and-measure simplex, or operator product rules) is tested, and (ii) that the reported depolarizing r-values belong only to the labelled projector-cone fragments and vector-generated closures under the stated state-side noise map. Both are supported by standard spectral reasoning (collective GHZ is one Boolean block; product rule on local factors is an extra assumption) and by explicit primal–dual LP certificates or numerical residuals for the cones that the paper itself defines. Self-citations supply background tools (partition logics, chromatic colorability, prior GHZ unmasking) but are not used as uniqueness theorems that force the new thresholds or the bookkeeping distinction. No parameter is fitted to data and then re-presented as a prediction; the r-values are solutions of the stated factorization LPs. Minor self-citation of the author’s earlier combinatorial work is present but not load-bearing for the central results, hence score 1 rather than 0.

Axiom & Free-Parameter Ledger

2 free parameters · 5 axioms · 2 invented entities

The paper works inside standard finite-dimensional quantum mechanics and convex optimization. Load-bearing background includes Born-rule prepare-and-measure tables, polyhedral cone duality/Farkas, and the definition of simplex embeddability from the GPT/noncontextuality literature. No free parameters are fitted to experimental data; depolarizing noise is a fixed chosen map. Invented terminology is mostly organizational (meager state spaces, projector-cone proxy) rather than new physical entities.

free parameters (2)
  • state-side depolarizing noise map D = ρ ↦ tr(ρ) I/d
    Chosen by hand as the completely depolarizing channel on preparations; all reported r-values are relative to this specific noise model, not derived from a uniqueness principle.
  • restricted projector-cone fragment choice (Ω=E=listed projectors)
    A benchmarking convention that omits unit effects, complements, and many operational equivalences unless generated by the same cone; thresholds depend on this packaging choice.
axioms (5)
  • domain assumption Born rule and finite-dimensional Hilbert-space representation of sharp projective measurements
    Used throughout for p(e|ρ)=tr(eρ) and for ray projectors as preparations/effects.
  • standard math Farkas/Minkowski–Weyl polyhedral duality for cone factorization and simplex embeddability LP
    Sections III–IV reduce classicality of a fragment to existence of nonnegative σ factoring the Born pairing through facet maps.
  • standard math Commuting self-adjoint operators admit a joint spectral measure / compatible Lüders measurements
    Used to treat the four GHZ product observables as one Boolean context (Section V).
  • domain assumption Generalized-noncontextual simplex embeddability as the operational classicality criterion for prepare-and-measure fragments (with unit/normalization/equivalences when included)
    Taken from Schmid–Selby–Wolfe–Kunjwal–Spekkens and Selby et al.; the paper’s restricted audits are benchmarks relative to that criterion.
  • domain assumption Product-rule / FUNC preservation for assigned values of commuting observables in operator-functional tests
    The extra assumption that turns single-context GHZ into a contradiction; stated as not forced by the joint spectral projectors alone.
invented entities (2)
  • meager two-valued-state space (umbrella for empty/nonunital/nonseparating/nonfull) no independent evidence
    purpose: Organize combinatorial defects of S2(H) short of full KS emptiness
    Terminological umbrella for standard quantum-logic pathologies; not a new physical object.
  • projector-cone proxy / vector-generated operational closure audits independent evidence
    purpose: Define concrete computational fragments whose depolarizing thresholds can be compared
    Methodological packaging choices for the LP, not postulated particles or forces; falsifiable only as computational claims about those fragments.

pith-pipeline@v1.1.0-grok45 · 32655 in / 3285 out tokens · 41004 ms · 2026-07-14T06:06:20.634453+00:00 · methodology

0 comments
Cite this review

Pith. "Pith review of Which Classicality? Incidence, Simplex, and Product-Rule Tests in Finite Quantum Logics." pith.science (2026). https://pith.science/paper/DUNEMZ7F

@misc{pith2026260711234,
  author       = {Pith},
  title        = {Pith review of: Which Classicality? Incidence, Simplex, and Product-Rule Tests in Finite Quantum Logics},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DUNEMZ7F}},
  note         = {Machine review of arXiv:2607.11234}
}
Share X Bluesky LinkedIn Reddit HN
read the original abstract

Finite quantum-logical constructions can appear classical or nonclassical depending on which structure is retained. We distinguish incidence tests based on valuations, colorings, and partition representations; simplex-embedding tests for specified prepare-and-measure fragments; and operator-functional tests imposing spectral and product rules. We show that the collective GHZ joint measurement is a single Boolean context and becomes nonclassical only when a common assignment of local factors, together with product preservation, is required. For selected labelled ray fragments, we compute state-depolarizing thresholds for a restricted projector-cone factorization and for a specified vector-generated operational closure, separating exact primal--dual certificates from numerical estimates. These values are properties of the stated fragments and noise model, not invariants of the underlying hypergraphs or a universal ordering of contextuality.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

58 extracted references · 14 linked inside Pith

  1. [1]

    the fractional coloring polytope

    The numerical threshold re- ported below belongs to the symmetric algebraic realiza- tion in Eq. (51); it is not a graph invariant ofC 5 alone. This is the first useful calibration point at which cyclic exclusivity exposes a quantitative difference, though still not a KS impossibility. VIII. COMBINATORIAL CONTEXTUALITY: TWO-VALUED STATES AND MEAGERNESS Le...

  2. [2]

    The author specified the mathematical constructions, inspected the generated code, executed all reported runs, and checked the out- puts

    assisted in consolidating and reviewing the audit code and in revising the exposition. The author specified the mathematical constructions, inspected the generated code, executed all reported runs, and checked the out- puts. Exact claims are accepted by the program only after exact rational primal and dual verification; other- wise they remain explicitly ...

  3. [3]

    Exact optimum

    entries, the imple- mented algebraic branch is numerical and returns rΓ3 ≃0.502197722972,(79) with maximum numerical dual violation 1.6×10 −10. No exact value is claimed for Eq. (79). C. Tkadlec’s nonunital configuration Tkadlec’s Fig. 2 gives a nonunital Sch¨ utte-type con- figuration in three dimensions [51]. The figure marks 25 rays; the full suborthop...

    doi:10.55776/pin5424624 2026

  4. [4]

    ex- act optimum

    but all projector overlaps are rational. The pro- gram rank-factorizes that Born table overQand applies the same cone-facet and primal–dual checks in the re- sulting six-dimensional operational coordinates. For Γ 3, some Born overlaps remain inQ( √ 2)\Q; its operational rank factorization, hull facets, and LP are therefore nu- merical. The dual certificat...

  5. [5]

    Aerts, A possible explanation for the probabilities of quantum mechanics, Journal of Mathematical Physics 27, 202 (1986)

    D. Aerts, A possible explanation for the probabilities of quantum mechanics, Journal of Mathematical Physics 27, 202 (1986)

    1986

  6. [6]

    Svozil, Operational shadows of hilbert-space probabil- ities (2026), arXiv:2607.09312 [quant-ph]

    K. Svozil, Operational shadows of hilbert-space probabil- ities (2026), arXiv:2607.09312 [quant-ph]

    Pith/arXiv arXiv 2026

  7. [7]

    Farkas, Theorie der einfachen ungleichungen, Journal f¨ ur die reine und angewandte Mathematik124, 1 (1902)

    J. Farkas, Theorie der einfachen ungleichungen, Journal f¨ ur die reine und angewandte Mathematik124, 1 (1902)

    1902

  8. [8]

    Schrijver,Theory of Linear and Integer Programming, Wiley Series in Discrete Mathematics & Optimization (John Wiley & Sons, New York, Toronto, London, 1986, 1998)

    A. Schrijver,Theory of Linear and Integer Programming, Wiley Series in Discrete Mathematics & Optimization (John Wiley & Sons, New York, Toronto, London, 1986, 1998)

    1986

  9. [9]

    Garg and D

    A. Garg and D. N. Mermin, Farkas’s lemma and the na- ture of reality: Statistical implications of quantum cor- relations, Foundations of Physics14, 1 (1984)

    1984

  10. [10]

    J. S. Bell, On the Einstein Podolsky Rosen paradox, Physics Physique Fizika1, 195 (1964)

    1964

  11. [11]

    J. F. Clauser and M. A. Horne, Experimental conse- quences of objective local theories, Physical Review D 10, 526 (1974)

    1974

  12. [12]

    A. A. Klyachko, M. A. Can, S. Binicio˘ glu, and A. S. Shumovsky, Simple test for hidden variables in spin-1 systems, Physical Review Letters101, 020403 (2008), arXiv:0706.0126

    Pith/arXiv arXiv 2008

  13. [13]

    A. M. Gleason, Measures on the closed subspaces of a Hilbert space, Journal of Mathematics and Mechanics (now Indiana University Mathematics Journal)6, 885 (1957)

    1957

  14. [14]

    Specker, Die Logik nicht gleichzeitig entscheidbarer Aussagen, Dialectica14, 239 (1960), english translation at https://arxiv.org/abs/1103.4537, arXiv:1103.4537

    E. Specker, Die Logik nicht gleichzeitig entscheidbarer Aussagen, Dialectica14, 239 (1960), english translation at https://arxiv.org/abs/1103.4537, arXiv:1103.4537

    Pith/arXiv arXiv 1960

  15. [15]

    Kamber, Zweiwertige Wahrscheinlichkeitsfunktionen auf orthokomplement¨ aren Verb¨ anden, Mathematische Annalen158, 158 (1965)

    F. Kamber, Zweiwertige Wahrscheinlichkeitsfunktionen auf orthokomplement¨ aren Verb¨ anden, Mathematische Annalen158, 158 (1965)

    1965

  16. [16]

    Zierler and M

    N. Zierler and M. Schlessinger, Boolean embeddings of orthomodular sets and quantum logic, Duke Mathemat- ical Journal32, 251 (1965), reprinted in Ref. [13]

    1965

  17. [17]

    Zierler and M

    N. Zierler and M. Schlessinger, Boolean embeddings of orthomodular sets and quantum logic, inThe Logico- Algebraic Approach to Quantum Mechanics: Volume I: Historical Evolution, edited by C. A. Hooker (Springer Netherlands, Dordrecht, The Netherlands, 1975) pp. 247– 262

    1975

  18. [18]

    Kochen and E

    S. Kochen and E. P. Specker, The problem of hidden variables in quantum mechanics, Journal of Mathemat- ics and Mechanics (now Indiana University Mathematics Journal)17, 59 (1967)

    1967

  19. [19]

    Cabello, J

    A. Cabello, J. M. Estebaranz, and G. Garc´ ıa-Alcaine, Bell-Kochen-Specker theorem: A proof with 18 vec- tors, Physics Letters A212, 183 (1996), arXiv:quant- ph/9706009

    arXiv 1996

  20. [20]

    Paviˇ ci´ c, Hypergraph contextuality, Entropy21, 1107 (2019)

    M. Paviˇ ci´ c, Hypergraph contextuality, Entropy21, 1107 (2019)

    2019

  21. [21]

    Budroni, A

    C. Budroni, A. Cabello, O. G¨ uhne, M. Kleinmann, and J.-A. Larsson, Kochen-Specker contextuality, Reviews of Modern Physics94, 045007 (2022), arXiv:2102.13036

    Pith/arXiv arXiv 2022

  22. [22]

    Froissart, Constructive generalization of Bell’s in- equalities, Il Nuovo Cimento B (11, 1971-1996)64, 241 (1981)

    M. Froissart, Constructive generalization of Bell’s in- equalities, Il Nuovo Cimento B (11, 1971-1996)64, 241 (1981)

    1971

  23. [23]

    Pitowsky, The range of quantum probability, Journal of Mathematical Physics27, 1556 (1986)

    I. Pitowsky, The range of quantum probability, Journal of Mathematical Physics27, 1556 (1986)

    1986

  24. [24]

    K. Svozil, On generalized probabilities: correlation poly- topes for automaton logic and generalized urn models, extensions of quantum mechanics and parameter cheats (2001), arXiv:quant-ph/0012066

    Pith/arXiv arXiv 2001

  25. [25]

    Yu and C

    S. Yu and C. H. Oh, State-independent proof of Kochen- Specker theorem with 13 rays, Physical Review Letters 108, 030402 (2012), arXiv:1109.4396

    Pith/arXiv arXiv 2012

  26. [26]

    Peres, Unperformed experiments have no results, American Journal of Physics46, 745 (1978)

    A. Peres, Unperformed experiments have no results, American Journal of Physics46, 745 (1978)

    1978

  27. [27]

    R. W. Spekkens, Contextuality for preparations, trans- formations, and unsharp measurements, Physical Review A71, 052108 (2005), arXiv:quant-ph/0406166

    Pith/arXiv arXiv 2005

  28. [28]

    Schmid, J

    D. Schmid, J. H. Selby, E. Wolfe, R. Kunjwal, and R. W. Spekkens, Characterization of noncontextuality in the framework of generalized probabilistic theories, PRX Quantum2, 010331 (2021)

    2021

  29. [29]

    J. H. Selby, E. Wolfe, D. Schmid, A. B. Sainz, and V. P. Rossi, Linear program for testing nonclassicality and an open-source implementation, Physical Review Letters 132, 050202 (2024)

    2024

  30. [30]

    exact optimum

    D. M. Greenberger, M. A. Horne, and A. Zeilinger, Go- ing beyond Bell’s theorem, inBell’s Theorem, Quan- 21 TABLE III. Audit status of the simplex computations. Herek Ω andk E are the accessible state and effect dimensions after Stage-1 reduction. The rational rows marked “exact optimum” have both exact primal and exact dual certificates. Configuration pr...

    Pith/arXiv arXiv 1989

  31. [31]

    D. N. Mermin, Simple unified form for the major no- hidden-variable theorems, Physical Review Letters65, 3373 (1990)

    1990

  32. [32]

    Svozil, Converting nonlocality into contex- tuality, Physical Review A110, 012215 (2024), arXiv:2404.15793

    K. Svozil, Converting nonlocality into contex- tuality, Physical Review A110, 012215 (2024), arXiv:2404.15793

    Pith/arXiv arXiv 2024

  33. [33]

    Svozil, Logical equivalence between generalized urn models and finite automata, International Jour- nal of Theoretical Physics44, 745 (2005), arXiv:quant- ph/0209136

    K. Svozil, Logical equivalence between generalized urn models and finite automata, International Jour- nal of Theoretical Physics44, 745 (2005), arXiv:quant- ph/0209136

    arXiv 2005

  34. [34]

    Svozil, Chromatic quantum contextuality, Entropy 27, 387 (2025), arXiv:2501.15261

    K. Svozil, Chromatic quantum contextuality, Entropy 27, 387 (2025), arXiv:2501.15261

    Pith/arXiv arXiv 2025

  35. [36]

    Ac´ ın, T

    A. Ac´ ın, T. Fritz, A. Leverrier, and A. B. Sainz, A combi- natorial approach to nonlocality and contextuality, Com- munications in Mathematical Physics334, 533 (2015), arXiv:1212.4084 [quant-ph]

    Pith/arXiv arXiv 2015

  36. [37]

    Abramsky and A

    S. Abramsky and A. Brandenburger, The sheaf-theoretic structure of non-locality and contextuality, New Journal of Physics13, 113036 (2011), arXiv:1102.0264 [quant- ph]

    Pith/arXiv arXiv 2011

  37. [38]

    Svozil, Faithful orthogonal representations of graphs from partition logics, Soft Computing24, 10239 (2020), arXiv:1810.10423

    K. Svozil, Faithful orthogonal representations of graphs from partition logics, Soft Computing24, 10239 (2020), arXiv:1810.10423

    Pith/arXiv arXiv 2020

  38. [39]

    Schaller and K

    M. Schaller and K. Svozil, Partition logics of automata, Il Nuovo Cimento B109, 167 (1994)

    1994

  39. [40]

    Peres, Incompatible results of quantum measure- ments, Physics Letters A151, 107 (1990)

    A. Peres, Incompatible results of quantum measure- ments, Physics Letters A151, 107 (1990)

    1990

  40. [41]

    Peres, Two simple proofs of the Kochen-Specker the- orem, Journal of Physics A: Mathematical and General 24, L175 (1991)

    A. Peres, Two simple proofs of the Kochen-Specker the- orem, Journal of Physics A: Mathematical and General 24, L175 (1991)

    1991

  41. [42]

    Paviˇ ci´ c, J.-P

    M. Paviˇ ci´ c, J.-P. Merlet, B. McKay, and N. D. Megill, Kochen-Specker vectors, Journal of Physics A: Math- ematical and General38, 1577 (2005), arXiv:quant- ph/0409014

    arXiv 2005

  42. [43]

    E. R. Gerelle, R. J. Greechie, and F. R. Miller, Weights on spaces, inPhysical Reality and Mathematical Descrip- tion, edited by C. P. Enz and J. Mehra (D. Reidel Pub- lishing Company, Springer Netherlands, Dordrecht, The Netherlands, 1974) pp. 167–192

    1974

  43. [44]

    Wright, The state of the pentagon

    R. Wright, The state of the pentagon. A nonclassical ex- ample, inMathematical Foundations of Quantum The- ory, edited by A. R. Marlow (Academic Press, New York,

  44. [45]

    Gr¨ otschel, L

    M. Gr¨ otschel, L. Lov´ asz, and A. Schrijver, Relaxations of vertex packing, Journal of Combinatorial Theory, Series B40, 330 (1986)

    1986

  45. [46]

    Cabello, S

    A. Cabello, S. Severini, and A. Winter, Graph-theoretic approach to quantum correlations, Physical Review Let- ters112, 040401 (2014), arXiv:1401.7081

    Pith/arXiv arXiv 2014

  46. [47]

    G. M. Ziegler,Lectures on Polytopes, Graduate Texts in Mathematics, Vol. 152 (Springer, New York, 1994)

    1994

  47. [48]

    M. Henk, J. Richter-Gebert, , and G. M. Ziegler, Basic properties of convex polytopes, inHandbook of Discrete and Computational Geometry, edited by J. E. Goodman and J. O’Rourke (Chapman and Hall/CRC Press Com- pany, Boca Raton, Florida, 2004) 2nd ed., pp. 355–383

    2004

  48. [49]

    D. Avis, D. Bremner, and R. Seidel, How good are convex hull algorithms?, Computational Geometry: Theory and Applications7, 265 (1997)

    1997

  49. [50]

    McMullen and G

    P. McMullen and G. C. Shephard,Convex Polytopes and the Upper Bound Conjecture, London Mathematical Soci- ety Lecture Notes Series 3 (Cambridge University Press, Cambridge, 1971)

    1971

  50. [51]

    Gr¨ unbaum,Convex Polytopes, 2nd ed., Graduate Texts in Mathematics, Vol

    B. Gr¨ unbaum,Convex Polytopes, 2nd ed., Graduate Texts in Mathematics, Vol. 221 (Springer, New York, 2003)

    2003

  51. [52]

    Fukuda, Frequently asked questions in polyhedral computation (2014), accessed on July 29th, 2017

    K. Fukuda, Frequently asked questions in polyhedral computation (2014), accessed on July 29th, 2017

    2014

  52. [53]

    J. H. Selby, D. Schmid, E. Wolfe, A. B. Sainz, R. Kun- jwal, and R. W. Spekkens, Accessible fragments of gen- eralized probabilistic theories, cone equivalence, and ap- plications to witnessing nonclassicality, Physical Review A107, 062203 (2023)

    2023

  53. [54]

    D. W. Cohen,An Introduction to Hilbert Space and Quantum Logic, Problem Books in Mathematics (Springer, New York, 1989)

    1989

  54. [55]

    Tkadlec, Greechie diagrams of small quantum logics with small state spaces, International Journal of Theo- retical Physics37, 203 (1998)

    J. Tkadlec, Greechie diagrams of small quantum logics with small state spaces, International Journal of Theo- retical Physics37, 203 (1998)

    1998

  55. [56]

    Pt´ ak and S

    P. Pt´ ak and S. Pulmannov´ a,Orthomodular Structures as Quantum Logics. Intrinsic Properties, State Space and Probabilistic Topics, Fundamental Theories of Physics, Vol. 44 (Kluwer Academic Publishers, Springer Nether- lands, Dordrecht, The Netherlands, 1991)

    1991

  56. [57]

    Svozil and J

    K. Svozil and J. Tkadlec, Greechie diagrams, nonexis- tence of measures in quantum logics and Kochen–Specker 22 type constructions, Journal of Mathematical Physics37, 5380 (1996)

    1996

  57. [58]

    Kunjwal and R

    R. Kunjwal and R. W. Spekkens, From the kochen- specker theorem to noncontextuality inequalities with- out assuming determinism, Physical Review Letters115, 110403 (2015)

    2015

  58. [59]

    Cabello,Pruebas algebraicas de imposibilidad de vari- ables ocultas en mec´ anica cu´ antica, Ph.D

    A. Cabello,Pruebas algebraicas de imposibilidad de vari- ables ocultas en mec´ anica cu´ antica, Ph.D. thesis, Univer- sidad Complutense de Madrid, Madrid, Spain (1996)

    1996