Категорный формализм: процессы, пучки и интерпретация

Исправленное математическое основание — 2026-10-03

Категория процессов, сайт открытых подмножеств, численное состояние и феноменальная интерпретация имеют разные типы. Здесь доказываются конструкции после задания их данных. Сам по себе пучковый топос не выбирает семь измерений, гамильтониан, кодирование состояния или феноменальный мост. Каноническая нотация зафиксирована в математическом ядре.

Статусы: [D] определение или выбранная модель; [T] теорема с указанными предпосылками; [C] условное отождествление; [H] гипотеза; [I] интерпретация; [Pr] программа исследований; [✗] снятое утверждение.

1. Категория процессов, сохраняющих выделенное состояние

Зафиксируем конечномерные гильбертовы пространства, используя малый скелет. В категории систем $\mathbf{CPTP}$ объект — система $\mathcal H$, стрелка — линейное вполне положительное, сохраняющее след отображение $\Lambda:\mathcal B(\mathcal H)\to\mathcal B(\mathcal K)$. Присваивание состояний — функтор

$$\mathcal D:\mathbf{CPTP}\to\mathbf{Set},\qquad \rho\longmapsto\Lambda(\rho).$$

Определение 1.1 [D]. Категория $\mathbf{DensityMat}=\int\mathcal D$ имеет объекты $(\mathcal H,\rho)$ и стрелки $\Lambda:(\mathcal H,\rho)\to(\mathcal K,\sigma)$ с условием $\Lambda(\rho)=\sigma$. $\mathbf{DensityMat}_N$ означает ограничение на фиксированную систему $\mathbb C^N$.

Каналы и композиция

Теоремы 1.1–1.2 [T]. В конечной размерности канал имеет представление Крауса

$$\Lambda(X)=\sum_aK_aXK_a^\dagger,\qquad\sum_aK_a^\dagger K_a=I.$$

Композиция — обычная композиция функций; операторы Крауса для $\Psi\Lambda$ равны $B_bK_a$. Тождество имеет единственный оператор $I$. Условие на концы сохраняется: $\Psi\Lambda(\rho)=\Psi(\sigma)$. Это доказывает все аксиомы категории, включая строгую ассоциативность. Watrous, глава 2.

Терминальный объект и тензорное произведение

Для каждой пары состояний есть канал замены $X\mapsto\operatorname{Tr}(X)\sigma$; множества морфизмов здесь никогда не пусты. При $N>1$ никакой объект $\mathbf{DensityMat}_N$ не терминален: его эндоморфизмы включают разные тождество и канал замены. В категории всех размерностей $(\mathbb C,1)$ терминален: единственный канал в него — след. Эта терминальная система не задаёт выделенного приготовления на $\mathbb C^7$.

Категория систем и категория состояний с переменной размерностью симметрично моноидальны относительно $\otimes$. Тензор двух семимерных систем имеет размерность $49$, поэтому $\mathbf{DensityMat}_7$ не замкнута относительно этого произведения. Оно не декартово. Численное стационарное состояние не является ни терминальной системой, ни терминальным объектом категории процессов фиксированной размерности.

2. Задание экспериенциальной категории

Топологическое пространство $Y$ предполагаемых качеств или конфигураций опыта — дополнительные данные [D/I]. Из него можно построить несколько корректных, но разных категорий:

• Фундаментальный группоид $\Pi_1(Y)$: объекты — точки, стрелки — классы путей по гомотопии с фиксированными концами. Все стрелки обратимы.
• Категория путей Мура: путь имеет указанную неотрицательную длительность. Конкатенация складывает длительности и строго ассоциативна; тождество — постоянный путь длительности ноль.
• Категория направленных физических историй требует заданного направления, допустимых путей и отношения эквивалентности, согласованного с композицией.

Морфизмы и история

Обычные пути с параметром на $[0,1]$, соединяемые делением интервала пополам, не строго ассоциативны и не имеют строгих тождеств в виде постоянных путей. Переход к гомотопическим классам даёт $\Pi_1(Y)$; пути Мура дают строгую категорию. Ни одна конструкция без дополнительных условий не эквивалентна покомпонентным непрерывным отображениям или CPTP-процессам. Обратный путь в $\Pi_1(Y)$ — топологическая конструкция, не физическое обращение диссипативного процесса.

Прежняя эквивалентность трёх определений $\mathbf{Exp}$ снята [✗]. История задаётся или строится как объект путей после задания $Y$ и правил для путей; символ $\pi_1(\mathbf{Exp}_2)$ не строит неопределённую бикатегорию и не выводит стрелу времени.

3. Считывание объектов и вырождение спектра

Выберем считывание $q:X_N\to Y$. Его интерпретация как содержания опыта — [I/H]. Спектральное разложение само по себе даёт базисно независимые данные

$$\rho=\sum_{\lambda\in\operatorname{Spec}(\rho)}\lambda\,P_\lambda.$$

Проекторы на собственные подпространства разных собственных значений каноничны. Отдельные собственные лучи внутри вырожденного подпространства — нет: любая замена его базиса унитарным преобразованием сохраняет $\rho$. Поэтому считывание собственных лучей требует выбора калибровки или факторизации неоднозначности; сортированные собственные векторы не образуют глобально непрерывную систему координат.

Ось $E$ в нативном семимерном пространстве имеет проектор ранга один $P_E$. Ненормированный блок $P_E\Gamma P_E=\gamma_{EE}P_E$ — скалярный вес; при $\gamma_{EE}>0$ нормированный блок всегда равен $P_E$. Это не нетривиальное пространство качеств $\mathbb{CP}^{n-1}$. Для него нужен явно расширенный $E$-регистр размерности $n>1$ либо иное считывание. Сжатие к блоку — CP-отображение, не увеличивающее след; его нормировка обычно нелинейна и не определена при нулевом весе. Частичный след требует выбранного тензорного разложения и отличается от условного состояния на оси.

