[[47,1,11]] · QEC Challenge

[[47,1,11]] d ≤stabilizer

kd²/n

2.574

Share this result

Distance

a general stabilizer code has no X and Z sides: d is the minimum Pauli weight of a nontrivial logical operator (a Y factor counts one qubit), and the witness is one Pauli operator that commutes with every generator and is not a product of them

d 11 · witness Pauli weight 11 (2 Y factors; Hamming weight over 2n bits 13) (claimed upper_bound)

witness operator (Pauli string, 11 qubits)

IIIIIIIIIIXIIIIIZIIIIYIZIZIIIIXIIIIYIIIIZIZIZIX X: [10, 21, 30, 35, 46] Z: [16, 21, 23, 25, 35, 40, 42, 44]

certificate none yet · distance stands as a self-certified upper bound (d ≤); the Pauli-weight certifier is not built yet, so stabilizer entries cannot earn d= for now

Diagnostics

computed by the verifier from the parity checks, the layout, and the stored witnesses; shown as evidence, not used for ranking

girth S 4 (shortest cycle of the generator Tanner graph; longer is friendlier to belief propagation)

check weights S 6

qubit degrees S 6

trapping sets S (1,6)×47 (2,8)×282 (3,6)×47 (smallest syndrome weight at each size, connected sets of up to 3 qubits)

full (size, syndrome weight): count census for S

(1,6): 47 (2,8): 282 (2,10): 141 (3,6): 47 (3,8): 188 (3,10): 1598 (3,12): 2162 (3,14): 564

Construction & provenance

authors @davidplu

provenance submitted through the challenge

novelty novelty not audited

construction Cyclic shifts modulo 47 of X support [1, 46], Z support [4, 15, 32, 43]; inversion-symmetric supports.

model GPT-6 (claimed, not verified)

builds on arXiv:1108.5490

date 2026-10-03

notes Known one-block additive cyclic construction; specific-instance literature novelty unverified. Witness-backed board metadata; supplementary exhaustive evidence in accompanying note.

family other (a tag, not a ranking)

locality unrestricted (computed from the layout)

weight class weight ≤ 6 (computed)

How this code was found

the research note submitted with this code · raw markdown · all notes

[[47,1,11]] — weight-6 one-block cyclic stabilizer

Direction & hypothesis

Target the unrestricted weight-6 general-stabilizer cell by varying inversion-symmetric cyclic supports. At upstream ff48155b8897e6796950c64d860e9102d59c36e9 this entry extends the Pareto frontier: no existing entry dominates it. This is a board-relative contribution within a known construction (arXiv:1108.5490), not a claim of a new family or literature record.

What was searched

The completed campaign examined 4,151 unique seed instances across 4,526 runs: complete normalized two-color odd supports through n=53, sampled odd n=55..101 and even n=24..80, and a connected k=3 branch. The normalized seed has X support {1,-1} and Z support {u,-u,v,-v}; screening used randomized information-set search, followed by exhaustive checks for selected survivors. Initial odd screening used seed 100301 and 50 RIS trials; refinement used seed 100400 plus the candidate index and 100 trials. Search success alone is not a lower bound. The exact submitted supports are given below.

Evidence trail

PROVED/VERIFIED externally: stabilizer rank 46, k=1, commuting cyclic generators of Pauli weight 6. A complete cyclic-orbit radius-5 meet-in-the-middle enumeration processed 40,911,898 representatives (identity plus every weight-at-most-5 Pauli containing site 0). Keys use the minimum cyclic syndrome and global X/Z parity labels. These labels are invariant under shifts and form the two logical commutation bits because n is odd and the stabilizer rank is n-1. No equal-syndrome pair had different labels, excluding every nontrivial logical of weight at most 10. The stored weight-11 witness supplies the opposite bound. The supplementary calculation is reproducible from research/evidence/47-1-11/scripts/ and its outputs are committed under research/evidence/47-1-11/. The trusted gate receipt is research/evidence/47-1-11/gate.json: passed=true, fresh refutation seed 100347, no lighter logical found. Repository distance metadata remains upper_bound with a checked Pauli witness; the supplementary exhaustive result is not the board's exact-tier certificate.

Uniqueness is relative to the checked board snapshot. There is no general-stabilizer entry with the same n and k; n and k are invariant under LC+permutation. The included algebraic certificate excludes equivalence to ANY CSS code: necessary trace-one local-projector preservation equations sum to 0=1 over GF(2). Both exact/WL duplicate checks are negative. No matching submission appeared among the seven open PRs checked on 2026-10-03. Global literature novelty remains UNKNOWN.

Dead ends

