In arXiv math.MG/0207296 we introduced a product construction for locally compact, complete, geodesic hyperbolic metric spaces. In the present paper we define the hyperbolic product for general Gromov-hyperbolic spaces. In the case of roughly geodesic spaces we also analyse the boundary at infinity.
We mainly consider two metrics: a Gromov hyperbolic metric and a scale invariant Cassinian metric. We compare these two metrics and obtain their relationship with certain well-known hyperbolic-type metrics, leading to several inclusion relations between the associated metric balls.
Recently, strongly hyperbolic space as certain analytic enhancements of Gromov hyperbolic space was introduced by B. Nica and J. Spakula. In this note, we prove that the log-metric log(1+d) on a Ptolemy space (X,d) is a strongly hyperbolic metric. Using our result, we construct three metrics on a Ptolemy metric space and prove they are strongly hyperbolic.
Inclusion relations of metric balls defined by the hyperbolic, the quasihyperbolic, the $j$-metric and the chordal metric will be studied. The hyperbolic metric, the quasihyperbolic metric and the $j$-metric are considered in the unit ball.
Let (X_i,d_i), i=1,2, be proper geodesic hyperbolic metric spaces. We give a general construction for a ``hyperbolic product'' X_1{times}_h X_2 which is itself a proper geodesic hyperbolic metric space and examine its boundary at infinity.
The connection between several hyperbolic type metrics is studied in subdomains of the Euclidean space. In particular, a new metric is introduced and compared to the distance ratio metric.
In this paper, we consider a scale invariant Cassinian metric and a Gromov hyperbolic metric. We discuss a distortion property of the scale invariant Cassinian metric under Möbius maps of a punctured ball onto another punctured ball. We obtain a modulus of continuity of the identity map from a domain equipped with the scale invariant Cassinian metric (or the Gromov hyperbolic metric) onto the same domain equipped with the Euclidean metric. The quasi-invariance properties of both the metrics under quasiconformal maps are also established.
We will consider inclusion of metric balls defined by the quasihyperbolic, the $j$-metric and the chordal metric. The quasihyperbolic metric and the $j$-metric are considered in general subdomains of $\mathbb{R}^n$ and in some particular domains like $\mathbb{R}^n \setminus {0}$ and the upper half-space.
The Hilbert metric on convex subsets of $\mathbb R^n$ has proven a rich notion and has been extensively studied. We propose here a generalization of this metric to subset of complex projective spaces and give examples of applications to diverse fields. Basic examples include the classical Hilbert metric which coincides with the hyperbolic metric on real hyperbolic spaces as well as the complex hyperbolic metric on complex hyperbolic spaces.
In a recent paper Chatterji and Niblo proved that a geodesic metric space is Gromov hyperbolic if and only if the intersection of any two closed balls has uniformly bounded eccentricity. In their paper, the authors raise the question whether a geodesic metric space with the property that the intersection of any two closed balls has eccentricity 0, is necessarily a real tree. The purpose of this note is to answer this question affirmatively. We also partially improve the main result of Chatterji and Niblo by showing that already sublinear eccentricity implies Gromov hyperbolicity.
It is known that the $\tilde j$-metric, half-apollonian metric and scale-invariant Cassinian metric are not Gromov hyperbolic. These metrics are defined as a supremum of one-point metrics (i.e., metrics constructed using one boundary point) and the supremum is taken over all boundary points. The aim of this paper is to show that taking the average instead of the supremum yields a metric that preserves the Gromov hyperbolicity. Moreover, we show that the Gromov hyperbolicity constant of the resulting metric does not depend on the number of metrics used in taking the average. We also provide an …
We obtain explicit and simple conditions which in many cases allow one decide, whether or not a Denjoy domain endowed with the Poincare or quasihyperbolic metric is Gromov hyperbolic. The criteria are based on the Euclidean size of the complement. As a corollary, the main theorem allows to deduce the non-hyperbolicity of any periodic Denjoy domain.
A real valued function $φ$ of one variable is called a metric transform if for every metric space $(X,d)$ the composition $d_φ= φ\circ d$ is also a metric on $X$. We give a complete characterization of the class of approximately nondecreasing, unbounded metric transforms $φ$ such that the transformed Euclidean half line $([0,\infty),|\cdot|_φ)$ is Gromov hyperbolic. As a consequence, we obtain metric transform rigidity for roughly geodesic Gromov hyperbolic spaces, that is, if $(X,d)$ is any metric space containing a rough geodesic ray and $φ$ is an approximately nondecreasing, unbounded metri…
We introduce a new quasi-isometry invariant of metric spaces called the hyperbolic dimension, hypdim, which is a version of the Gromov's asymptotic dimension, asdim. The hyperbolic dimension is at most the asymptotic dimension, however, unlike the asymptotic dimension, the hyperbolic dimension of any Euclidean space R^n is zero (while asdim R^n=n.) This invariant possesses usual properties of dimension like monotonicity and product theorems. Our main result says that the hyperbolic dimension of any Gromov hyperbolic space X (with mild restrictions) is at least the topological dimension of the …
In this paper, we study certain applications of sphericalization in Gromov hyperbolic metric spaces. We first show that the doubling property regarding two classes of metrics on the Gromov boundary of hyperbolic spaces are coincided. Next, we obtain a characterization of unbounded Gromov hyperbolic domains via metric spaces sphericalization. Finally, we investigate the topological equivalence of Gromov hyperbolic $φ$-uniform domains between the Gromov boundary and the inner metric boundary.
We investigate the relationship between the metric boundary and the Gromov boundary of a hyperbolic metric space. We show that the Gromov boundary is a quotient topological space of the metric boundary, and that therefore a word-hyperbolic group has an amenable action on the metric boundary of its Cayley graph. This result has significance for the study of Lip-norms on group C*-algebras.
It is shown that a construction of Z. Zhang and Y. Xiao on open subsets of Ptolemaic spaces yields, when the subset has boundary containing at least two points, metrics that are Gromov hyperbolic with parameter $\log 2$ and strongly hyperbolic with parameter $1$ with no further conditions on the open set. A class of examples is constructed on Hadamard manifolds showing these estimates of the parameters are sharp.
We give estimates on asymptotic dimensions of products of general hyperbolic spaces with following applications to the hyperbolic groups. We give examples of strict inequality in the product theorem for the asymptotic dimension in the class of the hyperbolic groups; and examples of strict inequality in the product theorem for the hyperbolic dimension. We prove that R is dimensionally full for the asymptotic dimension in the class of the hyperbolic groups.
We introduce the quasi-hyperbolicity constant of a metric space, a rough isometry invariant that measures how a metric space deviates from being Gromov hyperbolic. This number, for unbounded spaces, lies in the closed interval $[1,2]$. The quasi-hyperbolicity constant of an unbounded Gromov hyperbolic space is equal to one. For a CAT$(0)$-space, it is bounded from above by $\sqrt{2}$. The quasi-hyperbolicity constant of a Banach space that is at least two dimensional is bounded from below by $\sqrt{2}$, and for a non-trivial $L_p$-space it is exactly $\max\{2^{1/p},2^{1-1/p}\}$. If $0 < α< 1$ …
We give exact and approximation algorithms for computing the Gromov hyperbolicity of an n-point discrete metric space. We observe that computing the Gromov hyperbolicity from a fixed base-point reduces to a (max,min) matrix product. Hence, using the (max,min) matrix product algorithm by Duan and Pettie, the fixed base-point hyperbolicity can be determined in O(n^2.69) time. It follows that the Gromov hyperbolicity can be computed in O(n^3.69) time, and a 2-approximation can be found in O(n^2.69) time. We also give a (2 log_2 n)-approximation algorithm that runs in O(n^2) time, based on a tree-…
A Fuchsian polyhedron in hyperbolic space is a polyhedral surface invariant under the action of a Fuchsian group of isometries (i.e. a group of isometries leaving globally invariant a totally geodesic surface, on which it acts cocompactly). The induced metric on a convex Fuchsian polyhedron is isometric to a hyperbolic metric with conical singularities of positive singular curvature on a compact surface of genus greater than one. We prove that these metrics are actually realised by exactly one convex Fuchsian polyhedron (up to global isometries). This extends a famous theorem of A.D. Alexandro…
We propose the metric notion of strong hyperbolicity as a way of obtaining hyperbolicity with sharp additional properties. Specifically, strongly hyperbolic spaces are Gromov hyperbolic spaces that are metrically well-behaved at infinity, and, under weak geodesic assumptions, they are strongly bolic as well. We show that CAT(-1) spaces are strongly hyperbolic. On the way, we determine the best constant of hyperbolicity for the standard hyperbolic plane. We also show that the Green metric defined by a random walk on a hyperbolic group is strongly hyperbolic. A measure-theoretic consequence at t…
We study the geometry of hyperbolic cone surfaces, possibly with cusps or geodesic boundaries. We prove that any hyperbolic cone structure on a surface of non-exceptional type is determined up to isotopy by the geodesic lengths of a finite specific homotopy classes of non-peripheral simple closed curves. As an application, we show that the Thurston asymmetric metric is well-defined on the Teichmüller space of hyperbolic cone surfaces with fixed cone angles and boundary lengths. We compare such a Teichmüller space with the Teichmüller space of complete hyperbolic surfaces with punctures, by sho…
We show that every Gromov hyperbolic group $\Ga$ admits a quasi-isometric embedding into the product of $(n+1)$ binary trees, where $n=\dim\di\Ga$ is the topological dimension of the boundary at infinity of $\Ga$.
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.
We prove that a finitely generated, right-angled, hyperbolic Coxeter group can be quasiisometrically embedded into the product of n binary trees, where n is the chromatic number of the group. As application we obtain certain strongly aperiodic tilings of the Davis complex of these groups.
We characterize Gromov hyperbolicity of the quasihyperbolic metric space (Ω,k) by geometric properties of the Ahlfors regular length metric measure space (Ω,d,μ). The characterizing properties are called the Gehring--Hayman condition and the ball--separation condition.
A discrete conformality for hyperbolic polyhedral surfaces is introduced in this paper. This discrete conformality is shown to be computable. It is proved that each hyperbolic polyhedral metric on a closed surface is discrete conformal to a unique hyperbolic polyhedral metric with a given discrete curvature satisfying Gauss-Bonnet formula. Furthermore, the hyperbolic polyhedral metric with given curvature can be obtained using a discrete Yamabe flow with surgery. In particular, each hyperbolic polyhedral metric on a closed surface with negative Euler characteristic is discrete conformal to a u…
We consider a coarse version of the marked length spectrum rigidity: given a group with two left invariant metrics, if the marked length spectrum (the translation length function) under the two metrics are the same, then the two metrics are uniformly close. We prove the rigidity theorem for relatively hyperbolic groups. This generalizes a result of Fujiwara.
We show that superreflexivity can be characterized in terms of bilipschitz embeddability of word hyperbolic groups. We compare characterizations of superreflexivity in terms of diamond graphs and binary trees. We show that there exist sequences of series-parallel graphs of increasing topological complexity which admit uniformly bilipschitz embeddings into a Hilbert space, and thus do not characterize superreflexivity.
University of Michigan(密歇根大学);Yale University(耶鲁大学);Department of Mathematics(数学系);Department of Statistics and Data Science(统计与数据科学系);Ann Arbor, MI, 48104(安阿伯,密歇根州,48104);New Haven, CT, 06510(纽黑文,康涅狄格州,06510)
Given data, finding a faithful low-dimensional hyperbolic embedding of the data is a key method by which we can extract hierarchical information or learn representative geometric features of the data. In this paper, we explore a new method for learning hyperbolic representations by taking a metric-first approach. Rather than determining the low-dimensional hyperbolic embedding directly, we learn a tree structure on the data. This tree structure can then be used directly to extract hierarchical information, embedded into a hyperbolic manifold using Sarkar's construction \cite{sarkar}, or used a…