[论文解读] A Phase Transition for the Metric Distortion of Percolation on the Hypercube

Omer Angel, Itaï Benjamini|ArXiv.org|Jun 25, 2003

Stochastic processes and statistical mechanics参考文献 5被引用 4

一句话总结

该论文在超立方体 $H_n$ 上的伯努利边渗流中，于 $\alpha = 1/2$ 处建立了度量扭曲的相变，其中 $p = n^{-\alpha}$。当 $\alpha < 1/2$ 时，以高概率可实现有界扭曲；当 $\alpha > 1/2$ 时，扭曲随 $n$ 多项式增长，原因在于巨分量变得局部为树状并失去测地线环路。该结果揭示了渗流超立方体几何结构中的一个锐阈值。

ABSTRACT

Let H_n be the hypercube {0,1}^n, and let H_{n,p} denote the same graph with Bernoulli bond percolation with parameter p=n^-α. It is shown that at α=1/2 there is a phase transition for the metric distortion between H_n and H_{n,p}. For α&lt;1/2, asymptotically there is a map from H_n to H_{n,p} with constant distortion (depending only on α). For α&gt;1/2 the distortion tends to infinity as a power of n. We indicate the similarity to the existence of a non-uniqueness phase in the context of infinite nonamenable graphs.

研究动机与目标

• 分析超立方体 $H_n$ 与其渗流版本 $H_{n,p}$ 之间的度量扭曲如何随渗流参数 $p = n^{-\alpha}$ 变化。
• 在 $\alpha = 1/2$ 处识别扭曲行为的锐相变。
• 确定扭曲是否随 $n$ 有界或增长，取决于 $\alpha$。
• 将渗流超立方体的几何行为与非阿贝尔图中的更广泛现象（如无限簇的非唯一性）联系起来。

提出的方法

• 使用 $D(f) = D_+(f)/D_-(f)$ 定义度量扭曲，其中 $D_+(f)$ 衡量距离的扩张，$D_-(f)$ 衡量距离的收缩，$f$ 为映射。
• 以恒等映射为基准，证明当 $\alpha < 1/2$ 时，大多数顶点对在 $H_{n,p}$ 中保持有界的距离比，意味着有界扭曲。
• 当 $\alpha > 1/2$ 时，证明巨分量变得局部为树状，缺乏测地线环路，这迫使扭曲增长。
• 使用组合计数和 $p^{2l} = n^{-2\alpha l}$，界定顶点位于长度 $2l \in [2n^\beta, 2n^\gamma]$ 的简单环路 $\delta$ 距离内的概率。
• 应用双重计数论证：若扭曲有界于 $n^\beta$，则 $f$ 的像必须包含至少 $2^n n^{-n^\beta}$ 个顶点，且全部靠近长度受控的环路。
• 证明此类顶点的期望数量为亚指数级，与所需大小矛盾，从而证明扭曲以高概率超过 $n^\beta$。

实验结果

研究问题

• RQ1 当 $p = n^{-\alpha}$ 时，在 $\alpha = 1/2$ 处是否存在度量扭曲的相变？
• RQ2 当 $p = a n^{-1/2}$ 时，扭曲是否在 $\alpha = 1/2$ 附近表现出临界窗口？
• RQ3 当 $\alpha > 1/2$ 时，扭曲如何缩放？下界 $n^\beta$（其中 $\beta < (2\alpha - 1)/4$）是否紧？
• RQ4 当 $\alpha < 1/2$ 时，扭曲是否一致有界？该界能否改进为 $1 + \lfloor \alpha / (1/2 - \alpha) \rfloor$？
• RQ5 当 $\alpha < 1/2$ 时，$H_n$ 嵌入 $H_{n,p}$ 的最小延迟是多少？

主要发现

• 当 $\alpha < 1/2$ 时，存在常数 $c = c(\alpha)$，使得 $\mathbb{P}(D(H_n, H_{n,p}) < c) \to 1$ 当 $n \to \infty$。
• 当 $\alpha > 1/2$ 时，存在 $\beta = \beta(\alpha) > 0$，使得 $\mathbb{P}(D(H_n, H_{n,p}) < n^\beta) \to 0$ 当 $n \to \infty$。
• 当 $\alpha > 1/2$ 时，扭曲随 $n$ 多项式增长，指数 $\beta$ 满足 $\beta < (2\alpha - 1)/4$。
• 顶点位于长度在 $[2n^\beta, 2n^\gamma]$ 内的简单环路 $\delta$ 距离内的概率至多为 $n^{\delta + 1 + n^\beta(\beta + 1 - 2\alpha)}$。
• 位于长度在 $[n^{\gamma - \beta}, 2n^{\gamma + \beta}]$ 内的环路 $2n^{2\beta}$ 距离内的顶点的期望数量为亚指数级，与低扭曲映射的存在性矛盾。
• 证明表明，当 $\alpha > 1/2$ 时，扭曲在 $n$ 上为超多项式增长，且延迟可能为超多项式增长。