← back to the board
[[54,6,7]] d =
n
54
k
6
d
7
kd²/n
5.444
w
6
X/Z
1
g
0.0047
r
5.831
layers
2
swaps
255

Share this result

Distance

X/Z asymmetry 1 · d_X = 7, d_Z = 7 · 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 7 · witness weight 7 (claimed upper_bound)
witness operator (support, 7 qubits)
[7, 12, 15, 17, 23, 40, 53]
d_Z 7 · witness weight 7 (claimed upper_bound)
witness operator (support, 7 qubits)
[14, 16, 26, 29, 32, 40, 44]
certificate exact, d = 7 · CryptoMiniSat 5.14 SAT
X: no logical < 7 exists; Z: no logical < 7 exists

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 6 · H_Z 6 (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–4 (mean 2.667) · H_Z 1–4 (mean 2.667)
trapping sets H_X (1,1)×6 (2,1)×6 (3,1)×12 (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 (1,2): 22 (1,3): 10 (1,4): 16 (2,1): 6 (2,2): 30 (2,3): 68 (2,4): 128 (2,5): 70 (2,6): 58 (3,1): 12 (3,2): 78 (3,3): 252 (3,4): 634 (3,5): 1010 (3,6): 1024 (3,7): 398 (3,8): 246 (3,9): 50 (3,10): 20
trapping sets H_Z (1,1)×6 (2,1)×6 (3,1)×12 (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 (1,2): 22 (1,3): 10 (1,4): 16 (2,1): 6 (2,2): 30 (2,3): 68 (2,4): 128 (2,5): 70 (2,6): 58 (3,1): 12 (3,2): 78 (3,3): 252 (3,4): 634 (3,5): 1010 (3,6): 1024 (3,7): 398 (3,8): 246 (3,9): 50 (3,10): 20
witness diameter X 5.3852 · Z 4.2426 (Euclidean support diameter of the stored distance witnesses in the layout; an upper bound on the exhibited logicals’ spread, not a minimum over all logicals)

Verified 2D layout

as measured by the verifier: every check drawn over the submitted coordinates; the interaction radius is the longest dashed pair
layout contributed by @willzeng · Tier-0/1 pipeline: spectral (Laplacian eigenvector) initialization snapped to an integer grid, then simulated annealing over site assignments (single-qubit relocations + pair swaps, max-diameter objective, 2-3 seeds). Search driven by Claude Fable 5. · 2026-08-20
r = 5.831
X checkZ checkqubit site (32)2 qubits stacked (2 layers)dashed: the pair setting the interaction radiushover a check to isolate its qubits; click to pin — repeated clicks cycle through overlapping checks; click empty space to release
routing cost 255 nearest-neighbor SWAPs per round in total, at most 8 for one check (heuristic: MST lower bound on the layout, with one lattice step = the minimum qubit spacing 1; not a rank)

Construction & provenance

authors @mathysrennela
provenance submitted through the challenge
novelty novelty not audited
construction Reconstructed from qecdb.org record (see provenance.references); H-field X/Z row split, k recomputed, witnesses from the kit's random search.
model DeepSeek V4 Flash 0731 (claimed, not verified)
date 2026-08-15
notes LAYOUT added 2026-08-20: a 2-layer planar layout with measured interaction radius 5.8310 (integer-grid sites, min site spacing 1.0, at most 2 qubits per site), placing the code in the local-2d-bilayer class with geometric efficiency g = 0.0047. Layout credit and method are recorded in locality.contributed_by; the code, its distance claims, and its authorship are unchanged. Part of the layout-filling effort (issue #654 discussion).
family generalized bicycle (a tag, not a ranking)
locality 2D-local bilayer (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

[[54,6,7]] — generalized-bicycle code sourced from qecdb.org record 67bc8fab

Direction & hypothesis

Aiming at the weight-6 track's frontier: find low-check-weight CSS codes that strictly dominate an existing board entry on (n, k, d). The candidate pool is the qecdb.org database (36,830 records, mirrored and deduped to 2,369 unique CSS records), which is ~140x denser in small-block CSS codes than this board.

What was searched

Full funnel (see fieldnotes/2026-08-15-qecdb-mine-plan.md and fieldnotes/2026-08-15-qecdb-sourced-submissions.md):

  • mirror qecdb.org -> 2,369 unique records (by _id) under research/db_dump/
  • parse css=True records into (HX, HZ): X rows then Z rows; require CSS

    • commutation and k matching the DB (1,013 survived; 133 rejected as GF(4)- style Y rows)

  • dedupe by stabilizer fingerprint (RREF convention, same as the verifier)
  • frontier cross-check per (locality x weight-class) cell against codes/*
  • screen with the kit's RIS surrogate (distance_rand, 2k-4k trials x 2 seeds)
  • witness extraction + packaging via research/kit/submit.make_submission

    • (trials=8000), then the trusted gate verify/validate_candidate.py

Evidence trail

  • Screening d (RIS upper bound, 2-4k trials): held at the claimed value for

    • this code's cell.

  • The submitted distance is the kit's witness upper bound

    • (confidence: upper_bound); the DB's claimed d was never used as evidence.

  • Gate: verify/validate_candidate.py -> passed: true; dedup: no exact

    • duplicate, no WL-equivalent on the board.

Dead ends

  • 133 CSS records use GF(4)-style Y characters in their rows and were

    • excluded (not importable conservatively).

  • 2 records ([[85,53,5]], [[89,67,4]]) have check weight 40-44, above the

    • schema's per-check cap of 32, and cannot be represented.

  • 19 records pass the gate but "do not advance their board cell"; 4 more

    • share a [[n,k,d]] already occupied on the board and were not submitted.

Tools

Model: DeepSeek V4 Flash 0731 (provenance.model). Author: @mathysrennela. Repo tooling: research/kit (css, search.fingerprint, surrogate, submit.make_submission), verify/validate_candidate.py (trusted gate). Pipeline scripts: research/db_mirror.py -> db_phase1.py -> db_phase2.py -> db_phase3.py -> db_phase3_witness.py -> db_phase3_backfill.py -> db_phase3_provenance.py.

Reproduction

The code is reconstructed from qecdb.org record 67bc8fab (https://qecdb.org/codes/67bc8fab38cb83471425e7b6). The record's H field holds all X-rows followed by all Z-rows; split them, take the X/Z support matrices, and re-derive k and witnesses with the kit: research/kit/db_phase1.py-style parsing then make_submission. The raw record is preserved under research/db_dump/raw/67bc8fab.json (gitignored).

Parity checks

X-checks 24 (max weight 6) · Z-checks 24 (max weight 6)
H_X (24 checks, sparse supports)
[2, 6, 34, 36, 47, 51] [12, 26, 32, 33, 35, 50] [13, 24, 27, 31, 33, 45] [4, 25, 34, 39, 46, 48] [10, 20, 28, 34, 42, 49] [0, 17, 31, 41, 48, 51] [13, 14, 36, 42, 44, 48] [4, 15, 37, 43, 45, 50] [12, 16, 38, 44, 46, 51] [6, 17, 32, 40, 45, 52] [7, 18, 31, 46, 47, 53] [8, 19, 29, 32, 39, 49] [11, 22, 27, 35, 41, 43] [5, 9, 30, 33, 41, 47] [5, 24, 29, 34, 44, 52] [20, 25, 30, 35, 45, 53] [22, 26, 28, 29, 36, 46] [2, 14, 27, 30, 32, 37] [3, 15, 28, 38, 47, 48] [1, 16, 27, 40, 49, 50] [18, 21, 39, 42, 50, 52] [3, 7, 35, 37, 49, 52] [19, 23, 33, 43, 51, 53] [1, 8, 36, 38, 41, 53]
H_Z (24 checks, sparse supports)
[2, 12, 17, 19, 32, 51] [4, 16, 18, 26, 46, 50] [11, 14, 16, 24, 27, 44] [13, 15, 17, 25, 45, 48] [2, 5, 10, 25, 30, 34] [1, 9, 11, 17, 40, 41] [1, 2, 13, 22, 27, 36] [0, 3, 4, 14, 37, 48] [1, 12, 15, 21, 38, 50] [0, 6, 16, 23, 40, 51] [7, 17, 21, 24, 31, 52] [8, 18, 23, 25, 39, 53] [3, 11, 20, 26, 28, 35] [9, 19, 24, 26, 29, 33] [5, 12, 13, 23, 33, 44] [4, 6, 20, 24, 34, 45] [7, 12, 22, 25, 35, 46] [6, 8, 14, 26, 32, 36] [2, 7, 9, 15, 37, 47] [3, 8, 10, 16, 38, 49] [0, 10, 13, 18, 31, 42] [3, 5, 6, 18, 47, 52] [4, 11, 19, 21, 39, 43] [1, 7, 19, 20, 49, 53]
Code ID 54-6-7 · download JSON · raw on GitHub