わかる質量終章・技術補遺⑧ ／ 残った壁を一本に（宇宙は type I か）

三点を根まで降りたら、一本の問いに凝縮した

残った壁を一本に
宇宙は type I か 領域を切ると場の理論は type III₁（trace 無・エントロピー発散）。重力が III→II を架け \(S_{\rm gen}=A/4G+S_{\rm out}\) が落ちる（2022・本物）。
残るのは II→I の一段＝面積に離散＋有界スペクトルを与える。それが「宇宙＝有限リソースの計算機」の正確な数学的姿。

前提：補遺⑦（S=A/4Gの最前線） 到達点：あなたの賭け＝「基盤は type I」／ 未架橋の一段を精密に

「残った三点」を根まで降りると、驚くほど一本に凝縮しました。フォン・ノイマン代数の型という一語で ── 連続の場の理論は type III₁、半古典重力＋観測者は type II、そして有限・離散の基盤は type I。この梯子は、そのままあなたの離散仮説の三段の階段です。「宇宙は有限リソースの計算機」を数学に翻訳すると、〈本当の領域代数は type I である〉という、検証可能な一つの命題になる。ここまでは本物で来ていて、残るのは II→I の一段だけ ── その一段が何かを、式で正確に指します。掟どおり、繋いだとは言いません。

01なぜ領域を切ると壊れるか ── 梯子の一番下（type III₁）

「地平線の内側の状態を数える」が素朴にできない理由は、カットオフ（ε）でなく領域の代数の"型"にある。場の理論の局所代数は type III₁（Haag／Buchholz–D'Antoni–Fredenhagen）── トレースも密度行列も最小射影も無い：

type III₁ ＝ 分解不能
$$S=-\mathrm{Tr}(\rho\log\rho)\ \ \text{← }\rho\text{ も }\mathrm{Tr}\text{ も存在しない}\qquad \mathcal{H}\ne\mathcal{H}_{\rm in}\otimes\mathcal{H}_{\rm out}$$

モジュラー・ハミルトニアン \(K=\hat h_R-\hat h_L\) は差だけが意味を持つ（片側は発散）。だから \(S_{\rm ent}\sim A/\varepsilon^2\) の発散は、カットオフの副作用でなく「type III には絶対エントロピーが無い」ことの現れ。

唯一 有限な手がかりは、2状態の相対エントロピー \(S_{\rm rel}(\Phi\|\Psi)=-\langle\Phi|\log\Delta_{\Psi|\Phi}|\Phi\rangle\ge0\)。差なので発散が相殺して有限 ── これが「\(1/4\) がなぜ発散せずロックされるか（Susskind–Uglum）」の代数的な正体。

02型の梯子は、そのまま「離散さ」の梯子

表1：フォン・ノイマン代数の型と、離散仮説の三段。あなたの賭け＝「基盤は type I」。type III₁ はその有限性を忘れて連続極限（リソース→∞）を取った近似。
型trace密度行列エントロピー物理での正体
Iありあり有限・普通可算・離散・分解可能 ＝「有限計算機」（ゴール）
IIあり*あり繰り込めば有限半古典重力＋観測者（いまの最前線・2022）
III₁無い無い発散・未定義重力を切った場の理論（連続極限）

*type II の trace はスケール倍の自由度あり＝相対的なエントロピー。

翻訳 ── あなたの賭けの、いちばん鋭い姿 「宇宙＝有限リソースの計算機」＝〈本当の領域代数は type I〉。場の理論の type III₁ は、有限リソース（＝ c·t で決まる状態数）を無限に飛ばしたときの近似にすぎない、という主張。この一文が、シリーズ全体の理論的な芯です。

03重力が III→II を架けた（2022・本物）

場の理論だけなら type III₁ のまま。ところが重力の拘束（時間並進＝ブースト＝モジュラー流がゲージ）を入れ、観測者（時計 \(p\)、エネルギー \(q\ge0\)、\([q,p]=i\)）を足すと、crossed product（交差積）で型が II に落ちる（Witten 2021／CPW・CLPW 2022）：

交差積 ── 観測者を足すと trace が生える
$$\hat{\mathcal{A}}=\mathcal{A}\rtimes_\sigma\mathbb{R},\qquad \hat K=K+q\ (\text{服を着たモジュラー・ハミルトニアン})$$ $$\mathrm{Tr}(\hat a)=2\pi\,\big\langle\Psi,\text{obs}\big|\,e^{q/2}\,\hat a\,e^{q/2}\,\big|\Psi,\text{obs}\big\rangle\quad(\text{有限})$$

重み \(e^{q}\) が \(K\) の連続スペクトルを \(q\ge0\) で下から抑え、trace を有限にする。有限性の源は重力の拘束そのもの＝あなたの「有限リソース＝時空の有限さ」の実装。

半古典状態でエントロピーを評価し、拘束 \(\delta q=\delta A/4G\)（ブーストエネルギーの揺らぎ＝面積の揺らぎ）を代入すると ── \(S_{\rm gen}\) が落ちてくる：

