1 Introduction
Let $G < SL_2(\mathbb {R})$ be a countable group and $\mu $ be a finitely supported, generating probability measure on G. We consider the random walk
where each $(g_i)$ is independent and identically distributed with distribution $\mu $ . Let us fix a base point $o \in \mathbb {H}^2$ . Then the hitting measure $\nu $ of the random walk on $S^1 = \partial \mathbb {D}$ is
for any Borel set $A \subseteq \partial \mathbb {D}$ . The hitting measure is also the unique $\mu $ harmonic, or $\mu $ stationary, measure, as it satisfies the convolution equation $\nu = \mu \star \nu $ . On the other hand, the boundary circle $\partial \mathbb {D} = S^1$ also carries the Lebesgue measure, which is the unique rotationally invariant measure on $S^1$ .
In the 1970s, Furstenberg [Reference Furstenberg19] proved that for any discrete subgroup of $SL_2(\mathbb {R})$ , there exists a measure $\mu $ such that the hitting measure of the corresponding random walk is absolutely continuous with respect to the Lebesgue measure. This was the first step to produce boundary maps, eventually leading to rigidity results. However, such measures $\mu $ are inherently infinitely supported, as they arise from discretisation of Brownian motion (see also [Reference Lyons and Sullivan38]). Another construction of absolutely continuous hitting measures, still infinitely supported, on general hyperbolic groups is given by [Reference Connell and Muchnik12].
For finitely supported measures, though, the situation is quite different. For any finitely supported measure $\mu $ on $SL_2(\mathbb {Z})$ , it is known since Guivarc’hLeJan [Reference Guivarc’h and Le Jan27] that the hitting measure is singular. KaimanovichLePrince [Reference Kaimanovich and Le Prince31] produced on any countable Zariski dense subgroup of $SL_d(\mathbb {R})$ examples of finitely supported measures with singular hitting measure.
They also formulated the following singularity conjecture.
Conjecture 1.1 ([Reference Kaimanovich and Le Prince31], page 259)
For any finitely supported measure $\mu $ on $SL_d(\mathbb {R})$ whose support generates a discrete subgroup, the hitting measure for the random walk driven by $\mu $ is singular with respect to the Lebesgue measure.
This conjecture has been mentioned several times; see also [Reference Gouëzel, Mathéus and Maucourant25, Remark 1.1], [Reference Hochman and Solomyak30, page 817] and [Reference Benoist and Quint5, Question (vi)]. In this paper, we focus on the case $d = 2$ . Let $G < SL_2(\mathbb {R})$ be the subgroup generated by the support of $\mu $ . Recall that a discrete subgroup of $SL_2(\mathbb {R})$ is called a Fuchsian group and is cocompact if the quotient $\Sigma = \mathbb {D}/G$ is compact.
If G is discrete but not cocompact (which includes the case $G = SL_2(\mathbb {Z})$ ), the conjecture is known; in fact, there are many approaches to this result and several generalisations in many contexts with different proofs ([Reference Guivarc’h and Le Jan27], [Reference Blachère, Haïssinsky and Mathieu7], [Reference Deroin, Kleptsyn and Navas16], [Reference Kaimanovich and Le Prince31], [Reference Gadre21], [Reference Gadre, Maher and Tiozzo22], [Reference Dussaule and Gekhtman17], [Reference Randecker and Tiozzo42]), all of which exploit in various ways the fact that the cusp subgroup is highly distorted in G.
Note that if one drops the hypothesis that G be discrete, then Conjecture 1.1 no longer holds: there exist finitely supported measures on $SL_2(\mathbb {R})$ for which the hitting measure is absolutely continuous ([Reference Bourgain, Klartag, Mendelson and Milman8], [Reference Bárány, Pollicott and Simon4]), but the group generated by their support is not discrete (see also [Reference Kaimanovich and Le Prince31, Footnote 1]).
Thus the only case still open is when G is a cocompact Fuchsian group. In this case, the hyperbolic metric and the word metric on G are quasiisometric to each other, and hence distortion arguments do not work. So far, the only known examples are the recent ones from [Reference Kosenko32] and [Reference Carrasco, Lessa and Paquette11], where the singularity of hitting measure is proven for cocompact Fuchsian groups whose fundamental domain is a regular polygon (except for a finite number of cases with few sides). These examples form a countable family.
In this paper, we prove Conjecture 1.1 for any hyperelliptic, cocompact Fuchsian group for measures supported on the canonical generating set.
Recall that a hyperelliptic surface is a Riemann surface $\Sigma $ with a holomorphic involution $j: \Sigma \to \Sigma $ . Any hyperelliptic surface can be uniformised as the quotient $\Sigma = \mathbb {D}/G$ , where G is a Fuchsian group with fundamental domain a centrally symmetric hyperbolic polygon P, and generators of G are given by hyperbolic translations joining opposite sides of P (see Figure 1 and e.g., [Reference Gallo23], [Reference Costa and Porto13]). We call such G a hyperelliptic Fuchsian group and such a generating set the canonical generating set of G. In order for G to be discrete, P needs to satisfy the cycle condition from Poincaré’s theorem (see Definition 4.1). The space of hyperelliptic Fuchsian groups of genus g is a complex variety of dimension $2g1$ . Our main result is the following.
Theorem 1.2. Let P be a centrally symmetric hyperbolic polygon in the Poincaré disk $\mathbb {D}$ , with $2m$ sides, satisfying the cycle condition, and let $S := \{ t_1, t_2, \dots , t_{2 m} \}$ be the hyperbolic translations that identify opposite sides of P. Then for any measure $\mu $ supported on the set S, the hitting measure $\nu $ on $S^1 = \partial \mathbb {D}$ is singular with respect to Lebesgue measure. Moreover, the Hausdorff dimension of $\nu $ is strictly less than $1$ .
If m is even, the above construction yields the standard presentation of a hyperelliptic Fuchsian group of genus $g = \frac {m}{2}$ ; if m is odd, we also obtain a discrete cocompact group of genus $g = \frac {m1}{2}$ .
To compare with [Reference Carrasco, Lessa and Paquette11] and [Reference Kosenko32], the authors of [Reference Carrasco, Lessa and Paquette11] use percolation to obtain a formula for the drift of the random walk, and then they obtain an asymptotic lower bound for the drift as the number of sides tends to $\infty $ . Kosenko [Reference Kosenko32] obtains, in the regular case, explicit lower bounds for the translation lengths using hyperbolic geometry without resorting to approximation by percolation. When the fundamental polygon is not regular, an explicit bound on all translation lengths is not possible, as some translation lengths may be short, decreasing the drift. In particular, there is the risk that assigning a large probability to an element with a short translation length may result in the dimension of the measure going to $1$ . In this paper, we show that this phenomenon cannot happen, as the discreteness of the group forces at least some generators to have a large translation length. This subtle geometric balance is given by the inequality from Theorem 1.5.
Finally, if one replaces the random walk with a Brownian motion, then absolute continuity of harmonic measure only holds if the underlying manifold is highly homogeneous: to be precise, on a negatively curved surface, the hitting measure is absolutely continuous if and only if the curvature is constant ([Reference Ledrappier36], [Reference Ledrappier37]).
The fundamental inequality
This problem is closely related to the following ‘numerical characteristics’ of random walks. Recall that the entropy [Reference Avez2] of $\mu $ is defined as
and the drift, or rate of escape, is
where $d_{\mathbb {H}}$ denotes the hyperbolic metric and the limit exists almost surely. The drift also equals the classical Lyapunov exponent for random matrix products [Reference Furstenberg and Kesten20]. Finally, the volume growth of G is
The inequality
has been established by Guivarc’h [Reference Guivarc’h26] and is called the fundamental inequality by Vershik [Reference Vershik44]. Several authors (e.g., [Reference Vershik44, Question A]) have asked:
Question 1.3. Under which conditions is inequality (1.1) an equality?
For discrete, cocompact actions, Question 1.3 is equivalent to Conjecture 1.1: indeed, by [Reference Blachère, Haïssinsky and Mathieu7] (see also [Reference Gouëzel, Mathéus and Maucourant25] and Theorem 2.2), inequality (1.1) is strict if and only if the hitting measure is singular with respect to the Lebesgue measure.
If one replaces the hyperbolic metric $d_{\mathbb {H}}$ with a word metric $d_w$ on G, then [Reference Gouëzel, Mathéus and Maucourant25] prove that the inequality is strict unless the group G is virtually free. Observe that cocompact Fuchsian groups are not virtually free; however, the drift for $d_{\mathbb {H}}$ and the drift for $d_w$ are not the same (in fact, one has $\ell _{d_{\mathbb {H}}} < \ell _{d_w}$ ), and hence the result from [Reference Gouëzel, Mathéus and Maucourant25] does not settle Question 1.3 or Conjecture 1.1. Note that for a cocompact Fuchsian group, it is wellknown that $v = 1$ (see, e.g., [Reference Phillips and Rudnick41]).
Our result also has consequences on the Hausdorff dimension of the hitting measure. Recall that the Hausdorff dimension of a measure $\nu $ on a metric space is the infimum of the Hausdorff dimensions of subsets of full measure. Moreover, by [Reference Ledrappier35], [Reference Tanaka43], [Reference Hochman and Solomyak30], for cocompact Fuchsian groups, the Hausdorff dimension $\mathrm {dim}_H(\nu )$ of the hitting measure satisfies, for almost every $x \in S^1$ ,
where $B(x,r)$ is a ball of centre x and radius r. Thus Theorem 1.2 implies:
Corollary 1.4. Under the hypotheses of Theorem 1.2, the inequality $h < \ell $ is strict. Hence, the hitting measure $\nu $ has a Hausdorff dimension strictly less than one.
A geometric inequality
The approach of this paper is based on the fact that cocompactness forces at least some of the generators to have long enough translation lengths (this is related to the collar lemma: two intersecting closed geodesics cannot be both short at the same time; also, the quotient Riemann surface has a definite positive area). Indeed, in Theorem 3.1, we prove a criterion for singularity in terms of the translation lengths of the generators, and then we show the following purely geometric inequality.
Theorem 1.5. Let P be a centrally symmetric polygon with $2m$ sides, satisfying the cycle condition, and let $S := \{ g_1, \dots , g_{2 m} \}$ be the set of hyperbolic translations identifying opposite sides of P. Then we have
where $\ell (g)$ denotes the translation length of g in the hyperbolic metric.
Interestingly, our geometric inequality has exactly the same form as the main inequalities of [Reference Culler and Shalen14], [Reference Anderson, Canary, Culler and Shalen1] for free Kleinian groups. However, it is not a consequence of theirs; see Section 4.
Coxeter groups
We also prove the following version of Theorem 1.2 for reflection groups.
Theorem 1.6. Let P be a centrally symmetric, hyperbolic polygon with $2m$ sides and interior angles $\frac {\pi }{k_i}$ , with $k_i \in \mathbb {N}^+$ for $1 \leq i \leq 2m$ . Let $\mu $ be a probability measure supported on the set $R := \{ r_1, \dots , r_{2m} \}$ of hyperbolic reflections on the sides of P, with $\mu (r_i) = \mu (r_{i+m})$ for all $1 \leq i \leq m$ . Then the hitting measure for the random walk driven by $\mu $ is singular with respect to the Lebesgue measure. Moreover, the inequality $h < \ell $ is strict, and the hitting measure $\nu $ has a Hausdorff dimension strictly less than one.
2 Preliminary results
Let $\mu $ be a probability measure on a countable group G. We assume that $\mu $ is generating: that is, the semigroup generated by the support of $\mu $ equals G. We define the step space as $(G^{\mathbb {N}}, \mu ^{\mathbb {N}})$ and the map $\pi : G^{\mathbb {N}} \to G^{\mathbb {N}}$ as $\pi ((g_n)_{n \in \mathbb {N}}) := (w_n)_{n \in \mathbb {N}}$ , with for any n
The target space of $\pi $ is denoted by $\Omega $ and called the path space; as a set, it equals $G^{\mathbb {N}}$ and is equipped with the measure $\mathbb {P}_\mu := \pi _\star (\mu ^{\mathbb {N}})$ .
Then we define the firstpassage function $F_\mu (x, y)$ as
for any $x, y \in G$ , and the Green metric $d_\mu $ on G, introduced in [Reference Blachère and Brofferio6], as
The following fact is wellknown.
Lemma 2.1. Let $p : G \to H$ be a group homomorphism, let $\mu $ be a probability measure on G, and let $\overline {\mu } := p_\star \mu $ . Then for any $x, y \in G$ ,
Proof. Since p induces a map from paths in G to paths in H, we have $\overline {\mu }^n(p(g)) \geq \mu ^n(g)$ for any $g \in G$ , any $n \geq 0$ . Hence
for any $x, y \in G$ , from which the claim follows.
We shall use the following criterion, which relates the absolute continuity of the hitting measure to the fundamental inequality. Recall that a group action is geometric if it is isometric, properly discontinuous and cocompact.
Theorem 2.2 ([Reference Blachère, Haïssinsky and Mathieu7, Corollary 1.4, Theorem 1.5], [Reference Tanaka43], [Reference Gekhtman and Tiozzo24])
Let $\Gamma $ be a nonelementary hyperbolic group acting geometrically on $\mathbb {H}^2$ , endowed with the geometric distance $d = d_{\mathbb {H}}$ induced from the action. Consider a generating probability measure $\mu $ on $\Gamma $ with finite support. Then the following conditions are equivalent:

