[[179,12,10]] · QEC Challenge

← back to the board

[[179,12,10]] d ≤

179

kd²/n

6.704

X/Z

0.0033

6.7082

layers

swaps

1125

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 10, d_Z ≤ 10 · 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 10 · witness weight 10 (claimed upper_bound)

witness operator (support, 10 qubits)

[13, 27, 45, 77, 81, 93, 140, 143, 157, 159]

d_Z 10 · witness weight 10 (claimed upper_bound)

witness operator (support, 10 qubits)

[19, 24, 29, 44, 50, 60, 63, 99, 158, 161]

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 4 · H_Z 4 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)

check weights H_X 3–8 (mean 5.942) · H_Z 2–8 (mean 6.45)

qubit degrees H_X 1–10 (mean 4.017) · H_Z 1–7 (mean 3.603)

trapping sets H_X (1,1)×24 (2,0)×11 (3,0)×8 (smallest syndrome weight at each size, connected sets of up to 3 qubits)

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

(1,1): 24 (1,2): 22 (1,3): 25 (1,4): 52 (1,5): 14 (1,6): 22 (1,7): 10 (1,8): 1 (1,9): 2 (1,10): 7 (2,0): 11 (2,1): 23 (2,2): 51 (2,3): 114 (2,4): 132 (2,5): 204 (2,6): 340 (2,7): 154 (2,8): 197 (2,9): 83 (2,10): 43 (2,11): 42 (2,12): 68 (2,13): 22 (2,14): 26 (2,15): 24 (2,16): 6 (2,17): 4 (2,18): 5 (3,0): 8 (3,1): 35 (3,2): 137 (3,3): 328 (3,4): 710 (3,5): 1412 (3,6): 2003 (3,7): 2561 (3,8): 3438 (3,9): 2350 (3,10): 2700 (3,11): 1407 (3,12): 1061 (3,13): 802 (3,14): 954 (3,15): 594 (3,16): 627 (3,17): 458 (3,18): 279 (3,19): 179 (3,20): 157 (3,21): 62 (3,22): 42 (3,23): 29 (3,24): 2

trapping sets H_Z (1,1)×13 (2,1)×35 (3,0)×13 (smallest syndrome weight at each size, connected sets of up to 3 qubits)

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

(1,1): 13 (1,2): 46 (1,3): 23 (1,4): 43 (1,5): 26 (1,6): 27 (1,7): 1 (2,1): 35 (2,2): 75 (2,3): 106 (2,4): 212 (2,5): 251 (2,6): 325 (2,7): 271 (2,8): 221 (2,9): 63 (2,10): 20 (2,11): 1 (3,0): 13 (3,1): 36 (3,2): 176 (3,3): 445 (3,4): 971 (3,5): 1632 (3,6): 2939 (3,7): 3774 (3,8): 3846 (3,9): 3465 (3,10): 2866 (3,11): 1485 (3,12): 692 (3,13): 265 (3,14): 78 (3,15): 10

