[論文レビュー] Existence of a phase transition of the interchange process on the Hamming graph

Batı Şengül, Piotr Miłoś|arXiv (Cornell University)|May 11, 2016

Stochastic processes and statistical mechanics参考文献 13被引用数 3

ひとこと要約

本稿は、2次元ハミンググラフ $H(2,n)$ 上の交換過程における相転移を確立し、$t = \beta n^2$ において $\beta > 1/2$ のとき、任意の $\varepsilon > 0$ に対して長さが少なくとも $n^{2-\varepsilon}$ のサイクルに属する頂点の密度が正であるのに対し、$\beta < 1/2$ のときにはすべてのサイクルが $O(\log n)$ であることを示している。著者らは、行および列におけるサイクルの集中を制御するための新規な技術を開発し、ランダムグラフ過程とペルコレーションへのカップリングを用いて、サイクル成長の厳密な解析を可能にした。

ABSTRACT

The interchange process on a finite graph is obtained by placing a particle on each vertex of the graph, then at rate 1, selecting an edge uniformly at random and swapping the two particles at either end of this edge. In this paper we develop new techniques to show the existence of a phase transition of the interchange process on the 2-dimensional Hamming graph. We show that in the subcritical phase, all of the cycles of the process have length $O(\log n)$, whereas in the supercritical phase a positive density of vertices lie in cycles of length at least $n^{2-\varepsilon}$ for any $\varepsilon&gt;0$.

研究の動機と目的

• 2次元ハミンググラフ $H(2,n)$ 上の交換過程における相転移の存在を確立すること。ここでは、サイクル長が対数的スケールから巨視的スケールに変化する。
• 完全グラフに適用可能な技術を、幾何構造が異なるハミンググラフに適用する際の制限を克服すること。
• 完全グラフからの結果の拡張を妨げる主要な障害である、サイクルが単一の行や列に集中するのを防ぐための新しい手法を開発すること。
• 超臨界相（$\beta > 1/2$）において、任意の $\varepsilon > 0$ に対して、サイズ $n^{2-\varepsilon}$ のサイクルに属する頂点の密度が正であることを示すこと。これは巨視的スケールに近づくことを意味する。
• より一般のグラフ、特に $\mathbb{Z}^d$ や高次元ハミンググラフへの結果の拡張に向けた基盤を築くこと。

提案手法

• 粒子の交換に基づき時間経過とともに辺が追加されるランダムグラフ過程 $G^t_s$ を導入し、サイクル成分の成長を追跡する。
• ベルヌーイ確率的分岐とカップリングすることで、臨界下側の相を確立し、高確率でサイクル長が $O(\log n)$ を超えないことを示す。
• 散水法（スプリンクラー）を用いて、$G^t_s$ の巨大成分が $n^{2-\alpha_1}\log n$ 時間以内に急速に出現することを示し、大規模サイクルの急速な成長を裏付ける。
• モーメント推定とマルコフの不等式を用いて、小サイクルに分裂する頂点数の期待値の上限を確立し、小サイクルに属する頂点数を制御する。
• 時間区間 $[t - \Delta_h, t]$ における帰納法を用い、超臨界条件の下でサイズ $n^{\alpha_h}$ のサイクルが正の密度で存在することを段階的に証明する。
• サイクルが特定の1行や1列に集中するのを防ぐための新規な制御機構を開発し、直線との交差に関する推定と、サイクル長の指数的尾部バウンドを用いる。

実験結果

リサーチクエスチョン

• RQ1 2次元ハミンググラフ上の交換過程は、臨界時刻 $t = \beta n^2$ において、サイクル長分布に急激な変化を示す相転移を示すか？
• RQ2 サイクルが行や列に集中するのを制御できるか。これは、1次元的構造に閉じ込められた長いサイクルの形成を防ぐための鍵である。
• RQ3 超臨界相において到達可能な最大サイクルサイズは何か。また、巨視的サイズ（$\sim n^2$）にどの程度近づけるか。
• RQ4 完全グラフに用いられた技術を、ハミンググラフのような異なる幾何構造を持つグラフへ適応できるか。
• RQ5 現在のバウンドを精緻化し、超臨界相においてサイズ $\Omega(n^2)$ のサイクルの存在を示すことは可能か。

主な発見

• 臨界下側の相が確立された：$\lim_{n\to\infty}\mathbb{P}(|V_t(C\log n)| = 0) = 1$ であり、これは高確率ですべてのサイクルが $O(\log n)$ の長さであることを意味する。
• 超臨界相が証明された：任意の $\varepsilon > 0$ に対して、$\lim_{n\to\infty}\mathbb{P}(|V_t(n^{2-\varepsilon})| \geq Cn^2) = 1$ であり、少なくとも $n^{2-\varepsilon}$ のサイクルに属する頂点の密度が正であることを示している。
• 著者らは、超臨界相において、任意の $\Delta_n \geq n^{1/2}\log^3 n$ に対して、$\lim_{n\to\infty}\mathbb{P}(\sup_{u\in[t-\Delta_n,t]}|V_u(n^2/\log^4 n)| \geq Cn^2) = 1$ を示した。これは、長大なサイクルの巨大成分が時間区間内に安定して存在することを示している。
• 本稿では、サイクルが高確率で特定の1行や1列に集中しないことを証明した。これは、相転移結果を可能にする主要な技術的進歩である。
• 著者らは、サイクルサイズのバウンドにおける $\log^4 n$ 要素を多項式対数的、あるいは定数にまで改善できると予想しており、これは超臨界相に真の巨視的サイクルが存在することを示唆している。
• 結果は、固定された $d$ に対して高次元ハミンググラフ $H(d,n)$ へも拡張可能であると予想される。著者らは、$H(n,2)$（ハイパーキューブ）に対しても同様の相転移が存在すると予想しており、臨界時刻は $t = \beta dk^d / (2d-2)$ である。