Billiards: a Geometric and Ergodic Approach Nicolás Daniel Mart´Inez

Total Page:16

File Type:pdf, Size:1020Kb

Billiards: a Geometric and Ergodic Approach Nicolás Daniel Mart´Inez Billiards: A Geometric and Ergodic Approach Nicol´asDaniel Mart´ınezRamos Department of Mathematics Universidad de Los Andes Supervisor Alexander Getmanenko In partial fulfillment of the requirements for the degree of Mathematician November 27, 2019 Acknowledgements As always, there are no possible words, either written or spoken which could show my gratitude to all people that in any way have helped me through my studies and my life. First of all, to my family: my parents, my brother, and my cat, for giving me a home in which I could grow up and become what I am today and what I will be in the future. All of the love, understanding and advice I have received from them guide the rest of my existence. Please, be assured, all that I will ever do in my life goes to you even if you do not even know about it. Now, I would like to thank my friends, from the university, from school, from life, from anywhere. You guys and gals are the reason living is worth all the trouble. I would like to mention all of you, but I am sure I would miss a lot of people, so, please, all of those who find a friend in me, believe me, this is for you. And of course, I would not be a student if I did not take time to properly thank all of the teachers and professors I have had the plea- sure to know and learn from, each one of you, for even the tiniest amount of knowledge you have passed down to me, deserves the most sincere gratitude. I would like to make a special mention to my thesis advisor, Alexander Getmanenko, not only for being an outstanding mentor and professor, but for taking once again the hardships of being a student along with me. To being a student: Young years for smiles and tears. Present for Future. Abstract This thesis comes from the interest to study dynamical systems which do not depend on differential equations and which allow trajectories with nondifferentiable points. At first, the main motivation was the study of laser dynamics in conics to further understand how tunneling worked in such systems, but in the process I found the rich and vast theory of Dynamical Billiards and from then on, our study focused on understanding them, as well as the tools that have been developed to study them. With this in mind, this work is divided into three parts. At first, the purpose of the document will be to properly define what a Billiard is and explore the ways in which movement can be studied. Moreover, we will study some basic properties of the movement in these systems and we will give some examples which we will explore later with more detail. Afterwards, we proceeded to explain the proof of one of the fundamen- tal tools in the study of dynamics and ergodic theory, the Oseledec's Multiplicative Theorem. This theorem ensures us that the limit by which the Lyapunov Exponents are defined exist provided some mild conditions on a transformation which preserves the measure. More- over, we exposed it using rather simple ideas and theorems derived mostly from functional and real analysis. Finally, we used the theorem proved in the previous section and our geometric analysis of the system to derive some conclusions regarding the Billiard Map. This work we have done is not only important for its pedagogic value as a first experience writing a formal mathematical document, but also as a first stepping stone into the world of Dynamics. With this particular example, we have used some of the main concepts on this branch of mathematics, namely the stable and unstable spaces, Lya- punov Exponents and hyperbolic systems. Contents 1 Basic concepts and first examples1 1.1 Definition and Construction of Billiards . .1 1.2 Motion: Flow and Map . .3 1.2.1 The Billiard Flow . .3 1.2.2 The Billiard Map . .8 1.2.3 Families of reflected paths . 15 1.3 Some examples . 19 1.3.1 Billiard in a circle . 19 1.3.2 The Ellipse . 21 1.3.3 The Stadium . 22 2 Oseledec's Multiplicative Ergodic Theorem 24 2.1 Statement of the theorem . 24 2.2 Proof of the first three conclusions . 25 2.2.1 Some theorems about measurability . 28 2.3 Proof of the forth conclusion . 30 2.3.1 A simpler setup . 30 2.3.2 Skew Products . 36 2.3.3 Conclusion . 42 v CONTENTS 3 Lyapunov Exponents for the Billiard Map 43 3.1 Understanding Lyapunov Exponents of Diffeomorphisms . 43 3.2 The Billiard Map and its Lyapunov Exponents . 46 3.2.1 A simple example . 49 3.3 A Projective Criterion for nonzero Lyapunov Exponents . 50 3.3.1 A hyperbolic example . 54 4 Appendix: Some Ergodic Theorems 56 4.1 Ergodic Theorems . 56 References 59 vi Chapter 1 Basic concepts and first examples In the following chapter we will go over the basic definitions for studying billiards. We will give some examples that illustrate the main ideas when we view it as a dynamical system. Moreover, we will take a look at some examples that will appear later in the document. 1.1 Definition and Construction of Billiards In this thesis, we will use the following setup used by Chernov and Markarian in their book [1]: Let D ⊂ R2 be a domain with a smooth or a piece-wise smooth boundary. The billiard system corresponds to the motion of a point particle inside this domain with specular reflections (angle of incidence is the angle of reflection) off the boundary δD. The definition of motion is not in itself a mathematical concept, however, to fill this gap we will shortly introduce the concepts of billiard flow and billiard map. In simple terms, the particle moves in a straight motion until the moment it collides with a point of the boundary, at that moment, the particle starts mov- ing in the direction that makes the same angle with the normal to the wall as the original direction. Moreover, we assume that this particle moves at unit speed. The previous ideas are too vague to properly work with them, then we will impose certain assumptions which will give us more structure on the systems [1]: 2 Assumption 1.1.1. Let D0 ⊂ R be an open, connected set. Our billiard domain will be D0 = D. Assumption 1.1.2. The boundary @D is a union of a finite number of Cr; r ≥ 3 compact curves. We will number these curves and denote them as Γi so that we 1 1.1 Definition and Construction of Billiards have: δD = Γ = Γ1 [···[ Γn: We assume our curves to be at least thrice differentiable to be able to work with their curvature. Assumption 1.1.3. The curves Γi can only intersect each other at their end- points. The endpoints of the curves must be handled with precaution, as at these points it may be impossible to find a tangent and therefore the specular reflection is not defined. Thus, we define the corners of the system as: Γ∗ = δΓ1 [···[ δΓn: For the last assumption, we define a parametrization of each Γi: 2 fi :[ai; bi] ! R : Furthermore, we take the intervals where our curves are defined so that: [ai; bi] \ [aj; bj] = ; for i 6= j: 2 Assumption 1.1.4. Let each Γi be parametrized by a map fi :[a; b] ! R . Then the second derivative of the fi never vanishes or is identically zero. By the previous assumption there are three possible kinds of boundaries which we will also call walls. The first, which is a flat wall, that is, a wall which is given 00 by a line and thus, fi (x) = 0. The second possible wall is the dispersing wall, that is, a wall that is concave. The name comes from the fact that in optics these kind of walls scatters nearby 00 rays of light. As the parametrization is concave we have that the vector fi (x) 6= 0 and it points outside the domain D. On the other hand, the last possible kind of wall is the focusing wall, that is convex. As before, the name comes from the fact that rays of light reflected by these walls get closer. In terms of the derivative, we can characterize these wall 00 by fi (x) 6= 0 and it points inside the domain D. As an example of the classification of these walls, consider the following image: 2 1.2 Motion: Flow and Map Figure 1.1: A billiard table with three types of wall. Note that walls 1 and 3 are flat walls as they are described by a line, wall 2 and 5 are dispersing and wall 4 is focusing. We will need the folowing definition: Definition 1.1.1. The curvature K of each wall Γi is given by: 8 0 if Γ is flat <> i 00 K = −kfi k if Γi is focusing > 00 :kfi k if Γi is focusing. 1.2 Motion: Flow and Map As it is often the case in dynamical systems, we can either study the system by a continuous motion (which we will denote flow) or a discrete motion (called map). In the following section we will briefly go over each point of view and discuss the results we can gather from them. The following section uses ideas both found in [1] and [2] 1.2.1 The Billiard Flow We will denote the position of the particle q 2 R2 and its velocity v 2 S1.
Recommended publications
  • From Deterministic Dynamics to Thermodynamic Laws II: Fourier's
    FROM DETERMINISTIC DYNAMICS TO THERMODYNAMIC LAWS II: FOURIER'S LAW AND MESOSCOPIC LIMIT EQUATION YAO LI Abstract. This paper considers the mesoscopic limit of a stochastic energy ex- change model that is numerically derived from deterministic dynamics. The law of large numbers and the central limit theorems are proved. We show that the limit of the stochastic energy exchange model is a discrete heat equation that satisfies Fourier's law. In addition, when the system size (number of particles) is large, the stochastic energy exchange is approximated by a stochastic differential equation, called the mesoscopic limit equation. 1. Introduction Fourier's law is an empirical law describing the relationship between the thermal conductivity and the temperature profile. In 1822, Fourier concluded that \the heat flux resulting from thermal conduction is proportional to the magnitude of the tem- perature gradient and opposite to it in sign" [14]. The well-known heat equation is derived based on Fourier's law. However, the rigorous derivation of Fourier's law from microscopic Hamiltonian mechanics remains to be a challenge to mathemati- cians and physicist [3]. This challenge mainly comes from our limited mathematical understanding to nonequilibrium statistical mechanics. After the foundations of sta- tistical mechanics were established by Boltzmann, Gibbs, and Maxwell more than a century ago, many things about nonequilibrium steady state (NESS) remains un- clear, especially the dependency of key quantities on the system size N. There have been several studies that aim to derive Fourier's law from the first principle. A large class of models [29, 31, 12, 11, 10] use anharmonic chains to de- scribe heat conduction in insulating crystals.
    [Show full text]
  • Ergodic Theory Plays a Key Role in Multiple Fields Steven Ashley Science Writer
    CORE CONCEPTS Core Concept: Ergodic theory plays a key role in multiple fields Steven Ashley Science Writer Statistical mechanics is a powerful set of professor Tom Ward, reached a key milestone mathematical tools that uses probability the- in the early 1930s when American mathema- ory to bridge the enormous gap between the tician George D. Birkhoff and Austrian-Hun- unknowable behaviors of individual atoms garian (and later, American) mathematician and molecules and those of large aggregate sys- and physicist John von Neumann separately tems of them—a volume of gas, for example. reconsidered and reformulated Boltzmann’ser- Fundamental to statistical mechanics is godic hypothesis, leading to the pointwise and ergodic theory, which offers a mathematical mean ergodic theories, respectively (see ref. 1). means to study the long-term average behavior These results consider a dynamical sys- of complex systems, such as the behavior of tem—whetheranidealgasorothercomplex molecules in a gas or the interactions of vi- systems—in which some transformation func- brating atoms in a crystal. The landmark con- tion maps the phase state of the system into cepts and methods of ergodic theory continue its state one unit of time later. “Given a mea- to play an important role in statistical mechan- sure-preserving system, a probability space ics, physics, mathematics, and other fields. that is acted on by the transformation in Ergodicity was first introduced by the a way that models physical conservation laws, Austrian physicist Ludwig Boltzmann laid Austrian physicist Ludwig Boltzmann in the what properties might it have?” asks Ward, 1870s, following on the originator of statisti- who is managing editor of the journal Ergodic the foundation for modern-day ergodic the- cal mechanics, physicist James Clark Max- Theory and Dynamical Systems.Themeasure ory.
    [Show full text]
  • AN INTRODUCTION to DYNAMICAL BILLIARDS Contents 1
    AN INTRODUCTION TO DYNAMICAL BILLIARDS SUN WOO PARK 2 Abstract. Some billiard tables in R contain crucial references to dynamical systems but can be analyzed with Euclidean geometry. In this expository paper, we will analyze billiard trajectories in circles, circular rings, and ellipses as well as relate their charactersitics to ergodic theory and dynamical systems. Contents 1. Background 1 1.1. Recurrence 1 1.2. Invariance and Ergodicity 2 1.3. Rotation 3 2. Dynamical Billiards 4 2.1. Circle 5 2.2. Circular Ring 7 2.3. Ellipse 9 2.4. Completely Integrable 14 Acknowledgments 15 References 15 Dynamical billiards exhibits crucial characteristics related to dynamical systems. Some billiard tables in R2 can be understood with Euclidean geometry. In this ex- pository paper, we will analyze some of the billiard tables in R2, specifically circles, circular rings, and ellipses. In the first section we will present some preliminary background. In the second section we will analyze billiard trajectories in the afore- mentioned billiard tables and relate their characteristics with dynamical systems. We will also briefly discuss the notion of completely integrable billiard mappings and Birkhoff's conjecture. 1. Background (This section follows Chapter 1 and 2 of Chernov [1] and Chapter 3 and 4 of Rudin [2]) In this section, we define basic concepts in measure theory and ergodic theory. We will focus on probability measures, related theorems, and recurrent sets on certain maps. The definitions of probability measures and σ-algebra are in Chapter 1 of Chernov [1]. 1.1. Recurrence. Definition 1.1. Let (X,A,µ) and (Y ,B,υ) be measure spaces.
    [Show full text]
  • Propagation of Rays in 2D and 3D Waveguides: a Stability Analysis with Lyapunov and Reversibility Fast Indicators G
    Propagation of rays in 2D and 3D waveguides: a stability analysis with Lyapunov and Reversibility fast indicators G. Gradoni,1, a) F. Panichi,2, b) and G. Turchetti3, c) 1)School of Mathematical Sciences and Department of Electrical and Electronic Engineering, University of Nottingham, United Kingdomd) 2)Department of Physics and Astronomy , University of Bologna, Italy 3)Department of Physics and Astronomy, University of Bologna, Italy. INDAM National Group of Mathematical Physics, Italy (Dated: 13 January 2021) Propagation of rays in 2D and 3D corrugated waveguides is performed in the general framework of stability indicators. The analysis of stability is based on the Lyapunov and Reversibility error. It is found that the error growth follows a power law for regular orbits and an exponential law for chaotic orbits. A relation with the Shannon channel capacity is devised and an approximate scaling law found for the capacity increase with the corrugation depth. We investigate the propagation of a ray in a 2D wave guide whose boundaries are two parallel horizontal lines, with a periodic corrugation on the upper line. The reflection point abscissa on the lower line and the ray horizontal I. INTRODUCTION velocity component after reflection are the phase space coordinates and the map connecting two consecutive re- The equivalence between geometrical optics and mechanics flections is symplectic. The dynamic behaviour is illus- was established in a variational form by the principles of Fer- trated by the phase portraits which show that the regions mat and Maupertuis. If a ray propagates in a uniform medium of chaotic motion increase with the corrugation amplitude.
    [Show full text]
  • © 2020 Alexandra Q. Nilles DESIGNING BOUNDARY INTERACTIONS for SIMPLE MOBILE ROBOTS
    © 2020 Alexandra Q. Nilles DESIGNING BOUNDARY INTERACTIONS FOR SIMPLE MOBILE ROBOTS BY ALEXANDRA Q. NILLES DISSERTATION Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Computer Science in the Graduate College of the University of Illinois at Urbana-Champaign, 2020 Urbana, Illinois Doctoral Committee: Professor Steven M. LaValle, Chair Professor Nancy M. Amato Professor Sayan Mitra Professor Todd D. Murphey, Northwestern University Abstract Mobile robots are becoming increasingly common for applications such as logistics and delivery. While most research for mobile robots focuses on generating collision-free paths, however, an environment may be so crowded with obstacles that allowing contact with environment boundaries makes our robot more efficient or our plans more robust. The robot may be so small or in a remote environment such that traditional sensing and communication is impossible, and contact with boundaries can help reduce uncertainty in the robot's state while navigating. These novel scenarios call for novel system designs, and novel system design tools. To address this gap, this thesis presents a general approach to modelling and planning over interactions between a robot and boundaries of its environment, and presents prototypes or simulations of such systems for solving high-level tasks such as object manipulation. One major contribution of this thesis is the derivation of necessary and sufficient conditions of stable, periodic trajectories for \bouncing robots," a particular model of point robots that move in straight lines between boundary interactions. Another major contribution is the description and implementation of an exact geometric planner for bouncing robots. We demonstrate the planner on traditional trajectory generation from start to goal states, as well as how to specify and generate stable periodic trajectories.
    [Show full text]
  • (2020) Physics-Enhanced Neural Networks Learn Order and Chaos
    PHYSICAL REVIEW E 101, 062207 (2020) Physics-enhanced neural networks learn order and chaos Anshul Choudhary ,1 John F. Lindner ,1,2,* Elliott G. Holliday,1 Scott T. Miller ,1 Sudeshna Sinha,1,3 and William L. Ditto 1 1Nonlinear Artificial Intelligence Laboratory, Physics Department, North Carolina State University, Raleigh, North Carolina 27607, USA 2Physics Department, The College of Wooster, Wooster, Ohio 44691, USA 3Indian Institute of Science Education and Research Mohali, Knowledge City, SAS Nagar, Sector 81, Manauli PO 140 306, Punjab, India (Received 26 November 2019; revised manuscript received 22 May 2020; accepted 24 May 2020; published 18 June 2020) Artificial neural networks are universal function approximators. They can forecast dynamics, but they may need impractically many neurons to do so, especially if the dynamics is chaotic. We use neural networks that incorporate Hamiltonian dynamics to efficiently learn phase space orbits even as nonlinear systems transition from order to chaos. We demonstrate Hamiltonian neural networks on a widely used dynamics benchmark, the Hénon-Heiles potential, and on nonperturbative dynamical billiards. We introspect to elucidate the Hamiltonian neural network forecasting. DOI: 10.1103/PhysRevE.101.062207 I. INTRODUCTION dynamical systems. But from stormy weather to swirling galaxies, natural dynamics is far richer and more challeng- Newton wrote, “My brain never hurt more than in my ing. In this article, we exploit the Hamiltonian structure of studies of the moon (and Earth and Sun)” [1]. Unsurprising conservative systems to provide neural networks with the sentiment, as the seemingly simple three-body problem is in- physics intelligence needed to learn the mix of order and trinsically intractable and practically unpredictable.
    [Show full text]
  • Ballistic Electron Transport in Graphene Nanodevices and Billiards
    Ballistic Electron Transport in Graphene Nanodevices and Billiards Dissertation (Cumulative Thesis) for the award of the degree Doctor rerum naturalium of the Georg-August-Universität Göttingen within the doctoral program Physics of Biological and Complex Systems of the Georg-August University School of Science submitted by George Datseris from Athens, Greece Göttingen 2019 Thesis advisory committee Prof. Dr. Theo Geisel Department of Nonlinear Dynamics Max Planck Institute for Dynamics and Self-Organization Prof. Dr. Stephan Herminghaus Department of Dynamics of Complex Fluids Max Planck Institute for Dynamics and Self-Organization Dr. Michael Wilczek Turbulence, Complex Flows & Active Matter Max Planck Institute for Dynamics and Self-Organization Examination board Prof. Dr. Theo Geisel (Reviewer) Department of Nonlinear Dynamics Max Planck Institute for Dynamics and Self-Organization Prof. Dr. Stephan Herminghaus (Second Reviewer) Department of Dynamics of Complex Fluids Max Planck Institute for Dynamics and Self-Organization Dr. Michael Wilczek Turbulence, Complex Flows & Active Matter Max Planck Institute for Dynamics and Self-Organization Prof. Dr. Ulrich Parlitz Biomedical Physics Max Planck Institute for Dynamics and Self-Organization Prof. Dr. Stefan Kehrein Condensed Matter Theory, Physics Department Georg-August-Universität Göttingen Prof. Dr. Jörg Enderlein Biophysics / Complex Systems, Physics Department Georg-August-Universität Göttingen Date of the oral examination: September 13th, 2019 Contents Abstract 3 1 Introduction 5 1.1 Thesis synopsis and outline.............................. 10 2 Fundamental Concepts 13 2.1 Nonlinear dynamics of antidot superlattices..................... 13 2.2 Lyapunov exponents in billiards............................ 20 2.3 Fundamental properties of graphene......................... 22 2.4 Why quantum?..................................... 31 2.5 Transport simulations and scattering wavefunctions................
    [Show full text]
  • Universality in Statistical Measures of Trajectories in Classical Billiard Systems
    Applied Mathematics, 2015, 6, 1407-1425 Published Online July 2015 in SciRes. http://www.scirp.org/journal/am http://dx.doi.org/10.4236/am.2015.68132 Universality in Statistical Measures of Trajectories in Classical Billiard Systems Jean-François Laprise, Ahmad Hosseinizadeh, Helmut Kröger Department of Physics, Laval University, Québec, Canada Email: [email protected], [email protected], [email protected] Received 13 January 2015; accepted 27 July 2015; published 30 July 2015 Copyright © 2015 by authors and Scientific Research Publishing Inc. This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/ Abstract For classical billiards, we suggest that a matrix of action or length of trajectories in conjunction with statistical measures, level spacing distribution and spectral rigidity, can be used to distin- guish chaotic from integrable systems. As examples of 2D chaotic billiards, we considered the Bu- nimovich stadium billiard and the Sinai billiard. In the level spacing distribution and spectral ri- gidity, we found GOE behaviour consistent with predictions from random matrix theory. We stu- died transport properties and computed a diffusion coefficient. For the Sinai billiard, we found normal diffusion, while the stadium billiard showed anomalous diffusion behaviour. As example of a 2D integrable billiard, we considered the rectangular billiard. We found very rigid behaviour with strongly correlated spectra similar to a Dirac comb. These findings present numerical evi- dence for universality in level spacing fluctuations to hold in classically integrable systems and in classically fully chaotic systems. Keywords Classical Chaos, Dynamical Billiards, Random Matrix Theory, Level Spacing Fluctuations, Universality 1.
    [Show full text]
  • Arxiv:1505.01418V2 [Math.DS] 22 May 2021 Discovered by Bunimovich [Bun74, Bun92], Wojtkowski [Woj86], Markarian [Mar88] and Donnay [Don91]
    CONVEX BILLIARDS ON CONVEX SPHERES PENGFEI ZHANG Abstract. In this paper we study the dynamical billiards on a convex 2D sphere. We investigate some generic properties of the convex billiards on a general convex sphere. We prove that C1 generically, every periodic point is either hyperbolic or elliptic with irrational rotation number. Moreover, every hyperbolic periodic point admits some transverse homoclinic intersections. A new ingredient in our approach is Her- man's result on Diophantine invariant curves that we use to prove the nonlinear stability of elliptic periodic points for a dense subset of convex billiards. 1. Introduction The dynamical billiards, as a class of dynamical systems, were introduced by Birkhoff [Bir17, Bir27] in his study of Lagrangian systems with two degrees of freedom. A Lagrangian system with two degrees of freedom is isomorphic with the motion of a mass particle moving on a surface rotating uniformly about a fixed axis and carrying a fixed conservative field of force with it. If the surface is not rotating and the force vanishes, then the particle moves along geodesics on the surface. If the surface has boundary, then the resulting system is a billiard system. The classical results of dynamical billiards are closely related to geometrical optics, which has a much longer history. For example, the discovery of the integrability of elliptic billiards, according to Sarnak [Sar11], goes back at least to Boscovich in 1757. Surprisingly, the billiard dynamics is also related to the spectra property of Laplace{Beltrami operator on manifolds with a boundary. More precisely, Weyl's law in spectral theory gives the first order asymptotic distribution of eigenvalues of the Laplace{Beltrami operator on a bounded domain.
    [Show full text]
  • Learning the Arrow of Time
    Learning the Arrow of Time Nasim Rahaman1;2;3 Steffen Wolf1 Anirudh Goyal2 Roman Remme1 Yoshua Bengio2 1 Image Analysis and Learning Lab Ruprecht-Karls-Universität Heidelberg, Germany 2 Mila Montréal, Quebec, Canada 3 Max-Planck Institute for Intelligent Systems Tübingen, Germany Abstract We humans seem to have an innate understanding of the asymmetric progression of time, which we use to efficiently and safely perceive and manipulate our envi- ronment. Drawing inspiration from that, we address the problem of learning an arrow of time in a Markov (Decision) Process. We illustrate how a learned arrow of time can capture meaningful information about the environment, which in turn can be used to measure reachability, detect side-effects and to obtain an intrinsic reward signal. We show empirical results on a selection of discrete and continuous environments, and demonstrate for a class of stochastic processes that the learned arrow of time agrees reasonably well with a known notion of an arrow of time given by the celebrated Jordan-Kinderlehrer-Otto result. 1 Introduction The asymmetric progression of time has a profound effect on how we, as agents, perceive, process and manipulate our environment. Given a sequence of observations of our familiar surroundings (e.g. as photographs or video frames), we possess the innate ability to predict whether the said observations are ordered correctly. We use this ability not just to perceive, but also to act: for instance, we know to be cautious about dropping a vase, guided by the intuition that the act of breaking a vase cannot be undone. It is manifest that this profound intuition reflects some fundamental properties of the world in which we dwell, and in this work, we ask whether and how these properties can be exploited to learn a representation that functionally mimics our understanding of the asymmetric nature of time.
    [Show full text]
  • Quantum Chaos: an Introduction Via Chains of Interacting Spins-1/2
    Quantum chaos: an introduction via chains of interacting spins-1/2 Aviva Gubin and Lea F. Santos Department of Physics, Yeshiva University, 245 Lexington Ave, New York, NY 10016, USA This work introduces aspects of quantum chaos by focusing on spectral statistical properties and structures of eigenstates of quantum many-body systems. Quantum systems whose classical counterparts are chaotic have properties that differ from those of quantum systems whose classical counterparts are regular. One of the main signatures of what became known as quantum chaos is a spectrum showing repulsion of the energy levels. Here, we show how level repulsion may develop in one-dimensional systems of interacting spins-1/2 which are devoid of random elements and involve only two-body interactions. Chains of interacting spins-1/2 are prototype quantum many-body systems. They are used to study subjects as diverse as quantum computing, quantum phase transition, quantum transport, and quantum control. Nonetheless, they are simple enough to be accessible to students. In addition to the statistics of eigenvalues, we analyze also how the structure of the eigenstates may indicate chaos. We make available online all computer codes used to obtain the data for the figures. This should allow students and professors to easily reproduce our results and to further explore new questions. I. INTRODUCTION systems in the quantum limit. Main advances in this direc- tion were achieved by the periodic-orbit theory. This theory provides a way to compute the spectrum of a quantum system Classical chaos is related to the extreme sensitivity of the from its classical periodic orbits (trajectories that repeat them- dynamics of a system to its initial conditions, a concept that selves after a period).
    [Show full text]
  • A Survey of Dynamical Billiards
    A Survey of Dynamical Billiards Markus Himmelstrand, [email protected] Victor Wilén, [email protected] Department of Mathematics, Analysis Royal Institute of Technology (KTH) Supervisor: Maria Saprykina Contents 1 The dynamical billiard 1 1.1 Denition . .1 2 The billiard map 2 2.1 Denition . .2 2.2 The generating function . .2 3 Properties of the billiard map 3 3.1 Periodic orbits . .5 4 Billiard in a circular domain 7 4.1 Properties of billiard in a circle . .7 4.2 Billiard in an isosceles triangle . .9 4.3 Application of the uniform distribution property of the circle billiard . 11 4.3.1 Benfords law . 11 5 Existence of Birkho periodic orbits 11 5.1 Birkho periodic orbits . 11 5.2 Proof of Birkho's theorem . 13 6 Caustics 17 6.1 Introduction . 17 6.2 Homeomorphism of the circle . 20 6.3 Poncelet Porism . 22 6.4 String construction of convex caustics . 23 6.5 Proof of the string construction . 23 6.6 Non existence of Caustics and global implications . 27 6.7 Nonexistence of caustics at locally at boundaries . 29 6.7.1 Examples and test for tables without caustics . 30 7 Outer billiards 31 7.1 Denition . 31 7.2 Properties of the outer billiard map . 32 7.3 Bounded orbits . 34 7.4 Outer billiards and planetary motion . 35 A Calculations 36 A.1 Notes for constructing level curves . 36 A.2 Calculation of the Curvature of an Implicit planar curve . 37 B Basic notions in analysis 37 B.1 Metric spaces . 38 B.2 Compactness .
    [Show full text]