http://arxiv.org/api/A5dbFSI1kfiNM2psapWMRhQWxFk 2025-05-02T00:00:00-04:00 16542 30 15 http://arxiv.org/abs/2502.11773v2 2025-04-25T14:35:36Z 2025-02-17T13:07:04Z

We prove that any globular subdivision of multipointed $d$-spaces gives rise to a dihomotopy equivalence between the associated flows. As a straightforward application, the flows associated to two multipointed $d$-spaces related by a finite zigzag of globular subdivisions have isomorphic branching and merging homology theories and isomorphic underlying homotopy types.

Philippe Gaucher 45 pages, 5 figures; v2 : proof of Theorem 8.9 simplified thanks to the new Proposition 8.8; many other proofs expanded; an appendix about the underlying space functor http://arxiv.org/abs/2411.17340v2 2025-04-25T13:07:56Z 2024-11-26T11:34:12Z

Persistent homology is a widely-used tool in topological data analysis (TDA) for understanding the underlying shape of complex data. By constructing a filtration of simplicial complexes from data points, it captures topological features such as connected components, loops, and voids across multiple scales. These features are encoded in persistence diagrams (PDs), which provide a concise summary of the data's topological structure. However, the non-Hilbert nature of the space of PDs poses challenges for their direct use in machine learning applications. To address this, kernel methods and vectorization techniques have been developed to transform PDs into machine-learning-compatible formats. In this paper, we introduce a new software package designed to streamline the vectorization of PDs, offering an intuitive workflow and advanced functionalities. We demonstrate the necessity of the package through practical examples and provide a detailed discussion on its contributions to applied TDA. Definitions of all vectorization summaries used in the package are included in the appendix.

Aleksei Luchinsky Umar Islambekov 8 pages, 2 figures, 3 tables; minor changes: updated version of the library is described http://arxiv.org/abs/2404.11796v2 2025-04-25T09:58:53Z 2024-04-17T23:14:46Z

We provide two candidates for symplectic Weiss calculus based on two different, but closely related, collections of groups. In the case of the non-compact symplectic groups, i.e., automorphism groups of vector spaces with symplectic forms, we show that the calculus deformation retracts onto unitary calculus as a corollary of the fact that Weiss calculus only depends on the homotopy type of the groupoid core of the diagram category. In the case of the compact symplectic groups, i.e., automorphism groups of quaternion vector spaces, we provide a comparison with the other known versions of Weiss calculus analogous to the comparisons of calculi of the second named author, and classify certain stably trivial quaternion vector bundles over finite cell complexes in a range, using elementary results on convergence of Weiss calculi.

Matthew Carr Niall Taggart v2: fixed typos and an omitted assumption in Theorem E and improved exposition. 30 pages. v1: 30 pages. Comments welcome! http://arxiv.org/abs/2409.18789v3 2025-04-24T20:42:09Z 2024-09-27T14:36:56Z

We study the cohomology rings of tiling spaces $\Omega$ given by cubical substitutions. While there have been many calculations before of cohomology groups of such tiling spaces, the innovation here is that we use computer-assisted methods to compute the cup-product structure. This leads to examples of substitution tilings with isomorphic cohomology groups but different cohomology rings. Part of the interest in studying the cup product comes from Bellissard's gap-labeling conjecture, which is known to hold in dimensions $\le 3$, but where a proof is known in dimensions $\ge 4$ only when the Chern character from $K^0(\Omega)$ to $H^*(\Omega,\mathbb{Q})$ lands in $H^*(\Omega,\mathbb{Z})$. Computation of the cup product on cohomology often makes it possible to compute the Chern character. We introduce a natural generalization of the gap-labeling conjecture, called the equivariant gap-labeling conjecture, which applies to tilings with a finite symmetry group. Again this holds in dimensions $\le 3$, but we are able to show that it fails in general in dimensions $\ge 4$. This, plus some of our cup product calculations, makes it plausible that the gap-labeling conjecture might fail in high dimensions.

Jianlong Liu Jonathan Rosenberg Rodrigo Treviño Fixed mistake in the first pair of examples, added references. Updated to match version to be published http://arxiv.org/abs/2504.17700v1 2025-04-24T16:08:53Z 2025-04-24T16:08:53Z

