Kochen-Specker for many qubits and the classical limit

Alejandro Hnilo

REVIEW 3 major objections 3 minor 6 references

Kochen-Specker for many qubits and the classical limit

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

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

Pith's one-line read This paper claims that the Kochen-Specker contradiction between quantum and classical predictions becomes arbitrarily small as the number of qubits grows, making the classical limit a large-number effect.

desk verdict Interesting question, but the generalized array fails for odd q and the even-q repair breaks commutativity; the ratio argument overstates convergence. read the letter →

arxiv 2411.17921 v1 pith:PR5IZPBD submitted 2024-11-26 quant-ph

Alejandro Hnilo This is my paper · ORCID

classification quant-ph PACS 03.65.Ta03.67.-a

keywords Kochen-SpeckertheoremMermin-Peresarraymanyqubitsclassicallimitquantumcontextualitystate-independentproofPauliobservablesnonclassicalityscaling

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

Extending the two-qubit Mermin-Peres form of the Kochen-Specker argument to $q$ qubits, this paper claims that the quantum prediction for a natural contextuality observable $X_{KS}(q)$ exceeds the classical bound by a factor that shrinks as $q$ grows. The ratio of the classical to the quantum value is $(q+2)/(q+4)$, which tends to $1$ for large $q$. The paper concludes that the classical limit — defined as every observation being explainable by a classical model — is reached by merely increasing the number of qubits, with no need for an environment, collapse, or new physics. The demonstration is state-independent, improving an earlier GHZ-based result, though it is so far established for the specific observable $X_{KS}(q)$ rather than for all observables.

What carries the argument

The load-bearing object is the generalized Mermin-Peres array: a table with three rows and $q+1$ columns whose entries are products of Pauli operators on $q$ qubits, built so that each row and column is a set of commuting observables. The identity $C_{q+1} \times R_3 = (i)^q \times (i)^m \times (-i)^{q-m} = (-1)^{q-m}(i)^{2q}$ is what lets the product of all row and column outcomes be set to $-1$, the signature of the Kochen-Specker contradiction. The observable $X_{KS}(q)$, built as a signed sum of the row and column outcomes, converts that contradiction into a number: the classical bound $q+2$ versus the quantum value $q+4$. The convergence of those two numbers with $q$ is what carries the paper's conclusion.

What would settle it

Compute the commutators of the three operators in the last column of the generalized array for $q$ odd; if the product $\prod \sigma_z$ and the product $\prod \sigma_x$ anticommute, the array is not a valid Kochen-Specker context for those $q$, and the extension to all $q$ fails as stated. A direct experiment measuring $X_{KS}(q)$ for odd $q$ and comparing it with the classical bound $q+2$ would also settle whether the claimed convergence occurs.

Watch

Extended reading notes

Core claim

The paper's central claim is that the Kochen-Specker contradiction, although present at every qubit number $q$, weakens quantitatively as $q$ increases. The generalized three-row, $q+1$-column array of Pauli products is constructed so that the product of all row and column outcomes can be made $-1$ by a suitable ordering, reproducing the KS contradiction for any $q$. The associated observable $X_{KS}(q)$ has a classical bound of $q+2$ while quantum mechanics predicts $q+4$, so the ratio $X_{KS}(q)/X^{QM}_{KS}(q) = (q+2)/(q+4)$ approaches $1$ as $q \to \infty$. The author therefore claims that the classical limit, defined as the point at which all observations admit a classical explanation, is a large-number-of-qubits effect and that no additional physical mechanism is required.

Load-bearing premise

The construction assumes that every row and every column of the $q$-qubit array is a set of jointly measurable observables, including the three global products in the last column, for every value of $q$.

Editorial extensions

If this is right

If this result is correct, increasing the number of qubits alone is enough to make this contextuality witness's quantum and classical predictions converge, so the classical limit does not require environmental decoherence for this observable.
Because the argument works for any quantum state, the classical limit would be a state-independent, large-$N$ effect, in contrast to Bell and GHZ tests that depend on special states.
The quantum-classical gap for $X_{KS}(q)$ decays as $q^{-1}$, which is slower than the exponential decay found for GHZ states, so this route to classicality is quantitative and may be observable at intermediate $q$.
The paper leaves open the general case of all observables; its proposed route is to show $X_{KS}$ is the extremal witness for $q=2$ and extend by induction.

Reading between the lines

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

If the same scaling holds for all observables, classicality would emerge from large $N$ alone, making decoherence explanations unnecessary, though not excluded, for macroscopic behavior.
A natural testable extension is to implement $X_{KS}(q)$ in a multi-qubit platform and check that the measured value approaches the classical bound as $q^{-1}$.
The compatibility of the last column is parity-sensitive: for odd $q$, the global products may fail to commute, so a fully general proof would need a modified array or a parity restriction to cover all $q$.

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.

