Генераторы Линдблада и заданные инструменты

Редакция от 03.10.2026 сохраняет явную атомарную модель и модель Фано с их точной алгеброй; утверждение об однозначном выводе операторов из классификатора топоса отозвано. Модель состояний, репер наблюдения, скорости и инструмент — входные данные. CPTP-канал, инструмент с записью исходов и инфинитезимальный генератор — разные объекты.

Область теоремы GKSL

Непрерывная по норме линейная CPTP-полугруппа в конечной размерности имеет генератор

$$\mathcal L_0(X)=-i[H,X]+\sum_a\bigl(L_aXL_a^\dagger-\tfrac12\{L_a^\dagger L_a,X\}\bigr).$$

Это не теорема о произвольной нелинейной обратной связи. Размерность $L_a$ — обратный квадратный корень времени. Общая GKSL-форма не требует $\sum_aL_a^\dagger L_a=I$: это условие нормирует операторы Крауса канала. При заданных канале $T$ и скорости $\gamma$ получаем корректный генератор $\gamma(T-\mathrm{id})$ с $L_a=\sqrt\gamma K_a$.

Классификатор $\Omega$ классифицирует подобъекты и не имеет универсально заданных семи булевых атомов. Его существование не обеспечивает проекторы или скорости. «L-унификация» семантической логики, инструмента и генератора — интерпретация [I], а не эквивалентность категорий или единственный физический вывод. См. типизированное ядро.

Атомарный выбор и выбор Фано

Фиксируем репер и плоскость Фано. Положим $P_i=|i\rangle\langle i|$, $\Pi_\ell=\sum_{i\in\ell}P_i$, $K_\ell=\Pi_\ell/\sqrt3$. Каждая точка принадлежит трём линиям, поэтому $\sum_\ell K_\ell^\dagger K_\ell=I$. Каждая пара лежит на одной линии, откуда

$$T_F(\rho)=\tfrac13\rho+\tfrac23\Delta\rho,\qquad \mathcal D_F=T_F-\mathrm{id}=\tfrac23(\Delta-\mathrm{id})=\tfrac23\mathcal D_A,$$

где $\Delta$ — диагональная пинчинг-проекция. Атомарная дефазировка сохраняет все диагональные заселённости; без подходящего гамильтониана она не сходится к $I/7$. Повторение канала Фано тоже устраняет все внедиагональные элементы: разовое ослабление $1/3$ не означает вечное сохранение когерентности.

Для $(v,k,\lambda)$-BIBD с повторностью $r$ тот же расчёт даёт

$$T_c=c\,\mathrm{id}+(1-c)\Delta,\qquad c=\lambda/r=(k-1)/(v-1).$$

Это эквивалентность каналов, а не инструментов [T]. При ненормированных $L_B=\Pi_B$ с единичной скоростью затухание равно $r-\lambda$, при нормированных $K_B=\Pi_B/\sqrt r$ — $1-c$. Сравнение требует одинаковых нормировки и временного масштаба.

Условная примитивность

Пусть $0\le c<1$, $\gamma>0$, $H$ — фиксированный эрмитов оператор и граф ненулевых внедиагональных элементов $H_{ij}$ связен. Тогда

$$\mathcal L_0=-i[H,\cdot]+\gamma(T_c-\mathrm{id})$$

имеет единственное стационарное состояние $I/7$ и сходится к нему из любого начального состояния [T при указанной предпосылке о графе]. Это применимо и к атомарной дефазировке, и к дефазировке Фано.

Доказательство. Для любой матрицы $X$

$$\operatorname{Re}\langle X,\mathcal L_0X\rangle_F=-\gamma(1-c)\|X-\Delta X\|_F^2.$$

Стационарная матрица или собственная матрица с чисто мнимым собственным значением поэтому диагональна. Её коммутатор имеет нулевую диагональ; следовательно собственное значение нулевое и $[H,X]=0$. Связность вынуждает равенство всех диагональных элементов. Полугруппа сжимает HS-норму, поэтому у нулевого значения нет нетривиального жорданова блока. Все остальные собственные значения имеют строго отрицательную вещественную часть, что доказывает сходимость. $\square$

