Жёсткость представления и операциональная идентифицируемость

Пересмотрено 2026-10-03

Теорема о симметриях классифицирует преобразования, сохраняющие заданную структуру. Она не устанавливает, что два эмпирических кодировщика связаны таким преобразованием. Прежняя безусловная теорема единственности представления (строки реестра 42a и T-123), включая аналогию со Стоуном—фон Нейманом, отозвана [✗]. Здесь она заменяется точными условными результатами о жёсткости и идентификации.

Три разных вопроса

1. Единственность вперёд: имеет ли заданная начальная матрица одну траекторию при заданном векторном поле?
2. Структурная жёсткость: какие замены координат сохраняют октонионную форму, репер и заданную динамику?
3. Операциональная идентифицируемость: определяют ли наблюдения единственную начальную матрицу и единственный кодировщик?

Первые два вопроса математические при указанных предпосылках. Третий требует калиброванного закона наблюдений и доказательства инъективности на указанной области. Онтологическая первичность $\Gamma$ не делает отображение данных в состояния инъективным.

Представления и отображения сравнения

Кодировщик

Пусть $S$ имеет физический полупоток $\Psi_t$, а $F_t$ — заданный полупоток пространства состояний. Кодировщик, совместимый с динамикой, — непрерывное отображение

$$G:\mathrm{States}(S)\to\mathcal D(\mathbb C^7),\qquad G\Psi_t=F_tG.$$

Это полусопряжение; оно не обязано быть инъективным, сюръективным, аффинным или восстанавливаемым по измерениям. Если оно является гомеоморфизмом на всё пространство состояний, то это топологическое сопряжение, но всё ещё не автоматически изоморфизм квантовых каналов.

Эквивалентность как дополнительные данные

Два кодировщика эквивалентны по определению относительно выбранной структурной группы $K$, если $G_2=\operatorname{Ad}_gG_1$ при $g\in K$, с согласованным переносом всех реперных меток. Для доказательства нужно установить отображение сравнения с требуемыми свойствами. Выражение $G_2G_1^{-1}$ не определено без инъективности $G_1$; оно определено лишь на образе, пока не установлена также сюръективность.

Структура и калибровка

Нужно указать, какие тензоры, реперные метки, гамильтониан, часы, якорь и считывания фиксированы, а какие переносятся. Стабилизатор этих данных — соответствующая структурная группа. Теорема о стабилизаторе сама по себе не делает все возможные кодировщики эквивалентными.

Эволюция вперёд: усиленные леммы

Лемма G1: инъективность пропагатора за конечное время

[Т]. Для любого конечномерного линейного генератора $L$ и конечного $t$ оператор $e^{tL}$ обратим как линейный оператор, с обратным $e^{-tL}$. Поэтому он инъективен на бесследовом касательном пространстве, когда оно инвариантно. Примитивность, диагонализация и спектральная щель не требуются.

Для квантового марковского генератора $e^{tL}$ является CPTP при $t\geq0$; $e^{-tL}$ не обязан быть положительным или физически исполнимым. Поэтому точное восстановление начального состояния известной траектории отличается от обратимой динамики. Восстановление может быть экспоненциально плохо обусловленным: при $L(\rho)=\sigma-\rho$ на состояниях следа один разности уменьшаются в $e^{-t}$ раз, и реконструкция усиливает шум в $e^t$ раз. Бесконечновременной сброс теряет инъективность, несмотря на инъективность при каждом конечном времени.

Лемма G2: инъективность нелинейного потока

[Т при локальной липшицевости и инвариантности состояний]. Пусть $\dot\Gamma=f(\Gamma)$ — автономное локально липшицево векторное поле на открытой аффинной окрестности множества состояний, и начатые в нём решения остаются в нём. Тогда компактность обеспечивает глобальные решения вперёд, а каждое отображение потока за конечное время инъективно.

Доказательство. Пикар—Линделёф даёт локальную единственность. Если два решения встретились в момент $t$, решим обратное локальное уравнение из общей конечной точки; единственность отождествляет их на предыдущем интервале. Повторение вдоль компактных участков траекторий отождествляет их вплоть до начального времени. Компактность и инвариантность предотвращают уход за конечное время. $\square$

Линейные члены, рациональные веса при $P\geq1/7$, локально липшицев якорь и гейт clamp удовлетворяют локальной липшицевости. Выбор старшего собственного вектора при вырождении может ей не удовлетворять. Сингулярный коэффициент со знаменателем $\gamma_{OO}$ требует действительной предпосылки регулярности или продолжения; одна ограниченность значений не доказывает липшицевость.

Ни одна лемма не доказывает инъективность сенсорного отображения, кодировщика $G$ или частично наблюдаемой траектории. Одинаковые наблюдения могут происходить от разных непересекающихся траекторий состояний.

