Poincaré Duality for Generalized Persistence Diagrams of (co)Filtrations
Authors:
Amit Patel,
Tatum Rask
Abstract:
We dualize previous work on generalized persistence diagrams for filtrations to cofiltrations. When the underlying space is a manifold, we express this duality as a Poincaré duality between their generalized persistence diagrams. A heavy emphasis is placed on the recent discovery of functoriality of the generalized persistence diagram and its connection to Rota's Galois Connection Theorem.
We dualize previous work on generalized persistence diagrams for filtrations to cofiltrations. When the underlying space is a manifold, we express this duality as a Poincaré duality between their generalized persistence diagrams. A heavy emphasis is placed on the recent discovery of functoriality of the generalized persistence diagram and its connection to Rota's Galois Connection Theorem.
△ Less
Submitted 7 April, 2024; v1 submitted 30 December, 2022;
originally announced December 2022.
Learning on Persistence Diagrams as Radon Measures
Authors:
Alex Elchesen,
Iryna Hartsock,
Jose A. Perea,
Tatum Rask
Abstract:
Persistence diagrams are common descriptors of the topological structure of data appearing in various classification and regression tasks. They can be generalized to Radon measures supported on the birth-death plane and endowed with an optimal transport distance. Examples of such measures are expectations of probability distributions on the space of persistence diagrams. In this paper, we develop…
▽ More
Persistence diagrams are common descriptors of the topological structure of data appearing in various classification and regression tasks. They can be generalized to Radon measures supported on the birth-death plane and endowed with an optimal transport distance. Examples of such measures are expectations of probability distributions on the space of persistence diagrams. In this paper, we develop methods for approximating continuous functions on the space of Radon measures supported on the birth-death plane, as well as their utilization in supervised learning tasks. Indeed, we show that any continuous function defined on a compact subset of the space of such measures (e.g., a classifier or regressor) can be approximated arbitrarily well by polynomial combinations of features computed using a continuous compactly supported function on the birth-death plane (a template). We provide insights into the structure of relatively compact subsets of the space of Radon measures, and test our approximation methodology on various data sets and supervised learning tasks.
△ Less
Submitted 16 December, 2022;
originally announced December 2022.
Toroidal Coordinates: Decorrelating Circular Coordinates With Lattice Reduction
Authors:
Luis Scoccola,
Hitesh Gakhar,
Johnathan Bush,
Nikolas Schonsheck,
Tatum Rask,
Ling Zhou,
Jose A. Perea
Abstract:
The circular coordinates algorithm of de Silva, Morozov, and Vejdemo-Johansson takes as input a dataset together with a cohomology class representing a $1$-dimensional hole in the data; the output is a map from the data into the circle that captures this hole, and that is of minimum energy in a suitable sense. However, when applied to several cohomology classes, the output circle-valued maps can b…
▽ More
The circular coordinates algorithm of de Silva, Morozov, and Vejdemo-Johansson takes as input a dataset together with a cohomology class representing a $1$-dimensional hole in the data; the output is a map from the data into the circle that captures this hole, and that is of minimum energy in a suitable sense. However, when applied to several cohomology classes, the output circle-valued maps can be "geometrically correlated" even if the chosen cohomology classes are linearly independent. It is shown in the original work that less correlated maps can be obtained with suitable integer linear combinations of the cohomology classes, with the linear combinations being chosen by inspection. In this paper, we identify a formal notion of geometric correlation between circle-valued maps which, in the Riemannian manifold case, corresponds to the Dirichlet form, a bilinear form derived from the Dirichlet energy. We describe a systematic procedure for constructing low energy torus-valued maps on data, starting from a set of linearly independent cohomology classes. We showcase our procedure with computational examples. Our main algorithm is based on the Lenstra--Lenstra--Lovász algorithm from computational number theory.
△ Less
Submitted 15 March, 2023; v1 submitted 14 December, 2022;
originally announced December 2022.
