[논문 리뷰] Random Čech Complexes on Manifolds with Boundary

Henry‐Louis de Kergorlay, Ulrike Tillmann외 1명|arXiv (Cornell University)|2019. 06. 18.

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

한 줄 요약

이 논문은 경계를 가진 컴acts한 리만 다양체 위의 랜덤 Čech 복합체에 대해 점점 커지는 동안의 호모로지 연결성 임계값을 도출한다. 포아송 점 프로세스를 사용하여, $k$-번째 호모로지 복구를 위한 주요 차수의 임계값은 $(2 - 2/d)\log(n)$이며, 이는 닫힌 다변량체에서의 $\log(n)$과 다름을 보여준다.

ABSTRACT

Let $M$ be a compact, unit volume, Riemannian manifold with boundary. In this paper we study the homology of a random Čech-complex generated by a homogeneous Poisson process in $M$. Our main results are two asymptotic threshold formulas, an upper threshold above which the Čech complex recovers the $k$-th homology of $M$ with high probability, and a lower threshold below which it almost certainly does not. These thresholds are close together in the sense that they have the same leading term. Here $k$ is positive and strictly less than the dimension $d$ of the manifold. This extends work of Bobrowski and Weinberger in [BW17] and Bobrowski and Oliveira [BO19] who establish similar formulas when $M$ is a torus and, more generally, is closed and has no boundary. We note that the cases with and without boundary lead to different answers: The corresponding common leading terms for the upper and lower thresholds differ being $\log (n) $ when $M$ is closed and $(2-2/d)\log (n)$ when $M$ has boundary; here $n$ is the expected number of sample points. Our analysis identifies a special type of homological cycle, which we call a $Θ$-like-cycle, which occur close to the boundary and establish that the first order term of the lower threshold is $(2-2/d)\log (n)$.

연구 동기 및 목표

• 닫힌 다변량체에서의 호모로지 연결성 이론을 경계를 가진 리만 다변량체로 확장하기.
• 랜덤 Čech 복합체가 높은 확률로 경계를 가진 다변량체의 $k$-번째 호모로지를 복구할 수 있는 정확한 渐近 임계값을 규명하기.
• 특히 $Θ$-유사 사이클을 포함한 경계에 기인한 위상적 장애물이 호모로지 복구에 미치는 역할을 식별하고 분석하기.
• 닫힌 다변량체와 비교했을 때 경계의 존재가 호모로지 연결성 임계값의 주요 항과 제2항에 어떻게 영향을 미치는지 정량화하기.
• 경계를 가진 다변량체에서의 호모로지 복구 단계 전이를 이해하기 위한 프레임워크 제공하기.

제안 방법

• 경계를 가진 컴팩트하고 체적이 1인 리만 다변량체 $M$ 위에 강도 $n$의 균일한 포아송 점 프로세스를 사용하여 랜덤 Čech 복합체를 모델링하기.
• 복합체 위상의 단계 전이를 분석하기 위해 $\Lambda = n\omega_d r^d$를 정의하며, 이는 반경 $r$인 $d$차원 구의 기대 점 수이다.
• 특히 경계 근처에서의 호모로지 특성을 연구하기 위해 거리 함수의 모스 이론과 임계점 분석을 사용하기.
• 경계 근처의 점 구성에서 유래하는 특수한 호모로지 사이클인 $Θ$-유사 사이클을 도입하고 특성화하기.
• 경계 $\partial M$의 $r$-콜라지의 부피를 추정하여 $\text{Vol}(Δ M_r) \sim r \sim (\log n / n)^{1/d}$를 도출함으로써 주항목에 $-(1/d)$ 수정항을 유도하기.
• 모스 복합체에서 $\u0398$-유사 사이클과 그 이중체의 발생에 대한 확률적 경계를 적용하여 호모로지 복구를 위한 상한과 하한 임계값을 확립하기.

실험 결과

연구 질문

• RQ1 경계를 가진 다변량체에서의 랜덤 Čech 복합체에 대한 호모로지 연결성 임계값은 닫힌 다변량체와 어떻게 다를까?
• RQ2 경계를 가진 다변량체의 $k$-번째 호모로지가 높은 확률로 복구되기 위한 정확한 주요 차수의 점점 커지는 임계값은 무엇인가?
• RQ3 특히 $\u0398$-유사 사이클을 통해 유도되는 경계 효과가 호모로지 임계값의 제2항에 어떻게 영향을 미치는가?
• RQ4 경계의 $r$-콜라지 이웃 영역이 Čech 복합체의 호모로지적 구조에 어떤 영향을 미치는가?
• RQ5 상대 호모로지 $M$에 대해 $\partial M$을 고려할 때, 이중 모스 복합체를 통해 분석이 가능할까? 그리고 이는 절대 호모로지 임계값과 어떻게 관련이 있는가?

주요 결과

• 상한과 하한 호모로지 연결성 임계값의 주요 항은 $(2 - 2/d)\log n$이며, 이는 닫힌 다변량체의 $\log n$과는 달리 경계 효과로 인해 다르다.
• 하한 임계값은 경계 근처에 존재하는 $\u0398$-유사 사이클에 의해 지배되며, 이는 주항목에서 $-(2/d)\log n$ 수정항을 유도한다.
• 하한 임계값의 제2항은 $2(1/d - 3)\log\log n$의 순서를 가지며, 이 중 계수 2는 경계가 체적 기여를 반으로 줄이기 때문이다.
• 상한 임계값의 제2항은 $[(k-2)\log\log n, k\log\log n]$ 범위에 놓여 있으며, 이는 경계에 기인한 사이클의 영향을 반영한다.
• 분석을 통해 호모로지 복구의 기하학적 장애로, 경계 근처에서 탄젠트 방향으로 도입된 $k$-단체로 형성된 $\u0398$-유사 사이클이 존재함을 규명했다.
• 상대 호모로지 $M$에 대해 $\partial M$을 고려할 때, 음의 거리 함수의 모스 복합체를 통해 분석할 수 있으며, 이 경우 $\u0398$-유사 사이클은 인덱스 $d-k$의 상대 사이클로 이중화된다.