2. Geodesics and horocycles in the hyperbolic plane $\mathbb{H}$ and on surfaces

In this section, we introduce some elementary properties of geodesics traveling through subsurfaces which we will use to prove Theorem 1. Let $P_n$ be a hyperbolic subsurface with a single polygonal boundary of n concatenated geodesic edges such that all angles are less than $\pi$ . Figure 1(a) shows an example of $P_{1}$ . The following lemma is an extended version of Lemma 1 in [Reference Basmajian, Parlier and Souto3].

Figure 1.

Proof. We first label the vertices of the n-gonal boundary of $P_n$ by $A_1, A_2, ..., A_n$ consecutively. For each $i\in\{1,2,...,n\}$ , we can connect $A_i$ to $A_{i+2}$ by a shortest geodesic arc lying inside the interior of $P_n$ (in which $A_{n+1}\,:\!=\,A_1$ and $A_{n+2}\,:\!=\,A_2$ ) such that there is no cusp or geodesic boundary component in the resulting triangle $A_iA_{i+1}A_{i+2}$ . We call each such resulting triangle to be an ear of $P_n$ . In the set of angles of the ears in $P_n$ (three angles for each ear), we denote by $\theta_P$ their minimum value. Also, in the set of sides of the ears in $P_n$ , we denote by $\ell_P$ their maximum value.

Without loss of generality, we can assume that the geodesic arc c leaving from the point B on the interior of a side $A_1A_2$ of the n-gons forms an angle $\theta$ of at most $\theta_P$ as in Figure 1(b). Since the triangle $BA_2A_3$ is contained in the ear $A_1A_2A_3$ , Area $(BA_2A_3)\leq $ Area $(A_1A_2A_3)$ . As these two triangles are sharing an angle $A_2$ , by Gauss–Bonnet, the sum of the two remaining angles of $BA_2A_3$ is greater than or equal the sum of the angles $A_1$ and $A_3$ of the ear. In other words, we have

\begin{equation*} \measuredangle A_2BA_3 + \measuredangle A_2A_3B \geq \measuredangle A_2A_1A_3 + \measuredangle A_2A_3A_1.\end{equation*}

Since B is on the interior of the side $A_1A_2$ , we have $\measuredangle A_2A_3B < \measuredangle A_2A_3A_1$ and thus $\measuredangle A_2BA_3 > \measuredangle A_2A_1A_3$ . Hence, $\measuredangle A_2BA_3 > \theta_P \geq \theta$ and c lies inside $BA_2A_3$ . This implies that c also lies inside the ear, and the triangle $BA_2C$ is contained in the ear. By the same argument, we can show that the angle at C (i.e., the remaining angle formed by c and an edge of the n-gons) is greater than $\theta_P$ . The fact c lies inside the ear also tells us that the length of c has to be less than or equal at least one of three sides of the ear, hence $\ell(c) \leq \ell_P$ . Note that $\theta_P$ and $\ell_P$ are optimal as the inner sides of the ears are admissible geodesic arcs.

In this paper, we only need to focus on the case of once-punctured polygons. We also refer the reader to [Reference Buser5, Chapter 2] and [Reference Beardon4, Chapter 7] for all necessary trigonometric fomulae. The following lemma will give us an upper bound on the length of the geodesic arc that traverses inside the polygon with endpoints lying on the boundary of the polygon.

Lemma 2. Let P be a once-punctured polygon and $\psi \in \Big[0,\dfrac{\pi}{2}\Big)$ a constant. Let h be a closed horocycle lying inside P. Let d be the maximal distance from a point on $\partial{P}$ to h. Then for any geodesic arc c in P with two end points on $\partial P$ and $\theta\,:\!=\,\measuredangle(c,h)\leq \psi$ , we have

\begin{equation*}\ell(c) \leq \text{arccosh}\bigg(\dfrac{2e^{2d}}{\cos^2{\psi}}-1\bigg).\end{equation*}

Proof. We lift to $\mathbb{H}$ as in Figure 2.

Figure 2.

A lift of c is contained in the geodesic segment with endpoints i and $B+i$ , where

\begin{equation*}A^2+1=\bigg(\dfrac{e^d}{\cos\theta}\bigg)^2, \text{and } B=2A.\end{equation*}

Hence,

\begin{equation*}\cosh{\ell(c)}\leq \cosh\!(d_{\mathbb{H}}(2A+i,i))=1+\dfrac{|2A|^2}{2}=\dfrac{2e^{2d}}{\cos^2\theta}-1\leq \dfrac{2e^{2d}}{\cos^2\psi}-1.\end{equation*}

The next lemma describes some properties in a certain type of quadrilateral. Let $h_1$ and $h_2$ be two disjoint horocycles in $\mathbb{H}$ . Let $A_1A_2$ be the common orthogonal between $h_1$ and $h_2$ . For $i=1,2$ , let $B_i, C_i$ be points on $h_i$ so that $B_1B_2C_2C_1$ becomes a quadrilateral with two horocyclic edges $\{B_1C_1, B_2C_2\}$ and two geodesic edges $\{B_1B_2, C_1C_2\}$ .

Lemma 3. Suppose the inner acute angles of the quadrilateral $B_1B_2C_2C_1$ are of the same value $\psi$ . Then

\begin{equation*}\ell(B_1C_1)=\ell(B_2C_2)=2\sqrt{\tan^2\psi+e^{-\ell(A_1A_2)}+1}-2\tan{\psi}.\end{equation*}

Furthermore, every geodesic segment, which only meets $h_1$ and $h_2$ at its endpoints, lies totally inside the quadrilateral if and only if each of two acute angles at the endpoints are of value at least $\psi$ .

Proof. Denote by u the length of $A_1A_2$ . Let $h_1$ be the horizontal line $y=ie^u$ , $h_2$ be the horocycle centered at 0 and going through i as in Figure 3. We can also suppose that $A_1=ie^u$ , $A_2=i$ , hence $C_1=\ell e^u +ie^u$ where $\ell$ is defined by the length of the horocyclic segment $A_1C_1$ . By symmetry of the quadrilateral, we can find an involution f which is a nonorientation-preserving isometry sending $A_1$ to $A_2$ , $B_1$ to $B_2$ , and $C_1$ to $C_2$ . By a standard computation, $f(z)=\dfrac{a\bar{z}+b}{c\bar{z}+d}$ where $a=d=0, b=e^{\frac{u}{2}}$ , and $c=e^{\frac{-u}{2}}$ . As a consequence,

