Решётка E8

Решётка Е₈, или решётка Коркина — Золотарёва, — корневая решётка группы Е₈. Она реализует в размерности 8:

• Максимально возможное контактное число;
• Плотнейшую упаковку шаров.

Обычно обозначается $E_8$$E_8$, также как и группa Е₈.

ИсторияПравить

Существование этой решётки было доказано Смитом^[en] в 1867 году. Первое явное построение было дано Коркиным и Золотарёвым в 1873 году.

ОписаниеПравить

Решётку Е₈ можно реализовать как дискретную подгруппу ${\mathbb{R}}^8$${\mathbb {R}}^{8}$  из векторов, обладающих следующим набором свойств:

• все координаты любой точки — либо целые числа, либо полуцелые числа (то есть целое число с половиной);
• сумма всех восьми координат представляет собой чётное целое число.

Иначе говоря,

$E_8=\left\{(x_i)\in <!--\; \in \; -->{\mathbb{Z}}^8\cup <!--\; \cup \; -->(\mathbb{Z}+\frac{1}{2}{)}^8:\underset{i}{\sum <!--\; \sum \; -->}{x}_i\equiv <!--\; \equiv \; -->0(\text{mod }2)\right\}.$$E_{8}=\left\{(x_{i})\in \mathbb {Z} ^{8}\cup (\mathbb {Z} +{\tfrac {1}{2}})^{8}:{\textstyle \sum _{i}}x_{i}\equiv 0\;({\mbox{mod }}2)\right\}.$ 

Нетрудно проверить, что сумма и разность любых двух векторов из E₈ содержится в E₈, отсюда E₈ является подгруппой ${\mathbb{R}}^8$${\mathbb {R}}^{8}$ .

Решётку Е₈ можно также реализовать как множество всех точек в E'₈ в ${\mathbb{R}}^8$${\mathbb {R}}^{8}$  таких, что

• все координаты — целые числа с чётной суммой или
• все координаты — полуцелые с нечётной суммой.

Иначе говоря

$E_8^{\prime }=\left\{(x_i)\in <!--\; \in \; -->{\mathbb{Z}}^8\cup <!--\; \cup \; -->(\mathbb{Z}+\frac{1}{2}{)}^8:\underset{i}{\sum <!--\; \sum \; -->}{x}_i\equiv <!--\; \equiv \; -->2x_1\equiv <!--\; \equiv \; -->2x_2\equiv <!--\; \equiv \; -->2x_3\equiv <!--\; \equiv \; -->2x_4\equiv <!--\; \equiv \; -->2x_5\equiv <!--\; \equiv \; -->2x_6\equiv <!--\; \equiv \; -->2x_7\equiv <!--\; \equiv \; -->2x_8(\text{mod }2)\right\}.$$E_{8}'=\left\{(x_{i})\in \mathbb {Z} ^{8}\cup (\mathbb {Z} +{\tfrac {1}{2}})^{8}:{{\textstyle \sum _{i}}x_{i}}\equiv 2x_{1}\equiv 2x_{2}\equiv 2x_{3}\equiv 2x_{4}\equiv 2x_{5}\equiv 2x_{6}\equiv 2x_{7}\equiv 2x_{8}\;({\mbox{mod }}2)\right\}.$ 

или

$E_8^{\prime }=\{(x_i)\in <!--\; \in \; -->{\mathbb{Z}}^8:\underset{i}{\sum <!--\; \sum \; -->}{x}_i\equiv <!--\; \equiv \; -->0(\text{mod }2)\}\cup <!--\; \cup \; -->\{(x_i)\in <!--\; \in \; -->(\mathbb{Z}+\frac{1}{2}{)}^8:\underset{i}{\sum <!--\; \sum \; -->}{x}_i\equiv <!--\; \equiv \; -->1(\text{mod }2)\}.$$E_{8}'={\biggl \{}(x_{i})\in \mathbb {Z} ^{8}:{{\textstyle \sum _{i}}x_{i}}\equiv 0({\mbox{mod }}2){\biggr \}}\cup {\biggl \{}(x_{i})\in (\mathbb {Z} +{\tfrac {1}{2}})^{8}:{{\textstyle \sum _{i}}x_{i}}\equiv 1({\mbox{mod }}2){\biggr \}}.$ 

Решётки E₈ и E'₈ изоморфны, одну можно получить из другой, поменяв знак у одной из координат.

СвойстваПравить

ХарактеризацияПравить

