[논문 리뷰] A Two-Parameter Family of Infinite-Dimensional Diffusions in the Kingman Simplex

Leonid Petrov|arXiv (Cornell University)|2007. 08. 14.

Bayesian Methods and Mixture Models참고 문헌 22인용 수 12

한 줄 요약

이 논문은 밀도 있는 대칭 함수의 대수 위에서 정의된 두 번째 차수 미분 생성자 $A$를 사용하여, 무한차원의 카인만 단형 $\overline{\nabla}_{\infty}$ 내에서 두 파라미터를 가진 무한차원 확산 과정 $\mathbf{X}_{\alpha,\theta}(t)$를 구성한다. 주요 결과는 두 파라미터를 가진 포아송-디리클레 측도 $\mathrm{PD}(\alpha,\theta)$가 과정의 유일한 불변 및 가역 확률 측도이며, 스펙트럼 갭이 존재하므로 에르고딕성이 보장된다는 것이다.

ABSTRACT

The aim of the paper is to introduce a two-parameter family of infinite-dimensional diffusion processes X(alpha,theta) related to Pitman's two-parameter Poisson-Dirichlet distributions PD(alpha,theta). The diffusions X(alpha,theta) are obtained in a scaling limit transition from certain finite Markov chains on partitions of natural numbers. The state space of X(alpha,theta) is an infinite-dimensional simplex called the Kingman simplex. In the special case when parameter alpha vanishes, our finite Markov chains are similar to Moran-type model in population genetics, and our diffusion processes reduce to the infinitely-many-neutral-alleles diffusion model studied by Ethier and Kurtz (1981). Our main results extend those of Ethier and Kurtz to the two-parameter case and are as follows: The Poisson-Dirichlet distribution PD(alpha,theta) is a unique stationary distribution for the corresponding process X(alpha,theta); the process is ergodic and reversible; the spectrum of its generator is explicitly described. The general two-parameter case seems to fall outside the setting of models of population genetics, and our approach differs in some aspects from that of Ethier and Kurtz. We also consider the case of degenerate series of parameters alpha and theta and conclude that the diffusions in finite-dimensional simplexes studied by Ethier and Kurtz (1981) arise as a special case of our two-parameter family of diffusions.

연구 동기 및 목표

• 무한차원 카인만 단형 $\overline{\nabla}_{\infty}$ 내에서 파라미터 $\alpha \in [0,1)$ 및 $\theta > -\alpha$를 가진 연속 시간 마르코프 과정을 구성하는 것.
• 모멘트 좌표 $q_k(x) = \sum_{i=1}^\infty x_i^{k+1}$를 사용하여, $\overline{\nabla}_{\infty}$ 내의 대칭 함수의 밀도 있는 대수 위에서 두 번째 차수 미분 생성자 $A$를 정의하는 것.
• 두 파라미터를 가진 포아송-디리클레 측도 $\mathrm{PD}(\alpha,\theta)$가 과정의 유일한 불변 확률 측도임을 증명하는 것.
• 생성자의 스펙트럼 내에 스펙트럼 갭이 존재하므로 과정이 에르고딕함을 보이는 것.
• 모집단 유전학에서 연구된 유한차원 확산 과정들을 파artition 구조 위의 상/하 마르코프 체인의 극한 구조를 통해 무한차원 극한으로 통합하는 것.

제안 방법