\begin{equation*}C_2=f(C_1)=f(\ell e^u +ie^u)=\dfrac{\ell}{\ell^2+1}+\dfrac{i}{\ell^2+1}.\end{equation*}

Let x be a point on the real line of $\mathbb{H}$ such that the Euclidean distances from $C_1$ and $C_2$ to x are the same. By computation, $x=\frac{(\ell^2+1)e^u+1}{2\ell}$ . Now applying the Euclidean trigonometric formula for the shaded Euclidean right triangle in Figure 3, noting that value of the angle at $C_1$ of this triangle is exactly $\psi$ , we get

\begin{equation*}\tan \psi=\dfrac{\dfrac{(\ell^2+1)e^u+1}{2\ell}-\ell e^u}{e^u}=\dfrac{-\ell^2+1+e^{-u}}{2\ell}.\end{equation*}

From this, we obtain the value of $\ell$ in terms of $\psi$ and u.

Figure 3.

For the second part, we fix an angle $\phi$ of value between $\psi$ and $\dfrac{\pi}{2}$ at one endpoint of c and observe what happens to the acute angle at the other endpoint of c while moving c along the horocycles and keeping the value of the angle $\phi$ . The behavior of the values of the remaining acute angle is exactly that of a concave function. By symmetry of the quadrilateral, c lies inside the quadrilateral if and only if both acute angles at the endpoints are of value at least $\psi$ .

Next we recall two useful facts.

Proof. The properties: “ $\gamma_1$ and $\gamma_2$ are disjoint” and (P1) are proved in [Reference Basmajian, Parlier and Souto3, Lemma 2.3], here we will fix a minor mistake in their proof to obtain a correct value of $r_{\varepsilon}$ under the requirement that $0<\varepsilon \leq 2$ .

(P1) Keeping all notations introduced in [Reference Basmajian, Parlier and Souto3, Lemma 2.3], from the proof we already had:

(2.1) \begin{equation}\cosh{\frac{\ell(\mu)}{2}}=\cosh\!\bigg(r_\varepsilon+\frac{\ell(c)}{2}\bigg)\sin\!(\theta_0) \,\,\,;\,\,\, \sinh{d^{\prime}}=\dfrac{1}{\sinh\!{\frac{\ell(\mu)}{2}}} \,\,\,;\,\,\, \sinh{h^{\prime}}=\sinh{d^{\prime}}\cosh {\frac{\ell(c)}{2}}.\end{equation}

In [Reference Basmajian, Parlier and Souto3], the authors deduced from Equalities (2.1) the following incorrect relation:

\begin{equation*}\sin\!(\theta_0)\cosh\!\bigg(r_\varepsilon+\frac{\ell(c)}{2}\bigg)\sinh{h^{\prime}}=\cosh {\frac{\ell(c)}{2}}\end{equation*}

In the end of their proof, they deduced the following relation

\begin{equation*}r_{\varepsilon}\geq \log\! \bigg(\dfrac{1}{\varepsilon}\bigg)+\log\!{ \bigg(\dfrac{4}{\sin{\theta_0}}\bigg)},\end{equation*}

which holds for any $\varepsilon >0$ . Then they chose $r_{\varepsilon}\,:\!=\, \log\! \bigg(\dfrac{1}{\varepsilon}\bigg)+\log\!{ \bigg(\dfrac{4}{\sin{\theta_0}}\bigg)}$ . Fortunately, this incorrect value of $r_{\varepsilon}$ does not affect the overall conclusion of the main theorems since later on one will see that the condition $0<\varepsilon \leq 2$ is necessary and then the correct value of $r_{\varepsilon}$ can be chosen as $\log\! \bigg(\dfrac{1}{\varepsilon}\bigg)+\log\!{ \bigg(\dfrac{2e}{\sin{\theta_0}}\bigg)}$ . From Equalities (2.1), we deduce that

\begin{equation*}\sinh^2\!(h^{\prime})=\sinh^2\!(d^{\prime})\cosh^2\!\bigg(\dfrac{\ell(c)}{2}\bigg)=\dfrac{\cosh^2\!\bigg(\dfrac{\ell(c)}{2}\bigg)}{\cosh^2\!\bigg(\dfrac{\ell(\mu)}{2}\bigg)-1}=\dfrac{\cosh^2\!\bigg(\dfrac{\ell(c)}{2}\bigg)}{\cosh^2\!\bigg(r_\varepsilon+\dfrac{\ell(c)}{2}\bigg)\sin^2\!(\theta_0)-1}.\end{equation*}

We want to show that $h^{\prime} \leq \dfrac{\varepsilon}{2}$ thus that

(2.2) \begin{equation}\dfrac{\cosh^2\!\bigg(\dfrac{\ell(c)}{2}\bigg)}{\cosh^2\!\bigg(r_\varepsilon+\dfrac{\ell(c)}{2}\bigg)\sin^2\!(\theta_0)-1} \leq \sinh^2\! \bigg(\dfrac{\varepsilon}{2}\bigg)\end{equation}

and Inequality (2.2) is equivalent to the following:

\begin{equation*}\cosh^2\!\bigg(r_\varepsilon+\dfrac{\ell(c)}{2}\bigg) \geq \dfrac{\cosh^2\!\left(\dfrac{\ell(c)}{2}\right)+\sinh^2 \!\left(\dfrac{\varepsilon}{2}\right)}{\sinh^2 \!\left(\dfrac{\varepsilon}{2}\right)\sin^2\!\left(\theta_0\right)}.\end{equation*}

By using the identities $\cosh\!(2x)=2\cosh^2\!(x)-1=2\sinh^2\!(x)+1$ , the last inequality can be expressed differently as follows:

(2.3) \begin{equation}2r_\varepsilon \geq \text{arccosh} \!\left( \dfrac{\cosh{\ell(c)}+\cosh{\varepsilon}}{\sinh^2 \!\left(\dfrac{\varepsilon}{2}\right)\sin^2\!(\theta_0)}-1 \right) -\ell(c).\end{equation}

The right hand of Inequality (2.3) can be considered as a function:

\begin{equation*} f(x)=\text{arccosh}(ax+b)-\text{arccosh}\ {x} \end{equation*}

on the domain $[1,\infty)$ , in which

\begin{align*}a & = \frac{1}{\sinh^2\!\left(\dfrac{\varepsilon}{2}\right)\sin^2\!(\theta_0)}>0,\\[5pt] b & = \frac{\cosh\varepsilon}{\sinh^2\!\left(\dfrac{\varepsilon}{2}\right)\sin^2\!(\theta_0)}-1\geq\frac{\cosh\varepsilon}{\sinh^2\!\left(\dfrac{\varepsilon}{2}\right)}-1=1+\frac{1}{\sinh^2\!\left(\dfrac{\varepsilon}{2}\right)}>1.\end{align*}

