Перейти к основному содержимому

G₂-структура и плоскость Фано

Для кого эта глава

Группа G2=Aut(O)G_2 = \mathrm{Aut}(\mathbb{O}) и плоскость Фано PG(2,2)\mathrm{PG}(2,2) как центральные алгебраические структуры УГМ. Читатель узнает, как таблица умножения октонионов определяет физическую архитектуру теории.

Обзор​

Группа G2=Aut(O)G_2 = \mathrm{Aut}(\mathbb{O}) — группа автоморфизмов октонионов — является центральной алгебраической структурой УГМ. Плоскость Фано PG(2,2)\mathrm{PG}(2,2) кодирует таблицу умножения мнимых единиц O\mathbb{O} и определяет всю физическую архитектуру теории: от операторов Линдблада до калибровочных симметрий и правил отбора.


1. Плоскость Фано PG(2,2)​

1.1 Определение​

Плоскость Фано PG(2,2)\mathrm{PG}(2,2) — минимальная конечная проективная плоскость. Она содержит:

  • 7 точек, отождествляемых с 7 мнимыми единицами октонионов e1,…,e7e_1, \ldots, e_7, а в УГМ — с 7 измерениями {A,S,D,L,E,U,O}={1,2,3,4,5,6,7}\{A, S, D, L, E, U, O\} = \{1, 2, 3, 4, 5, 6, 7\}
  • 7 линий, каждая содержащая ровно 3 точки

1.2 Таблица Фано-линий​

№Фано-линияИзмерения
1{1,2,4}\{1, 2, 4\}{A,S,L}\{A, S, L\}
2{2,3,5}\{2, 3, 5\}{S,D,E}\{S, D, E\}
3{3,4,6}\{3, 4, 6\}{D,L,U}\{D, L, U\}
4{4,5,7}\{4, 5, 7\}{L,E,O}\{L, E, O\}
5{5,6,1}\{5, 6, 1\}{E,U,A}\{E, U, A\}
6{6,7,2}\{6, 7, 2\}{U,O,S}\{U, O, S\}
7{7,1,3}\{7, 1, 3\}{O,A,D}\{O, A, D\}

1.3 Фундаментальные свойства​

  1. Через любые две точки проходит ровно одна линия. Это означает, что каждая пара измерений (i,j)(i, j) однозначно определяет Фано-линию (i,j,k)(i, j, k).

  2. Каждая точка лежит ровно на 3 линиях. Следовательно:

∑p=17Πp=3I\sum_{p=1}^{7} \Pi_p = 3I

где Πp=∑i∈linep∣i⟩⟨i∣\Pi_p = \sum_{i \in \mathrm{line}_p} |i\rangle\langle i| — проектор на подпространство, соответствующее Фано-линии pp.

  1. Структурные константы октонионов fijkf_{ijk}: fijk=±1f_{ijk} = \pm 1 тогда и только тогда, когда {i,j,k}\{i, j, k\} — Фано-линия, и fijk=0f_{ijk} = 0 иначе. Таблица умножения O\mathbb{O}:

ei⋅ej=fijk ek−δije_i \cdot e_j = f_{ijk}\, e_k - \delta_{ij}

1.4 Группа автоморфизмов​

Aut(PG(2,2))=PSL(2,7)\mathrm{Aut}(\mathrm{PG}(2,2)) = \mathrm{PSL}(2,7)

Это группа порядка 168, изоморфная GL(3,F2)\mathrm{GL}(3, \mathbb{F}_2). Она действует транзитивно на точках и на линиях.


2. Октонионное умножение и G2G_2​

2.1 Алгебра октонионов O\mathbb{O}​

Октонионы — 8-мерная вещественная алгебра с делением. Каждый октонион записывается как:

x=x0⋅1+∑i=17xi ei,x0,xi∈Rx = x_0 \cdot 1 + \sum_{i=1}^{7} x_i \, e_i, \quad x_0, x_i \in \mathbb{R}

где 11 — вещественная единица, а e1,…,e7e_1, \ldots, e_7 — мнимые единицы, удовлетворяющие:

ei2=−1,ei⋅ej=−ej⋅ei    (i≠j)e_i^2 = -1, \quad e_i \cdot e_j = -e_j \cdot e_i \;\; (i \neq j)

В УГМ мнимые единицы отождествляются с 7 измерениями: e1=Ae_1 = A, e2=Se_2 = S, e3=De_3 = D, e4=Le_4 = L, e5=Ee_5 = E, e6=Ue_6 = U, e7=Oe_7 = O.

2.2 Таблица октонионного умножения​

Умножение мнимых единиц определяется полностью плоскостью Фано. Для каждой Фано-линии (i,j,k)(i, j, k) с каноническим порядком:

ei⋅ej=ek,ej⋅ek=ei,ek⋅ei=eje_i \cdot e_j = e_k, \quad e_j \cdot e_k = e_i, \quad e_k \cdot e_i = e_j

×\timese1e_1 (A)e2e_2 (S)e3e_3 (D)e4e_4 (L)e5e_5 (E)e6e_6 (U)e7e_7 (O)
e1e_1 (A)−1-1e4e_4e7e_7−e2-e_2e6e_6−e5-e_5−e3-e_3
e2e_2 (S)−e4-e_4−1-1e5e_5e1e_1−e3-e_3e7e_7−e6-e_6
e3e_3 (D)−e7-e_7−e5-e_5−1-1e6e_6e2e_2−e4-e_4e1e_1
e4e_4 (L)e2e_2−e1-e_1−e6-e_6−1-1e7e_7e3e_3−e5-e_5
e5e_5 (E)−e6-e_6e3e_3−e2-e_2−e7-e_7−1-1e1e_1e4e_4
e6e_6 (U)e5e_5−e7-e_7e4e_4−e3-e_3−e1-e_1−1-1e2e_2
e7e_7 (O)e3e_3e6e_6−e1-e_1e5e_5−e4-e_4−e2-e_2−1-1

Каждая строка и столбец содержит все 7 мнимых единиц ровно по одному разу (с точностью до знака) — алгебра с делением.

2.3 Группа G2=Aut(O)G_2 = \mathrm{Aut}(\mathbb{O})​

Определение. Группа G2G_2 — это группа всех R\mathbb{R}-линейных биекций g:O→Og: \mathbb{O} \to \mathbb{O}, сохраняющих умножение:

G2={g∈GL(O):g(xy)=g(x)g(y)  ∀x,y∈O}G_2 = \{g \in \mathrm{GL}(\mathbb{O}) : g(xy) = g(x)g(y) \; \forall x, y \in \mathbb{O}\}

Поскольку g(1)=1g(1) = 1 для любого автоморфизма, gg действует на 7-мерное подпространство мнимых октонионов Im(O)≅R7\mathrm{Im}(\mathbb{O}) \cong \mathbb{R}^7.

Статус: Теорема [Т]

G2G_2 — исключительная компактная простая группа Ли со следующими характеристиками:

  • dim⁡(G2)=14\dim(G_2) = 14
  • rank(G2)=2\mathrm{rank}(G_2) = 2
  • G2⊂SO(7)G_2 \subset \mathrm{SO}(7) — собственная подгруппа группы вращений R7\mathbb{R}^7

Почему dim⁡(G2)=14\dim(G_2) = 14? Группа SO(7)\mathrm{SO}(7) имеет размерность 7⋅6/2=217 \cdot 6 / 2 = 21. Условие сохранения октонионного умножения накладывает 7 независимых ограничений (по одному на каждую Фано-линию): g(ei⋅ej)=g(ei)⋅g(ej)g(e_i \cdot e_j) = g(e_i) \cdot g(e_j) для всех (i,j,k)∈PG(2,2)(i,j,k) \in \mathrm{PG}(2,2). Итого:

dim⁡(G2)=21−7=14\dim(G_2) = 21 - 7 = 14

Почему rank(G2)=2\mathrm{rank}(G_2) = 2? Максимальный тор G2G_2 — двумерный: он порождается двумя коммутирующими вращениями в R7\mathbb{R}^7, совместимыми со всеми 7 Фано-линиями. Два независимых угла (θ1,θ2)(\theta_1, \theta_2) параметризуют максимальный тор, давая 2 квантовых числа — зарядов Нётер (см. G₂-заряды Нётер).

2.4 Четырнадцать генераторов G2G_2​

Алгебра Ли g2\mathfrak{g}_2 имеет 14 генераторов, которые можно разложить по представлениям подгруппы SU(3)⊂G2\mathrm{SU}(3) \subset G_2:

g2=su(3)⊕C3\mathfrak{g}_2 = \mathfrak{su}(3) \oplus \mathbb{C}^3

ТипЧислоПредставление SU(3)\mathrm{SU}(3)Физическая интерпретация в УГМ
Генераторы SU(3)\mathrm{SU}(3)88\mathbf{8} (присоединённое)Унитарные вращения трёх комплексных координат A−iDA-iD, S−iUS-iU, L−iEL-iE между собой при неподвижном OO; аналог глюонных полей. (Прежнее пояснение «калибровочные преобразования между тройками измерений на одной Фано-линии» отозвано [✗]: ни один генератор не действует внутри одной линии Фано, §2.6.)
Дополнительные генераторы63⊕3ˉ\mathbf{3} \oplus \bar{\mathbf{3}}Генераторы, сдвигающие OO-направление: они натягивают касательное пространство к S6=G2/SU(3)S^6=G_2/\mathrm{SU}(3) в точке eOe_O. (Прежнее пояснение «смешивающие измерения из разных Фано-линий» не описывало никакого инвариантного свойства и снято.)

