{ "schema_version": "0.4", "name": "[[185,40,17]] halved CPM pair-partition, (J,L)=(4,10), P=37", "code_type": "stabilizer", "n": 185, "k": 40, "checks": { "S": [ { "X": [ 31, 40, 75, 138, 175 ], "Z": [ 33, 62, 94, 139, 150 ] }, { "X": [ 32, 41, 76, 139, 176 ], "Z": [ 32, 61, 93, 138, 149 ] }, { "X": [ 33, 42, 77, 140, 177 ], "Z": [ 31, 60, 92, 137, 148 ] }, { "X": [ 34, 43, 78, 141, 178 ], "Z": [ 30, 59, 91, 136, 184 ] }, { "X": [ 35, 44, 79, 142, 179 ], "Z": [ 29, 58, 90, 135, 183 ] }, { "X": [ 36, 45, 80, 143, 180 ], "Z": [ 28, 57, 89, 134, 182 ] }, { "X": [ 0, 46, 81, 144, 181 ], "Z": [ 27, 56, 88, 133, 181 ] }, { "X": [ 1, 47, 82, 145, 182 ], "Z": [ 26, 55, 87, 132, 180 ] }, { "X": [ 2, 48, 83, 146, 183 ], "Z": [ 25, 54, 86, 131, 179 ] }, { "X": [ 3, 49, 84, 147, 184 ], "Z": [ 24, 53, 85, 130, 178 ] }, { "X": [ 4, 50, 85, 111, 148 ], "Z": [ 23, 52, 84, 129, 177 ] }, { "X": [ 5, 51, 86, 112, 149 ], "Z": [ 22, 51, 83, 128, 176 ] }, { "X": [ 6, 52, 87, 113, 150 ], "Z": [ 21, 50, 82, 127, 175 ] }, { "X": [ 7, 53, 88, 114, 151 ], "Z": [ 20, 49, 81, 126, 174 ] }, { "X": [ 8, 54, 89, 115, 152 ], "Z": [ 19, 48, 80, 125, 173 ] }, { "X": [ 9, 55, 90, 116, 153 ], "Z": [ 18, 47, 79, 124, 172 ] }, { "X": [ 10, 56, 91, 117, 154 ], "Z": [ 17, 46, 78, 123, 171 ] }, { "X": [ 11, 57, 92, 118, 155 ], "Z": [ 16, 45, 77, 122, 170 ] }, { "X": [ 12, 58, 93, 119, 156 ], "Z": [ 15, 44, 76, 121, 169 ] }, { "X": [ 13, 59, 94, 120, 157 ], "Z": [ 14, 43, 75, 120, 168 ] }, { "X": [ 14, 60, 95, 121, 158 ], "Z": [ 13, 42, 74, 119, 167 ] }, { "X": [ 15, 61, 96, 122, 159 ], "Z": [ 12, 41, 110, 118, 166 ] }, { "X": [ 16, 62, 97, 123, 160 ], "Z": [ 11, 40, 109, 117, 165 ] }, { "X": [ 17, 63, 98, 124, 161 ], "Z": [ 10, 39, 108, 116, 164 ] }, { "X": [ 18, 64, 99, 125, 162 ], "Z": [ 9, 38, 107, 115, 163 ] }, { "X": [ 19, 65, 100, 126, 163 ], "Z": [ 8, 37, 106, 114, 162 ] }, { "X": [ 20, 66, 101, 127, 164 ], "Z": [ 7, 73, 105, 113, 161 ] }, { "X": [ 21, 67, 102, 128, 165 ], "Z": [ 6, 72, 104, 112, 160 ] }, { "X": [ 22, 68, 103, 129, 166 ], "Z": [ 5, 71, 103, 111, 159 ] }, { "X": [ 23, 69, 104, 130, 167 ], "Z": [ 4, 70, 102, 147, 158 ] }, { "X": [ 24, 70, 105, 131, 168 ], "Z": [ 3, 69, 101, 146, 157 ] }, { "X": [ 25, 71, 106, 132, 169 ], "Z": [ 2, 68, 100, 145, 156 ] }, { "X": [ 26, 72, 107, 133, 170 ], "Z": [ 1, 67, 99, 144, 155 ] }, { "X": [ 27, 73, 108, 134, 171 ], "Z": [ 0, 66, 98, 143, 154 ] }, { "X": [ 28, 37, 109, 135, 172 ], "Z": [ 36, 65, 97, 142, 153 ] }, { "X": [ 29, 38, 110, 136, 173 ], "Z": [ 35, 64, 96, 141, 152 ] }, { "X": [ 30, 39, 74, 137, 174 ], "Z": [ 34, 63, 95, 140, 151 ] }, { "X": [ 34, 63, 82, 141, 152 ], "Z": [ 36, 47, 80, 113, 182 ] }, { "X": [ 35, 64, 83, 142, 153 ], "Z": [ 35, 46, 79, 112, 181 ] }, { "X": [ 36, 65, 84, 143, 154 ], "Z": [ 34, 45, 78, 111, 180 ] }, { "X": [ 0, 66, 85, 144, 155 ], "Z": [ 33, 44, 77, 147, 179 ] }, { "X": [ 1, 67, 86, 145, 156 ], "Z": [ 32, 43, 76, 146, 178 ] }, { "X": [ 2, 68, 87, 146, 157 ], "Z": [ 31, 42, 75, 145, 177 ] }, { "X": [ 3, 69, 88, 147, 158 ], "Z": [ 30, 41, 74, 144, 176 ] }, { "X": [ 4, 70, 89, 111, 159 ], "Z": [ 29, 40, 110, 143, 175 ] }, { "X": [ 5, 71, 90, 112, 160 ], "Z": [ 28, 39, 109, 142, 174 ] }, { "X": [ 6, 72, 91, 113, 161 ], "Z": [ 27, 38, 108, 141, 173 ] }, { "X": [ 7, 73, 92, 114, 162 ], "Z": [ 26, 37, 107, 140, 172 ] }, { "X": [ 8, 37, 93, 115, 163 ], "Z": [ 25, 73, 106, 139, 171 ] }, { "X": [ 9, 38, 94, 116, 164 ], "Z": [ 24, 72, 105, 138, 170 ] }, { "X": [ 10, 39, 95, 117, 165 ], "Z": [ 23, 71, 104, 137, 169 ] }, { "X": [ 11, 40, 96, 118, 166 ], "Z": [ 22, 70, 103, 136, 168 ] }, { "X": [ 12, 41, 97, 119, 167 ], "Z": [ 21, 69, 102, 135, 167 ] }, { "X": [ 13, 42, 98, 120, 168 ], "Z": [ 20, 68, 101, 134, 166 ] }, { "X": [ 14, 43, 99, 121, 169 ], "Z": [ 19, 67, 100, 133, 165 ] }, { "X": [ 15, 44, 100, 122, 170 ], "Z": [ 18, 66, 99, 132, 164 ] }, { "X": [ 16, 45, 101, 123, 171 ], "Z": [ 17, 65, 98, 131, 163 ] }, { "X": [ 17, 46, 102, 124, 172 ], "Z": [ 16, 64, 97, 130, 162 ] }, { "X": [ 18, 47, 103, 125, 173 ], "Z": [ 15, 63, 96, 129, 161 ] }, { "X": [ 19, 48, 104, 126, 174 ], "Z": [ 14, 62, 95, 128, 160 ] }, { "X": [ 20, 49, 105, 127, 175 ], "Z": [ 13, 61, 94, 127, 159 ] }, { "X": [ 21, 50, 106, 128, 176 ], "Z": [ 12, 60, 93, 126, 158 ] }, { "X": [ 22, 51, 107, 129, 177 ], "Z": [ 11, 59, 92, 125, 157 ] }, { "X": [ 23, 52, 108, 130, 178 ], "Z": [ 10, 58, 91, 124, 156 ] }, { "X": [ 24, 53, 109, 131, 179 ], "Z": [ 9, 57, 90, 123, 155 ] }, { "X": [ 25, 54, 110, 132, 180 ], "Z": [ 8, 56, 89, 122, 154 ] }, { "X": [ 26, 55, 74, 133, 181 ], "Z": [ 7, 55, 88, 121, 153 ] }, { "X": [ 27, 56, 75, 134, 182 ], "Z": [ 6, 54, 87, 120, 152 ] }, { "X": [ 28, 57, 76, 135, 183 ], "Z": [ 5, 53, 86, 119, 151 ] }, { "X": [ 29, 58, 77, 136, 184 ], "Z": [ 4, 52, 85, 118, 150 ] }, { "X": [ 30, 59, 78, 137, 148 ], "Z": [ 3, 51, 84, 117, 149 ] }, { "X": [ 31, 60, 79, 138, 149 ], "Z": [ 2, 50, 83, 116, 148 ] }, { "X": [ 32, 61, 80, 139, 150 ], "Z": [ 1, 49, 82, 115, 184 ] }, { "X": [ 33, 62, 81, 140, 151 ], "Z": [ 0, 48, 81, 114, 183 ] }, { "X": [ 26, 71, 94, 123, 159 ], "Z": [ 10, 53, 75, 114, 182 ] }, { "X": [ 27, 72, 95, 124, 160 ], "Z": [ 9, 52, 74, 113, 181 ] }, { "X": [ 28, 73, 96, 125, 161 ], "Z": [ 8, 51, 110, 112, 180 ] }, { "X": [ 29, 37, 97, 126, 162 ], "Z": [ 7, 50, 109, 111, 179 ] }, { "X": [ 30, 38, 98, 127, 163 ], "Z": [ 6, 49, 108, 147, 178 ] }, { "X": [ 31, 39, 99, 128, 164 ], "Z": [ 5, 48, 107, 146, 177 ] }, { "X": [ 32, 40, 100, 129, 165 ], "Z": [ 4, 47, 106, 145, 176 ] }, { "X": [ 33, 41, 101, 130, 166 ], "Z": [ 3, 46, 105, 144, 175 ] }, { "X": [ 34, 42, 102, 131, 167 ], "Z": [ 2, 45, 104, 143, 174 ] }, { "X": [ 35, 43, 103, 132, 168 ], "Z": [ 1, 44, 103, 142, 173 ] }, { "X": [ 36, 44, 104, 133, 169 ], "Z": [ 0, 43, 102, 141, 172 ] }, { "X": [ 0, 45, 105, 134, 170 ], "Z": [ 36, 42, 101, 140, 171 ] }, { "X": [ 1, 46, 106, 135, 171 ], "Z": [ 35, 41, 100, 139, 170 ] }, { "X": [ 2, 47, 107, 136, 172 ], "Z": [ 34, 40, 99, 138, 169 ] }, { "X": [ 3, 48, 108, 137, 173 ], "Z": [ 33, 39, 98, 137, 168 ] }, { "X": [ 4, 49, 109, 138, 174 ], "Z": [ 32, 38, 97, 136, 167 ] }, { "X": [ 5, 50, 110, 139, 175 ], "Z": [ 31, 37, 96, 135, 166 ] }, { "X": [ 6, 51, 74, 140, 176 ], "Z": [ 30, 73, 95, 134, 165 ] }, { "X": [ 7, 52, 75, 141, 177 ], "Z": [ 29, 72, 94, 133, 164 ] }, { "X": [ 8, 53, 76, 142, 178 ], "Z": [ 28, 71, 93, 132, 163 ] }, { "X": [ 9, 54, 77, 143, 179 ], "Z": [ 27, 70, 92, 131, 162 ] }, { "X": [ 10, 55, 78, 144, 180 ], "Z": [ 26, 69, 91, 130, 161 ] }, { "X": [ 11, 56, 79, 145, 181 ], "Z": [ 25, 68, 90, 129, 160 ] }, { "X": [ 12, 57, 80, 146, 182 ], "Z": [ 24, 67, 89, 128, 159 ] }, { "X": [ 13, 58, 81, 147, 183 ], "Z": [ 23, 66, 88, 127, 158 ] }, { "X": [ 14, 59, 82, 111, 184 ], "Z": [ 22, 65, 87, 126, 157 ] }, { "X": [ 15, 60, 83, 112, 148 ], "Z": [ 21, 64, 86, 125, 156 ] }, { "X": [ 16, 61, 84, 113, 149 ], "Z": [ 20, 63, 85, 124, 155 ] }, { "X": [ 17, 62, 85, 114, 150 ], "Z": [ 19, 62, 84, 123, 154 ] }, { "X": [ 18, 63, 86, 115, 151 ], "Z": [ 18, 61, 83, 122, 153 ] }, { "X": [ 19, 64, 87, 116, 152 ], "Z": [ 17, 60, 82, 121, 152 ] }, { "X": [ 20, 65, 88, 117, 153 ], "Z": [ 16, 59, 81, 120, 151 ] }, { "X": [ 21, 66, 89, 118, 154 ], "Z": [ 15, 58, 80, 119, 150 ] }, { "X": [ 22, 67, 90, 119, 155 ], "Z": [ 14, 57, 79, 118, 149 ] }, { "X": [ 23, 68, 91, 120, 156 ], "Z": [ 13, 56, 78, 117, 148 ] }, { "X": [ 24, 69, 92, 121, 157 ], "Z": [ 12, 55, 77, 116, 184 ] }, { "X": [ 25, 70, 93, 122, 158 ], "Z": [ 11, 54, 76, 115, 183 ] }, { "X": [ 0, 50, 109, 141, 154 ], "Z": [ 5, 62, 110, 113, 149 ] }, { "X": [ 1, 51, 110, 142, 155 ], "Z": [ 4, 61, 109, 112, 148 ] }, { "X": [ 2, 52, 74, 143, 156 ], "Z": [ 3, 60, 108, 111, 184 ] }, { "X": [ 3, 53, 75, 144, 157 ], "Z": [ 2, 59, 107, 147, 183 ] }, { "X": [ 4, 54, 76, 145, 158 ], "Z": [ 1, 58, 106, 146, 182 ] }, { "X": [ 5, 55, 77, 146, 159 ], "Z": [ 0, 57, 105, 145, 181 ] }, { "X": [ 6, 56, 78, 147, 160 ], "Z": [ 36, 56, 104, 144, 180 ] }, { "X": [ 7, 57, 79, 111, 161 ], "Z": [ 35, 55, 103, 143, 179 ] }, { "X": [ 8, 58, 80, 112, 162 ], "Z": [ 34, 54, 102, 142, 178 ] }, { "X": [ 9, 59, 81, 113, 163 ], "Z": [ 33, 53, 101, 141, 177 ] }, { "X": [ 10, 60, 82, 114, 164 ], "Z": [ 32, 52, 100, 140, 176 ] }, { "X": [ 11, 61, 83, 115, 165 ], "Z": [ 31, 51, 99, 139, 175 ] }, { "X": [ 12, 62, 84, 116, 166 ], "Z": [ 30, 50, 98, 138, 174 ] }, { "X": [ 13, 63, 85, 117, 167 ], "Z": [ 29, 49, 97, 137, 173 ] }, { "X": [ 14, 64, 86, 118, 168 ], "Z": [ 28, 48, 96, 136, 172 ] }, { "X": [ 15, 65, 87, 119, 169 ], "Z": [ 27, 47, 95, 135, 171 ] }, { "X": [ 16, 66, 88, 120, 170 ], "Z": [ 26, 46, 94, 134, 170 ] }, { "X": [ 17, 67, 89, 121, 171 ], "Z": [ 25, 45, 93, 133, 169 ] }, { "X": [ 18, 68, 90, 122, 172 ], "Z": [ 24, 44, 92, 132, 168 ] }, { "X": [ 19, 69, 91, 123, 173 ], "Z": [ 23, 43, 91, 131, 167 ] }, { "X": [ 20, 70, 92, 124, 174 ], "Z": [ 22, 42, 90, 130, 166 ] }, { "X": [ 21, 71, 93, 125, 175 ], "Z": [ 21, 41, 89, 129, 165 ] }, { "X": [ 22, 72, 94, 126, 176 ], "Z": [ 20, 40, 88, 128, 164 ] }, { "X": [ 23, 73, 95, 127, 177 ], "Z": [ 19, 39, 87, 127, 163 ] }, { "X": [ 24, 37, 96, 128, 178 ], "Z": [ 18, 38, 86, 126, 162 ] }, { "X": [ 25, 38, 97, 129, 179 ], "Z": [ 17, 37, 85, 125, 161 ] }, { "X": [ 26, 39, 98, 130, 180 ], "Z": [ 16, 73, 84, 124, 160 ] }, { "X": [ 27, 40, 99, 131, 181 ], "Z": [ 15, 72, 83, 123, 159 ] }, { "X": [ 28, 41, 100, 132, 182 ], "Z": [ 14, 71, 82, 122, 158 ] }, { "X": [ 29, 42, 101, 133, 183 ], "Z": [ 13, 70, 81, 121, 157 ] }, { "X": [ 30, 43, 102, 134, 184 ], "Z": [ 12, 69, 80, 120, 156 ] }, { "X": [ 31, 44, 103, 135, 148 ], "Z": [ 11, 68, 79, 119, 155 ] }, { "X": [ 32, 45, 104, 136, 149 ], "Z": [ 10, 67, 78, 118, 154 ] }, { "X": [ 33, 46, 105, 137, 150 ], "Z": [ 9, 66, 77, 117, 153 ] }, { "X": [ 34, 47, 106, 138, 151 ], "Z": [ 8, 65, 76, 116, 152 ] }, { "X": [ 35, 48, 107, 139, 152 ], "Z": [ 7, 64, 75, 115, 151 ] }, { "X": [ 36, 49, 108, 140, 153 ], "Z": [ 6, 63, 74, 114, 150 ] } ] }, "distance": { "d": 17, "P": { "value": 17, "confidence": "upper_bound", "witness": { "X": [ 10, 18, 34, 47, 63, 102, 132, 176, 182 ], "Z": [ 15, 34, 36, 47, 60, 63, 122, 149, 158, 167, 178 ] } } }, "provenance": { "authors": [ "@vprusso" ], "origin": "submission", "construction": "search", "date": "2026-10-15", "references": [ "arXiv:2609.30069" ], "notes": "Halved CPM pair-partition code of arXiv:2609.30069 (Definition 1, reversing fold of Proposition 4) at (J,L)=(4,10), lift P=37. Exponent array E (rows a=0..3, columns l=0..9): [[6, 33, 34, 25, 36, 20, 10, 28, 10, 2], [3, 36, 11, 10, 29, 6, 7, 2, 33, 34], [11, 10, 3, 16, 17, 1, 25, 3, 26, 34], [0, 5, 24, 25, 2, 36, 7, 2, 31, 1]]. Off-diagonal pair partitions M: {\"0,1\": [[0, 4], [1, 3], [2, 8], [5, 6], [7, 9]], \"0,2\": [[0, 7], [1, 8], [2, 6], [3, 9], [4, 5]], \"0,3\": [[0, 8], [1, 9], [2, 5], [3, 6], [4, 7]], \"1,2\": [[0, 3], [1, 6], [2, 7], [4, 8], [5, 9]], \"1,3\": [[0, 5], [1, 2], [3, 8], [4, 9], [6, 7]], \"2,3\": [[0, 4], [1, 7], [2, 9], [3, 5], [6, 8]]}. The paper publishes no generators for its halved instances; this code is from a random search over the template. Distance 17 is the lightest Pauli logical found through 356 random per-qubit symplectic frames x 1,000,000 gf2_fast trials on the symplectic doubling (upper bound). The paper's Table VII lists [[185,40,19]] at this lift, as an upper bound; this search did not reach 19, so the entry is 2 short of the published value.", "model": "Claude Fable 5.1", "search_budget": { "candidates_screened": 57716, "ris_trials_per_side": 356000000, "tool": "halved_pp.py templates; verify/heuristic_distance.py Pauli RIS; gf2_fast on the symplectic doubling under random per-qubit symplectic frames (frame_screen.py)", "notes": "Pauli-weight RIS screen at 1000 trials per template (Perlmutter job 59705376, 2026-10-12), then 96 frames x 1,000,000 gf2_fast trials (jobs 59731365 to 59731368) and 260 further frames x 1,000,000 trials with fresh seeds (job 59779389, 2026-10-14). Lightest Pauli logical found: 17." } } }