This function reaches its maximum $x=1$ . Hence, Inequality (2.3) will hold if

(2.4) \begin{equation}2r_\varepsilon \geq \text{arccosh} \!\left( \dfrac{1+\cosh{\varepsilon}}{\sinh^2 \!\left(\dfrac{\varepsilon}{2}\right)\sin^2\!(\theta_0)}-1 \right).\end{equation}

For simplicity, we set $A\,:\!=\,\dfrac{1+\cosh{\varepsilon}}{\sinh^2 \!\left(\dfrac{\varepsilon}{2}\right)\sin^2\!(\theta_0)}$ . Note that

\begin{equation*}\text{arccosh}(A-1) < \text{arccosh}\ A = \log\!\left(A+\sqrt{A^2-1}\right)<\log\!(2A)\end{equation*}

and

\begin{equation*}\log\!(2A)=\log\!\left( \dfrac{2+2\cosh{\varepsilon}}{\sinh^2 \!\left(\dfrac{\varepsilon}{2}\right)\sin^2\!(\theta_0)} \right)=2\log\!{ \bigg(\dfrac{2}{\sin{\theta_0}}\bigg)}+2\log\!{\bigg(\dfrac{e^\varepsilon+1}{e^\varepsilon-1}\bigg)}\end{equation*}

in which $\log\!{\bigg(\dfrac{e^\varepsilon+1}{e^\varepsilon-1}\bigg)}<\log\!{ \bigg(\dfrac{1}{\varepsilon}\bigg)}+1$ for all $\varepsilon \in (0, 2]$ .

Figure 4.

The worst-case scenario.

Thus Inequality (2.4) certainly holds provided

\begin{equation*}r_\varepsilon \geq \log\!{ \bigg(\dfrac{2}{\sin{\theta_0}}\bigg)}+\log\!{ \bigg(\dfrac{1}{\varepsilon}\bigg)}+1.\end{equation*}

Hence, we set

\begin{equation*}r_{\varepsilon}\,:\!=\,\log\! \bigg(\dfrac{1}{\varepsilon}\bigg)+\log\!{ \bigg(\dfrac{2e}{\sin{\theta_0}}\bigg)}.\end{equation*}

(P2) We consider the worst-case scenario: c is a complementary $\theta_0$ -transversal of $\gamma_1$ and $\gamma_2$ (see Figure 4). Consider the limit case which is when $\gamma$ and $\gamma_2$ are ultra-parallel. Now we orient c from $\gamma_1$ to $\gamma_2$ . Let $\psi$ denote the angle between $\gamma$ and the geodesic segment connecting the endpoint of $\gamma$ on $\gamma_1$ and the starting point of the oriented geodesic segment c. Let $\theta$ denote the angle between the extended part of c toward $\gamma_2$ and the geodesic ray starting at the endpoint of c and ending at the endpoint of $\gamma$ at infinity. Notice that the image of the orthogonal projection of c on $\gamma$ lies between $\gamma_1$ and $\gamma_2$ if and only if the angle $\psi$ is acute. Since the sum of four inner angles in a quadrilateral is always less than $2\pi$ , $\psi \leq \dfrac{\pi}{2}$ holds if $\theta <\dfrac{\pi}{4}$ . By using the same formula as in the proof of Lemma 4, we have

\begin{equation*}\cos{\theta}=\dfrac{\tanh{r_{\varepsilon}}-\cos{\theta_0}}{1-\tanh{r_{\varepsilon}}\cos{\theta_0}}.\end{equation*}

Hence, $\theta <\dfrac{\pi}{4}$ holds provided

(2.5) \begin{equation}\dfrac{\tanh{r_{\varepsilon}}-\cos{\theta_0}}{1-\tanh{r_{\varepsilon}}\cos{\theta_0}}>\dfrac{1}{\sqrt{2}}.\end{equation}

By a small manipulation, Inequality (2.5) is equivalent to the following:

\begin{equation*}r_{\varepsilon}>\dfrac{1}{2}\log\!\bigg(\dfrac{1}{\sin\theta_0}\bigg)+\log\!(1+\sqrt{2})+\log\!(1+\cos\theta_0).\end{equation*}

And this last inequality holds by definition of $r_{\varepsilon}$ .

3. Main tools

Moduli space $\mathcal{M}_{g,n}$ we think of as the space of complete hyperbolic structures up to isometry on a punctured orientable topological surface $\Sigma_{g,n}$ of genus g with n punctures (with $2g+n\geq 3$ ). A cusp region of area $\xi$ is a portion of the surface isometric to $\{z\,:\, \text{Im} z \geq 1\}/{z\mapsto z+\xi}$ . For any X in $\mathcal{M}_{g,n}$ and any positive number $\xi \leq 2$ , we can define

\begin{equation*}X^\xi\,:\!=\,\text{cl}(X\setminus \{\text{all cusp regions of area } \xi\}).\end{equation*}

In other word, $X^\xi$ is a surface of genus g with n boundary components and each connected component of its boundary is a horocycle of length $\xi$ . The following theorem is the main technical part in this paper:

Theorem 1. For any $X\in \mathcal{M}_{g,n}$ , there exists a constant $K_X$ such that the following holds. For all $0<\varepsilon \leq 1$ , $0<\xi \leq 1$ and any finite collection $\{c_i\}^N_{i=1}$ of geodesic arcs of average length $\bar{c}$ in $X^\xi$ , there exists a closed geodesic $\gamma$ of length at most

\begin{equation*}N\!\left(K_X+\bar{c}+10\log\!\frac{1}{\varepsilon}+8\log\!\frac{1}{\xi}\right)\end{equation*}

which contains $\{c_i\}^N_{i=1}$ in its $2\varepsilon$ -neighborhood.

Proof. The proof is structured in three parts. The first part will introduce some necessary geometric quantities and a classification of geodesics traveling through (punctured) polygons on the surface X forming big or small angles with the sides of the polygons. The second part is about the details of the arc-replacement technique and some upper bounds of length of extended arcs. The final part is a recap of parts 1 and 2 followed by the construction of the closed geodesic $\gamma$ .

Part 1: Setup.

