Типизированная формализация самомоделирования φ

Канонические определения — пересмотрены 2026-10-03

Здесь различаются логический носитель, численная самомодель и динамический предел. Их области определения и универсальные свойства различны. Символ $\varphi$ в уравнении эволюции означает численное отображение $M$, определённое ниже; он не означает рефлектор носителя без отдельно заданного моста реализации.

Типы и определения

Объект	Тип	Доказанное свойство
Логический носитель $L_G$	$\mathcal E_{/G}\to\mathrm{Sub}_{\mathcal E}(G)$	Левый сопряжённый к включению в срезе, идемпотентен с точностью до эквивалентности [Т]
Численная самомодель $M$ (также $\varphi$)	$\mathcal D(\mathcal H)\to\mathcal D(\mathcal H)$	Заданное отображение состояний [D]; непрерывность обеспечивает существование неподвижной точки [Т]
Замороженная реализация $\mathcal C_\lambda$	$\mathcal L(\mathcal H)\to\mathcal L(\mathcal H)$	Линейный CPTP-канал при фиксированных классических параметрах $\lambda$ [Т]
Предел в бассейне $r$	$D\to\mathrm{Fix}(F)$	Ретракция, если каждая траектория в инвариантной области $D$ сходится [Т при сходимости]
Линейный сброс $\Pi_0$	$X\mapsto\mathrm{Tr}(X)\rho_0$	Асимптотический проектор релаксирующей линейной квантовой марковской полугруппы [Т при релаксации]

Стратификация без круговой зависимости

Сначала задаются $\mathcal H$, предиктивный канал, закон якоря и вес обратной связи. Затем вычисляется $M(\Gamma)$ на текущем состоянии. Далее определяется векторное поле с участием $M$, и только после этого изучаются его равновесия и пределы. Эталон $I/7$ и $R=1/(7P)$, $P=\mathrm{Tr}\,\Gamma^2$, определяются непосредственно, независимо от нелинейного аттрактора. Примитивность заданного унитального линейного генератора может установить, что $I/7$ — его стационарное состояние; она не определяет якорь или скорость нелинейной обратной связи.

Категориальная конструкция начинается с $\infty$-топоса $\mathcal E$ и объекта $G\in\mathcal E$. Численная матрица плотности $\Gamma$ и объект топоса $G$ не отождествляются неявно. Интерпретация $G$ как внутреннего объекта состояний требует отдельных данных реализации.

Логический носитель в срезе

Корректное сопряжение

Пусть $\mathcal E$ — $\infty$-топос, $G\in\mathcal E$. Срез $\mathcal E_{/G}$ также является $\infty$-топосом. Подобъект $S\hookrightarrow G$ — это $(-1)$-усечённый объект среза. Полная подкатегория таких объектов, $\mathrm{Sub}_{\mathcal E}(G)$, эквивалентна частично упорядоченному множеству подобъектов. Определим

$$L_G:=\tau_{\leq-1}^{\mathcal E_{/G}},\qquad L_G\dashv i_G:\mathrm{Sub}_{\mathcal E}(G)\hookrightarrow\mathcal E_{/G}.$$

Для $p:X\to G$ рассмотрим факторизацию

$$X\xrightarrow{e_p}\operatorname{im}(p)\xrightarrow{m_p}G,$$

где $e_p$ — эффективный эпиморфизм, $m_p$ — мономорфизм. Тогда $L_G(p)=m_p$. Это факторизация «эффективный эпиморфизм — мономорфизм», единственная с точностью до стягиваемого пространства согласованных выборов. См. Lurie, Higher Topos Theory, §§5.5.6, 6.2.3 и конструкцию усечения в срезе.

Теорема (Рефлектор носителя) [Т]. Для любых $p:X\to G$ и $m:S\hookrightarrow G$ имеется естественная эквивалентность пространств отображений

$$\operatorname{Map}_{\mathrm{Sub}_{\mathcal E}(G)}(L_Gp,m) \simeq\operatorname{Map}_{\mathcal E_{/G}}(p,i_Gm).$$

Доказательство. Отображение над $G$ из $X$ в $S$ существует ровно тогда, когда $p$ факторизуется через $m$. Эффективные эпиморфизмы лево ортогональны мономорфизмам, поэтому такая факторизация единственным с точностью до стягиваемого выбора способом спускается через $e_p$ к факторизации $m_p$ через $m$. Оба пространства отображений пусты при $\operatorname{im}(p)\nleq S$ и стягиваемы в противном случае. Эквивалентность естественна по обоим аргументам. $\square$

Следствия [Т]. $L_Gi_G\simeq\mathrm{id}$, поэтому эндофунктор $i_GL_G$ идемпотентен с точностью до когерентной эквивалентности. $\operatorname{im}(p)$ — наименьший подобъект $G$, через который факторизуется $p$. Факторизация образа устойчива относительно обратного образа, поэтому для $f:G'\to G$ выполняется $f^*L_Gp\simeq L_{G'}f^*p$.

Смысл универсального свойства

Рефлектор забывает множественность свидетелей и высшие гомотопии, сохраняя логический носитель над указанной базой. Он даёт наименьший носитель в порядке подобъектов. Он не минимизирует расстояние Бюреса, не предсказывает матрицу плотности, не выбирает скорость и не определяет чистый или смешанный якорь. Применение к тождеству $G\to G$ возвращает это тождество; это не вычисление численного аттрактора. Ограниченные классы «допустимых подобъектов» требуют собственной предпосылки замкнутости или отражения; внутренняя логическая согласованность сама по себе её не обеспечивает.

Отзыв нетипизированной эквивалентности

Отозвано 2026-10-03 [✗]: категориальное ⇔ динамическое ⇔ идемпотентное

