American Institute of Mathematical Sciences

Advanced
  2019, 14: 291-353. doi: 10.3934/jmd.2019011

Long hitting time for translation flows and L-shaped billiards

Dong Han Kim 1, , Luca Marchese 2, and  Stefano Marmi 3,

1. 

Department of Mathematics Education, Dongguk University-Seoul, 30 Pildong-ro 1-gil, Jung-gu, 04620 Seoul, Korea
2. 

Université Paris 13, Sorbonne Paris Cité, LAGA, UMR 7539, 99 Avenue Jean-Baptiste Clément, 93430 Villetaneuse, France
3. 

Scuola Normale Superiore and C.N.R.S. UMI 3483 Laboratorio Fibonacci, Piazza dei Cavalieri 7, 56126 Pisa, Italy

Received  December 16, 2017 Revised  August 04, 2018 Published  March 2019

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.

Keywords: Hitting time, Diophantine exponents, translation surface, L-shaped billiards.
Mathematics Subject Classification: Primary: 37E35, 11K60; Secondary: 11K55.
Citation: Dong Han Kim, Luca Marchese, Stefano Marmi. Long hitting time for translation flows and L-shaped billiards. Journal of Modern Dynamics, 2019, 14: 291-353. doi: 10.3934/jmd.2019011
References:
[1]

M. Artigiani, L. Marchese and C. Ulcigrai, The Lagrange spectrum of a Veech surface has a Hall ray, Geometry, Groups and Dynamics, 10 (2016), no. 4, 1287–1337. doi: 10.4171/GGD/384.  Google Scholar

[2]

L. Barreira and B. Saussol, Hausdorff dimension of measures via Poincaré recurrence, Commun. Math. Phys., 219 (2001), 443-463.  doi: 10.1007/s002200100427.  Google Scholar

[3]

V. Beresnevich and S. Velani, Ubiquity and a general logarithmic law for geodesics, in Dynamical Systems and Diophantine Approximations, Sémin. Congr., 19, Soc. Math. France, Paris, 2009, 21–36.  Google Scholar

[4]

M. Boshernitzan and J. Chaika, Diophantine properties of IETs and general systems: Quantitative proximality and connectivity, Invent. Math., 192 (2013), 375-412.  doi: 10.1007/s00222-012-0413-4.  Google Scholar

[5]

G. H. Choe and B. K. Seo, Recurrence speed of multiples of an irrational number, Proc. Japan Acad. Ser. A, 77 (2001), 134-137.  doi: 10.3792/pjaa.77.134.  Google Scholar

[6]

A. Eskin and M. Mirzakhani, Invariant and stationary measures for the $\text{SL}(2, \mathbb{R})$ action on moduli space, arXiv: 1302.3320. Google Scholar

[7]

A. Eskin, M. Mirzakhani and A. Mohammadi, Isolation, equidistribution, and orbit closures for the $ \text{SL}(2, \mathbb{R})$ action on moduli space, Ann. of Math. (2), 182 (2015), 673–721. doi: 10.4007/annals.2015.182.2.7.  Google Scholar

[8]

K. Falconer, Fractal Geometry, Wiley, 2003. doi: 10.1002/0470013850.  Google Scholar

[9]

G. Forni and C. Matheus, Introduction to Teichmüller theory and its applications to dynamics of interval exchange transformations flows on surfaces and billiards, J. Mod. Dyn., 8 (2014), 271-436.  doi: 10.3934/jmd.2014.8.271.  Google Scholar

[10]

S. Galatolo, Dimension via waiting time and recurrence, Math. Res. Lett., 12 (2005), 377-386.  doi: 10.4310/MRL.2005.v12.n3.a8.  Google Scholar

[11]

E. Gutkin and C. Judge, The geometry and arithmetic of translation surfaces with applications to polygonal billiards, Math. Res. Lett., 3 (1996), 391-403.  doi: 10.4310/MRL.1996.v3.n3.a8.  Google Scholar

[12]

P. Hubert and S. Lelièvre, Prime arithmetic Teichmüller disc in $ {\mathscr{H} }(2)$, Israel J. Math., 151 (2006), 281-321.  doi: 10.1007/BF02777365.  Google Scholar

[13]

P. Hubert, L. Marchese and C. Ulcigrai, Lagrange Spectra in Teichmüller Dynamics via renormalization, Geom. Funct. Anal., 25 (2015), 180-255.  doi: 10.1007/s00039-015-0321-z.  Google Scholar

