[論文レビュー] Computing Homotopy Types of Directed Flag Complexes

Dejan Govc|arXiv (Cornell University)|Jun 9, 2020

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

ひとこと要約

この論文は、シロナガスクモの神経ネットワークの方向性フラッグ複体のホモトピー型を、単体的崩壊、ホモロジー計算、およびコーン作用を組み合わせた反復的計算手順を用いて計算している。この複体は、球面のワッペンにホモトピー同値であることが示された。これは、いかなる脳ネットワークに対しても、初めて完全に同定されたホモトピー型である。同時に、同じグラフのフラッグトゥルナプレックスに torsion（ torsion ）が存在することが判明した。

ABSTRACT

Combinatorially and stochastically defined simplicial complexes often have the homotopy type of a wedge of spheres. A prominent conjecture of Kahle quantifies this precisely for the case of random flag complexes. We explore whether such properties might extend to graphs arising from nature. We consider the brain network (as reconstructed by Varshney & al.) of the Caenorhabditis elegans nematode, an important model organism in biology. Using an iterative computational procedure based on elementary methods of algebraic topology, namely homology, simplicial collapses and coning operations, we show that its directed flag complex is homotopy equivalent to a wedge of spheres, completely determining, for the first time, the homotopy type of a flag complex corresponding to a brain network. We also consider the corresponding flag tournaplex and show that torsion can be found in the homology of its local directionality filtration. As a toy example, directed flag complexes of tournaments from McKay's collection are classified up to homotopy. Moore spaces other than spheres occur in this classification. As a tool, we prove that the fundamental group of the directed flag complex of any tournament is free by considering its cell structure.

研究の動機と目的

• C. elegans 神経ネットワークの方向性フラッグ複体のホモトピー型を特定すること。これは、自然な系でありながら、これまでに完全に位相的に解析されていなかった。
• ランダムフラッグ複体に関する既知の結果（ホモトピー型がしばしば球面のワッペンである）を、実際の生物学的ネットワークへと拡張すること。
• 単体的崩壊、ホモロジー検出、およびコーン作用を用いて、大規模な方向性フラッグ複体を簡略化できる体系的な計算手法を開発・実装すること。
• 自然ネットワークの方向性フラッグ複体およびトゥルナプレックスの整数ホモロジーに torsion が存在するかどうかを調査すること。
• 現実世界の方向性グラフの構造的特徴（例：自己同型）が、ホモトピー型などの位相的性質と相関するかどうかを調査すること。

提案手法

• Mathematica を用いて、単体的崩壊を繰り返すことで、方向性フラッグ複体を簡略化する反復的計算パイプラインを実装した。
• 各段階の簡略化において、球面的サイクル（非自明なホモロジーの生成子）を検出するためにホモロジー計算が用いられた。
• 識別された球面的和成分を分離するためにコーン作用が適用され、ホモトピー型を保存したまま複体が縮小された。
• ヒューリスティクスとして、コーン化のためのグリーディ部分複体構築法と、中間チェックのための相対ホモロジーの使用が導入された。
• torsion を検出するために、整数環 ℤ 上でのホモロジーを計算し、先行研究の ℤ₂ 計算結果と比較した。
• C. elegans 複体が点にまで簡略化されたことから、この手法の妥当性が検証され、それが球面のワッペンにホモトピー同値であることが確認された。

実験結果

リサーチクエスチョン

• RQ1 C. elegans 神経ネットワークの方向性フラッグ複体は、球面のワッペンにホモトピー同値であるか？
• RQ2 実際の生物学的ネットワークのフラッグトゥルナプレックスの整数ホモロジーに torsion を検出できるか？
• RQ3 C. elegans のような自然な方向性グラフの位相的豊かさは、Erdős-Rényi ランダムグラフと顕著に異なるか？
• RQ4 単体的崩壊、ホモロジー、およびコーン作用に基づく反復的計算手順は、大規模な方向性フラッグ複体のホモトピー型を効果的に特定できるか？
• RQ5 自己同型などのグラフの構造的不変量は、ホモトピー型や torsion といった位相的特徴と相関するか？

主な発見

• C. elegans グラフの方向性フラッグ複体は、球面のワッペンにホモトピー同値であり、初めて完全にそのホモトピー型が同定された。
• この複体の有理数係数ベッチ数は ℤ₂ 上のものと一致し、整数ホモロジーに torsion は検出されなかった。
• C. elegans グラフのフラッグトゥルナプレックスでは torsion が検出された。特に、d ∈ [2,10) の局所的方向性フィルトレーションにおいて、低フィルトレーションレベルで球面でない位相的構造が示された。
• フラッグトゥルナプレックスは、次数 0 から 7 のすべてで非自明なホモロジーを持ち、ベッチ数は 1 から 2652 の範囲に達し、豊かな位相的構造を示した。
• McKay の収集したトーナメントの方向性フラッグ複体には、球面を超えるモアスペースが含まれており、すべての複体が球面のワッペンであるとは限らないことが示された。
• C. elegans グラフの自己同型群は ℤ₂ ⊕ ℤ₂ であり、275 頂点が双次数および隣接構造によって一意に特定可能である。