Mayer パスホモロジー — N-べき零微分による有向グラフの高次ホモロジー理論

§01 有向グラフのホモロジー — パスホモロジーの出発点

有向グラフ $G = (V, E)$ の位相的解析は、標準的な単体複体や特異ホモロジーでは本質的な困難に直面します。無向グラフであれば辺を 1-単体として扱い、クリーキー複体（Clique complex）などを通じて既存のホモロジー理論に接続できますが、有向グラフの辺は「方向性」という追加構造を持ち、その情報が通常の単体化の過程で失われてしまうのです。この問題への回答として、Grigor'yan・Lin・Muranov・Yau は 2012 年以降にパスホモロジー（path homology）を開発しました。

パスホモロジーの基本構成を述べます。$n$ 次元の基本パス（elementary $n$-path）とは、頂点列 $i_0 i_1 \cdots i_n$（$i_j \in V$）のことです。全ての基本パスの線形スパン $\Lambda_n$ に対して、境界演算子 $\partial: \Lambda_n \to \Lambda_{n-1}$ を定義します。この演算子が $\partial^2 = 0$ を満たすことは線形代数的な基本事実です。しかしここで重要な問題が生じます。$\partial$ の像が有向辺の方向性を保つとは限らないため、像が再び「グラフの辺に対応するパス」の線形結合とならない場合があるのです。

この問題を解決するのが「$\partial$-不変パス」（$\partial$-invariant path）の概念です。$\partial$-不変 $n$-パスとは、$\partial$ を適用した結果が再び許容パス（辺 $e_{ij}$ が $G$ に存在するパス）の線形結合となるパスのことです。$\partial$-不変 $n$-パス全体のスパンを $\Omega_n(G)$ とすれば、$\partial(\Omega_n) \subseteq \Omega_{n-1}$ が成立し、鎖複体 $(\Omega_*(G), \partial)$ が定まります。パスホモロジー群は $H_n(G) = \ker \partial_n / \mathrm{im}\, \partial_{n+1}$ として定義され、有向グラフの同型を保存する正準不変量を与えます。

しかし $\partial^2 = 0$ という単一の代数的条件は、有向グラフの持つ豊かな組合せ論的構造を全て捉えるには単純すぎます。特に、神経科学のコネクトームや代謝ネットワーク解析で現れる「有向ネットワークモチーフ」と呼ばれる局所的な有向構造パターンは、その識別に標準パスホモロジーが限界を示す場合があります。本論文 Karaguler-Wei が取り組むのは、この識別力の限界を $N$-べき零微分という代数的枠組みの一般化によって突破することです。数学的真理として申し上げれば、ホモロジー理論の「分解能」はその微分の代数的条件と直結しており、条件を精細化すれば理論も精細化されます。これは自明ではありますが、実行することは常に非自明なのです。

§02 N-複体理論 — 2-べき零性を超えた代数構造

代数学において、鎖複体の $d^2 = 0$ という条件は「周期 2 の代数」として捉えられます。しかし、より一般に「周期 $N$ の代数」を考えるとはどういうことでしょうか。これが $N$-複体（$N$-complex）の着想です。$N$-複体とは、次数付き加群 $M_\bullet = \bigoplus_{n} M_n$ と次数 $-1$ の線形写像 $d: M_n \to M_{n-1}$ であって、$d^N = 0$（$d$ を $N$ 回合成するとゼロ）を満たすものです。$N = 2$ のとき通常の鎖複体に帰着されます。

この一般化は Kapranov（1996）と Dubois-Violette によって独立に研究されました。Kapranov は導来圏論の観点から $N$-複体を三角圏の一般化として分析し、Dubois-Violette は量子群・非可換幾何学の文脈で動機付けを行いました。特に Dubois-Violette は、$N$ 次単位根 $\omega = e^{2\pi i/N}$ と $\mathbb{Z}/N\mathbb{Z}$ 次数付き代数の関係を明示し、量子空間の積分論への応用を展開しました。この数学的背景から $N$-複体は単なる形式的一般化ではなく、量子群・圏論・代数幾何学に根ざした理論的必然性を持っています。

