2026-10-09 · chapter ヤン–ミルズと質量ギャップ第 10 部 質量ギャップの証明へ向けて — 階段の一段目を組む着想の型・捨てた仮説・小さな問い · Kiichi, Shiori and Rin

ひらめきと小さな問い — 手順として残る見方と、決着のつく問い

検討の途中では、結果とは別に「見え方の転換」が書き留められます。それらは三つの状態に分かれます。着想のまま（検査を受けていない）、確かめた形（小さな模型や閉じた式で一度は確かめた）、既知と重なる（芯が既知の定理の言い換えだった。着想に数えない）です。

この章に残す基準は一つです。誰が・いつ思いついたかではなく、同じ型の問題に出会った別の読み手も、この手順を踏む必要があると言える形に書けるものだけを残します。例えば「上界を削る前に、要る値の因子を構造と道具に仕分ける」は、二重井戸を離れても意味を持つ手順です。逆に、ある数値がたまたま閾の近くにあったという観察は残しません。

旧版の第 10 部では、四次元格子の側の着想を七つの型（下からは測れない／一次元に落とす／単位を落とす／反例と対照を先に／差の冪を見る／H は測度と形の組／状態空間のつながり）で読みました。表 1 はその七つと、この章の十二の着想との関係です。

着想 1　同じ場所を二度払っていないか

長い不等式の鎖では、一つの悪い場所（二重井戸では頂上の近く）を、二つの段がそれぞれ別の名前で払っていることがあります。区画の枠組みでは、Bochner の段と Gibbs の段が同じ頂上の近くを払い、一方の増幅の因子が全体に掛かっていました。負の曲率をもう一方の側へ移すと、増幅を通らずに済みます。同じ型で、二つの項が互いに補い合う勾配を使うときは、分母を分け合って $(1+\sqrt{C})^2$ でなく $(1+C)$ に畳めることがあります。手順として言えば、組み立てを詰める前に、各段が何を払っているかを場所ごとに書き出し、二度払いを探すことです（10-09 §02・10-10 の型 3）。状態：確かめた形。

小さな問い 1。$\|u+v\|^2\le(1+t)\|u\|^2+(1+1/t)\|v\|^2$（$t\gt0$）を、三つのベクトルの和 $u+v+w$ に二回続けて使う組み立てと、三項を一度に $\|u+v+w\|^2\le(1+s_1)\|u\|^2+\cdots$ と配分する組み立てで、$\|u\|^2=\|v\|^2=\|w\|^2=1$ のときの最良の右辺を比べよ。二回続けた方はどこで同じ量を二度払っているか。

着想 2　Poincaré の通貨とエントロピーの通貨

稀な事象を「稀さ」で払いたくなる場面があります。ところが Poincaré 不等式の側では、稀さは通貨になりません。Poincaré が見るのは出口の速さで、稀な状態に質量を載せても分散と Dirichlet 形の両方で質量が打ち消し合うからです。稀さを通貨にできるのはエントロピーの側（対数 Sobolev 不等式）だけですが、こちらは代わりに、試験関数が集まりうる最も稀な状態の $\ln(1/\nu)$ を払います。手順として言えば、エントロピー型と分散型のどちらを使うかは、二つの稀さ（払いたい欠陥の稀さと、試験関数が集まりうる状態の稀さ）を並べて決めることです（10-10 の型 4）。状態：確かめた形（二点の模型）。

小さな問い 2。二点 $\{0,1\}$ の上の測度 $\pi=(1-p,p)$ と、反転の速さ 1 の Dirichlet 形 $\mathcal E(f)=\pi_0\pi_1(f_1-f_0)^2$ を考える。Poincaré 定数は $p$ に依らないことを示せ。対数 Sobolev 定数が $p\to0$ で $\ln(1/p)$ の速さで伸びることを、二点の空間の既知の公式（Diaconis–Saloff-Coste）を引いて確かめよ。

着想 3　$1/\hbar$ は何に住むか — 損の読みは、それが掛かる量と同じ長さで

