-
Morse theory of Euclidean distance functions from algebraic hypersurfaces
Authors:
Andrea Guidolin,
Antonio Lerario,
Isaac Ren,
Martina Scolamiero
Abstract:
Let $Y\subseteq \mathbb{R}^n$ be a closed definable subset and $X\subseteq \mathbb{R}^n$ be a smooth manifold. We construct a version of Morse Theory for the restriction to $X$ of the Euclidean distance function from $Y$. This is done using the notion of critical points of Lipschitz functions and applying the theory of continuous selections. In this theory, nondegenerate critical points have two i…
▽ More
Let $Y\subseteq \mathbb{R}^n$ be a closed definable subset and $X\subseteq \mathbb{R}^n$ be a smooth manifold. We construct a version of Morse Theory for the restriction to $X$ of the Euclidean distance function from $Y$. This is done using the notion of critical points of Lipschitz functions and applying the theory of continuous selections. In this theory, nondegenerate critical points have two indices: a quadratic index (as in classical Morse Theory), and a piecewise linear index (that relates to the notion of bottlenecks). This framework is flexible enough to simultaneously treat and unify the study of two cases of interest for computational algebraic geometry: bottlenecks and nearest point problems. We provide a technical toolset guaranteeing the applicability of the theory to the case where $X, Y$ are generic algebraic hypersurfaces and use it to bound the number of critical points of the distance from $Y$ restricted to $X$, among other applications.
△ Less
Submitted 22 February, 2025; v1 submitted 13 February, 2024;
originally announced February 2024.
-
On the support of Betti tables of multiparameter persistent homology modules
Authors:
Andrea Guidolin,
Claudia Landi
Abstract:
Persistent homology encodes the evolution of homological features of a multifiltered cell complex in the form of a multigraded module over a polynomial ring, called a multiparameter persistence module, and quantifies it through invariants suitable for topological data analysis.
In this paper, we establish relations between the Betti tables, a standard invariant for multigraded modules commonly u…
▽ More
Persistent homology encodes the evolution of homological features of a multifiltered cell complex in the form of a multigraded module over a polynomial ring, called a multiparameter persistence module, and quantifies it through invariants suitable for topological data analysis.
In this paper, we establish relations between the Betti tables, a standard invariant for multigraded modules commonly used in multiparameter persistence, and the multifiltered cell complex. In particular, we show that the grades at which cells of specific dimensions first appear in the filtration reveal all positions in which the Betti tables are possibly nonzero. This result can be used in combination with discrete Morse theory on the multifiltered cell complex originating the module to obtain a better approximation of the support of the Betti tables. In the case of bifiltrations, we refine our results by considering homological critical grades of a filtered chain complex instead of entrance grades of cells.
△ Less
Submitted 22 August, 2024; v1 submitted 9 March, 2023;
originally announced March 2023.
-
Algebraic Wasserstein distances and stable homological invariants of data
Authors:
Jens Agerberg,
Andrea Guidolin,
Isaac Ren,
Martina Scolamiero
Abstract:
Distances have a ubiquitous role in persistent homology, from the direct comparison of homological representations of data to the definition and optimization of invariants. In this article we introduce a family of parametrized pseudometrics between persistence modules based on the algebraic Wasserstein distance defined by Skraba and Turner, and phrase them in the formalism of noise systems. This i…
▽ More
Distances have a ubiquitous role in persistent homology, from the direct comparison of homological representations of data to the definition and optimization of invariants. In this article we introduce a family of parametrized pseudometrics between persistence modules based on the algebraic Wasserstein distance defined by Skraba and Turner, and phrase them in the formalism of noise systems. This is achieved by comparing $p$-norms of cokernels (resp. kernels) of monomorphisms (resp. epimorphisms) between persistence modules and corresponding bar-to-bar morphisms, a novel notion that allows us to bridge between algebraic and combinatorial aspects of persistence modules. We use algebraic Wasserstein distances to define invariants, called Wasserstein stable ranks, which are 1-Lipschitz stable with respect to such pseudometrics. We prove a low-rank approximation result for persistence modules which allows us to efficiently compute Wasserstein stable ranks, and we propose an efficient algorithm to compute the interleaving distance between them. Importantly, Wasserstein stable ranks depend on interpretable parameters which can be learnt in a machine learning context. Experimental results illustrate the use of Wasserstein stable ranks on real and artificial data and highlight how such pseudometrics could be useful in data analysis tasks.
△ Less
Submitted 22 August, 2024; v1 submitted 16 January, 2023;
originally announced January 2023.
-
Koszul complexes and relative homological algebra of functors over posets
Authors:
Wojciech Chacholski,
Andrea Guidolin,
Isaac Ren,
Martina Scolamiero,
Francesca Tombari
Abstract:
Under certain conditions, Koszul complexes can be used to calculate relative Betti diagrams of vector space-valued functors indexed by a poset, without the explicit computation of global minimal relative resolutions. In relative homological algebra of such functors, free functors are replaced by an arbitrary family of functors. Relative Betti diagrams encode the multiplicities of these functors in…
▽ More
Under certain conditions, Koszul complexes can be used to calculate relative Betti diagrams of vector space-valued functors indexed by a poset, without the explicit computation of global minimal relative resolutions. In relative homological algebra of such functors, free functors are replaced by an arbitrary family of functors. Relative Betti diagrams encode the multiplicities of these functors in minimal relative resolutions. In this article we provide conditions under which grading the chosen family of functors leads to explicit Koszul complexes whose homology dimensions are the relative Betti diagrams, thus giving a scheme for the computation of these numerical descriptors.
△ Less
Submitted 23 April, 2024; v1 submitted 13 September, 2022;
originally announced September 2022.
-
Morse inequalities for the Koszul complex of multi-persistence
Authors:
Andrea Guidolin,
Claudia Landi
Abstract:
In this paper, we define the homological Morse numbers of a filtered cell complex in terms of relative homology of nested filtration pieces, and derive inequalities relating these numbers to the Betti tables of the multi-parameter persistence modules of the considered filtration. Using the Mayer-Vietoris spectral sequence we first obtain strong and weak Morse inequalities involving the above quant…
▽ More
In this paper, we define the homological Morse numbers of a filtered cell complex in terms of relative homology of nested filtration pieces, and derive inequalities relating these numbers to the Betti tables of the multi-parameter persistence modules of the considered filtration. Using the Mayer-Vietoris spectral sequence we first obtain strong and weak Morse inequalities involving the above quantities, and then we improve the weak inequalities achieving a sharp lower bound for homological Morse numbers. Furthermore, we prove a sharp upper bound for homological Morse numbers, expressed again in terms of the Betti tables.
△ Less
Submitted 31 January, 2023; v1 submitted 25 August, 2021;
originally announced August 2021.
-
Computing higher Leray-Serre spectral sequences of towers of fibrations
Authors:
Andrea Guidolin,
Ana Romero
Abstract:
The higher Leray-Serre spectral sequence associated with a tower of fibrations represents a generalization of the classical Leray-Serre spectral sequence of a fibration. In this work, we present algorithms to compute higher Leray-Serre spectral sequences leveraging the effective homology technique, which allows to perform computations involving chain complexes of infinite type associated with inte…
▽ More
The higher Leray-Serre spectral sequence associated with a tower of fibrations represents a generalization of the classical Leray-Serre spectral sequence of a fibration. In this work, we present algorithms to compute higher Leray-Serre spectral sequences leveraging the effective homology technique, which allows to perform computations involving chain complexes of infinite type associated with interesting objects in algebraic topology. In order to develop the programs, implemented as a new module for the Computer Algebra system Kenzo, we translated the original construction of the higher Leray-Serre spectral sequence in a simplicial framework and studied some of its fundamental properties.
△ Less
Submitted 22 July, 2021; v1 submitted 10 December, 2019;
originally announced December 2019.
