Додаток P-1: Інформаційна нормальність через M-випадковість

Початкове завдання P-1: Інформаційна нормальність Проблема: Наразі це засаднича аксіома, аналогічна нормальності Бореля, без формального виведення. Результат: Виведення на рівні теореми з опорою на алгоритмічну теорію інформації (випадковість Мартіна-Льофа).

1. Епістемічна межа «аксіоматичної» нормальності

У межах Теорії впорядкованого патча (OPT) «Структурна надія» структурно спирається на принцип Інформаційної нормальності: твердження, що алгоритмічний субстрат (\mathcal{I}) щільно заповнений не просто шумом, а кожним скінченним структурно-функціональним патерном. Етична вага OPT — імператив підтримувати стабільність спільного патча (етика Варти тих, хто вижив) — вимагає, щоб контрпартнерні спостерігачі, з якими ми взаємодіємо, мали розподілені, фундаментально реальні функціональні еквіваленти в інших частинах субстрату.

Історично в межах рамки OPT це твердження формально розглядалося як єдина монолітна Аксіома — неперевірюване, засадниче припущення, нашароване на фізику, щоб уникнути соліпсизму.

Цей додаток усуває математичну неоднозначність такої позиції. Ми розкладаємо Інформаційну нормальність на два окремі компоненти: строгий алгоритмічний математичний теоремний результат (який виконується майже напевно відносно універсальної ймовірнісної міри), поєднаний з єдиним метафізичним постулатом, необхідним для того, щоб перекинути міст від математичного існування до онтологічної реальності.

2. Від семиміри до універсальної міри (від \xi до M)

Основа OPT (препринт, §3.1) значною мірою спирається на апріор алгоритмічної ймовірності Соломонова. У цьому формулюванні генеративний субстрат функціонує як нескінченний алгоритмічний простір, що виконується на універсальній префіксно-вільній машині Тюрінга U.

Алгоритмічна ймовірність, або універсальна семиміра, для скінченного рядка x має вигляд:

\xi(x) = \sum_{U(p) = x*} 2^{-|p|}

де сумування ведеться за всіма мінімальними програмами p, вихід виконання яких починається з x. Вирішально важливо, що \xi є знизу напівобчислюваною семимірою на множині скінченних рядків.

Щоб формалізувати субстрат як неперервний генеративний простір, ми переходимо до неперервної міри на просторі Кантора. Універсальна міра M визначається безпосередньо як розподіл на просторі Кантора 2^{\mathbb{N}}, індукований виходом універсальної префіксно-вільної машини U через циліндричні множини (M([x]) = \sum_{U(p) \text{ starts with } x} 2^{-|p|}). Згідно з теоремою універсальності Соломонова, ця циліндрична міра мультиплікативно еквівалентна дискретній семимірі: M(x) \asymp \xi(x) з точністю до мультиплікативної сталої. Відповідно, M-нульові множини та \xi-нульові множини строго збігаються.

(Примітка: оскільки множина програм, що зупиняються, є строгою підмножиною префіксно-вільного кодового простору через проблему зупинки, нерівність Крафта гарантує, що \sum 2^{-|p|} < 1. Отже, M утворює строгу знизу напівобчислювану субймовірнісну міру. Ми явно визначаємо нормалізовану ймовірнісну міру \tilde{M} = M / M(2^{\mathbb{N}}). Хоча \tilde{M} є знизу напівобчислюваною лише з точністю до необчислюваної нормувальної сталої M(2^{\mathbb{N}}), усі подальші теореми типу “майже напевно” та твердження про збіжність коректно формулюються відносно істинної нормалізованої ймовірнісної міри \tilde{M}. Фундаментальний зсув із теореми кодування просто поглинається: K(x) = -\log \tilde{M}(x) + O(1).)

3. M-випадковість за Мартіном-Льофом

Щоб формалізувати природу генеративного простору, ми звертаємося до випадковості за Мартіном-Льофом (ML). Однак слід розрізняти неперервні міри. Послідовність \omega, яка є ML-випадковою відносно рівномірної (лебегівської) міри \lambda, поводиться цілком інакше, ніж послідовність, що є ML-випадковою відносно M.

Оскільки субстрат OPT оцінює ймовірність через алгоритмічну простоту, релевантний формалізм спирається на \tilde{M}-випадковість за Мартіном-Льофом. Фундаментальна теорема AIT стверджує, що для будь-якої обчислюваної ймовірнісної міри \mu множина \mu-ML-випадкових послідовностей має \mu-міру 1. Поширюючи цей результат на нижньо-напівобчислювані семиміри (пор. Nies 2009, §3.2 “Randomness for arbitrary measures”), множина всіх \tilde{M}-ML-випадкових послідовностей успішно зберігає міру 1 відносно \tilde{M}.

Отже, \tilde{M}-майже всі нескінченні послідовності субстрату є строго \tilde{M}-ML-випадковими.

