Long Hitting time for translation flows and L-shaped billiards

We consider the flow in direction $\theta$ on a translation surface and we study the asymptotic behavior for $r\to 0$ of the time needed by orbits to hit the $r$-neighborhood of a prescribed point, or more precisely the exponent of the corresponding power law, which is known as hitting time. For flat tori the limsup of hitting time is equal to the diophantine type of the direction $\theta$. In higher genus, we consider a generalized geometric notion of diophantine type of a direction $\theta$ and we seek for relations with hitting time. For genus two surfaces with just one conical singularity we prove that the limsup of hitting time is always less or equal to the square of the diophantine type. For any square-tiled surface with the same topology the diophantine type itself is a lower bound, and any value between the two bounds can be realized, moreover this holds also for a larger class of origamis satisfying a specific topological assumption. Finally, for the so-called Eierlegende Wollmilchsau origami, the equality between limsup of hitting time and diophantine type subsists. Our results apply to L-shaped billiards.


Introduction
Consider a minimal dynamical system φ : R × X → X, (t, p) → φ t (p) in continuous time t ∈ R on a metric space X, whose balls are the sets B(p, r) := {p ′ ∈ X | Dist(p, p ′ ) < r} with p ∈ X and r > 0. For any pair of points p, p ′ in X and any r > 0 small enough, the hitting time of p to the ball B(p ′ , r) of radius r around p ′ is R(φ, p, p ′ , r) := inf{t > r | Dist(φ t (p), p ′ ) < r} We are interested to study the scaling law of R(φ, p, p ′ , r) when r → 0, that is to say we consider the two quantities w hit (φ, p, p ′ ) := lim inf r→0 + log R(φ, p, p ′ , r) − log r , w hit (φ, p, p ′ ) := lim sup r→0 + log R(φ, p, p ′ , r) − log r .
One can consider also the return time R(φ, p, r) := R(φ, p, p, r) of a point p to its r-ball B(p, r) and and define analogously w ret (φ, p) := w hit (φ, p, p) and w ret (φ, p) := w hit (φ, p, p).
The same quantities are also obviously defined for dynamical systems in integer time t ∈ Z.
In particular, since w(α) = 1 for almost any α, then for any such α and for generic points p, p ′ one has lim r→0 + log R(T α , p, r) − log r = 1 and lim r→0 + log R(T α , p, p ′ , r) − log r = 1 In [KiMa], the same result was shown replacing the generic rotation T α by the generic interval exchange map T over any number of intervals. On the other hand, Equation (1.1) also implies the existence of many parameters α with w hit (T α , p, p ′ ) > 1 for generic p, p ′ , indeed according to Jarník Theorem (see [Ja]), for any η where dim H denotes the Hausdorff dimension. The result in Equation (1.1) stands in the same form replacing T α by the linear flow φ θ in direction θ with slope α = tan θ on the standard torus T 2 := R 2 /Z 2 , that is the flow defined for any t ∈ R by φ t θ (x, y) := (x, y) + t(sin θ, cos θ) (mod Z 2 ). Moreover, via a well known unfolding procedure, one can derive the same conclusion for the billiard flow in the square [0, 1/2] 2 . The aim of this paper is to study the relation between hitting time and the diophantine exponent in translation flows in higher genus. Definitions and statements of main results are given in § 2. Here, as a motivational result, we state a consequence of our main Theorems for the billiard flow in L-shaped polygons.
Fix four real numbers 0 < a ′ < a and 0 < b ′ < b and let L = L(a, a ′ , b, b ′ ) ⊂ R 2 be the polygon whose vertices, listed in counterclockwise order, are (0, 0), (a, 0), (a, b ′ ), (a ′ , b ′ ), (a ′ , b), (0, b). An example of such polygon appears in Figure 1. Let φ : L × S 1 → L × S 1 be the billiard flow. Reflections at sides of L are affine maps with linear part given by the linear reflections s h : R 2 → R 2 and s v : R 2 → R 2 defined respectively by s h (x, y) := (−x, y) and s v (x, y) := (x, −y).
Let D ≃ (Z/2Z) 2 be the group generated by s h and s v and consider its action on S 1 . Any direction θ has an orbit [θ] of four elements, thus the phase space L × S 1 decomposes into invariant subspaces L× [θ] where the directional billiard flow φ [θ] is defined, modulo the action of D on the second factor. A generalized diagonal γ is a finite segment of billiard trajectory connecting two vertices of L and without any other vertex in its interior. A direction θ is said rational if φ [θ] admits a generalized diagonal, the set of rational directions being of course countable. We give a preliminary version of the notion of diophantine type of a non rational direction θ in terms of the deviation of finite trajectories of φ [θ] from generalized diagonals.  Figure 1. In red, a billiard trajectory in a L-shaped billiard L(a, b, a ′ , b ′ ). The green path γ is a generalized diagonal, the vector on the left of the figure its planar development Hol(γ). The deviation of the direction θ from γ is |Re(γ, θ)|.
Let γ be a generalized diagonal, parametrized as a continuous piecewise smooth path γ : [0, T ] → L with unitary speed, that is |dγ(t)/dt| = 1 when it is defined. Consider the sequence of instants 0 = t 0 < t 1 < · · · < t N = T such that for any i = 1, . . . , N the restricted path γ : [t i−1 , t i ] → L is a straight segment with γ(t i−1 ) ∈ ∂L, γ(t i ) ∈ ∂L and γ(t) in the interior of L for t i−1 < t < t i . There exist an unitary vector v ∈ R + × R + in the first quadrant, depending only on γ, such that for any i = 1, . . . , N there exists an unique s i ∈ D with s i d dt γ(t) = v for any t i−1 < t < t i .
The notion of generalized diagonal can be given also for the billiard in the square [0, 1/2] 2 , which has the same reflection group D as any L-shaped polygon L(a, a ′ , b, b ′ ), thus the diophantine type of a direction θ can be defined in the same way. It is an exercise to check that such alternative notion of diophantine type in fact coincides with the quantity w(α) defined by Equation (1.2), modulo the change of variable α = tan θ. Moreover the two notions also coincide for a class of L-shaped billiards L = L(a, a ′ , b, b ′ ). More precisely, according to Equation (2.4) and to the discussion in § 2.4, we have w L (θ) = w(tan θ) whenever a, a ′ , b, b ′ are rationally dependent. The next Theorem is a direct consequence (derived in § 2.4) of our main results, namely Theorem 2.1 and Theorem 2.2, stated in § 2.2 below. It is practical to introduce the function f η : [1, 2] → R + defined for any s ∈ [1, 2] by Theorem 1.1. Let L = L(a, a ′ , b, b ′ ) be the L-shaped billiard with parameter a, a ′ , b, b ′ and consider any non rational direction θ on L.
(1) For any pair of points p, p ′ in L × [θ] we have Assume now that a, a ′ , b, b ′ are rationally dependent, so that w L (θ) = w(tan θ) for any θ.
Acknowledgements. The authors are grateful to J. Chaika, V. Delecroix, P. Hubert and S. Lelièvre. This research has been supported by the following institutions: CNRS, FSMP, National Research Foundation of Korea(NRF-2015R1A2A2A01007090), Scuola Normale Superiore, UnicreditBank.

