[논문 리뷰] Tightness of Liouville first passage percolation for $γ\in (0,2)$

Jian Ding, Julien Dubédat외 2명|arXiv (Cornell University)|2019. 04. 16.

Stochastic processes and statistical mechanics참고 문헌 45인용 수 10

한 줄 요약

이 논문은 모든 $\gamma \in (0,2)$ 에 대해 리우빌 제1통과 퍼콜레이션(Liouville first-passage percolation, LFPP) 거리 척도의 날카러미를 확립하며, 정규화된 거리 척도 $\lambda_{\delta}^{-1}e^{\xi \phi_{\delta}}ds$ 가 균일 위상에서 확률적으로 수렴함을 보인다. 핵심 결과는 체계적 극한이 유클리드 거리 척도에 대해 거의 확실히 이중- Hölder 연속임을 보여주며, 리우빌 양자 중력(Liouville quantum gravity) 거리 척도를 구성하는 데 핵심적인 단계를 확인한다.

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)$ 에서 리우빌 제1통과 퍼콜레이션(Liouville first-passage percolation, 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$ 는 리우빌 양자 중력 차원이다.
• 정규화를 위해 $\lambda_{\delta}$ 를 도입하며, 이는 좌우 횡단 길이의 중앙값으로 정의되어 정규화 과정에서 거리 척도의 안정성을 확보한다.
• 랜덤 기하학적 설정에서 횡단 확률를 제어하기 위해 러소-세이모어-웰시(Russo-Seymour-Welsh, RSW) 추정을 적용한다.
• 집중 불등식과 콜모고로프 연속성 기준을 사용하여 정규화된 횡단 길이에 대한 尾사슬 추정을 도출한다.
• 이진 $\delta = 2^{-n}$ 에서부터 모든 $\delta \in (0,1)$ 으로의 확장을 위해 저주파 노이즈 분리와 $\lambda_{\delta}$ 의 약한 곱셈성 특성을 활용한다.

실험 결과

연구 질문

• 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 이진 수열 $\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)$ 으로 확장하였다.
• 날카러미 결과는 리우빌 양자 중력 거리 척도의 완전한 구성에 대한 기초 단계를 제공하며, 이는 후속 연구들 [27, 19, 28, 25, 26] 에서 완료되었다.