Октонионная структура: условные выводы

Безусловный мост AP+PH+QG+V ⇒ октонионы отозван [✗] (03.10.2026): несколько его шагов использовали неверные импликации. Содержательная чистая математика и теорема о канонической ориентации сохраняются с явными входными данными. Каноническая ориентация решает задачу после задания плоскости Фано, но не выбирает эту плоскость или семь физических координат.

§1. Чистая математика [Т]

1.1 Теорема Гурвица (1898) [Т]

Теорема (Гурвиц). Нормированные алгебры с делением над $\mathbb{R}$ существуют только в размерностях 1, 2, 4 и 8:

$$\mathbb{R}, \quad \mathbb{C}, \quad \mathbb{H}, \quad \mathbb{O}$$

Других нет.

Доказательство: Классическое — через квадратичные формы и тождество Гурвица. Алгебра $\mathcal{A}$ с нормой $|ab| = |a||b|$ требует, чтобы $n = \dim(\mathcal{A})$ удовлетворяло тождеству сумм квадратов. По теореме Гурвица это возможно лишь при $n \in \{1, 2, 4, 8\}$.

1.2 Теорема Адамса (1960) [Т]

Теорема (Адамс). Сфера $S^{n-1}$ допускает структуру $H$-пространства (непрерывное умножение с единицей) тогда и только тогда, когда $n \in \{1, 2, 4, 8\}$.

Связанное утверждение: Параллелизуемые сферы — только $S^0, S^1, S^3, S^7$ (Ботт–Милнор и Кервер, 1958; следует также из работ Адамса). Это единичные сферы $S^{n-1}$ четырёх нормированных алгебр с делением, $n \in \{1, 2, 4, 8\}$.

Следствие — исправлено (25.09.2026). Единичная сфера самой $\mathcal{A}$, $S^{n-1}$, параллелизуема ровно при $n \in \{1, 2, 4, 8\}$. Единичная сфера $\text{Im}(\mathcal{A})$, $S^{n-2}$, — нет: при $n=4$ и $n=8$ это $S^2$ и $S^6$, и ни одна из них не параллелизуема (параллелизуемы лишь $S^0, S^1, S^3, S^7$; на $S^6$ октонионы задают почти комплексную структуру, а не тривиализацию касательного расслоения). Прежнее следствие — «мнимая единичная сфера $S^{n-2}$ параллелизуема лишь при $n \in \{1,2,4,8\}$» — отозвано [✗].

1.3 Конструкция Кэли–Диксона [Т]

Алгебры с делением выстраиваются в цепочку удвоений:

$$\mathbb{R} \xrightarrow{\text{CD}} \mathbb{C} \xrightarrow{\text{CD}} \mathbb{H} \xrightarrow{\text{CD}} \mathbb{O} \xrightarrow{\text{CD}} \mathbb{S}$$

Алгебра	dim	Коммутативность	Ассоциативность	Альтернативность	Делимость
$\mathbb{R}$	1	+	+	+	+
$\mathbb{C}$	2	+	+	+	+
$\mathbb{H}$	4	—	+	+	+
$\mathbb{O}$	8	—	—	+	+
$\mathbb{S}$	16	—	—	—	—

Граница Кэли–Диксона [Т]: На каждом шаге теряется алгебраическое свойство. $\mathbb{O}$ — последняя алгебра с делением. Седенионы $\mathbb{S}$ и все дальнейшие удвоения содержат делители нуля.

1.4 Октонионы $\mathbb{O}$ [Т]

Определение. Октонионы — 8-мерная нормированная алгебра с делением над $\mathbb{R}$:

$$\mathbb{O} = \{a_0 + a_1 e_1 + a_2 e_2 + \cdots + a_7 e_7 \mid a_i \in \mathbb{R}\}$$

где $e_1, \ldots, e_7$ — мнимые единицы.

Таблица умножения определяется 7 ассоциативным триплетам (циклам плоскости Фано):

$$e_i \cdot e_j = -\delta_{ij} + \varepsilon_{ijk} e_k$$

где $\varepsilon_{ijk}$ — полностью антисимметричный тензор, ненулевой на 7 триплетах Фано.