Definitions and statement of main results
2.1. Translation surfaces. Let P ⊂ R 2 be a polygon in the plane. The polygon P is not necessarily connected, that is we allow P to be the disjoint union of finitely many connected polygons P 1 , . . . , P l . We assume that ∂P is union of 2d ≥ 4 segments which come in pairs and are denoted (ζ 1 , ζ ′ 1 ), . . . , (ζ d , ζ ′ d ), and that there exist vectors z 1 , . . . , z d in R 2 such that for any i = 1, . . . , d the boundary segments ζ i and ζ ′ i have the same direction and length of z i , and the opposite orientation induced by the interior of P (that is any ζ i touches the interior of P from the opposite side as ζ ′ i ). A translation surface is the quotient space X = P/ ∼ obtained identifying for any i = 1, . . . , d the sides ζ i et ζ ′ i by a translation. We assume that the identification gives a connected quotient space X. If P is a parallelogram then X = P/ ∼ is a flat torus. In general a translation surface is a compact surface of genus g ≥ 1, with a metric which is flat outside of a finite set Σ of points p 1 , . . . , p r of X, where the metric has a conical singularity with angle 2(k j + 1)π and k j ∈ N. Any p j corresponds to a subset of the vertices of P , all identified to the same point in X by the equivalence relation ∼ on ∂P .
We have k 1 + · · · + k r = 2g − 2. For a general overview on the subject we recommend the surveys [FoMat] and [Zo].
2.1.1. Dynamics in moduli spaces. A stratum H = H(k 1 , . . . , k r ) is the set of all translation surfaces X with the same order of conical singularities k 1 , . . . , k r . Any stratum is an affine orbifold, the affine coordinates around some X ∈ H being the vectors z 1 , . . . , z d defined above, possibly modulo some linear equations with coefficients in Q. Consider any G ∈ GL(2, R) and any translation surface X = P/ ∼, represented via the polygon P . We define G · X as the quotient space G · P/ ∼, where G · P is the affine image of P under the action of G on R 2 and where the identifications in ∂(G · P ) have the same combinatorics of those between the sides of P . This gives an action of GL(2, R) on any stratum H. We will consider the subgroup action of rotations and diagonal elements, thus for t ∈ R and 0 ≤ θ < 2π we set g t := e t 0 0 e −t and r θ := cos θ − sin θ sin θ cos θ .
According to the celebrated results of Eskin, Mirzakani [EsMi] and Eskin, Mirzakaniand Mohammadi [EsMiMo], any subset M on H which is closed and invariant under GL(2, R), is a sub-orbifold defined by linear equations in the coordinates z 1 , . . . , z d . Particularly simple closed invariant sets are closed orbits. It is known that the GL(2, R)-orbit of a surface X ∈ H is closed in H if and only if the stabiliser SL(X) of X under the action of GL(2, R), called the Veech group of X, is a lattice in SL(2, R) (see § 5 of [SmWe] for a proof). Such a surface is called Veech surface and its orbit is an isometric image of GL(2, R)/SL(X) embedded in H, and is locally defined by a system of linear equations in the coordinates z 1 , . . . , z d , with real rank four. In general the Veech group of any translation surface X is a discrete and non co-compact subgroup of SL(2, R), and it is trivial for generic X.
2.1.2. Saddle connections, cylinders and planar developments. Let | · | denote the Euclidian norm on R 2 , and recall that the flat metric of a translation surface X is locally isometric to the Euclidian metric of R 2 . A saddle connection of a translation surface X is a segment γ of a geodesic for the flat metric of X connecting two conical singularities p i and p j and not containing other conical singularities in its interior. We consider also closed geodesics σ of X. For any such σ there exists a family of closed geodesics which are parallel to σ with the same length and the same orientation. A cylinder for X is a maximal connected open set C σ foliated by such a family of parallel closed geodesics. By maximality, the boundary of a cylinder C σ around a closed geodesic σ is union of saddle connections parallel to σ. The transversal width W (C σ ) of C σ is the length of a segment orthogonal to σ which connects the two components of the boundary ∂C σ , so that in particular Area(C σ ) = W (C σ ) · |σ|.
Let γ ⊂ X be a finite segment of a geodesic for the flat metric of X, for example either a saddle connection or a closed geodesic, and abusing the notation denote with the same symbol also a smooth parametrization of it γ : [0, T ] → X, t → γ(t). There exists a vector v ∈ R 2 with |v| = 1 such that dγ(t)/dt = v for any 0 < t < T , and the segment γ has a planar development in the plane, denoted by Hol(γ, X) ∈ R 2 and defined by Any such γ is a geodesic segment also on the surface G · X for any G ∈ GL(2, R), and we denote by Hol(γ, G · X) its holonomy with respect to the surface G · X. We have The set Hol(X) of relative periods of X is the set of vectors Hol(γ, X) ∈ R 2 , where γ is a saddle connection for X.
2.1.3. Phase space dynamics. Fix a translation surface X and a direction θ. One can define a constant vector field on X \ Σ, whose value at any point is equal to to the unitary vector e θ := (sin θ, cos θ), then consider the integral flow of such field, that is denoted by φ θ . Orbits of φ θ are parallel lines in direction θ which wind on X. They are defined for any t ∈ R, outside the set of 2g − 2 + r leaves starting or ending at singular points p 1 , . . . , p r , which we call (X, θ)-singular leaves, or simply singular leaves, when there is no ambiguity on the surface X and the direction θ. A direction θ on a translation surface X is completely periodic if every (X, θ)singular leaf extends to a saddle connection. In this case, the set of saddle connections in direction θ separate the surface into a finite number of cylinders, any of which is foliated by periodic orbits of the linear flow φ θ . A direction θ is a Keane direction for the translation surface X if there is no saddle connection γ in direction θ. Obviously, all but countably many directions are Keane. Moreover, if θ is a Keane direction on X, then the flow φ θ is minimal, that is any infinite orbit is dense, both in the past and in the future (for a proof see Corollary 5.4 in [Yo]). According to Veech (see [Ve]), for Veech surfaces there is a sharp dynamical dichotomy between Keane directions and directions of saddle connections. More precisely, on a Veech surface X the flow φ θ is uniquely ergodic whenever θ is Keane, otherwise θ is a completely periodic direction, moreover there are two constants a = a(X) > 0 and C = C(X) > 0 depending only on X such that for any saddle connection γ and closed geodesic σ in direction θ we have C −1 |σ| ≤ |γ| ≤ C|σ| and Area(C σ ) > a, where C σ is the cylinder around σ.
2.1.4. Origamis. Origamis, which are also know as square-tiled surfaces, form a special class of translation surfaces. An origami is a translation surface X tiled by copies of the square [0, 1] 2 . It is a direct consequence of definitions that X is an origami if and only if Hol(X) ⊂ Z 2 and the last condition is also equivalent to the existence of a ramified covering ρ : X → T 2 of the standard torus such that the following conditions are satisfied: (1) The covering is ramified only over the origin [0] ∈ T 2 , where [0] denotes the coset of 0 in R 2 /Z 2 . (2) Local inverses of ρ, that is maps ϕ : U → X defined over simply connected open sets U ⊂ T 2 \ {[0]} such that ρ • ϕ = Id U , are all translations. A third equivalence says that X is an origami if and only if its Veech group SL(X) shares a common subgroup of finite index with SL(2, Z) (see [GuJu]). In particular, origamis are all Veech surfaces. 6 2.2. Statement of main results. It can be seen that the set Hol(X) ⊂ R 2 of relative periods of a translation surface X is a discrete subset, whose projectivization is dense in PR 2 , thus it is meaningful to consider diophantine approximations of a given direction θ by directions of vectors in Hol(X). Given a saddle connection γ and a direction θ on the surface X, the components of γ along the direction θ are the two real numbers Re(γ, θ) ∈ R and Im(γ, θ) ∈ R such that Hol(γ, r −θ · X) = Re(γ, θ), Im(γ, θ) .
The diophantine type w(X, θ) ≥ 1 of a Keane direction θ on the surface X is the supremum of those w ≥ 1 such that there exists infinitely many saddle connections γ for the surface X with As in the classical case, which corresponds to Equation (1.2), we have w(X, θ) ≥ 1 for any X and θ, indeed for w = 1 Equation (2.2) has always infinitely many solutions. This corresponds to a version of Dirichlet's theorem for translation surfaces, which was known to many authors and a proof of which is given in Proposition 4.1 in [MarTreWeil]. Moreover, the analogy with classical diophantine conditions extends also to Jarník Theorem, indeed in Theorem 6.1 [MarTreWeil] it is proved that Let θ be a Keane direction on the translation surface X, so that the flow φ θ is minimal and the functions w hit (φ θ , ·, ·), w hit (φ θ , ·, ·), w ret (φ θ , ·) and w ret (φ θ , ·) are defined outside of singular leaves. According to Lemma 4.2 of this paper, these functions are also invariant under φ θ . A first relation with w(X, θ) can be derived by an easy geometric argument (see Lemma 7.2 in [MarTreWeil]) which gives that for any p not on any (X, θ)-singular leaf we have On the other hand, according to Proposition 4.5 of this paper, we prove that for Lebesgue almost any point p ∈ X we have w ret (φ θ , p) = 1. Under the extra assumption that the Lebesgue measure is ergodic for φ θ , Equation (2.6) below establishes an uniform upper bound for w ret (φ θ , p) for the generic p. Moreover according to Proposition 4.6 of this paper, for Lebesgue almost any p and p ′ we have also In general, if µ is a non-ergodic invariant probability measure along a Keane direction θ on X, the function w hit (φ θ , ·, ·) can exhibit a different behavior for the µ × µ generic pair (p, p ′ ), as it can be deduced by results in [BoCh]. Our first main result establishes an upper bound for the hitting time on translation surfaces in H(2).
Theorem 2.1. Let X be a surface in H(2) and let θ be a Keane direction on X. Then for any pair of points p, p ′ not on any singular leaf we have The argument leading to Theorem 2.1 can be considered as the first step in a more general procedure by induction on genus (see § 5.2, and in particular Corollary 5.6). In the general stratum the function w hit (φ θ , ·, ·) seems to be uniformly bounded by an expression which is a polynomial function of w(X, θ), whose degree is uniformly bounded for any genus. The situation in H(2) is more interesting because in this stratum there are many surfaces and directions for which the bound is sharp, according to Theorem 2.2 below.
Let X be an origami and ρ : X → T 2 be the corresponding ramified cover over the standard torus. Any saddle connection γ on an origami X gives rise to a closed geodesic t → ρ • γ(t) on T 2 , passing though the origin [0] ∈ T 2 , whose direction θ γ satisfies tan(θ γ ) = p/q ∈ Q. Moreover, if m(γ) ∈ N * denotes the degree of the map t → ρ • γ, then we have It follows that and observing that 1 ≤ m(γ) ≤ N for any saddle connection γ, where N is the number of squares of X, we get that for any θ we have w(X, θ) = w(α) where α = tan θ.
Since origamis are Veech surfaces, then the lower bound in Equation (2.8) below gives a simple counterpart to the upper bound in Theorem 2.1. In Theorem 2.2 below we show that under specific topological assumption on X, both the upper and lower bound are sharp. An origami X is said to be reduced if Hol(X) = Z 2 , that is the subgroup of R 2 generated by the set Hol(X) of relative periods is the entire lattice Z 2 . Reduced origamis are relevant because they form a closed set for the subgroup action of SL(2, Z) (see § 6.1), moreover the g t -orbit of any origami X contains a reduced origami X 0 (see § 7.6). In § 6.5 we introduce a non-trivial topological property of a reduced origami X 0 , which consists in the existence of a vertical splitting pair (σ 0 , γ 0 ), where σ 0 and γ 0 are respectively a closed geodesic and a saddle connection in the vertical direction (satisfying a specific arithmetic condition), which splits the surface X 0 into a cylinder C 0 , where φ θ -orbits can be trapped for a long time, and a remaining non-empty open set. We say that an origami X admits a splitting direction θ split if there exists some G ∈ GL(2, R) such that G · X is a reduced origami with a vertical splitting pair. In § 6.4 we also consider a reduced origami X 0 whose vertical direction is a one cylinder direction and we say that an origami X admits an one cylinder direction θ one−cyl if there exists some G ∈ GL(2, R) such that G · X is a reduced origami whose vertical is a one cylinder direction. For any η > 1 recall the function f η : [1, 2] → R + defined by Equation (1.4).
Theorem 2.2. Let X be any origami, so that in particular w(X, θ) = w(tan θ) for any direction θ. Assume that X admits both a splitting direction θ split and a one cylinder direction θ one−cyl . Then for any η > 1 and any s with 1 ≤ s ≤ 2 there exists a set of directions E(X, η, s) with dim H E(X, η, s) ≥ f η (s) such that for any θ ∈ E(X, η, s) we have w(tan θ) = η, and moreover for almost any p, p ′ in X we have w hit (φ θ , p, p ′ ) = w(tan θ) s = η s .
Proposition 2.3. Let X be any origami.
(1) If X admits a one cylinder direction θ one−cyl then the result in Theorem 2.2 holds for the parameter s = 1.
(2) If X admits a splitting direction θ split , then for any η > 1 there exists a set of directions E(X, η, 2) with dim H E(X, η, 2) ≥ f η (2) = (1 + η) −1 such that for any θ ∈ E(X, η, 2) we have w(tan θ) = η, and moreover for almost any p, p ′ in X we have By Corollary A.2 in [Mc], any origami X ∈ H(2) admits a one cylinder direction θ one−cyl . Moreover, according to Lemma 6.5 of this paper, which is proved in Appendix A, any origami X ∈ H(2) also admits a splitting direction θ split . Therefore Theorem 2.2 can be applied to any origami X ∈ H(2), and combining it with the bounds given by Theorem 2.1 and Equation (2.8) below, the next Corollary follows.
Corollary 2.4. Let X be any origami in H(2). Then for any η ≥ 1 and any s with 1 ≤ s ≤ 2 there exists a set E(X, η, s) as in Theorem 2.2. In particular, the spectrum of almost sure values of w hit (φ θ , ·, ·) over the set of those θ with w(tan θ) = η equals the interval [η, η 2 ].
Theorem 2.2 above implies that in higher genus there is no functional relation between the diophantine type w(X, θ) and the almost sure value of the function w hit (φ θ , ·, ·) (where we recall that such almost sure value does not even exist if θ in a non ergodic direction on X). In genus 3, the stratum H(1, 1, 1, 1) contains an origami X EW which is known by the German name Eierlegende Wollmilchsau, whose definition is given in § 8, and which exhibits several singular behaviors (see § 7 and § 8 in [FoMat]). In our case, such origami is special because it is a higher genus surface where the functional relation in Equation (1.1) subsists.
Proposition 2.5. Let X EW be the Eierlegende Wollmilchsau origami. Then for any θ and almost any p, p ′ in X we have w hit (φ θ , p, p ′ ) = w(tan θ).