[14]

V. Jarník, Diophantischen Approximationen und Hausdorffsches Mass, Mat. Sbornik, 36 (1929), 371-382.   Google Scholar

[15] A. Ya. Khinchin, Continued Fractions, The University of Chicago Press, 1964.   Google Scholar
[16]

D. H. Kim, Diophantine type of interval exchange maps, Ergodic Theory Dynam. Systems, 34 (2014), 1990-2017.  doi: 10.1017/etds.2013.22.  Google Scholar

[17]

D. H. Kim and S. Marmi, The recurrence time for interval exchange maps, Nonlinearity, 21 (2008), 2201-2210.  doi: 10.1088/0951-7715/21/9/016.  Google Scholar

[18]

D. H. Kim and S. Marmi, Bounded type interval exchange maps, Nonlinearity, 27 (2014), 637-645.  doi: 10.1088/0951-7715/27/4/637.  Google Scholar

[19]

D. H. Kim and B. K. Seo, The waiting time for irrational rotations, Nonlinearity, 16 (2003), 1861-1868.  doi: 10.1088/0951-7715/16/5/318.  Google Scholar

[20]

L. Marchese, R. Treviño and S. Weil, Diophantine approximations for translation surfaces and planar resonant sets, Comment. Math. Helv., 93 (2018), 225-289.  doi: 10.4171/CMH/434.  Google Scholar

[21]

S. Marmi, P. Moussa and J.-C. Yoccoz, The cohomological equation for Roth-type interval exchange maps, J. Amer. Math. Soc., 18 (2005), 823-872.  doi: 10.1090/S0894-0347-05-00490-X.  Google Scholar

[22]

S. Marmi and J.-C. Yoccoz, Hölder regularity of the solutions of the cohomological equation for Roth type interval exchange maps, Commun. Math. Phys., 344 (2016), 117-139.  doi: 10.1007/s00220-016-2624-9.  Google Scholar

[23]

C. T. McMullen, Teichmüller curves in genus two: Discriminant and spin, Math. Ann., 333 (2005), 87-130.  doi: 10.1007/s00208-005-0666-y.  Google Scholar

[24]

J. Smillie and B. Weiss, Finiteness results for flat surfaces: a survey and problem list, in Partially Hyperbolic Dynamics, Laminations, and Teichmüller Flow, Fields Inst. Commun., 51, Amer. Math. Soc., Providence, RI, 2007,125–137.  Google Scholar

[25]

W. Veech, Teichmüller curves in modular space, Eisenstein series, and an application to triangular billiards, Invent. Math., 97 (1989), 553-583.  doi: 10.1007/BF01388890.  Google Scholar

[26]

Y. Vorobets, Periodic geodesics on generic translation surfaces, Algebraic and Topological Dynamics, Contemp. Math., 385, Amer. Math. Soc., Providence, RI, 2005,205–258. doi: 10.1090/conm/385/07199.  Google Scholar

[27]

P. Walters, Introduction to Ergodic Theory, Graduate Texts in Mathematics, 79, Springer-Verlag, New York-Berlin, 1982.  Google Scholar

[28]

J. C. Yoccoz, Interval exchange maps and translation surfaces, in Homogeneous Flows, Moduli Spaces and Arithmetic, Clay Math. Proc., 10, Amer. Math. Soc., Providence, RI, 2010, 1–69.  Google Scholar

[29]

A. Zorich, Flat surfaces, in Frontiers in Number Theory, Physics, and Geometry. I, Springer, Berlin, 2006,437–583. doi: 10.1007/978-3-540-31347-2_13.  Google Scholar

show all references

References:
[1]

M. Artigiani, L. Marchese and C. Ulcigrai, The Lagrange spectrum of a Veech surface has a Hall ray, Geometry, Groups and Dynamics, 10 (2016), no. 4, 1287–1337. doi: 10.4171/GGD/384.  Google Scholar

[2]

L. Barreira and B. Saussol, Hausdorff dimension of measures via Poincaré recurrence, Commun. Math. Phys., 219 (2001), 443-463.  doi: 10.1007/s002200100427.  Google Scholar

[3]

V. Beresnevich and S. Velani, Ubiquity and a general logarithmic law for geodesics, in Dynamical Systems and Diophantine Approximations, Sémin. Congr., 19, Soc. Math. France, Paris, 2009, 21–36.  Google Scholar

[4]

