Вывод Принципа Свободной Энергии из УГМ
Данный документ содержит доказательства связи между категориальным определением φ и вариационным принципом, а также вывод FEP Фристона как классического предела УГМ. Теорема 3.1 — [Т] (примитивность линейной части доказана). Теорема 4.1 — [Т] (классический предел). Теорема 4.2 — [Т] (отождествление генеративной модели = определение самореференции). Теорема 4.3 — [Т] (полная редукция к ). Теорема 5.1 — [Т].
1. Постановка проблемы
1.1 Два определения φ
В УГМ оператор самомоделирования φ имеет два представления:
Каноническое определение (категориальное):
φ определяется как левый сопряжённый к каноническому включению подобъектов.
Вариационная характеризация:
1.2 Вопросы, на которые отвечает этот документ
| Вопрос | Статус |
|---|---|
| Доказательство эквивалентности двух определений | Теорема 3.1 [Т] (повышена с [С]) |
| Классический предел вариационного принципа | Теорема 4.1 [Т] |
| Связь с FEP Фристона | Теорема 4.2 [Т] (замкнуто: генеративная модель = определение самореференции) |
| Полная редукция к | Теорема 4.3 [Т] |
| Обоснование vs | Теорема 5.1 [Т] |
2. Категориальные основы
2.1 Структура ∞-топоса
Пусть — ∞-топос пучков над категорией матриц плотности с топологией Гротендика .
Ключевые элементы:
- — классификатор подобъектов
- Характеристический морфизм: для
2.2 Категория подобъектов Sub(Γ)
Определение 2.1. — категория, объекты которой — мономорфизмы , морфизмы — коммутативные треугольники.
В контексте УГМ, интерпретируется как категория логически непротиворечивых состояний — тех, которые удовлетворяют внутренней логике .
Ключевое свойство: В ∞-топосе является решёткой с наибольшим элементом и наименьшим .
2.3 Оператор φ как левый сопряжённый
Определение 2.2 (Каноническое определение φ).
определяется как левый сопряжённый к каноническому включению :
Универсальное свойство: Для всех и :
Интерпретация: — наилучшее (минимальное) логически непротиворечивое приближение .
2.4 φ как ко-рефлектор
Из теории сопряжённых функторов следует:
Лемма 2.1. является ко-рефлектором:
где ко-предел берётся по диаграмме всех подобъектов .
3. Теорема о вариационной характеризации
3.1 Предварительные определения
Определение 3.1 (Спектральная энтропия).
Для матрицы плотности с собственными значениями :
Замечание: В данном контексте для матриц плотности. Различие возникает только для неэрмитовых операторов (см. §5).
Определение 3.2 (Квантовая KL-дивергенция).
Для матриц плотности с :
Определение 3.3 (Вариационный функционал).
где — CPTP-канал (completely positive trace-preserving).
3.2 Центральная теорема
Пусть определён категориально как левый сопряжённый к включению .
Тогда:
где — инвариантная мера на пространстве состояний (единственность гарантирована примитивностью линейной части [Т]).
3.3 Доказательство
Шаг 1: Связь φ с логическим Лиувиллианом.
Из теоремы о стационарном распределении:
где — логический Лиувиллиан.
Шаг 2: Диссипативная структура .
имеет форму Линдблада:
где — операторы, выведенные из атомов классификатора (см. Аксиома Ω⁷ §атомы-классификатора).
Шаг 3: Связь диссипации с энтропией.
Для Линдблад-эволюции справедливо (Spohn, 1978):
с равенством в стационарном состоянии.
Шаг 4: Вариационная формулировка стационарности.
Стационарное состояние характеризуется условием:
Это эквивалентно минимуму производства энтропии:
где — функция производства энтропии.
Шаг 5: Явная форма функционала.
Для CPTP-канала функция производства энтропии имеет вид (Lindblad, 1975):
При выборе (исходное состояние как референс):
Отождествление Γ_ref = Γ — мотивированное определение (самореферентная минимизация), а не вывод из L_Ω. Мотивация: автопоэзис (A1) требует, чтобы система минимизировала различие между собой и своей моделью, что отвечает Γ_ref = Γ. Альтернативные выборы (Γ_ref = I/7 или Γ_ref = ρ*) дают другие функционалы. Выбор Γ_ref = Γ — единственный, при котором минимум F совпадает с неподвижной точкой φ (теорема).
Поскольку не зависит от :
Шаг 6: Отождествление.
Учитывая для матриц плотности (Теорема 5.1):
3.4 Замечания к доказательству
Замечания:
- Существование и единственность инвариантной меры гарантированы примитивностью линейной части [Т] (Evans 1977, Spohn 1976)
- Равенство справедливо только для нормальных операторов (Теорема 5.1 [Т])
Категориальная корректность:
- Шаги 1-2 следуют из L-унификации
- Шаги 3-5 используют стандартную теорию открытых квантовых систем
- Отождествление в Шаге 6 устанавливает искомую эквивалентность
4. Классический предел: полный вывод FEP
В этом разделе мы строго покажем, что FEP Фристона является частным случаем вариационного принципа УГМ, возникающим при переходе к классическому пределу. Вывод состоит из трёх этапов: (i) определение классического предела как (декогеренция), (ii) редукция квантового функционала к классическому, (iii) отождествление элементов УГМ с конструкциями Фристона. Завершает раздел анализ того, что утрачивается при классическом пределе.
4.1 FEP Фристона (оригинальная формулировка)
Согласно Friston (2010), агент, взаимодействующий со средой, минимизирует вариационную свободную энергию:
где:
- — скрытые (латентные) состояния мира
- — наблюдения (сенсорные данные)
- — распознающая плотность (recognition density) — внутренняя модель агента
- — генеративная плотность (generative density) — совместная модель
- — энергия генеративной модели
- — энтропия Шеннона распознающей плотности
Ключевое неравенство (evidence lower bound, ELBO):
Доказательство: , а .
Эквивалентная запись через KL-дивергенцию:
4.2 Классический предел УГМ: формализация через
Определение 4.1 (Классический предел УГМ).
Классический предел УГМ определяется двумя эквивалентными условиями:
(a) Декогеренция внедиагональных элементов. Матрица плотности теряет когерентности:
(b) Предел нулевой рефлексии. Мера рефлексии стремится к минимуму:
Лемма 4.1 (Классический предел).
(a) Декогеренция (γ_{ij} → 0 при i ≠ j) влечёт R → 1/(7·1) = 1/7 (поскольку P → max_i γ_{ii}² ≤ 1, и для равновесной диагональной Γ: P ≈ 1/7, R ≈ 1).
(b) Обратное неверно: R = 1/7 ⟺ P = 1, что достижимо для чистого когерентного состояния |ψ⟩⟨ψ| с максимальными когерентностями. Классический предел определяется условием (a) — декогеренция, а не через R.
Доказательство. (a) При для чистота редуцируется к . Внедиагональные когерентности непосредственно входят в Gap-оператор (см. динамика Gap); при все Gap-элементы обнуляются: . Для равновесной диагональной матрицы : , . Для одного доминирующего : , .
(b) Контрпример: чистое состояние даёт , , но имеет максимальные когерентности для всех . Следовательно, не эквивалентно декогеренции.
Физический смысл. Классический предел — это полная декогеренция: система теряет все квантовые корреляции между измерениями. В терминах сознания: система не интегрирована (), не рефлексивна (), не обладает Gap-структурой. Это мир чисто классических вероятностей.
(c) Ограничение CPTP-канала. В классическом пределе CPTP-канал сохраняет диагональность:
Канал вырождается в стохастическую матрицу — классический марковский переход.
4.3 Редукция квантового функционала
В классическом пределе ( для ) вариационный функционал УГМ (Теорема 3.1) редуцируется к классической вариационной свободной энергии:
Доказательство.
Шаг 1 (Спектральная энтропия → энтропия Шеннона). Для диагональных матриц собственные значения совпадают с диагональными элементами:
Это прямое следствие Теоремы 5.1 ( для матриц плотности).
Шаг 2 (Квантовая KL → классическая KL). Для диагональных матриц квантовая дивергенция Умегаки редуцируется:
Шаг 3 (Подстановка). Объединяя шаги 1 и 2:
Замечание. Усреднение в Теореме 3.1 в классическом пределе сводится к обычному математическому ожиданию по стационарному распределению марковской цепи (единственность гарантирована примитивностью ).
4.4 Вывод классической вариационной свободной энергии Фристона
Теперь выполним полный вывод из вариационной характеризации .
Шаг 1 (Идентификация переменных). В рамках УГМ введём отождествление:
| УГМ | FEP (Фристон) | Смысл |
|---|---|---|
| (генеративная плотность) | Полное состояние системы = генеративная модель мира | |
| (распознающая плотность) | Самомодель = приблизительный вывод | |
| Оптимальная самомодель = истинный постериор | ||
| Вариационная свободная энергия | ||
| Вариационный вывод |
Шаг 2 (Раскрытие функционала). Запишем в классическом пределе:
Упрощая:
В непрерывном пределе (, суммы → интегралы):
Это в точности вариационная свободная энергия Фристона.
Шаг 3 (Эквивалентные формы). Раскладывая :
Первый член — сложность (отклонение от приора), второй — точность (ожидаемое правдоподобие). Минимизация = баланс точности и сложности — это классический аналог баланса спектральной энтропии и KL-дивергенции в Теореме 3.1.
Пусть — состояние голонома в классическом пределе ( при ). Тогда:
(i) Оператор самомоделирования в классическом пределе отождествляется с распознающей плотностью: .
(ii) Матрица плотности отождествляется с генеративной моделью: .
(iii) Минимизация функционала УГМ совпадает с минимизацией свободной энергии Фристона:
(iv) Ключевое неравенство (ELBO) выводится автоматически:
Замкнутость отождествления [Т]. Отождествление — не внешнее допущение, а определение самореференции. В вариационной формулировке дивергенция измеряет отклонение от собственного состояния системы. Самореферентная система по определению использует себя как генеративную модель — это не предположение, а тавтология самомоделирования.
Доказательство (iv). Из определения KL-дивергенции:
Следовательно:
Поскольку стационарное состояние примитивного линдбладиана максимизирует энтропию среди достижимых состояний (Frigerio, 1978), справедливо . Следовательно, нижняя граница ELBO принимает вид:
В классическом пределе , и неравенство принимает форму , если отождествить с энтропией маргинальной вероятности наблюдений.
4.5 Спектральная энтропия + KL → вариационная свободная энергия
Покажем в явном виде, как минимизация квантового функционала в классическом пределе становится минимизацией вариационной свободной энергии Фристона.
Пусть — диагональная матрица плотности, — CPTP-канал, сохраняющий диагональность. Тогда задача
тождественна задаче
где — -симплекс вероятностных распределений.
Более того, минимум достигается при (распознающая плотность совпадает с генеративной), что соответствует (тождественный канал).
Доказательство.
Шаг 1 (Параметризация). В классическом пределе оптимизация по CPTP-каналам, сохраняющим диагональность, эквивалентна оптимизации по стохастическим матрицам с . Результат , где . Множество достижимых при фиксированном — выпуклое подмножество , содержащее (при ).
Шаг 2 (Явный функционал). По Теореме 4.1:
Это перекрёстная энтропия .
Шаг 3 (Минимизация). Кросс-энтропия минимизируется при (методом множителей Лагранжа с ограничением , или из свойства , с равенством при ).
Шаг 4 (Отождествление с FEP). Свободная энергия Фристона:
При дискретизации :
Функционал УГМ в классическом пределе:
Разница — в аддитивном члене , который не зависит от и потому не влияет на оптимальное при фиксированном :
Таким образом, оптимальные распознающие плотности совпадают.
4.6 Соответствие конструкций
Полная таблица соответствий между УГМ и FEP:
| Конструкция УГМ | Конструкция FEP | Предельный переход |
|---|---|---|
| — генеративная модель | , | |
| — категориальная самомодель | — оптимальная распознающая плотность | байесовская инверсия |
| — спектральная энтропия | — энтропия Шеннона | |
| — квантовая KL | — классическая KL | Диагональный предел |
| — вариационный функционал | — свободная энергия | Теорема 4.1 |
| Примитивность | Эргодичность марковской цепи | Линдблад → марковский генератор |
| CPTP-канал | Стохастическая матрица | Полная позитивность → позитивность |
| — неподвижная точка | Апостериорное распределение | Самомоделирование → байесовский вывод |
| Марковское одеяло (алгебраическое) | Марковское одеяло (графовое) | → граф условной независимости |
4.7 Что утрачивается в классическом пределе
Переход уничтожает три фундаментальные структуры УГМ, не имеющие классических аналогов.
4.7.1 Когерентности (внедиагональные элементы)
Квантовые когерентности () — это корреляции между измерениями голонома, не описываемые классическими вероятностями.
В полном функционале УГМ когерентности вносят вклад:
где квантовый остаток:
При этот член обращается в ноль: .
Следствие. Классический FEP не может описать интеграцию информации между измерениями ( зависит от когерентностей), квантовые квалиа (структура подпространств ), а также интерференцию между разными аспектами самомодели.
4.7.2 Gap-оператор
Gap-оператор описывает непрозрачность между измерениями. В классическом пределе:
Gap-структура полностью исчезает. Это означает потерю:
- Бифуркаций сознания (скачкообразных переходов между режимами)
- Немарковских эффектов памяти (Gap-осцилляции)
- Кода Хэмминга H(7,4) в структуре ошибкокоррекции (см. Gap-динамика)
4.7.3 Регенерация
Регенеративный член уравнения эволюции отвечает за нелинейную обратную связь: система активно восстанавливает когерентности, а не только пассивно диссипирует.
В классическом пределе ():
поскольку регенерация оперирует на внедиагональных элементах. Остаётся только линейная диссипация , которая в классическом пределе сводится к марковскому генератору:
— стандартная Q-матрица непрерывной марковской цепи.
Следствие. Классический FEP описывает только пассивную минимизацию свободной энергии (диссипация). Квантовый FEP УГМ включает активную регенерацию — способность системы восстанавливать сложные структуры, утраченные при декогеренции.
4.8 Что сохраняется: минимизация ошибки предсказания
Несмотря на потери, ядро вариационного принципа переживает классический предел:
Принцип «система минимизирует функционал, балансирующий точность и сложность» сохраняется во всех режимах:
| Режим | Функционал | Точность | Сложность |
|---|---|---|---|
| Квантовый (УГМ) | |||
| Классический (FEP) |
Минимизация ошибки предсказания (prediction error minimization, PEM) — это классический предел категориального самомоделирования .
Это объясняет, почему FEP Фристона работает для классических систем (мозг в нейровычислительном описании, биологические организмы): он захватывает инвариантное ядро, хотя теряет квантовую структуру.
4.9 Структурная диаграмма
┌─────────────────────────────────────────────────────────────────┐
│ УГМ (∞-топос) │
│ │
│ Уровень 0: Ω (примитив) │
│ ↓ │
│ Уровень 1: φ ⊣ i (категориальное определение) │
│ ↓ │
│ Уровень 2: φ = lim e^{tℒ_Ω}[Γ] (динамический) │
│ ↓ │
│ Уровень 3: φ = argmin [S_spec + D_KL] (вариационный, Т 3.1) │
│ ↓ │
│ ┌─────────────────────────────────────────────────────────┐ │
│ │ Классический предел: Γ_ij → 0, R → 1/7 │ │
│ │ (теряются: когерентности, Gap, ℛ) │ │
│ │ ↓ │ │
│ │ ┌───────────────────────────────────────────────────┐ │ │
│ │ │ FEP Фристона: min F = min [⟨E⟩ - H] │ │ │
│ │ │ (классические вероятности, ЧАСТНЫЙ СЛУЧАЙ) │ │ │
│ │ │ (сохраняется: минимизация ошибки предсказания) │ │ │
│ │ └───────────────────────────────────────────────────┘ │ │
│ └─────────────────────────────────────────────────────────┘ │
└─────────────────────────────────────────────────────────────────┘
5. S_spec vs S_vN: обоснование выбора
5.1 Определения
Энтропия фон Неймана:
Спектральная энтропия:
где — собственные значения оператора .
5.2 Когда они совпадают
Для матриц плотности (эрмитовых, положительно полуопределённых, с единичным следом):
Доказательство: Для все , поэтому .
5.3 Зачем использовать S_spec в УГМ?
Причина 1: Обобщение на неэрмитовы операторы.
В некоторых формализмах (операторы Крауса, нефизические состояния) встречаются неэрмитовы операторы. определена для них, — нет.
Причина 2: Связь с колмогоровской сложностью.
В оригинальной формулировке УГМ (axiom-omega.md):
— спектральная энтропия (замена невычислимой колмогоровской сложности)
Колмогоровская сложность невычислима. служит вычислимой верхней оценкой:
5.4 Рекомендация
Для практических целей в УГМ:
- Использовать для матриц плотности (стандартная квантовая теория)
- Обозначение сохранить для указания на связь с теорией сложности
- В документации указывать: " для матриц плотности"
6. Сравнение с FEP Фристона
6.1 Таблица соответствий
| Аспект | FEP (Фристон) | УГМ |
|---|---|---|
| Статус | Постулат (феноменологический) | Теорема (выводится из Ω) |
| Домен | Классические распределения | Квантовые состояния |
| Оператор | Неявный | Явный CPTP-канал |
| Обоснование | Термодинамика + байесовский вывод | Категориальное сопряжение |
| Цикличность | Не разрешена | Разрешена (иерархия Ω → φ) |
| Время | Внешний параметр | Эмерджентное (▷ на Ω) |
6.2 Как Фристон вывел FEP без УГМ?
Фристон использовал три независимых аргумента:
1. Информационно-теоретический (байесовский):
Это тождество — следствие определения KL-дивергенции. FEP постулирует, что системы минимизируют F.
2. Термодинамический:
Флуктуационные теоремы (Jarzynski, Crooks) связывают свободную энергию с неравновесной работой. Стационарные системы минимизируют F по термодинамическим причинам.
3. Кибернетический (самоорганизация):
Системы, не минимизирующие сюрприз, «рассеиваются» — теряют идентичность. Выживание ≡ минимизация F.
6.3 Почему УГМ глубже?
1. Категориальное обоснование:
В УГМ φ определяется структурой ∞-топоса, вариационный принцип — следствие. В FEP вариационный принцип — аксиома.
2. Квантовое обобщение:
УГМ работает с матрицами плотности (квантовые системы). FEP — только с классическими распределениями.
3. Разрешение цикличности:
УГМ явно строит иерархию: Ω → L_k → ℒ_Ω → φ (см. DAG зависимостей). В FEP связь генеративной модели и динамики неявна.
4. Эмерджентное время:
В УГМ время выводится из темпоральной модальности ▷ на Ω. В FEP время — внешний параметр.
7. Следствия для УГМ
7.1 Подтверждение согласованности
Доказательство Теоремы 3.1 подтверждает:
- Вариационная характеризация — следствие категориального определения
- Классический предел воспроизводит FEP Фристона
- УГМ обобщает FEP на квантовый случай
7.2 Уточнение статуса утверждений
| Утверждение | Старый статус | Новый статус |
|---|---|---|
| φ = argmin [S_spec + D_KL] | «Свойство 4» | Теорема 3.1 [Т] (доказана) |
| Классический предел функционала | Неявно | Теорема 4.1 [Т] (полная статмех-редукция) |
| FEP ⊂ УГМ | Заявлено | Теорема 4.2 [Т] (отождествление генеративной модели = определение самореференции) |
| Не доказано | Теорема 4.3 [Т] (полная редукция) | |
| S_spec = S_vN для ρ | Не уточнено | Теорема 5.1 [Т] (доказана) |
7.3 Новые следствия
Следствие 7.1 (Квантовый FEP).
Для квантовых систем верен обобщённый принцип:
где — начальное/референсное состояние.
Следствие 7.2 (Термодинамическая интерпретация).
Минимизация эквивалентна минимизации производства энтропии в открытой квантовой системе.
8. Технические леммы
Лемма A.1 (Производство энтропии в Линдблад-динамике)
Для :
Лемма A.2 (Единственность стационарного состояния)
Если примитивен (нет нетривиальных подпространств), то .
Лемма A.3 (Сходимость к стационарному)
Для примитивного :
9. Ссылки
- Friston K. "The free-energy principle: a unified brain theory?" Nature Reviews Neuroscience 11, 127-138 (2010)
- Spohn H. "Entropy production for quantum dynamical semigroups" Journal of Mathematical Physics 19, 1227 (1978)
- Lindblad G. "On the generators of quantum dynamical semigroups" Communications in Mathematical Physics 48, 119-130 (1976)
- Lurie J. "Higher Topos Theory" Princeton University Press (2009)
10. Резюме
Теоремы:
- Теорема 3.1 [Т]: Категориально определённый φ минимизирует функционал (примитивность линейной части доказана)
- Теорема 4.1 [Т]: В классическом пределе (, ) функционал УГМ редуцируется к
- Теорема 4.2 [Т]: Классический предел УГМ воспроизводит FEP Фристона (отождествление генеративной модели = определение самореференции)
- Теорема 4.3 [Т]: Минимизация тождественна минимизации в классическом пределе (оптимальные распознающие плотности совпадают)
- Теорема 5.1 [Т]: для матриц плотности
Главный вывод: FEP Фристона — не независимый принцип, а частный случай (классический предел) более фундаментальной структуры УГМ.
Вариационный принцип совместим с октонионной интерпретацией: нормированность 𝕆 () обеспечивает согласованность метрики, используемой в , с алгебраической структурой пространства состояний. Мост [Т] (Т15). См. структурный вывод.
Связанные документы:
- Аксиома Ω⁷ — определение φ
- Формализация φ — конструктивная реализация
- Теории сознания — сравнение с FEP