Прежнее включение $\mathrm{Sub}(G)\hookrightarrow\mathcal E$ не может иметь заявленного левого сопряжённого при произвольном $G$. Его терминальный объект — $G\hookrightarrow G$; правый сопряжённый сохраняет терминальные объекты, что заставляет $G$ быть терминальным в $\mathcal E$. Эквивалентно, прежняя формула Hom при $S=G$ вынуждает $\operatorname{Map}_{\mathcal E}(X,G)\simeq *$ для каждого $X$. Исправленное сопряжение находится в $\mathcal E_{/G}$, чей терминальный объект — $G\to G$. Правые сопряжённые сохраняют пределы — Kerodon.

Идемпотентность отображения состояний недостаточна для сопряжения: она не задаёт функтор на морфизмах, единицу и универсальную эквивалентность пространств отображений. Даже идемпотентный функтор может не быть рефлектором. В дискретной категории с объектами $x,y$ постоянный функтор в $y$ идемпотентен, но включение $\{y\}$ не имеет такого левого сопряжённого: $\operatorname{Hom}(x,y)=\varnothing$, тогда как $\operatorname{Hom}(y,y)=\{\mathrm{id}\}$. В свою очередь, конечный шаг $M_{\mathrm{coh}}$ не идемпотентен. Доказанной эквивалентности между $L_G$, $M$ и динамическим пределом нет.

Стягиваемость отображений в терминальный объект даёт единственность с точностью до когерентной гомотопии. Она не задаёт физическую множественность решений и не является теоремой о свободе воли.

Численные самомодели

Область определения

$$\mathcal D(\mathcal H)=\{\rho=\rho^\dagger\succeq0:\mathrm{Tr}\rho=1\}.$$

Это компактное выпуклое подмножество вещественного аффинного пространства эрмитовых матриц следа один. Его внутренность имеет касательное пространство $\mathrm{Herm}_0(\mathcal H)=\{V=V^\dagger:\mathrm{Tr}V=0\}$. На границе лишь допустимые направления задают пути состояний; дифференциальные утверждения там требуют продолжения на аффинную окрестность.

Редукция требует тензорного произведения

Редуцированная модель $\mathrm{Tr}_{\bar M}\rho$ требует явной факторизации $\mathcal H_{\mathrm{ext}}=\mathcal H_M\otimes\mathcal H_{\bar M}$. Линейное подпространство $M\subset\mathcal H$ не является тензорным фактором, а разность множеств $\mathcal H\setminus M$ — окружением модели. Возвращение в $\mathcal D(\mathcal H)$ требует заданного отображения подготовки/декодирования. В частности, $\mathbb C^7$ не имеет нетривиальной тензорной факторизации на меньшие конечномерные системы.

Замороженные каналы и адаптивные отображения

CPTP-отображение линейно на операторах. При фиксированных операторах Крауса

$$\mathcal P(X)=\sum_a K_aXK_a^\dagger,\qquad\sum_aK_a^\dagger K_a=I.$$

Для фиксированных $0\leq k<1$ и $\sigma\in\mathcal D(\mathcal H)$ определим канал

$$\mathcal C_{k,\sigma}(X)=k\mathcal P(X)+(1-k)\mathrm{Tr}(X)\sigma.$$

При $\sigma=\sum_i s_i|u_i\rangle\langle u_i|$ часть сброса имеет операторы Крауса $\sqrt{(1-k)s_i}|u_i\rangle\langle j|$ наряду с $\sqrt{k}K_a$. Сумма квадратов сопряжённых равна $I$. Поэтому $\mathcal C_{k,\sigma}$ является CPTP [Т]. На состояниях множитель следа равен единице. Это реализует заданную цель; оно не выводит эту цель из $L_G$. Watrous, The Theory of Quantum Information, глава 2.

Для зависящего от состояния закона параметров $\lambda(\Gamma)$ положим

$$M(\Gamma)=\mathcal C_{\lambda(\Gamma)}(\Gamma).$$

Каждый замороженный $\mathcal C_\lambda$ является CPTP, тогда как $M$ обычно нелинейно, неаффинно на смесях и не является одним CPTP-каналом. Контрактивность замороженного канала неприменима к двум состояниям с разными параметрами. Физическое исполнение адаптивного закона требует заданного классического считывания/контроллера либо дополнительного онтологического постулата; представление Крауса не обеспечивает точный доступ к неизвестной входной матрице плотности.

Канал на одной системе не является отображением клонирования. Запрет клонирования касается производства двух точных копий произвольных неизвестных состояний, включая CPTP-реализации; он не обходится простым использованием неунитарного отображения. CPTP-каналы могут увеличивать чистоту (пример — сброс в чистое состояние); чистота Гильберта—Шмидта не возрастает для унитальных, а не произвольных каналов.

Сжатие при фиксированных параметрах

Лемма 2.1 [Т]. При фиксированных $k,\sigma,\mathcal P$

$$\|\mathcal C_{k,\sigma}(\rho)-\mathcal C_{k,\sigma}(\eta)\|_1 \leq k\|\rho-\eta\|_1.$$

Доказательство. Сброс сокращается в разностях; контрактивность следовой нормы CPTP-канала на эрмитовых разностях даёт оценку. Если $\mathcal P$ также унитален на той же матричной алгебре, оценка нормы Фробениуса с множителем $k$ следует из неравенства Кадисона—Шварца и сохранения следа. Общие неунитальные каналы не обязаны сжимать норму Фробениуса. $\square$

Канонические семейства и их статус

Пусть $\Delta(\Gamma)=\operatorname{diag}\Gamma$ и

$$\mathcal P_{\mathrm{Fano}}=\tfrac13\sum_{p=1}^7\Pi_p(\cdot)\Pi_p, \quad\mathcal P_\alpha=\alpha\Delta+(1-\alpha)\mathcal P_{\mathrm{Fano}},\quad0\leq\alpha\leq1.$$

