{ "schema_version": "0.1", "name": "[[450,100,4]] [[4,2,2]]-amplified [[100,50,2]] 2BGA", "code_type": "CSS", "n": 450, "k": 100, "checks": { "X": [ [ 0, 4, 200, 204, 392, 396, 425 ], [ 1, 5, 201, 205, 393, 397, 425 ], [ 2, 6, 202, 206, 394, 398, 425 ], [ 3, 7, 203, 207, 395, 399, 425 ], [ 88, 108, 256, 272, 288, 308, 426 ], [ 89, 109, 257, 273, 289, 309, 426 ], [ 90, 110, 258, 274, 290, 310, 426 ], [ 91, 111, 259, 275, 291, 311, 426 ], [ 92, 112, 260, 276, 292, 312, 427 ], [ 93, 113, 261, 277, 293, 313, 427 ], [ 94, 114, 262, 278, 294, 314, 427 ], [ 95, 115, 263, 279, 295, 315, 427 ], [ 96, 116, 296, 316, 376, 384, 428 ], [ 97, 117, 297, 317, 377, 385, 428 ], [ 98, 118, 298, 318, 378, 386, 428 ], [ 99, 119, 299, 319, 379, 387, 428 ], [ 120, 136, 284, 304, 320, 336, 429 ], [ 121, 137, 285, 305, 321, 337, 429 ], [ 122, 138, 286, 306, 322, 338, 429 ], [ 123, 139, 287, 307, 323, 339, 429 ], [ 124, 140, 288, 308, 324, 340, 430 ], [ 125, 141, 289, 309, 325, 341, 430 ], [ 126, 142, 290, 310, 326, 342, 430 ], [ 127, 143, 291, 311, 327, 343, 430 ], [ 128, 144, 292, 312, 328, 344, 431 ], [ 129, 145, 293, 313, 329, 345, 431 ], [ 130, 146, 294, 314, 330, 346, 431 ], [ 131, 147, 295, 315, 331, 347, 431 ], [ 132, 148, 296, 316, 332, 348, 432 ], [ 133, 149, 297, 317, 333, 349, 432 ], [ 134, 150, 298, 318, 334, 350, 432 ], [ 135, 151, 299, 319, 335, 351, 432 ], [ 152, 164, 324, 340, 352, 364, 433 ], [ 153, 165, 325, 341, 353, 365, 433 ], [ 154, 166, 326, 342, 354, 366, 433 ], [ 155, 167, 327, 343, 355, 367, 433 ], [ 156, 168, 328, 344, 356, 368, 434 ], [ 157, 169, 329, 345, 357, 369, 434 ], [ 158, 170, 330, 346, 358, 370, 434 ], [ 159, 171, 331, 347, 359, 371, 434 ], [ 160, 172, 332, 348, 360, 372, 435 ], [ 161, 173, 333, 349, 361, 373, 435 ], [ 162, 174, 334, 350, 362, 374, 435 ], [ 163, 175, 335, 351, 363, 375, 435 ], [ 176, 184, 356, 368, 376, 384, 436 ], [ 177, 185, 357, 369, 377, 385, 436 ], [ 178, 186, 358, 370, 378, 386, 436 ], [ 179, 187, 359, 371, 379, 387, 436 ], [ 180, 188, 360, 372, 380, 388, 437 ], [ 181, 189, 361, 373, 381, 389, 437 ], [ 182, 190, 362, 374, 382, 390, 437 ], [ 183, 191, 363, 375, 383, 391, 437 ], [ 84, 104, 252, 268, 284, 304, 438 ], [ 85, 105, 253, 269, 285, 305, 438 ], [ 86, 106, 254, 270, 286, 306, 438 ], [ 87, 107, 255, 271, 287, 307, 438 ], [ 80, 100, 248, 264, 280, 300, 439 ], [ 81, 101, 249, 265, 281, 301, 439 ], [ 82, 102, 250, 266, 282, 302, 439 ], [ 83, 103, 251, 267, 283, 303, 439 ], [ 8, 16, 200, 204, 208, 216, 440 ], [ 9, 17, 201, 205, 209, 217, 440 ], [ 10, 18, 202, 206, 210, 218, 440 ], [ 11, 19, 203, 207, 211, 219, 440 ], [ 12, 20, 212, 220, 280, 300, 441 ], [ 13, 21, 213, 221, 281, 301, 441 ], [ 14, 22, 214, 222, 282, 302, 441 ], [ 15, 23, 215, 223, 283, 303, 441 ], [ 24, 36, 208, 216, 224, 236, 442 ], [ 25, 37, 209, 217, 225, 237, 442 ], [ 26, 38, 210, 218, 226, 238, 442 ], [ 27, 39, 211, 219, 227, 239, 442 ], [ 28, 40, 212, 220, 228, 240, 443 ], [ 29, 41, 213, 221, 229, 241, 443 ], [ 30, 42, 214, 222, 230, 242, 443 ], [ 31, 43, 215, 223, 231, 243, 443 ], [ 32, 44, 232, 244, 320, 336, 444 ], [ 33, 45, 233, 245, 321, 337, 444 ], [ 34, 46, 234, 246, 322, 338, 444 ], [ 35, 47, 235, 247, 323, 339, 444 ], [ 192, 196, 380, 388, 392, 396, 445 ], [ 193, 197, 381, 389, 393, 397, 445 ], [ 194, 198, 382, 390, 394, 398, 445 ], [ 195, 199, 383, 391, 395, 399, 445 ], [ 52, 68, 228, 240, 252, 268, 446 ], [ 53, 69, 229, 241, 253, 269, 446 ], [ 54, 70, 230, 242, 254, 270, 446 ], [ 55, 71, 231, 243, 255, 271, 446 ], [ 56, 72, 232, 244, 256, 272, 447 ], [ 57, 73, 233, 245, 257, 273, 447 ], [ 58, 74, 234, 246, 258, 274, 447 ], [ 59, 75, 235, 247, 259, 275, 447 ], [ 60, 76, 260, 276, 352, 364, 448 ], [ 61, 77, 261, 277, 353, 365, 448 ], [ 62, 78, 262, 278, 354, 366, 448 ], [ 63, 79, 263, 279, 355, 367, 448 ], [ 48, 64, 224, 236, 248, 264, 449 ], [ 49, 65, 225, 237, 249, 265, 449 ], [ 50, 66, 226, 238, 250, 266, 449 ], [ 51, 67, 227, 239, 251, 267, 449 ], [ 0, 1, 2, 3, 400, 420 ], [ 4, 5, 6, 7, 400, 420 ], [ 8, 9, 10, 11, 400, 415 ], [ 12, 13, 14, 15, 414, 416 ], [ 16, 17, 18, 19, 400, 415 ], [ 20, 21, 22, 23, 414, 416 ], [ 24, 25, 26, 27, 415, 417 ], [ 28, 29, 30, 31, 416, 418 ], [ 32, 33, 34, 35, 404, 419 ], [ 36, 37, 38, 39, 415, 417 ], [ 40, 41, 42, 43, 416, 418 ], [ 44, 45, 46, 47, 404, 419 ], [ 48, 49, 50, 51, 417, 424 ], [ 52, 53, 54, 55, 418, 421 ], [ 56, 57, 58, 59, 419, 422 ], [ 60, 61, 62, 63, 408, 423 ], [ 64, 65, 66, 67, 417, 424 ], [ 68, 69, 70, 71, 418, 421 ], [ 72, 73, 74, 75, 419, 422 ], [ 76, 77, 78, 79, 408, 423 ], [ 80, 81, 82, 83, 414, 424 ], [ 84, 85, 86, 87, 413, 421 ], [ 88, 89, 90, 91, 401, 422 ], [ 92, 93, 94, 95, 402, 423 ], [ 96, 97, 98, 99, 403, 411 ], [ 100, 101, 102, 103, 414, 424 ], [ 104, 105, 106, 107, 413, 421 ], [ 108, 109, 110, 111, 401, 422 ], [ 112, 113, 114, 115, 402, 423 ], [ 116, 117, 118, 119, 403, 411 ], [ 120, 121, 122, 123, 404, 413 ], [ 124, 125, 126, 127, 401, 405 ], [ 128, 129, 130, 131, 402, 406 ], [ 132, 133, 134, 135, 403, 407 ], [ 136, 137, 138, 139, 404, 413 ], [ 140, 141, 142, 143, 401, 405 ], [ 144, 145, 146, 147, 402, 406 ], [ 148, 149, 150, 151, 403, 407 ], [ 152, 153, 154, 155, 405, 408 ], [ 156, 157, 158, 159, 406, 409 ], [ 160, 161, 162, 163, 407, 410 ], [ 164, 165, 166, 167, 405, 408 ], [ 168, 169, 170, 171, 406, 409 ], [ 172, 173, 174, 175, 407, 410 ], [ 176, 177, 178, 179, 409, 411 ], [ 180, 181, 182, 183, 410, 412 ], [ 184, 185, 186, 187, 409, 411 ], [ 188, 189, 190, 191, 410, 412 ], [ 192, 193, 194, 195, 412, 420 ], [ 196, 197, 198, 199, 412, 420 ], [ 200, 201, 202, 203, 400 ], [ 204, 205, 206, 207, 400 ], [ 208, 209, 210, 211, 415 ], [ 212, 213, 214, 215, 416 ], [ 216, 217, 218, 219, 415 ], [ 220, 221, 222, 223, 416 ], [ 224, 225, 226, 227, 417 ], [ 228, 229, 230, 231, 418 ], [ 232, 233, 234, 235, 419 ], [ 236, 237, 238, 239, 417 ], [ 240, 241, 242, 243, 418 ], [ 244, 245, 246, 247, 419 ], [ 248, 249, 250, 251, 424 ], [ 252, 253, 254, 255, 421 ], [ 256, 257, 258, 259, 422 ], [ 260, 261, 262, 263, 423 ], [ 264, 265, 266, 267, 424 ], [ 268, 269, 270, 271, 421 ], [ 272, 273, 274, 275, 422 ], [ 276, 277, 278, 279, 423 ], [ 280, 281, 282, 283, 414 ], [ 284, 285, 286, 287, 413 ], [ 288, 289, 290, 291, 401 ], [ 292, 293, 294, 295, 402 ], [ 296, 297, 298, 299, 403 ], [ 300, 301, 302, 303, 414 ], [ 304, 305, 306, 307, 413 ], [ 308, 309, 310, 311, 401 ], [ 312, 313, 314, 315, 402 ], [ 316, 317, 318, 319, 403 ], [ 320, 321, 322, 323, 404 ], [ 324, 325, 326, 327, 405 ], [ 328, 329, 330, 331, 406 ], [ 332, 333, 334, 335, 407 ], [ 336, 337, 338, 339, 404 ], [ 340, 341, 342, 343, 405 ], [ 344, 345, 346, 347, 406 ], [ 348, 349, 350, 351, 407 ], [ 352, 353, 354, 355, 408 ], [ 356, 357, 358, 359, 409 ], [ 360, 361, 362, 363, 410 ], [ 364, 365, 366, 367, 408 ], [ 368, 369, 370, 371, 409 ], [ 372, 373, 374, 375, 410 ], [ 376, 377, 378, 379, 411 ], [ 380, 381, 382, 383, 412 ], [ 384, 385, 386, 387, 411 ], [ 388, 389, 390, 391, 412 ], [ 392, 393, 394, 395, 420 ], [ 396, 397, 398, 399, 420 ] ], "Z": [ [ 0, 4, 8, 16, 200, 204, 400 ], [ 1, 5, 9, 17, 201, 205, 400 ], [ 2, 6, 10, 18, 202, 206, 400 ], [ 3, 7, 11, 19, 203, 207, 400 ], [ 88, 108, 124, 140, 288, 308, 401 ], [ 89, 109, 125, 141, 289, 309, 401 ], [ 90, 110, 126, 142, 290, 310, 401 ], [ 91, 111, 127, 143, 291, 311, 401 ], [ 92, 112, 128, 144, 292, 312, 402 ], [ 93, 113, 129, 145, 293, 313, 402 ], [ 94, 114, 130, 146, 294, 314, 402 ], [ 95, 115, 131, 147, 295, 315, 402 ], [ 96, 116, 132, 148, 296, 316, 403 ], [ 97, 117, 133, 149, 297, 317, 403 ], [ 98, 118, 134, 150, 298, 318, 403 ], [ 99, 119, 135, 151, 299, 319, 403 ], [ 32, 44, 120, 136, 320, 336, 404 ], [ 33, 45, 121, 137, 321, 337, 404 ], [ 34, 46, 122, 138, 322, 338, 404 ], [ 35, 47, 123, 139, 323, 339, 404 ], [ 124, 140, 152, 164, 324, 340, 405 ], [ 125, 141, 153, 165, 325, 341, 405 ], [ 126, 142, 154, 166, 326, 342, 405 ], [ 127, 143, 155, 167, 327, 343, 405 ], [ 128, 144, 156, 168, 328, 344, 406 ], [ 129, 145, 157, 169, 329, 345, 406 ], [ 130, 146, 158, 170, 330, 346, 406 ], [ 131, 147, 159, 171, 331, 347, 406 ], [ 132, 148, 160, 172, 332, 348, 407 ], [ 133, 149, 161, 173, 333, 349, 407 ], [ 134, 150, 162, 174, 334, 350, 407 ], [ 135, 151, 163, 175, 335, 351, 407 ], [ 60, 76, 152, 164, 352, 364, 408 ], [ 61, 77, 153, 165, 353, 365, 408 ], [ 62, 78, 154, 166, 354, 366, 408 ], [ 63, 79, 155, 167, 355, 367, 408 ], [ 156, 168, 176, 184, 356, 368, 409 ], [ 157, 169, 177, 185, 357, 369, 409 ], [ 158, 170, 178, 186, 358, 370, 409 ], [ 159, 171, 179, 187, 359, 371, 409 ], [ 160, 172, 180, 188, 360, 372, 410 ], [ 161, 173, 181, 189, 361, 373, 410 ], [ 162, 174, 182, 190, 362, 374, 410 ], [ 163, 175, 183, 191, 363, 375, 410 ], [ 96, 116, 176, 184, 376, 384, 411 ], [ 97, 117, 177, 185, 377, 385, 411 ], [ 98, 118, 178, 186, 378, 386, 411 ], [ 99, 119, 179, 187, 379, 387, 411 ], [ 180, 188, 192, 196, 380, 388, 412 ], [ 181, 189, 193, 197, 381, 389, 412 ], [ 182, 190, 194, 198, 382, 390, 412 ], [ 183, 191, 195, 199, 383, 391, 412 ], [ 84, 104, 120, 136, 284, 304, 413 ], [ 85, 105, 121, 137, 285, 305, 413 ], [ 86, 106, 122, 138, 286, 306, 413 ], [ 87, 107, 123, 139, 287, 307, 413 ], [ 12, 20, 80, 100, 280, 300, 414 ], [ 13, 21, 81, 101, 281, 301, 414 ], [ 14, 22, 82, 102, 282, 302, 414 ], [ 15, 23, 83, 103, 283, 303, 414 ], [ 8, 16, 24, 36, 208, 216, 415 ], [ 9, 17, 25, 37, 209, 217, 415 ], [ 10, 18, 26, 38, 210, 218, 415 ], [ 11, 19, 27, 39, 211, 219, 415 ], [ 12, 20, 28, 40, 212, 220, 416 ], [ 13, 21, 29, 41, 213, 221, 416 ], [ 14, 22, 30, 42, 214, 222, 416 ], [ 15, 23, 31, 43, 215, 223, 416 ], [ 24, 36, 48, 64, 224, 236, 417 ], [ 25, 37, 49, 65, 225, 237, 417 ], [ 26, 38, 50, 66, 226, 238, 417 ], [ 27, 39, 51, 67, 227, 239, 417 ], [ 28, 40, 52, 68, 228, 240, 418 ], [ 29, 41, 53, 69, 229, 241, 418 ], [ 30, 42, 54, 70, 230, 242, 418 ], [ 31, 43, 55, 71, 231, 243, 418 ], [ 32, 44, 56, 72, 232, 244, 419 ], [ 33, 45, 57, 73, 233, 245, 419 ], [ 34, 46, 58, 74, 234, 246, 419 ], [ 35, 47, 59, 75, 235, 247, 419 ], [ 0, 4, 192, 196, 392, 396, 420 ], [ 1, 5, 193, 197, 393, 397, 420 ], [ 2, 6, 194, 198, 394, 398, 420 ], [ 3, 7, 195, 199, 395, 399, 420 ], [ 52, 68, 84, 104, 252, 268, 421 ], [ 53, 69, 85, 105, 253, 269, 421 ], [ 54, 70, 86, 106, 254, 270, 421 ], [ 55, 71, 87, 107, 255, 271, 421 ], [ 56, 72, 88, 108, 256, 272, 422 ], [ 57, 73, 89, 109, 257, 273, 422 ], [ 58, 74, 90, 110, 258, 274, 422 ], [ 59, 75, 91, 111, 259, 275, 422 ], [ 60, 76, 92, 112, 260, 276, 423 ], [ 61, 77, 93, 113, 261, 277, 423 ], [ 62, 78, 94, 114, 262, 278, 423 ], [ 63, 79, 95, 115, 263, 279, 423 ], [ 48, 64, 80, 100, 248, 264, 424 ], [ 49, 65, 81, 101, 249, 265, 424 ], [ 50, 66, 82, 102, 250, 266, 424 ], [ 51, 67, 83, 103, 251, 267, 424 ], [ 0, 1, 2, 3, 425 ], [ 4, 5, 6, 7, 425 ], [ 8, 9, 10, 11, 440 ], [ 12, 13, 14, 15, 441 ], [ 16, 17, 18, 19, 440 ], [ 20, 21, 22, 23, 441 ], [ 24, 25, 26, 27, 442 ], [ 28, 29, 30, 31, 443 ], [ 32, 33, 34, 35, 444 ], [ 36, 37, 38, 39, 442 ], [ 40, 41, 42, 43, 443 ], [ 44, 45, 46, 47, 444 ], [ 48, 49, 50, 51, 449 ], [ 52, 53, 54, 55, 446 ], [ 56, 57, 58, 59, 447 ], [ 60, 61, 62, 63, 448 ], [ 64, 65, 66, 67, 449 ], [ 68, 69, 70, 71, 446 ], [ 72, 73, 74, 75, 447 ], [ 76, 77, 78, 79, 448 ], [ 80, 81, 82, 83, 439 ], [ 84, 85, 86, 87, 438 ], [ 88, 89, 90, 91, 426 ], [ 92, 93, 94, 95, 427 ], [ 96, 97, 98, 99, 428 ], [ 100, 101, 102, 103, 439 ], [ 104, 105, 106, 107, 438 ], [ 108, 109, 110, 111, 426 ], [ 112, 113, 114, 115, 427 ], [ 116, 117, 118, 119, 428 ], [ 120, 121, 122, 123, 429 ], [ 124, 125, 126, 127, 430 ], [ 128, 129, 130, 131, 431 ], [ 132, 133, 134, 135, 432 ], [ 136, 137, 138, 139, 429 ], [ 140, 141, 142, 143, 430 ], [ 144, 145, 146, 147, 431 ], [ 148, 149, 150, 151, 432 ], [ 152, 153, 154, 155, 433 ], [ 156, 157, 158, 159, 434 ], [ 160, 161, 162, 163, 435 ], [ 164, 165, 166, 167, 433 ], [ 168, 169, 170, 171, 434 ], [ 172, 173, 174, 175, 435 ], [ 176, 177, 178, 179, 436 ], [ 180, 181, 182, 183, 437 ], [ 184, 185, 186, 187, 436 ], [ 188, 189, 190, 191, 437 ], [ 192, 193, 194, 195, 445 ], [ 196, 197, 198, 199, 445 ], [ 200, 201, 202, 203, 425, 440 ], [ 204, 205, 206, 207, 425, 440 ], [ 208, 209, 210, 211, 440, 442 ], [ 212, 213, 214, 215, 441, 443 ], [ 216, 217, 218, 219, 440, 442 ], [ 220, 221, 222, 223, 441, 443 ], [ 224, 225, 226, 227, 442, 449 ], [ 228, 229, 230, 231, 443, 446 ], [ 232, 233, 234, 235, 444, 447 ], [ 236, 237, 238, 239, 442, 449 ], [ 240, 241, 242, 243, 443, 446 ], [ 244, 245, 246, 247, 444, 447 ], [ 248, 249, 250, 251, 439, 449 ], [ 252, 253, 254, 255, 438, 446 ], [ 256, 257, 258, 259, 426, 447 ], [ 260, 261, 262, 263, 427, 448 ], [ 264, 265, 266, 267, 439, 449 ], [ 268, 269, 270, 271, 438, 446 ], [ 272, 273, 274, 275, 426, 447 ], [ 276, 277, 278, 279, 427, 448 ], [ 280, 281, 282, 283, 439, 441 ], [ 284, 285, 286, 287, 429, 438 ], [ 288, 289, 290, 291, 426, 430 ], [ 292, 293, 294, 295, 427, 431 ], [ 296, 297, 298, 299, 428, 432 ], [ 300, 301, 302, 303, 439, 441 ], [ 304, 305, 306, 307, 429, 438 ], [ 308, 309, 310, 311, 426, 430 ], [ 312, 313, 314, 315, 427, 431 ], [ 316, 317, 318, 319, 428, 432 ], [ 320, 321, 322, 323, 429, 444 ], [ 324, 325, 326, 327, 430, 433 ], [ 328, 329, 330, 331, 431, 434 ], [ 332, 333, 334, 335, 432, 435 ], [ 336, 337, 338, 339, 429, 444 ], [ 340, 341, 342, 343, 430, 433 ], [ 344, 345, 346, 347, 431, 434 ], [ 348, 349, 350, 351, 432, 435 ], [ 352, 353, 354, 355, 433, 448 ], [ 356, 357, 358, 359, 434, 436 ], [ 360, 361, 362, 363, 435, 437 ], [ 364, 365, 366, 367, 433, 448 ], [ 368, 369, 370, 371, 434, 436 ], [ 372, 373, 374, 375, 435, 437 ], [ 376, 377, 378, 379, 428, 436 ], [ 380, 381, 382, 383, 437, 445 ], [ 384, 385, 386, 387, 428, 436 ], [ 388, 389, 390, 391, 437, 445 ], [ 392, 393, 394, 395, 425, 445 ], [ 396, 397, 398, 399, 425, 445 ] ] }, "distance": { "d": 4, "X": { "value": 4, "confidence": "upper_bound", "witness": [ 160, 161, 172, 173 ] }, "Z": { "value": 4, "confidence": "upper_bound", "witness": [ 200, 201, 204, 205 ] } }, "provenance": { "authors": [ "@MathysRennela" ], "construction": "Distance-amplified code: one [[4,2,2]] tensor-product amplification step (central three-term truncation of the chain-complex tensor product, arXiv:2609.37231 Eq. 1/Eq. 12-15) applied to the board's [[100,50,2]] 2BGA entry, using a sparse independent-row presentation of its checks: n' = 4n + m_X + m_Z = 450, k' = 2k = 100, check weight w' = w+1 = 7. X/Z witnesses are the base witnesses tensored with the weight-2 [[4,2,2]] logical on the central register (weights 4/4); a 100000-trial fast-backend search (seed 5000) found nothing lighter (min weight 4). Base provenance: 2BGA (arXiv:2306.16400) on SmallGroup(50,2), from github.com/QEC-pages/2BGA-codes @ 403d194c3f98f0cadc236aecbc4a8b6139ccf23c, abelian.zip, diswtabelian_wt6wtL2_order50_k50.txt, line 1. nonidentity supports a=[2], b=[2, 3, 5].", "references": [ "arXiv:2609.37231" ], "date": "2026-09-30", "notes": "Constructed and packaged with the Space Bunny Alpha 1.0 model.", "model": "Space Bunny Alpha 1.0" }, "family": "distance-amplified" }