[論文レビュー] Gromov-Hausdorff class: its completeness and cloud geometry

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

Geometric and Algebraic Topology参考文献 8被引用数 8

ひとこと要約

本稿は、一般化された擬距離空間としてのGromov–Hausdorff類の完備性を確立し、互いに有限の距離にあるメトリック空間の最大部分クラスである「クラウド」の概念を導入する。相似変換（λ > 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クラスを、互いに有限距離にあるすべての空間を含む最大部分クラス「クラウド」に分割すること。
• 乗法的相似変換（λ > 0 でのスケーリング）がメトリック空間に作用する様子を分析し、その変換がクラウド所属を保つかどうかを同定すること。
• 特に有理数 λ に対して、特定のメトリック空間（例：X_q = {q^n}）の相似変換下での安定化部分群の構造を特徴づけること。
• 特に、X_φ = {q^{φ(n)}} で φ(n) → ∞ となるような急速に成長する列をもつ空間に対して、λ ≠ 1 のスケーリングがクラウド所属を保つ条件を調査すること。

提案手法

• すべての非空メトリック空間（等長写像を除く）の固有クラスに一般化されたGromov–Hausdorff擬距離を導入する。
• von Neumann–Bernays–Gödel集合論を用いて、集合によるフィルタリングを通じて「位相的クラス」を定義し、位相的・幾何的解析を可能にする。
• すべてのペアのメトリック空間が有限のGromov–Hausdorff距離にあるような最大部分クラスとして「クラウド」を定義する。
• 乗法的相似変換 λX（すべての距離を λ > 0 でスケーリング）を適用し、特に実数直線の部分集合に対してそのクラウド上での作用を研究する。
• 幾何級数の恒等式 a = (q^{rd} - 1)/(q^d - 1) を用いて、λ がクラウド所属を保つための代数的条件を導出する（r, d は整数）。
• 数論的議論と漸近的解析（例：φ(n) → ∞）を用い、特定の急速に成長する空間に対しては λ = 1 のみがクラウド所属を保つことを証明する。

実験結果

リサーチクエスチョン

• RQ1 Gromov–Hausdorffクラスは一般化された擬距離空間として完備であるか？
• RQ2 相似変換 λX（λ > 0 でのスケーリング）がメトリック空間 X を同じクラウド内の別の空間に写す条件は何か？
• RQ3 λ ≠ 1 のスケーリングが、ある空間を一つのクラウドから別のクラウドに移動させるのはどのような場合か？
• RQ4 特に X_q = {q^n} に対して、相似変換下での安定化部分群の構造はいかなるものか？
• RQ5 φ(n) → ∞ となるような急速に成長する列をもつ空間 X_φ = {q^{φ(n)}} に対して、λ = 1 がクラウド所属を保つ唯一の値である条件は何か？

主な発見

• Gromov–Hausdorffクラスは一般化された擬距離空間として完備であり、すべての基本列がこの空間内で収束する。
• 空間は「クラウド」に分割される——すべてのペアのメトリック空間が有限の相互距離にある最大部分クラスであり、1点空間 Δ₁ はすべての有界メトリック空間のクラウドを形成する。
• λ > 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 が唯一の解であることが示される。