-
Lower Bounding the Gromov--Hausdorff distance in Metric Graphs
Authors:
Henry Adams,
Sushovan Majhi,
Fedor Manin,
Žiga Virk,
Nicolò Zava
Abstract:
Let $G$ be a compact, connected metric graph and let $X\subseteq G$ be a subset. If $X$ is sufficiently dense in $G$, we show that the Gromov--Hausdorff distance matches the Hausdorff distance, namely $d_{GH}(G,X)=d_{H}(G,X)$. In a recent study, when the metric graph is the circle $G=S^1$ with circumference $2π$, the equality $d_{GH}(S^1,X)=d_{H}(S^1,X)$ was established whenever…
▽ More
Let $G$ be a compact, connected metric graph and let $X\subseteq G$ be a subset. If $X$ is sufficiently dense in $G$, we show that the Gromov--Hausdorff distance matches the Hausdorff distance, namely $d_{GH}(G,X)=d_{H}(G,X)$. In a recent study, when the metric graph is the circle $G=S^1$ with circumference $2π$, the equality $d_{GH}(S^1,X)=d_{H}(S^1,X)$ was established whenever $d_{GH}(S^1,X)<\fracπ{6}$. Our result for general metric graphs relaxes this hypothesis in the circle case to $d_{GH}(S^1,X)<\fracπ{3}$, and furthermore, we give an example showing that the constant $\fracπ{3}$ is the best possible. We lower bound the Gromov--Hausdorff distance $d_{GH}(G,X)$ by the Hausdorff distance $d_{H}(G,X)$ via a simple topological obstruction: showing a correspondence with too small distortion contradicts the connectedness of $G$. Moreover, for two sufficiently dense subsets $X,Y\subseteq G$, we provide new lower bounds on $d_{GH}(X,Y)$ in terms of the Hausdorff distance $d_{H}(X,Y)$, which is $O(n^2)$-time computable if the subsets have at most $n$ points.
△ Less
Submitted 13 November, 2024;
originally announced November 2024.
-
The connectivity of Vietoris-Rips complexes of spheres
Authors:
Henry Adams,
Johnathan Bush,
Žiga Virk
Abstract:
We survey what is known and unknown about Vietoris-Rips complexes and thickenings of spheres. Afterwards, we show how to control the homotopy connectivity of Vietoris-Rips complexes of spheres in terms of coverings of spheres and projective spaces. Let $S^n$ be the $n$-sphere with the geodesic metric, and of diameter $π$, and let $δ> 0$. Suppose that the first nontrivial homotopy group of the Viet…
▽ More
We survey what is known and unknown about Vietoris-Rips complexes and thickenings of spheres. Afterwards, we show how to control the homotopy connectivity of Vietoris-Rips complexes of spheres in terms of coverings of spheres and projective spaces. Let $S^n$ be the $n$-sphere with the geodesic metric, and of diameter $π$, and let $δ> 0$. Suppose that the first nontrivial homotopy group of the Vietoris-Rips complex $\mathrm{VR}(S^n;π-δ)$ of the $n$-sphere at scale $π-δ$ occurs in dimension $k$, i.e., suppose that the connectivity is $k-1$. Then $\mathrm{cov}_{S^n}(2k+2) \le δ< 2\cdot \mathrm{cov}_{\mathbb{R}P^n}(k)$. In other words, there exist $2k+2$ balls of radius $δ$ that cover $S^n$, and no set of $k$ balls of radius $\fracδ{2}$ cover the projective space $\mathbb{R}P^n$. As a corollary, the homotopy type of $\mathrm{VR}(S^n;r)$ changes infinitely many times as the scale $r$ increases.
△ Less
Submitted 27 August, 2024; v1 submitted 22 July, 2024;
originally announced July 2024.
-
Contractibility of the Rips complexes of Integer lattices via local domination
Authors:
Žiga Virk
Abstract:
We prove that for each positive integer $n$, the Rips complexes of the $n$-dimensional integer lattice in the $d_1$ metric (i.e., the Manhattan metric, also called the natural word metric in the Cayley graph) are contractible at scales above $n^2(2n-1)$, with the bounds arising from the Jung's constants. We introduce a new concept of locally dominated vertices in a simplicial complex, upon which o…
▽ More
We prove that for each positive integer $n$, the Rips complexes of the $n$-dimensional integer lattice in the $d_1$ metric (i.e., the Manhattan metric, also called the natural word metric in the Cayley graph) are contractible at scales above $n^2(2n-1)$, with the bounds arising from the Jung's constants. We introduce a new concept of locally dominated vertices in a simplicial complex, upon which our proof strategy is based. This allows us to deduce the contractibility of the Rips complexes from a local geometric condition called local crushing. In the case of the integer lattices in dimension $n$ and a fixed scale $r$, this condition entails the comparison of finitely many distances to conclude that the corresponding Rips complex is contractible. In particular, we are able to verify that for $n=1,2,3$, the Rips complex of the $n$-dimensional integer lattice at scale greater or equal to $n$ is contractible. We conjecture that the same proof strategy can be used to extend this result to all dimensions $n$
△ Less
Submitted 6 August, 2024; v1 submitted 15 May, 2024;
originally announced May 2024.
-
Geometric embeddings of spaces of persistence diagrams with explicit distortions
Authors:
Atish Mitra,
Ziga Virk
Abstract:
Let $n$ be a positive integer. We provide an explicit geometrically motivated $1$-Lipschitz map from the space of persistence diagrams on $n$ points (equipped with the Bottleneck distance) into Hilbert space. Such maps are a crucial step in topological data analysis, allowing the use of statistic (and thus data analysis) on collections of persistence diagrams. The main advantage of our maps as com…
▽ More
Let $n$ be a positive integer. We provide an explicit geometrically motivated $1$-Lipschitz map from the space of persistence diagrams on $n$ points (equipped with the Bottleneck distance) into Hilbert space. Such maps are a crucial step in topological data analysis, allowing the use of statistic (and thus data analysis) on collections of persistence diagrams. The main advantage of our maps as compared to most of the other such transformations is that they are coarse and uniform embeddings with explicit distortion functions. This allows us to control the amount of geometric information lost through their application. Furthermore, we provide an explicit $1$-Lipschitz map from the space of persistence diagrams on $n$ points on a bounded domain into a Euclidean space with an explicit distortion function. The mentioned maps are fairly simple, with each component depending depending only on the bottleneck distance to the corresponding landmark persistence diagram. Due to geometric motivation from classical dimension theory, our methods are best described as quantitative dimension theory. We discuss the advantages and disadvantages of our approach. We conclude with differently flavoured embedding of the space of persistence diagrams on $n$ points on a bounded domain into $\mathbb{R}^{n(n+1)}$.
△ Less
Submitted 10 January, 2024;
originally announced January 2024.
-
On the metric spaces of lattices and periodic point sets
Authors:
Alexey Garber,
Žiga Virk,
Nicolò Zava
Abstract:
Lattices and periodic point sets are well known objects from discrete geometry. They are also used in crystallography as one of the models of atomic structure of periodic crystals. In this paper we study the embedding properties of spaces of lattices and periodic point sets equipped with optimal bijection metrics (i.e., bottleneck and Euclidean bottleneck metrics). We focus our treatment on embedd…
▽ More
Lattices and periodic point sets are well known objects from discrete geometry. They are also used in crystallography as one of the models of atomic structure of periodic crystals. In this paper we study the embedding properties of spaces of lattices and periodic point sets equipped with optimal bijection metrics (i.e., bottleneck and Euclidean bottleneck metrics). We focus our treatment on embeddings into Hilbert space. On one hand this is motivated by modern data analysis, which is mostly based on statistical approaches developed on Euclidean on Hilbert spaces, hence such embeddings play a major role in applied pipelines. On the other hand there is a well-established methodology related to such questions in coarse geometry, arising from the work on the Novikov conjecture. The main results of this paper provide different conditions, under which the spaces of lattices or periodic point sets are Lipschitz or coarsely (non)embeddable into Hilbert space. The various conditions are phrased in terms of density, packing radius, covering radius, the cardinality of the motif, and the diameter of the unit cell.
△ Less
Submitted 11 October, 2023;
originally announced October 2023.
-
Lower bounds on the homology of Vietoris-Rips complexes of hypercube graphs
Authors:
Henry Adams,
Žiga Virk
Abstract:
We provide novel lower bounds on the Betti numbers of Vietoris-Rips complexes of hypercube graphs of all dimensions, and at all scales. In more detail, let $Q_n$ be the vertex set of $2^n$ vertices in the $n$-dimensional hypercube graph, equipped with the shortest path metric. Let $VR(Q_n;r)$ be its Vietoris--Rips complex at scale parameter $r \ge 0$, which has $Q_n$ as its vertex set, and all sub…
▽ More
We provide novel lower bounds on the Betti numbers of Vietoris-Rips complexes of hypercube graphs of all dimensions, and at all scales. In more detail, let $Q_n$ be the vertex set of $2^n$ vertices in the $n$-dimensional hypercube graph, equipped with the shortest path metric. Let $VR(Q_n;r)$ be its Vietoris--Rips complex at scale parameter $r \ge 0$, which has $Q_n$ as its vertex set, and all subsets of diameter at most $r$ as its simplices. For integers $r<r'$ the inclusion $VR(Q_n;r)\hookrightarrow VR(Q_n;r')$ is nullhomotopic, meaning no persistent homology bars have length longer than one, and we therefore focus attention on the individual spaces $VR(Q_n;r)$. We provide lower bounds on the ranks of homology groups of $VR(Q_n;r)$. For example, using cross-polytopal generators, we prove that the rank of $H_{2^r-1}(VR(Q_n;r))$ is at least $2^{n-(r+1)}\binom{n}{r+1}$. We also prove a version of \emph{homology propagation}: if $q\ge 1$ and if $p$ is the smallest integer for which $rank H_q(VR(Q_p;r))\neq 0$, then $rank H_q(VR(Q_n;r)) \ge \sum_{i=p}^n 2^{i-p} \binom{i-1}{p-1} \cdot rank H_q(VR(Q_p;r))$ for all $n \ge p$. When $r\le 3$, this result and variants thereof provide tight lower bounds on the rank of $H_q(VR(Q_n;r))$ for all $n$, and for each $r \ge 4$ we produce novel lower bounds on the ranks of homology groups. Furthermore, we show that for each $r\ge 2$, the homology groups of $VR(Q_n;r)$ for $n \ge 2r+1$ contain propagated homology not induced by the initial cross-polytopal generators.
△ Less
Submitted 12 September, 2023;
originally announced September 2023.
-
Critical edges in Rips complexes and persistence
Authors:
Peter Goričan,
Žiga Virk
Abstract:
We consider persistent homology obtained by applying homology to the open Rips filtration of a compact metric space $(X,d)$. We show that each decrease in zero-dimensional persistence and each increase in one-dimensional persistence is induced by local minima of the distance function $d$. When $d$ attains local minimum at only finitely many pairs of points, we prove that each above mentioned chang…
▽ More
We consider persistent homology obtained by applying homology to the open Rips filtration of a compact metric space $(X,d)$. We show that each decrease in zero-dimensional persistence and each increase in one-dimensional persistence is induced by local minima of the distance function $d$. When $d$ attains local minimum at only finitely many pairs of points, we prove that each above mentioned change in persistence is induced by a specific critical edge in Rips complexes, which represents a local minimum of $d$. We use this fact to develop a theory (including interpretation) of critical edges of persistence. The obtained results include upper bounds for the rank of one-dimensional persistence and a corresponding reconstruction result. Of potential computational interest is a simple geometric criterion recognizing local minima of $d$ that induce a change in persistence. We conclude with a proof that each locally isolated minimum of $d$ can be detected through persistent homology with selective Rips complexes. The results of this paper offer the first interpretation of critical scales of persistent homology (obtained via Rips complexes) for general compact metric spaces.
△ Less
Submitted 11 April, 2023;
originally announced April 2023.
-
Vietoris thickenings and complexes have isomorphic homotopy groups
Authors:
Henry Adams,
Florian Frick,
Žiga Virk
Abstract:
We study the relationship between metric thickenings and simplicial complexes associated to coverings of metric spaces. Let $\mathcal{U}$ be a cover of a separable metric space $X$ by open sets with a uniform diameter bound. The Vietoris complex contains all simplices with vertex set contained in some $U \in \mathcal{U}$, and the Vietoris metric thickening is the space of probability measures with…
▽ More
We study the relationship between metric thickenings and simplicial complexes associated to coverings of metric spaces. Let $\mathcal{U}$ be a cover of a separable metric space $X$ by open sets with a uniform diameter bound. The Vietoris complex contains all simplices with vertex set contained in some $U \in \mathcal{U}$, and the Vietoris metric thickening is the space of probability measures with support in some $U \in \mathcal{U}$, equipped with an optimal transport metric. We show that the Vietoris metric thickening and the Vietoris complex have isomorphic homotopy groups in all dimensions. In particular, by choosing the cover $\mathcal{U}$ appropriately, we get isomorphisms between the homotopy groups of Vietoris--Rips metric thickenings and simplicial complexes, where both spaces are defined using the convention ``diameter $< r$'' (instead of $\le r$). Similarly, we get isomorphisms between the homotopy groups of Čech metric thickenings and simplicial complexes, where both spaces are defined using open balls (instead of closed balls).
△ Less
Submitted 8 October, 2022; v1 submitted 17 June, 2022;
originally announced June 2022.
-
Finite reconstruction with selective Rips complexes
Authors:
Boštjan Lemež,
Žiga Virk
Abstract:
Selective Rips complexes corresponding to a sequence of parameters are a generalization of Vietoris-Rips complexes utilizing the idea of thin simplices. We prove that if a metric space $Y$ is close (in Gromov-Hausdorff distance) to a closed Riemannian manifold $X$, then selective Rips complexes of $Y$ for certain parameters attain the homotopy type of $X$. This result is a generalization of Latche…
▽ More
Selective Rips complexes corresponding to a sequence of parameters are a generalization of Vietoris-Rips complexes utilizing the idea of thin simplices. We prove that if a metric space $Y$ is close (in Gromov-Hausdorff distance) to a closed Riemannian manifold $X$, then selective Rips complexes of $Y$ for certain parameters attain the homotopy type of $X$. This result is a generalization of Latchev's reconstruction result from Vietoris-Rips complexes to selective Rips complexes. In particular, we present a novel proof for the Latschev's theorem as a special case. We also present a functorial setting, which is new even in the case of Vietoris-Rips complexes.
△ Less
Submitted 20 April, 2023; v1 submitted 11 May, 2022;
originally announced May 2022.
-
Rigidity of terminal simplices in persistent homology
Authors:
Aleksandra Franc,
Žiga Virk
Abstract:
Given a filtration function on a finite simplicial complex, stability theorem of persistent homology states that the corresponding barcode is continuous with respect to changes in the filtration function. However, due to the discrete setting of simplicial complexes, the critical simplices terminating matched bars cannot change continuously for arbitrary perturbations of filtration functions. In th…
▽ More
Given a filtration function on a finite simplicial complex, stability theorem of persistent homology states that the corresponding barcode is continuous with respect to changes in the filtration function. However, due to the discrete setting of simplicial complexes, the critical simplices terminating matched bars cannot change continuously for arbitrary perturbations of filtration functions. In this paper we provide a sufficient condition for rigidity of a terminal simplex, i.e., a condition on $ε> 0$ implying that the terminal simplex of a homology class or a bar in persistent homology remains constant through $ε$-perturbations of filtration function. The condition for a homology class or a bar in dimension n depends on the barcodes in dimensions n and n+1.
△ Less
Submitted 20 June, 2023; v1 submitted 6 May, 2022;
originally announced May 2022.
-
Contractions in persistence and metric graphs
Authors:
Žiga Virk
Abstract:
We prove that the existence of a $1$-Lipschitz retraction (a contraction) from a space $X$ onto its subspace $A$ implies the persistence diagram of $A$ embeds into the persistence diagram of $X$. As a tool we introduce tight injections of persistence modules as maps inducing the said embeddings. We show contractions always exist onto shortest loops in metric graphs and conjecture on existence of c…
▽ More
We prove that the existence of a $1$-Lipschitz retraction (a contraction) from a space $X$ onto its subspace $A$ implies the persistence diagram of $A$ embeds into the persistence diagram of $X$. As a tool we introduce tight injections of persistence modules as maps inducing the said embeddings. We show contractions always exist onto shortest loops in metric graphs and conjecture on existence of contractions in planar metric graphs onto all loops of a shortest homology basis.
Of primary interest are contractions onto loops in geodesic spaces. These act as ideal circular coordinates. Furthermore, as the Theorem of Adamaszek and Adams describes the pattern of persistence diagram of $S^1$, a contraction $X \to S^1$ implies the same pattern appears in persistence diagram of $X$.
△ Less
Submitted 27 January, 2022;
originally announced January 2022.
-
Persistent Homology with Selective Rips complexes detects geodesic circles
Authors:
Žiga Virk
Abstract:
This paper introduces a method to detect each geometrically significant loop that is a geodesic circle (an isometric embedding of $S^1$) and a bottleneck loop (meaning that each of its perturbations increases the length) in a geodesic space using persistent homology. Under fairly mild conditions we show that such a loop either terminates a $1$-dimensional homology class or gives rise to a $2$-dime…
▽ More
This paper introduces a method to detect each geometrically significant loop that is a geodesic circle (an isometric embedding of $S^1$) and a bottleneck loop (meaning that each of its perturbations increases the length) in a geodesic space using persistent homology. Under fairly mild conditions we show that such a loop either terminates a $1$-dimensional homology class or gives rise to a $2$-dimensional homology class in persistent homology. The main tool in this detection technique are selective Rips complexes, new custom made complexes that function as an appropriate combinatorial lens for persistent homology in order to detect the above mentioned loops. The main argument is based on a new concept of a local winding number, which turns out to be an invariant of certain homology classes.
△ Less
Submitted 9 February, 2024; v1 submitted 17 August, 2021;
originally announced August 2021.
-
Fast computation of persistent homology representatives with involuted persistent homology
Authors:
Matija Čufar,
Žiga Virk
Abstract:
Persistent homology is typically computed through persistent cohomology. While this generally improves the running time significantly, it does not facilitate extraction of homology representatives. The mentioned representatives are geometric manifestations of the corresponding holes and often carry desirable information.
We propose a new method of extraction of persistent homology representative…
▽ More
Persistent homology is typically computed through persistent cohomology. While this generally improves the running time significantly, it does not facilitate extraction of homology representatives. The mentioned representatives are geometric manifestations of the corresponding holes and often carry desirable information.
We propose a new method of extraction of persistent homology representatives using cohomology. In a nutshell, we first compute persistent cohomology and use the obtained information to significantly improve the running time of the direct persistent homology computations. This algorithm applied to Rips filtrations generally computes persistent homology representatives much faster than the standard methods.
△ Less
Submitted 23 March, 2023; v1 submitted 8 May, 2021;
originally announced May 2021.
-
Footprints of geodesics in persistent homology
Authors:
Žiga Virk
Abstract:
Given a metric space $X$ and a subspace $A\subset X$, we prove $A$ can generate various algebraic elements in persistent homology of $X$. We call such elements (algebraic) footprints of $A$. Our results imply that footprints typically appear in dimensions above the dimension of $A$. Higher-dimensional persistent homology thus encodes lower-dimensional geometric features of $X$.
We pay special at…
▽ More
Given a metric space $X$ and a subspace $A\subset X$, we prove $A$ can generate various algebraic elements in persistent homology of $X$. We call such elements (algebraic) footprints of $A$. Our results imply that footprints typically appear in dimensions above the dimension of $A$. Higher-dimensional persistent homology thus encodes lower-dimensional geometric features of $X$.
We pay special attention to a specific type of geodesics in a geodesic surface $X$ called geodesic circles. We explain how they may generate non-trivial odd-dimensional and two-dimensional footprints. In particular, we can detect even some contractible geodesics using two- and three-dimensional persistent homology. This provides a link between persistent homology and length spectrum in Riemannian geometry.
△ Less
Submitted 7 December, 2021; v1 submitted 12 March, 2021;
originally announced March 2021.
-
Rips complexes as nerves and a Functorial Dowker-Nerve Diagram
Authors:
Žiga Virk
Abstract:
Using ideas of the Dowker duality we prove that the Rips complex at scale $r$ is homotopy equivalent to the nerve of a cover consisting of sets of prescribed diameter. We then develop a functorial version of the Nerve theorem coupled with the Dowker duality, which is presented as a Functorial Dowker-Nerve Diagram. These results are incorporated into a systematic theory of filtrations arising from…
▽ More
Using ideas of the Dowker duality we prove that the Rips complex at scale $r$ is homotopy equivalent to the nerve of a cover consisting of sets of prescribed diameter. We then develop a functorial version of the Nerve theorem coupled with the Dowker duality, which is presented as a Functorial Dowker-Nerve Diagram. These results are incorporated into a systematic theory of filtrations arising from covers. As a result we provide a general framework for reconstruction of spaces by Rips complexes, a short proof of the reconstruction result of Hausmann, and completely classify reconstruction scales for metric graphs. Furthermore we introduce a new extraction method for homology of a space based on nested Rips complexes at a single scale, which requires no conditions on neighboring scales nor the Euclidean structure of the ambient space.
△ Less
Submitted 28 October, 2019; v1 submitted 10 June, 2019;
originally announced June 2019.
-
The Space of Persistence Diagrams on $n$ Points Coarsely Embeds into Hilbert Space
Authors:
Atish Mitra,
Žiga Virk
Abstract:
We prove that the space of persistence diagrams on $n$ points (with the bottleneck or a Wasserstein distance) coarsely embeds into Hilbert space by showing it is of asymptotic dimension $2n$. Such an embedding enables utilisation of Hilbert space techniques on the space of persistence diagrams. We also prove that when the number of points is not bounded, the corresponding spaces of persistence dia…
▽ More
We prove that the space of persistence diagrams on $n$ points (with the bottleneck or a Wasserstein distance) coarsely embeds into Hilbert space by showing it is of asymptotic dimension $2n$. Such an embedding enables utilisation of Hilbert space techniques on the space of persistence diagrams. We also prove that when the number of points is not bounded, the corresponding spaces of persistence diagrams do not have finite asymptotic dimension. Furthermore, in the case of the bottleneck distance, the corresponding space does not coarsely embed into Hilbert space.
△ Less
Submitted 21 October, 2021; v1 submitted 22 May, 2019;
originally announced May 2019.
-
Approximations of 1-Dimensional Intrinsic Persistence of Geodesic Spaces and Their Stability
Authors:
Žiga Virk
Abstract:
A standard way of approximating or discretizing a metric space is by taking its Rips complexes. These approximations for all parameters are often bound together into a filtration, to which we apply the fundamental group or the first homology. We call the resulting object persistence.
Recent results demonstrate that persistence of a compact geodesic locally contractible space $X$ carries a lot of…
▽ More
A standard way of approximating or discretizing a metric space is by taking its Rips complexes. These approximations for all parameters are often bound together into a filtration, to which we apply the fundamental group or the first homology. We call the resulting object persistence.
Recent results demonstrate that persistence of a compact geodesic locally contractible space $X$ carries a lot of geometric information. However, by definition the corresponding Rips complexes have uncountably many vertices. In this paper we show that nonetheless, the whole persistence of $X$ may be obtained by an appropriate finite sample (subset of $X$), and that persistence of any subset of $X$ is well interleaved with the persistence of $X$. It follows that the persistence of $X$ is the minimum of persistences obtained by all finite samples. Furthermore, we prove a much improved Stability theorem for such approximations. As a special case we provide for each $r>0$ a density $s>0$, so that for each $s$-dense sample $S \subset X$ the corresponding fundamental group (and the first homology) of the Rips complex of $S$ is isomorphic to the one of $X$, leading to an improved reconstruction result.
△ Less
Submitted 24 May, 2018; v1 submitted 14 November, 2017;
originally announced November 2017.
-
1-Dimensional Intrinsic Persistence of Geodesic Spaces
Authors:
Žiga Virk
Abstract:
Given a compact geodesic space $X$ we apply the fundamental group and alternatively the first homology group functor to the corresponding Rips or Čech filtration of $X$ to obtain what we call a persistence. This paper contains the theory describing such persistence: properties of the set of critical points, their precise relationship to the size of holes, the structure of persistence and the relat…
▽ More
Given a compact geodesic space $X$ we apply the fundamental group and alternatively the first homology group functor to the corresponding Rips or Čech filtration of $X$ to obtain what we call a persistence. This paper contains the theory describing such persistence: properties of the set of critical points, their precise relationship to the size of holes, the structure of persistence and the relationship between open and close, Rips and Čech induced persistences. Amongst other results we prove that a Rips critical point $c$ corresponds to an isometrically embedded circle of length $3c$, that a homology persistence of a locally contractible space with coefficients in a field encodes the lengths of the lexicographically smallest base and that Rips and Čech induced persistences are isomorphic up to a factor $3/4$. The theory describes geometric properties of the underlying space encoded and extractable from persistence.
△ Less
Submitted 17 September, 2024; v1 submitted 15 September, 2017;
originally announced September 2017.
-
Higson Compactification and Dimension Raising
Authors:
Kyle Austin,
Žiga Virk
Abstract:
Let $X$ and $Y$ be proper metric spaces. We show that a coarsely $n$-to-$1$ map $f\colon X\to Y$ induces an $n$-to-$1$ map of Higson coronas. This viewpoint turns out to be successful in showing that the classical dimension raising theorems hold in large scale; that is, if $f \colon X\to Y$ is a coarsely $n$-to-$1$ map between proper metric spaces $X$ and $Y$ then $asdim(Y) \leq asdim(X) + n -1$.…
▽ More
Let $X$ and $Y$ be proper metric spaces. We show that a coarsely $n$-to-$1$ map $f\colon X\to Y$ induces an $n$-to-$1$ map of Higson coronas. This viewpoint turns out to be successful in showing that the classical dimension raising theorems hold in large scale; that is, if $f \colon X\to Y$ is a coarsely $n$-to-$1$ map between proper metric spaces $X$ and $Y$ then $asdim(Y) \leq asdim(X) + n -1$. Furthermore we introduce coarsely open coarsely $n$-to-$1$ maps, which include the natural quotient maps via a finite group action, and prove that they preserve the asymptotic dimension.
△ Less
Submitted 13 October, 2021; v1 submitted 13 August, 2016;
originally announced August 2016.
-
Multiple perturbations of a singular eigenvalue problem
Authors:
Matija Cencelj,
Dušan Repovš,
Žiga Virk
Abstract:
We study the perturbation by a critical term and a $(p-1)$-superlinear subcritical nonlinearity of a quasilinear elliptic equation containing a singular potential. By means of variational arguments and a version of the concentration-compactness principle in the singular case, we prove the existence of solutions for positive values of the parameter under the principal eigenvalue of the associated s…
▽ More
We study the perturbation by a critical term and a $(p-1)$-superlinear subcritical nonlinearity of a quasilinear elliptic equation containing a singular potential. By means of variational arguments and a version of the concentration-compactness principle in the singular case, we prove the existence of solutions for positive values of the parameter under the principal eigenvalue of the associated singular eigenvalue problem.
△ Less
Submitted 22 February, 2016;
originally announced February 2016.
-
Preserving Coarse Properties
Authors:
Jerzy Dydak,
Ziga Virk
Abstract:
The aim of this paper is to investigate properties preserved and co-preserved by coarsely $n$-to-1 functions, in particular by the quotient maps $X\to X/\sim$ induced by a finite group $G$ acting by isometries on a metric space $X$. The coarse properties we are mainly interested in are related to asymptotic dimension and its generalizations: having finite asymptotic dimension, asymptotic Property…
▽ More
The aim of this paper is to investigate properties preserved and co-preserved by coarsely $n$-to-1 functions, in particular by the quotient maps $X\to X/\sim$ induced by a finite group $G$ acting by isometries on a metric space $X$. The coarse properties we are mainly interested in are related to asymptotic dimension and its generalizations: having finite asymptotic dimension, asymptotic Property C, straight finite decomposition complexity, countable asymptotic dimension, and metric sparsification property. We provide an alternative description of asymptotic Property C and we prove that the class of spaces with straight finite decomposition complexity coincides with the class of spaces of countable asymptotic dimension.
△ Less
Submitted 27 June, 2015;
originally announced June 2015.
-
Inducing maps between Gromov boundaries
Authors:
Jerzy Dydak,
Ziga Virk
Abstract:
It is well known that quasi-isometric embeddings of Gromov hyperbolic spaces induce topological embeddings of their Gromov boundaries. A more general question is to detect classes of functions between Gromov hyperbolic spaces that induce continuous maps between their Gromov boundaries. In this paper we introduce the class of visual functions $f$ that do induce continuous maps $\tilde f$ between Gr…
▽ More
It is well known that quasi-isometric embeddings of Gromov hyperbolic spaces induce topological embeddings of their Gromov boundaries. A more general question is to detect classes of functions between Gromov hyperbolic spaces that induce continuous maps between their Gromov boundaries. In this paper we introduce the class of visual functions $f$ that do induce continuous maps $\tilde f$ between Gromov boundaries. Its subclass, the class of radial functions, induces Hoelder maps between Gromov boundaries. Conversely, every Hoelder map between Gromov boundaries of visual hyperbolic spaces induces a radial function. We study the relationship between large scale properties of f and small scale properties of $f$, especially related to the dimension theory. In particular, we prove a form of the dimension raising theorem. We give a natural example of a radial dimension raising map and we also give a general class of radial functions that raise asymptotic dimension.
△ Less
Submitted 27 June, 2015;
originally announced June 2015.
-
Dimension-Raising Maps in a Large Scale
Authors:
Takahisa Miyata,
Ziga Virk
Abstract:
Hurewicz's dimension-raising theorem states that for every n-to-1 map f : X \to Y, dim Y =< dim X + n holds. In this paper we introduce a new notion of finite-to-one like map in a large scale setting. Using this notion we formulate a dimension-raising type theorem for the asymptotic dimension and the asymptotic Assouad-Nagata dimension. It is also well-known as Hurewicz's finite-to-one mapping the…
▽ More
Hurewicz's dimension-raising theorem states that for every n-to-1 map f : X \to Y, dim Y =< dim X + n holds. In this paper we introduce a new notion of finite-to-one like map in a large scale setting. Using this notion we formulate a dimension-raising type theorem for the asymptotic dimension and the asymptotic Assouad-Nagata dimension. It is also well-known as Hurewicz's finite-to-one mapping theorem that dim X =< n if and only if there exists an (n + 1)-to-1 map from a 0-dimensional space onto X. We formulate a finite-to-one mapping type theorem for the asymptotic dimension and the asymptotic Assouad-Nagata dimension.
△ Less
Submitted 13 October, 2021; v1 submitted 24 July, 2013;
originally announced July 2013.
-
On Minc's sheltered middle path
Authors:
Dušan Repovš,
Witold Rosicki,
Žiga Virk,
Andreas Zastrow
Abstract:
This paper shows that a construction, which was introduced by Piotr Minc in connection with a problem that came from Helly type theorems and that allows to replace three PL-arcs with a "sheltered middle path", can in the case of general (non-PL) paths result in the topologist's sine curve.
This paper shows that a construction, which was introduced by Piotr Minc in connection with a problem that came from Helly type theorems and that allows to replace three PL-arcs with a "sheltered middle path", can in the case of general (non-PL) paths result in the topologist's sine curve.
△ Less
Submitted 20 June, 2012;
originally announced June 2012.
-
On semilocally simply connected spaces
Authors:
Hanspeter Fischer,
Dušan Repovš,
Ziga Virk,
Andreas Zastrow
Abstract:
The purpose of this paper is: (i) to construct a space which is semilocally simply connected in the sense of Spanier even though its Spanier group is non-trivial; (ii) to propose a modification of the notion of a Spanier group so that via the modified Spanier group semilocal simple connectivity can be characterized; and (iii) to point out that with just a slightly modified definition of semilocal…
▽ More
The purpose of this paper is: (i) to construct a space which is semilocally simply connected in the sense of Spanier even though its Spanier group is non-trivial; (ii) to propose a modification of the notion of a Spanier group so that via the modified Spanier group semilocal simple connectivity can be characterized; and (iii) to point out that with just a slightly modified definition of semilocal simple connectivity which is sometimes also used in literature, the classical Spanier group gives the correct characterization within the general class of path-connected topological spaces. While the condition "semilocally simply connected" plays a crucial role in classical covering theory, in generalized covering theory one needs to consider the condition "homotopically Hausdorff" instead. The paper also discusses which implications hold between all of the abovementioned conditions and, via the modified Spanier groups, it also unveils the weakest so far known algebraic characterization for the existence of generalized covering spaces as introduced by Fischer and Zastrow. For most of the implications, the paper also proves the non-reversibility by providing the corresponding examples. Some of them rely on spaces that are newly constructed in this paper.
△ Less
Submitted 4 February, 2011;
originally announced February 2011.
-
Homotopical Smallness and Closeness
Authors:
Ziga Virk
Abstract:
The aim of this paper is to introduce the concepts of homotopical smallness and closeness. These are the properties of homotopical classes of maps that are related to recent developments in homotopy theory and to the construction of universal covering spaces for non-semilocally simply connected spaces, in particular to the properties of being homotopically Hausdorff and homotopically path Hausdorf…
▽ More
The aim of this paper is to introduce the concepts of homotopical smallness and closeness. These are the properties of homotopical classes of maps that are related to recent developments in homotopy theory and to the construction of universal covering spaces for non-semilocally simply connected spaces, in particular to the properties of being homotopically Hausdorff and homotopically path Hausdorff. The definitions of notions in question and their role in homotopy theory are complemented by examples, extensional classifications, universal constructions and known applications
△ Less
Submitted 4 January, 2011;
originally announced January 2011.
-
Fundamental groups of Peano continua
Authors:
J. Dydak,
Z. Virk
Abstract:
Extending a theorem of Shelah we prove that fundamental groups of Peano continua (locally connected and connected metric compact spaces) are finitely presented if they are countable. The proof uses ideas from geometric group theory.
Extending a theorem of Shelah we prove that fundamental groups of Peano continua (locally connected and connected metric compact spaces) are finitely presented if they are countable. The proof uses ideas from geometric group theory.
△ Less
Submitted 4 February, 2010; v1 submitted 18 March, 2009;
originally announced March 2009.
-
Realizations of Countable Groups as Fundamental Groups of Compacta
Authors:
Ziga Virk
Abstract:
It is an open question (Pawlikowski) whether every finitely generated group can be realized as a fundamental group of a compact metric space. In this paper we prove that any countable group can be realized as the fundamental group of a compact subspace of four dimensional Euclidean space. According to theorems of Shelah (see also Pawlikowski) such space can not be locally path connected if the g…
▽ More
It is an open question (Pawlikowski) whether every finitely generated group can be realized as a fundamental group of a compact metric space. In this paper we prove that any countable group can be realized as the fundamental group of a compact subspace of four dimensional Euclidean space. According to theorems of Shelah (see also Pawlikowski) such space can not be locally path connected if the group is not finitely generated. This constructions complements realization of groups in the context of compact Hausdorff spaces, that was studied by Keesling and Rudyak, and Przezdziecki .
△ Less
Submitted 15 November, 2008; v1 submitted 20 October, 2008;
originally announced October 2008.
-
Compact maps and quasi-finite complexes
Authors:
M. Cencelj,
J. Dydak,
J. Smrekar,
A. Vavpetic,
Z. Virk
Abstract:
The simplest condition characterizing quasi-finite CW complexes $K$ is the implication $Xτ_h K\implies β(X)τK$ for all paracompact spaces $X$. Here are the main results of the paper:
Theorem: If $\{K_s\}_{s\in S}$ is a family of pointed quasi-finite complexes, then their wedge $\bigvee\limits_{s\in S}K_s$ is quasi-finite.
Theorem: If $K_1$ and $K_2$ are quasi-finite countable complexes, then…
▽ More
The simplest condition characterizing quasi-finite CW complexes $K$ is the implication $Xτ_h K\implies β(X)τK$ for all paracompact spaces $X$. Here are the main results of the paper:
Theorem: If $\{K_s\}_{s\in S}$ is a family of pointed quasi-finite complexes, then their wedge $\bigvee\limits_{s\in S}K_s$ is quasi-finite.
Theorem: If $K_1$ and $K_2$ are quasi-finite countable complexes, then their join $K_1\ast K_2$ is quasi-finite.
Theorem: For every quasi-finite CW complex $K$ there is a family $\{K_s\}_{s\in S}$ of countable CW complexes such that $\bigvee\limits_{s\in S} K_s$ is quasi-finite and is equivalent, over the class of paracompact spaces, to $K$.
Theorem: Two quasi-finite CW complexes $K$ and $L$ are equivalent over the class of paracompact spaces if and only if they are equivalent over the class of compact metric spaces.
Quasi-finite CW complexes lead naturally to the concept of $Xτ{\mathcal F}$, where ${\mathcal F}$ is a family of maps between CW complexes. We generalize some well-known results of extension theory using that concept.
△ Less
Submitted 28 February, 2008; v1 submitted 30 August, 2006;
originally announced August 2006.
-
Algebraic properties of quasi-finite complexes
Authors:
M. Cencelj,
J. Dydak,
J. Smrekar,
A. Vavpetic,
Z. Virk
Abstract:
A countable CW complex $K$ is quasi-finite (as defined by A.Karasev) if for every finite subcomplex $M$ of $K$ there is a finite subcomplex $e(M)$ such that any map $f:A\to M$, where $A$ is closed in a separable metric space $X$ satisfying $XτK$, has an extension $g:X\to e(M)$. Levin's results imply that none of the Eilenberg-MacLane spaces $K(G,2)$ is quasi-finite if $G\ne 0$. In this paper we…
▽ More
A countable CW complex $K$ is quasi-finite (as defined by A.Karasev) if for every finite subcomplex $M$ of $K$ there is a finite subcomplex $e(M)$ such that any map $f:A\to M$, where $A$ is closed in a separable metric space $X$ satisfying $XτK$, has an extension $g:X\to e(M)$. Levin's results imply that none of the Eilenberg-MacLane spaces $K(G,2)$ is quasi-finite if $G\ne 0$. In this paper we discuss quasi-finiteness of all Eilenberg-MacLane spaces. More generally, we deal with CW complexes with finitely many nonzero Postnikov invariants.
Here are the main results of the paper: Suppose $K$ is a countable CW complex with finitely many nonzero Postnikov invariants. If $π_1(K)$ is a locally finite group and $K$ is quasi-finite, then $K$ is acyclic. Suppose $K$ is a countable non-contractible CW complex with finitely many nonzero Postnikov invariants. If $π_1(K)$ is nilpotent and $K$ is quasi-finite, then $K$ is extensionally equivalent to $S^1$.
△ Less
Submitted 24 September, 2005;
originally announced September 2005.