Связность — независимая предпосылка модели, её не доказывают функциональные обозначения AP. Примитивность допускает кратные ненулевые собственные значения: у деполяризации значение $-1$ имеет кратность 48. Нелинейное регенеративное расширение может иметь другие аттракторы и не наследует единственность линейного случая.

Отозванные утверждения о необходимости

Примитивность не вынуждает покрытие пар: одноточечная пинчинг-проекция со связным гамильтонианом удовлетворяет предыдущей теореме, но $\lambda_{ij}=0$ для всех различных пар. Универсальная необходимость $c>0$ тоже отозвана [✗]: когерентная неунитальная обратная связь может компенсировать атомарную дефазировку. Рассуждение по экспоненциальному затуханию от одного диссипатора не вправе игнорировать гамильтониан и якорь обратной связи.

В классе нетривиальных BIBD$(7,k,1)$ допустимы только размеры два и три; размер Фано три лучше сохраняет когерентности и требует меньше операторов Крауса. Это ограниченный оптимум при предположенной $\lambda=1$. Дизайны $(7,4,2)$ и $(7,6,5)$ дают $c=1/2$ и $5/6$ с семью резкими операторами. Дублирование операторов с множителем $1/\sqrt2$ не меняет канал или генератор. Ни примитивность, ни ненулевой спектр не вынуждают $\lambda=1$.

Точная теорема об инструменте

Ранг Чои канала $T_c$ при $0\le c<1$ равен семи: ненулевое ограничение есть $(1-c)I+cJ$ со значениями $1+6c,1-c,\ldots,1-c$. Следующая классификация относится к заданному $T_{1/3}$ и явно выбранным резкости, минимальности и ковариантности инструмента. Она не выводит эти входные данные из $\Omega$.

T13, усиленная (26.09.2026): острый минимальный инструмент канала Фано [Т]

Пусть $\Phi_c(\Gamma) = c\,\Gamma + (1-c)\,\mathrm{diag}\,\Gamma$ на $\mathbb C^7$, $0 \le c < 1$; тогда $\Phi_{1/3} = \mathcal P_{\text{Fano}} = \mathrm{id} + \mathcal D_\Omega$ и $\mathcal P_\alpha = \Phi_{(1-\alpha)/3}$. Крауссово представление назовём острым, если каждый оператор Крауса — положительное кратное ортогонального проектора (огрубление Людерса из T12), и минимальным, если операторов столько, каков ранг Хои, — $7$ (T11).

(a) Всякий оператор Крауса канала $\Phi_c$ диагонален, так что острый имеет вид $\sqrt{x_S}\,\Pi_S$ для множества осей $S$.

(b) Острые минимальные представления $\Phi_{1/3}$ — это в точности $\{\Pi_p/\sqrt3\}_{p \in \mathcal P}$, где $\mathcal P$ — одна из $30$ плоскостей Фано на семи осях. Ранги и веса не предполагаются: они получаются равными $3$ и $1/3$.

(c) При $0 < c < 1$ острое минимальное представление существует лишь при $c \in \{1/3, 1/2, 5/6\}$ — симметричными схемами $(7,3,1)$, $(7,4,2)$, $(7,6,5)$; при $c = 0$ это семь осевых проекторов. В семействе $\mathcal P_\alpha$ оно есть лишь при $\alpha = 0$ (Фано) и $\alpha = 1$ (атомарный канал).

(d) Ровно одна из $30$ плоскостей инвариантна относительно образа $\Gamma_{\!\text{oct}}$ в коллинеациях: октонионные линии. Поэтому острый, минимальный и $\Gamma_{\!\text{oct}}$-ковариантный инструмент $\mathcal D_\Omega$ единствен — это инструмент линий $\{L_p^{\text{Fano}}\}$.

(e) Ни одно условие нельзя отбросить. Без минимальности: $\sqrt{1/3}\,I$ вместе с $\sqrt{2/3}\,|i\rangle\langle i|$ (восемь острых операторов — осевое разложение из T-331(f)(d)) и смеси по плоскостям. Без остроты: унитарные перемешивания операторов линий, например $\sqrt{3/7}\,I$ и $\sqrt{2/21}\,\mathrm{diag}(\omega^{ai})$, $a = 1, \dots, 6$, $\omega = e^{2\pi i/7}$, чьи вероятности исходов $3/7$ и $2/21$ от $\Gamma$ не зависят. Без $\Gamma_{\!\text{oct}}$: остальные $29$ плоскостей.

