[논문 리뷰] Renormalisation of hierarchically interacting Cannings processes

Andreas Greven, den W.Th.F. Hollander외 2명|arXiv (Cornell University)|2012. 09. 09.

Stochastic processes and statistical mechanics참고 문헌 42인용 수 7

한 줄 요약

이 논문은 다중 척도 이동과 국소 외 샘플링을 갖는 계층적 상호작용 캔딩 과정의 새로운 클래스를 도입하여, 계층적 평균장 근사에서의 재규격화를 분석한다. $N\to\infty$의 극한에서 $k$-거대군집 평균이 $C^{\Lambda_k}$-과정과 변동성 $d_k$를 갖는 플링거-비엇 과정의 초합으로 수렴함을 보이며, 이는 이동과 샘플링 강도의 병합에 의해 결정되는 새로운 군집화와 국소 공존 간의 이분법을 드러낸다.

ABSTRACT

The present paper brings a new class of interacting jump processes into focus. We start from a single-colony $C^Λ$-process, which arises as the continuum-mass limit of a $Λ$-Cannings individual-based population model, where $Λ$ is a finite non-negative measure that describes the offspring mechanism. After that we introduce a system of hierarchically interacting $C^Λ$-processes, where the interaction comes from migration and reshuffling-resampling based on measures $(Λ_k)_{k}$ both acting in $k$-blocks of the hierarchical group. We refer to this system as the $C_N^{c,Λ}$-process. The dual process of the $C_N^{c,Λ}$-process is a spatial coalescent with multi-level block coalescence. For the above system we carry out a full renormalisation analysis in the hierarchical mean-field limit $N o\infty$. Our main result is that, in the limit as $N o\infty$, on each scale $k\in\mathbb{N}_0$ the $k$-block averages of the $C_N^{c,Λ}$-process converge to a random process that is a superposition of a $C^{Λ_k}$-process and a Fleming-Viot process, the latter with a volatility $d_k$ and with a drift of strength $c_k$ towards the limiting $(k+1)$-block average. It turns out that $d_k$ is a function of $c_l$ and $Λ_l$ for all $0\leq l

연구 동기 및 목표

• 비국소 샘플링을 갖는 다중 유형 인구를 모델링하는 새로운 유형의 상호작용 점프 과정—계층적 상호작용 $C^\Lambda$-과정—으로 확산 시스템에서의 재규격화 분석를 확장한다.
• 이 과정들의 대규모 공간-시간 행동을 계층적 평균장 근사 $N\to\infty$에서 연구하며, 거대스케일 관측량이 계층적 척도를 따라 어떻게 진화하는지에 중점을 둔다.
• $k$-거대군집 평균의 극한 행동을 $C^{\Lambda_k}$-과정과 척도에 따라 변동성이 결정되는 플링거-비엇 과정의 초합으로 특성화한다.
• 시스템이 군집화(공간적 단형 지역) 또는 국소 공존(다양한 유형의 공존)을 보이는 조건을 규명하며, 기존의 재귀/비재귀 이분법을 이동과 비국소 샘플링 간의 상충관계로 대체한다.

제안 방법

