[論文レビュー] Percolation critical probabilities of matching lattice-pairs

Geoffrey Grimmett, Zhongyang Li|arXiv (Cornell University)|May 5, 2022

Stochastic processes and statistical mechanics被引用数 1

ひとこと要約

本稿は、1端性・準推移的・平面的グラフ $ G $ 及びそのマッチンググラフ $ G^* $ におけるサイト確率的透過の厳密な不等式 $ p_c(G^*) < p_c(G) $ が成り立つための必要十分条件を確立し、厳密な不等式が成り立つのは $ G^* $ に $ G $ の対角線を含む二重無限で自己接触のない経路が存在する場合に限ることを示している。トランスティヴなグラフでは、この条件は $ G $ が三角形分割でない場合にちょうど成立し、双曲的および非ユークリッド格子における透過理論における長年の未解決問題を、ポアンカレ円板モデルにおける幾何的・距離論的手法を用いて解決する。

ABSTRACT

A necessary and sufficient condition is established for the strict inequality $p_c(G_*)

研究の動機と目的

• グラフ $ G $ におけるサイト透過の臨界確率がそのマッチンググラフ $ G^* $ よりも厳密に大きいときを特定すること、特に非ユークリッド（双曲的）な設定において。
• 1端性・準推移的・平面的グラフ $ G $ 及びそのマッチンググラフ $ G^* $ に対して $ p_c(G^*) < p_c(G) $ が成り立つ条件を同定する未解決問題を解明すること。
• アーメン格子（例：正方形格子、三角格子）における臨界確率の既知の結果を、非アーメンで双曲的なグラフへと幾何的・距離論的技法を用いて拡張すること。
• 唯一の無限クラスタの存在とその一意性に関する臨界確率の関係を明確にするために、$ p_u^\text{site}(G) + p_c^\text{site}(G^*) = 1 $ の補足的結果を確立すること。

提案手法

• 非アーメンかつ準推移的グラフにおける双曲幾何とサイト透過に適応された強化法（enhancement method）を用いる。
• ポアンカレ円板モデルにおける測地線 $ \Gamma^+ $ にオキシボウ除去を適用することで、$ G^* $ に無限で自己接触のない経路 $ \nu $ を構成する。
• グラフ $ G $ の面と辺をたどる形で $ G^* $ 内の経路 $ w = (w_0, w_1, \dots) $ を定義し、経路に沿って $ p $-値が厳密に増加することを保証する。
• 双曲距離と射影を用いた距離論的議論により、すべての辺 $ e \in E $ に対して $ p(\nu_t) - p(\nu_s) > \rho(\pi(e)) $ が成り立つことを示し、これにより経路が自己接触しないことを導く。
• 自己接触のない経路かつ $ p $-値が厳密に増加する経路が得られるように、オキシボウ除去技法の洗練版を用いる。
• このような経路の存在を $ p_c(G^*) < p_c(G) $ の十分条件とし、背理法と測地線解析を用いて必要性を証明する。

実験結果

リサーチクエスチョン

• RQ1 1端性・準推移的・平面的グラフ $ G $ 及びそのマッチンググラフ $ G^* $ に対して、$ p_c(G^*) < p_c(G) $ が成り立つのはいつか？
• RQ2 $ G^* $ にどのような幾何的または構造的条件が、サイト透過における臨界確率の厳密な不等式を保証するか？
• RQ3 $ G $ がトランスティヴかつ非三角形分割であるとき、唯一の無限クラスタの臨界確率 $ p_u^\text{site}(G) $ と $ p_c(G) $ の関係は何か？
• RQ4 標準的な強化法は、双曲幾何および非アーメングラフにおけるサイト透過に適応可能か？
• RQ5 自己接触のない経路に含まれる対角線の存在が、臨界確率の決定に果たす役割は何か？

主な発見

• サイト透過におけるマッチンググラフ $ G^* $ の臨界確率が $ G $ よりも厳密に小さいのは、$ G^* $ に少なくとも1つの $ G $ の対角線を含む二重無限で自己接触のない経路が存在する場合に限る。
• トランスティヴかつ1端性のグラフでは、$ p_c(G^*) < p_c(G) $ が成り立つのは $ G $ が三角形分割でない場合に限る。
• すべてのトランスティヴかつ1端性のグラフに対して $ p_u^\text{site}(G) + p_c^\text{site}(G) \geq 1 $ が成り立ち、等号が成り立つのは $ G $ が三角形分割である場合に限る。
• この結果は、双曲的ポアンカレ円板モデルにおけるオキシボウ除去技法の洗練された応用により得られ、構成された経路に沿って $ p $-値が厳密に増加することを保証する。
• この手法は準推移的グラフへも拡張可能であるが、必要十分条件は完全には同定されていない。準推移的ケースは併論文 [12] で取り扱われる。
• 証明は、$ p $-値が厳密に増加する経路 $ \nu $ を構成し、距離推定と測地線射影を用いてそれが自己接触しないことを示すことに依拠している。