2.3.
Other notions of diophantine type. One can consider also absolute periods Hol(σ) of closed geodesics σ inside cylinders C σ . For a Keane direction θ define w cyl (X, θ) ≥ 1 as the supremum of those w ≥ 1 such that there exist infinitely many cylinders C σ with area Area(C σ ) ≥ a, where a = a(X) > 0 is a positive constant depending only on X, such that According to § 2.1.3, if X is a Veech surface we have w cyl (X, θ) = w(X, θ) for any Keane direction θ. When X is a general translation surface, for any Keane direction θ on X we always have w cyl (X, θ) ≤ w(X, θ), indeed the boundary ∂C σ of any cylinder C σ around a closed geodesic σ in X is made of saddle connections γ parallel to σ. Moreover when w = 1, Equation (2.5) has always infinitely many solutions for any Keane direction θ on X (replacing 1 in the numerator by a bigger constant, see Proposition 4.1 in [MarTreWeil], which is derived from results in [Vo]). Finally, according to Theorem 6.1 [MarTreWeil] we also have and for these reasons w cyl (X, θ) can also be considered as a natural notion of diophantine type. According to Lemma 7.3 in [MarTreWeil], which was developed after joint discussions related to this paper, if the Lebesgue measure is ergodic under the flow φ θ in direction θ on the surface X, then for almost any p ∈ X we have Moreover, according to Proposition 4.7 is this paper, if θ in an ergodic direction on the surface X, then for almost any p, p ′ in X we have In particular, let θ be a Keane direction on a Veech surface X, so that w cyl (X, θ) = w(X, θ). According to Equation (2.3) and Equation (2.6), for almost any p we have Moreover, according to Proposition 4.7, for almost any p, p ′ we have The notion of diophantine type considered in this paper is also related to geodesic excursions in moduli space. This is known to many authors, we refer to § 6.3 in [MarTreWeil] for sake of completeness. There are other definitions of Diophantine type given by the size of continued fraction matrices in the Rauzy-Vecch induction algorithm [Ki], [KiMa2]. For example Roth type Diophantine condition form a full measure set [MMY] and can be used for obtaining Hölder estimates for the solution of the cohomological equation [MY]. See also [HuMarUl] and [KiMa] for more discussion on the size of the continued fraction matrices.
2.4. Back to billiards. Consider the billiard flow φ in a rational polygon, that is a polygon Q ⊂ R 2 whose angles are all rational multiples of π. Let D be the finite group of linear isometries of R 2 , which are the linear part of affine isometries generated by reflections at sides of Q. The group D acts on directions θ ∈ S 1 , so that any θ has a finite orbit [θ] and all orbits have the same cardinality. Therefore the phase space Q × S 1 is foliated into invariant surfaces of the form Q × [θ], which are all mutually isometric, and the billiard flow acts as a linear flow on each of them. If [θ] is the D-orbit of θ, then denoting by φ [θ] the restriction to Q × [θ] of the billiard flow φ on Q × S 1 , we have the commutative diagram X ∈ H(2). In particular, if a, b, a ′ , b ′ are rationally dependent, then modulo an homothety one can assume that a, b, a ′ , b ′ are all integers. In this case also the polygon P has vertices with integer coordinates, thus X is a square-tiled surface in H(2). Theorem 1.1 follows from Theorem 2.1 and Theorem 2.2, via Equation (2.9). Similarly, Proposition 4.5 implies w ret ( φ [θ] , p) = 1 for almost any p ∈ L × [θ], and Proposition 4.6 implies w hit ( φ [θ] , p, p) = 1 for Lebesgue almost any p, p ′ , when the Lebesgue measure over L is ergodic for φ [θ] . Finally, since origamis are Veech surfaces, when a, a ′ , b, b ′ are rationally dependent Equation (2.7) implies w ret ( φ [θ] , p) = 1/w(tan θ) for almost any p ∈ L × [θ].
2.5. Summary of the contents. The rest of the paper is organized as follows.
In § 3 we recall the representation of a translation surface X by zippered rectangles pasted together along a Keane direction θ. Zippered rectangles (defined in § 3.1) are used in § 5 to prove Theorem 2.1. In § 3.3 we give a qualitative description of the Rauzy-Veech induction on zippered rectangles, which plays a role in § 4 in the proof of Proposition 4.5 and of Proposition 4.6.
In § 4 we first establish some general properties of the functions w ret , w ret , w hit , w hit . Then we prove Proposition 4.5 and of Proposition 4.6. We also prove Proposition 4.7, by a geometric argument only based on the flat geometry of cylinders.
In § 5 we prove Theorem 2.1. In § 5.2 we establish some general combinatorial Lemmas on zippered rectangles. In § 5.3 the general Lemmas are applied to the specific case of H(2), completing the proof of Theorem 2.1.
In § 6 we explain the geometric constructions needed to prove Theorem 2.2. In § 6.1 we recall the graph structure of orbits of reduced origamis under the action of SL(2, Z). In § 6.4 we consider origamis whose vertical is a one cylinder direction, which are used to obtain an upper bound for hitting time. In § 6.5 we consider vertical splitting pairs (σ 0 , γ 0 ) for reduced origamis, which are used to obtain a lower bound for hitting time.
In § 7 we prove Theorem 2.2 and Proposition 2.3. In § 7.1 we define a set of directions and in § 7.4 we give a lower bound for its dimension. The proof of Theorem 2.2 is completed in § 7.7. The proof of Proposition 2.3 is completed in § 7.8.
In § 8 we prove Proposition 2.5. The argument is an easy modification of the construction in § 6.4.
In § A we prove Lemma 6.5, which ensures that any origami X in H(2) admits a splitting direction.

Zippered rectangles and Rauzy-Veech induction
Recall that a translation surface X is defined as quotient space of the disjoint union of polygons P 1 , . . . , P d in the plane under some identifications in their boundary. Here, for a Keane direction θ on X, we describe a representation of the surface where all the polygons are rectangles R 1 , . . . , R d , with sides alignes along the direction θ. The construction is originally due to Veech, here we follow the presentation in § 4.3 of [Yo].
An alphabet is a finite set A with d ≥ 2 letters. A combinatorial datum π is a pair of bijections π t , π b : A → {1, . . . , d}. For us combinatorial data π are assumed to be admissible that is (π t ) −1 {1, . . . , k} = (π b ) −1 {1, . . . , k} for any 1 ≤ k ≤ d − 1. A length datum is any vector λ ∈ R A + with all entries positive. For any such pair of data (π, λ) consider the interval I := [0, χ∈A λ χ ) and its two partitions I = α∈A I t α and I = β∈A I t β , where for any α and β we set An IET, or extensively interval exchange transformation, is the map T : I → I uniquely determined by the data (π, λ) as the map that for any α sends I t α onto I b α via a translation.
3.1. Veech's zippered rectangles construction. A suspension datum for the combinatorial datum π is a vector τ ∈ R A such that for any α and β we have Fix combinatorial-length-suspension data (π, λ, τ ). The procedure below defines a translation surface X = X(π, λ, τ ). Details on the construction can be find in § 4.3 of [Yo]. A picture of a surface obtained by this construction can be seen in Figure 2 of this paper. Let us first set τ * := χ∈A τ χ then let h = h(π, τ ) ∈ R A + be the vector whose coordinates, for any α ∈ A, are defined by For any α ∈ A define the rectangle R t α := I t α × [0, h α ] ⊂ R 2 . These rectangles are the polygons to be pasted in order to define the translation surface X. The identifications between their horizontal sides of the rectangles R t α for α ∈ A are given by (x, h α ) ∼ (T x, 0) iff x ∈ I t α . In order to describe the identification between the vertical sides of the rectangles above, it is convenient to introduce a copy of them, setting R b α := I b α × [−h α , 0] for any α. We stress that this is just a convenient way to describe identifications, while in the quotient surface one has R t α = R b α . For letters α and β with respectively π t (α) ≥ 2 and π b (β) ≥ 2 define the vertical segments Consider also the vertical segment S * whose endpoints are χ∈A λ χ , 0 and χ∈A λ χ , τ * . The identifications between vertical sides are given by the procedure below.
(2) For any β with π b (β) ≥ 2 let β ′ be the letter with π b (β ′ ) = π b (β) + 1, then identify the common segment of ∂R b β ′ and ∂R b β which coincide with the segment S b β . Since any R b α is identified with R t α , this induces identifications between segments in the vertical sides of the rectangles R t β and R t β ′ not considered in the previous Point (1).
Let X = X(π, λ, τ ) be the translation surface obtained by the above construction. According to Proposition 5.7 in [Yo], if X is any translation surface and if θ is a Keane direction on X, then there exists data (π, λ, τ ) such that Moreover, modulo identifying I := 0, χ∈A λ χ with an horizontal segment I ⊂ X, the IET T : I → I corresponding to data (π, λ) is the first return of φ θ to I.

