Showing papers in "arXiv: Algebraic Topology in 2020"
TL;DR: In this article, the authors introduce a weighted version of the persistence landscape and define a one-parameter family of Poisson-weighted persistence landscape kernels that may be useful for learning.
Abstract: Persistence landscapes map persistence diagrams into a function space, which may often be taken to be a Banach space or even a Hilbert space. In the latter case, it is a feature map and there is an associated kernel. The main advantage of this summary is that it allows one to apply tools from statistics and machine learning. Furthermore, the mapping from persistence diagrams to persistence landscapes is stable and invertible. We introduce a weighted version of the persistence landscape and define a one-parameter family of Poisson-weighted persistence landscape kernels that may be useful for learning. We also demonstrate some additional properties of the persistence landscape. First, the persistence landscape may be viewed as a tropical rational function. Second, in many cases it is possible to exactly reconstruct all of the component persistence diagrams from an average persistence landscape. It follows that the persistence landscape kernel is characteristic for certain generic empirical measures. Finally, the persistence landscape distance may be arbitrarily small compared to the interleaving distance.
46 citations
Posted Content•
TL;DR: In this article, the authors provide new stability results with respect to the $p$-Wasserstein distance between persistence diagrams, and apply these results to a wide range of applications in topological data analysis.
Abstract: The stability of persistence diagrams is among the most important results in applied and computational topology. Most results in the literature phrase stability in terms of the bottleneck distance between diagrams and the $\infty$-norm of perturbations. This has two main implications: it makes the space of persistence diagrams rather pathological and it is often provides very pessimistic bounds with respect to outliers. In this paper, we provide new stability results with respect to the $p$-Wasserstein distance between persistence diagrams. This includes an elementary proof for the setting of functions on sufficiently finite spaces in terms of the $p$-norm of the perturbations, along with an algebraic framework for $p$-Wasserstein distance which extends the results to wider class of modules. We also provide apply the results to a wide range of applications in topological data analysis (TDA) including topological summaries, persistence transforms and the special but important case of Vietoris-Rips complexes.
45 citations
TL;DR: In this paper, the authors introduce the notions of Coarse and locally finite homology Theories and Coarse K-Homology and Coarsification of K-homology.
Abstract: Introduction. Part I Motivic Coarse Spaces and Spectra. Bornological Coarse Spaces. Motivic Coarse Spaces. Motivic Coarse Spectra. Merging Coarse and Uniform Structures. Part II Coarse and Locally Finite Homology Theories. Locally Finite Homology Theories and Coarsification. Coarse K-Homology.
43 citations
Posted Content•
TL;DR: A different, more geometric way of generating persistent homology of metric spaces which arises by first embedding a given metric space into a larger space and then considering thickenings of the original space is considered.
Abstract: In the applied algebraic topology community, the persistent homology induced by the Vietoris-Rips simplicial filtration is a standard method for capturing topological information from metric spaces. In this paper, we consider a different, more geometric way of generating persistent homology of metric spaces which arises by first embedding a given metric space into a larger space and then considering thickenings of the original space inside this ambient metric space. In the course of doing this, we construct an appropriate category for studying this notion of persistent homology and show that, in a category theoretic sense, the standard persistent homology of the Vietoris-Rips filtration is isomorphic to our geometric persistent homology provided that the ambient metric space satisfies a property called injectivity.
As an application of this isomorphism result we are able to precisely characterize the type of intervals that appear in the persistence barcodes of the Vietoris-Rips filtration of any compact metric space and also to give succinct proofs of the characterization of the persistent homology of products and metric gluings of metric spaces. Our results also permit proving several bounds on the length of intervals in the Vietoris-Rips barcode by other metric invariants. Finally, as another application, we connect this geometric persistent homology to the notion of filling radius of manifolds introduced by Gromov \cite{G07} and show some consequences related to (1) the homotopy type of the Vietoris-Rips complexes of spheres which follow from work of M.~Katz and (2) characterization (rigidity) results for spheres in terms of their Vietoris-Rips persistence barcodes which follow from work of F.~Wilhelm.
35 citations
Posted Content•
[...]
TL;DR: In this paper, the stable homotopy groups up to dimension 90 were computed, except for some carefully enumerated uncertainties, and they were shown to be stable up to the dimension 90.
Abstract: We compute the stable homotopy groups up to dimension 90, except for some carefully enumerated uncertainties.
30 citations
Posted Content•
TL;DR: The tameness condition introduced in this paper captures finiteness for variation in families of vector spaces indexed by posets in a way that is characterized equivalently by distinct topological, algebraic, combinatorial, and homological manifestations.
Abstract: Homological algebra of modules over posets is developed, as closely parallel as possible to that of finitely generated modules over noetherian commutative rings, in the direction of finite presentations and resolutions. Centrally at issue is how to define finiteness to replace the noetherian hypothesis which fails. The tameness condition introduced for this purpose captures finiteness for variation in families of vector spaces indexed by posets in a way that is characterized equivalently by distinct topological, algebraic, combinatorial, and homological manifestations. Tameness serves both theoretical and computational purposes: it guarantees finite presentations and resolutions of various sorts, all related by a syzygy theorem, amenable to algorithmic manipulation. Tameness and its homological theory are new even in the finitely generated discrete setting of $\mathbb{N}^n$-gradings, where tame is materially weaker than noetherian. In the context of persistent homology of filtered topological spaces, especially with multiple real parameters, the algebraic theory of tameness yields topologically interpretable data structures in terms of birth and death of homology classes.
30 citations
TL;DR: Throughout, the tools and theorems that underlie advances in topological persistence theory are highlighted, and the reader's attention is directed to open problems, both theoretical and applied.
Abstract: In this survey, we review the literature on inverse problems in topological persistence theory. The first half of the survey is concerned with the question of surjectivity, i.e. the existence of right inverses, and the second half focuses on injectivity, i.e. left inverses. Throughout, we highlight the tools and theorems that underlie these advances, and direct the reader’s attention to open problems, both theoretical and applied.
28 citations
Posted Content•
TL;DR: It is shown that several related density-sensitive constructions of bifiltrations from data satisfy stability properties accommodating the addition and removal of outliers, and 1-Lipschitz stability results closely analogous to the standard stability results for 1-parameter persistent homology.
Abstract: The Cech and Rips constructions of persistent homology are stable with respect to perturbations of the input data. However, neither is robust to outliers, and both can be insensitive to topological structure of high-density regions of the data. A natural solution is to consider 2-parameter persistence. This paper studies the stability of 2-parameter persistent homology: We show that several related density-sensitive constructions of bifiltrations from data satisfy stability properties accommodating the addition and removal of outliers. Specifically, we consider the multicover bifiltration, Sheehy's subdivision bifiltrations, and the degree bifiltrations. For the multicover and subdivision bifiltrations, we get 1-Lipschitz stability results closely analogous to the standard stability results for 1-parameter persistent homology. Our results for the degree bifiltrations are weaker, but they are tight, in a sense. As an application of our theory, we prove a law of large numbers for subdivision bifiltrations of random data.
26 citations
TL;DR: Distance correlation as mentioned in this paper is a non-parametric tool for comparing data sets that can lie in completely different metric spaces, and it can be used to compare different topological summaries for different models of underlying data via the distance correlation between the samples.
Abstract: Persistent homology allows us to create topological summaries of complex data. In order to analyse these statistically, we need to choose a topological summary and a relevant metric space in which this topological summary exists. While different summaries may contain the same information (as they come from the same persistence module), they can lead to different statistical conclusions since they lie in different metric spaces. The best choice of metric will often be application-specific. In this paper we discuss distance correlation, which is a non-parametric tool for comparing data sets that can lie in completely different metric spaces. In particular we calculate the distance correlation between different choices of topological summaries. We compare some different topological summaries for a variety of random models of underlying data via the distance correlation between the samples. We also give examples of performing distance correlation between topological summaries and other scalar measures of interest, such as a paired random variable or a parameter of the random model used to generate the underlying data. This article is meant to be expository in style, and will include the definitions of standard statistical quantities in order to be accessible to non-statisticians.
24 citations
Posted Content•
TL;DR: A functorial pipeline for persistent homology is built and it is proved that both functors in the pipeline are 1-Lipschitz making the pipeline stable.
Abstract: We build a functorial pipeline for persistent homology. The input to this pipeline is a filtered simplicial complex indexed by any finite metric lattice and the output is a persistence diagram defined as the Mobius inversion of its birth-death function. We adapt the Reeb graph edit distance to each of our categories and prove that both functors in our pipeline are $1$-Lipschitz making our pipeline stable. Our constructions generalize the classical persistence diagram and, in this setting, the bottleneck distance is strongly equivalent to the edit distance.
23 citations
Posted Content•
TL;DR: In this article, it was shown that closed symplectic maifolds, real projective spaces, and so on, admit no special generic map into a connected open manifold in considerable cases, where key objects are products of cohomology classes of the manifold.
Abstract: Special generic maps are higher dimensional versions of Morse functions with exactly two singular points, characterizing spheres topologically except $4$-dimensional cases: in these cases standard spheres are characterized. Canonical projections of unit spheres are special generic. In suitable cases, it is easy to construct special generic maps on manifolds represented as connected sums of products of spheres for example. It is an interesting fact that these maps restrict the topologies and the differentiable structures admitting them strictly in various cases. For example, exotic spheres, which are not diffeomorphic to standard spheres, admit no special generic map into some Euclidean spaces in considerable cases.
In general, it is difficult to find (families of) manifolds admitting no such maps of suitable classes. The present paper concerns a new result on this work where key objects are products of cohomology classes of the manifolds. We can see that closed symplectic maifolds, real projective spaces, and so on, admit no special generic map into a connected open manifold in considerable cases for example.
Posted Content•
TL;DR: In this article, a higher height version of the Lichtenbaum-Quillen conjecture was shown to exist in an algebraic ring of chromatic height exactly n+1.
Abstract: We equip $\mathrm{BP} \langle n \rangle$ with an $\mathbb{E}_3$-$\mathrm{BP}$-algebra structure, for each prime $p$ and height $n$. The algebraic $K$-theory of this $\mathbb{E}_3$-ring is of chromatic height exactly $n+1$. Specifically, it is an fp-spectrum of fp-type $n+1$, which can be viewed as a higher height version of the Lichtenbaum-Quillen conjecture.
Posted Content•
TL;DR: In this article, a general construction of equivariant elliptic cohomology without restriction to characteristic zero is given, and the fixed points of these spectra are computed for the circle group and more generally for tori.
Abstract: Following ideas of Lurie, we give in this article a general construction of equivariant elliptic cohomology without restriction to characteristic zero. Specializing to the universal elliptic curve we obtain in particular equivariant spectra of topological modular forms. We compute the fixed points of these spectra for the circle group and more generally for tori.
TL;DR: In this paper, the authors discuss the parametrised setting: invariants of families of manifolds, parametrized by a base manifold X. The invariants they look for will be cohomology classes in X, characteristic classes.
Abstract: The study of manifolds and invariants of manifolds was begun more than a century ago. In this entry we shall discuss the parametrised setting: invariants of families of manifolds, parametrised by a base manifold X. The invariants we look for will be cohomology classes in X, characteristic classes.
Posted Content•
TL;DR: In this paper, a convolutional neural network layer on simplicial 2-complexes is proposed to account for higher order relations between the hyperedges of a hypergraph.
Abstract: Recently, neural network architectures have been developed to accommodate when the data has the structure of a graph or, more generally, a hypergraph. While useful, graph structures can be potentially limiting. Hypergraph structures in general do not account for higher order relations between their hyperedges. Simplicial complexes offer a middle ground, with a rich theory to draw on. We develop a convolutional neural network layer on simplicial 2-complexes.
Posted Content•
TL;DR: In this paper, the Chern character on K-theory was extended to (twisted, differential) non-abelian cohomology theories, where its target is a non-belabelian de Rham cohomorphism of twisted L-infinity algebra valued differential forms.
Abstract: We extend the Chern character on K-theory, in its generalization to the Chern-Dold character on generalized cohomology theories, further to (twisted, differential) non-abelian cohomology theories, where its target is a non-abelian de Rham cohomology of twisted L-infinity algebra valued differential forms. The construction amounts to leveraging the fundamental theorem of dg-algebraic rational homotopy theory to a twisted non-abelian generalization of the de Rham theorem. We show that the non-abelian character reproduces, besides the Chern-Dold character, also the Chern-Weil homomorphism as well as its secondary Cheeger-Simons homomorphism on (differential) non-abelian cohomology in degree 1, represented by principal bundles (with connection); and thus generalizes all these to higher (twisted, differential) non-abelian cohomology, represented by higher bundles/higher gerbes (with higher connections). As a fundamental example, we discuss the twisted non-abelian character map on twistorial Cohomotopy theory over 8-manifolds, which can be viewed as a twisted non-abelian enhancement of topological modular forms (tmf) in degree 4. This turns out to exhibit a list of subtle topological relations that in high energy physics are thought to govern the charge quantization of fluxes in M-theory.
Posted Content•
TL;DR: In this article, a discrete Hodge theory for cellular sheaves taking values in a category of lattices and Galois connections is proposed, and the key development is the Tarski Laplacian, an endomorphism on the cochain complex whose fixed points yield a cohomology that agrees with the global section functor in degree zero.
Abstract: This paper initiates a discrete Hodge theory for cellular sheaves taking values in a category of lattices and Galois connections. The key development is the Tarski Laplacian, an endomorphism on the cochain complex whose fixed points yield a cohomology that agrees with the global section functor in degree zero. This has immediate applications in consensus and distributed optimization problems over networks and broader potential applications.
Posted Content•
TL;DR: In this paper, the authors compute R-motivic stable homotopy groups from the C-Motivic Ext groups and apply the Bockstein spectral sequence to obtain Rmotivic ext groups.
Abstract: We compute some R-motivic stable homotopy groups. For $s - w \leq 11$, we describe the motivic stable homotopy groups $\pi_{s,w}$ of a completion of the R-motivic sphere spectrum. We apply the $\rho$-Bockstein spectral sequence to obtain R-motivic Ext groups from the C-motivic Ext groups, which are well-understood in a large range. These Ext groups are the input to the R-motivic Adams spectral sequence. We fully analyze the Adams differentials in a range, and we also analyze hidden extensions by $\rho$, 2, and $\eta$. As a consequence of our computations, we recover Mahowald invariants of many low-dimensional classical stable homotopy elements.
TL;DR: A survey of computational tools used in the study of local chromatic homotopy theory can be found in this article, where the authors illustrate the key methods and results with explicit examples.
Abstract: In this survey, we review how the global structure of the stable homotopy category gives rise to the chromatic filtration. We then discuss computational tools used in the study of local chromatic homotopy theory, leading up to recent developments in the field. Along the way, we illustrate the key methods and results with explicit examples.
Posted Content•
TL;DR: In this article, the generalized Mayer-Vietoris principle is used to compute global persistent homology based on local computations indexed by a scalar field, which can be used in multi-scale analysis of point clouds to detect features of varying sizes.
Abstract: A method is presented for the distributed computation of persistent homology, based on an extension of the generalized Mayer-Vietoris principle to filtered spaces. Cellular cosheaves and spectral sequences are used to compute global persistent homology based on local computations indexed by a scalar field. These techniques permit computation localized not merely by geography, but by other features of data points, such as density. As an example of the latter, the construction is used in the multi-scale analysis of point clouds to detect features of varying sizes that are overlooked by standard persistent homology.
TL;DR: Morel and Voevodsky as mentioned in this paper gave an introduction to unstable motivic homotopy theory, and survey some results of their work on unstable homotope homotopies.
Abstract: We give an introduction to unstable motivic homotopy theory of Morel and Voevodsky, and survey some results.
Posted Content•
TL;DR: Amenable category is a variant of the Lusternik-Schnirelman category, based on covers by amenable open subsets as mentioned in this paper, and the monotonicity problem for degree-one maps and amenable category is studied.
Abstract: Amenable category is a variant of the Lusternik-Schnirelman category, based on covers by amenable open subsets. We study the monotonicity problem for degree-one maps and amenable category and the relation between amenable category and topological complexity.
Posted Content•
TL;DR: Algorithms to check whether a module induced in homology by a bifiltration is rectangle-decomposable, and to decompose it in the affirmative, with a better complexity than state-of-the-art decomposition methods for general 2-parameter persistence modules.
Abstract: This paper addresses two questions: (a) can we identify a sensible class of 2-parameter persistence modules on which the rank invariant is complete? (b) can we determine efficiently whether a given 2-parameter persistence module belongs to this class? We provide positive answers to both questions, and our class of interest is that of rectangle-decomposable modules. Our contributions include: on the one hand, a proof that the rank invariant is complete on rectangle-decomposable modules, together with an inclusion-exclusion formula for counting the multiplicities of the summands; on the other hand, algorithms to check whether a module induced in homology by a bifiltration is rectangle-decomposable, and to decompose it in the affirmative, with a better complexity than state-of-the-art decomposition methods for general 2-parameter persistence modules. Our algorithms are backed up by a new structure theorem, whereby a 2-parameter persistence module is rectangle-decomposable if, and only if, its restrictions to squares are. This local characterization is key to the efficiency of our algorithms, and it generalizes previous conditions derived for the smaller class of block-decomposable modules. It also admits an algebraic formulation that turns out to be a weaker version of the one for block-decomposability. By contrast, we show that general interval-decomposability does not admit such a local characterization, even when locality is understood in a broad sense. Our analysis focuses on the case of modules indexed over finite grids, the more general cases are left as future work.
Posted Content•
TL;DR: In this article, it was shown that the homotopy stable range of degrees in the pseudoisotopy range is at most 4n-10, and above these degrees a systematic structure in these homotsopy groups was discovered.
Abstract: We determine $\pi_*(BDiff_\partial(D^{2n})) \otimes \mathbb{Q}$ for $2n \geq 6$ completely in degrees $* \leq 4n-10$, far beyond the pseudoisotopy stable range. Furthermore, above these degrees we discover a systematic structure in these homotopy groups: we determine them outside of certain "bands" of degrees.
Posted Content•
TL;DR: The notion of oplax functor was introduced in this paper to characterize the Gray tensor product by means of a universal property, which was used by Gaitsgory and Rozenblyum in their definition of the Gray product.
Abstract: We give a definition of the Gray tensor product in the setting of scaled simplicial sets which is associative and forms a left Quillen bifunctor with respect to the bicategorical model category of Lurie We then introduce a notion of oplax functor in this setting, and use it in order to characterize the Gray tensor product by means of a universal property A similar characterization was used by Gaitsgory and Rozenblyum in their definition of the Gray product, thus giving a promising lead for comparing the two settings
Posted Content•
TL;DR: In this article, the Iwahori-Hecke algebras H_n of type A n-1 satisfy homological stability, where homology is interpreted as an appropriate Tor group.
Abstract: We show that the Iwahori-Hecke algebras H_n of type A_{n-1} satisfy homological stability, where homology is interpreted as an appropriate Tor group. Our result precisely recovers Nakaoka's homological stability result for the symmetric groups in the case that the defining parameter is equal to 1. We believe that this paper, and our joint work with Boyd on Temperley-Lieb algebras, are the first time that the techniques of homological stability have been applied to algebras that are not group algebras.
Posted Content•
TL;DR: This paper analyzes the parameterized motion planning problem for the motion of many distinct points in the plane, moving without collision and avoiding multiple distinct obstacles with a priori unknown positions.
Abstract: Parametrized motion planning algorithms have high degrees of universality and flexibility, as they are designed to work under a variety of external conditions, which are viewed as parameters and form part of the input of the underlying motion planning problem. In this paper, we analyze the parameterized motion planning problem for the motion of many distinct points in the plane, moving without collision and avoiding multiple distinct obstacles with a priori unknown positions. This complements our prior work [arXiv:2009.06023], where parameterized motion planning algorithms were introduced, and the obstacle-avoiding collision-free motion planning problem in three-dimensional space was fully investigated. The planar case requires different algebraic and topological tools than its spatial analog.
TL;DR: This paper explicitly compute the parameterised topological complexity of obstacle-avoiding collision-free motion of many particles (robots) in 3-dimensional space.
Abstract: In this paper we introduce and study a new concept of parametrised topological complexity, a topological invariant motivated by the motion planning problem of robotics. In the parametrised setting, a motion planning algorithm has high degree of universality and flexibility, it can function under a variety of external conditions (such as positions of the obstacles etc). We explicitly compute the parameterised topological complexity of obstacle-avoiding collision-free motion of many particles (robots) in 3-dimensional space. Our results show that the parameterised topological complexity can be significantly higher than the standard (nonparametrised) invariant.
Posted Content•
TL;DR: In this article, it was shown that the $C_2$-equivariant and $R{R}$-motivic stable homotopy groups are isomorphic in a range.
Abstract: We show that the $C_2$-equivariant and $\mathbb{R}$-motivic stable homotopy groups are isomorphic in a range. This result supersedes previous work of Dugger and the third author.
TL;DR: In this paper, a theory of syzygies in equivariant cohomology for tori and coefficients in the Atiyah-Bredon sequence is developed, and a new algebraic approach to the partial exactness of the sequence is presented.
Abstract: We develop a theory of syzygies in equivariant cohomology for tori as well as $p$-tori and coefficients in $\mathbb{F}_p$ A noteworthy feature is a new algebraic approach to the partial exactness of the Atiyah-Bredon sequence, which also covers all instances considered so far