Диагональ фиксируется, внедиагональные элементы умножаются на $c=(1-\alpha)/3$. Поэтому равновесный Фано-канал равен $\tfrac13\mathrm{id}+\tfrac23\Delta$; само попарное затухание не выявляет структуру инцидентности. Определим $R=1/(7P)$, $k=1-R$. Эти веса и следующие якоря являются явными спецификациями [D], свойства которых доказываются условно на их выборе:

$$M_{\mathrm{coh}}(\Gamma)=k\mathcal P_\alpha(\Gamma)+R I/7,$$ $$M_s(\Gamma)=k\mathcal P_\alpha(\Gamma)+R\Gamma^2/P, \qquad M_J(\Gamma)=k\mathcal P_\alpha(\Gamma)+Ruu^\dagger, \quad u=(1,\ldots,1)/\sqrt7.$$

Каждое отображение непрерывно, сохраняет состояния и обычно нелинейно. Замороженная реализация — канал выше с текущими весом и якорем, удерживаемыми фиксированными. Закон спектрального заострения $M_s$ не является независимым от состояния инструментом Людерса: сам эффект зависит от $\Gamma$, а нормированное обновление условно.

$M_{\mathrm{coh}}$ имеет единственную неподвижную точку $I/7$, причём $\|M_{\mathrm{coh}}(\Gamma)-I/7\|_F\leq(6/7)\|\Gamma-I/7\|_F$. Это доказывает сходимость итераций к $I/7$, но не сжатие произвольных пар: константа Липшица равна $9/8$. Полная регенеративная динамика с этой унитальной целью не поддерживает изолированный жизнеспособный голон. Отдельные конструкции $M_s$ и $M_J$ и их действительные аттракторы описаны в операторе φ и эволюции. Неподвижная точка $M$ не обязана быть стационарным состоянием полного векторного поля.

Ограничения на якорь

При фиксированном $k<1$ и диагональном якоре $\sigma=\sum_iw_i|i\rangle\langle i|$ отображение $k\Delta+(1-k)\sigma$ имеет единственную неподвижную точку $\sigma$ (теорема 2.1). Для произвольного постоянного якоря и фиксированного канала неподвижная точка равна

$$\rho_*=(1-k)(I-k\mathcal P)^{-1}\sigma =(1-k)\sum_{n\geq0}k^n\mathcal P^n(\sigma).$$

Положительный ряд имеет след один; он равен $\sigma$ лишь при $\mathcal P(\sigma)=\sigma$.

Отозвано 2026-10-03 [✗]: теорема 2.2 об обязательной E-акцентуации. Скалярные условия $R\geq1/3$, $\Phi\geq1$ и дифференциация заданной подсистемы не вынуждают $w_E>1/7$ в якоре обратной связи. Условия на состояние не ограничивают независимый закон якоря без связывающей предпосылки. Прежнее $\alpha^*=37/49$ не имело корректного вывода. E-акцентированный якорь может быть явной гипотезой; он не следует из L2.

Для семейства $\sigma(a)=a|E\rangle\langle E|+(1-a)\sum_{i\ne E}|i\rangle\langle i|/6$ точная чистота равна $a^2+(1-a)^2/6$. При $a\geq1/7$ условие $P(\sigma)>2/7$ выполняется тогда и только тогда, когда $a>(1+\sqrt6)/7\approx0.4928$ [Т в этом семействе]. Диагональный якорь имеет $\Phi=0$, поэтому его жизнеспособная чистота не устанавливает интегрированную сознательную неподвижную точку. Якорь максимальной интеграции $M_J$ следует из (MaxΦ)/(Eq-V) [Pr], а не из сопряжения носителя.

Теорема T-191 (Сходимость φ-башни; переформулирована 2026-09-25) [Т]

warning

Отозвано (2026-09-25): сходимость «от любого якоря» для всякого голонома, $q = \kappa_{\max}/(\lambda_{\mathrm{gap}} + \kappa_{\min})$ [✗]

Прежнее утверждение — башня сходится для всякого голонома, от любого якоря, со скоростью $q = \kappa_{\max}/(\lambda_{\mathrm{gap}} + \kappa_{\min}) < 1$ — отозвано вместе с доказательством, которое есть отозванное доказательство T-124c в другом облачении. Шаг 1 называл $\mathcal{L}_0 + \kappa(\Gamma)g_V(P)(\varphi^{(n)}(\Gamma) - \Gamma)$ генератором сжимающей CPTP-полугруппы с единственным стационарным состоянием; скаляры зависят от $\Gamma$, и затвор делает поток бистабильным. У изолированного голонома с фиксированной целью $|0\rangle\langle 0|$ и $\kappa = 3$ поток из $I/7$ стоит в $I/7$ (затвор закрыт), а поток из $|0\rangle$ приходит в живое состояние с $P \approx 0{,}98$, так что $\varphi^{(n+1)} = \lim_\tau \exp(\tau\mathcal{L}^{(n)})$ не определено. Шаг 3 пользовался $\kappa_{\max} < \lambda_{\mathrm{gap}}$, «верифицированным в T-96», — T-96 такой оценки не даёт. Для канонического унитального $\varphi_{\mathrm{coh}}$ башня, начатая в $I/7$, остаётся на мёртвом канале замены $\Gamma \mapsto I/7$ (мёртвая изоляция).

Теорема T-191 (переформулирована) [Т]

Пусть воплощённый голоном несёт член хребта $\mu(\sigma - \Gamma)$ (T-148); пусть $L_{\mathcal{R}}$ — константа Липшица в следовой норме на $\mathcal{D}(\mathbb{C}^7)$ отображения $\Gamma \mapsto \kappa(\Gamma)g_V(P)(a - \Gamma)$, равномерная по целевому состоянию $a$, и $\kappa_{\max} = \sup \kappa\,g_V$. Если

$$\mu > L_{\mathcal{R}} + \kappa_{\max},$$