Решётку E₈ можно охарактеризовать как единственную решётку в ${\mathbb{R}}^8$${\mathbb {R}}^{8}$ , удовлетворяющую следующим свойствам:

• Это унимодулярная решётка, то есть
  • из её базиса можно составить матрицу $8\times <!--\; \times \; -->8$$8\times 8$  с определителем ±1.
  • Иначе говоря, объём фундаментальной области этой решётки равен 1.
  • Эквивалентно, E₈ является самодвойственной, то есть она совпадает со своей обратной решёткой.
• Эта решётка чётная, то есть норма любого её вектора — чётное целое число.

Чётные унимодулярные решётки существуют только в размерностях, кратных 8. В размерности 16 таких решёток две: E₈ ⊕ E₈ и D₁₆⁺ (последняя строится аналогично E₈ в размерности 16). В размерности 24 существует 24 такие решётки, наиболее важной из них является решётка Лича.

БазисПравить

Один из возможных базисов для E₈ задаётся столбцами следующей верхнетреугольной матрицы

$\left[{\begin{smallmatrix}2&-1&0&0&0&0&0&1/2\\0&1&-1&0&0&0&0&1/2\\0&0&1&-1&0&0&0&1/2\\0&0&0&1&-1&0&0&1/2\\0&0&0&0&1&-1&0&1/2\\0&0&0&0&0&1&-1&1/2\\0&0&0&0&0&0&1&1/2\\0&0&0&0&0&0&0&1/2\end{smallmatrix}}\right].$ 

То есть E₈ состоит из всех целых линейных комбинаций столбцов. Все другие базисы получаются из одного умножением справа на матрицу из GL(8,Z).

Минимальная нормаПравить

Кратчайший ненулевой вектор E₈ имеет норму 2, всего решётка содержит 240 таких векторов. Эти вектора образуют корневую систему группы Е₈. То есть решётка E₈ является корневой решёткой Е₈. Любой выбор из 8 простых корней дает базис E₈.

Фундаментальная областьПравить

Областями Вороного решётки E₈ являются 5 21 соты^[en].

Группа симметрийПравить

Группы симметрий решётки в Rⁿ определяется как подгруппа ортогональной группы O(n), которая сохраняет решётку. Группа симметрий решётки Е₈ порожденная отражениями в гиперплоскостях, ортогональных 240 корням решётки. Её порядок равен

$|W({\mathrm{E}}_8)|=696729600=4!\cdot <!--\; \cdot \; -->6!\cdot <!--\; \cdot \; -->8!.$$|W(\mathrm {E} _{8})|=696729600=4!\cdot 6!\cdot 8!.$ 

Эта группа содержит подгруппу порядка 128·8!, состоящую из всех перестановок координат и чётного числа смен знаков. Полная группа симметрий порождается этой подгруппой и блочно-диагональной матрицей H₄⊕H₄ где H₄ — матрица Адамара

$H_{4}={\tfrac {1}{2}}\left[{\begin{smallmatrix}1&1&1&1\\1&-1&1&-1\\1&1&-1&-1\\1&-1&-1&1\\\end{smallmatrix}}\right].$ 

Упаковка шаровПравить

В задаче упаковки шаров спрашивается, как наиболее плотным способом упаковать шары фиксированного радиуса в пространство без наложений. В R⁸ размещение шаров радиуса $1/\sqrt{2}$$1/\sqrt{2}$  в точках решётки Е₈ даёт упаковку максимальной плотности, равной

$\frac{{\mathrm{\pi <!--\; \pi \; -->}}^4}{2^{4}4!}\cong <!--\; \cong \; -->\mathrm{0.25367.}$${\frac {\pi ^{4}}{2^{4}4!}}\cong 0.25367.$ 

То, что эта плотность максимальна для решётчатых упаковок, было известно давно. Кроме того, было известно, что такая решётка единственна с точностью до подобия. Марина Вязовская недавно доказала, что эта упаковка является оптимальной даже среди всех упаковок.

Решение задачи упаковки шаров известно только в размерностях 1, 2, 3, 8, и 24. Тот факт, что решения известны в размерностях 8 и 24, связан с особыми свойствами решётки Е₈ и её 24-мерного аналога решётки Лича.

Контактное числоПравить

В задаче о контактном числе спрашивается, какое максимальное число шаров фиксированного радиуса может коснуться в центрального шара того же радиуса. В размерности 8 ответ — 240; такую конфигурацию можно получить, если разместить шары в точках решётки Е₈ с минимальной нормой. Это было доказано в 1979 году.