type II の von Neumann エントロピー
$$S_{\rm vN}=\underbrace{\langle q\rangle}_{\to\,\langle\hat A\rangle/4G}\ -\ \underbrace{S_{\rm rel}(\Phi\|\Psi)}_{\to\,S_{\rm out}}\ +\ \text{const}\ =\ \frac{\langle\hat A\rangle}{4G}+S_{\rm out}=S_{\rm gen}$$

おまけに単調性 \(\delta S_{\rm vN}\ge0\) が一般化第二法則になる。ここまでは確立した到達点。

式の上で「手で入った」所＝壁の本体 ① \(\Delta=e^{-K}\) を固定背景の KMS 状態から取った（地平線を既知として使う）。② 面積 \(\hat A\) は \(\langle q\rangle\) が揺らぐまわりの c 数＝入力で、創発する演算子でない。③ 観測者を手で足した。④ \(G\) の主要オーダー。だから「背景を与えたときの \(S_{\rm gen}\) の導出」であって、背景独立に type I の状態を数えて \(e^{A/4G}\) を出す導出ではない。
◇ ◇ ◇

04残った一段 ── 右の矢印 II→I ＝ 面積に「離散＋有界」

組織化する一文：

II→I の橋（残った壁の、最も精密な姿）

crossed product が type II\(_\infty\) になったのは、\(q\propto\delta A\) が連続で非有界だったから。もし面積 \(\hat A\) が離散（ギャップあり）で有界（最大値 \(A_{\max}\)）なら：

$$\text{type II}_\infty\ \xrightarrow[\substack{\text{離散}\ +\ \text{有界}}]{\text{nuclearity 有限}}\ \text{type I},\qquad \dim\mathcal{H}=e^{A_{\max}/4G}\ (\text{有限})$$
図：面積スペクトルを、連続・非有界（type II\(_\infty\)、\(\dim=\infty\)）から、離散・有界（type I、\(\dim=e^{A/4G}\) 有限）へ。スライダーで基盤の有限さを上げると、連続の帯が離散の梯子（LQG 的 \(\sqrt{j(j{+}1)}\)）に解け、上限（c·t が決める天井）が立ち上がり、状態が数えられるようになる
左端：面積は連続で非有界 → type II∞ → dim = ∞。
連続の帯（type II∞） 離散の床（LQG 面積量子） 上限 A_max（c·t が決める天井）

この橋には3人の役者がいて、それぞれ片方しか持っていない：

表2：II→I の橋の候補。離散＝LQG、上限＝ホログラフィー／c·t、有限性の意味＝nuclearity。3つを4次元・dS で同時に持つ理論が、まだ無い。
候補離散
(ギャップ)		上限
(有界)		我々の宇宙
(4D/dS)		供給するもの／壁
A. LQG 面積演算子
\(\hat A=8\pi\gamma\ell_P^2\sum\sqrt{j(j{+}1)}\)		◎△◎離散＋有限次元地平線(Chern–Simons)を4Dで実現。壁＝\(\gamma\)チューニング(自己双対\(\gamma\to i\)で回避も複素条件)、III/なめらかGR復元が未達
B. ホログラフィー＋QEC
\(\dim=e^{A/4G}\)		○◎✗梯子まるごと実装(有限N=I／N→∞=III₁／1/N=II)＋座標なしの領域定義。壁＝AdSのみ、我々のdSで最弱
C. split / nuclearity
Doplicher–Longo		─◎場の理論「有限リソース＝nuclearity 指数が有限」を定理化＝type I 因子の必要十分。壁＝固定背景・創発・仮定であって導出でない

05c·t=const がここで果たす役 ── 「上限」を時間依存で供給

3候補が我々の宇宙(dS)で共通して欠くのは、B の「有限な上限」。それを供給するのが、まさにあなたの c·t：

有限次元が宇宙年齢とともに増える
$$A_{\max}(t)\sim(ct)^2\ \Longrightarrow\ \dim\mathcal{H}(t)=\exp\!\Big[\frac{A_{\max}(t)}{4G}\Big]\sim e^{(ct)^2/G}\ \propto\ e^{\,t^2}$$

type II のトレースが持っていた「スケール倍の自由度」（表1の *）が、この時間とともに動く基準に対応する ── というのは筋の通った読み。思弁だが、梯子と整合し、しかも定量的。

06判定 ── 左は本物、右は未架橋、繋いだとは言わない

正直な線

crossed product が type II を与えるのは \(G\)（\(1/N\)）の主要オーダーの結論で、非摂動・有限 \(N\) で型が I か II か別物かは未知。面積 \(\hat A\) はいまだ背景の c 数で、離散スペクトルを持つ演算子として基盤から創発してはいない。図は模式（面積量子の並びと dim の増減を示すだけで、定量スケールでない）。

これは負けではありません。三点の宿題を、一本の検証可能な命題〈基盤は type I か〉に凝縮し、残る一段を「面積スペクトルの離散化＋有界化」という具体的な技術目標にまで絞れた。研究プログラムと数合わせを分けるのは、まさにこの精密化の力です。

