Теорема об Эмерджентном Времени
T-53a доказывает эквивариантную биекцию заданных циклических множеств меток с базовыми точками; классификатор не вынуждает часы (§2, §6). Условное описание PW предполагает тензорный множитель часов и ограничение носителя (§3.1a, T-87). T-53c доказывает монотонность относительной энтропии для заданной истории унитальных каналов; строгая потеря требует заданного критерия потери/восстановления (§7). T-53d имеет статус [С при (Fold)+(ClockReadout)] (§8). Конечные конструкции регистра глубины/истории в §11 — независимые условные реализации и сохранены. Нелинейный регенератор, подобранный вдоль одной траектории, не даёт линейного CPTP-закона, независимого от состояния, для всех входов.
Содержание
- Постановка проблемы
- Время из темпоральной модальности на Ω
- Механизм Пейдж–Вуттерс для УГМ
- Информационно-геометрическое время
- Категорное время через ∞-группоид
- Теорема об эквивалентности
- Теорема о стреле времени
- Связь с критической чистотой
- Следствия
- Стратификационное время
- Прецеденты и родственные программы
- 11.3 Носители апериодического параметра
- 11.4 Регистр глубины: точный конечный носитель
- 11.5 Алгебра наблюдателя де Ситтера и башня голономов
- 11.6 Направление и непрерывные часы
1. Постановка проблемы
1.1 Проблема циркулярности
В исходной формулировке УГМ время входит как параметр эволюции:
Это логически циркулярно: динамика определяется через , но — то, что мы пытаемся вывести.
1.2 Требование Аксиомы Ω⁷
Из Аксиомы Ω⁷ следует:
"∞-топос — единственный примитив."
Логическое следствие: Время должно быть функцией структуры категории :
1.3 Четыре уровня проблемы
| Уровень | Проблема | Решение |
|---|---|---|
| Кинематический | Что такое «момент времени»? | Пейдж–Вуттерс: корреляция с O |
| Геометрический | Как измерить «течение времени»? | Метрика Бурес / d_strat |
| Категорный | Как формализовать структуру? | ∞-группоид путей Exp_∞ |
| Стратификационный | Что такое стрела времени? | Коллапс страт к T |
2. Заданные метки часов и логические типы
Типизированное ядро использует . Его классификатор подобъектов имеет вид : значения истинности — открытые подобъекты, а не квантовые проекторы ранга один. Классификатор не задаёт семиатомных часов, гамильтониана или циклического действия. Прежний вывод из атомов отозван [✗].
2.1 Выбранное циклическое действие
Зададим свободное транзитивное -множество , образующий и . Тогда есть биекция [Т при заданном циклическом действии]. Условия существенны: произвольная перестановка порядка может иметь меньшие орбиты и неподвижные точки. здесь — выбор модели.
На внешней булевой алгебре определение даёт сохраняющий порядок булев автоморфизм с . Эта булева алгебра не отождествляется с .
2.2 Циклические метки и накопленные записи
Метка периодична. Индекс истории направлен. Отображение второго в первую не инъективно; одна метка не записывает число прошедших циклов. Ни один индекс не получает физической единицы, пока не заданы реализация часов и калибровка.
2.3 Совместимые конечные квантовые часы
Выберем , энергетический базис и (). Определим
Тождество доказывает ортонормированность. При
Таким образом, выбранные квантовые часы реализуют заданную перестановку. Их спектр и масштаб — входные данные. Логарифм унитарного оператора зависит от ветви; матричного логарифма неопределённого логического классификатора нет. Изоморфизм этого гильбертова пространства с «глобальными сечениями » не утверждается. Тензорный множитель PW и ограничение носителя — отдельные данные §3.1a.
2.4 Логика и картина Гейзенберга
Для фиксированного линейного GKSL-генератора двойственный оператор на матричных наблюдаемых равен
Двойственный пропагатор унитален и вполне положителен, поэтому сохраняет матричные эффекты [Т]. Матричный эффект — не характеристический морфизм . Двойственность не объединяет классификатор топоса, проекторы выбранного репера, скорости часов и диссипацию. У нелинейного потока состояний нет одного линейного двойственного оператора Гейзенберга, независимого от входа.
2.5 Предикаты на циклических метках
Для можно определить и . Это логические операции относительно заданного конечного действия [О]. Они не задают квантовой эволюции или необратимой стрелы.
2.6 Раздельные конструкции
Множество меток задаёт перестановку и, после реализации в гильбертовом пространстве, унитарный шаг часов. Выбранный сайт пространства состояний задаёт логический классификатор. Выбранный численный генератор задаёт траекторию состояния. Связь этих конструкций требует типизированных отображений и дополнительных данных совместимости; ни одна такая стрелка не вынуждена одним обозначением .
2.7 Область темпорального языка
Сохраняемое содержание прежней Теоремы 2.7.1 — вычисление для циклического действия в §2.1. Произвольный -топос не снабжён выбранным темпоральным эндофунктором порядка . Перестановка меток сама не является ни рефлективной модальностью, ни оператором «позже» теории отложенных вычислений. Ни фактор , ни разложение классификатора не используются для вывода тензорного произведения часов. Эти прежние импликации отозваны [✗].
3. Механизм Пейдж–Вуттерс для УГМ
И тензорный множитель часов, и — явные входные данные модели. Алгебра прямой суммы, логический классификатор или одна стационарность их не задают. Условная область и контрпример для смешанного состояния приведены в §3.1a.
3.1 Идея механизма (стандартная формулировка)
В квантовой гравитации используется следующая конструкция:
Полная система:
- — часовая подсистема (clock)
- — остальная система
Условие Уилера–ДеВитта:
Время возникает как корреляция между часами и системой.
3.1a Пейдж–Вуттерс: заданные тензорная структура и связь
T-87 имеет статус [С при заданных тензорном множителе часов и ограничении носителя]. Зададим гильбертово пространство , другое пространство , их тензорное произведение, самосопряжённые и с условием
Это объявленные данные модели. Разложение Веддербёрна в прямую сумму, именованная ось O или классификатор не вынуждают тензорного множителя. В частности, фактор гильбертова пространства по подпространству не является дополнительным тензорным множителем.
Ограничение носителя влечёт . Обратное неверно: для различных собственных значений связи коммутирует с , но при любом скалярном сдвиге . Чистая стационарность выбирает одно энергетическое собственное подпространство, которое можно сдвинуть к нулю; смешанная стационарность этого не даёт.
Для заданных проекторов часов положим и определим
Положительность и нормировка следа следуют непосредственно. Совместимая невзаимодействующая связь может дать унитарную условную динамику, как в исходной конструкции PW; одна стационарность не даёт универсального условного закона. Поправки взаимодействия требуют явных оценок, а не одного обозначения . Прежний вывод A5 из классификатора в регистр отозван [✗]. Конечная историческая конструкция §11 отдельна и сохранена.
3.2 Адаптация для УГМ
В 7D структуре УГМ естественный кандидат на роль часов — измерение O (Основание).
Обоснование:
- O — связь с квантовым вакуумом
- O участвует в регенерации: (см. категориальный вывод κ₀)
- Физически: O — «источник», питающий динамику
3.3 Формальная конструкция
Соглашение о типах. Ниже тензорное произведение — отдельно заданная совместная система: если и , её размерность равна 42. Именованное одномерное подпространство O исходного не является этим множителем часов; факторизация семимерного пространства не утверждается. Условные состояния требуют .
Шаг 1: Разложение Γ
где .
Шаг 2: Ограничение Пейдж–Вуттерс
где оператор связи (constraint):
Шаг 3: Условное состояние
Внутреннее время определяется через условные состояния:
где:
- — базис собственных состояний часов O
- — нормировка
3.4 Теорема Пейдж–Вуттерс
Пусть удовлетворяет ограничению . Тогда условные состояния эволюционируют согласно:
где — эффективный гамильтониан, возникающий из .
Следствие: Время — не внешний параметр, а параметризация корреляций внутри глобального состояния .
«Поправки» в общем случае не малы. При условные состояния связаны унитарным шагом, . Когда связь сцепляет часы с системой, А. Смит и М. Ахмади доказали для часов с непрерывным спектром, что условное состояние подчиняется нелокальному во времени уравнению Шрёдингера, в котором гамильтониан системы заменён интегральным оператором (A. R. H. Smith, M. Ahmadi, «Quantizing time: interacting clocks and systems», Quantum 3, 160 (2019), arXiv:1712.00081); локальный генератор из §3.6 — в лучшем случае главный член по , а корпус не показал, что семиуровневые часы избегают нелокальной формы.
Прежняя редакция этой врезки утверждала, что теорема когезивного замыкания устраняет поправку : условные состояния — «точные сечения плоской проекции », эволюционирующие по коединице сопряжения . Это утверждение отозвано: при взаимодействии точная условная динамика нелокальна во времени (абзац выше), относительно часов с периодом в семь тактов она периодична по (§11.2), а коединица сопряжения не несёт никакой информации об , которая могла бы устранить то или другое. T-186(b) снято [✗].
3.5 Базис часов для 7D
Для :
где — собственные состояния .
3.6 Явные конструкции для УГМ
Полные формулы для 7D системы УГМ определены в соответствующих мастер-документах:
| Конструкция | Формула | Мастер-определение |
|---|---|---|
| Гамильтониан часов | dimension-o#гамильтониан-часов-h_o | |
| Оператор сдвига | dimension-o#оператор-сдвига-v_o | |
| C*-алгебра часов | dimension-o#c-алгебра-часов-a_o | |
| Гамильтониан взаимодействия | axiom-omega#гамильтониан-взаимодействия | |
| Полное ограничение | axiom-omega#свойство-2 | |
| Эффективный гамильтониан | evolution#вывод-h_eff |
Последняя строка точна лишь при ; при взаимодействии это главный член нелокального во времени закона (§3.4).
3.7 Дискретность времени для конечных систем
Для время фундаментально дискретно, а не непрерывно.
Вопрос: Если τ ∈ ℤ₇ дискретно, почему уравнение эволюции использует dΓ/dτ (производную)?
Ответ:
- Минимальный формализм (N=7): τ дискретно, уравнения — разностные (Δτ вместо dτ)
- Макроскопический предел (N → ∞): τ приближается к непрерывному, уравнения — дифференциальные
- Практика: Дифференциальная форма — удобная аппроксимация при Δτ ≪ характерных времён системы
Для реализаций: Используйте дискретную форму: Γ(τ+1) = Γ(τ) + Δτ·(...) с шагом Δτ = 2π/(7ω₀).
— размерность гильбертова пространства часов, не кардинальность множества моментов. Различие:
- Базис часов: 7 ортогональных состояний — базис , аналог 7 делений на циферблате
- Временны́е моменты: — циклическая группа. Система проходит циклы неограниченно, как стрелки часов с 7 делениями
- Хронон: — минимальный квант субъективного времени, определяется характерной частотой системы, а не числом 7
Для составных систем гильбертово пространство часов растёт как , но суммарные часы холонов имеют лишь различимых показаний и сохраняют период (составные часы ниже). Прежняя фраза здесь — « даёт квази-непрерывность макроскопического времени» — отозвана: число показаний не есть размерность пространства.
Теорема (Дискретность времени): Для конечномерной системы с внутреннее время принимает значения из циклической группы:
Для УГМ с :
Следствия:
| Свойство | Дискретное время () | Непрерывный предел () |
|---|---|---|
| Множество времён | (7 моментов) | или |
| Топология | Дискретная, циклическая | Континуальная |
| Хронон (минимальный квант) | ||
| Фундаментальная группа | ||
| Уравнение эволюции | Разностное | Дифференциальное |
Интерпретация:
- Квантование настоящего: Существует минимальный «квант» субъективного времени — хронон
- Циклическое время: Время локально имеет структуру , не
- Эмерджентная непрерывность: Континуальное время — макроскопическое приближение для
3.8 Предел N → ∞ и связь с физикой
При дискретное время переходит в непрерывное алгебраически, не топологически.
Топологическая ошибка: топологически!
- Проективный предел — вполне несвязное пространство
- — связное пространство
- Они топологически различны
Правильная формулировка предела:
Определение (Масштабированный предел):
Это масштабированный предел, не топологический.
Теорема об алгебраическом пределе
При групповая алгебра сходится к алгебре непрерывных функций на окружности:
как C*-алгебр (не топологически, а алгебраически).
Доказательство:
(a) Структура групповой алгебры:
(b) Преобразование Фурье:
Изоморфизм :
(c) Предельный переход:
При спектр становится плотным в :
(d) C-изоморфизм:*
По теореме Гельфанда–Наймарка:
∎
Хронон как функция N:
| N | Интерпретация | |
|---|---|---|
| 7 | УГМ-хронон (минимальный квант субъективного времени) | |
| 100 | Мезоскопический предел | |
| 0 | Классический предел (непрерывное время) |
Теорема соответствия (классический предел)
Для любой наблюдаемой :
где .
Доказательство:
Среднее по дискретному времени:
При с (где ):
∎
Следствие для УГМ:
Классическое непрерывное время на окружности — макроскопическое приближение дискретного внутреннего времени: показания становятся плотными в , длина которой не меняется. Прямая так не получается (см. конец этого подраздела).
Теорема (Непрерывный предел — алгебраический):
В пределе при фиксированной :
- (хронон исчезает)
- заполняет окружность длины ; период не растёт
- Алгебраическая сходимость: (групповые алгебры, не группы!)
(Прежняя редакция фиксировала произведение и одновременно утверждала ; при фиксированном хронон не меняется, растёт лишь период . Это сочетание отозвано.)
Ключевое уточнение: Переход алгебраический (групповые алгебры ), не топологический ().
Теорема о композитных часах и непрерывном пределе
Прежняя редакция утверждала как теорему [Т], что система из голонов имеет эффективные часы с показаниями и хрононом . Для генератора, которым пользуется само её доказательство, это ложно. При и спектре каждого , равном , спектр — множество целых : значение с большими кратностями. Поэтому , и у составных часов тот же период , что у одного голона. Орбита любого состояния лежит в подпространстве размерности не больше (одно направление на каждое различное собственное значение), поэтому содержит не больше попарно ортогональных, то есть совершенно различимых, показаний. Размерность пространства — не число показаний; показаний потребовали бы частот часов в отношении (позиционные часы), которых у набора одинаковых голонов нет. При у суммарных часов различных собственных значений против заявленных (регрессионная проверка в website/scripts/check_core_numbers.py).
Что верно вместо этого (элементарно; проверено численно при ). Для голонов с одинаковыми часами суммарные часы имеют различимое показание, период и наилучшее ортогональное разрешение
убывающее как , а не как . При показания становятся плотными на окружности фиксированной длины — это алгебраический предел выше, — но окружность не разворачивается в прямую: составные O-часы не дают апериодического времени (§11.2).
Где показаний всё же есть. Те же O-регистров несут совершенно различимых, линейно упорядоченных показаний, если служат разрядами одного числа, , а шаг — перенос одометра, а не поток суммарного генератора; связь тогда типа Фейнмана–Китаева, а не . У этого позиционного регистра глубины (§11.4) периода нет: его показания образуют цепь . Отзыв выше остаётся в силе для суммарных часов; показаний принадлежат только позиционному регистру.
Пусть — логический Лиувиллиан с . Тогда дискретная эволюция сходится к непрерывному уравнению Линдблада:
Для голонов с разрешением суммарных часов погрешность одного шага имеет порядок : она мала полиномиально, а не экспоненциально. (Прежняя редакция пользовалась и погрешностью ; то и другое отозвано вместе с утверждением о составных часах выше.)
Доказательство: Стандартная оценка через формулу Тейлора для экспоненциала: .
Подставляя :
При эта величина стремится к нулю как .
Физическая интерпретация:
| Система | M | Показаний | Непрерывность | |
|---|---|---|---|---|
| Одиночный голон | 1 | 7 | Дискретное | |
| Нейрон ( молекул) | Квазинепрерывное, на окружности | |||
| Макроскопическая система | Непрерывная окружность длины , не |
(Прежняя таблица давала для нейрона и , а для макроскопической системы — «Непрерывное ()»; эти значения отозваны.)
Связь с хрононом:
| Масштаб | Хронон | Время |
|---|---|---|
| Субъективный (N = 7) | Дискретное, | |
| Нейронный (N ~ 10⁸) | Квази-непрерывное | |
| Физический (N → ∞) | Непрерывная окружность для суммарных O-часов; — из регистра глубины (§11.4) |
Следствие для интерпретации:
Физическое (ньютоновское) время — не предел показаний O-часов при : при фиксированной этот предел — окружность длины . Прямая — скейлинговый предел показаний регистра глубины (§11.4, теорема 11.5), по которому и идёт диссипативная динамика (§9.1). (Прежняя фраза здесь называла пределом внутреннего времени O-часов; она отозвана.) Для Голонома с N = 7 время фундаментально дискретно, что согласуется с:
- Дискретностью состояний сознания
- Конечностью информационной ёмкости
- Топологией ∞-группоида
Дискретность времени приводит к дискретному ∞-группоиду вместо непрерывного. См. Категорный формализм.
4. Информационно-геометрическое время
4.1 Метрика Бурес
Пространство матриц плотности имеет естественную риманову структуру.
где — решение уравнения Ляпунова:
Явная формула для расстояния (угол Бюреса):
где — fidelity.
4.2 Геометрическое время
Между двумя конфигурациями и информационное время:
где инфимум берётся по всем путям , соединяющим и .
4.3 Течение времени
Пусть — непрерывное семейство состояний. Скорость течения внутреннего времени:
Интерпретация: «Течение времени» — это скорость изменения Γ в метрике Бурес. Время «течёт быстрее», когда Γ меняется сильнее.
4.4 Соответствие с динамикой
Для унитарной эволюции с :
При близком к чистому состоянию :
Следствие: Соотношение неопределённости время-энергия:
выводится из геометрии пространства состояний, а не постулируется.
5. Категорное время через ∞-группоид
5.1 ∞-группоид экспериенциальных путей
∞-категория определяется как:
0-клетки (объекты):
(История Hist не включается — она выводится как структура ∞-группоида)
1-морфизмы:
2-морфизмы:
n-морфизмы:
5.2 Время как 1-морфизм
Время — это 1-морфизм в :
Направление времени — выбор ориентации на 1-морфизмах.
Эквивалентные моменты времени — 2-изоморфные 1-морфизмы.
5.3 Теорема о внутреннем времени
В ∞-группоиде :
- История — автоматически возникает как пространство петель:
- Темпоральная структура — гомотопический тип:
- Стрела времени — ориентация σ на 1-морфизмах.
5.4 ∞-топос пучков
∞-топос — категория ∞-пучков на :
- ∞-топология: Покрытие = семейство путей, покрывающее окрестность
- ∞-пучок: Функтор , удовлетворяющий условию спуска
является ∞-топосом и обладает:
- Внутренней логикой: Гомотопическая теория типов (HoTT)
- Внутренним временем: Модальность типа «в будущем», «в прошлом»
- Классификатором подобъектов: ∞-группоид истинностных значений
Следствие: Логика экспериенциального содержания — темпоральная модальная логика, выводимая из внутренней структуры ∞-топоса.
6. Соответствия меток и их пределы
6.1 Три различных типа
Метка PW — показание часов. Длина Бурес — функционал кривой состояний. Категориальная история — функтор из заданной категории индексов. Они автоматически не являются одним объектом и не задают единиц физического времени.
6.2 T-53a: заданные циклические торсоры с базовыми точками
Теорема. Пусть и — заданные свободные транзитивные -множества с выбранными образующими и базовыми точками. Существует единственная эквивариантная биекция , удовлетворяющая , а именно
Доказательство. Свободность делает метку единственной по модулю , поэтому формула корректна. Транзитивность даёт эту форму для каждой точки. Обратное отображение меняет индексы 1 и 2 местами; эквивариантность непосредственна. Без выбранного образа имеется ровно вариантов, поэтому предпочтительной биекции нет.
Это T-53a [Т для заданных множеств меток]. Реализация трёх предложенных описаний такими торсорами — дополнительные данные; теорема не доказывает эквивалентности их процессов, метрик или динамик. Классификатор не вынуждает торсора.
Шаг 1: длина Бурес заданной кривой
Для -кривой состояний полного ранга единственная симметрическая логарифмическая производная решает . При соглашении Бурес инфинитезимальная метрика равна
На интервале с длина — строго возрастающая локальная перепараметризация. Она пропорциональна выбранному параметру времени лишь при постоянной положительной скорости. У стационарного состояния полного ранга , поэтому один полный ранг не обеспечивает положительности скорости. Конечное хордовое расстояние между тиками не равно точно инфинитезимальной длине дуги. Прежняя универсальная Лемма 6.1 поэтому отозвана [✗]; сохраняется это вычисление для кривой.
Шаг 2: дополнительная категориальная реализация
Заданное сопоставление кривой состояний переживательным путям не доказывает геодезичности, минимальности, верности или метрической изометричности её образа. Эти свойства требуют явных предпосылок или доказательств. Прежняя Лемма 6.2, отождествлявшая все геодезики Бурес с минимальными переживательными морфизмами, отозвана [✗]. В группоиде путей все стрелки обратимы; направленные истории каналов требуют заданной категории процессов.
Шаг 3: направленная глубина — не циклический торсор
Отображение теряет число циклов. Если эндоморфизм удовлетворяет , то — его обратный. Необратимое огрубление не может удовлетворять этому тождеству в той же категории процессов. Прежняя стратальная Лемма 6.3 отозвана [✗]; строгая потеря и восстановление рассмотрены в T-53c.
Шаг 4: точный итог
Эквивариантная биекция меток — теорема о заданных циклических множествах меток. Ни их физическая калибровка, ни универсальная эквивалентность времени PW, Бурес, категориального и стратального не выведены. T-53d независимо условна при заданных складке и считывании часов в §8.
7. Теорема о стреле времени
T-53c теперь означает монотонность вдоль заданной истории унитальных CPTP-каналов. Порядок записей, тип каналов и физическое прочтение времени — отдельные входы. Из терминального объекта не следуют огрубление, строгая потеря информации, CPTP или универсальный космический параметр. Прежняя стратификационная формулировка отозвана [✗]; ниже сохраняется точное неравенство обработки данных.
7.1 Категорная формулировка
Для любого пути γ: [0,1] → в пространстве состояний:
где:
- , если путь индуцирован унитальным CPTP-каналом,
- , если путь требует обращения такого канала
Для произвольного CPTP-канала монотонна относительная энтропия к неподвижной точке: если , то .
Доказательство:
Относительная энтропия не возрастает ни под каким CPTP-отображением: (Lindblad 1975; Uhlmann 1977). Если унитален, то , и при неравенство принимает вид , то есть
Диссипатор УГМ имеет эрмитовы операторы Линдблада (проекторы pointer-базиса) и потому унитален, так что линейная часть эволюции повышает (§10.4, пункт 1).
Прежняя редакция этой теоремы утверждала CPTP для любого канала, «из сильной субаддитивности и контрактивности». Для неунитальных каналов это ложно: канал сброса — CPTP и переводит с в чистое состояние с . Сама страница уже опирается на верную версию — регенерация локально понижает энтропию (§7.3), а §10.4 использует монотонность лишь для унитальной части. Утверждение отозвано и заменено теоремой выше.
CPTP и унитальность в этой теореме заданы явно. Терминальность и энтропийная монотонность не доказывают CPTP; прежняя цепочка ориентация к → CPTP отозвана [✗]. Для нелинейного полного потока этот результат требует отдельной проверки.
∎
7.2 Физическая интерпретация
Следствие: Пути, индуцированные унитальными каналами, энтропию не уменьшают; уменьшить её вдоль такого пути можно было бы лишь обращением унитального канала. Неунитальные каналы физичны и могут понижать энтропию — канал сброса выше и регенерация к более чистому (§7.3). (Прежнее следствие утверждало, что всякий физически реализуемый путь увеличивает энтропию; оно отозвано вместе со старой формой Теоремы 7.1.)
7.3 Связь с регенерацией
Регенерация локально уменьшает энтропию, но только при:
Полная энтропия (система + источник энергии) растёт:
Следствие: Затвор в регенеративном члене (уточняющий из Ландауэра) — не постулат, а следствие структуры CPTP, термодинамики и V-preservation.
7.4 ∞-категорное разрешение
Типизированная замена T-53c [О]+[Т при унитальности]. Направленная история — функтор : его объекты — , стрелки — заданные каналы и их композиции. Это объект-категория, не утверждение, что все стрелки топоса направлены к терминальному объекту. Если шаги унитальны, функционал не возрастает по неравенству обработки данных (§7.1).
Сама нумерация не доказывает физическую необратимость: тождественные и унитарные каналы тоже допускают направленную запись. Общий обратный запрещён, если выбранное действие не имеет CPTP-обратного; строгая потеря на заданных состояниях доказывается отдельно. Проверенный пример — деполяризация , , на в T-53c. Неэквивалентность функтора не имеет универсального описания линейным ядром.
При строгом уменьшении невозможно восстановить CPTP-каналом сразу оба состояния и из их выходов: обработка данных для восстановления дала бы обратное неравенство. Восстановление одного заранее известного состояния замещающим каналом этим не исключено.
Условие определяет терминальный объект топоса [Т], но не выбирает численный аттрактор, траекторию или физические часы. Прежняя теорема 7.3 «все морфизмы ориентированы к » отозвана [✗].
Выбранная оценка по гессиану и пределы утверждений об агентности
Выберем потенциал класса на -мерном многообразии и критическую точку . Определим [О]
Формула ранга и дефекта даёт [Т]. В критической точке гессиан преобразуется по конгруэнции при обратимой замене координат, поэтому его дефект определён корректно. На полном пространстве эрмитовых касательных с нулевым следом к имеем , следовательно, диапазон от до ; у отдельно выбранной шестимерной диагональной модели верхняя граница равна .
При условии Морса–Ботта ядро гессиана совпадает с касательным пространством критического многообразия, поэтому оценка равна его локальной размерности плюс один. Без этой предпосылки нулевые квадратичные моды могут не давать альтернатив: имеет нулевой гессиан в своём единственном локальном минимуме. Терминальность не задаёт ни потенциала, ни стационарной точки, ни универсальной оценки в .
Терминальное свойство не даёт инвариантной мощности множества представителей, неизбежной физической цели или числа допустимых траекторий. Локально липшицево поле имеет единственную траекторию при фиксированном начальном состоянии; альтернативы управляемой модели зависят от заданных допустимых политик. Дефект гессиана не даёт ни общей CPTP-монотонности, ни универсальной невозможности точечного предсказания, ответственности или феноменальной агентности. Прежняя Теорема 7.4 и интерпретация терминальных путей отозваны [✗]. См. каноническую оценку и её область и типизированные следствия.
8. Оценки чистоты и условный закон складки
8.1 Что действительно ограничивает чистота
Для матрицы плотности положим и . Тогда и
Это доказывает кинематическую верхнюю оценку [Т]. Она не является формулой скорости Бурес и не даёт положительной нижней границы или эквивалентности жизнеспособности. Любое энергетически диагональное состояние коммутирует с независимо от чистоты. При диагональное состояние с имеет и ; та же нулевая скорость сохраняется по обе стороны этой чистоты. Поэтому выделенный временной переход при не следует.
Для отдельно выбранного гамильтониана ранга один в фиксированном репере прямое перемножение матриц даёт
Это тождество Гильберта–Шмидта для данного гамильтониана, а не норма Бурес, не общая формула многоуровневых часов и не теорема о тензорном множителе часов.
8.2 T-53d при (Fold)+(ClockReadout)
Используем явные предпосылки (Fold) и (ClockReadout). Предположим, что конечномерное поле класса во внутренней точке равновесия имеет одно простое нулевое собственное значение, остальные собственные значения с отрицательными действительными частями и ненулевые коэффициенты складки с . В гладкой центральной координате и заданном параметре времени
Положим и . Уравнение продолжается к со значением . Его два корня имеют производную . Теорема о неявной функции даёт , следовательно,
Выберем ветвь с . Дифференцирование гладкого приведённого поля даёт
Поперечные собственные значения остаются строго в левой полуплоскости, поэтому это медленное собственное значение релаксации. Время релаксации расходится как . Утверждение относится к релаксации около равновесия, а не к скорости самого равновесия, которая равна нулю.
Независимо выберем считывание скорости часов класса , , неотрицательное вдоль выбранной ветви и удовлетворяющее . Подстановка даёт
Это доказывает T-53d [С при (Fold)+(ClockReadout)]. Обе предпосылки нужно проверить для выбранной численной модели УГМ; они не следуют из примитивности её фиксированной линейной GKSL-части, чистоты или категориальной терминальности. Ненулевое считывание у складки может не замедляться; при нулевой первой производной считывания показатель может измениться. Рамка нормальных форм изложена в конспекте Кузнецова, чувствительность масштабирования к вырождению исследует Кюн (2009).
Для записи дополнительно предположим положительную линейную калибровку , . Если же линейна по , скорость часов линейна по . Ни универсальное , ни бесконечная субъективная длительность не следуют.
Прежние Теорема 8.1 (), универсальное корневое замерзание и универсальная временная интерпретация порога жизнеспособности отозваны [✗]. Сохраняются кинематическая верхняя оценка и приведённая условная теорема о складке и считывании.
9. Следствия
9.1 Модификация уравнения эволюции
Старая форма (с внешним t):
Прежняя редакция представляла уравнение ниже, записанное в тике Пейджа–Вуттерса , как следствие структуры , а не постулат. Следствием оно не является. Тик пробегает , поэтому любая эволюция по нему удовлетворяет . Вдоль полного уравнения свободная энергия — функционал Ляпунова, нигде не возрастающий и стационарный лишь в аттракторе (Теорема 10.1, T-261), а невозрастающая функция на цикле постоянна; относительно O-часов все условные состояния совпали бы поэтому со стационарным. Динамика относительно периодических часов с необходимостью периодична (L. Chataignier, P. A. Höhn, M. P. E. Lock, F. M. Mele, New J. Phys. 28, 034504 (2026); §11.2). Сама конструкция Пейджа–Вуттерса даёт при унитарный шаг между тиками и никакого диссипатора (§3.4). Уравнение верно по апериодическому параметру — параметру линдбладовой полугруппы, — и физический носитель не O-часы. Кандидаты в носители сопоставлены в §11.3; носитель — регистр глубины из §11.4, относительно которого условные состояния подчиняются уравнению точно в каждом показании (T-53b, теоремы 11.1 и 11.3). (Промежуточная редакция этой врезки, того же дня, оставляла T-53b условной при допущенном апериодическом параметре; там это допущение снято.)
Форма по апериодическому параметру [Т] (относительно регистра глубины, §11.4):
где:
- — апериодический параметр полугруппы; при конечном разрешении — показание регистра глубины (§11.4), а тик Пейджа–Вуттерса — его младший разряд (§10.3)
- — эффективный гамильтониан из ограничения , точный при и главный член в остальных случаях (§3.4)
- Диссипатор и регенератор — аксиоматическая динамика по (эволюция); выведено то, что конечный вневременной мир воспроизводит их как условные состояния относительно регистра глубины — линейную часть как не зависящий от состояния закон (теорема 11.1), полный поток вдоль каждого решения (теорема 11.3)
9.2 Расширенная роль измерения O
Измерение O теперь имеет двойную роль:
- Источник энергии: Обеспечивает для регенерации
- Внутренние часы: Параметризует внутреннее время через механизм Пейдж–Вуттерс
9.3 Расширенная категорная структура
G F
DensityMat_C ──────────► DensityMat ────────────► Exp
│ │ │
│ ограничение │ CPTP │ induced
▼ ▼ ▼
DensityMat_C ──────────► DensityMat ────────────► Exp
↓ embed
Exp_∞ (∞-groupoid)
↓ sheafify
Sh_∞(Exp) (∞-topos)
где:
- DensityMat_C — категория с ограничением Пейдж–Вуттерс
- G — функтор «условные состояния»
- Exp_∞ — ∞-группоид путей
- Sh_∞(Exp) — ∞-топос пучков
9.4 Экспериментальные предсказания
| Предсказание | Формула | Теор. статус | Эксп. статус |
|---|---|---|---|
| Замедление времени при декогеренции | [Т] Следствие Т.8.1 | Требует проверки | |
| Дискретность внутреннего времени | [Т] Следствие §3.7 | Требует проверки | |
| Темпоральная запутанность | даже при | [Т] Следствие P-W | Требует проверки |
- Теор. статус [Т]: Предсказание математически выводится из формализма УГМ
- Эксп. статус: Предсказание требует экспериментальной верификации
10. Стратификационное время
10.1 Базовое пространство как нерв категории
Из Аксиомы Ω⁷ базовое пространство определяется как:
где — нерв категории Голономов.
10.2 Стратификация X
Пространство X стратифицировано:
где:
- — терминальный объект (аттрактор Γ*)
- — рёбра (морфизмы к T)
- — n-симплексы
10.3 Темпоральная стратификация: два индекса, одна стрела
Циклический тик — метка выбранных часов; направленный индекс — номер записи в выбранной истории. Если их связывают конвенцией , это не биекция и не физический вывод накопленного времени из периодических часов. На цикле невозрастающий функционал постоянен.
Нумерация записей не является автоматически стратификацией и не доказывает . Геометрическая стратификация требует отдельных данных; терминальность её не задаёт.
10.4 Теорема о стреле времени (стратификационная)
При заданных унитальных CPTP-шагах и имеем
Для фиксированного унитального GKSL-генератора примените это к , : . Примитивность — дополнительное условие для сходимости к , не следствие терминальности. Строгость требует отдельной проверки действия на выбранном состоянии; всегда даёт равенство.
Доказательство. Обработка данных даёт , а унитальность даёт . Тождество переводит его в неубывание энтропии. Это не утверждение о размерности страт или обязательной сходимости каждой унитальной истории.
Прежняя часть (2), объявлявшая общий функционал Ляпунова полного нелинейного потока по T-261, и следствие «коллапс к терминальному объекту» отозваны [✗]. Для заданного нужны отдельные монотонность и анализ аттракторов. Реализация выбранной истории в регистре §11.4 не выбирает всеобщие космические часы.
10.5 Связь с термодинамикой
| Математический объект | Область термодинамического вывода |
|---|---|
| Заданная унитальная история | не возрастает [Т] |
| Строго теряющий информацию шаг на выбранном классе | Необратимость при заданном критерии восстановления пары/класса и доказанном отсутствии общего восстановления [С] |
| Полный нелинейный поток | Требует отдельного функционала и модели среды; T-53c его не задаёт |
| Терминальный объект топоса | Не определяет физический аттрактор или стрелу |
10.6 Стратифицированная метрика
Определение (Метрика d_strat):
где:
- γ — путь через страты
- ds_α — метрика Конна на страте S_α
Теорема 10.2: d_strat согласована с метрикой Бурес:
Часовые множители, инструменты считывания и глобальные ограничения поддержки задаются на входе. Прежний комментарий к источникам ниже, описывающий тензорное разложение как выведенное, фиксирует утратившую силу формулировку T-87; этот вывод отозван. Результаты о конечных регистрах истории/глубины — конструктивные теоремы с названными входными данными, не доказательство A5 из A1–A4.
11. Прецеденты и родственные программы
Механизму Пейджа–Вуттерса, на котором стоит §3, больше сорока лет, и у него есть литература, которую эта страница не цитировала: классические возражения против него, ответы на эти возражения, эксперименты и результаты о том роде часов, которым пользуется УГМ, — конечных и периодических. Этот раздел говорит, что установила каждая работа, каков её статус и чья это оценка, какой конструкции УГМ она касается и чем УГМ отличается; затем §11.2 проверяет по этим результатам часы и стрелу из §10. Всякое сопоставление УГМ с этими работами — интерпретация [И], если не названа теорема.
Термины. Ограничение (связь) (уравнение типа Уилера–ДеВитта) означает, что глобальное состояние аннулируется полным гамильтонианом, так что ничто в нём не меняется со внешним временем. Условное состояние — состояние остальной системы при данном показании часов (определение 3.1). Идеальные часы имеют гамильтониан со спектром на всей вещественной прямой и показание, идущее монотонно; периодические часы возвращаются в исходное состояние через фиксированный период. Реляционная наблюдаемая — калибровочно-инвариантная величина вида «значение , когда часы показывают ».
11.1 Механизм, возражения против него и ответы
- Пейдж и Вуттерс (1983); Вуттерс (1984). D. N. Page, W. K. Wootters, «Evolution without evolution: dynamics described by stationary observables», Phys. Rev. D 27, 2885–2892 (1983); W. K. Wootters, «„Time“ replaced by quantum correlations», Int. J. Theor. Phys. 23, 701–711 (1984). Вселенная находится в стационарном состоянии; одна подсистема служит часами, и состояние остального, обусловленное показанием часов, эволюционирует по уравнению Шрёдингера. Вуттерс доказывал, что координатное время ненаблюдаемо, а время часов наблюдаемо, поэтому любое утверждение об эволюции можно заменить утверждением о корреляциях между часами и другой системой, целиком хранящихся в одном вневременном состоянии. Статус: исходная точка всей литературы о реляционном времени, перечисленной ниже; К. Марлетто и В. Ведрал (2017) называют модель изящной, но пишут, что её «так и не развили дальше, потому что её критиковали за порождение серьёзных неоднозначностей». Для УГМ: §3.3 принимает механизм как есть; добавления УГМ — выбор часов (семимерный O-регистр) и утверждение, что расщепление выведено (T-87). Одному шагу этого утверждения нужно дополнительное допущение. Пейдж и Вуттерс берут глобальное состояние стационарным, то есть собственным состоянием полного гамильтониана, и форма ограничения получается после сдвига энергии в нуль. Для смешанного глобального состояния стационарность даёт лишь , тогда как ограничение из §3.3 требует, чтобы состояние лежало в нулевом собственном подпространстве ; §3.1a прежде утверждал, что ограничение «следует из стационарности», без этого допущения; теперь он называет допущение, и шаг 4 теоремы T-87 имеет статус [С].
- Кухарж (1992). K. V. Kuchař, «Time and interpretations of quantum gravity», in Proceedings of the 4th Canadian Conference on General Relativity and Relativistic Astrophysics, eds. G. Kunstatter, D. Vincent, J. Williams, World Scientific 1992; перепечатано в Int. J. Mod. Phys. D 20, Suppl. 1, 3–86 (2011). Классический обзор проблемы времени. Его возражения против чтения Пейджа–Вуттерса через условные вероятности в пересказе Хёна, Смита и Лока (2021, §VIII C): (1) для релятивистской частицы оно даёт неверную вероятность локализации; (2) обусловливание на показание часов использует операторы, не коммутирующие с ограничением, и потому как будто его нарушает; (3) оно даёт неверные двухвременные пропагаторы — после одного обусловливания часы «застревают», и время не течёт.
- Унру и Уолд (1989). W. G. Unruh, R. M. Wald, «Time and the interpretation of canonical quantum gravity», Phys. Rev. D 40, 2598–2614 (1989). Они доказали, что в обычной шрёдингеровской квантовой механике для системы с гамильтонианом, ограниченным снизу, никакая динамическая переменная не может монотонно коррелировать с шрёдингеровским параметром времени: часы из такой системы никогда не идеальны. Статус: общепринятая теорема; Хён, Смит и Лок (2021, §III) излагают её как уточнение наблюдения Паули о том, что у ограниченного гамильтониана нет канонически сопряжённого самосопряжённого оператора времени. Её следствие для УГМ разобрано в §11.2.
- Ответы на возражения. Р. Гамбини, Р. Порто и Х. Пуллин (R. Gambini, R. A. Porto, J. Pullin, «A relational solution to the problem of time in quantum mechanics and quantum gravity: a fundamental mechanism for quantum decoherence», New J. Phys. 6, 45 (2004), arXiv:gr-qc/0402118) вычислили условные вероятности относительно реалистичных квантовых часов и нашли, что эволюция тогда не строго унитарна: чистые состояния декогерируют по уравнению линдбладова типа , единственный оператор Линдблада которого — сам гамильтониан. Вместе с С. Тортероло они соединили условные вероятности с дираковскими наблюдаемыми («эволюционирующими константами»), что, по их словам, «преодолевает возражения Кухаржа» (R. Gambini, R. Porto, S. Torterolo, J. Pullin, «Conditional probabilities with Dirac observables and the problem of time in quantum gravity», Phys. Rev. D 79, 041501 (2009), arXiv:0809.4235). В. Джованнетти, С. Ллойд и Л. Макконе (V. Giovannetti, S. Lloyd, L. Maccone, «Quantum time», Phys. Rev. D 92, 045033 (2015), arXiv:1504.04215) включили измерительный прибор и его память во вневременное состояние и воспроизвели правильную статистику последовательных измерений в разные моменты. Ф. Хён, А. Смит и М. Лок (P. A. Höhn, A. R. H. Smith, M. P. E. Lock, «Trinity of relational quantum dynamics», Phys. Rev. D 104, 066001 (2021), arXiv:1912.00033) доказали эквивалентность трёх формулировок реляционной динамики — реляционных наблюдаемых дираковского квантования, условных состояний Пейджа–Вуттерса и реляционной картины Гейзенберга, полученной редукцией по симметрии, — с помощью ковариантных POVM часов, охватывающих и неидеальные часы; этой эквивалентностью они показали ошибочность возражения (2) и сняли (3) способом, который «не привлекает ни приближений, ни идеальных часов, ни вспомогательных систем», а (1) разобрали в сопутствующей статье. Их эквивалентность установлена для часов, гамильтониан которых имеет непрерывный невырожденный спектр. Статус: в реляционной литературе возражения (2) и (3) считаются снятыми — это оценка названных авторов. Для УГМ: определение 3.1 использует только однократное обусловливание, поэтому двухвременным утверждениям вроде «темпоральной запутанности» из §9.4 нужен один из этих ответов, а страница им не пользуется. Эквивалентность из §6 (T-53a) сопоставляет конструкции через общее множество меток — её стратификационное плечо, лемма 6.3, опиралось на то, что любые два свободных транзитивных -множества изоморфны, и теперь отозвано, поскольку стратальная глубина таким множеством не является, — тогда как «троица» есть эквивалентность полной реляционной динамики; §6 — утверждение более слабого рода. Гамбини, Порто и Пуллин — ещё и прецедент диссипации из реляционного времени: их диссипатор возникает из несовершенства часов и имеет оператором Линдблада гамильтониан (дефазировка в энергетическом базисе), тогда как у диссипатора УГМ операторы Линдблада — проекторы pointer basis, и он из часов не выводится (§2.4).
- Эксперименты. E. Moreva, G. Brida, M. Gramegna, V. Giovannetti, L. Maccone, M. Genovese, «Time from quantum entanglement: an experimental illustration», Phys. Rev. A 89, 052122 (2014), arXiv:1310.4691: два фотона, запутанные по поляризации; поляризация одного служит часами с двумя показаниями, другой фотон эволюционирует в двулучепреломляющих пластинках; «наблюдатель», читающий фотон-часы, видит эволюцию другого, «сверхнаблюдатель», измеряющий лишь глобальные свойства, находит совместное состояние статичным. E. Moreva, M. Gramegna, G. Brida, L. Maccone, M. Genovese, «Quantum time: experimental multitime correlations», Phys. Rev. D 96, 102005 (2017), arXiv:1710.00707: двухвременные корреляции в картине Пейджа–Вуттерса и нарушение неравенства Леггетта–Гарга для внутреннего наблюдателя, с часами, закодированными в положении фотона. Статус: сами авторы называют это иллюстрациями — они показывают структуру условных вероятностей в приготовленном состоянии, а не отсутствие внешнего времени. Для УГМ: использованные часы имели два показания (2014) или регистр положения (2017); семиуровневый O-регистр не реализован ни в одном эксперименте.
- Неоднозначность часов. А. Альбрехт и А. Иглесиас (A. Albrecht, A. Iglesias, «The clock ambiguity and the emergence of physical laws», Phys. Rev. D 77, 063506 (2008)) доказывали, что при разном выборе подсистемы-часов одно вневременное состояние описывает разные законы. К. Марлетто и В. Ведрал (C. Marletto, V. Vedral, «Evolution without evolution and without ambiguities», Phys. Rev. D 95, 043510 (2017), arXiv:1610.04773) ответили, что хорошие часы — подсистема с большим числом различимых состояний, в идеале не взаимодействующая с остальным, , и что если такое расщепление даёт унитарную эволюцию с не зависящим от времени гамильтонианом, то оно единственно. Статус: опубликованный ответ, верный при заявленном допущении о невзаимодействующих часах. Для УГМ: ограничение сцепляет O-регистр с остальным через (Свойство 2), а у часов семь состояний, поэтому этот довод о единственности их не покрывает; корпус опирает единственность регистра часов на собственный довод через (T-87, шаг 3).
- Взаимодействующие часы. А. Смит и М. Ахмади (A. R. H. Smith, M. Ahmadi, «Quantizing time: interacting clocks and systems», Quantum 3, 160 (2019), arXiv:1712.00081): если ограничение содержит взаимодействие часов с системой, условное состояние подчиняется нелокальному во времени уравнению Шрёдингера, в котором гамильтониан системы заменён самосопряжённым интегральным оператором. Для УГМ: §3.6 записывает локальный эффективный гамильтониан , §3.4 — локальное уравнение «плюс поправки», а утверждение когезивного замыкания T-186(b) гласит, что эволюция Пейджа–Вуттерса точна, без поправки . Ни то ни другое корпус с нелокальной во времени формой не согласовывал; теперь §3.4 и §3.6 помечают локальный генератор как приближение, а T-186(b) снято.
- Квантовые системы отсчёта. Ф. Джакомини, Э. Кастро-Руис и Ч. Брукнер (F. Giacomini, E. Castro-Ruiz, Č. Brukner, «Quantum mechanics and the covariance of physical laws in quantum reference frames», Nat. Commun. 10, 494 (2019), arXiv:1712.07207): системы отсчёта, привязанные к квантовым системам, переходят друг в друга «суперпозицией преобразований координат», а запутанность и суперпозиция зависят от системы отсчёта. Статус: действующая программа; Хён, Смит и Лок распространяют её на смену временной системы отсчёта (2021, §VII). Для УГМ: O-регистр — временная система отсчёта, и корпус фиксирует одну такую систему, не определяя смены часов; утверждения о запутанности часов с остальным, включая «темпоральную запутанность» из §9.4, верны относительно этой системы.
11.2 Конечные периодические часы, Унру — Уолд и стрела
- Часы Салекера–Вигнера–Переса: приоритет для O-часов. H. Salecker, E. P. Wigner, «Quantum limitations of the measurement of space-time distances», Phys. Rev. 109, 571–577 (1958); A. Peres, «Measurement of time by quantum clocks», Am. J. Phys. 48, 552–557 (1980). Стандартные конечные квантовые часы: равноотстоящих уровней , период , состояния времени получаются из энергетических дискретным преобразованием Фурье, переходят друг в друга через каждые и возвращаются через шагов; между тиками состояние времени расплывается по соседям, и никакие конечные часы не удовлетворяют каноническому коммутационному соотношению со своим гамильтонианом. М. Вудс, Р. Силва и Дж. Оппенгейм называют их «предпочтительной моделью конечномерных часов» (M. P. Woods, R. Silva, J. Oppenheim, «Autonomous quantum machines and finite-sized clocks», Ann. Henri Poincaré 20, 125–218 (2019), arXiv:1607.04591, приложение B). O-часы из §3.5–3.6 — , фурье-состояния часов , циклический сдвиг , хронон — это в точности такие часы с . Дискретность показаний, циклическая группа и разрешение присущи любым таким часам, так что «дискретность внутреннего времени» из §9.4 — свойство выбранных часов, а не независимая проверка УГМ; специфично для УГМ лишь утверждение, что у часов ровно семь уровней и что это измерение O.
- Унру — Уолд против O-часов: на уровне часов столкновения нет. Спектр конечен, , и ограничен снизу и сверху, поэтому теорема Унру–Уолда применима: никакая наблюдаемая O-регистра не коррелирует со временем монотонно. Корпус и не утверждает обратного — §10.3 говорит, что никакая функция одного тика не может быть монотонной. Джованнетти, Ллойд и Макконе (2015, §C) выписывают следствие для Пейджа–Вуттерса: непериодическому времени нужен неограниченный гамильтониан, «система с конечной полной энергией будет эволюционировать периодически», и тогда внутренние наблюдатели «не смогут пользоваться уравнением Шрёдингера, разве что приближённо».
- Периодические часы: где лежит столкновение. Л. Шатенье, Ф. Хён, М. Лок и Ф. Меле (L. Chataignier, P. A. Höhn, M. P. E. Lock, F. M. Mele, «Relational dynamics with periodic clocks», New J. Phys. 28, 034504 (2026), arXiv:2409.06479) распространили «троицу» на периодические часы и доказали, что реляционные наблюдаемые относительно периодических часов инвариантны, только если сама величина периодична, — «подсчёт чисел оборотов не даёт инвариантных наблюдаемых относительно периодических часов», — и что динамика относительно периодических часов «с необходимостью периодична» во всех трёх формулировках, включая Пейджа–Вуттерса; система, эволюционирующая периодически относительно периодических часов, может при этом эволюционировать монотонно относительно апериодических. Хён, Смит и Лок (2021, §III A) уже отмечали, что с периодическими часами нужно следить за их числом оборотов, чтобы проследить непериодическую эволюцию. Это касается УГМ в двух местах:
- Стрелу из §10 O-часы не дают. Корпус правильно убирает стрелу с циклического тика: тик стрелы не несёт, а стрела — рост стратальной глубины , накопленного счёта тиков с (§10.3). Но этот счёт и есть число оборотов O-часов, которое по приведённому результату не является инвариантной реляционной наблюдаемой относительно них; а функционалы теоремы 10.1 монотонны по параметру линдбладовой полугруппы, который на реляционном языке есть апериодические часы вне 42-мерного состояния Пейджа–Вуттерса. Стрела, следовательно, предполагает апериодическое время, которого O-часы дать не могут, и его физического носителя корпус не строит.
- Диссипативная эволюция в собственном времени O-часов невозможна. §9.1 и T-53b утверждали, что условные состояния подчиняются полному уравнению с и ; это утверждение отозвано, и T-53b теперь выполняется относительно регистра глубины из §11.4, а не O-часов (в промежуточной редакции она была условной при допущенном апериодическом параметре времени). Относительно часов с периодом в семь тиков . Функционал Ляпунова, который никогда не растёт вдоль потока и стационарен лишь на аттракторе (теорема 10.1), не может быть периодическим, не будучи постоянным, так что относительно O-часов все условные состояния совпали бы со стационарным. Нетривиальной диссипативной динамике нужен апериодический параметр из пункта 1.
Собственное описание корпуса — циклический тик стрелы не несёт, стрела живёт в глубине — тем самым непротиворечиво. Столкновение было с утверждениями, что диссипативная динамика и стрела выводятся из самих часов Пейджа–Вуттерса (§9.1, T-53b): результат о периодических часах и теорема Унру–Уолда исключают это для семиуровневых часов; эти утверждения отозваны (§9.1), а динамика и стрела сформулированы относительно апериодического носителя, который строит §11.4.
11.3 Носители апериодического параметра: варианты
Доказано [Т] (доказательства ниже, свидетели — в website/scripts/check_core_numbers.py): в мире с чисто точечным спектром никакие часы, чьи показания образуют орбиту унитарной группы — непрерывной или дискретной, периодической или нет, — не поддерживают диссипацию на всей своей орбите, а всякая условная динамика Пейджа–Вуттерса линейна по глобальному состоянию с точностью до нормировки. Вердикт: O-часы, стратальная глубина без регистра и составные O-часы с несоизмеримыми частотами параметра из T-53b не несут; регистр идеальных часов с бесконечной средой несёт его приближённо (предел Дэвиса); регистр глубины из §11.4 — конечная цепь показаний, а не орбита, — несёт его точно, и T-53b там — теорема [Т]. Промежуточная редакция этой врезки, того же дня, объявляла вердиктом, что T-53b делают верной только идеальные часы с бесконечной средой, со статусом [С], и оставляла выбор носителя автору [Пр]; этот вердикт заменён §11.4.
T-53b требует от своего параметра времени трёх вещей: (R1) динамика в нём не периодична; (R2) функционал Ляпунова вдоль него строго убывает (Теорема 10.1); (R3) в нём действует нелинейный регенеративный член .
[Т] Лемма (почти периодичность). Пусть показания часов образуют орбиту унитарной группы — , , или , , — и совместный генератор часов и всего, с чем они скоррелированы, имеет чисто точечный спектр; в частности, пусть мир конечномерен, а часы периодичны или нет. Тогда всякое условное среднее есть почти периодическая функция показания, а невозрастающая почти периодическая функция постоянна. Поэтому (R2) не выполняется ни для каких таких часов на всей их орбите. (Прежняя формулировка говорила «относительно любых часов»; она сужена до часов, чьи показания образуют орбиту группы. Показания конечной цепи, §11.4, орбитой не являются — шаг от последнего показания никуда не ведёт, — и там (R2) выполняется на всей цепи.)
Доказательство. Среднее равно (или для собственных фаз оператора ) — тригонометрический многочлен, а в случае чисто точечного спектра — равномерный предел таких сумм; то и другое почти периодично по Бору, на или на . У почти периодической при любом -почти-периоды относительно плотны. Если при некотором , возьмём и -почти-период : тогда и , так что не является невозрастающей. Это механизм квантовой теоремы о возвращении (P. Bocchieri, A. Loinger, Phys. Rev. 107, 337 (1957)). Свидетель: замкнутая семиуровневая система с восьмиуровневой средой и случайным гамильтонианом, стартующая из чистого произведения: относительная энтропия падает с до при , а затем снова растёт — до .
[Т] Лемма (условная динамика линейна). В конструкции Пейджа–Вуттерса условное состояние при показании часов равно — линейное отображение глобального состояния с последующей нормировкой, и постоянно для идеальных часов, не взаимодействующих с остальным. Для взаимодействующих часов уравнение становится нелокальным по времени (Smith–Ahmadi 2019, §11.1) и остаётся линейным по глобальному состоянию. Поэтому не является условной динамикой никакой одной связи для всех начальных состояний: отображение начального состояния в условную историю линейно, а регенеративный поток — нет. Он может войти как закон, постулированный в ; каждое его решение по отдельности есть условная история связи, подогнанной под это решение (§11.4, теорема 11.3); или как эффективное уравнение — например, предел среднего поля для многих перестановочно-симметричных систем (H. Spohn, «Kinetic equations from Hamiltonian dynamics: Markovian limits», Rev. Mod. Phys. 52, 569 (1980)). Где меняется, условная динамика нормированно-линейна — это класс Рембелиньского–Цабана, который по соответствию с физикой, §8.7 тоже не может нести затвор жизнеспособности.
Доказательство. Обусловливание, частичный след и динамика глобального состояния линейны; нелинейно только деление на .
Кандидаты.
| Носитель | (R1) апериодичность | (R2) диссипация | (R3) | Вердикт для T-53b |
|---|---|---|---|---|
| O-часы | нет: период семь тиков (Chataignier–Höhn–Lock–Mele 2026) | нет | нет | [✗] |
| Стратальная глубина | не наблюдаемая относительно O-часов: это число оборотов, а оно не инвариантная реляционная наблюдаемая относительно периодических часов (§11.2) | лишь через регистр, который её записывает | лишь через этот регистр | сама по себе не носитель; записанная в регистр, это носитель последней строки |
| Составные O-часы с несоизмеримыми частотами | да: орбита на торе не замыкается | нет, по лемме о почти периодичности: двое часов с точно не возвращаются никогда, но при состояние часов перекрывается с начальным на | нет | [✗]; показания образуют — по теореме Кронекера орбита плотна в торе, — а не , так что и T-118 так не получается |
| Регистр идеальных часов ( на , спектр ; или счётчик на ) | да | лишь вместе с бесконечной средой с непрерывным спектром, в марковском пределе, дающем приближённо (E. B. Davies, «Markovian master equations», Commun. Math. Phys. 39, 91 (1974)) | постулируется (лемма выше) | приближённо: лишь в пределе слабой связи, с бесконечной средой; заменён последней строкой |
| Параметр полугруппы как примитив | да | как постулировано | как постулировано | то же, что идеальные часы: по триединству Хёна, Смита и Лока (2021) условная динамика относительно идеальных часов есть картина Шрёдингера в |
| Регистр глубины: показания цепью, позиционно в O-регистрах, со средой из двух голономов и связью Фейнмана–Китаева (§11.4) | да: за показаний нет, цепь — не орбита группы | да, точно в каждом показании, для линейной части как не зависящий от состояния закон (теорема 11.1) | вдоль каждого решения (теорема 11.3) | [Т]: T-53b выполняется, в мире размерности |
Цена идеальных часов (носителя, который промежуточная редакция этого подраздела называла единственным работающим). (i) У идеальных часов гамильтониан не ограничен снизу, основного состояния нет; по Унру и Уолду (1989) никакие часы с ограниченным снизу гамильтонианом не показывают время монотонно. (ii) Их конечные приближения — квазиидеальные часы М. Вудса, Р. Силвы и Дж. Оппенгейма, обратное воздействие на которые экспоненциально мало по размерности часов при линейной цене по энергии (Ann. Henri Poincaré 20, 125 (2019)), — конечны, а значит периодичны, и по лемме о почти периодичности поддерживают диссипацию лишь на конечном окне; точная T-53b требует . (iii) Среда должна быть бесконечной, и тогда — приближение слабой связи, а не точный закон. (iv) Время динамики не возникает из измерения O: O-часы становятся кинематической меткой, считываемой с (, ), а стрела Теоремы 10.1 монотонна по , как там и сказано. (v) постулируется в , а прочтение измерения из соответствия с физикой, §8.7 нужно фиксировать отдельно. При этом носителе T-118 верна по двойственности Гельфанда для спектра часов, , — верна, но допущена, а не получена как предел O-часов.
Три варианта промежуточной редакции и что с ними стало. Та редакция оставляла автору выбор [Пр]: (a) принять идеальные часы, то есть параметр полугруппы, как примитив динамики, с T-53b и T-118 [С при идеальных часах с бесконечной средой]; (b) сохранить динамическое время эмерджентным из конечных регистров и доказать T-53b как теорему о конечном окне с явной ошибкой; (c) добавить счётный регистр , записывающий глубину , как новую бесконечномерную аксиому. Вариант (b) теперь доказан, и в более сильной форме, чем требовалось: ошибка в показаниях равна нулю, а не просто мала (§11.4). Вариант (c) не нужен — всякое конечное окно несёт конечная цепь внутри O-регистров конечного числа голономов, — и его предел не лучший носитель: на связь Фейнмана–Китаева — лапласиан полупрямой, в ядре которого нет нормируемого вектора, так что состояние истории бесконечного регистра не является состоянием. Вариант (a) остаётся доступен как прочтение непрерывного предела (теорема 11.5), но T-53b это допущение больше не нужно.
11.4 Регистр глубины: точный конечный носитель
Доказано [Т] (теоремы 11.1–11.5; свидетели — в website/scripts/check_core_numbers.py). У апериодического параметра T-53b есть конечный носитель: регистр, записывающий стратальную глубину (§10.3) упорядоченной цепью , а не циклом. Относительно него диссипативная полугруппа — это условная динамика Пейджа–Вуттерса, точно, в каждом показании, в мире размерности , и стрела выполняется на всей записанной истории; полный поток с воспроизводится вдоль каждого своего решения; непрерывный параметр — скейлинговый предел показаний с явной ошибкой, и его алгебра — . Не получено: монотонный функционал на всей орбите часов, чьи показания образуют орбиту группы (лемма §11.3), и как условный закон, не зависящий от состояния (вторая лемма §11.3). Допущение, как во всяком утверждении Пейджа–Вуттерса: что мир находится во вневременном состоянии построенного вида — половина A5 о связи (T-87, шаг 4) — здесь не выводится; теоремы говорят, что такой конечный вневременной мир существует и что он даёт.
Постановка. Зафиксируем . Система — голоном, . Среда — ещё два голонома, , с фиксированным опорным вектором . Регистр глубины — с ортонормированными показаниями ; показание записывает, что произошло шагов. Он лежит в O-регистрах голономов в позиционной записи, при : младший разряд — это O-тик §2–§3, а старшие разряды считают его обороты — ту величину, которая относительно одних O-часов не является инвариантной наблюдаемой (§11.2). При унитарных на связь берётся типа Фейнмана–Китаева,
а условное состояние при показании — то же, что в определении 3.1: . Эта связь — часы Р. Фейнмана («Quantum mechanical computers», Found. Phys. 16, 507 (1986)), которыми пользовался А. Ю. Китаев (A. Yu. Kitaev, A. H. Shen, M. N. Vyalyi, Classical and Quantum Computation, AMS 2002, гл. 14); как дискретную связь Пейджа–Вуттерса её прочли Дж. Р. Макклин, Дж. А. Паркхилл и А. Аспуру-Гузик («Feynman's clock, a new variational principle, and parallel-in-time quantum dynamics», PNAS 110, E3901 (2013)), а как состояние истории «система–время» для конечных часов её изучали А. Боэтте и Р. Россиньоли («History states of systems and operators», Phys. Rev. A 98, 032108 (2018)). Здесь добавлены среда и расширение из шага (i) ниже — они и превращают унитарную историю в диссипативную.
Пусть — любая CPTP-полугруппа на , и . Существуют унитарные на , зависящие от , и , но ни от какого состояния, такие что:
(a) ; , где , и его размерность ; собственные значения равны , , каждое кратности , так что щель над ядром равна .
(b) Для всякого состояния голонома состояние , где и , удовлетворяет , и
(c) Если унитальна и примитивна (теорема 10.1), то вдоль показаний не возрастает, а чистота строго убывает, если только .
Доказательство. (i) Расширения. При каждом отображение — CPTP на ; его матрица Чоя имеет размер , поэтому у него есть операторы Крауса (некоторые, возможно, нулевые) с . Отображение — изометрия (W. F. Stinespring, Proc. Amer. Math. Soc. 6, 211 (1955)); дополнив семь её векторов-образов до ортонормированного базиса, получаем унитарный с . Положим и . Тогда и для всякого .
(ii) Ядро и спектр. Поскольку , сопряжение унитарным даёт , где — лапласиан пути на вершинах. Его квадратичная форма обращается в нуль лишь на постоянных векторах, а собственные значения равны . Это (a).
(iii) Условные состояния. со следом ; по (i) его нормированный частичный след по равен . Вместе с (ii) , так что . Это (b).
(iv) Монотонность. — CPTP и унитально, и по закону полугруппы. Монотонность относительной энтропии при даёт первое утверждение. Для чистоты неравенство Кадисона–Шварца для унитальных вполне положительных отображений (M.-D. Choi, Illinois J. Math. 18, 565 (1974)) даёт для эрмитовых ; взяв след, . Поэтому не возрастает по . Кроме того, она вещественно-аналитична по , поскольку элементы — целые функции. Если , то постоянна на этом отрезке, а значит, на ; примитивность даёт , так что и .
Почему это не противоречит §11.2–§11.3. Лемме о почти периодичности нужны показания, образующие орбиту унитарной группы; здесь шаг — частичная изометрия, и за показанием ничего не следует. Результат Шатенье, Хёна, Лока и Меле о периодических часах относится к часам с действием , которого у цепи нет. Теорема Унру–Уолда говорит о корреляции с внешним шрёдингеровским параметром; здесь его нет — показания и есть время. Цена видна: у записанной истории есть первое и последнее показание. А относительно одного младшего разряда, O-тика , условное состояние — среднее по : O-часы по-прежнему никакой стрелы не читают.
Замкнём цепь в цикл , добавив ребро с . Состояние из теоремы 11.1 удовлетворяет и циклической связи и даёт те же условные состояния. Вдоль цикла всякий функционал, убывающий на первых шагах, возрастает на шаге перехода через начало. Никакой периодический регистр не даёт большего: функция на цикле не может убывать на каждом шаге. Для семи показаний одних O-часов лучшее возможное — шесть убывающих шагов из семи.
Доказательство. Голономия вдоль цикла , поэтому сопрягает циклическую связь с лапласианом цикла , ядро которого снова натянуто на ; условные состояния вычисляются как в теореме 11.1. Остальное — то, что приращения функции вдоль цикла в сумме дают нуль.
Это конечная форма результата о периодических часах (§11.2): динамика относительно регистра периода периодична, и доля шагов, на которых стрела нарушается, равна и достигается.
Пусть , , — решение полного уравнения §9.1 с , и состоянием , оба непрерывны вдоль решения. Положим и . Тогда:
(a) каждый — линдбладов генератор, а пропагаторы — CPTP, причём ;
(b) конструкция теоремы 11.1, где — расширение , даёт конечный вневременной мир, условные состояния которого точно равны при каждом показании .
Связь в (b) зависит от решения; при нелинейном никакая не зависящая от решения связь этого не делает (вторая лемма §11.3).
Доказательство. (a) с каналом замены , и (так как ) — CPTP при ; сумма линдбладовых генераторов — линдбладов генератор. Хронологически упорядоченная экспонента непрерывного семейства линдбладовых генераторов — предел произведений CPTP-отображений, а множество CPTP-отображений замкнуто. Поскольку , , так что решает линейное уравнение ; единственность решения линейного уравнения с непрерывными коэффициентами даёт . (b) Шаг (i) доказательства теоремы 11.1 пользуется лишь тем, что расширяемые отображения — CPTP.
Поэтому всякое утверждение Ляпунова о решении — H-теорема T-261, монотонности теоремы 10.1 — выполняется в показаниях регистра: показания воспроизводят решение.
В теореме 11.1 пусть и . Тогда
для . Для полного потока теоремы 11.3 то же верно с . Значит, окно несёт с ошибкой не более по следовой норме при каждом конечный мир размерности
то есть ; в самих показаниях ошибка равна нулю, и возвращений внутри окна нет.
Доказательство. при , и . Для оценки : , и . Для полного потока , так как .
Будем мерить показания в макроскопической единице: , , где — хронон в этой единице, а — показание, принятое за начало; алгебра времени регистра — его диагональная алгебра . Возьмём последовательность регистров с , и . Тогда:
(a) при всяком начиная с некоторого номера каждая точка лежит в пределах от некоторого показания: множества показаний сходятся к в пунктированном смысле Хаусдорфа;
(b) отображения выборки — -гомоморфизмы , и для всякой ; поэтому — инъективный изометрический -гомоморфизм .
С началом в первом показании () та же конструкция даёт : у записанного времени есть начало, а — предел, видимый из показаний, далёких от обоих концов.
Доказательство. (a) Показания образуют сетку шага , покрывающую , а этот отрезок начиная с некоторого номера содержит . (b) Вычисления значений — -гомоморфизмы, и . Функция достигает максимума в некоторой точке ; по (a) начиная с некоторого номера найдётся показание в пределах от , так что , где — модуль равномерной непрерывности . Норма в равна .
Отличие от других часов §3.8 и §11.3 — в форме множества показаний: суммарные O-часы заполняют окружность фиксированной длины, составные O-часы с несоизмеримыми частотами — тор, регистр глубины — прямую. В позиционной реализации показаний занимают голономов, так что окно — хрононов; в макроскопической единице предел теоремы 11.5 достигается при и .
Пути, которые рассмотрены и не использованы. (1) Слабая связь Дэвиса (1974) даёт лишь в пределе исчезающей связи с бесконечной средой, и её константы ошибки для конечной среды не явны; конструкция выше точна. (2) Квазиидеальные часы (Вудс–Силва–Оппенгейм 2019): их показания — орбита группы на конечном пространстве, так что по лемме о почти периодичности диссипация относительно них выполняется лишь на конечном окне и лишь приближённо; они не нужны. (3) Времена возвращения Пуанкаре конечной среды зависят от диофантовых свойств её спектра и не допускают вычислимой оценки вида , равномерной по гамильтониану, так что теоремы с явными константами они не дают. (4) Бесконечный регистр как предел башни страт: у его связи Фейнмана–Китаева нет нормируемого ядра (вариант (c) §11.3), так что это не носитель, а лишь предел носителей. (5) Вывод регистра-цепи из аксиом: не достигнут. Регистр строится из голономов, но то, что вневременное состояние мира имеет построенный вид, — допущение A5 о связи, как и для O-часов.
11.5 Алгебра наблюдателя де Ситтера и башня голономов
С 2022 года известен точный смысл, в котором наблюдатель меняет алгебру гравитирующей области. Квантовые поля в области имеют алгебру типа III₁ — без следа и без конечной энтропии; добавление наблюдателя с часами и наложение гравитационной связи превращает её в алгебру типа II, у которой есть след, матрицы плотности и энтропии. В статическом патче пространства де Ситтера получается тип II₁: след конечен и есть состояние максимальной энтропии. Отсюда две точки соприкосновения с УГМ. Наблюдатель — это часы, система отсчёта Пейджа–Вуттерса (§3, §11.1), а состояние максимальной энтропии голонома — его след . Этот подраздел перечисляет, что установлено в литературе, затем доказывает то, что о связи доказуемо (T-348), и называет то, что из неё не следует.
Термины. Алгебра фон Неймана — алгебра ограниченных операторов, замкнутая относительно сопряжения и слабых пределов; фактор — алгебра, центр которой состоит из скаляров. Факторы типа I — полные матричные алгебры ; фактор типа II₁ бесконечномерен и имеет конечный след, нормированный условием ; у типа след лишь полуконечен; у типа III следа нет. Фактор гиперконечен (равносильно инъективен), если он есть слабое замыкание возрастающего объединения конечномерных алгебр. Энтропия относительно следа состояния с плотностью равна ; в факторе II₁ , и равенство лишь при .
Что установлено в литературе.
- Чандрасекаран, Лонго, Пенингтон, Виттен (CLPW). «An algebra of observables for de Sitter space», JHEP 02 (2023) 082, arXiv:2206.10780. Теорема внутри их модели (, один наблюдатель на геодезической). Алгебра материи статического патча имеет тип III₁, и инвариантны относительно гамильтониана патча в ней только скаляры. У наблюдателя гамильтониан на («физически разумно считать энергию наблюдателя неотрицательной»); связь — . Без условия инвариантная алгебра есть скрещённое произведение на её модулярный поток, типа (двойственность Такесаки); проектор на вырезает из неё фактор типа II₁ с . Состояние максимальной энтропии — состояние Банча–Дэвиса, умноженное на тепловое распределение энергии наблюдателя, а энтропии равны обобщённой энтропии с точностью до постоянной, не зависящей от состояния. Замена на тип II₁ сохраняет. В их §2.4 добавлено: гиперконечный фактор II₁ изоморфен алгебре Мюррея–фон Неймана бесконечного числа почти максимально смешанных кубитов; локальные алгебры квантовой теории поля «считаются всегда гиперконечными», поэтому «мы ожидаем», что и есть эта алгебра. Их сноска 8: часы, энергия которых ограничена снизу, не могут показывать время идеально.
- Дженсен, Сорс, Сперанца (JSS). «Generalized entropy for general subregions in quantum gravity», JHEP 12 (2023) 020, arXiv:2306.01837. Аргумент при . Пространственно компактная область с наблюдателем даёт тип II₁ и состояние, максимизирующее энтропию; область с асимптотической границей даёт тип . Среди их примеров — шар в плоском пространстве с конформной материей: тип II₁ не привязан к .
- Родственные построения. S. Ali Ahmad, R. Jefferson, SciPost Phys. Core 7, 020 (2024), arXiv:2306.07323 (скрещённые произведения на модулярный поток для подобластей общих теорий дают тип ); J. Kudler-Flam, S. Leutheusser, G. Satishchandran, Phys. Rev. D 111, 025013 (2025), arXiv:2309.15897 (для динамических чёрных дыр энтропия одетой алгебры есть обобщённая энтропия); T. Faulkner, A. J. Speranza, arXiv:2405.00847 (обобщённый второй закон из скрещённого произведения); C.-H. Chen, G. Penington, arXiv:2406.02116 (медленное скатывание инфляции и испаряющаяся чёрная дыра Шварцшильда–де Ситтера дают факторы типа без состояния максимальной энтропии). Аргументы внутри их моделей; ни одна из работ не выводит или константу связи.
- Де Вёйст, Эклс, Хён, Кирклин (DEHK). «Gravitational entropy is observer-dependent», arXiv:2405.00114. Теоремы внутри модели. Наблюдатели CLPW — квантовые системы отсчёта, а описание состояний у CLPW совпадает с описанием Пейджа–Вуттерса («PW = CLPW»). Тип и энтропия зависят от наблюдателя: часы идеальны, если спектр их энергии — вся прямая, и тогда алгебра остаётся ; неидеальные часы с энергией, ограниченной снизу, дают II₁. Периодические часы (гармонический осциллятор) — неполная система отсчёта: её группа изотропии , и она различает лишь свойства поля, которые сами периодичны.
- Фьюстер, Янссен, Лавридж, Рейзнер, Уолдрон. «Quantum reference frames, measurement schemes and the type of local algebras in quantum field theory», Commun. Math. Phys. 406, 19 (2025), arXiv:2403.11973. Теорема. Если у поля есть КМШ-состояние при некотором , инвариантная алгебра системы отсчёта имеет полуконечный след; если и у системы отсчёта есть КМШ-вес при той же температуре, след конечен; даны точные достаточные условия фактора типа II₁.
- Виттен. «A background independent algebra in quantum gravity», JHEP 03 (2024) 077, arXiv:2308.03663. Предложение. Алгебра вдоль мировой линии наблюдателя с состоянием Хартла–Хокинга как универсальным состоянием максимальной энтропии; если рассматривать только вакуумы де Ситтера с разными , определение даёт разумные результаты. входит как метка вакуума, а не как результат.
- Результаты теории операторных алгебр, используемые ниже. F. J. Murray, J. von Neumann, Ann. Math. 44, 716 (1943): приближённо конечный фактор II₁ единствен. A. Connes, Ann. Math. 104, 73 (1976): всякий инъективный фактор II₁ с сепарабельным предуалом изоморфен ему, . U. Haagerup, Acta Math. 158, 95 (1987): единственность инъективного фактора III₁. H. Araki, E. J. Woods, Publ. RIMS 4, 51 (1968): типы бесконечных тензорных произведений матричных алгебр (ITPFI). A. Connes, E. Størmer, J. Funct. Anal. 28, 187 (1978): в факторе III₁ любые два точных нормальных состояния приближённо унитарно эквивалентны. D. Buchholz, C. D'Antoni, K. Fredenhagen, Commun. Math. Phys. 111, 123 (1987): свойство расщепления делает локальные алгебры гиперконечными. R. Verch, Lett. Math. Phys. 29, 297 (1993), и C. J. Fewster, Lett. Math. Phys. 105, 1633 (2015), arXiv:1501.02682: свойство расщепления для свободного поля Клейна–Гордона и для локально ковариантных теорий в искривлённом пространстве-времени.
Пусть — алгебра O-регистров голономов, носитель регистра глубины §11.4, с нормированным следом и вложением , (добавлен один голоном).
(a) Башня есть . ; объединение — UHF-алгебра типа , и её замыкание в представлении — гиперконечный фактор типа II₁, то есть . Для состояния на , и равенство лишь в ; сужение на не уменьшает , а для нормального состояния на . Число 7 живёт лишь до замыкания: проекторы имеют следы и никогда , тогда как в есть проекторы любого следа из , и даёт тот же . Если добавленный голоном читать как младшую цифру регистра глубины, показание отмечает точку отрезка , и след проектора на показания из отличается от не более чем на : на показаниях след становится мерой Лебега — равномерным весом состояния истории из теоремы 11.1.
(b) CLPW гиперконечна при названном условии. Если сеть материи в представлении Банча–Дэвиса обладает свойством расщепления вдоль возрастающей последовательности областей, исчерпывающих статический патч, — это установлено для свободного массивного поля Клейна–Гордона (Verch 1993; Fewster 2015), — то , и инъективны, и .
(c) Что переносит изоморфизм. При (b) существует изоморфизм . Он не единствен (два отличаются автоморфизмом ), и всякий такой переводит в : состоянию максимальной энтропии CLPW отвечает произведение , и для всякого нормального состояния. Больше не переносится ничего: нет выделенного , переводящего в операторы с местом или временем, а гамильтониан наблюдателя, модулярный поток состояния Банча–Дэвиса и геометрия патча не переносятся.
(d) Живых голономов лишь конечное число. В каждом нормальном состоянии на редуцированное состояние -го голонома стремится к по следовой норме, так что жизнеспособны () лишь конечно многие голономы. Если жизнеспособны из них, то , где нат, . Бесконечное произведение одного живого состояния не нормально на : оно порождает фактор Араки–Вудса типа III — , когда все отношения собственных значений суть целые степени одного , и III₁ иначе. Тип II₁ возникает только при , чья чистота лежит ниже окна.
(e) Конечные часы дают алгебру типа I. Пусть — фактор, на котором порождает поток с КМШ-состоянием при , и (допущение CLPW), а гамильтониан часов имеет чисто точечный спектр — O-часы или регистр глубины при любом конечном . Тогда часть , инвариантная относительно , есть : тип I, и ни одного оператора поля в ней нет.
(f) Ни , ни . Тип и след одни и те же при всяком (всяком ) и всякой массе наблюдателя (); башня даёт тот же при всякой размерности множителя ; JSS получают II₁ для компактных областей в плоском пространстве. Значит, ни один инвариант отождествления не фиксирует ни , ни её знак, ни темп регенерации , которого (a)–(d) вовсе не используют (ср. T-346). Конечное усечение , при , даёт — строго монотонную перепараметризацию , а не вывод, потому что ничто в УГМ не фиксирует .
Доказательство. (a) . Всякое следовое состояние есть , так что у ровно одно следовое состояние; следовое состояние, в представлении которого центр нетривиален, распалось бы на два разных следа, поэтому замыкание — фактор. След точен и нормален на нём, фактор бесконечномерен, значит, он типа II₁, а как замыкание возрастающего объединения матричных алгебр он гиперконечен; единственность Мюррея–фон Неймана даёт . Плотность относительно равна , откуда . Монотонность — это монотонность относительной энтропии при частичном следе (G. Lindblad, Commun. Math. Phys. 40, 147 (1975)), а предел — мартингальное свойство относительной энтропии Араки вдоль возрастающей сети с плотным объединением (M. Ohya, D. Petz, Quantum Entropy and Its Use, Springer 1993, гл. 5). Проектор из имеет след , а нечётно. Показаний в ровно с точностью до . Число входит в рассуждение только арифметикой.
(b) По аддитивности . Расщепление: между стоит фактор типа I , так что ; замыкание возрастающего объединения инъективных алгебр инъективно (Бухгольц–Д'Антони–Фреденхаген). Скрещённое произведение инъективной алгебры на аменабельную группу инъективно; угол инъективной инъективен (ожидание на , скомпонованное с ). — фактор II₁ (CLPW) на сепарабельном гильбертовом пространстве; теорема Конна даёт .
(c) — нормированный нормальный след на , а у фактора II₁ он один. CLPW показывают, что их состояние максимальной энтропии есть , а энтропии определены через плотности относительно следа, который сохраняет. Два изоморфизма отличаются автоморфизмом ; группа автоморфизмов переводит всякую конечномерную подалгебру в другие копии , так что образ не имеет инвариантного смысла.
(d) Пусть . плотна в : возьмём , , . Для из множителя произведение следов даёт , поэтому и . Для оценки возьмём больше всякого жизнеспособного номера: , где — полная корреляция. При фиксированной чистоте энтропия максимальна на одном доминирующем собственном значении плюс равных остальных (P. Harremoës, F. Topsøe, IEEE Trans. Inf. Theory 47, 2944 (2001)), и этот максимум убывает с ростом , так что при . Два произведения состояний , квазиэквивалентны лишь при (D. Bures, Trans. Amer. Math. Soc. 135, 199 (1969)); для живого (при фиксированной чистоте верность с наибольшая на том же экстремальном спектре, при ; проверено численно до ), так что произведение с расходится. Тип даёт классификация Араки–Вудса: для одинаковых множителей асимптотическое множество отношений есть замкнутая подгруппа, порождённая отношениями собственных значений.
(e) Запишем инвариантный элемент блочной матрицей по собственным подпространствам . Инвариантность означает поэлементно, где . При элементы лежат в . При у собственного оператора , так что при он кратен унитарному с ; условие КМШ даёт — противоречие. Значит, внедиагональные блоки равны нулю.
(f) (b)–(c) дословно верны при всяком и всяком (CLPW §2.5), а (a) — при всяком . Числа — арифметика; строго убывает.
Статус. (a), (d), (f) — теоремы [Т]. (b) и (c) — теоремы при свойстве расщепления, которое доказано для свободной массивной материи и принято для взаимодействующей; (e) — теорема при допущении , которым пользуются сами CLPW. Изоморфизм (c) CLPW уже ожидали — с кубитами вместо голономов; T-348 добавляет башню голономов как конкретную аппроксимирующую цепочку, перечень того, что изоморфизм может и чего не может перенести, счёт живых голономов (d), вердикт о конечных часах (e) и запрет для и (f). Свидетели: check_core_numbers.py (holon_tower_trace_entropy_is_nonpositive_and_monotone, living_holon_costs_at_least_0344_nats_below_the_trace, lambda_as_a_holon_count_is_a_reparametrisation).
Физическое прочтение [И]. Пустое пространство де Ситтера, состояние максимальной энтропии, отвечает башне, в которой каждый голоном в : мёртвый фон ниже окна. Возбуждения — нормальные состояния, и по (d) они несут конечное число живых голономов, каждый из которых стоит больше нат энтропии ниже максимума; у CLPW частица энергии в центре патча стоит . Сравнение — интерпретация: (c) не даёт отображения голономов в частицы. Условие CLPW имеет в УГМ один аналог, ; по (e) его мало, потому что переход от типа III к типу II требует часов с непрерывным спектром энергии, а у всяких конечных часов УГМ спектр чисто точечный; у предела регистра глубины спектр непрерывен и ограничен снизу (T-352, §11.6).
Открыто [Пр]. (1) Часы УГМ с непрерывным спектром, ограниченным снизу. Скейлинговый предел теоремы 11.5 — континуум показаний (времён), а не энергий. Решено T-352 (§11.6) при названной посылке: сама связь Фейнмана–Китаева регистра глубины в пределе имеет чисто абсолютно непрерывный спектр и как часы наблюдателя даёт фактор типа II₁; прежняя фраза здесь — что такой спектр есть выбор шага уровней, а не следствие построения, — заменена. (2) Сходятся ли реляционные алгебры таких регистров к . (3) Фиксирует ли что-либо в УГМ уровень ; без этого остаётся входным параметром, как в предложении Виттена.
11.6 Направление и непрерывные часы
Основание УГМ — ∞-топос , прочитанный в гомотопической теории типов, где всякое отождествление обратимо: его объекты — ∞-группоиды. Динамика необратима: у диссипативного канала нет обратного среди каналов, глубина §10.3 растёт, а T-348 оставила открытыми часы с непрерывным спектром энергии, ограниченным снизу. Этот подраздел спрашивает, что от стрелы может нести симметричное основание, где живёт направление и есть ли в УГМ часы, которых не хватало T-348. Сначала — что установлено в литературе, затем доказательство T-352.
Что установлено в литературе.
- Направленная теория типов, синтетические ∞-категории. E. Riehl, M. Shulman, «A type theory for synthetic ∞-categories», Higher Structures 1, 147 (2017), arXiv:1705.07442. Теоремы. Гомотопическая теория типов с направленным интервалом и типами расширения; сигалевы типы (единственные композиции с точностью до гомотопии), типы Резка (локальная унивалентность), ковариантные семейства и зависимая лемма Йонеды. Семантика — бисимплициальные множества с фибрантностью по Риди, где сигалевы типы и типы Резка суть сигалевы пространства и полные сигалевы пространства. U. Buchholtz, J. Weinberger, «Synthetic fibered (∞,1)-category theory», Higher Structures 7 (2023), arXiv:2105.01724; J. Weinberger, «Strict stability of extension types», arXiv:2203.07194 (система «имеет семантику в симплициальных объектах ∞-топоса»).
- Направленная унивалентность. M. Z. Weaver, D. R. Licata, «A constructive model of directed univalence in bicubical sets», LICS 2020, 915–928. D. Gratzer, J. Weinberger, U. Buchholtz, «Directed univalence in simplicial homotopy type theory», arXiv:2407.09146 (теорема: универсум дискретных типов, гомоморфизмы которого суть функции, построенный в триангулированной теории типов); «The Yoneda embedding in simplicial type theory», LICS 2025, 127–142, arXiv:2501.13229; «The ∞-category of ∞-categories in simplicial type theory», arXiv:2602.02218 (выпрямление–невыпрямление внутри теории). E. Cavallo, E. Riehl, C. Sattler, «Directed univalence for simplicial objects in an ∞-topos», arXiv:2607.02420 (июль 2026; теорема: направленная унивалентность выполняется в симплициальных объектах любого ∞-топоса).
- Другие направленные теории типов. D. R. Licata, R. Harper, «2-dimensional directed type theory», MFPS 2011, ENTCS 276, 263 (2011); A. Nuyts, Towards a directed homotopy type theory based on 4 kinds of variance, магистерская диссертация, KU Leuven (2015); P. R. North, «Towards a directed homotopy type theory», MFPS 2019, ENTCS 347 (2019), arXiv:1807.10566 (образователь hom-типов с интерпретацией в ); J. Neumann, T. Altenkirch, «Synthetic 1-categories in directed type theory», TYPES 2024, LIPIcs 336, 7, arXiv:2410.19520 (направленное правило J, вариантность через модальности; первый шаг к направленной высшей наблюдательной теории типов).
- Модельно-независимая теория ∞-категорий и внутренние категории. E. Riehl, D. Verity, Elements of ∞-Category Theory, Cambridge 2022 (∞-космосы: одна формальная теория для квазикатегорий, полных сигалевых пространств и их расслоенных и внутренних вариантов). L. Martini, «Yoneda's lemma for internal higher categories», arXiv:2103.17141, и L. Martini, S. Wolf, «Internal higher topos theory», arXiv:2303.06437: ∞-категории, внутренние к произвольному ∞-топосу, суть его симплициальные объекты с условиями Сигала и полноты.
- Направленные пространства. M. Grandis, Directed Algebraic Topology, Cambridge 2009, часть I — arXiv:math/0111048 (d-пространства, фундаментальные категории вместо фундаментальных группоидов; мотивировка — параллельные вычисления и участки пространства-времени). Теоремы внутри этой рамки; никакой направленный аналог топоса Гротендика не служит там основанием.
- Операторы времени и положительная энергия. W. Pauli, Handbuch der Physik 24/1 (1933), с. 140 (аргумент); в строгой форме: самосопряжённый и проекторнозначная наблюдаемая времени, ковариантная относительно , образуют систему импримитивности группы , и теорема Макки–Стоуна–фон Неймана даёт (P. Busch, M. Grabowski, P. J. Lahti, Operational Quantum Physics, Springer 1995, гл. III); значит, гамильтониан, ограниченный снизу, допускает лишь ковариантное время со значениями в положительных операторах. R. E. A. C. Paley, N. Wiener, Fourier Transforms in the Complex Domain, AMS 1934 (функции с носителем на полупрямой имеют фурье-образ в пространстве Харди ). H. Wold (1938) и B. Sz.-Nagy, C. Foias, Harmonic Analysis of Operators on Hilbert Space, North-Holland 1970 (изометрии: разложение Вольда и минимальные унитарные дилатации). P. D. Lax, R. S. Phillips, Scattering Theory, Academic Press 1967 (сдвиг на прямой с уходящим подпространством ).
Что в литературе открыто. Направленная теория типов имеет модели в симплициальных объектах всякого ∞-топоса, и направленная унивалентность там выполняется (2026). Она не заменяет ∞-топос: её типы интерпретируются внутри него, как объекты-категории. Установленного «направленного топоса» как самостоятельного основания нет, и, помимо мотивирующих примеров Грандиса, нет в этой литературе связи направленных путей с физическим временем; глава 17 корпуса оснований математики называет эту связь гипотезой [Г].
Пусть — показания регистра глубины (§11.4) как категория, где стрелка одна, ровно когда ; в пределе — . Пусть — категория, объекты которой — состояния голонома, а стрелки — CPTP-отображения.
(a) Стрела живёт в категории, а не в группоиде. Максимальный подгруппоид дискретен ( объект, только тождества); его ∞-группоидное пополнение стягиваемо (эйлерова характеристика нерва ). На ∞-группоиде всякая функция, не возрастающая вдоль путей, постоянна на компонентах. История теоремы 11.1 — функтор , , ; при унитальном примитивном ни одна стрелка , , не обратима в , и превращает в функтор в чум .
(b) У резких показаний с первым показанием нет гамильтониана. (i) На шаг — изометрия с , чисто неунитарная; — замкнутый единичный круг, и всякое — собственное значение с собственным вектором ; никакой унитарный оператор на не продолжает , а его минимальная унитарная дилатация — двусторонний сдвиг на со спектром на единичной окружности. (ii) В непрерывном пределе с началом в первом показании (теорема 11.5, ) сдвиги пространства суть с на ; замкнут и симметричен с индексами дефекта , самосопряжённого расширения не имеет, и . (iii) На нет ненулевой с носителем в , фурье-образ которой тоже сосредоточен в . Значит, у часов, чьи резкие показания имеют первое и сдвигаются их собственной эволюцией, нет самосопряжённой энергии; у их унитарной дилатации спектр энергии — : это идеальные часы, сохраняющие у алгебры тип (DEHK); а теорема Паули в процитированной выше строгой форме запрещает энергии, ограниченной снизу, резкие ковариантные показания.
(c) Часы, которые связь уже содержит. Одетая связь теоремы 11.1(a) — лапласиан пути . Его собственные значения — в точности квантили закона арксинуса на , так что нормированная считающая мера спектра отстоит от на по Колмогорову, и это расстояние достигается. В пределе на ограничен и самосопряжён; косинус-преобразование — унитарное , переводящее в умножение на . Поэтому — чисто абсолютно непрерывный и простой, с плотностью состояний ; не собственное значение. Для всякой и всякого вероятность показания в стремится к и при , и при .
(d) Тип II₁ из регистра глубины. В постановке CLPW — фактор типа III₁ на , модулярный поток которого порождён , КМШ при — возьмём часами наблюдателя с гамильтонианом , ( для хронона ). Операторы из , инвариантные относительно , образуют алгебру, унитарно эквивалентную , , где — энергия наблюдателя CLPW. Это фактор типа II₁; в нормировке, где проектор CLPW на имеет след , , а его состояние максимальной энтропии — состояние Банча–Дэвиса, умноженное на тепловой закон энергии наблюдателя, суженный на и перенормированный. При свойстве расщепления T-348(b) он изоморфен . При всяком конечном та же конструкция даёт тип I (T-348(e)): переход от типа I к типу II₁ происходит ровно при — там же, где историческое состояние перестаёт быть нормируемым (§11.3, вариант (c)).
(e) Что не фиксировано. Тип и структура следа в (d) одни и те же при всяких и ; единственный новый масштаб — ширина полосы , и ничто в УГМ не фиксирует .
Доказательство. (a) Стрелка в обратима, лишь если есть и , то есть . ∞-группоидное пополнение категории — геометрическая реализация её нерва, а категория с начальным объектом () имеет стягиваемый нерв (D. Quillen, «Higher algebraic K-theory I», LNM 341, 85 (1973), §1). Невырожденные -симплексы нерва — цепи из различных показаний, их , и . На ∞-группоиде у всякого пути есть обратный, так что . Функториальность — закон полугруппы . Канал с обратным каналом есть унитарное сопряжение (стандартно; полное доказательство через представления Крауса — лемма 17.1 главы 17 части XVIII корпуса оснований математики), а оно сохраняет чистоту; по теореме 11.1(c) понижает чистоту всякого , значит, обратного не имеет. Монотонность относительной энтропии под каналами (G. Lindblad, Commun. Math. Phys. 40, 147 (1975)) при даёт функтор в .
(b) (i) , а пропускает , так что не сюръективен и никакой унитарный оператор на том же пространстве с ним не совпадает; сильно, так что унитарной части у нет (Вольд). — вектор с квадратом нормы ; значит, открытый круг лежит в спектре , а потому и , и его замыкает. Минимальная унитарная дилатация — Сёкефальви-Надь–Фояш, гл. I. (ii) , а обращается в нуль на , что вынуждает на области определения. на ; у есть решение , у — лишь , так что индексы , и теорема фон Неймана исключает самосопряжённое расширение. У есть решение , квадратично интегрируемое ровно при ; для таких образ не плотен, так что ; при имеем и плотный образ, так что . (iii) Если обращается в нуль на , её фурье-образ — граничное значение функции из пространства Харди (Пэли–Винер); ненулевая функция из не может обращаться в нуль на множестве положительной меры границы (Ф. и М. Риссы). Последняя фраза утверждения — это (ii), дилатация из (i) и теорема Паули в процитированной форме.
(c) У диагональ и на соседних диагоналях. Для : внутри ; на первом узле ; при условие — , . , так что . Функции , , — собственные функции на с , ортонормированный базис; значит, унитарно, и первое вычисление даёт . Эта функция непрерывна и строго возрастает на от до ; замена , , отождествляет с умножением на в — абсолютно непрерывным и кратности один. Уход: с , что стремится к при (лемма Римана–Лебега); суммируем по .
(d) По (c) есть унитарный с (плотность состояний меняет лишь сам унитарный оператор). переводит операторы, инвариантные относительно , в инвариантные относительно на . При на имеем . Инвариантная часть относительно — скрещённое произведение , порождённое и (CLPW §3; M. Takesaki, Acta Math. 131, 249 (1973)); ему принадлежит, и оператор инвариантен ровно тогда, когда лежит в . Раз типа III₁, скрещённое произведение — фактор типа (Такесаки, там же), чей след на функциях от есть в нормировке CLPW — это распределение наблюдателя в их состоянии максимальной энтропии. Значит, — конечно и отлично от нуля; угол фактора по ненулевому конечному проектору — фактор типа II₁, и его нормированный след — названное состояние. Угол инъективной алгебры инъективен, так что T-348(b) и теорема Конна дают . Конечный случай — T-348(e), поскольку у чисто точечный спектр; по (c).
(e) Ничто в (a)–(d) не зависит от значений и , кроме их положительности.
Числа. Тождество квантилей и расстояние Колмогорова выполняются с точностью при (: окна от до голономов), а косинус-векторы диагонализуют с невязкой меньше . При и старте вероятность показания равна при , при и при , а среднее показание растёт как показания на единицу ( при ), тогда как вес за (максимальная скорость равна ) меньше при . Эйлерова характеристика нерва равна при . Свидетель: check_core_numbers.py (depth_register_constraint_is_a_continuous_clock_bounded_below, depth_readings_form_a_category_with_contractible_groupoid_completion).
Статус. (a)–(c) и (e) — теоремы [Т]. (d) — теорема в модели CLPW (их , , , ), коль скоро часы наблюдателя — регистр глубины с гамильтонианом ; это отождествление — посылка, а не следствие аксиом: как и в §11.4, принимается половина A5 о связи, а здесь ещё и то, что сам оператор связи есть энергия часов. в (d) требует свойства расщепления, как в T-348(b).
Что это меняет.
- Для основания. Стрела T-53b и T-53c — функтор из категории, , за которым следует монотонный функционал; по (a) никакой ∞-группоид, построенный из показаний, её не несёт: в максимальном подгруппоиде не вдоль чего быть монотонным, а пополнение — точка. Нового основания для этого не нужно: классифицирующие диаграммы Резка для и для — полные сигалевы пространства (C. Rezk, Trans. Amer. Math. Soc. 353, 973 (2001)), то есть там, где живут типы Рил–Шульмана, а по Кавалло–Рил–Саттлеру направленная унивалентность выполняется в симплициальных объектах любого ∞-топоса, значит, и над . Направленная половина, которую глава 17 корпуса оснований математики называет недостающей, тем самым доступна внутри симметричного основания — как объекты-категории; что корпус следует переписать в симплициальной теории типов, не утверждается, а отождествление этого направления с переживаемым временем остаётся там гипотезой [Г].
- Для T-53b и T-118. Статусы не меняются. T-53b — утверждение, что есть функтор и вдоль него убывает. Из двух пределов теоремы 11.5 направленный — : по (b)(ii) его сдвиги — изометрии без гамильтониана; — его двусторонняя дилатация, генератор сдвигов которой имеет спектр .
- Для T-348. Открытый вопрос (1) решён при посылке (d): в УГМ есть часы с непрерывным спектром, ограниченным снизу, и это не выбор шага уровней — это предел связи Фейнмана–Китаева, которая уже несёт динамику, со спектром и плотностью арксинуса. Вердикт T-348(e) о типе I для конечных регистров и тип II₁ из (d) — две стороны одного факта: связь приобретает непрерывный спектр ровно тогда, когда её историческое состояние перестаёт быть нормируемым. Отличие от часов CLPW — верхний край: энергия наблюдателя обрезана на , что меняет след проектора на , но не тип.
Что не следует. Показание времени непрерывных часов не резкое в энергетической картине: по (b)(iii) и теореме Паули ковариантного резкого показания для нет, и показания не сдвигаются оператором ; пакет расплывается со скоростью до показаний на единицу , и направление показаний одно и то же при и при : унитарная группа стрелы не знает, её знает полупрямая показаний. Теорема не фиксирует ни , ни , а значит, ни , ни (T-348(f), T-346).
Открыто [Пр]. (1) Сходятся ли реляционные алгебры конечных регистров, типа I, к алгебре типа II₁ из (d) в смысле, переносящем след (T-348, открытый вопрос (2)). (2) Фиксирует ли что-либо в УГМ хронон — единственный масштаб в (d). (3) Формулировка динамики голонома в симплициальной теории типов, где — тип Резка над , а T-53c становится внутренним утверждением.
Связанные документы:
- Аксиома Ω⁷ — ∞-топос как единственный примитив
- Измерение D (Динамика) — связь с внутренним временем
- Измерение O (Основание) — роль внутренних часов
- Эволюция Γ — уравнение с внутренним временем
- Пространство-время — эмерджентная геометрия
- Категорный формализм — ∞-группоид и ∞-топос
- Критическая чистота — связь P_crit с временем
- Жизнеспособность — временна́я интерпретация