• 무한차원 단형 $\overline{\nabla}_{\infty}$를 $[0,1]^\infty$ 내의 음이 아닌 감소하는 수열로 정의하고, 좌표별 수렴 위상으로 장비하는 것.
• 모멘트 함수 $q_k(x) = \sum_{i=1}^\infty x_i^{k+1}$로 생성되는 대수 $\mathcal{F} = \mathbb{R}[q_1, q_2, \dots]$를 정의하며, 이는 $C(\overline{\nabla}_{\infty})$에 밀도가 있음을 보장하는 것.
• 생성자 $q_k$를 사용하여, 계수에 $\alpha$와 $\theta$를 포함하는 형식적 두 번째 차수 미분 연산자 $A$를 $\mathcal{F}$ 위에 구성하며, 이는 $q_k$-좌표와 자연스러운 $x_i$-좌표 양쪽 모두에서 표현하는 것.
• $A$가 $C(\overline{\nabla}_{\infty})$ 내에서 닫힐 수 있음을 보이며, 그 닫힘 $\overline{A}$가 연속적인 표본 경로를 가지는 강한 마르코프 과정을 생성하는 것.
• 유한차원 상/하 마르코프 체인의 극한 구조를 사용하여 구성하는 것. 이는 파artition 구조 $\mathbb{K}_n$ 위에서 작동하며, 두 파라미터 Ewens-Pitman 파artition 구조에 해당하는 측도 $M_n$을 포함하는 것.
• $\mathbf{X}_{\alpha,\theta}(t)$가 $\alpha = -\beta$, $\theta = N\beta$일 때 유한차원 확산 $\mathbf{Y}_{N,\eta}(t)$의 특수한 경우임을 보이며, $N \to \infty$, $\beta \to 0$, $N\beta \to \eta$일 때 이러한 과정들의 극한으로 $\mathbf{X}_{\alpha,\theta}(t)$가 유도됨을 보이는 것.

실험 결과

연구 질문

• RQ1 무한차원 카인만 단형 $\overline{\nabla}_{\infty}$ 내에서 $\mathrm{PD}(\alpha,\theta)$를 불변 측도로 가지며, $0 \leq \alpha < 1$, $\theta > -\alpha$인 두 파라미터 가족의 확산을 구성할 수 있는가?
• RQ2 확산 과정의 생성자와 모멘트 좌표 $q_k(x) = \sum_{i=1}^\infty x_i^{k+1}$ 사이의 관계는 무엇이며, 이는 $q_k$-좌표와 $x_i$-좌표 양쪽 모두에서 표현될 수 있는가?
• RQ3 무한차원 확산 $\mathbf{X}_{\alpha,\theta}(t)$와 모집단 유전학에서 연구된 $\nabla_N$ 내의 유한차원 확산 간의 관계는 무엇인가?
• RQ4 과정 $\mathbf{X}_{\alpha,\theta}(t)$는 스펙트럼 갭을 갖는가? 그리고 이는 어떤 의미에서 에르고딕성에 기여하는가?
• RQ5 과정은 파artition 구조 위의 유한 마르코프 체인의 극한으로 구성될 수 있는가? 그리고 이 구성 방식은 $\alpha = 0$일 때 알려진 결과를 어떻게 일반화하는가?

주요 결과

• 생성자 $A$는 대수 $\mathcal{F}$ 위에서 정의되며, $C(\overline{\nabla}_{\infty})$ 내에서 닫힐 수 있으며, 그 닫힘 $\overline{A}$는 $\overline{\nabla}_{\infty}$ 내에서 연속적인 표본 경로를 가지는 강한 마르코프 과정을 생성한다.
• 두 파라미터를 가진 포아송-디리클레 측도 $\mathrm{PD}(\alpha,\theta)$는 $\mathbf{X}_{\alpha,\theta}(t)$의 유일한 불변 확률 측도이며, 이 과정은 이 측도에 대해 가역적이다.
• 생성자 $\overline{A}$의 스펙트럼이 명시적으로 기술되며, 스펙트럼 갭의 존재는 과정이 $\mathrm{PD}(\alpha,\theta)$에 대해 에르고딕함을 의미한다.
• 이전에 모집단 유전학에서 연구된 유한차원 확산 $\mathbf{Y}_{N,\eta}(t)$는 $\alpha = -\beta$, $\theta = N\beta$, $\beta \to 0$, $N \to \infty$, $N\beta \to \eta > 0$일 때 $\mathbf{X}_{\alpha,\theta}(t)$의 특수한 경우로 복원된다.
• $\mathbf{X}_{\alpha,\theta}(t)$는 파artition 구조 위의 상/하 마르코프 체인의 극한으로 유도되며, 전이 연산자가 $n \to \infty$일 때 $\mathcal{F}_N$-대수 내에서 생성자 $A_{N,\beta(N-1)}$로 수렴함을 보이며, 이는 유한차원 모델과의 일致성을 확인한다.
• $\mathbf{X}_{-\beta,N\beta}(t)$가 $\nabla_N$ 내에서 $\mathbf{X}_{0,\eta}(t)$로 수렴함에 따라 불변 측도의 수렴이 강화되며, 이는 무한차원 극한의 일致성을 확인한다.