witness diameter X 6.7082 · Z 16.0312 (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

X checkZ checkqubit site (115)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 1125 nearest-neighbor SWAPs per round in total, at most 7 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 frozen-qubit deflation of codes/181-12-10.json (itself an r=1 lattice graft of codes/183-12-10.json): removed the two weight-1 Z stabilizers (qubits 50 and 145) and their qubit columns; k unchanged, n lower; distance witnesses preserved under reindexing. Follow-up to PR #1060, whose stabilizer-group connectivity check rejects the weight-1 checks.

model GLM 5.3 Flash, Omen Alpha 1.0 (claimed, not verified)

date 2026-09-15

family bivariate bicycle (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

[[179,12,10]] — frozen-qubit re-file of [[181,12,10]]

Direction & hypothesis

Repair re-file, not a new search. The predecessor entry [[181,12,10]] (removed in this same PR) carried two weight-1 Z stabilizers, on qubits 50 and 145 — frozen qubits. PR #1060 adds a stabilizer-group connectivity check to the verifier that rejects any entry whose stabilizer row space splits into independent blocks over disjoint qubit sets, which is exactly the weight-1-check signature. This PR deletes the two frozen qubits and their checks so the entry satisfies the strengthened rule.

Deflation of a frozen qubit is k-exact by rank arithmetic: removing one qubit column together with its weight-1 check drops n and the independent check count by one each, so k is unchanged. On the logical side, an operator touching a frozen qubit can be multiplied by that qubit's weight-1 stabilizer to shed the support without increasing weight, so the minimum logical weight on each side can only stay or improve. The predecessor's witnesses (weight 10 per side, touching neither frozen qubit) therefore remain valid witnesses of the deflated code after reindexing, preserving the d <= 10 claim.

What was searched

No new search. Concretely: columns 50 and 145 deleted from H_X and H_Z; the two weight-1 Z rows (all-zero after the column deletion) dropped; surviving columns reindexed; locality.coordinates subset by the surviving-qubit order. As corroboration, the kit's independent witness search (2000 trials per side) reproduced weight 10 on both sides of the deflated code. The preserved witnesses were re-validated against the verifier's own criteria — commutation with the opposite-type checks and non-membership in the same-type row space — before being embedded.

Evidence trail

Final (n, k) = (179, 12) re-derived by GF(2) rank arithmetic. Distance claim: d <= 10 per side, upper_bound confidence, witnessed by the reindexed weight-10 operators embedded in codes/179-12-10.json. Passed the trusted validation gate (`uv run python verify/validate_candidate.py codes/179-12-10.json → passed: true`; 8000-trial RIS refutation found no lighter logical) and, against the verifier from PR #1060's branch, the stabilizer-group connectivity check (single independent block, size 179). Distances remain upper bounds until certified; CI is the deep refuter at PR time.

Dead ends

None in the deflation itself. The failure mode that motivated it

(frozen qubits invisible to a Tanner-graph-only connectivity rule) is documented in PR #1060.

Tools

Model: GLM 5.3 Flash (deflation of a code produced by Omen Alpha 1.0). Repo tooling: kit submit packaging, verify/validate_candidate.py gate, GF(2) rank arithmetic. Compute: seconds.

Reproduction

The lineage is codes/183-12-10.json —(r=1 lattice graft, seed 0)→ [[181,12,10]] —(this deflation)→ codes/179-12-10.json. To redo the deflation from [[181,12,10]]: build H_X/H_Z from checks.X/checks.Z, delete columns 50 and 145, drop the rows left with empty support, reindex the distance witnesses by surviving-qubit order, and subset the locality coordinates the same way. The gate to re-run: uv run python verify/validate_candidate.py codes/179-12-10.json.

Parity checks

X-checks 121 (max weight 8) · Z-checks 100 (max weight 8)

H_X (121 checks, sparse supports)

[2, 17, 22, 83, 87, 100, 101] [3, 18, 23, 84, 88, 101, 102] [4, 19, 24, 85, 89, 102, 103] [5, 20, 25, 86, 90, 103, 104] [6, 21, 26, 87, 91, 104, 105] [7, 22, 27, 88, 92, 105, 106] [8, 23, 28, 89, 93, 106, 107] [9, 24, 29, 90, 94, 107, 108] [10, 25, 30, 91, 95, 108, 109] [11, 26, 31, 92, 96, 109, 110] [12, 27, 32, 93, 97, 110, 111] [13, 28, 33, 94, 98, 111, 112] [2, 19, 34, 39, 99, 103, 115, 116] [3, 20, 35, 40, 100, 104, 116, 117] [4, 21, 36, 41, 101, 105, 117, 118] [5, 22, 37, 42, 102, 106, 118, 119] [6, 23, 38, 43, 103, 107, 119, 120] [7, 24, 39, 44, 104, 108, 120, 121] [8, 25, 40, 45, 105, 109, 121, 122] [9, 26, 41, 46, 106, 110, 122, 123] [10, 27, 42, 47, 107, 111, 123, 124] [11, 28, 43, 48, 108, 112, 124, 125] [12, 29, 44, 49, 109, 113, 125, 126] [19, 36, 50, 55, 114, 118, 131, 132] [20, 37, 51, 56, 115, 119, 132, 133] [21, 38, 52, 57, 116, 120, 133, 134] [22, 39, 53, 58, 117, 121, 134, 135] [23, 40, 54, 59, 118, 122, 135, 136] [24, 41, 55, 60, 119, 123, 136, 137] [25, 42, 56, 61, 120, 124, 137, 138] [26, 43, 57, 62, 121, 125, 138, 139] [27, 44, 58, 63, 122, 126, 139, 140] [28, 45, 59, 64, 123, 127, 140, 141] [29, 46, 60, 65, 124, 128, 141, 142] [30, 47, 61, 66, 125, 129, 142, 143] [36, 52, 67, 72, 130, 134, 147, 148] [37, 53, 68, 73, 131, 135, 148, 149] [38, 54, 69, 74, 132, 136, 149, 150] [39, 55, 70, 75, 133, 137, 150, 151] [40, 56, 71, 76, 134, 138, 151, 152] [41, 57, 72, 77, 135, 139, 152, 153] [42, 58, 73, 78, 136, 140, 153, 154] [43, 59, 74, 79, 137, 141, 154, 155] [44, 60, 75, 80, 138, 142, 155, 156] [45, 61, 76, 81, 139, 143, 156, 157] [47, 63, 78, 82, 141, 144, 158, 159] [0, 1, 2, 3, 4, 84] [1, 2, 3, 4, 5, 85] [2, 3, 4, 5, 6, 86] [3, 4, 5, 6, 7, 87] [4, 5, 6, 7, 8, 88] [5, 6, 7, 8, 9, 89] [6, 7, 8, 9, 10, 90] [7, 8, 9, 10, 11, 91] [8, 9, 10, 11, 12, 92] [9, 10, 11, 12, 13, 93] [10, 11, 12, 13, 14, 94] [11, 12, 13, 14, 15, 95] [12, 13, 14, 15, 16, 96] [2, 17, 22, 83, 87, 100, 101] [3, 18, 23, 84, 88, 101, 102] [4, 19, 24, 85, 89, 102, 103] [5, 20, 25, 86, 90, 103, 104] [6, 21, 26, 87, 91, 104, 105] [7, 22, 27, 88, 92, 105, 106] [8, 23, 28, 89, 93, 106, 107] [9, 24, 29, 90, 94, 107, 108] [10, 25, 30, 91, 95, 108, 109] [11, 26, 31, 92, 96, 109, 110] [12, 27, 32, 93, 97, 110, 111] [13, 28, 33, 94, 98, 111, 112] [0, 5, 84, 85] [1, 6, 85, 86] [2, 7, 86, 87] [3, 8, 87, 88] [4, 9, 88, 89] [5, 10, 89, 90] [6, 11, 90, 91] [7, 12, 91, 92] [8, 13, 92, 93] [9, 14, 93, 94] [10, 15, 94, 95] [11, 16, 95, 96] [69, 163, 167] [70, 164, 168] [71, 165, 169] [72, 166, 170] [73, 167, 171] [74, 168, 172] [75, 169, 173] [76, 170, 174] [77, 171, 175] [78, 172, 176] [79, 173, 177] [80, 174, 178] [52, 69, 146, 150, 164, 165] [53, 70, 147, 151, 165, 166] [54, 71, 148, 152, 166, 167] [55, 72, 149, 153, 167, 168] [56, 73, 150, 154, 168, 169] [57, 74, 151, 155, 169, 170] [58, 75, 152, 156, 170, 171] [59, 76, 153, 157, 171, 172] [60, 77, 154, 158, 172, 173] [61, 78, 155, 159, 173, 174] [62, 79, 156, 160, 174, 175] [63, 80, 157, 161, 175, 176] [69, 163, 167] [70, 164, 168] [71, 165, 169] [72, 166, 170] [73, 167, 171] [74, 168, 172] [75, 169, 173] [76, 170, 174] [77, 171, 175] [78, 172, 176] [79, 173, 177] [80, 174, 178] [51, 68, 145, 149, 163, 164] [68, 162, 166]

H_Z (100 checks, sparse supports)

[2, 3, 17, 21, 87, 101, 116] [3, 4, 18, 22, 83, 88, 102, 117] [4, 5, 19, 23, 84, 89, 103, 118] [5, 6, 20, 24, 85, 90, 104, 119] [6, 7, 21, 25, 86, 91, 105, 120] [7, 8, 22, 26, 87, 92, 106, 121] [8, 9, 23, 27, 88, 93, 107, 122] [9, 10, 24, 28, 89, 94, 108, 123] [10, 11, 25, 29, 90, 95, 109, 124] [11, 12, 26, 30, 91, 96, 110, 125] [12, 13, 27, 31, 92, 97, 111, 126] [13, 14, 28, 32, 93, 98, 112, 127] [19, 20, 34, 38, 103, 116, 132] [20, 21, 35, 39, 99, 104, 117, 133] [21, 22, 36, 40, 100, 105, 118, 134] [22, 23, 37, 41, 101, 106, 119, 135] [23, 24, 38, 42, 102, 107, 120, 136] [24, 25, 39, 43, 103, 108, 121, 137] [25, 26, 40, 44, 104, 109, 122, 138] [26, 27, 41, 45, 105, 110, 123, 139] [27, 28, 42, 46, 106, 111, 124, 140] [28, 29, 43, 47, 107, 112, 125, 141] [29, 30, 44, 48, 108, 113, 126, 142] [30, 31, 45, 49, 109, 127, 143] [36, 37, 50, 54, 118, 132, 148] [37, 38, 51, 55, 114, 119, 133, 149] [38, 39, 52, 56, 115, 120, 134, 150] [39, 40, 53, 57, 116, 121, 135, 151] [40, 41, 54, 58, 117, 122, 136, 152] [41, 42, 55, 59, 118, 123, 137, 153] [42, 43, 56, 60, 119, 124, 138, 154] [43, 44, 57, 61, 120, 125, 139, 155] [44, 45, 58, 62, 121, 126, 140, 156] [45, 46, 59, 63, 122, 127, 141, 157] [46, 47, 60, 64, 123, 128, 142, 158] [47, 48, 61, 65, 124, 129, 143, 159] [52, 53, 67, 71, 134, 148, 165] [53, 54, 68, 72, 130, 135, 149, 166] [54, 55, 69, 73, 131, 136, 150, 167] [55, 56, 70, 74, 132, 137, 151, 168] [56, 57, 71, 75, 133, 138, 152, 169] [57, 58, 72, 76, 134, 139, 153, 170] [58, 59, 73, 77, 135, 140, 154, 171] [59, 60, 74, 78, 136, 141, 155, 172] [60, 61, 75, 79, 137, 142, 156, 173] [61, 62, 76, 80, 138, 143, 157, 174] [62, 63, 77, 81, 139, 158, 175] [63, 64, 78, 140, 144, 159, 176] [17, 83] [34, 99] [50, 114] [67, 130] [0, 18, 84] [17, 35, 100] [0, 1, 19, 85, 99, 114] [17, 18, 36, 101, 114, 130] [34, 35, 52, 116, 130, 146] [50, 51, 69, 132, 146, 163] [1, 2, 20, 86, 100, 115] [18, 19, 37, 102, 115, 131] [35, 36, 53, 117, 131, 147] [51, 52, 70, 133, 147, 164] [2, 3, 17, 21, 87, 101, 116] [19, 20, 34, 38, 103, 116, 132] [36, 37, 50, 54, 118, 132, 148] [52, 53, 67, 71, 134, 148, 165] [3, 4, 17, 18, 22, 88, 102, 117] [20, 21, 34, 35, 39, 104, 117, 133] [37, 38, 50, 51, 55, 119, 133, 149] [53, 54, 67, 68, 72, 135, 149, 166] [0, 18, 84] [17, 35, 100] [34, 51, 115, 145] [50, 68, 131, 145, 162] [33, 98] [66, 129] [82, 144] [32, 97] [49, 113] [65, 128] [16, 31, 96] [33, 48, 112] [64, 127] [66, 81, 143] [15, 16, 30, 95, 129] [32, 33, 47, 111, 129, 144] [49, 63, 126, 144, 161] [65, 66, 80, 142, 161, 178] [14, 15, 29, 33, 94, 113, 128] [31, 32, 46, 110, 128] [48, 49, 62, 66, 125, 160] [64, 65, 79, 82, 141, 160, 177] [13, 14, 28, 32, 33, 93, 112, 127] [30, 31, 45, 49, 109, 127, 143] [47, 48, 61, 65, 66, 124, 143, 159] [63, 64, 78, 82, 140, 159, 176] [12, 13, 27, 31, 32, 92, 111, 126] [29, 30, 44, 48, 49, 108, 126, 142] [46, 47, 60, 64, 65, 123, 142, 158] [62, 63, 77, 81, 139, 158, 175]

Code ID 179-12-10 · download JSON · raw on GitHub