pith. sign in

arxiv: 2510.01063 · v4 · submitted 2025-10-01 · 🧮 math.CO · quant-ph

Triacontagonal proofs of the Bell-Kochen-Specker theorem

P.K.Aravind , Justin Y.J. Burton , Guillermo N\'u\~nez Ponasso , D.Richter This is my paper

Pith reviewed 2026-05-18 10:30 UTC · model grok-4.3

classification 🧮 math.CO quant-ph
keywords Bell-Kochen-Specker theoremparity proofsKochen-Specker diagramstriacontagonal projections600-cell120-cellGosset polytopecontextuality
0
0 comments X

The pith

Orthogonal projections of the 600-cell, 120-cell and Gosset polytope can be adjusted into Kochen-Specker diagrams that directly yield parity proofs of the Bell-Kochen-Specker theorem with fifteen-fold symmetry.

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

The paper shows that Coxeter's projections of these three polytopes place their vertices on concentric regular 30-gons. Small adjustments to these figures produce valid Kochen-Specker diagrams in which every line through the center contains either two or three mutually orthogonal rays whose union covers the diagram. Parity proofs of the Bell-Kochen-Specker theorem are then read off by selecting orbits of fifteen bases under the rotational symmetry; each such proof corresponds to a word formed from an odd number of distinct letters, each letter naming one orbit. This construction gives fifteen-base proofs for all three polytopes and many additional proofs of the same type for two of them.

Core claim

Coxeter pointed out that a number of polytopes can be projected orthogonally into two dimensions in such a way that their vertices lie on a number of concentric regular triacontagons. Among them are the 600-cell and 120-cell in four dimensions and Gosset's polytope 4_21 in eight dimensions. We show how these projections can be modified into Kochen-Specker diagrams from which parity proofs of the Bell-Kochen-Specker theorem are easily extracted. Our construction trivially yields parity proofs of fifteen bases for all three polytopes and also allows many other proofs of the same type to be constructed for two of them. The defining feature of these proofs is that they have a fifteen-fold symme

What carries the argument

Modified triacontagonal projections turned into Kochen-Specker diagrams whose 15-fold rotational symmetry groups bases into orbits of fifteen, each orbit represented by a single letter so that any parity proof is a word of odd length in these letters.

If this is right

  • Fifteen-base parity proofs are obtained immediately for the 600-cell, 120-cell and Gosset polytope.
  • Many additional proofs of the same fifteen-fold type can be built for the 600-cell and 120-cell by choosing different combinations of orbits.
  • Every proof of this class can be written as a word consisting of an odd number of distinct letters, each standing for one orbit of fifteen bases.
  • All characteristics of such a proof, including its size and symmetry properties, follow directly from the word without first listing the bases.

Where Pith is reading between the lines

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

  • The letter-word representation may make it feasible to enumerate all minimal proofs of this symmetry type by searching over short odd-length words.
  • Similar projection-and-symmetry techniques could be applied to other regular polytopes whose orthogonal shadows admit comparable rotational groupings.
  • The method supplies an independent geometric route to contextuality proofs that can be compared directly with the vector-based constructions used in earlier work on the same polytopes.

Load-bearing premise

The adjusted projections must produce sets of rays that are exactly mutually orthogonal within each basis and whose union covers every ray exactly once so that a consistent 0-1 coloring is impossible.

What would settle it

An explicit coordinate check showing that, after the proposed adjustment for the 600-cell, at least one claimed set of four rays in a basis fails to satisfy the exact orthogonality condition within floating-point precision.

read the original abstract

