On the Spectral Synthesis of Lipschitz Vectorizations of Persistence Diagrams
Persistence diagrams are fundamental descriptors in topological data analysis. Many statistical and machine learning methods require persistence diagrams to be mapped into vector spaces or compared through kernels. Although many persistence diagram vectorizations and persistence kernels have been proposed, there is no general framework for determining which persistence diagram vectorizations are synthesizable. Spectral synthesis asks whether the exponential monomials contained in the translation-invariant variety generated by a function span a dense subspace of that variety. We introduce uniformly discrete spectral synthesis for persistence diagram vectorizations using Fourier analysis on groups of virtual persistence diagrams. When the space of persistence intervals is separable, we prove sufficient conditions for uniformly discrete spectral synthesis and derive approximation results for virtual persistence diagrams with bounded total multiplicity. We then classify many persistence diagram vectorizations and persistence kernels from the literature by uniformly discrete spectral synthesis.