秩序パッチ理論 (OPT)

原課題 P-2: 量子誤り訂正を介したヒルベルト空間 問題: ボルン則の導出としてグリーソンの定理を引くことは部分的に循環的である。というのも、それは予測空間がなぜその形を取るのかを導出しないまま、ヒルベルト空間の幾何を前提しているからである。 成果物: ヒルベルト空間の論理量子ビット構造が、コーデックが誤り訂正符号として作用することから自然に立ち現れることを示す解析的導出。

完結状況: 条件付き対応。 本付録は、古典情報理論から量子力学への橋渡しを写像する。それは秩序パッチ理論 (OPT) の基本要素から量子場をそのまま 導出 するものではなく、むしろ厳密な条件付き構造対応を確立するものである。すなわち、量子力学がそこから出現するために、OPTのコーデックが正確にどのような物理的性質を満たさなければならないかを写像する。私たちはこの遷移を明示的な橋渡し公準へと切り分ける。これらの条件の下で、T-3で写像された構造的ホモロジーは厳密な作用素代数的等長写像へと格上げされ、離散的なRyu-Takayanagi極限（P-2d）を強制し、ボルン則（P-2e）を切り出す。これらの公準をOPTの枠組み物理学から有機的に導出することは、なお本理論の中心的な未解決問題として残されている。

§1. 代数的課題

付録 T-3 では、古典的なOPT情報ボトルネック・アルゴリズムと量子的なMERAテンソルネットワークとのあいだに、構造的ホモモルフィズムが成り立つことを措定した。しかし、純粋に古典的な確率行列は、量子振幅状態を分離することも、ユニタリ演算を実行することもできない。

古典的な容量境界と量子代数のあいだの境界を架橋するには、この問題を機能的に写像する必要がある。ここでは、部分等長写像を強制するために必要な条件を切り出す。古典的要素から微視的な量子導出が可能だと主張するのではなく、どのような厳密な条件的公準のもとで、その境界が代数的量子場理論（AQFT）の因子へと写像され、誤り訂正されたトポロジカルな等長写像を生成するのかを跡づける。

§2. P-2.0: 計算基底への埋め込み

場の理論的な公準を適用する前に、離散的なOPT古典アルファベット \mathcal{Z} は、量子計算基底へと数学的に写像されなければならない。

橋渡し公準 0（計算基底）: 離散的古典状態 z \in \mathcal{Z} は、目標ヒルベルト空間 \mathbb{C}^\chi を張る正規直交な計算基底 \{|z\rangle\} へ単射的に対応づけられる。

定理 P-2.0: 橋渡し公準 0 が与えられるとき、古典的ディスエンタングラーの置換行列 U_\tau \in S_{|\mathcal{Z}|} は、それぞれ独立に、U(\mathbb{C}^\chi) の置換部分群上で作用する厳密なユニタリ作用素へと持ち上げられる。

この条件は、後続の有限次元の段階においてトレースを形式的に評価するために必要な、離散アルファベットの構造を確保する。

§3. P-2a: ビゾニャーノ＝ヴィヒマン分類

コーデック境界を代数的量子地平面として機能的に扱うためには、ビゾニャーノ＝ヴィヒマン分類定理を適用可能にする厳密な条件が満たされなければならない。

橋渡し公準1（CCR）: 連続境界極限におけるマルコフ・ブランケット変数は、正準交換関係を満たす：[\phi(x), \pi(y)] = i\hbar\,\delta(x-y)。 （境界を作用素値量子場として扱うために必要）。

橋渡し公準2（リンドラー地平面アナロジー）: 境界地平面は大域的ローレンツ対称性を備え、真空状態にある量子場に作用する。その数学的構造は、加速するリンドラー・ウェッジに類比的である。

橋渡し公準3（Haag-Kastler極限と分離性）: その列の境界代数は、AQFTのHaag-Kastlerネット公理、すなわち局所性・共変性・正のスペクトルエネルギー流の性質に従う。さらに、そのネットはAQFTの分離性を満たし、有限次元部分空間への制限を可能にする局所的Type-I因子を確立する。

定理 P-2a（条件付き Type III_1 因子）: 橋渡し公準1・2・3が与えられるとき、ビゾニャーノ＝ヴィヒマン定理（1975）は条件付きで適用される。生成されるモジュラー流は幾何学的ローレンツ・ブーストへと写像される。Connes分類は、地平面を構造化する場が、正確に Type III_1 のフォン・ノイマン因子として作用することを保証する。

§4. P-2b: ノイズ耐性とADH対応

大域的に定義された Type III_1 のフォン・ノイマン因子は、標準的な有限次元のトレース級密度行列を許容しない。Almheiri、Dong、Harlow（ADH）によって確立されたバルク・境界双対性を評価するには、代数を制限しなければならない。

橋渡し公準 4（Knill-Laflamme 条件）: 古典的コーデック列は、本質的に、厳密な Knill-Laflamme 境界を満たす連続的な量子誤り訂正符号（QECC）を形成する。