3.2.
On the position of conical points in the flat representation. This subsection contains some remarks that will be used in § 5.2. It can be skipped at the first reading. According to a standard notation, identify R with C. Fix combinatorial-length-suspension data (π, λ, τ ), then for any α ∈ A consider the complex number ζ α := λ α + iτ α and set which give the coordinates of conical singularity of the surface X in the planar development corresponding to the data (π, λ, τ ). We Moreover for any α the hight h α of the corresponding rectangle satisfies h α = Im(ξ t α ) − Im(ξ b α ) > 0. It follows that points ξ t/b α are always contained in the left vertical boundary side of the corresponding rectangle R t/b α , that is for any α ∈ A we have 0 ≤ Im(ξ t α ) ≤ h α and 0 ≥ Im(ξ b α ) ≥ −h α . For the right boundary side this is always true with one exception. Consider letters α and β with π t (α) ≥ 2 and π b (β) ≥ 2, so that there exists letters α ′ and β ′ such that respectively π t (α) = π t (α ′ ) + 1 and π b (β) = π b (β ′ ) + 1. Assume that τ * < 0.
(1) We have always π b (χ)≤π b (α ′ ) τ χ < 0, either by suspension condition, or by assumption (3) Finally, the exceptional case occurs when π t (β ′ ) = d, indeed we have 3.3. Rauzy Veech induction. Let X be any translation surface and θ a Keane direction on X, then consider combinatorial-length-suspension data (π, λ, τ ) representing the surface X along the direction θ, that is data such that Equation (3.1) is satisfied. The so-called Rauzy-Veech induction algorithm defines inductively a sequence of data (π (n) , λ (n) , τ (n) ) representing the same surface X along the direction θ. In this subsection we just point out a qualitative property of the algorithm used in § 4, for more details see § 7 of [Yo].
(4) Let µ be any ergodic invariant measure for φ θ . According to § 8 in [Yo], the rectangles defined from the data (π (n) , λ (n) , τ (n) ) as in § 3.1 give a mod µ partition of X by open rectangles

Generic bounds for Keane and ergodic directions
4.1. General measure preserving systems. In general measure preserving dynamical systems, the upper limit of the recurrence asymptote is bounded by the dimension. For example, in [BaSa] it was shown that if T : X → X is a Borel measurable transformation on a measurable set X ⊂ R d for some d ∈ N and µ is a T -invariant probability measure on X, then for µ almost every p we have For the hitting time, it's also well known that the limit inferior of the hitting time asymptote is bounded by below. In [Ga] it was shown that, if (X, T ) is a discrete time dynamical system where X is a separable metric space equipped with a Borel locally finite measure µ and T : X → X is a measurable map for each fixed p ′ ∈ X and for µ almost every p, then we have log r .

4.2.
General Keane directions on a translation surface. Let X be a translation surface of genus g ≥ 1 with Area(X) = 1. For any Keane direction θ on X the set P(X, θ) of Borel probability measures invariant under φ θ is a finite dimensional simplicial cone of dimension at most g, whose extremal points are the ergodic measures µ 1 , . . . , µ g for φ θ (see § 8.2 in [Yo]). In particular, we have positive real numbers with a 1 + · · · + a g = 1 such that (4.1) Leb = a 1 µ 1 + · · · + a g µ g .
Lemma 4.1. Let θ be a Keane direction on X and let µ be an invariant Borel probability measure for φ θ . Fix p ′ ∈ X. Then for µ-a.e. p ∈ X we have Proof. Let (π, λ, τ ) satisfying Equation (3.1), so that the surface X is obtained by zippered rectangles in direction θ, pasted along a segment I in direction orthogonal to θ, and the first return of φ θ to I is a Keane IET T : I → I. Continuous time for φ θ and discrete time for T are comparable, the ratio between the two being bounded by the ratio between the tallest and the shortest rectangle. Moreover the φ θ -invariant measure µ corresponds to an invariant Borel probability measure for T . Then the statement follows because, according to the results of [BaSa] and [Ga] reported in § 4.1, it holds for T : T → I.
Lemma 4.2. Let θ be a Keane direction on a translation surface X. Then for any pair of points p, p ′ in X not on any singular leaf, and for any s, t in R we have Proof. Just observe that since locally the flow φ θ is a translation, when r is small enough we have Lemma 4.3. Fix any direction θ on a translation surface X and let µ be an ergodic measure for φ θ . Then there exist constants Proof. It is well-known that if ϕ : X → [0, +∞] is a Borel function which is invariant under φ θ , and µ is ergodic under φ θ , then there exists a constant c ∈ [0, +∞] such that ϕ(x) = c for µ-almost any p ∈ X (e.g. [Wa]). The first part of the statement follows trivially since w ret (φ θ , ·) ≤ w ret (φ θ , ·) and w ret (φ θ , ·) ∈ L 1 (µ) according to Lemma 4.1. We finish the proof for w hit (φ θ , ·, ·), the argument for w hit (φ θ , ·, ·) being the same. The generalized Birkhoff Theorem recalled above implies that for any p ∈ X there exists w 2 (p) ∈ [1, +∞] such that Similarly for any p ′ ∈ X there exists w 2 (p ′ ) ∈ [1, +∞] such that Then a standard Fubini argument gives the proof.
The simple Lemma 4.4 below will be used in several arguments. For a countable family of measurable sets (A n ) n∈N in a probability space (X, µ) we set

Lemma 4.4. For any countable family of sets
Proof. Just observe that since ∪ k≥n A k is a decreasing sequence of sets, we have Proposition 4.5. Let θ be any Keane direction on the translation surface X. Then for Lebesgue almost any p ∈ X we have w ret (φ θ , p) = 1.
Proof. According to the first part of the statement of Lemma 4.1, it is enough to prove that w ret (φ θ , p) ≥ 1 for Lebesgue almost any p. Recall that Leb = a 1 µ 1 + · · · + a g µ g ,, according to Equation (4.1), where µ 1 , . . . , µ g are the ergodic measures for φ θ , and assume without loss of generality that a i > 0 strictly for any i = 1, . . . , g (otherwise just consider those i with a i > 0). Fix any i with i = 1 ≤ i ≤ g and µ := µ i , with a := a i > 0, so that µ(E) ≤ a −1 · Leb(E) for any Borel set E ⊂ X. It is enough to prove that w ret (φ θ , p) ≥ 1 for µ almost any p. Let (π, λ, τ ) be data satisfying Condition (3.1), that is r −θ · X = X(π, λ, τ ). Following § 3.3, for any n ∈ N let (π (n) , λ (n) , τ (n) ) be the data obtained by Rauzy-Veech induction from (π, λ, τ ), so that r −θ · X = X(π (n) , λ (n) , τ (n) ). In particular we have a mod µ partition of X into d = ♯A embedded and mutually disjoint open rectangles R (n) α , α ∈ A as in Equation (3.3). Let α ∈ A be a letter such that µ(R (n) α ) ≥ 1/d for infinitely many n. For simplicity, assume without loss of generality that µ(R (n) α ) ≥ 1/d for any n ∈ N. Thus for any n set On the other hand for any p ∈ D n we have R(φ θ , p, r n ) > h (n) α − r n . It follows that for any p ∈ lim sup(D n ) we have where the last equality in the first line holds since r n → 0 and h (n) α → +∞ for n → ∞ and the last inequality follows observing that any rectangle R Ergodicity of µ and Lemma 4.3 imply w ret (φ θ , p) ≥ 1 for µ a.e. p ∈ X. The Proposition is proved.

Ergodic directions.
In this subsection we assume that the Lebesque measure Leb is ergodic for the flow φ θ in direction θ on the surface X.
Proposition 4.7. Let θ be an ergodic direction on the translation surface X. Then for Lebesgue almost any p, p ′ in X we have Proof. Fix any w with 1 ≤ w ≤ w cyl (X, θ). Since w is arbitrary, it is enough to prove that for Leb × Leb almost any (p, p ′ ) we have w hit (φ θ , p, p ′ ) ≥ w. Moreover, since Leb is ergodic under φ θ , according to Lemma 4.3 it is enough to prove the last inequality for any pair of points (p, p ′ ) is some subset of X × X with positive measure with respect to Leb × Leb.
According to the definition of w cyl (X, θ), there exists infinitely many closed geodesic σ n whose corresponding cylinder C n := C σn satisfies Area(C n ) > a and such that Let θ n be the direction of C n . Let also H(C n , θ) be the orthogonal width of C n with respect to θ, that is the length of a segment in direction θ ⊥ contained in the interior of C n and with both endpoints on ∂C n , so that in particular we have Area(C n ) = H(C n , θ) · |Im(σ n , θ)|. Set r n := H(C n , θ)/5.
Consider p 0 ∈ ∂C n and assume that φ t θ (p 0 ) ∈ C n for small t > 0. The time T n > 0 needed to such p 0 to come back to ∂C n is Let E n , F n ⊂ C σ be the subset defined by Observe that for any n and any p ∈ E n and p ′ ∈ F n we have R(φ θ , p, p ′ , r n ) ≥ T n /5, thus the Proposition follows because for any (p, p ′ ) ∈ lim sup E n × F n we have where the last equality follows because for any n we have