Решение задачи о контактном числе известно только в размерностях 1, 2, 3, 4, 8, и 24. Тот факт, что решения известны в размерностях 8 и 24, также связан с особыми свойствами решётки Е₈ и её 24-мерного аналога решётки Лича.

Тэта-функцияПравить

Тэта-функция решётки Λ определяется как сумма

${\mathrm{\Theta <!--\; \Theta \; -->}}_{\mathrm{\Lambda <!--\; \Lambda \; -->}}(\mathrm{\tau <!--\; \tau \; -->})=\underset{x\in <!--\; \in \; -->\mathrm{\Lambda <!--\; \Lambda \; -->}}{\sum <!--\; \sum \; -->}{e}^{i\mathrm{\pi <!--\; \pi \; -->}\mathrm{\tau <!--\; \tau \; -->}\Vert <!--\; \Vert \; -->x{\Vert <!--\; \Vert \; -->}^2}\mathrm{I}\mathrm{m}\mathrm{\tau <!--\; \tau \; -->}>0.$$\Theta _{\Lambda }(\tau )=\sum _{x\in \Lambda }e^{i\pi \tau \|x\|^{2}}\qquad \mathrm {Im} \,\tau >0.$ 

Она является голоморфной функцией на верхней полуплоскости. Кроме того, тэта-функция чётной унимодулярной решётки ранга n является модульной формой веса n/2.

С точностью до нормализации, есть единственная модульная форма веса 4: это ряд Эйзенштейна G₄(τ). То есть тэта-функция решётки E₈ должна быть пропорциональна G₄(τ). Это даёт

${\mathrm{\Theta <!--\; \Theta \; -->}}_{E_8}(\mathrm{\tau <!--\; \tau \; -->})=1+240\underset{n=1}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\sum <!--\; \sum \; -->}}{\mathrm{\sigma <!--\; \sigma \; -->}}_3(n)q^{2n}$$\Theta _{E_{8}}(\tau )=1+240\sum _{n=1}^{\infty }\sigma _{3}(n)q^{2n}$ 

где σ₃(n) является функцией делителей и $q=e^{i\mathrm{\pi <!--\; \pi \; -->}\mathrm{\tau <!--\; \tau \; -->}}$$q=e^{i\pi \tau }$ .

Отсюда следует, что число векторов нормы 2n в решётке Е₈ равно $240\cdot <!--\; \cdot \; -->$$240\cdot$ (сумма кубов делителей n). Это последовательность A004009 в OEIS:

${\mathrm{\Theta <!--\; \Theta \; -->}}_{E_8}(\mathrm{\tau <!--\; \tau \; -->})=1+240q^2+2160q^4+6720q^6+17520q^8+30240q^{10}+60480q^{12}+O(q^{14}).$$\Theta _{E_{8}}(\tau )=1+240\,q^{2}+2160\,q^{4}+6720\,q^{6}+17520\,q^{8}+30240\,q^{10}+60480\,q^{12}+O(q^{14}).$ 

Тета-функция решётки Е₈ может быть записана в терминах тета-функций Якоби следующим образом:

${\mathrm{\Theta <!--\; \Theta \; -->}}_{E_8}(\mathrm{\tau <!--\; \tau \; -->})=\frac{1}{2}\left({\mathrm{\theta <!--\; \theta \; -->}}_2(q{)}^8+{\mathrm{\theta <!--\; \theta \; -->}}_3(q{)}^8+{\mathrm{\theta <!--\; \theta \; -->}}_4(q{)}^8\right)$$\Theta _{E_{8}}(\tau )={\frac {1}{2}}\left(\theta _{2}(q)^{8}+\theta _{3}(q)^{8}+\theta _{4}(q)^{8}\right)$ 

где

