← back to the board
[[252,8,23]] d ≤
n
252
k
8
d
23
kd²/n
16.7937
w
8
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 23, d_Z ≤ 23 · w_X = 8, w_Z = 8 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 23 · witness weight 23 (claimed upper_bound)
witness found by @vprusso · verify/ris_gpu.py (Perlmutter A100) · found at 3×108 trials · survived 3×108 trials · 2026-10-30
witness operator (support, 23 qubits)
[5, 13, 21, 28, 36, 41, 49, 53, 80, 84, 96, 119, 124, 130, 135, 137, 172, 179, 191, 221, 228, 235, 249]
d_Z 23 · witness weight 23 (claimed upper_bound)
witness found by @vprusso · verify/ris_gpu.py (Perlmutter A100) · found at 3×108 trials · survived 3×108 trials · 2026-10-30
witness operator (support, 23 qubits)
[13, 14, 24, 26, 32, 40, 45, 68, 99, 101, 107, 110, 136, 155, 156, 168, 195, 210, 214, 239, 243, 249, 250]
certificate none yet · distance stands as a self-certified upper bound (d ≤)

Recipe at other sizes

the stored construction recipe (bb.build_bb, rebuilds this entry at its own parameters) rebuilt at neighboring sizes (l +- 1, m +- 1, and each side halved or doubled, same monomials (reduced modulo the new torus)) and put through the verifier's cheap structural checks only: no distance at any size, no ranking, no tier. A recipe that holds up at other sizes is evidence of a construction rather than a tuned artifact; one that does not is a fact about the recipe, not about this entry.
passes at 7 of 7 sizes · own size [[252,8]] w=8

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 8 · H_Z 8
qubit degrees H_X 4 · H_Z 4
trapping sets H_X (1,4)×252 (2,4)×126 (3,4)×378 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,4): 252 (2,4): 126 (2,6): 3276 (3,4): 378 (3,6): 4032 (3,8): 60858 (3,10): 5670
trapping sets H_Z (1,4)×252 (2,4)×126 (3,4)×378 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,4): 252 (2,4): 126 (2,6): 3276 (3,4): 378 (3,6): 4032 (3,8): 60858 (3,10): 5670

Construction & provenance