Октонионная и реперная структуры

Следующие утверждения предполагают заданную положительную октонионную трёхформу $\varphi_3$ на $\mathbb R^7$, её комплексное продолжение и выбранный ортонормированный координатный репер. Их корректность не доказывает, что произвольные физические наблюдения единственным образом получают эту структуру. Размерность и октонионное построение имеют отдельные предпосылки из минимальности и математического ядра.

Лемма G3: фиксированные численные данные

Семь проекторов, Фано-фильтры, выбранные метки E/O/U, расширение часов, закон якоря и скорость регенерации являются данными представления либо дополнительными доказанными конструкциями при своих предпосылках. Они не все следуют из одного классификатора подобъектов. Сопряжение произвольной диссипации и регенерации не выводит их скалярные коэффициенты. Минимальное $\mathbb C^7$ не является нетривиальным тензорным произведением часов; расширение нужно задать явно.

Лемма G4: стабилизатор трёхформы

[Т при заданной форме]. Для комплексного продолжения фиксированной вещественной положительной октонионной трёхформы

$$\{U\in U(7):U^*\varphi_3=\varphi_3\}=G_2\times\mu_3, \qquad \mu_3=\{I,\omega I,\omega^2I\},\quad\omega^3=1.$$

Скалярные фазы действуют на матрицы плотности тривиально, поэтому действие сопряжением совпадает с действием $G_2$. Здесь $U^*\varphi_3$ — обратный образ тензора, а не эрмитово сопряжение матрицы. Вещественный стабилизатор — компактная группа автоморфизмов октонионов $G_2\subset SO(7)$; см. Baez, The Octonions.

Доказательство. Алгебра Ли состоит из $X=A+iS\in\mathfrak u(7)$, где $A$ вещественная кососимметричная, $S$ вещественная симметричная. В силу вещественности формы $X\cdot\varphi_3=0$ означает, что обе вещественные компоненты её стабилизируют. Алгебра Ли вещественного стабилизатора — $\mathfrak g_2\subset\mathfrak{so}(7)$; следовательно $S=0$, и компонента единицы равна $G_2$. Каждый другой элемент нормализует эту компоненту. Компактная $G_2$ имеет лишь внутренние автоморфизмы, поэтому после умножения на элемент $G_2$ нормализатор коммутирует с её неприводимым комплексным семимерным представлением. Лемма Шура делает его скаляром $\lambda I$. Сохранение трёхформы требует $\lambda^3=1$. Обратно, все такие элементы сохраняют форму. $\square$

Реперное решение D-0910 и его точная область

Стабилизатор формы выше — кинематическая структурная группа. Сохранение координатной пинчинговой операции вводит репер. Внутри $G_2$ его стабилизатор — конечная знаковая реперная группа $\Gamma_{\mathrm{oct}}$ порядка $1344$. Дополнительные фиксированные гамильтониан, часы, метки E/O/U и неунитальный якорь могут ещё уменьшать группу. Их действительный общий стабилизатор нужно вычислять; одна пинчинговая операция не доказывает, что полная модель имеет ровно $1344$ физических отождествления.

Прочтение репера как физического — данные модели [D]. Конечная перестановка осей с переносимыми метками является переименованием; вращение при фиксированных реперных метках может менять наблюдаемые. Это различие сохранено независимо от отозванной теоремы единственности кодировщиков.

Жёсткость репера: вещественные и комплексные симметрии

Теорема [Т]. Для $\Phi(\rho)=\sum_{i\ne j}|\rho_{ij}|^2/\sum_i\rho_{ii}^2$:

• максимальная группа симметрий сопряжением в $O(7)$ — знаковые перестановки;
• максимальная группа симметрий сопряжением в $U(7)$ — мономиальная унитарная группа $U(1)^7\rtimes S_7$ (скалярная $U(1)$ действует тривиально);
• её вещественное пересечение со стабилизатором трёхформы — $\Gamma_{\mathrm{oct}}\subset G_2$ порядка $1344$.

Доказательство. Чистое координатное состояние имеет $\Phi=0$. Его образ под $U$ также имеет $\Phi=0$ ровно тогда, когда соответствующий столбец $U$ имеет лишь один ненулевой элемент: $\sum_i|v_i|^4=1$ для единичного вектора ровно при координатном векторе с точностью до фазы. Поэтому каждая симметрия мономиальна. Обратно, мономиальное сопряжение переставляет диагональ и сохраняет все внедиагональные модули. В вещественном случае фазы — знаки. Сохранение $\varphi_3$ ограничивает перестановку коллинеацией Фано с восемью совместимыми знаковыми поднятиями. Ядро перестановочного действия содержит восемь знаковых слов симплекс-кода, что даёт $8\cdot168=1344$. $\square$

