[论文解读] 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

一句话总结

本文在二维哈密顿图 $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$.

研究动机与目标

• 在二维哈密顿图 $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}$ 且具有正密度的环。
• 开发一种新颖的控制机制，防止环集中在任意单一行或列上，利用环与直线交集的估计以及环长度的指数尾部界。

实验结果

研究问题

• RQ1 二维哈密顿图上的互换过程是否表现出相变，即在临界时间 $t = \beta n^2$ 处环长度分布出现急剧变化？
• RQ2 能否控制环在行或列上的集中现象，以防止形成局限于一维结构的长环？
• RQ3 在超临界相中可实现的最大环大小是多少，它能多接近宏观尺度（$\sim n^2$）？
• RQ4 能否将用于完全图的技术适配到具有不同几何结构的图（如哈密顿图）上？
• RQ5 是否可以改进当前的界，以证明在超临界相中存在大小为 $\Omega(n^2)$ 的环？

主要发现

• 当 $\beta < 1/2$ 时，建立了亚临界相：$\lim_{n\to\infty}\mathbb{P}(|V_t(C\log n)| = 0) = 1$，意味着以高概率所有环的长度均为 $O(\log n)$。
• 当 $\beta > 1/2$ 时，证明了超临界相：对任意 $\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$，表明大环的巨分量在一段时间区间内持续存在。
• 本文证明了环以高概率不会集中在任意单一行或列上，这是实现相变结果的关键技术突破。
• 作者猜想，环大小界中 $\log^4 n$ 的因子可改进为多对数甚至常数，暗示在超临界相中存在真正的宏观尺度环。
• 结果预计可推广至高维哈密顿图 $H(d,n)$（$d$ 固定），作者猜想 $H(n,2)$（即超立方体）也存在类似相变，临界时间为 $t = \beta dk^d / (2d-2)$。