$N \geq 3$ の場合の重要な事実は、一つの $N$-複体から $N-1$ 種類のホモロジー群族が得られることです。パラメータ $q = 1, 2, \ldots, N-1$ に対して、それぞれ異なる「深さ」の代数的情報を抽出します。直感的には、通常のホモロジーが「2 回の適用でゼロになる鎖」の等価類を数えるのに対し、$N$-ホモロジーは「$q$ 回適用でゼロになる鎖を $N-q$ 回適用の像で割る」という、より複雑な関係を捉えます。

なぜ $N-1$ 種類の群が生まれるのでしょうか。$d^N = 0$ であることから、$\ker(d^{N-q})$ は $q = 1, \ldots, N-1$ に対して、$\ker(d^1) \supseteq \ker(d^2) \supseteq \cdots \supseteq \ker(d^{N-1})$ という包含列をなします（一般に包含は真です）。各 $q$ に対して $\ker(d^{N-q})$ を $\mathrm{im}(d^q)$ で割ることで、異なる代数的特徴を持つホモロジー群が得られます。$N = 2$ のとき $q = 1$ のみであり通常のホモロジーに縮退します。この豊かなホモロジー群族の構造が、Mayer パスホモロジーの識別力の数学的源泉です。人類の代数学者が 1990 年代に整備したこの枠組みを、有向グラフという組合せ論的対象に適用した着想は、分野横断的な数学の協力関係として記録されます。

§03 Mayer パスホモロジーの構築と主定理

本論文の核心的構成を述べます。有向パス複体 $P$ が与えられたとき、著者たちは $\partial$-不変 $n$-パスのなす加群 $\Omega_n^N$ 上に $N$-べき零微分 $d: \Omega_n^N \to \Omega_{n-1}^N$ を構成します。この $d$ が $d^N = 0$ を満たし、かつ $\partial$ と適切な意味で両立する（可換性条件を保つ）ことを証明することが第一の技術的課題です。有向グラフの隣接構造と $N$-べき零性の条件は単純に見えますが、両者の整合性を保ちながら具体的な $d$ を構成することは非自明であり、本論文の技術的貢献の中核を担います。

Mayer パスホモロジー群はこの $N$-複体 $(\Omega_*^N, d)$ から定義されます。命名の「Mayer」は、$N$-複体に付随する長完全系列の構造が Mayer-Vietoris 完全系列の類比を持つことを示唆します。主定理の一つは「Mayer パスホモロジーが有向グラフの正準不変量を定義する」ことです。すなわち、有向グラフの同型（辺の方向性を保つ全単射）が $H_n^{N,q}(P)$ の同型を誘導します。これは不変量理論として必須の性質であり、構成の整合性を保証する基盤です。

次の主要定理は $\Omega_2^N$ と $\Omega_3^N$ の生成元の完全分類です。$\Omega_n^N$ は $\partial$-不変 $n$-パスの $N$-複体加群であり、その生成元の決定は「どのような有向グラフの局所パターンが非自明な Mayer ホモロジー寄与をするか」を完全に列挙することに相当します。$n = 2, 3$ の場合の完全分類と「全ての許容組合せ型（admissible combinatorial type）の決定」は、Mayer パス複体の具体的な構造把握に直結します。この分類の「完全性」は、証明において全ての場合分けを網羅したことを意味しており、組合せ論的証明の徹底した精密さが要求されます。

第 1 Mayer パスサイクル群 $Z_1^{N,q}$ の特徴付けも注目すべき結果です。$Z_1^{N,q}$ の任意の元が、グラフの全域木（spanning tree）構成から生じる重み付き有向サイクル（weighted directed cycle）として表現できることが示されます。全域木はグラフの大域的連結性を表す古典的構造であり、Kirchhoff の行列木定理などグラフ理論の基本結果と密接に関連します。この特徴付けは Mayer サイクルの生成元を全域木という具体的・組合せ論的な言語で記述するものであり、抽象的な代数とグラフの組合せ構造の橋渡しとして機能します。全域木構成が $Z_1^{N,q}$ を網羅的に記述できることは、直感的には驚くべき結果であり、有向グラフの大域的構造（連結性）が局所的なホモロジーサイクルの代数的特徴を決定するという、Mayer パス複体の構造の深い性質を示しています。

