{"id":"07f0e7df-986d-4721-be70-3cc1c5a56fee","arxiv_id":"2607.24988","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Maximal complementary sets of (possibly non-maximal) Abelian subgroups of the n-qubit Pauli group exist, equal purity invariants, and yield strong collision-entropy uncertainty relations.","lead":"The paper proves that degenerate observables from the n-qubit Pauli group can still be maximally complementary: certainty about one forces total ignorance about the others. It gives an algebraic test for when two Abelian Pauli subgroups are complementary, links maximal such sets to purity invariants, and derives strong entropic uncertainty bounds useful for quantum crypto.","discovery_kind":"extension","skeptic_critique":null,"referee_report":{"model":"moonshotai/kimi-k3","summary":"The paper studies complementarity (in the strong sense of Def. 1: certainty about one observable implies maximal uncertainty about the other) for degenerate observables associated with Abelian subgroups of the n-qubit Pauli group. The main results are: (i) Thm. 1, a complete characterization of pairwise complementarity of two (not necessarily maximal) Abelian subgroups via the commutant criterion à ∩ C(B̃) = {1} = B̃ ∩ C(Ã); (ii) Lm. 2, an upper bound K ≤ 2^n+1 on complementary sets of Abelian subgroups of fixed dimension m; (iii) Thm. 3, showing that every maximal (K = 2^n+1) complementary set defines a purity invariant I_ψ(⊍ Ã_k°) = 2^m − 1 for all pure states, proved via a bi-regular-cut lemma (Lm. 11) applied to the Pauli frustration graph; and (iv) Thm. 4, a collision-entropy uncertainty relation derived from the purity invariant by concavity. Cor. 3 asserts existence of maximal complementary sets for m = n−1, importing the anti-commutator-closed purity invariants from a simultaneous companion paper [19].","tokens_in":25082,"tokens_out":4468,"duration_ms":473954,"significance":"If the results hold, the paper identifies a previously unnoticed coarse-grained complementarity structure in the Pauli group, generalizing the well-known MUB/partition picture (m = n) to degenerate observables, and connects it to quadratic purity invariants with concrete entropic-uncertainty consequences. The core proofs are self-contained and I verified them in detail: Thm. 1 follows cleanly from the Fourier duality between outcome distributions and Pauli expectations (Lms. 12–13, Eq. (B5)); Thm. 3 rests on a transparent double-counting argument (Lms. 14–17, including the variance argument forcing c_A = 2^m − 1 in Lm. 16) combined with the bi-regular-cut identity of Lm. 11 — I checked the arithmetic in the proof of Thm. 3, e.g. N₁+N₂ = 2^{n−1}(2^n+1)−1, and the collision-probability sum in Thm. 4 giving (2^n + 2^m)/2^m = 2^{n−m}+1, which correctly reduces to the standard MUB bound log((2^n+1)/2) at m = n. Thm. 4 is a falsifiable, parameter-free consequence. The one soft point is that the existence statement (Cor. 3) is not proved within this manuscript but imported from a simultaneous companion submission.","major_comments":[{"comment":"App. C, proof of Cor. 3: the existence claim for m = n−1 is load-bearing for the paper's central message (\"the n-qubit Pauli group hides other complementarity structures\"), yet the proof is three sentences and rests entirely on Ref. [19], which is cited only as \"simultaneously on the arXiv.\" Two nontrivial steps are asserted without argument or precise citation: (a) that J ∩ A_k has dimension exactly n−1 for every maximal Abelian subgroup A_k of a partition, and (b) that the resulting subgroups satisfy the commutant criterion of Thm. 1 \"by means of being a purity invariant.\" If the family in [19] failed either property, Cor. 3 (and the converse claim about anti-commutator-closed invariants) would collapse while Thms. 1 and 3 stand. Since [19] is not yet a stable, checkable reference, the manuscript should at minimum (i) state the precise lemma/theorem numbers in [19] being invoked, (ii)","section":"Appendix C, proof of Cor. 3"},{"comment":"§III, paragraph after Cor. 3, and App. C final paragraph: the converse statement — \"every anti-commutator closed purity invariant gives rise to a maximal complementary set of Abelian subgroups\" — is asserted as following from \"the proof of Cor. 1 in App. C.\" Cor. 1 is stated and proved in Sec. III, not App. C; presumably Cor. 3 is meant. More substantively, this converse is a nontrivial claim (it requires showing that anti-commutator closure forces the invariant to be a disjoint union of 2^n+1 isotropic subspaces of dimension m), and the argument given (\"the last argument proves that any purity invariant that is closed under anti-commutators ... gives rise to a maximal set\") is too compressed to check. Either expand it into a lemma with proof or state it explicitly as a result of Ref. [20].","section":"§III / App. C"}],"minor_comments":[{"comment":"Notation inconsistency for the Brukner-Zeilinger measure: Eq. (3) defines I_ρ(S) = Σ tr[Pρ]² without the +1, and Thm. 3 states I_ψ(⊍ Ã_k°) = 2^m − 1; Eq. (D1) defines I_ρ({A_k}) = 1 + Σ, and the proof of Thm. 4 in App. E then invokes \"I_ψ({Ã_k}) = 2^m by Thm. 3.\" The two conventions differ by 1 and the cross-reference conflates them. The arithmetic in Thm. 4 is nonetheless correct, but the notation should be harmonized.","section":"Eq. (3) vs Eq. (D1) / App. E"},{"comment":"App. C, proof of Lm. 2: it should be remarked explicitly that for m = n the bound K ≤ 2^n+1 already follows from the partition property (Cor. 2), since the counting contradiction derived there (using Lm. 17 versus the Lm. 15-type count) is formulated for general m but the setup with Q ∉ S presupposes elements outside a putative partition.","section":"App. C, proof of Lm. 2"},{"comment":"Throughout: \"then-qubit\" appears repeatedly (missing space, \"the n-qubit\"), including in the title as rendered. Also, the first author's affiliation block lists both Hannover and OIST addresses under affiliation 1, which looks like a formatting error.","section":"Global"},{"comment":"Fig. 1 is purely illustrative, as the authors note, but it would help to state in the caption that the depicted parameters (N₁=3, N₂=4) do not correspond to an actual maximal complementary set for any n, to avoid confusion with the realizable families.","section":"Fig. 1"},{"comment":"Lm. 14's counting statement (\"commutes with 2^n(2^{n−1}−1)+2^n−1 elements in S\") is specialized to l = 1 in the displayed formula while the lemma is stated for general l; consider giving the general-l count 2^n − 1 + 2^n(2^{n−l}−1) for clarity.","section":"App. C, Lm. 14"}],"recommendation":"minor_revision","confidential_remarks":"The central new results (Thms. 1, 3, 4 and Lm. 2) are proved self-containedly and I verified the key counting and concavity steps; they are sound. My only reservation is structural: the existence corollary and the anti-commutator-closed converse depend on a simultaneous companion paper [19] and an in-preparation manuscript [20], so part of the paper's narrative cannot be fully checked against stable references at this time. The dependence is disclosed openly rather than hidden, and the main theorems do not rely on it, so I regard this as fixable within revision — but the editor may wish to ensure the revised version makes the imported assumptions explicit and citable."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The new pieces are Thm. 1 (pairwise complementarity of non-maximal Abelian Pauli subgroups is exactly the double commutant condition à ∩ C(B̃) = {1} = B̃ ∩ C(Ã)), Thm. 3 (every maximal complementary set of fixed dimension is a purity invariant via bi-regular cuts of the frustration graph), and the collision-entropy bound in Thm. 4. Those are real and self-contained once you grant the Pauli commutation relations.\n\nWhat the paper does well: the proofs are readable. App. B gives the Fourier characterisation of min/max uncertainty states; Lms. 15–17 do the counting that establishes bi-regularity; Lm. 11 turns that into the invariant; Thm. 4 is then a short concavity step. No free parameters, no data games. The link to (coarse-grained) MUBs and to Brukner–Zeilinger information is cleanly drawn.\n\nSoft spot, in proportion: Cor. 3’s existence for m = n−1 is not constructed here. It is imported by intersecting the anti-commutator-closed purity invariants of the simultaneous companion [19] with ordinary MUB partitions and checking the commutant criterion. If that family fails, Cor. 3 drops while Thms. 1, 3 and 4 still stand. Ref. [20] is still “in preparation,” so the package is not fully closed. That is a genuine dependency, not a fatal hole in the proved statements.\n\nWho it is for: people who already care about MUBs, stabiliser geometry, or entropic uncertainty bounds inside the Pauli group. Foundations readers and anyone writing crypto proofs that need multi-measurement collision entropy will get value. It will not move someone outside that circle.\n\nI would send it to peer review. The core theorems deserve referee time; the existence corollary just needs the companions to be checked or a self-contained construction added. Worth engaging if you work in this corner; skip if you do not.","headline":"Clean algebraic extension of maximal complementarity to degenerate Pauli observables; main theorems stand, existence for m=n−1 rides on the companions.","tokens_in":25045,"tokens_out":510,"would_cite":true,"duration_ms":12454,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["03.65.Ta","03.67.-a","03.65.Ud"],"model":"grok-4.5","headline":"The n-qubit Pauli group admits maximal complementary sets of degenerate observables, which force pure-state purity equalities and strong entropic uncertainty bounds.","keywords":["complementarity","Pauli group","Abelian subgroups","mutually unbiased bases","purity invariants","entropic uncertainty relations","degenerate observables","stabiliser formalism"],"falsifier":"Exhibit a pure state on n qubits for which the summed squared Pauli expectations over any candidate collection of 2^n+1 Abelian subgroups of size 2^{n-1} fails to equal 2^{n-2}, or show that no such collection satisfies the pairwise commutant condition of Theorem 1.","tokens_in":25243,"feed_emoji":"⚛️","tokens_out":942,"duration_ms":20480,"temperature":0.7,"pith_summary":"Complementarity in its strongest form means that certainty about one observable forces total ignorance about another. For non-degenerate measurements this is the familiar story of mutually unbiased bases, which exist maximally in n-qubit systems. This paper asks whether the same exclusive trade-off survives when the observables are allowed to be degenerate—equivalently, when one works with non-maximal Abelian subgroups of the Pauli group. It gives a clean algebraic criterion for two such subgroups to be complementary, proves that any largest set of them defines a pure-state purity invariant, and shows that those sets produce collision-entropy uncertainty relations whose bound is essentially as strong as the classical MUB case. A sympathetic reader cares because cryptographic and foundational arguments that rely on exclusive information trade-offs can now be run with coarser, fewer-outcome measurements that are still maximally complementary.","feed_headline":"Maximal complementarity survives coarse-graining in n-qubit Paulis","feed_subtitle":"Degenerate observables still force purity equalities and tight entropy bounds","key_machinery":"Complementary Abelian subgroups of the Pauli group, characterised by the commutant intersection criterion and realised as bi-regular cuts of the Pauli frustration graph; these cuts are exactly the sets that make the Brukner-Zeilinger information measure constant on pure states.","core_discovery":"Two Abelian subgroups of the Hermitian n-qubit Pauli group are complementary if and only if each intersects the commutant of the other only at the identity. Any maximal collection of 2^n+1 such subgroups of fixed dimension m defines a purity invariant: the sum of squared expectation values over their non-identity elements equals 2^{m-1} for every pure state. Such collections exist at least for m=n-1, and they obey the averaged collision-entropy bound (1/(2^n+1)) sum H_2 >= log((2^n+1)/(2^{n-m}+1)).","pith_inferences":["The commutant criterion suggests a purely symplectic-geometric classification of all unextendible complementary sets inside the Pauli group, independent of any purity calculation.","If analogous bi-regular cuts exist for n-qudit Pauli groups at prime power dimension, the same purity-invariant and uncertainty-relation pipeline should transfer with only notational change.","Protocols that currently lock classical bits with full MUBs could be rewritten with the m=n-1 sets, trading one bit of outcome resolution for potentially simpler experimental settings."],"forward_implications":["Coarse-grained Pauli measurements can still realise the exclusive certainty-ignorance trade-off required by Def. 1.","Maximal complementary sets of fixed dimension m automatically yield purity invariants equal to 2^{m-1}.","Those sets produce averaged collision-entropy lower bounds that match the strength of the full MUB case up to the reduced outcome size.","The same algebraic structure supplies candidate measurement arrangements for locking and key-distribution protocols that use fewer outcomes.","Anti-commutator-closed purity invariants are precisely the sources of such maximal complementary sets."],"fun_headline_variants":["Pauli subgroups complementary iff they meet commutants only at identity","Maximal 2^n+1 Abelian Pauli sets yield pure-state purity invariants","n-qubit degenerate Paulis force complementarity and tight entropy bounds","Coarse-grained MUBs from Pauli subgroups obey collision-entropy inequalities","Fixed-dimension maximal Pauli collections exist at least for m=n-1"],"cache_read_input_tokens":16512,"weakest_assumption_plain":"The concrete existence of maximal complementary sets at dimension m equals n minus 1 is imported from a companion construction of purity invariants rather than proved from scratch inside this paper.","fun_headline_variants_meta":{"raw":{"variants":["Pauli subgroups complementary iff they meet commutants only at identity","Maximal 2^n+1 Abelian Pauli sets yield pure-state purity invariants","n-qubit degenerate Paulis force complementarity and tight entropy bounds","Coarse-grained MUBs from Pauli subgroups obey collision-entropy inequalities","Fixed-dimension maximal Pauli collections exist at least for m=n-1"]},"model":"grok-4.5","effort":"low","cost_usd":0.004318,"raw_usage":{"total_tokens":1304,"prompt_tokens":822,"num_sources_used":0,"completion_tokens":99,"cost_in_usd_ticks":43184000,"prompt_tokens_details":{"text_tokens":822,"audio_tokens":0,"image_tokens":0,"cached_tokens":128},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":383,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":822,"tokens_out":99,"duration_ms":6460,"temperature":1.0,"reasoning_tokens":383,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-31T04:12:08.303956+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Exhibit a pure state on n qubits for which the summed squared Pauli expectations over any candidate collection of 2^n+1 Abelian subgroups of size 2^{n-1} fails to equal 2^{n-2}, or show that no such collection satisfies the pairwise commutant condition of Theorem 1.","supporting_citations":[],"review_version":1}