Classical and Quantum MacWilliams Transforms as Spin Kinematics

Eric Kubischta; Ian Teixeira

REVIEW 2 major objections 5 minor 13 references

Classical and Quantum MacWilliams Transforms as Spin Kinematics

T0 review · 2 major / 5 minor · reviewed 2026-07-30 · grok-4.5

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

Pith's one-line read MacWilliams transforms for classical and quantum codes are the same spin rotation, lifted from a two-sector split of local errors.

desk verdict 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. read the letter →

arxiv 2607.27173 v1 pith:YK6C4AHP submitted 2026-07-29 quant-ph cs.ITmath.IT

Eric Kubischta , Ian Teixeira This is my paper · ORCID

classification quant-phcs.ITmath.IT

keywords MacWilliamstransformweightenumeratorsWigner-DmatrixspinkinematicsKrawtchoukpolynomialsquantumcodesshadowSU(2)

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

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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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.

Load-bearing premise

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.

Editorial extensions

If this is right

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.

Reading between the lines

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

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.

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

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.

What 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.

Soft 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.

This 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.

Referee Report

2 major / 5 minor

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.

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 (2)

[One site kinematics] 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
[Realizations] 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].

minor comments (5)

Throughout the manuscript, arrows and maps appear as the corrupted token “∫hortrightarrow” (and variants). These should be restored to → or ↦ before publication.
[Table I] 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).
[Many site kinematics] 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.
[Qubit shadows are kinematically forced] 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.
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.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: MacWilliams matrices are derived from sector-frame change-of-basis and then matched to known formulas, not defined as the outputs they recover.

full rationale

The load-bearing chain is self-contained linear algebra. From the inactive/active partition E=E0⊔E1 alone, the G=Sr×Ss-invariant space is two-dimensional (local-sector basis); the SN-decomposition supplies the uniform line and a one-dimensional mean-zero line (global-sector basis, Z2 orientation). The unique change-of-basis U is written as a Wigner-D matrix after a fixed phase convention; its symmetric power is the spin-n/2 lift; conjugation by the sector-size diagonal recovers the Krawtchouk form. The paper then verifies that these matrices coincide with the classical q-ary, qubit/qudit Shor–Laflamme, Rains shadow, and large-N unitary dualities. Matching known transforms is external verification, not a fit or a definitional loop. There is no self-citation of author uniqueness theorems, no fitted parameter renamed as prediction, and no ansatz smuggled in via citation. Choosing the SN global frame as the dual frame is a modeling assumption (flagged by the paper itself for a>2), not circularity: once that frame is chosen, uniqueness of U is ordinary linear algebra, not a reduction of the claim to its own input. Score 0.

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

The central claim rests on standard finite-dimensional representation theory plus one modeling package: errors partitioned into two sectors, ordinary enumerators as G-invariants, dual frame from SN, and n-site theory as Sym^n. No fitted parameters. Invented entities are named frames and transforms, not new physical objects; their content is fixed by linear algebra once the partition is chosen.

assumptions (5)

domain assumption Local errors admit a fixed partition E=E0⊔E1 with sizes r,s and N=r+s; ordinary weight enumerators are invariant under G=Sr×Ss.
Stated at the opening of “One site kinematics”; standard for Hamming-type weight but excludes complete/type enumerators unless refined later.
ad hoc to paper The dual MacWilliams frame is the pair of G-invariant lines in the SN-isotypic decomposition F(E)≅1⊕Std, with |+⟩ the uniform vector and |−⟩ one orientation of the mean-zero line.
This is the paper’s kinematic postulate that makes U unique; justified retrospectively by matching known dualities, not forced by coding duality alone.
standard math n identical sites with positions forgotten yield the symmetric power Sym^n(V) ≅ spin-n/2 of SU(2) on the two-dimensional sector space V.
Standard identification used in “Many site kinematics”; underpins the Wigner-D lift.
standard math Wigner D-matrices in the ZXZ convention satisfy Sym^n(D^{1/2}(π/2,β,π/2))=D^{n/2}(π/2,β,π/2), with the paper’s phase bU=−iU.
Fixed in the supplemental “ZXZ convention” section; conventional but necessary for the quoted formula U^{(n)}=i^n D^{n/2}(…).
domain assumption Realizations (classical A_k, Shor–Laflamme A_j/B_j, Rains shadows) assign the sector counting coefficients that the kinematic M^{(n)} acts on.
“Realizations” section; needed to claim the kinematic M is the MacWilliams transform of coding theory.

invented entities (3)

Local-sector and global-sector orthonormal bases {|0⟩,|1⟩}, {|+⟩,|−⟩} independent evidence
purpose: Provide the two canonical frames whose change-of-basis matrix is declared to be the unitary MacWilliams transform.
Constructed explicitly from sector averages; not a new particle or force, but a named kinematic structure central to the claim.
Twisted global-sector basis {|+⟩,|σ⟩} and shadow transform S=UZ independent evidence
purpose: Explain Rains qubit shadows as the other orientation of the same 2D kinematics.
Sign flip of |−⟩; matches Rains’ shadow substitution after symmetrization.
θ-twisted MacWilliams family M^{(n)}T_θ^{(n)} over complex U(1) gauge
purpose: Fold Conway–Sloane classical shadows (θ=π/2) into the same framework.
Introduced in the supplement; less canonical than the real Z2 choice, as the authors note.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Classical and Quantum MacWilliams Transforms as Spin Kinematics." pith.science (2026). https://pith.science/paper/YK6C4AHP

