Showing 1–10 of 10 results for author: Rieser, A

Noncommutative Model Selection and the Data-Driven Estimation of Real Cohomology Groups

Authors: Araceli Guzmán-Tristán, Antonio Rieser, Eduardo Velázquez-Richards

Abstract: We propose three completely data-driven methods for estimating the real cohomology groups $H^k (X ; \mathbb{R})$ of a compact metric-measure space $(X, d_X, μ_X)$ embedded in a metric-measure space $(Y,d_Y,μ_Y)$, given a finite set of points $S$ sampled from a uniform distrbution $μ_X$ on $X$, possibly corrupted with noise from $Y$. We present the results of several computational experiments in th… ▽ More We propose three completely data-driven methods for estimating the real cohomology groups $H^k (X ; \mathbb{R})$ of a compact metric-measure space $(X, d_X, μ_X)$ embedded in a metric-measure space $(Y,d_Y,μ_Y)$, given a finite set of points $S$ sampled from a uniform distrbution $μ_X$ on $X$, possibly corrupted with noise from $Y$. We present the results of several computational experiments in the case that $X$ is embedded in $\mathbb{R}^n$, where two of the three algorithms performed well. △ Less

Submitted 29 November, 2024; originally announced November 2024.

Comments: 15 pages, sequel to "Noncommutative Model Selection for Data Clustering and Dimension Reduction Using Relative von Neumann Entropy"

A New Construction of the Vietoris-Rips Complex

Authors: Antonio Rieser

