[논문 리뷰] Continuum Space Limit of the Genealogies of Interacting Fleming-Viot Processes on $\Z$

Andreas Greven, Rongfeng Sun외 1명|arXiv (Cornell University)|2015. 08. 28.

Stochastic processes and statistical mechanics참고 문헌 27인용 수 5

한 줄 요약

이 논문은 ℤ 위의 상호작용 플링엄-비엇 과정에서 유전적 계보의 연속적 공간 극한을 확립한다. 이를 위해 연속적-사이트 스텝스톤 모델의 계보를 수렴시키는 측도-가치 유전적 과정을 구성하였으며, 브라운 운동 웹과 새로운 마르팅글 문제 설정을 통해 확산 스케일링 하에서 수렴성을 증명하고, 이국적인 개체에만 작용하는 특이한 생성자(Generator)를 규명하였다. 이는 유한 측도에 국한되지 않는 유전적 과정 분석을 가능하게 하여, 표준 미터-측도-측도 공간 이론을 유계로 유한한 측도로 확장한다.

ABSTRACT

We study the evolution of genealogies of a population of individuals, whose type frequencies result in an interacting Fleming-Viot process on $\Z$. We construct and analyze the genealogical structure of the population in this genealogy-valued Fleming-Viot process as a marked metric measure space, with each individual carrying its spatial location as a mark. We then show that its time evolution converges to that of the genealogy of a continuum-sites stepping stone model on $\R$, if space and time are scaled diffusively. We construct the genealogies of the continuum-sites stepping stone model as functionals of the Brownian web, and furthermore, we show that its evolution solves a martingale problem. The generator for the continuum-sites stepping stone model has a singular feature: at each time, the resampling of genealogies only affects a set of individuals of measure $0$. Along the way, we prove some negative correlation inequalities for coalescing Brownian motions, as well as extend the theory of marked metric measure spaces (developed recently by Depperschmidt, Greven and Pfaffelhuber [DGP12]) from the case of probability measures to measures that are finite on bounded sets.

연구 동기 및 목표

• 확률 측도에서 유계로 유한한 측도로까지 확장된 표시된 미터-측도-측도 공간 이론을 확장하여, 무한한 지리적 영역에 존재하는 인구의 계보를 연구할 수 있도록 한다.
• 표시된 초우르트라미트릭 측도 공간 위에서 잘 정의된 마르팅글 문제를 통해 ℤ 위의 상호작용 플링엄-비엇 과정의 계보 진화를 기술한다.
• ℝ 위의 연속적-사이트 스텝스톤 모델의 계보를 브라운 운동 웹의 기능으로 구성하고, 이 동적 구조가 특이한 생성자를 갖는 마르팅글 문제의 해임을 보여준다.
• 확산 스케일링 하에서 스케일링된 상호작용 플링엄-비엇 계보 과정이 연속적-사이트 스텝스톤 모델의 계보 과정으로 수렴함을 증명한다.
• 공통으로 합쳐지는 브라운 운동에 대한 부정적 상관관계 부등식을 확립하고, 무한한 표본 측도로의 이중성 프레임워크를 확장한다.

제안 방법

• 저자들은 측도가 유계 집합에서 유한한 경우를 포함하도록 표시된 미터-측도-측도 공간 이론을 확장하여, 총 질량이 무한하더라도 계보 과정에 대한 구조를 유지할 수 있도록 한다.
• 연속적-사이트 스텝스톤 모델의 계보 과정을 위한 마르팅글 문제를 정의하며, 특이성이 존재함에 따라 생성자가 상태공간의 정규 부분집합에서만 작용함을 규명한다.
• 공통으로 합쳐지는 브라운 운동을 표현하는 그래픽 구조를 통해 계보 과정을 구성하며, 이는 공간과 시간에서 조상 라인을 나타낸다.
• 스케일링된 상호작용 플링엄-비엇 계보 과정의 수렴성을, 공간적 합쳐짐 과정과의 이중성 및 유한 측도가 없는 측도-값 과정의 약한 수렴을 통해 증명한다.
• 핵심 기술 도구로는 교차하지 않는 브라운 운동에 대한 카린-맥그레거 공식과, 합쳐짐 사건의 한계 밀도를 추출하기 위한 테일러 전개를 사용한다.
• 특이 생성자는 이론적으로 이국적인 위치에 있는 개체에만 영향을 미침을 보이며, 한계 커널은 $ K^{ m c}_{t}(ar{ riangle}) = \frac{\triangle e^{-\frac{\triangle^{2}}{4t}}}{2\sqrt{\pi}t^{3/2}} $ 로 유도된다.

실험 결과

연구 질문

• RQ1 무한하지만 유계로 유한한 측도를 다룰 수 있도록 표시된 미터-측도-측도 공간 이론을 어떻게 확장할 수 있는가? 이는 총 인구수가 무한한 지리적 모델에 관련된다.
• RQ2 특이한 생성자가 이국적인 개체에만 영향을 미치는 상황에서, ℝ 위의 연속적-사이트 스텝스톤 모델의 계보 과정에 대한 적절한 마르팅글 문제 설정은 무엇인가?
• RQ3 ℤ 위의 상호작용 플링엄-비엇 과정의 계보는 확산 스케일링 하에서 어떻게 연속적-사이트 스텝스톤 모델의 계보로 수렴하는가?
• RQ4 브라운 운동 웹은 연속 극한에서 공간적 인구 모델의 계보 역학을 어떻게 구성하고 특성화하는가?
• RQ5 공통으로 합쳐지는 브라운 운동에 대해 어떤 부정적 상관관계 부등식이 성립하며, 이는 한계 계보 과정의 수렴성과 유일성을 뒷받침하는 데 어떤 역할을 하는가?

주요 결과

• ℤ 위의 상호작용 플링엄-비엇 모델의 계보 과정은 확산 공간-시간 스케일링 하에서 ℝ 위의 연속적-사이트 스텝스톤 모델의 계보 과정으로 확률적 수렴을 보인다.
• 한계 계보 과정은 브라운 운동 웹의 기능으로 구성되며, 공간적으로 분포된 이국적인 개체에 의해 합쳐짐 사건이 유도된다.
• 한계 과정의 생성자는 상태공간의 정규 부분집합에서만 작용하며, 이는 재표본 추출이 측도가 0인 집합에 영향을 주기 때문에 특이성을 반영한다.
• 합쳐짐 커널에 대한 정확한 표현을 도출하였다: $ K^{ m c}_{t}(ar{ riangle}) = \frac{\triangle e^{-\frac{\triangle^{2}}{4t}}}{2\sqrt{\pi}t^{3/2}} $, 이는 거리 $\triangle$ 떨어진 라인에 의한 합쳐짐 속도를 기술한다.
• 세 개의 공통으로 합쳐지는 브라운 운동에 대해 부정적 상관관계 부등식을 증명하였으며, 이는 유한 차원 분포의 수렴성을 제어하는 데 필수적이다.
• 표시된 미터-측도-측도 공간 이론이 유계로 유한한 측도를 포함하도록 확장되었으며, 이는 무한한 지리적 영역에서의 계보 역학 분석을 가능하게 한다.