← back to the board
[[64,20,8]] d =
n
64
k
20
d
8
kd²/n
20.0
w
16
X/Z
1
g
0.0173
r
5.831
layers
2
swaps
169

Share this result

Distance

X/Z asymmetry 1 · d_X = 8, d_Z = 8 · w_X = 16, w_Z = 16 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 8 · witness weight 8 (claimed upper_bound)
witness found by @vprusso · accelerated RIS (research/kit distance_rand_witness), fast backend · found at 2×105 trials · 2026-10-08
witness operator (support, 8 qubits)
[17, 21, 25, 29, 48, 52, 56, 60]
d_Z 8 · witness weight 8 (claimed upper_bound)
witness found by @vprusso · accelerated RIS (research/kit distance_rand_witness), fast backend · found at 2×105 trials · 2026-10-08
witness operator (support, 8 qubits)
[17, 21, 25, 29, 48, 52, 56, 60]
certificate exact, d = 8 · scipy/HiGHS cutoff IP
X: no logical < 8 exists; Z: no logical < 8 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 4 · H_Z 4 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)
check weights H_X 16 · H_Z 16
qubit degrees H_X 3–9 (mean 5.5) · H_Z 1–9 (mean 5.5)
trapping sets H_X (1,3)×8 (2,1)×1 (3,1)×1 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,3): 8 (1,4): 8 (1,5): 16 (1,6): 17 (1,7): 9 (1,8): 3 (1,9): 3 (2,1): 1 (2,2): 2 (2,3): 8 (2,4): 42 (2,5): 100 (2,6): 186 (2,7): 302 (2,8): 313 (2,9): 260 (2,10): 189 (2,11): 101 (2,12): 36 (2,13): 11 (2,14): 4 (2,15): 1 (3,1): 1 (3,2): 6 (3,3): 63 (3,4): 243 (3,5): 681 (3,6): 1790 (3,7): 3285 (3,8): 5012 (3,9): 6227 (3,10): 6293 (3,11): 5147 (3,12): 3447 (3,13): 1882 (3,14): 851 (3,15): 273 (3,16): 82 (3,17): 9 (3,18): 1 (3,19): 1
trapping sets H_Z (1,1)×2 (2,2)×3 (3,1)×1 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,1): 2 (1,3): 5 (1,4): 7 (1,5): 19 (1,6): 12 (1,7): 13 (1,8): 5 (1,9): 1 (2,2): 3 (2,3): 12 (2,4): 40 (2,5): 89 (2,6): 187 (2,7): 254 (2,8): 319 (2,9): 266 (2,10): 182 (2,11): 120 (2,12): 46 (2,13): 9 (2,14): 3 (3,1): 1 (3,2): 9 (3,3): 46 (3,4): 228 (3,5): 693 (3,6): 1640 (3,7): 3178 (3,8): 4726 (3,9): 5873 (3,10): 6074 (3,11): 4999 (3,12): 3532 (3,13): 1919 (3,14): 849 (3,15): 306 (3,16): 72 (3,17): 22
witness diameter X 5.099 · Z 5.099 (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 @MathysRennela · Simulated annealing over integer-grid site assignments with the repo's own research/local2d/fold_layout.search_layout, single layer at radius 4 then two layers at 7, plus a divisor scan of the two-block index convention Z_l x Z_m which gives the tighter embedding here; radius and per-site occupancy re-measured with the verifier's own rule. · 2026-10-13
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 169 nearest-neighbor SWAPs per round in total, at most 9 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 @vprusso
provenance literature baseline
construction Code [[64,20,8]]cons:qrm6 of arXiv:2610.06730 (Dua, Holmes, Gullans, Albert, 'Qubit CSS codes with Universal Transversal Gates'), Table I: a depth-one universal code grown from the [[24,8,4]] seed by the paper's seed-and-kernel coupling construction. The check matrices are the paper's optimized stabilizer generating set (ldpc_generators of the record with uuid ff1cfd18-78d8-430c-0328-58eca26b471d in the ancillary file depth_one_universal_codes.json), 22 X and 22 Z checks, every one of weight 16, with the two generating sets spanning the same GF(2) row space (self-dual CSS), qubit degree at most 12; k = 20 recomputed by GF(2) rank. The paper's point about this code, a generating set of depth-one layers of two-qubit gates that is universal and tolerates one faulty gate per layer, is a property the board does not yet express in circuit.gates and is recorded in the note only.
model Claude Claude Fable 5.1 (Claude Code) (claimed, not verified)
date 2026-10-08
notes Literature reconstruction. The paper's database states d = 8. Readings here, accelerated RIS: X side 200000 trials 8; X side 2000000 trials 8; Z side 200000 trials 8; Z side 2000000 trials 8. Witnessed upper bound. Of the 47 codes in the paper's Table I screened against the board at their stated check weights, this is the only one the four-axis rule leaves undominated; [[72,20,6]] (weight 16) is dominated by the board's [[66,20,7]], the [[37,1,7]] and [[63,2,7]] triples are already on the board, and the rest are dominated by lighter or larger entries.
family other (a tag, not a ranking)
locality 2D-local bilayer (computed from the layout)
weight class weight > 8 (computed)

How this code was found

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

[[64,20,8]] depth-one universal code of Dua, Holmes, Gullans, and Albert, rebuilt from the paper's database

Direction & hypothesis

arXiv:2610.06730 ("Qubit CSS codes with Universal Transversal Gates", 5 October 2026) constructs 47 CSS codes whose logical gate generators are each a single depth-one layer of few-qubit gates, universal as a set and tolerant of one faulty gate per layer, by coupling a lower-distance seed code with a kernel code. The paper's interest is the gate set. The question here is narrower: do any of its 47 codes advance the board's four-axis frontier (n, k, d, check weight; dominators allowed only in a locality class at or below the candidate's)? The paper ships an ancillary JSON database with every code's stabilizer generating set, so the screen could be run at the stated check weights rather than at guessed ones.

What was searched

  • Table I of the paper (47 codes) and its appendix table were parsed and
  • each triple screened against every CSS entry on main at the code's stated check weight ("Wt" column). The board already carries [[37,1,7]] and [[63,2,7]]; both are dominated regardless by [[36,2,8]] and [[48,4,7]]. [[72,20,6]] at weight 16 is dominated by the board's [[66,20,7]]. Every other code is dominated by a lighter or larger entry, most of the k = 1 lifts by [[36,2,8]] or [[46,2,9]] and the k = 70 family by [[264,70,12]] at weight 8. One code survives: [[64,20,8]] cons:qrm6, check weight 16, qubit degree 12, grown from the [[24,8,4]] seed.

  • Its record was taken from the paper's ancillary database, the 11 MB file
  • depth_one_universal_codes.json served at https://arxiv.org/src/2610.06730v1/anc/depth_one_universal_codes.json (SHA-256 prefix aa184a39f62817f6, 110 records): 44 ldpc_generators, 22 X-type and 22 Z-type Pauli strings, every one of weight 16. The two generating sets share no row, but they span the same GF(2) row space (rank 22 each, rank 22 stacked), so the code is self-dual CSS; the rows are orthogonal and k = 64 - 44 = 20, matching the record.

  • Distance: the database states d = 8. Accelerated RIS (fast backend, pair
  • depth 10) on each side read 8 at 200,000 trials and 8 at 2,000,000 trials (seeds 11 and 23); the witnesses are weight-8 X and Z logicals, and because the code is self-dual every X witness is also a Z witness. The gate's own refutation search found nothing lighter.

Evidence trail

| instrument | trials | seed | lightest logical | |---|---:|---:|---:| | accelerated RIS, both sides | 200,000 | 7, 11 | 8 | | accelerated RIS, both sides | 2,000,000 | 23 | 8 | | the gate's own refutation (validate_candidate.py) | 8,000 | gate | nothing below 8 |

Claim: d <= 8 on both sides, a witnessed upper bound, agreeing with the paper's stated distance. The code is small enough that an exact certificate is affordable, and a proof_log certificate is the natural follow-up.

What the board does not record

The paper's result for this code is its gate set: a depth-one universal generating set in which every gate acts on at most two qubits (Table I, ell = 2), so one faulty gate per layer leaves a correctable error. The Clifford generators are qubit permutations and matched two-qubit layers of the kind the match gate type of issue #2894 expresses, and the non-Clifford generators are CCZ layers that no circuit.gates type yet expresses. None of it is claimed here; the entry is filed as a code.

Dead ends

  • Nothing else in the paper's 110-code database advances the board. The
  • codes with the most striking gate sets ([[37,1,7]] at weight 8, [[59,1,9]] at weight 8) are dominated by two-logical-qubit entries of the same distance and weight.

Tools

Claude Fable 5.1 (Claude Code) driving the repo kit: the ancillary database read with a standalone parser, research/kit/surrogate.py (fast backend) for the distance readings, verify/validate_candidate.py for the gate.

Reproduction

Download the ancillary database named above from arXiv:2610.06730v1, take the record with label [[64,20,8]]cons:qrm6, and read its ldpc_generators: the X strings are the X checks and the Z strings the Z checks, qubits 0-indexed as printed. The JSON here carries both check matrices and both witnesses, so the entry verifies without the download.

Parity checks

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