M. Boshernitzan and J. Chaika, Diophantine properties of IETs and general systems: Quantitative proximality and connectivity, Invent. Math., 192 (2013), 375-412.  doi: 10.1007/s00222-012-0413-4.  Google Scholar

[5]

G. H. Choe and B. K. Seo, Recurrence speed of multiples of an irrational number, Proc. Japan Acad. Ser. A, 77 (2001), 134-137.  doi: 10.3792/pjaa.77.134.  Google Scholar

[6]

A. Eskin and M. Mirzakhani, Invariant and stationary measures for the $\text{SL}(2, \mathbb{R})$ action on moduli space, arXiv: 1302.3320. Google Scholar

[7]

A. Eskin, M. Mirzakhani and A. Mohammadi, Isolation, equidistribution, and orbit closures for the $ \text{SL}(2, \mathbb{R})$ action on moduli space, Ann. of Math. (2), 182 (2015), 673–721. doi: 10.4007/annals.2015.182.2.7.  Google Scholar

[8]

K. Falconer, Fractal Geometry, Wiley, 2003. doi: 10.1002/0470013850.  Google Scholar

[9]

G. Forni and C. Matheus, Introduction to Teichmüller theory and its applications to dynamics of interval exchange transformations flows on surfaces and billiards, J. Mod. Dyn., 8 (2014), 271-436.  doi: 10.3934/jmd.2014.8.271.  Google Scholar

[10]

S. Galatolo, Dimension via waiting time and recurrence, Math. Res. Lett., 12 (2005), 377-386.  doi: 10.4310/MRL.2005.v12.n3.a8.  Google Scholar

[11]

E. Gutkin and C. Judge, The geometry and arithmetic of translation surfaces with applications to polygonal billiards, Math. Res. Lett., 3 (1996), 391-403.  doi: 10.4310/MRL.1996.v3.n3.a8.  Google Scholar

[12]

P. Hubert and S. Lelièvre, Prime arithmetic Teichmüller disc in $ {\mathscr{H} }(2)$, Israel J. Math., 151 (2006), 281-321.  doi: 10.1007/BF02777365.  Google Scholar

[13]

P. Hubert, L. Marchese and C. Ulcigrai, Lagrange Spectra in Teichmüller Dynamics via renormalization, Geom. Funct. Anal., 25 (2015), 180-255.  doi: 10.1007/s00039-015-0321-z.  Google Scholar

[14]

V. Jarník, Diophantischen Approximationen und Hausdorffsches Mass, Mat. Sbornik, 36 (1929), 371-382.   Google Scholar

[15] A. Ya. Khinchin, Continued Fractions, The University of Chicago Press, 1964.   Google Scholar
[16]

D. H. Kim, Diophantine type of interval exchange maps, Ergodic Theory Dynam. Systems, 34 (2014), 1990-2017.  doi: 10.1017/etds.2013.22.  Google Scholar

[17]

D. H. Kim and S. Marmi, The recurrence time for interval exchange maps, Nonlinearity, 21 (2008), 2201-2210.  doi: 10.1088/0951-7715/21/9/016.  Google Scholar

[18]

D. H. Kim and S. Marmi, Bounded type interval exchange maps, Nonlinearity, 27 (2014), 637-645.  doi: 10.1088/0951-7715/27/4/637.  Google Scholar

[19]

D. H. Kim and B. K. Seo, The waiting time for irrational rotations, Nonlinearity, 16 (2003), 1861-1868.  doi: 10.1088/0951-7715/16/5/318.  Google Scholar

[20]

L. Marchese, R. Treviño and S. Weil, Diophantine approximations for translation surfaces and planar resonant sets, Comment. Math. Helv., 93 (2018), 225-289.  doi: 10.4171/CMH/434.  Google Scholar

[21]

S. Marmi, P. Moussa and J.-C. Yoccoz, The cohomological equation for Roth-type interval exchange maps, J. Amer. Math. Soc., 18 (2005), 823-872.  doi: 10.1090/S0894-0347-05-00490-X.  Google Scholar

[22]

S. Marmi and J.-C. Yoccoz, Hölder regularity of the solutions of the cohomological equation for Roth type interval exchange maps, Commun. Math. Phys., 344 (2016), 117-139.  doi: 10.1007/s00220-016-2624-9.  Google Scholar

[23]

C. T. McMullen, Teichmüller curves in genus two: Discriminant and spin, Math. Ann., 333 (2005), 87-130.  doi: 10.1007/s00208-005-0666-y.  Google Scholar

