[논문 리뷰] The continuum random tree is the scaling limit of unlabelled unrooted trees

Benedikt Stufler|arXiv (Cornell University)|2014. 12. 19.

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

한 줄 요약

이 논문은 n개의 정점과 고정된 집합 Ω에 제한된 정점 차수를 가진 균일한 레이블 없이 루트가 없는 트리가 적절한 스케일링을 거친 후, 고르게 Gromov–Hausdorff 수렴을 이루며, 이는 Aldous의 오랜 추측을 확인한다. 증명은 루트가 없는 트리를 큰 Pólya 트리와 결합할 수 있도록 해주는 새로운 사이클 포인팅 분해를 사용하여, 루트가 있는 구조로의 점점 더 많은 점근적 성질을 이전할 수 있게 한다.

ABSTRACT

We prove that the uniform unlabelled unrooted tree with n vertices and vertex degrees in a fixed set converges in the Gromov-Hausdorff sense after a suitable rescaling to the Brownian continuum random tree. This proves a conjecture by Aldous. Moreover, we establish Benjamini-Schramm convergence of this model of random trees.

연구 동기 및 목표

• 레이블 없고 루트가 없는 트리의 정점 차수를 고정된 집합 Ω로 제한할 때, 연속적인 랜덤 트리(CRT)가 레이블 없고 루트가 없는 트리의 스케일링 극한임을 증명하는 것.
• 레이블 없고 루트가 없는 트리가 무한한 루트가 있는 극한 트리로 Benjamini–Schramm 수렴함을 확립하는 것.
• Pólya 트리에서의 점근적 성질(예: 덧셈적 및 극값 그래프 매개변수)을 레이블 없고 루트가 없는 트리로 옮기는 일반적인 근사 프레임워크를 개발하는 것.
• 루트가 있는 트리 모델과 루트가 없는 트리 모델 양쪽에서 정점 차수 제약 조건을 통합적으로 다루는 것.

제안 방법

• Bodirsky 등이 제안한 사이클 포인팅 분해를 활용하여 루트가 없는 트리를 사이클 중심으로 정렬하고, 거의 같은 크기의 Pólya 트리와 결합할 수 있도록 한다.
• 총 크기와 사이클에 연결된 부수적 트리의 부피를 추적하는 이변수 생성함수를 사용하여 사이클 길이와 부수적 트리 크기의 분포를 분석한다.
• 특이점 분석과 국소 극한정리 정리를 적용하여 Pólya 트리의 생성함수 구조를 활용해 핵심 부분과 부수적 트리의 크기의 점근적 경계를 도출한다.
• 루트가 없는 트리와 큰 Pólya 트리의 루트 정점과 작은 잔여 트리의 루트 정점을 식별하여 형성된 결합 트리 간의 총 변동 거리에 대한 경계를 설정한다.
• Pólya 트리의 생성함수에서 외부 차수 집합 Ω*를 고려할 때 주요 특이점이 반경 ρ에서 발생함을 이용하여 정확한 점근적 수세기 가능하다.
• 이전 정리들을 적용하여, 루트가 없는 트리에서 국소 매개변수(예: 차수, 부수적 트리 수)의 분포가 해당 Pólya 트리 모델의 성질을 그대로 이어받음을 보여준다.

실험 결과

연구 질문

• RQ1 고정된 집합 Ω에 속하는 정점 차수를 가진 n개의 정점으로 이루어진 균일한 레이블 없고 루트가 없는 트리가 $ e_ ext{Ω} n^{-1/2} $로 스케일링된 후, Gromov–Hausdorff 수렴을 통해 브라운 운동 연속 랜덤 트리(CRT)로 수렴하는가?
• RQ2 균일한 레이블 없고 루트가 없는 트리가 Benjamini–Schramm 수렴을 통해 무한한 루트가 있는 트리로 수렴하는가? 만약 그렇다면, 그 극한은 무엇인가?
• RQ3 레이블 없고 루트가 없는 트리에서의 극값 및 덧셈적 그래프 매개변수(예: 지름, 최대 차수, 부수적 트리 수)의 점근적 행동은 Pólya 트리에서의 행동으로부터 유추될 수 있는가?
• RQ4 정점 차수 제약 조건 하에서, 레이블 없고 루트가 없는 트리에서 핵심(사이클 구조)과 부수적 트리의 크기의 정확한 점근적 분포는 무엇인가?
• RQ5 사이클 포인팅 분해는 루트가 없는 트리와 Pólya 트리 사이에 정량적 결합을 어떻게 가능하게 하는가? 오차 경계는 무엇인가?

주요 결과

• n개의 정점과 고정된 집합 Ω에 속하는 정점 차수를 가진 균일한 레이블 없고 루트가 없는 트리가 $ e_ ext{Ω} n^{-1/2} $로 스케일링된 후, Gromov–Hausdorff 수렴을 통해 브라운 운동 연속 랜덤 트리(CRT)로 수렴함을 확인하여, Aldous의 추측을 증명한다.
• 지름 $ extsc{D}( extsf{T}_n) $ 는 가우시안 尾 꼬리 경계를 만족한다: $ bP( extsc{D}( extsf{T}_n) eq x) o 0 $ 이 지수적으로 빠르게 수렴하며, $ bP( extsc{D}( extsf{T}_n) eq x) eq C bexp(-c x^2 / n) $ 이며, 상수 $ C, c > 0 $ 이다.
• 무작위 레이블 없고 루트가 없는 트리 $ extsf{T}_n $ 은 무한한 루트가 있는 트리 $ extsf{A}_{ ext{Ω}^*} $ 로 Benjamini–Schramm 수렴하며, 반경 $ k_n = o(bsqrt{n}) $ 의 국소 이웃 구조가 총 변동 거리에서 수렴한다.
• 다음과 같은 결합이 존재한다: $ extsf{T}_n $ 과 큰 Pólya 트리 $ extsf{A}_{K_n} $ 과 작은 잔여 트리 $ extsf{B}_n $ 의 루트 정점을 식별하여 형성된 트리 간의 총 변동 거리가 $ C bexp(-c n) $ 이하로 경계된다. 여기서 $ K_n = n + O_p(1) $ 이다.
• 이 근사 프레임워크를 통해 Pólya 트리에서의 점근적 성질(예: 차수 분포, 부수적 트리 수, 최대 차수)을 직접 분석하지 않고도 레이블 없고 루트가 없는 트리로 이전할 수 있다.
• 길이 $ u_ ext{ℓ} $ 인 사이클과 연결된 부수적 트리의 수를 세는 생성함수의 계수는 반경이 1보다 큰 급수에 의해 계수-wise로 경계되며, 이는 사이클 관련 매개변수에 대한 지수 꼬리 경계를 의미한다.