The Barnes-Wall lattice is a -dimensional lattice that exists when is a power of 2. It is implemented in the Wolfram Language as LatticeData["BarnesWall", n].
Special cases are summarized in the following table.
lattice | |
2 | square lattice |
4 | root lattice |
8 | root lattice |
16 | laminated lattice |
The automorphism group has order
(1)
|
giving the first few terms as 2, 8, 1152, 696729600, 89181388800, 48126558103142400, ... (OEIS A014116).
The 16-dimensional Barnes-Wall lattice can be constructed from the Leech lattice .
The generating function of the theta series for the lattice for various orders are summarized in the following table.
theta series generating function | |
2 | |
4 | |
8 | |
16 |
The following table gives the theta series themselves.