This paper provides a pedagogical introduction to classical sheaf theory and sheaf cohomology, followed by a research prospectus exploring potential applications to multi-agent artificial intelligence systems. The first section offers a comprehensive overview of fundamental sheaf-theoretic concepts-presheaves, sheaves, stalks, and cohomology-aimed at researchers in computer science and AI who may not have extensive background in algebraic topology. The second section presents a detailed research prospectus that outlines a roadmap for developing sheaf-theoretic approaches to model and analyze complex systems of interacting agents. We propose that sheaf theory's inherent local-to-global perspective may provide valuable mathematical tools for reasoning about how local agent behaviors collectively determine emergent system properties. The third section contains a literature review connecting sheaf theory with existing research in multi-agent systems, reinforcement learning, and economic modeling. This paper does not present a completed model but rather lays theoretical groundwork and identifies promising research directions that could bridge abstract mathematics with practical AI applications, potentially revealing new approaches to coordination and emergence in multi-agent systems.

Eric Schmid 64 pages http://arxiv.org/abs/2305.04281v5 2025-04-24T12:25:34Z 2023-05-07T14:10:34Z

In data clustering, it is often desirable to find not just a single partition into clusters but a sequence of partitions that describes the data at different scales (or levels of coarseness). A natural problem then is to analyse and compare the (not necessarily hierarchical) sequences of partitions that underpin such multiscale descriptions. Here, we use tools from topological data analysis and introduce the Multiscale Clustering Filtration (MCF), a well-defined and stable filtration of abstract simplicial complexes that encodes arbitrary cluster assignments in a sequence of partitions across scales of increasing coarseness. We show that the zero-dimensional persistent homology of the MCF measures the degree of hierarchy of this sequence, and the higher-dimensional persistent homology tracks the emergence and resolution of conflicts between cluster assignments across the sequence of partitions. To broaden the theoretical foundations of the MCF, we provide an equivalent construction via a nerve complex filtration, and we show that, in the hierarchical case, the MCF reduces to a Vietoris-Rips filtration of an ultrametric space. Using synthetic data, we then illustrate how the persistence diagram of the MCF provides a feature map that can serve to characterise and classify multiscale clusterings.

Juni Schindler Mauricio Barahona This work was presented at the Dagstuhl Seminar (23192) on "Topological Data Analysis and Applications" http://arxiv.org/abs/2504.17475v1 2025-04-24T12:07:19Z 2025-04-24T12:07:19Z

We show the existence of odd fake $\mathbb{Q}$-homology quadrics, namely of minimal surfaces $S$ of general type which have the same $\mathbb{Q}$-homology as a smooth quadric $Q \cong (\mathbb{P}^1(\mathbb{C}))^2$, but have an odd intersection form on $ H^2(S, \mathbb{Z})/Tors(S)$, where $Tors(S)$ is the Torsion subgroup. Our examples are provided by a special 1-dimensional family of surfaces isogenous to a product of unmixed type.

Fabrizio Catanese Universitaet Bayreuth 8 pages http://arxiv.org/abs/2501.04596v3 2025-04-24T07:38:30Z 2025-01-08T16:24:23Z

Recent innovations in reconstructing large scale, full-precision, neuron-synapse-scale connectomes demand subsequent improvements to graph analysis methods to keep up with the growing complexity and size of the data. One such tool is the recently introduced directed $q$-analysis. We present numerous improvements, theoretical and applied, to this technique: on the theoretical side, we introduce modified definitions for key elements of directed $q$-analysis, which remedy a well-hidden and previously undetected bias. This also leads to new, beneficial perspectives to the associated computational challenges. Most importantly, we present a high-speed, publicly available, low-level implementation that provides speed-ups of several orders of magnitude on C. Elegans. Furthermore, the speed gains grow with the size of the considered graph. This is made possible due to the mathematical and algorithmic improvements as well as a carefully crafted implementation. These speed-ups enable, for the first time, the analysis of full-sized connectomes such as those obtained by recent reconstructive methods. Additionally, the speed-ups allow comparative analysis to corresponding null models, appropriately designed randomly structured artificial graphs that do not correspond to actual brains. This, in turn, allows for assessing the efficacy and usefulness of directed $q$-analysis for studying the brain. We report on the results in this paper.

