http://arxiv.org/api/zFwoIqXwOayI0k6VUUs+WcnVcfQ 2025-05-15T00:00:00-04:00 16586 465 15 http://arxiv.org/abs/2410.24077v2 2025-02-22T21:16:40Z 2024-10-31T16:15:07Z

A classical result, the Stone embedding, characterizes profinite sets as totally disconnected, compact Hausdorff spaces. Building on "Pyknotic objects, I. Basic notions", which introduced a derived Stone embedding of the pro-category of $\pi$-finite spaces into pyknotic spaces, this paper uses the $\infty$-topoi machinery to partially characterize the essential image of this embedding, extending the classical characterization to the derived setting.

Amos Kaminski http://arxiv.org/abs/2402.08639v3 2025-02-22T09:56:45Z 2024-02-13T18:06:17Z

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.

Andrea Guidolin Antonio Lerario Isaac Ren Martina Scolamiero 31 pages; title modified, figures added, references added http://arxiv.org/abs/2110.13888v3 2025-02-22T07:49:56Z 2021-10-26T17:43:36Z

We prove that any group $G$ occurs as $\E(X)$, where $X$ is CW-complex of finite dimension and $\E(X)$ denotes its group of self-homotopy equivalence. Thus, we generalize a well know-theorem due to Costoya and Viruel \cite{CV} asserting that any finite group occurs as $\E(X)$, where $X$ is rational elliptic space.

Mahmoud Benkhalifa http://arxiv.org/abs/2412.10876v2 2025-02-22T05:44:11Z 2024-12-14T16:05:30Z

In this document, we describe the process of obtaining numerous Adams differentials and extensions using computational methods, as well as how to interpret the dataset uploaded to Zenodo. Detailed proofs of the machine-generated results are also provided. The dataset includes information on 49 CW spectra, 180 maps, and 61 cofiber sequences. Leveraging these results, and with the addition of some ad hoc arguments derived through human insight, we successfully resolved the Last Kervaire Invariant Problem in dimension 126.

Weinan Lin Guozhen Wang Zhouli Xu 30 pages, 29 tables, 49 spectra involved in this project http://arxiv.org/abs/2412.10879v2 2025-02-22T05:28:54Z 2024-12-14T16:10:26Z

We prove that the element $h_6^2$ is a permanent cycle in the Adams spectral sequence. As a result, we establish the existence of smooth framed manifolds with Kervaire invariant one in dimension 126, thereby resolving the final case of the Kervaire invariant problem. Combining this result with the theorems of Browder, Mahowald--Tangora, Barratt--Jones--Mahowald, and Hill--Hopkins--Ravenel, we conclude that smooth framed manifolds with Kervaire invariant one exist in and only in dimensions $2, 6, 14, 30, 62$, and $126$.

Weinan Lin Guozhen Wang Zhouli Xu 66 pages. Some typos corrected. Comments welcome! http://arxiv.org/abs/2406.07100v3 2025-02-22T02:59:16Z 2024-06-11T09:42:03Z

End-to-end topological learning using 1-parameter persistence is well-known. We show that the framework can be enhanced using 2-parameter persistence by adopting a recently introduced 2-parameter persistence based vectorization technique called GRIL. We establish a theoretical foundation of differentiating GRIL producing D-GRIL. We show that D-GRIL can be used to learn a bifiltration function on standard benchmark graph datasets. Further, we exhibit that this framework can be applied in the context of bio-activity prediction in drug discovery.

Soham Mukherjee Shreyas N. Samaga Cheng Xin Steve Oudot Tamal K. Dey http://arxiv.org/abs/2502.16049v1 2025-02-22T02:53:26Z 2025-02-22T02:53:26Z

In this paper, we propose Quasi Zigzag Persistent Homology (QZPH) as a framework for analyzing time-varying data by integrating multiparameter persistence and zigzag persistence. To this end, we introduce a stable topological invariant that captures both static and dynamic features at different scales. We present an algorithm to compute this invariant efficiently. We show that it enhances the machine learning models when applied to tasks such as sleep-stage detection, demonstrating its effectiveness in capturing the evolving patterns in time-evolving datasets.