authors @vprusso
provenance submitted through the challenge
novelty novelty not audited
construction Bivariate bicycle on Z_14 x Z_9 (n = 2lm = 252) with A = y4 + x12y + x3y7 + x4y3 and B = x10y5 + x5y7 + x2y2 + xy3, H_X = [A | B], H_Z = [B^T | A^T]; built by research/kit/bb.build_bb(l=14, m=9, A_terms=[[0, 4], [12, 1], [3, 7], [4, 3]], B_terms=[[10, 5], [5, 7], [2, 2], [1, 3]]).
model Claude Claude Fable 5.1 (Claude Code) working for @vprusso (claimed, not verified)
builds on S. Bravyi, A. W. Cross, J. M. Gambetta, D. Maslov, P. Rall, and T. J. Yoder, High-threshold and low-overhead fault-tolerant quantum memory, Nature 627, 778 (2024), arXiv:2308.07915
date 2026-10-23
notes Unattended loop run on Perlmutter, iteration 375, direction bb-w4-mid, seed 20261392. The deeper rungs recorded in notes/ agree with the gate's reading of d = 23.
family bivariate bicycle (a tag, not a ranking)
locality unrestricted (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

[[252,8,23]] loop bivariate bicycle on Z_14 x Z_9

Direction & hypothesis

Random weight-8 bivariate-bicycle codes between n = 100 and n = 400 fill (n, k) cells where the board's weight-8 entries come from a few structured families; uniform sampling over the torus and the monomials tests whether those families are the best this weight allows.

What was searched

Direction bb-w4-mid of the loop samples bivariate-bicycle codes on Z_l x Z_m with l in [6, 16], m in [4, 12], four monomials per polynomial (check weight 8), and n in [100, 400]. Each iteration draws fresh candidates, screens them at 400 and then 20,000 RIS trials (gf2_fast), keeps the twelve best by kd^2/n that no board entry or earlier staged document dominates, and gates them with research/kit/submit.make_submission at 8,000 NumPy trials per side plus verify/validate_candidate.py. This code is iteration 375 (seed 20261392). By 29 October the direction had run 801 iterations over 106,817 candidates and staged 474; across all five directions the loop staged 1,383 documents in 390.6 CPU hours. The 26 October review kept 49 staged codes that neither the board nor another staged code dominated, and each of the 49 was re-searched on OLCF Lux (10,000,000 gf2_fast trials, two seeds) and on Perlmutter A100s (300,000,000 RIS trials per side, two seeds).

Evidence trail

Confirmation ladder for the submitted code, each rung a fresh seed unless marked otherwise, reading the lightest logical found:

| budget (trials/side) | lightest logical | | ---: | ---: | | 20,000 (loop screen, gf2_fast, both sides) | 23 | | 8,000 (loop gate, NumPy, per side) | 23 | | 10,000,000 (Lux gf2_fast, both sides, seed 11) | 23 | | 10,000,000 (Lux gf2_fast, both sides, seed 22) | 23 | | 300,000,000 (GPU RIS, 300M per side, seed 1) | 23 | | 300,000,000 (GPU RIS, 300M per side, seed 2) | 23 |

6 fresh-seed rung(s) agree at the best bound, the deepest of them at 300,000,000 trials per side. The submitted witness reproduces it: X: d <= 23 (upper_bound), Z: d <= 23 (upper_bound).

Trial counts are per side for the gate and the GPU rungs; the screen and the Lux rungs are gf2_fast budgets shared across both sides (the Lux rung also ran 2,000 NumPy RIS trials per side). Each rung's reading is the lightest logical its own witnesses reach after an independent GF(2) check. The orbit fold (verify/heuristic_distance, 1,000,000 trials per folded code, seeds 101, 202, and 303) found automorphism partitions on 3 of 3 runs and no lighter logical through them.

Dead ends

None recorded for this candidate.

Tools

Model: Claude Fable 5.1 (Claude Code) working for @vprusso (unattended loop orchestrator on Perlmutter over research/kit/search.screen_adaptive). Repo tooling: research/kit/search.py, research/kit/bb.py, research/kit/submit.py, verify/heuristic_distance.py, verify/ris_gpu.py. The local verdict is verify/validate_candidate.py; the bundle was assembled by research/kit/promote.py. Compute: Perlmutter CPU for the loop, one OLCF Lux node for the two 10M rungs, and one Perlmutter A100 for the two 300M rungs (about ten minutes per code).

Reproduction

`research/kit/bb.build_bb(l=14, m=9, A_terms=[[0, 4], [12, 1], [3, 7], [4, 3]], B_terms=[[10, 5], [5, 7], [2, 2], [1, 3]])` returns (H_X, H_Z); the repro manifest replays that call through research/kit/rebuild.py and compares fingerprints. The distance rungs are verify/heuristic_distance.estimate with --fast-trials 10000000 (seeds 11 and 22) and `verify/ris_gpu.py --trials 300000000` (seeds 1 and 2) on the staged document.

Parity checks

X-checks 126 (max weight 8) · Z-checks 126 (max weight 8)
H_X (126 checks, sparse supports)
[4, 34, 39, 109, 138, 146, 178, 221] [5, 35, 40, 110, 139, 147, 179, 222] [6, 27, 41, 111, 140, 148, 171, 223] [7, 28, 42, 112, 141, 149, 172, 224] [8, 29, 43, 113, 142, 150, 173, 216] [0, 30, 44, 114, 143, 151, 174, 217] [1, 31, 36, 115, 135, 152, 175, 218] [2, 32, 37, 116, 136, 144, 176, 219] [3, 33, 38, 108, 137, 145, 177, 220] [13, 43, 48, 118, 147, 155, 187, 230] [14, 44, 49, 119, 148, 156, 188, 231] [15, 36, 50, 120, 149, 157, 180, 232] [16, 37, 51, 121, 150, 158, 181, 233] [17, 38, 52, 122, 151, 159, 182, 225] [9, 39, 53, 123, 152, 160, 183, 226] [10, 40, 45, 124, 144, 161, 184, 227] [11, 41, 46, 125, 145, 153, 185, 228] [12, 42, 47, 117, 146, 154, 186, 229] [1, 22, 52, 57, 156, 164, 196, 239] [2, 23, 53, 58, 157, 165, 197, 240] [3, 24, 45, 59, 158, 166, 189, 241] [4, 25, 46, 60, 159, 167, 190, 242] [5, 26, 47, 61, 160, 168, 191, 234] [6, 18, 48, 62, 161, 169, 192, 235] [7, 19, 49, 54, 153, 170, 193, 236] [8, 20, 50, 55, 154, 162, 194, 237] [0, 21, 51, 56, 155, 163, 195, 238] [10, 31, 61, 66, 165, 173, 205, 248] [11, 32, 62, 67, 166, 174, 206, 249] [12, 33, 54, 68, 167, 175, 198, 250] [13, 34, 55, 69, 168, 176, 199, 251] [14, 35, 56, 70, 169, 177, 200, 243] [15, 27, 57, 71, 170, 178, 201, 244] [16, 28, 58, 63, 162, 179, 202, 245] [17, 29, 59, 64, 163, 171, 203, 246] [9, 30, 60, 65, 164, 172, 204, 247] [19, 40, 70, 75, 131, 174, 182, 214] [20, 41, 71, 76, 132, 175, 183, 215] [21, 42, 63, 77, 133, 176, 184, 207] [22, 43, 64, 78, 134, 177, 185, 208] [23, 44, 65, 79, 126, 178, 186, 209] [24, 36, 66, 80, 127, 179, 187, 210] [25, 37, 67, 72, 128, 171, 188, 211] [26, 38, 68, 73, 129, 172, 180, 212] [18, 39, 69, 74, 130, 173, 181, 213] [28, 49, 79, 84, 140, 183, 191, 223] [29, 50, 80, 85, 141, 184, 192, 224] [30, 51, 72, 86, 142, 185, 193, 216] [31, 52, 73, 87, 143, 186, 194, 217] [32, 53, 74, 88, 135, 187, 195, 218] [33, 45, 75, 89, 136, 188, 196, 219] [34, 46, 76, 81, 137, 180, 197, 220] [35, 47, 77, 82, 138, 181, 189, 221] [27, 48, 78, 83, 139, 182, 190, 222] [37, 58, 88, 93, 149, 192, 200, 232] [38, 59, 89, 94, 150, 193, 201, 233] [39, 60, 81, 95, 151, 194, 202, 225] [40, 61, 82, 96, 152, 195, 203, 226] [41, 62, 83, 97, 144, 196, 204, 227] [42, 54, 84, 98, 145, 197, 205, 228] [43, 55, 85, 90, 146, 189, 206, 229] [44, 56, 86, 91, 147, 190, 198, 230] [36, 57, 87, 92, 148, 191, 199, 231] [46, 67, 97, 102, 158, 201, 209, 241] [47, 68, 98, 103, 159, 202, 210, 242] [48, 69, 90, 104, 160, 203, 211, 234] [49, 70, 91, 105, 161, 204, 212, 235] [50, 71, 92, 106, 153, 205, 213, 236] [51, 63, 93, 107, 154, 206, 214, 237] [52, 64, 94, 99, 155, 198, 215, 238] [53, 65, 95, 100, 156, 199, 207, 239] [45, 66, 96, 101, 157, 200, 208, 240] [55, 76, 106, 111, 167, 210, 218, 250] [56, 77, 107, 112, 168, 211, 219, 251] [57, 78, 99, 113, 169, 212, 220, 243] [58, 79, 100, 114, 170, 213, 221, 244] [59, 80, 101, 115, 162, 214, 222, 245] [60, 72, 102, 116, 163, 215, 223, 246] [61, 73, 103, 108, 164, 207, 224, 247] [62, 74, 104, 109, 165, 208, 216, 248] [54, 75, 105, 110, 166, 209, 217, 249] [64, 85, 115, 120, 133, 176, 219, 227] [65, 86, 116, 121, 134, 177, 220, 228] [66, 87, 108, 122, 126, 178, 221, 229] [67, 88, 109, 123, 127, 179, 222, 230] [68, 89, 110, 124, 128, 171, 223, 231] [69, 81, 111, 125, 129, 172, 224, 232] [70, 82, 112, 117, 130, 173, 216, 233] [71, 83, 113, 118, 131, 174, 217, 225] [63, 84, 114, 119, 132, 175, 218, 226] [3, 73, 94, 124, 142, 185, 228, 236] [4, 74, 95, 125, 143, 186, 229, 237] [5, 75, 96, 117, 135, 187, 230, 238] [6, 76, 97, 118, 136, 188, 231, 239] [7, 77, 98, 119, 137, 180, 232, 240] [8, 78, 90, 120, 138, 181, 233, 241] [0, 79, 91, 121, 139, 182, 225, 242] [1, 80, 92, 122, 140, 183, 226, 234] [2, 72, 93, 123, 141, 184, 227, 235] [7, 12, 82, 103, 151, 194, 237, 245] [8, 13, 83, 104, 152, 195, 238, 246] [0, 14, 84, 105, 144, 196, 239, 247] [1, 15, 85, 106, 145, 197, 240, 248] [2, 16, 86, 107, 146, 189, 241, 249] [3, 17, 87, 99, 147, 190, 242, 250] [4, 9, 88, 100, 148, 191, 234, 251] [5, 10, 89, 101, 149, 192, 235, 243] [6, 11, 81, 102, 150, 193, 236, 244] [16, 21, 91, 112, 128, 160, 203, 246] [17, 22, 92, 113, 129, 161, 204, 247] [9, 23, 93, 114, 130, 153, 205, 248] [10, 24, 94, 115, 131, 154, 206, 249] [11, 25, 95, 116, 132, 155, 198, 250] [12, 26, 96, 108, 133, 156, 199, 251] [13, 18, 97, 109, 134, 157, 200, 243] [14, 19, 98, 110, 126, 158, 201, 244] [15, 20, 90, 111, 127, 159, 202, 245] [25, 30, 100, 121, 129, 137, 169, 212] [26, 31, 101, 122, 130, 138, 170, 213] [18, 32, 102, 123, 131, 139, 162, 214] [19, 33, 103, 124, 132, 140, 163, 215] [20, 34, 104, 125, 133, 141, 164, 207] [21, 35, 105, 117, 134, 142, 165, 208] [22, 27, 106, 118, 126, 143, 166, 209] [23, 28, 107, 119, 127, 135, 167, 210] [24, 29, 99, 120, 128, 136, 168, 211]
H_Z (126 checks, sparse supports)
[40, 83, 115, 123, 131, 152, 222, 227] [41, 84, 116, 124, 132, 144, 223, 228] [42, 85, 108, 125, 133, 145, 224, 229] [43, 86, 109, 117, 134, 146, 216, 230] [44, 87, 110, 118, 126, 147, 217, 231] [36, 88, 111, 119, 127, 148, 218, 232] [37, 89, 112, 120, 128, 149, 219, 233] [38, 81, 113, 121, 129, 150, 220, 225] [39, 82, 114, 122, 130, 151, 221, 226] [6, 49, 92, 124, 140, 161, 231, 236] [7, 50, 93, 125, 141, 153, 232, 237] [8, 51, 94, 117, 142, 154, 233, 238] [0, 52, 95, 118, 143, 155, 225, 239] [1, 53, 96, 119, 135, 156, 226, 240] [2, 45, 97, 120, 136, 157, 227, 241] [3, 46, 98, 121, 137, 158, 228, 242] [4, 47, 90, 122, 138, 159, 229, 234] [5, 48, 91, 123, 139, 160, 230, 235] [7, 15, 58, 101, 149, 170, 240, 245] [8, 16, 59, 102, 150, 162, 241, 246] [0, 17, 60, 103, 151, 163, 242, 247] [1, 9, 61, 104, 152, 164, 234, 248] [2, 10, 62, 105, 144, 165, 235, 249] [3, 11, 54, 106, 145, 166, 236, 250] [4, 12, 55, 107, 146, 167, 237, 251] [5, 13, 56, 99, 147, 168, 238, 243] [6, 14, 57, 100, 148, 169, 239, 244] [16, 24, 67, 110, 128, 158, 179, 249] [17, 25, 68, 111, 129, 159, 171, 250] [9, 26, 69, 112, 130, 160, 172, 251] [10, 18, 70, 113, 131, 161, 173, 243] [11, 19, 71, 114, 132, 153, 174, 244] [12, 20, 63, 115, 133, 154, 175, 245] [13, 21, 64, 116, 134, 155, 176, 246] [14, 22, 65, 108, 126, 156, 177, 247] [15, 23, 66, 109, 127, 157, 178, 248] [25, 33, 76, 119, 132, 137, 167, 188] [26, 34, 77, 120, 133, 138, 168, 180] [18, 35, 78, 121, 134, 139, 169, 181] [19, 27, 79, 122, 126, 140, 170, 182] [20, 28, 80, 123, 127, 141, 162, 183] [21, 29, 72, 124, 128, 142, 163, 184] [22, 30, 73, 125, 129, 143, 164, 185] [23, 31, 74, 117, 130, 135, 165, 186] [24, 32, 75, 118, 131, 136, 166, 187] [2, 34, 42, 85, 141, 146, 176, 197] [3, 35, 43, 86, 142, 147, 177, 189] [4, 27, 44, 87, 143, 148, 178, 190] [5, 28, 36, 88, 135, 149, 179, 191] [6, 29, 37, 89, 136, 150, 171, 192] [7, 30, 38, 81, 137, 151, 172, 193] [8, 31, 39, 82, 138, 152, 173, 194] [0, 32, 40, 83, 139, 144, 174, 195] [1, 33, 41, 84, 140, 145, 175, 196] [11, 43, 51, 94, 150, 155, 185, 206] [12, 44, 52, 95, 151, 156, 186, 198] [13, 36, 53, 96, 152, 157, 187, 199] [14, 37, 45, 97, 144, 158, 188, 200] [15, 38, 46, 98, 145, 159, 180, 201] [16, 39, 47, 90, 146, 160, 181, 202] [17, 40, 48, 91, 147, 161, 182, 203] [9, 41, 49, 92, 148, 153, 183, 204] [10, 42, 50, 93, 149, 154, 184, 205] [20, 52, 60, 103, 159, 164, 194, 215] [21, 53, 61, 104, 160, 165, 195, 207] [22, 45, 62, 105, 161, 166, 196, 208] [23, 46, 54, 106, 153, 167, 197, 209] [24, 47, 55, 107, 154, 168, 189, 210] [25, 48, 56, 99, 155, 169, 190, 211] [26, 49, 57, 100, 156, 170, 191, 212] [18, 50, 58, 101, 157, 162, 192, 213] [19, 51, 59, 102, 158, 163, 193, 214] [29, 61, 69, 112, 168, 173, 203, 224] [30, 62, 70, 113, 169, 174, 204, 216] [31, 54, 71, 114, 170, 175, 205, 217] [32, 55, 63, 115, 162, 176, 206, 218] [33, 56, 64, 116, 163, 177, 198, 219] [34, 57, 65, 108, 164, 178, 199, 220] [35, 58, 66, 109, 165, 179, 200, 221] [27, 59, 67, 110, 166, 171, 201, 222] [28, 60, 68, 111, 167, 172, 202, 223] [38, 70, 78, 121, 177, 182, 212, 233] [39, 71, 79, 122, 178, 183, 213, 225] [40, 63, 80, 123, 179, 184, 214, 226] [41, 64, 72, 124, 171, 185, 215, 227] [42, 65, 73, 125, 172, 186, 207, 228] [43, 66, 74, 117, 173, 187, 208, 229] [44, 67, 75, 118, 174, 188, 209, 230] [36, 68, 76, 119, 175, 180, 210, 231] [37, 69, 77, 120, 176, 181, 211, 232] [4, 47, 79, 87, 186, 191, 221, 242] [5, 48, 80, 88, 187, 192, 222, 234] [6, 49, 72, 89, 188, 193, 223, 235] [7, 50, 73, 81, 180, 194, 224, 236] [8, 51, 74, 82, 181, 195, 216, 237] [0, 52, 75, 83, 182, 196, 217, 238] [1, 53, 76, 84, 183, 197, 218, 239] [2, 45, 77, 85, 184, 189, 219, 240] [3, 46, 78, 86, 185, 190, 220, 241] [13, 56, 88, 96, 195, 200, 230, 251] [14, 57, 89, 97, 196, 201, 231, 243] [15, 58, 81, 98, 197, 202, 232, 244] [16, 59, 82, 90, 189, 203, 233, 245] [17, 60, 83, 91, 190, 204, 225, 246] [9, 61, 84, 92, 191, 205, 226, 247] [10, 62, 85, 93, 192, 206, 227, 248] [11, 54, 86, 94, 193, 198, 228, 249] [12, 55, 87, 95, 194, 199, 229, 250] [22, 65, 97, 105, 134, 204, 209, 239] [23, 66, 98, 106, 126, 205, 210, 240] [24, 67, 90, 107, 127, 206, 211, 241] [25, 68, 91, 99, 128, 198, 212, 242] [26, 69, 92, 100, 129, 199, 213, 234] [18, 70, 93, 101, 130, 200, 214, 235] [19, 71, 94, 102, 131, 201, 215, 236] [20, 63, 95, 103, 132, 202, 207, 237] [21, 64, 96, 104, 133, 203, 208, 238] [31, 74, 106, 114, 143, 213, 218, 248] [32, 75, 107, 115, 135, 214, 219, 249] [33, 76, 99, 116, 136, 215, 220, 250] [34, 77, 100, 108, 137, 207, 221, 251] [35, 78, 101, 109, 138, 208, 222, 243] [27, 79, 102, 110, 139, 209, 223, 244] [28, 80, 103, 111, 140, 210, 224, 245] [29, 72, 104, 112, 141, 211, 216, 246] [30, 73, 105, 113, 142, 212, 217, 247]
Code ID 252-8-23 · download JSON · raw on GitHub