[논문 리뷰] Persistent Betti numbers of random Čech complexes

Ulrich Bauer, Florian Pausinger|arXiv (Cornell University)|2018. 01. 25.

Topological and Geometric Data Analysis참고 문헌 6인용 수 5

한 줄 요약

이 논문은 랜덤 Čech 복합체의 하위임계 상태에서 기대값으로서의 k번째 영구적 Betti 수의 渐近적 순서를 포아송 점 프로세스 모델을 사용하여 설정한다. 펜로즈의 무작위 기하 그래프에 대한 방법을 일반화하고 팔름 이론을 적용하여, 기대 영구적 Betti 수가 $\Theta(n^m r_n^{d(m-1)})$로 스케일링됨을 증명한다. 여기서 $m = k+1$이며, 이는 카헬의 일반 Betti 수에 대한 결과를 특수한 경우로 복원한다.

ABSTRACT

We study the persistent homology of random Čech complexes. Generalizing a method of Penrose for studying random geometric graphs, we first describe an appropriate theoretical framework in which we can state and address our main questions. Then we define the kth persistent Betti number of a random Čech complex and determine its asymptotic order in the subcritical regime. This extends a result of Kahle on the asymptotic order of the ordinary kth Betti number of such complexes to the persistent setting.

연구 동기 및 목표

• 무작위 Čech 복합체에 대해 카헬의 일반 Betti 수 결과를 영구적 호모로지 설정으로 확장한다.
• 포아송 점 프로세스를 사용하여 영구적 호모로지 분석을 위한 이론적 프레임워크를 수립한다.
• 하위임계 상태에서 기대값으로서의 k번째 영구적 Betti 수의 渐近적 성장률을 규명한다.
• 영구적 호모로지를 무작위 점 집합에서 특성화하여 토폴로지적 데이터 분석과 확률적 귀무모형 간 격차를 메운다.
• 비임계 및 기타 매개변수 영역에서 영구적 Betti 수를 연구하기 위한 기초를 제공한다.

제안 방법

• 유계 확률 밀도 $f$를 갖는 $\mathbb{R}^d$에서 강도 $nf(x)$를 갖는 포아송 점 프로세스를 사용하여 무작위 Čech 복합체를 모델링한다.
• 필터링된 Čech 복합체에서 영구적 호모로지의 질량으로서 k번째 $\vartheta$-영구적 Betti 수 $\beta_k^\vartheta(\mathcal{P}_n, r_n)$를 정의한다.
• 기대값을 계산하기 위해 팔름 이론(정리 1.1)을 적용하여 영구적 순환과 관련된 유한 기하 하위집합 성질의 수를 계산한다.
• 비자명한 $\vartheta$-영구적 $k$-순환을 지지하는 최소 정점 집합을 식별하기 위해 기하 하위집합 성질 $\Upsilon_{r,p}^{\vartheta,k}$를 사용한다.
• 조합적 수세기와 $\operatorname{RelativeCount}(\Upsilon, \mathcal{P}_n)$의 渐近적 분석을 통해 하한 및 상한을 유도하여 $\Theta(n^m r_n^{d(m-1)})$ 스케일링에 도달한다.
• 하한(보조정리 3.6)과 상한(보조정리 4.1)을 조합하여 渐近적 순서를 확립하며, $m = k+1$이다.

실험 결과

연구 질문

• RQ1 하위임계 상태에서 무작위 Čech 복합체의 기대값으로서의 k번째 영구적 Betti 수의 渐近적 순서는 무엇인가?
• RQ2 점의 수 $n \to \infty$이고 반지름 $r_n$이 $r_n^d n \to 0$가 되도록 스케일링될 때, 무작위 점 집합의 영구적 호모로지는 어떻게 행동하는가?
• RQ3 펜로즈의 무작위 기하 그래프에 대한 방법은 영구적 호모로지와 기하 하위집합 성질로 일반화될 수 있는가?
• RQ4 무작위 Čech 복합체에서 비자명한 $\vartheta$-영구적 $k$-순환을 지지하기 위해 필요한 최소 정점 수는 얼마인가?
• RQ5 하위임계 상태에서 기대 영구적 Betti 수는 $n$과 $r_n$에 대해 어떻게 스케일링되는가?

주요 결과

• 하위임계 상태에서 기대값으로서의 $k$번째 $\vartheta$-영구적 Betti 수 $E(\beta_k^\vartheta(\mathcal{P}_n, r_n))$는 $\Theta(n^m r_n^{d(m-1)})$이며, 여기서 $m = k+1$이다.
• 기대값의 하한 $E(\beta_k^\vartheta(\mathcal{P}_n, r_n)) \in \Omega(n^m r_n^{d(m-1)})$는 최소 정점 집합에 지지되는 영구적 순환의 선형 독립성에서 유도된다.
• 기대값의 상한 $E(\beta_k^\vartheta(\mathcal{P}_n, r_n)) \in \mathcal{O}(n^m r_n^{d(m-1)})$는 조합적 수세기와 渐近적 분석를 통해 이러한 순환의 수를 상한함으로써 유도된다.
• 결과는 카헬의 일반 Betti 수에 대한 渐近적 결과를 영구적 설정으로 일반화하며, $\vartheta = 1$일 때 특수한 경우로 복원한다.
• 분석은 渐近적 순서에서 $m$-정점 구성이 지배적임을 시사하며, 이는 $c_{m,k}^\vartheta = 1$일 가능성이 있으나 아직 추측에 머무르고 있다.
• 적절한 영구적 순환과 Betti 수의 재정의가 이루어지면, 이 프레임워크는 정수 계수와 같은 다른 계수 환으로도 확장 가능하다.