{"id":"arxiv/2602.15153","url":"https://arxiv.org/abs/2602.15153","tags":["math.FA","math.AT"],"score":0,"title":"Reproducing Kernel Hilbert Spaces on Banach Completions of Virtual Persistence Diagram Groups","domain":"math.FA","source":"arxiv","authors":["Charles Fanning","Mehmet Aktas"],"reviews":0,"subject":"math.FA","summary":"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 \\right]$. 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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-16","reactions":{}}