Barnes–Wall lattice

File:Barnes Wall lattice.png

Orthogonal projection of the 16-dimensional Barnes–Wall lattice $B{W}_{16}$ onto 2 dimensions.

In mathematics, the Barnes–Wall lattice $B{W}_{16}$, discovered by Eric Stephen Barnes and G. E. (Tim) Wall,Template:Sfnp is the 16-dimensional positive-definite even integral lattice of discriminant 2⁸ with no norm-2 vectors. It is the sublattice of the Leech lattice fixed by a certain automorphism of order 2, and is analogous to the Coxeter–Todd lattice.Template:Sfnp

The automorphism group of the Barnes–Wall lattice has order 89181388800 = 2²¹ 3⁵ 5² 7 and has structure 2¹⁺⁸ PSO₈⁺(F₂). There are 4320 vectors of norm 4 in the Barnes–Wall lattice (the shortest nonzero vectors in this lattice).

The genus of the Barnes–Wall lattice was described by and contains 24 lattices; all the elements other than the Barnes–Wall lattice have root system of maximal rank 16.Template:Sfnp

While Λ₁₆ is often referred to as the Barnes-Wall lattice, their original article in fact construct a family of lattices of increasing dimension n=2^k for any integer k, and increasing normalized minimal distance, namely n^1/4. This is to be compared to the normalized minimal distance of 1 for the trivial lattice ${\mathbb{\mathbb{Z}}}^n$, and an upper bound of $2\cdot \mathrm{\Gamma }{(\frac{n}{2}+1)}^{1/n}/\sqrt{\pi }=\sqrt{\frac{2n}{\pi e}}+o(\sqrt{n})$ given by Minkowski's theorem applied to Euclidean balls. This family comes with a polynomial time decoding algorithm.Template:Sfnp

Generating matrix

The generator matrix for the Barnes-Wall Lattice $B{W}_{16}$ is given by the following matrix: $$M_{B{W}_{16}}=\frac{1}{2}\left(\begin{array}{cccccccccccccccc}1& 1& 1& 1& 1& 1& 1& 1& 1& 1& 1& 1& 1& 1& 1& 1\\ 0& 2& 0& 0& 0& 0& 0& 2& 0& 0& 0& 2& 0& 2& 0& 0\\ 0& 0& 2& 0& 0& 0& 0& 2& 0& 0& 0& 2& 0& 0& 2& 0\\ 0& 0& 0& 2& 0& 0& 0& 2& 0& 0& 0& 2& 0& 0& 0& 2\\ 0& 0& 0& 0& 2& 0& 0& 2& 0& 0& 0& 0& 0& 2& 2& 0\\ 0& 0& 0& 0& 0& 2& 0& 2& 0& 0& 0& 0& 0& 2& 0& 2\\ 0& 0& 0& 0& 0& 0& 2& 2& 0& 0& 0& 0& 0& 0& 2& 2\\ 0& 0& 0& 0& 0& 0& 0& 4& 0& 0& 0& 0& 0& 0& 0& 0\\ 0& 0& 0& 0& 0& 0& 0& 0& 2& 0& 0& 2& 0& 2& 2& 0\\ 0& 0& 0& 0& 0& 0& 0& 0& 0& 2& 0& 2& 0& 2& 0& 2\\ 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 2& 2& 0& 0& 2& 2\\ 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 4& 0& 0& 0& 0\\ 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 2& 2& 2& 2\\ 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 4& 0& 0\\ 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 4& 0\\ 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 4\end{array}\right)$$

For example, the lattice $B{W}_{16}$ generated by the above generator matrix has the following vectors as its shortest vectors.

$$\begin{array}{rl}{v}_1=& (\frac{1}{2},\frac{1}{2},\frac{1}{2},\frac{1}{2},\frac{1}{2},\frac{1}{2},\frac{1}{2},\frac{1}{2},\frac{1}{2},\frac{1}{2},\frac{1}{2},\frac{1}{2},-\frac{1}{2},-\frac{1}{2},-\frac{1}{2},-\frac{1}{2})\\ v_2=& (0,1,1,0,0,0,0,0,0,0,0,0,0,1,1,0)\end{array}$$

The lattice spanned by the following matrix is isomorphic to the above. Indeed, the following generator matrix can be obtained as the dual lattice (up to a suitable scaling factor) of the above generator matrix.

