Типизированное математическое ядро

Эта страница задаёт математический интерфейс УГМ после пересмотра оснований 03.10.2026. Теорема относится к указанным объектам и предпосылкам; интерпретация не меняет их типы. Численная модель состояний сохраняется, а прежнее отождествление категориальной логики, каналов, аттракторов и переживания заменяется явными мостами.

Состояния и процессы

Фиксируем конечномерные комплексные гильбертовы пространства с выбранными семантическими базисами. Положим

$$D_N=\{\rho\in M_N(\mathbb C):\rho=\rho^\dagger,\ \rho\succeq0,\ \operatorname{Tr}\rho=1\}.$$

Аффинная оболочка со следом один имеет вещественную размерность $N^2-1$. Состояния полного ранга образуют относительную внутренность; состояния неполного ранга не образуют открытого гладкого многообразия этой размерности.

В категории процессов объекты — $M_N(\mathbb C)$, $N\ge1$, стрелки — линейные CPTP-отображения. В её отмеченной версии объекты — $(N,\rho)$, стрелки $K:(N,\rho)\to(M,\sigma)$ удовлетворяют $K(\rho)=\sigma$. Композиция и тензорное произведение наследуются от каналов. Тензорная единица $M_1(\mathbb C)$ терминальна: единственное сохраняющее след отображение в неё — отбрасывание $X\mapsto\operatorname{Tr}X$.

Теорема о терминальности [Т]. Состояние $(N,\rho)$ при $N>1$ не терминально. Тождественный канал и канал замены $X\mapsto\operatorname{Tr}(X)\rho$ — различные эндоморфизмы, сохраняющие $\rho$. В частности, $I/N$ — состояние, а не терминальный объект.

Сектор $N=7$ — выбранная модель [П], не замкнутая относительно тензорного произведения: совместное состояние двух систем лежит в $D_{49}$. Для буквального частичного следа нужна заданная тензорная факторизация. Названный базисный вектор не задаёт нетривиального тензорного фактора.

Исполняемые представления, замкнутые относительно наблюдений

Модель состояний допускает конструктивную теорему о представлении после задания требуемых наблюдений и действий. Зафиксируем эрмитовы наблюдаемые $A_1,\ldots,A_m$ и линейные CPTP-каналы $K_1,\ldots,K_s$ на $M_N(\mathbb C)$. Пусть $K_j^*$ — гейзенбергово сопряжение относительно следового спаривания. Зададим

$$V_0=\operatorname{span}_{\mathbb R}\{I,A_1,\ldots,A_m\},\qquad V_{n+1}=\operatorname{span}_{\mathbb R}\left(V_n\cup\bigcup_jK_j^*(V_n)\right).$$

Теорема о замыкании наблюдаемых [Т]. Последовательность достигает наименьшего общего $K_j^*$-инвариантного вещественного подпространства $V$, содержащего заданные наблюдаемые и $I$, после не более $N^2-\dim V_0$ строгих расширений. Для базиса $B_1,\ldots,B_d$ пространства $V$ представление

$$\pi_V(\rho)=(\operatorname{Tr}(B_1\rho),\ldots,\operatorname{Tr}(B_d\rho))$$

обладает линейными обновлениями $\pi_V(K_j(\rho))=M_j\pi_V(\rho)$. Представления двух состояний равны тогда и только тогда, когда совпадают средние всех заданных наблюдаемых после любого конечного слова из заданных каналов, включая пустое слово.

Доказательство. Сопряжённые каналы сохраняют эрмитовость. Вложенные подпространства лежат в $\operatorname{Herm}_N$ вещественной размерности $N^2$; совпадение соседних шагов означает инвариантность и остановку. Любое инвариантное пространство, содержащее $V_0$, содержит все шаги, что доказывает минимальность. Запишем $K_j^*(B_l)=\sum_r(M_j)_{lr}B_r$; следовая двойственность даёт формулу обновления. Объединение шагов — линейная оболочка всех конечных слов сопряжённых каналов, применённых к наблюдаемым и $I$. Равенство их средних поэтому равносильно равенству координат. Координата тождественного оператора равна единице на $D_N$. ∎

