[논문 리뷰] Limit theorems for persistence diagrams

Trinh Khanh Duy, Yasuaki Hiraoka외 1명|arXiv (Cornell University)|2016. 12. 26.

Topological and Geometric Data Analysis참고 문헌 24인용 수 10

한 줄 요약

이 논문은 $\mathbb{R}^N$ 상의 정상점과정의 영구 다이어그램에 대해 극한정리들을 수립하며, 관측 창이 커짐에 따라 스케일 조정된 영구 다이어그램이 거의 확실히 수렴함을 증명한다. 또한 한계 다이어그램이 전체 지지를 갖는 데 필요한 충분조건을 제공하고, 영구 베티 수에 대한 중심극한정리를 수립하여 확률적 기하학에서의 무작위 위상구조에 대한 이해를 발전시킨다.

ABSTRACT

The persistent homology of a stationary point process on ${\bf R}^N$ is studied in this paper. As a generalization of continuum percolation theory, we study higher dimensional topological features of the point process such as loops, cavities, etc. in a multiscale way. The key ingredient is the persistence diagram, which is an expression of the persistent homology. We prove the strong law of large numbers for persistence diagrams as the window size tends to infinity and give a sufficient condition for the limiting persistence diagram to have the full support. We also discuss a central limit theorem for persistent Betti numbers.

연구 동기 및 목표

• 정상점과정 $\mathbb{R}^N$ 상에서 생성된 영구 다이어그램의 渐近적 행동을 연구하기 위해.
• 연속체 퍼콜레이션 이론을 고차원 위상구조, 예를 들어 고리와 공동과 같은 특성으로 확장하기 위해.
• 영구 다이어그램과 영구 베티 수에 대해 강한 대수법칙과 중심극한정리와 같은 극한정리를 수립하기 위해.
• 한계 영구 다이어그램이 전체 지지를 갖는 조건을 제공하여, 한계에서 풍부한 위상적 구조를 보장하기 위해.
• 다중 척도 위상구조를 영구 다이어그램을 통해 분석함으로써 랜덤 위상수학과 확률기하학을 연결하기 위해.

제안 방법

• 저자는 점점 커지는 창 $\Lambda_L = [-L/2, L/2)^N$ 에 제한된 정상점과정 $\Phi_{\Lambda_L}$ 에 기반한 체흐 복합체를 분석한다.
• 그들은 영구 다이어그램을 체흐 복합체의 영구 homology를 다루는 다중 척도 요약으로 사용하여, 척도 매개변수 $r \geq 0$ 에 따라 위상적 특성의 탄생과 소멸을 추적한다.
• 강한 대수법칙은 $L \to \infty$ 일 때 스케일 조정된 영구 다이어그램이 에르고디시티와 점과정 $\Phi$ 의 모멘트 조건 하에서 거의 확실히 결정론적 한계 다이어그램으로 수렴함을 보여서 증명된다.
• 한계 다이어그램이 전체 지지를 갖는 데 필요한 충분조건은 점과정의 강도와 상관관계 구조에 기반하여 유도된다.
• 중앙극한정리의 경우, 평균 주위의 영구 베티 수 $\beta_q(C(\Phi_{\Lambda_L}, r))$ 의 변동성을 분석하여 적절한 정규화 후 정규분포로 수렴함을 보였다.
• 특히 복합체의 구성 요소에 대한 변화에 대한 다이어그램 민감도를 제어하기 위해 영구 다이어그램의 안정성 결과, 특히 블록너 거리 기반의 안정성 결과를 활용하였다.

실험 결과

연구 질문

• RQ1 관측 창이 무한히 커질 때, 정상점과정의 영구 다이어그램은 거의 확실히 결정론적 한계로 수렴하는가?
• RQ2 한계 영구 다이어그램이 영구 다이어그램 공간에서 전체 지지를 갖는 조건은 무엇인가?
• RQ3 정상점과정에 대해 영구 베티 수 $\beta_q$ 가 기대값과 분포에서 어떻게 渐近적으로 행동하는가?
• RQ4 정상점과정에 기반한 무작위 체흐 복합체의 영구 베티 수에 대해 중심극한정리를 수립할 수 있는가?
• RQ5 점과정의 변형에 대한 영구 다이어그램의 안정성은 한계 다이어그램 수렴과 어떻게 관련되는가?

주요 결과

• 에르고디시티와 유한 모멘트 조건 하에서 창 크기 $L \to \infty$ 일 때 정상점과정의 스케일 조정된 영구 다이어그램은 거의 확실히 결정론적 한계 다이어그램으로 수렴한다.
• 한계 영구 다이어그램이 전체 지지를 갖는 데 필요한 충분조건이 제시되었으며, 이는 기저 점과정의 강도와 상관관계 구조에 따라 달라진다.
• 기대 영구 베티 수 $\mathbb{E}[\beta_q(C(\Phi_{\Lambda_L}, r))]$ 는 $L^N$ 에 대해 선형으로 증가하며, 정규화된 기대값은 $\hat{\beta}_q^r \geq 0$ 으로 수렴한다.
• 단위 강도를 갖는 동질적 포아송 점과정의 경우, $\beta_q(C(\Phi_{\Lambda_L}, r))$ 의 정규화된 변동은 $L^{N/2}$ 로 스케일 조정한 후 정규분포로 수렴한다.
• 영구 다이어그램 간의 블록너 거리는 점과정의 소규모 변형에 대해 안정적이며, 하우스도르프 거리와 필터링 함수의 연속성에 따라 bound가 존재한다.
• 연속성 결과가 확립되었으며, 필터링 함수가 하우스도르프 거리에 대해 리프시츠 연속일 경우, 영구 다이어그램 간의 블록너 거리는 리프시츠 상수와 점집합 간 하우스도르프 거리의 곱으로 유계화된다.