то башня самомоделей — $a_0$ любое состояние, $a_{n+1}$ — стационарное состояние динамики с целью регенерации $a_n$ (так что $\varphi^{(n)}$ — канал замены $\Gamma \mapsto a_n$) — корректно определена, и

$$\|a_n - a^*\|_1 \leq \frac{q^n}{1 - q}\,\|a_1 - a_0\|_1, \qquad q = \frac{\kappa_{\max}}{\mu - L_{\mathcal{R}}} < 1,$$

с одним пределом $a^*$ для всякого начального якоря: $a^*$ — стационарное состояние динамики, регенерирующей к самому $a^*$.

Доказательство. Каждая итерация определена. $\mu > L_{\mathcal{R}}$ — доминирование хребта из T-124c (3): при всякой цели $a$ у динамики ровно одно стационарное состояние $\rho(a)$, и всякая траектория приходит к нему со скоростью $c = \mu - L_{\mathcal{R}}$ в следовой норме.

Итерация сжимает. Для целей $a, b$ два генератора отличаются на $\kappa(\Gamma)g_V(P)(a - b)$, чья следовая норма не больше $\kappa_{\max}\|a - b\|_1$. Пустим динамику с целью $a$ из $\rho(b)$; разность $\Delta(\tau)$ с постоянным решением $\rho(b)$ динамики с целью $b$ по оценке сжатия из T-124c (3) с этой неоднородностью удовлетворяет $\|\Delta(\tau)\|_1 \leq \int_0^\tau e^{-c(\tau - s)}\,\kappa_{\max}\|a - b\|_1\,ds \leq \kappa_{\max}\|a - b\|_1/c$. При $\tau \to \infty$ траектория приходит в $\rho(a)$, так что $\|\rho(a) - \rho(b)\|_1 \leq q\,\|a - b\|_1$.

Банах. $\mathcal{D}(\mathbb{C}^7)$ со следовой нормой полно; $a \mapsto \rho(a)$ — сжатие с константой $q < 1$, поэтому у него одна неподвижная точка $a^*$, итерации сходятся к ней геометрически, а две башни, начатые в $a_0, \tilde a_0$, сближаются как $q^n\|a_0 - \tilde a_0\|_1$. $\blacksquare$

Константы. При постоянном $\kappa$: $\lvert P(X) - P(Y)\rvert = \lvert\mathrm{Tr}\,(X + Y)(X - Y)\rvert \leq 2\|X - Y\|_1$ и $g_V = \mathrm{clamp}(7P - 2, 0, 1)$ дают $L_{\mathcal{R}} \leq \kappa(1 + 2 \cdot 14) = 29\kappa$. Свидетель (test_phi_tower_converges_only_under_backbone_dominance): $\kappa = 0{,}1$, $\mu = 3{,}5$, $P(\sigma) > 3/7$, так что $q \leq 1/6$; от якорей $I/7$, $|0\rangle$ и случайного чистого башни сходятся друг к другу до $10^{-10}$, каждый шаг сжимает не более чем в $0{,}028$ раза, у предела невязка $< 10^{-10}$ при открытом затворе; изолированный контрпример из врезки выше — в той же проверке.

Зависимости: T-124c (3) [Т] (доминирование хребта: существование, единственность и скорость стационарного состояния), T-148 [Т] (член хребта). Стандартная математика: теорема Банаха о неподвижной точке, оценка вариации постоянных для потока, сжимающего в следовой норме. (До 2026-09-25 зависимости гласили «T-39a (спектральная щель), T-59, T-96 ($\kappa < \kappa_{\max}$), T-124c (единственность аттрактора)»; утверждение T-124c о единственности отозвано, а T-96 никакого $\kappa$ не ограничивает.)

Динамические пределы и спектральные проекторы

Нелинейная ретракция в бассейне [Т при сходимости]

Пусть $F_t:D\to D$ — непрерывный автономный полупоток, $F_{t+s}=F_tF_s$, на инвариантной области состояний. Предположим, что $r(x)=\lim_{t\to\infty}F_t(x)$ существует в $D$ для каждого $x\in D$. Тогда

$$F_s(r(x))=\lim_{t\to\infty}F_s(F_t(x)) =\lim_{t\to\infty}F_{t+s}(x)=r(x).$$

Значит, $r(x)$ является равновесием и $r(r(x))=r(x)$. Это доказывает теоретико-множественную ретракцию на равновесия [Т]; категориальное сопряжение отсюда не следует. Непрерывность $r$ требует дополнительных предпосылок, например локально равномерной сходимости; на границах бассейнов она может нарушаться. Периодические и рекуррентные аттракторы обычно не дают поточечного предела. Единственность стационарного состояния сама по себе не доказывает глобальную сходимость.

Линейная спектральная формула с корректными предпосылками

Теорема 2.3 (пересмотрена) [Т]. Пусть $\mathcal L$ — конечномерный линейный генератор GKSL. Его ограниченная CPTP-полугруппа имеет полупростые периферические собственные значения. Предел Чезаро

$$\overline\Pi_0=\lim_{T\to\infty}\frac1T\int_0^T e^{t\mathcal L}\,dt$$

существует, является CPTP и идемпотентен, и равен спектральному проектору на $\ker\mathcal L$. Обычный предел $\lim_{t\to\infty}e^{t\mathcal L}$ равен этому проектору, если отсутствуют ненулевые чисто мнимые собственные значения. Если стационарное пространство дополнительно одномерно с нормированным состоянием $\rho_0$, проектор равен $X\mapsto\mathrm{Tr}(X)\rho_0$.

Доказательство. Жорданова нормальная форма: ограниченность запрещает нетривиальные жордановы блоки на $\operatorname{Re}\lambda=0$; моды с отрицательной вещественной частью затухают. Усреднение по времени устраняет каждую ненулевую мнимую частоту и оставляет ровно нулевое собственное подпространство. CPTP-каналы образуют замкнутое выпуклое множество, поэтому усреднённый предел является CPTP. При $\lambda=i\omega\ne0$ выражение $e^{i\omega t}$ не сходится, поэтому прежняя сумма по всем $\operatorname{Re}\lambda=0$ не была обычным асимптотическим пределом. В одномерном случае сохранение следа фиксирует коэффициент при $\rho_0$ как $\mathrm{Tr}(X)$. $\square$

