-
Local characterization of block-decomposability for multiparameter persistence modules
Authors:
Vadim Lebovici,
Jan-Paul Lerch,
Steve Oudot
Abstract:
Local conditions for the direct summands of a persistence module to belong to a certain class of indecomposables have been proposed in the 2-parameter setting, notably for the class of indecomposables called block modules, which plays a prominent role in levelset persistence. Here we generalize the local condition for decomposability into block modules to the n-parameter setting, and prove a corre…
▽ More
Local conditions for the direct summands of a persistence module to belong to a certain class of indecomposables have been proposed in the 2-parameter setting, notably for the class of indecomposables called block modules, which plays a prominent role in levelset persistence. Here we generalize the local condition for decomposability into block modules to the n-parameter setting, and prove a corresponding structure theorem. Our result holds in the generality of pointwise finite-dimensional modules over finite products of arbitrary totally ordered sets. Our proof extends the one by Botnan and Crawley-Boevey from 2 to n parameters, which requires some crucial adaptations at places where their proof is fundamentally tied to the 2-parameter setting.
△ Less
Submitted 11 December, 2024; v1 submitted 26 February, 2024;
originally announced February 2024.
-
Discrete transforms of quantized persistence diagrams
Authors:
Michael Etienne Van Huffel,
Olympio Hacquard,
Vadim Lebovici,
Matteo Palo
Abstract:
Topological data analysis leverages topological features to analyze datasets, with applications in diverse fields like medical sciences and biology. A key tool of this theory is the persistence diagram, which encodes topological information but poses challenges for integration into standard machine learning pipelines. We introduce Qupid (QUantized Persistence and Integral transforms of Diagrams),…
▽ More
Topological data analysis leverages topological features to analyze datasets, with applications in diverse fields like medical sciences and biology. A key tool of this theory is the persistence diagram, which encodes topological information but poses challenges for integration into standard machine learning pipelines. We introduce Qupid (QUantized Persistence and Integral transforms of Diagrams), a novel and simple method for vectorizing persistence diagrams. First, Qupid uses a binning procedure to turn persistence diagrams into finite measures on a grid and then applies discrete transforms to these measures. Key features are the choice of log-scaled grids that emphasize information contained near the diagonal in persistence diagrams, combined with the use of discrete transforms to enhance and efficiently encode the obtained topological information. We conduct an in-depth experimental analysis of Qupid, showing that the simplicity of our method results in very low computational costs while preserving highly competitive performances compared to state-of-the-art methods across numerous classification tasks on both synthetic and real-world datasets. Finally, we provide experimental evidence that our method is robust to a decrease in the grid resolution used.
△ Less
Submitted 21 October, 2024; v1 submitted 28 December, 2023;
originally announced December 2023.
-
Euler Characteristic Tools For Topological Data Analysis
Authors:
Olympio Hacquard,
Vadim Lebovici
Abstract:
In this article, we study Euler characteristic techniques in topological data analysis. Pointwise computing the Euler characteristic of a family of simplicial complexes built from data gives rise to the so-called Euler characteristic profile. We show that this simple descriptor achieve state-of-the-art performance in supervised tasks at a very low computational cost. Inspired by signal analysis, w…
▽ More
In this article, we study Euler characteristic techniques in topological data analysis. Pointwise computing the Euler characteristic of a family of simplicial complexes built from data gives rise to the so-called Euler characteristic profile. We show that this simple descriptor achieve state-of-the-art performance in supervised tasks at a very low computational cost. Inspired by signal analysis, we compute hybrid transforms of Euler characteristic profiles. These integral transforms mix Euler characteristic techniques with Lebesgue integration to provide highly efficient compressors of topological signals. As a consequence, they show remarkable performances in unsupervised settings. On the qualitative side, we provide numerous heuristics on the topological and geometric information captured by Euler profiles and their hybrid transforms. Finally, we prove stability results for these descriptors as well as asymptotic guarantees in random settings.
△ Less
Submitted 24 July, 2024; v1 submitted 24 March, 2023;
originally announced March 2023.
-
Hybrid transforms of constructible functions
Authors:
Vadim Lebovici
Abstract:
We introduce a general definition of hybrid transforms for constructible functions. These are integral transforms combining Lebesgue integration and Euler calculus. Lebesgue integration gives access to well-studied kernels and to regularity results, while Euler calculus conveys topological information and allows for compatibility with operations on constructible functions. We conduct a systematic…
▽ More
We introduce a general definition of hybrid transforms for constructible functions. These are integral transforms combining Lebesgue integration and Euler calculus. Lebesgue integration gives access to well-studied kernels and to regularity results, while Euler calculus conveys topological information and allows for compatibility with operations on constructible functions. We conduct a systematic study of such transforms and introduce two new ones: the Euler-Fourier and Euler-Laplace transforms. We show that the first has a left inverse and that the second provides a satisfactory generalization of Govc and Hepworth's persistent magnitude to constructible sheaves, in particular to multi-parameter persistent modules. Finally, we prove index-theoretic formulae expressing a wide class of hybrid transforms as generalized Euler integral transforms. This yields expectation formulae for transforms of constructible functions associated to (sub)level-sets persistence of random Gaussian filtrations.
△ Less
Submitted 16 November, 2022; v1 submitted 15 November, 2021;
originally announced November 2021.
-
Local characterizations for decomposability of 2-parameter persistence modules
Authors:
Magnus Bakke Botnan,
Vadim Lebovici,
Steve Oudot
Abstract:
We investigate the existence of sufficient local conditions under which poset representations decompose as direct sums of indecomposables from a given class. In our work, the indexing poset is the product of two totally ordered sets, corresponding to the setting of 2-parameter persistence in topological data analysis. Our indecomposables of interest belong to the so-called interval modules, which…
▽ More
We investigate the existence of sufficient local conditions under which poset representations decompose as direct sums of indecomposables from a given class. In our work, the indexing poset is the product of two totally ordered sets, corresponding to the setting of 2-parameter persistence in topological data analysis. Our indecomposables of interest belong to the so-called interval modules, which by definition are indicator representations of intervals in the poset. While the whole class of interval modules does not admit such a local characterization, we show that the subclass of rectangle modules does admit one and that it is, in some precise sense, the largest subclass to do so.
△ Less
Submitted 12 December, 2022; v1 submitted 5 August, 2020;
originally announced August 2020.
-
On rectangle-decomposable 2-parameter persistence modules
Authors:
Magnus Bakke Botnan,
Vadim Lebovici,
Steve Oudot
Abstract:
This paper addresses two questions: (a) can we identify a sensible class of 2-parameter persistence modules on which the rank invariant is complete? (b) can we determine efficiently whether a given 2-parameter persistence module belongs to this class? We provide positive answers to both questions, and our class of interest is that of rectangle-decomposable modules. Our contributions include: on th…
▽ More
This paper addresses two questions: (a) can we identify a sensible class of 2-parameter persistence modules on which the rank invariant is complete? (b) can we determine efficiently whether a given 2-parameter persistence module belongs to this class? We provide positive answers to both questions, and our class of interest is that of rectangle-decomposable modules. Our contributions include: on the one hand, a proof that the rank invariant is complete on rectangle-decomposable modules, together with an inclusion-exclusion formula for counting the multiplicities of the summands; on the other hand, algorithms to check whether a module induced in homology by a bifiltration is rectangle-decomposable, and to decompose it in the affirmative, with a better complexity than state-of-the-art decomposition methods for general 2-parameter persistence modules. Our algorithms are backed up by a new structure theorem, whereby a 2-parameter persistence module is rectangle-decomposable if, and only if, its restrictions to squares are. This local characterization is key to the efficiency of our algorithms, and it generalizes previous conditions derived for the smaller class of block-decomposable modules. It also admits an algebraic formulation that turns out to be a weaker version of the one for block-decomposability. By contrast, we show that general interval-decomposability does not admit such a local characterization, even when locality is understood in a broad sense. Our analysis focuses on the case of modules indexed over finite grids, the more general cases are left as future work.
△ Less
Submitted 4 February, 2022; v1 submitted 20 February, 2020;
originally announced February 2020.
-
Reconstruction of piecewise constant functions from X-ray data
Authors:
Vadim Lebovici
Abstract:
We show that on a two-dimensional compact nontrapping Riemannian manifold with strictly convex boundary, a piecewise constant function can be recovered from its integrals over geodesics. We adapt the injectivity proof which uses variations through geodesics to recover the function and we improve this result when the manifold is simple and the function is constant on tiles with geodesic edges, show…
▽ More
We show that on a two-dimensional compact nontrapping Riemannian manifold with strictly convex boundary, a piecewise constant function can be recovered from its integrals over geodesics. We adapt the injectivity proof which uses variations through geodesics to recover the function and we improve this result when the manifold is simple and the function is constant on tiles with geodesic edges, showing that the Jacobi fields of these variations are sufficient. We give also explicit formulas for the values near the boundary. We finally study the stability of the reconstruction method.
△ Less
Submitted 8 April, 2019; v1 submitted 7 January, 2019;
originally announced January 2019.
