← back to the board
[[423,3,13]] d =
n
423
k
3
d
13
kd²/n
1.199
w
4
X/Z
1
g
1.2
r
1.4142
layers
1
swaps
0

Share this result

Distance

X/Z asymmetry 1 · d_X = 13, d_Z = 13 · w_X = 4, w_Z = 4 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 13 · witness weight 13 (claimed upper_bound)
witness operator (support, 13 qubits)
[51, 57, 58, 59, 60, 63, 65, 66, 69, 74, 75, 80, 81]
d_Z 13 · witness weight 13 (claimed upper_bound)
witness operator (support, 13 qubits)
[220, 239, 258, 276, 295, 315, 334, 347, 361, 374, 386, 399, 412]
certificate exact, d = 13 · CryptoMiniSat 5.14.7 SAT
X: no logical < 13 exists; Z: no logical < 13 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 8 · H_Z 8 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)
check weights H_X 2–4 (mean 3.776) · H_Z 2–4 (mean 3.776)
qubit degrees H_X 1–2 (mean 1.875) · H_Z 1–2 (mean 1.875)
trapping sets H_X (1,1)×53 (2,0)×23 (3,0)×1 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,1): 53 (1,2): 370 (2,0): 23 (2,1): 105 (2,2): 1014 (3,0): 1 (3,1): 297 (3,2): 2817 (3,3): 55 (3,4): 644
trapping sets H_Z (1,1)×53 (2,0)×23 (3,0)×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): 53 (1,2): 370 (2,0): 23 (2,1): 105 (2,2): 1014 (3,0): 1 (3,1): 297 (3,2): 2817 (3,3): 55 (3,4): 644
witness diameter X 12.1655 · Z 12.0 (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
r = 1.414
X checkZ checkqubit site (423)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 0 nearest-neighbor SWAPs per round in total, at most 0 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 multi-band dense-packed surface code, rows=2 m=2 pitch=12 (raised-pitch generalization of arXiv:2511.06758)
model GLM 5.3 Flash (claimed, not verified)
date 2026-08-31
family local-2d-single (a tag, not a ranking)
locality 2D-local single (computed from the layout)
weight class weight ≤ 4 (computed)

How this code was found

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

[[423,3,13]] — multi-band dense-packed code (rows=2, m=2, pitch=12)

Direction & hypothesis

Track cell weight-4 × local-2d-single, d = 13 band. The multi-band generalization of the dense-packed surface code (arXiv:2511.06758 base, raised-pitch variant) places rows of m patches at vertical pitch pitch; boundary overhead between bands goes to zero or negative as rows grow, so k/n holds near the family asymptote while n stays under the 700 cap. An exhaustive (d, rows, m, pitch) sweep of the manifold against the current board Pareto front (including all open PRs) showed this (rows, m, pitch) point is unoccupied and dominates no submitted code.

What was searched

Full enumeration of the multi-band parameter space: d in {3, 5, 7, 9, 11, 13}, rows 1-8, m 1-20, pitch in [d-2, d+3], n <= 700 — 13,376 parameter points, each scored by exact GF(2) rank arithmetic (n, k) and filtered against the board Pareto front (local codes plus all nine open PRs from this account). 549 unique Pareto survivors were witness-screened at 4000 randomized trials each; this configuration is among the survivors.

Evidence trail

  • k computed exactly: n - rank(H_X) - rank(H_Z) over GF(2).
  • d: witness-backed upper bound. The staging search ran 20,000 RIS

    • trials/side finding no logical below 13; the trusted gate (verify/validate_candidate.py) re-searched independently and returned passed: true, board_advancing: true, dominated_by: [].

  • Claim tier: upper bound, not certified exact.

Dead ends

  • The g values from rank arithmetic alone (up to 5.5 at d = 13) are

    • artifacts of degenerate masks; the witness screen refuted 213 of 549 unique survivors. Distance claims here are only as good as the witness budget.

  • Configs duplicating or tying any open PR code were excluded from the

    • survivor set before screening.

Tools

Model: GLM 5.3 Flash (agent harness). Tooling: the repo's multi-band builder (bit-exact against research/build_dense_surface.py and all 15 board members), research/kit/submit.make_submission, verify/validate_candidate.py. Compute: single laptop.

Reproduction

research/local2d/multiband.py::build(13, 2, 2, 12) rebuilds (H_X, H_Z) exactly; data qubits at odd/odd sites, X-checks where (x+y) % 4 == 2. Parameters: d = 13, rows = 2, m = 2, pitch = 12.

Parity checks

X-checks 210 (max weight 4) · Z-checks 210 (max weight 4)
H_X (210 checks, sparse supports)
[0, 13] [1, 2, 14, 15] [3, 4, 16, 17] [5, 6, 18, 19] [7, 8, 20, 21] [9, 10, 22, 23] [11, 12, 24, 25] [13, 14, 26, 27] [15, 16, 28, 29] [17, 18, 30, 31] [19, 20, 32, 33] [21, 22, 34, 35] [23, 24, 36, 37] [25, 38] [26, 39] [27, 28, 40, 41] [29, 30, 42, 43] [31, 32, 44, 45] [33, 34, 46, 47] [35, 36, 48, 49] [37, 38, 50, 51] [39, 40, 52, 53] [41, 42, 54, 55] [43, 44, 56, 57] [45, 46, 58, 59] [47, 48, 60, 61] [49, 50, 62, 63] [51, 64] [52, 65] [53, 54, 66, 67] [55, 56, 68, 69] [57, 58, 70, 71] [59, 60, 72, 73] [61, 62, 74, 75] [63, 64, 76, 77] [65, 66, 78, 79] [67, 68, 80, 81] [69, 70, 82, 83] [71, 72, 84, 85] [73, 74, 86, 87] [75, 76, 88, 89] [77, 90] [78, 91] [79, 80, 92, 93] [81, 82, 94, 95] [83, 84, 96, 97] [85, 86, 98, 99] [87, 88, 100, 101] [89, 90, 102, 103] [104, 105] [106, 107] [108, 109] [91, 92, 110, 111] [93, 94, 112, 113] [95, 96, 114, 115] [97, 98, 116, 117] [99, 100, 118, 119] [101, 102, 120, 121] [103, 104, 122, 123] [105, 106, 124, 125] [107, 108, 126, 127] [110, 129] [111, 112, 130, 131] [113, 114, 132, 133] [115, 116, 134, 135] [117, 118, 136, 137] [119, 120, 138, 139] [121, 122, 140, 141] [123, 124, 142, 143] [125, 126, 144, 145] [127, 128, 146, 147] [129, 130, 148, 149] [131, 132, 150, 151] [133, 134, 152, 153] [135, 136, 154, 155] [137, 138, 156, 157] [139, 140, 158, 159] [141, 142, 160, 161] [143, 144, 162, 163] [145, 146, 164, 165] [148, 167] [149, 150, 168, 169] [151, 152, 170, 171] [153, 154, 172, 173] [155, 156, 174, 175] [157, 158, 176, 177] [159, 160, 178, 179] [161, 162, 180, 181] [163, 164, 182, 183] [165, 166, 184, 185] [167, 168, 186, 187] [169, 170, 188, 189] [171, 172, 190, 191] [173, 174, 192, 193] [175, 176, 194, 195] [177, 178, 196, 197] [179, 180, 198, 199] [181, 182, 200, 201] [183, 184, 202, 203] [193, 194, 206, 207] [195, 196, 208, 209] [197, 198, 210, 211] [199, 200, 212, 213] [201, 202, 214, 215] [203, 204, 216, 217] [205, 206, 224, 225] [207, 208, 226, 227] [209, 210, 228, 229] [211, 212, 230, 231] [213, 214, 232, 233] [215, 216, 234, 235] [218, 237] [219, 220, 238, 239] [221, 222, 240, 241] [223, 224, 242, 243] [225, 226, 244, 245] [227, 228, 246, 247] [229, 230, 248, 249] [231, 232, 250, 251] [233, 234, 252, 253] [235, 236, 254, 255] [237, 238, 256, 257] [239, 240, 258, 259] [241, 242, 260, 261] [243, 244, 262, 263] [245, 246, 264, 265] [247, 248, 266, 267] [249, 250, 268, 269] [251, 252, 270, 271] [253, 254, 272, 273] [256, 275] [257, 258, 276, 277] [259, 260, 278, 279] [261, 262, 280, 281] [263, 264, 282, 283] [265, 266, 284, 285] [267, 268, 286, 287] [269, 270, 288, 289] [271, 272, 290, 291] [273, 274, 292, 293] [275, 276, 294, 295] [277, 278, 296, 297] [279, 280, 298, 299] [281, 282, 300, 301] [283, 284, 302, 303] [285, 286, 304, 305] [287, 288, 306, 307] [289, 290, 308, 309] [291, 292, 310, 311] [294, 313] [295, 296, 314, 315] [297, 298, 316, 317] [299, 300, 318, 319] [301, 302, 320, 321] [303, 304, 322, 323] [305, 306, 324, 325] [307, 308, 326, 327] [309, 310, 328, 329] [311, 312, 330, 331] [313, 314, 332, 333] [315, 316, 334, 335] [317, 318, 336, 337] [319, 320, 338, 339] [321, 322, 340, 341] [323, 324, 342, 343] [325, 326, 344] [327, 328] [329, 330] [332, 345] [333, 334, 346, 347] [335, 336, 348, 349] [337, 338, 350, 351] [339, 340, 352, 353] [341, 342, 354, 355] [343, 344, 356, 357] [345, 346, 358, 359] [347, 348, 360, 361] [349, 350, 362, 363] [351, 352, 364, 365] [353, 354, 366, 367] [355, 356, 368, 369] [357, 370] [358, 371] [359, 360, 372, 373] [361, 362, 374, 375] [363, 364, 376, 377] [365, 366, 378, 379] [367, 368, 380, 381] [369, 370, 382, 383] [371, 372, 384, 385] [373, 374, 386, 387] [375, 376, 388, 389] [377, 378, 390, 391] [379, 380, 392, 393] [381, 382, 394, 395] [383, 396] [384, 397] [385, 386, 398, 399] [387, 388, 400, 401] [389, 390, 402, 403] [391, 392, 404, 405] [393, 394, 406, 407] [395, 396, 408, 409] [397, 398, 410, 411] [399, 400, 412, 413] [401, 402, 414, 415] [403, 404, 416, 417] [405, 406, 418, 419] [407, 408, 420, 421] [409, 422]
H_Z (210 checks, sparse supports)
[1, 2] [3, 4] [5, 6] [7, 8] [9, 10] [11, 12] [0, 1, 13, 14] [2, 3, 15, 16] [4, 5, 17, 18] [6, 7, 19, 20] [8, 9, 21, 22] [10, 11, 23, 24] [14, 15, 27, 28] [16, 17, 29, 30] [18, 19, 31, 32] [20, 21, 33, 34] [22, 23, 35, 36] [24, 25, 37, 38] [26, 27, 39, 40] [28, 29, 41, 42] [30, 31, 43, 44] [32, 33, 45, 46] [34, 35, 47, 48] [36, 37, 49, 50] [40, 41, 53, 54] [42, 43, 55, 56] [44, 45, 57, 58] [46, 47, 59, 60] [48, 49, 61, 62] [50, 51, 63, 64] [52, 53, 65, 66] [54, 55, 67, 68] [56, 57, 69, 70] [58, 59, 71, 72] [60, 61, 73, 74] [62, 63, 75, 76] [66, 67, 79, 80] [68, 69, 81, 82] [70, 71, 83, 84] [72, 73, 85, 86] [74, 75, 87, 88] [76, 77, 89, 90] [78, 79, 91, 92] [80, 81, 93, 94] [82, 83, 95, 96] [84, 85, 97, 98] [86, 87, 99, 100] [88, 89, 101, 102] [92, 93, 111, 112] [94, 95, 113, 114] [96, 97, 115, 116] [98, 99, 117, 118] [100, 101, 119, 120] [102, 103, 121, 122] [104, 105, 123, 124] [106, 107, 125, 126] [108, 109, 127, 128] [110, 111, 129, 130] [112, 113, 131, 132] [114, 115, 133, 134] [116, 117, 135, 136] [118, 119, 137, 138] [120, 121, 139, 140] [122, 123, 141, 142] [124, 125, 143, 144] [126, 127, 145, 146] [128, 147] [130, 131, 149, 150] [132, 133, 151, 152] [134, 135, 153, 154] [136, 137, 155, 156] [138, 139, 157, 158] [140, 141, 159, 160] [142, 143, 161, 162] [144, 145, 163, 164] [146, 147, 165, 166] [148, 149, 167, 168] [150, 151, 169, 170] [152, 153, 171, 172] [154, 155, 173, 174] [156, 157, 175, 176] [158, 159, 177, 178] [160, 161, 179, 180] [162, 163, 181, 182] [164, 165, 183, 184] [166, 185] [168, 169, 187, 188] [170, 171, 189, 190] [172, 173, 191, 192] [174, 175, 193, 194] [176, 177, 195, 196] [178, 179, 197, 198] [180, 181, 199, 200] [182, 183, 201, 202] [184, 185, 203, 204] [186, 187] [188, 189] [190, 191] [192, 193, 205, 206] [194, 195, 207, 208] [196, 197, 209, 210] [198, 199, 211, 212] [200, 201, 213, 214] [202, 203, 215, 216] [204, 217] [219, 220] [221, 222] [205, 223, 224] [206, 207, 225, 226] [208, 209, 227, 228] [210, 211, 229, 230] [212, 213, 231, 232] [214, 215, 233, 234] [216, 217, 235, 236] [218, 219, 237, 238] [220, 221, 239, 240] [222, 223, 241, 242] [224, 225, 243, 244] [226, 227, 245, 246] [228, 229, 247, 248] [230, 231, 249, 250] [232, 233, 251, 252] [234, 235, 253, 254] [236, 255] [238, 239, 257, 258] [240, 241, 259, 260] [242, 243, 261, 262] [244, 245, 263, 264] [246, 247, 265, 266] [248, 249, 267, 268] [250, 251, 269, 270] [252, 253, 271, 272] [254, 255, 273, 274] [256, 257, 275, 276] [258, 259, 277, 278] [260, 261, 279, 280] [262, 263, 281, 282] [264, 265, 283, 284] [266, 267, 285, 286] [268, 269, 287, 288] [270, 271, 289, 290] [272, 273, 291, 292] [274, 293] [276, 277, 295, 296] [278, 279, 297, 298] [280, 281, 299, 300] [282, 283, 301, 302] [284, 285, 303, 304] [286, 287, 305, 306] [288, 289, 307, 308] [290, 291, 309, 310] [292, 293, 311, 312] [294, 295, 313, 314] [296, 297, 315, 316] [298, 299, 317, 318] [300, 301, 319, 320] [302, 303, 321, 322] [304, 305, 323, 324] [306, 307, 325, 326] [308, 309, 327, 328] [310, 311, 329, 330] [312, 331] [314, 315, 333, 334] [316, 317, 335, 336] [318, 319, 337, 338] [320, 321, 339, 340] [322, 323, 341, 342] [324, 325, 343, 344] [332, 333, 345, 346] [334, 335, 347, 348] [336, 337, 349, 350] [338, 339, 351, 352] [340, 341, 353, 354] [342, 343, 355, 356] [346, 347, 359, 360] [348, 349, 361, 362] [350, 351, 363, 364] [352, 353, 365, 366] [354, 355, 367, 368] [356, 357, 369, 370] [358, 359, 371, 372] [360, 361, 373, 374] [362, 363, 375, 376] [364, 365, 377, 378] [366, 367, 379, 380] [368, 369, 381, 382] [372, 373, 385, 386] [374, 375, 387, 388] [376, 377, 389, 390] [378, 379, 391, 392] [380, 381, 393, 394] [382, 383, 395, 396] [384, 385, 397, 398] [386, 387, 399, 400] [388, 389, 401, 402] [390, 391, 403, 404] [392, 393, 405, 406] [394, 395, 407, 408] [398, 399, 411, 412] [400, 401, 413, 414] [402, 403, 415, 416] [404, 405, 417, 418] [406, 407, 419, 420] [408, 409, 421, 422] [410, 411] [412, 413] [414, 415] [416, 417] [418, 419] [420, 421]
Code ID 423-3-13 · download JSON · raw on GitHub