(f) Синдромные измерения кода Хэмминга не дают $\Phi_{1/3}$: одна проверка чётности — острая пара $\{\Pi_p, I - \Pi_p\}$, равновероятно выбранная проверка даёт $\Phi_{3/7}$, у которого по (c) нет острого минимального представления, а полный синдром, различающий все оси, даёт $\Phi_0$.

Доказательство. (a) Матрица Хои $\sum_{ij}C_{ij}|ii\rangle\langle jj|$, $C = (1-c)I + cJ$, сосредоточена на $\mathrm{span}\{|ii\rangle\}$, а операторы Крауса — векторы её образа, прочитанные как матрицы; диагональный проектор — координатный. (b) С матрицей инцидентности $N$ размера $7\times7$ ($N_{iS} = 1$ при $i \in S$) и $X = \mathrm{diag}(x_S)$ представление записывается как $NXN^{\mathsf T} = C$. Минимальность делает семь операторов линейно независимыми, поэтому $N$ обратима и $X^{-1} = N^{\mathsf T}C^{-1}N$, где $C^{-1} = (I - tJ)/(1-c)$, $t = c/(1+6c)$. Вне диагонали это $|S \cap T| = t\,k_Sk_T$, $k_S = |S|$; на диагонали $x_S = (1-c)/(k_S(1 - tk_S))$. При $c = 1/3$ $t = 1/9$: $9$ делит $k_Sk_T$ при всех $S \ne T$, и поскольку $k \le 7$, всякое $k_S \in \{3, 6\}$, откуда $x_S = 1/3$; след $\sum_S x_Sk_S = \mathrm{Tr}\,C = 7$ даёт $\sum_S k_S = 21$, так что все $k_S = 3$. Тогда любые два блока пересекаются в одной точке, а $C_{ij} = 1/3$ помещает каждую пару осей ровно в один блок: схема $(7,3,1)$, плоскость Фано (T13 выше), с $7!/168 = 30$ разметками. Обратно, всякая плоскость Фано даёт $\Phi_{1/3}$ (T-78). (c) $t\,k_Sk_T$ — положительное целое, так что $t$ рационально и не больше $7/(k_Sk_T)$; конечный перебор размеров блоков, допустимых $t$ и систем множеств с такими пересечениями находит ровно три схемы. (d) Плоскость, инвариантная относительно $168$ коллинеаций $G_0$ октонионной плоскости, — объединение $G_0$-орбит троек. У $G_0$ две орбиты на $35$ тройках — $7$ линий и $28$ треугольников (она действует регулярно на $168$ упорядоченных неколлинеарных тройках, базисах $\mathbb F_2^3$), так что плоскость есть множество линий. Образ $\Gamma_{\!\text{oct}}$ в коллинеациях — это $G_0$ (теорема 5.1b). (e) При $i \ne j$ $\tfrac37 + \tfrac2{21}\sum_{a=1}^6\omega^{a(i-j)} = \tfrac37 - \tfrac2{21} = \tfrac13$, и $\tfrac37 + \tfrac{12}{21} = 1$ при $i = j$. (f) Пометим оси и проверки ненулевыми векторами $\mathbb F_2^3$; проверка $h$ читает $h\cdot i$, $\{i : h\cdot i = 0\}$ — линия, и две различные оси согласны на $3$ проверках с $h\cdot(i+j) = 0$. $\blacksquare$

Проверка: test_sharp_minimal_kraus_representations_are_the_fano_planes. Генератор $\mathcal D_\Omega$ как отображение фиксирует лишь $\Phi_{1/3}$, который линий не знает; физический инструмент, различающий их, — тот, что нужен весу ассоциатора, — фиксируют острота, минимальность и группа репера. Что это даёт и чего не даёт для $\kappa$: T-331(g).

