[논문 리뷰] Compact Brownian surfaces I. Brownian disks

Jérémie Bettinelli, Grégory Miermont|arXiv (Cornell University)|2015. 07. 31.

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

한 줄 요약

이 논문은 고정된 둘레를 가진 큰 무작위 평면 이분할 맵의 수렴성을, 닫힌 단위 원판과 위상동형인 한 매개변수를 가진 무작위 거리 공간인 브라운 운동 디스크 $\ mathrm{BD}_L$로 규명한다. 슈에퍼 이중사상과 레이블된 트리의 척도 극한을 이용하여, 적절한 척도 조정 하에 이러한 맵들이 과거-하우스도르프 위상에서 $\ mathrm{BD}_L$로 분포 수렴함을 증명한다. 이는 균일한 4각형 맵이 브라운 운동 맵으로 수렴하는 경우(즉, $L=0$의 경우)를 일반화한 결과이다.

ABSTRACT

We show that, under certain natural assumptions, large random plane bipartite maps with a boundary converge after rescaling to a one-parameter family ($\mathrm{BD}_L$, $0 < L < \infty$) of random metric spaces homeomorphic to the closed unit disk of $\mathbb{R}^2$, the space $\mathrm{BD}_L$ being called the Brownian disk of perimeter $L$ and unit area. These results can be seen as an extension of the convergence of uniform plane quadrangulations to the Brownian map, which intuitively corresponds to the limit case where $L = 0$. Similar results are obtained for maps following a Boltzmann distribution, in which the perimeter is fixed but the area is random.

연구 동기 및 목표

• 고정된 둘레 둘레를 가진 큰 랜덤 평면 이분할 맵의 척도 극한의 존재성과 유일성을 확립하는 것.
• 닫힌 단위 원판과 위상동형인 한 매개변수를 가진 랜덤 거리 공간의 가족인 $\mathrm{BD}_L$를 정의하고 특성화하는 것.
• 균일한 4각형 맵이 브라운 운동 맵으로 수렴하는 경우($L=0$의 경우)를 둘레 길이 $L>0$인 경우로 일반화하는 것.
• 면적이 랜덤이지만 둔장이 고정된 볼츠만 분포를 가진 랜덤 맵에 대해 수렴을 증명하는 것.
• 임의의 종수를 가진 컴act 브라운 운동 표면을 디스크를 빌딩 블록으로 하여 체계적으로 구성하기 위한 엄밀한 기반을 제공하는 것.

제안 방법

• 평면 4각형 맵과 경계를 레이블된 트리로 표현하기 위해 슈에퍼 이중사상을 활용하며, 이는 특정한 높이 및 레이블 과정을 포함한다.
• 첫 번째 통과 다리 이론과 무작위 연속림 숲 이론을 적용하여 트리 표현의 척도 극한을 모델링한다.
• 트리 표현의 윤곽선 및 레이블 과정을 묘사하기 위해 '뱀'의 개념을 사용하여 연속 극한 과정으로의 수렴을 가능하게 한다.
• 불변 원리에 의해 인코딩 과정(백색 윤곽선 및 레이블 과정)이 브라운 운동과 그 국소 시간으로 수렴함을 확립한다.
• 보티에르-디프랑소-기터 이중사상을 활용하여 면적이 랜덤이지만 둘레가 고정된 볼츠만 분포 맵으로 결과를 확장한다.
• 셰페의 보조정리와 무거운 尾 꼬리 합의 경계를 적용하여 점 과정 측도의 수렴과 점 제거 절차를 제어한다.

실험 결과

연구 질문

• RQ1 고정된 둘레 길이 $L>0$를 가진 큰 랜덤 평면 이분할 맵의 보편적 척도 극한은 무엇인가?
• RQ2 브라운 운동 디스크 $\mathrm{BD}_L$로의 수렴은 균일한 4각형 맵이 브라운 운동 맵으로 수렴하는 것으로 알려진 결과를 어떻게 일반화하는가?
• RQ3 수렴 결과는 면적이 랜덤이지만 둘레가 고정된 볼츠만 분포 맵으로 확장될 수 있는가?
• RQ4 슈에퍼 이중사상과 레이블된 트리 인코딩은 척도 극한을 확립하는 데 어떤 역할을 하는가?
• RQ5 조건부 무작위 숲에 대한 불변 원리가 브라운 운동 디스크 거리 공간으로의 수렴을 어떻게 보장하는가?

주요 결과

• 둘레가 $L$인 랜덤 평면 이분할 맵의 척도 조정된 수열은 과거-하우스도르프 위상에서 브라운 운동 디스크 $\mathrm{BD}_L$로 분포 수렴한다.
• 브라운 운동 디스크 $\mathrm{BD}_L$는 단위 면적과 둘레 길이 $L$을 가진 닫힌 단위 원판과 위상동형인 랜덤 거리 공간이다.
• 극한 $\ mathrm{BD}_L$는 보편적이다: 둘레가 고정되어 있고 약간의 조건을 만족하는 한, 특정한 맵 모델에 따라 달라지지 않는다.
• 면적이 랜덤이지만 둘레가 고정된 볼츠만 분포 맵에 대해 척도 조정된 맵은 랜덤 거리 공간 $\ mathrm{FBD}_1$로 수렴하며, 이는 $\ mathrm{BD}_1$에 랜덤 척도 인자 곱한 것과 동일한 분포를 가진다.
• 수렴은 윤곽선 및 레이블 과정의 인코딩 과정이 브라운 운동과 그 국소 시간으로 수렴함에 따라 확립되며, 극한 측도는 베셀 함수 밀도로 표현된다.
• 브라운 운동 디스크의 극한 측도는 밀도 $j_1(A)$로 특성화되며, 이 수렴은 컴팩트 거리 공간 위의 모든 연속 유계 함수성에 대해 분포 수렴으로 성립한다.