Silicon Photonic Physical Unclonable Functions

Total Page:16

File Type:pdf, Size:1020Kb

Silicon Photonic Physical Unclonable Functions SILICON PHOTONIC PHYSICAL UNCLONABLE FUNCTIONS by Brian Christopher Grubel A dissertation submitted to Johns Hopkins University in conformity with the requirements for the degree of Doctor of Philosophy. Baltimore, Maryland September 2017 © 2017 Brian Grubel All Rights Reserved Abstract Cryptographic systems control access to protected assets using keys stored in non-volatile digital memory which is vulnerable to tampering, substitution, and duplication. These key storage solutions require countermeasures that increase cost and complexity thus making their practical scalability to low-end systems intractable. Stored keys are usually derived from algorithms which include hash functions, random sequences, one-way permutations, and ciphers. Such approaches rely on computational asymmetry, e.g. algorithms that are easy to compute, yet difficult to reverse. However, the security of such “one-way” functions is not rigorously proven. Physical keys store private information within the physical structure of an object to protect against counterfeiting and spoofing. Recent physical key demonstrations are sufficiently complex to be believed unclonable; however, they exhibit reduced capacities for secret information, slow information generation rates, and vulnerability to emulation due to their linearity and slow speed. Here we investigate a primitive, a basic building block of a cryptographic system, based on the ultrafast and nonlinear optical interactions within an integrated silicon photonic cavity. Such a cavity can imprint a unique signature on an optical wave through the combination of a large number of spatial modes in a constrained medium. This interaction produces a highly complex and unpredictable, yet deterministic, ultrafast response that serves as a unique “fingerprint” of the cavity. This research includes methods to derive binary sequences from such waveforms that satisfy unpredictability, robustness, and entropic measures to meet security requirements for private key storage. We show that this robust physical key is unclonable, is impossible to emulate, and achieves dramatically improved capacity and throughput of secure information. We show that attempts at cloning this novel key fail, even with complete knowledge of the key design and maximally identical fabrication processes. We further demonstrate its use in authentication and communications ii applications and show that the device’s total information density is far beyond that of modern storage media. This innovative security measure is extremely small, inexpensive, and compatible with both conventional semiconductor integration and optical communications systems. This approach represents a revolutionary advancement in the construction of physical keys. Primary Reader: Dr. Amy C. Foster Secondary Reader: Dr. A. Brinton Cooper iii Acknowledgements There are many extraordinary people who have contributed to this project to help ideas become reality. I would like to thank my advisors: A. Brinton Cooper, Amy Foster, and Mark Foster for their example, advice, and encouragement. This multi-disciplinary work would not have been possible without their unique expertise and insight. As this work was unfunded at first and a deviation from their past research directions, I am eternally grateful for their willingness to venture into the unknown and provide both material and moral support. Further, if I have learned just one thing in my career it is that good administrative staff form some of the most important people in any organization. As such, I thank Debbie Race for her support in helping me navigate complex educational issues and maintain compliance with process and procedure. I appreciate Michael Kossey for the many weeks he spent at NIST building our prototype devices and teaching me vital laboratory practices. I have deep respect for Bryan Bosworth and the countless hours he spent in the laboratory with me troubleshooting experimental setups, engaging in philosophical conversation, and contemplating other distracting security projects all while ensuring that I did not break anything too important. I would also like to thank (and apologize to) Jasper Stroud, Milad Alemohammad, Jeff Shin, Kangmei Li, and Hongcheng Sun for their tolerance as I borrowed essential laboratory equipment at some of the most inconvenient times for them. I thank Arpad Neale and Dan Vresilovic for their boundless enthusiasm and their efforts on several side projects supporting this work. I thank Boeing for providing financial support as well as the support from my managers to include Glenn Hendershott, Naomi Hirose-Gormally, Tony Stamp, and Ann Stevens. I am also very appreciative of my colleagues Dave White, Dion Reid, and Izzy Rodriguez who originally introduced me to the field of information security and continued to provide me with their friendship iv and mentorship. I also extend my thanks to my former managers, mentors, and colleagues at Northrop Grumman who introduced me to the field of optics, especially Dick Leitholf, Carl Hikes, Jeff Peck, Tom Engel, and Kevin Hays. I thank Meghan for her support, love, kindness, and patience. She forced me to take the occasional break and keep things in perspective. I am beyond convinced that this achievement (and many others) would not have been possible without her. I thank my family and friends who have always supported me over the years and endured the awkward answers to their occasional questions about my research. And finally, I thank my parents, Arnold and Patricia, from whom I have learned countless lessons in addition to receiving their unwavering support, without which I would not have survived this program. They made many sacrifices such that I could get an education. I dedicate this work to them. v Nothing in this world can take the place of persistence. Talent will not: nothing is more common than unsuccessful men with talent. Genius will not; unrewarded genius is almost a proverb. Education will not: the world is full of educated derelicts. Persistence and determination alone are omnipotent. Calvin Coolidge 1872-1933 vi TABLE OF CONTENTS SECTION PAGE List of Tables ................................................................................................................................ xii List of Figures ............................................................................................................................... xii 1 Introduction ..........................................................................................................................1 1.1 Modern Security and Privacy Issues ................................................................................... 2 1.2 Physical Unclonable Functions ........................................................................................... 4 1.2.1 Concept .................................................................................................................................... 4 1.2.2 Properties and Component Requirements................................................................................ 8 1.2.3 Related Cryptographic Concepts ............................................................................................. 9 1.2.4 Previous Work ....................................................................................................................... 13 1.2.5 Testing and Specification of PUFs ........................................................................................ 21 1.3 Research Goals and Objectives ......................................................................................... 34 1.3.1 Integrated Silicon Photonics .................................................................................................. 34 1.3.2 Goals ...................................................................................................................................... 40 1.3.3 Objectives .............................................................................................................................. 41 1.4 Dissertation Organization ................................................................................................. 44 1.5 Summary ........................................................................................................................... 46 2 Light Transport through Chaotic Cavities .........................................................................48 2.1 Introduction ....................................................................................................................... 48 vii 2.2 Design ............................................................................................................................... 49 2.2.1 Chaos and Dynamical Billiards ............................................................................................. 49 2.2.2 Geometry ............................................................................................................................... 52 2.2.3 Design Concept ..................................................................................................................... 58 2.2.4 Design Summary ................................................................................................................... 61 2.3 Modeling and Simulation .................................................................................................. 62 2.3.1 Ray Tracing Model ................................................................................................................ 62 2.3.2 Waveguide
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]