4. Когда считывание задаёт стрелки процессов

Отображение состояний $q$ автоматически не задаёт отображение стрелок. Точный критерий следующий.

Предложение 4.1 (спуск процессов) [T]. Пусть $q:X_N\twoheadrightarrow Y$ сюръективно. Процесс $\Lambda$ индуцирует единственное отображение множеств $f_\Lambda:Y\to Y$ с условием $q\Lambda=f_\Lambda q$ тогда и только тогда, когда

$$q(\rho)=q(\sigma)\quad\Longrightarrow\quad q(\Lambda\rho)=q(\Lambda\sigma).\tag{DC}$$

Доказательство. Необходимость следует применением $f_\Lambda$. При (DC) положим $f_\Lambda(q(\rho))=q(\Lambda\rho)$; это не зависит от представителя, а единственность следует из сюръективности. Если $q$ — фактор-отображение и $q\Lambda$ непрерывно, спущенное отображение непрерывно. $\square$

Каналы с (DC) образуют моноид по композиции. Определим категорию на точках $Y$, стрелки которой — сами спущенные отображения с соответствующими концами. Присваивание $(\rho,\Lambda)\mapsto(q(\rho),f_\Lambda)$ тогда задаёт функтор на соответствующей ограниченной категории процессов. Спуск для всех каналов — дополнительное утверждение, не следствие оценки нормы.

Например, считывание только $\gamma_{EE}$ нарушает (DC) для произвольных каналов: два состояния с одинаковым весом $E$ и разными весами $A$ получают разные веса $E$ после перестановки $E$ и $A$. Поэтому произвольный канал не имеет корректного ограничения $\Lambda|_E$ как эндоморфизма пространства считываний.

5. Функториальность и высшая когерентность

Предложение 5.1 [T]. Для спущенных отображений выше $f_{\mathrm{id}}=\mathrm{id}$ и $f_{\Psi\Lambda}=f_\Psi f_\Lambda$.

Доказательство. Оба равенства верны после композиции с сюръекцией $q$; единственность в предложении 4.1 даёт результат. $\square$

Теорема относится к заданной категории спуска. Она не доказывает существования феноменального функтора для неограниченных квантовых процессов. Если положить $Y=X_N$ и скопировать категорию процессов, получится изоморфная категория с новыми именами; такая формальная замена имён не доказывает феноменальную интерпретацию.

Прежнее 2-категорное пополнение

Прежняя теорема 5.3/T-192, восстанавливавшая функториальность неопределёнными естественными преобразованиями, снята [✗]. CP-отображение между матричными алгебрами — линейное отображение, вообще говоря не $*$-гомоморфизм и не функтор между алгебрами, рассматриваемыми как категории. Обычную категорию процессов всегда можно считать локально дискретной 2-категорией, только с тождественными 2-клетками. Более богатая бикатегория требует заданных hom-категорий, горизонтальной и вертикальной композиции, ассоциаторов и униторов, а также тождеств пятиугольника и треугольника. Названия этих структур не строят их и не доказывают поднятия $q$ до псевдофунктора.

6. Топосная структура и метрическое обогащение

6.1 Категории процессов и категории пучков

При $N>1$ уже отсутствие терминального объекта запрещает $\mathbf{DensityMat}_N$ быть топосом. Из этого не следует ничего о неопределённой $\mathbf{Exp}$. Категория пучков на открытых покрытиях заданного пространства — отдельная конструкция, доказанная в §6.3.

6.2 Метрические данные

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

6.2.1 Пространство качеств как метрическое пространство Ловера: обогащённая Йонеда

Обогащение из пункта 2 можно опустить на уровень ниже — на сами качества. Ловер (1973) заметил, что метрическое пространство есть категория, обогащённая над $\mathcal V = ([0,\infty], \geq, +, 0)$: объект морфизмов из $a$ в $b$ — число $d(a,b)$, композиция — неравенство треугольника $d(a,b) + d(b,c) \geq d(a,c)$, тождества — $0 \geq d(a,a)$ (F. W. Lawvere, «Metric spaces, generalized logic, and closed categories», Rend. Sem. Mat. Fis. Milano 43: 135–166, 1973; переиздано в Repr. Theory Appl. Categ. 1, 2002). Цучия, Филлипс и Сайго (Conscious. Cogn. 101: 103319, 2022, doi:10.1016/j.concog.2022.103319) принесли обогащённые категории в исследование квалиа: градуированное несходство как объект морфизмов и обогащённую лемму Йонеды, по которой квале характеризуется своими несходствами со всеми остальными «с точностью до (обогащённого) изоморфизма». Теорема ниже — эта конструкция для собственного пространства качеств УГМ и то, что к ней добавляет конкретный выбор пространства.

Пусть $Q = \mathbb P(\mathcal H_E) \cong \mathbb{CP}^{n-1}$ ($n = \dim \mathcal H_E$) с расстоянием Фубини–Штуди $d([\psi],[\varphi]) = \arccos |\langle \psi | \varphi \rangle| \in [0, \pi/2]$. $\mathcal V$-предпучок на $Q$ — функция $\phi: Q \to [0,\infty]$ с $\phi(a) \leq d(a,b) + \phi(b)$; предпучки образуют $\mathcal V$-категорию $\widehat Q$ с объектом морфизмов $[\phi, \psi] = \sup_{x} (\psi(x) \ominus \phi(x))$, где $y \ominus x = \max(y - x, 0)$ — внутренний hom в $\mathcal V$. Отображение Йонеды: $\mathbf y(a) = d(-, a)$.

