[論文レビュー] Combinatorial manifolds are Hamiltonian

Oliver Knill|arXiv (Cornell University)|Jun 17, 2018

Topological and Geometric Data Analysis参考文献 21被引用数 3

ひとこと要約

この論文は、球体に類似した単位球体を帰納的に定義する組み合わせ的多様体であるすべての連結 d-グラフがハミルトン的であることを証明している。これは、1931年にホイットニーが得た結果を拡張したものである。証明は構成的であり、このようなグラフにおけるハミルトン閉路の探索が多項式時間で行えることを示しており、一般のグラフとは顕著な計算複雑性の優位性を示している。

ABSTRACT

Extending a theorem of Whitney of 1931 we prove that all connected d-graphs are Hamiltonian for positive d. A d-graph is a type of combinatorial manifold which is inductively defined as a finite simple graph for which every unit sphere is a (d-1)-sphere. A d-sphere is d-graph such that removing one vertex renders the graph contractible. A graph is contractible if there exists a vertex for which the unit sphere and the graph without that vertex are both contractible. These inductive definitions are primed with the assumptions that the empty graph 0 is the (-1)-sphere and that the one-point graph 1 is the smallest contractible graph. The proof is constructive and shows that unlike for general graphs, the complexity of the construction of Hamiltonian cycles in d-graphs is polynomial in the number of vertices of the graph.

研究の動機と目的

• 2次元球体におけるホイットニーの1931年におけるハミルトン閉路に関する定理を、高次元の組み合わせ的多様体へと拡張すること。
• 帰納的球体および可縮性条件によって定義されるすべての連結 d-グラフが、ハミルトン閉路を有することを確立すること。
• d-グラフにおけるハミルトン閉路の構成が、一般のグラフとは異なり多項式時間で行えることを示すこと。
• d-球体および可縮性グラフの帰納的定義を用いた構成的証明を提供すること。

提案手法

• d-グラフを帰納的に定義する：d-グラフとは、すべての単位球体が (d-1)-球体である有限な単純グラフである。
• d-球体を、ある頂点を削除すると可縮性を示すd-グラフとして定義する。
• 帰納的基底ケースを用いる：空グラフは (−1)-球体であり、1頂点からなるグラフは最小の可縮性を持つグラフである。
• 可縮性を、その頂点の削除とその単位球体が両方とも可縮性を示すような頂点の存在によって定義する。
• 次元 d についての帰納法を用いて、ハミルトン閉路を再帰的に構成する。
• 局所的なグラフ構造の制御を維持することで、頂点数に対して多項式時間に保つように構成を保証する。

実験結果

リサーチクエスチョン

• RQ1 d > 0 に対して、すべての連結 d-グラフはハミルトン的であるか。これはホイットニーの2次元球体に関する結果を一般化するものか。
• RQ2 d-グラフにおけるハミルトン閉路のための構成的アルゴリズムを、多項式時間の計算複雑性で設計できるか。
• RQ3 球体および可縮性の帰納的定義は、ハミルトン閉路の存在をどのように可能にするか。
• RQ4 一般のグラフと比較して、d-グラフにおけるハミルトン閉路の構成の計算複雑度はいかなるものか。

主な発見

• 任意の正の次元 d に対して、すべての連結 d-グラフはハミルトン的である。
• 証明は構成的であり、グラフ内に明示的にハミルトン閉路を構築している。
• d-グラフにおけるハミルトン閉路の構成時間計算量は、頂点数に関して多項式時間である。
• 構成は、空グラフおよび1頂点グラフを基底ケースとする、d-球体および可縮性グラフの帰納的定義に依存している。
• 単位球体による局所的位相的構造を活用することで、指数的爆発を回避している。
• この結果は、ホイットニーの1931年の定理を2次元球体から、d-グラフとして定義されるすべての組み合わせ的多様体へと一般化している。