頂上の台地では、$1/\hbar$ の大きさの定数を作る試験関数は、集団の一次の座標 $\sum z_j$ ではなく、頂上の角からの半径 $\sum z_j^2$ の関数でした。線形の集団座標を選ぶと、向きを取り違えます。また、$1/\hbar$ は台地の長さ $\ell\approx0.34/\hbar$ に住んでいて、損を測るときはそれが掛かる量と同じ長さで測る必要があります。手順として言えば、二尺度に分ける前に、下界を作る関数が粗い座標に住むかファイバーに住むかを確かめることです（10-10 の型 5・10-09 §06）。状態：着想のまま（数値の読みで支えた形）。

小さな問い 3。$\mathbb R^k$ の上の測度 $\mu\propto e^{-V(|z|)/\hbar}$、$V(r)=(r^2-1)^2/8$ で、一次の関数 $f=z_1+\cdots+z_k$ と半径の関数 $g=|z|^2$ の比 $\operatorname{Var}(\cdot)/\mathcal E(\cdot)$（$\mathcal E(f)=\hbar\int|\nabla f|^2d\mu$）を、$k=1$ と $k=2$ で $\hbar\to0$ の主項まで比べよ。$k=2$ で $\mu$ が円環に集まるとき、遅い向きはどちらの関数が捉えるか。

着想 4　条件づけの壁が最小点を作る

区間の端をちょうど固定して条件づけると、$\hbar=0$ の最小点が全て壁の上に乗ることがあります。そのとき見えている「遅さ」や「双安定」は、模型の性質ではなく、条件づけが作った影です（芯の負の端の双安定は、キンクが一サイトずれたい配置を芯の区間に閉じ込めた影でした）。手順として言えば、区画や条件づけの切り方を変えるたびに、壁の上に乗る $\hbar=0$ の最小点を数えることを最初の検査にすることです（10-11 §06）。状態：確かめた形。

小さな問い 4。$V(x)=(x^2-1)^2/8$ を区間 $[0,b]$（$0\lt b\lt1$）に制限した測度 $\mu_\hbar\propto e^{-V/\hbar}\mathbf 1_{[0,b]}$ は、$\hbar\to0$ でどこに集まるか。その近くで $\mu_\hbar$ を指数分布で近似し、$\mu_\hbar$ の Poincaré 定数（Dirichlet 形 $\hbar\int f'^2d\mu$）の $\hbar\to0$ での振る舞いを $|V'(b)|$ で書け。壁を $b=1$ に動かすと何が変わるか。

着想 5　内側を一様に閉じる前に、外側で何が掛かるかを先に書く

入れ子の評価では、内側の定数を $O(1)$ で押さえようとして詰まることがあります。ところが外側の式で、その定数に小さな因子が掛かっているなら、内側に要る精度はずっと緩くなります。箱の隙間の命題では局所の項に $e^{-2S_0/\hbar}$ が掛かるので、芯の定数は $O(1)$ でなくても $e^{\Delta S/\hbar}$（$\Delta S\lt2S_0$）の大きさで足りました。手順として言えば、内側を一様に閉じる前に、外側の式でその量に何が掛かるかを先に書き、内側に要る精度を外側の尺度との比で決めることです（10-11 §06）。状態：確かめた形（作用の障壁の読みは $\hbar=0$ の値）。

小さな問い 5。$K(\hbar)=A+e^{-2S_0/\hbar}B(\hbar)$ が $\hbar\to0$ で有界であるために $B$ に要る条件を書け。$B(\hbar)\le c\,\hbar^{-p}e^{\Delta S/\hbar}$ の形なら、$\Delta S$ と $2S_0$ と $p$ の関係はどうあればよいか。$\Delta S=2S_0$ のちょうどの場合は何が要るか。

着想 6　パラメータの sup は閾のすぐ外で取られる

長さ $k$ の芯の定数を $k$ について一様に押さえるとき、難しいのは長い芯ではなく、凸性が失われる閾のすぐ外（$k=8$、両端が頂上）でした。閾の内側は凸性で只、遠く外側は箱への帰着で飽和し、その間の一点が sup を取ります。手順として言えば、パラメータについての sup で詰まったら、まず閾の位置を求め、そのすぐ外の値を名指して別に押さえることです（10-11 §05）。状態：確かめた形（閾は閉じた式）。