5.
Upper bound for hitting time: proof of Theorem 2.1 In this section we prove Theorem 2.1. Fix a surface X ∈ H(2) and a Keane direction θ on X. The Theorem follows directly from Proposition 5.1 below. Indeed, considering a positive sequence r n → 0 and applying the Proposition for any such r n , one gets a sequence of saddle connections γ n on X such that |Re(γ n , θ)| → 0, thus the saddle connection (γ n ) n∈N must form an infinite family, because θ is a Keane direction. Theorem 2.1 of course holds also for translation surfaces with Area(X) = 1 because an homothety of the surface does not change w hit (φ θ , ·, ·).
Proposition 5.1. There exists a constant C > 1, specific of H(2), such that the following holds. Fix ω > 1 and let X be a surface in H(2) with Area(X) = 1 and θ a Keane direction on X. Consider r > 0 small enough and points p, p ′ in X with Then there exists a saddle connection γ on X with |γ| < r −ω such that 5.1. Long hitting time implies tall rectangles. Let H be a stratum of translation surfaces and s h , s v : H → H be involutions induced by the elements s h , s v ∈ GL(2, R) acting by s h (x, y) := (−x, y) and s v (x, y) := (x, −y) on vectors (x, y) ∈ R 2 . Let D ≃ (Z/2Z) 2 be the group generated by s h an s v . If θ is a Keane direction on the surface X ∈ H, in order to compute w(X, θ) one can replace X and θ by their images under any s ∈ D, indeed for any saddle connection γ in X the action of D leaves invariant the quantities |Re(γ, θ)| and |Im(γ, θ)|. We say that the pair (X, θ) is represented by data (π, λ, τ ) in the standard sense if there exists data (π, λ, τ ) such that Equation (3.1) is satisfied, that is r −θ · X = X(π, λ, τ ). We say that the pair (X, θ) is represented by data (π, λ, τ ) in the general sense Equation (3.1) is satisfied by some surface s · (r −θ · X) with s ∈ D. Recall that we set τ * := χ∈A τ χ . Moreover set also λ 1 := χ∈A λ χ > 0 and h ∞ := max χ∈A h χ > 0.
Lemma 5.2. Fix ω > 1. Consider r > 0 and points p, p ′ in X with Then there are data (π, λ, τ ) with τ * < 0 representing the pair (X, θ) in the general sense such that Proof. In order to simplify the notation, assume that θ = 0, which amounts to replace the surface X by r −θ X. The flow φ θ thus corresponds to the flow in the vertical direction θ = 0, and is simply denoted φ. In particular write R(p, p ′ , r) := R(φ θ=0 , p, p ′ , r) for points p, p ′ in X and for r > 0. Replace X by s v (X), that is invert the time of the vertical flow, and let I be an horizontal interval in X centered at p ′ and with length r. Let T : T → I be the first return to I of the vertical flow of s v (X), which a priori is an IET on d + 2 intervals. Condition R(p, p ′ , r) ≥ r −ω implies that p must belong to a rectangle with hight at least r −ω .
Step (1). Let t ≥ 0 be minimal such that φ t (I) ∩ Σ = ∅, then set I ′ := φ t (I) and let T ′ : I ′ → I ′ be the first return. We claim that T ′ = T , moreover the return time function has the same (constant) values on corresponding subintervals of T and T ′ . This is because the vertical flow is trivial inside a flow box, that is an open set of the form a<t<b φ t (I) which does not intersect Σ. Then get I ′ just by extending a flow box to its maximum. Therefore a rectangle with hight at least r −ω persist for T ′ .
Step (2) Let I ′′ be the biggest connected component of I ′ \ Σ. We have |I ′′ | ≥ r (if r is small enough than balls of radius r around conical singularities are mutually disjoint, hence just 2 connected components). Let T ′′ : I ′′ → I ′′ be the first return to I ′′ . Since T ′′ is a first return of T ′ onto a subset I ′′ ⊂ I ′′ , then it also has a rectangle with hight at least r −ω . On the other hand, T ′′ is an IET on d + 1 intervals. Finally, modulo replacing X by s h (X) one can assume that the left endpoint of I ′′ belongs to Σ.
Step (3) Let p * be the right endpoint of I ′′ , which a priori is not an element of Σ. Thus in general T ′′ has singularities v 1 , . . . , v d−1 whose positive φ-orbit ends at points of Σ, plus one extra singularity v * whose φ-orbit ends in p * . The singularities of (T ′′ ) −1 are the images T ′′ (v 1 ), . . . , T ′′ (v d−1 ), corresponding to first intersection with I ′′ of positive φ-trajectories starting at points of Σ, plus T ′′ (v * ), corresponding to the first intersection with I ′′ of the positive φ-orbit of p * . Let I ′′′ ⊂ I ′′ be the subinterval with same left endpoint as I ′′ , and whose right endpoint is the rightmost of the points v 1 , . . . , v d−1 and T ′′ (v 1 ), . . . , T ′′ (v d−1 ), then let T ′′′ : I ′′′ → I ′′′ be the first return of φ to I ′′′ . Let (π, λ, τ ) be the data representing X with T ′′′ = (π, λ). A rectangle with hight at least r −ω persist for T ′′′ , since the latter is a first return of T ′′ . Modulo replacing X by s v (X) one can also assume τ * < 0. Finally, to see the estimate on λ = |I ′′′ |, it is enough to observe that instead of shortening I ′′ , one can extend it by a horizontal segment I ′′′′ with |I ′′′′ | > |I ′′ | whose endpoint belongs to the φ-orbit of Σ, ans then recovering I ′′′ from I ′′′′ by a finite number of Rauzy steps, as the first renormalized interval with length shorter than |I ′′ |. We get 2r ≥ |I ′′ | > |I ′′′ | ≥ |I ′′ |/2 ≥ r/2. 20 5.2. Combinatorial Lemmas on zippered rectangles. In this subsection we state some properties of the zippered rectangles construction introduced in § 3.1, that we will use in the next subsection. We consider the direction θ = 0 on a surface X, and we assume that X is represented by data (π, λ, τ ) in the standard sense. No normalization is required on the total area, except for Corollary 5.6, where χ λ χ h χ = 1. The first is an easy Lemma, whose proof is left to the reader.
Lemma 5.3. Let X be a surface represented by data (π, λ, τ ). Let α be the letter with π t (α) = d and assume that Then the straight segment σ connecting the center of the rectangles R b D and R t D corresponds to a closed geodesic on the surface X with The next two Lemmas concern data (π, λ, τ ) with τ * < 0 where all singularities touch the rectangles in the top line very close to their lower horizontal side. We recall that when τ * < 0 the discussion in § 3.2 applies for the position of points ξ t/b α relatively to the rectangles R Let A be an integer with 1 ≤ A ≤ M − d and α ∈ A be a letter with π b (α) ≥ 2 such that Then for any letter Moreover we also have Proof. We first prove the first part of the statement. If π b (α) = d then the required property holds trivially. Otherwise, let α ′ be the letter with π b (α ′ ) = π b (α) + 1 and observe that we have Consider two cases.
Then we have Moreover, if α ∈ A is the letter with π t (α) = d the following holds Proof. Since h χ = Im(ξ t χ ) − Im(ξ b χ ) for any χ, then the assumption implies that there exists α ′ with 2 ≤ π b (α ′ ) ≤ d and The second part of Lemma 5.4 with A := 1 implies Now let α ′′ be the letter with π b (α ′′ ) = π b (α) + 1. We have The first part of Lemma 5.4 applied to the letter α ′′ with A := d implies that for all letters Finally, assume by absurd that there exists some β with 1 ≤ π b (β) ≤ π b (α) and The first part of Lemma 5.4 applied to the letter β with A := M − 2d + 1 implies Then for the letter α ′′ with π b (α ′′ ) = π b (α) + 1 it follows which is absurd. The Lemma is proved.
Corollary 5.6. Let (π, λ, τ ) be a triple of data with τ * < 0 and χ λ χ h χ = 1. Fix an integer M ≥ 4d and assume that Then on the surface X corresponding to data (π, λ, τ ) there exists a closed geodesic σ with Note: see the picture in Figure 2 for the special case π b (α) = d − 1.
For any such letter χ we have h χ ≥ −Im(ξ b χ ) ≥ 0, since the total area is one, and λ χ < h −1 χ . The Corollary follows directly from Lemma 5.5.
Consider r > 0 small enough and points p, p ′ in X with R(p, p ′ , r) ≥ r −ω . Let (π, λ, τ ) be data representing the surface X in the general sense as in Lemma 5.2. Assume without loss of generality that (π, λ, τ ) represent X in the standards sense. Moreover recall that we have χ λ χ h χ = Area(X) = 1.
Let A = {A, B, C, D} be the alphabet for the Rauzy class R of π. Let also fix the names of the letters in the first row of π, that is set π t = (A, B, C, D).
The proof of Proposition 5.1 follows by separate analysis of the cases listed below.
Since λ β < 100 · r ω then in both cases the Proposition follows as in Case (1). The analysis of cases is complete and Proposition 5.1 is proved.

