Когезивные конструкции и область метрического выбора

Редакция — 2026-10-03

Когезия, дифференциальная когезия, выбор метрики и феноменальное отождествление — самостоятельные входы. Универсальная аксиоматическая эквивалентность T-190 отозвана [✗]. Ни терминальный объект, ни классификатор не выбирают семимерный квантовый регистр или единственную динамику.

1. T-185: модальности в заданном окружении

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

Для $\mathcal D_N$ топология Бюреса совпадает с обычной топологией конечномерных матриц. Пространство выпукло, поэтому стягивается к $I/N$. Страта ранга $k$ имеет вещественную размерность

$$2Nk-k^2-1.$$

Отображение на носитель имеет базу $\mathrm{Gr}_k(\mathbb C^N)$ и стягиваемый слой положительно определённых нормированных матриц размераk. При стандартной локальной тривиализации её гомотопический тип — тип этой грассманианы. Эти факты не задают глубину опыта или физическое число измерений.

Тривиальность характеристических классов расслоений над стягиваемым пространством плотностей не означает отсутствия кривизны конкретной связи. Кривизна требует самой связи и дифференциальной геометрии. Универсальное отождествление Gap с кривизной T-73 отозвано [✗]. Дифференциально когезивные диаграммы для устойчивых коэффициентов нельзя применять к некоммутативному BG2 без дополнительной конструкции.

2. T-186/T-188: феноменальный и временной мосты

Отождествление выбранной модальности с феноменальным функтором — гипотеза [Г/И], требующая явной области, кообласти и преобразования. Фильтрация Постникова не является автоматически иерархией сознания. Топосные модальности сами не решают hard problem.

Точное условное время Page–Wootters требует заданных часов, согласованных спектров и ненулевого физического подпространства ограничения. При взаимодействии нельзя отбросить смешанные часовые блоки и назвать результат точным: редукция может быть нелокальна по времени. Универсальное положительное значение свободной энергии также не следует из категориальной структуры. Эти мосты перечислены в посылках.

3. T-187: точная область метрики Бюреса

В выбранном нормированном семействе монотонных метрик Петца на полноранговых плотностях SLD-метрика — минимальная в поточечном порядке. Её нормировка Бюреса равна четверти SLD-информации. Минимальность в этом семействе — точный математический факт, но выбор семейства и требование именно минимального элемента — входы модели. CPTP-контрактивность сама допускает всё семейство, а не одну метрику. См. Petz–Sudár.

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

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

4. T-189: SLD-тождество и предел MaxEnt

Для $\rho>0$ и эрмитовой касательной $X$ SLD задаётся единственным решением

$$X=\tfrac12(\rho L_X+L_X\rho).$$

При $\rho=\mathrm{diag}(\lambda_i)$ имеем $(L_X)_{ij}=2X_{ij}/(\lambda_i+\lambda_j)$. Тогда

$$g_B(X,Y)=\tfrac14\mathrm{Re}\mathrm{Tr}(\rho L_XL_Y).$$

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

Граница Крамера–Рао требует конкретной статистической модели и условий локальной несмещённости. Её достижимость в многопараметрической квантовой модели не следует из одного SLD-тождества: оптимальные измерения разных параметров могут быть несовместимы.

5. Сохраняемая операциональная лемма

Пусть различимость задана как супремум по всем POVM некоторой классической различимости, убывающей под допустимой обработкой. Для линейного CPTP-канала $\Lambda$ и POVM $\{E_i\}$ операторы $\Lambda^*(E_i)$ образуют POVM: сопряжённый канал положителен и унитален. Статистика выхода совпадает с входной статистикой этого POVM. Поэтому выходной супремум не больше входного [Т].

Это доказывает монотонность заданной операциональной различимости. Оно не восстанавливает открытый сайт, размерность, часы, динамику, модальности и опыт из четырёх семантических принципов. Универсальная T-190 снята [✗].

См. категориальную формализацию, математическое ядро, реконструкцию.