[論文レビュー] Creating Semiflows on Simplicial Complexes from Combinatorial Vector Fields

Marian Mrożek, Thomas Wanner|arXiv (Cornell University)|May 23, 2020

Topological and Geometric Data Analysis参考文献 69被引用数 14

ひとこと要約

本稿は、単体複体上の組み合わせ的ベクトル場とその基になる多面体上の連続時間半フローの間の形式的対応を確立する。バーチャル座標を用いた多面体の標準的タイル張りと、組み合わせ的力学を尊重する半フローの定義により、著者らは、すべての組み合わせ的ベクトル場が、同一のコンリーやモース図と孤立不変集合を持つ半フローを誘導することを証明した。これにより、離散的な組み合わせ的力学が、完全な位相的忠実性を保った連続的力学枠組みに埋め込まれる。

ABSTRACT

Combinatorial vector fields on simplicial complexes as introduced by Robin Forman have found numerous and varied applications in recent years. Yet, their relationship to classical dynamical systems has been less clear. In recent work it was shown that for every combinatorial vector field on a finite simplicial complex one can construct a multivalued discrete-time dynamical system on the underlying polytope X which exhibits the same dynamics as the combinatorial flow in the sense of Conley index theory. However, Forman's original description of combinatorial flows appears to have been motivated more directly by the concept of flows, i.e., continuous-time dynamical systems. In this paper, it is shown that one can construct a semiflow on X which exhibits the same dynamics as the underlying combinatorial vector field. The equivalence of the dynamical behavior is established in the sense of Conley-Morse graphs and uses a tiling of the topological space X which makes it possible to directly construct isolating blocks for all involved isolated invariant sets based purely on the combinatorial information.

研究の動機と目的

• 組み合わせ的ベクトル場と単体複体上の連続時間半フローの間の形式的力学的同等性を確立すること。
• 長年の懸案であった、組み合わせ的力学が古典的連続時間力学系に厳密に埋め込めるかという問いに答えること。
• 孤立不変集合やコンリーやモース図といった主要な位相的不変量を保つように、組み合わせ的ベクトル場から半フローを構成するための構成的技法を提供すること。
• 単体分割による組み合わせ的多ベクトル場の変換においても、そのモース分解が保存されることを示し、適用範囲を拡張すること。

提案手法

• 単体に対応するタイルに分解される多面体の標準的細分を、バーチャル座標を用いて構成する。
• 各タイル上で区分定数ベクトル場を定義し、半フローを定義する。遷移時間は単体鎖における次の面までの距離によって決定される。
• タイル境界での横断的条件を課すことにより、半フローが適切であり、純粋に組み合わせ的データから隔離ブロックを構築できることを保証する。
• 矢印タイル内でのフローの振る舞いを制御し、モース分解と整合性を持つために「強い適切性」の概念を導入する。
• 組み合わせ的および連続的枠組み間の力学の比較に中心的な不変量としてコンリーやモース図を用いる。
• 局所的存在定理と多面体のコンパクト性を用いた議論により、半フローの連続性とグローバル存在性を証明する。

実験結果

リサーチクエスチョン

• RQ1 有限単体複体上の任意の組み合わせ的ベクトル場は、その基になる多面体上の連続時間半フローとして実現可能か？
• RQ2 このような半フローは、元の組み合わせ的ベクトル場のコンリーやモース図を保存するか？
• RQ3 半フローから、純粋に組み合わせ的情報のみを用いて、孤立不変集合およびそれらのコンリーやインデックスを回復できるか？
• RQ4 特に、一般化された構造（例：組み合わせ的多ベクトル場）において、分割による変換に対してこの対応関係は頑健か？
• RQ5 この構成は一意的かつ連続的に行えるか？ これにより、半フローがグローバルに定義され、良好に振る舞うことが保証されるか？

主な発見

• 単体複体上の任意の組み合わせ的ベクトル場に対して、その基になる多面体上に、コンリーやモース図を保存する連続時間半フローが存在する。
• 半フローはバーチャル座標を用いた多面体の標準的タイル張りにより構成され、幾何学的および位相的整合性が保証される。
• 半フローにおけるすべての孤立不変集合およびそれらのコンリーやインデックスは、元の組み合わせ的ベクトル場と正確に一致する。
• 半フローは強く適切である。つまり、タイル境界での横断的条件およびフローの振るまいの制約を満たしており、厳密な隔離ブロックの構築を可能にする。
• この構成は連続的かつグローバルに定義されており、R+₀ 上ですべての時間に対して解が存在し、半フローの性質 ϕ(t, ϕ(s, x)) = ϕ(t + s, x) を満たす。
• 単体分割を介して、組み合わせ的多ベクトル場に対してもこの結果が拡張可能であり、そのモース分解がこのような変換のもとで保存されることを示した。