Это явный экземпляр сохраняющего действия представления, необходимого для исполняемого переноса в Аутогении и SYNARC. Сохранения текущего наблюдения недостаточно: кубитные состояния $|+\rangle\langle+|$ и $|-\rangle\langle-|$ имеют одинаковые диагональные населённости, однако один и тот же канал Адамара делает первые населённости равными единице и нулю. Вложение этого блока в $D_7$ даёт тот же контрпример на выбранном носителе УГМ.

Точный алгоритм использует конечную линейную алгебру для точно представленных коэффициентов каналов; решения о ранге в арифметике с плавающей точкой требуют отдельных оценок ошибки. Допустимое пространство координат — $\pi_V(D_N)$, а не всё $\mathbb R^d$. Минимальность относится к инвариантному пространству наблюдаемых, а не к наименьшей квантовой подсистеме; матрицы $M_j$ не объявляются CPTP-картами меньшей алгебры. Нелинейные модели себя $M(\rho)$ требуют замыкания функций относительно обратного образа и не охвачены конечной линейной теоремой. Для $n$ семимерных факторов общая граница равна $49^n$; фактический размер замыкания, стоимость его построения и исполнения нужно измерять. Общая теория наблюдаемости — известная математика; здесь явно построен её точный конструктивный мост к модели состояний УГМ.

Корректный сайт Буреса

Снабдим $D_N$ хордальным расстоянием Буреса

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

Используем сайт $\mathcal O_N=\operatorname{Open}(D_N,d_B)$: стрелки — включения открытых множеств; семейство $(U_i\subseteq U)$ покрывает тогда и только тогда, когда $\bigcup_iU_i=U$. Каноническая реализация:

$$\mathcal E_N=\operatorname{Sh}_\infty(\mathcal O_N,J_{\mathrm{open}}).$$

Теорема о сайте [Т]. Тождества покрывают, обратный образ — пересечение, композиция покрытий — объединение. Действительно, $V\cap U=\bigcup_i(V\cap U_i)$ и $U=\bigcup_{i,j}U_{ij}$, если $U_i=\bigcup_jU_{ij}$. Аксиомы Гротендика выполнены. При фиксированной универсумной конвенции сайт мал.

CPTP-канал $K:D_N\to D_M$ непрерывен в метрике Буреса и даже контрактен. Обратные образы открытых множеств задают геометрический морфизм $\mathcal E_N\to\mathcal E_M$. Это корректный мост между процессами и пучковой семантикой. Каналы не отождествляются с включениями открытых множеств или со всеми морфизмами топоса.

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

В конечномерном $D_N$ топологии Буреса и евклидова совпадают; метрический тензор — дополнительные данные сверх топологии. Бурес выделена в семействе монотонных квантовых метрик, но не является единственной метрикой различимости. Риманов тензор используется на стратах полного ранга; метрическая непрерывность распространяется на границу.

Логика и зеркало носителя

В произвольном $\infty$-топосе $\mathcal E$ фиксируем объект $G$. Корректная универсальная конструкция:

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

Она отправляет $X\to G$ в его образ из факторизации «эффективный эпиморфизм — мономорфизм», то есть в $(-1)$-усечение в срезе. Отображение $X\to S$ над $G$ для подобъекта $S\hookrightarrow G$ существует ровно тогда, когда образ лежит в $S$, и его пространство тогда стягиваемо. Это доказывает сопряжение; на подобъектах отражатель тождественен. См. полную типизированную конструкцию.

Зеркало носителя является логическим. Численная самомодель $M:D_N\to D_N$ — иной объект, требующий определения и, для эмпирического применения, модели наблюдений. CPTP-свойство, якорь, скорость регенерации, оптимальность Буреса, спектральный проектор и феноменальное содержание не следуют только из сопряжения носителя.

Классификатор $\Omega$ классифицирует подобъекты. Для пучков на пространстве его сечения над $U$ — открытые подмножества $U$. Это не семиэлементная алгебра проекторов. На связном $D_N$ открыто-замкнуты только $\varnothing,D_N$; предикаты $\rho_{ii}>0$ пересекаются и не могут быть семью непересекающимися булевыми атомами. Выбранный ортогональный базис задаёт семиисходный проективный инструмент [О] независимо от $\Omega$. Его чтение как артикуляции или внутренней логики — мост [И].

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

