Вывод Принципа Свободной Энергии из УГМ
Функционал, который минимизирует эта страница, есть перекрёстная энтропия, и делает он не то, что страница утверждала. Для состояний , с
а это линейная функция от . Её минимум по всем CPTP-каналам равен и достигается каналом, переводящим в собственный вектор её наибольшего собственного значения, — а не самомоделью . Классический случай тот же: минимизируется точечной мерой в , а не . Пример: при значение равно при и при .
По этой причине отозваны: Теорема 3.1 (строка реестра 39e) — не является минимизатором; Теорема 4.2 (iii) — минимумы функционала УГМ и свободной энергии Фристона различны; Теорема 4.2 (iv) — неравенство нарушается на том же примере (); Теорема 4.3 — оптимум не ; Следствия 7.1–7.2, опиравшиеся на Теорему 3.1. Четыре шага вывода были ошибочны, и каждый помечен на месте: §4.1, «» (разность с равна и зависит от ); §4.4, шаг 2, где потерян член ; §4.5, шаг 3, « с равенством при » (неравенство Гиббса ограничивает — с аргументами в обратном порядке); §4.5, шаг 4, « не влияет на оптимальное ». Доказательство Теоремы 3.1 опиралось также на « для линдбладовой эволюции», что верно лишь для унитальных генераторов; для всякой линдбладовой полугруппы со стационарным состоянием верно другое — относительная энтропия к этому состоянию не возрастает (Spohn 1978), а собственная динамика УГМ понижает энтропию на пути от к аттрактору (T-96).
Что остаётся в силе: категориальное определение (§2); Теорема 4.1 как тождество — на диагональных состояниях функционал равен , перекрёстной энтропии, которая не является свободной энергией Фристона; Теорема 5.1. Открыто — программа исследований [Пр]: минимизирует ли какой-либо естественный функционал и возникает ли свободная энергия Фристона как предел УГМ.
1. Постановка проблемы
1.1 Два определения φ
В УГМ оператор самомоделирования φ имеет два представления:
Каноническое определение (категориальное):
φ определяется как левый сопряжённый к каноническому включению подобъектов.
Вариационная характеризация (отозвана 2026-09-25 — правая часть минимизируется проекцией на старший собственный вектор , а не ; врезка выше):
1.2 Вопросы, на которые отвечает этот документ
| Вопрос | Статус |
|---|---|
| Доказательство эквивалентности двух определений | Теорема 3.1 — отозвана [✗] |
| Классический предел вариационного принципа | Теорема 4.1 [Т] — тождество: предел есть перекрёстная энтропия, а не свободная энергия Фристона |
| Связь с FEP Фристона | Теорема 4.2 — (iii)–(iv) отозваны [✗]; (i)–(ii) — отождествления, а не теоремы |
| Полная редукция к | Теорема 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 Доказательство
Отозвано [✗] — сохранено для истории. Шаг 3 верен лишь для унитальных генераторов; шаг 4 (стационарность равна минимуму производства энтропии) — это принцип Пригожина вблизи равновесия, а не теорема о ; шаг 5 вводит «производство энтропии» канала без вывода; а заключение ложно (врезка вверху страницы).
Шаг 1: Связь φ с логическим Лиувиллианом.
Из теоремы о стационарном распределении:
где — логический Лиувиллиан, а предел понимается как проектор на нулевую моду линеаризованного генератора (примитивна лишь линейная часть ; полный имеет нетривиальную неподвижную точку из T-96 — см. замечание о соглашении).
Шаг 2: Диссипативная структура .
имеет форму Линдблада:
где — операторы, выведенные из атомов классификатора (см. Аксиома Ω⁷ §атомы-классификатора).
Шаг 3: Связь диссипации с энтропией.
Для Линдблад-эволюции справедливо (Spohn, 1978):
с равенством в стационарном состоянии.
Шаг 4: Вариационная формулировка стационарности.
Стационарное состояние характеризуется условием:
Это эквивалентно минимуму производства энтропии:
где — функция производства энтропии.
Шаг 5: Явная форма функционала.
Для CPTP-канала функция производства энтропии имеет вид (Lindblad, 1975):
При выборе (исходное состояние как референс):
Отождествление Γ_ref = Γ — мотивированное определение (самореферентная минимизация), а не вывод из L_Ω. Мотивация: автопоэзис (A1) требует, чтобы система минимизировала различие между собой и своей моделью, что отвечает Γ_ref = Γ. Альтернативные выборы (Γ_ref = I/7 или Γ_ref = ρ*) дают другие функционалы. Выбор Γ_ref = Γ — единственный, при котором минимум F совпадает с неподвижной точкой φ (теорема).
[✗] При Γ_ref = Γ минимум лежит на проекции на старший собственный вектор Γ, а это не неподвижная точка φ; «теорема» в предыдущей фразе отозвана.
Поскольку не зависит от :
Шаг 6: Отождествление.
Учитывая для матриц плотности (Теорема 5.1):
3.4 Замечания к доказательству
Замечания:
- Существование и единственность инвариантной меры гарантированы примитивностью линейной части [Т] (Evans 1977, Spohn 1976)
- Равенство справедливо только для нормальных операторов (Теорема 5.1 [Т])
Категориальная корректность:
- Шаги 1-2 следуют из L-унификации
- Шаги 3-5 используют стандартную теорию открытых квантовых систем
- Отождествление в Шаге 6 устанавливает искомую эквивалентность
[✗] Шаги 3–6 её не устанавливают (врезка вверху страницы).
4. Классический предел: полный вывод FEP
В этом разделе была попытка показать, что FEP Фристона является частным случаем вариационного принципа УГМ, возникающим при переходе к классическому пределу; попытка не удалась (врезка вверху страницы), и каждая ошибка помечена на месте. Вывод состоит из трёх этапов: (i) определение классического предела как (декогеренция), (ii) редукция квантового функционала к классическому, (iii) отождествление элементов УГМ с конструкциями Фристона. Завершает раздел анализ того, что утрачивается при классическом пределе.
4.1 FEP Фристона (оригинальная формулировка)
Согласно Friston (2010), агент, взаимодействующий со средой, минимизирует вариационную свободную энергию:
где:
- — скрытые (латентные) состояния мира
- — наблюдения (сенсорные данные)
- — распознающая плотность (recognition density) — внутренняя модель агента
- — генеративная плотность (generative density) — совместная модель
- — энергия генеративной модели
- — энтропия Шеннона распознающей плотности
Ключевое неравенство (evidence lower bound, ELBO):
Доказательство: , а .
Эквивалентная запись через KL-дивергенцию:
[✗] Отозванная запись (2026-09-25): прежде правая часть записывалась как . Это перекрёстная энтропия ; от она отличается на , а эта величина зависит от .
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.3) редуцируется к классическому функционалу ниже — перекрёстной энтропии , которая не является вариационной свободной энергией Фристона (§4.1):
Доказательство.
Шаг 1 (Спектральная энтропия → энтропия Шеннона). Для диагональных матриц собственные значения совпадают с диагональными элементами:
Это прямое следствие Теоремы 5.1 ( для матриц плотности).
Шаг 2 (Квантовая KL → классическая KL). Для диагональных матриц квантовая дивергенция Умегаки редуцируется:
Шаг 3 (Подстановка). Объединяя шаги 1 и 2:
Замечание. Усреднение в Теореме 3.1 в классическом пределе сводится к обычному математическому ожиданию по стационарному распределению марковской цепи (единственность гарантирована примитивностью ).
4.4 Вывод классической вариационной свободной энергии Фристона
Здесь была попытка полного вывода из вариационной характеризации ; она обрывается на шаге 2 (помечено).
Шаг 1 (Идентификация переменных). В рамках УГМ введём отождествление:
| УГМ | FEP (Фристон) | Смысл |
|---|---|---|
| (генеративная плотность) | Полное состояние системы = генеративная модель мира | |
| (распознающая плотность) | Самомодель = приблизительный вывод | |
| Оптимальная самомодель = истинный постериор | ||
| Вариационная свободная энергия | ||
| Вариационный вывод |
Шаг 2 (Раскрытие функционала). Запишем в классическом пределе:
Упрощая:
[✗] Ошибка (отозвано 2026-09-25): члены сокращаются, так что сумма равна , перекрёстной энтропии, — а не . Всё, что ниже опирается на эту строку, падает вместе с ней.
В непрерывном пределе (, суммы → интегралы):
Утверждалось, что это в точности вариационная свободная энергия Фристона; это не так (см. ошибку выше).
Шаг 3 (Эквивалентные формы). Раскладывая :
Первый член — сложность (отклонение от приора), второй — точность (ожидаемое правдоподобие). Минимизация = баланс точности и сложности — это классический аналог баланса спектральной энтропии и KL-дивергенции в Теореме 3.1.
Пусть — состояние голонома в классическом пределе ( при ). Тогда:
(i) Оператор самомоделирования в классическом пределе отождествляется с распознающей плотностью: .
(ii) Матрица плотности отождествляется с генеративной моделью: .
(iii) Минимизация функционала УГМ совпадает с минимизацией свободной энергии Фристона:
(iv) Ключевое неравенство (ELBO) выводится автоматически:
Замкнутость отождествления [О]. Отождествление — не внешнее допущение, а определение самореференции. В вариационной формулировке дивергенция измеряет отклонение от собственного состояния системы. Самореферентная система по определению использует себя как генеративную модель — это не предположение, а тавтология самомоделирования.
Отозвано [✗]: в (iii) левая часть равна , правая при равна ; (iv) нарушается при , где .
Доказательство (iv). Из определения KL-дивергенции:
Следовательно:
Поскольку стационарное состояние примитивного линдбладиана максимизирует энтропию среди достижимых состояний (Frigerio, 1978), справедливо . Следовательно, нижняя граница ELBO принимает вид:
В классическом пределе , и неравенство принимает форму , если отождествить с энтропией маргинальной вероятности наблюдений.
[✗] Цепочка выше доказывает лишь ; заявленное нарушается на примере из врезки вверху страницы.
4.5 Спектральная энтропия + KL → вариационная свободная энергия
Здесь утверждалось, что в явном виде показано, как минимизация квантового функционала в классическом пределе становится минимизацией вариационной свободной энергии Фристона; шаги 3 и 4 ошибочны (помечено).
Пусть — диагональная матрица плотности, — CPTP-канал, сохраняющий диагональность. Тогда задача
тождественна задаче
где — -симплекс вероятностных распределений.
Более того, минимум достигается при (распознающая плотность совпадает с генеративной), что соответствует (тождественный канал).
Отозвано [✗]: первую задачу решает точечная мера в (значение ), вторую — (значение ); это разные задачи.
Доказательство.
Шаг 1 (Параметризация). В классическом пределе оптимизация по CPTP-каналам, сохраняющим диагональность, эквивалентна оптимизации по стохастическим матрицам с . Результат , где . Множество достижимых при фиксированном — выпуклое подмножество , содержащее (при ).
Шаг 2 (Явный функционал). По Теореме 4.1:
Это перекрёстная энтропия .
Шаг 3 (Минимизация). Кросс-энтропия минимизируется при (методом множителей Лагранжа с ограничением , или из свойства , с равенством при ).
[✗] Ошибка (отозвано 2026-09-25): при фиксированном функция линейна по и минимизируется точечной мерой в ; неравенство Гиббса даёт — с аргументами в обратном порядке. Пример: даёт при и при .
Шаг 4 (Отождествление с FEP). Свободная энергия Фристона:
При дискретизации :
Функционал УГМ в классическом пределе:
Разница — в аддитивном члене , который не зависит от и потому не влияет на оптимальное при фиксированном :
Таким образом, оптимальные распознающие плотности совпадают.
[✗] Ошибка (отозвано 2026-09-25): зависит от , поэтому её добавление сдвигает оптимум: , но — точечная мера в .
4.6 Соответствие конструкций
Полная таблица соответствий между УГМ и FEP:
| Конструкция УГМ | Конструкция FEP | Предельный переход |
|---|---|---|
| — генеративная модель | , | |
| — категориальная самомодель | — оптимальная распознающая плотность | байесовская инверсия |
| — спектральная энтропия | — энтропия Шеннона | |
| — квантовая KL | — классическая KL | Диагональный предел |
| — вариационный функционал | — свободная энергия | Теорема 4.1 |
| Примитивность | Эргодичность марковской цепи | Линдблад → марковский генератор |
| CPTP-канал | Стохастическая матрица | Полная позитивность → позитивность |
| — неподвижная точка | Апостериорное распределение | Самомоделирование → байесовский вывод |
| Марковское одеяло (алгебраическое) | Марковское одеяло (графовое) | → граф условной независимости |
[✗] (2026-09-25): строки, отождествляющие с оптимальной распознающей плотностью, со свободной энергией Фристона и с апостериорным распределением, опираются на Теоремы 4.2 (iii) и 4.3 и отозваны вместе с ними; остальные строки — соответствия обозначений.
4.7 Что утрачивается в классическом пределе
Переход уничтожает три фундаментальные структуры УГМ, не имеющие классических аналогов.
4.7.1 Когерентности (внедиагональные элементы)
Квантовые когерентности () — это корреляции между измерениями голонома, не описываемые классическими вероятностями.
В полном функционале УГМ когерентности вносят вклад:
где квантовый остаток:
При этот член обращается в ноль: .
Следствие. Классический FEP не может описать интеграцию информации между измерениями ( зависит от когерентностей), квантовые квалиа (структура подпространств ), а также интерференцию между разными аспектами самомодели.
4.7.2 Gap-оператор
Gap-оператор описывает непрозрачность между измерениями. В классическом пределе:
Gap-структура полностью исчезает. Это означает потерю:
- Бифуркаций сознания (скачкообразных переходов между режимами)
- Немарковских эффектов памяти (Gap-осцилляции)
- Кода Хэмминга H(7,4) в структуре ошибкокоррекции (см. Gap-динамика)
4.7.3 Регенерация
Регенеративный член уравнения эволюции отвечает за нелинейную обратную связь: система активно восстанавливает когерентности, а не только пассивно диссипирует.
В классическом пределе ():
поскольку регенерация оперирует на внедиагональных элементах. Остаётся только линейная диссипация , которая в классическом пределе сводится к марковскому генератору:
— стандартная Q-матрица непрерывной марковской цепи.
Следствие. В классическом пределе функционал УГМ сохраняет лишь пассивную минимизацию (диссипацию); квантовая динамика УГМ добавляет активную регенерацию — способность системы восстанавливать сложные структуры, утраченные при декогеренции. Здесь сопоставлены два режима собственного функционала УГМ; против FEP Фристона это ничего не говорит: он включает действие через активный вывод и имеет квантовую формулировку (§6.3).
4.8 Что сохраняется: минимизация ошибки предсказания
Несмотря на потери, ядро вариационного принципа переживает классический предел:
Принцип «система минимизирует функционал, балансирующий точность и сложность» сохраняется во всех режимах:
| Режим | Функционал | Точность | Сложность |
|---|---|---|---|
| Квантовый (УГМ) | |||
| Классический (FEP) |
Минимизация ошибки предсказания (prediction error minimization, PEM) — это классический предел категориального самомоделирования .
Отозвано [✗]: это опирается на Теоремы 4.2 (iii) и 4.3; функционал квантовой строки — перекрёстная энтропия, минимизатор которой — чистое состояние.
Это предлагалось как объяснение того, почему 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] │ │ │
│ │ │ (ЧАСТНЫЙ СЛУЧАЙ: утверждение отозвано ✗) │ │ │
│ │ │ (сохраняется: минимизация ошибки предсказания) │ │ │
│ │ └───────────────────────────────────────────────────┘ │ │
│ └─────────────────────────────────────────────────────────┘ │
└─────────────────────────────────────────────────────────────────┘
Стрелки от Уровня 3 вниз изображают отозванный вывод (врезка вверху страницы); Уровни 0–2 не затронуты.
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 (Фристон) | УГМ |
|---|---|---|
| Статус | Постулат (феноменологический) | Вариационного принципа для φ нет: Теорема 3.1 отозвана (§3) |
| Домен | Классические распределения в исходной формулировке; произвольные квантовые системы у Филдса, Фристона, Глейзбрука и Левина (2022) | Матрицы плотности на |
| Оператор | Неявный | Явный CPTP-канал |
| Обоснование | Термодинамика + байесовский вывод | Категориальное сопряжение |
| Цикличность | Не разрешена | Разрешена (иерархия Ω → φ) |
| Время | Внешний параметр | Эмерджентное (▷ на Ω) |
6.2 Как Фристон вывел FEP без УГМ?
Фристон использовал три независимых аргумента:
1. Информационно-теоретический (байесовский):
Это тождество — следствие определения KL-дивергенции. FEP постулирует, что системы минимизируют F.
2. Термодинамический:
Флуктуационные теоремы (Jarzynski, Crooks) связывают свободную энергию с неравновесной работой. Стационарные системы минимизируют F по термодинамическим причинам.
3. Кибернетический (самоорганизация):
Системы, не минимизирующие сюрприз, «рассеиваются» — теряют идентичность. Выживание ≡ минимизация F.
6.3 Что добавляет УГМ и чего не добавляет
1. Категориальное обоснование:
В УГМ φ определяется структурой ∞-топоса. То, что из этого следует вариационный принцип, утверждала Теорема 3.1, отозванная 2026-09-25; поэтому вариационного принципа для φ, который можно было бы противопоставить принципу FEP, у страницы нет.
2. Квантовая формулировка — не первая:
УГМ работает с матрицами плотности на . Утверждение, что FEP ограничен классическими распределениями, неверно: Филдс, Фристон, Глейзбрук и Левин сформулировали его для произвольных квантовых систем на языке квантовой теории информации, где квантовые системы выступают наблюдателями и агентами (Prog. Biophys. Mol. Biol. 173, 36–59, 2022; arXiv:2112.15242). То, что эта страница собиралась добавить, ещё уже — вариационная характеризация самомодели на и редукция её декогерированного предела к классической вариационной свободной энергии (§3–§4), — и то и другое отозвано (врезка вверху страницы). Страница не сравнивает этот функционал с формулировкой Филдса и соавторов, и ни один из них не показан содержащим другой.
3. Разрешение цикличности:
УГМ явно строит иерархию: Ω → L_k → ℒ_Ω → φ (см. DAG зависимостей). В FEP связь генеративной модели и динамики неявна.
4. Эмерджентное время:
В УГМ время выводится из темпоральной модальности ▷ на Ω. В FEP время — внешний параметр.
7. Следствия для УГМ
7.1 Подтверждение согласованности
Считалось, что доказательство Теоремы 3.1 подтверждает список ниже; пункты 1–2 отозваны вместе с ней (врезка вверху страницы):
Вариационная характеризация — следствие категориального определения[✗]Классический предел воспроизводит FEP Фристона[✗]- Функционал УГМ квантовый, но квантовый FEP появился раньше (Филдс и соавторы, 2022, §6.3); связь между ними здесь не доказана
7.2 Уточнение статуса утверждений
| Утверждение | Старый статус | Новый статус |
|---|---|---|
| φ = argmin [S_spec + D_KL] | «Свойство 4» | Теорема 3.1 — отозвана 2026-09-25 [✗]: argmin — проекция на старший собственный вектор Γ |
| Классический предел функционала | Неявно | Теорема 4.1 [Т] (тождество: предел есть перекрёстная энтропия) |
| FEP ⊂ УГМ | Заявлено | Не показано: Теорема 4.2 (iii)–(iv) отозваны [✗] |
| Не доказано | Не доказано: Теорема 4.3 отозвана [✗] | |
| S_spec = S_vN для ρ | Не уточнено | Теорема 5.1 [Т] (доказана) |
7.3 Новые следствия
Следствие 7.1 (Квантовый вариационный принцип УГМ) — отозвано 2026-09-25 [✗].
Страница утверждала, что для квантовых систем верен обобщённый принцип:
где — начальное/референсное состояние. Функционал равен , поэтому его минимизатор — проекция на старший собственный вектор , чистое состояние, а не принцип для открытых систем.
Следствие 7.2 (Термодинамическая интерпретация) — отозвано 2026-09-25 [✗].
Страница утверждала, что минимизация эквивалентна минимизации производства энтропии в открытой квантовой системе; это опиралось на шаги 4–5 доказательства Теоремы 3.1, которые не установлены.
8. Технические леммы
Лемма A.1 (Производство энтропии в Линдблад-динамике)
Для :
Исправлено 2026-09-25: неравенство верно для унитальных генераторов (, например при всех нормальных ). Для общего линдбладового генератора со стационарным состоянием верно другое — относительная энтропия не возрастает, (Spohn 1978; монотонность относительной энтропии при CPTP-отображениях); сама может убывать — динамика УГМ понижает её на пути от к аттрактору (T-96).
Лемма 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)
- Fields C., Friston K., Glazebrook J.F., Levin M. "A free energy principle for generic quantum systems" Progress in Biophysics and Molecular Biology 173, 36-59 (2022); arXiv:2112.15242
10. Резюме
Теоремы:
- Теорема 3.1 — отозвана [✗]: функционал минимизируется проекцией на старший собственный вектор , а не категориально определённым φ
- Теорема 4.1 [Т]: В классическом пределе (, ) функционал УГМ редуцируется к , перекрёстной энтропии (не свободной энергии Фристона)
- Теорема 4.2 — (iii)–(iv) отозваны [✗]: классический предел функционала УГМ не воспроизводит FEP Фристона
- Теорема 4.3 — отозвана [✗]: у двух задач минимизации разные решения (точечная мера в против )
- Теорема 5.1 [Т]: для матриц плотности
Главный вывод (исправлено 2026-09-25): страница не выводит FEP Фристона из УГМ. Установлены Теорема 4.1 (тождество) и Теорема 5.1; минимизирует ли φ какой-либо естественный функционал и возникает ли FEP как предел УГМ — открыто, программа исследований [Пр].
Снято: врезка касалась вариационного принципа Теоремы 3.1, отозванного выше. Её текст: вариационный принцип совместим с октонионной интерпретацией: нормированность () обеспечивает согласованность метрики, используемой в , с алгебраической структурой пространства состояний. Мост [Т] (Т15). См. структурный вывод.
Связанные документы:
- Аксиома Ω⁷ — определение φ
- Формализация φ — конструктивная реализация
- Теории сознания — сравнение с FEP