小さな問い 6。$\kappa(k)=8\sin^2\!\bigl(\pi/(2(k+1))\bigr)-\tfrac14$ が負になる最小の $k$ を求めよ（10-09 §06 の式と同じ）。$\kappa(k)$ は $k\to\infty$ でどう振る舞うか。閾が $k=8$ にあることと、sup が $k=8$ で取られることとは、同じことか別のことか。

着想 7　除外する集合の閾は、下流の不等式が許す質量で決める

悪い集合を除外して残りで評価するとき、閾をどこに置くかは、悪い集合の側の都合ではなく、その集合の質量を受け取る下流の不等式が何を許すかで決まります。区画の枠組みでは、窓の印の閾と欠陥の閾が食い違ったために、印で決まる集合で欠陥を含むものが全空間しか無くなり、閉じる条件が字義どおりには何も与えていませんでした。手順として言えば、合成する条件の一つ一つが、同じ閾の定義の上で成り立っているかを字義どおりに確かめ、閾は下流が払える質量から逆算することです（10-09 §04）。状態：確かめた形（可測性の一行）。

小さな問い 7。一サイト $z\in\mathbb R$ で、印 $\sigma=\mathbf 1\{z\le-\theta_\sigma\}$ と欠陥の集合 $N=\{-\theta_B\lt z\le-\theta_\sigma\}$（$\theta_\sigma\lt\theta_B$）を考える。$\sigma$ の値で決まる集合（$\sigma$ について可測な集合）で $N$ を含むものを全て挙げよ。$\theta_\sigma=\theta_B$ にすると何が変わるか。

着想 8　凸性の閾は、Hessian にパラメータが入るかで決まる

端の値の sup で詰まったとき、その端の値が Hessian に入っているかを見ると道が分かれます。最近接の二次の結合で端の値が一次で入るだけなら、Hessian は端の値に依らず、凸性は端の値に一様です。だから凸性の閾より短く刻めば、端の値の sup は只になり、代価は全て刻み目の相関（最大相関）の側へ移ります。手順として言えば、パラメータの端で詰まったら、まず Hessian にそのパラメータが入るかを確かめ、入らないなら凸性の閾より短く刻み、継ぎ目の相関だけを別に勘定することです（10-11 §05）。状態：確かめた形。

小さな問い 8。$S(x_1,\dots,x_k)=\sum_{j=0}^{k}\frac{(x_{j+1}-x_j)^2}{2\varepsilon}+\varepsilon\sum_{j=1}^kV(x_j)$、$x_0=a$・$x_{k+1}=b$ を固定した測度 $e^{-S/\hbar}$ で、Hessian が $a,b$ に依らないことを確かめよ。$V''\ge-\tfrac12$（$V=(x^2-1)^2/8$ の頂上の値）のとき、Hessian の最小固有値が正になる $k$ の範囲を $\varepsilon$ で書け（$\varepsilon=\tfrac12$ で小さな問い 6 の $\kappa(k)$ と比べよ）。

着想 9　上界と読みの比を、打ち消しの段と向きの段に分ける

上界 $U$ と下からの読み $L$ が大きく離れているとき、比 $U/L$ を一つの数で見ても、どこで失っているかは分かりません。間に「同じ経路で、打ち消しを捨てる前の量」$R$ を挟んで、$R/L$（打ち消しの段）と $U/R$（向きの段）に分けると、筋 3 では前者が 1.2 前後、後者が 1000 を超え、損はほぼ全てスカラーの Grönwall が向きを捨てる段にありました（10-09 §05）。手順として言えば、上界と読みの隔たりは、段ごとの比に割ってから改良の的を決めることです。状態：確かめた形（読みの比）。