Desk Editor's Note

read the letter

Short version: the idea is worth a coffee break, but the central construction doesn't hold up. The paper extends the Mermin-Peres two-qubit KS square to q qubits and claims the QM/classical gap for a specific observable shrinks as q grows. That's a natural question, and the author is right that a state-independent, environment-free route to the classical limit would be interesting. The writing is clear and the literature is cited fairly, including the author's own GHZ paper.

The trouble is in the math. The generalized array in eq.(7) is only a valid KS context if every row and every column contains mutually commuting observables. For odd q, that's false: the last column entries ⊗σ_z and ⊗σ_x anticommute, and the third-row entry ⊗σ_y anticommutes with each earlier third-row entry. So eqs. (8)–(11) don't follow for odd q. For even q, the array can be made commuting, but the paper's q=4 example is telling: the first version gives product +1 (no contradiction), and the proposed swap of σ_x entries to get −1 changes the permutation from an involution to a 4-cycle, which makes the third-row entries fail to commute. So the repair breaks the context. There may be an ordering that works for even q, but the paper doesn't provide it.

Separately, eq.(11) trades on a ratio: (q+2)/(q+4) → 1. The absolute difference remains 2 for all q. The paper says the difference 'vanishes,' but it doesn't; it becomes relatively small. That's a meaningful distinction because the stated definition of the classical limit is about explaining all observations, not about relative error on one observable.

The paper also honestly limits its claim to a specific observable, so it doesn't establish the general classical limit even if the algebra were fixed. That caveat is in the text, so I'm not blaming the author for overclaiming beyond it, but the abstract and the conclusion lean on a generality the derivation doesn't support.

Who is this for? Someone interested in contextuality and the correspondence principle might find the question appealing. As a paper, it needs a rework: check the commutation structure for all q, state the even-q condition, and replace the ratio claim with a precise statement about what does and doesn't converge. I'd send it to review only if the author can fix the array; as it stands, the central claim isn't supported. If I were an editor, I'd lean reject with an invitation to revise, but I wouldn't desk-reject it — the question is legitimate and the two-qubit case is handled correctly.

Referee Report

3 major / 3 minor

Summary. The manuscript proposes a generalization of the Mermin-Peres Kochen-Specker argument to an arbitrary number q of qubits. The central construction is the array in Eq. (7), for which the author claims that a suitable ordering of the σ_x operators in the second row preserves the commutation properties of the original two-qubit array. From this array the paper derives a product rule in Eq. (8), defines an inequality in Eq. (10) with a classical bound q+2 and an alleged quantum value q+4, and concludes from the ratio in Eq. (11) that quantum and classical predictions converge as q increases. The paper argues that this demonstrates the classical limit without environmental decoherence or collapse models, and that it improves a previous GHZ-based result.

Significance. The question of whether state-independent contextuality tests become less discriminating as the number of qubits grows is genuine and of interest, and the explicit q=4 example shows a natural way to build larger arrays. The paper also honestly acknowledges that the result concerns one specific observable, not all observables, and it makes a clear connection to a conventional definition of the classical limit. However, the central algebraic claims are not correct: the generalized array fails to be a valid Kochen-Specker context for odd q, and the claimed quantum value q+4 is incompatible with the paper's own product relation. Since these errors affect the derivation of Eqs. (8)-(11), the main conclusion is not supported.

major comments (3)

