Expected Complexity of Barcode Computation via Matrix Reduction

2025-02-12T10:40:00Z

We study the algorithmic complexity of computing persistent homology of a randomly generated filtration. We prove upper bounds for the average fill-in (number of non-zero entries) of the boundary matrix on \v{C}ech, Vietoris--Rips and Erd\H{o}s--R\'enyi filtrations after matrix reduction, which in turn provide bounds on the expected complexity of the barcode computation. Our method is based on previous results on the expected Betti numbers of the corresponding complexes, which we link to the fill-in of the boundary matrix. Our fill-in bounds for \v{C}ech and Vietoris--Rips complexes are asymptotically tight up to a logarithmic factor. In particular, both our fill-in and computation bounds are better than the worst-case estimates. We also provide an Erd\H{o}s--R\'enyi filtration realising the worst-case fill-in and computation.

Hausdorff vs Gromov-Hausdorff distances

2025-02-12T03:51:16Z

Let $M$ be a closed Riemannian manifold and let $X\subseteq M$. If the sample $X$ is sufficiently dense relative to the curvature of $M$, then the Gromov-Hausdorff distance between $X$ and $M$ is bounded from below by half their Hausdorff distance, namely $d_{GH}(X,M) \ge \frac{1}{2} d_H(X,M)$. The constant $\frac{1}{2}$ can be improved depending on the dimension and curvature of the manifold $M$, and obtains the optimal value $1$ in the case of the unit circle, meaning that if $X\subseteq S^1$ satisfies $d_{GH}(X,S^1)<\tfrac{\pi}{6}$, then $d_{GH}(X,S^1)=d_H(X,S^1)$. We also provide versions lower bounding the Gromov-Hausdorff distance $d_{GH}(X,Y)$ between two subsets $X,Y\subseteq M$. Our proofs convert discontinuous functions between metric spaces into simplicial maps between \v{C}ech or Vietoris-Rips complexes. We then produce topological obstructions to the existence of certain maps using the nerve lemma and the fundamental class of the manifold, thus lower bounding the Gromov-Hausdorff distance.

HiPoNet: A Topology-Preserving Multi-View Neural Network For High Dimensional Point Cloud and Single-Cell Data

2025-02-11T18:13:29Z

In this paper, we propose HiPoNet, an end-to-end differentiable neural network for regression, classification, and representation learning on high-dimensional point clouds. Single-cell data can have high dimensionality exceeding the capabilities of existing methods point cloud tailored for 3D data. Moreover, modern single-cell and spatial experiments now yield entire cohorts of datasets (i.e. one on every patient), necessitating models that can process large, high-dimensional point clouds at scale. Most current approaches build a single nearest-neighbor graph, discarding important geometric information. In contrast, HiPoNet forms higher-order simplicial complexes through learnable feature reweighting, generating multiple data views that disentangle distinct biological processes. It then employs simplicial wavelet transforms to extract multi-scale features - capturing both local and global topology. We empirically show that these components preserve topological information in the learned representations, and that HiPoNet significantly outperforms state-of-the-art point-cloud and graph-based models on single cell. We also show an application of HiPoNet on spatial transcriptomics datasets using spatial co-ordinates as one of the views. Overall, HiPoNet offers a robust and scalable solution for high-dimensional data analysis.

Combinatorial model categories are equivalent to presentable quasicategories

2025-02-11T17:58:23Z

We establish a Dwyer-Kan equivalence of relative categories of combinatorial model categories, presentable quasicategories, and other models for locally presentable (infinity,1)-categories. This implies that the underlying quasicategories of these relative categories are also equivalent.

Higher categories of push-pull spans, II: Matrix factorizations

2025-02-11T16:54:58Z

This is the second part of a project aimed at formalizing Rozansky-Witten models in the functorial field theory framework. In the first part we constructed a symmetric monoidal $(\infty, 3)$-category $\mathscr{CRW}$ of commutative Rozansky-Witten models with the goal of approximating the $3$-category of Kapustin and Rozansky. In this paper we extend work of Brunner, Carqueville, Fragkos, and Roggenkamp on the affine Rozansky-Witten models: we exhibit a functor connecting their $2$-category of matrix factorizations with the homotopy $2$-category of $\mathscr{CRW}$, and calculate the associated TFTs.