Для диагонализируемого $\mathcal L$ при биортогональных по Гильберту—Шмидту собственных операторах

$$\overline\Pi_0(X)=\sum_{a:\lambda_a=0}R_a\,\mathrm{Tr}(L_a^\dagger X), \qquad\mathrm{Tr}(L_a^\dagger R_b)=\delta_{ab}.$$

Диагонализируемость требуется для формулы через собственные векторы, а не для существования спектрального проектора. В вычислениях следует использовать ядро или разложение Шура с явно проверенным спектральным разделением; проверка только $|\operatorname{Re}\lambda|<\varepsilon$ ошибочно включает колебательные моды. Эрмитизация и нормировка следа не исправляют неверный проектор и не удостоверяют полную положительность.

Отозвано [✗]: нелинейный якобиан как проектор самомодели. В гиперболическом притягивающем равновесии $C^1$-векторного поля, сохраняющего след, якобиан на $\mathrm{Herm}_0(7)$ имеет лишь собственные значения с отрицательной вещественной частью; нулевой моды у него нет. Сохранение следа — тождество левого аннулирования на объемлющем продолжении, а не стационарный правый собственный вектор касательного якобиана. Примитивность $\mathcal L_0$ сама по себе ничего не говорит о спектре якобиана $\mathcal L_0+\mathcal R$. Для общего нелинейного векторного поля линейного супероператора $e^{t\mathcal L_\Omega}$ не существует. Его полупоток следует обозначать $F_t$ и вычислять как нелинейный.

Итерация и глубина

Определим $M^{(n)}$ обычной композицией, $M^{(0)}=\mathrm{id}$, а при необходимости введём $\widehat R^{(n)}=F(M^{(n-1)}\Gamma,M^{(n)}\Gamma)$ через квадрат верности Ульмана. Эта величина отличается от канонического $R=1/(7P)$ и от $R_M$ ниже. Если $M$ идемпотентно, то $\widehat R^{(n)}=1$ при $n\geq2$; такая величина сама по себе не различает высшие уровни. Пороги L3/L4 или максимальная феноменологическая глубина требуют отдельных определений и мостовых предпосылок; существование итераций их не выводит.

Теоремы о неподвижной точке

Теорема 3.1 [Т]. Самоотображение $\mathcal D(\mathcal H)$, сжимающее с коэффициентом $q<1$ в заданной полной норме, имеет единственную неподвижную точку и сходящиеся итерации с ошибкой не более $q^n\|\rho-\rho_*\|$. Это теорема Банаха. Лемма 2.1 проверяет предпосылку в следовой норме при фиксированных параметрах. Она не проверяет её для адаптивных $M_{\mathrm{coh}},M_s,M_J$.

Теорема 3.2 (усилена) [Т]. Любое непрерывное $M:\mathcal D(\mathcal H)\to\mathcal D(\mathcal H)$ имеет точную неподвижную точку по теореме Брауэра. Непрерывность не обеспечивает ни единственность, ни сходимость итераций. В конечной размерности приближённая регуляризация неподвижной точки не требуется.

Корректный критерий сжатия (теорема 3.3). Для линейного канала одношаговое сжатие состояний в норме Фробениуса эквивалентно операторной норме $<1$ на эрмитовом бесследовом подпространстве (наибольшему сингулярному числу там), а не просто модулям собственных значений $<1$. Спектральный радиус $<1$ на этом подпространстве обеспечивает затухание степеней и сжатие некоторой достаточно большой степени; ненормальное отображение может увеличивать расстояние за один шаг. Различие применимо и к якобианам устойчивости.

Рефлексия и отклик

Две разные величины

$$R(\Gamma)=\frac1{7P}\in[1/7,1],\qquad R_M(\Gamma)=1-\frac{\|\Gamma-M(\Gamma)\|_F^2}{P}.$$

В корпусе $R_M$ также обозначается $R_\varphi$. Он измеряет нормированное рассогласование и ограничен сверху единицей, но может быть отрицательным: для двух ортогональных чистых состояний при $M(\Gamma)$, равном другому состоянию, $R_M=-1$. Это не вероятность без дополнительного ограничения допустимости. В любой неподвижной точке $R_M=1$, тогда как $R=1/(7P)$ по-прежнему определяется чистотой. Независимая от выбора самомодели мера сознания $C=\Phi R$ не превращается в $\Phi$ только потому, что $R_M=1$.

Непрерывность в неподвижной точке даёт $R_M\to1$. Для сжатия в норме Фробениуса с коэффициентом $q<1$ последовательность $\Gamma_n=M^n\Gamma_0$ удовлетворяет

$$1-R_M(\Gamma_n) \leq\frac{q^{2n}}{P_{\min}}\|\Gamma_0-M\Gamma_0\|_F^2 \leq\frac{(1+q)^2q^{2n}}{P_{\min}}\|\Gamma_0-\Gamma_*\|_F^2, \quad P_{\min}=1/N.$$

Это условные оценки (теоремы 4.1–4.2). Безусловной теоремы о сходимости произвольной нелинейной самомодели из примитивности линейного диссипатора не следует.

Производная численной самомодели

Для дифференцируемого вдоль пути состояний $M$ положим $\Delta=\Gamma-M(\Gamma)$. Правило цепочки даёт точное тождество

$$\dot R_M=(1-R_M)\frac{\dot P}{P} -\frac2P\langle\Delta,(I-DM)[\dot\Gamma]\rangle_F.$$

T-249 [Т]. Для диссипативного замещающего семейства $M(\Gamma)=R\Gamma+(1-R)I/7$

