[논문 리뷰] Growth of Levy trees

Thomas Duquesne, Matthias Winkel|ArXiv.org|2005. 09. 22.

Stochastic processes and statistical mechanics참고 문헌 25인용 수 32

한 줄 요약

이 논문은 초기 질량 $ a $ 와 분열 메커니즘 $ \psi $ 를 파rameter로 하는 일관된 이산 갈튼-워슨 숲의 일관된 가족을 Gromov-Hausdorff 수렴으로 하여 레비 수림을 구성한다. 이는 i.i.d. 지수 분포를 따르는 간선 길이를 가진다. 주요 기여는 높이 과정 기반 접근을 피한 직접적이고 간단한 구성법으로, 초임계 경우를 포함하며 질량 측도를 통한 포아송 표본 추출 분해를 확립한다.

ABSTRACT

We construct random locally compact real trees called Levy trees that are the genealogical trees associated with continuous-state branching processes. More precisely, we define a growing family of discrete Galton-Watson trees with i.i.d. exponential branch lengths that is consistent under Bernoulli percolation on leaves; we define the Levy tree as the limit of this growing family with respect to the Gromov-Hausdorff topology on metric spaces. This elementary approach notably includes supercritical trees and does not make use of the height process introduced by Le Gall and Le Jan to code the genealogy of (sub)critical continuous-state branching processes. We construct the mass measure of Levy trees and we give a decomposition along the ancestral subtree of a Poisson sampling directed by the mass measure.

연구 동기 및 목표

• 주어진 분열 메커니즘 $ \psi $ 를 갖는 연속 상태 분열 과정(CSBP)의 계보를 나타내는 무작위 실수림, 즉 레비 수림을 구성하는 것.
• 높이 과정을 사용하지 않고, i.i.d. 지수 분포 간선 길이를 갖는 이산 갈튼-워슨 숲을 이용한 레비 수림의 직접적이고 기본적인 구성법 제공.
• Bernoulli 잎 투과에 의한 일관된 무작위 숲 가족을 $ (a, \psi) $ 를 파rameter로 하여 정의하고, Gromov-Hausdorff 위상에서 레비 수림으로 수렴함을 보이는 것.
• 레비 수림 위의 질량 측도를 정의하고 특성화하며, 이 측도를 기반으로 한 포아송 표본 추출을 통한 분해를 도출하는 것.

제안 방법

• i.i.d. 지수 분포 간선 길이를 갖는 성장하는 갈튼-워슨 숲 $ \mathcal{F}_\lambda $ 의 가족을 구성하고, 파rameter $ 1 - \mu/\lambda $ 를 갖는 Bernoulli 잎 칠하기에 대해 일관성을 확보한다.
• 유래 분포, 간선 길이 비율, 초기 조상 수를 $ a_\lambda = a \psi^{-1}(\lambda) $, $ c_\lambda = \psi'(\psi^{-1}(\lambda)) $ 와 $ \psi $ 를 포함하는 생성 함수를 통해 파arameter화한다.
• Gromov-Hausdorff 위상으로 레비 수림 $ \mathcal{T} $ 를 $ \lambda \to \infty $ 일 때 $ \mathcal{F}_\lambda $ 의 거의 확실한 극한으로 정의한다.
• 분열 메커니즘의 역수와 관련된 강도를 갖는 포아송 점 과정을 통해 레비 수림의 부분수림 위에서 질량 측도를 정의한다.
• 이 측도를 기반으로 한 포아송 표본 추출을 통해 레비 수림을 독립적인 성분들로 분해하고, 루트에 붙는 부분수림의 분포를 $ P^r_{\mu_0} $ 로 특성화한다.
• 라플라스 변환과 지배 수렴 정리를 사용하여 유한 차원 분포 수렴과 숲 성장 과정의 약한 수렴을 증명한다.

실험 결과

연구 질문

• RQ1 높이 과정에 의존하지 않고, 지수 분포 간선 길이를 갖는 이산 갈튼-워슨 숲의 Gromov-Hausdorff 수렴으로 직접적으로 레비 수림을 구성할 수 있는가?
• RQ2 Bernoulli 잎 투과에 의한 일관된 갈튼-워슨 숲 가족을 $ (a, \psi) $ 를 파arameter로 하여 어떻게 구성할 수 있으며, 이는 극한에서 레비 수림을 유도하는가?
• RQ3 레비 수림 위의 질량 측도의 구조는 무엇이며, 부분수림의 포아송 표본 추출과 어떻게 관련되는가?
• RQ4 레비 수림의 루트에 붙는 부분수림의 분포는 포아송 표본 추출 하에서 어떻게 행동하며, 그 극한 형태는 무엇인가?

주요 결과

• 레비 수림은 $ (a, \psi) $ 를 파arameter로 하는 일관된 갈튼-워슨 숲의 일관된 가족을 Gromov-Hausdorff 수렴으로 구성한다. 이 숲은 i.i.d. 지수 분포 간선 길이를 갖는다.
• 숲 가족의 극한 분포는 $ \psi^{-1}(\lambda) $ 와 $ \psi'(\psi^{-1}(\lambda)) $ 를 이용한 유래 분포, 간선 길이 비율, 초기 조상 수에 대한 명시적 공식으로 특성화된다.
• 레비 수림 위의 질량 측도는 부분수림 위의 포아송 점 과정을 통해 정의되며, 이 강도는 분열 메커니즘의 역수와 관련이 있다.
• 질량 측도 $ \mu_0 $-숲 조건 하에, 루트에 붙는 부분수림들은 서로 독립적이며 $ P^r_{\mu_0} $ 분포를 갖는다. 이는 $ v_{\mu_0}(\epsilon) $ 를 포함한 극한 형태를 갖는다.
• 라플라스 변환과 지배 수렴 정리를 사용하여 숲 과정이 레비 수림으로 수렴함을 증명하였으며, 극한이 요구되는 분포적 성질을 만족한다.
• 이 구성법은 초임계 경우(즉, $ m < 0 $)를 포함하며, 높이 과정을 필요로 하지 않아 이전 방법보다 더 직접적이고 일반적인 접근을 제공한다.