Geometric constructions on reduced origamis
It is convenient to consider the slope α = tan θ of a direction θ on an origami X, rather than the direction θ itself. That is for any α ∈ R ∪ {±∞} we consider the linear flow φ α : X → X, as the integral flow of the constant unitary vector field e α on X \ Σ defined by (6.1) e α := (sin θ, cos θ) where θ := arctan α ∈ (−π/2, π/2]. Modulo the same change of variable, we will also refer to (X, α)-singular leaves as trajectories of φ α starting or ending at singular points. In the following we will establish relations between flows φ α : X → X and φ α ′ : X ′ → X ′ in different slopes and on different surfaces. In order to avoid ambiguities, when considering φ α : X → X, for r > 0 and for points p, p ′ in X we introduce the extended notation R(X, α, p, p ′ , r) := R(φ α , p, p ′ , r).
6.1. Reduced origamis and their orbits. Recall from § 2.1.4 that a translation surface X is an origami if and only if Hol(X) ⊂ Z 2 , where Hol(X) is the set of relative periods of X, and this is equivalent to say that the Veech group SL(X) of X and SL(2, R) share a finite index subgroup. We say that an origami X is reduced if Hol(X) = Z 2 , that is the subgroup of R 2 generated by the set Hol(X) is the entire lattice Z 2 . In this case Equation (2.1) implies A(Z 2 ) ⊂ Z 2 for any A ∈ SL(X), that is SL(X) is a subgroup of SL(2, Z) with finite index [SL(2, Z) : SL(X)]. According to Equation (2.1), the action of SL(2, R) on translation surfaces induces an action of SL(2, Z) on origamis. Moreover, it is also clear that the action of SL(2, Z) preserves the set of reduced origamis (see also Lemma 2.4 in [HuLe]). If X is a reduced origami, denote by O(X) its orbit under SL(2, Z), that is There is a natural identification O(X) = SL(2, Z)/SL(X), thus O(X) is a finite set with cardinality N := [SL(2, Z) : SL(X)] < +∞. The action of SL(2, Z) passes to the quotient O(X) and can be represented by a finite oriented graph, whose vertices are the elements Y ∈ O(X) and whose oriented edges correspond to the operations Y → T · Y and Y → V · Y for Y ∈ O(X), where we introduce the two generators T := 1 1 0 1 and V := 1 0 1 1 of SL(2, Z). Fix n ∈ N and consider positive integers a 1 , . . . , a n . Define the element g(a 1 , . . . , a n ) of SL(2, Z) by (6.2) g(a 1 , . . . , a n ) := V a 1 • · · · • V a n−1 • T an for even n; V a 1 • · · · • T a n−1 • V an for odd n.
Lemma 6.1. Let O(X) be an orbit with N ≥ 2 elements. For any two elements Y 2 and Y 1 in O(X) there exists a word (a 1 , . . . , a 2m ) with even length 2m with 0 ≤ 2m ≤ 2N − 2 and a i ≤ N for any i = 0, . . . , 2m, such that Proof. Rational slopes p/q are partitioned into cusps, the latter being identified also with Torbits over O(X), see for example § 2.6 in [HuLe]. For any Y ∈ O(X) there exist two positive integers h = h(Y ) and v = v(Y ) with h, v ≤ N, called width of the cusp respectively of the horizontal p/q = ∞ and vertical p/q = 0 slope of Y , such that T h · Y = Y and T v · Y = Y .
Since O(X) is connected and has N elements, there is a path in the letters T and V with length at most N − 1 connecting Y 1 to Y 2 . Contract subpaths which are the product of a terms T · . . . · T into letters of the form T a , and do the same for the generator V . This produces a word (a 1 , . . . , a p ) with length 0 ≤ p ≤ N − 1 such that Y 2 = g(a 1 , . . . , a p ) · Y 1 , moreover a i ≤ max Y ∈O(X) max{h(Y ), v(Y )} ≤ N for any i = 0, . . . , p. If p is not even, recalling that T h · Y 1 = Y 1 for h = h(Y 1 ), get a word of even length 2m = p + 1 of the form (a 1 , . . . , a p , h(Y 1 )), where 2m ≤ N. Finally observe that 2N − 2 ≥ N for N ≥ 2.
Moreover, for t = T 1 , the orbit φ t α (p 0 ) comes back to ∂C 0 with horizontal and vertical translation given by Now fix a reduced origami X and assume that O(X) = O(X 0 ), that is X and X 0 belongs to the same SL(2, Z)-orbit. Consider a slope α = [a 1 , a 2 , . . . ] ∈ (0, 1) on X and for n ∈ N let α n = G n (α) be its n-th image under the Gauss map. Fix n ∈ N and consider the first 2n entries a 1 , . . . , a 2n of the continued fraction of α. Set A := g(a 1 , . . . , a 2n ) ∈ SL(2, Z), which is defined by Equation (6.2), and assume that g(a 1 , . . . , a 2n ) · X 0 = X.
Assume also that the renormalized slope α 2n = G 2n (α) satisfies Equation (6.7), that is The action X 0 → A·X 0 = X of A ∈ SL(2, Z) induces an affine diffeomorphism 1 f A : X 0 → X, that is a diffeomorphism between the surfaces X 0 and X whose derivative is constant with value Df A = g(a 1 , . . . , a 2n ). Under such affine diffeomorphism, the flow φ α 2n with slope α 2n on the surface X 0 corresponds to the flow φ α with slope α on the surface X, where the two slopes are related under the homographic action of A by Equation (6.5).
Observe that if u, v ∈ R 2 are linearly independent and V := {λu + µu; λ, µ ≥ 0} ⊂ R 2 is such that AV ⊂ V then for any t with 0 ≤ t ≤ 1 we have Let e α and e α 2n be the unitary vectors with slopes α and α 2n , which are defined in Equation (6.1), so that in particular Df A (e α 2n ) is parallel to e α . Let also e 0 and e 1 be the unitary vectors with slope α = 0 and α = 1 respectively. Since for 0 < α < 1 we have 0 < p k /q k < 1 for any k, then the estimate above can be applied to the cone V spanned by e 0 and e 1 . Observe that A ≤ p 2n + q 2n + p 2n−1 + q 2n−1 < 4q 2n and that we have Df A (e 0 ) = (p 2n , q 2n ) and Df A (e 1 ) = ( √ 2) −1 · (p 2n + p 2n−1 , q 2n + q 2n−1 ).
6.4. One cylinder directions. Fix a reduced origami X 0 and let C 0 ⊂ X 0 be a cylinder in the vertical slope p/q = 0. Let S be a segment of straight line contained in the interior of C 0 and abusing the notation let S : (0, 1) → C 0 be a parametrization of it with constant speed dS(t)/dt = (u 1 , u 2 ) ∈ R 2 . The slope of such segment is α(S) := u 1 /u 2 . We say that such segment S is transversal to C 0 if S(0) ∈ ∂C 0 , S(1) ∈ ∂C 0 and the slope is negative, that is Observe that if S is horizontal then α(S) = +∞ = −∞, thus it is simply transversal to C 0 . Recall that in the notation of § 6.3 we set T 0 := |σ 0 | · 1 + α 2 2n . Lemma 6.3. Fix C 0 and σ 0 as above and a slope α = [a 1 , a 2 , . . . ] ∈ (0, 1) satisfying Equation (6.7). Let p 0 ∈ ∂C 0 be a point not on any (X 0 , α)-singular leaf and such that φ t α (p 0 ) ∈ C 0 for 0 ≤ t ≤ T 0 . Then for any segment S transversal to C 0 there exists t ∈ R such that φ t α (p 0 ) ∈ S and 0 ≤ t ≤ T 0 . Proof. It is enough to prove the Lemma when S is horizontal, and in this case the statement follows directly applying Equation (6.8) to the point p 0 Assume now that the vertical is a one cylinder direction on the reduced origami X 0 , that is there is only one cylinder C 0 in slope p/q = 0. Let σ 0 be the corresponding vertical closed geodesic and observe that since X 0 is reduced, then the cylinder C 0 has transversal width W 0 = 1. The boundary ∂C 0 (with respect to the intrinsic metric of C 0 ) is composed by saddle connections parallel to σ 0 , which appear in pairs, and the identification between paired saddle connection gives the surface X 0 . Now let X be a reduced origami and assume that SL(2, Z) · X contains X 0 as above.
Then for any pair of points p, p ′ in X, where p does not belong to any (X, α)-singular leaf, we have R(X, φ α , p, p ′ , r n ) ≤ 16 · |σ 0 | · q 2n where r n := 2 q 2n Proof. Following § 6.3, set A := g(a 1 , . . . , a 2n ) and consider the corresponding affine diffeomorphism f A : X 0 → X. Under f A the vertical cylinder C 0 ⊂ X 0 corresponds to a cylinder C n with slope p 2n /q 2n = A · 0 in the surface X. Let α 2n be the slope related to α by Equation (6.5), that is α = A·α 2n . Since α 2n < (a 2n+1 ) −1 ≤ |σ 0 | −1 , then Equation (6.7) is satisfied by the slope α 2n on the surface X 0 . Let p be a point as in the statement and observe that p ′ 0 := f −1 A (p) does not belong to any (X 0 , α 2n )-singular leaf. Either there exists some t(0) with 0 ≤ t(0) ≤ T 0 such that φ t(0) α 2n (p ′ 0 ) ∈ ∂C 0 , and in this case we set p 0 := φ belongs to the interior of C 0 for 0 ≤ t ≤ T 0 , and in this case we set t(0) := 0 and p 0 := p ′ 0 . In both cases, since C 0 is the only vertical cylinder in X 0 , then the point p 0 satisfies the assumption of Lemma 6.3, that is φ t α 2n (p 0 ) ∈ C 0 for any t with 0 ≤ t ≤ T 0 . Finally let S ⊥ ⊂ C n be the segment in the surface X passing through p ′ with slope α(S ⊥ ) = −q 2n /p 2n , that is orthogonal to the direction of the cylinder C n , and with both endpoints on ∂C n . The segment S ⊥ has length |S ⊥ | = 1/ q 2 2n + p 2 2n , indeed we have The segment S := f −1 A (S ⊥ ) in the surface X 0 has slope (6.12) α(S) = A −1 · −q 2n p 2n = q 2n −p 2n −q 2n−1 p 2n−1 · −q 2n p 2n = −(q 2 2n + p 2 2n ) q 2n q 2n−1 + p 2n p 2n−1 < −a 2n < −1, thus is transversal to C 0 . According to Lemma 6.3 there exists some t(1) ∈ R with 0 ≤ t(1) ≤ T 0 and such that φ The Proposition follows because Equation (6.11) implies 0 ≤ T ≤ 4 · q 2n · t(0) + t(1) ≤ 8 · q 2n · |σ 0 | · 1 + α 2 2n ≤ 16 · |σ 0 | · q 2n , and on the other hand, since both p ′ and φ T α (p) belong to S ⊥ , then 6.5. Vertical splitting pairs. Let X 0 be a reduced origami. The vertical slope p/q = 0 is completely periodic and X 0 is decomposed into vertical cylinders pasted together along their boundary. Let σ 0 and γ 0 be respectively a vertical closed geodesic and saddle connection on the surface X 0 . Let C 0 be the vertical cylinder corresponding to σ 0 and W 0 be its transversal width. We say that (σ 0 , γ 0 ) is a vertical splitting pair for the surface X 0 if the following holds.
(1) The saddle connection γ 0 belongs to both the two components of the boundary ∂C 0 of the cylinder C 0 (with respect to its intrinsic metric). In other words γ 0 touches C 0 both from the left and the right side.
(2) The closure of C 0 does not fill the entire surface X 0 , that is there exists an other vertical cylinder C ′ 0 = C 0 . (3) We have |σ 0 | ∧ W 0 = 1, that is the positive integers |σ| and W (C σ ) are co-prime. Figure 3 gives an example of vertical splitting pair. In § A we prove the Lemma 6.5 below. The Lemma does not hold in all strata. For example in the stratum H(1, 1, 1, 1), a counterexample is given by an origami known by the German name Eierlegende Wollmilchsau, a picture of which appears in Figure 4 (see also § 8 of [FoMat]).
Proof. Recall the notation in § 6.3, and in particular the time T 1 := W 0 ·α −1 · √ 1 + α 2 needed by φ α -orbits to travel from one component of ∂C 0 to the other. Let γ We have obviously |E| = W 0 · |γ 0 |/2. According to the last assumption on α, there exists some k ∈ N such that The last equation above, together with Equation (6.10), imply that for any p 0 ∈ γ (−) 0 we have and in particular φ T 1 α (p 0 ) ∈ γ 0 , according to Equation (6.13). Since any p ∈ E belongs to the orbit of some p 0 ∈ γ (−) 0 then for any p ∈ E we have φ T 1 α (p) ∈ E and in particular δ H φ T 1 α (p), p = 0. Moreover, the equation above and Equation (6.14) imply If n ∈ N is such that n · W 0 · G(α) ≤ |γ (+) 0 | we can repeat the argument above n times and we get that for any p ∈ E we have φ nT 1 α (p) ∈ E and Therefore any p ∈ E stays in C 0 for time at least Proposition 6.7. Let X be a reduced origami and X 0 ∈ O(X) be an element in its orbit which admits a vertical splitting pair (σ 0 , γ 0 ). Let α = [a 1 , a 2 , . . . ] be a slope on X and assume that there exists n ∈ N with a 2n+1 ≥ |σ 0 |, a 2n+2 ≥ W 0 , W 0 · a 2n+1 = ∆ 0 mod |σ 0 |, g(a 1 , . . . , a 2n ) · X 0 = X.
Then there exist two subsets F n , E n ⊂ X with area |F n | ≥ 1/3 and |E n | ≥ 1/2 such that for any p ∈ E n and p ′ ∈ F n we have Proof. Following § 6.3, set A := g(a 1 , . . . , a 2n ) and consider the corresponding affine diffeomorphism f A : X 0 → X. Observe that according to the first two assumptions on a 2n+1 and a 2n+2 we have α 2n < (a 2n+1 ) −1 ≤ |σ 0 | −1 and G(α 2n ) = α 2n+1 < (a 2n+2 ) −1 ≤ W −1 0 , thus the first two assumptions in Lemma 6.6 are satisfied by the slope α 2n on the surface X 0 . Moreover, since G(α 2n ) ≤ W −1 0 , then we have [W 0 ·α −1 2n ] = W 0 ·a 2n+1 according to Equation (6.14), thus the third condition on a 2n+1 in the statement implies W 0 α 2n = W 0 · 1 α 2n = W 0 · a 2n+1 = ∆ 0 mod |σ 0 |, and the third assumption in Lemma 6.6 is also satisfied. Apply Lemma 6.6 to the slope α 2n on the surface X 0 , with respect to the vertical splitting pair (σ 0 , γ 0 ). Let E = E(σ 0 , γ 0 , α 2n ) ⊂ X 0 be the subset provided by the Lemma, whose area satisfies |E| > 1/2, since |γ 0 | ≥ 1 and W 0 ≥ 1. Recalling that (σ 0 , γ 0 ) is a splitting pair, let C ′ 0 ⊂ X 0 be a vertical cylinder in X 0 disjoint from C 0 and let F ⊂ C ′ 0 be the open set obtained from C ′ 0 removing the r ′ -neighborhood of its boundary ∂C ′ 0 , where r ′ := W (C ′ 0 )/3. The set F is foliated by vertical closed geodesics σ ′ 0 with length 1 ≤ |σ ′ 0 | ≤ N − 1 and has transversal with r ′ := W (C ′ 0 )/3, thus its area satisfies |F | ≥ 1/3. The two required sets E n , F n ⊂ X are The lower bounds for the areas |E n | and |F n | follow trivially because the action of SL(2, Z) preserve the areas. According to Lemma 6.6, the time spent inside C 0 by orbits φ t α 2n (p) of points p ∈ E(σ 0 , γ 0 , θ 2n ) is at least The cylinders C 0 and C ′ 0 in direction 0 on the surface X 0 correspond respectively to cylinder C n := f A (C 0 ) and C ′ n := f A (C ′ 0 ) in direction p 2n /q 2n = g(a 1 , . . . , a 2n ) · 0 on the surface X. According to Equation (6.11), the time spent inside C n by orbits φ t α (p) of points p ∈ E n is at least On the other hand the set F ⊂ X 0 has distance w ′ := W (C ′ 0 )/3 from ∂C ′ 0 . Therefore the set F n ⊂ X has distance w n from the boundary ∂C ′ n of C ′ n which satisfies The Proposition follows observing that any p ∈ E n has distance at least r n from any point in F n , thus for any pair of point p ′ ∈ F n and p ∈ E n we have R(X, α, p, p ′ , r n ) ≥ T n ≥ (1/2) · a 2n+1 · a 2n+2 · q 2n .

