[논문 리뷰] Limit theorems for process-level Betti numbers for sparse, critical, and Poisson regimes

Takashi Owada, Andrew M. Thomas|arXiv (Cornell University)|2018. 09. 15.

Topological and Geometric Data Analysis참고 문헌 18인용 수 4

한 줄 요약

이 논문은 $[ d$-차원 유클리드 공간 내에 포아송 분포를 띠는 점들로 구성된 체흐 복합체의 과정 수준의 베티 수에 대한 극한 정리들을 수립한다. 희박, 임계, 포아송 3가지 영역에서 분석하며, 희박 및 임계 영역에 대해 중심극한정리(제한 과정이 각각 시간에 따라 변화하는 브라운 운동과 가우시안 과정으로 표현됨)를 증명하고, 포아송 영역에 대해 포아송 극한정리를 제시함으로써 무작위 기하 복합체에서 위상적 복잡성의 완전한 점근적 특성화를 제공한다.

ABSTRACT

The objective of this study is to examine the asymptotic behavior of Betti numbers of Čech complexes treated as stochastic processes and formed from random points in the $d$-dimensional Euclidean space $\mathbb{R}^d$. We consider the case where the points of the Čech complex are generated by a Poisson process with intensity $nf$ for a probability density $f$. We look at the cases where the behavior of the connectivity radius of Čech complex causes simplices of dimension greater than $k+1$ to vanish in probability, the so-called sparse and Poisson regimes, as well when the connectivity radius is on the order of $n^{-1/d}$, the critical regime. We establish limit theorems in all of the aforementioned regimes, a central limit theorem for the sparse and critical regimes, and a Poisson limit theorem for the Poisson regime. When the connectivity radius of the Čech complex is $o(n^{-1/d})$, i.e., the sparse and Poisson regimes, we can decompose the limiting processes into a time-changed Brownian motion and a time-changed homogeneous Poisson process respectively. In the critical regime, the limiting process is a centered Gaussian process but has much more complicated representation, because the Čech complex becomes highly connected with many topological holes of any dimension.

연구 동기 및 목표

• 무작위 기하 위상수학에서 베티 수의 점진적 행동을 확률과정으로 분석하기.
• 세 가지 상이한 스케일링 영역(희박, 임계, 포아송)에서 과정 수준의 베티 수의 극한 분포를 특성화하기.
• 희박 및 임계 영역에서 중심극한정리를 수립하고, 포아송 영역에서 포아송 극한정리를 제시하기.
• 시간에 따라 변화하는 브라운 운동과 가우시안 과정을 포함한 극한 과정의 명시적 표현을 도출하기.
• 강도 $nf$인 포아송 과정으로부터 생성된 체흐 복합체의 위상적 복잡성 이해하기

제안 방법

• 강도 $nf$인 포아송 점 과정을 사용하여 체흐 복합체를 모델링하며, $f$는 $[ d$상의 확률밀도함수이다.
• 연결 반경 $t$에 따라 인덱싱된 확률과정으로서의 베티 수 $\beta_k$를 분석하여 척도에 따른 위상적 특징을 추적한다.
• 고차원 심플렉스의 행동과 그들이 베티 수에 기여하는 방식을 제어하기 위해 모멘트 방법과 계승모멘트 측도를 사용한다.
• 연속성 정리와 포아송 랜덤 측도의 라플라스 함수를 적용하여 극한 과정의 약한 수렴을 특성화한다.
• 변수변환과 심플렉스 교차의 지시함수를 포함한 적분에 대한 경계를 사용하여 분산 항의 소멸을 증명한다.
• 점근 전개와 복잡한 연결성의 확률에 대한 경계를 통해 기대값과 두 번째 모멘트의 수렴을 확립한다.

실험 결과

연구 질문

• RQ1 기저 점 과정이 강도 $nf$인 포아송 과정일 때, 체흐 복합체의 베티 수는 어떻게 확률과정으로 행동하는가?
• RQ2 희박 영역에서, 연결 반경이 $o(n^{-1/d})$일 때, $k$-번째 베티 수 과정의 극한 분포는 무엇인가?
• RQ3 임계 영역에서, 연결 반경이 $n^{-1/d}$의 주기일 때, 베티 수 과정의 극한 행동은 어떻게 되는가?
• RQ4 포아송 영역에서의 극한 과정은 희박 및 임계 영역과 어떻게 다를까?
• RQ5 임계 영역에서의 극한 과정은 명시적으로 표현될 수 있으며, 그에 따라 기저 공간의 기하학적 구조에 어떻게 의존하는가?

주요 결과

• 희박 영역에서, 베티 수의 극한 과정은 시간에 따라 변화하는 브라운 운동이며, 위상적 특징의 확산적 변동을 반영한다.
• 임계 영역에서, 극한 과정은 중심화된 가우시안 과정이며, 높은 연결성과 모든 차원의 지속적인 위상적 구멍으로 인해 복잡한 표현을 가진다.
• 포아송 영역에서, 극한 과정은 시간에 따라 변화하는 균일 포아송 과정으로 약하게 수렴하며, 희귀하고 독립적인 위상적 사건을 나타낸다.
• $k$-번째 베티 수 과정의 기대값은 $\mu_{k,\mathbb{R}^d}(t,t)$로 수렴하며, 이는 $k$-사이클의 기대 수를 캡처한다.
• $n \to \infty$일 때, 고차원 심플렉스의 기여를 나타내는 잔여항 $R_{k,n}(t)$의 기대값은 0으로 수렴하여 주항목의 수렴을 보장한다.
• 모멘트 수렴과 포아송 랜덤 측도에 연속성 정리를 적용함으로써, 유한차원 분포의 수렴이 확립된다.