http://arxiv.org/api/8u2lXzF48Om81rcDd7K5XkRX7Qs 2025-05-15T00:00:00-04:00 16586 495 15 http://arxiv.org/abs/2304.05912v2 2025-02-19T00:06:16Z 2023-04-12T15:29:49Z

We introduce PH-STAT, a comprehensive MATLAB toolbox designed for performing a wide range of statistical inferences and machine learning tasks on persistent homology, primarily for network and graph data, with an emphasis on brain network analysis. Persistent homology is a prominent tool in topological data analysis (TDA) that captures the underlying topological features of complex data sets. The toolbox aims to provide users with an accessible and user-friendly interface for analyzing and interpreting topological data. The Matlab package is distributed in https://github.com/laplcebeltrami/PH-STAT.

Moo K. Chung http://arxiv.org/abs/2502.06520v2 2025-02-18T12:48:00Z 2025-02-10T14:41:54Z

Discrete Morse theory helps us compute the homology groups of simplicial complexes in an efficient manner. A "good" gradient vector field reduces the number of critical simplices, simplifying the homology calculations by reducing them to the computation of homology groups of a simpler chain complex. This homology computation hinges on an efficient enumeration of gradient trajectories. The technique of cancelling pairs of critical simplices reduces the number of critical simplices, though it also perturbs the gradient trajectories. In this article, we demonstrate that (the matrix of) a certain modified boundary operator of interest can be derived from the corresponding original boundary operator through a sequence of elementary row operations. Thus, it eliminates the need of enumeration of the new gradient trajectories. We also obtain a similar result for coboundary operators.

Anupam Mondal Sajal Mukherjee Pritam Chandra Pramanik 19 pages, 7 figures, 1 appendix http://arxiv.org/abs/2309.06634v4 2025-02-18T11:25:42Z 2023-09-12T22:51:16Z

The Mapper algorithm is a visualization technique in topological data analysis (TDA) that outputs a graph reflecting the structure of a given dataset. However, the Mapper algorithm requires tuning several parameters in order to generate a ``nice" Mapper graph. This paper focuses on selecting the cover parameter. We present an algorithm that optimizes the cover of a Mapper graph by splitting a cover repeatedly according to a statistical test for normality. Our algorithm is based on G-means clustering which searches for the optimal number of clusters in $k$-means by iteratively applying the Anderson-Darling test. Our splitting procedure employs a Gaussian mixture model to carefully choose the cover according to the distribution of the given data. Experiments for synthetic and real-world datasets demonstrate that our algorithm generates covers so that the Mapper graphs retain the essence of the datasets, while also running significantly faster than a previous iterative method.

Enrique Alvarado Robin Belton Emily Fischer Kang-Ju Lee Sourabh Palande Sarah Percival Emilie Purvine 22 pages, to appear in SIAM Journal on Mathematics of Data Science (SIMODS) http://arxiv.org/abs/2311.07958v2 2025-02-18T05:58:43Z 2023-11-14T07:21:17Z

Lurie and Gepner--Meier each define equivariant cohomology theories, namely \emph{tempered cohomology} and \emph{equivariant elliptic cohomology}, respectively, using derived algebraic geometry. We construct a natural equivalence between these theories where they overlap. Moreover, we emphasise the naturality and coherence of both these equivariant theories as well as our comparison. To demonstrate the use of this comparison, we show that the $G$-fixed points of equivariant topological modular forms is dualisable as a $\mathrm{TMF}$-module for all compact Lie groups $G$ that decompose as a product of a torus and a finite group by formally reducing to an argument of Gepner--Meier.

Jack Morgan Davies 26 pages, comments welcome, v2 generalises the set-up of abelian varieties to abelian sheaves and refines Conj.0.1 http://arxiv.org/abs/2403.19097v2 2025-02-18T05:58:36Z 2024-03-28T02:22:13Z

Topological data analysis is a powerful tool for describing topological signatures in real world data. An important challenge in topological data analysis is matching significant topological signals across distinct systems. In geometry and probability theory, optimal transport formalises notions of distance and matchings between distributions and structured objects. We propose to combine these approaches, constructing a mathematical framework for optimal transport-based matchings of topological features. Building upon recent advances in the domains of persistent homology and optimal transport for hypergraphs, we develop a transport-based methodology for topological data processing. We define measure topological networks, which integrate both geometric and topological information about a system, introduce a distance on the space of these objects, and study its metric properties, showing that it induces a geodesic metric space of non-negative curvature. The resulting Topological Optimal Transport (TpOT) framework provides a transport model on point clouds that minimises topological distortion while simultaneously yielding a geometrically informed matching between persistent homology cycles.