A set of slopes with prescribed long hitting time
Let X be a reduced origami and let O(X) = SL(2, Z) · X be its orbit. Let N be the cardinality of O(X). Assume that the orbit O(X) contains both an element X 0 with a vertical splitting pair and an element X ( * ) 0 whose vertical is a one cylinder direction, so that in particular N ≥ 2. Denote σ ( * ) 0 the vertical closed geodesic in X ( * ) 0 , and recall that since X ( * ) 0 is reduced then the corresponding cylinder has transversal width W (C σ ( * ) 0 ) = 1. Let (σ 0 , γ 0 ) be the vertical splitting pair in X 0 and let W 0 and ∆ 0 be the integers defined in § 6.5. We will use the following easy Lemmas.
Proof. Just recall that |σ 0 | and W 0 are co-prime.
7.3. Proof of Proposition 7.3. The inductive definition of the levels (E k ) k∈N of the set E is given in § 7.1. The diophantine type w(α) of α = [a 1 , a 2 , . . . ], which is defined in Equation (1.2), is also the supremum of those w ≥ 1 such that a n ≥ (q n−1 ) w−1 for infinitely many n ∈ N. Therefore w(α) = η for any α ∈ E, because for any k ∈ N the entries a 2n(k)+1 and a 2n(k)+2 of α satisfy Equation (7.4) and Equation (7.6) respectively, while all other a i are uniformly bounded, according to Equation (7.8) and Equation (7.9). It only remains to prove Equation (7.7). To do so, set C 3 := C 1 · C ν·η 2 · (|σ 0 | + 1) ν , in terms of the constants C 1 and C 2 defined in § 7.2, and observe that , where the first equality follows from Equation (7.11) and the second from Equation (7.13). Proposition 7.3 is proved. 7.4. Dimension estimate. Consider a Cantor-like set E := k∈N E k , where E 0 := (0, 1) and for any k ≥ 1 the set E k ⊂ (0, 1) is a finite union of mutually disjoint closed intervals with E k ⊂ E k−1 . For any k ≥ 1 and any interval E k−1 in the level E k−1 the spacing is the quantity defined by , that is the number of intervals of level E k which are contained inside the interval E k−1 . We define a probability measure µ with support in E setting µ(E 0 ) := 1, then assuming that µ(E i ) is defined for all i = 0, . . . , k − 1 and all intervals E i in level E i , for any E k in the level E k we define inductively where E k−1 is the unique interval of the level E k−1 such that E k ⊂ E k−1 . One can see that this defines a probability measure on Borel subsets of (0, 1) (see Proposition 1.7 in [Fa]). Moreover, for such a measure µ supported on E, if there exists a constant δ with 0 ≤ δ ≤ 1 and constants c > 0 and ρ > 0 such that for any interval U with |U| < ρ and with endpoints in E, then we have dim H (E) ≥ δ (see § 4.2 in [Fa]). We recall Lemma 7.4 below, which is a little variation of Example 4.4 in [Fa]. We provide a proof for sake of completeness.
Lemma 7.4. Assume that there exists a constant δ with 0 ≤ δ ≤ 1 and a constant c > 0 such that for any k ≥ 1 the following holds.

39
(2) For any E k−1 in E k−1 and any Proof. Set C := sup E 1 ∈E 1 µ(E 1 )/|E 1 | δ . For any k ≥ 1 and any interval E k in the level E k there is a nested sequence of intervals E k ⊂ E k−1 ⊂ · · · ⊂ E 1 , where E i belongs to the level E i for i = 1, . . . , k, so that the definition of µ and Assumption (2) imply Let U be an open interval with endpoints in E and with |U| ≤ ρ := min E 1 ∈E 1 |E 1 |. Then there exists k ≥ 1 maximal such that U ⊂ E k−1 . Let j ≥ 2 be the number of intervals in E k−1 ∩ E k which intersect U (where j ≥ 2 by maximality of k). Assumption (1) implies .

Recalling that any interval
, then the Lemma follows because the two last estimates imply Fix η ≥ 1 and s with 1 ≤ s ≤ 2, then let E(X, η, s) be the set in Proposition 7.3.

For any interval
On the other hand for any interval E 2k−1 ∈ E 2k−2 ∩ E 2k−1 we have where the second inequality follows from Equation (7.11) and Equation (7.12), and where c 2 > 0 is a constant depending on N and on δ. Therefore Condition (2) in Lemma 7.4 is satisfied for any k big enough whenever There is no loss in generality to assume that Condition (2) is verified for any k ≥ 1. The Proposition follows recalling that ν = η s−1 and that ν − 1 ≤ η − 1.
7.5. Hitting time estimates. Recall that we fix a reduced origami and we assume that its orbit O(X) contains both an element X 0 with a vertical splitting pair and an element X ( * ) 0 whose vertical is a one cylinder direction. Fix η ≥ 1 and let E = E(X, η, s) be the set of slopes given by Proposition 7.3. For any α ∈ E consider the flow φ α : X → X. consider also the integers p(k) k∈N and n(k) k∈N given by Proposition 7.3.
Lemma 7.7. For any α ∈ E and for any p, p ′ with p not on any (X, α)-singular leaf we have Proof. Fix k ∈ N and apply Proposition 6.4 for n = p(k), where we observe that the assumption in Proposition 6.4 are satified according to Equation (7.1) and Equation (7.2) in Proposition 7.3. It follows that for any pair of points p, p ′ in X as above and any k ∈ N we have Finally, fix any r > 0 and let k be the unique integer with r k ≤ r < r k−1 . The Lemma follows observing that for any p, p ′ as above we have where the last inequality follows from Equation (7.7). The Lemma is proved.
7.6. Reduced origamis are enough. Let X be any origami and let a ≥ 1 and b ≥ 1 be integers such that Hol(X) = a · Z ⊕ b · Z, so that X is reduced if and only if a = b = 1. If X is not reduced, let t := (log b − log a)/2 and µ := 1/ √ ab, then consider the combined action of g t and the homothety a µ := µ · Id R 2 . The origami X ′ := G · X with G := a µ · g t is reduced, indeed we have Hol(G · X) = a µ · g t · Hol(X) = a µ · √ ab · (Z ⊕ Z) = Z ⊕ Z.
The homographic action of G on slopes is α → G · α = (b/a)α, which is a bijection from Q to itself. Moreover we have w(G · α) = w(α) for any α, indeed for any w ≥ 1 the change of variable p/q = G · (p ′ /q ′ ) = (bp ′ )/(aq ′ ) gives the equivalence On the other hand consider the surface X ′ = G · X and let f G : X → X ′ be the affine diffeomorphism with derivative Df = G, then for any α let α ′ := G · α and consider the flow φ ′ α ′ with slope θ ′ on the surface X ′ . For any pair of points p 1 , p 2 in X we have w hit (φ α , p 1 , p 2 ) = w hit φ ′ α ′ , f G (p 1 ), f G (p 2 ) . Finally, it is obvious from the definition that X admits a splitting direction θ split or respectively a one cylinder direction θ one−cyl if and only it X ′ does. Resuming, Theorem 2.2 holds for an origami X if and only if it holds for the reduced origami X ′ := G · X as above. 7.7. Proof of Theorem 2.2. According to § 7.6, there is no loss of generality assuming that X is reduced. Since the map α → θ = arctan α preserves Hausdorff dimension, the proof can be done in the slope variable α. Assume that O(X) contains both an element X 0 with a vertical splitting pair and an element X ( * ) 0 whose vertical is a one cylinder direction. For s = 1 the Theorem follows from Part (1) of Proposition 2.3, which will be proved later. For 1 < s ≤ 2, consider the set E(X, η, s) given by Proposition 7.3, so that dim H E(X, η, s) ≥ f η (s), according to Proposition 7.5. The Theorem follows combining Lemma 7.6 and Lemma 7.7. Modulo the proof of Proposition 2.3 (for the case s = 1), Theorem 2.2 is proved. 7.8. Proof of Proposition 2.3. As in § 7.7, assume that X is reduced and consider the slope variable α. Consider separately the two cases.
Case s = 2. Assume only that O(X) contains X 0 with a vertical splitting pair. Let X * 0 be any element in O(X), whose vertical is not necessarily a one cylinder direction. The set E(X, η, s = 2) can be defined as in Proposition 7.3 and the dimension estimate in Proposition 7.5 still holds. Then Part (2) of Proposition 2.3 follows from Lemma 7.6.
Case s = 1. Assume only that O(X) contains X * 0 whose vertical is a one cylinder direction. The set E(X, η, s = 1) can be defined as in Proposition 7.3, replacing X 0 be any element in O(X), not necessarily admitting a one cylinder direction, but for s = 1 the dimension estimate in Proposition 7.5 gives the trivial bound dim H E(X, η, s = 1) ≥ 0. Thus in this case we replace the set E(X, η, s = 1) in Proposition 7.3 by the one provided by Lemma 7.8 below.
Fix α ∈ E ′ and consider φ α : X → X. Replying the argument in Lemma 7.7, where the Equation (7.7) used in the proof of Lemma 7.7 is replaced by Equation (7.14), we get w hit (φ α , p, p ′ ) ≤ η for any p, p ′ with p not on any (X, α)-singular leaf. For almost any p, p ′ the last inequality turns into an equality according to the general lower bound established by Equation (2.8), recalling that w(X, arctan α) = w(α) if X is an origami. Modulo the proof of Lemma 7.8, Proposition 2.3 is proved. 7.9. Proof of Lemma 7.8. The proof is a simplified version of the proof of Proposition 7.3. In particular for k ≥ 1 we define families E ′ k whose elements are words which label the intervals E ′ k in the level E ′ k , so that the required Cantor-like set is E ′ = k∈N E ′ k . For a word (a 1 , . . . , a 2p ) define F ′ (a 1 , . . . , a 2p ) as the set of integers a 2p+1 which satisfy (7.15) q η−1 2p ≤ a 2p+1 ≤ 2 · q η−1 2p − 1, then consider the interval (7.16) E ′ (a 1 , . . . , a 2p ) := a 2p+1 ∈F ′ 1 (a 1 ,...,a 2p ) I(a 1 , . . . , a 2p , a 2p+1 ).
In the construction below, just in order to refer to the notation in § 7.1, we introduce instants n(k) with n(k) = p(k) for any k ∈ N.

