← back to the board
[[192,8,8]] d ≤
n
192
k
8
d
8
kd²/n
2.667
w
5
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 8, d_Z ≤ 8 · w_X = 5, w_Z = 5 (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 operator (support, 8 qubits)
[9, 13, 24, 31, 38, 78, 120, 174]
d_Z 8 · witness weight 8 (claimed upper_bound)
witness operator (support, 8 qubits)
[36, 65, 100, 116, 132, 146, 161, 172]
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 8 · H_Z 8 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)
check weights H_X 5 · H_Z 5
qubit degrees H_X 2–3 (mean 2.5) · H_Z 2–3 (mean 2.5)
trapping sets H_X (1,2)×96 (2,2)×96 (3,2)×96 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,2): 96 (1,3): 96 (2,2): 96 (2,3): 576 (2,4): 288 (3,2): 96 (3,3): 1728 (3,4): 3168 (3,5): 1440 (3,6): 576 (3,7): 96
trapping sets H_Z (1,2)×96 (2,2)×96 (3,2)×96 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,2): 96 (1,3): 96 (2,2): 96 (2,3): 576 (2,4): 288 (3,2): 96 (3,3): 1728 (3,4): 3168 (3,5): 1440 (3,6): 576 (3,7): 96

Construction & provenance

authors @MathysRennela
provenance submitted through the challenge
novelty novelty not audited
construction 2BGA (arXiv:2306.16400) on SmallGroup(96,1), from github.com/QEC-pages/2BGA-codes @ 403d194c3f98f0cadc236aecbc4a8b6139ccf23c, nonabelian.zip, diswtnonabelian_wt5wtL2_order96_k8.txt, line 1. nonidentity supports a=[4], b=[2, 16].
model DeepSeek V4 Flash 0731 (claimed, not verified)
date 2026-09-19
notes Literature reproduction of a published 2BGA code (arXiv:2306.16400; github.com/QEC-pages/2BGA-codes @ 403d194c3f98f0cadc236aecbc4a8b6139ccf23c). Checked against the live board: not equivalent to any existing entry.
family generalized bicycle (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

[[192,8,8]] — two-block group-algebra code on SmallGroup(96,1)

Direction & hypothesis

Target: unrestricted weight-6 frontier for hackathon issue #1155. Reconstruct a published weight-5 2BGA code absent from the local board. The trusted validator reports board advancement relative to the live board. Efficiency kd²/n = 2.67.

What was searched

Scraped GitHub for downloadable parity-check matrix artifacts and parameter tables. From github.com/QEC-pages/2BGA-codes @ 403d194c3f98f0cadc236aecbc4a8b6139ccf23c, nonabelian.zip, diswtnonabelian_wt5wtL2_order96_k8.txt, line 1. This row is SmallGroup(96,1) with nonidentity GAP supports a=[4], b=[2, 16]. Reconstructed via GAP (Cayley table) and the repository's group-algebra constructor.

Evidence trail

The trusted candidate gate returned passed: true, structural verification passed (CSS, connectivity, k=8), and no lighter logical was found in the refutation search. Distance is a witness-backed upper bound d ≤ 8, not an exact certificate. The published distance (d=8) is consistent with this run.

Dead ends

None for this candidate. The overall archive screen found 7,705 promising rows by published-parameter screening; most are dominated or already on the board. This row survived the screen and the gate.

Tools

DeepSeek V4 Flash 0731 (provenance.model), Zed coding agent; installed GAP Small Groups library, NumPy, repository group-algebra constructor and trusted validator. Public artifacts fetched by immutable commit URL and treated as data. Bounded local CPU run, no paid compute.

Reproduction

Use GAP g := SmallGroup(96,1), e := Elements(g). Construct the zero-based Cayley table mul[i,j] = Position(e,e[i+1]*e[j+1])-1. The published nonidentity supports are a=[4], b=[2, 16] in GAP's one-based indexing. Add identity and convert to zero-based. Build HX=[L(a)|R(b)], HZ=[R(b)^T|L(a)^T] with left/right regular representations. Verify CSS; k = 192 - rank(HX) - rank(HZ) = 8. Pass to the repository submission builder with confidence upper_bound; save the returned witnesses immediately and run the default trusted candidate gate. Do not replace the returned distance with the paper's number.

Parity checks

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