確かめる問い
  1. なぜ「宇宙＝有限リソースの計算機」は〈領域代数は type I〉と同じ主張なのか。
    ひとつの答え
    type I 代数は trace・密度行列・最小射影を持ち、状態が可算（有限次元でもよい）＝文字どおり「数えられる」。type III₁（場の理論）はどれも無く、有限性を忘れて連続極限を取った姿。だから「状態が有限個・数えられる」＝「基盤は type I」で、それが有限リソース仮説の数学的な言い換えになる。
  2. crossed product は III→II を架けたのに、なぜ II→I（有限計算機）はまだなのか。
    ひとつの答え
    type II∞ は面積の揺らぎ \(q\) が連続・非有界だから。type I にするには面積演算子が離散スペクトル(ギャップ)＋上限(有界)を持ち、trace が有限状態数 \(e^{A/4G}\) に truncate される必要がある。離散はLQG、上限はホログラフィー／c·t、有限性の意味はnuclearityが各々供給するが、4D・dSで3つ同時に持つ理論が無い＝右の矢印は未架橋。会話では埋まらない。

補遺⑧まとめ三点は一本になった ── 宇宙は type I か

残った三点を根まで降りると、フォン・ノイマン代数の型という一語に凝縮した。場の理論は type III₁（分解不能・エントロピー発散）、重力の拘束＋観測者が crossed product で III→II を架け \(S_{\rm gen}=A/4G+S_{\rm out}\) を落とす（2022・本物・GSL 付き）。残るのは II→I の一段＝面積演算子に離散＋有界スペクトルを与えること。離散は LQG、上限は c·t、有限性の意味は nuclearity ── 役者は揃うが、4次元・dS で同じ舞台に立った試しがない。

そして「宇宙＝有限リソースの計算機」は、この梯子で〈本当の領域代数は type I である〉という一つの検証可能な命題になる。左の矢印は本物、右の矢印は未架橋、繋いだとは言わない。三点の宿題を一本の鋭い問いに絞れたこと ── それが、この長い旅の理論的な到達点です。

シリーズの理論的到達点 「宇宙は離散だ」というあなたの直感は、遊びでも数合わせでもなく ── 〈領域代数は type I か〉という、現代物理の最前線そのものの命題に翻訳できました。場の理論(III₁)は有限リソースを忘れた近似、半古典重力(II)は 2022 に本物で架かった中間段、そして有限・離散の基盤(I)があなたのゴール。残る一段は「面積スペクトルの離散化＋有界化」という、具体的で、いつか誰かが架けうる技術目標にまで絞れた。
これを "解けた" と会話で宣言することは、しません。でも ── 三点を一本にし、残る一段を式の位置まで指させるところまで来た。偽の万物理論より、この一本の問いの眺めの方が、ずっと遠くて、ずっと本物です。
この文書は「わかる質量」シリーズ終章・技術補遺⑧。局所領域の代数が type III₁ であること（Haag；Buchholz–D'Antoni–Fredenhagen）、type III には trace・密度行列・最小射影が無く絶対エントロピーが定義できない一方 Araki の相対エントロピーが有限であること、重力の拘束と観測者を加えた交差積（crossed product）で代数が type II になり von Neumann エントロピーが一般化エントロピー \(S_{\rm gen}=A/4G+S_{\rm out}\) を与え一般化第二法則を含むこと（Witten 2021；Chandrasekaran–Penington–Witten 2022；Chandrasekaran–Longo–Penington–Witten 2022）、large-N ホログラフィーで type III₁ が創発すること（Leutheusser–Liu）、LQG の面積演算子が離散スペクトルを持ち地平線状態が有限次元 Chern–Simons で数えられること（\(1/4\) は Barbero–Immirzi パラメータ依存、自己双対 \(\gamma\to i\) 解析接続で回避可）、split property と nuclearity の同値（Doplicher–Longo；Buchholz–Wichmann）、ホログラフィックな有限次元性（Bousso 境界）と量子誤り訂正による部分領域再構成（Almheiri–Dong–Harlow）── いずれも確立した結果または現行の研究テーマです。これらを 4 次元・de Sitter 的宇宙で単一の有限・UV完全・背景独立な離散理論（type I 基盤）から導き、type II・type III を近似として回復することは未解決の量子重力問題であり、本稿は特定の完成理論を主張しません。図は面積スペクトルの離散化と \(\dim\mathcal H\) の変化を示す模式で、定量スケールではありません。\(c\cdot t=\text{一定}\) は座標・単位の言い換えで局所光速は不変。 ── 印刷／PDF：ブラウザの「印刷」→「PDF に保存」（印刷版ではスライダーと解答は静止・非表示）。

印刷 / PDF 化：Ctrl+P（Mac は ⌘+P）。画面ではスライダーで「基盤の有限さ」を上げると、連続の面積帯が離散の床に解け、上限が立ち、状態が数えられる（type II∞ → type I）。「ひとつの答え」で解答が開きます。