[논문 리뷰] Kingman's coalescent and Brownian motion

Julien Berestycki, Nathanaël Berestycki|ArXiv.org|2009. 04. 09.

Mathematical Dynamics and Fractals참고 문헌 20인용 수 14

한 줄 요약

이 논문은 브라운 운동의 엑스кур전을 이용한 킹먼의 공통조상 모형의 새로운 구성법을 제시하며, 국소 시간과 엑스кур전 높이 순서와의 연관성을 밝혀낸다. 주요 기여는 시간 0에 가까운 블록 크기의 다중분형 스펙트럼을 정밀하게 특성화한 것으로, 이는 α→2일 때 베타-공통조상의 극한으로 유도되지 않는다는 점을 드러내어 공통조상의 소규모 시간 행동에 대한 새로운 통찰을 제공한다.

ABSTRACT

We describe a simple construction of Kingman's coalescent in terms of a Brownian excursion. This construction is closely related to, and sheds some new light on, earlier work by Aldous and Warren. Our approach also yields some new results: for instance, we obtain the full multifractal spectrum of Kingman's coalescent. This complements earlier work on Beta-coalescents by the authors and Schweinsberg. Surprisingly, the thick part of the spectrum is not obtained by taking the limit as $α o 2$ in the result for Beta-coalescents mentioned above. Other analogies and differences between the case of Beta-coalescents and Kingman's coalescent are discussed.

연구 동기 및 목표

• 브라운 운동의 엑스커런스와 국소 시간을 이용한 킹먼의 공통조상의 새로운 단순한 구성법을 제공한다.
• 킹먼의 공통조상의 소규모 시간 행동, 특히 이국적인 크기의 블록 크기 분포를 분석한다.
• 시간 0 근처에서 공통조상 과정의 전체 다중분형 스펙트럼을 규명한다.
• 특히 α→2일 때의 극한에서, 킹먼의 공통조상과 베타-공통조상 간의 스펙트럼 행동 차이를 명확히 한다.

제안 방법

• 수준 1을 초월하는 브라운 운동의 엑스커런스를 이용하여 킹먼의 공통조상을 구성하고, 각 엑스커런스의 최대 높이 순서로 정렬한다.
• 개개인의 개체가 같은 블록에 속하도록, 수준 u를 초월하는 엑스커런스에 할당된 프로세스 Πᵤ를 정의한다.
• 수준 x에서의 총 국소 시간 Zₓ = L(ζ, x)을 이용하여 적분 방정식 ∫ₛ¹ 4/Zᵤ du = t를 통해 시간 변화 U(t)를 정의한다.
• 케스텐-스티그룸 마팅게일과 측도 μ 및 그 정규화 μ♯를 통해 공통조상 과정과 연속 무작위 트리 사이의 대응 관계를 수립한다.
• 이산 시간 갈톤-워슨 트리의 결과를 적용하여 다중분형 스펙트럼을 유도하며, 총 국소 시간의 지수분포에서 유도된 매개변수 a=1, r=1, τ=1을 사용한다.
• 엑스커런스 국소 시간과 유일 트리의 구조 간의 연결성을 활용하여, 이국적인 블록 크기를 가진 반경의 하우스도르프 차원을 식별한다.

실험 결과

연구 질문

• RQ1 어떻게 브라운 운동 엑스커런스를 통해 킹먼의 공통조상을 구성할 수 있으며, 이는 소규모 시간의 다중분형 구조를 드러내는가?
• RQ2 시간 0 근처에서 킹먼의 공통조상의 전체 다중분형 스펙트럼은 무엇이며, 특히 γ≠1인 t^γ 크기의 블록에 대해 어떻게 설명되는가?
• RQ3 왜 킹먼의 공통조상에서 두꺼운 스펙트럼 부분은 α→2일 때 베타-공통조상의 스펙트럼 극한으로 나타나지 않는가?
• RQ4 공통조상의 구조는 연속 무작위 트리의 유클리드 구조와 경계에 대한 관련 측도와 어떻게 관련이 있는가?

주요 결과

• 수준 u를 초월하는 엑스커런스를 통해 구성된 프로세스 (Πᵤ)는 ∫ₛ¹ 4/Zᵤ du = t로 정의된 시간 변화 U(t)를 거친 후 킹먼의 공통조상과 동일한 분포를 가진다.
• t→0일 때, 블록 빈도 F(t)는 2F(t)/t →d E + E′를 만족하며, 여기서 E와 E′는 i.i.d. Exp(1) 랜덤 변수이다.
• γ<1인 블록 크기 t^γ에 대한 다중분형 스펙트럼은 limsup μ(B(ξ,e⁻ⁿ))/m⁻ⁿn의 극한으로 특성화되며, 0≤θ≤1 범위에서 차원 a−rθ=1−θ이다.
• γ>1인 블록(이상적으로 작은 블록)의 경우, 스펙트럼은 얇은 부분으로 묘사되며, dim{ξ: limsup −log μ(B(ξ,e⁻ⁿ))/n = θ} = a(a/θ(1+τ)−τ) = 1(1/θ(2)−1)로 표현되며, 1≤θ≤2 범위에서 성립한다.
• 두꺼운 스펙트럼 부분은 α→2일 때 베타-공통조선의 극한으로 유도되지 않으며, 이는 척도 행동에서의 근본적인 차이를 시사한다.
• 이전 연구에서 사용된 보조 레마(예: [7]의 레마 24)를 피하기 위해 수준를 1로 고정하고 결정론적 시간 변화를 사용함으로써 구성 과정이 단순화된다.