[논문 리뷰] A mating-of-trees approach for graph distances in random planar maps

Ewain Gwynne, Nina Holden외 1명|arXiv (Cornell University)|2017. 11. 02.

Stochastic processes and statistical mechanics참고 문헌 56인용 수 11

한 줄 요약

이 논문은 γ ∈ (0, 2) 인 γ-리우빌 양자 중력(LQG) 보편성 계열에 속하는 무작위 평면 지도에서 그래프 거리 볼의 비자명한 상한과 하한을 유도하기 위해 나무의 결합 기법을 도입한다. 이러한 지도의 인코딩 랜덤 워크를 상관된 브라운 운동에 강하게 결합함으로써, 이전에 연속 이론을 통해 확립된 mated-CRT 지도에서의 거리 추정치를 이산 무작위 평면 지도로 이전시킨다. 이로써 스패닝 트리, 바이폴라 방향, 셴이너 우드에 의해 가중된 지도에 대해 처음으로 비자명한 상한을 얻었으며, p8/3-mated-CRT 지도에 대해서는 더 날카로운 상한을 확보하였다.

ABSTRACT

Abstract: We introduce a general technique for proving estimates for certain random planar maps which belong to the γ-Liouville quantum gravity (LQG) universality class for γ∈(0, 2). The family of random planar maps we consider are those which can be encoded by a two-dimensional random walk with i.i.d. increments via a mating-of-trees bijection, and includes the uniform infinite planar triangulation (UIPT; γ=8/3); and planar maps weighted by the number of different spanning trees (γ=2), bipolar orientations (γ=4/3), or Schnyder woods (γ=1) that can be put on the map. Using our technique, we prove estimates for graph distances in the above family of random planar maps. In particular, we obtain non-trivial upper and lower bounds for the cardinality of a graph distance ball consistent with the Watabiki (Prog Theor Phys Suppl 114:1–17, 1993) prediction for the Hausdorff dimension of γ-LQG and we establish the existence of an exponent for certain distances in the map. The basic idea of our approach is to compare a given random planar map M to a mated-CRT map—a random planar map constructed from a correlated two-dimensional Brownian motion—using a strong coupling (Zaitsev in ESAIM Probab Stat 2:41–108, 1998) of the encoding walk for M and the Brownian motion used to construct the mated-CRT map. This allows us to deduce estimates for graph distances in M from the estimates for graph distances in the mated-CRT map which we proved (using continuum theory) in a previous work. In the special case when γ=8/3, we instead deduce estimates for the 8/3-mated-CRT map from known results for the UIPT. The arguments of this paper do not directly use SLE/LQG, and can be read without any knowledge of these objects.

연구 동기 및 목표

• γ-리우빌 양자 중력(LQG) 보편성 계열에 속하는 무작위 평면 지도에서 그래프 거리 추정을 위한 일반적 프레임워크를 개발하는 것.
• 상관된 브라운 운동으로 구성된 mated-CRT 지도에서의 거리 추정치를 강한 결합을 통해 이산 무작위 평면 지도로 확장하는 것.
• 스패닝 트리, 바이폴라 방향, 셴이너 우드에 의해 가중된 지도의 그래프 거리 볼의 원소 수에 대한 처음으로 비자명한 상한을 제공하는 것.
• p8/3-mated-CRT 지도에 대한 거리 추정치를 개선하여 [GHS19]의 결과를 초월하는 것.

제안 방법

• 무작위 평면 지도의 인코딩 랜덤 워크와 상관된 이차원 브라운 운동 사이에 강한 결합(Zaitsev, 1998)을 사용하는 것.
• 이전에 연속 이론을 통해 그래프 거리 추정치가 확립된 연속적 대체물인 mated-CRT 지도를 활용하는 것.
• 결합을 통해 mated-CRT 지도와 이산 지도가 고려할 만한 비율의 다항로그 인자 내에서 거의 등거리 변환임을 보이는 것.
• 나무의 결합을 통한 평면 지도와 i.i.d. 증분 워크의 이중성 관계를 활용하여 지도를 인코딩하는 것.
• UIPT, 스패닝 트리로 장식된, 바이폴라 방향으로 장식된, 셴이너 우드로 장식된 지도와 같은 특정 지도 모델을 각각 그들만의 이중성 관계를 통해 개별적으로 다루는 것.
• 결합을 통해 mated-CRT 지도에서의 거리 추정치를 이산 지도로 이전시키며, 이 결합이 로그 인자 내에서 거리 구조를 유지한다는 사실에 기반하는 것.

실험 결과

연구 질문

• RQ1 스패닝 트리, 바이폴라 방향, 또는 셴이너 우드에 의해 가중된 무작위 평면 지도에서 그래프 거리 볼에 대한 비자명한 상한을 확립할 수 있는가?
• RQ2 mated-CRT 지도는 그래프 거리 척도 측면에서 이산 무작위 평면 지도에 대한 강력한 대체물로 기능하는가?
• RQ3 Watabiki(1993)의 γ-LQG에 대한 하우스도르프 차원 예측을 γ-LQG 보편성 계열 내의 이산 추정치를 통해 확인할 수 있는가?
• RQ4 γ-LQG 무작위 평면 지도에서의 거리 척도 지수 χ는 무엇이며, 이는 그로모프-하우스도르프 척도 극한과 일치하는가?
• RQ5 p8/3-mated-CRT 지도에 대한 결과는 [GHS19]의 기존 상한을 초월하여 향상시킬 수 있는가?

주요 결과

• 논문은 γ-LQG 무작위 평면 지도에서 그래프 거리 볼의 원소 수에 대해 Watabiki의 하우스도르프 차원 예측과 일치하는 비자명한 상한과 하한을 확립하였다.
• 논문은 거리에 대한 스케일링 지수 χ의 존재를 증명하였으며, 이는 γ ≤ √2 인 경우에 그로모프-하우스도르프 척도 극한을 지배할 것으로 예상된다.
• p8/3-mated-CRT 지도에 대해서는 [GHS19]의 결과를 초월하는 더 날카로운 거리 상한을 확보하였다.
• 스패닝 트리(γ = √2), 바이폴라 방향(γ = p4/3), 셴이너 우드(γ = 1)에 의해 가중된 무작위 평면 지도에 대해 처음으로 비자명한 그래프 거리 상한을 도출하였다.
• 이 결합 기법을 통해 mated-CRT 지도의 거리 추정치를 다항로그 인자 내에서 높은 확률로 이산 지도로 이전시킬 수 있었으며, 이는 메트릭 정보의 유지에 기여하였다.
• 결과는 강건하며, i.i.d. 증분 워크로 인코딩된 나무의 결합 이중성 관계를 가진 임의의 지도 모델로도 확장 가능하므로 광범위한 적용 가능성을 시사한다.