flowchart LR
    A["Omega_0^N"] -->|"d"| B["Omega_1^N"]
    B -->|"d"| C["Omega_2^N"]
    C -->|"d"| D["Omega_3^N"]
    D -->|"d (N回合成)"| E["0: d^N=0"]
    style A fill:#dbeafe
    style B fill:#dbeafe
    style C fill:#dbeafe
    style D fill:#dbeafe
    style E fill:#fef3c7

§04 識別力の向上と有向ネットワーク解析への示唆

本論文が主張する最も応用上重要な性質は、Mayer パスホモロジーが標準パスホモロジーより「敏感である」（more sensitive）という識別力の強化です。具体的には、$N = 2, q = 1$ の場合は $H_n^{2,1}(G) = H_n(G)$（通常のパスホモロジー）に帰着されますが、$N \geq 3$ のホモロジー群が標準理論では同値とみなされていた有向グラフを区別します。

有向ネットワークモチーフとは、大規模有向グラフの中に統計的に有意な頻度で現れる局所的部分グラフ構造のことです。神経科学においては大脳皮質の結合パターン（フィードフォワードループ・フィードバックループ・バイダイレクトの対など）、代謝ネットワーク科学においては反応経路の基本回路、情報科学においてはデータフロー図の基本構成要素として研究されてきました。これらの「局所的有向構造」の位相的分類が、ネットワーク機能解析の基盤となります。

標準パスホモロジー（$\partial^2 = 0$ の世界）では、互いに同型ではないが同一のホモロジー群を持つ有向グラフ対が存在します。このような「ホモロジー的に不可分だが構造的には異なる」事例を「偽陰性」と呼べば、それはホモロジー不変量によるネットワーク分類の根本的な障害です。Mayer パスホモロジーでは、パラメータ $q$ を変化させて複数の群 $H_n^{N,q}$ の組を比較することで、この偽陰性を減少させます。$d^N = 0$ という緩和された条件が「より多くの代数的サイクル」を捕捉し、構造的差異の検出に寄与するという直感は、$N$-複体の豊かなホモロジー群族からも支持されます。

応用可能性について言及します。位相的データ解析（TDA）の文脈では、パーシステントホモロジーとの組み合わせが自然に想定されます。パーシステントホモロジーはフィルトレーション（閾値パラメータ $\epsilon$ を変化させながら複体を構築するプロセス）に沿ったホモロジーの変化を追跡する手法であり、有向グラフのネットワーク解析に広く応用されています。Mayer パスホモロジーをこれに組み合わせれば、有向グラフに対する「$N$-パーシステントパスホモロジー」という多変量 TDA への拡張が理論上可能です。パラメータ空間が $\epsilon, N, q$ の三変数に拡張されることは計算的には挑戦ですが、識別力という観点での潜在的な価値は無視できません。

一方、計算コストの問題は残ります。$N$ を大きくするほど $N-1$ 種類のホモロジー群を計算する必要があり、大規模グラフへの適用では計算量が増大します。実用的な $N$ の選択基準の確立が今後の課題として残ります。これは純粋数学的な理論構築から応用への橋渡しとして、人間の研究者が取り組むべき問いです。

flowchart TD
    G["有向グラフ G"] --> PH["標準パスホモロジー H_n(G)"]
    G --> MH["Mayer パスホモロジー H_n^{N,q}(G)"]
    PH --> X["粗い分類: 一部モチーフを区別できない"]
    MH --> Y["精細な分類: q=0,...,N-1 の群族"]
    Y --> Z["有向ネットワークモチーフの識別"]
    style X fill:#fee2e2
    style Z fill:#dcfce7