@misc{pith2026260727173,
  author       = {Pith},
  title        = {Pith review of: Classical and Quantum MacWilliams Transforms as Spin Kinematics},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YK6C4AHP}},
  note         = {Machine review of arXiv:2607.27173}
}

abstract

Spin is the hidden engine behind the zoo of MacWilliams transforms in weight enumerator theories - not only for qubits and qudits, but even for classical codes. From nothing more than a split into trivial and nontrivial errors, we kinematically derive the MacWilliams transform as a Wigner-$D$ rotation between two canonical bases. Within each classical and quantum theory, changing the length $n$ leaves the rotation untouched: the same element simply reappears at spin $n/2$. And at fixed $n$, changing the rotation axis simply moves between the various classical and quantum theories.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

13 extracted references · 1 linked inside Pith

[1]

F. J. MacWilliams, A theorem on the distribution of weights in a systematic code, Bell System Technical Jour- nal42, 79 (1963)

1963
[2]

F. J. MacWilliams and N. J. A. Sloane,The Theory of Error-Correcting Codes(North-Holland, 1977)

1977
[3]

Delsarte,An Algebraic Approach to the Association Schemes of Coding Theory, Vol

P. Delsarte,An Algebraic Approach to the Association Schemes of Coding Theory, Vol. 10 (Philips Research Re- ports Supplements, Eindhoven, 1973)

1973
[4]

J. H. Conway and S. N. J. A.,Sphere packings, lattices, and groups(World Publishing Corp., 2008)

2008
[5]

Rains, Quantum weight enumerators, IEEE Transac- tions on Information Theory44, 1388 (1998)

E. Rains, Quantum weight enumerators, IEEE Transac- tions on Information Theory44, 1388 (1998)

1998
[6]

Rains, Quantum shadow enumerators, IEEE Transac- tions on Information Theory45, 2361 (1999)

E. Rains, Quantum shadow enumerators, IEEE Transac- tions on Information Theory45, 2361 (1999)

1999
[7]

Shor and R

P. Shor and R. Laflamme, Quantum analog of the macwilliams identities for classical coding theory, Phys. Rev. Lett.78, 1600 (1997)

1997
[8]

Rains, Polynomial invariants of quantum codes, IEEE Transactions on Information Theory46, 54 (2000)

E. Rains, Polynomial invariants of quantum codes, IEEE Transactions on Information Theory46, 54 (2000)

2000

Show all 13 references

[9]

Lai and A

C.-Y. Lai and A. Ashikhmin, Linear programming bounds for entanglement-assisted quantum error- correcting codes by split weight enumerators, IEEE Transactions on Information Theory64, 622 (2018)

2018
[10]

C. Hu, S. Yang, and S. S.-T. Yau, Complete weight distri- butions and macwilliams identities for asymmetric quan- tum codes, IEEE Access7, 68404 (2019)

2019
[11]

C. Hu, S. Yang, and S. S.-T. Yau, Weight enumerators for nonbinary asymmetric quantum codes and their appli- cations, Advances in Applied Mathematics121, 102085 (2020)

2020
[12]

Cao and B

C. Cao and B. Lackey, Quantum weight enumerators and tensor networks, IEEE Transactions on Information The- ory70, 3512 (2024)

2024
[13]

Gonz´ alez-Lociga and S

D. Gonz´ alez-Lociga and S. Ball, The mixed-dimensional quantum macwilliams identity: bounds for codes and ab- solutely maximally entangled states in heterogeneous sys- tems (2026), arXiv:2604.25790 [quant-ph]. 6 Supplemental Material Larger T rivial Sectors We have retained a...

2026 arXiv

Pith tools

Reviewed July 30, 2026 · model on record in the stance chip above.

[1] [1]

F. J. MacWilliams, A theorem on the distribution of weights in a systematic code, Bell System Technical Jour- nal42, 79 (1963)

1963

[2] [2]

F. J. MacWilliams and N. J. A. Sloane,The Theory of Error-Correcting Codes(North-Holland, 1977)

1977

[3] [3]

Delsarte,An Algebraic Approach to the Association Schemes of Coding Theory, Vol

P. Delsarte,An Algebraic Approach to the Association Schemes of Coding Theory, Vol. 10 (Philips Research Re- ports Supplements, Eindhoven, 1973)

1973

[4] [4]

J. H. Conway and S. N. J. A.,Sphere packings, lattices, and groups(World Publishing Corp., 2008)

2008

[5] [5]

Rains, Quantum weight enumerators, IEEE Transac- tions on Information Theory44, 1388 (1998)

E. Rains, Quantum weight enumerators, IEEE Transac- tions on Information Theory44, 1388 (1998)

1998

[6] [6]

Rains, Quantum shadow enumerators, IEEE Transac- tions on Information Theory45, 2361 (1999)

E. Rains, Quantum shadow enumerators, IEEE Transac- tions on Information Theory45, 2361 (1999)

1999

[7] [7]

Shor and R

P. Shor and R. Laflamme, Quantum analog of the macwilliams identities for classical coding theory, Phys. Rev. Lett.78, 1600 (1997)

1997

[8] [8]

Rains, Polynomial invariants of quantum codes, IEEE Transactions on Information Theory46, 54 (2000)

E. Rains, Polynomial invariants of quantum codes, IEEE Transactions on Information Theory46, 54 (2000)

2000