Ключевые свойства:

• Неассоциативность: $(e_i e_j) e_k \neq e_i (e_j e_k)$ в общем случае
• Альтернативность: $x(xy) = x^2 y$ и $(xy)y = x y^2$ (теорема Артина)
• Норма: $|xy| = |x||y|$ (нормированная алгебра с делением)

1.5 Плоскость Фано PG(2,2) [Т]

Определение. Плоскость Фано — минимальная конечная проективная плоскость с 7 точками и 7 линиями.

        e₁
       / \
      /   \
    e₃—--e₂
    / \ ○ / \
   /   \ /   \
  e₅—e₆—e₄
       |
       e₇

Свойства [Т]:

• 7 точек, 7 линий
• Каждая линия содержит 3 точки
• Каждая точка лежит на 3 линиях
• Через любые 2 точки проходит ровно 1 линия
• Группа автоморфизмов: $\text{Aut}(\text{PG}(2,2)) = GL(3, \mathbb{F}_2) \cong PSL(2,7)$, порядок 168

Связь с $\mathbb{O}$: 7 триплетов (линий) плоскости Фано определяют таблицу умножения мнимых единиц октонионов. Каждая линия $(e_i, e_j, e_k)$ задаёт правило: $e_i \cdot e_j = e_k$ (с учётом ориентации).

1.6 Группа $G_2$ [Т]

Теорема. Группа автоморфизмов алгебры октонионов:

$$\text{Aut}(\mathbb{O}) = G_2$$

$G_2$ — минимальная исключительная группа Ли, 14-мерная, ранга 2.

Свойства $G_2$ [Т]:

• $\dim(G_2) = 14$
• $\text{rank}(G_2) = 2$
• $G_2 \subset SO(7)$ — подгруппа вращений в $\text{Im}(\mathbb{O}) \cong \mathbb{R}^7$
• $G_2$ сохраняет структуру умножения октонионов и плоскость Фано
• $G_2$-многообразия допускают метрику с голономией $G_2$ (единственная исключительная голономия по классификации Бергера)

1.7 Код Хэмминга H(7,4) [Т]

Теорема. Код Хэмминга $H(7,4)$ — совершенный линейный двоичный код:

• 7 битов, 4 информационных + 3 проверочных
• Исправляет 1 ошибку
• Граница Хэмминга достигается (совершенный код)

Связь с плоскостью Фано [Т]: Проверочная матрица $H(7,4)$ определяется 7 ненулевыми столбцами $\mathbb{F}_2^3$, которые соответствуют 7 точкам плоскости Фано.

Структура 4+3: Информационная часть (4 бита) + проверочная часть (3 бита) = 7 битов.

1.8 Теорема Артина [Т]

Теорема (Артин). Любые два элемента альтернативной алгебры порождают ассоциативную подалгебру.

Следствие для $\mathbb{O}$: Неассоциативность октонионов — минимальная: она проявляется только при взаимодействии трёх и более элементов. Любая пара элементов ведёт себя ассоциативно.

---

Алгебраические предпосылки

Предположим конечномерную вещественную нормированную алгебру с делением и единицей, с мультипликативной положительно определённой нормой (P1), и неассоциативность (P2). По Гурвицу получаем $\mathbb O$ и семимерную мнимую часть [T при этих входных данных]. Произвольные алгебры с делением без мультипликативной нормы сюда не относятся. Матричное состояние и автопоэзис сами по себе не обеспечивают P1/P2.

Теоремы минимальности дают другие условные нижние границы: через совершенную бинарную диагностируемость или точное представление выбранной алгебры. Код Хэмминга длины 15 совершенен, но нормированной алгебры с делением размерности 16 нет. Диагностируемость сама по себе не эквивалентна октонионному умножению.

Корректные утверждения о состояниях

Для $\rho\in D_N$, $P=\operatorname{Tr}\rho^2$, $d=\sum_i\rho_{ii}^2$, $\Phi=P/d-1$,

$$P=1/N+\|\rho-I/N\|_F^2,\qquad\Phi\le NP-1.$$

