[论文解读] Percolation critical probabilities of matching lattice-pairs

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

Stochastic processes and statistical mechanics被引用 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^* $ 上的临界概率的条件，特别是在非欧几何（双曲）情形下。
• 解决关于单连通、准传递、平面图 $ G $ 及其匹配图 $ G^* $ 的 $ p_c(G^*) < p_c(G) $ 的开放问题。
• 通过双曲几何与度量方法，将已知在可迁格点（如正方形、三角形格点）上的临界概率结果推广至非可迁、双曲图。
• 建立与 $ p_u^\text{site}(G) + p_c^\text{site}(G^*) = 1 $ 相辅相成的结果，阐明唯一无限簇与存在无限簇之间的关系。

提出的方法

• 将增强法（enhancement method）适配于双曲几何及非可迁、准传递图上的位点渗滤。
• 在庞加莱圆盘模型中，通过对测地线路径 $ \Gamma^+ $ 应用牛角移除（oxbow-removal）技术，构造 $ G^* $ 中一条无限的非自触碰路径 $ \nu $。
• 通过遍历 $ G $ 的面与边，定义 $ G^* $ 中的一条路径 $ w = (w_0, w_1, \dots) $，确保路径上 $ p $-值严格递增。
• 利用双曲距离与投影的度量论证，证明对所有边 $ e \in E $，有 $ p(\nu_t) - p(\nu_s) > \rho(\pi(e)) $，从而表明路径非自触碰。
• 采用改进的牛角移除技术，确保所得路径 $ \nu $ 为非自触碰且 $ p $-值严格递增。
• 将此类路径的存在性作为 $ p_c(G^*) < p_c(G) $ 的充分条件，并通过反证法与测地线分析证明其必要性。

实验结果

研究问题

• RQ1 对于单连通、准传递、平面图 $ 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^* $ 包含一条包含至少一条 $ G $ 的对角线的双无限、非自触碰路径。
• 对于传递的单连通图，$ p_c(G^*) < p_c(G) $ 成立当且仅当 $ G $ 不是三角剖分。
• 对所有传递的单连通图，不等式 $ p_u^\text{site}(G) + p_c^\text{site}(G) \geq 1 $ 成立，且等式成立当且仅当 $ G $ 是三角剖分。
• 该结果通过在双曲庞加莱圆盘模型中对牛角移除技术的精细化应用得以建立，确保构造路径上 $ p $-值严格递增。
• 该方法可推广至准传递图，尽管尚未完全刻画其必要且充分条件，准传递情形在附录文献 [12] 中有详细处理。
• 证明依赖于在 $ G^* $ 中构造一条 $ p $-值严格递增且非自触碰的路径 $ \nu $，并利用度量估计与测地线投影进行验证。