Stephen Y Zhang Michael P H Stumpf Tom Needham Agnese Barbensi Revised version following referee reports http://arxiv.org/abs/2410.13168v2 2025-02-18T05:44:43Z 2024-10-17T02:51:25Z

Configuration space integrals are powerful tools for studying the homotopy type of the space of long embeddings in terms of a combinatorial object called a graph complex. It is unknown whether these integrals give a cochain map due to potential obstructions called hidden faces. The purpose of this paper is to address these hidden faces by modifying configuration space integrals: we incorporate the acyclic bar complex of some dg algebra into the original graph complex, without changing its cohomology. Then, we give a cochain map from the new graph complex to the de Rham complex of the space of long embeddings modulo immersions, by combining the original configuration space integrals with Chen's iterated integrals. As the original complex, we choose quite a modified graph complex so that it is quasi-isomorphic to both the hairy graph complex and a graph complex introduced in the context of embedding calculus.

Leo Yoshioka 55 pages http://arxiv.org/abs/2502.12547v1 2025-02-18T05:18:22Z 2025-02-18T05:18:22Z

In this paper, we give some non-trivial geometric cycles of the space of long embeddings R^j --> R^n (n-j >= 2) modulo immersions. We construct a class of cycles from specific chord diagrams associated with the 2-loop or 3-loop hairy graphs. To detect these cycles, we use cocycles obtained by the 2-loop or 3-loop part of modified configuration space integrals using a modified Bott-Cattaneo-Rossi graph complex. We show the non-triviality of the cycles by pairing argument, which is reduced to pairing of graphs with the chord diagrams. As a corollary of the 2-loop part, we provide an alternative proof of the non-finite generation of the (j-1)-th rational homotopy group of the space of long embeddings of codimension two, which Budney--Gabai and Watanabe first established. We also show the non-finite generation of the 2(j-1)-th homotopy group by using the 3-loop part.

Leo Yoshioka 28pages http://arxiv.org/abs/2411.05678v2 2025-02-18T00:49:00Z 2024-11-08T16:29:06Z

We develop a theory of optimal transport relative to a distinguished subset, which acts as a reservoir of mass, allowing us to compare measures of different total variation. This relative transportation problem has an optimal solution and we obtain relative versions of the Kantorovich-Rubinstein norm, Wasserstein distance, Kantorovich-Rubinstein duality and Monge-Kantorovich duality. We also prove relative versions of the Riesz-Markov-Kakutani theorem, which connect the spaces of measures arising from the relative optimal transport problem to spaces of Lipschitz functions. For a boundedly compact Polish space, we show that our relative 1-finite real-valued Radon measures with relative Kantorovich-Rubinstein norm coincide with the sequentially order continuous dual of relative Lipschitz functions with the operator norm. As part of our work we develop a theory of Riesz cones that may be of independent interest.

Peter Bubenik Alex Elchesen 37 pages http://arxiv.org/abs/2502.02569v2 2025-02-17T18:06:04Z 2025-02-04T18:44:57Z

We prove that the quadratically enriched count of rational curves in a smooth toric del Pezzo surface passing through $k$-rational points and pairs of conjugate points in quadratic field extensions $k\subset k(\sqrt{d_i})$ can be determined by counting certain tropical stable maps through vertically stretched point conditions with a suitable multiplicity. Building on the floor diagram technique in tropical geometry, we provide an algorithm to compute these numbers. Our tropical algorithm computes not only these new quadratically enriched enumerative invariants, but simultaneously also the complex Gromov-Witten invariant, the real Welschinger invariant counting curves satisfying real point conditions only, the real Welschinger invariant of curves satisfying pairs of complex conjugate and real point conditions, and the quadratically enriched count of curves satisfying $k$-rational point conditions.

Andrés Jaramillo Puentes Hannah Markwig Sabrina Pauli Felix Röhrle 75 pages (fullpage format), 10 figures, 5 tables. V2 minor revision and corrected typos http://arxiv.org/abs/2502.12228v1 2025-02-17T17:27:21Z 2025-02-17T17:27:21Z

In this note, we show that there does not exist a $C_2$-ring spectrum whose underlying ring spectrum is $\mathrm{MSpin}^c$ and whose $C_2$-fixed point spectrum is $\mathrm{MSpin}$.

Hassan Abdallah Zachary Halladay Yigal Kamel 3 pages http://arxiv.org/abs/2502.11939v1 2025-02-17T15:50:22Z 2025-02-17T15:50:22Z

