[论文解读] Tightness of Liouville first passage percolation for $γ\in (0,2)$

Jian Ding, Julien Dubédat+2 more|arXiv (Cornell University)|Apr 16, 2019

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

一句话总结

本文证明了对所有 $\gamma \in (0,2)$，Liouville 第一通路渗滤（LFPP）度量的紧致性，表明在一致拓扑下，归一化度量 $\lambda_{\delta}^{-1}e^{\xi \phi_{\delta}}ds$ 收敛于分布。关键结果是，所有子列极限几乎必然关于欧氏度量为双 Hölder 连续，这确认了构建 Liouville 量子重力度量过程中的一个核心步骤。

ABSTRACT

We study Liouville first passage percolation metrics associated to a Gaussian free field $h$ mollified by the two-dimensional heat kernel $p_t$ in the bulk, and related star-scale invariant metrics. For $γ\in (0,2)$ and $ξ= \fracγ{d_γ}$, where $d_γ$ is the Liouville quantum gravity dimension defined in [Ding-Gwynne18], we show that renormalized metrics $(λ_t^{-1} e^{ξp_t * h} ds)_{t \in (0,1)}$ are tight with respect to the uniform topology. In particular, we show that subsequential limits are bi-Hölder with respect to the Euclidean topology, obtain tail estimates for side-to-side distances and derive error bounds for the normalizing constants $λ_t$.

研究动机与目标

• 严格建立对所有 $\gamma \in (0,2)$ 的 Liouville 第一通路渗滤（LFPP）度量的紧致性，该参数范围下 LQG 度量尚未完全构造完成。
• 证明归一化 LFPP 度量的子列极限几乎必然关于欧氏度量为双 Hölder 连续。
• 推导左-右穿越长度的尾部估计以及归一化常数 $\lambda_{\delta}$ 的误差界。
• 通过去耦合与标度论证，将离散序列 $\delta = 2^{-n}$ 上的结果推广至所有 $\delta \in (0,1)$。

提出的方法

• 通过时空白噪声与热核卷积构造平滑高斯自由场 $\phi_{\delta}$，以确保良好的标度与不变性性质。
• 定义 LFPP 度量 $e^{\xi \phi_{\delta}}ds$，其中 $\xi = \gamma / d_\gamma$，$d_\gamma$ 为 Liouville 量子重力维数。
• 引入通过 $\lambda_{\delta}$（即左-右穿越长度的中位数）进行的归一化，以在归一化下稳定度量。
• 应用 Russo-Seymour-Welsh（RSW）估计，以控制随机几何设定下的穿越概率。
• 利用集中不等式与 Kolmogorov 连续性准则，推导归一化穿越长度的尾部界。
• 通过低频噪声的去耦合与 $\lambda_{\delta}$ 的弱乘法性，将结果从 dyadic $\delta = 2^{-n}$ 推广至所有 $\delta \in (0,1)$。

实验结果

研究问题

• RQ1 在所有 $\gamma \in (0,2)$ 下，归一化 LFPP 度量序列 $\lambda_{\delta}^{-1}e^{\xi \phi_{\delta}}ds$ 在 $[0,1]^2 \times [0,1]^2$ 上的一致拓扑下是否紧致？
• RQ2 归一化 LFPP 度量的子列极限是否几乎必然关于欧氏度量为双 Hölder 连续？
• RQ3 归一化左-右穿越长度 $\lambda_{\delta}^{-1}L_{a,b}^{(\delta)}$ 的尾部估计为何？
• RQ4 归一化常数 $\lambda_{\delta}$ 在标度与复合下如何行为？可建立何种误差界？
• RQ5 沿 dyadic 序列 $\delta = 2^{-n}$ 推导出的结果能否推广至所有 $\delta \in (0,1)$？

主要发现

• 对所有 $\gamma \in (0,2)$，归一化度量序列 $\lambda_{\delta}^{-1}e^{\xi \phi_{\delta}}ds$ 在 $[0,1]^2 \times [0,1]^2$ 上的一致拓扑下是紧致的。
• 任何归一化度量的子列极限在 $[0,1]^2$ 上几乎必然关于欧氏度量为双 Hölder 连续。
• 建立了尾部估计：当 $s > 2$ 时，有 $\mathbb{P}(\lambda_{\delta}^{-1}L_{a,b}^{(\delta)} \geq e^s) \leq Ce^{-c s^2 / \log s}$ 且 $\mathbb{P}(\lambda_{\delta}^{-1}L_{a,b}^{(\delta)} \leq e^{-s}) \leq Ce^{-c s^2}$。
• 归一化常数 $\lambda_{\delta}$ 满足弱乘法性：$\lambda_{\delta \delta'} \asymp \lambda_{\delta} \lambda_{\delta'} \exp(\pm C \sqrt{\log|\delta \vee \delta'|})$。
• 通过低频噪声的去耦合与标度论证，将结果从 $\delta = 2^{-n}$ 推广至所有 $\delta \in (0,1)$。
• 紧致性结果为 LQG 度量的完整构造提供了基础步骤，该工作在后续研究 [27, 19, 28, 25, 26] 中得以完成。