[論文レビュー] Reproducing Kernel Hilbert Spaces on Banach Completions of Virtual Persistence Diagram Groups

Charles Fanning, Mehmet Emin Aktas|arXiv (Cornell University)|Feb 16, 2026

Topological and Geometric Data Analysis被引用数 0

ひとこと要約

この論文は翻訳不変なガウスカーネルとBanach空間モデル上の非離散的仮想持続図グループのRKHS境界を開発し、リプシッツ制御とランダム特徴スキームを可能にする。

ABSTRACT

Persistent homology maps a simplicial complex filtered by elements in $\mathbb R$ to finite formal sums of elements of $\mathbb R_{\leq}^{2} = \{ (b,d) \in \mathbb R^2 \cup \{ \infty \} \mid b < d \}$ called (finite) persistence diagrams. This map is stable with respect to the $p$--Wasserstein distance for all $p \in \left[1, + \infty ight]$. Bubenik and Elchesen extend the free translation-invariant commutative Lipschitz monoid of finite persistence diagrams $D(X,A) = D(X)/D(A)$ on arbitrary metric pairs $(X,d,A)$ with $A \subset X$ onto the free translation-invariant abelian Lipschitz group of virtual persistence diagrams $K(X,A) = K(X)/K(A)$ as an isometric embedding $D(X,A) \hookrightarrow K(X,A)$ via the Grothendieck group completion. They prove that the $p$-Wasserstein distance is translation invariant on $D(X,A)$ if and only if $p=1$ and define the unique translation-invariant embedding of $W_1[d]$ into $K(X,A)$ as $ρ.$ When $K(X,A)$ is locally compact abelian, translation-invariant kernels can be constructed via positive-definite functions and Bochner's theorem on the Pontryagin dual. We prove that, for the metric topology induced by $ρ$, the group $(K(X,A),ρ)$ is locally compact if and only if it is discrete, equivalently when the pointed metric space $(X/A,d_1,[A])$ is uniformly discrete, and hence this approach fails outside that case. Assuming instead that $(X/A,d_1,[A])$ is separable and not uniformly discrete, we develop a translation-invariant kernel theory for non--locally compact virtual persistence diagram groups. The group $K(X,A)$ embeds isometrically into its canonical Banach-space linearization $B=\widehat V(X,A)\cong\mathcal F(X/A,d_1)$, and each bounded symmetric positive operator $Q\colon B o B^\ast$ determines a translation-invariant Gaussian kernel $k(x,y)=\exp\!\left(- frac12\,\langle Q(x-y),x-y angle_{B,B^\ast} ight).$

研究の動機と目的

• 仮想持続図とそれらのGrothendieck/ Banach空間完備を動機づけ、 formalizeする。
• Banachモデル上で平移不変ガウスカーネルを構築し、図のW1幾何を研究する。
• 非局所コンパクトな図グループ上のRKHSについて、リプシッツ・質量・被覆数境界を提供する。
• 確率的誤差制御を伴うランダムフーリエ特徴近似を開発する。
• 非一様ラベル空間を持つグラフベースのフィルトレーション上でパイプラインを実証する。

提案手法

• 仮想持続図をGrothendieck完備K(X,A)とそのBanach完備B≅F(X/A, d1)としてモデル化する。
• 共分散作用素を用いたガウス分布によりB上の平移不変ガウスカーネルを定義し、kJ,Σ,t(x,y)=exp(-t/2 ||Σ1/2 J(x−y)||^2)を得る。
• 共分散データに依存するRKHS関数のリプシッツ境界をK(X,A)上で導出する（定理4.4）。
• カーネル幾何と図の質量を関連づけ、半ノルムの同値性のレイリー比基準を提供する（定理4.7）。
• Jを用いてガウス分布γΣでℓ2へ埋め込み、ランダムフーリエ特徴を実現し、集中性と被覆数結果を提供する（セクション4.5）。
• 非局所コンパクトでのケースをBanachカーネルと結びつけるリプシッツ自由空間の解釈を用いる（定義3–4）。

実験結果

リサーチクエスチョン

• RQ1 仮想持続図グループのBanach完備上で平移不変カーネルをどのように構築できるか。
• RQ2 W1幾何をRKHS設定へ翻訳する際のリプシッツ・計量エントロピーの影響は何か。
• RQ3 Banachモデル上のガウスカーネルはランダムフーリエ特徴による有限サンプル近似をいつ、どのように実現できるか。
• RQ4 X/Aの非一様離散性は局所コンパクト性とポンテリャー-dualカーネル構築の可用性にどう影響するか。
• RQ5 開発したカーネルは図の質量や共分散選択間の双リプシッツ同値性の実用的境界を提供できるか。

主な発見

• Banach完備B上の平移不変ガウスカーネルに関連するRKHSの明示的リプシッツ境界の族を確立（定理4.4）。
• K(X,A)の部分集合に対する被覆数境界を特徴距離とWasserstein幾何から導出（定理4.6）。
• カーネル値境界kJ,Σ,t(g,0)は図的質量M(g)の明示的上界を与える（定理4.5）。
• レイリー比基準は二つの共分散演算子が双リプシッツ等価な半ノルムを誘導し、従って等価なガウスカーネルを生む条件を特徴づける（定理4.7）。
• ランダムフーリエ特徴写像は一様集中界とリプシッツ制御を備え、有限サンプルのカーネル近似を実現する（セクション4.5；補題・系言4.8–4.11）。
• 解析的パイプラインは低星クラiqueフィルトレーションからの仮想図で実証され、ラベル空間の幾何がリプシッツ定数とロバスト性に及ぼす影響を分離。