We take a closed geodesic $\gamma_0$ on X of minimal length such that $X \setminus \gamma_0$ consists of a finite collection of ordinary polygons $\{P_i\}_{i\in I}$ and once-punctured polygons $\{P_i\}_{i \in J}$ (I and J are two disjoint finite index sets). Recall that, for each polygon $P_i$ ( $i\in I\cup J$ ) we have the constants $\theta_{P_i}$ and $\ell_{P_i}$ as mentioned in Lemma 1. Also in each ordinary polygon $P_i$ , we denote by $D_{P_i}$ the value of its intrinsic diameter. Note that there is no intrinsic diameter in once-punctured polygons. We define:

\begin{equation*}\theta_0\,:\!=\,\min\limits_{i\in I\cup J} \!\left\{ \theta_{P_i} \right\} \mathrm{and}\ D\,:\!=\,\max\limits_{i\in I, j\in J} \!\left\{D_{P_i}, \ell_{P_j}\right\}.\end{equation*}

In this part, we aim to define a classification for geodesics traveling through polygons in the following way.

Figure 5.

Case $1$ .

Figure 6.

Case $2$ .

We begin by defining a closed horocycle that lies inside a once-punctured polygon (hence $\gamma_0$ and this horocycle have no intersection) such that the distance between this horocycle and the horocycle of length $\xi$ (namely $h_{\xi}$ ) is at least

\begin{align*}r_{\varepsilon}\,:\!=\,\log\!\left(\frac{1}{\varepsilon}\right)+\log\!\left(\frac{2e}{\sin\theta_0}\right).\end{align*}

Since $\gamma_0$ wraps around each cusp at most once, it will not cross transversely the horocycle of length 1 in each cusp region. We also note that $\xi$ is less than 1. Hence, one option that satisfies the above condition is the horocycle which is at distance $r_{\varepsilon}$ from $h_{\xi}$ . We denote this horocycle by h. Since the decay of length of horocycle in a cusp is e,

\begin{equation*}\ell(h)=\dfrac{\xi}{e^{r_\varepsilon}}=\dfrac{\varepsilon\xi}{2e}\sin\theta_0.\end{equation*}

Now, let c be an arbitrary geodesic arc on X, we extend c by $r_\varepsilon$ in one direction to get a new arc c ^′ and the new endpoint p ^′. Then we continue to extend c ^′ from p ^′. In the process of extending, the geodesic can intersect $\gamma_0$ several times and form angles. An intersection is called a good intersection if the acute angle at it is at least $\theta_0$ , and otherwise, it will be called a bad intersection. The extension will stop at the first good intersection from p ^′. By Lemma 1, the extensions can be divided into 5 cases as follows:

1. 1. From p ^′, the previous intersection is bad and the next intersection is good (see Figure 5).

2. 2. From p ^′, the previous intersection is good, and the next intersection is bad (see Figure 6).

3. 3. p ^′ lies inside an ordinary polygon, the previous intersection and the next intersection are both good (see Figure 7).

4. 4. p ^′ lies inside a once-punctured polygon P, the previous intersection, and the next intersection are both good (see Figure 7) and so that the geodesic arc, namely c ^′′, between these two intersections is not too long, more precisely, this arc either intersects the horocycle h at an angle less than a given angle $\psi$ or does not intersect h.

5. 5. p ^′ lies inside a once-punctured polygon and if we continue to extend c ^′ from p ^′, it will intersect the horocycle h at an angle at least $\psi$ (see Figure 7).

   Figure 7.

   Cases $3$ , $4$ , and $5$ , respectively.

   

Now in order to stop the extension, by Lemma 1 and the definition of D above, the distance we need to extend from p ^′ is at most D (in cases 1 and 3) and 2D (in case 2). In case 4, let $s_0\in \partial{P}$ such that

\begin{equation*}d_{X}(s_0, h)=\max \limits_{s\in \partial{P}} \{ d_{X}(s, h) \}.\end{equation*}

Let $d_P$ be the distance from $s_0$ to the closed horocycle of length 1 of the same cusp. Note that the distance between this horocycle and h is $\log\!\left(\dfrac{2e}{\varepsilon \xi \sin\theta_0}\right)$ . Thus,

\begin{equation*}d_{X}(s_0, h) = d_P+\log\!\left(\dfrac{2e}{\varepsilon \xi \sin\theta_0}\right).\end{equation*}

Then applying Lemma 2 and the inequality $\text{arccosh}(x-1)<\log\!(2x)$ we have

(3.1) \begin{equation}\ell(c^{\prime\prime}) \leq \text{arccosh}\!\left(\dfrac{2e^{2d_P+2\log\!\left(\dfrac{2e}{\varepsilon \xi \sin\theta_0}\right)}}{\cos^2{\psi}}-1\right)<2d_P+2\log\!\left(\dfrac{2e}{\varepsilon \xi \sin\theta_0}\right)+2\log\!\bigg( \dfrac{2}{\cos\psi}\bigg).\end{equation}

Note that, in part 2, we will define $\psi$ as the angle formed by $\tilde{h}$ and $\tilde{\eta}_1$ (see Figure 8). By simple computations, we obtain

\begin{equation*} \psi =\arccos \!\left(\dfrac{\dfrac{\varepsilon\xi}{e}\sin\theta_0}{1+\dfrac{\varepsilon^2\xi^2}{4e^2}\sin^2\!(\theta_0)}\right).\end{equation*}

From there we have

(3.2) \begin{equation}2\log\!\bigg( \dfrac{2}{\cos\psi}\bigg)=2\log\!\bigg(1+\dfrac{\varepsilon^2\xi^2}{4e^2}\sin^2\!(\theta_0) \bigg)+2\log\!\bigg(\dfrac{2e}{\varepsilon\xi\sin\theta_0}\bigg)<2+2\log\!\bigg(\dfrac{2e}{\varepsilon\xi\sin\theta_0}\bigg).\end{equation}

Combining (3.1) and (3.2), one has

\begin{equation*}\ell(c^{\prime\prime})<2d_P+4\log\!\bigg(\dfrac{2e}{\varepsilon\xi\sin\theta_0}\bigg)+2.\end{equation*}

Moreover, if one denotes by $d_{\gamma_0}$ the maximal value of $\{d_{P_i}\}_{i\in J}$ , then

\begin{equation*}m_A\,:\!=\,2D+2d_{\gamma_0}+2+4\log\!\bigg(\dfrac{2e}{\varepsilon\xi\sin\theta_0}\bigg)\end{equation*}

is an upper bound on the length of the extension in class A (i.e., cases 1, 2, 3, and 4). Note that, in class B (i.e., case 5), the length of the extension is unbounded when $\measuredangle(c^{\prime},h)$ goes to $\dfrac{\pi}{2}$ .