$$DM[V]=RV-\frac{2}{7P^2}\langle\Gamma,V\rangle_F(\Gamma-I/7).$$

Доказательство. Дифференцируем $R=1/(7P)$, используя $DP[V]=2\langle\Gamma,V\rangle_F$. Оба слагаемых имеют след ноль. Семейство унитарно эквивариантно. Его рассогласование удовлетворяет $R_M=1-(1-R)^3$, поэтому $\dot R_M=-3(1-R)^2\dot P/(7P^2)$, что воспроизводится и подстановкой в правило цепочки. Это семейство отличается от $M_{\mathrm{coh}}$; его производную нельзя подставлять вместо производной другого семейства. $\square$

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

T-250 [Т при дифференцируемости]. При $C_M(\Gamma)=\|I-DM_\Gamma\|_{F\to F}$

$$\left|\dot R_M-(1-R_M)\dot P/P\right| \leq\frac{2}{\sqrt P}\sqrt{1-R_M}\,C_M(\Gamma)\|\dot\Gamma\|_F.$$

Доказательство. Неравенство Коши—Шварца и $\|\Delta\|_F=\sqrt{P(1-R_M)}$. Для семейства T-249 $C_M\leq(1-R)+2R\sqrt{1-R}$. $\square$

При постоянной $P$, обозначив $u=\sqrt{1-R_M}=\|\Delta\|_F/\sqrt P$, получаем строгую оценку пути

$$|u(t_2)-u(t_1)|\leq\frac1{\sqrt P} \int_{t_1}^{t_2}C_M(\Gamma(t))\|\dot\Gamma(t)\|_F\,dt.$$

Константа вне интеграла должна быть равномерной оценкой вдоль пути. Формулировка через норму обрабатывает и $u=0$ без деления на ноль. Инвариантность относительно группы выполняется лишь при эквивариантности $M$ относительно этой группы. Оценка сама по себе не определяет знак и типичную скорость изменения и не выводит феноменологическую интерпретацию вроде растворения эго.

Обучение и дополнительные параметры

Для $M_\theta(\Gamma)=(1-k)\Gamma+k\rho_\theta$ при фиксированном $k$ гипотетический закон выравнивания $\dot\rho_\theta=2\eta(\bar\Gamma-\rho_\theta)$ сохраняет пространство состояний и имеет точное решение $\rho_\theta(t)=(1-e^{-2\eta t})\bar\Gamma+e^{-2\eta t}\rho_\theta(0)$. При фиксированном практикуемом $\bar\Gamma$ это даёт $R_{M_\theta}(\bar\Gamma)=1-k^2e^{-4\eta t}\|\bar\Gamma-\rho_\theta(0)\|_F^2/P$. Закон обучения и его опытная интерпретация — дополнительные модельные предпосылки [H]/[I]; формула имеет статус [Т внутри этого закона]. При изменении параметров со временем производная рассогласования содержит $\partial_\theta M\,\dot\theta$ наряду с $D_\Gamma M\,\dot\Gamma$.

Неявные численные модели

T-251 [Т при явной регулярности]. Пусть $G(x,y)$ продолжается до $C^1$-функции на открытых окрестностях в аффинных пространствах следа один, пространство состояний инвариантно для $y\mapsto G(x,y)$, и $\|D_2G\|\leq q<1$. Для каждого $x$ обозначим через $M(x)$ единственную неподвижную точку. Локально, где выполнены условия продолжения, теорема о неявной функции даёт

$$DM=(I-D_2G)^{-1}D_1G=\sum_{n\geq0}(D_2G)^nD_1G, \qquad\|DM\|\leq\frac{\|D_1G\|}{1-q}.$$

Доказательство. Дифференцируем $y-G(x,y)=0$; $I-D_2G$ обратим по ряду Неймана. $\square$ Гладкость не следует из сопряжения носителя, непрерывности по Бюресу или просто записи функции на замкнутом выпуклом множестве. Эта теорема дифференцирует численное уравнение неподвижной точки, а не рефлектор логического носителя.

Оценка различения с точными константами

T-252 [Т]. Для любого POVM и $\Delta=\Gamma-M\Gamma$

$$\mathrm{TV}(p_\Gamma,p_{M\Gamma})\leq\tfrac12\|\Delta\|_1, \qquad\|\Delta\|_1\leq\sqrt{48/7}\|\Delta\|_F.$$

Вторая константа точна на $\mathrm{Herm}_0(7)$. Если положительные и отрицательные собственные значения имеют кратности $p,q$ и общую сумму модулей $s$, Коши—Шварц даёт $\|\Delta\|_F^2\geq s^2(1/p+1/q)$ и $\|\Delta\|_1=2s$. Поэтому квадрат отношения не превосходит $4pq/(p+q)\leq48/7$, с равенством на $\operatorname{diag}(4,4,4,-3,-3,-3,-3)$ с точностью до масштаба. Шаг POVM насыщается проектором на положительный спектр.

Для правила решения с успехом $A_D$ на истинном состоянии соответствующий успех на модели удовлетворяет

$$p_M\geq A_D-2\sqrt{3/7}\sqrt{P(1-R_M)}.$$

При этом задача нескольких гипотез требует применять оценку к каждому состоянию или усреднять по заданному ансамблю; POVM на одном состоянии сам по себе не определяет точность классификации ансамбля. Если $A_D>1/K$, строгое превосходство $p_M>1/K$ гарантируется условием

$$R_M>1-\frac7{12P}(A_D-1/K)^2.$$

Равенство даёт лишь $p_M\geq1/K$. При $K=3$, $A_D=1$ достаточная граница меняется с $P$ от $5/54$ до $32/81$ на $(2/7,3/7]$; это не выбирает универсальный порог $1/3$.

