Свобода, агентность и область формального показателя

УГМ рассматривает агентность внутри единого мира как онтологическую и философскую программу [И]. Математические объекты позволяют моделировать альтернативы, стратегии и ресурсы; сами они не разрешают философский спор о свободе воли. Детерминизм, предсказание, управляемость и субъективный выбор — различные вопросы.

Терминальность и альтернативы

Терминальный объект удовлетворяет $\operatorname{Map}(X,1)\simeq *$. Это универсальное свойство в выбранной категории; оно не задаёт физическую цель, релаксацию или единственное будущее. Стягиваемое пространство отображений может представляться множествами точек разной мощности, включая одну точку. Мощность меняется с представлением, поэтому не определяет инвариантную свободу и не доказывает множества физически доступных траекторий.

У локально липшицева автономного поля траектория из фиксированного начального состояния единственна. У управляемой динамики $\dot x=F(x,u)$ траектории индексированы допустимыми стратегиями $u$. Содержательным альтернативам нужны множество управлений, наблюдения, возмущения, ресурсные ограничения и критерий результата. Высшие морфизмы категории не задают эти управления.

Выбранный показатель гессиана

Пусть $V$ — $C^2$-потенциал на $d$-мерном многообразии, $x_*$ — критическая точка. Определим

$$\mathrm{Freedom}_V(x_*):=1+\dim\ker\operatorname{Hess}_{x_*}V.$$

Это определение [О]. Теорема о ранге даёт $1\le\mathrm{Freedom}_V\le d+1$ [Т]. В критической точке обратимая смена координат преобразует гессиан конгруэнтно, сохраняя размерность ядра. Симметрия, сохраняющая $V$, сохраняет показатель в соответствующих критических точках. Название группы не задаёт ни инвариантность, ни потенциал.

T-89 [Т при предпосылке Morse–Bott]. Если критическое множество — гладкое многообразие, а $V$ на нём удовлетворяет Morse–Bott, его касательное пространство совпадает с ядром гессиана. Показатель равен единице плюс его локальная размерность. Без этой предпосылки старшие члены могут исключить все соседние равновесия при нулевых квадратичных модах.

Например, $V(x)=x^4$ имеет нулевой гессиан в 0, но лишь один локальный минимум. Наоборот, $V(x)=\|x\|^2$ инвариантен при вращениях и имеет положительный гессиан в симметричном начале: симметрия не вынуждает нулевой гессиан. Отрицательные направления седла не являются нулевыми модами; вырожденный минимум не обязан иметь положительно определённый гессиан.

Аффинная оболочка эрмитовых матриц следа 1 в размерности 7 имеет вещественную размерность 48. Её внутренность из состояний полного ранга — гладкая область с границей показателя 49. У состояний неполного ранга положительное пространство имеет границу; до применения этого рассуждения о гессиане нужно задать гладкую страту или продолжение на окружающее пространство. Отдельная шестимерная диагональная модель даёт границу 7. Значения на $I/7$, чистом якоре и стационарном состоянии зависят от потенциала и области; универсальных значений 7, 7, 1 нет.

Чего этот показатель не устанавливает

Общая CPTP-монотонность не следует. Канал действует на состояния; гессиан относится к выбранной скалярной функции и касательной области. Сравнению нужно правило переноса обоих объектов. Даже евклидов потенциал $V(x)=\|x\|^4$ имеет нулевой гессиан в начале и положительный в остальных точках; замещение входа началом может повышать размерность ядра. Необратимые каналы могут не сохранять касательную размерность.

Логарифм $\log\mathrm{Freedom}_V$ — ещё один выбранный скаляр [О]. Он не является термодинамической энтропией без модели счёта состояний или вероятностей. Размерность ядра гессиана не является числом траекторий, доступных решений, степенями феноменальной агентности или клинической мерой. Чистота, Gap и сертификат возможностей не определяют её без моста.

Действительные альтернативы при ограничениях

Положительное описание агентности начинается с того, что агент действительно способен изменить. Для модели с конечным горизонтом зададим

$$x_{t+1}=F(x_t,u_t,w_t),\qquad y_t=O(x_t),\qquad u_t=\pi(y_0,u_0,\ldots,y_t).$$

Здесь $x_t$ включает существенные физические данные и память; $w_t$ — возмущение; стратегия $\pi$ использует лишь доступную историю. Фиксируем начальное состояние, горизонт $H$, допустимые последовательности возмущений $\mathsf W_H$, область ограничений $K$, считывание результата $g:S\to Y$ и бюджет времени и ресурсов $B$. Предполагаем существование заявленных исполнений. Пусть $\Pi_B$ содержит в точности разрешённые стратегии, исполнения которых соблюдают $K$ и бюджет для каждого $w\in\mathsf W_H$. Существенные расходы на вычисление стратегии и наблюдение входят в бюджет.

Каждая стратегия задаёт функцию отклика, а не только один благоприятный исход:

$$r_\pi:\mathsf W_H\to Y,\qquad r_\pi(w)=g(x_H^{\pi,w}),\qquad \mathcal A_B=\{r_\pi:\pi\in\Pi_B\}.$$

Операциональный репертуар $\mathcal A_B$ — определение [О]. Две стратегии здесь эквивалентны в точности при одинаковом отклике на каждое заявленное возмущение. Большее число синтаксических программ не обязано давать больше действительных альтернатив. И наблюдение, и считывание результата могут скрывать различия; изменение любого из них меняет вопрос.

