[논문 리뷰] Record process on the Continuum Random Tree

Romain Abraham, Jean‐François Delmas|arXiv (Cornell University)|2011. 07. 19.

Stochastic processes and statistical mechanics참고 문헌 39인용 수 20

한 줄 요약

이 논문은 아울러스의 연속적 무작위 트리(CRT) 위에 연속적인 잘라내기 절차를 구축하여 랜덤 변수 Θ를 생성한다. 이때 조건부로 트리에 대해 Θ는 임계 갈톤-워슨 트리에서 루트를 고립시키는 데 필요한 잘라내기 횟수의 극한 분포와 동일한 분포를 가진다. 이는 이전까지는 약한 수렴을 통해만 알려져 있었다. 주요 결과는 Θ가 시간에 따른 남은 트리의 질량의 적분과 같으며, 스케일된 변수 Z = √(2α/σ)Θ가 CRT 하에서 장송의 극한 법칙 Z_T로 거의 확실히 수렴한다는 것이다.

ABSTRACT

By considering a continuous pruning procedure on Aldous's Brownian tree, we construct a random variable $Θ$ which is distributed, conditionally given the tree, according to the probability law introduced by Janson as the limit distribution of the number of cuts needed to isolate the root in a critical Galton-Watson tree. We also prove that this random variable can be obtained as the a.s. limit of the number of cuts needed to cut down the subtree of the continuum tree spanned by $n$ leaves.

연구 동기 및 목표

• 장송의 작업에서 이전까지는 약한 수렴을 통해만 알려져 있던 조건부 극한 법칙 Z_T에 대한 구축적 기술을 제공하기 위해.
• 무작위 잘라내기를 모델링하기 위해 포아송 점 프로세스를 사용하여 CRT 위에 연속적인 잘라내기 절차를 정의하기 위해.
• 루트 고립까지의 총 시간이 트리의 질량 과정에 대한 적분으로 표현되는 것으로, Z_T의 조건부 분포와 일치함을 보여주기 위해.
• n-잎 부분수열에서의 이산적 잘라내기 과정이 CRT 위의 연속적 극한으로 거의 확실히 수렴함을 확립하기 위해.

제안 방법

• CRT를 볼록형식 측정 N 하에서 브라운 운동의 초월에 의해 코드화된 실수 트리로 모델링하고, 길이 측도 ℓ(dx)와 잎에 대한 질량 측도 m^T(dx)를 정의한다.
• 공간과 시간에 걸쳐 T × [0, ∞) 위에 강도 αℓ(dx)dθ인 포아송 점 프로세스를 도입하여 무작위 잘라내기 점을 모델링한다.
• θ(x)를 루트에서 x로 가는 경로상에 첫 번째 잘라내기가 발생하는 시간으로 정의하여, x가 루트로부터 떨어지는 순간을 나타낸다.
• Θ = ∫_T θ(x) m^T(dx)로 정의하고, Z = √(2α/σ)Θ로 스케일링하여 장송의 무조건적 레일리 분포와 일치시킨다.
• Θ = ∫₀^∞ σ_q dq라는 항등식을 사용하여, Θ를 남은 질량 σ_q의 시간 적분으로 표현한다.
• 라플라스 변환과 초월 이론을 활용하여 모멘트를 계산하고, 초월 측도 하에서 수렴을 확립한다.

실험 결과

연구 질문

• RQ1 CRT 위에 연속적인 잘라내기 절차를 구성할 수 있는가? 이때 루트를 고립시키는 데 필요한 잘라내기 횟수의 분포가 장송의 조건부 극한 법칙 Z_T와 일치하는가?
• RQ2 유한 부분수열에서의 이산적 잘라내기 과정이 CRT 위의 연속적 극한으로 경로적 또는 거의 확실히 수렴하는가?
• RQ3 루트 고립에 필요한 총 시간 Θ는 남은 질량 과정 σ_q에 대한 적분으로 표현될 수 있는가?
• RQ4 스케일된 변수 Z = √(2α/σ)Θ가 CRT 조건부로 Z_T와 동일한 분포를 가지는가?
• RQ5 초월 측도 하에서 Θ의 첫 번째 모멘트는 무엇이며, 점차적으로 어떻게 행동하는가?

주요 결과

• 질량 측도에 대해 잘라내기 시간 함수의 적분으로 정의된 랜덤 변수 Θ는 조건부로 CRT 하에서 Z = √(2α/σ)Θ ≡ Z_T가 분포상으로 동일하다.
• 거의 확실히 Θ = ∫₀^∞ σ_q dq라는 항등식이 성립하며, 여기서 σ_q는 시간 q 이후 남은 트리의 질량이다.
• 초월 측도 하에서 Θ의 첫 번째 모멘트는 H_q(r) = E[Θ | σ = r]로 표현되며, 0 ≤ qr − H_q(r) ≤ (1/2)√(πα) q² r^{3/2}의 경계를 만족한다.
• 초월 이론과 생성 함수 F(q)를 통해 총 잘라내기 시간 Θ의 라플라스 변환을 유도하고, 명시적 적분 표현을 도출한다.
• λ에 대한 F(q)의 점근 전개를 통해 λ = 0에서의 첫 번째 도함수가 (1/(2α)) log(1 + z), z = q√(α/μ)임을 확인하여 모멘트 구조를 확인한다.
• 논문은 n-잎 부분수열에서의 이산적 잘라내기 과정이 CRT 위의 연속적 극한으로 거의 확실히 수렴함을 확립하며, 장송의 분포적 결과를 경로 수렴으로까지 확장한다.