[论文解读] Tightness of supercritical Liouville first passage percolation

Jian Ding, Ewain Gwynne|arXiv (Cornell University)|May 27, 2020

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

一句话总结

该论文证明了在超临界相（$ξ > \xi_{Σρτ}$）下重缩放的刘维尔首项通过渗滤（LFPP）度量的紧致性，证明了所有子列极限均为完备的、非欧几里得的度量，其中大多数点彼此之间距离为无穷大而孤立。结果表明该极限与物质中心电荷在$(1,25)$范围内的刘维尔量子引力存在联系，扩展了此前对亚临界相的研究。

ABSTRACT

Liouville first passage percolation (LFPP) with parameter $ξ>0$ is the family of random distance functions $\{D_h^ε\}_{ε>0}$ on the plane obtained by integrating $e^{ξh_ε}$ along paths, where $h_ε$ for $ε>0$ is a smooth mollification of the planar Gaussian free field. Previous work by Ding-Dubédat-Dunlap-Falconet and Gwynne-Miller has shown that there is a critical value $ξ_{\mathrm{crit}} > 0$ such that for $ξ< ξ_{\mathrm{crit}}$, LFPP converges under appropriate re-scaling to a random metric on the plane which induces the same topology as the Euclidean metric (the so-called $γ$-\emph{Liouville quantum gravity metric} for $γ= γ(ξ)\in (0,2)$). We show that for all $ξ> 0$, the LFPP metrics are tight with respect to the topology on lower semicontinuous functions. For $ξ> ξ_{\mathrm{crit}}$, every possible subsequential limit $D_h$ is a metric on the plane which does \emph{not} induce the Euclidean topology: rather, there is an uncountable, dense, Lebesgue measure-zero set of points $z\in\mathbb C $ such that $D_h(z,w) = \infty$ for every $w\in\mathbb C\setminus \{z\}$. We expect that these subsequential limiting metrics are related to Liouville quantum gravity with matter central charge in $(1,25)$.

研究动机与目标

• 在超临界相（$\xi > \xi_{\mathrm{crit}}$）下建立重缩放刘维尔首项通过渗滤（LFPP）度量的紧致性。
• 表征当$\xi > \xi_{\mathrm{crit}}$时LFPP度量子列极限的结构，特别是其拓扑与几何性质。
• 将已知的亚临界相（$\xi < \xi_{\mathrm{crit}}$）下的收敛结果扩展至超临界区域，其中极限度量不诱导欧几里得拓扑。
• 将超临界相中LFPP的极限行为与物质中心电荷在$(1,25)$范围内的刘维尔量子引力联系起来。

提出的方法

• 使用次可加性论证，为所有$\xi > 0$建立距离指数$Q(\xi)$的存在性，该指数控制归一化常数$\mathfrak{a}_\varepsilon$的缩放。
• 应用Efron-Stein型集中不等式，控制平面中二进制环形区域上左右穿越距离的波动。
• 建立围绕和穿越环形区域的距离的矩估计与边界，以控制不同尺度下LFPP距离的方差。
• 将$D_h^\varepsilon$与GFF的白噪声近似进行比较，将更简单模型中的估计结果转移至完整的LFPP设定中。
• 利用高斯集中与尾部估计（例如，引理A.2）控制场$h_\varepsilon^*$的指数矩，这对控制度量的行为至关重要。
• 证明极限度量$D_h$的下半连续性与三角不等式，确保其在$\mathbb{C}$上为定义良好的广义度量。

实验结果

研究问题

• RQ1 在超临界相（$\xi > \xi_{\mathrm{crit}}$）下，刘维尔首项通过渗滤（LFPP）的渐近行为是什么？
• RQ2 重缩放的LFPP度量$\mathfrak{a}_\varepsilon^{-1} D_h^\varepsilon$在超临界区域是否具有子列缩放极限？
• RQ3 当$\xi > \xi_{\mathrm{crit}}$时，LFPP的子列极限表现出何种拓扑与几何性质？
• RQ4 与亚临界情况相比，极限度量的结构有何不同，特别是在完备性与所诱导拓扑方面？
• RQ5 超临界LFPP极限与物质中心电荷在$(1,25)$范围内的刘维尔量子引力之间是否存在联系？

主要发现

• 对所有$\xi > 0$，重缩放的LFPP度量$\mathfrak{a}_\varepsilon^{-1} D_h^\varepsilon$在$\mathbb{C} \times \mathbb{C}$上关于下半连续函数的拓扑是紧致的。
• 在超临界相（$\xi > \xi_{\mathrm{crit}}$）下，每个子列极限$D_h$都是一个不诱导欧几里得拓扑的完备广义度量。
• 当$\xi > \xi_{\mathrm{crit}}$时，存在一个不可数的、稠密的、勒贝格测度为零的点集$z \in \mathbb{C}$，使得对所有$w \neq z$有$D_h(z,w) = \infty$，表明大多数点是孤立的。
• 距离指数$Q(\xi)$存在，且满足$\mathfrak{a}_\varepsilon = \varepsilon^{1 - \xi Q(\xi) + o_\varepsilon(1)}$当$\varepsilon \to 0$时，其中$Q(\xi)$在$(0, 0.7)$上连续、严格递减，在$(0, \infty)$上非增。
• 临界值$\xi_{\mathrm{crit}}$满足$0.4135 \leq \xi_{\mathrm{crit}} \leq 0.4189$，且当$\xi > \xi_{\mathrm{crit}}$时处于超临界相，此时极限度量为非欧几里得。
• 作者预计超临界极限将对应于物质中心电荷在$(1,25)$范围内的刘维尔量子引力，扩展了亚临界相中已知的对应关系。