Для корректного секторного POVM $E_\pm=(\Pi_{ij}\pm X_{ij})/2$, $E_0=I-\Pi_{ij}$ сдвиг вероятности исхода ограничен $|\Delta_{ij}|+|\Delta_{ii}+\Delta_{jj}|/2$. При $\gamma_{ij}\ne0$ и $R_{ij}:=1-|\Delta_{ij}|^2/|\gamma_{ij}|^2$ тождество $|\Delta_{ij}|=|\gamma_{ij}|\sqrt{1-R_{ij}}$ точно. Амплитуда и диагональное рассогласование остаются в оценке. Поэтому прежнее утверждение, что это выводит $R_{ij}\geq1/3$, отозвано [✗]; рабочий порог требует отдельной калибровки/интерпретации. Сравнение точности решения с каноническим $R=1/(7P)$ не следует из оценок рассогласования без дополнительного моста.

Категории, монады и реализация

Замороженный CPTP-канал — эндоморфизм матричной алгебры в категории каналов; он не является автоматически эндофунктором или естественным преобразованием. Сопряжение обратным каналом определяет автоморфизм категории каналов лишь для заданного обратимого канала с CPTP-обратным. Численное отображение состояний $M$ вообще не обязано действовать на морфизмах.

Действительное сопряжение носителя задаёт идемпотентную монаду на $\mathcal E_{/G}$, $T_G=i_GL_G$, с единицей из факторизации образа и умножением, индуцированным коединицей $L_Gi_G\simeq\mathrm{id}$. Её алгебры — ровно $(-1)$-усечённые объекты над $G$, а не матрицы плотности, удовлетворяющие независимому уравнению обратной связи.

Для вероятностного смешивания корректная стандартная конструкция — монада конечных вероятностных распределений $\mathsf{Dist}_f$ на множествах. Выпуклое пространство состояний — её алгебра по правилу $(p_a,\rho_a)\mapsto\sum_ap_a\rho_a$. Линейный канал сохраняет эту выпуклую структуру; общее адаптивное $M$ — нет. Прежнее выражение $T(X)=\mathcal D(\mathbb C^{|X|})$ вместе с $T(T(X))$ и «носителем» матрицы плотности не задавало монаду на Set. Прежняя теорема 5.1, отождествлявшая одну неподвижную матрицу с такой алгеброй, отозвана [✗]. Одни каналы также не задают заявленную 2-категорию «естественных преобразований между каналами»; 2-категорное усиление требует явных hom-категорий и законов композиции.

Мост от логического носителя к численному самомоделированию должен задавать представление состояний, категорию считывания/моделей и функтор реализации с условием совместимости. Такой мост не выводится из сопряжения просто использованием одного символа $\varphi$. Его построение остаётся исследовательской задачей [Pr].

Область применимости и интерпретация

Существование, единственность, сходимость, динамическая устойчивость и физическая реализация — разные утверждения с отдельными предпосылками. Неподвижная точка даёт равенство входа и выхода выбранного отображения; интерпретация как точного самопознания требует независимой модели ошибки/считывания [I]. Это не обязательно термодинамическое равновесие. Равенство неподвижной точки обращает регенерацию в ноль, но другие члены векторного поля могут продолжать двигать состояние.

Требования к реализации

Следует задать отображение и его параметры до проверки выхода. Нейронная модель «состояние → состояние» может использовать $LL^\dagger/\mathrm{Tr}(LL^\dagger)$ при $L\ne0$ для корректности состояния; это не доказывает аффинность, полную положительность как линейной операции, сжатие или соответствие логическому рефлектору. Для нейронного CPTP-канала следует параметризовать изометрию Стайнспринга или положительную матрицу Чои с ограничением сохранения следа. Смешивание общего нейронного выхода с $I/7$ является сжатием только при отдельно доказанной оценке Липшица $L$ с $kL<1$.

Эрмитов вход $7\times7$ имеет 49 вещественных координат до ограничения следа и 48 независимых: 7 вещественных диагональных элементов и 21 комплексный внедиагональный. Комплексный нижнетреугольный фактор Холецкого с вещественной диагональю также использует 49 вещественных координат; нужно обеспечить ненулевую норму, например положительной диагональю. Сеть с 28 вещественными координатами не может представлять все комплексные состояния.

Операциональные алгоритмы

FUNCTION numerical_self_model(Gamma, alpha, anchor_kind):
    REQUIRE Gamma Hermitian, PSD, trace = 1; 0 <= alpha <= 1
    P := trace(Gamma * Gamma)
    R := 1 / (7 * P)
    c := (1 - alpha) / 3
    prediction := diag(Gamma) + c * (Gamma - diag(Gamma))
    IF anchor_kind == "coh": anchor := I / 7
    IF anchor_kind == "s":   anchor := Gamma * Gamma / P
    IF anchor_kind == "J":   anchor := u * u_dagger
    RETURN (1 - R) * prediction + R * anchor
    # Нелинейное отображение состояний; параметры заморожены лишь внутри шага канала.

FUNCTION reflection_readouts(Gamma, M):
    P := trace(Gamma * Gamma)
    R_canonical := 1 / (7 * P)
    R_model := 1 - norm_F(Gamma - M(Gamma))^2 / P
    RETURN R_canonical, R_model  # Не обрезать и не отождествлять эти величины.

Для примитивного линейного генератора следует решить $\mathcal L\rho_0=0$ при $\mathrm{Tr}\rho_0=1$ и проверить положительность, невязку и единственность; вернуть $X\mapsto\mathrm{Tr}(X)\rho_0$. Для нелинейного векторного поля следует интегрировать из заданных начальных состояний и проверять невязки, инвариантные области и зависимость от бассейна. Проекция якобиана размером 49×49 не является общим алгоритмом численной самомодели.

Каноническое считывание рефлексии

Сокращённый семимерный скрининг L2 использует $P>2/7$, $R_{\mathrm{canonical}}\geq1/3$ и $\Phi\geq1$. Это лишь скрининг: полное условие дифференциации требует заданного тензорного расширения и модели E-подсистемы. Пропуск этого условия не удостоверяет полный предикат L2. Это формальные критерии [D], эмпирическая интерпретация которых оценивается независимо.

