The second minimum of Barnes-Wall lattices
arXiv:2603.23133
Abstract
The paper gives a recursive construction of the Barnes-Wall lattices as subdirect products. This is used to show that the Barnes-Wall lattices of minimum do not contain any vectors of norm with .