${\mathrm{\theta <!--\; \theta \; -->}}_2(q)=\underset{n=-<!--\; -\; -->\mathrm{\infty <!--\; \infty \; -->}}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\sum <!--\; \sum \; -->}}{q}^{(n+\frac{1}{2}{)}^2}{\mathrm{\theta <!--\; \theta \; -->}}_3(q)=\underset{n=-<!--\; -\; -->\mathrm{\infty <!--\; \infty \; -->}}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\sum <!--\; \sum \; -->}}{q}^{n^2}{\mathrm{\theta <!--\; \theta \; -->}}_4(q)=\underset{n=-<!--\; -\; -->\mathrm{\infty <!--\; \infty \; -->}}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\sum <!--\; \sum \; -->}}(-<!--\; -\; -->1{)}^n{q}^{n^2}.$$\theta _{2}(q)=\sum _{n=-\infty }^{\infty }q^{(n+{\frac {1}{2}})^{2}}\qquad \theta _{3}(q)=\sum _{n=-\infty }^{\infty }q^{n^{2}}\qquad \theta _{4}(q)=\sum _{n=-\infty }^{\infty }(-1)^{n}q^{n^{2}}.$ 

Код ХэммингаПравить

Код Хэмминга H(8,4) — это двоичный код длины 8 и 4-го ранга; то есть, это 4-мерное подпространство векторного пространства конечной (F₂)⁸. Написание элементов (F₂)⁸ в качестве 8-разрядных целых чисел в шестнадцатеричный код H(8,4) может быть явно записано как

{00, 0F, 33, 3C, 55, 5A, 66, 69, 96, 99, A5, AA, C3, CC, F0, FF}.

Код H(8,4) является самодвойственным кодом типа II. Он имеет минимальный вес Хэмминга 4; это означает, что любые два кодовые слова отличаются по крайней мере на 4 бита. Для двоичных кодов 4-го ранга длины 8 это является максимумом.

По двоичному коду C длины n можно построить решётку Λ, взяв множество всех векторов $x\in <!--\; \in \; -->{\mathbb{Z}}^n$$x\in \mathbb {Z} ^{n}$  таких, что $x$$x$  совпадает (по модулю 2) с кодовым словами из C часто удобно масштабировать Λ с коэффициентом 1/√2,

$\mathrm{\Lambda <!--\; \Lambda \; -->}=\frac{1}{\sqrt{2}}\left\{x\in <!--\; \in \; -->{\mathbb{Z}}^n:xmod2\in <!--\; \in \; -->C\right\}.$$\Lambda ={\tfrac {1}{\sqrt {2}}}\left\{x\in \mathbb {Z} ^{n}:x\,{\bmod {\,}}2\in C\right\}.$ 

Применение данной конструкции к самодвойственному коду типа II даёт чётную, унимодулярную решётку. В частности, для кода Хемминга H(8,4) получаем решётку Е₈.

Задача отыскания явного изоморфизма между полученной решёткой и решёткой E₈ определённой выше не вполне тривиальна.

Целые октонионыПравить

Решётка Е₈ используется при определении целых октонионов аналогично целым кватернионам.

Целые октонионы, естественно, образуют решётку в O. Эта решётка подобна решётке Е₈ с коэффициентом $1/\sqrt{2}$$1/\sqrt{2}$ . (Минимальная норма в целых октонионах равна 1, а не 2).

Целые октонионы образуют неассоциативное кольцо.

ПриложенияПравить

• В 1982 году Фридман построил топологическое четырёхмерное многообразие, называемое Е₈-многообразие, чья форма пересечений задаётся решёткой Е₈. Это многообразие представляет собой пример топологического многообразия, которое не допускает гладкую структуру и даже не триангулируемо.
• В теории струн гетеротическая струна — это своеобразный гибрид 26-мерных бозонных струн и 10-мерных суперструн. Для того, чтобы теория работала правильно, 16 лишних размерностей должны быть компактифицированы чётной унимодулярной решёткой ранга 16. Есть две такие решётки: E₈⊕E₈ и D₁₆⁺ (построен аналогично E₈). Это приводит к двум версиям гетеротических струн, известным как E₈×E₈ и SO(32).

См. такжеПравить

• Решётка Лича
• Группа Ли Е₈
• E8-многообразие

ЛитератураПравить

• Конвей Дж. Квадратичные формы, данные нам в ощущениях. — М.: МЦНМО, 2008. — 144 с. — 1000 экз. — ISBN 978-5-94057-268-8.
• John Horton Conway; Sloane, Neil J. A.  (англ.) (рус.. Sphere Packings, Lattices and Groups (англ.). — 3rd. — New York: Springer-Verlag, 1998. — ISBN 0-387-98585-9.
• John Horton Conway; Smith, Derek A. On Quaternions and Octonions (англ.). — Natick, Massachusetts: AK Peters, Ltd, 2003. — ISBN 1-56881-134-9. В главе 9 обсуждаются целые октинионы и решётка E₈.