[Sec. 3, Eq. (7)] The generalized array is not a valid Kochen-Specker context for odd q. In the last column, the operators A=⊗_{k=1}^q σ_z(k) and B=⊗_{k=1}^q σ_x(k) satisfy AB=(-1)^q BA, so they anticommute for every odd q. In the third row, each entry E_k=σ_z(k)⊗_{l≠k}σ_x(l) anticommutes with E_{q+1}=⊗_l σ_y(l) when q is odd, because the relative sign is (-1)^q. Therefore the assertion that the ordering of the σ_x(k') in the second row makes 'the commutations as in eq.1 remain valid' is false for odd q, and Eqs. (8)-(11) are not justified for those values of q.
[Sec. 3, Eqs. (8) and (10)] The claimed quantum value X^QM_KS(q)=q+4 is inconsistent with the product relation derived in Eq. (8). When m is chosen so that the product in Eq. (8) equals -1, an odd number of the q+4 row/column products must equal -1, so their sum can be at most q+2. This is already visible at q=2: the six Mermin-Peres product values are +1,+1,-1,+1,+1,+1, so X_KS=4, not 6 as stated after Eq. (6). For q=4, the array obtained after the swap described in Sec. 4 has C_5=+1 and R_3=-1, so X_KS=6, not 8. Consequently Eq. (10) is not violated by the quantum predictions, and the comparison used in Eq. (11) rests on an algebraic error.
[Sec. 5, Eq. (11)] The ratio X_KS/X^QM_KS = (q+2)/(q+4) → 1 does not establish convergence of the quantum and classical predictions. The absolute difference X^QM_KS - X_KS is constant in q (equal to 2 if the values q+2 and q+4 were correct), and under the paper's own definition of the classical limit a constant offset in a macroscopic observable is physically significant. The statement that the difference 'decays as q^{-1}' conflates the relative difference 1 - X_KS/X^QM_KS = 2/(q+4) with the absolute difference, so Eq. (11) does not support the conclusion that the classical limit is reached by increasing q.

minor comments (3)

[Abstract] The sentence 'as the number of qubits is increases to the macroscopic scale' contains a grammatical error and should read 'increases'.
[Sec. 3, Eq. (8)] The product in Eq. (8) simplifies to (-1)^m, and the condition for obtaining a KS contradiction is simply that m be odd. The intermediate expression with (i)^{2q} obscures this and should be simplified.
[Sec. 2, Eq. (6)] The citation of Ref. [15] reporting X_KS ≈ 5.46 > 4 needs reconciliation with the definition in Eq. (6): for the standard Mermin-Peres array the sum of the six row/column products is 4 in quantum mechanics, not 6, so the experimental value cited must refer to a different inequality or a different set of observables.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity; the q-qubit derivation is self-contained Pauli algebra and does not lean on the author's prior GHZ result.

full rationale

The derivation chain from eq. (7) to eq. (11) is an explicit Pauli-algebra computation: the generalized Mermin-Peres array is stated in the paper, the row and column products are evaluated in eq. (8), and the observable X_KS(q) is defined as the extension of Cabello's inequality from ref. [16]. No parameter is fitted and no data are used, so the ratio in eq. (11) is an exact algebraic consequence of the definitions rather than a prediction forced by a fit. The author's earlier GHZ paper [12] is cited only as motivation and in the final 'summing up' hypothesis; eqs. (7)-(11) do not depend on it. The admitted limitation that the result concerns the particular observable X_KS(q) is a scope and validity issue, not circularity, because the observable's classical bound and quantum value are independently stated. The odd-q compatibility defect in eq. (7) is also a correctness concern, not a circularity concern. Accordingly the paper receives a low score reflecting only the non-load-bearing self-citation.

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

The central result rests on standard Pauli algebra and the Kochen-Specker noncontextuality assumption. The paper also assumes, without proof, that its generalized array has commuting contexts for every q; this assumption is false for odd q. It further assumes that non-Hermitian product operators can be treated as observables. No free parameters or invented entities are introduced.

assumptions (5)

standard math Pauli operator algebra: σ_i σ_j = i ε_ijk σ_k, with σ_z σ_x = -σ_x σ_z.
Used to compute row and column products in eq.(3), eq.(5), and eq.(8).
domain assumption Kochen-Specker noncontextuality: a classical model assigns predetermined ±1 outcomes to every observable in each context, independent of which context is measured.
Underlies the contradiction between the classical product +1 in eq.(2) and the quantum product -1 in eq.(4).
domain assumption Definition of classical limit as 'all observations on the system can be explained by a classical model'.
Stated in the introduction; the paper's conclusion depends on this definition rather than on trajectories or vanishing Planck constant.
ad hoc to paper The generalized array in eq.(7) has mutually commuting observables in every row and column for all q.
The paper asserts commutation 'remains valid' but does not verify the last column for odd q; direct calculation shows anticommutation for odd q.
ad hoc to paper Product observables such as C_{q+1} and R3 are treated as measurable even when their values are imaginary multiples of identity.
The paper says C_{q+1} and R3 can be imaginary yet uses their expectation values; non-Hermitian operators do not correspond to physical measurements.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Kochen-Specker for many qubits and the classical limit." pith.science (2026). https://pith.science/paper/PR5IZPBD

@misc{pith2026241117921,
  author       = {Pith},
  title        = {Pith review of: Kochen-Specker for many qubits and the classical limit},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/PR5IZPBD}},
  note         = {Machine review of arXiv:2411.17921}
}

read the original abstract

Several arguments demonstrate the incompatibility between Quantum Mechanics and classical Physics. Bell's inequalities and Greenberger-Horne-Zeilinger (GHZ) arguments apply to specific non-classical states. The Kochen-Specker (KS) one, instead, is especially appealing for it applies to any state. Nevertheless, in spite of the incompatibility, quantum predictions must converge to classical ones as the macroscopic scale is approached. This convergence is known as "classical limit", and is difficult to explain within quantum formalism. In this short paper, the simplified Mermin-Peres form (two qubits) of the KS argument is extended to an arbitrary number of qubits. It is shown that quantum and classical predictions converge as the number of qubits is increases to the macroscopic scale. This way to explain the classical limit concurs with, and improves, a result previously reported for GHZ states. The demonstration for the general case (i.e., for all possible observables) that the classical limit is the consequence of merely increasing the number of particles, is important and seems to be at hand.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