Felix Windisch Florian Unger Modifications to v2: Added a new experiment on closeness centrality. Discussed relations to Network Science and commmunity detection. Accepted by the "Brain Organoid and Systems Neuroscience Journal": https://www.bosnj.org/braingraphs in April 2025. Currently in production http://arxiv.org/abs/2408.11036v3 2025-04-24T05:19:10Z 2024-08-20T17:43:52Z

Recently, a new homotopy invariant of metric spaces, called the distributional LS-category, was defined, which provides a lower bound to the classical LS-category. In this paper, we obtain several sufficient conditions for the distributional LS-category (dcat) of a closed manifold to be maximum, i.e., equal to its classical LS-category (cat). These give us many new computations of dcat, especially for some essential manifolds and (generalized) connected sums. In the process, we also determine the cat of closed 3-manifolds having torsion-free fundamental groups and some closed geometrically decomposable 4-manifolds. Finally, we extend some of our results to closed Alexandrov spaces with curvature bounded below and discuss their cat and dcat in dimension 3.

Ekansh Jauhari 10.1007/s40590-025-00744-6 Title changed, introduction rewritten, and some other changes made based on the referee report. 31 pages Bol. Soc. Mat. Mex. (3) 31 (2025), 63, pp. 34 http://arxiv.org/abs/2310.11024v2 2025-04-24T04:59:36Z 2023-10-17T06:39:02Z

In dimension 4, we extend the correspondence between compact nonsingular toric varieties and regular fans to a correspondence between almost complex torus manifolds and families of multi-fans in a geometric way, where an (almost) complex torus manifold is a $2n$-dimensional compact connected (almost) complex manifold equipped with an effective action of a real $n$-dimensional torus $T^n$ that has fixed points. Let $M$ be a 4-dimensional almost complex torus manifold. To $M$, we associate two equivalent combinatorial objects, a family $\Delta$ of multi-fans and a graph $\Gamma$, which encode the data on the fixed point set. We find a necessary and sufficient condition for each of $\Delta$ and $\Gamma$. Moreover, we provide a minimal model and operations for each of $\Delta$ and $\Gamma$. We introduce operations on a multi-fan and a graph that correspond to blow up and down of a manifold, and show that we can blow up and down $M$ to a minimal manifold $M'$ whose weights at the fixed points are unit vectors in $\mathbb{Z}^2$, $\Delta$ to a family of minimal multi-fans that has unit vectors only, and $\Gamma$ to a minimal graph whose edges all have unit vectors as labels. As an application, if $M$ is complex, $\Delta$ is a fan and determines $M$, $\Gamma$ encodes the equivariant cohomology of $M$, and $M'$ is $\mathbb{CP}^1 \times \mathbb{CP}^1$. This implies that any two 4-dimensional complex torus manifolds are obtained from each other by equivariant blow up and down.

Donghoon Jang Major revision. Added assumption on local integrability of almost complex structure where needed http://arxiv.org/abs/2411.02803v2 2025-04-24T04:38:39Z 2024-11-05T04:34:20Z

This article explores equivariant localization in the category of $G$-spaces, where $G$ is a compact Lie group. We establish a commutation rule for the localization functor and the equivariant loop functor. Additionally, we introduce and classify certain good objects in this category up to their Bredon cohomology with coefficients in the constant rational Mackey functor $\underline{\Q}$.

Surojit Ghosh Bikramjit Kundu 9 pages, Comments are welcome. Some missing words are inserted. Typos have been fixed. Proposition 2.9 added http://arxiv.org/abs/2504.17221v1 2025-04-24T03:20:14Z 2025-04-24T03:20:14Z

In his ICM report, Sullivan proposes the program of l-adic formalization of the concept of manifolds. In this program, he claims that smooth positive characteristic varieties should carry l-adic formal manifold structures. He also claims the existence of an abelianized Galois symmetry on l-adic formal manifold structures. This paper carries out this program, establishes the claims, and relates the abelianized Galois symmetry on l-adic formal manifold structures to the Galois symmetry of varieties. Meanwhile, we prove that simply-connected varieties are homotopically finite CW complexes in the l-adic sense.