Coxeter pointed out that a number of polytopes can be projected orthogonally into two dimensions in such a way that their vertices lie on a number of concentric regular triacontagons (or 30-gons). Among them are the 600-cell and 120-cell in four dimensions and Gosset's polytope 4_21 in eight dimensions. We show how these projections can be modified into Kochen-Specker diagrams from which parity proofs of the Bell-Kochen-Specker theorem are easily extracted. Our construction trivially yields parity proofs of fifteen bases for all three polytopes and also allows many other proofs of the same type to be constructed for two of them. The defining feature of these proofs is that they have a fifteen-fold symmetry about the center of the Kochen-Specker diagram and thus involve both rays and bases that are multiples of fifteen. Any proof of this type can be written as a word made up of an odd number of distinct letters, each representing an orbit of fifteen bases. Knowing the word representing a proof makes it possible to infer all its characteristics without first having to recover its bases. A comparison is made with earlier approaches that have been used to obtain parity proofs in these polytopes, and some directions in which this work can be extended are discussed.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript proposes modifying the orthogonal projections of the 600-cell, 120-cell, and Gosset 4_21 polytope onto concentric regular triacontagons (30-gons) to produce Kochen-Specker diagrams. From these, parity proofs of the Bell-Kochen-Specker theorem with 15-fold symmetry are extracted; the construction is asserted to trivially yield proofs using fifteen bases for each polytope, with further proofs possible for two of them. Such proofs are represented compactly as words consisting of an odd number of distinct letters, each letter standing for an orbit of fifteen bases, allowing inference of all characteristics from the word alone. Comparisons to prior methods and possible extensions are included.

Significance. If the geometric adjustments succeed in producing valid diagrams, the work supplies a systematic, symmetry-based route to parity proofs in these polytopes that leverages known Coxeter projections. The word representation offers a compact, falsifiable way to classify and generate new proofs without enumerating bases explicitly. This geometric-combinatorial bridge between polytope projections and contextuality proofs is a clear strength, as is the explicit comparison with earlier constructions and the discussion of extensions.

major comments (2)
  1. [Construction and modification of the projections (around the descriptions for the 600-cell and 120-cell)] The central claim rests on the assertion that repositioning projected vertices on the concentric triacontagons produces sets of mutually orthogonal rays (exact dot product zero in the plane) whose unions admit no consistent 0-1 coloring. The manuscript must supply explicit coordinate lists or dot-product verifications for at least one representative basis in each polytope to confirm that the adjustment step restores the required orthogonality relations; without this, the parity proofs remain formally unverified.
  2. [Extraction of parity proofs and word representation] The parity argument for the fifteen-base proofs is stated to close by the odd number of bases in each word. A short explicit check or diagram for one such word (showing how the coloring contradiction arises across the covered rays) is needed to make the extraction step fully transparent and load-bearing.
minor comments (2)
  1. [Abstract and introduction] The repeated use of 'trivially' in the abstract and introduction should be replaced in the body by a concise enumeration of the concrete adjustment steps.
  2. [Notation and definitions] Notation for orbits and the fifteen-fold symmetry should be introduced once with a clear definition before being used in the word-representation section.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive suggestions. The comments identify places where additional explicit verification would improve clarity and verifiability. We address each point below and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: [Construction and modification of the projections (around the descriptions for the 600-cell and 120-cell)] The central claim rests on the assertion that repositioning projected vertices on the concentric triacontagons produces sets of mutually orthogonal rays (exact dot product zero in the plane) whose unions admit no consistent 0-1 coloring. The manuscript must supply explicit coordinate lists or dot-product verifications for at least one representative basis in each polytope to confirm that the adjustment step restores the required orthogonality relations; without this, the parity proofs remain formally unverified.

    Authors: We agree that explicit verification strengthens the central claim. In the revised manuscript we will add coordinate lists (in the plane after repositioning) for one representative basis from each of the three polytopes together with the computed dot products confirming exact orthogonality. These additions will be placed immediately after the description of the modification step for the 600-cell, 120-cell, and Gosset polytope respectively. revision: yes

  2. Referee: [Extraction of parity proofs and word representation] The parity argument for the fifteen-base proofs is stated to close by the odd number of bases in each word. A short explicit check or diagram for one such word (showing how the coloring contradiction arises across the covered rays) is needed to make the extraction step fully transparent and load-bearing.

    Authors: We accept that a concrete illustration of the parity contradiction will make the word representation more transparent. The revised version will include a short worked example for one fifteen-base word (e.g., the word corresponding to the minimal proof for the 600-cell). The example will list the rays covered by each orbit, exhibit an attempted 0-1 coloring, and show the contradiction that arises from the odd total number of bases. A small diagram indicating the covered rays will also be added. revision: yes