Три слагаемых — разложение модели

Группировка на гамильтониан, диссипацию и регенерацию — выбранное разложение [D]. Категориального исчерпания действиями «автоморфизм / левый сопряжённый / правый сопряжённый» нет. Фиксированный член замещения $a(\rho_a-\rho)$ сам имеет форму GKSL и не образует третий неприводимый класс. Несколько сред или воздействий можно группировать иначе. Прежняя теорема единственности/полноты и вывод трёх байесовских гипотез отозваны [✗]. Трёхгипотезную модель наблюдения можно выбрать и откалибровать отдельно.

Композиция: конечная полурешётка пересечений

Для ненормированных карт исходов $m_\ell(X)=\Pi_\ell X\Pi_\ell$

$$m_{\ell_n}\circ\cdots\circ m_{\ell_1}(X)=P_{\cap_j\ell_j}XP_{\cap_j\ell_j}.$$

Все координатные проекторы коммутируют и идемпотентны. Пересечение линий Фано — линия, точка или пустое множество; пустое слово даёт все семь точек. Поэтому карт не больше 16 с учётом тождества и 15 для непустых слов, независимо от длины слова и $\rho$. Нормированных ненулевых носителей не больше 14. Композиция настоящих операторов Крауса добавляет общий скаляр при фиксированной длине, но не экспоненциальную различимость. Прежнее утверждение T-115 о $7^n$ и его доказательство для «общего» состояния отозваны [✗]: перестановки слов совпадают при любом состоянии.

Отдельный процесс слов

При выбранной $\lambda\ge0$ матрица Маркова

$$M_{ij}=\frac{1+\lambda|\ell_i\cap\ell_j|}{7+9\lambda}$$

строго положительна, симметрична и стохастична. Поэтому стационарный закон единственен, равномерен и достигается в пределе [T]. Синтаксический язык содержит $7^n$ слов; записанные слова нельзя отождествлять с различными спроецированными состояниями. Это исправляет диагональную нормировку T-114 и отделяет язык от композиции каналов.

Ковариантность и сохраняемые величины

При положительных скоростях линий диссипатор диагональных проекторов действует поэлементно: $X_{ij}\mapsto-r_{ij}X_{ij}$, причём $r_{ij}>0$ для $i\ne j$. Его ядро — диагональная алгебра. Унитальная симметрия сохраняет эту алгебру и поэтому мономиальна; обратно, мономиальная матрица задаёт симметрию тогда и только тогда, когда её перестановка сохраняет $r$. Группа есть $U(1)^7\rtimes\operatorname{Aut}(r)$, при равных скоростях — $U(1)^7\rtimes S_7$ [T]. Пересечение с заданной вещественной октонионной $G_2$ — конечная группа репера порядка 1344, а не полная $G_2$-ковариантность.

Тор и скорости

Экспонента диагональной алгебры — компактный тор. Выбранные проекторы имеют целый спектр и удовлетворяют $e^{2\pi iP_i}=I$: это обеспечивает именно эти периоды. Компактность всей группы не эквивалентна целочисленности каждого возможного генератора: иррациональная комбинация может иметь плотную однопараметрическую орбиту в том же компактном торе. При добавлении связного гамильтониана диагональные заселённости перестают быть семью сохраняемыми зарядами; с таким гамильтонианом коммутируют только скалярные диагональные заряды. Интерпретация как материального баланса остаётся [I].

Отдельный полностью $G_2$-ковариантный диссипатор можно построить из заданной октонионной трёхформы: $(A_a)_{bc}=\varphi_{abc}/\sqrt6$, $\sum_aA_a^\dagger A_a=I$. Это альтернативная модель, а не вывод выбора пинчинг-канала. Классификация симметрии пространства состояний не означает единственного кодирования экспериментальных данных; см. реконструкцию.

Первичный источник линейной теоремы: Yui Kuramochi, GKSL derivation from Kraus representations. Конечные проверки каналов и инструментов сохранены в check_core_numbers.py; контрпримеры к отозванным импликациям проверяет check_mathematical_kernel.py.

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

Для прежних утверждений по этим адресам область применимости исправлена выше; безусловный мост отозван.