{"id":"f6998764-a68c-4c2b-b2cf-3c1805a45fec","arxiv_id":"2607.27173","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Ordinary MacWilliams transforms are Wigner-D matrices in the spin-n/2 representation, obtained as the unique change of frame between local and global sector bases.","lead":"MacWilliams transforms for classical and quantum codes are derived as Wigner-D spin rotations from a trivial/nontrivial error split. The same kinematic object unifies bits, qudits, shadows, and Rains unitary enumerators by changing only the rotation angle.","discovery_kind":"unification","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The Reader correctly isolates the canonicity of the SN-derived global frame as the load-bearing modeling choice and notes that the paper itself limits the claim for a>2. That choice is well-motivated: ordinary weight enumerators retain only the inactive/active distinction, so the G-invariants and the unique (up to sign) SN-invariant lines are the only natural frames; the resulting one-parameter family in eta(N) then unifies the known dualities without fitting. The algebra is elementary representation theory of SU(2) plus a change to counting coordinates, the phase conventions are fixed explicitly in the supplement, and every standard MacWilliams/shadow/Rains matrix is recovered as a special case. Because the derivation is parameter-free, self-contained, and matches the literature, there is no correctness risk that would move the verdict. A routine independent expansion of the symmetric power is the only check still worth performing; it is expected to pass. Hence the Reader’s ACCEPT / high-confidence assessment stands unchanged.","tokens_in":10451,"tokens_out":601,"duration_ms":12683,"concrete_test":"Independently expand Sym^n(U) in the unnormalized counting basis {x^{n-k} y^k} for generic r,s (or the ordinary r=1,s=N-1 case) and extract the coefficient of x^{n-j} y^j; verify that it reproduces exactly the Krawtchouk formula given in the supplement (and the classical/quantum specializations in the main text). Agreement confirms the lift and coordinate change; any mismatch would expose an algebraic gap.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim holds under scrutiny. From the two-sector split E=E0⊔E1 alone, the G=Sr\times Ss-invariant space is two-dimensional with the stated orthonormal local-sector basis; the SN-decomposition supplies the uniform line and a one-dimensional mean-zero line whose orientation is a Z2 choice. The unique (up to that sign) change-of-basis matrix is U, which is D^{1/2}(π/2,eta,π/2) after the fixed phase convention of the supplement; its symmetric power is therefore the spin-n/2 Wigner-D matrix, and conjugation by the sector-size diagonal recovers the Krawtchouk/MacWilliams matrices that match the classical q-ary, qubit, qudit, shadow, and large-N Rains cases. The canonicity of the SN global frame is the natural kinematic choice once only the inactive/active partition is retained, and the paper itself correctly flags that a>2 leaves residual freedom. No hidden assumption or internal inconsistency appears in the derivation or the recovery of the known transforms.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper argues that ordinary MacWilliams transforms in classical and quantum weight-enumerator theory are kinematic: given only a partition of local error symbols into inactive and active sectors of sizes r and s, the one-site G-invariant sector space is two-dimensional, the SN-isotypic decomposition supplies a canonical global frame (uniform line plus a Z2 choice of mean-zero orientation), and the unique change-of-basis matrix U between local- and global-sector bases is (after a fixed phase) the spin-1/2 Wigner-D matrix D^{1/2}(π/2, β, π/2) with β = 2 arccos(√(r/N)). The n-site transform is the symmetric-power lift, hence D^{n/2} at the same Euler angles; passage to counting coordinates recovers the Krawtchouk/MacWilliams matrices. Varying N recovers classical q-ary, qubit, qudit, and large-N Rains unitary dualities; the opposite mean-zero orientation recovers qubit shadows. Heterogeneous, Γ-orbit, and higher-sector extensions are sketched.","tokens_in":10739,"tokens_out":1259,"duration_ms":44838,"significance":"If the kinematic reading is accepted, the zoo of MacWilliams, shadow, and unitary-enumerator identities collapses to a single SU(2) mechanism parameterized by sector sizes (or equivalently β) and a discrete orientation choice. The derivation is parameter-free once the two-sector split is fixed, matches the known classical (N=q) and quantum (N=D²) matrices by direct verification rather than fitting, and cleanly separates kinematics from realization. The appendix extraction of the Krawtchouk formula from Sym^n(M) and the honest flag that a>2 leaves residual frame freedom are strengths. The contribution is primarily conceptual unification and clarification rather than new coding bounds, but that unification is nontrivial and may guide heterogeneous, orbit-resolved, and higher-resolution enumerator theories.","major_comments":[{"comment":"One-site kinematics, Eqs. (3)–(6) and the claim of uniqueness: the dual frame is fixed by taking the G-invariant lines inside the SN-decomposition F(E) ≅ 1 ⊕ Std. This is a natural kinematic choice once only the inactive/active partition is retained, and it correctly reproduces the known matrices, but the manuscript should state more explicitly that this choice is an additional kinematic postulate (the “right” dual frame for coding duality) rather than a theorem forced solely by the partition. For classical codes the historical MacWilliams identity comes from Fourier analysis on the alphabet group; the paper recovers the same matrix but does not replace that realization-level duality. A short paragraph distinguishing “the transform matrix is forced” from “the code–dual pairing is forced” would prevent over-reading the canonicity claim, especially since the higher-resolution section alrea","section":"One site kinematics"},{"comment":"Realizations and Table I: the unification of classical q-ary (N=q) and quantum (N=D²) under the same (r,s)=(1,N−1) family is correct at the level of matrices, and the paper notes that q=4 and qubits share the transform but not the realization. For a Letter this is adequate, but a single sentence on how the association-scheme / Delsarte linear-programming positivity structures sit on top of the common kinematic space (without being derived from it) would better locate the result relative to the classical coding literature cited in [1–4].","section":"Realizations"}],"minor_comments":[{"comment":"Throughout the manuscript, arrows and maps appear as the corrupted token “∫hortrightarrow” (and variants). These should be restored to → or ↦ before publication.","section":null},{"comment":"Table I header and Rains row: “N/∫hortrightarrow∞” and “β/∫hortrightarrowπ” need clean limit notation; the table caption should state explicitly that the listed β is the Euler angle in D^{n/2}(π/2, β, π/2).","section":"Table I"},{"comment":"Supplemental Material, ZXZ convention: the phase relation U^{(n)} = i^n D^{n/2}(π/2, β, π/2) is clear, but a one-line reminder in the main text (near Eq. (10)) that the overall i^n is conventional and does not affect the counting-coordinate MacWilliams matrix would help readers who skip the supplement.","section":"Many site kinematics"},{"comment":"Classical shadows appendix: the U(1) θ-twisted family and the identification θ=π/2 ↔ Conway–Sloane is useful; consider flagging earlier in the main shadow section that the real Z2 choice does not produce the classical binary shadow, so readers are not surprised.","section":"Qubit shadows are kinematically forced"},{"comment":"References: [13] is cited for mixed-dimensional identities and appears as a 2026 arXiv; ensure the citation remains accurate at publication. A pointer to the classical Krawtchouk/association-scheme origin of the same matrices (beyond MacWilliams–Sloane) would help non-quantum readers.","section":null}],"recommendation":"minor_revision","confidential_remarks":"The result is a clean conceptual reframing rather than a source of new bounds; suitable for a Letter if the journal values unification pieces. I see no integrity or citation-pattern issues. The reader’s and skeptic’s assessments that the central derivation is sound match my reading; the two major comments are clarification requests, not correctness objections."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The punchline is simple and holds up. From nothing but an inactive/active partition of local errors, the ordinary MacWilliams transform is (up to phase) the spin-n/2 Wigner-D matrix D^{n/2}(π/2, β, π/2) with β fixed by the sector sizes; counting coordinates turn it into the usual Krawtchouk matrix. Changing N moves you between classical q-ary, qubit, qudit and the large-N Rains unitary case; the remaining Z2 orientation on the mean-zero line is exactly the qubit shadow. That packaging is new.\n\nWhat the paper does well is keep the derivation first-principles and elementary. One-site orthonormal bases, the unique (up to sign) change-of-basis U, the symmetric-power lift, the diagonal rescaling to counting coordinates, and the appendix extraction of the Krawtchouk formula are all standard representation theory and match the literature matrices exactly. Heterogeneous codes become a tensor product of Wigner-D blocks; Γ-orbit and higher-sector extensions are flagged honestly. Circularity is low: known dualities are recovered, not fitted. Citations are appropriate and the conventions (ZXZ, phases) are fixed cleanly in the supplement.\n\nSoft spots are real but proportionate. The canonicity of the SN global frame is a kinematic choice rather than forced by code duality; the authors themselves note that a>2 leaves residual freedom, so the “unique/kinematic” claim is load-bearing only for two sectors. The work organizes and re-derives; it does not produce new code bounds or settle existence questions. The complex U(1) twist that recovers Conway–Sloane is acknowledged as less canonical. None of this breaks the central claim.\n\nThis is for people who already live with weight enumerators, association schemes, or quantum LP bounds and want a single geometric picture. A serious referee should see it. I would bring it to reading group, cite the unification when I next touch enumerator identities, and accept it for peer review.","headline":"Clean kinematic unification: MacWilliams maps are Wigner-D sector-frame changes at spin n/2, recovering the whole classical/quantum/shadow zoo from one two-sector split.","tokens_in":11361,"tokens_out":525,"would_cite":true,"duration_ms":15330,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.5","headline":"MacWilliams transforms for classical and quantum codes are the same spin rotation, lifted from a two-sector split of local errors.","keywords":["MacWilliams transform","weight enumerators","Wigner-D matrix","spin kinematics","Krawtchouk polynomials","quantum codes","shadow enumerators","SU(2)"],"falsifier":"Check whether the matrix elements of i^n D^{n/2}(π/2, β, π/2), after the stated diagonal rescaling into counting coordinates, reproduce the standard Krawtchouk MacWilliams entries for several (r, s, n), and whether the opposite global orientation yields the Rains qubit shadow substitution.","tokens_in":11280,"feed_emoji":"⚛️","tokens_out":1049,"duration_ms":19739,"temperature":0.7,"pith_summary":"Weight enumerators and their MacWilliams duals look like a zoo of classical and quantum identities. This paper argues they share one kinematic origin: once local errors are split only into inactive and active sectors, the one-site change of frame between local-sector and global-sector bases is a fixed two-by-two rotation, and on n sites that rotation becomes the spin-n/2 Wigner-D matrix. Written in the counting coordinates coding theory prefers, the same map is the familiar Krawtchouk MacWilliams matrix. Changing the sector sizes (or the angle of the rotation) moves continuously among bits, q-ary codes, qubits, qudits, and Rains’ unitary enumerators; flipping the orientation of the global mean-zero line produces qubit shadow enumerators. The length n never changes the rotation itself—it only raises the spin. The point is that duality is forced by sector geometry before any code is chosen, so classical and quantum MacWilliams theory sit inside one SU(2) mechanism.","feed_headline":"MacWilliams dualities are one spin rotation in disguise","feed_subtitle":"A two-sector split of local errors forces the Krawtchouk map as a Wigner-D matrix at spin n/2","key_machinery":"The one-site unitary MacWilliams map U between the local-sector basis {|0⟩, |1⟩} and the global-sector basis {|+⟩, |−⟩}, realized as the SU(2) element whose n-fold symmetric power is the spin-n/2 Wigner-D matrix; conjugating into sector-counting coordinates yields the Krawtchouk MacWilliams matrix.","core_discovery":"From nothing more than a partition of local error symbols into inactive and active sectors, the ordinary n-site unitary MacWilliams transform is (up to phase) the Wigner-D matrix D^{n/2}(π/2, β, π/2) with β = 2 arccos(√(r/N)), i.e. the spin-n/2 lift of the unique orthonormal change of basis between the local-sector and global-sector frames; in counting coordinates this is the Krawtchouk matrix, and varying N or the global-frame orientation recovers classical, quantum, shadow, and large-N unitary dualities.","pith_inferences":["If the two-sector kinematics is truly primary, new shadow or duality transforms for structured codes may be read off from other gauge choices (e.g. U(1) phases) once a realization makes the coefficients real and nonnegative.","Association-scheme and linear-programming bounds may be rephrased as positivity constraints inside a fixed spin representation rather than as separate combinatorial constructions.","Burst or correlated-noise bounds could be tightened by retaining cyclic or other Γ-orbit enumerators while still using the same one-site MacWilliams rotation."],"forward_implications":["Classical bit, q-ary, qubit, and qudit MacWilliams identities are the same Wigner-D element evaluated at different β(N).","Rains’ unitary-enumerator duality is the N→∞ endpoint of that family (β→π), i.e. the spin-n/2 reversal map.","Qubit MacWilliams and shadow transforms are the two orientations of one global mean-zero line; both are kinematically forced.","Heterogeneous (mixed-dimension) MacWilliams maps are tensor products of one-site U_i, grouping into Wigner-D blocks per local dimension.","Γ-orbit and multi-sector enumerators inherit the same one-site U by restriction to Inv_Γ or Sym^n of a larger sector space."],"fun_headline_variants":["MacWilliams dualities are one spin rotation in disguise","MacWilliams transforms equal Wigner-D rotations at spin n/2","Error-sector split forces MacWilliams as spin-n/2 kinematics","Classical and quantum MacWilliams maps are pure spin rotations","Fixed spin-n/2 rotation unifies all MacWilliams dualities"],"cache_read_input_tokens":8576,"weakest_assumption_plain":"That the dual frame is fixed solely by the two G-invariant lines inside the full permutation decomposition of the error alphabet, rather than by code-specific duality or Fourier structure.","fun_headline_variants_meta":{"raw":{"variants":["MacWilliams dualities are one spin rotation in disguise","MacWilliams transforms equal Wigner-D rotations at spin n/2","Error-sector split forces MacWilliams as spin-n/2 kinematics","Classical and quantum MacWilliams maps are pure spin rotations","Fixed spin-n/2 rotation unifies all MacWilliams dualities"]},"model":"grok-4.5","effort":"low","cost_usd":0.004701,"raw_usage":{"total_tokens":1322,"prompt_tokens":699,"num_sources_used":0,"completion_tokens":72,"cost_in_usd_ticks":47008000,"prompt_tokens_details":{"text_tokens":699,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":551,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":699,"tokens_out":72,"duration_ms":10003,"temperature":1.0,"reasoning_tokens":551,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-30T11:08:43.791467+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Check whether the matrix elements of i^n D^{n/2}(π/2, β, π/2), after the stated diagonal rescaling into counting coordinates, reproduce the standard Krawtchouk MacWilliams entries for several (r, s, n), and whether the opposite global orientation yields the Rains qubit shadow substitution.","supporting_citations":[],"review_version":2}