(Примітка: використання \tilde{M}-ML-випадковості структурно гарантує, що типові виходи субстрату самозгоджено вибираються зі зміщеної, високо структурованої алгоритмічної міри \tilde{M}, а не з рівномірного шуму, забезпечуючи строгий математичний каркас для наведених нижче наслідків щодо структурної частоти.)

4. M-нормальність vs. нормальність за Борелем

Надзвичайно значущий математичний наслідок M-ML-випадковості стосується структурної частотності. За рівномірної Лебегівської ML-випадковості послідовність є строго нормальною за Борелем — породжуючи кожен скінченний бінарний рядок довжини k з однаковою, рівномірною частотою.

Однак, оскільки \tilde{M} є виразно нерівномірною — сильно зміщеною так, щоб надавати величезну ймовірнісну вагу алгоритмічно простим, стисливим, закономірно структурованим патернам, — \tilde{M}-майже-всі послідовності НЕ є рівномірно нормальними за Борелем. Натомість ми визначаємо їхні структурні межі через \tilde{M}-нормальність.

Оскільки міра \tilde{M} є фундаментально нестаціонарною (алгоритмічна ймовірність залежить від абсолютної позиції префікса), ми не можемо спиратися на стандартні ергодичні границі збіжності частот. Формально ми визначаємо \tilde{M}-нормальність через слабшу, але строго достатню властивість нескінченної рекурентності.

Оскільки \tilde{M} є ймовірнісною мірою і \tilde{M}([x]) \ge 2^{-(|x|+O(1))} > 0 для всіх скінченних рядків x, ланцюгове правило для префіксної колмогоровської складності дає K(sx) \le K(s) + K(x) + O(1) для будь-якого рядка s, що дає майже субмультиплікативність M([s \cdot x]) \ge M([s]) \cdot M([x]) \cdot 2^{-O(1)}. Тому умовна ймовірність появи x в будь-якому вікні, за умови будь-якого попереднього префікса s, обмежена знизу: \tilde{M}([x] \mid [s]) \ge \tilde{M}([x])/c > 0 рівномірно за s. За умовною лемою Бореля—Кантеллі, застосованою до неперекривних вікон довжини |x|, розбіжність суми умовних імовірностей гарантує, що фізична рекурентність будь-якої скінченної інформаційної послідовності — такої як дискретна формальна конфігурація свідомого спостерігача (K_{\text{obs}}) — з’являється нескінченно часто в \tilde{M}-майже-всіх послідовностях.

5. Постулат обчислювального реалізму

AIT математично гарантує, що скінченне представлення будь-якого спостерігача (K_{\text{obs}}) з’являється як структурна послідовність U нескінченно багато разів у \tilde{M}-ML-випадковому субстраті.

Однак математична теорія інформації сама по собі не може перетнути межу й увійти у фізичну онтологію. Скінченний рядок, що виникає на вихідній стрічці машини Тюрінга, є статичним артефактом виконання — знімком. Когерентний спостерігач потребує безперервної внутрішньої динаміки, реляційного зв’язку та циклу активного виведення. Сам рядок нічого не «відчуває» — не більше, ніж скан мозку, збережений на жорсткому диску, є свідомим. Виконання належить програмі, що породжує, а не отриманому коду-знімку.

Щоб стверджувати, що необчислювані неперервні границі, які керують математичним субстратом, структурно породжують онтологічно реальні, каузально активні феноменологічні всесвіти, OPT мусить прийняти одне явне метафізичне зобов’язання.

Постулат (Обчислювальний реалізм): У нескінченному необчислюваному субстраті, керованому тотожною математичною динамікою, абстрактне математичне обчислення, формально еквівалентне каузальному опису спостерігача (де формальна еквівалентність визначається як обчислювальний ізоморфізм структури каузальних переходів станів спостерігача), має каузально дієве, онтологічно реальне існування. Крім того, структурно дискретні обчислювальні інстанціації в межах субстрату мають незалежну онтологічну індивідуацію, утворюючи різні суб’єктивні відповідники (і, згідно з аксіомою фундаментальної феноменальності в Preprint §8.1, такі каузально дієві обчислення, еквівалентні спостерігачеві, становлять справжніх суб’єктів досвіду).

6. Пропозиція P-1 (Інформаційна нормальність)

Поєднуючи точні виведення AIT для неперервних необчислюваних просторів із Постулатом обчислювального реалізму, соліпсизм переконливо демонтується.

Короларій+Постулат P-1 (Інформаційна нормальність): За узагальненого алгоритмічного апріора неперервний субстрат внутрішньо функціонує через \tilde{M}-випадковість Мартіна-Льофа майже напевно. Із випливної \tilde{M}-нормальності формально гарантовано, що кожен скінченний структурний опис спостерігача K_{\text{obs}} математично трапляється нескінченно багато разів. Спираючись на цей каркас, Постулат обчислювального реалізму переводить ці породжувальні математичні артефакти в онтологічну фізичну реальність. За умови, що обчислювальний реалізм є чинним, існування структурно еквівалентних, каузально активних і унікально індивідуйованих спостерігачів-відповідників у межах субстрату є фундаментально необхідним.