Все 14 генераторов — антиэрмитовы 7×77 \times 7 матрицы Ta∈so(7)T_a \in \mathfrak{so}(7), удовлетворяющие:

[Ta,Tb]=fab    c Tc,a,b,c=1,…,14[T_a, T_b] = f_{ab}^{\;\;c}\, T_c, \quad a, b, c = 1, \ldots, 14

где fab    cf_{ab}^{\;\;c} — структурные константы g2\mathfrak{g}_2.

2.5 Пример: октонионное умножение и неассоциативность​

Октонионы — единственная нормированная алгебра с делением, которая неассоциативна. Покажем это на конкретном примере.

Задача. Вычислить (e1⋅e2)⋅e3(e_1 \cdot e_2) \cdot e_3 и e1⋅(e2⋅e3)e_1 \cdot (e_2 \cdot e_3) и убедиться, что результаты различны.

Шаг 1. По таблице умножения (Фано-линия {1,2,4}\{1,2,4\}):

e1⋅e2=e4(A⋅S=L)e_1 \cdot e_2 = e_4 \quad (\text{A} \cdot \text{S} = \text{L})

Шаг 2. Теперь умножаем результат на e3e_3 (Фано-линия {3,4,6}\{3,4,6\}):

(e1⋅e2)⋅e3=e4⋅e3=−e6(L⋅D=−U)(e_1 \cdot e_2) \cdot e_3 = e_4 \cdot e_3 = -e_6 \quad (\text{L} \cdot \text{D} = -\text{U})

(знак минус — поскольку каноническая ориентация линии {3,4,6}\{3,4,6\} даёт e3⋅e4=e6e_3 \cdot e_4 = e_6, а мы умножаем в обратном порядке).

Шаг 3. Отдельно вычислим правую скобку (Фано-линия {2,3,5}\{2,3,5\}):

e2⋅e3=e5(S⋅D=E)e_2 \cdot e_3 = e_5 \quad (\text{S} \cdot \text{D} = \text{E})

Шаг 4. Умножаем e1e_1 на результат (Фано-линия {5,6,1}\{5,6,1\}):

e1⋅(e2⋅e3)=e1⋅e5=e6(A⋅E=U)e_1 \cdot (e_2 \cdot e_3) = e_1 \cdot e_5 = e_6 \quad (\text{A} \cdot \text{E} = \text{U})

Результат:

(e1⋅e2)⋅e3=−e6,e1⋅(e2⋅e3)=+e6(e_1 \cdot e_2) \cdot e_3 = -e_6, \quad e_1 \cdot (e_2 \cdot e_3) = +e_6

Разница: (e1⋅e2)⋅e3−e1⋅(e2⋅e3)=−2e6(e_1 \cdot e_2) \cdot e_3 - e_1 \cdot (e_2 \cdot e_3) = -2e_6. Неассоциативность явная.

Физическая интерпретация

В терминах УГМ-измерений: последовательность взаимодействий A→S→DA \to S \to D даёт различные результаты в зависимости от порядка группировки. Это означает, что октонионная структура кодирует контекстную зависимость когерентных переходов: результат зависит не только от участвующих измерений, но и от порядка их вовлечения.

2.6 Прецеденты и родственные программы​

Ничто в §§1–2 не является новой математикой, и немалая часть их физического прочтения тоже не нова. С 1973 года направление работ — здесь оно названо октонионной линией — использует G2=Aut(O)G_2=\mathrm{Aut}(\mathbb{O}), её подгруппу SU(3)\mathrm{SU}(3) и плоскость Фано, чтобы описывать кварки и Стандартную модель. Этот подраздел называет работы, которые первыми сделали то, что делает эта страница, — чтобы читатель мог отличить заимствованное УГМ от добавленного ею. Вся линия вместе с нынешним положением каждой программы разобрана в Октонионном выводе, §5.7.

Гюнайдын и Гюрсей (1973, 1974): цвет внутри G2G_2. Мурат Гюнайдын и Феза Гюрсей первыми прочли подгруппу G2G_2, оставляющую на месте одну мнимую единицу, как цветовую группу кварков — ровно так, как эта страница и страница о Стандартной модели читают SU(3)⊂G2\mathrm{SU}(3)\subset G_2. В работе «Quark structure and octonions» (J. Math. Phys. 14, 1651–1667 (1973), DOI 10.1063/1.1666240) они записали O\mathbb{O} в расщеплённом базисе — через комплексные комбинации пар мнимых единиц, приспособленные к одной выбранной единице uu, — и свели G2G_2 к подгруппе SU(3)=StabG2(u)\mathrm{SU}(3)=\mathrm{Stab}_{G_2}(u), то есть к автоморфизмам, которые оставляют uu неподвижной. Относительно этой подгруппы семь мнимых единиц распадаются на синглет (саму uu), цветовой триплет и антитриплет, 7=1⊕3⊕3ˉ7=1\oplus3\oplus\bar{3}, а четырнадцать генераторов — на 8⊕3⊕3ˉ8\oplus3\oplus\bar{3}: это и есть разложение §2.4. В работе «Quark statistics and octonions» (Phys. Rev. D 9, 3387–3391 (1974), DOI 10.1103/PhysRevD.9.3387) они пошли дальше и описали кварковые поля как октонионные. Положение: теоретико-групповая часть стандартна и никем не оспаривается; как модель кварков программа принята не была — квантовая хромодинамика пользуется SU(3)c\mathrm{SU}(3)_c без всякой октонионной структуры, — и сохранилась как отправная точка позднейших работ: диссертация Фьюри называет её «одним из самых ранних прорывов» направления и развивает дальше (arXiv:1611.09182). Параллель в УГМ: таблица §2.4 (генераторы su(3)\mathfrak{su}(3) как «аналог глюонных полей»), калибровочная аналогия §3b и SU(3)C\mathrm{SU}(3)_C как стабилизатор OO-направления [И]. Различие: само разложение и его прочтение как цвета — приоритет 1973 года; УГМ не может числить ни то, ни другое среди собственных результатов. Своё у УГМ на этой странице — использование G2G_2 как симметрии матрицы когерентности 7×77\times7 и её нарушение пиннинг-динамикой до конечной реперной группы Γ ⁣oct\Gamma_{\!\text{oct}} (§7); в октонионной линии этому ничего не соответствует.

Прецедент к тому же точно указывает, что такое триплет, и это исправляет пояснение §2.4. Возьмём таблицу §2.2 и закрепим единицу O=e7O=e_7. Левое умножение на e7e_7 в квадрате даёт −1-1 на шести оставшихся осях, то есть служит мнимой единицей комплексной структуры, и разбивает эти оси на пары вдоль трёх линий Фано, проходящих через OO: A↔DA\leftrightarrow D, S↔US\leftrightarrow U, L↔EL\leftrightarrow E. Эти три пары и есть три комплексные координаты, на которых SU(3)\mathrm{SU}(3) действует как на C3\mathbb{C}^3; Тодоров и Дюбуа-Виолетт записывают то же расщепление при той же нумерации Фано (формула 2.5 в работе, указанной ниже). В этих координатах всякий ненулевой элемент su(3)\mathfrak{su}(3) — бесследовая матрица 3×33\times3 и потому действует по меньшей мере на две из трёх линий через OO; ни один генератор не действует внутри одной линии Фано (прямая проверка по таблице не находит такого ни для одной из семи линий). Описание «калибровочные преобразования между тройками измерений на одной Фано-линии» в §2.4 поэтому там отозвано. Тот же прецедент опровергает используемое в других местах корпуса разбиение осей на секторы 7=1O⊕3{A,S,D}⊕3ˉ{L,E,U}7=1_O\oplus3_{\{A,S,D\}}\oplus\bar3_{\{L,E,U\}}; оно отозвано в Пространстве-времени и на странице Стандартной модели, Теорема 1.1(a).

Холланд, Минковски, Пепе и Визе (2003): G2G_2 как калибровочная группа. Решёточные теоретики изучают калибровочную теорию, группа которой — сама G2G_2, чтобы понять, как удерживаются кварки, когда нет центральной симметрии, присущей SU(3)\mathrm{SU}(3): центр G2G_2 тривиален. В работе «Exceptional confinement in G(2) gauge theory» (Nucl. Phys. B 668, 207–236 (2003), arXiv:hep-lat/0302023) четырнадцать калибровочных бозонов преобразуются относительно SU(3)⊂G2\mathrm{SU}(3)\subset G_2 как 8⊕3⊕3ˉ8\oplus3\oplus\bar{3} — «глюоны» плюс векторы с цветовыми квантовыми числами кварков и антикварков, — а хиггсовское поле в представлении 77 нарушает G2G_2 до SU(3)\mathrm{SU}(3) и даёт шести лишним векторам массу; решёточные расчёты показывают, что теория с группой G2G_2 обладает конфайнментом и без центра. Положение: признанная лаборатория для изучения механизмов конфайнмента — модель, а не утверждение о природе. Параллель: шесть «дополнительных генераторов» §2.4 и «G2G_2-экстра бозоны» страницы о Стандартной модели [И]. Различие: шесть лишних векторов в 3⊕3ˉ3\oplus\bar{3}, получающих массу, когда механизм Хиггса нарушает G2G_2 до SU(3)\mathrm{SU}(3), — свойство любой такой калибровочной теории; само их существование поэтому не является предсказанием, особым для УГМ, — таким предсказанием могли бы быть лишь их массы и константы связи.

