We prove that the Birkhoff sums for ``almost every'' relevant observable in the stadium billiard obey a non-standard limit law. More precisely, the usual central limit theorem holds for an observable if and only if its integral along a one-codimensional invariant set vanishes, otherwise a $\sqrt{n\log n}$ normalization is needed. As one of the two key steps in the argument, we obtain a limit theorem that holds in Young towers with exponential return time statistics in general, an abstract result that seems to be applicable to many other situations.
We estimate from below the topological entropy of the generalized Bunimovich stadium billiards. We do it for long billiard tables, and find the limit of estimates as the length goes to infinity.
We solve the longstanding problem of smoothing a stadium billiard. Besides our results demonstrate why there were no clear conjectures how much the stadium's boundary must be smoothened to destroy chaotic dynamics. To do that we needed to extend standard KAM theory to analyze stability of periodic orbits, because of the low smoothness of the system. In fact, the stadium has a $C^1$ boundary, and we show that $C^2$ smoothing results in appearance of elliptic periodic orbits.
We estimate from below the topological entropy of the Bunimovich stadium billiards. We do it for long billiard tables, and find the limit of estimates as the length goes to infinity.
We investigate the transmission and reflection survival probabilities for the chaotic stadium billiard with two holes placed asymmetrically. Classically, these distributions are shown to have algebraic or exponential decays depending on the choice of injecting hole and exact expressions are given for the first time and confirmed numerically. As there is no reported quantum theoretical or experimental analogue we propose a model for experimental observation of the asymmetric transport using semiconductor nano-structures and comment on the relevant quantum time-scales.
We describe conditions under which higher-dimensional billiard models in bounded, convex regions are fully chaotic, generalizing the Bunimovich stadium to dimensions above two. An example is a three-dimensional stadium bounded by a cylinder and several planes; the combination of these elements may give rise to defocusing, allowing large chaotic regions in phase space. By studying families of marginally-stable periodic orbits that populate the residual part of phase space, we identify conditions under which a nonlinear instability mechanism arises in their vicinity. For particular geometries, t…
In the paper, we establish Squash Rigidity Theorem - the dynamical spectral rigidity for piecewise analytic Bunimovich squash-type stadia. We also establish Stadium Rigidity Theorem - the dynamical spectral rigidity for piecewise analytic Bunimovich stadia whose flat boundaries are a priori fixed. In addition, for smooth Bunimovich squash-type stadia we compute the Lyapunov exponents along the maximal period two orbit, as well as the value of the Peierls' Barrier function from the maximal marked length spectrum associated to the rotation number $\frac{2n}{4n+1}$.
A "drivebelt" stadium billiard with boundary consisting of circular arcs of differing radius connected by their common tangents shares many properties with the conventional "straight" stadium, including hyperbolicity and mixing, as well as intermittency due to marginally unstable periodic orbits (MUPOs). Interestingly, the roles of the straight and curved sides are reversed. Here we discuss intermittent properties of the chaotic trajectories from the point of view of escape through a hole in the billiard, giving the exact leading order coefficient $\lim_{t\to\infty} t P(t)$ of the survival pro…
We study limit theorems in the context of random perturbations of dispersing billiards in finite and infinite measure. In the context of a planar periodic Lorentz gas with finite horizon, we consider random perturbations in the form of movements and deformations of scatterers. We prove a Central Limit Theorem for the cell index of planar motion, as well as a mixing Local Limit Theorem for the cell index with piecewise Hölder continuous observables. In the context of the infinite measure random system, we prove limit theorems regarding visits to new obstacles and self-intersections, as well as …
A polygon is called rational if the angle between each pair of sides is a rational multiple of $π.$ The main theorem we will prove is Theorem 1: For rational polygons, periodic points of the billiard flow are dense in the phase space of the billiard flow. This is a strengthening of Masur's theorem, who has shown that any rational polygon has ``many'' periodic billiard trajectories; more precisely, the set of directions of the periodic trajectories are dense in the set of velocity directions $§^1.$ We will also prove some refinements of Theorem 1: the ``well distribution'' of periodic orbits in…
We introduce the concepts of rotation numbers and rotation vectors for billiard maps. Our approach is based on the birkhoff ergodic theorem. We anticipate that it will be useful, in particular, for the purpose of establishing the non-ergodicity of billiard in certain domains.
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. As a counter-example to a theorem of Hiemer and Snurnikov, we construct a family of rational billiards that lack the finite blocking property.
We consider two nested billiards in $\mathbb R^d$, $d\geq3$, with $C^2$-smooth strictly convex boundaries. We prove that if the corresponding actions by reflections on the space of oriented lines commute, then the billiards are confocal ellipsoids. This together with the previous analogous result of the author in two dimensions solves completely the Commuting Billiard Conjecture due to Sergei Tabachnikov. The main result is deduced from the classical theorem due to Marcel Berger saying that in higher dimensions only quadrics may have caustics. We also prove versions of Berger's theorem and the…
We study the rate of mixing of observables of Z^d-extensions of probability preserving dynamical systems. We explain how this question is directly linked to the local limit theorem and establish a rate of mixing for general classes of observables of the Z^2-periodic Sinai billiard. We compare our approach with the induction method.
We consider a billiard problem for compact domains bounded by confocal conics on a hyperboloid of one sheet in the Minkowski space. We show that there are two types of confocal families in such setting. Using an algebro-geometric integration technique, we prove that the billiard within generalized ellipses of each type is integrable in the sense of Liouville. Further, we prove a generalization of the Poncelet theorem and derive Cayley-type conditions for periodic trajectories and explore geometric consequences.
The purpose of this article is to construct a toolbox, in Dynamical Systems, to support the idea that ``whenever we can prove a limit theorem in the classical sense for a dynamical system, we can prove a suitable almost-sure version based on an empirical measure with log-average''. We follow three different approaches: martingale methods, spectral methods and induction arguments. Our results apply among others to Axiom A maps or flows, to systems inducing a Gibbs-Markov map and to the stadium billiard.
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 present a solution of the algebraic version of Birkhoff Conjecture on integrable billiards. Namely we show that every polynomially integrable real bounded convex planar billiard with smooth boundary is an ellipse. We extend this result to billiards with piecewise-smooth and not necessarily convex boundary on arbitrary two-dimensional surface of constant curvature: plane, sphere, Lobachevsky (hyperbolic) plane; each of them being modeled as a plane or a (pseudo-) sphere in $\mathbb R^3$ equipped with appropriate quadratic form. Namely, we show that a billiard is polynomially integrable, if a…
The aim of this survey is twofold. First we show how the Markov tower construction is applicable for obtaining finer stochastic properties, like a local limit theorem of probability theory. Here the fundamental method is the study of the spectrum of the Fourier transform of the Perron--Frobenius operator. These ideas and results are applicable to all systems Young has been considering. Second, we survey the problem of recurrence of the planar Lorentz process. As an application of the results from the first part, we obtain a dynamical proof of recurrence for the finite horizon case. Here basica…
In this work we address the question of proving the stability of elliptic 2-periodic orbits for strictly convex billiards. Eventhough it is part of a widely accepted belief that ellipticity implies stability, classical theorems show that the certainty of stability relies upon more fine conditions. We present a review of the main results and general theorems and describe the procedure to fullfill the supplementary conditions for strictly convex billiards.
We obtain sharp error rates in the local limit theorem for the Sinai billiard map (one and two dimensional) with infinite horizon. This result allows us to further obtain higher order terms and thus, sharp mixing rates in the speed of mixing of dynamically Hölder observables for the planar and tubular infinite horizon Lorentz gases in the map (discrete time) case. We also obtain an asymptotic estimate for the tail probability of the first return time to the initial cell. In the process, we study families of transfer operators for infinite horizon Sinai billiards perturbed with the free flight …
We introduce a new class of billiard systems in the plane, with boundaries formed by finitely many arcs of confocal conics such that they contain some reflex angles. Fundamental dynamical, topological, geometric, and arithmetic properties of such billiards are studied. The novelty, caused by reflex angles on boundary, induces invariant leaves of higher genera and dynamical behaviour different from Liouville-Arnold's theorem. Its analogue is derived from the Maier theorem on measured foliations. A local version of Poncelet theorem is formulated and necessary algebro-geometric conditions for per…
We offer some theorems, mainly of finiteness, for certain patterns in elliptical billiards, related to periodic trajectories. For instance, if two players hit a ball at a given position and with directions forming a fixed angle in $(0,π)$, there are only finitely many cases for both trajectories being periodic. Another instance is the finiteness of the billiard shots which send a given ball into another one so that this falls eventually in a hole. These results have their origin in `relative' cases of the Manin-Mumford conjecture, and constitute instances of how arithmetical content may affect…
The paper gives a review of very recent results related to the Poncelet Theorem, on the occasion of its bicentennial. We are telling the story of one of the most beautiful theorems of Geometry, recalling for the general mathematical audience the dramatic historic circumstances which led to its discovery, a glimpse of its intrinsic appeal, and importance of its relationship to the dynamics of billiards within confocal conics. We focus on the three main issues: A) The case of Pseudo-Euclidean spaces, presenting a recent notion of relativistic quadrics, and applying it to the description of perio…
For Dynamical Systems, a strong bound on multiple correlations implies the Central Limit Theorem (CLT) [ChMa]. In Chernov's paper [Ch2], such a bound is derived for dynamically Holder continuous observables of dispersing Billiards. Here we weaken the regularity assumption and subsequently show that the bound on multiple correlations follows directly from the bound on pair correlations. Thus, a strong bound on pair correlations alone implies the CLT, for a wider class of observables. The result is extended to Anosov diffeomorphisms in any dimension.
We consider the following problem: given two parallel and identically oriented bundles of light rays in n-dimensional Euclidean space and given a diffeomorphism between the rays of the former bundle and the rays of the latter one, is it possible to realize this diffeomorphism by means of several mirror reflections? We prove that a 2-mirror realization is possible if and only if the diffeomorphism is the gradient of a function. We further prove that any orientation reversing diffeomorphism of domains in the plane is locally the composition of two gradient diffeomorphisms, and therefore can be r…
We use Ratner's theorem to compute the asymptotics of the number of (cylinders of) periodic trajectories in a rectangle with a barrier, assuming that the location p/q of the barrier is rational. We also show that as q tends to infinity, the constant in the asymptotic formula tends to the constant for the generic genus 2 flat surface.