小さな問い 9。$\dot X=-CX$、$C=\operatorname{diag}(\lambda,\Lambda)$（$0\lt\lambda\lt\Lambda$）で、初期値 $g=(0,1)$（硬い向き）のとき、$\int_0^T|X_t|\,dt$ の真の値と、スカラーの Grönwall $|X_t|\le e^{-\lambda t}|g|$ から出る上界を比べよ。比は $\Lambda/\lambda$ でどう伸びるか。行列のまま評価すると何が戻るか。

着想 10　上界を削る前に、下界を一本測る

上界の組み立てを何段も詰めても届かないとき、先に同じ量の下界を試験関数で一本測ると、問題が技法にあるのか目標にあるのかが分かります。下界が目標を越えていれば、上界の改良は無意味です。区画の枠組みでは、伝播の定数の下界が要る値の数倍にあることが分かって、上界の床を削る作業の意味が変わりました。手順として言えば、上界の床を削る前に、要る値と最良の定数の下界を並べる段を置くことです（10-09 §03・10-10 §02）。状態：確かめた形。

小さな問い 10。升 $L$ 個の一本道（一様分布・$\mathcal E(f)=\frac1L\sum(f_{i+1}-f_i)^2$）で、「$C_P\le L^2/12$」という目標を、試験関数 $f_i=i$ 一本で偽と示せ（$\operatorname{Var}(f)/\mathcal E(f)=L(L+1)/12$）。真の値 $1/(2(1-\cos(\pi/L)))$（10-00 §04）とも比べよ。

着想 11　障害は消えずに移る — 移った先を一行ずつ記録する

定式を変えると、障害が消えたように見えて、別の場所に同じ形で現れることがあります。一段目では、頂上の一サイトの曲率が結合に $\tfrac14$ 足りないという一つの数が、芯の塊の Poincaré・斜面の縮みの比が 1 に近づくこと・頂上にピン留めした裾の比が 1 を超えること、と形を変えて三度戻りました（10-09 §06 の共通の壁）。手順として言えば、定式を変えるたびに「障害がどこへ移ったか」を一行ずつ記録し、移った先の式が同じ数で書けるかを確かめることです。同じ数で書けるなら、それは道具の欠陥ではなく、対象の構造です。状態：確かめた形（共通の壁の式）。

小さな問い 11。三重対角行列 $M_k=\operatorname{tridiag}(-2,\,4-\tfrac14,\,-2)$（$k\times k$、両端は Dirichlet）の最小固有値を閉じた形で求め、$\kappa(k)$（小さな問い 6）と比べよ。対角優位 $\tfrac{15}{4}\lt4$ が破れていることと、最小固有値が $k\ge8$ で負になることは、どう関係しているか。

着想 12　H の真偽は、測度だけでなく座標（Dirichlet 形）で変わる

仮定 H は測度の文ではなく、測度と Dirichlet 形の組の文です。同じ平衡の測度でも、どの変数を独立に動かす力学かで、隙間の大きさが $O(1)$ にも、体積の一辺の二乗に反比例する大きさにもなります。保存する量（隣どうしで受け渡すだけの量）がある力学では、そのむらは拡散でしか均されないからです。手順として言えば、H を問う前に、どの座標の力学かを名指し、その力学に保存量があるか、保存がどの長さで壊れるかを先に確かめることです（10-01 §05。保存が壊れる長さとの比べ方は 第 11 部）。状態：着想のまま（自由場の近似で確かめた形）。

小さな問い 12。$L$ 個の独立な標準正規の積の測度で、(a) 各座標を独立に Ornstein–Uhlenbeck で動かす力学と、(b) 隣どうしで量を受け渡し和 $\sum x_i$ を保つ力学（和を固定した測度の上）の隙間を比べよ。(b) の隙間が $4\sin^2(\pi/(2L))$ の形になること、それが静的な相関の長さ（ここでは 0）と関係しないことを確かめよ。

捨てた仮説とその理由は、同じ誤りを避けるための情報です。表 2 の上の六行は一段目の検討で、下の四行は旧版の四次元格子の側で捨てたものです。

誤りの型は二つで、どちらも要約の一行に上げる段で起きます。一つは条件（群・模型・範囲）が落ちる型、もう一つは「点ごとの量」と「測度の上の量」を取り違える型です。表 2 の上の六行のうち四行は後者です。