Теорема (Обогащённая Йонеда для квалиа) [Т]

1. Обогащённая лемма Йонеды. $[\mathbf y(a), \phi] = \phi(a)$ для всякого предпучка $\phi$.
2. Изометрия. $[\mathbf y(a), \mathbf y(b)] = d(a,b)$; поскольку $d$ симметрично, также $\sup_x |d(x,a) - d(x,b)| = d(a,b)$ — вложение Йонеды есть изометрическое вложение Куратовского пространства $Q$ в ограниченные функции.
3. Обогащённый изоморфизм — это тождество. $a \cong b$ в $\mathcal V$-категории $Q$ тогда и только тогда, когда $d(a,b) = 0 = d(b,a)$, то есть $a = b$. Для пространства качеств УГМ «с точностью до обогащённого изоморфизма» общей леммы означает «в точности».
4. Йонеда на конечном наборе проб. Пусть $S \subset Q$ конечно и имеет радиус покрытия $\delta$ (для всякого $a$ найдётся $s \in S$ с $d(a,s) \leq \delta$). Профиль $\mathbf y_S(a) = (d(s,a))_{s \in S}$ удовлетворяет

$$d(a,b) - 2\delta \;\leq\; \max_{s \in S} |d(s,a) - d(s,b)| \;\leq\; d(a,b).$$

Несходства с конечным числом проб задают качество с точностью до $2\delta$ плюс ошибка измерения профиля. 5. Сколько нужно проб. Шар Фубини–Штуди радиуса $r$ в $\mathbb{CP}^{n-1}$ имеет нормированный объём $\sin^{2(n-1)} r$. Поэтому набор проб с радиусом покрытия $\delta$ содержит не меньше $\sin^{-2(n-1)}\delta$ элементов, и существует набор не больше чем из $\sin^{-2(n-1)}(\delta/2)$ элементов. При $n = 2$ и $\delta = 0.1$ — от 100 до 401 пробы; при $n = 3$ и $\delta = 0.2$ — от 642 до 10 067. В обратную сторону: 93 цвета-пробы (набор Kawakita et al.) не дают радиуса покрытия меньше $\arcsin(1/\sqrt{93}) \approx 0.104$ даже на $\mathbb{CP}^1$. 6. Полнота по Коши. $Q$ компактно, значит, полно, значит, полно по Коши как $\mathcal V$-категория (Lawvere 1973): всякий коши-предпучок представим — качество, заданное как предел последовательности Коши реляционных профилей, существует в $Q$. 7. Что исключает выбор пространства. Конечная матрица несходств $(d_{ij})$ реализуется лучами $\mathbb{CP}^{n-1}$ тогда и только тогда, когда при некоторых фазах $\theta_{ij} = -\theta_{ji}$ эрмитова матрица $G_{ij} = \cos(d_{ij})\, e^{i\theta_{ij}}$, $G_{ii} = 1$, положительно полуопределена и имеет ранг не выше $n$. В частности, попарно на максимальном расстоянии $\pi/2$ могут находиться не более $n$ качеств.

Доказательство. (1) При $x = a$: $\phi(a) \ominus d(a,a) = \phi(a)$, так что $[\mathbf y(a), \phi] \geq \phi(a)$; а для всякого $x$ из $\phi(x) \leq d(x,a) + \phi(a)$ следует $\phi(x) \ominus d(x,a) \leq \phi(a)$. (2) — это (1) при $\phi = \mathbf y(b)$ плюс симметрия $d$. (3) Изоморфизм в $\mathcal V$-категории означает $0 \geq Q(a,b)$ и $0 \geq Q(b,a)$; $d$ различает точки. (4) Верхняя оценка — неравенство треугольника. Для нижней возьмём $s$ с $d(s,a) \leq \delta$; тогда $d(s,b) \geq d(a,b) - \delta$, и $d(s,b) - d(s,a) \geq d(a,b) - 2\delta$. (5) Для хааровски случайного $\psi$ величина $|\langle \psi | c \rangle|^2$ распределена по закону Beta$(1, n-1)$, поэтому $\Pr[d(\psi, c) \leq r] = \Pr[|\langle \psi | c\rangle|^2 \geq \cos^2 r] = (1 - \cos^2 r)^{n-1}$. $N$ шаров радиуса $\delta$ покрывают пространство лишь при $N \sin^{2(n-1)}\delta \geq 1$; максимальное $\delta$-разделённое множество есть $\delta$-покрытие, а его шары радиуса $\delta/2$ не пересекаются. (6) Теорема Ловера: для метрических пространств пополнение по Коши — это метрическое пополнение. (7) Матрица Грама единичных векторов $v_1, \dots, v_m \in \mathbb C^n$ положительно полуопределена, имеет ранг $\leq n$ и $|G_{ij}| = \cos d_{ij}$; всякая такая матрица — матрица Грама векторов из $\mathbb C^n$; $m$ попарно ортогональных единичных векторов требуют $m \leq n$. $\square$

Пункты 1, 2, 4 и 5 проверены в check_core_numbers.py (test_enriched_yoneda_embedding_of_fubini_study_rays_is_an_isometry: $n = 2, 3, 7$; оценка по пробам на $\mathbb{CP}^1$; объёмы шаров на $\mathbb{CP}^1$ и $\mathbb{CP}^2$).

