未解決問題、確率と統計、1957年に提起
3次元パーコレーションにおける相転移の連続性
未解決
パラメータ を持つ 上のベルヌーイ辺(あるいはサイト)パーコレーションにおいて、 を原点が無限開クラスターに属する確率とし、 を臨界確率とする。 であるか、すなわちパーコレーション関数は において連続であるか。
2026年時点で、 における の連続性は (ケステン 1980年およびその関連研究)とレース展開による (フィッツナー–ファン・デア・ホフスタッド 2017年、原–スレイドの当初の を精密化)に対して証明されている。物理的に重要な (および の範囲)は未解決のままである。2026年3月のディスキン、エアソ、ラダクリシュナン、スダコフ、タシオンによるあらゆる無限推移的グラフ上の超臨界的鋭さの証明は、ベンヤミニとシュラムの1996年の姉妹予想を解決するが、論文自身の議論で強調されている通り、 の ちょうどでの挙動は未解決のまま残されている。
既知の最良の結果
- 相転移の連続性()が厳密に証明されているのは (ケステン 1980年、ハリス 1960年)と (フィッツナー–ファン・デア・ホフスタッド 2017年、レース展開による)のみであり、物理的に重要な を含む の場合は未解決である。
- 相転移の鋭さ( における指数的減衰)はあらゆる次元 で無条件に成り立ち(アイゼンマン–バースキーおよびメンシコフ 1987年)、超臨界的鋭さも今やあらゆる無限推移的グラフで成り立つ(ディスキン–エアソ–ラダクリシュナン–スダコフ–タシオン 2026年)が、どちらの結果も の値そのものを決定するものではない。
使われた手法と限界
| 手法 | 達成したこと | 限界 |
|---|---|---|
| レース展開(非後退性による精密化) | 、 上の最近接パーコレーションに対して平均場的臨界指数と における の連続性を厳密に証明する | 〜 を下回ると展開係数が総和可能なほど小さくならない。低次元格子には摂動級数が収束しないほど多くの短い自己交差ループが存在するためである |
| ラッソ–シーモア–ウェルシュ(RSW)理論と平面双対性 | 交差確率評価を証明し、2次元格子パーコレーションに対して と相転移の連続性を確定する | 本質的に平面双対性(開クラスターと閉クラスターの境界が曲線であること)に依存しており、3次元以上での既知の類似物は存在しない |
未解決の問い
- 上のベルヌーイ辺パーコレーションにおいて であるか。
- レース展開の手法が原理的に連続性の証明にまで押し進められる最小の次元 はいくらか、そして (予想される上部臨界次元)は平均場的挙動と非平均場的挙動の真の境界であるか。
参考文献
- Harry Kesten (1980). The critical probability of bond percolation on the square lattice equals 1/2 · DOI:10.1007/BF01221263
- Michael Aizenman, David J. Barsky (1987). Sharpness of the phase transition in percolation models · DOI:10.1007/BF01212322
- Robert Fitzner, Remco van der Hofstad (2017). Mean-field behavior for nearest-neighbor percolation in · DOI:10.1214/17-EJP56 · arXiv:1506.07977
- Sahar Diskin, Philip Easo, Ritvik Ramanan Radhakrishnan, Benny Sudakov, Vincent Tassion (2026). Supercritical percolation on all infinite transitive graphs · arXiv:2603.03257 [プレプリント・未査読]