「小さな問い」は三つを満たす問いです。答えの形（在る／無い、定数の値、不等式の成否）が先に決まっていること。道具が手元にあること（python3 と NumPy・SciPy、SAT ソルバー、区間演算、Lean と Mathlib、文献の検索）。数学科か物理学科の三・四年生が卒業研究の期間で決着をつけられる見込みがあること。通し番号は Q1〜Q17 です（旧版の問 10「二重井戸の経路測度の隙間」は、この部の中心の試験台になったので外しました）。

どの問いにも、着手の前に同じ問いの答えがあるかを探す段を置きます。問いを定理の形で一文に書き、数学と物理の両方の語の組で検索し、総説の参考文献から一次資料の本文へたどって、同じ答え・近いが違う結果・見当たらない、のどれかに判定します。見当たらなければ「探した範囲で見当たらない」と書き、探した語と資料を出典表に残します。

問いの大きさを見るため、Q3 を最後まで進めます。標準正規分布の Poincaré 定数は $C_P=1$ で、等号は $f=x$ です（1-10）。$x$ を含まない族 $F_k=\operatorname{span}\{x^3,\dots,x^{2k+1}\}$ での比 $\operatorname{Var}(f)/\mathcal E(f)$ の最大を $\lambda_k$ とします。

Hermite 多項式を $\mathbb E[h_mh_n]=\delta_{mn}$ に正規化すると $h_n'=\sqrt n\,h_{n-1}$ なので、奇関数 $f=\sum_{j=0}^ku_jh_{2j+1}$ の分散と Dirichlet 形は対角になります。

族に入る条件は「単項式 $x$ の係数が 0」という一本の一次の拘束 $\sum_jw_ju_j=0$、$w_j=(-1)^j\sqrt{(2j+1)!!/(2j)!!}$ です。拘束の下の $\mathcal E/\operatorname{Var}$ の最小 $\mu_k$ を Lagrange の未定乗数で求めると、一変数の方程式が残ります 典（一次の拘束の下の二次形式の停留値の永年方程式、Golub 1973）。

$\mu_k=1+\varepsilon$ と置くと $j=0$ の項が $-1/\varepsilon$ で、残りと釣り合います。

$S_k$ は母関数で閉じます。$(2j+1)!!/(2j)!!=(2j+1)\binom{2j}j4^{-j}$ で各項を二つに割り、部分和の恒等式 $\sum_{j=0}^k\binom{2j}j4^{-j}=(2k+1)\binom{2k}k4^{-k}$（$k$ の帰納法）と、$\ln\frac2{1+\sqrt{1-x}}=\sum_{j\ge1}\binom{2j}j\frac{x^j}{2j\,4^j}$ の $x=1$ での値 $\ln2$ を使うと 初

です。(3) に入れて $1-\lambda_k=\varepsilon-\varepsilon^2+\cdots$ と展開すると、二つの項が決まります 初。

決着しても動かないものは、試験関数が $C_P$ を下からしか押さえないという事実です。族を大きくしても $\lambda_k\lt1$ のまま $k^{-1/2}$ の速さで 1 に近づくだけで、極限が 1 だと言えるのは族の外の入力（ガウスの凸性 $V''=1$）からです。小さな問いの決着は、多くの場合こういう形になります。

この部は仮定 H を検討の軸に置いて、その上で繰り返し役に立った見方をこの章に集めました。H とは別の視点から立つ問いは 第 11 部 に置きます。

この章が言えている範囲

出典と再現

この章で使った語 — 着想の三つの状態・二度払い・Poincaré の通貨とエントロピーの通貨・$1/\hbar$ の住む長さ・条件づけの壁・凸性の閾・打ち消しの段と向きの段・障害の移動・保存のある力学・小さな問い。意味は A-02 用語集 にあります。

次に読む章：第 11 部 今後の考察 — 仮定 H とは別の視点と、H を前提とした新しい見方の材料の一覧。付録へ進むなら A-01 記号表。

← 10-16 主張しないこと目次11-00 今後の考察 →