Tamal K. Dey Shreyas N. Samaga http://arxiv.org/abs/2208.11770v7 2025-02-21T22:04:06Z 2022-08-24T20:54:26Z

We strengthen the usual stability theorem for Vietoris-Rips (VR) persistent homology of finite metric spaces by building upon constructions due to Usher and Zhang in the context of filtered chain complexes. The information present at the level of filtered chain complexes includes points with zero persistence which provide additional information to that present at homology level. The resulting invariant, called verbose barcode, which has a stronger discriminating power than the usual barcode, is proved to be stable under certain metrics that are sensitive to these ephemeral points. In some situations, we provide ways to compute such metrics between verbose barcodes. We also exhibit several examples of finite metric spaces with identical (standard) VR barcodes yet with different verbose VR barcodes thus confirming that these ephemeral points strengthen the standard VR barcode.

Facundo Mémoli Ling Zhou This is a full version of a conference paper under the same name, that was accepted to SoCG 2023: https://doi.org/10.4230/LIPIcs.SoCG.2023.51 http://arxiv.org/abs/2201.02688v3 2025-02-21T21:57:21Z 2022-01-07T21:50:09Z

Following a proposal of Fukaya-Ono and the exploration by B. Parker, we introduce a new transversality condition, the FOP transversality condition, for sections of orbifold vector bundles $\mathcal{E} \rightarrow \mathcal{U}$ when both $\mathcal{E}$ and $\mathcal{U}$ have "normal complex structures." This notion allows one to define various integral virtual cycles on moduli spaces of pseudoholomorphic curves. Two immediate applications in symplectic topology are the definition of integer-valued Gromov-Witten type invariants in all genera for general compact symplectic manifolds using the global Kuranishi chart constructed by Abouzaid-McLean-Smith and Hirschi-Swaminathan, and an alternative proof of the cohomological splitting theorem for Hamiltonian fibrations over $S^2$ with integer coefficients by Abouzaid-McLean-Smith.

Shaoyun Bai Guangbo Xu v3: 107 pages, new title, substantially revised with stronger and more general results and more streamlined exposition. Comments are welcome! http://arxiv.org/abs/2412.19943v2 2025-02-21T14:53:08Z 2024-12-27T22:42:00Z

How hard is it to program $n$ robots to move about a long narrow aisle while making a series of $r-2$ intermediate stops, provided only $w$ of the robots can fit across the width of the aisle? In this paper, we answer this question by calculating the $r^{\text{th}}$-sequential topological complexity of $\text{conf}(n,w)$, the ordered configuration space of $n$ open unit-diameter disks in the infinite strip of width $w$. We prove that as long as $n$ is greater than $w$, the $r^{\text{th}}$-sequential topological complexity of $\text{conf}(n,w)$ is $r\big(n-\big\lceil\frac{n}{w}\big\rceil\big)$. This shows that any non-looping program moving the $n$ robots between arbitrary initial and final configurations, with $r-2$ intermediate stops, must consider at least $r\big(n-\big\lceil\frac{n}{w}\big\rceil\big)$ cases.

Nicholas Wawrykow 12 pages, 6 figures. arXiv admin note: text overlap with arXiv:2404.11711 http://arxiv.org/abs/2502.15476v1 2025-02-21T14:00:25Z 2025-02-21T14:00:25Z

This paper provides an overview of the applications of sheaf theory in deep learning, data science, and computer science in general. The primary text of this work serves as a friendly introduction to applied and computational sheaf theory accessible to those with modest mathematical familiarity. We describe intuitions and motivations underlying sheaf theory shared by both theoretical researchers and practitioners, bridging classical mathematical theory and its more recent implementations within signal processing and deep learning. We observe that most notions commonly considered specific to cellular sheaves translate to sheaves on arbitrary posets, providing an interesting avenue for further generalization of these methods in applications, and we present a new algorithm to compute sheaf cohomology on arbitrary finite posets in response. By integrating classical theory with recent applications, this work reveals certain blind spots in current machine learning practices. We conclude with a list of problems related to sheaf-theoretic applications that we find mathematically insightful and practically instructive to solve. To ensure the exposition of sheaf theory is self-contained, a rigorous mathematical introduction is provided in appendices which moves from an introduction of diagrams and sheaves to the definition of derived functors, higher order cohomology, sheaf Laplacians, sheaf diffusion, and interconnections of these subjects therein.

