わかる質量終章・技術補遺⑦ ／ 残った壁の最前線（S=A/4 にどこまで迫れるか）

"解けた" ではなく "ここまで来て、ここが残る" を精密に

残った壁の最前線
S=A/4 にどこまで迫れるか 全力で押した ── もつれ＋誘導重力＋エッジモードで \(S=A/4G\) は robustly 出る（あなたの枠組みそのもの）。
そして残る三点を精密に名指しする。フェイクの勝利宣言は、しない。

前提：補遺⑥（Jacobson）、最終回（CKN）、補遺④（誘導重力） 結論：本物の最前線まで押す ／ 残る三点＝量子重力

「残った壁を解こう」── 全力で押します。ただし一線："解けた" は差し出しません（未解決だから、そしてチャットで出たら疑うべきだから）。代わりに ── 本物の最前線まで押し込み、"あと何が" を精密に名指しする。実際、もつれ＋誘導重力＋エッジモードで \(S=A/4G\) はどこまでも robustly 出る（しかもあなたの有限情報・離散の枠組みそのもの）。そして残る三点＝量子重力の理論そのもの。ここまで／ここが残る、を正確に。

01最良の一手 ── もつれエントロピー（面積則は一般に出る）

地平線のエントロピーを、離散基盤の自由度の、地平線を跨ぐ量子もつれとみなす。もつれは境界近くの短距離相関が支配するので、自動的に面積則：

もつれの面積則（Bombelli ら 1986、Srednicki 1993）
$$S_{\rm ent}\ \sim\ \frac{A}{\epsilon^2}\qquad(\epsilon=\text{カットオフ}=\text{離散スケール})$$

これは QFT でも物性でも成り立つ深く一般的な事実。"何を数えているか" ＝ 地平線を跨いで短距離もつれしている離散自由度 ── あなたの「有限情報」が、そのまま微視状態になる。

02\(1/4\) がロックされる ── 一般化エントロピーは有限

係数 \(1/4\) はどこから来るか。鍵は Susskind–Uglum (1994)：\(S_{\rm ent}\) のカットオフ発散と、物質ループが繰り込む \(1/G\) の発散は "同じ発散"。だから繰り込まれた \(G\) で書くと有限：

1/4 のロック（Susskind–Uglum）
$$S_{\rm ent}=\frac{A}{4\,G_{\rm ren}},\qquad S_{\rm gen}=\frac{A}{4G}+S_{\rm matter}=\text{有限（カットオフ非依存）}$$

個々の内訳（幾何 \(A/4G\) と 物質もつれ）はカットオフ＝離散スケールに依存するが、物理的な和（一般化エントロピー）は依存しない。だから \(1/4\) は、離散の詳細に依らずロックされる。

図：物理的なエントロピー \(S=A/4G\)（棒の全長・不変）は、"幾何（誘導G）" と "物質のもつれ" に分けられる。スライダーで離散スケール（カットオフ）を変えると内訳の境界は動くが、全長（物理量）は動かない ── これが \(1/4\) がロックされる仕組み（模式）
ε を動かすと、内訳は動くが和（S=A/4G）は不変。
物質のもつれ 幾何（誘導G） 物理的な和 S=A/4G（不変）

03"何を数えているか" に肉薄 ── エッジモード＆もつれ平衡

近年、微視状態の正体にさらに迫っています：

これらは全部あなたの枠組みそのもの：数えている微視状態＝地平線を跨ぐ短距離もつれの離散自由度、カットオフ＝離散性、\(G\)＝誘導、\(1/4\)＝両者のロック。全力で押すと、\(S=A/4G\) は本物の最前線として、ここまで robustly 出る。

◇ ◇ ◇

04そして、残る三点（正確に ── どれもチャットの一手ではない）

ただし上は "なぜ \(S=A/4G\) か" の説明であって、"一つの指定された有限離散動力学からの導出" ではない。それにするには、この三つが要る：

1
有限で UV 完全な、背景独立な離散理論状態が文字どおり "数えられる"（繰り込み発散する実効論でなく）。今は発散する実効記述しかない。
2
非BPS・一般ブラックホールへの一般化弦理論が数えられたのは超対称(BPS)で状態数が結合変化で保たれるから。一般BHにその保護定理がない ── 弱結合の数えを強結合BHに繋ぐ制御が未知。
3
部分領域の背景独立な定義「地平線で囲まれた領域とその自由度」を微分同相不変に定義する。エッジモードは前進だが、閉じてはいない。
この三点＝量子重力の理論そのもの

三つを埋める＝人類の未解決を解く＝一生仕事の advance。会話の出力ではない。

05判定 ── 押した・名指しした・"解けた"は言わない

「解こう」への、いちばん正直な応え：

正直な線

