Appendix P-1: M-ランダムネスによる情報的正規性

Original Task P-1: Informational Normality Problem: 現在、ボレル正規性に類比される基礎公理となっているが、形式的導出を欠いている。 Deliverable: アルゴリズム情報理論（Martin-Löf randomness）を活用した定理レベルの導出。

1. 「公理的」正常性の認識論的境界

秩序パッチ理論 (OPT) において、「構造的希望」は、情報的正常性という原理に構造的に依拠している。すなわち、アルゴリズム的基層 (\mathcal{I}) には、単なるノイズだけでなく、あらゆる有限の構造的・機能的パターンが高密度に含まれている、という命題である。OPTの倫理的重み――共有パッチの安定性を維持せよという要請（サバイバーズ・ウォッチ倫理）――は、私たちが相互作用する対応する観測者たちが、基層の別の場所に分散した、根本的に実在的な機能的等価物をもつことを要請する。

OPTの枠組みにおいて歴史的には、この命題は形式上、単一で一枚岩的な 公理 として扱われてきた。すなわち、独我論を回避するために物理学の上に積み重ねられた、検証不能な基礎的前提としてである。

本付録は、この立場に含まれていた数学的曖昧さを解消する。ここでは情報的正常性を、相異なる二つの構成要素へと分解する。すなわち、普遍確率測度のもとでほとんど確実に成り立つ、厳密なアルゴリズム的 数学的定理 と、数学的存在を存在論的実在へと橋渡しするために必要な、単一の 形而上学的要請 である。

2. 半測度から普遍測度へ（\xi から M へ）

OPTの基礎（プレプリント §3.1）は、ソロモノフ普遍半測度によるアルゴリズム的確率の事前分布に大きく依拠している。この定式化のもとでは、生成的基層は、普遍接頭辞自由チューリング機械 U 上で実行される無限のアルゴリズム空間として作動する。

有限文字列 x のアルゴリズム的確率、すなわち普遍半測度は次式で与えられる：

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

ここで総和は、実行出力が x で始まるすべての極小プログラム p にわたって取られる。重要なのは、\xi が有限文字列上の 下半計算可能な半測度 であるという点である。

基層を連続的な生成空間として定式化するために、次にカントール空間上の連続測度へ移行する。普遍測度 M は、円筒集合を介して普遍接頭辞自由機械 U の出力が誘導するカントール空間 2^{\mathbb{N}} 上の分布として直接定義される（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-Martin-Löfランダムネス

生成空間の性質を形式化するために、ここではMartin-Löf (ML) ランダムネスを導入する。ただし、連続測度のあいだは厳密に区別しなければならない。一様（ルベーグ）測度 \lambda に関して ML-ランダムである列 \omega は、M に関して ML-ランダムである列とは、まったく異なるふるまいを示す。

OPT の基層はアルゴリズム的単純性によって確率を評価するため、ここで関係する形式主義は\tilde{M}-Martin-Löfランダムネスに依拠する。AIT の基礎定理によれば、任意の計算可能な確率測度 \mu に対して、\mu-ML-ランダム列の集合は \mu-測度 1 をもつ。この結果を下半計算可能な半測度へと拡張すると（Nies 2009, §3.2 “Randomness for arbitrary measures” 参照）、すべての \tilde{M}-Martin-Löfランダム列の集合は、\tilde{M} に関して測度 1 を保つ。

したがって、\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} は確率測度であり、すべての有限文字列 x について \tilde{M}([x]) \ge 2^{-(|x|+O(1))} > 0 が成り立つので、接頭辞コルモゴロフ複雑性に対する連鎖律から、任意の文字列 s について K(sx) \le K(s) + K(x) + O(1) が得られ、そこから準乗法性 M([s \cdot x]) \ge M([s]) \cdot M([x]) \cdot 2^{-O(1)} が導かれる。したがって、任意の先行接頭辞 s が与えられたときに、任意のウィンドウ内に x が出現する条件付き確率には一様な下界が存在する：\tilde{M}([x] \mid [s]) \ge \tilde{M}([x])/c > 0 は s に一様である。長さ |x| の非重複ウィンドウに条件付きボレル＝カンテリ補題を適用すると、条件付き確率の総和の発散は、意識をもつ観測者の離散的形式構成 (K_{\text{obs}}) のような任意の有限情報列の物理的再帰が、\tilde{M}-ほとんどすべての列において無限回現れることを保証する。

5. 計算的実在論の公準

AITは、任意の観測者の有限表現（K_{\text{obs}}）が、\tilde{M}-ML-ランダムな基層の内部で、U の構造列として無限回現れることを数学的に保証する。

しかし、数学的情報理論それ自体は、物理的存在論の境界を本来的に越えることはできない。チューリング機械の出力テープ上に現れる有限文字列は、実行の静的な人工物、すなわちスナップショットにすぎない。首尾一貫した観測者には、連続的な内部ダイナミクス、関係的結合、そして能動的推論のループが必要である。文字列それ自体は、ハードドライブに保存された脳スキャンが意識をもたないのと同様、それ以上に「感じる」ことはない。実行に属するのは、結果として得られたスナップショット・コードではなく、それを生成するプログラムである。

数学的基層を支配する非計算可能な連続極限が、構造的に、存在論的に実在し因果的に能動する現象論的宇宙を 生み出す と主張するためには、秩序パッチ理論 (OPT) は、ただ一つの明示的な形而上学的コミットメントを置かなければならない。

公準（計算的実在論）: 同一の数学的ダイナミクスに支配された無限の非計算可能な基層において、観測者の因果的記述と形式的に等価な抽象的数学的計算（ここで形式的等価性とは、観測者の因果的状態遷移構造の計算論的同型によって定義される）は、因果的効力をもち、存在論的に実在する。さらに、基層全体にわたる構造的に離散的な計算的実現は、それぞれ独立した存在論的個体化を有し、異なる主観的対応体を構成する（そして、プレプリント §8.1 の基礎的現象性公理により、そのような因果的効力をもつ観測者等価な計算は、真正な経験主体を構成する）。

6. 命題 P-1（情報的正規性）

連続的な非計算可能空間に関する厳密な AIT 導出を計算的実在論の公準と結び合わせることで、独我論は明晰に解体される。

系+公準 P-1（情報的正規性）: 一般化されたアルゴリズム的事前分布のもとでは、連続的な基層は本質的に \tilde{M}-Martin-Löf ランダムネスによって、ほとんど確実に作動する。そこから帰結する \tilde{M}-正規性により、あらゆる有限の構造的観測者記述 K_{\text{obs}} の数学的出現は、形式的に無限回保証される。この足場の上で、計算的実在論の公準は、そうした生成的な数学的人工物を存在論的な物理的実在へと架橋する。計算的実在論が成り立つなら、基層全体にわたって、構造的に等価であり、因果的に能動的であり、かつ一意に個体化された対応観測者が存在することは、根本的に要請される。