Abstract: We present a new, inductive construction of the Vietoris-Rips complex, in which we take advantage of a small amount of unexploited combinatorial structure in the $k$-skeleton of the complex in order to avoid unnecessary comparisons when identifying its $(k+1)$-simplices. In doing so, we achieve a significant reduction in the number of comparisons required to construct the Vietoris-Rips compared to… ▽ More We present a new, inductive construction of the Vietoris-Rips complex, in which we take advantage of a small amount of unexploited combinatorial structure in the $k$-skeleton of the complex in order to avoid unnecessary comparisons when identifying its $(k+1)$-simplices. In doing so, we achieve a significant reduction in the number of comparisons required to construct the Vietoris-Rips compared to state-of-the-art algorithms, which is seen here by examining the computational complexity of the critical step in the algorithms. In experiments comparing a C/C++ implementation of our algorithm to the GUDHI v3.9.0 software package, this results in an observed $5$-$10$-fold improvement in speed of on sufficiently sparse Erdős-Rényi graphs with the best advantages as the graphs become sparser, as well as for higher dimensional Vietoris-Rips complexes. We further clarify that the algorithm described in Boissonnat and Maria (https://doi.org/10.1007/978-3-642-33090-2_63) for the construction of the Vietoris-Rips complex is exactly the Incremental Algorithm from Zomorodian (https://doi.org/10.1016/j.cag.2010.03.007), albeit with the additional requirement that the result be stored in a tree structure, and we explain how these techniques are different from the algorithm presented here. △ Less

Submitted 18 June, 2024; v1 submitted 17 January, 2023; originally announced January 2023.

Comments: 13 pages. Version 2 of this preprint stated that the New-VR algorithm introduced here was equivalent to the algorithm for constructing the Vietoris-Rips complex in Boissonnat and Maria (https://doi.org/10.1007/978-3-642-33090-2_63), but this was incorrect. This is corrected here, with the differences between the two algorithms more thoroughly explained

MSC Class: 05E45; 06A07; 68R05; 68R10; 05C85; 62R40

Semi-coarse Spaces, Homotopy and Homology

Authors: Antonio Rieser, Jonathan Treviño-Marroquín

Abstract: We begin the study the algebraic topology of semi-coarse spaces, which are generalizations of coarse spaces that enable one to endow non-trivial `coarse-like' structures to compact metric spaces, something which is impossible in coarse geometry. We first study homotopy in this context, and we then construct homology groups which are invariant under semi-coarse homotopy equivalence. We further show… ▽ More We begin the study the algebraic topology of semi-coarse spaces, which are generalizations of coarse spaces that enable one to endow non-trivial `coarse-like' structures to compact metric spaces, something which is impossible in coarse geometry. We first study homotopy in this context, and we then construct homology groups which are invariant under semi-coarse homotopy equivalence. We further show that any undirected graph $G=(V,E)$ induces a semi-coarse structure on its set of vertices $V_G$, and that the respective semi-coarse homology is isomorphic to the Vietoris-Rips homology. This, in turn, leads to a homotopy invariance theorem for the Vietoris-Rips homology of undirected graphs. △ Less

Submitted 27 September, 2024; v1 submitted 5 October, 2022; originally announced October 2022.

Comments: 56 pages. We moved some subsections to an appendix in order to focus in semi-coarse homotopy and homology and to make reading easier. We also added a discussion section in which we summarize the main results of the paper

Cofibration and Model Category Structures for Discrete and Continuous Homotopy

Authors: Antonio Rieser

Abstract: We show that the categories PsTop and Lim of pseudotopological spaces and limit spaces, respectively, admit cofibration category structures, and that PsTop admits a model category structure, giving several ways to simultaneously study the homotopy theory of classical topological spaces, combinatorial spaces such as graphs and matroids, and metric spaces endowed with a privileged scale, in addition… ▽ More We show that the categories PsTop and Lim of pseudotopological spaces and limit spaces, respectively, admit cofibration category structures, and that PsTop admits a model category structure, giving several ways to simultaneously study the homotopy theory of classical topological spaces, combinatorial spaces such as graphs and matroids, and metric spaces endowed with a privileged scale, in addition to spaces of maps between them. In the process, we give a sufficient condition for a topological construct which contains compactly generated Hausdorff spaces as a subcategory to admit an $I$-category structure. We further show that, for a topological space $X\in C$, the homotopy groups of $X$ constructed in the cofibration category on PsTop are isomorphic to those constructed classically in Top$^*$. △ Less

Submitted 29 September, 2022; v1 submitted 27 September, 2022; originally announced September 2022.

Comments: 26 pages, corrected typos, removed some well-known results from the preliminary Section 2

Grothendieck Topologies and Sheaves on Čech closure spaces

Authors: Antonio Rieser

Abstract: We introduce a new approach to the construction of sheaf theory on discrete and combinatorial spaces by constructing sheaves on Čech closure spaces, a category which contains the major classes of spaces of most interest to applications: topological spaces, graphs, and metric spaces with a priviledged scale. In the process, we construct a new Grothendieck topology on Čech closure spaces, and we sho… ▽ More We introduce a new approach to the construction of sheaf theory on discrete and combinatorial spaces by constructing sheaves on Čech closure spaces, a category which contains the major classes of spaces of most interest to applications: topological spaces, graphs, and metric spaces with a priviledged scale. In the process, we construct a new Grothendieck topology on Čech closure spaces, and we show that sheaves on \{C}ech closure spaces are isomorphic to the sheaf of sections of an appropriately defined étale space. △ Less

Submitted 28 September, 2021; originally announced September 2021.

Comments: 15 pages

Kunneth Theorems for Vietoris-Rips Homology

Authors: Antonio Rieser, Alejandra Trujillo

Abstract: We prove a Kunneth theorem for the Vietoris-Rips homology and cohomology of a semi-uniform space. We then interpret this result for graphs, where we show that the Kunneth theorem holds for graphs with respect to the strong graph product. We finish by computing the Vietoris-Rips cohomology of the torus endowed with diferent semi-uniform structures. We prove a Kunneth theorem for the Vietoris-Rips homology and cohomology of a semi-uniform space. We then interpret this result for graphs, where we show that the Kunneth theorem holds for graphs with respect to the strong graph product. We finish by computing the Vietoris-Rips cohomology of the torus endowed with diferent semi-uniform structures. △ Less

Submitted 14 August, 2021; v1 submitted 12 September, 2020; originally announced September 2020.

Comments: 12 pages, incorporated referee comments

Journal ref: Acta Mathematica Hungarica, volume 166, pages 239-253 (2022)

Vietoris-Rips Homology Theory for Semi-Uniform Spaces

Authors: Antonio Rieser

Abstract: While the Vietoris-Rips complex is now widely used in both topological data analysis and the theory of hyperbolic groups, many of the fundamental properties of its homology have remained elusive. In this article, we define the Vietoris-Rips homology for semi-uniform spaces, which generalizes the classical theory for graphs and metric spaces, and provides a natural, general setting for the construc… ▽ More While the Vietoris-Rips complex is now widely used in both topological data analysis and the theory of hyperbolic groups, many of the fundamental properties of its homology have remained elusive. In this article, we define the Vietoris-Rips homology for semi-uniform spaces, which generalizes the classical theory for graphs and metric spaces, and provides a natural, general setting for the construction. We then prove a version of the Eilenberg-Steenrod axioms in this setting, giving a natural definition of homotopy for semi-uniform spaces in the process. △ Less

Submitted 18 May, 2021; v1 submitted 13 August, 2020; originally announced August 2020.

Comments: 16 pages, small revisions to previous version

Cech Closure Spaces: A Unified Framework for Discrete and Continuous Homotopy

Authors: Antonio Rieser

Abstract: Motivated by constructions in topological data analysis and algebraic combinatorics, we study homotopy theory on the category of Cech closure spaces $\mathbf{Cl}$, the category whose objects are sets endowed with a Cech closure operator and whose morphisms are the continuous maps between them. We introduce new classes of Cech closure structures on metric spaces, graphs, and simplicial complexes, a… ▽ More Motivated by constructions in topological data analysis and algebraic combinatorics, we study homotopy theory on the category of Cech closure spaces $\mathbf{Cl}$, the category whose objects are sets endowed with a Cech closure operator and whose morphisms are the continuous maps between them. We introduce new classes of Cech closure structures on metric spaces, graphs, and simplicial complexes, and we show how each of these cases gives rise to an interesting homotopy theory. In particular, we show that there exists a natural family of Cech closure structures on metric spaces which produces a non-trivial homotopy theory for finite metric spaces, i.e. point clouds, the spaces of interest in topological data analysis. We then give a Cech closure structure to graphs and simplicial complexes which may be used to construct a new combinatorial (as opposed to topological) homotopy theory for each skeleton of those spaces. We further show that there is a Seifert-van Kampen theorem for closure spaces, a well-defined notion of persistent homotopy, and an associated interleaving distance. As an illustration of the difference with the topological setting, we calculate the fundamental group for the circle, `circular graphs', and the wedge of circles endowed with different closure structures. Finally, we produce a continuous map from the topological circle to `circular graphs' which, given the appropriate closure structures, induces an isomorphism on the fundamental groups. △ Less

Submitted 18 January, 2021; v1 submitted 31 August, 2017; originally announced August 2017.

Comments: Incorporated referee comments, 42 pages

MSC Class: 55Q05; 54E99

Journal ref: Topology and its Applications Volume 296, 1 June 2021, 107613

Coisotropic Hofer-Zehnder capacities and non-squeezing for relative embeddings

Authors: Samuel Lisi, Antonio Rieser

Abstract: We introduce the notion of a symplectic capacity relative to a coisotropic submanifold of a symplectic manifold, and we construct two examples of such capacities through modifications of the Hofer-Zehnder capacity. As a consequence, we obtain a non-squeezing theorem for symplectic embeddings relative to coisotropic constraints and existence results for leafwise chords on energy surfaces. We introduce the notion of a symplectic capacity relative to a coisotropic submanifold of a symplectic manifold, and we construct two examples of such capacities through modifications of the Hofer-Zehnder capacity. As a consequence, we obtain a non-squeezing theorem for symplectic embeddings relative to coisotropic constraints and existence results for leafwise chords on energy surfaces. △ Less

Submitted 25 March, 2019; v1 submitted 27 December, 2013; originally announced December 2013.

Comments: 33 pages, 4 figures; further corrections thanks to comments from the referee; accepted for publication in Journal of Symplectic Geometry

MSC Class: 53D35; 53D12

Journal ref: Journal of Symplectic Geometry, Volume 18, Issue 3 (2020), pp. 819-865

Lagrangian blow-ups, blow-downs, and applications to real packing

Authors: Antonio Rieser

Abstract: Given a symplectic manifold (M, ω) and a Lagrangian submanifold L, we construct versions of the symplectic blow-up and blow-down which are defined relative to L. Furthermore, we show that if M admits an anti-symplectic involution φ and we blow-up an appropriately symmetric embedding of symplectic balls, then there exists an anti-symplectic involution on the blow-up as well. We derive a homological… ▽ More Given a symplectic manifold (M, ω) and a Lagrangian submanifold L, we construct versions of the symplectic blow-up and blow-down which are defined relative to L. Furthermore, we show that if M admits an anti-symplectic involution φ and we blow-up an appropriately symmetric embedding of symplectic balls, then there exists an anti-symplectic involution on the blow-up as well. We derive a homological condition which determines when the topology of a real Lagrangian surface L = Fix(φ) changes after a blow down, and we use these constructions to study the real packing numbers and packing stability for real, rank-1 symplectic four manifolds which are non-Seiberg-Witten simple. △ Less

Submitted 7 December, 2012; v1 submitted 5 December, 2010; originally announced December 2010.

Comments: 66 pages, 1 figure

Journal ref: Journal of Symplectic Geometry, Volume 12, Number 4 (2014), 725-789