• 모델은 각 계층 수준 $k\in\mathbb{N}_0$에서 임재 측도 $\Lambda_k$를 갖는 $\Lambda$-캔딩 개인기반 모델의 연속질량 근사로서 단일 군집 $C^\Lambda$-과정에 기반한다.
• 계층군 $\Omega_N$ 위에 이동 계수 $c_k$와 임재 측도 $\Lambda_k$가 모든 척도에서 동시에 작용하는 계층적 상호작용 $C^\Lambda$-과정의 시스템을 정의한다.
• 이중 과정은 다중 척도 비국소 융합을 갖는 공간적 융합 과정으로 식별되며, 융합 이벤트는 임재 이전에 재배치를 통해 거대군집 간에 발생한다.
• 재규격화 분석는 시간을 $N^k$로 스케일링하고 $k$-거대군집 평균의 극한을 연구함으로써 수행되며, 이는 $k+1$-거대군집 평균으로 향하는 추세와 변동성 $d_k$를 갖는 맥키언-플라소프 유형의 극한으로 이어진다.
• 변동성 $d_k$는 $l<k$에 대해 $c_l$과 $\Lambda_l([0,1])$를 포함하는 모비우스 변환의 복합함수로 유도되며, $k\to\infty$일 때의 점근적 스케일링을 분석하여 네 가지의 구별 가능한 영역을 규명한다.
• $k$-블록 평균 과정의 수렴은 $J_1$-스코로호드 위상에서 확립되며, 이는 이동과 임재 효과를 각각 척도 $k$에서 기술하는 생성자 $L^{(N)[k]}_{\mathrm{mig}}$와 $L^{(N)[k]}_{\mathrm{res}}$로 표현된다.

실험 결과

연구 질문

• RQ1 비국소 재정렬-샘플링의 포함이 확산 모델과 비교해 계층적 상호작용 캔딩 과정의 재규격화에 어떤 영향을 미치는가?
• RQ2 $N\to\infty$일 때 $C_N^{\underline{c},\underline{\Lambda}}$-과정의 $k$-거대군집 평균의 극한 행동은 무엇이며, 이는 $C^{\Lambda_k}$-과정과 플링거-비엇 과정으로 어떻게 특성화되는가?
• RQ3 극한 과정의 변동성 $d_k$는 $l<k$에 대해 $c_l$과 $\Lambda_l([0,1])$에 어떻게 의존하며, $k\to\infty$일 때의 점근적 스케일링은 어떠한가?
• RQ4 이 시스템에서 군집화 대 비국소 공존에 대한 새로운 기준은 무엇이며, 플링거-비엇 확산에서의 고전적 재귀/비재귀 이분법과 어떻게 다를까?
• RQ5 유한 $N$의 과정과 무한 $N$ 극한의 대규모 행동은 군집화와 국소 공존 간의 동일한 이분법을 얼마나 공유하는가?

주요 결과

• 계층적 평균장 근사 $N\to\infty$에서 $C_N^{\underline{c},\underline{\Lambda}}$-과정의 $k$-거대군집 평균은 $C^{\Lambda_k}$-과정과 이동 계수 $c_k$를 갖는 플링거-비엇 과정의 초합으로 수렴하며, 이는 $(k+1)$-거대군집 평균으로 향하는 추세와 변동성 $d_k$를 갖는다.
• 변동성 $d_k$는 $0\leq l<k$에 대해 $c_l$과 $\Lambda_l([0,1])$의 함수이며, $k\to\infty$일 때의 점근적 스케일링은 모비우스 변환의 복합함수를 통해 유도되며 네 가지의 명백한 영역을 규명한다.
• 계층적 상호작용 플링거-비엇 확산에서의 고전적 군집화 대 국소 공존 이분법—$\sum_{k\in\mathbb{N}_0} 1/c_k = \infty$ (재귀) 대 $<\infty$ (비재귀)—는 새로운 기준으로 대체된다: $\sum_{k\in\mathbb{N}_0} (1/c_k) \sum_{l=0}^k \Lambda_l([0,1]) = \infty$ (군집화) 대 $<\infty$ (국소 공존).
• 군집화 영역에서는 비국소 샘플링과 이동의 상호작용로 인해 플링거-비엇의 경우보다 더 풍부한 군집 형성 역학을 보인다.
• 국소 공존 영역에서는 플링거-비엇의 경우와 달리, 초기에 존재하는 유형들이 확률 1이 아닌 양의 확률로 생존하며, 이는 더 복잡한 생존 메커니즘이 있음을 시사한다.
• 유한 $N$의 경우에도 $N\to\infty$ 극한과 동일한 군집화 대 국소 공존 이분법이 유지되며, 군집 형성의 정확한 성격과 유형 생존 분포는 여전히 제어되지 않는다.