$${\tilde{M}}_{B{W}_{16}}\frac{1}{\sqrt{2}}=\left(\begin{array}{cccccccccccccccc}1& 0& 0& 0& 0& 1& 0& 1& 0& 0& 1& 1& 0& 1& 1& 1\\ 0& 1& 0& 0& 0& 1& 1& 1& 1& 0& 1& 0& 1& 1& 0& 0\\ 0& 0& 1& 0& 0& 0& 1& 1& 1& 1& 0& 1& 0& 1& 1& 0\\ 0& 0& 0& 1& 0& 1& 0& 0& 1& 1& 0& 1& 1& 1& 0& 1\\ 0& 0& 0& 0& 1& 0& 1& 0& 0& 1& 1& 0& 1& 1& 1& 1\\ 0& 0& 0& 0& 0& 2& 0& 0& 0& 0& 0& 0& 0& 0& 0& 2\\ 0& 0& 0& 0& 0& 0& 2& 0& 0& 0& 0& 0& 0& 0& 0& 2\\ 0& 0& 0& 0& 0& 0& 0& 2& 0& 0& 0& 0& 0& 0& 0& 2\\ 0& 0& 0& 0& 0& 0& 0& 0& 2& 0& 0& 0& 0& 0& 0& 2\\ 0& 0& 0& 0& 0& 0& 0& 0& 0& 2& 0& 0& 0& 0& 0& 2\\ 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 2& 0& 0& 0& 0& 2\\ 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 2& 0& 0& 0& 2\\ 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 2& 0& 0& 2\\ 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 2& 0& 2\\ 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 2& 2\\ 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 4\\ \end{array}\right)$$

Simple Construction of a Generating Matrix

According to , the generator matrix of $B{W}_{16}$ can be constructed in the following way.Template:Sfnp

First, define the matrix $$B=\left(\begin{array}{cc}\sqrt{2}& 0\\ 1& 1\end{array}\right).$$ Next, take its 4th tensor power: $$B^{\otimes 4}=B\otimes B\otimes B\otimes B.$$ Then, apply the ring homomorphism $$\begin{array}{rl}\varphi :\mathbb{\mathbb{Z}}[\sqrt{2}]& \to \mathbb{\mathbb{Z}}\\ a+b\sqrt{2}& \mapsto a+b\end{array}$$ entrywise to the matrix $B^{\otimes 4}$. The resulting $16\times 16$ integer matrix is a generator matrix for the Barnes–Wall lattice $B{W}_{16}$.Template:Sfnp

Lattice theta function

The lattice theta function for the Barnes Wall lattice $B{W}_{16}$ is known as $$\begin{array}{rl}{\mathrm{\Theta }}_{{\mathrm{\Lambda }}_{\text{Barnes-Wall }}}(z)& =1/2\{{\theta }_2{\left(q\right)}^{16}+{\theta }_3{\left(q\right)}^{16}+{\theta }_4{\left(q^2\right)}^{16}+30{\theta }_2{\left(q\right)}^8{\theta }_3{\left(q\right)}^8\}\\ & =1+4320q^2+61440q^3+\cdots \end{array}$$ where the thetas are Jacobi theta functions: $$\begin{array}{rl}& {\theta }_2(q)=\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}{q}^{(m+1/2{)}^2}\\ & {\theta }_3(q)=\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}{q}^{m^2}\\ & {\theta }_4(q)=\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}(-q{)}^{m^2}.\end{array}$$

The number of vectors of each norm in the $B{W}_{16}$

The number of vectors $N(m)$ of norm $m$, as classified by J. H. Conway,Template:Sfnp is given as follows.

m	N(m)	m	N(m)
0	1	32	8593797600
2	0	34	11585617920
4	4320	36	19590534240
6	61440	38	25239859200
8	522720	40	40979580480
10	2211840	42	50877235200
12	8960640	44	79783021440
14	23224320	46	96134307840
16	67154400	48	146902369920
18	135168000	50	172337725440
20	319809600	52	256900127040
22	550195200	54	295487692800
24	1147643520	56	431969276160
26	1771683840	58	487058227200
28	3371915520	60	699846624000
30	4826603520	62	776820326400

External links

• Barnes–Wall lattice – Sloane's lattice catalog