Редукция УГМ к Квантовой Механике
В §1–§6 статус [Т] имеют Теорема 3.1 (уравнение эволюции сводится к уравнению фон Неймана, когда диссипатор и регенератор выключены, , ), Теорема 3.4 и Теорема 1.1. Теорема 3.2, эквивалентность категорий , отозвана [✗] (§4.2); вместо неё верна Теорема 3.2′ [Т] — эквивалентность с семимерной квантовой механикой выше чистоты , с точно очерченной областью (§4.2). Классификация Теоремы 3.3 — прочтение [И]. §8 доказывает контекстуальность Кохена–Шпекера в на наборе лучей, построенном из плоскости Фано (T-201′, [Т]). Прежняя редакция этой врезки давала статус [Т] всем результатам §1–§6; это отозвано. §7 сопоставляет их с реконструкциями квантовой теории; эти сопоставления — интерпретации [И].
Содержание
- Связь с L-унификацией
- Предельный функтор и уравнение Шрёдингера
- Категория квантовомеханических систем
- Функтор редукции и эквивалентность категорий
- Таксономия физических систем
- Дискретность времени и Пейдж–Вуттерс
- Прецеденты: реконструкции квантовой теории
- Контекстуальность Кохена–Шпекера в пространстве голонома
1. Связь с L-унификацией
Редукция к стандартной КМ происходит когда логическая структура Ω тривиализируется: при система теряет способность к самомоделированию, и диссипативная динамика редуцируется к чисто унитарной.
В полной теории УГМ эволюция матрицы когерентности описывается логическим Лиувиллианом , который выводится из субобъектного классификатора ∞-топоса :
где:
Три компоненты имеют чёткое происхождение:
- — унитарная эволюция, сохраняющая чистоту
- — логическая диссипация из операторов Линдблада , выведенных из атомов классификатора
- — регенерация, сопряжённый функтор к диссипации
Квантовая механика возникает, когда два последних члена обращаются в нуль. Это происходит при тривиализации логической структуры : когда все характеристические морфизмы полностью определены, нет логической неопределённости, и система не способна к самомоделированию ().
Цепочка вывода:
2. Предельный функтор и уравнение Шрёдингера
2.1 Центральная теорема
Пусть — Голоном с . Тогда уравнение эволюции с эмерджентным внутренним временем :
редуцируется к уравнению фон Неймана:
для смешанных состояний, или к уравнению Шрёдингера:
для чистых состояний .
2.2 Полное доказательство
Доказательство:
Шаг 1. При система не обладает значимым самомоделированием. Мера рефлексии определена через качество самомоделирования:
что означает: оператор самомоделирования вырождается.
Шаг 2. Регенеративный член обращается в нуль:
где — норма естественного преобразования из категориального вывода. Интуитивно: регенерация требует самомоделирования; без него () регенеративный член исчезает.
Шаг 3. Диссипативный член обращается в нуль для изолированных систем:
Логическая структура «замораживается»: все характеристические морфизмы тривиальны (проекторы на собственные подпространства), и для всех .
Шаг 4. Остаётся чисто унитарный член:
где — эффективный гамильтониан, возникающий из ограничения Пейдж–Вуттерс.
Шаг 5. Для чистого состояния дифференцируем:
Шаг 6. Подставляя в уравнение :
Проецируя на слева и справа, получаем:
2.3 Интерпретация через L-унификацию
Унитарная квантовая механика — предел, когда логическая структура полностью определена и не допускает неопределённости. Все характеристические морфизмы тривиальны, что означает:
| Аспект | Полная УГМ () | КМ-предел () |
|---|---|---|
| Логическая структура | Нетривиальная, рефлексивная | Тривиальная, «замороженная» |
| Характеристические морфизмы | Нетривиальные проекции | Тривиальные (собственные проекторы) |
| Диссипация | Ненулевая (логическая неопределённость) | Нулевая |
| Регенерация | Возможна (самомоделирование) | Отсутствует |
| Динамика | Диссипативная + регенеративная | Чисто унитарная |
3. Категория квантовомеханических систем
3.1 Определение категории QM
Определение 3.1 (Категория QM).
Объекты — тройки (гильбертово пространство, гамильтониан, начальное состояние):
Морфизмы — унитарные преобразования, переводящие одно состояние в другое:
3.2 Связь с категорией Голономов
Категория (Голономов) определена через:
- Объекты: Голономы с 7-мерной матрицей когерентности
- Морфизмы: CPTP-каналы, сохраняющие структуру
Функтор забывания определяется:
где — CPTP-канал, индуцированный морфизмом .
— функтор, сохраняющий тождества и композицию.
Доказательство: Прямое следствие из определения морфизмов в как CPTP-каналов, сохраняющих структуру.
4. Функтор редукции и эквивалентность категорий
4.1 Определение функтора редукции
Определение 3.2 (Функтор редукции).
Функтор сопоставляет каждому Голоному с квантовомеханическую систему: его гильбертово пространство, эффективный гамильтониан и матрицу плотности.
4.2 Теорема об эквивалентности
Прежняя редакция утверждала как [Т], что ограничение — эквивалентность категорий . Это ложно, и каждый шаг доказательства не проходит.
- Существенная сюръективность не выполняется. Эквивалентность должна достигать каждого объекта с точностью до изоморфизма, а изоморфизмы — унитарные операторы, сохраняющие размерность и чистоту. В есть системы любой размерности — кубит, , — и состояния любой чистоты — с . Объекты — семимерные матрицы когерентности с (Определение 12.1 (V)), поэтому ни кубит, ни не изоморфны никакому . При мастер-определении меры рефлексии ни у одного голонома вообще нет , так что пуста.
- «При CPTP-каналы вырождаются в унитарные» не обосновано. Морфизмы — CPTP-каналы, сохраняющие жизнеспособность и коммутирующие с самомоделированием; ничто в этом определении не делает их унитарными. Канал замены на неподвижную точку самомоделирования удовлетворяет обоим условиям и не унитарен; без правила, переводящего его в унитарный оператор, даже не определён на морфизмах.
- Полная верность не доказана. Доказательство утверждает биекцию множеств морфизмов, не построив функтор на морфизмах.
Что верно вместо этого. Прежняя заметка здесь (25.09.2026) называла следующее «отождествлением по определению [О]» и формулировала его как изоморфизм с полной подкатегорией семимерных систем чистоты выше . Это не изоморфизм — голоному нужно ещё , а унитарное сопряжение этого не сохраняет, — но это эквивалентность, и она — теорема.
Пусть — категория, объекты которой — пары , где — объект (определение 12.1), а — гамильтониан, и морфизмы — все унитарные с , как в определении 3.1. Для одного семимерного состояния условия определения 12.1 таковы: (V) ; (PH) , что в 7D-формализме означает ; (AP) выполнено для всякого состояния (канал замены оставляет на месте); (QG) — условие на генератор, его несёт . Пусть — полная подкатегория на объектах с .
- Включение , , — эквивалентность категорий. Изоморфизмом оно не является: у чистота и , так что это не голоном, но в он изоморфен голоному.
- Её классы изоморфизма — спектры с и ; группа автоморфизмов объекта — централизатор в , по кратностям собственных значений.
- Эквивалентности нет, и её нет после ограничения на любой класс, содержащий кубит или состояние : размерность и чистота — инварианты изоморфизма в .
- Всякая квантовая система размерности голономна: изометрия даёт точный функтор , , , поскольку всякое состояние на имеет . Граница точна: при состояние имеет чистоту , а изометрическое вложение чистоту сохраняет, так что не есть образ никакого голонома. Функтор не полон (унитарные операторы на дополнении к — лишние морфизмы).
Доказательство. (1) Обе категории — полные подкатегории , поэтому вполне строг. Существенная сюръективность: для с выберем индекс с (он есть, так как ) и унитарную перестановку , меняющую местами и . Тогда — изоморфизм в , у образа и та же чистота, так что он лежит в образе . (2) Унитарные орбиты матриц плотности классифицируются спектрами, а чистота есть ; стабилизатор эрмитовой матрицы при сопряжении — произведение унитарных групп её собственных подпространств. (3) Унитарный оператор сохраняет размерность и спектр. (4) — неравенство Коши–Буняковского для собственных значений; у собственные значения , дополненные нулями, а значит, та же чистота; сохраняет произведения и единицу и инъективно. Численный свидетель: test_hol_u_is_equivalent_to_seven_dimensional_qm_above_two_sevenths.
Теорема — верная форма отозванной Теоремы 3.2, и сильнее её определения не позволяют: семимерная квантовая механика выше порога жизнеспособности и есть, с точностью до эквивалентности, категория голономов с унитарными морфизмами, и вся квантовая механика кубитов и кутритов лежит внутри неё; начиная с четырёх уровней максимально смешанные состояния — нет. Динамическое содержание редукции по-прежнему — Теорема 3.1.
4.3 Физический смысл эквивалентности
Теорема 3.1 показывает, что при выключенных диссипаторе и регенераторе уравнение УГМ есть уравнение фон Неймана на . Она не показывает, что стандартная квантовая механика содержится в УГМ: квантовые системы иных размерностей и семимерные состояния с не являются голономами. Прежняя редакция этой врезки читала отозванную Теорему 3.2 так: «стандартная квантовая механика в точности содержится в УГМ как частный случай при нулевой рефлексии; все результаты КМ автоматически справедливы в УГМ при »; это прочтение отозвано вместе с ней.
Новые эффекты УГМ (регенерация, самомоделирование, сознание) — это те члены, которые Теорема 3.1 выключает.
4.4 Коммутативная диаграмма
Полная иерархия категорий, связывающая УГМ с физикой:
Ключевая роль :
- -топос содержит классификатор
- Из выводятся операторы Линдблада:
- Вся физическая динамика определяется логической структурой
5. Таксономия физических систем
5.1 Классификация по и структуре
| Параметр | Структура | Динамика | Физическая система |
|---|---|---|---|
| Тривиальная (все определены) | Унитарная КМ (кварки, лептоны, бозоны) | ||
| Частично определена | Открытая КМ (атомы в среде) | ||
| Рефлексивная ( моделирует себя) | Полное уравнение с | Живые системы (клетки, организмы) |
Статус [И]: при мастер-определении строка не описывает ни одного состояния ; таблица читает как качество самомоделирования и есть схема классификации, а не теорема. (Прежний заголовок давал ей [Т]; отозвано.)
5.2 Детальная интерпретация
При (Унитарная КМ): Логическая структура полностью тривиальна. Все характеристические морфизмы определены однозначно, нет логической неопределённости. Система не способна к самомоделированию. Динамика чисто унитарна — это стандартная квантовая механика элементарных частиц.
При (Открытая КМ): Логическая структура частично определена. Существуют нетривиальные характеристические морфизмы, но система недостаточно сложна для полноценного самомоделирования. Динамика включает диссипацию (уравнение Линдблада), но без регенерации. Это стандартная теория открытых квантовых систем.
При (Живые системы): Логическая структура рефлексивна — система способна моделировать собственную логическую структуру. Активны все три члена уравнения: унитарный, диссипативный и регенеративный. Это область, уникальная для УГМ.
Различие между системами с и (в обиходе — «мёртвая» и «живая» материя) — в структуре логического классификатора : системы с ненулевой регенерацией способны моделировать собственную логическую структуру. Порог — это не произвольный параметр, а следствие структуры .
5.3 Переходы между режимами
Классификация непрерывна: при увеличении от 0 система плавно переходит от унитарной КМ через открытую КМ к полной динамике УГМ:
6. Дискретность времени и Пейдж–Вуттерс
6.1 Связь с L-унификацией
В Аксиоме Ω⁷ время выводится из механизма Пейдж–Вуттерс через темпоральную модальность ▷ на классификаторе .
Дискретность времени — следствие конечной структуры .
6.2 Теорема о дискретности
Для конечномерной системы с внутреннее время принимает значения из циклической группы:
Для УГМ с : .
Доказательство: Следует из конечномерности алгебры часов .
Алгебра часов , где:
- — гамильтониан часов
- — оператор циклического сдвига
Собственные значения образуют конечный спектр , что задаёт дискретных моментов времени.
6.3 Физические следствия
| Следствие | Формула | Статус |
|---|---|---|
| Квант времени (хронон) | [Т] Следствие | |
| Континуальный предел | [Т] Доказано | |
| Дискретный -группоид | для | [Т] Формализовано |
6.4 Связь с 42D формализмом
Полное пространство состояний Пейдж–Вуттерс:
где — 6 оставшихся измерений Голонома.
Минимальный 7D формализм получается через диагональное вложение — см. Матрица когерентности.
6.5 Предел
При дискретное время переходит в непрерывное алгебраически:
как -алгебр. Топологически — вполне несвязное пространство, тогда как — связное. Переход алгебраический (групповые алгебры), не топологический (группы).
Масштабированный предел:
| Интерпретация | ||
|---|---|---|
| 7 | УГМ-хронон (минимальный квант субъективного времени) | |
| 100 | Мезоскопический предел | |
| 0 | Классический предел (непрерывное время) |
7. Прецеденты: реконструкции квантовой теории
Эта страница получает квантовую механику из УГМ, выключая два члена уравнения эволюции, которое уже записано в формализме гильбертова пространства: объекты базовой категории — матрицы плотности на (Свойство 1), процессы — CPTP-каналы, вероятности — следы. С 2001 года отдельное направление исследований делает то, чего УГМ не делает: оно выводит этот формализм — комплексные гильбертовы пространства, матрицы плотности, унитарную динамику, правило следа для вероятностей — из требований к тому, как системы можно приготовить, преобразовать и измерить. Эти выводы и есть прецедент, относящийся к любому утверждению, будто УГМ «выводит» квантовую механику, и они касаются УГМ двояко; оба пункта изложены в §7.2.
Работают они внутри обобщённых вероятностных теорий (GPT): состояние — это просто список вероятностей исходов фиксированного набора измерений, а теория задаётся тем, какие состояния, преобразования и измерения она допускает. Классическая теория вероятностей и квантовая теория — две такие теории; реконструкция — теорема, которая выделяет квантовую теорию среди всех остальных несколькими физическими требованиями.
7.1 Реконструкции
- Харди (2001). L. Hardy, «Quantum theory from five reasonable axioms», arXiv:quant-ph/0101012. Систему характеризуют два целых числа: — сколько вероятностей нужно, чтобы задать состояние, и — наибольшее число состояний, различимых за одно измерение. Из пяти аксиом — вероятности как пределы относительных частот; простота ( — наименьшая функция от , совместимая с остальными аксиомами); подпространства (система, ограниченная из своих различимых состояний, ведёт себя как система с ); составные системы (, ); непрерывность (любые два чистых состояния связаны непрерывным обратимым преобразованием) — Харди выводит с натуральным , а затем , то есть комплексную квантовую теорию. Если убрать одно слово «непрерывным», остаётся классическая теория вероятностей с .
- Дакич и Брукнер (2011). B. Dakić, Č. Brukner, «Quantum theory and beyond: is entanglement special?», in Deep Beauty: Understanding the Quantum World through Mathematical Innovation, ed. H. Halvorson, Cambridge University Press 2011, pp. 365–392, doi:10.1017/CBO9780511976971.011, arXiv:0911.0695. Три аксиомы — все системы, несущие не более одного бита, эквивалентны; состояние составной системы определяется измерениями над её частями; любые два чистых состояния связаны обратимым преобразованием — восстанавливают классическую теорию вероятностей и квантовую теорию, а непрерывность преобразования отделяет квантовую. Побочный результат: никакая другая вероятностная теория не может обладать запутанностью, не нарушив одной из аксиом.
- Масанес и Мюллер (2011). Ll. Masanes, M. P. Müller, «A derivation of quantum theory from physical requirements», New J. Phys. 13, 063001 (2011), arXiv:1004.1483. Пяти требованиям — конечности (у системы с двумя различимыми состояниями конечномерное пространство состояний), локальной томографии (состояние составной системы определяется статистикой измерений над частями), эквивалентности подпространств, симметрии (любое чистое состояние обратимо переводится в любое другое), допустимости всех измерений — удовлетворяют ровно две теории, классическая теория вероятностей и квантовая теория; требование непрерывности обратимых преобразований оставляет одну квантовую. Трёхмерность шара Блоха кубита получает теоретико-групповое объяснение.
- Кирибелла, Д’Ариано и Перинотти (2011). G. Chiribella, G. M. D'Ariano, P. Perinotti, «Informational derivation of quantum theory», Phys. Rev. A 84, 012311 (2011), arXiv:1011.6451. Пять информационных принципов — причинность, совершенная различимость, идеальное сжатие, локальная различимость, чистое обусловливание — задают класс теорий; ещё один постулат, очищение (всякое смешанное состояние — маргинал чистого состояния большей системы, единственного с точностью до обратимого преобразования добавленной системы), выделяет конечномерную квантовую теорию, выведенную без предположения о гильбертовом пространстве.
- Семимерный случай с (2013–2021). В этих реконструкциях элементарная система — аналог бита — имеет пространством состояний евклидов шар, а требование, чтобы любое чистое состояние переводилось в любое другое обратимым преобразованием, делает её группу симметрий транзитивной на граничной сфере. Для нечётной размерности шара эта группа обязана быть ; при ею может быть и исключительная группа , транзитивная на . Это единственное место, где октонионная структура, которой пользуется УГМ, появляется в литературе о реконструкциях, — и там она рассмотрена и отставлена. Б. Дакич и Ч. Брукнер (B. Dakić, Č. Brukner, «The classical limit of a physical theory and the dimensionality of space», in Quantum Theory: Informational Foundations and Foils, eds. G. Chiribella, R. W. Spekkens, Springer 2016, arXiv:1307.3984, §VI.C) показали, что единственный -инвариантный тензор — октонионные структурные константы , отличные от нуля ровно на семи тройках Фано, — сцепляет систему с классическим полем через генераторы вне , так что динамика выходит из и должна была бы быть , а этот случай они уже исключили. Масанес, Мюллер, Перес-Гарсия и Аугусяк (Ll. Masanes, M. P. Müller, D. Pérez-García, R. Augusiak, «Entanglement and the three-dimensionality of the Bloch ball», J. Math. Phys. 55, 122203 (2014), arXiv:1111.4060, §IV.I) доказали, что две такие системы с локальной группой не допускают взаимодействующей динамики, а значит, и запутанности. Обзор М. Мюллера называет шар с «любопытным особым случаем», исключённым для двух систем, и оставляет открытым, существует ли постквантовая теория, связанная с , для трёх и более (лекции, указанные в абзаце «Статус» ниже, §4.2).
- Хён (2017). P. A. Höhn, «Toolbox for reconstructing quantum theory from rules on information acquisition», Quantum 1, 38 (2017), arXiv:1412.8323; случай многих кубитов завершён в P. A. Höhn, C. S. M. Wever, «Quantum theory from questions», Phys. Rev. A 95, 012102 (2017), arXiv:1511.01130. Наблюдатель опрашивает систему вопросами «да/нет»; четыре правила — предел доступной информации, существование дополнительной информации, сохранение полной информации между опросами и непрерывная эволюция знаний наблюдателя — дают шар Блоха кубита (и диск ребита, который исключает дополнительное правило) с унитарной эволюцией во времени.
Статус. Это общепринятые теоремы в рамках GPT; обсуждается другое — какие требования физически убедительны. Дакич и Брукнер, например, отмечают, что большинство прежних попыток либо не выводят теорию однозначно, либо опираются на абстрактные допущения, которым самим нужна физическая мотивировка (2011, аннотация), а Масанес и Мюллер заменили аксиому простоты Харди своим пятым требованием (2011, §I). Лекции М. Мюллера излагают эти рамки и реконструкцию из томографической локальности, непрерывной обратимости и аксиомы подпространств (M. P. Müller, «Probabilistic theories and reconstructions of quantum theory», SciPost Phys. Lect. Notes 28 (2021), arXiv:2011.01286).
7.2 Что реконструкции значат для УГМ
Четыре пункта ниже — интерпретирующие сопоставления [И]; каждый называет утверждение корпуса, на которое опирается.
- УГМ постулирует то, что реконструкции выводят. Корпус говорит это сам. Его эпистемический аудит называет квантовый постулат (QG) — «что состояния реальности образуют квантовое пространство состояний (операторы плотности на гильбертовом пространстве)» — одним из двух входов, которые УГМ не выводит, и добавляет, что программы реконструкции могли бы переместить (QG) к более слабым операциональным аксиомам, но не устранить первый постулат (эпистемическая вертикаль, §8); T-190 выводит аксиомы A1–A5 из (AP)+(PH)+(QG)+(V) вместе с MaxEnt, и (QG) стоит среди посылок. Ничто на этой странице не выводит комплексные числа, правило следа или тензорное произведение: теорема 3.1 убирает и из уравнения, которое уже содержит , а отозванная теорема 3.2 сравнивала две категории, обе построенные из гильбертовых пространств. «Редукция» в заголовке поэтому означает, что стандартная квантовая механика — режим УГМ, а не то, что УГМ её порождает. Реконструкции — не соперники этой страницы, а шаг, который должен был бы ей предшествовать, и этого шага в корпусе нет.
- Режим лежит вне любой реконструированной теории. Каждая реконструкция исходит из операционального смысла смеси: если приготовление — смесь двух приготовлений по броску монеты, то неважно, забыт ли исход броска до или после преобразования, поэтому всякое преобразование действует на состояния аффинно, (Харди 2001, формулы (41)–(46); Масанес и Мюллер 2011, §II C). Регенеративный член УГМ не аффинен по — он взвешен множителями и (эволюция, §3), — так что полная динамика УГМ нарушает то самое требование, с которого реконструкции начинаются. Что здесь поставлено на карту, показывает теорема-запрет: К. Симон, В. Бужек и Н. Жизен показали, что если состояния описываются в гильбертовом пространстве, вероятности исходов подчиняются правилу следа, а сверхсветовая передача сигналов невозможна, то динамика обязана быть линейной и вполне положительной на матрицах плотности (C. Simon, V. Bužek, N. Gisin, «The no-signaling condition and quantum dynamics», Phys. Rev. Lett. 87, 170405 (2001), arXiv:quant-ph/0102125). Корпус отвечает на вопрос о нелинейности утверждением, что его эволюция зависит только от (ансамблевая независимость); это утверждение на теорему не отвечает, потому что отображение может зависеть только от и при этом не быть аффинным. Это столкновение в корпусе пока не разрешено.
- Где УГМ идёт дальше. Нигде в области самих реконструкций: ни одна теорема корпуса не усиливает теорему реконструкции. Специфическое содержание УГМ — размерность семь, фановская форма диссипатора — надстраивается над (QG) и касается того, о какой квантовой системе идёт речь, а не того, почему теория квантовая.
- Семёрка и в УГМ — не отвергнутый шар . Случай, отставленный в §7.1, — семимерное пространство состояний элементарной системы, шар Блоха с границей . Пространство состояний голонома — , квантовая семиуровневая система с чистыми состояниями и 48 вещественными параметрами, на которой действует как симметрия внутри обычной квантовой теории. Поэтому эти результаты УГМ не опровергают. Они показывают другое: когда сочетание «семь, , тройки Фано» пробовали сделать основанием вероятностной теории, оно не сработало, — ещё один довод в пользу того, что его использование в УГМ должно оставаться надстройкой над квантовым постулатом (QG), как и говорит пункт 1.
8. Контекстуальность Кохена–Шпекера в пространстве голонома
Проекторы линий Фано коммутируют, и распределение воспроизводит каждый их контекст, так что контекстуальности они не дают; прежняя T-201 утверждала обратное и отозвана (реестр, test_fano_line_projectors_commute_hence_noncontextual). Контекстуальности нужны некоммутирующие проекторы. Плоскость Фано поставляет их канонический набор.
Лучи. В возьмём семь базисных векторов и для каждого из семи дополнений линии Фано (слов веса четыре кода Хэмминга шага T8) восемь лучей . Это 63 луча; с обоими знаками — 126 единичных векторов, замкнутых относительно отражений , — система корней . Как октонионы это чисто мнимые единицы целых октонионов Кокстера. Ориентация линий Фано не участвует: участвуют лишь сами линии, через свои дополнения.
63 луча образуют 135 ортонормированных базисов , каждый луч лежит в 15 из них, и всякое множество попарно ортогональных лучей дополняется до одного из этих базисов. Не существует приписывания с ровно одним лучом значения 1 в каждом базисе. Поэтому для всякого состояния проекторы ранга один на эти лучи не допускают неконтекстуального приписывания значений: пространство состояний УГМ несёт не зависящую от состояния контекстуальность Кохена–Шпекера, с проекторами из разных базисов, которые не коммутируют (1008 из 1953 пар лучей не ортогональны и не совпадают).
Доказательство. Подсчёты — конечный перебор максимальных ортогональных подмножеств (все они из семи элементов). Нераскрашиваемость — конечная задача допустимости 0/1 — 63 переменные, 135 равенств , — и она недопустима; это проверено точным решателем целочисленного программирования (test_e7_rays_from_the_hamming_quadrangles_are_kochen_specker) и независимо подтверждено перебором с распространением ограничений. Уже подсемейство из 36 базисов из 135, критическое по базисам, не раскрашивается. Конфигурация – лучей и её свойство Кохена–Шпекера принадлежат A. Ruuge, «Exceptional and non-crystallographic root systems and the Kochen–Specker theorem», J. Phys. A: Math. Theor. 40, 2849–2859 (2007), arXiv:0906.2696; здесь добавлено её построение из плоскости Фано и кода Хэмминга цепочки УГМ.
Что это утверждает и чего не утверждает. Множества Кохена–Шпекера существуют во всякой размерности , так что контекстуальность ожидаема; содержание T-201′ в том, что каноническая структура, которую производит цепочка УГМ (плоскость Фано шага T12 и её код Хэмминга шага T8), даёт множество Кохена–Шпекера без дополнительных выборов. Она не утверждает, что канал Фано или проекторы линий контекстуальны, и не возрождает отозванное следствие о том, что SYNARC различает классические и квантовые исходы.
Сводная таблица результатов
| Теорема | Формулировка | Статус |
|---|---|---|
| Т.3.1 | Редукция к уравнению Шрёдингера при | [Т] Доказано |
| Т.3.2 | [✗] Отозвано (§4.2) | |
| Т.3.2′ | ; вся при вкладывается точно; граница точна | [Т] Доказано (§4.2) |
| T-201′ | Контекстуальность Кохена–Шпекера 63 лучей Фано–Хэмминга () в | [Т] Доказано (§8) |
| Т.3.3 | Классификация систем по и | [И] Схема классификации (строка пуста при ) |
| Т.3.4 | Дискретность внутреннего времени | [Т] Доказано |
| Т.1.1 | Функториальность забывания | [Т] Доказано |
Связанные документы:
- Соответствие с физикой — полный контекст теорем 3.1-3.4
- Квантовое измерение — теория измерения из
- Эволюция Γ — уравнение движения, вывод
- Эмерджентное время — механизм Пейдж–Вуттерс, модальность ▷
- Аксиома Ω⁷ — L-унификация:
- Матрица когерентности — определение , связь формализмов
- Измерение O — алгебра часов , ,
- Критическая чистота — связь с временем
- Категорный формализм — функтор ,
- Физика — обзор — полная карта результатов