The campaign's [[31,1,9]] candidate is a duplicate: multiplying the existing entry's qubit labels by 2 modulo 31 gives the same stabilizer rowspace, so it was withheld. The [[33,1,9]] and [[39,3,7]] candidates are dominated on the current board. The [[53,1,11]] candidate is dominated by this campaign's [[47,1,11]]. None is used as evidence of a new record.

Tools

GPT-6 via Codex; Python, NumPy, exact binary symplectic routines, and the unchanged challenge validator. Exhaustive verification takes seconds to tens of seconds on the development machine. No circuit-tier files: the tier does not support general stabilizer codes.

Reproduction

Generate all 47 cyclic shifts modulo 47 of X=[1, 46], Z=[4, 15, 32, 43]. This specifies the complete submitted check matrix without search randomness. Install NumPy, then run from the repository root:

python research/evidence/47-1-11/scripts/orbit_mitm.py 47 4 15 5
python research/evidence/47-1-11/scripts/verify_css.py
python verify/qldpc_verify.py codes/47-1-11.json

The supplementary scripts replay the completed investigation; they do not replace or modify the trusted verifier.

Stabilizer generators

generators 47 (max weight 6; 47 mixed X/Z) (one binary symplectic matrix S = (A | B); generator i is X on A_i and Z on B_i, Y where both)

generators (47, Pauli strings on 47 qubits)

IXIIZIIIIIIIIIIZIIIIIIIIIIIIIIIIZIIIIIIIIIIZIIX XIXIIZIIIIIIIIIIZIIIIIIIIIIIIIIIIZIIIIIIIIIIZII IXIXIIZIIIIIIIIIIZIIIIIIIIIIIIIIIIZIIIIIIIIIIZI IIXIXIIZIIIIIIIIIIZIIIIIIIIIIIIIIIIZIIIIIIIIIIZ ZIIXIXIIZIIIIIIIIIIZIIIIIIIIIIIIIIIIZIIIIIIIIII IZIIXIXIIZIIIIIIIIIIZIIIIIIIIIIIIIIIIZIIIIIIIII IIZIIXIXIIZIIIIIIIIIIZIIIIIIIIIIIIIIIIZIIIIIIII IIIZIIXIXIIZIIIIIIIIIIZIIIIIIIIIIIIIIIIZIIIIIII IIIIZIIXIXIIZIIIIIIIIIIZIIIIIIIIIIIIIIIIZIIIIII IIIIIZIIXIXIIZIIIIIIIIIIZIIIIIIIIIIIIIIIIZIIIII IIIIIIZIIXIXIIZIIIIIIIIIIZIIIIIIIIIIIIIIIIZIIII IIIIIIIZIIXIXIIZIIIIIIIIIIZIIIIIIIIIIIIIIIIZIII IIIIIIIIZIIXIXIIZIIIIIIIIIIZIIIIIIIIIIIIIIIIZII IIIIIIIIIZIIXIXIIZIIIIIIIIIIZIIIIIIIIIIIIIIIIZI IIIIIIIIIIZIIXIXIIZIIIIIIIIIIZIIIIIIIIIIIIIIIIZ ZIIIIIIIIIIZIIXIXIIZIIIIIIIIIIZIIIIIIIIIIIIIIII IZIIIIIIIIIIZIIXIXIIZIIIIIIIIIIZIIIIIIIIIIIIIII IIZIIIIIIIIIIZIIXIXIIZIIIIIIIIIIZIIIIIIIIIIIIII IIIZIIIIIIIIIIZIIXIXIIZIIIIIIIIIIZIIIIIIIIIIIII IIIIZIIIIIIIIIIZIIXIXIIZIIIIIIIIIIZIIIIIIIIIIII IIIIIZIIIIIIIIIIZIIXIXIIZIIIIIIIIIIZIIIIIIIIIII IIIIIIZIIIIIIIIIIZIIXIXIIZIIIIIIIIIIZIIIIIIIIII IIIIIIIZIIIIIIIIIIZIIXIXIIZIIIIIIIIIIZIIIIIIIII IIIIIIIIZIIIIIIIIIIZIIXIXIIZIIIIIIIIIIZIIIIIIII IIIIIIIIIZIIIIIIIIIIZIIXIXIIZIIIIIIIIIIZIIIIIII IIIIIIIIIIZIIIIIIIIIIZIIXIXIIZIIIIIIIIIIZIIIIII IIIIIIIIIIIZIIIIIIIIIIZIIXIXIIZIIIIIIIIIIZIIIII IIIIIIIIIIIIZIIIIIIIIIIZIIXIXIIZIIIIIIIIIIZIIII IIIIIIIIIIIIIZIIIIIIIIIIZIIXIXIIZIIIIIIIIIIZIII IIIIIIIIIIIIIIZIIIIIIIIIIZIIXIXIIZIIIIIIIIIIZII IIIIIIIIIIIIIIIZIIIIIIIIIIZIIXIXIIZIIIIIIIIIIZI IIIIIIIIIIIIIIIIZIIIIIIIIIIZIIXIXIIZIIIIIIIIIIZ ZIIIIIIIIIIIIIIIIZIIIIIIIIIIZIIXIXIIZIIIIIIIIII IZIIIIIIIIIIIIIIIIZIIIIIIIIIIZIIXIXIIZIIIIIIIII IIZIIIIIIIIIIIIIIIIZIIIIIIIIIIZIIXIXIIZIIIIIIII IIIZIIIIIIIIIIIIIIIIZIIIIIIIIIIZIIXIXIIZIIIIIII IIIIZIIIIIIIIIIIIIIIIZIIIIIIIIIIZIIXIXIIZIIIIII IIIIIZIIIIIIIIIIIIIIIIZIIIIIIIIIIZIIXIXIIZIIIII IIIIIIZIIIIIIIIIIIIIIIIZIIIIIIIIIIZIIXIXIIZIIII IIIIIIIZIIIIIIIIIIIIIIIIZIIIIIIIIIIZIIXIXIIZIII IIIIIIIIZIIIIIIIIIIIIIIIIZIIIIIIIIIIZIIXIXIIZII IIIIIIIIIZIIIIIIIIIIIIIIIIZIIIIIIIIIIZIIXIXIIZI IIIIIIIIIIZIIIIIIIIIIIIIIIIZIIIIIIIIIIZIIXIXIIZ ZIIIIIIIIIIZIIIIIIIIIIIIIIIIZIIIIIIIIIIZIIXIXII IZIIIIIIIIIIZIIIIIIIIIIIIIIIIZIIIIIIIIIIZIIXIXI IIZIIIIIIIIIIZIIIIIIIIIIIIIIIIZIIIIIIIIIIZIIXIX XIIZIIIIIIIIIIZIIIIIIIIIIIIIIIIZIIIIIIIIIIZIIXI

