Tensor Network and Neural Network Methods in Physical Systems

Total Page:16

File Type:pdf, Size:1020Kb

Tensor Network and Neural Network Methods in Physical Systems Tensor network and neural network methods in physical systems Dissertation Presented in Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in the Graduate School of The Ohio State University By Peiyuan Teng Graduate Program in Physics The Ohio State University 2018 Dissertation Committee: Dr. Yuan-Ming Lu, Advisor Dr. Ciriyam Jayaprakash Dr. Jay Gupta Dr. Comert Kural c Copyright by Peiyuan Teng 2018 Abstract In this dissertation, new ideas and methods from tensor network theory and neu- ral network theory are discussed. Firstly, common computational methods, such as the exact diagonalization method, the Density Matrix Renormalization Group ap- proach, and the tensor network theory are reviewed. Following this direction, a way of generalizing the tensor renormalization group (TRG) to all spatial dimensions is proposed. Mathematically, the connection between patterns of tensor renormalization group and the concept of truncation sequence in polytope geometry is discovered. A theoretical contraction framework is proposed. Furthermore, the canonical polyadic decomposition is introduced to tensor network theory. A numerical verification of this method on the 3-D Ising model is carried out. Secondly, this dissertation includes an efficient way of calculating the geomet- ric measure of entanglement using tensor decomposition methods. The connection between these two concepts is explored using the tensor representation of the wave- function. Numerical examples are benchmarked and compared. Furthermore, highly entangled qubit states are searched for to show the applicability of this method. Finally, machine learning approaches are reviewed. Machine learning methods are applied to quantum mechanics. The radial basis function network in a discrete basis is used as the variational wavefunction for the ground state of a quantum system. ii Variational Monte Carlo(VMC) calculations are carried out for some simple Hamil- tonians. The results are in good agreements with theoretical values. The smallest eigenvalue of a Hermitian matrix can also be acquired using VMC calculations. These results demonstrate that machine learning techniques are capable of solving quantum mechanical problems. iii This is dedicated to my parents, Mr. Yun Teng and Mrs. Min Xu. iv Acknowledgments I am sincerely thankful to my advisor Dr. Yuan-Ming Lu for the enlightening discussions, helpful suggestions, and careful comments. I'm amazed at his sharpness towards concepts, which clarifies a lot of my research ideas. His capability of digging deep into physics questions is also a good example for me to follow and to learn from. His love and dedication to physics influence me to move forward with my Ph.D. study. Learning from his good traits not only advances my research but will also help my future life. I'm also indebted to the Department of Physics of The Ohio State University for providing such a good environment for my study and for providing kindness support. I'm very happy to work in such a great place with distinguished professors and friendly classmates. Especially, I'd like to thank Dr. Jonathan Pelz for his wisdom and guidance about my study. I'm also extremely grateful to my committee members, Dr. Ciriyam Jayaprakash, Dr. Jay Gupta and Dr. Comert Kural for all the helpful talks and great suggestions. Their suggestions and helps guided through my study and will also be beneficial to my future career. I also want to express my appreciation to all the referees in the peer review pro- cesses of my papers. Their insightful comments and suggestions improved my work a lot. v I'm should also thank all the wonderful friends that I met during my life as a Ph.D. student in Columbus and in the United States, with whom I can explore many wonderful places and cultures in North America. Life would never be so amazing without them. Finally, I'd like to express my deepest gratitude to my parents, for their unrelenting love and selfless support. My thankfulness to them for everything is beyond any words. vi Vita January 2, 1990 . Born, Dandong, Liaoning, China 2008 - 2012 . B.S., Physics, Nankai University, China 2012 - 2015 . M.S., Physics, The Ohio State Univer- sity, USA 2015 - present(2018) . Ph.D. Candidate, Physics, The Ohio State University, USA Publications Research Publications Peiyuan Teng, "Generalization of the tensor renormalization group approach to 3-D or higher dimensions." Physica A: Statistical Mechanics and its Applications 472 (2017): 117-135. Peiyuan Teng, "Accurate calculation of the geometric measure of entanglement for multipartite quantum states." Quantum Information Processing 16.7 (2017): 181. Fields of Study Major Field: Physics vii Table of Contents Page Abstract . ii Dedication . iv Acknowledgments . v Vita . vii List of Tables . xii List of Figures . xiii 1. Introduction . 1 2. Numerical methods for many-body systems . 5 2.1 Exact Diagonalization . 5 2.1.1 Methodology . 5 2.1.2 Numerical implementation of exact diagonalization method 1 for spin- 2 models . 8 2.2 Density Matrix Renormalization Group . 9 2.2.1 Methodology . 9 2.2.2 Numerical simulations using Density Matrix Renormalization Group . 14 2.3 Tensor Network and Matrix Product States . 15 2.3.1 Tensor Network . 15 2.3.2 Matrix Product States . 17 2.4 Quantum Monte Carlo methods . 18 2.4.1 Introduction . 18 2.4.2 Variational Monte Carlo (VMC) . 19 viii 2.4.3 World Line Monte Carlo . 20 3. Generalization of the Tensor Renormalization Group method. 22 3.1 Introduction . 22 3.2 Tensor renormalization approach for a 2-D system . 25 3.2.1 Classical Ising model and tensor network . 25 3.2.2 Contraction of a 2-D honeycomb network . 27 3.2.3 Contraction of a 2-D square tensor network . 30 3.2.4 Free energy calculation for a 2d kagome Ising model . 31 3.3 Tensor renormalization approach for a 3-D system . 34 3.3.1 Dual polyhedron . 34 3.3.2 Tensor renormalization group (TRG) . 35 3.3.3 Canonical polyadic decomposition (CPD) . 37 3.3.4 TRG in detail: From cube to octahedron . 40 3.3.5 TRG in detail: From octahedron back to a cube . 47 3.4 Numerical results of the 3-D cubic tensor network model . 49 3.4.1 Ising model and tensor network . 49 3.4.2 Calculation framework . 50 3.4.3 Calculation steps: tensor size and cutoff . 50 3.4.4 Accuracy of CPD . 51 3.4.5 Rescaling of the tensor network and the dual tensor network 53 3.4.6 Derivation of free energy . 56 3.4.7 Numerical results . 57 3.4.8 Current restrictions of 3D-TRG method . 60 3.5 Tensor RG for higher dimensional tensor network . 61 3.6 Discussion . 64 3.6.1 Applications to quantum system . 64 3.6.2 Potential problems of TRG in Higher dimensions . 64 3.6.3 Is CPD the only choice? . 65 3.6.4 CPD and best rank-r approximation . 65 4. Tensor methods for Geometric Measure of Entanglement . 67 4.1 Introduction . 67 4.2 Geometric measure of entanglement and tensor decomposition . 70 4.2.1 Geometric measure of entanglement . 70 4.2.2 Tensor decomposition . 71 4.2.3 Numerical algorithm . 74 4.3 Numerical evaluation of the geometric measure of entanglement using Alternate Least Square algorithm . 76 ix 4.3.1 Geometric measure of entanglement for symmetric qubits pure states . 76 4.3.2 Geometric measure of entanglement for combinations of three qubits W states . 76 4.3.3 Geometric measure of entanglement for d-level system (qudits) 78 4.3.4 Hierarchies of Geometric measure of entanglement . 82 4.4 Discussions . 84 4.4.1 Geometric measure of entanglement for many-body systems 84 4.4.2 Several comments . 85 4.A Appendix: Searching for highly entangled states and maximally en- tangled states. 86 4.A.1 Bounds on the geometric measure of entanglement . 87 4.A.2 Maximally entangled four qubits states . 87 4.A.3 Highly entangled four qubits states . 89 4.A.4 Highly entangled five qubits states . 92 4.A.5 Highly entangled six and seven qubits states . 92 5. Theory of Machine Learning . 94 5.1 Introduction . 94 5.2 Regression . 95 5.3 K-nearest neighbors algorithm(KNN) . 97 5.4 Decision tree . 98 5.5 Support vector machine . 99 5.6 K-means clustering . 100 5.7 Principal component analysis . 102 5.8 Restricted Boltzmann Machines (RBM) as an artificial neural network102 5.9 Model evaluation . 103 6. Solving quantum mechanics problems using radial basis function network 107 6.1 Introduction . 107 6.2 Artificial neural network theory and the variational Monte Carlo method . 109 6.2.1 Artificial neural network theory . 109 6.2.2 Variational Monte Carlo method(VMC) . 115 6.3 Solving quantum mechanics problems using artificial neural network 116 6.3.1 Theoretical outline . 117 6.3.2 One dimensional quantum harmonic oscillator in electric field 120 6.3.3 Two dimensional quantum harmonic oscillator in electric field 125 6.3.4 Particle in a box . 128 6.3.5 Neural network as a Hermitian matrix lowest eigenvalue solver131 x 6.4 Discussion . 134 7. Conclusions . 136 Bibliography . 138 xi List of Tables Table Page 4.1 Overlaps for n-partite qubit systems . 77 4.2 Overlaps for n-partite qudit systems . 81 4.3 Hierarchies of 5-qubits W state . 83 6.1 The relation between nmax and the VMC energy at Ex = 4:0;Ey = 2:0.127 6.2 Comparison between exact values, perturbation results and numerical VMC energy at different a. 131 6.3 VMC results of the lowest eigenvalue of H(d). 133 xii List of Figures Figure Page 2.1 The infinite-system DMRG . 12 2.2 The finite-system DMRG .
Recommended publications
  • Ordered Equilibrium Structures of Patchy Particle Systems
    Dissertation Ordered Equilibrium Structures of Patchy Particle Systems ausgef¨uhrt zum Zwecke der Erlangung des akademischen Grades eines Doktors der technischen Wissenschaften unter der Leitung von Ao. Univ. Prof. Dr. Gerhard Kahl Institut f¨ur Theoretische Physik Technische Universit¨at Wien eingereicht an der Technischen Universit¨at Wien Fakult¨at f¨ur Physik von Dipl.-Ing. G¨unther Doppelbauer Matrikelnummer 0225956 Franzensgasse 10/6, 1050 Wien Wien, im Juli 2012 G¨unther Doppelbauer Kurzfassung Systeme der weichen Materie, die typischerweise aus mesoskopischen Teilchen in einem L¨osungsmittel aus mikroskopischen Teilchen bestehen, k¨onnen bei niedrigen Temperaturen im festen Aggregatzustand in einer Vielzahl von geordneten Struk- turen auftreten. Die Vorhersage dieser Strukturen bei bekannten Teilchenwechsel- wirkungen und unter vorgegebenen thermodynamischen Bedingungen wurde in den letzten Jahrzehnten als eines der großen ungel¨osten Probleme der Physik der kondensierten (weichen) Materie angesehen. In dieser Arbeit wird ein Ver- fahren vorgestellt, das die geordneten Phasen dieser Systeme vorhersagt; dieses beruht auf heuristischen Optimierungsmethoden, wie etwa evolution¨aren Algorith- men. Um die thermodynamisch stabile geordnete Teilchenkonfiguration an einem bestimmten Zustandspunkt zu finden, wird das entsprechende thermodynamische Potential minimiert und die dem globalen Minimum entsprechende Phase identifi- ziert. Diese Technik wird auf Modellsysteme f¨ur sogenannte kolloidale “Patchy Particles” angewandt. Die “Patches” sind dabei als begrenzte Regionen mit abweichen- den physikalischen oder chemischen Eigenschaften auf der Oberfl¨ache kolloidaler Teilchen definiert. “Patchy Particles” weisen, zus¨atzlich zur isotropen Hart- kugelabstoßung der Kolloide, sowohl abstoßende als auch anziehende anisotrope Wechselwirkungen zwischen den “Patches” auf. Durch neue Synthetisierungs- methoden k¨onnen solche Teilchen mit maßgeschneiderten Eigenschaften erzeugt werden.
    [Show full text]
  • Collection Volume I
    Collection volume I PDF generated using the open source mwlib toolkit. See http://code.pediapress.com/ for more information. PDF generated at: Thu, 29 Jul 2010 21:47:23 UTC Contents Articles Abstraction 1 Analogy 6 Bricolage 15 Categorization 19 Computational creativity 21 Data mining 30 Deskilling 41 Digital morphogenesis 42 Heuristic 44 Hidden curriculum 49 Information continuum 53 Knowhow 53 Knowledge representation and reasoning 55 Lateral thinking 60 Linnaean taxonomy 62 List of uniform tilings 67 Machine learning 71 Mathematical morphology 76 Mental model 83 Montessori sensorial materials 88 Packing problem 93 Prior knowledge for pattern recognition 100 Quasi-empirical method 102 Semantic similarity 103 Serendipity 104 Similarity (geometry) 113 Simulacrum 117 Squaring the square 120 Structural information theory 123 Task analysis 126 Techne 128 Tessellation 129 Totem 137 Trial and error 140 Unknown unknown 143 References Article Sources and Contributors 146 Image Sources, Licenses and Contributors 149 Article Licenses License 151 Abstraction 1 Abstraction Abstraction is a conceptual process by which higher, more abstract concepts are derived from the usage and classification of literal, "real," or "concrete" concepts. An "abstraction" (noun) is a concept that acts as super-categorical noun for all subordinate concepts, and connects any related concepts as a group, field, or category. Abstractions may be formed by reducing the information content of a concept or an observable phenomenon, typically to retain only information which is relevant for a particular purpose. For example, abstracting a leather soccer ball to the more general idea of a ball retains only the information on general ball attributes and behavior, eliminating the characteristics of that particular ball.
    [Show full text]
  • Tilings and Tessellations
    August 24 { September 4, 2015. Isfahan, IRAN CIMPA Research School Tilings and Tessellations Isfahan University of Technology Isfahan Mathematics House Foreword These are the lectures notes of the CIMPA school Tilings and Tessellations that takes place from august 24 to september 4 in the Technological University of Isfahan and the Mathematics House of Isfahan, Iran. This school is supported by the Centre International de Math´ematiquesPures et Appliqu´ees(CIMPA), the french Agence National de la Recherche (project QuasiCool, ANR-12-JS02-011-01), the universities of the contributors (listed below), the International Mathematical Union (IMU) and the iranian Institute for research in Fundamental Sciences (IPM). List of the contributors: • Fr´ed´erique Bassino, Univ. Paris 13, France • Florent Becker, Univ. Orl´eans,France • Nicolas Bedaride´ , Univ. Aix-Marseille, France • Olivier Bodini, Univ. Paris 13, France • C´edric Boutillier, Univ. Paris 6, France • B´eatrice De Tilliere` , Univ. Paris 6, France • Thomas Fernique, CNRS & Univ. Paris 13, France • Pierre Guillon, CNRS & Univ. Aix-Marseille, France • Amir Hashemi, Isfahan Univrsity of Technology, Iran • Eric´ Remila´ , Univ. Saint-Etienne,´ France • Guillaume Theyssier, Univ. de Savoie, France iii Contents 1 Tileability 1 1.1 Tiling with dominoes . .1 1.2 Tiling with bars . .2 1.3 Tiling with rectangles . .2 1.4 Gr¨obnerbases . .5 1.5 Buchberger's algorithm . .7 1.6 Gr¨obnerbases and tilings . .9 2 Random Tilings 11 2.1 Dimer model and random tilings . 11 2.2 Kasteleyn/Temperley and Fisher's theorem . 15 2.3 Explicit expression for natural probability measures on dimers . 16 2.4 Computation of the number of tilings : a few examples .
    [Show full text]
  • The Computation of Overlap Coincidence in Taylor–Socolar Substitution Tiling
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Osaka City University Repository Akiyama, S. and Lee, J.-Y. Osaka J. Math. 51 (2014), 597–607 THE COMPUTATION OF OVERLAP COINCIDENCE IN TAYLOR–SOCOLAR SUBSTITUTION TILING SHIGEKI AKIYAMA and JEONG-YUP LEE £ (Received August 27, 2012, revised November 15, 2012) Abstract Recently Taylor and Socolar introduced an aperiodic mono-tile. The associated tiling can be viewed as a substitution tiling. We use the substitution rule for this tiling and apply the algorithm of [1] to check overlap coincidence. It turns out that the tiling has overlap coincidence. So the tiling dynamics has pure point spectrum and we can conclude that this tiling has a quasicrystalline structure. 1. Introduction Aperiodic tiles are the set of prototiles which tile the space with their isomorphic images by Euclidean motions (composition of translations, rotations and reflections) but only in non-periodic way. There have been many examples of aperiodic tiles and study on them [2, 4, 7, 12, 14, 25, 26, 29, 30]. Two of well-known examples of aperiodic tiles with simple prototiles up to Euclidean motions are Penrose tiles and Ammann tiles which are uncovered in the mid ’70s. These sets consist of two prototiles and it has been the smallest number of prototiles which form aperiodic tiles until recently. Since then, people have been interested in finding a single prototile for an aperiodic tile. This problem is coined as ‘Mono-tile’ problem or ‘Einstein’ problem (one stone in German). It had taken quite some time before Taylor and Socolar announced in 2010 the existence of an aperiodic mono-tile.
    [Show full text]
  • Crystallography of Quasicrystals Crystallography of Quasicrystals
    Steurer Steurer Walter Steurer Soi a Deloudi • Deloudi SPRINGER SERIES IN MATERIALS SCIENCE 126 1 Crystallography Crystallography of Quasicrystals of Quasicrystals Concepts, Methods and Structures 123 Springer Series in materials science 126 Springer Series in materials science Editors: R. Hull R. M. Osgood, Jr. J. Parisi H. Warlimont The Springer Series in Materials Science covers the complete spectrum of materials physics, including fundamental principles, physical properties, materials theory and design. Recognizing the increasing importance of materials science in future device technologies, the book titles in this series reflect the state-of-the-art in understanding and controlling the structure and properties of all important classes of materials. Please view available titles in Springer Series in Materials Science on series homepage http://www.springer.com/series/856 Walter Steurer Sofia Deloudi Crystallography of Quasicrystals Concepts, Methods and Structures With177 Figures ABC Professor Dr. Walter Steurer Dr. Sofia Deloudi ETH Zurich,¨ Department of Materials, Laboratory of Crystallography Wolfgang-Pauli-Str. 10, 8093 Zurich,¨ Switzerland E-mail: [email protected], [email protected] Series Editors: ProfessorRobertHull Professor Jürgen Parisi University of Virginia Universitat¨ Oldenburg, Fachbereich Physik Dept. of Materials Science and Engineering Abt. Energie- und Halbleiterforschung Thornton Hall Carl-von-Ossietzky-Straße 9–11 Charlottesville, VA22903-2442, USA 26129 Oldenburg, Germany ProfessorR.M.Osgood,Jr. Professor Hans Warlimont Microelectronics Science Laboratory DSL Dresden Material-Innovation GmbH Department of Electrical Engineering Pirnaer Landstr. 176 Columbia University 01257 Dresden, Germany Seeley W. Mudd Building New York, NY 10027, USA Springer Series in Materials Science ISSN 0933-033X ISBN 978-3-642-01898-5 e-ISBN 978-3-642-01899-2 DOI 10.1007/978-3-642-01899-2 SpringerHeidelbergDordrechtLondonNewYork Library of Congress Control Number: 2009929706 c Springer-Verlag Berlin Heidelberg 2009 This work is subject to copyright.
    [Show full text]
  • Arxiv:1602.06372V2 [Math.MG] 17 Jul 2017 Following Two Problems [5]
    CONVEX POLYGONS FOR APERIODIC TILING TERUHISA SUGIMOTO Abstract. If all tiles in a tiling are congruent, the tiling is called monohedral. Tiling by convex polygons is called edge-to-edge if any two convex polygons are either disjoint or share one vertex or one entire edge in common. In this paper, we prove that a convex polygon that can generate an edge-to-edge monohedral tiling must be able to generate a periodic tiling. 1. Introduction A tiling of the plane is an exact covering of the plane by a collection of sets without gaps or overlaps (except for the boundaries of the sets). More precisely, a collection of sets (the \tiles") is a tiling of the plane if their union is the entire plane, but the interiors of different tiles are disjoint. The tiles are frequently polygons and are all congruent to one another or at least congruent to one of a small number of prototiles [4,5]. If all tiles in the tiling are of the same size and shape (i.e., congruent), the tiling is called monohedral [4]. Therefore, a prototile of a monohedral tiling by polygons is single polygon in the tiling, and we call the polygon the polygonal tile [4, 13{18]. A tiling of the plane is periodic if the tiling can be translated onto itself in two nonparallel directions. More precisely, a tiling is periodic if it coincides with its translation by a nonzero vector. A set of prototiles is called aperiodic if congruent copies of the prototiles admit infinitely many tilings of the plane, none of which are periodic.
    [Show full text]
  • Symbolic Dynamics and Tilings of Rd
    Proceedings of Symposia in Applied Mathematics Symbolic Dynamics and Tilings of Rd E. Arthur Robinson, Jr. Abstract. Aperiodic tilings of Euclidean space can profitably be studied from the point of view of dynamical systems theory. This study takes place via a kind of dynamical system called a tiling dynamical system. 1. Introduction In this chapter we study tilings of Euclidean space from the point of view of dy- namical systems theory, and in particular, symbolic dynamics. Our goal is to show that these two subjects share many common themes and that they can make useful contributions to each other. The tilings we study are tilings of Rd by translations of a finite number of basic tile types called “prototiles”. A good general reference on tilings is [GS87]. The link between tilings and dynamics will be established using a kind of dynamical system called a tiling dynamical system, first described by Dan Rudolph [Rud88], [Rud89]. The parts of the theory we concentrate on here are the parts most closely related to symbolic dynamics. Interestingly, these also tend to be the parts related to the theory of quasicrystals. A quasicrystal is a solid which, like a crystal, has a regular enough atomic struc- ture to produce sharp spots in its X-ray diffraction patterns, but unlike a crystal, has an aperiodic atomic structure. Because of this aperiodicity, quasicrystals can have “symmetries” forbidden to ordinary crystals, and these can be observed in their X-ray diffraction patterns. The first quasicrystals were discovered in 1984 by physicists at NIST (see [SBGC84]) who observed a diffraction pattern with 5-fold rotational symmetry.
    [Show full text]
  • Combinatorics of Tilings
    Combinatorics of tilings V. Berthé LIAFA-CNRS-Paris-France [email protected] http ://www.liafa.jussieu.fr/~berthe Substitutive tilings and fractal geometry-Guangzhou-July 2010 Tilings Definition Covering of the ambiant space without overlaps using some tiles Tile of Rd a compact set which is the closure of its interior Tiles are also often assumed to be homeomorphic to the ball Tilings of Rd A tiling is a set of tiles such that T d R = T 2T T[ where distinct tiles have non-intersecting interiors each compact set intersects a finite number of tiles in T Labeling Rigid motion Euclidean isometry preserving orientation (composition of translations and rotations) One might distinguish between congruent tiles by labeling them Two tiles are equivalent if they differ by a rigid motion and carry the same label A prototile set is a finite set of inequivalent tiles P Each tile of the tiling is equivalent to a prototile of T P We will work here mainly with translations Bibliography R. Robinson Symbolic Dynamics and Tilings of Rd , AMS Proceedings of Symposia in Applied Mathematics. N. Priebe Frank A primer on substitution tilings of the Euclidean plane – Expo. Math. 26 (2008) 295-326. B. Solomyak Dynamics of self-similar tilings, Ergodic Theory and Dynam. Sys. 17 (1997), 695-738 C. Goodman-Strauss http ://comp.uark.edu/ strauss/ The tiling ListServe Casey Mann [email protected] Tilings Encyclopedia http ://tilings.math.uni-bielefeld.de/E. Harriss, D. Frettlöh R. M. Robinson Undecidability and nonperiodicity for tilings of the plane, Inventiones
    [Show full text]
  • Exploring the Einstein Problem
    Exploring The Einstein Problem Thesis submitted at the University of Leicester in partial fulllment of the requirements for the degree of Master of Mathematics by Zoe C. Allwood Department of Mathematics University of Leicester May 2014 Contents Declaration iii Abstract iv Introduction 1 1 Describing the Tile 4 1.1 Lines and Flags . 4 1.2 Lines and Coloured Diagonals . 5 1.3 Other Representations . 6 2 Proof of Aperiodicity 7 3 The Substitution Tiling 12 3.1 Simplifying the Tile Set . 13 3.2 The Substitution . 17 3.3 The Substitution on the Simplied Tile Sets . 19 3.4 Amalgamation . 22 3.5 Proof of Aperiodicity . 22 4 A Better Einstein 23 4.1 Unconnected Tile . 23 4.2 3D Tile . 24 4.2.1 Construction . 24 4.2.2 Issues . 26 i 4.3 Schmitt, Conway and Danzer Tile . 26 4.4 Issues . 27 4.4.1 Height . 27 4.4.2 Tile Orientation . 27 4.4.3 Aperiodic Layers . 28 4.5 Danzer Implementation Attempt . 28 4.5.1 Rotation of 2π .............................. 28 3 4.5.2 Irrational Rotation . 30 4.6 Aperiodic Stack . 31 4.6.1 Thue Morse exploration . 32 4.6.2 General explanation . 33 4.6.3 Two dimensional exploration . 33 5 Conclusions 34 5.1 Socolar and Taylor Tile . 34 5.2 Einsteins and Dimension . 35 Bibliography 36 ii Declaration All sentences or passages quoted in this project dissertation from other people's work have been specically acknowledged by clear cross referencing to author, work and page(s). I understand that failure to do this amounts to plagiarism and will be considered grounds for failure in this module and the degree examination as a whole.
    [Show full text]
  • Emmer M. Imagine Math.. Between Culture and Mathematics (Springer
    To Mario Geymonat Michele Emmer Editor Imagine Math Between Culture and Mathematics Michele Emmer Department of Mathematics Sapienza University of Rome ISBN 978-88-470-2426-7 ISBN 978-88-470-2427-4 (eBook) DOI 10.1007/978-88–470-2427-4 Library of Congress Control Number: 2011944690 Springer Milan Dordrecht Heidelberg London New York c Springer-Verlag Italia 2012 This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broa- dcasting, reproduction on microfilms or in other ways, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the Italian Copyright Law in its current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution under the Italian Copyright Law. The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. Translation: Kim Williams for the contributions by E. Fabbri, E. Gamba, M. Costamagna, S. Caran- dini, C. Viviani and M. Emmer (“Visual Harmonies: an Exhibition on Art and Math” and “The Fantastic World of Tor Bled-Nam”) Cover-Design: deblik, Berlin Cover-Image: Lucio Saffaro, “Il piano di Orfeo” (particular). Courtesy of Fondazione Lucio Saf- faro, Bologna; Springer thanks Gisella Vismara Typesetting with LaTeX: CompoMat S.r.l., Configni (RI) Printing and Binding: GECA Industrie Grafiche, Cesano Boscone (MI) Printed in Italy Springer-Verlag Italia S.r.l., Via Decembrio 28, I-20137 Milano Springer fa parte di Springer Science + Business Media (www.springer.com) Contents Introduction ..................................................
    [Show full text]