[24]

J. Smillie and B. Weiss, Finiteness results for flat surfaces: a survey and problem list, in Partially Hyperbolic Dynamics, Laminations, and Teichmüller Flow, Fields Inst. Commun., 51, Amer. Math. Soc., Providence, RI, 2007,125–137.  Google Scholar

[25]

W. Veech, Teichmüller curves in modular space, Eisenstein series, and an application to triangular billiards, Invent. Math., 97 (1989), 553-583.  doi: 10.1007/BF01388890.  Google Scholar

[26]

Y. Vorobets, Periodic geodesics on generic translation surfaces, Algebraic and Topological Dynamics, Contemp. Math., 385, Amer. Math. Soc., Providence, RI, 2005,205–258. doi: 10.1090/conm/385/07199.  Google Scholar

[27]

P. Walters, Introduction to Ergodic Theory, Graduate Texts in Mathematics, 79, Springer-Verlag, New York-Berlin, 1982.  Google Scholar

[28]

J. C. Yoccoz, Interval exchange maps and translation surfaces, in Homogeneous Flows, Moduli Spaces and Arithmetic, Clay Math. Proc., 10, Amer. Math. Soc., Providence, RI, 2010, 1–69.  Google Scholar

[29]

A. Zorich, Flat surfaces, in Frontiers in Number Theory, Physics, and Geometry. I, Springer, Berlin, 2006,437–583. doi: 10.1007/978-3-540-31347-2_13.  Google Scholar

Figure 1.  In red, a billiard trajectory in a L-shaped billiard $L(a, b, a', b')$. The green path $\gamma$ is a generalized diagonal, the vector on the left of the figure its planar development Hol$(\gamma)$. The deviation of the direction $\theta$ from $\gamma$ is $|{{\rm {Re}}} (\gamma, \theta)|$
Figure Options

Download full-size image

Download as PowerPoint slide

Figure 2.  The saddle connection $\gamma$ appearing in Case (3) in the proof of Proposition 5.1, when $\pi_b(D) = 3$
Figure Options

Download full-size image

Download as PowerPoint slide

Figure 3.  A vertical splitting pair $(\sigma_0, \gamma_0)$, with two cylinders $C_0$ and $C_0'$ around $\sigma_0$ and $\sigma_0'$ respectively, where $W_0 = \Delta_0 = 1$ and $|\sigma_0| = 2$. For $\alpha\sim 0, 1925$ we have $\alpha^{-1}\sim5, 1948$, so that $ [W_0/\alpha] = 5 = 1\bmod 2\cdot\mathbb{Z} $. A trajectory with slope $\alpha$ travels in $C_0$, then it crosses $\gamma_0$ and repeats the path inside $C_0$, modulo a vertical translation by $ \delta_V = G(\alpha)\cdot W_0\sim0, 1948 $. As long as it re-enters inside $C_0$ such trajectory does not visit the cylinder $C_0'$
Figure Options

Download full-size image

Download as PowerPoint slide

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 $-\infty\leq \alpha(S) <-1$ is represented in green and the line segment $I$ with slope $0 <\alpha(I) <1$ is represented in red
Figure Options

Download full-size image

Download as PowerPoint slide

Figure 5.  The four separatrix diagrams at a conical point of angle $6\pi$, with the corresponding $f\in S_3$ and the return angles represented respectively above and below each of them. The second and third diagrams can be realized by surfaces in $\mathscr{H}(2)$, which are represented below
Figure Options

Download full-size image

Download as PowerPoint slide

Figure 6.  For each integer $N\geq 4$ and any value of the invariant $\textrm{IWP}$ the pair $(\sigma_2, \gamma_2)$ is a 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
Figure Options

Download full-size image

Download as PowerPoint slide

[1]

Eugene Gutkin. Insecure configurations in lattice translation surfaces, with applications to polygonal billiards. Discrete & Continuous Dynamical Systems, 2006, 16 (2) : 367-382. doi: 10.3934/dcds.2006.16.367
[2]

Misha Bialy. On Totally integrable magnetic billiards on constant curvature surface. Electronic Research Announcements, 2012, 19: 112-119. doi: 10.3934/era.2012.19.112
[3]

Stefano Galatolo, Pietro Peterlongo. Long hitting time, slow decay of correlations and arithmetical properties. Discrete & Continuous Dynamical Systems, 2010, 27 (1) : 185-204. doi: 10.3934/dcds.2010.27.185
[4]

