A stability theorem for bigraded persistence barcodes

技術要約：二重次数付きパーシステント・バーコードに関する安定性定理

問題提起
本論文は、有限擬距離空間 $X$ に関連するヴィエトリス–リップス・フィルトレーションのモーメント・アングル複体 $Z_K$ から導出される、二重次数付き（bigraded）パーシステント・ホモロジーの応用における、2つの根本的な限界に対処している。

第一に、モーメント・アングル複体の標準的な二重次数付きホモロジーは、理論的には豊かであるものの、計算量が膨大になる。ホッチスター分解（Hochster decomposition）によれば、これらの群を計算するには、基礎となる単体的複体のすべてのフル部分複体の単体的ホモロジーを計算する必要があり、これはデータサイズに対してスケーリングが悪くなる。

第二に、より決定的な点として、データサイエンスへの応用において、標準的な二重次数付きパーシステント・ホモロジーは安定性を欠いている。トポロジカル・データ解析（TDA）において、安定性は、入力データにおける小さな摂動（グロモフ–ハウスドルフ距離で測定）が、結果としてのパーシステンス・バーコード（ボトルネック距離で測定）の変化のみをもたらすことを保証するものである。この性質がなければ、不変量はノイズに対して頑健（robust）ではなくなり、実世界のアプリケーションへの有用性が制限される。著者らは、二重次数付きパーシステンスが、通常のパーシステンスでは区別できない点集合を区別できること（例 3.4）を示しつつも、その安定性の欠如が実用的な利用を妨げていると指摘している。

手法
これらの問題を解決するために、著者らは [LPSS] で導入・研究された概念である、モーメント・アングル複体の**二重次数付きダブル・ホモロジー（bigraded double homology）**を利用する。

1. ダブル・ホモロジーの構成: 標準的なホモロジー $H_*(Z_K)$ の代わりに、著者らは二重次数付きホモロジー群に第二の微分 $\partial'$ を付与することで、鎖複体 $CH_*(Z_K) = (H_*(Z_K), \partial')$ を定義する。この新しい複体のホモロジー $HH_*(Z_K)$ が、ダブル・ホモロジーである。
2. 二重次数付きパーシステント・ダブル・ホモロジー: 著者らは、ヴィエトリス–リップス・フィルトレーション $\{R(X,t)\}_{t \geq 0}$ に関連するモーメント・アングル複体 $Z_{R(X,t)}$ に対してダブル・ホモロジー関手を適用することにより、パーシステント・ダブル・ホモロジー加群 $PHHZ(X)$ を定義する。
3. 「倍化（Doubling）」操作: 証明における中心的な技術的ツールは、単体的複体および擬距離空間における「倍化」操作である。単体的複体 $K$ の頂点 $i$（または空間 $X$ の点 $x$）を倍化することは、元の頂点（または点）と距離ゼロの複製頂点（または複製点）$i'$（または $x'$）を追加することによって、新しい複体 $K'$（または空間 $X'$）を作成することである。
   • 決定的なことに、倍化はモーメント・アングル複体の標準的なホモロジーを変化させるが（例 4.18）、ダブル・ホモロジーは保存する（命題 4.19）。
   • さらに、2つの有限擬距離空間間の任意の対応関係は、それらの反復的な倍化の間の全単射として実現できる（命題 4.16）。

主要な貢献と結果

• 二重次数付きパーシステント・ダブル・ホモロジーの定義: 本論文は、二重次数付きパーシステント・ダブル・ホモロジー加群 $PHHZ(X)$と、それに対応するバーコード$BB(X)$ を正式に定義する。これらの加群は、ダブル・ホモロジー群のサイズが標準的な二重次数付きホモロジーよりも小さいため、計算上よりアクセスしやすいことが示されている。
• （修正された）標準的二重次数付きパーシステンスの安定性: 著者らはまず、標準的な二重次数付きパーシステント・ホモロジー $PHZ(X)$に対する安定性定理を確立する。しかし、この安定性は、対応関係の定義における下限を全単射の対応のみに限定した、**修正されたグロモフ–ハウスドルフ距離**（$d'{GH}$）に関してのみ成立する（定理 4.21）。著者らは、点の倍化がバーコードを変化させる一方で$d{GH}$を変化させないことから（例 4.18）、標準的なグロモフ–ハウスドルフ距離（$d_{GH}$）は$PHZ(X)$ の安定性には不十分であることを示している。
• ダブル・ホモロジーの安定性定理: 主要な結果（定理 4.23）は、二重次数付きパーシステント・ダブル・ホモロジー加群が、標準的なグロモフ–ハウスドルフ距離に関して安定性定理を満たすことを証明している。具体的には、任意の2つの有限擬距離空間 $X$ と $Y$ に対して：
  $$d_{IL}(PHHZ(X), PHHZ(Y)) \leq 2d_{GH}(X, Y)$$
  ここで、$d_{IL}$ はインターリービング距離である。
• 等長定理の適用: 等長定理（定理 4.12）を援用することで、著者らは二重次数付きバーコード $BB(X)$と$BB(Y)$ に関する対応する安定性の結果（系 4.24）を導出する：
  $$W_\infty(BB(X), BB(Y)) \leq 2d_{GH}(X, Y)$$

意義と主張
本論文は、二重次数付きダブル・ホモロジーの導入が、元の二重次数付きアプローチにおける2つの主要な欠点を解消することを主張している。

1. 計算効率: ダブル・ホモロジー加群は標準的な二重次数付きホモロジー加群よりも小さいため、計算の観点からよりアクセスしやすい。
2. 頑健性: 最も重要なことに、ダブル・ホモロジー加群は、データサイエンスのアプリケーションに不可欠な安定性を備えている。著者らは、この性質が「概して、二重次数付きバーコードは入力データの変化に対して頑健であることを意味する」と述べている。

著者らは、二重次数付きパーシステンスが、通常のパーシステンスよりも豊かな代数的構造を提供し、通常のパーシステンスでは区別できないデータセットを区別できる能力を持つこと（例 3.4）を強調しつつも、以前は不安定性のために実用不可能であったことを強調している。ダブル・ホモロジーの安定性定理は、二重次数付き不変量の識別能力と、ノイズを含むデータに必要な頑健性を組み合わせることにより、「データ解析におけるより効率的な適用の道を開く」ものである。本論文は、新しい実験的な応用を提案するものではなく、そのような応用を生存可能にするために必要な理論的基礎を確立するものである。