[논문 리뷰] The Persistent Homology of Random Geometric Complexes on Fractals.

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

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

한 줄 요약

이 논문은 아르프스 정규 측도를 가진 거리공간의 프랙탈 차원 $d$ 가 $n$개의 i.i.i.d. 점들에 대한 최소 스패닝 트리의 $\alpha$-중량을 통해 영구 호몰로지로부터 복원될 수 있음을 보여준다. $n \to \infty$ 일 때 $n^{-(d-\alpha)/d} E^0_\alpha(x_1,\dots,x_n)$ 가 높은 확률로 상수로 수렴함을 증명하며, 이는 스틸의 (1988) 결과를 비특이 공간에서 프랙탈 설정으로 일반화한다.

ABSTRACT

We prove that the fractal dimension of a metric space equipped with an Ahlfors regular measure can be recovered from the persistent homology of random samples. Our main result is that if $x_1,\ldots, x_n$ are i.i.d. samples from a $d$-Ahlfors regular measure on a metric space, and $E^0_\alpha\left(x_1,\ldots,x_n ight)$ denotes the $\alpha$-weight of the minimum spanning tree on $x_1,\ldots,x_n:$ \[E_\alpha^0\left(x_1,\ldots,x_n ight)=\sum_{e\in T\left(x_1,\ldots,x_n ight)} |e|^\alpha\,,\] then there exist constants $0<C_1\leq C_2$ so that \[C_1\leq n^{-\frac{d-\alpha}{d}} E^0_\alpha\left(x_1,\ldots,x_n ight)\leq C_2\,\] with high probability as $n ightarrow \infty.$ In particular, \[\log\big(E^0_\alpha(x_1,\ldots,x_n)\big)/\log(n)\longrightarrow (d-\alpha)/d\,.\] This is a generalization of a result of Steele (1988) from the non-singular case to the fractal setting. Our result is best possible, in the sense that there exist Ahlfors regular measures for which the limit $\lim_{n ightarrow\infty} n^{-\frac{d-\alpha}{d}} E^0_\alpha\left(x_1,\ldots,x_n ight)$ does not exist with high probability. We also prove analogous results for weighted sums defined in terms of higher dimensional persistent homology.

연구 동기 및 목표

• 아르프스 정규 측도를 가진 거리공간에서 영구 호몰로지와 프랙탈 차원 사이의 연결 고리를 확립하기 위해.
• 비특이 공간에서 최소 스패닝 트리 중량에 대한 스틸의 (1988) 결과를 프랙탈 및 특이 설정으로 일반화하기 위해.
• 최소 스패닝 트리의 $\alpha$-중량의 스케일링 행동이 잠재적인 프랙탈 차원 $d$ 를 드러냄을 증명하기 위해.
• 높은 확률로 $n^{-(d-\alpha)/d} E^0_\alpha$ 의 극한이 존재하고 양수 상수 사이에 유계임을 보여주기 위해.
• 가중치 합을 통한 고차원 영구 호몰로지로 분석을 확장하기 위해.

제안 방법

• 아르프스 정규 측도에서 추출한 $n$개의 i.i.d. 표본에 대한 최소 스패닝 트리의 모든 간선 $e$ 에 대해 $|e|^\alpha$ 의 합으로 $E^0_\alpha(x_1,\dots,x_n)$ 을 정의한다.
• 확률적 분석을 통해 $n \to \infty$ 일 때 $n^{-(d-\alpha)/d} E^0_\alpha$ 가 두 양수 상수 $C_1$ 과 $C_2$ 사이에서 확률적으로 유계임을 보인다.
• 무작위 표본의 국소 밀도와 기하학적 구조를 제어하기 위해 측도의 아르프스 정규성을 활용한다.
• 집중 부등식과 기하 확률 기법을 적용하여 정규화된 중량의 높은 확률 수렴을 확립한다.
• 고차원 단체에 대한 유사한 가중치 합을 정의하여 결과를 고차원 영구 호몰로지로 일반화한다.
• 반례를 구성하여 결과의 날카로움을 보여준다: 일부 아르프스 정규 측도에 대해서는 극한이 높은 확률로 존재하지 않는다.

실험 결과

연구 질문

• RQ1 아르프스 정규 측도를 가진 거리공간의 프랙탈 차원은 무작위 표본의 영구 호몰로지로부터 복원될 수 있는가?
• RQ2 $n$개의 i.i.d. 표본에 대한 최소 스패닝 트리의 $\alpha$-중량은 잠재적인 차원 $d$ 를 드러내는 방식으로 스케일링되는가?
• RQ3 스틸의 (1988) 최소 스패닝 트리 중량 결과는 프랙탈 및 특이 측도로 확장 가능한가?
• RQ4 $n \to \infty$ 일 때 $n^{-(d-\alpha)/d} E^0_\alpha(x_1,\dots,x_n)$ 의 정확한 점근적 행동은 무엇인가?
• RQ5 높은 확률로 극한이 존재하지 않는 경우는 존재하는가?

주요 결과

• 높은 확률로 $n \to \infty$ 일 때 정규화된 $\alpha$-중량 $n^{-(d-\alpha)/d} E^0_\alpha(x_1,\dots,x_n)$ 이 두 양수 상수 $C_1$ 과 $C_2$ 사이에 유계이다.
• 거의 확실히 $n \to \infty$ 일 때 $\log(E^0_\alpha)/\log(n)$ 이 $(d - \alpha)/d$ 로 수렴한다.
• 결과는 스틸의 (1988) 비특이 케이스를 프랙탈 측도로 일반화하며, 영구 호몰로지와 프랙탈 기하학 사이의 연결 고리를 확립한다.
• 유계는 날카롭다: 극한 $\lim_{n \to \infty} n^{-(d-\alpha)/d} E^0_\alpha$ 가 높은 확률로 존재하지 않는 $d$-아르프스 정규 측도가 존재한다.
• 유사한 결과는 고차원 단체에 대한 가중치 합을 통해 고차원 영구 호몰로지로도 성립한다.
• 스케일링 법칙은 무작위 표본의 최소 스패닝 트리 중량을 기반으로 한 프랙탈 차원 $d$ 의 통계적 추정기로 기능한다.