Квантовый канал линеен на алгебре операторов, следовательно, аффинен на состояниях. Условие «$M(\rho)\in D_N$ для каждого $\rho$» означает только сохранение пространства состояний. Если параметры зависят от $\rho$, даже семейство CPTP-каналов $K_\rho$ не обязано задавать аффинное $M(\rho)=K_\rho(\rho)$.

Например, модель с фиксированным якорем

$$M(\rho)=(1-R(\rho))\mathcal P_\alpha(\rho)+R(\rho)\rho_a,\qquad R(\rho)=1/(NP(\rho))$$

имеет CPTP-реализацию при каждом замороженном коэффициенте, но полное отображение состояний обычно нелинейно. Внутренние якоря вроде $\rho^2/P(\rho)$ также нелинейны. Расширение на составную систему задаётся отдельно; применение нелинейного отображения к неуказанному ансамблю не является определением.

Модель эволюции:

$$\dot\rho=-i[H,\rho]+\mathcal D(\rho)+a(\rho)(M(\rho)-\rho),\qquad a(\rho)\ge0.$$

Если $a,M$ локально липшицевы, $M(D_N)\subseteq D_N$, а линейная часть — фиксированный генератор GKSL, решения единственны и остаются в $D_N$ [Т]. Для $v\in\ker\rho$ на границе коммутатор и антикоммутатор дают ноль; остальные квадратичные формы равны $\sum_k v^\dagger L_k\rho L_k^\dagger v+a\,v^\dagger M(\rho)v\ge0$. След сохраняется. Критерий касательного конуса даёт инвариантность; компактность — глобальное продолжение. Теорема доказывает корректность динамики, а не физический выбор $M,a,H$.

Единственность стационарного состояния и щель линейного генератора не доказывают единственность или контрактность нелинейного потока. На касательном пространстве следа один якобиан гиперболического стока не имеет нулевого собственного значения. Нулевую моду следа линейного оператора на всех матрицах нельзя подставлять вместо зависящей от состояния самомодели.

Если каждая траектория в положительно инвариантной области сходится к неподвижной точке в этой области, отображение предела идемпотентно на ней [Т]. Открытый бассейн может не содержать свои граничные пределы: требуется включить все пределы в область либо продолжить отображение тождественно на эти неподвижные точки перед его самокомпозицией. Непрерывность, линейность и полная положительность предела требуют отдельных предпосылок. Одна идемпотентность не задаёт категориальный рефлектор.

Пороги и операциональный смысл

Положим $P=\operatorname{Tr}\rho^2$, $d=\sum_i\rho_{ii}^2$, $q=P-d$, $\Phi=q/d$. Тогда

$$P=1/N+\|\rho-I/N\|_F^2,\quad d\ge1/N,\quad \Phi\le NP-1.$$

Это точные утверждения [Т]. Следующие положения — выбор модели [О]/[И]: называть структурное большинство $\|\rho-I/N\|_F^2>1/N$ «жизнеспособностью», $R\ge1/3$ — «рефлексивным доступом», когерентное большинство $\Phi\ge1$ — «интеграцией». Из них следуют численные отсечки $2/N,1/3,1$ [Т]. Их интерпретация как биологического выживания или переживания остаётся [Г]/[И]. Апостериорная вероятность требует правдоподобия и априорных вероятностей; название «рефлексия» не превращает $R=1/(NP)$ в вероятность.

При $N=7$ критерий способности:

$$\mathrm{Cap}_2=(P>2/7)\land(R\ge1/3)\land(\Phi\ge1)\land(D_{\mathrm{diff}}\ge2).$$

$D_{\mathrm{diff}}$ требует указанной реализации сектора опыта или отдельно объявленного прокси. Первые два условия дают $(2/7,3/7]$. Интервал не является полным критерием. Произведение $C=\Phi R\ge1/3$ необходимо для двух скалярных условий доступа, но недостаточно для их конъюнкции. Отождествление $\mathrm{Cap}_2$ с сознанием — эмпирический/онтологический мост, не теорема о матрицах.