6 extracted references · 6 canonical work pages

[1]

That this assignment ( any assignment) cannot be consistent with QM predictions is easy to demonstrate

to the elements in the array before measurement. That this assignment ( any assignment) cannot be consistent with QM predictions is easy to demonstrate. Let multiply all column s C k and rows R k in the array , then one expects (the identity matrix in th e rhs is omitted in what follows) :  k C k  R k = 1 ( 2 ) because each element in the array appears ...

work page
[2]

Bell’s theorem: experimental tests and implications

In the third row instead, if  z (1 ) is chosen to be before  x (1 ) , then  z (2 ) will appear after  x (2 ) , or vice versa. This produces an additional minus sign (total factor - i 2 ) and hence R 3 = +1 and  k C k  R k = - 1 . Th e KS argument demonstrates logical contradiction but, in order to test it experimentally, an inequality involving aver...

work page 1978
[3]

Extreme quantum entanglement in a superposition of macroscopically distinct states

D. Mermin, “Extreme quantum entanglement in a superposition of macroscopically distinct states”, Phys. Rev. Lett. 65 p.1838 (1990)

work page 1990
[4]

The problem of hidden variables in Quantum Mechanics

S. Kochen and E.Specker, “The problem of hidden variables in Quantum Mechanics”, J. Math. Mech. 17 , p.59 (1967). [ 4 ] “Non Hermitian Hamiltonians in Quantum Physics” ; Selected Contributions from the 15th Conference on Non - Hermitian Hamiltonians in Quantum Physics , Palermo, Italy, 18 – 23 May 2015, F.Bagarello, R.Passante and C.Trapani Ed., Springer ...

work page 1967
[16]

Experimentally testable state - independent quantum contextuality

A.Cabello, “Experimentally testable state - independent quantum contextuality”, Phys.Rev.Lett. 101 , 210401 (2008)

work page 2008
[17]

Generalised Kochen - Specker Theorem for Finite Non - Deterministic Outcome A ssignments

R.Raman a than, “ Generalised Kochen - Specker Theorem for Finite Non - Deterministic Outcome A ssignments ”, npj Quantum Inf. 10 , 99 (2024). [1 8 ] K.Hepp, “Quantum theory of measurement and macroscopic observables”, Helv.Phys.Acta 45 p.237 (1972)

work page 2024

Pith tools

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

[1] [1]

That this assignment ( any assignment) cannot be consistent with QM predictions is easy to demonstrate

to the elements in the array before measurement. That this assignment ( any assignment) cannot be consistent with QM predictions is easy to demonstrate. Let multiply all column s C k and rows R k in the array , then one expects (the identity matrix in th e rhs is omitted in what follows) :  k C k  R k = 1 ( 2 ) because each element in the array appears ...

work page

[2] [2]

Bell’s theorem: experimental tests and implications

In the third row instead, if  z (1 ) is chosen to be before  x (1 ) , then  z (2 ) will appear after  x (2 ) , or vice versa. This produces an additional minus sign (total factor - i 2 ) and hence R 3 = +1 and  k C k  R k = - 1 . Th e KS argument demonstrates logical contradiction but, in order to test it experimentally, an inequality involving aver...

work page 1978

[3] [3]

Extreme quantum entanglement in a superposition of macroscopically distinct states

D. Mermin, “Extreme quantum entanglement in a superposition of macroscopically distinct states”, Phys. Rev. Lett. 65 p.1838 (1990)

work page 1990

[4] [4]

The problem of hidden variables in Quantum Mechanics

S. Kochen and E.Specker, “The problem of hidden variables in Quantum Mechanics”, J. Math. Mech. 17 , p.59 (1967). [ 4 ] “Non Hermitian Hamiltonians in Quantum Physics” ; Selected Contributions from the 15th Conference on Non - Hermitian Hamiltonians in Quantum Physics , Palermo, Italy, 18 – 23 May 2015, F.Bagarello, R.Passante and C.Trapani Ed., Springer ...

work page 1967

[5] [16]

Experimentally testable state - independent quantum contextuality

A.Cabello, “Experimentally testable state - independent quantum contextuality”, Phys.Rev.Lett. 101 , 210401 (2008)

work page 2008

[6] [17]

Generalised Kochen - Specker Theorem for Finite Non - Deterministic Outcome A ssignments

R.Raman a than, “ Generalised Kochen - Specker Theorem for Finite Non - Deterministic Outcome A ssignments ”, npj Quantum Inf. 10 , 99 (2024). [1 8 ] K.Hepp, “Quantum theory of measurement and macroscopic observables”, Helv.Phys.Acta 45 p.237 (1972)

work page 2024