[논문 리뷰] Weighted Persistent Homology Sums of Random \v{C}ech Complexes

Benjamin Schweinhart|arXiv (Cornell University)|2018. 07. 18.

Topological and Geometric Data Analysis참고 문헌 17인용 수 3

한 줄 요약

이 논문은 거리 공간 위에서 i.i.d. 표본으로 구성된 무작위 Čech 복합체에서 가중치가 부여된 영구 호몰로지 합의 渐近적 행동을 규명한다. 등각적으로 샘플링된 m차원 구 또는 구역에서, i차원 영구 호몰로지 간격의 α-가중치 합은 기대값에서 n^{(m−α)/m} 비례함을 증명하며, 확률적으로도 날카운 경계를 제공한다. 이는 고전적인 최소 스패닝 트리 결과를 고차원 위상적 특징으로 일반화한다.

ABSTRACT

We study the asymptotic behavior of random variables of the form \\begin{equation*} E_{\\alpha}^i\\left(x_1,\\ldots,x_n\ ight)=\\sum_{\\left(b,d\ ight)\\in \\mathit{PH}_i\\left(x_1,\\ldots,x_n\ ight)} \\left(d-b\ ight)^{\\alpha} \\end{equation*} where $\\left\\{x_j\ ight\\}_{j\\in\\mathbb{N}}$ are i.i.d. samples from a probability measure on a triangulable metric space, and $\ extit{PH}_i\\left(x_1,\\ldots,x_n\ ight)$ denotes the $i$-dimensional reduced persistent homology of the \\v{C}ech complex of $\\left\\{x_1,\\ldots,x_n\ ight\\}.$ These quantities are a higher-dimensional generalization of the $\\alpha$-weighted sum of a minimal spanning tree; we seek to prove analogues of the theorems of Steele (1988) and Aldous and Steele (1992) in this context. As a special case of our main theorem, we show that if $\\left\\{x_j\ ight\\}_{j\\in\\mathbb{N}}$ are distributed independently and uniformly on the $m$-dimensional Euclidean sphere, $\\alpha<m,$ and $0\\leq i <n,$ then there are real numbers $\\gamma$ and $\\Gamma$ so that \\begin{equation*} \\gamma \\leq \\lim_{n\ ightarrow\\infty} n^{-\\frac{m-\\alpha}{m}} E_i^{\\alpha}\\left(x_1,\\ldots,x_n\ ight) \\leq \\Gamma \\end{equation*} in probability. More generally, we prove results about the asymptotics of the expectation of $E_\\alpha^i$ for points sampled from a locally bounded probability measure on a space that is the bi-Lipschitz image of an $m-$dimensional Euclidean simplicial complex, as well as measures supported on sets of fractional dimension that respect box counting.

연구 동기 및 목표

• 영구 호몰로지의 고차원 위상적 특징을 통해 고전적인 최소 스패닝 트리의 확률론적 결과를 일반화하는 것.
• 무작위 Čech 복합체에서 i차원 영구 호몰로지 간격의 α-가중치 합의 渐近적 행동을 분석하는 것.
• m차원 공간에서 컴act하고 국소적으로 유계인 측도로부터 표본을 추출할 경우, 이러한 합의 거의 확실 및 확률적 수렴 경계를 설정하는 것.
• 기존의 영구 호몰로지에 대한 극한 경계를 확률적 설정으로 확장하고 명시적인 스케일링 법칙을 도출하는 것.

제안 방법

• E_{\beta}^{i} = \sum_{(b,d) \in \mathrm{PH}_i} (d-b)^\alpha 로 정의된 가중치가 부여된 영구 호몰로지 합을 사용하며, 최소 스패닝 트리 가중치를 일반화한다.
• 영구 호몰로지의 이중 리프시츠 불변성을 적용하여 곡면 위의 표본 추출을 유클리드 모델과 연결한다.
• 확률적 농도 추론 및 포아송 근사법을 사용하여 주어진 수명대에 속하는 간격의 수를 제어한다.
• 작은 구 안에서 체적 추정과 포아송 과정을 비교하여 하한 및 상한을 유도한다.
• 이중 리프시츠 사상에 대한 교차 레미마를 사용하여 유클리드 공간에서의 결과를 일반적인 m차원 거리 공간으로 이행한다.
• Cohen-Steiner 등이 제시한 \alpha > m 일 때 E_{\alpha}^{i} 의 균일 유계성 결과를 활용하여 상한을 확립한다.

실험 결과

연구 질문

• RQ1 m차원 구 위의 무작위 Čech 복합체에서 영구 호몰로지 간격의 α-가중치 합의 渐近적 스케일링은 어떻게 되는가?
• RQ2 \lim_{n \to \infty} n^{-(m-\alpha)/m} E_{\alpha}^{i}(x_1,\dots,x_n) 이 존재하고 \alpha < m 일 때 확률적으로 유계인가?
• RQ3 구 또는 구역에서 E_{\alpha}^{i} 의 행동은 \mathbb{R}^m 에서의 최소 스패닝 트리에 대한 고전적 결과와 어떻게 비교되는가?
• RQ4 E_{\alpha}^{i} 의 스케일링 법칙은 i=0 이외의 고차원 호몰로지 군으로까지 확장될 수 있는가?
• RQ5 n \to \infty 일 때, 총 수명 지속 시간인 E_{m}^{i} 의 행동은 어떠한가?

주요 결과

• i.i.d. 등각 표본이 m차원 구 위에서 이루어질 경우, \alpha < m 일 때 확률적으로 \gamma \leq \lim_{n \to \infty} n^{-(m-\alpha)/m} E_{\alpha}^{i} \leq \Gamma 를 만족하며, 상수 \gamma, \Gamma 는 \alpha 와 측도에 따라 달라진다.
• m차원 유클리드 구역에서는 동일한 스케일링이 기대값에서 성립한다: \gamma \leq \lim_{n \to \infty} n^{-(m-\alpha)/m} \mathbb{E}[E_{\alpha}^{i}] \leq \Gamma 로서, 하한은 확률적으로도 성립한다.
• \alpha = m 일 경우, 총 수명 지속 시간은 \lim_{n \to \infty} \frac{1}{\log n} \mathbb{E}[E_{m}^{i}] \leq D 를 확률적으로 만족하며, 유한한 D 가 존재한다.
• 하한은 포아송 근사 추론을 통해 확립되며, 어떤 \gamma' > 0 에 대해 \lim_{n \to \infty} n^{-(m-\alpha)/m} E_{\alpha}^{i} \geq \gamma' 가 확률적으로 성립함을 보여준다.
• 이러한 결과는 이중 리프시츠 사상의 영구 호몰로지에 대한 교차 레미마를 사용하여, m차원 단체 복합체의 이중 리프시츠 영상 위의 국소적으로 유계인 측도로까지 확장된다.
• 논문은 Steele의 최소 스패닝 트리 정리와 Aldous–Steele의 L^2 수렴 결과를 고차원 영구 호몰로지로 일반화하며, 위상 자료 분석에서 새로운 스케일링 법칙의 클래스를 확립한다.