Figure 8.

Lifting to $\mathbb{H}$ in Case B. The shaded part is a lift of polygon P.

Part 2: Replacements and estimates.

Now, let c be an arbitrary geodesic arc in the collection $\{c_i\}^N_{i=1}$ . Denote the two endpoints of c by p and q. We extend c by $r_\varepsilon$ in both directions to get a new geodesic arc c ^′. We now look at different cases.

Case A: The extensions in both directions are in class A.

In order to get good intersections in both directions, we need to extend c ^′ by at most $m_A$ for each of its directions. Hence, an upper bound on the length of c after being extended is

\begin{equation*}\ell(c)+2r_\varepsilon+2m_A\end{equation*}

or more precisely,

(3.3) \begin{equation}\ell(c)+10\log\!\dfrac{1}{\varepsilon}+8\log\! \dfrac{1}{\xi}+4D+4d_{\gamma_0}+4+10\log\! \bigg(\dfrac{2e}{\sin\theta_0}\bigg).\end{equation}

Case B: There is a direction where the extension is in class B.

Let p ^′ be the endpoint of c ^′ in this direction, we can suppose p ^′ lies inside a once-punctured polygon, namely P.

What we aim to do is to replace c by another geodesic arc, which is very close to c and controlled in both directions (i.e., the extension in each direction is in class A). Denote the complete geodesic containing c by $\gamma_c$ . We assume that the horizontal line $y=\dfrac{2e}{\varepsilon \xi \sin\theta_0}i$ , namely $\tilde{h}$ , is a lift of the closed horocycle h of length $\dfrac{\varepsilon \xi}{2e}\sin\theta_0$ in P. From there we can suppose the complete geodesic $\tilde{\gamma_c}$ with an endpoint at 0, forming an angle at least $\psi$ with $\tilde{h}$ , is a lift of $\gamma_c$ . Hence, $\tilde{\gamma_c}$ lies between $\tilde{\eta}_1$ and $\tilde{\eta}_2$ , in which $\tilde{\eta}_1$ and $\tilde{\eta}_2$ are the complete geodesics with a common endpoint at 0, containing $\dfrac{2e}{\varepsilon \xi \sin\theta_0}i+1$ and $\dfrac{2e}{\varepsilon \xi \sin\theta_0}i-1$ , respectively.

Now we construct lifts of other points from there. Let $\tilde{p}$ and $\tilde{q}$ be lifts of p and q, respectively (see Figure 8). Let $\tilde{\gamma}_1$ and $\tilde{\gamma}_2$ be geodesics going though $\tilde{p}$ and $\tilde{q}$ , respectively, and orthogonal to the axis $x=0$ . Let $\tilde{p}_i\,:\!=\,\tilde{\gamma}_1 \cap \tilde{\eta}_i$ and $\tilde{q}_i\,:\!=\,\tilde{\gamma}_2 \cap \tilde{\eta}_i$ , for $i=1,2$ .

For $i=1,2$ , we denote by $p_iq_i$ the projection of $\tilde{p_i}\tilde{q_i}$ to the surface X. Extend the geodesic arc $p_iq_{i}$ by $r_\varepsilon$ in both directions to get a new geodesic arc $p^{\prime}_iq^{\prime}_{i}$ . If $p^{\prime}_i \notin P$ , we only need to extend by an extra at most $\dfrac{\varepsilon \xi}{e}\sin\theta_0+2\ell(\gamma_0)$ to get into P. This can be proved by using the inequality in the triangle formed by $\tilde{\eta}_i$ , the geodesic segment $\tilde{p_i}^{\prime}\tilde{p}^{\prime}$ and a lift of $\gamma_0$ (one of the boundary components of the shaded part in Figure 8).

There are two different subcases of case B:

Subcase BA: The extension in the direction of either $q_1$ or $q_2$ is in class A.

Without loss of generality, we assume that the extension in the direction of $q_1$ is in class A. Note that the geodesic segments $\tilde{p}\tilde{p}_1$ and $\tilde{q}\tilde{q}_1$ are of length at most $\dfrac{\varepsilon \xi}{e}{\sin\theta_0}$ . Since $\xi \leq 1$ and $\sin\theta_0 \leq 1$ , $\dfrac{\varepsilon \xi}{e}{\sin\theta_0}< \dfrac{\varepsilon}{2}$ . Thus, any geodesic containing $p_1q_1$ in its $\varepsilon$ -neighborhood contains c in its $\left(\dfrac{\varepsilon}{2}+\varepsilon\right)$ -neighborhood. Hence in this case, we will replace c by $p_1q_1$ .

Recall that we extended $p_1q_1$ by $r_{\varepsilon}$ in both directions to obtain the geodesic arc $p^{\prime}_1q^{\prime}_1$ . In order to get good intersections in both directions, we continue to extend $p^{\prime}_1q^{\prime}_1$ by at most

\begin{equation*}2m_A+\dfrac{\varepsilon \xi}{e}{\sin\theta_0}+2\ell(\gamma_0).\end{equation*}

Hence, an upper bound on the length of $p_1q_1$ after being extended is

\begin{equation*}\ell(c)+2r_\varepsilon+2m_A+\dfrac{\varepsilon \xi}{e}{\sin\theta_0}+2\ell(\gamma_0)\end{equation*}

which is less than or equal to

(3.4) \begin{equation}\ell(c)+10\log\!\dfrac{1}{\varepsilon}+8\log\! \dfrac{1}{\xi}+4D+4d_{\gamma_0}+4+10\log\! \bigg(\dfrac{2e}{\sin\theta_0}\bigg)+\dfrac{\sin\theta_0}{e}+2\ell(\gamma_0).\end{equation}

Subcase BB: The extensions in the directions of $q_1$ and $q_2$ are both in class B.

Since $\eta, \eta_1$ , and $\eta_2$ asymptotic in the direction of $q, q_1$ , and $q_2$ , length of the geodesic arc orthogonal to $\eta$ and connecting $q^{\prime}_1$ and $q^{\prime}_2$ is very small, roughly less than $\dfrac{\varepsilon \xi}{{2e}}{\sin\theta_0}$ . Thus, we can suppose that $q^{\prime}_1$ and $q^{\prime}_2$ lie in the same once-punctured polygon, denoted by P ^′. Let h ^′ be the closed horocycle of length $\dfrac{\varepsilon \xi}{{2e}}{\sin\theta_0}$ in P ^′. From there we construct a lift of h ^′, denoted by $\tilde{h^{\prime}}$ . We keep all the notations $A_1, A_2, B_1, B_2, C_1, C_2$ , and u as introduced in Lemma 3 (see Figure 9).