Runjie Hu Siqing Zhang 36 pages, comments welcome! http://arxiv.org/abs/2401.17218v4 2025-04-24T03:01:37Z 2024-01-30T18:04:00Z

We define a (non-decreasing) sequence $\{\mathsf{dTC}_m(X)\}_{m\ge 2}$ of higher versions of distributional topological complexity ($\mathsf{dTC}$) of a space $X$ introduced by Dranishnikov and Jauhari. This sequence generalizes $\mathsf{dTC}(X)$ in the sense that $\mathsf{dTC}_2(X) = \mathsf{dTC}(X)$, and is a direct analog to the classical sequence $\{\mathsf{TC}_m(X)\}_{m\ge 2}$. We show that like $\mathsf{TC}_m$ and $\mathsf{dTC}$, the sequential versions $\mathsf{dTC}_m$ are also homotopy invariants. Also, $\mathsf{dTC}_m(X)$ relates with the distributional LS-category ($\mathsf{dcat}$) of products of $X$ in the same way as $\mathsf{TC}_m(X)$ relates with the classical LS-category ($\mathsf{cat}$) of products of $X$. On one hand, we show that in general, $\mathsf{dTC}_m$ is a different concept than $\mathsf{TC}_m$ for each $m \ge 2$. On the other hand, by finding sharp cohomological lower bounds to $\mathsf{dTC}_m(X)$, we provide various examples of closed manifolds $X$ for which the sequences $\{\mathsf{TC}_m(X)\}_{m\ge 2}$ and $\{\mathsf{dTC}_m(X)\}_{m\ge 2}$ coincide.

Ekansh Jauhari 10.1016/j.topol.2025.109271 29 pages. Changes made based on the referee report Topology Appl. 363 (2025), 109271, pp. 28 http://arxiv.org/abs/2406.12265v3 2025-04-24T02:45:16Z 2024-06-18T04:44:15Z

We develop the theory of the intertwining distributional versions of the LS-category and the sequential topological complexities of a space $X$, denoted by $\mathsf{icat}(X)$ and $\mathsf{iTC}_m(X)$, respectively. We prove that they satisfy most of the nice properties as their respective distributional counterparts $\mathsf{dcat}(X)$ and $\mathsf{dTC}_m(X)$, and their classical counterparts $\mathsf{cat}(X)$ and $\mathsf{TC}_m(X)$, such as homotopy invariance and special behavior on topological groups. We show that the notions of $\mathsf{iTC}_m$ and $\mathsf{dTC}_m$ are different for each $m \ge 2$ by proving that $\mathsf{iTC}_m(\mathcal{H})=1$ for all $m \ge 2$ for Higman's group $\mathcal{H}$. Using cohomological lower bounds, we also provide various examples of locally finite CW complexes $X$ for which $\mathsf{icat}(X) > 1$, $\mathsf{iTC}_m(X) > 1$, $\mathsf{icat}(X) = \mathsf{dcat}(X) = \mathsf{cat}(X)$, and $\mathsf{iTC}(X) = \mathsf{dTC}(X) = \mathsf{TC}(X)$.

Ekansh Jauhari 29 pages. Changes made based on the referee reports. To appear in Homology Homotopy Appl http://arxiv.org/abs/2407.17444v4 2025-04-24T00:48:40Z 2024-07-24T17:22:11Z

We study unital $\infty$-operads by their arity restrictions. Given $k \geq 1$, we develop a model for unital $k$-restricted $\infty$-operads, which are variants of $\infty$-operads which has only $(\leq k)$-arity morphisms, as complete Segal presheaves on closed $k$-dendroidal trees, which are closed trees build from corollas with valences $\leq k$. Furthermore, we prove that the restriction functors from unital $\infty$-operads to unital $k$-restricted $\infty$-operads admit fully faithful left and right adjoints by showing that the left and right Kan extensions preserve complete Segal objects. Varying $k$, the left and right adjoints give a filtration and a co-filtration for any unital $\infty$-operads by $k$-restricted $\infty$-operads.

Amartya Shekhar Dubey Yu Leon Liu 19 pages, comments welcome; Small Error in Sec 3.1 fixed