[논문 리뷰] How Many Directions Determine a Shape and other Sufficiency Results for Two Topological Transforms

Justin Curry, Sayan Mukherjee외 1명|arXiv (Cornell University)|2018. 05. 24.

Topological and Geometric Data Analysis인용 수 6

한 줄 요약

이 논문은 유클리드 공간 $\mathbb{R}^d$ 내의 컴act하고 구성 가능한 도형들이 유한한 방향 스캔을 통해 올바르게 결정됨을 보여준다. 슈파이라의 역행렬 정리와 방향 구면의 분할 분석을 활용하여, ECT와 PHT의 단사성과 도형이 유한한 올리버 곡선 또는 지속 homology 다이어그램으로 재구성 가능함을 증명한다. 이는 기하 제약 조건 하에서도 성립한다.

ABSTRACT

In this paper we consider two topological transforms that are popular in applied topology: the Persistent Homology Transform (PHT) and the Euler Characteristic Transform (ECT). Both of these transforms are of interest for their mathematical properties as well as their applications to science and engineering, because they provide a way of summarizing shapes in a topological, yet quantitative, way. Both transforms take a shape, viewed as a tame subset $M$ of $\mathbb{R}^d$, and associates to each direction $v\in S^{d-1}$ a shape summary obtained by scanning $M$ in the direction $v$. These shape summaries are either persistence diagrams or piecewise constant integer-valued functions called Euler curves. By using an inversion theorem of Schapira, we show that both transforms are injective on the space of shapes, i.e.~each shape has a unique transform. Moreover, we prove that these transforms determine continuous maps from the sphere to the space of persistence diagrams, equipped with any Wasserstein $p$-distance, or the space of Euler curves, equipped with certain $L^p$ norms. By making use of a stratified space structure on the sphere, induced by hyperplane divisions, we prove additional uniqueness results in terms of distributions on the space of Euler curves. Finally, our main result proves that any shape in a certain uncountable space of PL embedded shapes with plausible geometric bounds can be uniquely determined using only finitely many directions.

연구 동기 및 목표

• 컴 pact하고 구성 가능한 $\mathbb{R}^d$ 부분집합에 대해 올리버 특성 변환(ECT)과 지속 homology 변환(PHT)의 단사성을 확립하는 것.
• ECT 또는 PHT를 사용하여 도형을 유일하게 재구성하기 위해 필요한 최소 방향 수를 결정하는 것.
• 방향 구면에 대한 분할 프레임워크를 개발하여 위상 변환의 변화를 분석하는 것.
• 이론적 결과를 기하 제약 조건이 있는 다각형 선형(PL) 임bed된 도형의 비가산 집합으로 확장하는 것.
• 유한한 방향 샘플에서 제어 가능한 오차 범위 내에서 도형 재구성의 가능성 탐색

제안 방법

• 구성 가능한 층에 대해 슈파이라의 역행렬 정리를 적용하여 o-미니멀 집합에서 ECT와 PHT의 단사성을 증명한다.
• PL 도형의 모서리에 수직인 평면들에 의해 유도되는 구면 $S^{d-1}$ 의 분할을 사용하여 방향에 따른 변화를 분석한다.
• ECT는 조각별 상수 함수로 표현하고, PHT는 지속성 다이어그램으로 표현하며, 둘 다 분할 내에서 연속적으로 변화함을 보인다.
• 위상 거리 측도로 올리버 곡선에 대한 $L^p$ 노름과 지속성 다이어그램에 대한 워샤프스키 $p$-거리 사용.
• 기하 매개변수에 따라 최고차원 분할의 수를 $O\left(\frac{d^{d+1}k_{\delta}^{2d}}{\delta^{2d(d-1)}}\right)$ 로 유계화함으로써 유한성 결과 유도.
• 각 분할에 대해 한 곡선과 정점 데이터를 기반으로 한 보간 기법을 사용하여 전체 구면에서 ECT를 재구성

실험 결과

연구 질문

• RQ1 ECT 또는 PHT가 $\mathbb{R}^d$ 내의 컴 pact하고 구성 가능한 도형을 유한한 수의 방향으로만 사용하여 유일하게 결정할 수 있는가?
• RQ2 ECT 또는 PHT로부터 도형을 재구성하기 위해 필요한 최소 방향 수는 얼마인가?
• RQ3 방향 구면의 다양한 분할에서 위상 변환은 어떻게 변화하는가? 이는 보간에 활용될 수 있는가?
• RQ4 유한한 방향 샘플만 있을 때 ECT 또는 PHT를 사용하여 작은 오차 범위 내에서 도형을 재구성할 수 있는가?
• RQ5 대부분의 형태 클래스, 예를 들어 대수적 또는 곡률 제약 조건이 있는 매끄러운 다양체에 대해 변환은 어떻게 행동하는가?

주요 결과

• ECT와 PHT는 $\mathbb{R}^d$ 내의 컴 pact하고 구성 가능한 부분집합의 공간에서 단사적이며, 각 도형이 고유한 변환을 가짐을 의미한다.
• 이 변환들은 구면 $S^{d-1}$ 에서 올리버 곡선 공간(일반화된 $L^p$ 노름)과 지속성 다이어그램 공간(워샤프스키 $p$-거리)으로의 연속적 사상으로 유도된다.
• 기하 제약 조건이 있는 다각형 선형(PL) 임베딩 도형의 특정 비가산 집합은 유한한 수의 방향만으로도 유일하게 결정될 수 있다.
• 분할된 구면 분해에서 최고차원 분할의 수는 $O\left(\frac{d^{d+1}k_{\delta}^{2d}}{\delta^{2d(d-1)}}\right)$ 로 유계화되며, 이는 필요한 방향 샘플 수를 제어한다.
• 각 분할에 대해 한 올리버 곡선과 정점 집합의 지식만으로 ECT를 전체적으로 재구성할 수 있으며, 이는 효율적인 보간을 가능하게 한다.
• 결과는 o-미니멀 구조를 통해 광범위한 형태 클래스로 확장되며, 국소적으로 컴 pact하거나 곡률 제약 조건이 있는 매끄러운 대수적 집합으로의 확장 가능성 제안