Ramzi Alsaedi. Perturbation effects for the minimal surface equation with multiple variable exponents. Discrete & Continuous Dynamical Systems - S, 2019, 12 (2) : 139-150. doi: 10.3934/dcdss.2019010
[5]

Mostafa Bendahmane, Kenneth Hvistendahl Karlsen, Mazen Saad. Nonlinear anisotropic elliptic and parabolic equations with variable exponents and $L^1$ data. Communications on Pure & Applied Analysis, 2013, 12 (3) : 1201-1220. doi: 10.3934/cpaa.2013.12.1201
[6]

Ahmad Mousavi, Zheming Gao, Lanshan Han, Alvin Lim. Quadratic surface support vector machine with L1 norm regularization. Journal of Industrial & Management Optimization, 2021  doi: 10.3934/jimo.2021046
[7]

Masaru Ikehata. On finding the surface admittance of an obstacle via the time domain enclosure method. Inverse Problems & Imaging, 2019, 13 (2) : 263-284. doi: 10.3934/ipi.2019014
[8]

Guido Cavallaro, Roberto Garra, Carlo Marchioro. Long time localization of modified surface quasi-geostrophic equations. Discrete & Continuous Dynamical Systems - B, 2021, 26 (9) : 5135-5148. doi: 10.3934/dcdsb.2020336
[9]

Kariane Calta, John Smillie. Algebraically periodic translation surfaces. Journal of Modern Dynamics, 2008, 2 (2) : 209-248. doi: 10.3934/jmd.2008.2.209
[10]

José A. Conejero, Alfredo Peris. Chaotic translation semigroups. Conference Publications, 2007, 2007 (Special) : 269-276. doi: 10.3934/proc.2007.2007.269
[11]

V. Chaumoître, M. Kupsa. k-limit laws of return and hitting times. Discrete & Continuous Dynamical Systems, 2006, 15 (1) : 73-86. doi: 10.3934/dcds.2006.15.73
[12]

David DeLatte. Diophantine conditions for the linearization of commuting holomorphic functions. Discrete & Continuous Dynamical Systems, 1997, 3 (3) : 317-332. doi: 10.3934/dcds.1997.3.317
[13]

Shrikrishna G. Dani. Simultaneous diophantine approximation with quadratic and linear forms. Journal of Modern Dynamics, 2008, 2 (1) : 129-138. doi: 10.3934/jmd.2008.2.129
[14]

Dmitry Kleinbock, Barak Weiss. Dirichlet's theorem on diophantine approximation and homogeneous flows. Journal of Modern Dynamics, 2008, 2 (1) : 43-62. doi: 10.3934/jmd.2008.2.43
[15]

Chao Ma, Baowei Wang, Jun Wu. Diophantine approximation of the orbits in topological dynamical systems. Discrete & Continuous Dynamical Systems, 2019, 39 (5) : 2455-2471. doi: 10.3934/dcds.2019104
[16]

Hans Koch, João Lopes Dias. Renormalization of diophantine skew flows, with applications to the reducibility problem. Discrete & Continuous Dynamical Systems, 2008, 21 (2) : 477-500. doi: 10.3934/dcds.2008.21.477
[17]

E. Muñoz Garcia, R. Pérez-Marco. Diophantine conditions in small divisors and transcendental number theory. Discrete & Continuous Dynamical Systems, 2003, 9 (6) : 1401-1409. doi: 10.3934/dcds.2003.9.1401
[18]

Qingquan Chang, Dandan Li, Chunyou Sun. Random attractors for stochastic time-dependent damped wave equation with critical exponents. Discrete & Continuous Dynamical Systems - B, 2020, 25 (7) : 2793-2824. doi: 10.3934/dcdsb.2020033
[19]

W. Patrick Hooper, Richard Evan Schwartz. Billiards in nearly isosceles triangles. Journal of Modern Dynamics, 2009, 3 (2) : 159-231. doi: 10.3934/jmd.2009.3.159
[20]

Serge Tabachnikov. Birkhoff billiards are insecure. Discrete & Continuous Dynamical Systems, 2009, 23 (3) : 1035-1040. doi: 10.3934/dcds.2009.23.1035

2020 Impact Factor: 0.848

Tools

Metrics

  • PDF downloads (181)
  • HTML views (467)
  • Cited by (0)

Other articles
by authors

[Back to Top]

Copyright © 2022 American Institute of Mathematical Sciences | Privacy Policy