第11章 Hausdorff 次元
第11章 Hausdorff 次元
STATUS: この節の主張は、定理・引用定理・発見法・予想を区別して読む。 STATUS: スケーリング極限や連続極限のうち本章で証明していない入力は、本文中で外部入力として扱う。
SLE trace は折れ曲がり続けるため、通常の長さでは測りにくい。Hausdorff 次元は、細かい球で覆うときに必要な個数の増え方を測る。box count と似ているが、覆いの大きさを柔軟に選べるため、より安定した幾何量である。
Beffara の定理は \[ \dim_H(\gamma)=\min\left(2,1+\frac{\kappa}{8}\right) \] を与える。 これは外部定理として使う結果である (Beffara 2008年)。
証明の構造は次の通りである。
| 項目 | 内容 |
|---|---|
| 入力 | SLE\(_\kappa\) trace、Green estimate |
| 出力 | Hausdorff 次元公式 |
| 主要道具 | 一点・二点 hitting estimate、first moment、second moment |
| 難所 | 二点が同時に近づく確率の精密制御 |
| 本教材で証明しない部分 | Green estimate の完全証明 |
| 下流での使い方 | 幾何相の定量化、臨界指数との比較 |
次元が模型の予測と一致しても、それだけで離散模型の SLE 収束を証明したことにはならない。次元一致は強い数値的証拠や検算にはなるが、曲線法則の同定とは別である。
Green estimate の意味
Hausdorff 次元を求めるには、曲線が小さな円板に近づく確率を知る必要がある。点 \(z\) のまわりの半径 \(\epsilon\) の円板へ SLE が近づく確率が \[ \mathbb P(\operatorname{dist}(z,\gamma)<\epsilon) \asymp \epsilon^{2-d}G(z) \] の形を持つとする。ここで \(d\) が求めたい次元、\(G\) が SLE Green 関数である。
直感的には、次元 \(d\) の集合が半径 \(\epsilon\) の円板を打つ確率は、面積スケール \(\epsilon^2\) ではなく \(\epsilon^{2-d}\) で減る。したがって hitting estimate の指数を読むことで次元が見える。
first moment と second moment
上界では、領域を小さな正方形に分け、曲線が各正方形へ近づく確率を足し上げる。これは first moment の議論であり、期待される訪問箱数を抑える。
下界では、訪問箱数が期待値のまわりで極端に小さくならないことを示す必要がある。そのために二点が同時に訪問される確率を評価し、second moment を使う。ここが Beffara 定理の技術的核心である。
この章で覚えるべきことは、次元公式が単なる見た目の測定ではなく、一点・二点の接近確率の精密評価から出るという点である。
次元一致から言えないこと
離散曲線の箱数を測って \(1+\kappa/8\) に近い値が出ても、それは SLE 収束の証明ではない。異なる曲線法則が同じ Hausdorff 次元を持つことは十分あり得る。次元は一つの指数であり、曲線の条件付き未来、境界イベント、駆動関数の増分をすべて決める情報ではない。
一方、次元公式は収束証明の設計に役立つ。Green estimate の指数は、どの小さな円板を曲線が訪れるかの確率を予測し、tightness や離散 hitting estimate の目標値を与える。ここでも、定理の使い方は「極限候補の幾何を定量化する」ことであり、「候補への収束を自動で得る」ことではない。
本章の到達点
本章で解決した問いは、SLE trace の次元公式がどのような hitting estimate から出るかである。残った問いは、次元一致だけでは格子模型の曲線法則の収束を証明できないという点である。次章では、格子曲線から SLE への収束証明に必要な共通構造を整理する。