We give a criterion which allows to prove non-ergodicity for certain infinite periodic billiards and directional flows on Z-periodic translation surfaces. Our criterion applies in particular to a billiard in an infinite band with periodically spaced vertical barriers and to the Ehrenfest wind-tree model, which is a planar billiard with a $Z^2$-periodic array of rectangular obstacles. We prove that, in these two examples, both for a full measure set of parameters of the billiard tables and for tables with rational parameters, for almost every direction the corresponding billiard flow is not ergodic and has uncountably many ergodic components. As another application, we show that for any recurrent Z-cover of a square tiled surface of genus two the directional flow is not ergodic and has no invariant sets of finite measure for a full measure set of directions. In the language of essential values, we prove that the skew-products which arise as Poincare' maps of the above systems are associated to non-regular Z-valued cocycles for interval exchange transformations.
We study polygonal billiards with reflection laws contracting the reflected angle towards the normal. It is shown that if a polygon does not have parallel sides facing each other, then the corresponding billiard map has finitely many ergodic SRB measures whose basins cover a set of full Lebesgue measure.
We consider polygonal billiards with collisions contracting the reflection angle towards the normal to the boundary of the table. In previous work, we proved that such billiards has a finite number of ergodic SRB measures supported on hyperbolic generalized attractors. Here we study the relation of these measures with the ergodic absolutely continuous invariant probability measures (acips) of the slap map, the 1-dimensional map obtained from the billiard map when the angle of reflection is always equal to zero. Our main result states that for a generic polygon, if the reflection law has a Lips…
We investigate the dynamics of no-slip billiards, a model in which small rotating disks may exchange linear and angular momentum at collisions with the boundary. We give new results on periodicity and boundedness of orbits which suggest that a class of billiards (including all polygons) is not ergodic. Computer generated phase portraits demonstrate non-ergodic features, suggesting chaotic no-slip billiards cannot readily be constructed using the common techniques for generating chaos in standard billiards.
We prove polynomial upper bounds for the deviation of ergodic averages for the straight line flow on every translation surface in almost every direction, in particular for those surfaces arising from rational polygonal billiards.
In a previous paper (nlin.CD/0107041) the following class of billiards was studied: For $f: [0, +\infty) \longrightarrow (0, +\infty)$ convex, sufficiently smooth, and vanishing at infinity, let the billiard table be defined by $Q$, the planar domain delimited by the positive $x$-semiaxis, the positive $y$-semiaxis, and the graph of $f$. For a large class of $f$ we proved that the billiard map was hyperbolic. Furthermore we gave an example of a family of $f$ that makes this map ergodic. Here we extend the latter result to a much wider class of functions.
In this paper we study the ergodic properties of mathematical billiards describing the uniform motion of a point in a flat torus from which finitely many, pairwise disjoint, tubular neighborhoods of translated subtori (the so called cylindric scatterers) have been removed. We prove that every such system is ergodic (actually, a Bernoulli flow), unless a simple geometric obstacle for the ergodicity is present.
The Local Ergodic Theorem (also known as the `Fundamental Theorem') gives sufficient conditions under which a phase point has an open neighborhood that belongs (mod 0) to one ergodic component. This theorem is a key ingredient of many proofs of ergodicity for billiards and, more generally, for smooth hyperbolic maps with singularities. However the proof of that theorem relies upon a delicate assumption (Chernov-Sinai Ansatz), which is difficult to check for some physically relevant models, including gases of hard balls. Here we give a proof of the Local Ergodic Theorem for two dimensional bill…
We study the size of the set of ergodic directions for the directional billiard flows on the infinite band $\R\times [0,h]$ with periodically placed linear barriers of length $0<λ<h$. We prove that the set of ergodic directions is always uncountable. Moreover, if $λ/h\in(0,1)$ is rational the Hausdorff dimension of the set of ergodic directions is greater than 1/2. In both cases (rational and irrational) we construct explicitly some sets of ergodic directions.
In a previous paper we defined a class of non-compact polygonal billiards, the infinite step billiards: to a given decreasing sequence of non-negative numbers $\{p_{n}$, there corresponds a table $\Bi := \bigcup_{n\in\N} [n,n+1] \times [0,p_{n}]$. In this article, first we generalize the main result of the previous paper to a wider class of examples. That is, a.s. there is a unique escape orbit which belongs to the alpha and omega-limit of every other trajectory. Then, following a recent work of Troubetzkoy, we prove that generically these systems are ergodic for almost all initial velocities,…
Consider the non-compact billiard in the first quandrant bounded by the positive $x$-semiaxis, the positive $y$-semiaxis and the graph of $f(x) = (x+1)^{-α}$, $α\in (1,2]$. Although the Schnirelman Theorem holds, the quantum average of the position $x$ is finite on any eigenstate, while classical ergodicity entails that the classical time average of $x$ is unbounded.
We study the recurrence and ergodicity for the billiard on noncompact polygonal surfaces with a free, cocompact action of $\Z$ or $\Z^2$. In the $\Z$-periodic case, we establish criteria for recurrence. In the more difficult $\Z^2$-periodic case, we establish some general results. For a particular family of $\Z^2$-periodic polygonal surfaces, known in the physics literature as the wind-tree model, assuming certain restrictions of geometric nature, we obtain the ergodic decomposition of directional billiard dynamics for a dense, countable set of directions. This is a consequence of our results …
We identify all translation covers among triangular billiard surfaces. Our main tools are the holonomy field of Kenyon and Smillie and a geometric property of translation surfaces, which we call the fingerprint of a point, that is preserved under balanced translation covers.
We prove that polygonal billiards with contracting reflection laws exhibit hyperbolic attractors with countably many ergodic SRB measures. These measures are robust under small perturbations of the reflection law, and the tables for which they exist form a generic set in the space of all polygons. Specific polygonal tables are studied in detail.
We identify a collection of periodic billiard orbits in a self-similar Sierpinski carpet billiard table. Based on a refinement of the result of Durand-Cartagena and Tyson regarding nontrivial line segments in a self-similar Sierpinski carpet, we construct what is called an eventually constant sequence of compatible periodic orbits of prefractal Sierpinski carpet billiard tables. The trivial limit of this sequence then constitutes a periodic orbit of a self-similar Sierpinski carpet billiard table. We also determine the corresponding translation surface for each prefractal billiard table, and s…
Dynamical billiards, or the behavior of a particle traveling in a planar region $D$ undergoing elastic collisions with the boundary, has been extensively studied and is used to model many physical phenomena such as a Boltzmann gas. Of particular interest are the dispersing billiards, where $D$ consists of a union of finitely many open convex regions. These billiard flows are known to be ergodic and to possess the $K$-property. However, Turaev and Rom-Kedar (1998) proved that for dispersing systems permitting singular periodic orbits, there exists a family of smooth Hamiltonian flows with regio…
This text is an expanded version of the lecture notes of a minicourse (with the same title of this text) delivered by the authors in the Bedlewo school "Modern Dynamics and its Interaction with Analysis, Geometry and Number Theory" (from 4 to 16 July, 2011). In the first part of this text, i.e., from Sections 1 to 5, we discuss the Teichmüller and moduli space of translation surfaces, the Teichmüller flow and the SL(2,R)-action on these moduli spaces and the Kontsevich-Zorich cocycle over the Teichmüller geodesic flow. We sketch two applications of the ergodic properties of the Teichmüller flo…
A nice trick for studying the billiard flow in a rational polygon is to unfold the polygon along the trajectories. This gives rise to a translation or half-translation surface tiled by the original polygon, or equivalently an Abelian or quadratic differential. Veech surfaces are a special class of translation surfaces with a large group of affine automorphisms, and interesting dynamical properties. The first examples of Veech surfaces came from rational billiards. We first present the mathematical objects and fix some vocabulary and notation. Then we review known results about Veech surfaces a…
We study periodic wind-tree models, billiards in the plane endowed with $\mathbb{Z}^2$-periodically located identical connected symmetric right-angled obstacles. We exhibit effective asymptotic formulas for the number of (isotopy classes of) periodic billiard trajectories (up to $\mathbb{Z}^2$-translations) on Veech wind-tree billiards, that is, wind-tree billiards whose underlying compact translation surfaces are Veech surfaces. We show that the error term depends on spectral properties of the Veech group and give explicit estimates in the case when obstacles are squares of side length $1/2$.
This work results from our attempts to solve Boltzmann-Sinai's hypothesis about the ergodicity of hard ball gases. A crucial element in the studies of the dynamics of hard balls is the analysis of special hypersurfaces in the phase space consisting of degenerate trajectories (which lack complete hyperbolicity). We prove that if a flow-invariant hypersurface $J$ in the phase space of a semi-dispersing billiard has a negative Lyapunov function, then the volume of the forward image of $J$ grows at least linearly in time. Our proof is independent of the solution of the Boltzmann-Sinai hypothesis, …
We consider a class of mechanical particle systems interacting with thermostats. Particles move freely between collisions with disk-shaped thermostats arranged periodically on the torus. Upon collision, an energy exchange occurs, in which a particle exchanges its tangential component of the velocity for a randomly drawn one from the Gaussian distribution with the variance proportional to the temperature of the thermostat. In the case when all temperatures are equal one can write an explicit formula for the stationary distribution. We consider the general case and show that there exists a uniqu…
Since the seminal work of Sinai one studies chaotic properties of planar billiards tables. Among them is the study of decay of correlations for these tables. There are examples in the literature of tables with exponential and even polynomial decay. However, until now nothing is known about mixing properties for billiard tables with non-compact cusps. There is no consensual definition of mixing for systems with infinite invariant measure. In this paper we study geometric and ergodic properties of billiard tables with a non-compact cusp. The goal of this text is, using the definition of mixing p…
We consider infinite staircase translation surfaces with varying step sizes. For typical step sizes we show that the translation flow is uniquely ergodic in almost every direction. Our result also hold for typical configurations of the Ehrenfest wind-tree model endowed with the Hausdorff topology. In contrast, we show that the translation flow on a periodic translation surface can not be uniquely ergodic in any direction.
For a Z-cover of a translation surface, which is a lattice surface, and which admits infinite strips, we prove that almost every direction for the straightline flow is ergodic.
Continuing the work in \cite{ergodic-infinite}, we show that within each stratum of translation surfaces, there is a residual set of surfaces for which the geodesic flow in almost every direction is ergodic for almost-every periodic group extension produced using a technique referred to as \emph{cuts}.
We provide a method to straighten each billiard trajectory in a flat disk. As an application, we show that for each point on the disk and for almost all directions, the closure of the corresponding billiard trajectory contains a vertex. We generalize Katok-Zemlyakov construction to the flat disks with rational angle data: for each rational flat disk we obtain a translation surface and a projection to the doubling of the disk. We calculate the Euler characteristics of this translation surface.
Rigid bodies collision maps in dimension two, under a natural set of physical requirements, can be classified into two types: the standard specular reflection map and a second which we call, after Broomhead and Gutkin, no-slip. This leads to the study of no-slip billiards--planar billiard systems in which the moving particle is a disc (with rotationally symmetric mass distribution) whose translational and rotational velocities can both change at each collision with the boundary of the billiard domain. In this paper we greatly extend previous results on boundedness of orbits (Broomhead and Gutk…
Can elliptic islands contribute to sustained energy growth as parameters of a Hamiltonian system slowly vary with time? In this paper we show that a mushroom billiard with a periodically oscillating boundary accelerates the particle inside it exponentially fast. We provide an estimate for the rate of acceleration. Our numerical experiments confirms the theory. We suggest that a similar mechanism applies to general systems with mixed phase space.
We show that generic infinite group extensions of geodesic flows on square tiled translation surfaces are ergodic in almost every direction, subject to certain natural constraints. Recently K. Frcaczek and C. Ulcigrai have shown that certain concrete staircases, covers of square-tiled surfaces, are not ergodic in almost every direction. In contrast we show the almost sure ergodicity of other concrete staircases. An appendix provides a combinatorial approach for the study of square-tiled surfaces.
Over the course of studying billiard dynamics, several questions were raised. One of the questions was, which surfaces satisfy the following property (which is called Veech's dichotomy): Any direction is either completely periodic or uniquely ergodic. In an important paper Veech gave a sufficient condition for this dichotomy. He showed that if the stabilizer of a translation surface is a lattice in $SL_2(\R)$, then the surface satisfies Veech's dichotomy. Later, Smillie and Weiss proved that this condition is not necessary. They constructed a translation surface which satisfies Veech's dichoto…
This preliminary report contains a sketch of the proof of the following result: a slowly divergent Teichmuller geodesic satisfying a certain logarithmic law is determined by a uniquely ergodic measured foliation.
An annular billiard is a dynamical system in which a particle moves freely in a disk except for elastic collisions with the boundary, and also a circular scatterer in the interior of the disk. We investigate stability properties of some periodic orbits in annular billiards in which the scatterer is touching or close to the boundary. We analytically show that there exist linearly stable periodic orbits of arbitrary period for scatterers with decreasing radii that are located near the boundary of the disk. As the position of the scatterer moves away from a symmetry line of a periodic orbit, the …
We discuss an invertible version of Furstenberg's `Ergodic CP Shift Systems'. We show that the explicit regularity of these dynamical systems with respect to magnification of measures, implies certain regularity with respect to translation of measures; We show that the translation action on measures is non-singular, and prove pointwise discrete and continuous ergodic theorems for the translation action.
We prove that for every $ε>0$ there exists a minimal diffeomorphism $f:\T^{2}\rightarrow\T^{2}$ of class $C^{3-ε}$ and semiconjugate to an ergodic traslation, and have the following properties: zero entropy, sensitivity with respect to initial conditions and Li-Yorke chaos. These examples are obtained through the holonomy of the unstable foliation of Mañé's example of derived from Anosov diffeomorphism on $\T^3.$
We prove Knudsen's law for a gas of particles bouncing freely in a two dimensional pipeline with serrated walls consisting of irrational triangles. Dynamics are randomly perturbed and the corresponding random map studied under a skew-type deterministic representation which is shown to be ergodic and exact.
We consider the billiard dynamics in a non-compact set of R^d that is constructed as a bi-infinite chain of translated copies of the same d-dimensional polytope. A random configuration of semi-dispersing scatterers is placed in each copy. The ensemble of dynamical systems thus defined, one for each global realization of the scatterers, is called `quenched random Lorentz tube'. Under some fairly general conditions, we prove that every system in the ensemble is hyperbolic and almost every system is recurrent, ergodic, and enjoys some higher chaotic properties.
We show that all GL(2, R)-equivariant point markings over orbit closures of primitive genus two translation surfaces arise from marking pairs of points exchanged by the hyperelliptic involution, Weierstrass points, or the golden points in the golden eigenform locus. As corollaries, we classify the holomorphically varying families of points over orbifold covers of genus two Hilbert modular surfaces, solve the finite blocking problem on genus two translation surfaces, and show that there is at most one nonarithmetic rank two orbit closure in the minimal stratum in genus four.
Consider the space of analytic, quasi-periodic cocycles on the higher dimensional torus. We provide examples of cocycles with nontrivial Lyapunov spectrum, whose homotopy classes do not contain any cocycles satisfying the dominated splitting property. This shows that the main result in the recent work "Complex one-frequency cocycles" by A. Ávila, S. Jitomirskaya and C. Sadel does not hold in the higher dimensional torus setting.
Let $f: [0, +\infty) \to (0, +\infty)$ be a sufficiently smooth convex function, vanishing at infinity. Consider the planar domain $Q$ delimited by the positive $x$-semiaxis, the positive $y$-semiaxis, and the graph of $f$. Under certain conditions on $f$, we prove that the billiard flow in $Q$ has a hyperbolic structure and, for some examples, that it is also ergodic. This is done using the cross section corresponding to collisions with the dispersing part of the boundary. The relevant invariant measure for this Poincaré section is infinite, whence the need to surpass the existing results, de…
We prove that flow of a generic geodesic on a flat surface with finite holonomy group is ergodic. We use this result to prove that flows of generic billiards on certain flat surfaces with boundary are also ergodic.
Wojtkowski's system of $N$, $N \geq 2$, falling balls is a nonuniformly hyperbolic smooth dynamical system with singularities. It is still an open question whether this system is ergodic. We contribute towards an affirmative answer, by proving the non-contraction property, conditioned by the assumption of strict unboundedness. For a certain mass ratio the configuration space can be unfolded to a billiard table where the daunting proper alignment condition is satisfied. We prove, that the aforementioned unfolded system with three degrees of freedom is ergodic.
We consider the flow in direction $θ$ 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 $θ$. In higher genus, we consider a generalized geometric notion of diophantine type of a direction $θ$ and we seek for relations with hitting time. For genus two surfaces with just one conical singularity we prove that t…
A planar polygonal billiard $¶$ is said to have the finite blocking property if for every pair $(O,A)$ of points in $¶$ there exists a finite number of ``blocking'' points $B_1, ..., B_n$ such that every billiard trajectory from $O$ to $A$ meets one of the $B_i$'s. Generalizing our construction of a counter-example to a theorem of Hiemer and Snurnikov (see \cite{Mo}), we show that the only regular polygons that have the finite blocking property are the square, the equilateral triangle and the hexagon. Then we extend this result to translation surfaces. We prove that the only Veech surfaces wit…
In view of classical results of Masur and Veech almost every element in the moduli space of compact translation surfaces is recurrent. In this paper we focus on the problem of recurrence for elements of smooth curves in the moduli space. We give an effective criterion for the recurrence of almost every element of a smooth curve. The criterion relies on results developed by Minsky-Weiss in \cite{Mi-We}. Next we apply the criterion to the billiard flow on planar tables confined by arcs of confocal conics. The phase space of such billiard flow splits into invariant subsets determined by caustics.…
It is well-known that on any Veech surface, the dynamics in any minimal direction is uniquely ergodic. In this paper it is shown that for any genus 2 translation surface which is not a Veech surface there are uncountably many minimal but not uniquely ergodic directions.
