「最小の質量」と呼ばれるものは一語で六つ ── 専門家も混ぜる。区別する線はただ一本
第6回・第7回で「最小の質量」をめぐって、いくつもの言葉が出ました ── 測れない床、凍る境目、質量ギャップ、離散のはしご、有限の状態数。じつはこれらは別々の概念で、少なくとも六つあります。そして厄介なことに、専門家でさえ口語では混ぜます。「宇宙が有限だから質量ギャップがある」「格子でギャップが見えた（＝解けた）」「離散だから最小質量が実在する」── どれも、六つのどれかを別のどれかにすり替えている。この回では、それをただ一本の線で仕分けます ── その線は、このシリーズがずっと使ってきた掟そのもの：観測にかかる量（表現によらない）か、言い方が違うだけ（表現に溶ける）か。そして最後に、その線を「質量ギャップ問題」そのものに当てると ── 問題の大半はそもそも起きておらず、残った芯はブラックホール（量子重力）の"易しい影"だと分かります。
まず、混ぜずに並べます。ぜんぶ「最小の質量」「ギャップ」「下限」などと呼ばれますが、正体は別物です。
| # | 顔（呼ばれ方） | 正体 | スケール | \(t\)・箱 \(L\) 依存 |
|---|---|---|---|---|
| ① | 操作的フロア | 測定限界（宇宙年齢に1回振動できる最小） | \(\hbar H/c^2\) | \(\propto1/t\) |
| ② | 力学的フロア | 凍る／振動の境目（ハッブル摩擦） | \(\hbar H/c^2\) | \(\propto H\) |
| ③ | 有限体積のモード間隔 | 箱の最低モード（IRカットオフ） | \(\hbar c/L=\hbar/t\) | \(\propto1/t\)、\(L\to\infty\)で消える |
| ④ | 真の質量ギャップ | 真空と第一励起の差（無限体積のスペクトルギャップ） | \(\Delta\sim\Lambda\) | 不変、\(L\to\infty\)で残る |
| ⑤ | スペクトルの離散性 | 準位が飛び飛び（調和振動子でも起きる） | 準位間隔 | 体積・系による |
| ⑥ | 有限次元ヒルベルト空間 | 状態が有限個（ホログラフィック／de Sitter） | \(\dim=e^{A/4G}\) | \(\Lambda\)（地平線）による |
①②③はどれも \(\hbar H/c^2\sim10^{-33}\) eV に着地し、④だけ 0.2 GeV（41桁上）。⑤と⑥は「離散」「有限」という性質で、①〜④の"高さ"とは別の軸の話です。ここまでで既に、混ぜると事故ることが見えます。
このシリーズの土台（わかる宇宙論・番外④）は、こう言っていました ── 「空間が伸びる」と「光速が遅くなる」は同じ物理の二つの表現で、観測量はどちらでも一致する。連続と離散も、まったく同じ。だから六つの顔も、この一本で切れます。
表現によらない量（＝物理）：連続で計算しても離散で計算しても同じ値になる。観測で確かめられる。
表現に溶ける言葉：連続と離散で言い方だけ違う。どんな観測でも区別できない。
| 問い | 連続表現の言い方 | 離散表現の言い方 | 判定 |
|---|---|---|---|
| 閾値の"値" \(\hbar H/c^2\)（①②③） | 両方とも同じ \(1.4\times10^{-33}\) eV | 不変 | |
| 質量ギャップ \(\Delta\)（④） | 格子→連続極限で同じ \(\sim\Lambda\) | 不変 | |
| 閾値の下は？ | 凍った連続スペクトル | 段が無い | 溶ける |
| フロアの身分は？ | 操作的な限界 | 実在するギャップ | 溶ける |
| 時空そのものは？ | 連続体 | 格子 | 溶ける |
下の図で、これを体感できます。表現を連続⇄離散で切り替えても、目印（閾値・\(\Delta\)・meV・プランク）は1ミリも動きません。動くのは、それに貼る言葉のラベルだけ。それが「表現に溶ける」ということです。
この線を引くと、よくある混同が全部「線のどちら側を取り違えたか」で診断できます。
六つを線で仕分けると、きれいに片づきます。
①②③ ＝ 同じ一つの不変閾値の、三つの顔：測定（①）・力学（②）・箱のモード（③）という別角度の言い方だが、値はみな \(\hbar H/c^2\)。一致する。
④ ＝ 別の不変量：無限体積で残るスペクトルギャップ \(\Delta\sim\Lambda\)。①②③とは41桁違い、出自も動力学（次元的移行）。
⑤ ＝ 分解能しだい：間隔が測れれば物理（原子スペクトル）、測れなければ表現に溶ける（宇宙の閾値の下）。
⑥ ＝ 別の観測量を動かす物理命題：有限性は再帰・ユニタリ性を変えるが、\(\hbar H/c^2\) や \(\Delta\) の値は変えない。
つまり ──「宇宙が有限だから質量ギャップがある」は、③（または⑥）と④のすり替え（罠B・E）。「格子でギャップが見えたから解けた」は、④の格子表現（不変量）と、その連続極限の存在証明（クレイ問題）の混同。「離散だから最小質量が実在する」は、フロアの身分（溶ける言葉）を物理に格上げする誤り。どれも、線のどちら側かを取り違えている。
いちばん混ざりやすい④で、三つを分けておきます。
| 層 | 中身 | 身分 |
|---|---|---|
| 表現 | 格子（離散）か連続場か ── 計算の足場 | 溶ける（どちらでもよい） |
| 不変量 | \(\Delta\sim\Lambda\) ── 格子で計算し連続極限を取った値。物理・格子では既定事実 | 物理（表現によらない） |
| 未解決 | 連続極限で \(\Delta>0\) が厳密に残ることの数学的証明 | クレイ問題（未解決） |
この三層を一緒くたにすると、「格子で \(\Delta\) が出た（不変量）」を「ギャップの存在が証明された（未解決の数学）」と誤読したり、「離散で計算した（表現）」を「宇宙が離散だと分かった（物理命題⑥）」と飛躍したりする。層を分けて名指しするだけで、ほとんどの混乱は消えます。
§05 の三層で読むと、有名な「ヤン=ミルズ質量ギャップ問題」は、じつは三つの別々の問いが束ねられていたと分かります。
| 問い | 表現 | 状態 | |
|---|---|---|---|
| Q1 | 格子（離散）で、有限間隔 \(a\) ならギャップはあるか | 離散 | 厳密に解決（強結合展開で閉じ込め＋ギャップ） |
| Q2 | \(a\to0\)・\(L\to\infty\) でギャップは残るか（数値） | 連続極限 | 物理的に決着（格子QCDが測定、〜1.7 GeV） |
| Q3 | 厳密な連続場の理論として構成し \(\Delta>0\) を証明できるか | 連続・公理的 | 未解決＝クレイ問題 |
消える擬似問題 ──「そもそもギャップは実在するのか」。これは表現不変な事実で、格子では顕わ、連続極限でも測定済み（Q1・Q2）。「厳密な連続証明が無い」を「ギャップがあるか分からない」とすり替えるのが、§03 の罠B・E。その意味の"問題"は、正しく整理すれば起きていません。
残る真の問題 ── Q3。これは §02 の線でいえば「④が \(a\to0\)・\(L\to\infty\) で残るか」＝表現によらない不変な問い（溶ける側ではない）。だから整理では消えず、クレイ問題はここだけに凝縮する。
正則格子はローレンツ不変性を \(O(a)\) で破り、それが厳密に戻るのは連続極限だけ。ローレンツ不変性は超高精度で検証された観測量。だから Q3 は「ただの数学的厳密さ」ではなく、"ローレンツ不変な連続理論が存在するか"という物理を含む ── だから溶けない。
結論は、「解いた」ではなく「問題を正しい大きさに畳んだ」。大半は表現の混同が生んだ擬似問題で、正しく整理すれば起きない。残る Q3 だけが本物 ── そしてそれは「ギャップがあるか」ではなく「離散→連続のローレンツ不変な極限が厳密に存在するか」です。
「離散→連続のローレンツ不変な極限が厳密に存在するか」── この問いは、じつはブラックホールが同じ骨格で抱えています。しかもブラックホールの方が深い版。違うのは、有限を誰が持ち込むかです。
| YMの残り（Q3） | ブラックホール | |
|---|---|---|
| 有限/離散の出どころ | 格子＝正則化（人が置く表現） | \(S=A/4G\)＝物理的な状態数の上限（自然が課す＝⑥） |
| 連続の中身 | 固定した平坦時空の上のQFT | 時空そのものが創発（動力学的） |
| 極限の見込み | 漸近自由でUVが素直＝足りないのは厳密性だけ | 厳密構成なし＝量子重力そのもの |
だから YM は飼いならされた従兄弟（時空は傍観者、ローレンツは平坦時空に最初から在り、極限の存在はほぼ確実で厳密証明だけが宿題）。ブラックホールは本体（時空とローレンツ不変性を、有限の自由度から創発させねばならない）。同じ問いでも、桁違いに難しい。
ブラックホールが"どうしているか"── 有限（\(S=A/4G\)）と滑らかなローレンツ不変時空を現に両立させる機構は、このシリーズの技術補遺が地図にしています：ホログラフィー（有限情報を面積に載せ、連続バルクを創発）、誘導重力（Jacobson＝地平線熱力学 \(\delta Q=T\delta S\) から連続のアインシュタイン方程式、技術補遺⑥）、代数の型の昇格（重力で type III₁→II、有限エントロピー、技術補遺⑧⑩⑬⑭）。ただし ── どれも解決ではありません。量子重力は未解決で、これはシリーズが名指しした「ただ一つの穴＝背景独立な有限動力学」そのもの。
正則格子はローレンツ不変性を破る → \(a\to0\) が要る（YMの宿題の正体）。コーザルセット的な離散はローレンツ不変（不変なランダム散布で離散化）→ 破らない。だから終章は「離散はコーザルセット的でなければならない」と賭けた。重力の側は、"賢い（ローレンツ不変な）離散"を要求する ── YMの「正則格子＋\(a\to0\)」は、その要求を最も素朴に回避しているだけ。
そして要（かなめ）── §04 で「⑥は別の観測量を動かす物理命題」と言いました。その⑥が現に実現している唯一の現場がブラックホールです（\(S=A/4G\)、ページ曲線、ユニタリ性は観測量）。つまり ⑥が"表現"から"物理"へ渡る場所。YMの残り Q3 と、ブラックホールの連続創発は、「ローレンツ不変な連続を、有限から出せるか」という一つの問いの、二つの顔で、番外⑤の線でいえば同じ"溶けない核心"側に並ぶ。ヤン=ミルズ質量ギャップの残った芯は、ブラックホール＝量子重力の、易しい影だったのです。
この回自身も、線を引いて安心して終わりにはしません。境目には正直に曖昧さがあります ── ⑤「離散スペクトル」が物理か表現かは分解能に依存する連続的な問いで、白黒ではありません。また「表現によらない」と言えるのは、その量を実際に両表現で計算して一致を確かめた範囲まで（\(\Delta\) は格子で検証済み、閾値 \(\hbar H/c^2\) は無次元 \(N\) で保証）。未計算の量まで無条件に不変と決めつけるのは、それ自体が別の飛躍です。
そして最大の但し書き ── 「宇宙は有限整数個の状態か（⑥）」は未証明の賭け（終章・技術補遺⑮）。この回は「⑥が正しいか」を決めるものではなく、「⑥が正しくても、それが変えるのは再帰・ユニタリ性であって \(\hbar H/c^2\) や \(\Delta\) の値ではない」と、効く先を正しく仕分けるだけです。そして §06–07 の Q3（ローレンツ不変な連続極限の厳密構成）とブラックホール＝量子重力は、畳んだ先に残る本物の未解決で、この回はそれを"正しい大きさに畳む"だけ ── 解いてはいません。
「最小の質量／ギャップ」と呼ばれるものは一語で六つ ── ①操作的フロア・②力学的フロア・③モード間隔・④真の質量ギャップ・⑤離散スペクトル・⑥有限次元。専門家も口語では混ぜる。仕分ける線はただ一本：連続でも離散でも同じ値になる（表現によらない＝物理）か、言い方が違うだけ（表現に溶ける）か（わかる宇宙論・番外④）。
答え ── ①②③は同じ不変閾値 \(\hbar H/c^2\) の三つの顔、④は別の不変量 \(\Delta\sim\Lambda\)（41桁上・無限体積で残る）、⑤は分解能しだい、⑥は再帰・ユニタリ性という別の観測量を動かす物理命題で値は変えない。五つのすり替え（ギャップ≠離散、③≠④、⑤≠⑥、UV≠IR、表現の離散≠物理の離散）は、全部この線のどちら側かの取り違え。層を分けて名指しすれば、混乱は消える。これは第6回・第7回の言葉の、地図と索引です。
そして最後に、この線を「問題」自体に当てると ── 有名なヤン=ミルズ質量ギャップ問題は、Q1・Q2（ギャップの実在＝表現不変な既定事実）と Q3（ローレンツ不変な連続極限の厳密構成＝未解決）に割れ、大半は表現の混同が生んだ擬似問題だと分かる。残る Q3 は、ブラックホール＝量子重力の易しい影で、⑥が"物理"になる現場に地続き。解いてはいない ── 問題を正しい大きさに畳んだだけ。
印刷 / PDF 化：Ctrl+P（Mac は ⌘+P）。画面では「連続表現／離散表現」ボタンで、目印は動かず言葉だけが変わる様子が見えます。「答えを見る」で解答が開きます。