← back to the board
[[6,4,2]] d ≤
n
6
k
4
d
2
kd²/n
2.667
w
6
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 2, d_Z ≤ 2 · w_X = 6, w_Z = 6 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 2 · witness weight 2 (claimed upper_bound)
witness operator (support, 2 qubits)
[0, 1]
d_Z 2 · witness weight 2 (claimed upper_bound)
witness operator (support, 2 qubits)
[0, 1]
certificate none yet · distance stands as a self-certified upper bound (d ≤)

Diagnostics

computed by the verifier from the parity checks, the layout, and the stored witnesses; shown as evidence, not used for ranking
girth H_X acyclic · H_Z acyclic (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)
check weights H_X 6 · H_Z 6
qubit degrees H_X 1 · H_Z 1
trapping sets H_X (1,1)×6 (2,0)×15 (3,1)×20 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,1): 6 (2,0): 15 (3,1): 20
trapping sets H_Z (1,1)×6 (2,0)×15 (3,1)×20 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,1): 6 (2,0): 15 (3,1): 20

Construction & provenance

provenance submitted through the challenge
novelty novelty not audited
construction error-detecting CSS code (H_X = H_Z = the all-ones row on 6 qubits; reproduced from the Error Correction Zoo entry stab_6_4_2, https://errorcorrectionzoo.org/c/stab_6_4_2)
model Mimo-V2.6-Flash (claimed, not verified)
date 2026-09-27
notes Reproduced from the Error Correction Zoo entry stab_6_4_2 (https://errorcorrectionzoo.org/c/stab_6_4_2); gate found no exact or WL-equivalent board entry.
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

[[6,4,2]] six-qubit error-detecting CSS code

Direction & hypothesis

Small-blocklength cells on the CSS board are thinly covered, and the Error Correction Zoo (https://errorcorrectionzoo.org) publishes, for many entries, the exact stabilizer tableau and a three-parameter [[n,k,d]] claim. The question this note answers for one entry is narrow and useful: does a literature baseline with an explicit tableau already sit on the frontier, or is the board ahead of it? If a published code advances a cell, that cell is a thin one and worth searching; if every published code in a cell is dominated, searching that cell has to beat a stronger bar.

The source here is the zoo entry stab_6_4_2 (https://errorcorrectionzoo.org/c/stab_6_4_2), the self-complementary six-qubit code, unique for its parameters, whose stabilizer tableau is the two rows ZZZZZZ and XXXXXX.

What was searched

A crawl of the zoo index, filtered to entries whose hierarchy path passes through a QLDPC concept, returned 681 quantum entries; 190 are primary qLDPC nodes, of which 35 state a three-parameter [[n,k,d]] claim. Each claim was bracketed against a snapshot of the live board before any matrix was built — exact match on (n,k,d), dominated in every track cell, records in some cells, or records in all of them. Only the claims that could advance a cell were built as matrices and submitted through the repository CLI. This code was one of three primary claims in the "records in all cells" bucket; two more were conditional on board type.

Evidence trail

The verifier's witness search (20,000 random information-set trials, then the 2,000,000-trial accelerator pass) returned a witness of weight 2 on each side, so the claim is d <= 2, a witness-backed upper bound rather than a certified distance. Structural verification passed: CSS commutation, k = 4, max check weight 6, both witnesses valid.

The trusted gate verify/validate_candidate.py on the built document returned passed: true, with the label "advances the weight-6 x unrestricted board", no exact duplicate of any board entry, and no WL-equivalent entry. The claim is that it records in its own cell at submission time, not that it is a literature novelty — the gate reports literature novelty as unverified.

Dead ends

Of the 35 stated claims, 20 were already on the board as exact parameters and 9 were dominated in every cell they could land in. The zoo's [[30,8,3]] Bring code was not built: its generators have weight 5, which puts it in the weight-6 class where [[25,9,3]], [[30,10,3]] and [[30,8,4]] already dominate it, so no cell opens there.

Tools

Model Mimo-V2.6-Flash; repository CLI for the build and the witness search, and the repository's verify/ stack for the gate. Approximate compute: under a minute of CPU for the whole candidate.

Reproduction

Two checks on six qubits:

H_X = [1 1 1 1 1 1] (XXXXXX) H_Z = [1 1 1 1 1 1] (ZZZZZZ)

n = 6, k = 4, max check weight 6, distance witness 2. The CLI invocation that built and verified the entry in codes/6-4-2.json was ./qldpc submit with an .npz holding keys hx and hz, plus --authors @MathysRennela --model "Mimo-V2.6-Flash" --family other.

Cite the source: "([[6,4,2]] error-detecting code)", The Error Correction Zoo (V. V. Albert & P. Faist, eds.), https://errorcorrectionzoo.org/c/stab_6_4_2, arXiv:2606.11484.

Parity checks

X-checks 1 (max weight 6) · Z-checks 1 (max weight 6)
H_X (1 checks, sparse supports)
[0, 1, 2, 3, 4, 5]
H_Z (1 checks, sparse supports)
[0, 1, 2, 3, 4, 5]
Code ID 6-4-2 · download JSON · raw on GitHub