For any compactly generated triangulated category we introduce two topological spaces, the shift-spectrum and the shift-homological spectrum. We use them to parametrise a family of thick subcategories of the compact objects, which we call radical. These spaces can be viewed as non-monoidal analogues of the Balmer and homological spectra arising in tensor-triangular geometry: we prove that for monogenic tensor-triangulated categories the Balmer spectrum is a subspace of the shift-spectrum. To construct these analogues we utilise quotients of the module category, rather than the lattice theoretic methods which have been adopted in other approaches. We characterise radical thick subcategories and show in certain cases, such as the perfect derived categories of tame hereditary algebras or monogenic tensor-triangulated categories, that every thick subcategory is radical. We establish a close relationship between the shift-homological spectrum and the set of irreducible integral rank functions, and provide necessary and sufficient conditions for every radical thick subcategory to be given by an intersection of kernels of rank functions. In order to facilitate these results, we prove that both spaces we introduce may equivalently be described in terms of the Ziegler spectrum.

Isaac Bird Jordan Williamson Alexandra Zvonareva 43 pages http://arxiv.org/abs/2303.01334v6 2025-02-17T15:22:19Z 2023-03-02T15:12:32Z

We study the composition of Bousfield localizations on a tensor triangulated category stratified via the Balmer-Favi support and with noetherian Balmer spectrum. Our aim is to provide reductions via purely axiomatic arguments, allowing us general applications to concrete categories examined in mathematical practice. We propose a conjecture which states that the behaviour of the composition of the localizations depends on the chains of inclusions of the Balmer primes indexing said localizations. We prove this conjecture in the case of finite or low dimensional Balmer spectra.

Nicola Bellumat 25 pages http://arxiv.org/abs/2502.02112v2 2025-02-17T13:01:56Z 2025-02-04T08:50:21Z

This paper introduces the induced matching distance, a novel topological metric designed to compare discrete structures represented by a symmetric non-negative function. We apply this notion to analyze agent trajectories over time. We use dynamic time warping to measure trajectory similarity and compute the 0-dimensional persistent homology to identify relevant connected components, which, in our context, correspond to groups of similar trajectories. To track the evolution of these components across time, we compute induced matching distances, which preserve the coherence of their dynamic behavior. We then obtain a 1-dimensional signal that quantifies the consistency of trajectory groups over time. Our experiments demonstrate that our approach effectively differentiates between various agent behaviors, highlighting its potential as a robust tool for topological analysis in robotics and related fields.

Javier Perera-Lago Álvaro Torras-Casas Jérôme Guzzi Rocio Gonzalez-Diaz http://arxiv.org/abs/2405.01214v3 2025-02-17T12:30:47Z 2024-05-02T11:52:33Z

The motivation of this paper is to recognize a geometric shape from a noisy sample in the form of a point cloud. Inspired by the HDBSCAN clustering algorithm, we introduce the core dissimilarity, from which we construct the core bifiltration. We also consider the Delaunay core bifiltration by intersecting with Voronoi cells, giving us a filtered simplicial complex of smaller size. A major advantage of the (Delaunay) core bifiltration is that, for each filtration value, it admits a good cover of balls. By the persistent nerve theorem, the nerve of this cover is homotopy equivalent to the (Delaunay) core bifiltration. We show that the multicover-, core- and Delaunay core bifiltrations are all interleaved, and that they enjoy similar stability properties with respect to the Prohorov distance. We have performed experiments with the Delaunay core bifiltration. In the experiments, we calculated persistent homology along lines in the two-dimensional persistence parameter space, and computed multipersistence module approximations.

Nello Blaser Morten Brun Odin Hoff Gardaa Lars M. Salbu 21 pages, 13 figures, 5 tables http://arxiv.org/abs/2405.09606v2 2025-02-17T12:09:40Z 2024-05-15T17:34:03Z

We give a direct construction of the ring spectrum of spherical Witt vectors of a perfect $\mathbb{F}_p$-algebra R as the completion of the spherical monoid algebra $\mathbb{S}[R]$ of the multiplicative monoid $(R,\cdot)$ at the ideal $I = \mathrm{fib}(\mathbb{S}[R] \to R)$. This generalizes a construction of Cuntz and Deninger. We also use this to give a description of the category of p-complete modules over the spherical Witt vectors and a universal property for spherical Witt vectors as an $\mathbb{E}_1$-ring.

Thomas Nikolaus Maria Yakerson 7 pages; added Remark 3 that generalizes main results; final version to appear in the Proceedings of the American Mathematical Society