[論文レビュー] Edge Contractions and Simplicial Homology

Tamal K. Dey, Anil N. Hirani+2 more|arXiv (Cornell University)|Apr 2, 2013

Topological and Geometric Data Analysis参考文献 24被引用数 4

ひとこと要約

本稿では、単体複体における辺の縮約が単体ホモロジー、相対ホモロジー、およびねじれ部分群を保存するための局所的で次元に特化した基準であるpリンク条件を導入する。この条件を満たす辺の縮約は、p次元ホモロジーを維持し、新たな相対ねじれを生じさせないことが示され、トポロジカルデータ解析における線形計画法を用いたホモロジー計算を効率化可能である。

ABSTRACT

We study the effect of edge contractions on simplicial homology because these contractions have turned to be useful in various applications involving topology. It was observed previously that contracting edges that satisfy the so called link condition preserves homeomorphism in low dimensional complexes, and homotopy in general. But, checking the link condition involves computation in all dimensions, and hence can be costly, especially in high dimensional complexes. We define a weaker and more local condition called the p-link condition for each dimension p, and study its effect on edge contractions. We prove the following: (i) For homology groups, edges satisfying the p- and (p-1)-link conditions can be contracted without disturbing the p-dimensional homology group. (ii) For relative homology groups, the (p-1)-, and the (p-2)-link conditions suffice to guarantee that the contraction does not introduce any new class in any of the resulting relative homology groups, though some of the existing classes can be destroyed. Unfortunately, the surjection in relative homolgy groups does not guarantee that no new relative torsion is created. (iii) For torsions, edges satisfying the p-link condition alone can be contracted without creating any new relative torsion and the p-link condition cannot be avoided. The results on relative homology and relative torsion are motivated by recent results on computing optimal homologous chains, which state that such problems can be solved by linear programming if the complex has no relative torsion. Edge contractions that do not introduce new relative torsions, can safely be availed in these contexts.

研究の動機と目的

• 従来のリンク条件が高次元で計算コストが高いため、高次元複体において辺の縮約が単体ホモロジーに与える影響を理解すること。
• 各次元pに対して、ホモロジーレイアウト不変量を保証するより弱く局所的な条件であるpリンク条件を定義すること。
• 辺の縮約によって新たな相対ホモロジー類や相対ねじれが生じない条件を確立すること。これは、線形計画法を用いた最適同調的鎖問題を解く上で重要である。
• 相対ねじれを保存するためのpリンク条件の必要性と十分性を明確にすること。これは、多項式時間の線形計画法手法の適用可能性を保証するために不可欠である。

提案手法

• 各次元pに対して、辺のリンクにおける局所的基準としてpリンク条件を定義し、古典的なリンク条件を一般化することで、高次元における計算的扱いやすさを向上させる。
• 代数的位相の手法を用いて、辺の縮約が絶対ホモロジー群および相対ホモロジー群、さらにねじれ部分群に与える影響を分析する。
• 本稿では、pリンク条件を満たす辺の縮約が、p番目のホモロジー群を保存し、新たな相対ねじれを生じさせないことを証明する。
• 相対ホモロジーに関しては、(p-1)および(p-2)リンク条件が、誘導された相対ホモロジー群への写像の上への性質を保証するのに十分であることが示される。
• 反例により、相対ホモロジーにおける上への性質が相対ねじれにおける上への性質を意味しないことが示され、ねじれ構造の保存にはより強いpリンク条件が必要であることが明らかになる。
• 理論的結果は、穴あきモビウスの帯を含む具体例によって裏付けられ、新たな相対ねじれを避けるためにpリンク条件の必要性が明確に示される。

実験結果

リサーチクエスチョン

• RQ1 完全なリンク条件を要件としないで、辺の縮約がp次元ホモロジーを保存できるか？
• RQ2 どの局所的条件が、その辺の縮約によって新たな相対ホモロジー類が生じないことを保証するか？
• RQ3 辺の縮約後に新たな相対ねじれが生成されない条件は存在するか？
• RQ4 pリンク条件は、ホモロジー計算における相対ねじれの保存に関して、必要かつ十分であるか？
• RQ5 辺の縮約は、線形計画法を用いた最適同調的鎖問題の可解性にどのように影響を与えるか？

主な発見

• pリンク条件を満たす辺の縮約は、p番目のホモロジー群を保存するだけであり、既存のp次元ホモロジー類の破壊を防ぐ。
• (p-1)および(p-2)リンク条件が同時に満たされれば、次元pにおける新たな相対ホモロジー類が導入されないことが保証される。
• 相対ホモロジーにおける上への性質は、相対ねじれにおける上への性質を意味しない。したがって、ねじれ構造の保存には追加の条件が必要である。
• pリンク条件は、新たな相対ねじれの生成を防ぐために必要かつ十分であり、最適同調的鎖問題に対する線形計画法の解法を可能にするために不可欠である。
• 穴あきモビウスの帯を含む反例により、相対ねじれの保存に関してpリンク条件をさらに弱くすることはできないことが示された。
• 結果として、辺の縮約が主要なホモロジーレイアウト不変量を保存する条件を完全に特徴づけることができ、トポロジカルデータ解析における複体の安全な簡略化が可能になる。