Abstract
The aim of this paper is to clarify the relationship between Gromov-hyperbolicity and amenability for planar maps.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Hyperbolicity and non-amenabilityFootnote 1 are important and well-studied properties for groups (where the former implies the latter unless the group is 2-ended). They are also fundamental in the emerging field of coarse geometry [1]. The aim of this paper is to clarify their relationship for planar graphs that do not necessarily have many symmetries: we show that these properties become equivalent when strengthened by certain additional conditions, but not otherwise.
Let \({\mathcal {P}}\) denote the class of plane graphs (aka. planar maps), with no accumulation point of vertices and with bounded vertex degrees. Let \({\mathcal {P}}'\) denote the subclass of \({\mathcal {P}}\) comprising the graphs with no unbounded face. We prove
Theorem 1
Let G be a graph in \({\mathcal {P}}'\). Then G is hyperbolic and uniformly isoperimetric if and only if it is non-amenable and it has bounded codegree.
Here, the length of a face is the number of edges on its boundary; a bounded face is a face with finite length; a plane graph has bounded codegree if there is an upper bound on the length of bounded faces. A graph is uniformly isoperimetric if satisfies an isoperimetric inequality of the form \(|S|\le f(|\partial S|)\) for all non-empty finite vertex sets S, where \(f:\mathbb {N}\rightarrow \mathbb {N}\) is a monotone increasing, diverging function and \(\partial S\) is the set of vertices not in S but with a neighbour in S.
Theorem 1 is an immediate corollary of the following somewhat finer result
Theorem 2
Let G be a graph in \({\mathcal {P}}\). Then the following hold:
-
1.
if G is non-amenable and has bounded codegree then it is hyperbolic;
-
2.
if G is hyperbolic and uniformly isoperimetric then it has bounded codegree;
-
3.
if G is hyperbolic and uniformly isoperimetric and in addition has no unbounded face then it non-amenable.
In the next section we provide examples showing that none of the conditions featuring in Theorem 2 can be weakened, and that the no accumulation point condition is needed.
We expect that Theorem 2 remains true in the class of 1-ended Riemannian surfaces if we replace the bounded degree condition with the property of having bounded curvature and the bounded codegree condition with the property of having bounded length of boundary components.
1.1 Tightness of Theorem 2
We remark that having bounded degrees is a standard assumption, and assuming bounded codegree is not less natural when the graph is planar. Part of the motivation behind Theorem 2 comes from related recent work of the second author [4, 6], especially the following
Theorem 3
([6]) Let G be an infinite, Gromov-hyperbolic, non-amenable, 1-ended, plane graph with bounded degrees and no infinite faces. Then the following five boundaries of G (and the corresponding compactifications of G) are canonically homeomorphic to each other: the hyperbolic boundary, the Martin boundary, the boundary of the square tiling, the Northshield circle, and the boundary \(\partial _{\cong }(G)\).
In order to show the independence of the hypotheses in Theorem 3, the second author provided a counterexample to a conjecture of Northshield [9] asking whether a plane, accumulation-free, non-amenable graph with bounded vertex degrees must be hyperbolic. That counterexample had unbounded codegree, and so the question came up of whether Northshield’s conjecture would be true subject to the additional condition of bounded codegree. The first part of Theorem 2 says that this is indeed the case.
A related problem from [6] asks whether there is a planar, hyperbolic graph with bounded degrees, no unbounded faces, and the Liouville property. Combined with a result of [4] showing that the Liouville property implies amenability in this context, the third part of Theorem 2 implies that such a graph would need to have accumulation points or satisfy no isoperimetric inequality. (Note that such a graph could have bounded codegree.)
The aforementioned example from [6] shows that non-amenability implies neither hyperbolicity nor bounded codegree, and is one of the examples needed to show that no one of the four properties that show up in Theorem 2 implies any of the other in \({\mathcal {P}}\) (with the exception of non-amenability implying weak non-amenability). We now describe other examples showing the independence of those properties.
To prove that bounded codegree does not imply hyperbolicity or that weak non-amenability does not imply non-amenability it suffices to consider the square grid \(\mathbb {Z}^2\).
To prove that hyperbolicity does not imply weak non-amenability nor bounded codegree, we adopt an example suggested by B. Bowditch (personal communication). Start with a hyperbolic graph G of bounded codegree \(\Delta (G^*)\) and perform the following construction on any infinite sequence \(\{F_n\}\) of faces of G. Enumerate the vertices of \(F_n\) as \(f_1, \ldots f_k\) in the order they appear along \(F_n\) starting with an arbitrary vertex. Add a new vertex \(v_n\) inside \(F_n\), and join it to each \(f_i\) by a path \(P_i\) of length n (i.e. with n edges), so that the \(P_i\)’s meet only at \(v_n\). Then for every \(1\le i\le k-1\), and every \(1<j<n\), join the jth vertices of \(P_i\) and \(P_{i+1}\) with an edge. Call \(G_1\) the resulting graph. Then \(G_1\) has unbounded codegree, because \(P_1, P_k\) and one of the edges of \(F_n\) bound a face of length \(2n-1\). Moreover \(G_1\) is not uniformly isoperimetric: the set of vertices inside \(F_n\) is unbounded in n, while its boundary has \(|F_n|\le \Delta (G^*)\) vertices. Finally, \(G_1\) is hyperbolic: it is quasi-isometric to the graph obtained from G by attaching a path R of length n to each \(F_n\).
To prove that bounded codegree does not imply weak non-amenability, consider the graph \(G_2\) obtained from the same construction as above except that we now also introduce edges between \(P_k\) and \(P_1\): now \(G_2\) has bounded codegree while still not being uniformly isoperimetric.Footnote 2
To prove that hyperbolicity and weak non-amenability together do not imply non-amenability without the condition of no unbounded face consider the following example. Let H be the hyperbolic graph constructed as follows. The vertex set of H is the subset of \(\mathbb {R}^2\) given by \(\{(\frac{i}{2^n},n)\mid i\in \mathbb {Z},n\in \mathbb {N}\}\). Join two vertices \((\frac{i}{2^n},n),(\frac{j}{2^m},m)\) with an edge whenever either \(n=m\) and \(i=j+1\) or \(n=m+1\) and \(i=2j\). The finite graph H(a) is the subgraph of H induced by those vertices contained inside the square with corners (0, 0), (a, 0), (a, 0), (a, a). We construct the graph G by attaching certain H(n) to H as follows. For every \(n\in \mathbb {N}\), attach a copy of H(n) along the path \(\{(n^2,0),\ldots ,(n^2+n,0)\}\) of H by identifying the vertex \((n^2+k,0)\) of H with the vertex (k, 0) of H(n), \(k=0,\ldots ,n\). Note that the resulting graph G is planar because \(n^2+n< (n+1)^2\), and so the H(n)’s we attached to H do not overlap. It is easy to prove that G is amenable and uniformly isoperimetric. It is also not hard to check that G is hyperbolic, by noticing that the ray \(\{(x,0) \mid x\in \mathbb {Z}\}\subset G\) contains the only geodesic between any two of its vertices, and using the fact that the H(n) were glued onto the hyperbolic graph H along that ray; one could for example explicitly check the thin triangles condition.
To see that Theorem 2 becomes false if we allow accumulation points of vertices, consider the free product of the square grid \(\mathbb {Z}^2\) with the line \(\mathbb {Z}\); this graph can be embedded with bounded codegree, and it is non-amenable but not hyperbolic.
2 Definitions
The degree \(\deg (v)\) of a vertex v in a graph G is the number of edges incident with v; if
is finite we will say that G has bounded degree.
An embedding of a graph G in the plane will always mean a topological embedding of the corresponding 1-complex in the euclidean plane \(\mathbb {R}^2\); in simpler words, an embedding is a drawing in the plane with no two edges crossing. A plane graph is a graph endowed with a fixed embedding. A plane graph is accumulation-free if its set of vertices has no accumulation point in the plane.
A face of an embedding \(\sigma : G \rightarrow \mathbb {R}^2\) is a component of \(\mathbb {R}^2 \setminus \sigma (G)\). The boundary of a face F is the set of vertices and edges of G that are mapped by \(\sigma \) to the closure of F. The length |F| of F is the number of edges in its boundary. A face F is bounded if the length |F| is finite. If
is finite we will say that G has bounded codegree.
The Cheeger constant of a graph G is
where \(\partial S=\{v\in G\setminus S\mid \text {there exists }w\in S\text { adjacent to }v\}\) is the boundary of S. Graphs with strictly positive Cheeger constant are called non-amenable graphs. A graph is uniformly isoperimetric if satisfies an isoperimetric inequality of the form \(|S|\le f(|\partial S|)\) for all non-empty finite vertex sets S, where \(f:\mathbb {N}\rightarrow \mathbb {N}\) is a monotone increasing diverging function.
A x–y path in a graph G is called a geodesic if its length coincides with the distance between x and y. A geodetic triangle consists of three vertices x, y, z and three geodesics, called its sides, joining them. A geodetic triangle is \(\delta \)-thin if each of its sides is contained in the \(\delta \)-neighbourhood of the union of the other two sides. A connected graph is \(\delta \)-hyperbolic if each geodetic triangle is \(\delta \)-thin. The smallest such \(\delta \ge 0\) will be called the hyperbolicity constant of G. A graph is hyperbolic if there exists a \(\delta \ge 0\) such that each connected component is \(\delta \)-hyperbolic.
If C is a cycle of G and x, y lie on C then they identify two arcs joining them along C: we will write xCy and yCx for these two paths —it will not matter which is which. Similarly, if P is a path passing through these vertices, xPy is the sub-path of P joining them.
3 Hyperbolicity and Weak Non-amenability Imply Bounded Codegree
In this and the following sections we will prove each of the three implications of Theorem 2 separately.
We will assume throughout the text that \(G\in {\mathcal {P}}\), i.e. G is an accumulation-free plane graph with bounded degrees, fixed for the rest of this paper. Theorem 2 is trivial in the case of forests, so from now on we will assume that G has at least a cycle, or in other words it has a bounded face.
A geodetic cycle C in a graph G is a cycle with the property that for every two points \(x,y\in C\) at least one of xCy and yCx (defined in the end of Sect. 2) is a geodesic in G.
Lemma 1
If \(G\in {\mathcal {P}}\) is hyperbolic, then the lengths of its geodetic cycles are bounded, i.e.
Proof
Let \(\delta \) be the hyperbolicity constant of G. We will show that no geodetic cycle has more than \(6\delta \) vertices.
Let C be a geodetic cycle, say with n vertices, and choose three points a, b, c on C as equally spaced as possible, i.e. every pair is at least \(\big \lfloor \tfrac{n}{3}\big \rfloor \) apart along C. Let ab be the arc of C joining a and b that does not contain c, and define bc and ca similarly. We want to show that ab, bc and ca form a geodetic triangle.
If x, y, z are distinct points in C then let xzy be the arc in C from x to y that passes through z. Then we know that one of ab, acb is a geodesic joining a and b, and \(|acb|\ge 2\big \lfloor \tfrac{n}{3}\big \rfloor >|ab|\), so ab is a geodetic arc. Similarly, bc and ca are geodetic arcs.
Consider now the point p on ab at distance \(\big \lfloor \tfrac{n}{6}\big \rfloor \) from a along C. Since G is a \(\delta \)-hyperbolic graph, we know that there is a vertex q on bc or ca which is at distance at most \(\delta \) from p. But as C is a geodetic cycle, the choice of a, b, c implies that
from which we deduce that \(n\le 6\delta \). \(\square \)
By the Jordan curve theorem, we can say that a point of \(\mathbb {R}^2\) is strictly inside a given cycle C of G if it belongs to the bounded component of \(\mathbb {R}^2\setminus C\) and is inside C if it belongs to C or is strictly inside. We say that a subset of \(\mathbb {R}^2\) is inside (resp. strictly inside) C if all of its points are inside (resp. strictly inside) C. A subset of \(\mathbb {R}^2\) is outside C if it is not strictly inside C.
Recall that we are assuming G to have no accumulation point, so inside each cycle we can only have finitely many vertices.
Corollary 1
Suppose \(G\in {\mathcal {P}}\) is hyperbolic and uniformly isoperimetric. If every face of G is contained inside a geodesic cycle, then \(\Delta (G^*)<\infty \).
Proof
Consider a face F contained inside a geodetic cycle C; by Lemma 1 we know that \(|C|\le 6\delta \), where \(\delta \) is the hyperbolicity constant of G. Let S be the set of all vertices inside the geodetic cycle C so \(|S|<\infty \) as there is no accumulation point. Then the vertices of S sending edges to the boundary \(\partial S\) belong to C and each vertex of C sends less than \(\Delta (G)\) edges to \(\partial S\), implying that \(|\partial S|<\Delta (G)|C|\). Let \(f:\mathbb {N}\rightarrow \mathbb {N}\) be a monotone increasing diverging function witnessing the weak non-amenability of G. Then, since \(F\subseteq S\),
which is uniformly bounded for every face F of G. \(\square \)
In what follows we will exhibit a construction showing that in any graph each face is contained inside a geodetic cycle, which allows us to apply Corollary 1 whenever the graph is hyperbolic and uniformly isoperimetric.
We remarked above that by the Jordan curve theorem we can make sense of the notion of being contained inside a cycle. Similarly, given three paths P, Q, R sharing the same endpoints, if \(P\cup R\) is a cycle and Q lies inside it, we will say that Q is between P, R.
Now, suppose we are given a cycle C and two points \(x,y\in C\) such that there exists a geodesic \(\gamma \) joining x and y lying outside C. Consider the set \({\mathcal {S}}={\mathcal {S}}(x,y)\) of x–y geodesics that lie outside C. This set can be divided into two classes:
These two subsets of \({\mathcal {S}}\) cannot be both empty because one of them must contain \(\gamma \). Let us assume, without loss of generality, that \({\mathcal {S}}_1\ne \emptyset \). For the proof of Theorem 2, we will make use of the notion of ‘the closest geodesic’ to a given cycle; let us make this more precise. Consider the above cycle C in a plane graph, two points x and y on C and a choice of an arc on C joining them, say xCy. Let us define a partial order on the set \({\mathcal {S}}_1\) defined above: for any two geodesics \(\Gamma ,\Gamma '\in {\mathcal {S}}_1\) we declare \(\Gamma \preceq \Gamma '\) if \(\Gamma \) is between \(xCy,\Gamma '\).
Lemma 2
With notation as above, \(({\mathcal {S}}_1,\preceq )\) has a least element.
Proof
The set \({\mathcal {S}}_1\) is a subset of all paths from x to y of length d(x, y). These paths are contained in the ball of center x and radius d(x, y). As G is locally finite, this ball is finite and so is \({\mathcal {S}}_1\). Therefore, it suffices to produce for every couple of elements a (greatest) lower bound.Footnote 3
Pick two geodesics \(\Gamma ,\Gamma '\) in \({\mathcal {S}}_1\); let \(P_1,\ldots ,P_h\) be the collection (ordered from x to y) of maximal subpaths of \(\Gamma \) lying inside the cycle \(xCy\cup \Gamma '\) and \(Q_1,\ldots ,Q_k\) the collection (ordered from x to y) of maximal subpaths of \(\Gamma '\) lying inside the cycle \(xCy\cup \Gamma \) (note that \(h-k\in \{-1,0,1\}\)). Without loss of generality, we can assume that x belongs to \(P_1\), so \(h-k\in \{0,1\}\).
Now consider the subgraph
Note that each \(P_i\) shares one endvertex with \(Q_{i-1}\) and the other with \(Q_i\), and similarly \(Q_j\) shares the endvertices with \(P_j\) and \(P_{j-1}\). We want to prove \(\Gamma ''\) to be an element of \({\mathcal {S}}_1\) and specifically the greatest lower bound of \(\Gamma \) and \(\Gamma '\). Note that \(\Gamma \) and \(\Gamma '\) intersect in some points \(x=x_1,x_2,\ldots ,x_n=y\) (the endvertices of all \(P_i\) and \(Q_j\)) and, being geodesics, \(x_i\Gamma x_{i+1}\) is as long as \(x_i\Gamma 'x_{i+1}\). This implies \(|\Gamma ''|=|\Gamma '|=|\Gamma |=d(x,y)\), i.e. \(\Gamma ''\) is a geodesic (in particular, it is a path). The fact that \(\Gamma ''\in {\mathcal {S}}_1\) follows from having put together only sub-paths of elements from \({\mathcal {S}}_1\). Lastly, we need to show that both \(\Gamma ''\preceq \Gamma \) and \(\Gamma ''\preceq \Gamma '\) hold. But all paths \(P_i\) and \(Q_j\) are inside both \(xCy\cup \Gamma \) and \(xCy\cup \Gamma '\), therefore so is \(\Gamma ''\). \(\square \)
Of course, there is nothing special with \({\mathcal {S}}_1\) and thus \({\mathcal {S}}_2\) has a similar partial order and admits a least element too, provided it is non-empty.
Let us say that in a plane graph a path P crosses a cycle C if the endpoints of P are outside C but there is at least one edge of P that lies strictly inside C.
Corollary 2
Let C be a cycle in a plane graph G, and let B be a geodesic between two points x and y of C such that B lies outside C and xCy lies between yCx and B. Then there exists a x–y geodesic \(\Gamma \) in G satisfying the following:
-
(1)
xCy lies between yCx and \(\Gamma \);
-
(2)
there is no geodesic outside C crossing the cycle \(xCy\cup \Gamma \).
Proof
Note that condition (1) is exactly the definition of the set \({\mathcal {S}}_1\) given above, and B satisfies that condition. By Lemma 2, there exists a least x–y geodesic \(\Gamma \) with respect to \(\preceq \). Let us show that this is the required geodesic. Suppose there is a geodesic \(\Gamma '\) that crosses the cycle \(xCy\cup \Gamma \) and lies outside C, so the endpoints of \(\Gamma '\) are outside \(yCx\cup \Gamma \) and \(\Gamma '\) has an edge e strictly inside \(xCy\cup \Gamma \). Let \(a\Gamma 'b\) the longest subpath of \(\Gamma '\) containing e and lying inside \(xCy\cup \Gamma \). Then a, b are on \(\Gamma \) and the geodesic
satisfies \(\Gamma ''\prec \Gamma \), contradicting the minimality of \(\Gamma \). This contradiction proves our claim. \(\square \)
Note that Corollary 2 does not claim uniqueness for the geodesic: if \(\Gamma \) satisfies the claim and \(\Gamma '\preceq \Gamma \) then \(\Gamma '\) satisfies it as well. However, the unique least element of \({\mathcal {S}}_1\) satisfies the statement of (2) thus such a geodesic will be referred to as the closest geodesic to the cycle C in \({\mathcal {S}}_1\). We conclude that, given a pair of points x, y on a cycle C, there are exactly one or two x–y geodesics closest to C, depending on how many of \({\mathcal {S}}_1,{\mathcal {S}}_2\) are non-empty. If these two geodesics both exist, they can intersect but cannot cross each other.
Theorem 4
If \(G\in {\mathcal {P}}\) is hyperbolic and uniformly isoperimetric then \(\Delta (G^*)<\infty \).
Proof
We want to show that if F is a face of G, then it is contained in a geodetic cycle and then apply Corollary 1. The idea of the proof is to construct a sequence of cycles \(C_0,C_1,\ldots \) each containing F, with the lengths \(|C_i|\) strictly decreasing, so that the sequence is finite and the last cycle is a geodetic cycle.
Let us start with the cycle \(C_0\) coinciding with the boundary of the face F. If \(C_0\) is geodetic we are done, otherwise there are two points x, y such that both \(xC_0y\) and \(yC_0x\) are not geodesics. Consider a geodesic \(\Gamma _1\) joining them: since F is a face, \(\Gamma _1\) must lie outside the cycle \(C_0\). Therefore, we have three paths \(xC_0y\), \(yC_0x\) and \(\Gamma _1\) between x and y. Assume without loss of generality that \(xC_0y\) is between \(yC_0x,\Gamma _1\). Then the union of \(\Gamma _1\) with \(yC_0x\) yields a new cycle \(C_1\) with the following properties:
-
\(|C_1|=|yC_0x|+|\Gamma _1|<|yC_0x|+|xC_0y|=|C_0|\), since \(xC_0y\) is not a geodesic while \(\Gamma _1\) is;
-
the face F is inside the cycle \(C_1\) since it was inside (or rather, equal to) \(C_0\) which in turn is inside \(C_1\).
Using Lemma 2 we can require the geodesic \(\Gamma _1\) to be the closest to the cycle \(C_0\) with respect to the arc \(xC_0y\). Note that the cycle \(C_1\) cannot be crossed by any geodesic: a side of the cycle is made by a face, which does not contain any strictly inner edge, and the other side is bounded by the closest geodesic, which cannot be crossed by Corollary 2.
We can iterate this procedure: assume by induction that after n steps, we are left with a cycle \(C_n\) such that the face F is still inside \(C_n\) and \(C_n\) cannot be crossed by geodesics. If \(C_n\) is a geodetic cycle we are done, otherwise there are two points \(x,y\in C_n\) that prevent that, and we can find a closest geodesic \(\Gamma _{n+1}\) as before, creating a new cycle \(C_{n+1}\). We conclude that the face F is inside \(C_{n+1}\) and \(|C_{n+1}|<|C_n|\). Since these lengths are strictly decreasing, the process halts after finitely many steps, yielding the desired geodetic cycle. Note that \(C_{n+1}\) still has the property that it cannot be crossed by a geodesic: indeed, if a geodesic crosses \(C_{n+1}\), then since it cannot cross \(C_n\) by the induction hypothesis, it would have to cross the cycle \(xC_ny \cup \Gamma _{n+1}\), which would contradict condition (2) of Corollary 2. \(\square \)
4 Non-amenability and Bounded Codegree Imply Hyperbolicity
One of the assertions of Theorem 2 was proved in [9] using random walks. In this section we provide a purely geometric proof of that statement.
Bowditch proved in [2] many equivalent conditions for hyperbolicity of metric spaces, one of which is known as linear isoperimetric inequality. For our interests, which are planar graphs of bounded degree, that condition has been rephrased as in Theorem 5 below. Before stating it we need some definitions.
Let us call a finite, connected, plane graph H with minimum degree at least 2 a combinatorial disk. Note that all faces of H are bounded by a cycle; let us call \(\partial _\mathrm{top}H\) the cycle bounding the unbounded face of H.
Definition 1
A combinatorial disk H satisfies a (k, D)-linear isoperimetric inequality (LII) if \(|F|\le D\) for all bounded faces F of H and the number of bounded faces of H is bounded above by \(k|\partial _\mathrm{top}H|\).
Definition 2
An infinite, connected, plane graph G satisfies a LII if there exist \(k,D\in \mathbb {N}\) such that the following holds: for every cycle \(C\subset G\) there is a combinatorial disk H satisfying a (k, D)-LII and a map \(\varphi :H\rightarrow G\) which is a graph-theoretic isomorphism onto its image (so that \(\varphi \) does not have to respect the embeddings of H, G into the plane), such that \(\varphi (\partial _\mathrm{top}H)=C\).
Bowditch’s criterion is the following:
Theorem 5
([2]) A plane graph G of minimum degree at least 3 and bounded degree is hyperbolic if and only if G satisfies a LII.
Remark
This LII condition traslates for Cayley graphs to the usual definition of linear isoperimetric inequality, i.e. having linear Dehn function. Gromov proved in his monograph [7] that for a Cayley graph having linear Dehn funcion is equivalent to being hyperbolic. It is worth mentioning that Bowditch [3] extended this result to general path-metric spaces, by proving that having a subquadratic isoperimetric function implies hyperbolicity. Our Theorem 6 shows that for planar graphs, non-amenability and the boundedness of the codegree together are sufficient to imply a linear isoperimetric inequality.
An immediate corollary is the following:
Corollary 3
Let G be a plane graph of minimum degree at least 3, bounded degree and codegree. Suppose there exists k such that for all cycles \(C\subset G\) the number of faces of G inside C is bounded above by k|C|. Then G is hyperbolic.
Proof
For every cycle C, let H be the subgraph of G induced by all vertices inside C. Then H is a finite plane graph of codegree bounded above by \(\Delta (G^*)\). By assumption, the number of bounded faces of H is bounded above by \(k|C|=k|\partial _\mathrm{top}H|\). Thus G satisfies a LII, and G is hyperbolic by Theorem 5. \(\square \)
We will see a partial converse of this statement in Lemma 4.
We would like to apply this criterion to our non-amenable, bounded codegree graph G, but G might have minimum degree less than 3. Therefore, we will perform on G the following construction in order to obtain a graph \(G'\) of minimum degree 3 without affecting any of the other properties of G we are interested in.
Define a decoration of a non-amenable graph G to be a finite connected induced subgraph H with at most 2 vertices in the boundary \(\partial H\) that is maximal with respect to the supergraph relation among all subgraphs of G having these properties. For example, we can create a decoration by attaching a path to two vertices of a graph of degree at least two. Note that since G is non-amenable, the size of any of its decorations is bounded above.
Perform the following procedure on each decoration H of the graph G: if \(|\partial H|=1\) delete H, while if \(\partial H=\{v,w\}\) delete H and add the edge \(\{v,w\}\) if not already there. Call the resulting graph \(G'\). Note that the minimum degree of \(G'\) is at least 3: any vertex of G of degree at most 2 belongs to a decoration, and if H is a decoration and \(x\in \partial H\) then by maximality x sends at least 3 edges to \(G\setminus (H\cup \partial H)\) when \(|\partial H|=1\) and at least 2 edges when \(|\partial H|=2\). Note also that the maximum degree of \(G'\) is at most \(\Delta (G)\).
Now assume G is non-amenable with Cheeger constant c(G); then the size of decorations is bounded above by \(\frac{2}{c(G)}\) and thus the size of any face of G is reduced by at most \(\frac{2}{c(G)}\) after the procedure, so \(\Delta (G'^*)\) is finite if \(\Delta (G^*)\) is. Consider the identity map \(I:V(G')\hookrightarrow V(G)\). Then
and every vertex in G is within \(\frac{2}{c(G)}\) from a vertex of \(f(V(G'))\), hence I is a quasi-isometry between G and \(G'\). Thus G is non-amenable, since non-amenability is a quasi-isometric invariant for graphs of bounded degree (see for instance [5, Thm. 11.10] or [8, Sect. 4]). For the same reason, if we can prove that \(G'\) is hyperbolic then so is G.
Theorem 6
If \(G\in {\mathcal {P}}\) is non-amenable and it has bounded codegree then G is hyperbolic.
Proof
Starting from G, perform the construction of the auxiliary graph \(G'\) as above: the resulting graph \(G'\) is non-amenable, has bounded codegree and has minimum degree at least 3.
Let C be a cycle and \(S\subset G'\) the (finite but possibly empty) subset of vertices lying strictly inside C; by non-amenability we have
Let us focus on the finite planar graph \(G'[C\cup S]\) induced by \(C\cup S\) and let F be the number of faces inside it. Since each vertex is incident with at most \(\Delta (G)\) faces, we have \(|C\cup S|\Delta (G)\ge F\). Thus
which is equivalent to \(F\le \frac{(1+c(G'))\Delta (G)}{c(G')}|C|\). Since \(\Delta (G'^*)\) is finite, by Corollary 3 \(G'\) is hyperbolic. By the remark above, G is hyperbolic too. \(\square \)
5 Hyperbolicity and Weak Non-amenability Imply Non-amenability
Let us prepare the last step of the proof of Theorem 2 with a lemma.
Lemma 3
Suppose G has bounded codegree and no unbounded faces. Then for every finite connected induced subgraph S of G, there exists a closed walk C such that S is inside C and at least \(|C|/\Delta (G^*)\) vertices of C are in the boundary of S.
Proof
Let H be the subgraph of G spanned by S and all its incident edges. Note that H contains all vertices in \(\partial S\), but no edges joining two vertices of \(\partial S\). Then H is a finite plane graph by definition. We let C be the closed walk bounding the unbounded face of H. We claim that C has the desired properties.
To see this, let \(x_1,\ldots ,x_n\) be an enumeration of the vertices of \(\partial S\) in the order they are visited by C. Then the subwalk \(x_iCx_{i+1}\) is contained in some face of G: all interior vertices of \(x_iCx_{i+1}\) lie in S by our definitions,and so all edges incident with those vertices are in H; therefore, since \(x_iCx_{i+1}\) is a facial walk in H, it is also a facial walk in G. Since \(x_iCx_{i+1}\) is contained in some face of G and G has only bounded faces, we have \(|x_iCx_{i+1}| < \Delta (G^*)\). Applying this to all i, we obtain
\(\square \)
We need a result which is almost a converse of Corollary 3.
Lemma 4
Let \(G\in {\mathcal {P}}\) be hyperbolic and uniformly isoperimetric. Then there exists k such that for all cycles \(C\subset G\) the number of faces of G inside C is bounded above by k|C|.
Proof
Using the auxiliary graph \(G'\) from the previous section, we may assume that G has minimum degree at least 3. Let C be a cycle of G. Since G is hyperbolic, by Theorem 5 there exists a combinatorial disk H satisfying a \((k',D)\)-LII with an isomorphism \(\varphi \) from H to a subgraph of G such that \(\varphi (\partial _\mathrm{top}H)=C\). The boundaries \(F_i,i\in I,\) of bounded faces of H are sent by \(\varphi \) to cycles \(C_i:=\varphi (F_i)\) of G so that \(|I|\le k'|C|\), and the bound D on the length of bounded faces of H is an upper bound to the length of those cycles \(C_i\). Let \(S_i\) be the (finite) set of vertices of G strictly inside \(C_i\), so that \(\partial S_i\subseteq C_i\). Let \(f:\mathbb {N}\rightarrow \mathbb {N}\) a monotone increasing diverging function witnessing the weak non-amenability of G, i.e. \(|S|\le f(|\partial S|)\) for all finite non-empty \(S\subset G\). Then
for all non-empty \(S_i\). Let \(F(C_i)\) be the number of faces of G inside \(C_i\); then for a non-empty \(S_i\) we have \(F(C_i)\le \Delta (G)|S_i|\) because no vertex can meet more than \(\Delta (G)\) faces. In conclusion
from which by setting \(k:=k'+\Delta (G)f(D)k'\) the assertion follows. \(\square \)
Note that in order to prove the non-amenability of a graph G it suffices to check that \(|\partial S|\ge c|S|\) for some constant \(c>0\) and all finite induced connected subgraphs S, instead of all finite subsets. Indeed, if we assume so and if S is a finite induced subgraph with components \(S_1,\ldots ,S_n\), then
where the first equality follows from \(\partial S_i\cap S_j=\emptyset \) for all \(i\ne j\) (S is induced) and the first inequality holds because the boundaries \(\partial S_i\) can overlap, but no vertex of \(\partial S\) belongs to more than \(\Delta (G)\) of them.
Theorem 7
If \(G\in {\mathcal {P}}\) is hyperbolic and uniformly isoperimetric then G is non-amenable.
Proof
By the above consideration it is enough to check the non-amenability only on connected induced subgraphs of G. By Theorem 4 we know that G has bounded codegree. Let S be such a subgraph and C as in Lemma 3. Then
and thus
Let \(k>0\) be as in Lemma 4; if T denotes the set of all vertices inside C and F the set of all faces inside C, we have
since each face is incident with at most \(\Delta (G^*)\) vertices. Combining the last two inequalities, we have
\(\square \)
6 Graphs with Unbounded Degrees
We provided enough examples to show that Theorem 2 is best possible, except that we do not yet know to what extent the bounded degree condition is necessary. Solutions to the following problems would clarify this. Let now \({\mathcal {P}}^*\) denote the class of plane graphs with no accumulation point of vertices; so that \({\mathcal {P}}\) is the subclass of bounded degree graphs in \({\mathcal {P}}^*\).
Problem 1
Is there a hyperbolic, amenable, uniformly isoperimetric plane graph of bounded codegree and no unbounded face in \({\mathcal {P}}^*\)?
Problem 2
Is every non-amenable bounded codegree graph in \({\mathcal {P}}^*\) hyperbolic?
Notes
See Sect. 2 for definitions.
B. Bowditch (personal communication) noticed that \(G_1\) is quasi-isometric to \(G_2\), showing that having bounded codegree is not a quasi-isometric invariant in \({\mathcal {P}}\), although he proved that having bounded codegree is a quasi-isometric invariant among uniformly isoperimetric graphs.
In a similar fashion we can produce a least upper bound, showing that \({\mathcal {S}}_1\) is a finite lattice.
References
Benjamini, I.: Coarse Geometry and Randomness. Lecture Notes in Mathematics, vol. 2100. Springer, Cham (2013)
Bowditch, B.H.: Notes on Gromov’s hyperbolicity criterion for path-metric spaces. In: Ghys, E., Haefliger, A. (eds.) Group Theory from a Geometrical Viewpoint, pp. 64–167. World Scientific, River Edge (1991)
Bowditch, B.H.: A short proof that a subquadratic isoperimetric inequality implies a linear one. Mich. Math. J. 42(1), 103–107 (1995)
Carmesin, J., Georgakopoulos, A.: Every planar graph with the Liouville property is amenable. arXiv:1502.02542 (2015)
Druţu, C., Kapovich, M.: Lectures on Geometric Group Theory. http://people.maths.ox.ac.uk/drutu/tcc2/ChaptersBook (2013)
Georgakopoulos, A.: The boundary of a square tiling of a graph coincides with the Poisson boundary. Invent. Math. 203(3), 773–821 (2016)
Gromov, M.: Hyperbolic Groups. In: Gersten, S.M. (ed.) Essays in Group Theory. Mathematical Sciences Research Institute Publications, vol. 8, pp. 75–263. Springer, New York (1987)
Kanai, M.: Rough isometries, and combinatorial approximations of geometries of non-compact Riemannian manifolds. J. Math. Soc. Jpn. 37(3), 391–413 (1985)
Northshield, S.: Circle boundaries of planar graphs. Potential Anal. 2(4), 299–314 (1993)
Acknowledgements
B. Federici was supported by an EPSRC Grant EP/L505110/1, and A. Georgakopoulos was supported by EPSRC Grant EP/L002787/1. This project has received funding from the European Research Council (ERC) under the European Union Horizon 2020 research and innovation programme (Grant agreement No 639046). The second author would like to thank the Isaac Newton Institute for Mathematical Sciences, Cambridge, for support and hospitality during the programme ‘Random Geometry’ where work on this paper was undertaken.
Author information
Authors and Affiliations
Corresponding author
Additional information
Editor in Charge: János Pach
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Federici, B., Georgakopoulos, A. Hyperbolicity vs. Amenability for Planar Graphs. Discrete Comput Geom 58, 67–79 (2017). https://doi.org/10.1007/s00454-017-9859-x
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00454-017-9859-x