Circularity Check

0 steps flagged

No circularity: construction from external polytope projections

full rationale

The paper presents a geometric construction that starts from Coxeter's known orthogonal projections of the 600-cell, 120-cell, and 4_21 polytope onto concentric triacontagons, then modifies those projections into KS diagrams. Parity proofs are extracted from the resulting diagrams that exhibit 15-fold symmetry. No equations, parameters, or steps reduce the claimed proofs to fitted inputs, self-definitions, or load-bearing self-citations; the orthogonality and completeness relations are asserted to hold after the described modifications as part of the explicit construction process rather than being derived from the BKS result itself. The work is self-contained against the external geometric benchmarks of the polytopes and prior projections.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The construction relies on standard facts about regular polytopes and orthogonal projections; no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (2)
  • standard math Coxeter's orthogonal projections of the 600-cell, 120-cell and Gosset 4_21 place vertices on concentric regular triacontagons.
    Invoked in the opening sentence as the starting point for the modification into KS diagrams.
  • domain assumption The resulting 2D figures can be made to satisfy the mutual orthogonality and basis-completeness conditions of a Kochen-Specker diagram.
    This is the load-bearing geometric claim that allows extraction of parity proofs.

pith-pipeline@v0.9.0 · 5775 in / 1648 out tokens · 34190 ms · 2026-05-18T10:30:56.063307+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

