MathLabs

未解決問題、確率と統計、1957年に提起

3次元パーコレーションにおける相転移の連続性

未解決

パラメータ pp を持つ Z3\mathbb{Z}^3 上のベルヌーイ辺(あるいはサイト)パーコレーションにおいて、θ(p)=Pp(0↔∞)\theta(p) = \mathbb{P}_p(0 \leftrightarrow \infty) を原点が無限開クラスターに属する確率とし、pc=sup⁡{p:θ(p)=0}p_c = \sup\{p : \theta(p) = 0\} を臨界確率とする。θ(pc)=0\theta(p_c) = 0 であるか、すなわちパーコレーション関数は pcp_c において連続であるか。

研究の最前線 2026年時点

2026年時点で、pcp_c における θ\theta の連続性は d=2d = 2(ケステン 1980年およびその関連研究)とレース展開による d≥11d \ge 11(フィッツナー–ファン・デア・ホフスタッド 2017年、原–スレイドの当初の d≥19d \ge 19 を精密化)に対して証明されている。物理的に重要な d=3d = 3(および 3≤d≤103 \le d \le 10 の範囲)は未解決のままである。2026年3月のディスキン、エアソ、ラダクリシュナン、スダコフ、タシオンによるあらゆる無限推移的グラフ上の超臨界的鋭さの証明は、ベンヤミニとシュラムの1996年の姉妹予想を解決するが、論文自身の議論で強調されている通り、Z3\mathbb{Z}^3 の pcp_c ちょうどでの挙動は未解決のまま残されている。

既知の最良の結果

  • 相転移の連続性(θ(pc)=0\theta(p_c) = 0)が厳密に証明されているのは d=2d = 2(ケステン 1980年、ハリス 1960年)と d≥11d \ge 11(フィッツナー–ファン・デア・ホフスタッド 2017年、レース展開による)のみであり、物理的に重要な d=3d = 3 を含む 3≤d≤103 \le d \le 10 の場合は未解決である。
  • 相転移の鋭さ(p<pcp < p_c における指数的減衰)はあらゆる次元 dd で無条件に成り立ち(アイゼンマン–バースキーおよびメンシコフ 1987年)、超臨界的鋭さも今やあらゆる無限推移的グラフで成り立つ(ディスキン–エアソ–ラダクリシュナン–スダコフ–タシオン 2026年)が、どちらの結果も θ(pc)\theta(p_c) の値そのものを決定するものではない。

使われた手法と限界

手法達成したこと限界
レース展開(非後退性による精密化)Zd\mathbb{Z}^d、d≥11d \ge 11 上の最近接パーコレーションに対して平均場的臨界指数と pcp_c における θ\theta の連続性を厳密に証明するd≈10d \approx 10〜1111 を下回ると展開係数が総和可能なほど小さくならない。低次元格子には摂動級数が収束しないほど多くの短い自己交差ループが存在するためである
ラッソ–シーモア–ウェルシュ(RSW)理論と平面双対性交差確率評価を証明し、2次元格子パーコレーションに対して pc=1/2p_c = 1/2 と相転移の連続性を確定する本質的に平面双対性(開クラスターと閉クラスターの境界が曲線であること)に依存しており、3次元以上での既知の類似物は存在しない

未解決の問い

  • Z3\mathbb{Z}^3 上のベルヌーイ辺パーコレーションにおいて θ(pc)=0\theta(p_c) = 0 であるか。
  • レース展開の手法が原理的に連続性の証明にまで押し進められる最小の次元 dd はいくらか、そして d=6d = 6(予想される上部臨界次元)は平均場的挙動と非平均場的挙動の真の境界であるか。

参考文献

  1. Harry Kesten (1980). The critical probability of bond percolation on the square lattice equals 1/2 · DOI:10.1007/BF01221263
  2. Michael Aizenman, David J. Barsky (1987). Sharpness of the phase transition in percolation models · DOI:10.1007/BF01212322
  3. Robert Fitzner, Remco van der Hofstad (2017). Mean-field behavior for nearest-neighbor percolation in d>10d > 10 · DOI:10.1214/17-EJP56 · arXiv:1506.07977
  4. Sahar Diskin, Philip Easo, Ritvik Ramanan Radhakrishnan, Benny Sudakov, Vincent Tassion (2026). Supercritical percolation on all infinite transitive graphs · arXiv:2603.03257 [プレプリント・未査読]