Прежнее утверждение, что $\Phi$ вообще не имеет непрерывной симметрии, отозвано [✗]: диагональные комплексные перефазировки — непрерывные симметрии. Положительно-размерной симметрии у неё нет внутри $G_2$. Теорема классифицирует симметрии заданной наблюдаемой, а не все кодировщики.

$\mathrm{Coh}_E$ сохраняется $192=1344/7$ элементами $\Gamma_{\mathrm{oct}}$, сохраняющими ось E при фиксированной метке. При переносе меток она читается на перенесённой оси. $\kappa_0$ при фиксированных метках O/E/U обычно имеет меньший стабилизатор. Равновесные Фано- и атомный пинчинги ковариантны относительно всех мономиальных унитарных, но не относительно всей $G_2$.

Замена универсальной единственности представления

Условная операциональная жёсткость [Т при (RI)]

Предположим, что два кодировщика $G_1,G_2$ — биекции на $\mathcal D(\mathbb C^7)$, и их сравнение $T=G_2G_1^{-1}$ является изоморфизмом квантовых каналов: $T$ и $T^{-1}$ продолжаются до линейных CPTP-отображений. Дополнительно предположим, что реализующий унитарный оператор имеет поднятие, сохраняющее заданную трёхформу. Назовём совокупность этих мостовых предпосылок (RI). Тогда

$$G_2=\operatorname{Ad}_gG_1\quad\text{для единственного }g\in G_2.$$

Если координатный репер фиксирован как множество, $g\in\Gamma_{\mathrm{oct}}$; при фиксированных дополнительных метках $g$ принадлежит их общему стабилизатору. Это теорема о кодировщиках, удовлетворяющих (RI), а не вывод (RI) из жизнеспособности или единственности потока.

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

Оба отображения монотонно сохраняют верность; применение каждого с его CPTP-обратным вынуждает равенство верности всех пар. Их аффинная биекция переводит крайние (чистые) состояния биективно в чистые. Теорема Вигнера даёт унитарное или антиунитарное сопряжение на чистых состояниях, а аффинность продолжает его на смешанные. В размерности не меньше двух антиунитарное сопряжение не полностью положительно (оператор Чои транспонирования имеет отрицательное собственное значение), поэтому $T=\operatorname{Ad}_U$ для унитарного $U$. Заданное поднятие трёхформы и лемма G4 дают $\operatorname{Ad}_U=\operatorname{Ad}_g$ при $g\in G_2$. Поскольку образ $G_1$ содержит все состояния, два таких $g$ отличаются скаляром; центр компактной $G_2$ тривиален, что доказывает единственность. Сохранение репера и меток вводит указанные стабилизаторы. $\square$

Первичный точный источник требуемого Вигнером сохранения попарных вероятностей перехода — Géher, An elementary proof for the non-bijective version of Wigner's theorem. Сохранение спектра каждой матрицы отдельно недостаточно: у всех чистых состояний одинаковый спектр, но произвольное зависящее от состояния вращение не обязано сохранять взаимные вероятности перехода.

Почему прежнее доказательство не работает

Прежнее доказательство предполагало $G_1^{-1}$ без инъективности, предполагало сохранение спектра без наблюдательной калибровки, а затем применяло Вигнера без сохранения попарных вероятностей или аффинного автоморфизма пространства состояний. Ни посещение траектории вблизи аттрактора, ни примитивность не гарантируют, что образ кодировщика содержит 48-мерное открытое множество: одна орбита одномерна, а постоянный кодировщик в равновесие совместим с динамикой. Теорема Титце не даёт единственного аффинного, сохраняющего спектр продолжения произвольного отображения. Непрерывность также не исключает антиунитарную компоненту без заданной гомотопии внутри допустимых симметрий.

Конкретный контрпример совместимости [Т]. При $H=0$, пинчинговой диссипации и $M_s$ каждая диагональная матрица плотности, равномерная на носителе, $\rho=P_V/\mathrm{rank}(P_V)$ является равновесием. И $|e_1\rangle\langle e_1|$, и $(|e_1\rangle\langle e_1|+|e_2\rangle\langle e_2|)/2$ имеют $P>2/7$. Два постоянных кодировщика в эти матрицы удовлетворяют одному условию динамической совместимости, но имеют разные спектры и не связаны никаким унитарным преобразованием. Значит, совместимость и численный критерий чистоты не влекут прежнее утверждение единственности. Дополнительные требования верного представления необходимы.

Что действительно идентифицируется

Размерность кинематических орбит

