arXiv research

Croke and Kleiner constructed two homeomorphic locally CAT(0) complexes whose universal covers have visual boundaries that are not homeomorphic. We construct two homeomorphic locally CAT(0) complexes so that the visual boundary of one universal cover contains a nonplanar graph, while the visual boundary of the other do…

New method visualizes decision boundaries of classification models.

Explains visual metrics on hyperbolic space boundaries.

A seminal result in geometric group theory is that a 1-ended hyperbolic group has a locally connected visual boundary. As a consequence, a 1-ended hyperbolic group also has a path connected visual boundary. In this paper, we study when this phenomenon occurs for CAT(0) groups. We show if a 1-ended CAT(0) group with iso…

Groups acting on product trees are boundary rigid.

For n>6, we show that if G is a torsion-free hyperbolic group whose visual boundary is an (n-2)-dimensional Sierpinski space, then G=π_1(W) for some aspherical n-manifold W with nonempty boundary. Concerning the converse, we construct, for each n>3, examples of aspherical manifolds with boundary, whose fundamental grou…

Suppose a finitely generated group $G$ is hyperbolic relative to $\mathcal P$ a set of proper finitely generated subgroups of $G$. Established results in the literature imply that a "visual" metric on $\partial (G,\mathcal P)$ is "linearly connected" if and only if the boundary $\partial (G,\mathcal P)$ has no cut poin…

In all known examples of a CAT(0) group acting on CAT(0) spaces with non-homeomorphic CAT(0) visual boundaries, the boundaries are each not path connected. In this paper, we show this does not have to be the case by providing examples of right-angled Artin groups which exhibit non-unique CAT(0) boundaries where all of …

To every Gromov hyperbolic space X one can associate a space at infinity called the Gromov boundary of X. Gromov showed that quasi-isometries of hyperbolic metric spaces induce homeomorphisms on their boundaries, thus giving rise to a well-defined notion of the boundary of a hyperbolic group. Croke and Kleiner showed t…

For arbitrary integer n, we describe a large class of right-angled Coxeter systems for which the visual baundary (of the corresponding Coxeter-Davis complex) is homeomorphic to the n-dimensional Sierpiński compactum. We also provide a necessary and sufficient condition for a planar simplicial complex L under which the …

We specify exactly which groups can act geometrically on CAT(0) spaces whose visual boundary is homeomorphic to either a circle or a suspension of a Cantor set.

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 cl…

We prove that a PQ-symmetric homeomorphism between two complete metric spaces can be extended to a quasi-isometry between their hyperbolic approximations. This result is used to prove that two visual Gromov hyperbolic spaces are quasi-isometric if and only if there is a PQ-symmetric homeomorphism between their boundari…

Study boundary actions on CAT(0) spaces, proving topological freeness.

