未解決問題、確率と統計、1949年に提起
自己回避歩行の臨界指数
未解決
を原点から出発する 上の ステップ自己回避歩行の総数、 を一様ランダムに選んだそのような歩行の始点–終点間距離の二乗平均平方根とする。 のとき臨界指数 、 に対して 、 が成り立つことを証明し、次元 と におけるそれらの正確な値を決定せよ。
2026年時点で、平均場的指数 、 は で厳密に確立されており(原–スレイド 1992年)、上部臨界次元 における対数補正も繰り込み群の手法により厳密に証明されている(バウアーシュミット–ブリッジズ–スレイドおよび共同研究者)。 では連結定数 (デュミニル=コパン–スミルノフ 2010年)のみが正確に証明されており、ニーンハウスが予測した指数 、 は、スケーリング極限の未証明の共形不変性と結びついた予想のままである。 では指数の存在自体が証明されておらず、ましてやその値の計算もできていない。モンテカルロ推定では 、 とされている。
既知の最良の結果
- 平均場的指数 、 はレース展開により で証明されており(原–スレイド 1992年)、指数 の対数補正が で厳密な繰り込み群解析により証明されている。
- 六角格子上の連結定数は正確に であることが証明されている(デュミニル=コパン–スミルノフ 2010年)が、それに付随する の臨界指数 は依然として予想のままである。
使われた手法と限界
| 手法 | 達成したこと | 限界 |
|---|---|---|
| レース展開 | 単純ランダムウォークの周りの収束する摂動級数を制御することで、 に対するガウス的平均場スケーリングと臨界指数を厳密に証明する | を下回ると展開係数が総和できないほど大きくなる。低次元では自己交差が頻繁になりすぎ、摂動級数が収束しないためである |
| 予想される共形不変性とシュラム–レヴナー発展(SLE) | 正確な2次元指数 、 を予測し、自己回避歩行の予想されるスケーリング極限をパラメータ のSLEと同定する(ローラー–シュラム–ウェルナー 2004年、共形不変性を仮定) | 自己回避歩行のスケーリング極限の共形不変性自体が未証明であるため、指数の値を含むすべての帰結が条件付きのままである |
未解決の問い
- 上の自己回避歩行に対して、(述べられた漸近的な意味での)臨界指数 、 は存在するか、存在するとすればその正確な値は何か。
- 上の自己回避歩行のスケーリング極限は共形不変であるか、そしてそれは に収束するか。
参考文献
- Neal Madras, Gordon Slade (1993). Random Walks in Random and Non-Random Environments
- Takashi Hara, Gordon Slade (1992). Self-avoiding walk in five or more dimensions I: The critical behaviour · DOI:10.1007/BF02096738
- Hugo Duminil-Copin, Stanislav Smirnov (2011). Conformal invariance of lattice models · arXiv:1109.1549
- Roland Bauerschmidt, David C. Brydges, Gordon Slade (2015). Logarithmic correction for the susceptibility of the 4-dimensional weakly self-avoiding walk: a renormalisation group analysis · arXiv:1403.7422