Фазы сами по себе не определяют критерий: см. идентифицируемость Gap. Реконструкция по данным требует информационной полноты или доказанной идентифицируемости статистической модели, а не только симметрии пространства значений.

Размерность и физические мосты

Мост представлений (RI) [P]. Для условного сравнения кодировщиков можно предположить, что оба биективны, а переход между ними — CPTP-изоморфизм, сохраняющий заданную октонионную трёхформу. Классификация получаемой симметрии тогда является теоремой с этими входными данными. Наблюдения, динамика и симметрия пространства состояний не обеспечивают (RI): это существенно сильнее ковариантности. В общем случае реконструкцию анализируют через слои закона наблюдений. См. исправленную теорему единственности.

Семь функциональных названий не доказывают семь линейно независимых координат. Наиболее сильная установленная здесь нижняя граница условна при совершенной диагностируемости $(\Sigma_6)$; отдельная точная теорема ограничивает верные представления $\mathbb C\oplus M_3(\mathbb C)\oplus M_3(\mathbb C)$ размерностью семь. Каждый вывод сохраняет свою предпосылку. См. минимальность.

Тензорные расширения $D_7\to D_{42}$ требуют названного подъёма и чтения. Секция–ретракция не является эквивалентностью Мориты и не превращает энтропии редукций, зависящие от подъёма, автоматически в функции $\rho\in D_7$.

Мост действия на материю (Mod)/(Cl₀), мост пространства-времени (P), принцип якоря (MaxΦ), выбранные скорости и феноменальное отождествление остаются явными входными данными. Совпадения групп и кодирования не выводят физическую динамику без них; зависимости указаны в реестре предпосылок.

Топология, терминальность и время

Терминальный объект $1_{\mathcal E}$ существует в любом топосе. Его глобальные сечения — терминальное пространство, не $I/7$. Он не задаёт канал релаксации или стрелу времени. Категория с терминальным объектом имеет стягиваемый нерв, но терминальность её категории пучков не означает терминальность категории индексов.

$D_N$ выпукло и стягиваемо. Удаление множеств вырождения может давать нетривиальную топологию; её гомотопии и гомотопии явно заданного объекта опыта вычисляются отдельно. Наличие высших пространств отображений не вынуждает их нетривиальность и не отождествляет стадии Постникова с сознанием. Башня Постникова имеет обратный предел; сходимость требует постниковской полноты объекта/топоса.

Физическая частота инвариантна относительно $H\mapsto H+cI$. Поэтому $\min\operatorname{spec}H$ не может её задавать. Используется указанная ненулевая боровская частота либо калиброванный масштаб $\omega_0>0$ [П]. Часовой фактор и ограничение Пейдж–Вуттерс — дополнительные данные; периодические тики сами по себе не дают апериодическую временную прямую или термодинамическую стрелу.

Источники и проверка

• Domenico D’Alessandro, On Quantum State Observability and Measurement: неразличимость при управляемой квантовой динамике.
• Tommaso Grigoletto, Yukuan Tao, Francesco Ticozzi и Lorenza Viola, Exact Model Reduction for Continuous-Time Open Quantum Dynamics: линейные редукции наблюдаемых и отдельные условия сохранения квантовой структуры.
• Jacob Lurie, Higher Topos Theory, §§5.5.6, 6.2: усечения, топосы пучков и геометрические морфизмы.
• Dénes Petz и Csaba Sudár, Geometries of Quantum States: монотонные метрики и выделенная минимальная метрика.
• John Watrous, The Theory of Quantum Information: каналы, различение, измерения и реконструкция.
• R. W. Hamming, Error Detecting and Error Correcting Codes: предпосылки кодирования, лежащие в основе границы размерности.
• Yui Kuramochi, вывод GKSL из представлений Крауса: конечномерные линейные полугруппы; перенос на произвольные нелинейные отображения не предполагается.

website/scripts/check_mathematical_kernel.py проверяет контрпримеры к отозванным импликациям и явные заменяющие тождества. Численные проверки дополняют доказательства; они не сертифицируют каждую теорему или феноменальную интерпретацию.