Proof of Proposition 2.5
This section follows § 6.4 and represents an adaptation of the arguments therein to the Eierlegende Wollmilchsau origami X EW .
It is easy to see that the other multiplication rules are i · k = −j, j · i = −k, j · k = i, k · i = j and k · j = −i. Moreover, recall from § 2.1.4 that we can describe an origami considering a finite family of labelled squares, each square being a copy of [0, 1] 2 , and then defining identifications between their sides. The Eierlegende Wollmilchsau origami X EW is the origami obtained considering the quaternion group Q as set of labels, with identifications given by the right multiplication by the two generators i and j. More precisely, for any g ∈ Q consider the square Q g := {g}×[0, 1] 2 , whose sides are l g := {g}×l, r g : The surface X EW is obtained identifying, for any g ∈ Q, the right side r g of the square Q g with the left side l g·i of the square Q g·i and the top side t g of Q g with the bottom side b g·j of Q g·j . Turning around the vertices of the squares and following the identifications, it is easy to check that X EW has 4 conical singularities, corresponding to the orbits of the right multiplication on Q by the commutator [j, −i] = −1. Each singularity has conical angle 4π, thus X EW belongs to the stratum H(1, 1, 1, 1) and has genus g = 3. Very specific dynamical and geometric properties of the surface X EW are explained in § 7 and § 8 in [FoMat]. Two different representations of X EW are given in Figure 4. In particular, by direct computation of the action on X EW of the generators T and V of SL(2, Z) (see also Remark 87 in [FoMat]), one can see that the stabilizer of X EW is the entire group SL(2, Z), that is The surface X EW has two cylinders C L 0 and C R 0 in the vertical slope p/q = 0, respectively around closed geodesics σ L 0 and σ R 0 . These closed geodesics have length |σ L 0 | = |σ R 0 | = 4 and the corresponding cylinders have transversal width W (C L 0 ) = W (C R 0 ) = 1. Equation (8.1) implies that for any A ∈ SL(2, Z), there are two cylinders C L p/q and C R p/q in the rational slope p/q = A · 0, and in particular this holds for the horizontal slope p/q = ∞.
Consider a line segment S ⊂ X EW , that is a segment S : (a, b) → X EW parametrized with constant speed dS(t)/dt = (u 1 , u 2 ) ∈ R 2 , so that the slope of S is α(S) := u 1 /u 2 . Any finite segment of trajectory of φ α is a natural example, but in the following we will consider both −j −1 Figure 4. The Eierlegende Wollmilchsau surface X EW . On the left its vertical cylinder decomposition, while the horizontal cylinder decomposition appears on the upper part of the right side of the picture. In both figures it is represented the same path. On the lower part of the right side of the picture are represented the three intersection criteria stated in Lemma 8.2, where the line segment S with slope −∞ ≤ α(S) < −1 is represented in green and the line segment I with slope 0 < α(I) < 1 is represented in red.
flow segments and segments transversal to the flow. If α(S) = 0, that is S is not vertical, then it admits a vertical cutting sequence [S] V = (g 0 , . . . , g L ) with g r ∈ Q for r = 0, . . . , L, where we define t 0 := min{t ≥ a, ∃g ∈ Q : S(t) ∈ l g } and inductively for r = 0, . . . , L the instants t r ∈ (a, b) by t r := min{t > t r−1 , ∃g ∈ Q : S(t) ∈ l g } and the symbols g r ∈ Q by S(t r ) ∈ l gr .
Similarly, if α(S) = ∞, that is S is not horizontal, then it admits an horizontal cutting sequence [S] H = (g 0 , . . . , g L ) with g r ∈ Q for r = 0, . . . , L, where we define s 0 := min{s ≥ a, ∃g ∈ Q : S(s) ∈ b g } and inductively for r = 0, . . . , L the instants s r ∈ (a, b) by s r := min{s > s r−1 , ∃g ∈ Q : S(s) ∈ b g } and the symbols g r ∈ Q by S(s r ) ∈ b gr .
It is convenient to express both vertical and horizontal cutting sequences of line segments S in a reduced form. If [S] V /H = (g 0 , . . . , g L ) is such cutting sequence, we write [S] V /H = g 0 · (1, . . . , g ′ L ) where g ′ r := g −1 0 · g r for r = 0, . . . , L. On the other hand, if the cutting sequence [S] V /H = (g 0 , . . . , g L ) is in its non-reduced form, we write its r-th letter as [S] V /H r := g r for r = 0, . . . , L.  ) and i·(1, i), and also either the block −1 · (1, i) or −1 · (1, k), all the blocks not in last position in [S] V . According to Points (1) and (2)  Now let C ∞ be either C R ∞ or C L ∞ . A line segment S : (0, 1) → C ∞ is transversal to C ∞ if it is contained in its interior and moreover S(0) ∈ ∂C ∞ , S(1) ∈ ∂C ∞ and −1 ≤ α(S) < 0. A line segment S : (0, 4) → X EW is said strongly transversal to the horizontal if S r := S| (r,r+1) is transversal either C R ∞ of C L ∞ for r = 0, 1, 2, 3. Arguing as in Lemma 8.3 one can show the Lemma below, whose proof is left to the reader. |σ 2 | = 7, W (C σ 2 ) = 2 Figure 6. For each integer N ≥ 4 and any value of the invariant IWP the pair (σ 2 , γ 2 ) is an horizontal splitting pair. One Weierstrass points is always given by the conical point, which has integer coordinates. In each of the four figures, the other five Weierstrass points are represented by a black dot (2) If N is even, N ≥ 4, then there exists an unique orbit E N . We have IWP = 2 for any X ∈ E N . (3) If N is odd and N ≥ 5, there there exist exactly two orbits A N and B N . We have IWP = 1 for any X ∈ A N and IWP = 3 for any X ∈ B N .
For an origami X in H(2) there exist and explicit expressions for the involution ι and for the remaining 5 Weierstrass points (other than the conical point), according to the combinatorial type of the separatrix diagram of the horizontal direction α = +∞ (see also § 5.1 in [HuLe]). If α = +∞ has type (3π, 3π, 3π) then X has only one cylinder C in the horizontal direction, with core curve σ. Since X is reduced, we have W (C) = 1. In this case ι is the central symmetry around the center of C. The closed geodesic σ contains 2 Weirstrass points, one of them being the center of C, the other being its opposite point in σ. They are never integer point, since W (C) = 1. The remaining 3 Weierstrass points are the centers of the horizontal saddle connections γ 1 , γ 2 and γ 3 , which may be integer or not, according to the values of the parameters |γ i | for i = 1, 2, 3.
If α = +∞ has type (π, 3π, 5π) then X has two cylinders C 1 and C 2 in the horizontal direction, with core curves σ 1 and σ 2 respectively, which satisfy |σ 1 | = |γ 1 | and |σ 2 | = |γ 1 |+|γ 2 | = |γ 2 |+|γ 3 |. In this case the longer cylinder C 2 can be decomposed as C 2 = P 1 ⊔P 2 , where P 1 is a parallelogram whose horizontal boundary is composed by γ 1 and γ 3 , and where P 2 is a parallelogram whose horizontal boundary is given by γ 2 repeated on both sides. In this case ι acts separately on C 1 , P 1 and P 2 as the central symmetry around their centers, then compatibility at the boundary gives a global map on X. The core curve σ 1 contains 2 Weierstrass points, which are the center of C 1 and its opposite point. The core curve σ 2 contains other 2 Weierstrass points, which are the centers of P 1 and of P 2 . The last Weierstrass point is the center of γ 2 . These points may have integer coordinates or not, according to the values of the parameters |γ 2 | and W (C i ) and |σ i | for i = 1, 2.
A.3. End of the proof: existence of splitting pairs in H(2). Since Theorem A.1 gives a complete invariant for the classification of orbits in H(2), then it is enough to find a representative X 0 with an horizontal splitting pair for any value of the invariant. In particular we need at least two cylinders in the horizontal direction α = +∞, thus we will consider only surfaces were the horizontal has type (π, 3π, 5π). In Figure 6, for each integer N ≥ 4 and any value of the invariant IWP the pair (σ 2 , γ 2 ) is an horizontal splitting pair. The case N = 3 is left to the reader. Lemma 6.5 is proved.