Выбранное структурное большинство означает $P>2/N$. Оно не влечёт $\Phi\ge1$: контрпример — диагональное чистое состояние. Малое когерентное возмущение этого состояния даёт $P>2/N$ и $0<\Phi<1$, поэтому добавление ненулевых когерентностей не исправляет прежний T5.

Чистое состояние не имеет нулевую дисперсию всех наблюдаемых: в $|0\rangle$ дисперсия матрицы Паули $X$ равна единице. Ось $E$ в $\mathbb C^7$ не является нетривиальной тензорной подсистемой; редукция опыта требует явно заданного расширения, как в иерархии.

Неподвижная точка непрерывной самомодели следует из компактной выпуклости и теоремы Брауэра, а не из слова AP. Неунитальный когерентный якорь может восстанавливать внедиагональные элементы даже при атомарной дефазировке ($c=0$). Прежняя универсальная необходимость $c>0$ отозвана. Конкретный баланс диссипации и регенерации зависит от якоря и режима скоростей.

Дизайны и их каналы

При заданном $(v,k,\lambda)$-BIBD с повторностью $r$ выбираем резкий инструмент $K_B=\Pi_B/\sqrt r$. Тогда

$$\sum_BK_B^\dagger K_B=I,\qquad T_c(\rho)=\sum_BK_B\rho K_B^\dagger=c\rho+(1-c)\operatorname{diag}\rho, \quad c=\lambda/r=(k-1)/(v-1).$$

Точный канал зависит от $v,k$, но не от $\lambda$ или конкретного дизайна [T]. Инструмент, включающий записываемые исходы, содержит данные, которые канал без записи исходов теряет.

Ограниченный оптимум [T]. Для нетривиального BIBD$(7,k,1)$ имеем $k\in\{2,3\}$. Дизайн Фано ($k=3,b=7,c=1/3$) сохраняет больше когерентности и использует меньше операторов инструмента, чем парный дизайн ($k=2,b=21,c=1/6$). Это оптимум в указанном классе. Дополнительный дизайн $(7,4,2)$ даёт $c=1/2$, а шеститочечный $(7,6,5)$ — $c=5/6$; оба также имеют семь резких операторов Крауса. Ни минимальность резкого инструмента, ни примитивность сами по себе не вынуждают $c=1/3$ или $\lambda=1$.

Примитивность не означает простой ненулевой спектр. Деполяризующий генератор $\rho\mapsto I\operatorname{Tr}\rho/7-\rho$ примитивен и имеет собственное значение $-1$ кратности 48. Замена каждого оператора Крауса или Линдблада двумя копиями с множителем $1/\sqrt2$ не меняет канал или генератор. Поэтому повторные блоки нельзя исключать вымышленным запретом спектрального вырождения.

Минимальные резкие инструменты [T]

Для $0\le c<1$ матрица Чои канала $T_c$ имеет носитель $\operatorname{span}\{|ii\rangle\}$ и ограничение

$$C=(1-c)I_7+cJ_7.$$

Собственные значения: $1+6c$ и $1-c$ кратности шесть; ранг равен семи. Матрица Чои есть $\sum_a|K_a\rangle\rangle\langle\langle K_a|$, а не лиувиллева матрица $\sum_aK_a\otimes\bar K_a$.

Для заданного канала $T_{1/3}$ представление семью операторами Крауса, каждый из которых пропорционален проектору, обязательно является инструментом линий Фано. Ранги и равные веса предполагать не требуется. Пусть $N$ — матрица инцидентности, $X$ — положительная диагональ весов. Из $NXN^{\mathsf T}=C$ и обратимости $N$ следует

$$X^{-1}=N^{\mathsf T}C^{-1}N,\quad C^{-1}=\tfrac32(I-J/9),\quad |S\cap T|=|S||T|/9\quad(S\ne T).$$

Размер каждого носителя кратен трём: иначе целочисленность пересечения вынуждала бы остальные шесть размеров быть не меньше девяти. Значит размеры равны трём или шести; диагональное тождество даёт веса $1/3$. Из $\sum_S|S|/3=7$ следует, что все размеры равны трём. Внедиагональные элементы канала дают кратность каждой пары один. Это BIBD$(7,3,1)$ — плоскость Фано с 30 размеченными реализациями. Обратно, каждая реализует $T_{1/3}$. См. полную теорему.

