[论文解读] 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界，从而实现 Lipschitz 控制与随机特征方案。

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空间完备化。
• 在Banach模型上构造平移不变的高斯核以研究图的W1-几何。
• 为非局部紧致的图群上的RKHS提供 Lipschitz、质量与覆盖数界。
• 开发带有概率误差控制的随机傅里叶特征近似。
• 在基于图的过滤中展示该工作流程，包含非均匀标签空间。

提出的方法

• 通过 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) 上的函数的 Lipschitz 界限与协方差数据相关联（定理 4.4）。
• 将核几何与图的质量相关联，并给出关于半范数等价性的 Rayleigh 商准则（定理 4.7）。
• 通过 J 的高斯测度 γΣ 将 B 嵌入 ℓ2，以实现随机傅里叶特征并给出集中性与覆盖数结果（第4.5节）。
• 利用 Lipschitz-free 空间的解释将非局部紧致情形与 Banach 空间核联系起来（定义 3–4）。

实验结果

研究问题

• RQ1 如何在虚拟持久性图群的 Banach 完备化上构造平移不变核？
• RQ2 将 W1 几何平移到 RKHS 设置对虚拟图的 Lipschitz 与度量熵有何影响？
• RQ3 在 Banach 模型上高斯核何时以及如何通过随机傅里叶特征实现可控的有限样本近似？
• RQ4 X/A 的非均匀离散性如何影响局部紧致性以及 Pontryagin-对偶核构造的可用性？
• RQ5 所开发的核能否就图的质量和协方差选择下的双 Lipschitz 等价提供实际界限？

主要发现

• 证明了一类显式 Lipschitz 边界，适用于 Banach 完备 B 上的平移不变高斯核相关的 RKHS（定理 4.4）。
• 通过特征度量与 Wasserstein 几何导出 K(X,A) 子集的覆盖数界限（定理 4.6）。
• 核值界限 kJ,Σ,t(g,0) 给出对图质量 M(g) 的显式上界（定理 4.5）。
• Rayleigh-quotient 条件刻画两组协方差算子何时诱导双 Lipschitz 等价的半范数，从而等价的高斯核（定理 4.7）。
• 开发带有统一集中性界与 Lipschitz 控制的随机傅里叶特征映射，支持有限样本的核近似（第4.5节；引理/推论 4.8–4.11）。
• 在来自 lower-star clique 过滤的虚拟图上展示分析流程，且标签空间多样化，孤立出标签空间几何对 Lipschitz 常数与鲁棒性的影响。