Figure 9.

Lifting to $\mathbb{H}$ in sub-case BB.

Now we would like to apply Lemma 3 to the two horocycles $\tilde{h}$ and $\tilde{h^{\prime}}$ with the angle $\psi$ . Recall that $u=\ell(A_1A_2)$ is the distance from $\tilde{h}$ to $\tilde{h^{\prime}}$ . One can estimate a lower bound and an upper bound on u as follows:

\begin{equation*}2\log\!\dfrac{{4e}}{\varepsilon\xi{\sin\theta_0}} \leq u\leq \ell(c)+2r_{\varepsilon}+ \dfrac{\varepsilon \xi}{{e}}{\sin\theta_0}+2\ell(\gamma_0)+2\bigg(d_{\gamma_0}+\log\!{\dfrac{{2e}}{\varepsilon \xi{\sin\theta_0}}}\bigg).\end{equation*}

This implies that:

\begin{equation*}0< u\leq \ell(c)+4\log\!{\dfrac{1}{\varepsilon}}+2\log\!{\dfrac{1}{\xi}}+k_X\end{equation*}

in which $k_X\,:\!=\,2d_{\gamma_0}+4\log\! \dfrac{2e}{\sin\theta_0}+\dfrac{\sin\theta_0}{e}+2\ell(\gamma_0)$ .

Recall that $\ell\,:\!=\,\dfrac{\ell(B_1C_1)}{2}$ . Then by Lemma 3, we have

\begin{equation*}\ell=\sqrt{\tan^2\psi+e^{-u}+1}-\tan{\psi}=\dfrac{e^{-u}+1}{\sqrt{\tan^2\psi+e^{-u}+1}+\tan{\psi}}< \dfrac{2}{\sqrt{\tan^2\psi+1}+\tan{\psi}}\end{equation*}

Thus, since $\psi =\arccos \!\left(\dfrac{\dfrac{\varepsilon\xi}{e}\sin\theta_0}{1+\dfrac{\varepsilon^2\xi^2}{4e^2}\sin^2\!(\theta_0)}\right)$ , $0<\varepsilon \leq 1$ , $0<\xi \leq 1$ and $\dfrac{2e}{\sin\theta_0} >2e$ we have

\begin{equation*}\ell < \dfrac{2}{\sqrt{\tan^2\psi+1}+\tan{\psi}}=\dfrac{2\varepsilon \xi}{\dfrac{2e}{\sin\theta_0}}<2e^{-1},\end{equation*}

hence

\begin{equation*}\ell(B_1B_2)=\ell(C_1C_2)\leq 2\ell+u < 4e^{-1}+\ell(c)+4\log\!\dfrac{1}{\varepsilon}+2\log\!\dfrac{1}{\xi}+k_X.\end{equation*}

Now we draw a geodesic going through $\tilde{p}$ , resp. $\tilde{q}$ , orthogonal to $A_1A_2$ , meeting $B_1B_2$ at a point, denoted by $\tilde{p}_0$ , resp. $\tilde{q}_0$ (see the Figure 9). We also denote by $\tilde{\zeta}$ the geodesic segment $\tilde{p}_0\tilde{q}_0$ . By projecting the geodesic segment $\tilde{\zeta}$ to X, we get a geodesic arc on X, denoted by $\zeta$ . Note that the geodesic segments $\tilde{p}\tilde{p}_0$ and $\tilde{q}\tilde{q}_0$ are of length at most $2\ell<\dfrac{4\varepsilon \xi \sin\theta_0}{2e}<\varepsilon$ . Thus, any geodesic containing $\zeta$ in its $\varepsilon$ -neighborhood contains c in its $2\varepsilon$ -neighborhood. In this case, we will replace c by $\zeta$ .

Since $B_1B_2$ contains $\tilde{\zeta}$ , we will extend $B_1B_2$ instead of $\tilde{\zeta}$ . By Lemma 2, in order to get good intersections in both directions, we need to extend $B_1B_2$ in each direction by a distance v, where v satisfies:

\begin{equation*}\log\!\left(\dfrac{2e}{\varepsilon \xi \sin\theta_0}\right)+\log\!\dfrac{1+\sin\psi}{1-\sin\psi}\leq v\leq \dfrac{1}{2}\text{arccosh} \!\left(\dfrac{2e^{2d}}{\cos^2\psi}-1\right)+\dfrac{1}{2}\log\!\dfrac{1+\sin\psi}{1-\sin\psi},\end{equation*}

where $d\,:\!=\,d_{\gamma_0}+\log\!\left(\dfrac{2e}{\varepsilon \xi \sin\theta_0}\right)$ . Similarly to (3.1) and (3.2), one can show that:

\begin{equation*}\log\!\dfrac{1}{\varepsilon}+\log\!\left(\dfrac{2e}{\xi \sin\theta_0}\right)+\log\!\dfrac{1+\sin\psi}{1-\sin\psi}\leq v < d_{\gamma_0}+1+3\log\!\dfrac{1}{\xi}+3\log\!\dfrac{1}{\varepsilon}+3\log\!\left(\dfrac{2e}{ \sin\theta_0}\right).\end{equation*}

Since the lower bound of v is greater than $r_{\varepsilon}$ , we do not need to extend the segment $B_1B_2$ in two steps as in the previous cases.

In this way, we obtain an upper bound on the length of $B_1B_2$ after the extension:

\begin{equation*}4e^{-1}+\ell(c)+4\log\!\dfrac{1}{\varepsilon}+2\log\!\dfrac{1}{\xi}+k_X+2d_{\gamma_0}+2+6\log\!\dfrac{1}{\xi}+6\log\!\dfrac{1}{\varepsilon}+6\log\!\left(\dfrac{2e}{ \sin\theta_0}\right)\end{equation*}

or

(3.5) \begin{equation}\ell(c)+10\log\!\dfrac{1}{\varepsilon}+8\log\!\dfrac{1}{\xi}+4d_{\gamma_0}+10\log\!\left(\frac{2e}{\sin\theta_0}\right)+\frac{\sin\theta_0}{e}+2\ell(\gamma_0)+4e^{-1}+2.\end{equation}

Finally, after comparing upper bounds (3.3), (3.4) and (3.5) in cases A, BA, and BB, respectively, we set

\begin{equation*}M(c,\varepsilon,\xi,X)\,:\!=\,\ell(c)+10\log\!\dfrac{1}{\varepsilon}+8\log\! \dfrac{1}{\xi}+k^{\prime}_X\end{equation*}