Что это добавляет к Цучии–Филлипсу–Сайго — и чего не добавляет. Их обогащённая лемма Йонеды верна для любого пространства качеств, какое найдут эксперименты; она определяет квале с точностью до обогащённого изоморфизма. УГМ заранее выбирает одно пространство, и этот выбор даёт три вещи: отождествление точное (пункт 3); оно количественное для конечного числа проб, с явным расчётом дизайна (пункты 4–5); и оно опровержимо — пункт 7 называет матрицы несходств, которых не реализует никакая конфигурация лучей. Для опровержения нужна калибровка $f$ воспринимаемого несходства в $d$, а она не зафиксирована; если о $f$ известно лишь, что она монотонна, проверка становится порядковой и слабее. Ещё две связи: обогащённая эквивалентность двух отделимых метрических пространств — изометрическая биекция, так что выравнивание Громова–Вассерштейна у Kawakita et al. (расстояние, обращающееся в нуль ровно на изоморфных метрических пространствах с мерой, — F. Mémoli, Found. Comput. Math. 11: 417–487, 2011) — ослабленная проверка обогащённой эквивалентности пространств качеств двух субъектов; и ничто из этого не касается вопроса, сознательна ли система, — геометрия качеств и предикат $\mathrm{Cons}(S)$ независимы (собственные лучи $\Gamma$ не зависят от её спектра, а $P$ не зависит от собственных лучей; протокол измерения). Отождествление переживаний с лучами остаётся [И].

6.3 Сайт пространства состояний и непрерывные отображения каналов

Каноническая конструкция — пересмотрена 2026-10-03

Категория процессов со состояниями и CPTP-стрелками отделяется от сайта открытых подмножеств пространства состояний. Сайт ниже строго строит $\infty$-топос. Контрактивность CPTP обеспечивает непрерывность отображений процессов; она не даёт категориальных обратных образов каналов или топологии покрытий на категории процессов.

6.3.1 Сайт открытых покрытий Бюреса

Зафиксируем $N<\infty$ и $X_N=\mathcal D(\mathbb C^N)$. При квадрате верности Ульмана

$$F(\rho,\sigma)=\left(\mathrm{Tr}\sqrt{\sqrt\rho\,\sigma\sqrt\rho}\right)^2, \qquad d_B(\rho,\sigma)=\sqrt{2(1-\sqrt{F(\rho,\sigma)})},$$

$X_N$ — компактное метрическое пространство, топология которого совпадает с обычной конечномерной топологией пространства состояний. Метрика определена и на неполном ранге; её гладкое риманово описание требует страта полного ранга. Линейный CPTP-канал $\Lambda$ не увеличивает расстояние Бюреса по монотонности верности, а значит непрерывен. Watrous, The Theory of Quantum Information, глава 3.

Определение 6.2 (пересмотрено) [D]. Пусть

$$\mathcal C_N=\operatorname{Open}_B(X_N),$$

категория-посет Бюрес-открытых подмножеств, с единственной стрелкой $V\to U$ при $V\subseteq U$. Семейство $\{U_i\hookrightarrow U\}$ покрывает, если $\bigcup_iU_i=U$. Соответствующая топология покрывающих решет — $J_B$. В пересмотренном каноническом примитиве $J_B$ означает эту топологию открытых покрытий, а не прежнее семейство CPTP-стрелок с заданными локальными образами.

Теорема 6.1 (сайт открытых покрытий; пересмотренная T-76) [Т]. $(\mathcal C_N,J_B)$ — малый сайт Гротендика (в фиксированном универсуме), а $\mathcal E_N=\operatorname{Sh}_\infty(X_N)=\operatorname{Sh}_\infty(\mathcal C_N,J_B)$ — $\infty$-топос.

Доказательство. Тождество покрывает. Обратный образ включения — пересечение: при $V\subseteq U$ имеем $\bigcup_i(V\cap U_i)=V$. Для покрытий $U_i=\bigcup_jV_{ij}$ получаем $U=\bigcup_{i,j}V_{ij}$. Это доказывает тождество, устойчивость при смене базы и транзитивность. Открытые образуют множество, значит, сайт мал. Теорема пучкификации представляет пучки пространств на сайте как лево точную локализацию предпучков пространств, что даёт $\infty$-топос. Это обычная конструкция для топологического пространства; см. Lurie, Higher Topos Theory, §6.2.2 и §7.1. $\square$

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

Отозвано [✗]: прежнее доказательство сайта на категории процессов. Контрактивность CPTP не влечёт существования категориальных обратных образов каналов и не утверждает, что прообразы шаров лежат в шарах ограниченного радиуса. Постоянный сброс имеет всё пространство состояний прообразом любой окрестности своего выхода. Прежнее доказательство покрытия через локальные образы использовало оба следствия без обоснования. Заявленная эквивалентность плотному точечному скелету также не имела теоремы сравнения с плотным подсайтом. Конструкция выше заменяет прежнее доказательство, а не удостоверяет его задним числом.

6.3.2 Каналы индуцируют геометрические морфизмы

Для CPTP-отображения $\Lambda:X_N\to X_M$ обратный образ открытых — функтор

$$\Lambda^{-1}:\operatorname{Open}_B(X_M)\to\operatorname{Open}_B(X_N).$$

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

$$\Lambda:\mathcal E_N\to\mathcal E_M, \qquad\Lambda^*\dashv\Lambda_*.$$

Здесь $\Lambda^*$ лево точен, а $\Lambda_*F(U)=F(\Lambda^{-1}U)$. Это функторы между топосами пучков, а не автоматический внутренний морфизм состояний одного топоса. Для такого отождествления нужны дополнительные данные интернализации/реализации. Необратимый канал может индуцировать геометрический морфизм, не становясь изоморфизмом или обратимым физическим процессом.

6.3.3 Пространство переживаний и его сайт

