[논문 리뷰] The space of persistence diagrams fails to have Yu's property A

G. Bell, Austin Lawson외 2명|arXiv (Cornell University)|2019. 02. 06.

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

한 줄 요약

이 논문은 워샤르슈타인 거리계를 지닌 영속성 다이어그램의 공간이 윤의 성질 A를 갖지 못함을 보여준다. 이는 힐버트 공간으로의 균일 임bedding을 암시하는 조건이다. 저자들은 성질 A에 대한 구조적 장애물로 $k$-프리즘의 개념을 도입하고, 영속성 다이어그램이 이러한 구조를 포함함을 증명함으로써 이 설정에서 성질 A가 배제됨을 밝힌다.

ABSTRACT

We define a simple obstruction to Yu's property A that we call $k$-prisms. This structure allows for a straightforward proof that the space of persistence diagrams fails to have property A in a Wasserstein metric.

연구 동기 및 목표

• 자연스러운 거리계, 예를 들어 워샤르슈타인 거리계 하에서 영속성 다이어그램 공간의 군락 기하학적 성질을 조사하는 것.
• 영속성 다이어그램 공간이 힐버트 공간으로의 균일 임bedding과 관련된 조건인 윤의 성질 A를 만족하는지 여부를 규명하는 것.
• 특정 등거리 임bedding 패턴을 가진 거리공간에 적용 가능한 간단한 새로운 성질 A에 대한 장애물—$k$-프리즘—을 수립하는 것.
• 영속성 다이어그램이 $k$-프리즘을 포함함을 보여, 워샤르슈타인 거리계 하에서 성질 A를 가질 수 없음을 증명하는 것.
• 이 결과가 토폴로지적 데이터 분석에서 흔히 사용되는 힐버트 공간 임bedding을 위한 커널 방법에 미치는 영향을 명확히 하는 것.

제안 방법

• 프리즘의 개념 도입: 유한 집합 $F$가 서로소인 등거리 상(images) $T(F)$를 가지며, $F$ 내 점 간의 거리가 유지되고, $x \in F$ 와 $T(y)$ 사이의 거리가 정확히 $k + d(x,y)$가 되는 거리공간의 구조.
• 임의의 거리공간이 $k$-프리즘을 포함하면 뉴와크의 반례 공간인 $C_k$의 등거리 복사본이 존재함을 증명.
• 레마 2.5를 사용하여 $k$-프리즘은 $\{k, 2k, 3k, \dots\}$ 및 임의의 $n$에 대해 $\{0,k\}^n$의 등거리 복사본 존재를 암시함을 보임.
• 영속성 다이어그램에 $\ell^\infty$-노름을 $\mathbb{R}^2$에 적용하여 다이어그램 거리 $\varrho$를 정의하고, $\varrho(p, \Delta_{\mathbb{R}}) = k$ 인 점 $p$ 에 대해 조정함.
• 비대각선 점 $p$ 에 대해 $\varrho(p, \Delta_{\mathbb{R}}) = k$ 를 만족하는 경우, $T(D) = D + \mathbbm{1}_p$ 라는 이동 변환을 정의하여 이 변환이 $k$-프리즘 조건을 만족함을 보임.
• 워샤르슈타인 $q$-거리계가 $W^q = (W_\varrho)^{1/q}$ 로 표현될 수 있음을 확인하고, $\{(x, x + k^{1/q})\}$ 의 집합이 유계가 아니므로 $k$-다이어그램 가능성이 보장됨.

실험 결과

연구 질문

• RQ1 워샤르슈타인 $q$-거리계($0 < q < \infty$)를 지닌 $\mathbb{R}$ 위의 영속성 다이어그램 공간은 윤의 성질 A를 갖는가?
• RQ2 $k$-프리즘의 존재가 성질 A에 대한 일반적인 장애물로 사용될 수 있는가?
• RQ3 보틀넥 거리계를 지닌 영속성 다이어그램 공간은 무한한 점근적 차원을 갖는가?
• RQ4 성질 A의 실패에도 불구하고 영속성 다이어그램이 힐버트 공간으로의 균일 임bedding을 가질 수 있는가?
• RQ5 $k$-프리즘 장애물이 보틀넥 거리계와 같은 다른 영속성 다이어그램 거리계로 확장될 수 있는가?

주요 결과

• 모든 $q > 0$ 에 대해 $\mathbb{R}$ 위의 영속성 다이어그램 공간이 워샤르슈타인 $q$-거리계를 지닐 때 윤의 성질 A를 갖지 못함을 입증.
• 저자들은 성질 A에 대한 새로운, 단순한 장애물인 $k$-프리즘을 도입하였으며, 이는 뉴와크의 반례 공간 $C_k$ 의 등거리 복사본 존재를 암시함.
• 임의의 $k > 0$ 에 대해 영속성 다이어그램은 $k$-프리즘을 포함함을 보였으며, 이는 $\varrho(p, \Delta_{\mathbb{R}}) = k$ 인 잘 선택된 점 $p$ 에 대해 $T(D) = D + \mathbbm{1}_p$ 라는 이동 변환을 구성함으로써 입증됨.
• 이 구성은 $W_\varrho(D, T(D')) = W_\varrho(D, D') + k$ 를 만족하여 $k$-프리즘 조건 (3)을 충족시키며, 등거리성과 서로소성도 유지됨.
• $C_k$ 는 영속성 다이어그램 공간에 등거리로 임bed됨하고, $C_k$ 가 성질 A를 갖지 못하므로 영속성 다이어그램 공간 역시 성질 A를 갖지 못함.
• 이 결과는 힐버트 공간으로의 균일 임bedding이 불가능하다고는 하지 않으며, 성질 A의 실패에도 불구하고 그러한 임bedding이 존재할 수 있는지 여부는 여전히 열려 있음.