Теорема расширения [Т]. Если остальные данные фиксированы и $\Pi_B\subseteq\Pi_{B'}$, то $\mathcal A_B\subseteq\mathcal A_{B'}$. Для фиксированной ограниченной полезности $J:Y\to\mathbb R$, непустых множеств стратегий и непустого $\mathsf W_H$

$$\sup_{\pi\in\Pi_B}\inf_{w\in\mathsf W_H}J(r_\pi(w)) \le \sup_{\pi\in\Pi_{B'}}\inf_{w\in\mathsf W_H}J(r_\pi(w)).$$

Доказательство. Каждая прежде разрешённая стратегия остаётся доступной и сохраняет тот же отклик. Супремум по большему множеству не может уменьшиться. $\square$

Так уточняется смысл увеличения агентности за счёт ресурсов или доступа. Строгое улучшение требует нового отклика или лучшего гарантированного результата; оно не следует из одного роста бюджета. Более богатое наблюдение сохраняет старый репертуар лишь тогда, когда старую стратегию можно реализовать забыванием дополнительных наблюдений в пределах допустимой цены. Полезность и ограничения — заявленные оценочные предпосылки, а не ценности, выведенные из включения множеств.

Например, две по-разному записанные стратегии, выполняющие одно действие при каждой достижимой истории, не добавляют отклика. Новое доступное вмешательство, меняющее независимо измеряемый результат, может его добавить. Разные отклики бывают и у термостата: определение само по себе не устанавливает намерения, ответственности или переживания.

Самопересмотр и Аутогения

Аутогения делает явным следующий вопрос: способен ли агент пересматривать механизм формирования и исполнения стратегий, сохраняя заданные обязательства? Содержательная запись указывает текущую программу, предлагаемую замену, существенные инварианты, затраченные ресурсы и наблюдения, по которым изменение принимается или отвергается. Неподвижная точка самоотображения сама по себе этого не предоставляет.

Успешный пересмотр может расширить $\mathcal A_B$, улучшить заявленную цель или удешевить существующий отклик. Он способен и сузить ближайшие варианты ради длительного обязательства. Это разные улучшения, поэтому их следует фиксировать раздельно. Оптимизационный результат показывает, какая цель улучшилась; решение о том, заслуживает ли она достижения, относится к этической оценке.

Перенос способности [Т, условно]. Пусть для двух реализаций заданы отображение состояний $h$, перевод действий $a$, одинаковые заявленные возмущения, связанные начальные состояния и

$$h(F_A(x,u,w))=F_B(h(x),a(u),w),\qquad O_A(x)=O_B(h(x)),\qquad g_A(x)=g_B(h(x)).$$

Потребуем эти равенства на каждом существенном достижимом переходе и сохранение ограничений и бюджета переведённой стратегией. Перевод сохраняет внутреннюю историю исходных действий, если она нужна стратегии; его память и вычисление учитываются в бюджете. Тогда он даёт ту же функцию отклика. Индукция сохраняет связь состояний на каждом шаге; последнее равенство даёт одинаковый результат.

Так устроены коммутирующие контракты исполнения и ресурсов в типизированных реализациях Аутогении. Они позволяют содержательно сравнивать воплощения. Равенство после забывающей проекции, как в выбранной классификации MSFS/Diakrisis, не даёт автоматически исполнимого перевода и не сохраняет его цену. Работу выполняют приведённые равенства, а не название эквивалентности.

Проверка конечного числа прогонов удостоверяет эти прогоны. Универсальному сертификату нужны указанное доказательство переходов или исчерпывающая проверка эффективной конечной модели. Исчерпание бюджета поиска не доказывает отсутствия альтернатив у агента или архитектуры.

Ответственность и переживание выбора

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

Этическое суждение дополнительно спрашивает, что агент мог знать, какие альтернативы были доступны, какие обязательства действовали и кто понёс бы последствия [И/Г]. Больший контроль не означает автоматически большей моральной ценности; отсутствие контроля не отменяет интересов другого существа. Способность стратегии объяснить и пересмотреть действие свидетельствует об определённой способности, но не доказывает истинности объяснения или наличия переживания.

Детерминизм совместим с контрфактическим сравнением заданных вмешательств. Стохастичность вводит возможные исходы, но возможность не равна намеренному авторству. Ни один факт не решает метафизического спора о свободе воли. УГМ может развивать воплощённое, учитывающее ресурсы описание ответственного действия, явно сохраняя его философские предпосылки [И].

Духовные практики можно исследовать как изменения внимания, привычек, обязательств и чувствительности к обстоятельствам. Связь с сообщаемой автономией или снижением навязчивости требует собственных наблюдений. Духовное понятие освобождения при этом не отождествляется с $\dim\ker\operatorname{Hess}V$ или мощностью $\mathcal A_B$; см. духовный синтез.

Что позволяет это описание

Содержательный вопрос становится конкретным: какие различия агент способен воспринимать, какие стратегии исполнять, на какие результаты влиять и какие обязательства сохранять при самопересмотре? Ответ может развиваться через лучшее представление, обучение, ресурсы, сотрудничество и проверяемые механизмы исправления. Поддержание этих возможностей во времени связывает агентность со смыслом и непрерывностью.

Типизированные следствия задают математическую область. Управление и жизнеспособность задают допустимые действия и возмущения. Реестр посылок отделяет конструкции от онтологической интерпретации.