Если задано конкретное топологическое пространство переживаний $Y$, его сайт открытых покрытий $\operatorname{Open}(Y)$ определяет $\operatorname{Sh}_\infty(Y)$ по той же теореме [Т при заданном пространстве]. Непрерывное считывание $q:X_N\to Y$ индуцирует геометрический морфизм через обратные образы открытых. Одна непрерывность не влечёт, что прямые образы открытых покрытий покрывают открытые окрестности: непрерывное отображение не обязано быть открытым или сюръективным. Прежняя теорема 6.2 о прямом сохранении покрытий из оценки Липшица отозвана [✗]. Ни топология, ни физическая/феноменальная корректность $q$ отсюда не выводятся.

Построение топоса пучков не делает отдельно определённую категорию процессов $\mathbf{Exp}$ топосом. Если требуются пучки на этой категории процессов, топологию Гротендика нужно задать и проверить именно там; конструкция пространства открытых не обеспечивает её неявно. Условия Жиро — характеризация топоса, а не дополнительные обязательства после уже заданного и проверенного малого сайта.

6.3.4 Классификатор подобъектов и реализация

В топосе открытого пространства классификатор подобъектов — пучок

$$\Omega_N(U)=\operatorname{Open}(U),\qquad \Omega_N(U\supseteq V)(W)=W\cap V.$$

Его глобальные сечения — открытые $X_N$; он не является постоянным объектом этой одной решётки. Для подпучка $A\hookrightarrow F$ и сечения $s\in F(U)$ величина $\chi_A(s)$ — наибольшее открытое $V\subseteq U$, на котором $s|_V$ принадлежит $A(V)$. Это классифицирует подобъект. В $\infty$-топосе тот же классификатор является $0$-усечённым и классифицирует $(-1)$-усечённые морфизмы.

