{"id":"9ef5df81-f926-43a4-9a44-51bfb9e2a060","arxiv_id":"2607.24987","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"A Clifford orbit of algebraically closed Pauli subsets J yields state-independent Brukner–Zeilinger purity invariants I_ψ(J)=2^{n-1} for all pure n-qubit states.","lead":"The paper proves a family of quadratic sums of Pauli expectation values that stay constant on every pure n-qubit state. This generalizes the two-qubit pentagon identities and gives an algebraic handle on pure-state geometry and complementarity for any number of qubits.","discovery_kind":"extension","skeptic_critique":{"model":"moonshotai/kimi-k3","headline":"Theorem 1's value 2^{n−1} is correct, but the displayed substitution step in its proof silently drops the identity's contribution; solved literally, the printed equation yields (2^n−1)/2, not 2^{n−1}.","rationale":"I agree with the reader's overall assessment: the lemma chain is elementary symplectic/linear algebra, I spot-checked the n=2 cardinalities (|C_J(P)| for P∈J is 2, for P∈L is 4, matching Lemma 5's formulas), the counterexample in Prop. 1 is correct, and the central claim survives scrutiny. Where I diverge from the reader is on the location of the weakest point. The reader flagged Lemma 5's commutant-constancy as the load-bearing assumption; I verified Lemma 5's proof independently (the Δ(P) argument in App. E is clean: Δ(ϕ)=ϕ(P)(2Δ(P)−Δ(ϕ)) forces Δ(P)=Δ(ϕ)=−2^n on J and Δ(P)=0 on L, and |C(P)|=4^n/2 gives the rest). Instead, the soft spot I found is one step later, in Theorem 1's own displayed algebra: the substitution conflates Σ_{1≠P∈J} with the full I_ψ(J), dropping the identity's unit contribution. Taken literally the printed equation solves to (2^n−1)/2, contradicting the theorem's own n=2 special case — so no reader can actually verify the proof as written. The repair is trivial (replace I_ψ(J) by I_ψ(J)−1 in the first sum) and the conclusion is independently confirmed by the stabiliser-state evaluation via Lemma 3, so this does not threaten the result. Hence partial agreement with the reader (same region of the argument — the conversion of Lemma 4 into a state-independent constant — but a different, more specific failure point), and no change to the ACCEPT verdict: this is a one-line erratum in the proof of the main theorem, worth flagging to the authors, not a reason to downgrade. Confidence in the claim itself remains high given the cheap numerical falsifiability of the predicted value 2^{n−1}.","tokens_in":26439,"tokens_out":8934,"duration_ms":330235,"concrete_test":"Two-part check. (1) Analytical: redo the final substitution in Theorem 1 with I_ψ(J)=1+Σ_{1≠Q∈J}α_Q² separated out, i.e. Σ_{1≠P∈J}|C_J(P)|α²_P = |C_J(J)|·(I_ψ(J)−1); solving gives I=2^{n−1}, while the equation as printed gives (2^n−1)/2 — confirming the slip and its one-line repair. (2) Numerical: for the canonical 3-qubit set J (#1 in Appendix H), compute I_ψ(J) from Bloch components for ~10^4 Haar-random pure states plus GHZ and product states. Theorem 1 predicts exactly 4; the printed (uncorrected) equation would predict 7/2. If the numerical value is 4 uniformly, the theorem is sound and only the displayed intermediate equation needs an erratum.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Theorem 1 substitutes Lemma 5's constant commutant sizes into Lemma 4 and writes\n\nI_ψ(J) = c1 + |C_J(1≠P∈J)|/2^{n−1} · I_ψ(J) + |C_J(P∈L)|/2^{n−1} · (2^n−1 − I_ψ(J)).\n\nBut Lemma 4 sums over 1≠P∈P̃_n, while I_ψ(J) := Σ_{Q∈J} α_Q² includes Q=1 (α_1=1; cf. footnote 25, I_ψ(1)=1, and the n=1 case J={1}, I=1=2^0). Hence the sum over non-identity P∈J equals |C_J(J)|·(I_ψ(J)−1), not |C_J(J)|·I_ψ(J). The slip is not cosmetic: with |J|=2^{n−1}(2^n−1), |C_J(J)|=2^{n−1}(2^{n−1}−1), |C_J(L)|=4^{n−1}, the equation as printed gives 2I = (2^n−1)(1−2^{n−1}+2^{n−1}) = 2^n−1, i.e. I=(2^n−1)/2 — which for n=2 gives 3/2, contradicting the pentagon value I_ψ(S1)=1+1=2. With the corrected substitution (I−1 in place of I), the linear system yields exactly I=2^{n−1} for all n, and the independent stabiliser-state pinning via Lemma 3 (|J∩A|=2^{n−1} for the maximal Abelian A⊃Ã_X, since J∩A is an Abelian subgroup ≠A) confirms this value. So the theorem stands; the derivation as written contains an off-by-one error at the decisive step that converts Lemmas 4–5 into the constant. This matters because it is precisely the step a reader must trust to see *why* the constant is 2^{n−1} rather than merely *that* it is constant, and a skeptical referee reproducing the algebra will find the printed equation self-inconsistent. It is an erratum-level defect, not a flaw in the result: the lemma chain (Lemmas 2–5) checks out under independent verification of the n=2 cardinalities, and the corrected algebra closes in one line.","agreement_with_reader":"partial"},"referee_report":{"model":"moonshotai/kimi-k3","summary":"The manuscript constructs, for every n≥1, an explicit family of subsets J⊂P̃_n of the Hermitian n-qubit Paulis (Def. 1, extended by Clifford conjugation via Lm. 1) and proves that the Brukner–Zeilinger quadratic information I_ψ(J)=Σ_{Q∈J}α_Q² equals 2^{n−1} for every pure state (Thm. 1), generalising the two-qubit pentagon identities. The proof chain is: closure of the J/L partition under (anti-)commutators (Lm. 2); exclusion of maximal Abelian subgroups from J via an Arf-type invariant Δ(φ)=−2^n (Lm. 3, App. D); a general identity expressing I_ψ(S) through commutant cardinalities (Lm. 4, App. B); and constancy of those cardinalities on J and L (Lm. 5, App. E). Thm. 2 counts 2^{n−1}(2^n−1) such sets, recovering 6 pentagons at n=2 and giving 28 explicit sets at n=3 (App. H). I verified the lemma chain, including the App. E argument (Δ(P)=Δ(ϕ) for P∈J, 0 for P∈L) and the corrected final algebra, and I reproduce the claimed value. However, the displayed substitution step in the proof of Thm. 1 is wrong as printed (identity contribution dropped), and solved literally yields (2^n−1)/2, contradicting the paper's own n=2 value; the corrected substitution gives exactly 2^{n−1}. This is an erratum-level defect at the decisive step of the main proof, not a flaw in the result.","tokens_in":27044,"tokens_out":7643,"duration_ms":699462,"significance":"If the result holds — and my checking of the lemma chain and of the n=2, n=3 cardinalities indicates it does — this closes a question left open since the 2017 informational reconstruction: what replaces the two-qubit pentagon identities for n qubits. The answer is a clean, closed-form family (Def. 1) with the constant 2^{n−1}, an explicit Clifford-orbit structure (Lm. 6), and an exact count (Thm. 2). Strengths: the proof is self-contained and parameter-free; the mechanism (closure relations Eq. (5) ⟹ quadratic refinement φ ⟹ Arf-type invariant Δ(φ)=−2^n ⟹ constant commutants) is transparent and reveals genuinely new structure absent at n=2; the n=1,2 degenerate cases and the failure of the naive generalisation (Prop. 1, explicit n=3 counterexample) are handled honestly; and the value is falsifiable by direct computation on any listed set. The work also usefully connects Brukner–Zeilinger complementarity to quadratic forms over GF(2). Broader claims (exhaustiveness, unitary-orbit encoding) are deferred to companions and are not assessed here.","major_comments":[{"comment":"Proof of Theorem 1, displayed substitution: Lemma 4 sums over 1≠P∈P̃_n, while I_ψ(J) as defined in Eq. (1) includes Q=1 with α_1=1 (footnote 25; the n=1 case J={1}, I=1=2^0). Hence Σ_{1≠P∈J}|C_J(P)|α_P² = |C_J(J∖{1})|·(I_ψ(J)−1), and the complementary sum is 2^n−1−(I_ψ(J)−1), not what is printed. Taken literally with App. E's values (|J|=2^{n−1}(2^n−1), |C_J(J)|=2^{n−1}(2^{n−1}−1), |C_J(L)|=4^{n−1}), the printed equation gives I=(2^n−1)/2 (for n=2: 3/2), contradicting the pentagon value I=2. With the corrected substitution the system gives 2I=2^n, i.e. I=2^{n−1} for all n. The result stands; the decisive displayed step must be corrected.","section":"Theorem 1, proof"},{"comment":"The value is pinned by 'equals the value for stabiliser states, which reads 2^{n−1} by Lm. 3', but Lm. 3 alone yields only I_ψ(J)≤2^{n−1} for stabiliser states (J∩A is closed under products by Lm. 2, hence a subgroup; ≠A by Lm. 3). Equality requires |J∩A|=2^{n−1}, e.g. by choosing a maximal Abelian A containing one of the dimension-(n−1) Abelian subgroups exhibited just before Lm. 3. Alternatively, note that the (corrected) linear system already determines I uniquely, making the pinning redundant. Either fix is one or two sentences.","section":"Theorem 1, proof (final step)"}],"minor_comments":[{"comment":"The lemma numbering in the appendices does not match the main text: App. A contains a 'Lemma 2' that is main-text Lm. 1; App. B restates Lm. 4 as 'Lemma 1'; App. C restates Lm. 2 as 'Lemma 3'; App. D restates Lm. 3 as 'Lemma 4'. This makes cross-referencing needlessly confusing. App. E also cites 'Lm. (9)' with parentheses.","section":"Appendices A–E"},{"comment":"Terminology: 'commutant' is defined but nonstandard for a subset of a group (centraliser is usual); 'uneven k' (App. A) should be 'odd k'; 'anti-commutating' appears several times; spelling alternates between 'generalising' and 'generalizing'. Footnote 41 ends with a double period; a full stop is missing after 'shown in Fig. 1'.","section":"Throughout"},{"comment":"The identity-inclusion convention for I_ψ(S) in Eq. (1) should be stated explicitly once before the proof of Theorem 1, since the n=1 case (J={1}, I=1) and the pentagon normalisation (I=2 over six elements) both rely on it; this would also prevent the slip flagged above.","section":"Sec. I B / Theorem 1"},{"comment":"Ref. [23] is listed as 'M. Frembs, (in preparation)' while the joint companions list all four authors; please check the author list. The claim in the introduction that the pentagon identities are 'the only prediction by any reconstruction of novel structural properties' is strong and would benefit from a qualifier or a supporting citation.","section":"References / Introduction"}],"recommendation":"minor_revision","confidential_remarks":"The manuscript is self-contained for its two theorems, but several advertised claims (that all maximal complementarity sets are invariants; that this family exhausts the product-closed invariants; the encoding of PSU(2^n)⋊Z_2) are deferred to Ref. [22] (simultaneous) and Ref. [23] (in preparation, listed under a single author unlike the other four-author items). The editor may wish to confirm the paper is intended to stand alone; in my view it does. The citation pattern is appropriately weighted toward the authors' own reconstruction programme, which is the natural context here; I see no citation concern beyond the forward-references. Theorem 1 is a concrete, checkable identity (I verified n=2 against the pentagon value), which raises my confidence in the lemma chain despite the displayed-equation slip."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The one thing worth knowing: they give an explicit, Clifford-orbit family of subsets J of the n-qubit Paulis such that the Brukner–Zeilinger quadratic is constantly 2^{n−1} on every pure state, and they prove it. For n=2 this recovers the old pentagons; for n>2 the naive maximal anti-commuting sets fail (their Prop. 1 counterexample is clean), so the construction is actually new.\n\nWhat works: Definition 1 is concrete, the symplectic/Clifford reductions (Lms 1, 8) are standard and correctly used, the closure relations (Lm 2) and the Arf-style argument that J contains no maximal Abelian subgroup (Lm 3) are the real structural content, and the general purity identity (Lm 4) plus constant commutant sizes (Lm 5) turn into the constant. Appendices A–G are usable; the n=3 list is there; the orbit count 2^{n−1}(2^n−1) checks out. The load-bearing algebra lives in the Pauli group and does not secretly lean on the reconstruction papers or the companions.\n\nSoft spot, in proportion: the displayed substitution in the proof of Theorem 1 mishandles the identity element. Lemma 4 sums over non-identity Paulis, while I_ψ(J) includes α_1=1, so the printed linear equation is inconsistent (it would give (2^n−1)/2, which already fails the n=2 pentagon value). Correct the off-by-one (replace I by I−1 on the J side) and you recover exactly 2^{n−1}, which also matches the stabiliser pinning via Lm 3. Result stands; write-up needs an erratum-level fix before a referee wastes an afternoon on it. Minor otherwise: companions carry the complementarity story and the “exhausts the closed invariants” claim; this paper is self-contained for the existence theorem.\n\nWho it is for: people who care about multi-qubit Bloch geometry, informational reconstructions, or complementarity/uncertainty structure in the Pauli group. Not a methods paper and not for the tomography practitioner tomorrow, but the invariants are usable.\n\nI would send it to peer review. Fix the one-line slip in Thm 1, keep the companions as companions, and it is a solid short paper. Worth engaging if that subfield is on your desk.","headline":"Clean algebraic family of n-qubit purity invariants that genuinely generalizes the pentagons; theorem is right, but the printed proof of Theorem 1 has an off-by-one that a referee will catch.","tokens_in":26700,"tokens_out":619,"would_cite":true,"duration_ms":26186,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["03.67.-a","03.65.Ta","03.65.Ud"],"model":"grok-4.5","headline":"A family of quadratic Pauli expressions is constant on every pure n-qubit state, generalising the two-qubit pentagon identities.","keywords":["n-qubit pure states","Pauli group","purity invariants","Brukner-Zeilinger information","complementarity","Clifford group","mutually unbiased bases","Bloch representation"],"falsifier":"Compute the sum of squared Bloch components over any explicit J for two distinct pure states (for example a product state and a stabilizer state that is not an eigenstate of a subgroup inside J); if the two sums differ, Theorem 1 is false.","tokens_in":26191,"feed_emoji":"⚛️","tokens_out":927,"duration_ms":22341,"temperature":0.7,"pith_summary":"For any number of qubits, certain carefully chosen sets of Pauli operators have the property that the sum of the squared expectation values on those operators is always the same number for every pure state. That constant equals 2 to the power n-minus-1. The sets recover the familiar single-qubit Bloch-sphere condition and the two-qubit pentagon identities, and they continue to work for three or more qubits where simple anti-commuting collections fail. The construction is closed under anti-commutators, contains no full set of mutually commuting Paulis, and sits in a single orbit under Clifford conjugation. The resulting equalities are informational complementarity relations: knowing everything about one such set leaves you completely ignorant of its complement. They therefore give an explicit algebraic description of the pure-state manifold that earlier reconstruction work had only for two qubits.","feed_headline":"Pure n-qubit states obey simple quadratic Pauli identities","feed_subtitle":"A single family of sums of squared expectations is constantly 2^{n-1}, for every number of qubits","key_machinery":"The sets J of Definition 1, together with the general identity that expresses I_ρ(S) in terms of commutant sizes inside S. Because those commutant sizes are constant on J and on L, the identity collapses to a numerical constant fixed by the value on stabilizer states.","core_discovery":"Every set J built from a pair of complementary maximal Abelian Pauli subgroups, a pair of codimension-one subgroups, and two generating elements satisfying the stated commutation conditions (and every Clifford conjugate of such a set) satisfies I_ψ(J)=2^{n-1} for every pure n-qubit state ψ. The same constancy holds for the complement L. Thus these quadratics are state-independent purity invariants for all n.","pith_inferences":["Because the invariants are quadratic and Clifford-covariant, they can serve as cheap, state-independent checks inside tomography or certification protocols without reconstructing the full density matrix.","The same constant-commutant technique may produce analogous invariants for qudits once a suitable symplectic section of the Heisenberg–Weyl group is fixed.","Error-correcting codes whose stabilizers intersect these J-sets in controlled ways could inherit automatic purity or distance bounds from the complementarity equalities."],"forward_implications":["The pure-state manifold of n qubits admits an explicit algebraic description by these quadratic equalities for every n.","The same family encodes the action of the projective unitary group (up to complex conjugation) on pure states, generalising the two-qubit case.","Each such J yields a maximal complementarity equality in the Brukner–Zeilinger information measure and therefore a strong uncertainty relation.","There are exactly 2^{n-1}(2^n-1) distinct Clifford-conjugate copies of these invariants.","The algebraic closure properties under (anti)commutators distinguish this family from many other purity invariants that exist once n>2."],"fun_headline_variants":["Pure n-qubit states obey quadratic Pauli invariants at 2^{n-1}","Complementary Pauli sets yield state-independent purity quadratics","One family of Pauli quadratics constant for every pure n-qubit state","n-qubit purity fixed by quadratic sums over complementary Pauli subgroups","Clifford conjugates of Pauli sets give universal n-qubit purity invariants"],"cache_read_input_tokens":16512,"weakest_assumption_plain":"The sizes of the sets of operators inside J (and inside its complement) that commute with a given Pauli are the same no matter which Pauli you pick inside each piece; if those sizes varied, the information sum would not be forced to a single number.","fun_headline_variants_meta":{"raw":{"variants":["Pure n-qubit states obey quadratic Pauli invariants at 2^{n-1}","Complementary Pauli sets yield state-independent purity quadratics","One family of Pauli quadratics constant for every pure n-qubit state","n-qubit purity fixed by quadratic sums over complementary Pauli subgroups","Clifford conjugates of Pauli sets give universal n-qubit purity invariants"]},"model":"grok-4.5","effort":"low","cost_usd":0.003974,"raw_usage":{"total_tokens":1188,"prompt_tokens":734,"num_sources_used":0,"completion_tokens":76,"cost_in_usd_ticks":39744000,"prompt_tokens_details":{"text_tokens":734,"audio_tokens":0,"image_tokens":0,"cached_tokens":128},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":378,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":734,"tokens_out":76,"duration_ms":7661,"temperature":1.0,"reasoning_tokens":378,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-31T08:33:30.872896+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Compute the sum of squared Bloch components over any explicit J for two distinct pure states (for example a product state and a stabilizer state that is not an eigenstate of a subgroup inside J); if the two sums differ, Theorem 1 is false.","supporting_citations":[],"review_version":2}