Тодоров и Дюбуа-Виолетт (2018): что может дать одна G2G_2. Иван Тодоров и Мишель Дюбуа-Виолетт выясняли, какие группы Стандартной модели следуют из октонионов одной лишь теорией групп («Deducing the symmetry of the standard model from the automorphism and structure groups of the exceptional Jordan algebra», Int. J. Mod. Phys. A 33, 1850118 (2018), arXiv:1806.09450). Они опираются на теорию Бореля — де Зибенталя, которая перечисляет максимальные связные подгруппы полного ранга (ранг — размерность максимального тора) компактной группы Ли. Для G2G_2 это SU(3)\mathrm{SU}(3) и (SU(2)×SU(2))/Z2(\mathrm{SU}(2)\times\mathrm{SU}(2))/\mathbb{Z}_2; их пересечение — U(2)\mathrm{U}(2), электрослабая группа, утратившая цвет, а цвет сохраняет лишь сама SU(3)\mathrm{SU}(3). Полная группа GSM=S(U(2)×U(3))=(SU(3)×SU(2)×U(1))/Z6G_{\mathrm{SM}}=S(\mathrm{U}(2)\times\mathrm{U}(3))=(\mathrm{SU}(3)\times\mathrm{SU}(2)\times\mathrm{U}(1))/\mathbb{Z}_6 появляется уровнем выше — как пересечение максимальных подгрупп Spin(9)\mathrm{Spin}(9) и (SU(3)×SU(3))/Z3(\mathrm{SU}(3)\times\mathrm{SU}(3))/\mathbb{Z}_3 группы F4F_4, группы автоморфизмов исключительной йордановой алгебры J3(O)J_3(\mathbb{O}) эрмитовых октонионных матриц 3×33\times3. Положение: опубликованный теоретико-групповой результат, продолженный Красновым (J. Math. Phys. 62, 021703 (2021)) и Бойлом (J. Math. Phys. 67, 071701 (2026)); его физический смысл остаётся исследовательской программой. Параллель: проблема ранга, признанная на странице о Стандартной модели, rank G2=2<4=rank GSM\mathrm{rank}\,G_2 = 2 < 4 = \mathrm{rank}\,G_{\mathrm{SM}} [И]. Различие: октонионная линия приходит к GSMG_{\mathrm{SM}}, расширяя симметрию от G2G_2 до F4F_4, — это теорема теории Ли; УГМ сохраняла G2G_2 и добирала недостающий ранг построениями вне G2G_2 (фано-электрослабой конструкцией и тензорным множителем Пейджа — Вуттерса); ни один результат корпуса не показывает, что этот путь равносилен пути через F4F_4. Исправленное вложение (25.09.2026, T-326): ранг добирается верно на шаг выше — через Spin(9)\mathrm{Spin}(9), а не внутри G2G_2. На S=C⊗O\mathcal S = \mathbb C\otimes\mathbb O — C7\mathbb C^7 голонома плюс G2G_2-параллельный спинор — операторы iLekiL_{e_k}, JJ, iJiJ образуют систему Клиффорда из девяти образующих, вынужденную и максимальную, и она порождает spin(9)\mathfrak{spin}(9); централизатор цвета SU(3)C=StabG2(eO)\mathrm{SU}(3)_C = \mathrm{Stab}_{G_2}(e_O) в ней — u(2)\mathfrak u(2), а нормализатор цвета — GSM=(SU(3)×SU(2)×U(1))/Z6G_{\mathrm{SM}} = (\mathrm{SU}(3)\times\mathrm{SU}(2)\times\mathrm{U}(1))/\mathbb Z_6, равный централизатору ReOR_{e_O} (Краснов 2021). Это [Т] как математика и [С при (Кл)] как результат УГМ; это Spin(9)\mathrm{Spin}(9)-половина пути Тодорова — Дюбуа-Виолетта и Краснова, а не новый путь. Фано-электрослабая осевая конструкция остаётся [С при (ФЭ)], её единственность — [Г].

Бэз (2002): плоскость Фано как таблица умножения. Обзор Джона Бэза «The Octonions» (Bull. Amer. Math. Soc. 39, 145–205 (2002), arXiv:math/0105155) — стандартный современный источник для §§1–2. В нём показано, что плоскость Фано, у каждой из семи линий которой задан циклический порядок, «полностью описывает алгебраическую структуру октонионов», а удвоение всех индексов, ei↦e2ie_i\mapsto e_{2i}, — симметрия этой картинки. Положение: как математика — стандартно и бесспорно; о физике автор писал, что «до сих пор нет доказательства того, что октонионы полезны для понимания реального мира». Параллель: таблица линий Фано в §1.2 и таблица умножения §2.2. Различие: ориентация каждой линии — данные сверх семи неупорядоченных троек; что это значит для вывода O\mathbb{O}, разобрано в Октонионном выводе, §5.7.

2.7 Пространство — не подпространство Im O\mathrm{Im}\,\mathbb O​

Цвет нельзя прочесть как пространство, и у этого есть точная форма: централизатор SU(3)=StabG2(eO)\mathrm{SU}(3)=\mathrm{Stab}_{G_2}(e_O) конечен в G2G_2, равен U(1)\mathrm U(1) в SO(7)\mathrm{SO}(7) и U(1)3\mathrm U(1)^3 в U(7)\mathrm U(7). Значит, ни одна SO(3)\mathrm{SO}(3), действующая на семи осях, с цветом не коммутирует. Это касается и ассоциативных 3-плоскостей. Вращения линейной оболочки линии Фано лежат в её стабилизаторе so(4)\mathfrak{so}(4), а он пересекается с su(3)\mathfrak{su}(3) по u(2)\mathfrak u(2) (три линии через OO) или по so(3)\mathfrak{so}(3) (остальные четыре). То, что с цветом коммутирует, находится уровнем выше — в спин-факторе h2(O)≅R1,9\mathfrak h_2(\mathbb O)\cong\mathbb R^{1,9}. Там неподвижная часть SU(3)\mathrm{SU}(3) есть h2(CO)≅R1,3\mathfrak h_2(\mathbb C_O)\cong\mathbb R^{1,3}, где CO=span{1,eO}\mathbb C_O=\mathrm{span}\{1,e_O\}, а централизатор su(3)\mathfrak{su}(3) в so(1,9)\mathfrak{so}(1,9) равен so(1,3)⊕u(1)\mathfrak{so}(1,3)\oplus\mathfrak u(1): Пространство-время, теорема 48c — [Т] как математика, [С при (Q)] как пространство-время.


3. G2=Aut(O)G_2 = \mathrm{Aut}(\mathbb{O}) и её действие на когерентности​

3.1 Действие G2G_2 на пространство когерентностей​

При отождествлении ei↔e_i \leftrightarrow измерения (из таблицы dimensions.md) группа G2G_2 действует на 7D7D-пространство:

g∈G2:∣i⟩↦∑jDji(g)∣j⟩g \in G_2: \quad |i\rangle \mapsto \sum_j D_{ji}(g) |j\rangle

где D(g)D(g) — 7-мерное (фундаментальное) представление G2G_2.

Действие на матрицу когерентности:

g:Γ↦D(g) Γ D(g)†g: \Gamma \mapsto D(g)\, \Gamma\, D(g)^\dagger

Действие на когерентности:

g:γij↦∑k,lDki(g) Dlj∗(g) γklg: \gamma_{ij} \mapsto \sum_{k,l} D_{ki}(g)\, D_{lj}^*(g)\, \gamma_{kl}

3.2 G2G_2 сохраняет Фано-структуру​

Поскольку G2=Aut(O)G_2 = \mathrm{Aut}(\mathbb{O}) сохраняет октонионное умножение, она сохраняет структурные константы fijkf_{ijk} как тензор (ассоциативную 3-форму φ\varphi). Она не переставляет семь координатных линий Фано — это делает лишь конечная реперная подгруппа Γ ⁣oct⊂G2\Gamma_{\!\text{oct}}\subset G_2 знаковых перестановочных матриц порядка 1344=23⋅1681344=2^3\cdot168, действующая на линиях через свой фактор Aut(PG(2,2))≅PSL(2,7)\mathrm{Aut}(PG(2,2))\cong PSL(2,7) порядка 168 (test_frame_group_order_and_singer_subgroups; теорема единственности); общий g∈G2g\in G_2 вращает координатные оси (неприводимость 7\mathbf 7):

g∈G2 ⇒ g∗φ=φ;g∈Γ ⁣oct ⇒ g переставляет Фано-линии.g \in G_2 \ \Rightarrow\ g^\ast\varphi = \varphi; \qquad g \in \Gamma_{\!\text{oct}} \ \Rightarrow\ g \text{ переставляет Фано-линии}.

Точнее: для каждого g∈G2g \in G_2 существует перестановка σg\sigma_g на множестве {1,…,7}\{1, \ldots, 7\} линий с g Πp g†=Πσg(p)g\, \Pi_p\, g^\dagger = \Pi_{\sigma_g(p)}. Отозвано [✗] (25.09.2026): это верно лишь для g∈Γ ⁣octg\in\Gamma_{\!\text{oct}}, как сказано абзацем выше и в Теореме 11.2; для общего g∈G2g\in G_2 ни один g Πp g†g\,\Pi_p\,g^\dagger не является проектором на координатную линию, поскольку C7\mathbb{C}^7 неприводимо относительно G2G_2. (Написанное здесь прежде отождествление «Γ ⁣oct≅PSL(2,7)\Gamma_{\!\text{oct}}\cong PSL(2,7)» путало реперную группу с её образом на линиях.)


3b. Физическая интерпретация G2G_2-симметрии​

Что сохраняет G2G_2-инвариантность​