the upper bound of all cases, in which $k^{\prime}_X\,:\!=\,4D+4d_{\gamma_0}+4+10\log\! \left(\dfrac{2e}{\sin\theta_0}\right)+\dfrac{\sin\theta_0}{e}+2\ell(\gamma_0)$ is a quantity that depends only on X.

Part 3: Construction of the geodesic $\gamma$ .

Since X is orientable, $\gamma_0$ has two opposite sides denoted by $\gamma_0^{+}$ and $\gamma_0^{-}$ . Let $\mu_{\pm}$ be an oriented geodesic arc from $\gamma_0$ to itself, orthogonal $\gamma_0$ in both end points, and which leaves and returns to $\gamma_0^{\pm}$ . Note that these two geodesic arcs $\mu_{+}$ and $\mu_{-}$ are constructed using a finite cover of X which lifts $\gamma_0$ to a simple closed geodesic. The lengths of these two arcs are constants depending on X.

In the previous parts, we replaced the collection $\{c_i\}^N_{i=1}$ by a new collection, denoted by $\{\zeta_i\}^N_{i=1}$ . We also defined a collection of the extended geodesic arcs of $\{\zeta_i\}^N_{i=1}$ , denoted by $\{\zeta^{\prime}_i\}^N_{i=1}$ . In this collection, each element $\zeta^{\prime}_i$ , is of length at most $M(c,\varepsilon,\xi,X)$ , has endpoints lying on $\gamma_0$ and forms good angles ( $\geq \theta_0$ ) with $\gamma_0$ , and is an extension of $\zeta_i$ by at least $r_{\varepsilon}$ in each direction. In short, each $\zeta_i$ is an example of the geodesic segment c in Lemma 5. Furthermore, we showed that any geodesic containing $\zeta_i$ in its $\varepsilon$ -neighborhood contains $c_i$ in its $2\varepsilon$ -neighborhood.

With the new collection $\{\zeta_i\}^N_{i=1}$ and its extension $\{\zeta^{\prime}_i\}^N_{i=1}$ in hand, following exactly the same algorithm in the proof of [Reference Basmajian, Parlier and Souto3, Theorem 2.4], one can construct a closed piecewise geodesic forming from these arcs with suitable choices of subsegments of the filling closed geodesic $\gamma_0$ and $\mu_{\pm}$ as following steps.

• • Cyclically ordering and orienting each ${\zeta^{\prime}_i}$ arbitrarily.

• • If $\zeta^{\prime}_{i+1}$ starts on the opposite side of $\gamma_0$ that $\zeta^{\prime}_{i}$ ends on, we join the endpoint of $\zeta^{\prime}_{i}$ to the starting point of $\zeta^{\prime}_{i+1}$ by the shortest subarc of $\gamma_0$ which does this.

• • If $\zeta^{\prime}_{i+1}$ starts and $\zeta^{\prime}_{i}$ ends on the same side, say $\gamma_0^{+}$ , of $\gamma_0$ , we join the endpoint of $\zeta^{\prime}_{i}$ to the starting point of $\mu_{-}$ by the shortest subarc of $\gamma_0$ which does this. Then we join the endpoint of $\mu_{-}$ to the starting point of $\zeta^{\prime}_{i+1}$ by the shortest subarc of $\gamma_0$ which does this.

Note that each connecting shortest subarc introduced in each step is of length at most $\dfrac{\gamma_0}{2}$ .The resulting closed piecewise geodesic, denoted by $\gamma^{\prime}$ , is contained in the $\varepsilon$ -neighborhood of $\gamma$ , where $\gamma$ is the unique closed geodesic in the free homotopy class of $\gamma^{\prime}$ . Due to the above construction, $\gamma$ is a nontrivial loop. Denote $\bar{c}$ the average length of the collection $\{c_i\}^N_{i=1}$ , the length of $\gamma$ is bounded above by

\begin{equation*}N\!\left(K_X+\bar{c}+10\log\!\frac{1}{\varepsilon}+8\log\!\frac{1}{\xi}\right),\end{equation*}

where $K_X$ is a constant depending on X.

A geodesic arc on X is called a doubly truncated orthogeodesic on $X^\xi$ if it is perpendicular to the horocyclic boundary of $X^\xi$ at its endpoints. As a consequence of Theorem 1, we can also construct a doubly truncated orthogeodesic $\mathcal{O}$ with the same properties:

Theorem 2. For any $X\in \mathcal{M}_{g,n}$ , there exists a constant $K_X$ such that the following holds. For all $0<\xi \leq 1$ , $0<\varepsilon \leq \min\!\left\{\log\!\dfrac{1}{\xi},1\right\}$ , and any finite collection $\{c_i\}^N_{i=1}$ of geodesic arcs of average length $\bar{c}$ in $X^\xi$ , there exist a doubly truncated orthogedesic $\mathcal{O}$ of length at most

\begin{equation*}(N+1)\left(K_X+\bar{c}+10\log\!\frac{1}{\varepsilon}+8\log\!\frac{1}{\xi}\right)\end{equation*}

containing $\{c_i\}^N_{i=1}$ in its $2\varepsilon$ -neighborhood.

Proof. Let $P_0$ and $P_1$ be two arbitrary once-punctured polygons of the partition by $\gamma_0$ on X. First, we will construct a doubly truncated orthogeodesic $\mathcal{O}_1$ with endpoints on the horocycles of length 1 associated to the two polygons so that $\mathcal{O}_1$ contains $\{\zeta_i\}^N_{i=1}$ in its $\varepsilon$ -neighborhood. We take a shortest one-sided orthogeodesic arc, denoted by $\zeta^{\prime}_0$ , oriented with the starting point on the horocycle of length 1 of $P_0$ and the endpoint on $\gamma_0$ . We take another shortest one-sided orthogeodesic arc, denoted by $\zeta^{\prime}_{N+1}$ , oriented with the starting point on $\gamma_0$ and the endpoint on the horocycle of length 1 of $P_1$ . For each $i\in \{1,2,...,N\}$ , we orient $\zeta^{\prime}_{i}$ arbitrarily. The new sequence $\{\zeta^{\prime}_i\}^{N+1}_{i=0}$ is ordered linearly by its index. We apply the connecting algorithm to this new sequence. Noting that $\zeta^{\prime}_0$ is in the first step and $\zeta^{\prime}_{N+1}$ is in the last step of the algorithm, one will obtain a doubly truncated orthogeodesic $\mathcal{O}_1$ as desired (see Figure 10).