Прежняя формула через супремум радиусов при $B_B(\Gamma',r)\cap S\ne\varnothing$ не определяет этот характеристический морфизм. Достаточно большой шар может пересекать подмножество и вне его, а значения истинности здесь — открытые, не вещественные числа из $[0,1]$. Квадратный корень такого значения истинности не производит оператор Крауса или Линдблада. Численную реализацию фильтров нужно задавать явно, как в типизированном математическом ядре и формализации φ.

7. Верность, альтернативы и ограничения

Функтор верен, если каждое его отображение hom-множеств инъективно; инъективность отображения объектов — другое свойство. Функтор спуска процессов может отождествлять разные каналы. Если $q$ биективно, присваивание $\Lambda\mapsto q\Lambda q^{-1}$ верно: равенство после сопряжения даёт равенство на всех состояниях, линейно порождающих эрмитовы матрицы. Это условная теорема о заданном кодировании. Она не следует из единственности прямого потока, сжатия или ковариантности.

Прежняя безусловная верность из T-42a/T-123 снята [✗]. В исправленной теореме представления обратимое CPTP-сравнение, покрытие пространства состояний и сохранение заданной октонионной формы — явные предпосылки моста. Постоянное отображение в стационарное состояние может переплетать динамику без инъективности.

Сопряжённый по Гильберту–Шмидту канал $\Lambda^*$ вполне положителен и унитален, но вообще не сохраняет след и не возвращает выделенное конечное состояние в начальное. Поэтому он не задаёт dagger на этой категории. Для dagger-структуры следует работать со всеми CP-отображениями между системами, налагая сохранение следа отдельно. Тензор систем задаёт моноидальную композицию; он не доказывает тензорного произведения феноменологий.

8. Феноменальная полнота

Феноменальный мост можно задать данными $(Y,q,W)$, где $q$ — считывание модели, а $W$ интерпретирует его как опыт. Покрытие класса переживаний, инъективность с точностью до заявленной эквивалентности и совместимость с вмешательствами — отдельные гипотезы [H]. Для них нужны операциональные критерии сравнения переживаний и проверки $q$.

Ненулевой $\gamma_{EE}$ доказывает ненулевой численный вес, но не феноменальность. Формальный предикат сознательности — определение внутри модели; его эмпирическая и феноменальная валидность — дополнительное утверждение. Ни универсальный феноменальный мост, ни его единственность не следуют из построения $\operatorname{Sh}_\infty(X_N)$.

9. Кодирование ИИ и контролируемая аппроксимация

Нелинейность нейронного слоя не нарушает аксиом его собственной категории: композиция нелинейных функций ассоциативна. Обоснования требует выбранное представление линейными CPTP-стрелками. Кодирование состояний $G:S\to X_N$ само по себе не является присваиванием каналов нейронным слоям.

Типизированная операциональная проверка выбирает $\Lambda_f$ для слоя $f$ и оценивает

$$\epsilon_f=\sup_{s\in K}\|G(f(s))-\Lambda_f(G(s))\|_1.$$

Для компонуемых $f,g$ на подходящих областях сжимаемость даёт

$$\|G(f(g(s)))-\Lambda_f\Lambda_gG(s)\|_1\leq\epsilon_f+\epsilon_g.$$

Это оценка предсказания состояний. Приближённая функториальность каналов, например оценка diamond-нормы между $\Lambda_{fg}$ и $\Lambda_f\Lambda_g$, сильнее и требует проб, порождающих пространство операторов (включая вспомогательную систему для прямой сертификации diamond-нормы). Она не следует из одной наблюдаемой траектории.

Исправленная теорема Тейлора 9.1 [T]

Пусть $f,g$ имеют класс $C^2$ в нужных окрестностях. Положим $x=x_0+h$, $\|h\|\leq r$, $A=Dg(x_0)$, $B=Df(g(x_0))$. Если нормы гессианов на нужных отрезках ограничены $M_g,M_f$, то для композиции соответствующих аффинных касательных отображений

$$\|f(g(x))-f(g(x_0))-BAh\| \leq \tfrac12\|B\|M_g r^2 +\tfrac12M_f(\|A\|r+\tfrac12M_gr^2)^2.$$

Доказательство. Интегральный остаток Тейлора даёт $g(x)=g(x_0)+Ah+r_g$ с $\|r_g\|\leq M_gr^2/2$. Применим ту же формулу к $f$ с приращением $u=Ah+r_g$. Разность равна $Br_g+r_f$ и ограничена указанным выражением. Доказательство не использует скалярную промежуточную точку для векторного гессиана и не объявляет остаток $O(r^3)$ из одного лишь класса $C^2$. $\square$

Снято [✗]: автоматическая CPTP-линеаризация. Прежняя формула $X\mapsto X+J_fXJ_f^T$ обычно имеет след $\operatorname{Tr}X+\operatorname{Tr}(J_f^TJ_fX)$ и не сохраняет след. Для подбираемого канала отдельно проверяются положительность матрицы Чоя и условие на частичный след. Обычный якобиан входного состояния и NTK-линеаризация не доказывают ни одного из этих условий. Задача кодирования и подбора каналов остаётся [Pr]; см. протокол измерения.

10. Сингулярные комплексы и эмерджентное время

T-91, математическая часть [T]. Для заданного топологического пространства $Y$ сингулярное симплициальное множество $\operatorname{Sing}(Y)$ — комплекс Кана, поэтому моделирует $\infty$-группоид. Его $n$-симплексы — непрерывные отображения $\Delta^n\to Y$ с обычными гранями и вырождениями. Это гомотопическая модель пространства, не восстановление стрелок диссипативных процессов. Lurie, Higher Topos Theory, §1.2.5.

Пучки и усечения

Сайт открытых покрытий $Y$ даёт $\operatorname{Sh}_\infty(Y)$ [T при заданном $Y$], как в §6.3. В нём существуют усечения Постникова $\tau_{\leq n}$. Отождествление феноменологического уровня с таким усечением требует заданного объекта и доказанного сравнения; когнитивная глубина автоматически не является гомотопической степенью. Стягиваемое пространство качеств имеет тривиальные высшие гомотопии даже при множестве численных качеств или длинных историях модели.

Часовые регистры и ограничения Пейджа–Вуттерса либо Фейнмана–Китаева — отдельно заданные динамические данные. Петля $\infty$-группоида обратима; она не устанавливает причинные апериодические часы или физическую потерю информации.

11. Дискретные истории

Последовательность состояний с выбранными переходными каналами задаёт диаграмму на упорядоченной категории $0\to1\to\cdots\to m$. Её нерв не обязан быть комплексом Кана: нерв обычной категории является комплексом Кана тогда и только тогда, когда категория — группоид. Поэтому необратимость каналов нельзя кодировать простым объявлением нерва $\infty$-группоидом. Группоидное пополнение теряет информацию о направлении процессов.

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

12. Структурированные процессы голономов

Пусть структурированная модель — $A=(\mathcal H_A,M_A,V_A)$, где $M_A:X_A\to X_A$ — заданная самомодель, $V_A\subseteq X_A$ — заданная область жизнеспособности [D]. Стрелка $\Lambda:A\to B$ — CPTP-канал с условиями

$$\Lambda(V_A)\subseteq V_B,\qquad\Lambda M_A=M_B\Lambda.$$

Теорема замкнутости 12.1 [T]

Тождества удовлетворяют обоим условиям. Если $\Lambda:A\to B$ и $\Psi:B\to C$ им удовлетворяют, то $\Psi\Lambda(V_A)\subseteq V_C$ и $\Psi\Lambda M_A=M_C\Psi\Lambda$. Поэтому структурированные объекты и стрелки образуют категорию. Забывающий функтор в системы верен. Добавление выделенного жизнеспособного состояния даёт верный забывающий функтор в $\mathbf{DensityMat}$. Если на одном состоянии допускаются разные структуры, это не инъективное по объектам включение, пока не зафиксировано присваивание структуры.

Присваивание интериорности

Если функтор $F$ на исходной категории процессов действительно задан, ограничение даёт $\mathcal I=F\circ U$ [T]. Существование $\mathcal I$ условно относительно этих данных и не является новым доказательством феноменального моста. Нормированное условное состояние $E$ не коммутирует с произвольными каналами, как показывает §4.

13. Производные категории и локальные когомологии

Множество состояний ранга $r$ в $X_N$ — гладкое многообразие вещественной размерности $2Nr-r^2-1$: положительная матрица ранга $r$ имеет вид $ZZ^\dagger$ для комплексной матрицы $N\times r$ полного ранга $Z$, по свободному действию $U(r)$, с одним ограничением следа. При $N=7$ ранг один даёт размерность $12$, полный ранг — $48$. Выбранная точка $I_7/7$ не является всем полноранговым слоем.

Всё пространство состояний выпукло и стягивается посредством $H_t(\rho)=(1-t)\rho+tI_N/N$. Поэтому обычные когомологии с постоянными коэффициентами в положительных степенях равны нулю. Локальные когомологии и когомологии с непостоянными/конструктивными коэффициентами могут отличаться, но требуют заданного пучка, условия на носитель и стратификации. Нетривиальность таких групп не доказывает ненулевую физическую энергию вакуума, а их обнуление не сокращает плотность энергии степени ноль.

Комплексы пересечений и теоремы разложения требуют собственных геометрических и пучковых предпосылок; произвольное пространство Бюреса или численная стратификация по рангу автоматически им не удовлетворяют. Универсальное физическое отождествление с IC остаётся [Pr], не следствием построения производной категории.

14. Что даёт $\infty$-топос

Заданный сайт даёт $\infty$-топос с пределами, копределами, внутренними объектами отображений, классификатором подобъектов и усечениями. Это математические конструкции [T]. Выбор его онтологическим примитивом — [I/D]. Другие сайты тоже дают $\infty$-топосы; универсальное свойство этой конструкции не исключает их существование.

Терминальный объект $1_{\mathcal E}$ удовлетворяет $\operatorname{Map}(A,1_{\mathcal E})\simeq *$. Это означает стягиваемость пространства отображений в него; оно не выделяет максимально смешанное численное состояние и не задаёт множество физических вариантов выбора. В гиперболической притягивающей точке на касательном пространстве следа один якобиан не имеет нулевой моды. Ни утверждение о терминальном объекте, ни ядро гессиана сами по себе не доказывают свободы воли.

15. Логическая структура и численная реализация

15.1 Типы и прежняя L-унификация

В $\mathcal E_N=\operatorname{Sh}_\infty(X_N)$ классификатор $\Omega$ — пучок открытых множеств из §6.3.4. Характеристический морфизм $\chi_S:G\to\Omega$ — логический предикат. Матричное состояние, проектор гильбертова пространства и оператор GKSL имеют другие типы. Выражения $L=\Omega\cap\Gamma$ или $\sqrt{\chi_S}$ не осуществляют перехода между этими типами.

Снято [✗]: прежнее универсальное отождествление $L$, внутренней логики, диссипатора и самомодели; $\operatorname{Dec}(\Omega)\cong2^7$; вывод численных операторов и скоростей из одного классификатора. В действительности $X_N$ связно, поэтому его глобальные разрешимые открытые множества (открыто-замкнутые подмножества) — только $\varnothing$ и $X_N$. Внутренне могут существовать другие локальные разрешимые предложения, но базис из семи атомов отсюда не следует.

15.2 Корректная конструкция конечного репера

Выберем ортонормированный базис $e_1,\ldots,e_N$ [D]. Булева алгебра подмножеств этого конечного репера имеет представление

$$S\subseteq\{1,\ldots,N\}\quad\longmapsto\quad P_S=\sum_{i\in S}|e_i\rangle\langle e_i|.$$

Коммутирующие проекторы удовлетворяют $P_SP_T=P_{S\cap T}$ и $P_{S^c}=I-P_S$. Это один классический измерительный контекст, не вся квантовая решётка проекторов и не топологический классификатор $\Omega$.

Обобщение: выбранные положительные эффекты $E_a$ с $\sum_aE_a=I$ задают POVM и неселективный канал Людерса

$$\Lambda(X)=\sum_a\sqrt{E_a}\,X\sqrt{E_a}.$$

Он CPTP по условию Крауса. Численная реализация логического предиката эффектом требует отдельно определённого отображения и проверки сохранения нужной структуры. Сайт сам по себе его не задаёт.

Для выбранных семи координатных проекторов линий Фано все произведения сводятся к пересечениям. Непустые слова дают не более пятнадцати разных операторов: семь проекторов линий, семь проекторов точек и ноль; пустое слово дополнительно даёт $I$. Поэтому прежнее утверждение T-115 о $7^n$ разных композициях на общих состояниях ложно, в том числе на недиагональных состояниях. Стохастические или грамматические истории могут иметь много разных меток; это не разные произведения проекторов.

15.3 Сопряжения и скорости

Канонический логический рефлектор самоподдержки:

$$L_G:\mathcal E_{/G}\rightleftarrows\operatorname{Sub}_{\mathcal E}(G):i_G,\qquad L_G\dashv i_G.$$

Он берёт эффективный образ отображения в $G$. Доказательство через пространства морфизмов и единица изложены в формализации φ. Его идемпотентная монада — логический носитель, не диссипативное отображение состояний и не численная предиктивная модель.

Прежнее сопряжение $(\mathcal D_\Omega,\mathcal R)$ не имеет заданных категорий и биекции hom-множеств и снято [✗]. Из него не следуют скорость регенерации $\kappa_0$, bootstrap-масштаб или гамильтониан. Скорости требуют заданной динамики, единиц и констант связи. Единицы и коединицы категориального сопряжения нельзя отождествлять с вероятностями каналов или амплитудами без заданной теоремы реализации.

Неассоциативность и композиция процессов

Умножение октонионов может быть неассоциативно. Композиция функций, каналов и эндофункторов остаётся ассоциативной. Бикатегория допускает когерентный ассоциатор между композициями с тождеством пятиугольника; она не разрешает произвольного нарушения ассоциативности. Октонионная структура должна явно входить как алгебраические данные объекта либо заданной обогащённой конструкции, не через объявление обычной композиции октонионным умножением.

Локальные каналы и запрет сигнализации

Теорема о локальном маргинале [T]

Для линейного CPTP локального канала

$$\operatorname{Tr}_A[(\Lambda_A\otimes\mathrm{id}_B)(\rho_{AB})]=\operatorname{Tr}_A\rho_{AB}.$$

Доказательство. Разложим канал по Краусу. Цикличность частичного следа для операторов на $A$ даёт $\sum_a\operatorname{Tr}_A(\rho_{AB}(K_a^\dagger K_a\otimes I))=\operatorname{Tr}_A\rho_{AB}$. Равенство верно для любого совместного состояния, включая запутанные. $\square$

Численные самомодели составных систем

Каналы фиксированных параметров $C_{\lambda_A}\otimes C_{\lambda_B}$ определены. Нелинейное зависящее от состояния отображение $M_A$ не является линейным каналом и не имеет автоматического расширения $M_A\otimes\mathrm{id}_B$ на запутанные входы. Расширение можно задать подбором параметров каналов по локальным маргиналам; тогда теорема о маргинале верна поточечно для этого предписания. Другие предписания требуют отдельного доказательства отсутствия сигнализации. Кроме того, в общем $\operatorname{Sub}(G\times H)\not\cong\operatorname{Sub}(G)\times\operatorname{Sub}(H)$ (уже диагональное подмножество множеств даёт контрпример). Логическая рефлексия носителя не доказывает тензорной факторизации численных самомоделей.

Феноменальная интерпретация и Йонеда

Йонеда полно и верно вкладывает заданную категорию в её предпучки. Объекты этой категории определены с точностью до изоморфизма представимыми hom-функторами. Это не строит эмпирическую категорию опыта, не отождествляет её с матрицами плотности и не доказывает верности предложенного моста $F$. Точный метрический результат для выбранного пространства лучевых качеств — обогащённая Йонеда; его феноменальная интерпретация остаётся [I].

16. Самореференция с явными предпосылками

Для операции замыкания предложений нужен типизированный эндоморфизм $j:\Omega\to\Omega$ и его аксиомы, например аксиомы топологии Ловера–Тирни. Численная самомодель $M:X_N\to X_N$ — не такой эндоморфизм. Множество $M$-инвариантных предикатов можно определить после задания внутренней реализации $M$, но оно не становится автоматически подобъектом $\Omega$ с именем $\mathrm{Sub}_{\mathrm{closed}}(\Omega)$: такая запись обозначает коллекцию подобъектов, пока не задано дополнительное внутреннее представление.

Теорема Ловера о неподвижной точке требует слабо точечно-сюръективного отображения $e:A\to Y^A$ в декартово замкнутой категории. При этом условии каждый эндоморфизм $Y$ имеет неподвижную точку: диагональный аргумент применяется к $h(a)=f(e(a)(a))$. Одна декартова замкнутость не даёт $e$. Lawvere, 1969. Если у $Y$ есть эндоморфизм без неподвижной точки, вывод состоит в отсутствии такого $e$. Это не влечёт феноменальной внешности, строго меньшей внутренней теории, физической энергии вакуума или неполноты неопределённого исчисления доказательств.

Область категориального замыкания

Замкнутость заданных конструкций

Конечномерные состояния и каналы, сайт открытых покрытий, его пучковый $\infty$-топос и рефлектор носителя в срезе образуют строгое математическое ядро после задания входных данных. Дополнительные выбранные структуры: размерность, репер, октонионная форма, гамильтониан/скорости, численная самомодель, кодирование, часовое ограничение и феноменальный мост. Выразимость в одном внутреннем языке не выводит их значений или существования. Прежняя безаксиомная или всефеноменальная замкнутость снята [✗].

Связь с программами когезивных топосов

Топология Гротендика — не когезия. Для когезии нужны сопряжённая четвёрка $\Pi\dashv\mathrm{Disc}\dashv\Gamma\dashv\mathrm{coDisc}$ и дополнительные аксиомы; дифференциальная когезия добавляет инфинитезимальную структуру. Пространство состояний можно моделировать объектом отдельно заданного когезивного объемлющего топоса, не доказывая этой структуры у топоса пучков на его открытых покрытиях. См. первичную конструкцию Schreiber. Интерпретация гомотопической теории типов в $\infty$-топосе также не выводит квантовых, феноменальных или динамических данных моста.

Гомотопические усечения и иерархия L

Математические функторы усечения — [T]. Прежняя универсальная теорема $L_n\cong\tau_{\leq n}\operatorname{Sing}(Y)$ снята [✗]: функциональные критерии когнитивных уровней не задают эквивалентностей сравнения с этими гомотопическими типами. Предлагаемое сравнение должно определить обе стороны и доказать их соответствие в заданной модели. Собственные критерии и статусы см. в иерархии интериорности.

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

Топосная квантовая теория

Программы контекстных топосов используют в качестве базы коммутативные алгебры наблюдаемых, а не открытые множества пространства матриц плотности. Первичная статья Isham–Butterfield связывает препятствие Кохена–Спекера с отсутствием глобальных сечений; Bohrification Heunen–Landsman–Spitters строит коммутативную алгебру внутренне. Их специальные теоремы не переносятся в $\operatorname{Sh}_\infty(X_N)$ без теоремы сравнения. Координатные проекторы Фано коммутируют и допускают совместное распределение $p_i=\gamma_{ii}$; сами по себе они не дают контекстуальности Кохена–Спекера.

Категорная квантовая механика

Abramsky–Coecke описывают композицию квантовых протоколов категориально. Coecke–Pavlović–Vicary характеризуют ортогональный базис коммутативной dagger-структурой Фробениуса. Это инструменты для выбранного репера и исчисления процессов; они не выводят универсального кодирования УГМ или феноменального моста. При переносе структур сохраняются различия систем и состояний, а также CP- и CPTP-стрелок.

Когезивная физика

Schreiber развивает дифференциальные когомологии при явных когезивных предпосылках. Соотнесение этой программы с УГМ — [I/C], пока эти предпосылки и физический мост не заданы. Общие пучковые или когезивные конструкции не выбирают семимерную модель.

См. также: типизированное ядро, типизация самомодели, представление и томография, протокол измерения, реестр предпосылок.

Ссылки на прежние разделы

Якоря сохраняют существующие ссылки. Прежние утверждения заменены типизированными определениями, условными результатами и явно указанными снятиями выше.