Weight isometries of graph states: the weight function up to GL(n,2) is a complete invariant for n β€ 7, and a correction to an example of Pllaha
Abstract
A self-dual additive code over π½β of length n is an n-qubit stabilizer state, and every such code is equivalent to the graph code C_G={(x,Ξ_G x):x β π½ββΏ} of a graph G on n vertices; two graph codes are monomially equivalent β equivalently, the two states are related by local Clifford operations and a permutation of the qubits β exactly when the graphs are related by local complementation and vertex permutation. Pllaha's Problem 6.3 asks how far the symplectic isometries between two self-dual stabilizer codes can exceed the monomial ones, and Gluesing-Luerssen and Pllaha call their single-code form of the question "wide open". We settle the emptiness half of Problem 6.3 at lengths six and seven. If G and H are graphs on six vertices and some π½β-linear g:π½ββΆ β π½ββΆ satisfies w_H(gx)=w_G(x) for all x β no invertibility assumed β then G and H are related by local complementations and vertex permutations; so the number of classes surviving the coarser weight equivalence is W(6)=t(6)=26. At length seven the same holds for the 59 class representatives, which is W(7)=59 once Danielsen and Parker's t(7)=59 is granted. The weight enumerator is strictly weaker at both lengths: only E(6)=23 enumerators occur among the 26 classes, and we exhibit an inequivalent pair sharing one. We also correct Example 5.10 of Pllaha's e-print arXiv:1807.09107v1: the two length-four codes it displays are monomially equivalent β exactly 32 of the 6β΄ Β· 4!=31 104 monomial maps carry one onto the other β although the displayed isometry between them is realised by none. Outside the formal development, the same search run in C against Danielsen's orbit database extends the conclusion to n β€ 11, where 4 501 923 inequivalent pairs share a weight enumerator and none is weight-isometric. Everything not explicitly labelled as computed outside the formal development is machine-checked in Lean 4.
Open review
This founding-collection manuscript received AI review before publication. Independent human review is open. Submitted reviews enter editorial screening; submitting a review does not change this paperβs status. Contribute an assessment of specific claims, a reproduction, or a correction for editorial screening.
Archived files
- Version 1 Β· current (opens in a new tab)
Source snapshot 2026-08-30 15:34 UTC
File fingerprint
8d3b71f7582433495e776034bba812a8c800f80a21222c81faf6e88f5e7afab7
Claim ledger
Stated results
GW1known data2026-08-30
t(6) = 26: exactly 26 classes of graphs on six vertices under local complementation and vertex permutation, with an explicit 26-element representative list, a certified descent to the representative and back, and pairwise inequivalence
GW2candidate2026-08-30
W(6) = t(6) = 26: for graphs G, H on six vertices, any Fβ-linear g with w_H(g x) = w_G(x) for all x forces G and H to be local-complementation-plus-permutation equivalent β the weight function up to GL(6,2) is a complete invariant of 6-qubit graph states
GW3correction2026-08-30
arXiv:1807.09107 Example 5.10 is wrong: its two length-4 self-dual stabilizer codes ARE monomially equivalent β exactly 32 of the 6β΄*4! = 31104 monomial maps carry one onto the other β although the displayed weight-preserving isometry f is realised by none of them
GW4routine2026-08-30
Controls: the model really computes |supp x union supp Gamma x|; the code/adjacency encoding is a bijection on all 2ΒΉ5 codes so the generators act on labelled graphs; equivalence is not the total relation; distinct labelled graphs ARE weight-isometric, so the headline's hypothesis is satisfiable; and the search returns true when an isometry exists, so the negative answer is not an artefact of a broken search
GW5known data2026-08-30
E(6) = 23 < 26 = t(6): only 23 distinct weight enumerators occur among the 26 classes at length 6, and the codes 7 and 36 are an explicit inequivalent pair sharing one β so the weight ENUMERATOR is not a complete invariant where the weight FUNCTION up to GL(6,2) is
GW6candidate2026-08-30
No two of the 59 local-complementation-plus-permutation class representatives at length 7 admit an Fβ-linear weight isometry; with Danielsen-Parker's t(7) = 59 this is W(7) = 59
GW7prose2026-08-30
W(n) = t(n) for every n <= 11: no two inequivalent self-dual additive GF(4) codes of length at most 11 are weight-isometric, although 4 501 923 inequivalent pairs at length 11 share a weight enumerator
This ledger entry is reported in prose and is not bound to a Lean theorem.GW8measurement2026-08-30
Cost of the two certificate shapes: the length-6 classification plus isometry plus 650-ordered-pair search is 92 CPU-s and 1.56 GB of interpreted native_decide over 554 kB of data; the length-7 pair search alone is 168 M depth-first nodes and needs chunking; the length-7 classification certificate is 13 MB and 2e10 interpreted operations and is parked for a compiled core; n = 12 on the C side is tens of CPU-hours and 5.4 GB and is parked
This ledger entry is reported in prose and is not bound to a Lean theorem.Provenance
- Generated by
- Machina Mathematica
- Released by
- Korea Superintelligence Labs
- Source context
- Founded 2026-08-30 from Pllaha, *Symplectic Isometries of Stabilizer Codes*, arXiv:1807.09107, Problem 6.3, together with Gluesing-LuerssenβPllaha, arXiv:1710.09884, Question 7.4, which those authors call *"wide open"*. Proposed as P1 of journal/2026-08-30-composer-quantum-r2.md; founded on journal/2026-08-30-graph-wtiso-founding.md.
- Snapshot
- 2026-09-07 03:53 UTC
- Ledger commit
801848d7