[논문 리뷰] On the asymptotic normality of persistent Betti numbers

Johannes Krebs, Wolfgang Polonik|arXiv (Cornell University)|2019. 03. 08.

Topological and Geometric Data Analysis인용 수 5

한 줄 요약

이 논문은 임계 영역에서 포아송 및 이항 과정에 대한 지속적 베티 수의 다변량 점근 정규성을 확립한다. 이는 이전의 점별 결과를 일반화한 것이다. 지속적 베티 수에 대한 강한 안정성 성질을 증명함으로써, 저자들은 정규화된 지속적 베티 수의 공동 분포가 퍼콜레이션 영향에 영향을 받지 않고 모든 매개변수 쌍 (r,s) 에서 다변량 정규 분포로 수렴한다는 것을 보여준다.

ABSTRACT

Persistent Betti numbers are a major tool in persistent homology, a subfield of topological data analysis. Many tools in persistent homology rely on the properties of persistent Betti numbers considered as a two-dimensional stochastic process $ (r,s) \mapsto n^{-1/2} (β^{r,s}_q ( \mathcal{K}(n^{1/d} \mathcal{X}_n))-\mathbb{E}[β^{r,s}_q ( \mathcal{K}( n^{1/d} \mathcal{X}_n))])$. So far, pointwise limit theorems have been established in different settings. In particular, the pointwise asymptotic normality of (persistent) Betti numbers has been established for stationary Poisson processes and binomial processes with constant intensity function in the so-called critical (or thermodynamic) regime, see Yogeshwaran et al. [2017] and Hiraoka et al. [2018]. In this contribution, we derive a strong stabilization property (in the spirit of Penrose and Yukich [2001] of persistent Betti numbers and generalize the existing results on the asymptotic normality to the multivariate case and to a broader class of underlying Poisson and binomial processes. Most importantly, we show that the multivariate asymptotic normality holds for all pairs $(r,s)$, $0\le r\le s<\infty$, and that it is not affected by percolation effects in the underlying random geometric graph.

연구 동기 및 목표

• 모든 (r,s) 쌍에 대해 지속적 베티 수의 점별 점근 정규성을 다변량으로 일반화하는 것.
• 균일한 밀도를 가진 비균일 포아송 및 이항 과정으로 기존의 중심극한정리를 균일한 경우에서 비균일한 경우로 확장하는 것.
• 지속적 베티 수에 대한 강한 안정성 성질을 확립하여 Trinh(2019)의 추상 중심극한정리 결과의 적용을 가능하게 하는 것.
• 기본 무작위 기하 복합체의 퍼콜레이션 영향이 임계 영역에서 지속적 베티 수의 점근 정규성에 영향을 주지 않는다는 것을 보여주는 것.
• 지속 호모로지 기반의 위상적 데이터 분석에서 통계적 추론을 위한 엄밀한 기초를 마련하는 것.

제안 방법

• 개별 점이 베티 수에 미치는 영향을 제한하는 기하학적 보조정리를 통해 지속적 베티 수의 강한 안정성을 증명하는 것.
• 가중치 합으로 정의된 기능에 대해 Trinh(2019)의 추상 중심극한정리를 적용하는 것.
• 밀도의 상한인 κ의 상한에 의해 제어되는 포아송 과정에 의한 확률적 지배를 사용하여 포아송 및 이항 과정의 유계 모멘트 조건을 확립하는 것.
• 이동 불변성과 구 안에 포함된 점의 수에 대한 모멘트 경계를 사용하여 추가 비용 함수의 네 번째 모멘트를 제어하는 것.
• 점근 분산을 강도 함수와 점이 지속적 베티 수에 미치는 국소적 영향의 기능 α(λ^{1/d}(r,s)) 의 기능으로 유도하는 것.
• 한계 분산을 단위 강도 과정에서의 국소 도함수 기능 α(λ^{1/d}(r,s)) 의 공분산 구조에 따라 표현하는 것.

실험 결과

연구 질문

• RQ1 지속적 베티 수의 다변량 점근 정규성은 점별 결과를 초월하여 모든 (r,s) 쌍에서 임계 영역 내에서 성립하는가?
• RQ2 지속적 베티 수의 점근 정규성 결과는 균일한 경우에서 밀도가 유계인 비균일 포아송 및 이항 과정으로 확장될 수 있는가?
• RQ3 기본 무작위 기하 그래프에서의 퍼콜레이션 영향은 지속적 베티 수의 점근 정규성에 영향을 주는가?
• RQ4 다변량 설정에서 다수의 (r,s) 쌍에 대해 한계 공분산 구조의 정확한 형태는 무엇인가?
• RQ5 지속적 베티 수의 강한 안정성 성질은 추상 중심극한정리의 적용을 어떻게 가능하게 하는가?

주요 결과

• 모든 (r,s) 쌍에 대해 0 ≤ r ≤ s < ∞ 에서 지속적 베티 수의 다변량 점근 정규성이 성립하며, 이는 이전의 점별 결과를 확장한다.
• 정규화된 지속적 베티 수의 한계 분포는 다변량 정규 분포이며, 이는 국소적 영향을 통해 기능 α(λ^{1/d}(r,s)) 를 통해 결정된다.
• 점근 분산은 국소 도함수 기능의 곱의 기대값에서 각 기능의 기대값의 곱을 뺀 공분산 표현식으로 주어진다.
• 강한 안정성 성질은 임의의 한 점이 지속적 베티 수에 미치는 영향이 거리에 따라 급격히 감소함을 보장하여 혼합형 중심극한정리의 적용을 가능하게 한다.
• 결과는 퍼콜레이션 영향에 대해 강인하며, 수렴이 무작위 기하 복합체의 전반적인 연결성 성질에 의존하지 않기 때문이다.
• 중심극한정리에 필요한 유계 모멘트 조건은 ||κ||∞ 에 의해 제어되는 포아송 과정에 의한 확률적 지배를 통해 검증되었으며, 이는 일반적인 유계 밀도에 대한 적용 가능성을 보장한다.