[논문 리뷰] Diffusion in planar Liouville quantum gravity

Nathanaël Berestycki|arXiv (Cornell University)|2013. 01. 15.

Stochastic processes and statistical mechanics참고 문헌 7인용 수 8

한 줄 요약

이 논문은 평면 리우빌 양자 중력에서 가우시안 자유 장을 정규화하여 연속적인 확산 과정을 구성하고, 등각 시간 변화를 통한 시간 변화된 브라운 운동을 정의한다. 이 과정은 거의 확실히 연속적이며, 등각 불변이며, 르베그 거의 전 시간 동안 γ-두께 점의 집합에 머무르며, α > γ인 경우 α-두께 점에 머무르는 시간의 하우스도르프 차원은 거의 확실히 0이다.

ABSTRACT

We construct the natural diffusion in the random geometry of planar Liouville quantum gravity. Formally, this is the Brownian motion in a domain $D$ of the complex plane for which the Riemannian metric tensor at a point $z \in D$ is given by $\exp (γh(z) - \frac12 γ^2 \E (h(z)^2))$. Here $h$ is an instance of the Gaussian Free Field on $D$ and $γ\in (0,2)$ is a parameter. We show that the process is almost surely continuous and enjoys certain conformal invariance properties. We also estimate the Hausdorff dimension of times that the diffusion spends in the thick points of the Gaussian Free Field, and show that it spends Lebesgue-almost all its time in the set of $γ$-thick points, almost surely. The diffusion is constructed by a limiting procedure after regularisation of the Gaussian Free Field. The proof is inspired by arguments of Duplantier--Sheffield for the convergence of the Liouville quantum gravity measure, previous work on multifractal random measures, and relies also on estimates on the occupation measure of planar Brownian motion by Dembo, Peres, Rosen and Zeitouni. A similar but deeper result has been independently and simultaneously proved by Garban, Rhodes and Vargas.

연구 동기 및 목표

• 평면 리우빌 양자 중력의 무작위 기하학에서 메트릭이 가우시안 자유 장 h에 대해 exp(γh(z) − γ²/2𝔼[h(z)²])로 형식적으로 주어지는 경우, 자연스러운 확산 과정을 정의하는 것.
• 분포의 지수로 정의된 메트릭이 잘 정의되지 않는 문제를 해결하기 위해, GFF를 정규화한 후의 극한 절차를 통해 확산을 구성하는 것.
• 결과로 얻어진 과정이 거의 확실히 연속적이며, 등각 불변 성질을 갖는다는 것을 증명하는 것.
• GFF의 다중분포 구조를 가진 γ-두께 점 집합에서의 확산 시간 분포를 분석하는 것.
• α > γ인 경우, 확산이 α-두께 점에 머무르는 시간 집합의 하우스도르프 차원을 계산하여 거의 확실히 0임을 보이는 것.

제안 방법

• GFF h를 척도 r_n에서 스무딩하여 h_{r_n}을 정규화함으로써 잘 정의된 메트릭 텐서를 정의한다.
• 영역 D에서 표준 브라운 운동 B_t와 시간 함수 μ(t) = ∫₀ᵗ exp(γ h_{r_n}(B_s) + γ²/2 log r_n) ds를 조합하여 시간 변화된 브라운 운동 Z_t를 정의한다.
• 이토의 공식과 평면 브라운 운동의 등각 불변성을 이용하여 시간 변화를 국소 메트릭과 연결함으로써, 과정이 양자 기하학을 존중함을 보장한다.
• 레비의 연속성 모듈러스와 Dembo, Peres, Rosen, Zeitouni의 평면 브라운 운동의 점유 측도에 대한 추정을 적용하여 국소 행동을 제어한다.
• 시간 간격의 네트워크 [t_{nj} − r_n², t_{nj} + r_n²]를 구성하고, 정규화된 장이 임계값 (α − δ) log(1/r_n)를 초과하는 인덱스 j의 집합 𝒥_n을 정의함으로써 α-두께 점 방문 가능성을 식별한다.
• 시간 변화된 간격에 대한 균일한 적분 가능성과 모멘트 추정을 이용하여 역 시간 함수에 의한 이러한 간격의 이미지 직경을 유계로 제어함으로써 하우스도르프 차원 추정을 가능하게 한다.

실험 결과

연구 질문

• RQ1 메트릭이 분포의 지수로 형식적으로 정의된다는 점을 감안할 때, 평면 리우빌 양자 중력의 맥락에서 자연스러운 확산 과정을 엄밀히 정의할 수 있는가?
• RQ2 구성된 확산 과정은 무작위 기하학에서 거의 확실히 연속적이며, 등각 불변성을 갖는가?
• RQ3 α > γ인 경우, GFF의 α-두께 점에 머무르는 시간 집합의 하우스도르프 차원은 얼마인가?
• RQ4 확산이 γ-두께 점에 머무르는 시간은 르베그 측도와 어떻게 비교되는가?
• RQ5 정규화를 통한 시간 변화된 브라운 운동 구성 방식이 기하 차원의 KPZ 유형 스케일링을 존중하는 과정을 유도할 수 있는가?

주요 결과

• 기하학이 무작위적이며 분포적임에도 불구하고, 확산 과정은 거의 확실히 연속적이며 등각 불변성을 갖는다.
• 과정은 거의 확실히 르베그 거의 전 시간 동안 GFF의 γ-두께 점 집합에 머무른다.
• α > γ인 경우, 확산이 α-두께 점에 머무르는 시간 집합의 하우스도르프 차원은 거의 확실히 0이다.
• 증명은 시간 변화된 간격을 이용한 커버링 추론에 기반하며, 조건부 기대값 하에서 각 이미지 간격의 직경이 r_n^{2−γα+γ²/2}로 기대값에서 유계로 제어된다.
• 이러한 간격의 기대 개수는 r_n^{−2 + α²/2 − δα + o(1)}로 증가하며, δ가 작고 적절히 η를 선택할 경우 q < 1인 경우 총 q차원 하우스도르프 측도는 0이 된다.
• 결과는 KPZ 관계와 일치하며, 이는 시간 분포가 GFF의 다중분포적 구조를 반영한다는 것을 시사한다.