Chern-Schwartz-MacPherson classes in the point of view of Obstruction Theory and Lipschitz framework

2025-02-11T14:06:55Z

Since Chern and Grothendieck, Chern's characteristic class theory has made significant progress. In particular with regard to the classes of singular varieties. Conjectured by Grothendieck and Deligne and demonstrated by MacPherson, Chern classes of singular varieties have been defined in several ways, such as using polar varieties, Lagrangian theory... However, the initial definition using obstruction theory, due to Marie-H\'el\`ene Schwartz, has been forgotten. Despite the simple ideas that enabled the obstruction definition, their implementation using Whitney stratifications requires delicate and technical constructions. In the present article, we show that in the Lipschitz framework, the ideas of Marie-H\'el\`ene Schwartz lead to a simplified definition and construction of Chern classes of complex analytic varieties.

Persistent bundles over configuration spaces and obstructions for regular embeddings

2025-02-11T11:36:56Z

We construct persistent bundles over configuration spaces of hard spheres and use the characteristic classes of these persistent bundles to give obstructions for embedding problems. The configuration spaces of $k$-hard spheres ${\rm Conf}_k(X,r)$, $r\geq 0$, give a $\Sigma_k$-equivariant filtration of the configuration space of $k$-points ${\rm Conf}_k(X)$. The filtered covering map from ${\rm Conf}_k(X,-)$ to ${\rm Conf}_k(X,-)/\Sigma_k$ gives a canonical persistent bundle $\boldsymbol{\xi}(X,k,-)$. We use the Stiefel-Whitney class of $\boldsymbol{\xi}(X,k,-)$, which is in the mod $2$ persistent cohomology ring of ${\rm Conf}_k(X,-)/\Sigma_k$, to give obstructions for $(k,r)$-regular embeddings and use the Chern class of $\boldsymbol{\xi}(X,k,-)\otimes \mathbb{C}$, which is in the integral persistent cohomology ring of ${\rm Conf}_k(X,-)/\Sigma_k$, to give obstructions for complex $(k,r)$-regular embeddings.

Obstructions for Morin and fold maps: Stiefel-Whitney classes and Euler characteristics of singularity loci

2025-02-11T08:57:16Z

For a singularity type $\eta$, let the $\eta$-avoiding number of an $n$-dimensional manifold $M$ be the lowest $k$ for which there is a map $M\to\mathbb{R}^{n+k}$ without $\eta$ type singular points. For instance, the case of $\eta=\Sigma^1$ is the case of immersions, which has been extensively studied in the case of real projective spaces. In this paper we study the $\eta$-avoiding number for other singularity types. Our results come in two levels: first we give an abstract reasoning that a non-zero cohomology class is supported on the singularity locus $\eta(f)$, proving that $\eta(f)$ cannot be empty. Second, we interpret this obstruction as a non-zero invariant of the singularity locus $\eta(f)$ for generic $f$. The main technique that we employ is Sullivan's Stiefel-Whitney classes, which are mod 2, real analogues of the Chern-Schwartz-MacPherson (CSM) classes. We introduce the Segre-Stiefel-Whitney classes of a singularity ${\rm s}^{\rm sw}_\eta$ whose lowest degree term is the mod 2 Thom polynomial of $\eta$. Using these techniques we compute some universal formulas for the Euler characteristic of a singularity locus.

Vietoris-Rips complexes of torus grids

2025-02-10T23:53:44Z

We study the topology of Vietoris--Rips complexes of finite grids on the torus. Let $T_{n,n}$ be the grid of $n\times n$ points on the flat torus $S^1\times S^1$, equipped with the $l^1$ metric. Let $\mathrm{VR}(T_{n,n};k)$ be the Vietoris--Rips simplicial complex of this torus grid at scale $k\ge 0$. For $n\ge 7$ and small scales $2\le k\le \frac{n-1}{3}$, the complex $\mathrm{VR}(T_{n,n};k)$ is homotopy equivalent to the torus. For large scales $k\ge 2\lfloor\frac{n}{2}\rfloor$, the complex $\mathrm{VR}(T_{n,n};k)$ is a simplex and hence contractible. Interesting topology arises over intermediate scales $\frac{n-1}{3}