定理 P-2b（条件付きADHホログラフィー）: BP 4 と、BP 3 によって与えられる明示的な split-property 正則化を前提とすると、代数は条件付きで局所的に有限次元な論理コード部分空間 \mathcal{C}^{(\tau)} へと制限される。この制限部分空間の内部では、外部境界ノイズは Knill-Laflamme 対応を通じてフィルタリングされ、その結果、ADH 定理と整合的な境界上の局所バルク演算子が回復される。

§5. P-2c: 制限された Stinespring トレース代数

データ圧縮を数学的に解決するには、古典的粗視化ステップ W_\tau を、部分等長写像である MERA 随伴写像 w_\tau^\dagger の作用と同一視する必要がある。

Stinespring の拡張定理によれば、完全正値トレース保存（CPTP）写像が与えられると、一般に等長な拡張／回復構造 V: \mathcal{H}_S \to \mathcal{H}_S \otimes \mathcal{H}_E が存在することが含意される。しかし、この一般的存在定理は、OPT の古典行列 W_\tau をその等長写像そのものとして自明には同定しない。この同定には橋渡しが必要である。

橋渡し公準 5（ユニタリ共変ノイズ）: 写像されたチャネル上の環境ノイズは、厳密にユニタリ共変な写像として評価される：\mathcal{N}(U\rho U^\dagger) = U\,\mathcal{N}(\rho)\,U^\dagger。

橋渡し公準 6（等長写像の同定）: 古典的粗視化行列 W_\tau は、厳密な MERA 等長写像の随伴 w_\tau^\dagger について、環境上で計算される CPTP トレースとして同一的に翻訳される。

定理 P-2c（条件付き制限等長写像）: BP 4、BP 5、および BP 6 が与えられるとき、古典的粗視化アルゴリズムは、部分線形等長写像の随伴として首尾よく写像される。 証明の方針: 制限されたコード部分空間上での厳密な QEC（BP 4）は、一般的な回復可能性を与える。拡張が自動的に内積の等価性を強制すると主張するのではなく、BP 6 はその隔たりを明示的に橋渡しし、古典行列が量子的拡張のトレース成分として同一的に翻訳されると公準する。したがって、有限次元のコード部分空間上では、古典写像は操作的に、目標となる MERA 等長写像の随伴として作用する。

§6. P-2d: リュウ＝高柳とシュミット階数

古典的なOPTの枠組みでは、連続チャネル容量を \chi_\text{classical} = 2^{B_0/N} という境界写像に制限する。これが連続的な有効スケールではなく、厳密なヒルベルト空間次元として妥当なものとして機能するために、対象となる写像は整数容量制約 2^{B_0/N} \in \mathbb{Z}^+ を明示的に課す。

定理 P-2d（条件付きリュウ＝高柳極限）: P-2c が成功裏に実現され、操作が厳密な線形等長写像に制限されるとする。このとき、古典的容量次元（\chi_\text{classical}）は、ネットワーク結合全体にわたって量子的シュミット階数（\chi_\text{quantum}）を形式的に確立する。この同値性は、離散的なリュウ＝高柳エントロピー極限を厳密に生成する。

証明の方針: 古典行列が条件付きで真の部分等長写像（P-2c）として同定されると、写像されたチャネルの次元が、MERAノードを接続する仮想的な幾何学的結合を制限する。量子状態においては、任意のトポロジカル境界をまたぐ最大の二部エンタングルメントは、最小カット \gamma_A によって明示的に構造化され、各カットにおける局所ヒルベルト空間次元は、その結合のシュミット階数によって確立される。ボトルネック容量がこの階数を規定するため（\chi_\text{classical} = \chi_\text{quantum}）、幾何学的エンタングルメントは形式的に最小カット全体にわたって厳密な上界を持つ： S_{\text{vN}}(\rho_A) \le |\gamma_A| \log \chi_\text{quantum}

§7. トポロジカル・コヒーレンスとグリーソン・トレース

ボルン則を導出するには、統計的な対角確率を超えて進み、非対角フレーム \rho_{zz'} を切り出す必要がある。

橋渡し公準 7（Kochen-Specker の非文脈性）: 予測出力分岐に結びつけられた確率割り当ては、相互に共測定可能な他の直交経路から独立である。

定理 P-2e（条件付きボルン則定式化）: BP 7 が与えられ、かつ OPT アルゴリズムによって割り当てられる射影確率が完全な数学的フレーム関数を成すと仮定すると、グリーソンの定理は条件付きでボルン則を導出する。

証明の方針: 有限離散基底空間をスケーリングすることで確立される最小次元の制約は、自然に \dim(H) \ge 3 を満たす。確率的予測構造が、総和が 1 となる完備化されたフレーム関数 \mu(P) の数学的要件を満たすと仮定すれば、グリーソンの定理（1957）は、その空間を写像する有効な確率測度がただ一つしかないことを述べる: \mu(P) = \text{tr}(\rho_t\, P) この結果はボルン則のトレースを排他的に生成し、確率的量子行列写像の遷移を条件付きで正当化する。

この付録は、theoretical_roadmap.pdf と並んで OPT プロジェクトのリポジトリの一部として維持されている。参考文献: Almheiri-Dong-Harlow (2015), Takesaki (2003), Holevo (1973), Knill-Laflamme (1997), Gleason (1957), Bisognano-Wichmann (1975).