1. The equality $h = \ell v$ holds.

2. The Hausdorff dimension of the hitting measure $\nu $ on $S^1$ is equal to $1$ .

3. The measure $\nu $ is equivalent to the Lebesgue measure on $S^1$ .

4. For any $o \in \mathbb {H}^2$ , there exists a constant $C> 0$ such that for any $g \in \Gamma $ , we have
$$ \begin{align*}d_\mu(1, g)  d_{\mathbb{H}}(o, g o) \leq C.\end{align*} $$
For each $g \in G$ , let $\ell (g)$ denote its translation length, namely
Equivalently, $\ell (g)$ is the length of the corresponding closed geodesic on the quotient surface. The mechanism to utilise Theorem 2.2 is through the following lemma, similar to the one from [Reference Kosenko32].
Lemma 2.3. Suppose that the hitting measure is absolutely continuous. Then for any $g \in G$ , we have
Proof. If not, then $\ell (g)> d_\mu (1, g) \geq 0$ , and hence g is loxodromic. Let us pick some $o \in \mathbb {H}^2$ , which lies on the axis of g, so that $d_{\mathbb {H}}(o, g^k o) = \ell (g^k) = k \ell (g)$ for any k. Moreover, by the triangle inequality for the Green metric, one has $d_\mu (1, g^k) \leq k d_\mu (1, g)$ , and hence
thus, since $\ell (g)  d_\mu (1, g)> 0$ ,
which contradicts Theorem 2.2.
Let F be a free group, freely generated by a finite set S. Recall that the (hyperbolic) boundary $\partial F$ of F is the set of infinite, reduced words in the alphabet $S \cup S^{1}$ . Given a finite, reduced word g, we denote as $C(g) \subseteq \partial F$ the cylinder determined by g, namely the set of infinite, reduced words that start with g.
Lemma 2.4. Consider a random walk on the free group
defined by a probability measure $\mu $ on the generators. If we denote $x_i := F_\mu (1, s_i)$ , $\check {x}_i := F_\mu (1, s_i^{1})$ and the hitting measure on the boundary of $F_m$ by $\nu $ , then
A similar lemma is stated in [Reference Lalley34, Exercise 5.14].
Proof. For any infinite word $w = s_{j_1} s_{j_2} s_{j_3} \dots $ , there exist two possibilities:

1. There exists a subword $s_{j_1} \dots s_{j_k}$ such that it equals $s_i$ in $F_m$ .

2. No subword $s_{j_1} \dots s_{j_k}$ equals $s_i$ , so it belongs to the set of paths that never hit $s_i$ .
In the first case, we denote this subword by $w_1$ , and we consider $w_1^{1} w$ ; we apply the same procedure, but replacing $s_i$ with $s_i^{1}$ at each subsequent step. This procedure yields the equality
3 A criterion for singularity
Theorem 3.1. Let $\mu $ be a finitely supported measure on a cocompact Fuchsian group, and let S be the support of $\mu $ . Suppose that
Then the hitting measure $\nu $ on $\partial \mathbb {D}$ is singular with respect to the Lebesgue measure.
Proof. Denote as $(g_i^{\pm })_{i = 1}^{m}$ the elements of $S \cup S^{1}$ , let F be a free group of rank m with generators $(h_i)_{i =1}^{m}$ , and let $\widetilde {\mu }$ be a measure on F with $\widetilde {\mu }(h_i^\pm ) = \mu (g_i^\pm )$ . Moreover, let us denote
Then we have
Indeed, if $\widetilde {\nu }$ is the hitting measure on $\partial F$ , by Lemma 2.4, the measure of the cylinder $C(h_i)$ starting with $h_i$ is
from which, since the cylinders are disjoint and cover the boundary, equation (3.2) follows.
Then by equation (3.1), there exists an index i such that
which is equivalent to
Finally, an algebraic computation yields
and thus we obtain
If the hitting measure $\nu $ on $S^1 = \partial \mathbb {D}$ is absolutely continuous, then by Lemma 2.3 and Lemma 2.1, we get
for any i. If we apply the same inequality to $g_i^{1}$ , we also have
and hence
which contradicts equation (3.3), showing that $\nu $ is singular with respect to Lebesgue measure.
4 Parametrisation of the space of polygons
Let P be a convex, compact polygon in the hyperbolic disk $\mathbb {D}$ , with $2m$ sides and interior angles $\{ \gamma _1, \dots , \gamma _{2m} \}$ .
We say that P is centrally symmetric if there exists a point $o \in \mathbb {D}$ so that P is invariant under symmetry with respect to the point O. This clearly implies that opposite sides have equal length and opposite angles are equal.
Poincaré’s theorem provides conditions to ensure that the group generated by side pairings is discrete (see [Reference Maskit39]). In particular, one needs a condition on the angles, which in our setting can be formulated as follows.
Definition 4.1. A centrally symmetric polygon P satisfies the cycle condition if there exists an integer $k \geq 1$ such that
Let $S := \{ g_1, \dots , g_{2 m} \}$ be the set of hyperbolic translations identifying opposite sides of P, with $g_{i+m} = g_i^{1}$ . By Poincaré’s theorem [Reference Maskit39], if the polygon P satisfies the cycle condition, then the group G generated by S is discrete.Footnote ^{1}
More precisely, denote as $g_i$ the hyperbolic translation mapping the ith side of P to its $(i+m)$ th side. If m is even, there is only one equivalence class of vertices, and it is fixed by the transformation
which is called the cycle transformation in the language of [Reference Maskit39]. If m is odd, then there are two equivalence classes of vertices, fixed, respectively, by the transformations
Thus the presentations defining the group G are
The following is our main geometric inequality.
Theorem 4.2. Let P be a centrally symmetric, hyperbolic polygon satisfying the cycle condition, with $2m$ sides, and let $S := \{ g_1, \dots , g_{2 m} \}$ be the set of hyperbolic translations identifying opposite sides of P. Then we have
Remarks. The inequality (4.1) has the same form as the main inequality in [Reference Anderson, Canary, Culler and Shalen1] and [Reference Culler and Shalen14] for free Kleinian groups; more recently, a stronger version for free Fuchsian groups has been obtained in [Reference He28], while generalisations in variable curvature (and any dimension) are due to [Reference Hou29], [Reference Balacheff and Merlin3].
Equation (4.1) is also reminiscent of McShane’s identity [Reference McShane40], where one obtains the equality by taking the infinite sum over all group elements of a punctured torus group. Our inequality, however, does not follow from any of them; in fact, it is in a way stronger than these, as a cocompact surface group can be deformed to a finite covolume group and then to a Schottky (hence free) group by increasing the translation lengths of the generators.
It is interesting to point out that the above inequalities have an interpretation in terms of hitting measures of stochastic processes (see, e.g., [Reference Labourie and Tan33]). Here, we go along the opposite route: we prove the geometric inequality (4.1), and then we use it to conclude properties about the hitting measure.
Finally, there are generating sets of G for which equation (4.1) fails. Indeed, the mechanism behind the inequality is that since all curves corresponding to $(g_i)_{i = 1}^{m}$ intersect each other, by the collar lemma, at most one of them can be short. In general, on a surface of genus g one can choose a configuration of $3 g  3$ short curves and construct a Dirichlet domain for which the corresponding side pairing does not satisfy equation (4.1).
The proof of this inequality will take up most of the paper until Section 6. To begin with, let us note that a way to parametrise the space of all symmetric hyperbolic polygons is to write, by [Reference Buser10, Example 2.2.7],
with $i = 1, \dots , m$ , where $(a_i)$ are the distances between the base point and the ith side, $(\alpha _i)$ are the angles at the origin and $(\gamma _i)$ are the angles at the vertices (see Figure 2). Since $\ell (g_i) \geq 2 a_i$ , it is enough to show
under the constraints $\sum _{i=1}^m \alpha _i = \pi $ and $\sum _{i=1}^m \gamma _i = \frac {2 \pi }{k}$ .
The fundamental geometric idea in our approach to Theorem 4.2 is that two intersecting curves cannot both be short, as a consequence of the collar lemma [Reference Buser9]. For instance, we get:
Lemma 4.3. Suppose that there exists $a_i$ such that $\sinh (a_i) \leq \frac {2 (m1)}{m (m2) }$ . Then the hitting measure is singular.
Proof. From the collar lemma [Reference Buser9], we have
for all $i \neq j$ . Recall that
and hence, if we set $s := \sinh (a_1)$ , we obtain for $i \neq 1$ that $\sinh (a_i) \geq \frac {1}{s}$ ; thus
and hence
if and only if $s < \frac {2 (m1)}{m (m2) }$ .
To actually prove Theorem 4.2, however, we need an improvement on the previous estimate. Let us rewrite equation (4.2) above as
and recalling that
we obtain, by setting $z_i = \tanh (a_i)$ ,
with $0 \leq z_i \leq 1$ . Finally, we want to show
which is equivalent to
Now, let us first assume that $\gamma _i \leq \pi /2$ for all $1 \leq i \leq m$ . Then equation (4.3) yields
and hence the constraint becomes
Note that $z_1 \to 0$ implies $\cos \alpha _1 \leq z_1 z_2 \to 0$ and thus $\alpha _1 \to \frac {\pi }{2}$ , and $\cos \alpha _m \leq z_m z_1 \to 0$ and thus $\alpha _m \to \frac {\pi }{2}$ , and hence also $\alpha _2, \alpha _3, \dots , \alpha _{m1} \to 0$ , which implies $z_2, z_3, \dots , z_m \to 1$ .
5 An optimisation problem
By the above discussion, if we set $x_i = 1  z_i$ , we reduce the proof of Theorem 4.2 (at least in the case all angles of P are acute) to the following optimisation problem (see also Figure 3).
Theorem 5.1. Let $m \geq 3$ and $0 \leq x_i \leq 1$ with $\sum _{i=1}^m x_i = 1$ . Then
Moreover, equality holds if and only if there exists an index i such that $x_i = 1$ and $x_j = 0$ for all $j \neq i$ .
In the statement of Theorem 5.1 and elsewhere from now on, all indices i are meant modulo m. The next is the main technical lemma.
Lemma 5.2. Let $m \geq 3$ and $0 \leq x_i \leq 1$ with $\sum _{i=1}^m x_i = 1$ . Then
Proof. Set $\Delta _i := x_i + x_{i+1}  x_i x_{i+1}$ . Note that
and hence
Moreover, since $m \geq 2$ , we have $x_{i+1} + x_{i+2} \leq \sum _{i =1}^m x_i = 1$ , and hence if we multiply by $(x_{i+1} + x_{i+2})$ , we obtain
Similarly, we obtain
Thus CauchySchwarz yields
By squaring both sides, our desired inequality is equivalent to
thus, using $\sum _{i =1}^m \Delta _i = 2  \sum _{i = 1}^m x_i x_{i+1}$ , it is enough to prove
Now note that
with
Thus for $m \geq 5$ , we have, using equations (5.6), (5.1) and (5.2),
which yields equation (5.3) and hence completes our proof. The cases $m = 3$ and $m = 4$ need to be dealt with separately. If $m = 3$ , we obtain, by multiplying by $\sum _{i = 1}^3 x_i = 1$ ,
so by CauchySchwarz, we get
and hence
which yields equation (5.3), as desired. Finally, if $m = 4$ , then we note
and, again by CauchySchwarz,
and similarly
thus, using equation (5.1),
which is again equation (5.3). This completes the proof.
Lemma 5.3. For $0 \leq x \leq 1$ , we have these inequalities:

1.
$$ \begin{align*}\frac{2}{\pi} \arccos(1x) \geq \frac{2}{3} \sqrt{x} + \frac{1}{3} x\end{align*} $$with equality if and only if $x = 0$ or $x= 1$ ;

2.
$$ \begin{align*}\frac{2}{3} \sqrt{4 + 3 x} + \frac{2x}{3} \geq 2\end{align*} $$with equality if and only if $x = 0$ .
Proof. For the first inequality, let $f(x) := \frac {2}{\pi } \arccos (1x^2)  \frac {2}{3} x  \frac {1}{3} x^2$ . One checks that $f(0) = f(1) = 0$ and $f(\frac {1}{\sqrt {2}}) = \frac {1}{2}  \frac {\sqrt {2}}{3}> 0$ ; moreover, $f'(x)$ has a unique zero in $[0, 1]$ . Hence, $f(x) \geq 0$ for all $0 \leq x \leq 1$ , which implies (1).
To prove (2), let $g(x) := \frac {2}{3} \sqrt {4 + 3 x} + \frac {2x}{3}$ . Then one checks $g(0) = 2$ and $g'(x) = \frac {1}{\sqrt {4 + 3 x}}  \frac {1}{3}> 0$ for $0 \leq x \leq 1$ , which implies $g(x) \geq 2$ for all $0 \leq x \leq 1$ .
Proof of Theorem 5.1
By setting $f(x) := \frac {2}{\pi } \arccos (1x)$ , our claim is equivalent to
under the constraint $\sum _{i=1}^m x_i = 1$ , with $m \geq 3$ and $0 \leq x_i \leq 1$ .
Let us set $\Delta _i := x_i + x_{i+1}  x_i x_{i+1}$ and $\sigma := \sum _{i =1}^m x_i x_{i+1}$ . Observe that $2 \sigma \leq (\sum _{i=1}^m x_i)^2 = 1$ . Then we have, by Lemma 5.3,
and using Lemma 5.2 and the fact $\sum _{i=1}^m \Delta _i = 2  \sigma $ , we obtain
where in the last step, we apply Lemma 5.3 (2). This completes the proof of the inequality. By Lemma 5.3 (1), equality implies that $\Delta _i = 0, 1$ for every i, which in turn implies that $x_i = 0, 1$ for all i. Since $\sum _{i = 1}^m x_i = 1$ , this can only happen if $x_i = 1$ for exactly one index i.
6 The obtuse angle case
The proof in the previous section works as long as all angles $\gamma _i$ are less than or equal to $\pi /2$ . If one of them is obtuse, we have a geometric argument to reduce ourselves to that case.
6.1 Neutralising pairs
We call a neutralising pair for P a pair $\{\gamma _i, \gamma _{i+1}\}$ of adjacent interior angles of P with $\gamma _i + \gamma _{i+1} \leq \pi $ . Whenever we have a neutralising pair, we can apply the following lemma (see Figure 4).
Lemma 6.1. Let $ABCDE$ be a hyperbolic pentagon with right angles $\widehat {B}$ and $\widehat {E}$ , and suppose that $\widehat {C} < \pi /2$ and $\widehat {C} + \widehat {D} \leq \pi $ . Then there exist points F on the line $\overline {BC}$ and G on the line $\overline {ED}$ such that the hyperbolic pentagon $ABFGE$ satisfies $\widehat {F} \leq \pi /2$ and $\widehat {G} \leq \pi /2$ .
Proof. Let M be the midpoint of $\overline {CD}$ , and let F be the foot of the orthogonal projection of M to $\overline {BC}$ . If the intersection, which we denote as G, of the lines $\overline {FM}$ and $\overline {ED}$ exists, then we claim that the angle $\delta = D \widehat {G} F$ satisfies $\delta \leq \pi /2$ .
To see this, let $F'$ be the symmetric point to F with respect to M. Then $CFM$ and $DMF'$ are equal triangles. Hence $E \widehat {D} F' = E \widehat {D} M + M \widehat {D} F' = E \widehat {D} C + B \widehat {C} D \leq \pi $ , and hence $F'$ lies on the segment $\overline {M G}$ . Moreover, $D \widehat {F'} M = C \widehat {F} M = \pi /2$ , and hence $\delta = D \widehat {G} M \leq \pi /2$ .
If the lines $\overline {FM}$ and $\overline {ED}$ do not intersect, we take as G the foot of the perpendicular from M to the line $\overline {ED}$ , and we define as $F"$ the intersection of $\overline {GM}$ with the line $\overline {BC}$ . Then the hyperbolic pentagon $ABF'GE$ satisfies $\widehat {F''} < \pi /2$ and $\widehat {G} = \pi /2$ , so the claim follows by replacing F by $F''$ .
We say that P has disjoint neutralising pairs if there is a set $\Pi := \{ \{ \gamma _{i_1}, \gamma _{i_1 + 1} \}, \dots , \{ \gamma _{i_k}, \gamma _{i_k +1} \} \}$ of neutralising pairs such that each obtuse angle of P belongs to some pair in $\Pi $ , and the pairs are disjoint: that is, $\{ \gamma _{i_r}, \gamma _{i_r +1} \} \cap \{ \gamma _{i_s}, \gamma _{i_s +1} \} = \emptyset $ for any $r \neq s$ .
Let us use the notation
Proposition 6.2. Let P be a centrally symmetric hyperbolic polygon with $2m$ sides and centre o, and let $\ell _1, \dots , \ell _m$ be the distances between o and the midpoints of the sides. If P has disjoint neutralising pairs, there exists a centrally symmetric hyperbolic $2m$ gon $P'$ with no obtuse angles and such that
where $d_i'$ is the distance between o and the ith side of $P'$ .
Proof. Let us denote as $d_i$ the distance between o and the ith side of P. Note that by definition, $d_i \leq \ell _i$ for all i.
If the polygon P only has acute angles, we take $P = P'$ and note that by definition, $d_i' = d_i \leq \ell _i$ , which yields the claim.
Suppose now that the hyperbolic polygon P has one obtuse angle, say $\gamma _1$ , which belongs to a neutralising pair, and let $\ell _1$ correspond to the side adjacent to the obtuse angle and the other angle, say $\gamma _2$ , in the neutralising pair. Consistently with this choice, let us denote as $s_1, s_2, \dots , s_{2m}$ the sides of P.
Let us now consider the hyperbolic pentagon delimited by $s_{2m}, s_1, s_2$ and the orthogonal projections from o to $s_2$ and $s_{2m}$ . Let us call this pentagon $ABCDE$ , where $o = A$ , the side $s_1$ is denoted $\overline {DC}$ , the orthogonal projection from o to $s_2$ is B and the orthogonal projection from o to $s_{2m}$ is E.
Using Lemma 6.1, let us replace P by a new polygon $P'$ obtained by substituting the pentagon $ABCDE$ by the pentagon $ABFGE$ , which satisfies $\widehat {F} = \pi /2 $ and $\widehat {G} \leq \pi /2$ . If we denote by $d_1'$ the distance between $o = A$ and $\overline {FG}$ , then we have
On the other hand, note that for $i = 2, \dots , m$ , the distance between o and the ith side is the same for P and $P'$ . That is, $d_i = d_i'$ for $i = 2, \dots , m$ . Hence,
If there is more than one neutralising pair (by symmetry, the number of neutralising pairs is even), we can analogously replace each side adjacent to the pair by rotating it around its midpoint. This proves the claim.
6.2 The general case
Let $(p_i)_{i =1}^{2m}$ denote the vertices of P and $(q_i)_{i =1}^{2m}$ denote the midpoints of the sides, indexed so that $q_i$ lies between $p_{i1}$ and $p_{i}$ . Let o denote the centre of symmetry of P. Let $\alpha _i = q_i \widehat {o} q_{i+1}$ be the angles at the origin and $\gamma _i = q_i \widehat {p}_i q_{i+1}$ the angles at the vertices of P. By the cycle condition and symmetry, we have
where $k \geq 1$ is an integer. Note that if $k \geq 2$ , at most one of the $\gamma _i$ is obtuse, and hence P has disjoint neutralising pairs. However, if $k = 1$ , P need not have disjoint neutralising pairs; in particular, it may have three consecutive obtuse angles. To deal with this case, we need the notion of a dual polygon.
6.3 Dual polygons
Given a centrally symmetric polygon P with centre o and sum of angles $4 \pi $ , we construct its dual polygon $\widehat {P}$ as follows.
Let $Q_i$ be the quadrilateral delimited by $o, q_i, p_i, q_{i+1}$ . As in Figure 5, we can cut and rearrange the $Q_i$ s with $1 \leq i \leq m$ as follows. Glue all vertices $(p_i)_{i = 1}^m$ to a single point, which we now denote as v, so that the $Q_i$ s with $1 \leq i \leq m$ lie in counterclockwise order around v. Since $\sum _{i=1}^{m} \gamma _i = 2 \pi $ , the copies of $Q_i$ fit together, creating a new polygon $\widehat {P}$ with m sides. By construction, the sides of $\widehat {P}$ have lengths $2 \ell _1, \dots , 2 \ell _m$ , with $\ell _i = d(o, q_i)$ . Also by construction, the angles of $\widehat {P}$ are $\alpha _1, \dots , \alpha _m$ , and hence their sum is $\sum _{i = 1}^m \alpha _i = \pi $ .
We define the pair $(\widehat {P}, v)$ to be the dual polygon to $(P, o)$ .
The duality relation
defines a bijective correspondence between centrally symmetric $2m$ gons with sum of angles $4 \pi $ and mgons with the sum of angles $\pi $ together with a choice of a point inside them.
To see that this is a bijection, let us construct the inverse map as follows: given an mgon $\widehat {P}$ and a point v inside it, denote as $v_1, \dots , v_m$ its vertices. Decompose $\widehat {P}$ as the union of m quadrilaterals $R_1, \dots , R_m$ by drawing the segments joining v and the midpoints of the sides of $\widehat {P}$ ; then take copies of the polygons $R_1, \dots , R_m, R_1, \dots , R_m$ and glue them in this order by identifying all $ v_i$ s to a point, which we call o. This will create a polygon P whose sum of angles is twice the sum of internal angles of $\widehat {P}$ , and hence $4 \pi $ . Moreover, by construction, this polygon is centrally symmetric about the point o.
Given a polygon P with $2m$ sides and a point o inside P, we define
where $\ell _i$ are the segments connecting o and the midpoint of the $ith$ side. Let us also define
where $s_i$ are the lengths of the sides of P. Then note that we have
In particular, $\Sigma (P)$ does not depend on v but only on $\widehat {P}$ .
Lemma 6.3. Let P be a centrally symmetric hyperbolic polygon with $2m$ sides and the total sum of its interior angles $4 \pi $ . Then there exists a centrally symmetric hyperbolic polygon $P'$ with the same number of sides so that $\Sigma (P) = \Sigma (P')$ so that $P'$ has at most four obtuse angles, which belong to disjoint neutralising pairs.
Proof. Let $\widehat {P}$ be the dual polygon to P, as defined above. We claim that we can pick another point $v'$ inside $\widehat {P}$ so that at most two of the angles at $v'$ are obtuse.
To do this, let $(r_i)_{i = 1}^m$ be the midpoints of the sides of $\widehat {P}$ ; join $r_1$ and $r_3$ by a segment, and pick any point $v'$ in the interior of that segment. Then consider the angles $\gamma _i' := r_i \widehat {v'} r_{i+1}$ with $1 \leq i \leq m$ . Since $\sum _{i = 1}^2 \gamma _i' = \pi $ and $\sum _{i = 3}^m \gamma _i' = \pi $ , at most two of the angles $\gamma _i'$ with $1 \leq i \leq m$ can be obtuse.
Then we define $P'$ to be the dual of $(\widehat {P}, v')$ . Since P and $P'$ have the same dual, we have $\Sigma (P) = \Sigma (P')$ . By our previous choice of $v'$ , in $P'$ , there are at most $4$ obtuse angles $\gamma _i'$ , and there are no three consecutive obtuse angles; hence, for all of them there exists another adjacent angle $\gamma ^{\prime }_{i\pm 1}$ so that $\gamma ^{\prime }_i + \gamma ^{\prime }_{i\pm 1} < \pi $ . Hence, $P'$ has neutralising pairs.
By putting together these reductions, we can complete the proof of Theorem 4.2. Let us see the details.
Proof of Theorem 4.2
Let us first suppose that $\gamma _i \leq \pi /2$ for all i. We know by equation (4.5) that $\sum _{i = 1}^m \arccos (z_i z_{i+1}) \leq \pi $ with $0 < z_i < 1$ . Then we need to show that $\sum _{i = 1}^m z_i> m 1$ . Suppose not; then there exists $z_i$ with $\sum _{i = 1}^m z_i \leq m1$ . Then there exists $(z_i')_{i = 1}^m$ with $0 \leq z_i \leq z_i' \leq 1$ for all i, so that $\sum z_i' = m  1$ . Then we have, by Theorem 5.1, $\pi \leq \sum _{i = 1}^m \arccos ( z_i' z_{i+1}') \leq \sum _{i = 1}^m \arccos ( z_i z_{i+1}) \leq \pi $ , and hence $\sum _{i = 1}^m \arccos ( z_i' z_{i+1}') = \pi $ , which by the second part of Theorem 5.1 implies $z_i' = 0$ for some i, and hence also $z_i = 0$ , which is a contradiction.
In the general case, we first apply Lemma 6.3 to reduce to the case where P has disjoint neutralising pairs. Then by applying Proposition 6.2, we reduce to the case of P having no obtuse angles, which we can deal with as above. This completes the proof.
7 Coxeter groups
Let P be a centrally symmetric convex polygon with $2 m$ sides in $\mathbb {H}^2$ , with each angle $\gamma _i$ at the vertices being equal to $\frac {\pi }{k_i}$ for some natural $k_i> 1$ , for $1 \leq i \leq 2m$ . Then due to [Reference Davis15, Theorem 6.4.3], the group of isometries generated by hyperbolic reflections $R := \{ r_1, \dots , r_{2 m} \}$ with respect to the sides of P acts geometrically on $\mathbb {H}^2$ . Therefore, it is a hyperbolic group, so Theorem 2.2 can be applied to it. Such groups are referred to as hyperbolic Coxeter groups.
Below, we will show that Theorem 1.2 can be quickly generalised to hyperbolic Coxeter groups.
Lemma 7.1. Let $m> 1$ . Consider a random walk on the free product of $2m$ copies of $\mathbb {Z} / 2 \mathbb {Z}$
defined by a probability measure $\mu $ on the generators. If we denote $x_i := F_\mu (1, s_i)$ for $1 \le i \le 2m$ and the hitting measure on the boundary of $F^{\prime }_{2m}$ by $\nu $ , then
Proof. The proof of this lemma can be obtained similarly to the proof of Lemma 2.4 for $F_m$ because the Cayley graphs for $F_m$ and $F^{\prime }_{2m}$ are isometric.
More precisely, a sample path converges to the boundary of the cylinder $C(s_i)$ if and only if it crosses the edge $s_i$ an odd number of times. This leads to the following computation:
A measure $\mu $ on the set $R = \{ r_1, \dots , r_{2 m} \}$ of reflections through the sides of P is called geometrically symmetric if $\mu (r_i) = \mu (r_{i+m})$ for each $1 \leq i \leq m$ .
Theorem 7.2. Let $\mu $ denote a geometrically symmetric measure supported on the generators $R = \{ r_1, \dots , r_{2 m} \}$ of a hyperbolic Coxeter group. Suppose that
Then the hitting measure $\nu $ in $\partial \mathbb {D}$ is singular with respect to the Lebesgue measure.
Proof. The proof of this theorem is quite similar to the proof of Theorem 3.1. We consider a measure $\tilde {\mu }$ on a free product $\left \langle h_1, \dots , h_{2m} \  \ h_i^2 = 1 \right \rangle $ of $2m$ copies of $\mathbb {Z} / 2\mathbb {Z}$ uniquely defined by $\tilde {\mu }(h_i) = \mu (r_i)$ .
If $\nu $ were to be absolutely continuous, then a similar argument would yield that
Keep in mind that $d_{\tilde {\mu }}(1, h_i) = d_{\tilde {\mu }}(1, h_{i+m})$ due to $\tilde {\mu }$ being geometrically symmetric as well. Therefore,
and due to Lemma 7.1, we obtain
which delivers a contradiction.
Theorem 7.3. The hitting measure of a nearestneighbour random walk generated by a geometrically symmetric measure on a Coxeter group associated with a centrally symmetric polygon is singular with respect to Lebesgue measure on $\partial \mathbb {D}$ .
Proof. Let us recall that $(g_i)^m_{i =1}$ denotes the translations identifying the opposite sides of P. It is easily seen that $\ell (r_i r_{i+m}) = 2\ell (g_i) = 2\ell (g_{i+m})$ for every $1 \le i \le m$ . However, we can apply Theorem 4.2, because there are no obtuse angles, to get
We conclude the proof by applying Theorem 7.2.
Acknowledgements
We thank R. Canary, B. Forghani, I. Gekhtman, C. McMullen and G. Panti for useful comments on the first draft.
Financial support
This material is based upon work supported by the National Science Foundation under Grant No. DMS1928930, while the second named author participated in a program hosted by the Mathematical Sciences Research Institute in Berkeley, California, during the Fall 2020 semester. The second named author is also partially supported by NSERC, the Sloan Foundation and an Ontario Early Researcher Award ‘Entropy in dynamics, geometry, and probability’.
Conflict of Interest
The authors have no conflict of interest to declare.