Localizing invariants of inverse limits

2025-02-10T13:08:13Z

In this paper we study the category of nuclear modules on an affine formal scheme as defined by Clausen and Scholze \cite{CS20}. We also study related constructions in the framework of dualizable and rigid monoidal categories. We prove that the $K$-theory (in the sense of \cite{E24}) of the category of nuclear modules on $\operatorname{Spf}(R^{\wedge}_I)$ is isomorphic to the classical continuous $K$-theory, which in the noetherian case is given by the limit $\varprojlim\limits_{n} K(R/I^n).$ This isomorphism was conjectured previously by Clausen and Scholze. More precisely, we study two versions of the category of nuclear modules: the original one defined in \cite{CS20} and a different version, which contains the original one as a full subcategory. For our category $\operatorname{Nuc}(R^{\wedge}_I)$ we give three equivalent definitions. The first definition is by taking the internal $\operatorname{Hom}$ in the category $\operatorname{Cat}_R^{\operatorname{dual}}$ of $R$-linear dualizable categories. The second definition is by taking the rigidification of the usual $I$-complete derived category of $R.$ The third definition is by taking an inverse limit in $\operatorname{Cat}_R^{\operatorname{dual}}.$ For each of the three approaches we prove that the corresponding construction is well-behaved in a certain sense. Moreover, we prove that the two versions of the category of nuclear modules have the same $K$-theory, and in fact the same finitary localizing invariants.

A Model Categoric Equivalence for Crossed Simplicial Modules

2025-02-10T11:41:21Z

We construct a model categorical equivalence between the category of simplicial vector spaces and the category of representations of a crossed simplicial group $\Delta G$ when each $G_n$ is finite and the characteristic of the ground field is 0.

String topology on the space of paths with endpoints in a submanifold

2025-02-10T09:25:05Z

In this article we consider algebraic structures on the homology of the space of paths in a manifold with endpoints in a submanifold. The Pontryagin-Chas-Sullivan product on the homology of this space had already been investigated by Hingston and Oancea for a particular example. We consider this product as a special case of a more general construction where we consider pullbacks of the path space of a manifold under arbitrary maps. The product on the homology of this space as well as the module structure over the Chas-Sullivan ring are shown to be invariant under homotopies of the respective maps. This in particular implies that the Pontryagin-Chas-Sullivan product as well as the module structure on the space of paths with endpoints in a submanifold are isomorphic for two homotopic embeddings of the submanifold. Moreover, for null-homotopic embeddings of the submanifold this yields nice formulas which we can be used to compute the product and the module structure explicitly. We show that in the case of a null-homotopic embedding the homology of the space of paths with endpoints in a submanifold is even an algebra over the Chas-Sullivan ring.

Cohomology of classifying spaces of rank 3 Kac-Moody groups

2025-02-10T05:37:52Z

We represent the rational and mod $p$ cohomology groups of classifying spaces of rank 3 Kac-Moody groups by a direct sum of the invariants of Weyl groups and their quotients. As an application, the authors conclude that there is a $p$-torsion for each prime $p$ in the integral cohomology groups of classifying spaces of rank 3 Kac-Moody groups. We also determine the ring structure of the rational cohomology with one exception case.

Rational SU(3)-equivariant cohomology theories

2025-02-09T20:18:38Z

We describe the spectral space of conjugacy classes of subgroups of SU(3), together with the additional structure of a sheaf of rings and a component structure. It is a disjoint union of 18 blocks each dominated by a subgroup. For each of these blocks we identify a sheaf of rings and component structure. Taken together, this gives an abelian category A(SU(3)) designed to reflect the structure of rational SU(3)-equivariant cohomology theories, and we assemble the results from elsewhere to show that the category of rational SU(3)-spectra is Quillen equivalent to the category of differential graded objects of A(SU(3)).

Homotopy Limits and Homotopy Colimits of Chain Complexes

2025-02-09T04:13:54Z

We give a formula for homotopy limits and homotopy colimits of chain complexes using the cobar and bar constructions, also known as the Bousfield--Kan formula. Along the way, we show that the Bousfield--Kan formula computes homotopy colimits in any framed model categories.