Семь физических координат, данное ослабление, резкость и минимальность инструмента обеспечивают дизайн Фано. Выбор октонионной группы репера дополнительно выделяет один из 30 размеченных инструментов; это нельзя использовать как независимое доказательство отсутствия входных предпосылок.

Кодовый путь

Для выбранного бинарного кода длины семь, минимального расстояния три и совершенного декодирования радиуса один проверочные столбцы — семь ненулевых элементов $\mathbb F_2^3$. Кодовые слова веса три — тройки $\{x,y,x+y\}$, линии Фано. Совершенное декодирование не следует из произвольной квантовой самомодели или чистоты состояния. Общий CPTP-процесс не является бинарным кодом одиночных ошибок.

Каноническая ориентация

При заданной плоскости Фано и предпосылке естественного выбора класса ориентаций относительно всех коллинеаций следующая теорема выделяет октонионный класс. Она не выбирает конкретный знаковый базис и не доказывает эмпирическое отождествление.

Теорема T15-канон: каноническая ориентация плоскости Фано — октонионная [Т]

Предпосылка каноничности указана явно; конечные классификации проверяются тестами ориентаций в check_core_numbers.py. Постановка. Ориентация $s$ плоскости Фано $D = \mathrm{PG}(2,2)$ — выбор циклического порядка на каждой из её семи линий. Она задаёт алгебру $\mathcal{A}_s = \mathrm{span}_{\mathbb{R}}\{1, e_1, \dots, e_7\}$ с $e_i^2 = -1$ и $e_i e_j = -e_j e_i = e_k$ для $(i, j, k)$ в циклическом порядке ориентированной линии. Смена знака $e_p \mapsto -e_p$ — изоморфизм $\mathcal{A}_s \cong \mathcal{A}_{s'}$, где $s'$ обращает три линии через $p$; $2^7$ смен знака действуют на $2^7 = 128$ ориентациях с ядром порядка 8 (пустое множество и семь дополнений линий, которые пересекают каждую линию по чётному числу точек), так что калибровочные классы содержат по 16 ориентаций и их 8. Группа коллинеаций $\mathrm{Aut}(D) \cong GL(3, \mathbb{F}_2)$ порядка 168 переставляет классы.

Теорема T15-канон [Т]

1. Ровно один калибровочный класс неподвижен относительно всех коллинеаций $D$; остальные семь образуют одну орбиту, и каждый из них неподвижен лишь относительно стабилизатора одной линии (порядка 24).
2. Неподвижный класс состоит ровно из тех 16 ориентаций, для которых $\mathcal{A}_s$ нормирована (равносильно, альтернативна), то есть $\mathcal{A}_s \cong \mathbb{O}$.
3. Неподвижный класс характеризуется и каждым из следующих свойств, а остальные семь классов не обладают ни одним из них:
   • (нет ассоциирующих троек) никакие три единицы $e_a, e_b, e_c$ в неколлинеарных точках не ассоциируют; в каждом другом классе ассоциируют 96 из 168 упорядоченных неколлинеарных троек;
   • (определённая 3-форма) 3-форма $\varphi_s = \sum_{\text{линии}} \pm\, e^{ijk}$ имеет знакоопределённую метрику Брайанта, $(x \lrcorner \varphi)\wedge(y \lrcorner \varphi)\wedge\varphi \propto \delta(x,y)\,\mathrm{vol}$, сигнатуры $(7,0)$; в каждом другом классе сигнатура $(4,3)$ — расщеплённая форма, и три отрицательных направления лежат на выделенной линии;
   • (симметричный репер) знаковые перестановки $e_1, \dots, e_7$, являющиеся автоморфизмами $\mathcal{A}_s$, образуют группу порядка $1344$, отображающуюся на $GL(3, \mathbb{F}_2)$; в каждом другом классе — группу порядка $192$, отображающуюся на стабилизатор линии.
4. Следовательно, правило, сопоставляющее плоскости Фано класс ориентаций этой плоскости и не пользующееся ничем, кроме самой плоскости (так что изоморфным плоскостям достаются соответствующие классы), сопоставляет октонионный класс. Всякий другой класс можно поместить на семь точек, лишь выбрав линию.

Доказательство. Инварианты. Для точки $p$ пусть $\chi_p(s)$ — произведение знаков четырёх линий, не проходящих через $p$. Смена знака в $q \neq p$ обращает три линии через $q$, ровно две из которых не проходят через $p$; при $q = p$ не обращается ни одна из них. Значит, семь $\chi_p$ — калибровочные инварианты. В координатах класс $s$ — его образ в коядре отображения инцидентности точек и линий $\mathbb{F}_2^7 \to \mathbb{F}_2^7$, образ которого — код Хэмминга $[7,4]$; коядро есть $\mathbb{F}_2^3$, откуда 8 классов.

Ассоциаторы. Пометим точки ненулевыми векторами $\mathbb{F}_2^3$, линии — $\{x, y, x+y\}$. Для независимых $a, b, c$ оба произведения $(e_a e_b) e_c$ и $e_a (e_b e_c)$ равны $\pm e_{a+b+c}$, и их отношение есть произведение знаков линий $\{a, b, a{+}b\}$, $\{b, c, b{+}c\}$, $\{a{+}b, c, a{+}b{+}c\}$, $\{a, b{+}c, a{+}b{+}c\}$ на знак, фиксированный комбинаторикой. Эти четыре линии — ровно четыре линии, не проходящие через точку $a + c$, так что ассоциирует ли тройка, решает $\chi_{a+c}(s)$.

Пункт 1. У $\mathbb{O}$ есть автоморфизмы — знаковые перестановки, накрывающие каждую коллинеацию (реперная группа $\Gamma_{\!\text{oct}}$ порядка 1344 отображается на $GL(3,\mathbb{F}_2)$), поэтому октонионный класс неподвижен. Будь неподвижны два класса $c \neq c'$, их разность была бы ненулевым вектором коядра $\mathbb{F}_2^3$, неподвижным относительно $GL(3,\mathbb{F}_2)$; группа действует на нём своим естественным трёхмерным представлением (или двойственным), которое неподвижно оставляет лишь $0$. Значит, неподвижный класс единствен. Остальные семь классов отличаются от него на семь ненулевых векторов $\mathbb{F}_2^3$, на которых $GL(3,\mathbb{F}_2)$ действует транзитивно со стабилизаторами порядка 24.

Пункты 2–3 — конечные утверждения о 128 ориентациях и 168 коллинеациях, и они проверены перебором (test_octonionic_orientation_is_the_unique_collineation_invariant_class вместе с test_only_16_of_128_fano_orientations_are_normed): неподвижный класс совпадает с множеством нормированных ориентаций; его единицы ассоциируют на 0 из 168 упорядоченных неколлинеарных троек против 96 для каждого другого класса; форма Брайанта диагональна в базисе с сигнатурой $(7,0)$ против $(4,3)$; группы автоморфизмов имеют порядки 1344 и 192.

Пункт 4. Правило, не пользующееся ничем, кроме плоскости, эквивариантно относительно изоморфизмов плоскостей; применённое к автоморфизму $g$ плоскости $D$, оно даёт $\mathrm{rule}(D) = g_*\,\mathrm{rule}(D)$ с точностью до калибровки, так что сопоставляемый класс неподвижен относительно $\mathrm{Aut}(D)$ и по пункту 1 октонионный. $\blacksquare$

Исследовательские задачи

Физический выбор алгебры, размерности, инструмента и модели наблюдения требует независимого обоснования. Вывод материи или пространства-времени должен сохранять явные мосты (Mod)/(Cl₀)/(P). Совпадение групп устанавливает совместимость, но не закон наблюдения.

Первичный источник: John Baez, The Octonions. Тождества каналов и конечные классификации ориентаций воспроизводимы; их проверка не доказывает физические мосты.

Исторические адреса

Прежние безусловные импликации отозваны; корректные области применимости указаны выше.