Регенерация и сохранение состояний

При заданном численном законе $M$ и неотрицательной эффективной скорости $a(\Gamma)=\kappa(\Gamma)g_V(P)$ определим [D]

$$\mathcal R(\Gamma)=a(\Gamma)(M(\Gamma)-\Gamma).$$

При $0\leq h\,a(\Gamma)\leq1$ явный шаг обратной связи $(1-ha)\Gamma+haM(\Gamma)$ — матрица плотности по выпуклости [Т]. Его замороженная реализация является CPTP, если задано семейство каналов, но адаптивное обновление обычно нелинейно. В сочетании с линейным CPTP-потоком получается сохраняющая положительность схема расщепления при указанном ограничении шага. Локально липшицево непрерывное векторное поле с этим свойством касательного конуса сохраняет конечномерное множество состояний; существование и сходимость по-прежнему требуют собственных предпосылок.

При $M(\Gamma)=\Gamma$ регенерация исчезает. Обратно, она может исчезнуть и там, где $a=0$. Точная производная чистоты от регенерации равна

$$\dot P\big|_{\mathcal R}=2a(\Gamma)\bigl(\mathrm{Tr}(\Gamma M(\Gamma))-P\bigr).$$

Чистота цели сама по себе не определяет знак: цель высокой чистоты, ортогональная текущему чистому состоянию, даёт отрицательную начальную производную. Для унитальной цели $M_{\mathrm{coh}}$ перекрытие не превосходит $P$; неунитальные якоря требуют анализа действительного перекрытия и устойчивости. При $g_V=\operatorname{clamp}(7P-2,0,1)$ регенерация исчезает на пороге чистоты и ниже при любой конечной скорости. Поэтому жизнеспособная цель не доказывает глобальной инвариантности жизнеспособной области. Живой аттрактор $M_J$ и граница седла остаются явным условным результатом эволюции.

Точная амплитуда — $\|\mathcal R\|_F=a\sqrt{P(1-R_M)}$, а не $a\sqrt{P(1-R)}$ для произвольной модели. Скорости и гейты обратной связи — динамические спецификации; сопряжение носителя их не фиксирует. Замещающий поток с постоянной целью может иметь независимо доказанную градиентную интерпретацию BKM; движущаяся цель требует своей производной и не наследует автоматически теорему Ляпунова с постоянной целью.

Зависящие от времени модели и октонионная интерпретация

Для непрерывного семейства $M_t$, равномерно сжимающего с коэффициентом $q<1$, каждая мгновенная неподвижная точка существует единственным образом и меняется непрерывно. Если $M_t$ является $C^1$ на аффинной окрестности, то

$$\dot\Gamma_*(t)=(I-D_\Gamma M_t)^{-1}\partial_tM_t(\Gamma_*(t)).$$

Одна непрерывность не даёт производную. Мгновенная неподвижная точка не обязательно является решением-траекторией или адиабатически отслеживаемым состоянием.

Альтернативность октонионов ограничивает октонионное умножение, а не композицию произвольных отображений матричных состояний: композиция $M$ ассоциативна. Связь линий Фано с октонионным произведением может структурировать выбранные фильтры [D]/[I]; она не делает CPTP- или нелинейную самомодель «неассоциативной» и не выводит её якорь.

Составные системы и компиляция локальных каналов

Отозвано [✗]: категориальный вывод тензорной факторизации. В общем случае $\mathrm{Sub}(A\times B)\not\simeq\mathrm{Sub}(A)\times\mathrm{Sub}(B)$ даже в Set: диагональ двухточечного квадрата не является декартовым прямоугольником. Вероятностная условная независимость не влечёт этого тождества решёток. Декартово произведение в топосе и гильбертово тензорное произведение не взаимозаменяемы. Поэтому сопряжение носителя не выводит $M_{AB}=M_A\otimes M_B$; тензорное произведение нелинейных отображений состояний не определено без данных расширения.

Для заданного замороженного локального канала $\mathcal C_{A,\lambda}$ расширение на систему-наблюдателя определяется как

$$\widetilde{\mathcal C}_{A,\lambda}=\mathcal C_{A,\lambda}\otimes\mathrm{id}_B.$$

Для адаптивного локального закона выбирается $\lambda=\lambda(\rho_A)$, $\rho_A=\mathrm{Tr}_B\rho_{AB}$, и этот замороженный канал применяется к совместному состоянию. Это задаёт расширение относительно выбранного семейства каналов. Разные компиляции одного численного маргинального закона могут по-разному действовать на корреляции; одно отображение маргинальных состояний не обеспечивает единственность расширения.

Маргинальное тождество [Т]. Сохранение следа даёт

$$\mathrm{Tr}_A[(\mathcal C_{A,\lambda}\otimes\mathrm{id}_B)(\rho_{AB})]=\rho_B.$$

Доказательство. Проверим на любом $O_B$; сопряжённый к каналу унитален, поэтому $(\mathcal C_{A,\lambda}^*\otimes\mathrm{id})(I_A\otimes O_B)=I_A\otimes O_B$. Равенство всех средних доказывает тождество. Оно выполняется при каждом замороженном параметре, значит, и поточечно при адаптивном выборе и скалярном множителе соответствующего приращения. $\square$

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

Источники и зависимости

• Lurie, Higher Topos Theory: усечение, срезы и факторизация образа.
• Kerodon, следствие 7.1.4.28: правый сопряжённый сохраняет пределы.
• Watrous, The Theory of Quantum Information, глава 2: линейные каналы, представление Крауса и тензорные расширения.
• Оператор φ: явные $M_{\mathrm{coh}},M_s,M_J$ и предпосылки якоря.
• Эволюция: равновесия полного векторного поля и их отдельные условия устойчивости.