Anton Ayzenberg Thomas Gebhart German Magai Grigory Solomadin 117 pages, 8 figures http://arxiv.org/abs/2411.16540v2 2025-02-21T11:55:33Z 2024-11-25T16:24:14Z

The main goal of this paper is to study relative versions of the category of modules over the isotropic motivic Brown-Peterson spectrum, with a particular emphasis on their cellular subcategories. Using techniques developed by Levine, we equip these categories with motivic $t$-structures, whose hearts are Tannakian categories over ${\mathbb F}_2$. This allows to define isotropic motivic fundamental groups, and to interpret relative isotropic Tate motives in the heart as their representations. Moreover, we compute these groups in the cases of the punctured projective line and split tori. Finally, we also apply Spitzweck's derived approach to establish an identification between relative isotropic Tate motives and representations of certain affine derived group schemes, whose 0-truncations coincide with the aforementioned isotropic motivic fundamental groups.

Fabio Tanania A few corrections made http://arxiv.org/abs/2502.15385v1 2025-02-21T11:09:32Z 2025-02-21T11:09:32Z

Under certain hypotheses, we prove a loop space decomposition for simply-connected Poincar\'e Duality complexes of dimension $n$ whose $(n-1)$-skeleton is a co-$H$-space. This unifies many known decompositions obtained in different contexts and establishes many new families of examples. As consequences, we show that such a looped Poincar\'{e} Duality complex retracts off the loops of its $(n-1)$-skeleton and describe its homology as a one-relator algebra.

Lewis Stanton Stephen Theriault 33 pages http://arxiv.org/abs/2003.08842v4 2025-02-21T09:12:17Z 2020-03-19T14:53:33Z

We construct certain unstable higher-order homotopy operations indexed by the simplex categories of $\Delta^{n}$ for ${n\geq 2}$ and prove that all elements in the homotopy groups of a wedge of spheres are generated under such operations by Whitehead products and the group structure. This provides a stronger unstable analogue of Cohen's theorem on the decomposition of stable homotopy.

Samik Basu David Blanc Debasis Sen 10.1093/imrn/rnad250 We would like to thank George Peschke for pointing out that the treatment of rational spaces was missing in Definition 0.2; we have accordingly added this case also to the proof of Theorem 3.1 International Mathematics Research Notices, Volume 2024, Issue 7, April 2024, Pages 5815-5849 http://arxiv.org/abs/2409.08899v2 2025-02-21T08:15:55Z 2024-09-13T15:12:42Z

Hyperuniformity refers to the suppression of density fluctuations at large scales. Typical for ordered systems, this property also emerges in several disordered physical and biological systems, where it is particularly relevant to understand mechanisms of pattern formation and to exploit peculiar attributes, e.g., interaction with light and transport phenomena. While hyperuniformity is a global property, ideally defined for infinitely extended systems, several disordered correlated systems have finite size. It has been shown in [Phys. Rev. Research 6, 023107 (2024)] that global hyperuniform characteristics systematically correlate with distributions of topological properties representative of local arrangements. In this work, building on this information, we explore and assess the inverse relationship between hyperuniformity and local structures in point patterns as described by persistent homology. Standard machine learning algorithms trained on persistence diagrams are shown to detect hyperuniformity of periodic point patterns with high accuracy. Therefore, we demonstrate that the information on patterns' local structures allows for characterizing whether finite size arrangements are analogous to those realized in hyperuniform patterns. Then, addressing more quantitative aspects, we show that parameters defining hyperuniformity globally can be reconstructed by comparing persistence diagrams of targeted patterns with reference ones. We also explore the generation of patterns entailing given topological properties. The results of this study pave the way for advanced analysis of hyperuniform patterns including local information, and introduce basic concepts for their inverse design.

Abel H. G. Milor Marco Salvalaglio 10.1088/1361-648X/adb11b 21 pages, 13 figures J. Phys.: Condens. Matter 37, 145401 (2025)