もつれエントロピー＝BHエントロピーの同一視には subtleties（species problem、カットオフ依存、それが全エントロピーか）があり、この路線ももつれ＋誘導重力の枠組みを仮定している。だから "\(1/4\) がなぜ自然か" を深く照らすが、一つの規則からの普遍的定理として壁を閉じてはいない。図は模式（内訳の分け方はスキーム依存、物理的な一般化エントロピーが不変）。

これは負けではありません。旅の値打ちは、最後の壁を会話で破ったか（誰にも無理）ではなく ── 本物の縁まで押し込み、残る障害を三点に精密化し、そこで正直に止まれたこと。それが研究プログラムと数合わせを分ける、まさにその一線です。

確かめる問い
  1. なぜ \(1/4\) は離散スケール（カットオフ）の詳細に依らずロックされるのか。
    ひとつの答え
    もつれエントロピー \(A/4G\) のカットオフ発散と、物質ループによる \(1/G\) の繰り込みが同じ発散で、繰り込まれた \(G\) で書くと有限になるから（Susskind–Uglum）。個々の内訳はカットオフ依存でも、物理的な和（一般化エントロピー \(A/4G+S_{\rm matter}\)）は不変。だから \(1/4\) は離散の詳細に依らない。
  2. "最前線まで押した" のに、なお "解けた" と言えないのはなぜか。
    ひとつの答え
    $S=A/4G$ が robustly 出るのは "もつれ＋誘導重力＋エッジモード" という枠組みを仮定した上での説明で、(1)有限UV完全な背景独立離散理論、(2)非BPS一般化、(3)背景独立な部分領域定義 の三点が未達だから。これらは量子重力の理論そのもので、会話では埋まらない。埋めたと宣言すればフェイク。

補遺⑦まとめ本物の縁まで押した ── そこで正直に止まる

\(S=A/4G\) は、もつれエントロピー（面積則）＋誘導重力（Susskind–Uglum で \(1/4\) ロック、一般化エントロピーが有限）＋エッジモード／もつれ平衡（Jacobson 2016）で、本物の最前線として robustly 出る ── しかもそれは、あなたの「有限情報＝離散＝誘導G」の枠組みそのもの。あなたの直感は最前線に直結していた。

だが残る三点（有限UV完全な背景独立離散理論／非BPS一般化／背景独立な部分領域）＝量子重力の理論そのもので、未達。押した・名指しした・"解けた"は言わない。偽の勝利宣言でなく、本物の縁で正直に止まる ── それが、この問いにできる、いちばん誠実で誇れる到達点です。

"解こう" への応え 全力で押しました ── そして押した先に、偽の答えでなく、本物の三つの障害が見えた。$S=A/4G$ がなぜ robustly 出るか（もつれ＋誘導重力）、$1/4$ がなぜロックされるか（一般化エントロピーの有限性）まで、あなたの枠組みで届いた。残るのは、有限な離散理論・非BPS一般化・背景独立な部分領域 ── 量子重力そのもの。
これを "解けた" と会話で宣言することは、しません。でも ── 本物の縁まで来て、残る障害を正確に名指しし、そこで止まれることこそ、この長い旅が鍛えた力です。偽のQEDより、この最前線の眺めの方が、ずっと遠くて、ずっと本物。
次は、この残る三点を、一つずつ詰めていきましょう。
この文書は「わかる質量」シリーズ終章・技術補遺⑦、物理好きの高校生・大学生向け読み物です。もつれエントロピーの面積則（Bombelli–Koul–Lee–Sorkin 1986、Srednicki 1993）、Susskind–Uglum (1994) による \(S_{\rm ent}=A/4G_{\rm ren}\)（もつれエントロピーの UV 発散が Newton 定数の繰り込みに吸収され、一般化エントロピー \(A/4G+S_{\rm matter}\) がカットオフ非依存で有限になること）、エッジモード（Donnelly–Wall 2015–16）、もつれ平衡からの Einstein 方程式（Jacobson 2016）は、いずれも確立した／現行の研究テーマです。弦理論の BPS 状態数勘定（Strominger–Vafa 1996）が非BPS一般ブラックホールに拡張されていないこと、背景独立な部分領域・エッジモードの完全な定式化が未解決であること、そしてこれら全体を単一の有限・UV完全・背景独立な離散理論から導くことが量子重力の未解決問題であることも、現状のとおりです。本稿は特定の完成理論を主張せず、既知の到達点と残る障害を精密に述べたものです。図は一般化エントロピーの内訳の cutoff 依存性を示す模式で、定量スケールではありません。\(c\cdot t=\text{一定}\) は座標・単位の言い換えで局所光速は不変。 ── 印刷／PDF：ブラウザの「印刷」から「PDF に保存」（印刷版ではスライダーと解答は静止・非表示）。

印刷 / PDF 化：Ctrl+P（Mac は ⌘+P）。画面ではスライダーで離散スケールを変えると、内訳は動くが物理的な和 S=A/4G は不変。「ひとつの答え」で解答が開きます。