[논문 리뷰] Gromov-Hausdorff class: its completeness and cloud geometry

Semeon A. Bogaty, Alexey Avgustinovich Tuzhilin|arXiv (Cornell University)|2021. 10. 12.

Geometric and Algebraic Topology참고 문헌 8인용 수 8

한 줄 요약

이 논문은 일반화된 준거리공간으로서의 Gromov–Hausdorff 클래스의 완비성을 확립하고, 유한한 상호 거리를 가지는 거리공간의 최대 부분집합인 '구름'(clouds)의 개념을 도입한다. 유사성 변환(λ > 0로 스케일링)이 서로 다른 구름 간의 거리공간을 옮길 수 있음을 보이며, 특히 실수선의 부분집합에 대해 이러한 변환이 구름 소속성을 유지하는 조건을 규명한다. 주요 기여는 λ와 q에 대한 대수적 수론적 조건을 통해 스케일링 행동을 완전히 분류하는 데 있다.

ABSTRACT

The paper is devoted to the study of the Gromov-Hausdorff proper class, consisting of all metric spaces considered up to isometry. In this class, a generalized Gromov-Hausdorff pseudometric is introduced and the geometry of the resulting space is investigated. The first main result is a proof of the completeness of the space, i.e., that all fundamental sequences converge in it. Then we partition the space into maximal proper subclasses consisting of spaces at a finite distance from each other. We call such subclasses clouds. A multiplicative similarity group operates on clouds, multiplying all the distances of each metric space by some positive number. We present examples of similarity mappings transferring some clouds into another ones. We also show that if a cloud contains a space that remains at zero distance from itself under action of all similarities, then such a cloud contracted to this space. In the final part, we investigate subsets of the real line with respect to their behavior under various similarities.

연구 동기 및 목표

• Gromov–Hausdorff 적합 클래스가 일반화된 준거리공간으로서 완비성을 갖는다는 것을 증명하는 것.
• 모든 거리공간이 상호 유한한 거리에 있는 최대 부분집합인 '구름'으로 Gromov–Hausdorff 클래스를 분할하는 것.
• multiplicative 유사성 변환(λ > 0로 스케일링)이 거리공간에 작용할 때 그 행동을 분석하고, 이러한 변환이 구름 소속성을 유지하거나 변화시키는 조건을 규명하는 것.
• 특정 거리공간(예: X_q = {q^n})이 유사성 변환 하에서의 안정자군(stabilizer)의 구조를 규명하는 것, 특히 유리수 λ에 대해.
• 스케일링 λ ≠ 1이 구름 소속성을 유지하는 조건을 조사하며, 특히 φ(n) → ∞로 증가하는 수열을 가진 공간들(예: X_φ = {q^{φ(n)}})에 대해 분석하는 것.

제안 방법

• 등장사상에 대해 고려하는 모든 비어있지 않은 거리공간의 전체 적합 클래스에 대해 일반화된 Gromov–Hausdorff 준거리공간을 도입한다.
• von Neumann–Bernays–Gödel 집합 이론을 사용하여, 집합으로 필터링함으로써 '위상적 클래스'를 정의함으로써 위상적 및 기하학적 분석이 가능하도록 한다.
• 모든 쌍의 거리공간이 유한한 Gromov–Hausdorff 거리에 있는 최대 부분집합을 '구름'으로 정의한다.
• 모든 거리들을 λ > 0로 스케일링하는 곱셈적 유사성 변환 λX를 적용하고, 특히 실수선의 부분집합에 대해 이러한 변환이 구름에 미치는 영향을 연구한다.
• 기하급수적 항등식을 이용해 λ가 구름 소속성을 유지하는 데 필요한 대수적 조건을 유도한다: 정수 r, d에 대해 a = (q^{rd} - 1)/(q^d - 1).
• 수론적 추론과 점점 증가하는 수열의 점근적 분석(예: φ(n) → ∞)을 활용하여, 특정한 빠르게 증가하는 공간에 대해 유일하게 λ = 1만이 구름 소속성을 유지함을 증명한다.

실험 결과

연구 질문

• RQ1 Gromov–Hausdorff 클래스는 일반화된 준거리공간으로서 완비적인가?
• RQ2 유사성 변환 λX(λ > 0로 스케일링)가 거리공간 X를 동일한 구름 내의 다른 공간으로 옮길 수 있는 조건은 무엇인가?
• RQ3 스케일링 λ ≠ 1이 어떤 경우에 한 구름에서 다른 구름으로 공간을 옮기는가?
• RQ4 특히 X_q = {q^n}에 대해, 거리공간의 유사성 변환 하에서의 안정자군의 구조는 어떻게 되는가?
• RQ5 φ(n) → ∞인 빠르게 증가하는 수열을 가진 공간들(예: X_φ = {q^{φ(n)}})에 대해, λ = 1이 유일하게 구름 소속성을 유지하는 조건은 언제인가?

주요 결과

• Gromov–Hausdorff 클래스는 일반화된 준거리공간으로서 완비적이며, 이는 모든 기본 수열이 이 공간 내에서 수렴한다는 뜻이다.
• 공간은 '구름'으로 분할되며, 이는 모든 거리공간이 상호 유한한 거리에 있는 최대 부분집합이며, 한 점으로 이루어진 공간 Δ₁은 모든 유계 거리공간의 구름을 형성한다.
• λ > 0로 스케일링은 공간을 다른 구름으로 옮길 수 있다; 예를 들어 λ ≠ 1이면 λX와 X 사이의 거리가 무한대일 수 있다.
• X_q = {q^n}에 대해, 안정자군 내의 모든 유리수 λ는 서로소인 r₁, r₂와 정수 d에 대해 λ = q^α · (q^{r₂d} - 1)/(q^{r₁d} - 1)의 형태를 가진다.
• φ(n) → ∞인 X_φ = {q^{φ(n)}}와 같은 공간에 대해, 점근적 왜곡 분석을 통해 유일하게 λ = 1만이 구름 소속성을 유지한다.
• 형태 (q^n - 1)/(q^m - 1)인 λ ≠ 1의 제곱은 (q^k - 1)/(q^l - 1)의 형태로 표현될 수 없으며, 이는 이러한 형태에 대해 λ = 1이 유일한 해임을 의미한다.