わかる質量 終章・技術補遺⑥ ／ 有限情報から Einstein 方程式（Jacobson 1995）
あなたの賭けは、文献で実現している ── ただし "何を仮定するか" まで正直に
有限情報から「宇宙は有限情報 → そこから重力が出る」── これを Ted Jacobson が 1995 年に実際にやった。
前提：最終回（CKN/ホログラフィー）、補遺④（誘導重力）、壁③
結論：有限情報を仮定すれば導ける ── だが壁③は閉じない
「アインシュタイン方程式を離散/量子基盤から導けるでしょ」── その直感は、文献に実在する本物 です。Ted Jacobson (1995) は「地平線のエントロピー ∝ 面積」＝あなたの有限情報 を出発点に、完全な Einstein 方程式を "時空の状態方程式" として導いた 。フェイクではなく、既知の美しい結果。ここでは、それを手順で示し ── そして何を仮定し、何が壁③として残るか を、正直に線引きします。
01 仮定は、たった三つ（すべて有限情報＝ホログラフィー由来）
出発点（局所リンドラー地平線ごとに課す）
① エントロピー ∝ 面積 ：\(\delta S=\eta\,\delta A\)（ベッケンシュタイン・ホーキング＝有限情報 ）ウンルー温度 ：\(T=\dfrac{\hbar\kappa}{2\pi}\)（加速 \(\kappa\) の観測者が見る地平線の温度）クラウジウス関係 ：\(\delta Q=T\,\delta S\)（局所熱力学）
02 導出 ── あらゆる局所地平線に課すと、Einstein が出る
地平線を横切る熱流（物質のエネルギー流）。\(\chi^a\approx-\kappa\lambda k^a\)、\(k^a\)＝母線、\(\lambda\)＝アフィンパラメータ
$$\delta Q=\int T_{ab}\chi^a d\Sigma^b\approx-\kappa\!\int\!\lambda\,T_{ab}k^ak^b\,d\lambda\,dA$$
面積変化（Raychaudhuri で母線が集束）：\(d\theta/d\lambda\approx-R_{ab}k^ak^b\Rightarrow\theta\approx-\lambda R_{ab}k^ak^b\)
$$\delta A=\int\theta\,d\lambda\,dA=-\!\int\!\lambda\,R_{ab}k^ak^b\,d\lambda\,dA$$
クラウジウス \(\delta Q=T\eta\,\delta A\) に代入。\(\kappa\) と積分が消え、すべての null \(k^a\) で成立せよ、と課す
$$T_{ab}k^ak^b=\frac{\hbar\eta}{2\pi}R_{ab}k^ak^b\quad(\forall\,k^a\ \text{null})$$
"すべての null で成立" ⟹ テンソル等式（\(g_{ab}k^ak^b=0\) 分の不定性 \(\Phi\)）
$$T_{ab}=\frac{\hbar\eta}{2\pi}R_{ab}+\Phi\,g_{ab}$$
局所保存 \(\nabla^aT_{ab}=0\) ＋ ビアンキ恒等式が \(\Phi\) を固定：\(\Phi=-\frac{\hbar\eta}{2\pi}\frac{R}{2}+\Lambda\)
\(\eta=\dfrac{1}{4G\hbar}\)（＝\(S=A/4G\hbar\)）を入れると \(\dfrac{2\pi}{\hbar\eta}=8\pi G\)。
出てきたもの ── 完全な Einstein 方程式
$$R_{ab}-\tfrac12 R\,g_{ab}+\Lambda\,g_{ab}=8\pi G\,T_{ab}$$
\(G\) はエントロピー–面積係数 （\(S=A/4G\)）から、\(\Lambda\) は積分定数 として自然に出る。
図：局所リンドラー地平線。物質のエネルギー流 \(\delta Q\)（琥珀）が地平線を横切ると、母線（青）が集束して面積 \(A\)（緑）が減る。スライダーで物質流を増やすと集束が強まる ── クラウジウス \(\delta Q=T\delta S\) を全方向に課すと、曲率が \(T_{ab}\) に比例（＝Einstein）
物質のエネルギー流 δQ（\(T_{ab}k^ak^b\)）0.50
物質流を動かすと、地平線の集束（＝曲率）が変わります。
03 これは、あなたの賭けそのもの入力①「地平線のエントロピー ∝ 面積」＝ホログラフィー＝有限情報 。つまり Jacobson の結果は ── 「Einstein 方程式は、地平線に載る有限情報の状態方程式」 。あなたの「宇宙は有限情報 → 重力が出る」という賭けは、Jacobson (1995)・Verlinde (2011)・量子もつれ版（Van Raamsdonk、Faulkner ら：もつれの第一法則から線形化 Einstein 方程式） として、文献に実在する本物の視点です。
気体の状態方程式との類比
気体の \(PV=nRT\) は、原子の詳細を知らなくても、熱力学だけで出る "状態方程式"。Jacobson の主張は、Einstein 方程式も同じ ── 時空の微視的詳細を知らなくても、地平線の熱力学（有限情報）だけで出る "状態方程式" 。重力は根源の力でなく、情報の熱力学の現れかもしれない。
◇ ◇ ◇
04 正直な線 ── では壁③は閉じたのか？ いいえ ここが誠実さの一線です。Jacobson が仮定したもの を見てください ── 面積エントロピー・ウンルー温度・クラウジウス。これらは熱力学的・ホログラフィックな構造 で、離散基盤の量子論から導いたものではありません 。だから壁③は閉じていません。問題が移動した だけ：
問題の移動
「Einstein 方程式を導け」 \(\longrightarrow\) 「なぜ地平線のエントロピーが \(A/4G\) なのか＝どの微視的自由度を数えているのか」
この微視的エントロピーの導出 ＝ブラックホール状態数勘定こそ、残った壁です（弦理論は特別なBHで達成、ループ量子重力は面積量子化、コーザルセットは部分的 ── いずれも完全でない）。離散基盤の本当の仕事は、この面積エントロピーを導くこと ── そこが、チャットで解けない未解決の最前線。
正直な線
この導出は本物（Jacobson 1995、既知の結果） で、私が発明したものではありません。そして "有限情報を仮定すれば Einstein が出る" を示すもので、"生の離散基盤から仮定ゼロで出す" ものではない。もし誰か（AI含む）が後者を会話の中で「完成」と差し出したら、それが警戒すべきフェイクです。
また、この導出は "平衡" の仮定に依存し、高次曲率＝非平衡補正（Eling–Guedens–Jacobson）や、導出か整合性論法かという議論もあります。もつれ版は線形化 Einstein方程式で、完全非線形は holographic な設定に依存します。局所光速は不変、\(c\cdot t\) は座標の言い換え。
確かめる問い
Jacobson の導出で、\(G\) はどこから来るか。
ひとつの答え エントロピー–面積の係数から。\(S=A/(4G\hbar)\)（\(\eta=1/4G\hbar\)）と置くことで \(2\pi/\hbar\eta=8\pi G\) となり、Einstein 方程式の右辺の係数 \(8\pi G\) が出る。つまり \(G\) は "地平線が1単位面積あたり何ビットの情報を持つか" の逆数として現れる。
なぜこれは壁③（離散基盤からのGR導出）を閉じないのか。
ひとつの答え 面積エントロピー・ウンルー温度・クラウジウスを仮定 して Einstein を導いており、それらの熱力学的・ホログラフィック構造を離散基盤の量子論から導いてはいないから。問題は「なぜ地平線が \(A/4G\) のエントロピーを持つか＝どの微視的自由度を数えるか」（状態数勘定）へ移動し、そこが未解決のまま残る。
補遺⑥まとめ 有限情報から Einstein は出る ── あなたの賭けの、文献上の実現Jacobson (1995) は、地平線の面積エントロピー（＝有限情報）＋ウンルー温度＋クラウジウス を、あらゆる局所リンドラー地平線に課すことで、完全な Einstein 方程式 \(R_{ab}-\frac12Rg_{ab}+\Lambda g_{ab}=8\pi G\,T_{ab}\) を "状態方程式" として導いた 。\(G\) は面積エントロピー係数から、\(\Lambda\) は積分定数として出る。これはあなたの「有限情報 → 重力」の賭けそのもので、Verlinde・もつれ版と並ぶ本物の視点。
だが壁③は閉じない ── 面積エントロピーを仮定 しており、その微視的起源（状態数勘定）は残る。導けた（有限情報から）／でも仮定なしの離散基盤からは未達（壁③） 。あなたの直感は正しく裏づき、残った一点も正確に指せる ── フェイクを出さずにできる、本物の "やってみた"。
「導けるでしょ」への、いちばん正直な答え
やってみました ── そして本当に導けた 。有限情報（地平線の面積エントロピー）を認めれば、Einstein 方程式は Jacobson の手順で完全に出る。あなたの賭けは、1995 年の論文として、文献に実在していた。有限情報を仮定して GR の形を出し、その情報の微視的起源（＝地平線の状態数勘定＝壁③）は開いたまま 。もし私が「面積エントロピーも仮定せず、生の離散基盤から Einstein が出た」と言ったら、それがフェイク ── だから言いません。本物の導出を手にし、フェイクを見分ける目を持って、開いた扉の前に立つ ── それが、この長い旅の、いちばん正直で誇れる到達点です。
印刷 / PDF 化：Ctrl+P（Mac は ⌘+P）。画面ではスライダーで物質流を変えると、地平線の集束（＝曲率＝Einsteinの右辺）が変わります。「ひとつの答え」で解答が開きます。