34 extracted references · 34 canonical work pages · 1 internal anchor

  1. [1]

    H.S.M.Coxeter: Regular Polytopes, Third Edition (Dover, New York, 1973)

    work page 1973

  2. [2]

    H.S.M.Coxeter: Introduction to Geometry, Second Edition (Wiley, New York, 1969)

    work page 1969

  3. [3]

    Portraits of a family o f complex polytopes

    H.S.M.Coxeter and G.C.Shephard: “Portraits of a family o f complex polytopes”, Leonardo 25, 239-244 (1992)

    work page 1992

  4. [4]

    On the projection of the regular polytope 5 ,3,3 into a regular triacon- tagon

    B.L.Chilton: “On the projection of the regular polytope 5 ,3,3 into a regular triacon- tagon”, Canad. Math. Bull, vol.7, no. 3, July 1964. https:// doi.org/10.4153/CMB-1964- 037-9. Published online by Cambridge University Press

    work page doi:10.4153/cmb-1964- 1964

  5. [5]

    On the problem of hidden variables in quantum m echanics

    J.S.Bell: “On the problem of hidden variables in quantum m echanics”, Rev. Mod. Phys. 38, 447 (1966)

    work page 1966

  6. [6]

    The problem of hidden variabl es in quantum mechanics

    S.Kochen and E.P.Specker: “The problem of hidden variabl es in quantum mechanics”, J. Math. Mech. 17, 59 (1967)

    work page 1967

  7. [7]

    Kochen-Specker Contextuality

    C.Budroni, A.Cabello, O.G¨ uhne, M.Kleinmann and J-A. La rsson: “Kochen-Specker Contextuality”, Rev.Mod.Phys. 94, 045007 (2022)

    work page 2022

  8. [8]

    State-Indepen dent Quantum Contextu- ality with Single Photons

    C.Simon,M.˙Zukowski, H.Weinfurter and A.Zeilinger: “F easible Kochen-Specker Ex- periment with Single Particles. Phys. Rev. Lett. 85 1783–1786 (2000); E.Amselem, M.R ˚ admark, M.Bourennane, and A.Cabello: “State-Indepen dent Quantum Contextu- ality with Single Photons”, Phys. Rev. Lett. 103, 160405 (2009); H.Bartosik, J.Klepp, C.Schmitzer, S.Sponar, A.Cab...

    work page 2000

  9. [9]

    Finite Precision Measurement Nullifies the Koc hen-Specker Theorem

    D.Meyer: “Finite Precision Measurement Nullifies the Koc hen-Specker Theorem”, Phys. Rev. Lett. 83 3751 (1999)

    work page 1999

  10. [10]

    Simulating quantum mechanics by non-contextual hidden vari- ables

    R.Clifton and A.Kent: “Simulating quantum mechanics by non-contextual hidden vari- ables”, Proc. R. Soc. Lond. A 456 2101, (2000)

    work page 2000

  11. [11]

    Non-contextuality, finite preci sion measurement and the Kochen–Specker theorem

    J.Barrett and A.Kent: “Non-contextuality, finite preci sion measurement and the Kochen–Specker theorem”, Stud. Hist. Philos. Sci. B 35 151 (2004)

    work page 2004

  12. [12]

    Contextuality for preparations, transf ormations, and unsharp mea- surements

    R. W. Spekkens: “Contextuality for preparations, transf ormations, and unsharp mea- surements”, Phys. Rev. A71, 052108 (2005); D.Schmid and R.W.Spekkens: “Contextual Advantage for State Discrimination”, Phys. Rev. X8 011015 (2018)

    work page 2005

  13. [13]

    R.W.Spekkens, D. H. Buzacott, A. J. Keehn, B. Toner, and G. J.Pryde, Phys. Rev. Lett. 102, 010401 (2009)

    work page 2009

  14. [14]

    Contex tuality supplies the magic for quantum computation

    M.Howard, J. Wallman, V. Veitch, and J. Emerson: “Contex tuality supplies the magic for quantum computation”, Nature (London) 510, 351 (2014)

    work page 2014

  15. [15]

    Equivalence between face nonsignaling correlat ions, full nonlocality, all-versus- nothing proofs, and pseudotelepathy

    Y. Liu, H. Y. Chung, E. Z. Cruzeiro, J. R. Gonzales-Ureta, R. Ramanathan, and A. Cabello: “Equivalence between face nonsignaling correlat ions, full nonlocality, all-versus- nothing proofs, and pseudotelepathy”, Phys. Rev. Res. 6, L042035 (2024)

    work page 2024

  16. [16]

    Simplest Bipartite Perfect Quantum Strate gies

    A.Cabello: “Simplest Bipartite Perfect Quantum Strate gies”, Phys. Rev. Lett. 134, 010201(2025)

    work page 2025

  17. [17]

    Quantum advantage with shallow circuits

    S. Bravyi, D. Gosset, and R. K¨ onig: “Quantum advantage with shallow circuits”, Science 362, 308 (2018)

    work page 2018

  18. [18]

    Parity Proofs of the Bell-Kochen- Specker Theorem Based on the 600-cell

    M.Waegell, P.K.Aravind, N.D.Megill and M. Paviˇ ci´ c: “Parity Proofs of the Bell-Kochen- Specker Theorem Based on the 600-cell” Found. Phys. 41, 883-904 (2011)

    work page 2011

  19. [19]

    Parity Proofs of the Kochen -Specker theorem based on the 120-cell

    M.Waegell and P.K.Aravind: “Parity Proofs of the Kochen -Specker theorem based on the 120-cell” Found. Phys. 44, 1085-95 (2014)

    work page 2014

  20. [20]

    Parity proofs of the Kochen -Specker theorem based on the Lie algebra E8

    M.Waegell and P.K.Aravind: “Parity proofs of the Kochen -Specker theorem based on the Lie algebra E8” J. Phys. A: Math. Theor. 48, 225301 (17pp) (2015)

    work page 2015

  21. [21]

    New Class of 4-Dim Kochen- Specker Sets

    M.Paviˇ ci´ c, N.D.Megill, P.K.Aravind and M.Waegell: “ New Class of 4-Dim Kochen- Specker Sets” J. Math. Phys. 52, (2011)

    work page 2011

  22. [22]

    Vector Generation of Quantum Contextual Sets in Even Dimensional H ilbert Spaces

    For a systematic approach to generating KS sets in variou s even dimensions using rays with components from a variety of number fields, see M.Paviˇ ci´ c and N.D.Megill: “Vector Generation of Quantum Contextual Sets in Even Dimensional H ilbert Spaces”, Entropy 20, 928 (2018)

    work page 2018

  23. [23]

    Generalized parity proofs of the Kochen-Specker theorem

    P.Lison˘ ek,R.Raussendorf and V.Singh: “Generalized p arity proofs of the Kochen- Specker theorem”, arXiv:1401.3035v1 (2014)

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  24. [24]

    Minimal vectors in linear code s,

    A. Ashikhmin and A. Barg, “Minimal vectors in linear code s,” IEEE Transactions on Information Theory, 44, 2010-2017 (1998) . 22

    work page 2010

  25. [25]

    A Theorem on the Distribution of Weigh ts in a Systematic Code

    F.J.MacWilliams, “A Theorem on the Distribution of Weigh ts in a Systematic Code”, Bell System Technical Journal, 42: 79-94. https://d oi.org/10.1002/j.1538- 7305.1963.tb04003.x

    work page doi:10.1002/j.1538- 1963

  26. [26]

    F.J.MacWilliams and N.J.A.Sloane, The Theory of Error Correcting Codes , North- Holland Mathematical Library, Volume 16

    work page

  27. [27]

    S.Trandafir and A.Cabello: ”Two fundamental solutions t o the rigid Kochen-Specker set problem and the solution to the minimal Kochen-Specker s et problem under one assumption”, arXiv:2501.11640 (2025)

    work page arXiv 2025

  28. [28]

    See Supplemental Material at [URL will be inserted by pub lisher] for a listing of the 220 rays corresponding to the codewords of weight 9, along wi th the 495 bases formed by them

    work page

  29. [29]

    Stro ng Kochen-Specker theo- rem and incomputability of quantum randomness

    A.A.Abbott, C. S. Calude, J. Conder, and K. Svozil: “Stro ng Kochen-Specker theo- rem and incomputability of quantum randomness”, Phys. Rev. A 86 , 062109 (2012); A.A.Abbott, C. S. Calude, M. J. Dinneen, and N. Huang Physica Scripta 94, 045103 (2019); A.Kulikov, M. Jerger, A. Potocnik, A. Wallraff, and A . Fedorov: “Realization of a Quantum Random Generato...

    work page 2012

  30. [30]

    Kochen-Specker sets and complex Hadamard matrices

    P.Lisonˇ ek: “Kochen-Specker sets and complex Hadamard matrices”, Theoretical Com- puter Science 800 142-145 (2019). This paper generalizes the construction de scribed in Ref.[23] to certain higher dimensions by the use of a famil y of generalized complex Hadamard matrices

    work page 2019

  31. [31]

    Self testing quantum apparatus

    D. Mayers and A. Yao, “Self testing quantum apparatus”, Q uantum Info. Comput. 4, 273 (2004)

    work page 2004

  32. [32]

    Self-testing of quantum systems: a re view

    I. ˇSupi` c and J. Bowles, “Self-testing of quantum systems: a re view”, Quantum 4, 337 (2020)

    work page 2020

  33. [33]

    Certifying sets of quantum observables with any full-rank state

    Z.-P. Xu, D. Saha, K. Bharti, and A. Cabello, “Certifying sets of quantum observables with any full-rank state”, Phys. Rev. Lett. 132, 140201 (202 4)

    work page

  34. [34]

    Quasicrystals and icosians

    R,V.Moody and J.Patera, “Quasicrystals and icosians”, J. Phys. A: Math. Gen. 26, 2829-2853 (1993). manuscript No. (will be inserted by the editor) Supplementary Material for “Triacontagonal proofs of the Bell-Kochen-Specker theorem” P .K.Aravind1, Justin Y.J.Burton 1, Guillermo N´ u˜ nez Ponasso2,3 and D.Richter4 October 8, 2025 Length Proofs Length Proof...

    work page 1993