Неограниченное пространство состояний следа один имеет вещественную размерность $48$. Генерическая орбита $G_2$ имеет размерность $14$, поэтому главный страт пространства орбит имеет размерность $34$ [Т при заданном действии]. Диагональная положительная матрица с различными элементами имеет лишь конечный ортогональный коммутант, давая свидетель нульмерного стабилизатора $G_2$; минимальная размерность стабилизатора достигается генерически. Одни различные собственные значения не обеспечивают это для любого комплексного эрмитова состояния: некоторые состояния, коммутирующие с картановским тором, имеют непрерывные стабилизаторы.

Факторизация по конечной реперной группе оставляет размерность $48$. Это подсчёты на заданном неограниченном пространстве состояний, а не теорема, что выбранный сенсорный протокол измеряет все параметры, или глобальный список 34 независимых инвариантных скаляров.

Инъективность наблюдений и устойчивость

Пусть $h$ — калиброванное наблюдение, а история наблюдений $\mathcal O_T(\rho)=\{h(F_t\rho):0\leq t\leq T\}$. Реконструкция начального состояния требует инъективности $\mathcal O_T$ на допустимой области, а робастная реконструкция — количественной оценки обратного отображения. Инъективность потока из лемм G1–G2 не устанавливает ни одного требования для $h$.

Конструктивная томография [Т]. В фиксированном калиброванном репере вероятности семи координатных проекторов и $42$ проекторов на $(e_i+e_j)/\sqrt2$ и $(e_i-i e_j)/\sqrt2$, $i<j$, единственным образом определяют $\rho$:

$$p_i=\rho_{ii},\quad q_{ij}^{R}=\tfrac12(p_i+p_j)+\operatorname{Re}\rho_{ij},\quad q_{ij}^{I}=\tfrac12(p_i+p_j)+\operatorname{Im}\rho_{ij}.$$

Это отдельно калиброванные двухисходные измерения, а не один нормированный POVM из 49 эффектов. Одно соотношение следа оставляет 48 независимых вещественных величин. Их линейный оператор наблюдений $A$ на $\mathrm{Herm}_0(7)$ имеет положительное наименьшее сингулярное число, поэтому $\|\delta\rho\|_F\leq\|\delta y\|_2/\sigma_{\min}(A)$. Это доказывает конкретный протокол идентификации. Оно не превращает признаки EEG или обученный кодировщик в эти квантовые вероятности без отдельного эмпирического моста. Watrous, глава 2.

Верность функтора и различение объектов

Верный функтор инъективен на каждом hom-множестве/пространстве отображений в соответствующем категориальном смысле. Он не обязан быть инъективным на объектах с точностью до изоморфизма. Обратно, различение объектов само по себе не доказывает верности. Прежний вывод $F(\Gamma_1)\cong F(\Gamma_2)\Rightarrow\Gamma_2=g\Gamma_1g^\dagger$ был дополнительным утверждением идентификации объектов и отозван вместе с универсальной жёсткостью кодировщиков [✗]. Считывание E-сектора не обязано сохранять остальную $\Gamma$; контрактивное считывание может свести разные состояния к одному выходу. Конкретная реализация должна доказать собственное различение объектов и действие на морфизмах.

Инварианты и предсказательная область

$P$, $R=1/(7P)$ и спектр унитарно инвариантны. $\Phi$ и $\mathrm{Coh}_E$ ссылаются на выбранный репер; их симметрии указаны выше. Жёсткость ограничивает преобразования координат при (RI), но не фиксирует эмпирический кодировщик, калибровку параметров или точность предсказаний. Малая структурная группа сама по себе не делает теорию максимально предсказательной.

Оставшаяся работа

Операциональный вопрос о $G$ остаётся открытым [Pr]: нужно задать физическую область состояний/признаков, калиброванный закон наблюдений, допустимый класс моделей, доступные пробы и модель шума; доказать инъективность или охарактеризовать неразличимые слои; затем оценить предсказание на независимых данных. Условная жёсткость и точная томография дают пригодные инструменты этой программы.

Реестр статусов

• Строки 42a/T-123: безусловная единственность кодировщика отозвана [✗]; условная теорема (RI) сохранена [Т при (RI)].
• Строка 42b: генерические размерности орбит сохранены с уточнением главного страта.
• Строка 42c: линейная инъективность за конечное время усилена; примитивность не нужна.
• Строка 42d: инъективность нелинейного потока за конечное время сохранена при явных липшицевых/инвариантных предпосылках; корректность сенсорной обратной задачи отдельна.
• Строка 42e: стабилизатор заданной октонионной трёхформы сохранён [Т]; эквивалентность произвольных кодировщиков не выводится.
• Следствия о верности на объектах и максимальной предсказательности отозваны [✗].

Математическое ядро · Измерительный протокол · Типизированная формализация самомодели