arXiv subjects

Žiga Virk

Publications and source records attributed to Žiga Virk.

26 records · Page 2Linked to original sources

arXiv2022

Contractions in persistence and metric graphs

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$.

math.AT↗

arXiv2021

Footprints of geodesics in persistent homology

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.

math.AT↗

arXiv2021

The Space of Persistence Diagrams on $n$ Points Coarsely Embeds into Hilbert Space

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.

math.MG↗

arXiv2021

Higson Compactification and Dimension Raising

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.

math.GT↗

arXiv2019

Rips complexes as nerves and a Functorial Dowker-Nerve Diagram

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.

math.MG↗

arXiv2018

Approximations of 1-Dimensional Intrinsic Persistence of Geodesic Spaces and Their Stability

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.

math.GT↗

arXiv2016

Multiple perturbations of a singular eigenvalue problem

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.

math.AP↗

arXiv2012

On Minc's sheltered middle path

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.

math.GT↗