Figure 10.

Lifting to $\mathbb{H}$ .

Since $\mathcal{O}_1$ is an arc, it may not contain totally either $c_1$ or $c_N$ in its $2\varepsilon$ -neighborhood. In this case, by applying Lemma 5 (P2), we only need to extend $\mathcal{O}_1$ by a small extra segment of length at most $\varepsilon$ in both directions. Note that, $\varepsilon \leq \log\! \dfrac{1}{\xi}$ , and the distance between the horocycle of length 1 and the horocyle of length $\xi$ is $\log\! \dfrac{1}{\xi}$ , by extending $\mathcal{O}_1$ in both directions until it hits the boundary of $X^{\xi}$ , we obtain $\mathcal{O}$ as desired.

4. Quantitative density on surface

We now apply Theorem 1 to prove results about quasi-dense geodesics.

Figure 11.

An example when $g=1$ , $n=1$ .

Figure 12.

An example when $g=2$ , $n=2$ . Note that $CH(F^2)$ is the polygon with red edges.

Theorem 3. For all $X\in \mathcal{M}_{g,n}$ there exists a constant $C_X>0$ such that for all $0<\xi \leq 1$ and all $0<\varepsilon \leq 2$ there exists a closed geodesic $\gamma_\varepsilon$ that is $\varepsilon$ -dense on $X^{\xi}$ and such that

\begin{equation*}\ell(\gamma_\varepsilon) \leq C_{X} \dfrac{1}{\varepsilon}\bigg(\log\! \dfrac{1}{\varepsilon}+\log\! \dfrac{1}{\xi}\bigg).\end{equation*}

Proof. On $\mathbb{H}$ , there is a fundamental polygon F whose boundary consists $4g+2n$ paired geodesic segments (or rays) which, when glued in pairs, turn the polygon into X. This polygon has n ideal vertices and $4g+n$ ordinary vertices. See Figure 11 for an example.

Since $X^{2}\subset X^{\xi} \subset X$ , there is a fundamental polygon of $X^{\xi}$ in F, say $F^{\xi}$ , and a fundamental polygon of $X^2$ in $F^{\xi}$ , say $F^2$ . We note that the boundary of $F^2$ consists of n horocyclic segments of length 2 and $4g+2n$ geodesic segments. By replacing each horocyclic segment by a geodesic segment of length $2\text{arcsinh}1$ with the same endpoints, we obtain the convex hull of $F^2$ , denoted by $CH(F^2)$ . We denote by $P_X$ the perimeter of $CH(F^2)$ and note that this value depends only on X. On an edge of $CH(F^2)$ , we choose the first point at a vertex, then choose the next points such that the segment on the boundary connecting two consecutive points is of length $\varepsilon$ . If the length of the segment connecting the last point and the remaining vertex of the same edge is less than $\varepsilon$ , that vertex will be chosen as the first point of the next edge, we then continue the choosing process. Eventually, we have chosen at most

\begin{equation*}\dfrac{P_X}{\varepsilon}+4g+2n\end{equation*}

points on the boundary of $CH(F^2)$ . See Figure 12.

Now we connect each ideal vertex to the points on the boundary of $CH(F^2)$ . Since $CH(F^2)$ is convex, the parts of those geodesic rays in $F^{\xi}$ are exactly one-sided orthogeodesic segments. By gluing back paired geodesic segments of F in pairs, these segments become one-sided orthogeodesic arcs on X and we have at most

\begin{equation*}n\bigg(\dfrac{P_X}{\varepsilon}+4g+2n\bigg)\end{equation*}

one-sided orthogeodesic arcs on X. By construction, each segment is of length at most

\begin{equation*}\dfrac{P_X}{2}+\log\!\bigg(\dfrac{2}{\xi}\bigg).\end{equation*}

Moreover, the collection of the one-sided orthogeodesic arcs is $\dfrac{\varepsilon}{2}$ -dense on $X^\xi$ . Thus by applying Theorem 1 to this collection, we obtain the closed geodesic $\gamma_\varepsilon$ containing every arcs in its $\frac{\varepsilon}{2}$ neighborhood where length satisfies

(4.1) \begin{equation}\ell(\gamma_\varepsilon) \leq n\bigg(\dfrac{P_X}{\varepsilon}+4g+2n\bigg)\bigg(K_X+\dfrac{P_X}{2}+\log\!\dfrac{2}{\xi}+10\log\!\dfrac{2}{\varepsilon}+8\log\!\dfrac{1}{\xi}\bigg).\end{equation}

Then by manipulating the right hand of inequality (4.1), we obtain a constant $C_X$ depending only on X so that:

\begin{equation*}\ell(\gamma_\varepsilon) \leq C_X \dfrac{1}{\varepsilon}\bigg( \log\!\dfrac{1}{\varepsilon}+\log\!\dfrac{1}{\xi}\bigg).\end{equation*}

By using the same collection of geodesic segments as in Theorem 3, and by the connecting algorithm in the proof of Theorem 2, we also obtain the following result:

Theorem 4. Let $X\in \mathcal{M}_{g,n}$ , there exists a constant $D_{X}>0$ such that for all $0<\xi \leq 1$ and all $0<\varepsilon \leq \min\!\left\{2\log\!\dfrac{1}{\xi},2\right\}$ there exists a doubly truncated orthogeodesic $\mathcal{O}_\varepsilon$ that is $\varepsilon$ -dense on $X^\xi$ and such that

\begin{equation*}\ell(\mathcal{O}_\varepsilon) \leq D_{X} \dfrac{1}{\varepsilon}\bigg(\log\! \dfrac{1}{\varepsilon}+\log\! \dfrac{1}{\xi}\bigg).\end{equation*}

We end this section with a corollary of Theorem 3 where we apply Theorem 1.2 [Reference Basmajian2] to obtain an upper bound on the number of self-intersections of the quasi $\varepsilon$ -dense closed geodesic.

Corollary 1. Let $X\in \mathcal{M}_{g,n}$ , there exists a constant $C_{X}>0$ such that for all $0<\xi \leq 1$ and all $0<\varepsilon \leq 2$ there exists a closed geodesic $\gamma_\varepsilon$ that is $\varepsilon$ -dense on $X^\xi$ and such that

\begin{equation*}2i(\gamma_\varepsilon,\gamma_\varepsilon) \leq C_{X}^{\dfrac{1}{\varepsilon}\left(\displaystyle\log\! \dfrac{1}{\varepsilon}+\displaystyle\log\! \dfrac{1}{\xi}\right)}.\end{equation*}