Diestel-Leader graphs are neither hyperbolic nor CAT(0), so their visual boundaries may be pathological. Indeed, we show that for $d>2$, $\partial\text{DL}_d(q)$ carries the indiscrete topology. On the other hand, $\partial\text{DL}_2(q)$, while not Hausdorff, is $T_1$, totally disconnected, and compact. Since $\text{D…

New groups prevent certain geometric actions on spaces.

The paper explores uniform perfectness and centers in Morse boundaries.

We explore visual representations of tilings corresponding to Schläfli symbols. In three dimensions, we call these tilings "honeycombs". Schläfli symbols encode, in a very efficient way, regular tilings of spherical, euclidean and hyperbolic spaces in all dimensions. In three dimensions, there are only a finite number …

We show that canonical Carnot-Caratheodory spherical and horospherical metrics, which are defined on the boundary at infinity of every rank one symmetric space of non-compact type, are visual, i.e., they are bilipschitz equivalent with universal bilipschitz constants to the inverse exponent of Gromov products based in …

As demonstrated by Croke and Kleiner, the visual boundary of a CAT(0) group is not well-defined since quasi-isometric CAT(0) spaces can have non-homeomorphic boundaries. We introduce a new type of boundary for a CAT(0) space, called the contracting boundary, made up rays satisfying one of five hyperbolic-like propertie…

C Croke and B Kleiner have constructed an example of a CAT(0) group with more than one visual boundary. J Wilson has proven that this same group has uncountably many distinct boundaries. In this article we prove that the knot group of any connected sum of two non-trivial torus knots also has uncountably many distinct C…

We introduce a quasi-symmetry invariant of a metric space Z called the capacity dimension. Our main result says that for a visual Gromov hyperbolic space X the asymptotic dimension of X is at most the capacity dimension of its boundary at infinity plus 1.

We propose a new equilibrium enforcing method paired with a loss derived from the Wasserstein distance for training auto-encoder based Generative Adversarial Networks. This method balances the generator and discriminator during training. Additionally, it provides a new approximate convergence measure, fast and stable t…

The paper shows how sublinearly Morse boundaries can be understood through combinatorial methods.

In this paper, we study the capacity dimension of the boundary of $CAT(0)$ spaces. We first compare the two metrics on the boundary of a hyperbolic $CAT(0)$ space, i.e., the visual metric and the conical metric, and prove that they give the same capacity dimension of the boundary. Then we study the capacity dimension o…

The paper studies the connectedness of a graph's boundary for surfaces.

Given an orientable surface with boundary and a free homotopy class, we present a purely combinatorial algorithm which produces a representative of that homotopy class with minimal self intersection.

Uniform proof reconstructs spaces using cross ratio on boundary.

Study boundary actions of CAT(0) spaces and their $C^*$-algebras.

Non-positively curved spaces admitting a cocompact isometric action of an amenable group are investigated. A classification is established under the assumption that there is no global fixed point at infinity under the full isometry group. The visual boundary is then a spherical building. When the ambient space is geode…

Constructs Gabor frames for curved manifolds to detect boundaries.

We prove that every visual Gromov hyperbolic space X whose boundary at infinity has the finite capacity dimension n admits a quasi-isometric embedding into (n+1)-fold product of metric trees.

This paper extends boundary embedding results to coarsely convex spaces.

New topology shows Morse boundaries are topologically invariant.

Let X be a symmetric space of non-compact type or a locally finite, strongly transitive Euclidean building, and let B denote the geodesic boundary of X. We reduce the study of visual limits of maximal flats in X to the study of limits of apartments in the spherical building B: this defines a natural, geometric compacti…

Let $X$ be a proper geodesic metric space and let $G$ be a group of isometries of $X$ which acts geometrically. Cordes constructed the Morse boundary of $X$ which generalizes the contracting boundary for CAT(0) spaces and the visual boundary for hyperbolic spaces. We characterize Morse elements in $G$ by their fixed po…

It is well known that every word hyperbolic group has a well-defined visual boundary. An example of C. Croke and B. Kleiner shows that the same cannot be said for CAT(0) groups. All boundaries of a CAT(0) group are, however, shape equivalent, as observed by M. Bestvina and R. Geoghegan. Bestvina has asked if they also …

Figures are an important channel for scientific communication, used to express complex ideas, models and data in ways that words cannot. However, this visual information is mostly ignored in analyses of the scientific literature. In this paper, we demonstrate the utility of using scientific figures as markers of knowle…

A generic finite presentation defines a word hyperbolic group whose boundary is homeomorphic to the Menger curve. In this article, we produce the first known examples of non-hyperbolic $CAT(0)$ groups whose visual boundary is homeomorphic to the Menger curve. The examples in question are the Coxeter groups whose nerve …

We will show that if a proper complete CAT(0) space X has a visual boundary homeomorphic to the join of two Cantor sets, and X admits a geometric group action by a group containing a subgroup isomorphic to Z^2, then its Tits boundary is the spherical join of two uncountable discrete sets. If X is geodesically complete,…

We investigate solutions to the minimal surface problem with Dirichlet boundary conditions in the roto-translation group equipped with a subRiemannian metric. By work of G. Citti and A. Sarti, such solutions are amodal completions of occluded visual data when using a model of the first layer of the visual cortex. Using…

Deep neural networks have been widely deployed in various machine learning tasks. However, recent works have demonstrated that they are vulnerable to adversarial examples: carefully crafted small perturbations to cause misclassification by the network. In this work, we propose a novel defense mechanism called Boundary …

The paper develops a theory of conformal density at infinity for groups with contracting elements.

A Thurston map is a branched covering map from $§^2$ to $§^2$ with a finite postcritical set. We associate a natural Gromov hyperbolic graph $\G=\G(f,\mathcal C)$ with an expanding Thurston map $f$ and a Jordan curve $\mathcal C$ on $§^2$ containing $\post(f)$. The boundary at infinity of $\G$ with associated visual me…

We consider hyperbolic structures on the compression body C with genus 2 positive boundary and genus 1 negative boundary. Note that C deformation retracts to the union of the torus boundary and a single arc with its endpoints on the torus. We call this arc the core tunnel of C. We conjecture that, in any geometrically …

We consider properly discontinuous, isometric, convex cocompact actions of surface groups on a CAT(-1) space. We show that the limit set of such an action, equipped with the canonical visual metric, is a (weak) quasicircle in the sense of Falconer and Marsh. It follows that the visual metrics on such limit sets are cla…

We define an ending lamination for a Weil-Petersson geodesic ray. Despite the lack of a natural visual boundary for the Weil-Petersson metric, these ending laminations provide an effective boundary theory that encodes much of its asymptotic CAT(0) geometry. In particular, we prove an ending lamination theorem (Theorem …

Incorporating human domain knowledge for breast tumor diagnosis is challenging, since shape, boundary, curvature, intensity, or other common medical priors vary significantly across patients and cannot be employed. This work proposes a new approach for integrating visual saliency into a deep learning model for breast t…