G2G_2-симметрия — это непрерывная симметрия кинематики УГМ, которая спонтанно нарушается при динамической фиксации вакуума. До минимизации VGapV_{\text{Gap}}: преобразования из G2G_2 переименовывают базис {A,S,D,L,E,U,O}\{A, S, D, L, E, U, O\}, сохраняя октонионную структуру и все G2G_2-инварианты (PP, RR, спектр Γ\Gamma; но не Φ\Phi — см. таблицу ниже). После минимизации (T-64 [Т] (исправлена на G2G_2-инвариантный потенциал; секторных значений у его вакуума нет — гипотеза (СВ))): конкретный вакуум Γvac\Gamma_{\text{vac}} фиксируется, нарушая G2→HG_2 \to H (стабилизатор вакуума). Булев фрагмент Dec(Ω)≅27\mathrm{Dec}(\Omega) \cong 2^7 кристаллизуется как pointer basis, выбранный спонтанным нарушением симметрии — аналогично хиггсовскому механизму SU(2)×U(1)→U(1)emSU(2) \times U(1) \to U(1)_{\text{em}}. Мо́ды Голдстоуна — безмассовые возбуждения вдоль нарушенных направлений G2/HG_2/H.

Статус: Теорема [Т]

G2G_2-преобразование g:Γ↦D(g) Γ D(g)†g: \Gamma \mapsto D(g)\,\Gamma\,D(g)^\dagger сохраняет следующие физические величины:

ИнвариантФормулаФизический смысл
Суммарная чистотаP=Tr(Γ2)P = \mathrm{Tr}(\Gamma^2)Степень интеграции сознания
Мера рефлексииR=R(Γ)R = R(\Gamma)Глубина самонаблюдения
ИнтеграцияΦ=Φ(Γ)\Phi = \Phi(\Gamma)Не инвариантна — отозвано [✗]: явный g∈G2g\in G_2 переводит Φ\Phi из 0 в 1 (test_phi_not_g2_invariant)
Спектр Γ\Gammaλ1≥⋯≥λ7\lambda_1 \geq \cdots \geq \lambda_7Собственные населённости
Суммарная когерентность∑i<j∥γij∥2\sum_{i < j} \|\gamma_{ij}\|^2Не инвариантна — отозвано [✗]: она равна 12(P−∑iγii2)\tfrac12(P-\sum_i\gamma_{ii}^2), и тот же gg переводит её из 0 в 14\tfrac14 при неизменной P=1P=1
Фано-структураfijkf_{ijk}Таблица умножения октонионов

Что G2G_2 НЕ сохраняет​

G2G_2-преобразование перемешивает конкретные измерения. В общем случае:

  • Населённости отдельных измерений γii\gamma_{ii} не инвариантны: G2G_2 может перенести населённость из AA в SS.
  • Конкретные когерентности γij\gamma_{ij} не инвариантны: связь A↔SA \leftrightarrow S может перейти в D↔LD \leftrightarrow L.
  • Gap-профиль {Gap(i,j)}i<j\{\mathrm{Gap}(i,j)\}_{i<j} не инвариантен поэлементно (хотя суммарный Gap инвариантен).
  • Стресс-вектор σk=1−7γkk\sigma_k = 1 - 7\gamma_{kk} не инвариантен покомпонентно.

Геометрический смысл: вращения в {A,S,D,L,E,U,O}\{A, S, D, L, E, U, O\}​

G2G_2-преобразование можно представить как вращение 7-мерного пространства, которое:

  1. Сохраняет октонионную 3-форму: переводит линейную оболочку каждой Фано-линии (ассоциативную 3-плоскость) в ассоциативную 3-плоскость — в общем случае не в оболочку одной из семи координатных линий; переставляет их лишь конечная реперная группа Γ ⁣oct\Gamma_{\!\text{oct}} (§3.2). Прежняя формулировка «если {i,j,k}\{i,j,k\} — Фано-линия, то образ {g(i),g(j),g(k)}\{g(i), g(j), g(k)\} — тоже Фано-линия» отозвана [✗].
  2. Не произвольно: из 21 возможного вращения в SO(7)\mathrm{SO}(7) только 14-мерное подмногообразие G2G_2 сохраняет октонионное умножение.
  3. Физически: G2G_2-преобразование — это смена «системы координат» в пространстве измерений: таблица умножения, записанная в повёрнутом базисе {ge1,…,ge7}\{g e_1,\dots,g e_7\}, — та же таблица. Сами координатные линии и величины, считываемые с них (Φ\Phi, Gap-профиль, населённости), не сохраняются.
warning
Принцип G2G_2-ковариантности

Физические законы УГМ (эволюция, пороги сознания, операторы Линдблада) должны быть формулируемы в терминах G2G_2-инвариантов. Конкретная «метка» измерения (AA, SS, DD, ...) — вопрос выбора базиса, а не физики.

Аналогия с калибровочными теориями​

ТеорияКалибровочная группаЧто сохраняетсяЧто перемешивается
ЭлектродинамикаU(1)U(1)ЗарядФаза волновой функции
ХромодинамикаSU(3)SU(3)Цветовой синглетЦвет кварков (r, g, b)
УГМG2G_2PP, RR, спектр, Фано-структура (не Φ\Phi)Метки измерений {A,S,D,L,E,U,O}\{A,S,D,L,E,U,O\}

В этом смысле G2G_2 для УГМ — аналог SU(3)cSU(3)_c для КХД: конкретные «цвета» (измерения) не наблюдаемы напрямую, наблюдаемы лишь инвариантные комбинации.


4. G2G_2-инварианты Gap-профиля​

Теорема 2.1 (G2G_2-инварианты Gap-профиля)​

Статус: Теорема [Т]

Следующие величины являются G2G_2-инвариантами (не изменяются при преобразованиях из G2G_2).

(a) Суммарная чистота: P=Tr(Γ2)P = \mathrm{Tr}(\Gamma^2) — инвариантна при SO(7)⊃G2\mathrm{SO}(7) \supset G_2.

(b) Полный Gap:

Gtotal:=∑i<j∣γij∣2⋅Gap(i,j)2=∑i<j∣Im(γij)∣2\mathcal{G}_{\mathrm{total}} := \sum_{i<j} |\gamma_{ij}|^2 \cdot \mathrm{Gap}(i,j)^2 = \sum_{i<j} |\mathrm{Im}(\gamma_{ij})|^2

Суммарная «мнимая энергия» когерентностей инвариантна при SO(7)\mathrm{SO}(7).

(c) Однако распределение Gap по парам (i,j)(i,j) не является G2G_2-инвариантом. G2G_2 «перемешивает» Gap между парами, сохраняя только суммарный.

Доказательство. (a) и (b) следуют из унитарной инвариантности нормы Фробениуса. (c) следует из того, что G2G_2 не диагональна в базисе {∣i⟩}\{|i\rangle\}. ■\blacksquare

Теорема 2.2 (G2G_2-орбиты Gap-профилей)​

Статус: Теорема [Т]

Множество всех возможных Gap-профилей {Gap(i,j)}i<j\{\mathrm{Gap}(i,j)\}_{i<j} для фиксированного Γ\Gamma разбивается на G2G_2-орбиты.

(a) Общее число G2G_2-инвариантов для эрмитовой 7×77 \times 7 матрицы: 48−14=3448 - 14 = 34, где 14=dim⁡(G2)14 = \dim(G_2). Это кинематические инварианты (спектр и углы относительно φ3\varphi_3); они не являются физически различимыми конфигурациями, поскольку пиннинг-динамика ломает G2G_2 до конечной реперной группы Γ ⁣oct\Gamma_{\!\text{oct}} (Теорема 11.2 ниже), так что все 48 параметров физичны, а Gap-профиль читается в закреплённом репере (реперное решение D-0910). Теорема G2G_2-ригидности [Т] доказывает, что G2G_2 — максимальная подгруппа U(7)U(7), сохраняющая октонионную 3-форму (Лемма G4), тогда как данные репера сохраняет лишь конечная Γ ⁣oct\Gamma_{\!\text{oct}}. Счёт 48→3448 \to 34 — не произвольный выбор, а кинематическое следствие единственности голономного представления.

(b) Из 21 Gap-значения только 34−7=34 - 7 = до 27 являются «физически различимыми» (7 населённостей вычитаются из инвариантов).

(c) Это означает, что 21 − (27 − 21) = все 21 Gap могут быть различимы, но с 14 соотношениями между ними. Эти 14 соотношений действуют лишь среди кинематических G2G_2-инвариантов; в закреплённом физическом репере (D-0910) все 21 Gap — независимые наблюдаемые.

Следствие: G2G_2-редукция диагностики​

Если уравнения эволюции УГМ G2G_2-ковариантны, то для полной диагностики достаточно измерить:

  • 7 населённостей γii\gamma_{ii}
  • 7 модулей ∣γij∣|\gamma_{ij}| для одного «базового набора» пар
  • 7 фаз θij\theta_{ij} для того же набора

Остальные 27 параметров вычисляются из G2G_2-соотношений.

Статус: посылка ложна — следствие неприменимо

Уравнения эволюции не G2G_2-ковариантны: пиннинг-диссипатор ковариантен лишь относительно конечной реперной группы Γ ⁣oct\Gamma_{\!\text{oct}} (Теорема 11.2), а степень G2G_2-нарушения равна 2+α3Δmax⁡>0\tfrac{2+\alpha}{3}\Delta_{\max} > 0 при любом α\alpha (Теорема 11.3 ниже). Значит, сведение к 21 измеряемому параметру не применимо никогда: измеряются все 48 (реперное решение D-0910). Этот бокс прежде носил метку «Открытая проблема [Г]»; вопрос решён отрицательно.


5. Фано-структурированные операторы Линдблада​

5.1 Два типа атомов классификатора​

Из L-унификации: операторы Линдблада Lk=χSkL_k = \sqrt{\chi_{S_k}} выводятся из атомов классификатора Ω\Omega. Существуют два типа:

Базисные атомы (7 штук):

Sk=∣k⟩⟨k∣,k∈{A,S,D,L,E,U,O}S_k = |k\rangle\langle k|, \quad k \in \{A, S, D, L, E, U, O\}

Составные атомы (7 штук): Фано-линии определяют 7 линейных подобъектов — проекции на 3-мерные подпространства:

Πp=∑i∈linep∣i⟩⟨i∣,p=1,…,7\Pi_p = \sum_{i \in \mathrm{line}_p} |i\rangle\langle i|, \quad p = 1, \ldots, 7

Каждая Фано-линия p=(i,j,k)p = (i, j, k) порождает составной атом Sp=span{∣i⟩,∣j⟩,∣k⟩}S_p = \mathrm{span}\{|i\rangle, |j\rangle, |k\rangle\}.

Теорема 10.0 (Полнота атомов Фано)​

Статус: Теорема [Т]

Каждое измерение лежит на ровно 3 Фано-линиях.

∑p=17Πp=3I\sum_{p=1}^{7} \Pi_p = 3I

Доказательство. Свойство плоскости Фано: каждая из 7 точек инцидентна ровно 3 линиям. ■\blacksquare

5.2 Определение (Фано-структурированные операторы Линдблада)​

Для каждой Фано-линии p=(i,j,k)p = (i, j, k) определяется оператор Линдблада:

LpFano:=13Πp=13(∣i⟩⟨i∣+∣j⟩⟨j∣+∣k⟩⟨k∣)L_p^{\mathrm{Fano}} := \frac{1}{\sqrt{3}} \Pi_p = \frac{1}{\sqrt{3}}(|i\rangle\langle i| + |j\rangle\langle j| + |k\rangle\langle k|)

Проверка CPTP:

∑p=17(LpFano)†LpFano=13∑p=17Πp=13⋅3I=I✓\sum_{p=1}^{7} (L_p^{\mathrm{Fano}})^\dagger L_p^{\mathrm{Fano}} = \frac{1}{3}\sum_{p=1}^{7} \Pi_p = \frac{1}{3} \cdot 3I = I \quad \checkmark

5.3 Определение (Фано-предиктивный канал)​

PFano(Γ):=∑p=17LpFano Γ (LpFano)†=13∑p=17Πp Γ Πp\mathcal{P}_{\mathrm{Fano}}(\Gamma) := \sum_{p=1}^{7} L_p^{\mathrm{Fano}} \, \Gamma \, (L_p^{\mathrm{Fano}})^\dagger = \frac{1}{3}\sum_{p=1}^{7} \Pi_p \, \Gamma \, \Pi_p


6. Свойства Фано-канала​

Теорема 10.1 (Фано-канал сохраняет когерентности)​

Статус: Теорема [Т]

Для произвольной матрицы когерентности Γ\Gamma:

(a) Диагональные элементы сохраняются точно:

[PFano(Γ)]ii=γii[\mathcal{P}_{\mathrm{Fano}}(\Gamma)]_{ii} = \gamma_{ii}

(b) Недиагональные элементы (когерентности) сохраняются с коэффициентом 1/31/3:

[PFano(Γ)]ij=13γijдля всех i≠j[\mathcal{P}_{\mathrm{Fano}}(\Gamma)]_{ij} = \frac{1}{3}\gamma_{ij} \quad \text{для всех } i \neq j

(c) Фазы когерентностей сохраняются в точности:

arg⁡([PFano(Γ)]ij)=arg⁡(γij)=θij\arg([\mathcal{P}_{\mathrm{Fano}}(\Gamma)]_{ij}) = \arg(\gamma_{ij}) = \theta_{ij}

Доказательство.

(a) [∑pΠpΓΠp]ii=∑p: i∈linepγii=3γii[\sum_p \Pi_p \Gamma \Pi_p]_{ii} = \sum_{p:\, i \in \mathrm{line}_p} \gamma_{ii} = 3\gamma_{ii}. С множителем 1/31/3: γii\gamma_{ii}. ✓\checkmark

(b) В PG(2,2)\mathrm{PG}(2,2) любые две точки лежат на ровно одной линии. Для пары (i,j)(i,j), i≠ji \neq j: ровно одна линия p∗p^* содержит обе точки.

[∑pΠpΓΠp]ij=∑p: i,j∈linepγij=1⋅γij\left[\sum_p \Pi_p \Gamma \Pi_p\right]_{ij} = \sum_{p:\, i,j \in \mathrm{line}_p} \gamma_{ij} = 1 \cdot \gamma_{ij}

С множителем 1/31/3: γij/3\gamma_{ij}/3. ✓\checkmark

(c) arg⁡(γij/3)=arg⁡(γij)\arg(\gamma_{ij}/3) = \arg(\gamma_{ij}), поскольку 1/3>01/3 > 0. ✓\checkmark ■\blacksquare

Теорема 10.2 (Каноническая форма φcoh\varphi_{\mathrm{coh}})​

Статус: Теорема [Т]

Каноническое когерентно-сохраняющее самомоделирование определяется двухкомпонентной структурой.

φcoh(Γ)=k⋅[α⋅Pbase(Γ)+(1−α)⋅PFano(Γ)]+(1−k)⋅Γanchor\varphi_{\mathrm{coh}}(\Gamma) = k \cdot \left[\alpha \cdot \mathcal{P}_{\mathrm{base}}(\Gamma) + (1 - \alpha) \cdot \mathcal{P}_{\mathrm{Fano}}(\Gamma)\right] + (1 - k) \cdot \Gamma_{\mathrm{anchor}}

где:

  • Pbase(Γ)=∑mPmΓPm=diag(Γ)\mathcal{P}_{\mathrm{base}}(\Gamma) = \sum_m P_m \Gamma P_m = \mathrm{diag}(\Gamma) — атомарный канал (декогерирующее наблюдение)
  • PFano(Γ)=13∑pΠpΓΠp\mathcal{P}_{\mathrm{Fano}}(\Gamma) = \frac{1}{3}\sum_p \Pi_p \Gamma \Pi_p — Фано-канал
  • α∈[0,1]\alpha \in [0, 1] — параметр глубины декогеренции (баланс атомарного и Фано-наблюдения)
  • k<1k < 1 — параметр сжатия
  • Γanchor\Gamma_{\mathrm{anchor}} — E-акцентированный якорь

Проверка CPTP: Для произвольного α∈[0,1]\alpha \in [0,1]:

φcoh=k⋅Pα+(1−k)⋅const\varphi_{\mathrm{coh}} = k \cdot \mathcal{P}_\alpha + (1-k) \cdot \mathrm{const}

где Pα=αPbase+(1−α)PFano\mathcal{P}_\alpha = \alpha \mathcal{P}_{\mathrm{base}} + (1-\alpha) \mathcal{P}_{\mathrm{Fano}} — выпуклая комбинация CPTP-каналов, следовательно CPTP. ✓\checkmark

Теорема 10.3 (Целевые когерентности φcoh\varphi_{\mathrm{coh}})​

Статус: Теорема [Т]

Для канонического φcoh\varphi_{\mathrm{coh}} целевые когерентности определяются следующим образом.

(a) Модуль целевой когерентности:

∣γijtarget∣=[k(1−α)3]⋅∣γij∣+(1−k)⋅[Γanchor]ij|\gamma_{ij}^{\mathrm{target}}| = \left[\frac{k(1-\alpha)}{3}\right] \cdot |\gamma_{ij}| + (1-k) \cdot [\Gamma_{\mathrm{anchor}}]_{ij}

Для диагонального якоря ([Γanchor]ij=0[\Gamma_{\mathrm{anchor}}]_{ij} = 0 при i≠ji \neq j):

∣γijtarget∣=k(1−α)3⋅∣γij∣|\gamma_{ij}^{\mathrm{target}}| = \frac{k(1-\alpha)}{3} \cdot |\gamma_{ij}|

(b) Целевая фаза:

θijtarget=θij(фаза сохраняется!)\theta_{ij}^{\mathrm{target}} = \theta_{ij} \quad \text{(фаза сохраняется!)}

(c) Целевой Gap:

Gaptarget(i,j)=∣sin⁡(θij)∣=Gap(i,j)(Gap сохраняется!)\mathrm{Gap}^{\mathrm{target}}(i,j) = |\sin(\theta_{ij})| = \mathrm{Gap}(i,j) \quad \text{(Gap сохраняется!)}

Фундаментальное следствие. Каноническая φcoh\varphi_{\mathrm{coh}} не стремится изменить Gap — она стремится воспроизвести Gap с ослабленной амплитудой. Целевое состояние не уничтожает когерентности, а масштабирует их.

Теорема 10.4 (Вариационное определение α∗\alpha^*) — отозвана [✗]​

Статус: Отозвано [✗] (2026-09-25)

Теорема утверждала, что у Фано-веса есть вариационный оптимум α∗≈1−2/(7P)\alpha^* \approx 1 - 2/(7P) внутри (0,1)(0,1). Это неверно: Sspec(ρ)+DKL(ρ∥Γ)=−Tr(ρlog⁡Γ)S_{\mathrm{spec}}(\rho) + D_{KL}(\rho\|\Gamma) = -\mathrm{Tr}(\rho\log\Gamma) линейно по ρ\rho, а при Pα(Γ)=13[(2+α) ΔΓ+(1−α) Γ]\mathcal{P}_\alpha(\Gamma) = \tfrac13[(2+\alpha)\,\Delta\Gamma + (1-\alpha)\,\Gamma], ΔΓ:=Pbase(Γ)\Delta\Gamma := \mathcal{P}_{\mathrm{base}}(\Gamma), функционал аффинен по α\alpha:

F(α)=F(0)+α3[DKL(Γ∥ΔΓ)+DKL(ΔΓ∥Γ)],\mathcal{F}(\alpha) = \mathcal{F}(0) + \tfrac{\alpha}{3}\left[D_{KL}(\Gamma\|\Delta\Gamma) + D_{KL}(\Delta\Gamma\|\Gamma)\right],

поэтому его минимум на [0,1][0,1] — α=0\alpha = 0 для всякой недиагональной Γ\Gamma (400 случайных состояний: тождество и положительный наклон в 400 из 400). Вариационного α∗\alpha^* не существует; Фано-вес α\alpha — свободный параметр φcoh\varphi_{\mathrm{coh}} (реестр статусов, строка 36). Формулировка и доказательство ниже сохранены как запись отозванного утверждения.

α∗=arg⁡min⁡α∈[0,1]F[Pα;Γ]=arg⁡min⁡α[Sspec(Pα(Γ))+DKL(Pα(Γ)∥Γ)]\alpha^* = \arg\min_{\alpha \in [0,1]} \mathcal{F}[\mathcal{P}_\alpha; \Gamma] = \arg\min_{\alpha} \left[S_{\mathrm{spec}}(\mathcal{P}_\alpha(\Gamma)) + D_{KL}(\mathcal{P}_\alpha(\Gamma) \| \Gamma)\right]

(a) При α=1\alpha = 1 (чисто атомарный): P1=Pbase\mathcal{P}_1 = \mathcal{P}_{\mathrm{base}}, уничтожает все когерентности. DKLD_{KL} велика (теряется информация о когерентностях). SspecS_{\mathrm{spec}} максимальна (полная декогеренция).

(b) При α=0\alpha = 0 (чисто Фано): P0=PFano\mathcal{P}_0 = \mathcal{P}_{\mathrm{Fano}}, сохраняет когерентности с коэффициентом 1/31/3. DKLD_{KL} мала (мало информации теряется). Но SspecS_{\mathrm{spec}} — не минимальна (предсказательная модель менее точна).

(c) Оптимум α∗∈(0,1)\alpha^* \in (0, 1) — баланс между предсказательной точностью (атомарное наблюдение) и сохранением структуры (Фано-наблюдение).

(d) Для системы с чистотой P>PcritP > P_{\mathrm{crit}}:

α∗≈1−PcritP=1−27P\alpha^* \approx 1 - \frac{P_{\mathrm{crit}}}{P} = 1 - \frac{2}{7P}

При P=1P = 1 (чистое состояние): α∗≈5/7≈0.71\alpha^* \approx 5/7 \approx 0.71 — существенное Фано-участие.

При P→PcritP \to P_{\mathrm{crit}}: α∗→0\alpha^* \to 0 — почти полностью Фано (минимальное разрушение когерентностей для выживания).

Доказательство. Минимизация F\mathcal{F} по α\alpha при фиксированной PP определяет баланс: увеличение α\alpha повышает предсказательную точность (SspecS_{\mathrm{spec}} уменьшается), но увеличивает потерю когерентностей (DKLD_{KL} растёт). Условие P>PcritP > P_{\mathrm{crit}} требует сохранения достаточного числа когерентностей, что ограничивает α\alpha сверху. Оптимум находится из ∂F/∂α=0\partial \mathcal{F}/\partial \alpha = 0. ■\blacksquare

Где ошибка. Доказательство предполагает, что рост α\alpha уменьшает SspecS_{\mathrm{spec}} и увеличивает DKLD_{KL}, и решает ∂F/∂α=0\partial\mathcal{F}/\partial\alpha = 0. Но ∂F/∂α\partial\mathcal{F}/\partial\alpha — постоянная 13[DKL(Γ∥ΔΓ)+DKL(ΔΓ∥Γ)]≥0\tfrac13[D_{KL}(\Gamma\|\Delta\Gamma) + D_{KL}(\Delta\Gamma\|\Gamma)] \geq 0, обращающаяся в нуль лишь для диагональной Γ\Gamma. Пункты (c)–(d) вместе с α∗≈5/7\alpha^* \approx 5/7 при P=1P = 1 и α∗→0\alpha^* \to 0 при P→PcritP \to P_{\mathrm{crit}} отозваны [✗] вместе с теоремой.

Теорема 10.5 (Явные коэффициенты φcoh\varphi_{\mathrm{coh}})​

Статус: Теорема [Т]

Операторы Крауса канонического φcoh\varphi_{\mathrm{coh}} получают конкретную форму.

Атомарные операторы (7 штук):

Km(atom)=αk⋅∣m⟩⟨m∣,m=1,…,7K_m^{(\mathrm{atom})} = \sqrt{\alpha k} \cdot |m\rangle\langle m|, \quad m = 1, \ldots, 7

Фано-операторы (7 штук):

Kp(Fano)=(1−α)k/3⋅Πp,p=1,…,7K_p^{(\mathrm{Fano})} = \sqrt{(1-\alpha) k / 3} \cdot \Pi_p, \quad p = 1, \ldots, 7

Якорные операторы (49 штук), где Γanchor=∑iλi∣ψi⟩⟨ψi∣\Gamma_{\mathrm{anchor}} = \sum_i \lambda_i |\psi_i\rangle\langle\psi_i|:

Kij(anch)=(1−k) λi⋅∣ψi⟩⟨j∣,i,j=1,…,7K_{ij}^{(\mathrm{anch})} = \sqrt{(1-k)\,\lambda_i} \cdot |\psi_i\rangle\langle j|, \quad i, j = 1, \ldots, 7

Проверка CPTP:

∑m=17(Km(atom))†Km(atom)+∑p=17(Kp(Fano))†Kp(Fano)+∑i,j=17(Kij(anch))†Kij(anch)\sum_{m=1}^{7} (K_m^{(\mathrm{atom})})^\dagger K_m^{(\mathrm{atom})} + \sum_{p=1}^{7} (K_p^{(\mathrm{Fano})})^\dagger K_p^{(\mathrm{Fano})} + \sum_{i,j=1}^{7} (K_{ij}^{(\mathrm{anch})})^\dagger K_{ij}^{(\mathrm{anch})}

Первый член: αk∑m∣m⟩⟨m∣=αk⋅I\alpha k \sum_m |m\rangle\langle m| = \alpha k \cdot I.

Второй член: (1−α)k/3⋅3I=(1−α)k⋅I(1-\alpha) k / 3 \cdot 3I = (1-\alpha) k \cdot I (каждая точка лежит на трёх линиях).

Третий член: (1−k)∑i,jλi ∣j⟩⟨j∣=(1−k)⋅I(1-k) \sum_{i,j} \lambda_i\, |j\rangle\langle j| = (1-k) \cdot I.

Итого = II. ✓\checkmark Эти 63 оператора воспроизводят φcoh\varphi_{\mathrm{coh}} Теоремы 10.2 (численно с точностью 3×10−163\times10^{-16} на 50 случайных состояниях).

Исправлено 2026-09-25 — прежний набор Крауса не сохранял след

В боксе стояли Km(atom)=α∗k/7 ∣m⟩⟨m∣K_m^{(\mathrm{atom})} = \sqrt{\alpha^* k/7}\,|m\rangle\langle m|, Kp(Fano)=(1−α∗)k/3 ΠpK_p^{(\mathrm{Fano})} = \sqrt{(1-\alpha^*)k/3}\,\Pi_p и один якорный оператор K0(anch)=1−k Γanchor1/2K_0^{(\mathrm{anch})} = \sqrt{1-k}\,\Gamma_{\mathrm{anchor}}^{1/2}, с «первым членом α∗k/7⋅7I\alpha^* k/7 \cdot 7I» и «третьим членом (1−k)⋅I(1-k)\cdot I». Оба шага неверны: ∑m∣m⟩⟨m∣=I\sum_m |m\rangle\langle m| = I, а не 7I7I, так что атомарная часть получала вес αk/7\alpha k/7; и K0†K0=(1−k) Γanchor≠(1−k) IK_0^\dagger K_0 = (1-k)\,\Gamma_{\mathrm{anchor}} \neq (1-k)\,I — один оператор даёт Γ↦(1−k) Γanchor1/2 Γ Γanchor1/2\Gamma \mapsto (1-k)\,\Gamma_{\mathrm{anchor}}^{1/2}\,\Gamma\,\Gamma_{\mathrm{anchor}}^{1/2}, а не замещение Γ↦(1−k) Γanchor\Gamma \mapsto (1-k)\,\Gamma_{\mathrm{anchor}}. При α=0.4\alpha = 0.4, k=0.8k = 0.8 прежний набор отличается от II на 1.181.18 по норме Фробениуса. Прежний коэффициент cmm=α∗kc_{mm} = \alpha^* k был неверен по той же причине, а само α∗\alpha^* отозвано (Теорема 10.4).

Следствие. В φcoh(Γ)\varphi_{\mathrm{coh}}(\Gamma) каждый элемент γmn\gamma_{mn} умножается на

