[论文解读] Monotonicity in first-passage percolation

Jean-Baptiste Gouéré|arXiv (Cornell University)|Feb 13, 2012

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

一句话总结

本文建立了在 $ \mathbb{Z}^d $ 上首达通过渗滤中期望首达时间 $ a(n) = \mathbb{E}[T(0, ne_1)] $ 关于 $ n $ 非递减的充分条件。通过引入辅助通过时间的路径修改技术，证明了当 $ 0 < S_- \leq S_+ \leq 2S_- $ 时，有 $ a(n) \geq a(n-1) + S_- \left[1 - \frac{(S_+ - S_-)^2}{S_-^2}\right] $，在支持有界条件下确认了单调性。

ABSTRACT

We consider standard first-passage percolation on $\Z^d$. Let $e_1$ be the first coordinate vector. Let $a(n)$ be the expected passage time from the origin to $ne_1$. In this short paper, we note that $a(n)$ is increasing under some strong condition on the support of the law of the passage times on the edges.

研究动机与目标

• 建立从原点到 $ ne_1 $ 的期望首达时间 $ a(n) $ 关于 $ n $ 非递减的条件。
• 解决首达通过渗滤中通过时间单调性长期存在的猜想，特别是高维情形下的情况。
• 在边通过时间支持强约束下，使用路径修改与耦合技术，提供严谨证明。
• 将一维与平面模型中已知的单调性结果推广至一般 $ \mathbb{Z}^d $。

提出的方法

• 引入修改后的通过时间 $ \tau^i(e) $，使其在 $ H^i $ 上的边上为 0，在 $ V^i $ 上的边上为 $ +\infty $，其余边保持 $ \tau(e) $ 不变。
• 采用路径修改策略：对每个 $ i $，通过 $ H^i $ 重新路由路径以节省时间，同时考虑在 $ V^i $ 和 $ V^{i+1} $ 上时间的增加。
• 应用耦合与条件期望，比较 $ \mathbb{E}[T^i(0, ne_1)] $ 与 $ \mathbb{E}[T(0, ne_1)] $，利用 $ T^i(0, ne_1) $ 与 $ T(0, (n-1)e_1) $ 的对称性与同分布性。
• 通过对 $ i \in \{0, \dots, n-1\} $ 求和，推导出关键不等式 $ na(n-1) \leq na(n) - nS_- \left[1 - \frac{(S_+ - S_-)^2}{S_-^2}\right] $。
• 将方法推广至更一般条件，证明若 $ \left(\frac{a(n)}{nS_-} - 1\right)\left(\frac{\mathbb{E}[\tau(e)]}{S_-} - 1\right) \leq \frac{1}{2} $，则 $ a(n) \geq a(n-1) $。
• 利用 $ a(n)/n \to S_- $ 当 $ n \to \infty $ 的事实，即使 $ S_+ $ 无界，该条件对大 $ n $ 和大 $ d $ 仍成立。

实验结果

研究问题

• RQ1 在边通过时间分布满足何种条件时，期望首达时间 $ a(n) $ 关于 $ n $ 非递减？
• RQ2 能否在一般 $ \mathbb{Z}^d $ 上证明 $ a(n) $ 的单调性，而不仅限于一维或平面模型中的已知结果？
• RQ3 是否存在关于分布均值与支持的充分条件，可保证 $ a(n) \geq a(n-1) $，即使 $ S_+ $ 很大或无穷？
• RQ4 路径修改技术能否被调整，以导出涉及 $ \mathbb{E}[\tau(e)] $ 与 $ S_- $ 的一般充分条件？
• RQ5 渐近行为 $ a(n)/n \to S_- $ 是否意味着对大 $ n $，单调性最终成立？

主要发现

• 当 $ 0 < S_- \leq S_+ \leq 2S_- $ 时，序列 $ a(n) $ 非递减，且满足下界 $ a(n) \geq a(n-1) + S_- \left[1 - \frac{(S_+ - S_-)^2}{S_-^2}\right] $。
• 当边时间分布非退化时，单调性通常不成立，因为存在几乎必然无穷多个 $ N $，使得 $ T(0, (N-1)e_1) > T(0, Ne_1) $。
• 证明技术表明，$ T(0, ne_1) $ 以随机方式支配 $ n $ 个依赖的 $ T(0, (n-1)e_1) $ 的均值，暗示正相关效应。
• 推导出更一般的单调性充分条件：若 $ \left(\frac{a(n)}{nS_-} - 1\right)\left(\frac{\mathbb{E}[\tau(e)]}{S_-} - 1\right) \leq \frac{1}{2} $，则 $ a(n) \geq a(n-1) $，即使 $ S_+ = \infty $ 也成立。
• 对大 $ n $ 和 $ d $，若 $ \mathbb{E}[\tau(e)] \leq (1 + 2^{-1/2})S_- $，则单调性成立，因为 $ a(n)/n \to S_- $，使得不等式渐近满足。
• 该结果可推广至受限通过时间 $ a'(n) $，其中路径被限制在 $ \{0 \leq x_1 \leq n\} $ 内，且在相同条件下仍保持单调性。