symplectic rows (A | B) (47, sparse supports)

X: [1, 46] Z: [4, 15, 32, 43] X: [0, 2] Z: [5, 16, 33, 44] X: [1, 3] Z: [6, 17, 34, 45] X: [2, 4] Z: [7, 18, 35, 46] X: [3, 5] Z: [0, 8, 19, 36] X: [4, 6] Z: [1, 9, 20, 37] X: [5, 7] Z: [2, 10, 21, 38] X: [6, 8] Z: [3, 11, 22, 39] X: [7, 9] Z: [4, 12, 23, 40] X: [8, 10] Z: [5, 13, 24, 41] X: [9, 11] Z: [6, 14, 25, 42] X: [10, 12] Z: [7, 15, 26, 43] X: [11, 13] Z: [8, 16, 27, 44] X: [12, 14] Z: [9, 17, 28, 45] X: [13, 15] Z: [10, 18, 29, 46] X: [14, 16] Z: [0, 11, 19, 30] X: [15, 17] Z: [1, 12, 20, 31] X: [16, 18] Z: [2, 13, 21, 32] X: [17, 19] Z: [3, 14, 22, 33] X: [18, 20] Z: [4, 15, 23, 34] X: [19, 21] Z: [5, 16, 24, 35] X: [20, 22] Z: [6, 17, 25, 36] X: [21, 23] Z: [7, 18, 26, 37] X: [22, 24] Z: [8, 19, 27, 38] X: [23, 25] Z: [9, 20, 28, 39] X: [24, 26] Z: [10, 21, 29, 40] X: [25, 27] Z: [11, 22, 30, 41] X: [26, 28] Z: [12, 23, 31, 42] X: [27, 29] Z: [13, 24, 32, 43] X: [28, 30] Z: [14, 25, 33, 44] X: [29, 31] Z: [15, 26, 34, 45] X: [30, 32] Z: [16, 27, 35, 46] X: [31, 33] Z: [0, 17, 28, 36] X: [32, 34] Z: [1, 18, 29, 37] X: [33, 35] Z: [2, 19, 30, 38] X: [34, 36] Z: [3, 20, 31, 39] X: [35, 37] Z: [4, 21, 32, 40] X: [36, 38] Z: [5, 22, 33, 41] X: [37, 39] Z: [6, 23, 34, 42] X: [38, 40] Z: [7, 24, 35, 43] X: [39, 41] Z: [8, 25, 36, 44] X: [40, 42] Z: [9, 26, 37, 45] X: [41, 43] Z: [10, 27, 38, 46] X: [42, 44] Z: [0, 11, 28, 39] X: [43, 45] Z: [1, 12, 29, 40] X: [44, 46] Z: [2, 13, 30, 41] X: [0, 45] Z: [3, 14, 31, 42]

Code ID 47-1-11 · download JSON · raw on GitHub