{"id":"9c768d7e-77be-43b8-8e4c-239672caf025","arxiv_id":"2608.11993","paper_version":1,"verdict":"CONDITIONAL","confidence":"LOW","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For n≥3, the n-qubit Pauli group has no nonconstant Boolean-valued frame functions on stabiliser states, while the underlying symplectic theory admits exactly the linear and quadratic-refinement families, completing the classification of binary affine-symplectic Cameron-Liebler sets.","lead":"This paper classifies all Boolean-valued frame functions on the n-qubit Pauli group and its symplectic counterpart, showing that beyond two qubits the Pauli group admits no noncontextual properties, while the symplectic theory admits only two restricted families. The result reframes Kochen-Specker contextuality as a question about the geometry of symplectic polar spaces and resolves the binary case of a known finite-geometry classification problem.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 2's Pauli no-go appears sound; the load-bearing external assumption is Lemma 13's cited universality of Q^-(2n-1,2), on which Theorem 3's weight-2 classification rests.","rationale":"I read the proof of Theorem 2 carefully. The reduction via odd-weight valuations, the weight-2 Mermin-Peres obstruction, the weight-4 1-ovoid argument, and the induction all appear internally consistent; I found no gap that would threaten the headline Pauli/stabiliser no-go result. The reader's identified weak spot, Lemma 13, is real and is the right one to flag: it is the single non-elementary external input on which the completeness half of Theorem 3 and Corollary 5 depends. The cited universality of the elliptic quadric embedding is a deep theorem, and the paper gives no self-contained proof, so a gap in its application would directly produce unclassified weight-2 symplectic frame functions and unclassified affine-symplectic Cameron-Liebler sets. I agree with the reader that this warrants an explicit check before full acceptance. I also note the corrupted passage in the proof of Lemma 11, but that calculation is elementary and Lemma 12 gives an independent argument for the maximal-context sums, so I do not treat it as load-bearing. A finite-rank computation for n=3 and n=4 is a decisive, feasible test of the contested injectivity. If the test passes, Theorem 3 is supported in its base and first inductive cases; a full proof would still ideally spell out the universality argument from Tits. Thus the existing CONDITIONAL verdict should stand pending that audit.","tokens_in":36455,"tokens_out":25845,"duration_ms":263579,"concrete_test":"Compute the rank of the line-relation matrix for the elliptic quadrics Q^-(5,2) (n=3) and Q^-(7,2) (n=4). Concretely: fix the canonical elliptic form q(v) = \\sum_{i=1}^n a_i b_i + a_1 + b_1, list the nonzero points Q^\\circ = q^{-1}(0) \\setminus \\{0\\}, list all unordered isotropic pairs \\{v,w\\} with \\omega(v,w)=0, and build the \\mathbb{F}_2 matrix R whose columns are e_v + e_w + e_{v+w}. Compute r = rank R. Lemma 13 predicts |Q^\\circ| - r = 2n, i.e., dim E_Q = 6 for n=3 and dim E_Q = 8 for n=4. If the dimension is larger, the universality claim fails in a regime used by Theorem 3 and additional weight-2 frame functions exist; if it matches, the external embedding theorem is corroborated in exactly the cases where the proof first invokes it.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The weakest load-bearing point is in App. D, Lemma 13. It asserts that any map \\tilde{\\alpha}: Q = q^{-1}(0) \\to \\mathbb{Z}_2 that is additive on isotropic pairs extends uniquely to a linear functional on V. The proof forms E_Q = \\mathbb{F}_2^{Q^\\circ} / \\langle e_v + e_w + e_{v+w} : \\omega(v,w)=0 \\rangle and needs the canonical map \\Phi: E_Q \\to V to be injective. This injectivity is exactly the statement that the natural projective embedding of the elliptic polar space Q^-(2n-1,2) is universal, i.e., that all binary linear relations among the points of Q are generated by line relations. The paper cites Refs. [64,65] but supplies no independent derivation. If universality failed, E_Q would have dimension larger than 2n, and there would be additive maps on Q not induced by V^*. Lemma 14 relies on this to force every weight-2 symplectic frame function to be f_{q,\\alpha}; without it, additional families f_{q,s} with s additive on Q but not linear would survive, producing extra Cameron-Liebler sets and invalidating the classification in Theorem 3 and Corollary 5. I stress that this does not threaten Theorem 2: the Pauli/stabiliser no-go proof uses Mermin-Peres and absence of 1-ovoids, not Lemma 13. The theorem is standard in finite geometry, so the concern is about auditability and completeness of the paper's central classification rather than a demonstrated contradiction.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces a generalized notion of Kochen-Specker noncontextuality, called a \"noncontextual property,\" defined via context connections whose holonomy stabilizes a nontrivial event. Theorem 1 equates such properties with nonconstant Boolean-valued frame functions. The main results are: Theorem 2 shows that for n≥3 every Boolean-valued frame function on stabiliser states of the n-qubit Pauli group is constant, so no nontrivial noncontextual properties exist; Proposition 1 constructs the exceptional weight-2 noncontextual properties for n=2; Theorem 3 classifies all nonconstant Boolean-valued frame functions in the underlying symplectic theory for n≥3, showing they are either valuations from linear functionals and quadratic refinements (weight 1), weight-2 functions built from a quadratic refinement of Witt index n−1 and a linear functional, or complements of these. Corollary 5 translates this classification into a classification of binary affine-symplectic Cameron–Liebler sets of maximal totally isotropic flats.","tokens_in":36744,"tokens_out":7978,"duration_ms":79452,"significance":"If the identified gaps are repaired, this is a substantial contribution. The paper gives a clean conceptual bridge between holonomy-based Kochen–Specker noncontextuality and Boolean frame functions, proves a complete no-go theorem for the stabiliser Pauli theory for n≥3, and identifies the two-qubit case as the unique nontrivial exception. The symplectic classification is connected to a concrete open problem in finite geometry, the binary affine-symplectic Cameron–Liebler problem, and the authors provide explicit constructions and exhaustive finite-geometric arguments including the weight-4 case for n=3. The proof strategy—Fourier analysis over GF(2), ovoid nonexistence, polar-space embedding theory, and explicit Lagrangian computations—is coherent and, apart from the issues below, internally consistent. The paper also contains useful applications to quaternionic valuations and to the Λ-polytope literature. These are genuine conceptual and technical advances, provided the corrupted passages are repaired and the cited universality input in Lemma 13 is properly documented.","major_comments":[{"comment":"The proof of Lemma 11 contains an unreadable corrupted passage immediately after the equality \"p_{U|C_{\\tilde U}} = ...\", consisting of the strings \"⌟⟨rro⟪⟪⟩r⟪⌟⟨rro⟪⟪⟩r⟪⌟...\". This is the central restriction computation that establishes compatibility of the selected elements p_U under coarse-graining. Since Lemma 11 is essential for the existence part of Theorem 3, this passage must be rewritten as a clean, verifiable derivation.","section":"Appendix D, proof of Lemma 11"},{"comment":"The proof of Lemma 13 asserts injectivity of the canonical map Φ:E_Q→V by citing the universality of the natural projective embedding of the elliptic polar space Q^-(2n-1,2) (Refs. [64,65]), but no precise statement of the invoked theorem is given and no independent derivation is supplied. Because Lemma 14, and therefore the weight-2 classification in Theorem 3 and Corollary 5, depends critically on this injectivity—if it failed, additional additive maps on Q not induced by linear functionals on V would survive—the authors should state the exact universality result from [64,65] and prove that it applies to this embedding, or give a self-contained argument.","section":"Appendix D, Lemma 13"},{"comment":"The correspondence between symplectic stabiliser states and affine Lagrangians is written with corrupted symbols (\"∼ /leftr⫯g⊸tl⫯ne→\", \"/leftfootl⫯ne→\"), which obscures the bijection Φ and the map f ↦ L_f. Since Proposition 2 and Corollary 5 rest on this bijection, the text must be repaired and the bijection stated explicitly and cleanly.","section":"Appendix F, Proposition 2"}],"minor_comments":[{"comment":"\"then-qubit Pauli group\" should read \"the n-qubit Pauli group\" (two occurrences); the repeated article appears to be a LaTeX or extraction artifact.","section":"Title and abstract"},{"comment":"The notation \"(0,1≠) p_0 ∈ C_0\" is nonstandard; consider writing \"p_0 ∉ {0,1}\" or \"a nontrivial event p_0\".","section":"Definition 3"},{"comment":"The expression \"1_p\" is undefined; clarify whether it denotes the indicator of p or something else in the decomposition C = C_0^f ⊕ C_1^f.","section":"Appendix A, proof of Theorem 1, Eq. (A5)"},{"comment":"The phrase \"this completes the binary classification in all ranks\" should be reconciled with the exceptional n=2 case, which is handled separately in Proposition 1 and requires the arbitrary function s:q^{-1}(0)→Z_2.","section":"Corollary 5"},{"comment":"The main text refers to Lemma 9 before it is stated in Appendix D; add a forward pointer or restructure so that the lemma appears before first citation.","section":"Section IV and Lemma 9"}],"recommendation":"major_revision","confidential_remarks":"I concur with the conditional assessment: the Pauli/stabiliser no-go in Theorem 2 appears robust, while the classification in Theorem 3 and Corollary 5 rests on the cited universality of the elliptic polar-space embedding, so the completeness of that argument matters. The corrupted passages are likely extraction artifacts, but they occur exactly in load-bearing proofs (Lemma 11 and Proposition 2) and must be repaired. I encourage the editor to have the finite-geometry input in Lemma 13 checked by an expert in polar-space embeddings. The paper is a strong candidate for publication once these issues are addressed."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Markus, this paper is a real contribution and it deserves a serious referee, but it needs cleanup before it is publishable as-is.\n\nThe new idea is simple and productive: a noncontextual property is a relaxation of a valuation that keeps a non-atomic event fixed under the holonomy group of a context connection. Theorem 1 shows this is exactly equivalent to a Boolean-valued frame function, and that equivalence is what makes the paper work. The headline results are genuinely strong: for n>=3, every Boolean frame function on n-qubit stabiliser states is constant, so the two-qubit Mermin-Peres weight-2 family is the only nontrivial case in the Pauli group. For the symplectic theory, the classification lists all nonconstant Boolean frame functions explicitly, and the translation to Cameron–Liebler sets of maximal totally isotropic flats in the affine binary symplectic space is a nice payoff—it solves the binary case of a problem that was open in that form.\n\nThe proof of Theorem 2 is clean: odd weights are ruled out by the usual no-valuation argument, weight 2 by a quadratic-refinement/Mermin-Peres argument, weight 4 by the nonexistence of 1-ovoids, and everything else by induction with Lemma 5. I checked the logic and found no gap there. The symplectic part is much more technical, and that is where the soft spots are.\n\nFirst, the proof of Lemma 11 contains a corrupted passage: about ten lines of the computation are gibberish. The intended construction is recoverable from Lemma 1 and the context, but not verifiable as written. That must be fixed.\n\nSecond, Lemma 13 is load-bearing: it extends certain additive maps on the elliptic quadric to linear functionals, via universality of the projective embedding of Q^-(2n-1,2), citing Refs. [64,65]. The result is standard and I have no reason to doubt it, but the paper's central classification depends on it without an independent argument. A referee will want a precise statement of the embedding theorem and its applicability, or a direct proof.\n\nThe absence of machine-checkable certificates for the finite computations in Lemma 16 is a minor issue; the lists are explicit enough to audit by hand, and crediting the LLM that found them is transparent. The citation pattern is fine—the self-references are to the author's own framework, but the classification itself is derived from definitions, not fitted to data.\n\nMy recommendation: send this to peer review. Anyone working on Kochen-Specker contextuality, stabiliser theory, or Cameron-Liebler sets will get value from it. It is mathematically substantial, the central no-go for Pauli groups appears sound, and the two issues named above are fixable with reasonable effort. I would like to see a revised version before signing off, but the paper deserves referee time.","headline":"Genuinely useful classification paper—Theorem 2 looks sound, but Lemma 11's proof is garbled and Lemma 13 leans on a deep cited theorem.","tokens_in":37314,"tokens_out":3403,"would_cite":true,"duration_ms":31660,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81P13","81P68","51A50","05B25"],"pacs":["03.65.Ta","03.67.-a"],"model":"deepseek-v4-flash","headline":"Contextuality in the n-qubit Pauli group collapses to a single exceptional case: two qubits.","keywords":["contextuality","Kochen-Specker theorem","Pauli group","stabiliser states","frame functions","symplectic polar spaces","Cameron-Liebler sets"],"falsifier":"Find an explicit Boolean-valued frame function on stabiliser states for n=3 with weight k=4 that is not constant, or construct a weight-2 symplectic frame function on $S_symp^{3}$ that is not of the form f_{q,α}. Either would directly contradict Theorem 2 or Theorem 3.","tokens_in":36202,"feed_emoji":"🎲","tokens_out":1549,"duration_ms":16036,"temperature":0.7,"pith_summary":"This paper proves that the n-qubit Pauli group admits no nontrivial 'noncontextual properties' beyond the two-qubit case, and it gives a complete classification of the Boolean-valued frame functions that encode them. The central claim is that for n≥3, every Boolean-valued frame function on stabiliser states is constant, meaning the only nontrivial noncontextual properties occur for n=2. The paper further shows that even the underlying symplectic theory, stripped of the Pauli group's phase structure, is contextual, though it admits a restricted set of nonconstant frame functions. If correct, this sharpens the boundary between contextual and noncontextual behaviour in the most widely used discrete quantum setting.","feed_headline":"Pauli contextuality dies beyond two qubits","feed_subtitle":"Every Boolean-valued frame function on stabiliser states is constant for n≥3; only the two-qubit case has noncontextual properties.","key_machinery":"The central objects are Boolean-valued frame functions—maps f from stabiliser states (or symplectic vectors) to {0,1} that assign a fixed number k of 1s in every maximal context—and the context poset (Iso(V),⊆) of isotropic subspaces of the symplectic vector space V=$Z_2^{{2n}}$. The classification proceeds via Fourier analysis over Lagrangian subspaces (Parseval's identity, Eq. B3), reduction of frame functions to lower-dimensional eigenspaces (Lemma 5), and the use of quadratic refinements and their Witt indices to constrain weight-2 and weight-4 frame functions.","core_discovery":"For n≥3, the context poset of the Pauli group C(\\tilde{P}_n) admits no nontrivial noncontextual properties; equivalently, every Boolean-valued frame function on the stabiliser states S_stab^n is constant. The only nontrivial case is n=2, where weight-2 noncontextual properties exist as in Proposition 1. In the symplectic theory, nonconstant Boolean-valued frame functions do exist for all n, but only in restricted forms: they are either evaluations of linear functionals combined with the quadratic refinement q_W, or they are supported on level sets of quadratic refinements of Witt index n-1 (Theorem 3). The paper establishes this by characterizing all Boolean-valued frame functions on both the Pauli group and its symplectic projection.","pith_inferences":["One could test the robustness of the classification by numerically searching for Boolean-valued frame functions on stabiliser states for n=4 with weights other than the forbidden values; the paper's proof implies none exist, so a search that finds one would refute the central claim.","The paper implies that for odd-prime qudits, the analogous Cameron–Liebler classification problem remains open and could yield a richer family of noncontextual properties; this is a natural next step the author does not explicitly pursue.","The result suggests that the two-qubit case is the only possible resource for noncontextual properties within Pauli-based quantum computation, potentially limiting the role of such properties in magic-state distillation schemes for n≥3."],"forward_implications":["For n≥3, stabiliser quantum theory admits no hidden-variable model that is noncontextual even for constants, in a generalised sense; only the two-qubit Pauli group has any noncontextual properties.","The nonexistence of valuations in quaternionic quantum mechanics for dimension 2^{n-1} (n≥3) follows from a discrete argument using only the context stabiliser poset, without relying on the full Gleason theorem.","The classification of Boolean-valued frame functions in the symplectic theory completely determines all Cameron–Liebler sets of maximal totally isotropic flats in the binary affine-symplectic space, yielding parameters x∈{0,1,2,2^n-2,2^n-1,2^n} for n≥3.","Contextuality in the Pauli group is not merely a consequence of the nontrivial phase cocycle; the underlying symplectic geometry itself forces contextuality for n≥3."],"supporting_citations":[{"why":"Establishes the Kochen-Specker theorem and the notion of noncontextuality that this paper generalises.","marker":"[1, 2]"},{"why":"Provides the reformulation of Kochen-Specker contextuality in terms of context connections and holonomy, which the paper extends to define noncontextual properties.","marker":"[5, 6]"},{"why":"Provides the Mermin-Peres square and the nonexistence of valuations in the n-qubit Pauli group for n≥2, which is used in Lemmas 2 and 3.","marker":"[13-15]"},{"why":"Supplies the classification of quadratic refinements by Witt index, which underpins Lemmas 3, 14 and the structure of the frame functions.","marker":"[24]"},{"why":"The universality of the projective embedding of the elliptic polar space Q^-(2n-1,2) is cited as the key fact that makes Lemma 13 work, which in turn is used to classify weight-2 symplectic frame functions.","marker":"[64]"},{"why":"Provides the framework of Cameron-Liebler sets and the spread condition (Eq. F3) used to reinterpret the classification result in finite geometry.","marker":"[25]"}],"fun_headline_variants":["Pauli contextuality dies for n>2 qubits","No noncontextual properties in Pauli group for n>=3","Only two-qubit Pauli group admits noncontextual properties","All stabiliser frame functions constant for n>=3","Pauli contextuality trivial beyond two qubits"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The classification of weight-2 frame functions in the symplectic case rests on the unproven (in this paper) universality of the natural projective embedding of the elliptic polar space Q^-(2n-1,2); if that universality fails, additional weight-2 frame functions beyond the listed ones could exist.","fun_headline_variants_meta":{"raw":{"variants":["Pauli contextuality dies for n>2 qubits","No noncontextual properties in Pauli group for n>=3","Only two-qubit Pauli group admits noncontextual properties","All stabiliser frame functions constant for n>=3","Pauli contextuality trivial beyond two qubits"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001088,"raw_usage":{"total_tokens":4583,"prompt_tokens":1017,"completion_tokens":3566,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":633,"completion_tokens_details":{"reasoning_tokens":3485}},"tokens_in":633,"tokens_out":3566,"duration_ms":28507,"temperature":1.0,"reasoning_tokens":3485,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T00:19:31.310999+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find an explicit Boolean-valued frame function on stabiliser states for n=3 with weight k=4 that is not constant, or construct a weight-2 symplectic frame function on $S_symp^{3}$ that is not of the form f_{q,α}. Either would directly contradict Theorem 2 or Theorem 3.","supporting_citations":[{"cited_title":"Cardinali, L","cited_arxiv_id":null,"evidence_quote":"The universality of the projective embedding of the elliptic polar space Q^-(2n-1,2) is cited as the key fact that makes Lemma 13 work, which in turn is used to classify weight-2 symplectic frame functions."}],"review_version":1}