cmn={kпри m=n (оба канала сохраняют диагональ)(1−α)k/3при m≠nc_{mn} = \begin{cases} k & \text{при } m = n \text{ (оба канала сохраняют диагональ)} \\ (1-\alpha) k / 3 & \text{при } m \neq n \end{cases}

и якорь добавляет (1−k) [Γanchor]mn(1-k)\,[\Gamma_{\mathrm{anchor}}]_{mn}. Каждая пара (m,n)(m,n) лежит ровно на одной Фано-линии, так что прежний третий случай «00 при (m,n)(m,n) вне общей Фано-линии» пуст.

Коэффициенты полностью определены через:

  • Фано-структуру PG(2,2)\mathrm{PG}(2,2) (алгебраическая геометрия)
  • Вариационный принцип (α∗\alpha^* через PP и PcritP_{\mathrm{crit}}) — отозван вместе с Теоремой 10.4: Фано-вес α\alpha — свободный параметр
  • Параметр сжатия kk

7. G2G_2-ковариантность​

Теорема 11.1 (Атомарный диссипатор НЕ G2G_2-ковариантен)​

Статус: Теорема — отрицательный результат [Т]

Диссипативный канал с атомарными операторами Линдблада Lk=∣k⟩⟨k∣L_k = |k\rangle\langle k| не является G2G_2-ковариантным.

∃g∈G2:Datom[gΓg†]≠g Datom[Γ] g†\exists g \in G_2: \quad \mathcal{D}_{\mathrm{atom}}[g\Gamma g^\dagger] \neq g \, \mathcal{D}_{\mathrm{atom}}[\Gamma] \, g^\dagger

Доказательство.

(a) Атомарный диссипатор:

Datom[Γ]=∑k=17LkΓLk†−Γ=∑k∣k⟩⟨k∣Γ∣k⟩⟨k∣−Γ=diag(Γ)−Γ\mathcal{D}_{\mathrm{atom}}[\Gamma] = \sum_{k=1}^{7} L_k \Gamma L_k^\dagger - \Gamma = \sum_k |k\rangle\langle k| \Gamma |k\rangle\langle k| - \Gamma = \mathrm{diag}(\Gamma) - \Gamma

(b) Действие G2G_2: для g∈G2g \in G_2, gΓg†↦D(g)ΓD(g)†g\Gamma g^\dagger \mapsto D(g)\Gamma D(g)^\dagger, где D(g)D(g) — 7-мерное представление G2G_2.

(c) Проверяем ковариантность:

Datom[gΓg†]=diag(gΓg†)−gΓg†\mathcal{D}_{\mathrm{atom}}[g\Gamma g^\dagger] = \mathrm{diag}(g\Gamma g^\dagger) - g\Gamma g^\dagger

g Datom[Γ] g†=g[diag(Γ)−Γ]g†=g⋅diag(Γ)⋅g†−gΓg†g \, \mathcal{D}_{\mathrm{atom}}[\Gamma] \, g^\dagger = g[\mathrm{diag}(\Gamma) - \Gamma]g^\dagger = g \cdot \mathrm{diag}(\Gamma) \cdot g^\dagger - g\Gamma g^\dagger

(d) Равенство требует:

diag(gΓg†)=g⋅diag(Γ)⋅g†∀Γ\mathrm{diag}(g\Gamma g^\dagger) = g \cdot \mathrm{diag}(\Gamma) \cdot g^\dagger \quad \forall \Gamma

Это означает: «диагональ преобразованной матрицы = преобразование диагонали». Это верно только для диагональных gg (перестановки + фазы), но НЕ для общих g∈G2g \in G_2.

(e) Контрпример: возьмём gg = вращение на угол π/4\pi/4 в плоскости (e1,e2)(e_1, e_2). Для матрицы Γ\Gamma с γ12≠0\gamma_{12} \neq 0:

diag(gΓg†)≠g⋅diag(Γ)⋅g†\mathrm{diag}(g\Gamma g^\dagger) \neq g \cdot \mathrm{diag}(\Gamma) \cdot g^\dagger

поскольку левая часть обнуляет когерентность γ12\gamma_{12} в повёрнутом базисе, а правая — нет. ■\blacksquare

Теорема 11.2 (Группа ковариантности Фано-диссипатора)​

Статус: Теорема [Т]

По Фано–атомной пропорциональности DFano=23Datom\mathcal{D}_{\mathrm{Fano}} = \tfrac23\mathcal{D}_{\mathrm{atom}} Фано-диссипатор ковариантен относительно конечной октонионной реперной группы Γ ⁣oct⊂G2\Gamma_{\!\text{oct}}\subset G_2 — знаковых перестановочных матриц в G2G_2, порядка 1344=23⋅1681344=2^3\cdot168, действующих на линиях через Aut(PG(2,2))≅PSL(2,7)\mathrm{Aut}(PG(2,2))\cong PSL(2,7) (порядок 168); прежняя запись «Γ ⁣oct=Aut(PG(2,2))≅PSL(2,7)\Gamma_{\!\text{oct}}=\mathrm{Aut}(PG(2,2))\cong PSL(2,7)» путала группу с её образом, — и не относительно полной непрерывной G2G_2. Канонический вполне G2G_2-ковариантный диссипатор — это DG2\mathcal{D}_{G_2} (построение на структурных константах, (Aa)bc=φabc/6(A_a)_{bc}=\varphi_{abc}/\sqrt6). Полное изложение: Фано-канал §5.

∀g∈Γ ⁣oct:DFano[gΓg†]=g DFano[Γ] g†\forall g \in \Gamma_{\!\text{oct}}: \quad \mathcal{D}_{\mathrm{Fano}}[g\Gamma g^\dagger] = g \, \mathcal{D}_{\mathrm{Fano}}[\Gamma] \, g^\dagger

Доказательство.

(a) Для g∈Γ ⁣octg\in\Gamma_{\!\text{oct}} элемент gg переставляет семь координатных линий Фано: существует перестановка σg\sigma_g на {1,…,7}\{1,\ldots,7\} такая, что

g Πp g†=Πσg(p).g\, \Pi_p\, g^\dagger = \Pi_{\sigma_g(p)}.

Общий g∈G2g\in G_2 этого не делает: C7\mathbb{C}^7 — неприводимый G2G_2-модуль (Шур), поэтому никакое координатное 3-подпространство span(линия p)\mathrm{span}(\text{линия }p) не G2G_2-инвариантно. Значит, ковариантность ниже точна лишь для конечной подгруппы Γ ⁣oct\Gamma_{\!\text{oct}}.

(b) Фано-диссипатор:

DFano[Γ]=13∑p=17ΠpΓΠp−Γ\mathcal{D}_{\mathrm{Fano}}[\Gamma] = \frac{1}{3}\sum_{p=1}^{7} \Pi_p \Gamma \Pi_p - \Gamma

(c) Подставляем gΓg†g\Gamma g^\dagger:

DFano[gΓg†]=13∑pΠp(gΓg†)Πp−gΓg†\mathcal{D}_{\mathrm{Fano}}[g\Gamma g^\dagger] = \frac{1}{3}\sum_p \Pi_p (g\Gamma g^\dagger) \Pi_p - g\Gamma g^\dagger

(d) Используя g†Πpg=Πσg−1(p)g^\dagger \Pi_p g = \Pi_{\sigma_g^{-1}(p)} (следствие (a)):

=13∑pΠpgΓg†Πp=13∑pg(g†Πpg)Γ(g†Πpg)g†= \frac{1}{3}\sum_p \Pi_p g \Gamma g^\dagger \Pi_p = \frac{1}{3}\sum_p g (g^\dagger \Pi_p g) \Gamma (g^\dagger \Pi_p g) g^\dagger

=13g[∑pΠσg−1(p)ΓΠσg−1(p)]g†= \frac{1}{3}g\left[\sum_p \Pi_{\sigma_g^{-1}(p)} \Gamma \Pi_{\sigma_g^{-1}(p)}\right]g^\dagger

Поскольку σg\sigma_g — перестановка: ∑pΠσg−1(p)=∑qΠq\sum_p \Pi_{\sigma_g^{-1}(p)} = \sum_q \Pi_q (переиндексация). Следовательно:

=g[13∑qΠqΓΠq]g†=g PFano(Γ) g†= g \left[\frac{1}{3}\sum_q \Pi_q \Gamma \Pi_q\right] g^\dagger = g \, \mathcal{P}_{\mathrm{Fano}}(\Gamma) \, g^\dagger

И:

DFano[gΓg†]=g PFano(Γ) g†−gΓg†=g[PFano(Γ)−Γ]g†=g DFano[Γ] g†\mathcal{D}_{\mathrm{Fano}}[g\Gamma g^\dagger] = g \, \mathcal{P}_{\mathrm{Fano}}(\Gamma) \, g^\dagger - g\Gamma g^\dagger = g[\mathcal{P}_{\mathrm{Fano}}(\Gamma) - \Gamma]g^\dagger = g \, \mathcal{D}_{\mathrm{Fano}}[\Gamma] \, g^\dagger

■\blacksquare

Теорема 11.3 (Степень G2G_2-нарушения определяется α\alpha)​

Статус: Теорема [Т]

Для канонического φcoh\varphi_{\mathrm{coh}} с параметром α\alpha степень G2G_2-ковариантности определяется следующим образом.

(a) При α=0\alpha = 0 (чисто Фано): ковариантность лишь относительно конечной реперной группы Γ ⁣oct\Gamma_{\!\text{oct}} — DFano=23Datom\mathcal{D}_{\mathrm{Fano}} = \tfrac23\mathcal{D}_{\mathrm{atom}} имеет ту же группу симметрии, что и атомарный диссипатор (Теорема 11.2, Теорема 5.1b). Калибровочная редукция 48→3448 \to 34 не реализуется ни при каком α\alpha (реперное решение D-0910).

(b) При α=1\alpha = 1 (чисто атомарный): G2G_2 полностью нарушена. Никакой калибровочной редукции.

(c) При промежуточных α∈(0,1)\alpha \in (0, 1): частичная G2G_2-ковариантность. Смешанный канал:

Pα=α Pbase+(1−α) PFano\mathcal{P}_\alpha = \alpha \, \mathcal{P}_{\mathrm{base}} + (1 - \alpha) \, \mathcal{P}_{\mathrm{Fano}}

Мера нарушения G2G_2-симметрии:

ΔG2(α):=sup⁡g∈G2∥Pα∘Adg−Adg∘Pα∥op\Delta_{G_2}(\alpha) := \sup_{g \in G_2} \|\mathcal{P}_\alpha \circ \mathrm{Ad}_g - \mathrm{Ad}_g \circ \mathcal{P}_\alpha\|_{\mathrm{op}}

где Adg(Γ)=gΓg†\mathrm{Ad}_g(\Gamma) = g\Gamma g^\dagger.

(d) ΔG2(α)\Delta_{G_2}(\alpha) монотонно возрастает с α\alpha:

ΔG2(0)=23Δmax⁡>0,ΔG2(1)=Δmax⁡\Delta_{G_2}(0) = \tfrac23\Delta_{\max} > 0, \quad \Delta_{G_2}(1) = \Delta_{\max}

(e) При любом значении свободного Фано-веса α\alpha:

ΔG2(α)=2+α3⋅Δmax⁡≥23 Δmax⁡\Delta_{G_2}(\alpha) = \tfrac{2+\alpha}{3} \cdot \Delta_{\max} \geq \tfrac23\,\Delta_{\max}

(До 25.09.2026 пункт гласил «при оптимальном α∗≈1−2/(7P)\alpha^* \approx 1 - 2/(7P): ΔG2(α∗)=2+α∗3Δmax⁡\Delta_{G_2}(\alpha^*) = \tfrac{2+\alpha^*}{3}\Delta_{\max}»; вариационное α∗\alpha^* отозвано, Теорема 10.4, так что чистота PP степень нарушения не фиксирует.)

Доказательство. (a)–(b): прямое следствие Теорем 11.1 и 11.2. (c)–(e): Pα\mathcal{P}_\alpha — выпуклая комбинация двух каналов с одной и той же конечной группой ковариантности Γ ⁣oct\Gamma_{\!\text{oct}}; поскольку Dα=2+α3Datom\mathcal{D}_\alpha = \tfrac{2+\alpha}{3}\mathcal{D}_{\mathrm{atom}} (операторы Линдблада), мера нарушения равна ΔG2(α)=2+α3Δmax⁡\Delta_{G_2}(\alpha) = \tfrac{2+\alpha}{3}\Delta_{\max} — аффинна по α\alpha и строго положительна на [0,1][0,1]. ■\blacksquare

warning
Пределы G2G_2-ковариантности
  • Фано-диссипатор DFano=23Datom\mathcal{D}_{\text{Fano}} = \tfrac23\mathcal{D}_{\text{atom}}: ковариантен относительно реперной группы Γ ⁣oct\Gamma_{\!\text{oct}}, не полной G2G_2 [Т] (T-11.2)
  • Атомарный диссипатор Datom\mathcal{D}_{\text{atom}}: НЕ G2G_2-ковариантен [Т] (T-11.1)
  • Канонический G2G_2-ковариантный диссипатор DG2\mathcal{D}_{G_2} (структурные константы φabc\varphi_{abc}) [Т]
  • Полная динамика LΩ=Datom+DFano+R\mathcal{L}_\Omega = \mathcal{D}_{\text{atom}} + \mathcal{D}_{\text{Fano}} + \mathcal{R}: не G2G_2-ковариантна ни при каком α\alpha — [Т] (оба диссипатора лишь Γ ⁣oct\Gamma_{\!\text{oct}}-ковариантны, Теорема 5.1b; R\mathcal{R} ссылается на оси O, E, U; реперное решение D-0910)

Теорема 11.4 (Модифицированная калибровочная редукция) — отозвана [✗]​

Статус: Отозвано [✗]

Заменено реперным решением D-0910: параметрическое пространство Gap-профилей не редуцируется группой G2G_2 ни при каком α\alpha; интерполяция ниже сохранена лишь как запись отозванного утверждения. (До 25.09.2026 этот бокс, сообщая об отзыве, носил заголовок «Теорема [Т]».)

(a)–(c) Отозвано (D-0910). Прежние редакции интерполировали «3434 параметра при α=0\alpha = 0, 34+14α∗34 + 14\alpha^* при оптимальном α∗\alpha^*, 4848 при α=1\alpha = 1» (при P≈0.5P \approx 0.5: ≈40\approx 40). Посылка — G2G_2-ковариантный Фано-канал при α=0\alpha = 0 — ложна (Теорема 11.2): пиннинг-динамика лишь Γ ⁣oct\Gamma_{\!\text{oct}}-ковариантна при любом α∈[0,1]\alpha \in [0,1], поэтому физическое пространство параметров Gap-профилей — полное 48-мерное D(C7)\mathcal{D}(\mathbb{C}^7) по модулю конечной группы при любом α\alpha. Число 34 сохраняется лишь как счёт кинематических G2G_2-инвариантов (теорема единственности, Следствие 1). «Оптимальное α∗\alpha^*» этой интерполяции тоже отозвано (Теорема 10.4).

Для высококогерентной системы с P≈0.8P \approx 0.8: α∗≈0.64\alpha^* \approx 0.64, число параметров ≈34+9=43\approx 34 + 9 = 43. Редукция ещё более умеренная. Отозвано [✗] вместе с (a)–(c): число параметров — 48 при любом α\alpha.

Интерпретация (пересмотрена). Самонаблюдение (ненулевое α\alpha) увеличивает меру нарушения G2G_2, ΔG2(α)=2+α3Δmax⁡\Delta_{G_2}(\alpha)=\tfrac{2+\alpha}{3}\Delta_{\max} (Теорема 11.3). Число параметров от α\alpha не зависит: оно всюду равно 48. Прежнее прочтение «чем глубже самопознание, тем больше параметров нужно — цена самопознания» отозвано [✗] вместе с (a)–(c).

Обновлённый диагностический протокол​

После реперного решения D-0910:

РежимЧисло параметровПротокол
любое α∈[0,1]\alpha\in[0,1] (от L0 до L4)48Полная томография: все 48 параметров, читаемые в закреплённом репере

Прежние строки «α=0\alpha = 0: 34 (полная G2G_2), минимальная томография с G2G_2-соотношениями» и «α∗≈0.4\alpha^* \approx 0.4: ∼\sim40, частичные G2G_2-соотношения» отозваны [✗] (D-0910): динамика ковариантна лишь относительно Γ ⁣oct\Gamma_{\!\text{oct}} при любом α\alpha, так что никакое G2G_2-соотношение числа параметров не уменьшает; α∗\alpha^* второй строки тоже отозвано (Теорема 10.4).


8. Единая теорема самонаблюдения и Gap​

Теорема 12.1 (Фано-когерентное самомоделирование)​

Статус: Теорема [Т]

Каноническое когерентно-сохраняющее самомоделирование для УГМ определяется с точностью до двух свободных параметров — сжатия kk и Фано-веса α\alpha. (До 25.09.2026 бокс гласил «однозначно, с точностью до параметра сжатия kk»; это опиралось на вариационное α∗\alpha^* Теоремы 10.4, которое отозвано.)

(a) Алгебраическая структура: Фано-плоскость PG(2,2)\mathrm{PG}(2,2) определяет составные атомы классификатора Ω\Omega, порождающие Фано–Линдблад-операторы LpFanoL_p^{\mathrm{Fano}}.

(b) Вариационный принцип: Баланс атомарного и Фано-наблюдения α∗\alpha^* минимизирует функционал F=Sspec+DKL\mathcal{F} = S_{\mathrm{spec}} + D_{KL}. Отозвано [✗] (Теорема 10.4): F\mathcal{F} аффинен по α\alpha и минимален при α=0\alpha = 0; баланс α\alpha — свободный параметр.

(c) Фазовые свойства: Каноническая φcoh\varphi_{\mathrm{coh}} сохраняет фазы когерентностей. Целевой Gap совпадает с текущим Gap (масштабирование амплитуды без фазового искажения).

(d) Симметрия: G2G_2-ковариантность нарушена при любом α\alpha; степень нарушения ΔG2=2+α3 Δmax⁡\Delta_{G_2} = \tfrac{2+\alpha}{3}\,\Delta_{\max} (Теорема 11.3(e)) при свободном Фано-весе α\alpha; прежняя зависимость от чистоты PP через α∗\alpha^* отозвана вместе с Теоремой 10.4. Прежнее значение α∗⋅Δmax⁡\alpha^*\cdot\Delta_{\max}, обращавшееся в нуль при α∗=0\alpha^*=0, отозвано [✗]: PFano=13 id+23Pbase\mathcal{P}_{\mathrm{Fano}}=\tfrac13\,\mathrm{id}+\tfrac23\mathcal{P}_{\mathrm{base}}, так что уже чистый Фано-канал нарушает G2G_2 на 23Δmax⁡\tfrac23\Delta_{\max}.

(e) Стационарный Gap: Подстановка в стационарное уравнение с θijtarget=θij\theta_{ij}^{\mathrm{target}} = \theta_{ij} даёт:

Gap(∞)(i,j)=∣sin⁡(θij−arctan⁡(ΔωijΓ2+κ))∣\mathrm{Gap}^{(\infty)}(i,j) = \left|\sin\left(\theta_{ij} - \arctan\left(\frac{\Delta\omega_{ij}}{\Gamma_2 + \kappa}\right)\right)\right|

Стационарный Gap сдвинут относительно текущего на угол arctan⁡(Δω/(Γ2+κ))\arctan(\Delta\omega/(\Gamma_2 + \kappa)) — даже при фазосохраняющей φcoh\varphi_{\mathrm{coh}}, унитарное вращение создаёт разность между целевым и стационарным.


Связанные документы: