[논문 리뷰] The Mittag-Leffler process and a scaling limit for the block counting process of the Bolthausen-Sznitman coalescent

Martin Möhle|arXiv (Cornell University)|2014. 10. 27.

Stochastic processes and statistical mechanics참고 문헌 6인용 수 19

한 줄 요약

이 논문은 시간 동질성의 마코프 과정인 미타그-레플레르 과정을 도입하며, 이 과정의 주변 분포는 미타그-레플레르 분포를 따르며, 표본 크기 $ n \to \infty $ 일 때 보르타우젠-슈니트만 공액화 과정의 스케일링된 블록 수세기 과정이 스코로호드 위상에서 이 과정으로 약한 수렴함을 증명한다. 비표준 시간에 의존하는 스케일링 $ n^{e^{-t}} $ 가 비퇴화한 수렴을 위한 필수 조건임을 보이며, 이 극한 과정은 그의 준군과 공동 모멘트를 통해 특성화된다.

ABSTRACT

The Mittag-Leffler process $X=(X_t)_{t\ge 0}$ is introduced. This Markov process has the property that its marginal random variables $X_t$ are Mittag-Leffler distributed with parameter $e^{-t}$, $t\in [0,\infty)$, and the semigroup $(T_t)_{t\ge 0}$ of $X$ satisfies $T_tf(x)={\mathbb E}(f(x^{e^{-t}}X_t))$ for all $x\ge 0$ and all bounded measurable functions $f:[0,\infty) o{\mathbb R}$. Further characteristics of the process $X$ are derived, for example an explicit formula for the joint moments of its finite dimensional distributions. The main result states that the block counting process of the Bolthausen-Sznitman $n$-coalescent, properly scaled, converges in the Skorohod topology to the Mittag-Leffler process $X$ as the sample size $n$ tends to infinity.

연구 동기 및 목표

• 미타그-레플레르 분포를 따르는 주변 분포와 특정 준군 구조를 가진 새로운 확률 과정인 미타그-레플레르 과정을 정의하고 특성화하는 것.
• 표본 크기 $ n \to \infty $ 일 때 보르타우젠-슈니트만 $ n $-공액화 과정의 스케일링된 블록 수세기 과정이 미타그-레플레르 과정으로 약한 수렴함을 증명하는 것.
• 비표준 시간에 의존하는 스케일링 $ n^{e^{-t}} $ 의 선택이 비퇴화한 극한을 이끌어내므로 이를 정당화하는 것.
• 미타그-레플레르 과정의 유한차원 분포의 공동 모멘트에 대한 명시적 공식을 유도하는 것.

제안 방법

• 미타그-레플레르 분포를 따르는 확률 변수 $ X_t $ 와 파arameter $ e^{-t} $ 를 사용하여, 준군 $ T_t f(x) = \mathbb{E}[f(x^{e^{-t}} X_t)] $ 를 통해 미타그-레플레르 과정 $ X = (X_t)_{t \geq 0} $ 를 정의한다.
• 유계 연속 함수 공간에서 무한대에서 0으로 수렴하는 함수들에 대해 준군의 펠러 성질과 강한 연속성을 이용하여 과정 $ X $ 의 존재성을 확립한다.
• 미타그-레플레르 분포의 성질과 모멘트 생성 함수를 이용하여 $ X $ 의 공동 모멘트에 대한 명시적 공식을 유도한다.
• 블록 수세기 과정 $ N^{(n)} $ 의 생성자에 대한 스펙트럼 분해를 이용하여 그 모멘트에 대한 정확한 표현을 유도하며, 특히 $ \mathbb{E}[N_t^{(n)}] = \frac{\Gamma(n + e^{-t})}{\Gamma(n)\Gamma(1 + e^{-t})} $ 를 포함한다.
• 유한차원 분포의 수렴과 컴팩트니를 확인하여 스코로호드 위상에서 스케일링된 과정 $ X_t^{(n)} = N_t^{(n)} / n^{e^{-t}} $ 가 $ X_t $ 로 약한 수렴함을 증명한다.
• 극한 과정 $ X $ 는 시간 동질성임을 보이며, 유한한 $ n $ 에서의 스케일링된 과정 $ X^{(n)} $ 는 시간 비동질성임을 확인함으로써 점차적으로 시간 동질성이 되는 것을 의미한다.

실험 결과

연구 질문

• RQ1 보르타우젠-슈니트만 공액화 과정의 블록 수세기 과정에 대해 $ n \to \infty $ 일 때 비퇴화한 극한을 얻기 위한 적절한 스케일링은 무엇인가?
• RQ2 스케일링된 블록 수세기 과정의 극한 행동과 일치하는 유한차원 분포를 가지는 새로운 확률 과정을 구성할 수 있는가?
• RQ3 극한 과정의 주요 확률적 및 해석적 성질, 예를 들어 준군과 모멘트 구조는 무엇인가?
• RQ4 이 극한 과정은 자동상관 미타그-레플레르 과정과 어떻게 관련이 있는가?
• RQ5 스케일링된 블록 수세기 과정이 스코로호드 위상에서 극한 과정으로 수렴하는가?

주요 결과

• 스케일링된 블록 수세기 과정 $ X_t^{(n)} = N_t^{(n)} / n^{e^{-t}} $ 는 $ n \to \infty $ 일 때 스코로호드 위상에서 미타그-레플레르 과정 $ X $ 로 확률적으로 수렴한다.
• 극한 과정 $ X_t $ 의 주변 분포는 매개수 $ e^{-t} $ 를 가진 미타그-레플레르 분포이며, 모든 모멘트는 $ \mathbb{E}[X_t^m] = m! / \Gamma(1 + m e^{-t}) $ 로 주어진다.
• 미타그-레플레르 과정의 준군은 $ T_t f(x) = \mathbb{E}[f(x^{e^{-t}} X_t)] $ 로 주어지며, 마코프 성질과 전이 메커니즘을 특성화한다.
• 유한차원 분포의 공동 모멘트는 미타그-레플레르 분포의 모멘트 생성 함수로부터 유도된 공식을 통해 명시적으로 계산된다.
• 극한 과정 $ X $ 는 시간 동질성임을 보이며, 이는 유한한 $ n $ 에서의 스케일링된 과정 $ X^{(n)} $ 는 시간 비동질성임을 감안할 때 점차적으로 시간 동질성이 되는 것을 의미한다.
• 로그 블록 수세기 과정 $ \log N_t^{(n)} - e^{-t} \log n $ 는 $ \log X_t $ 로 수렴하며, 이는 공액화 과정에서 로그 스케일링의 역할을 부각시킨다.