2026-10-09 · chapter ヤン–ミルズと質量ギャップ第 10 部 質量ギャップの証明へ向けて — 階段の一段目を組む示さない・強く読まない・偽とも言わない · Kiichi, Shiori and Rin

主張しないこと — 示さない・強く読まない・偽とも言わない

数学の文章で「主張しない」と書くとき、意味は三つに分かれます。一つ目は示していない。問題の本体について、この部は何も示していません。二つ目は強く読まない。示したことには必ず条件や仮定が付いていて、条件を外した形で読むと、示していない文になります。三つ目は偽とも言わない。ある方法で届かなかったことは、その方法の性質であって、届かなかった命題が偽だという主張ではありません。

三つ目は論理の形で書くと区別がはっきりします。「$P$ を主張する」を $\vdash P$ と書くと

です。左は「$P$ の証明を持っていない」、右は「$P$ の否定の証明を持っている」です。この章の「主張しない」は、いつも左の意味です。比喩で言えば、地図に道が描いていないことは、そこに道が無いことの証拠ではありません。

寄り道：量化子の否定

表 2 は、この部が主張しないことを一行ずつ書き、その行を支える本文の場所を並べたものです。「支える」とは、その章の文が、条件・仮定・範囲をすでに書いていて、この行はそれを一行に写しただけ、という意味です。

項目 1〜10 は部の骨子で、11〜14 は各章の記述から足したものです。どの行も、本文の条件を一行に縮めたもので、本文を読めば条件の全体が分かるように書いてあります。

問題文（0-03）が求めるのは、コンパクトな単純ゲージ群ごとに $\mathbb R^4$ の上の量子ヤン–ミルズ理論が存在し、公理（4-09・4-10）を満たし、質量ギャップを持つことです。

この部は (2) のどちらの部分についても何も示していません（項目 1）。問題文の脚注 2 は、弱い存在（コンパクト性）だけによる極限を解から除きます 典。部分列の極限がコンパクト性からただで出ることは、この水準の話で、そこから一意性も質量ギャップも出ません。

この部が扱う仮定 H は、(2) の $\Delta$（ユークリッドの時間の隙間）を、Langevin 力学の緩和の時間 $C_P$ に言い換えた文です。二つは別の量で、片側の橋が成り立つ場合に限って H↑ から $\Delta$ の下界へ一方向に渡れます（項目 11、10-01 §06）。H を検討の軸に置いたのは、格子で計算でき、凸性と Poincaré 不等式の道具があり、機械検査が届く言葉だからで、この言い換えが問題を解く唯一の道だという主張ではありません。別の視点は 第 11 部 に置きます。

一段目の中心の文は命題 4.5 です：「条件 (H1)〜(H4) の上で $C_P\le K\xi^2S_0/\hbar$、よって冪の H」（10-05 §04）。この文を「二重井戸で冪の H が示された」と読むのは強すぎます（項目 2）。四つの条件の下に、統合表の仮定の行が 15 行か 20 行（二つの道のどちらか）と、読みの行が 3 行あるからです（10-15 表 1）。

組み立ての代数は Lean で検査されていますが、定理名だけが要約に残ると条件が落ちます。表 3 は、この部の定理名のうち、仮定を落とすと強く読まれやすいものです（項目 6）。

例。power_H_of_kink_ratio は「比 $R$ が $1$ と $K/\hbar$ の間にあり、$\ln\xi$ が $s/\hbar$ 以上なら、$\ln C_P/\ln\xi\to2$」という代数です。仮定の $R\le K/\hbar$ を外して「Lean で冪の H」と書けば、示していない文になります。正しい要約は「冪の H は命題 4.5 の結論から代数で従う（Lean）」です。

迂回策の死（項目 8・12）。道筋 5 の残る一命題に向けた迂回策のうち 13 本は「死」と判定しました（10-10 §03）。死とは、その組み立てで得られる上界の天井が、要る値を越えないということです。残る一命題 [026] が偽だという意味ではなく、別の組み立てで閉じる可能性について何も言いません。

周期の箱の読み（項目 13）。四次元格子では、周期境界の箱で位相電荷の自己相関時間が $\xi^2$ より速く伸びると報告されていて、$\tau_{\rm int}\le C_P$ と合わせると H↑ は周期の箱で破れると読めます（10-01 §05 の注）。この読みは、文献の数値 読 と、HMC と Langevin が同じ普遍類だという予想 仮 の上に立っています。だからこの部は「四次元格子で H↑ は偽」とも主張しません。主張するのは、H の言明をどう直すかが問いとして残る、ということだけです。

H↓ は非自明性ではない。H↓ が避けるのは物理の質量が無限大に潰れることだけで、相互作用の有無は問いません。相互作用の無い理論で H を計算すれば確かめられます。格子の質量 $m$ の自由場では、経路の測度の Poincaré 定数は共分散の最大固有値で、

比は $\xi\to\infty$ で 1 に近づくので、H の上下の両方が成り立ちます。H も H↓ も相互作用の無い理論で成り立つ文で、H から非自明性 (S8) は出ません（10-01 §06）。

主張を強く読む誤りは、多くの場合、本文の文を一行に縮める段で起きます。表 5 は、本文の条件つきの文と、条件を落としきった一行を並べたものです。右の列の文はどれも、この部が示していない文です。

表 5 の誤りの型は二つです。一つは範囲（窓・節点・模型の値）が落ちる型、もう一つは分類（読・機・仮）が落ちる型です。どちらも、要約の一行に条件の語を残せば防げます。

物理の側の言葉を借りた箇所は、借りた先の水準を引き継ぎます。ホログラフィーは予想で、それを使った対応表は辞書であって証明された同値ではありません。完全な族が $d\le4$ で在ることの「4」は格子の組合せの数で、物理の時空の次元とは関係のない一致です（10-02 §02）。一段目と四次元格子の対応（$\hbar\to0$ と $\beta\to\infty$）も類比で、対応の定理ではありません（10-03 §06）。

構成を主張する他の文書について、この部は正否を判定しません（項目 9）。外の文書から取り入れたのは、依存グラフの読み方の型（結論を定義に置く閉じ方・依存の円）だけで、それも出典を伏せた型として書きました（10-13 §05・10-14 §07）。

最後に、外へ出すときの約束です（項目 14）。この部の命題は、仮定の行が一つでも残る限り、結果として外へ出しません。外へ出すのは、全ての条件を閉じ、機械検査と書誌の確かめを通したものだけです。それまでの記述は、どの行が閉じていてどの行が閉じていないかの地図として置きます。

この章が言えている範囲

出典と再現

この章で使った語 — 示さない・強く読まない・偽とも言わない・量化子の否定・片側の橋・迂回策の死・要約で落ちる条件。意味は A-02 用語集 にあります。

次に読む章：10-17 ひらめきと小さな問い — 一段目の検討で繰り返し役に立った見方と、卒業研究の大きさで決着のつく問い。

← 10-15 残件と費用 — 定理までの距離目次10-17 ひらめきと小さな問い →