Regular Polytopes, Root Lattices, and Quasicrystals*

Total Page:16

File Type:pdf, Size:1020Kb

Regular Polytopes, Root Lattices, and Quasicrystals* CROATICA CHEMICA ACTA CCACAA 77 (1–2) 133¿140 (2004) ISSN-0011-1643 CCA-2910 Original Scientific Paper Regular Polytopes, Root Lattices, and Quasicrystals* R. Bruce King Department of Chemistry, University of Georgia, Athens, Georgia 30602, USA (E-mail: [email protected].) RECEIVED APRIL 1, 2003; REVISED JULY 8, 2003; ACCEPTED JULY 10, 2003 The icosahedral quasicrystals of five-fold symmetry in two, three, and four dimensions are re- lated to the corresponding regular polytopes exhibiting five-fold symmetry, namely the regular { } pentagon (H2 reflection group), the regular icosahedron 3,5 (H3 reflection group), and the { } regular four-dimensional polytope 3,3,5 (H4 reflection group). These quasicrystals exhibit- ing five-fold symmetry can be generated by projections from indecomposable root lattices with ® ® ® twice the number of dimensions, namely A4 H2, D6 H3, E8 H4. Because of the subgroup Ì Ì ® relationships H2 H3 H4, study of the projection E8 H4 provides information on all of the possible icosahedral quasicrystals. Similar projections from other indecomposable root lattices Key words can generate quasicrystals of other symmetries. Four-dimensional root lattices are sufficient for polytopes projections to two-dimensional quasicrystals of eight-fold and twelve-fold symmetries. How- root lattices ever, root lattices of at least six-dimensions (e.g., the A6 lattice) are required to generate two- quasicrystals dimensional quasicrystals of seven-fold symmetry. This might account for the absence of icosahedron seven-fold symmetry in experimentally observed quasicrystals. INTRODUCTION but with point symmetries incompatible with traditional crystallography. More specifically, ordered solid state The symmetries that cannot be exhibited by true crystal quasicrystalline structures with five-fold symmetry ex- lattices include five-fold, eight-fold, and twelve-fold sym- hibit quasiperiodicity in two dimensions and periodicity metry. For this reason crystallographers were startled by in the third. the discovery by Shechtman and coworkers1 that rapidly Quasicrystals are seen to exhibit lower order than true solidified aluminum-manganese alloys of approximate crystals but a higher order than truly amorphous materials. composition Al6Mn gave electron diffraction patterns The order in icosahedral quasicrystals, i.e., quasicrystals having apparently sharp spots and five-fold symmetry exhibiting five-fold symmetry, can formally be described axes. Subsequent work2 led to the discovery of a number in six-dimensional hyperspace in which the atoms are of related alloys, particularly aluminum-rich alloys, ex- three-dimensional subspaces. The actual icosahedral quasi- hibiting five-fold and other crystallographically forbid- crystal structures are then three-dimensional projections den symmetries. These materials are now called quasi- of this six-dimensional hyperspace.7,8,9 crystals.3,4,5,6 Such quasicrystals are seen to represent a The use of such projection models to describe quasi- new type of incommensurate crystal structure whose Fourier crystal structures requires an understanding of higher di- transform consists of a d function as for periodic crystals mensional crystal lattices from which such projections to * This paper is dedicated to Nenad Trinajsti} in recognition of his pioneering contributions to mathematical chemistry. 134 R. B. KING two or three dimensions can be made. The simplest such TABLE I. Properties of the regular (Platonic) polyhedra higher dimensional lattices are the primitive hypercubic n Polyhedron Face Vertex Number Number Number lattices Z , which are generated from all integral linear type degrees of edges of faces of vertices combinations of unit vectors along n orthogonal Carte- Tetrahedron Triangle 3 6 4 4 sian axes. However, in many cases more complicated higher {3,3} dimensional lattices are required, such as various types Octahedron Triangle 4 12 8 6 of centered hypercubic lattices. These higher dimensional {3,4} lattices correspond to the root lattices, which are gener- Cube {4,3} Square 3 12 6 8 ated from all integral linear combinations of the vectors Icosahedron Triangle 5 30 20 12 { } (roots) of so-called root systems.10,11 These root systems 3,5 form a certain class of vector stars with specific allowed Dodecahedron Pentagon 3 30 12 20 {5,3} symmetries, lengths, and angles.10,11,12 Such root sys- tems arise in different contexts such as crystallographic finite reflection groups10,12 or finite-dimensional semi- n-dimensional polytope is a connected set (»complex«) simple Lie algebras.11 The connection between root lat- of facets of each dimension less than n where the 0-di- tices and quasicrystals was first presented in a short let- mensional facets are called vertices, the 1-dimensional ter by Baake, Joseph, Kramer, and Schlottmann13 with facets are called edges, the 2-dimensional facets are particular attention to two-dimensional quasilattices hav- called faces, the 3-dimensional facets are called cells, ing rotational symmetries of orders 5, 8, 10, and 12. etc. Such a polytope is a regular polytope when the com- This paper extends this connection between root lat- ponent facets of each dimension are identical regular tices and quasicrystals to the important three-dimensional polytopes and all facets of each dimension are equiva- case of icosahedral quasicrystals with a more detailed lent (i.e., transitive as discussed below). In two-dimen- survey of the key areas of mathematics involved in this sions the regular polytopes are the infinite number of connection. In addition the existence of root lattices is regular polygons whereas in three dimensions the regu- related to the existence of regular polytopes in higher di- lar polytopes are the five regular »Platonic« polyhedra mensional spaces, which is also examined in this paper. (Figure 1 and Table I). The concept of a tessellation is useful for generating REGULAR POLYTOPES FROM REGULAR regular polytopes of low dimension as well as related lat- TESSELLATIONS tices. In this connection, embedding a network of poly- gons into a surface can be described as a tiling or tessella- The term polytope generalizes the two-dimensional con- tion of the surface.15 In a formal sense a tiling or tessella- cept of polygon and the three-dimensional concept of 14 tion of a surface is a countable family of closed sets T = polyhedron to any number of dimensions. Thus an { } T1,T2… which cover the surface without gaps or over- laps. More explicitly, the union of the sets T1,T2… (which are known as the tiles of T) is the whole surface and the interiors of the sets Ti are pairwise disjoint. In the tessella- tions of interest in this paper, the tiles are the polygons, which, in the case of tessellations corresponding to poly- hedra, are the faces of the polyhedra. Tessellations can be described in terms of their flags, where a flag is a triple (V, E, F) consisting of a vertex V, and edge E, and a face F which are mutually incident. A tiling T is called regular if its symmetry group G(T) is transitive on the flags of T. A regular tessellation consisting of q regular p-gons at each vertex can be described by the so-called Schäfli no- tation {p,q}. The Schäfli notation can be generalized to higher dimensions in the obvious way. First consider regular tessellations in the Euclidean plane, i.e., a flat surface of zero curvature. In the Euclidean plane, the angle of a regular p-gon, {p},is(1–2/p)ð; hence q equal {p}'s (of any size) will fit together around a common vertex if this angle is equal to 2ð/q, leading to the relationship Figure 1. The five regular »Platonic« polyhedra showing their Schäfli symbols and the dual pairs. Note that the tetrahedron is self-dual. (p – 2)(q –2)=4 (1) Croat. Chem. Acta 77 (1–2) 133–140 (2004) REGULAR POLYTOPES, ROOT LATTICES, AND QUASICRYSTALS 135 (ii) Dual polyhedra have the same symmetry elements and thus belong to the same symmetry point group. (iii) Dualization of the dual of a polyhedron leads to the original polyhedron. (iv) The degrees of the vertices of the polyhedron cor- respond to the number of edges in the corresponding face polygons of its dual. Thus the duals of the deltahedra are trivalent polyhedra, i.e., polyhedra in which all vertices are of degree 3. (v) The dual of a regular polyhedron {p,q} in the Schäfli notation is {q,p}. The dual pairs for the Platonic polyhedra consist of the Figure 2. The three regular tessellations of the plane, namely the cube/octahedron and dodecahedron/icosahedron (Figure 1). self-dual {4,4} checkerboard tessellation and the {6,3}«{3,6} dual pair. The tetrahedron is self-dual, i.e., the dual of a tetrahedron is another tetrahedron. Also the concept of duality can be extended from standard polyhedra embedded in the surface There are only three integral solutions of equation of a sphere to polygonal networks embedded in surfaces of (1), which lead to the three regular tessellations of the non-zero genus. In this connection the author has studied plane {4,4}, {6,3}, and {3,6} depicted in Figure 2. The the Dyck and Klein tessellations of genus 3 surfaces with tessellation {6,3} is familiar in chemistry as the struc- octagons and heptagons, respectively.17,18,19,20,21 Such Pla- ture of graphite whereas the tessellation {4,4} corre- tonic tessellations and their duals are of interest in connec- sponds to the checkerboard. tion with possible structures of zeolite-like carbon and bo- Now consider the regular tessellations of the sphere ron nitride allotropes with negative curvature. that correspond to the regular polyhedra (Figure 1). The Now consider regular polytopes of higher dimension angle of a regular spherical polygon {p} is greater than (n ³ 3). In any dimension there are always the following (1–2/p)ð and gradually increases from this value to ð three regular polytopes: when the circumradius increases from 0 to ð/2.
Recommended publications
  • Geometry of Generalized Permutohedra
    Geometry of Generalized Permutohedra by Jeffrey Samuel Doker A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy in Mathematics in the Graduate Division of the University of California, Berkeley Committee in charge: Federico Ardila, Co-chair Lior Pachter, Co-chair Matthias Beck Bernd Sturmfels Lauren Williams Satish Rao Fall 2011 Geometry of Generalized Permutohedra Copyright 2011 by Jeffrey Samuel Doker 1 Abstract Geometry of Generalized Permutohedra by Jeffrey Samuel Doker Doctor of Philosophy in Mathematics University of California, Berkeley Federico Ardila and Lior Pachter, Co-chairs We study generalized permutohedra and some of the geometric properties they exhibit. We decompose matroid polytopes (and several related polytopes) into signed Minkowski sums of simplices and compute their volumes. We define the associahedron and multiplihe- dron in terms of trees and show them to be generalized permutohedra. We also generalize the multiplihedron to a broader class of generalized permutohedra, and describe their face lattices, vertices, and volumes. A family of interesting polynomials that we call composition polynomials arises from the study of multiplihedra, and we analyze several of their surprising properties. Finally, we look at generalized permutohedra of different root systems and study the Minkowski sums of faces of the crosspolytope. i To Joe and Sue ii Contents List of Figures iii 1 Introduction 1 2 Matroid polytopes and their volumes 3 2.1 Introduction . .3 2.2 Matroid polytopes are generalized permutohedra . .4 2.3 The volume of a matroid polytope . .8 2.4 Independent set polytopes . 11 2.5 Truncation flag matroids . 14 3 Geometry and generalizations of multiplihedra 18 3.1 Introduction .
    [Show full text]
  • Two Poset Polytopes
    Discrete Comput Geom 1:9-23 (1986) G eometrv)i.~.reh, ~ ( :*mllmlati~ml © l~fi $1~ter-Vtrlq New Yorklu¢. t¢ Two Poset Polytopes Richard P. Stanley* Department of Mathematics, Massachusetts Institute of Technology, Cambridge, MA 02139 Abstract. Two convex polytopes, called the order polytope d)(P) and chain polytope <~(P), are associated with a finite poset P. There is a close interplay between the combinatorial structure of P and the geometric structure of E~(P). For instance, the order polynomial fl(P, m) of P and Ehrhart poly- nomial i(~9(P),m) of O(P) are related by f~(P,m+l)=i(d)(P),m). A "transfer map" then allows us to transfer properties of O(P) to W(P). In particular, we transfer known inequalities involving linear extensions of P to some new inequalities. I. The Order Polytope Our aim is to investigate two convex polytopes associated with a finite partially ordered set (poset) P. The first of these, which we call the "order polytope" and denote by O(P), has been the subject of considerable scrutiny, both explicit and implicit, Much of what we say about the order polytope will be essentially a review of well-known results, albeit ones scattered throughout the literature, sometimes in a rather obscure form. The second polytope, called the "chain polytope" and denoted if(P), seems never to have been previously considered per se. It is a special case of the vertex-packing polytope of a graph (see Section 2) but has many special properties not in general valid or meaningful for graphs.
    [Show full text]
  • Final Poster
    Associating Finite Groups with Dessins d’Enfants Luis Baeza, Edwin Baeza, Conner Lawrence, and Chenkai Wang Abstract Platonic Solids Rotation Group Dn: Regular Convex Polygon Approach Each finite, connected planar graph has an automorphism group G;such Following Magot and Zvonkin, reduce to easier cases using “hypermaps” permutations can be extended to automorphisms of the Riemann sphere φ : P1(C) P1(C), then composing β = φ f where S 2(R) P1(C). In 1984, Alexander Grothendieck, inspired by a result of f : 1( ) ! 1( )isaBely˘ımapasafunctionofeither◦ zn or ' P C P C Gennadi˘ıBely˘ıfrom 1979, constructed a finite, connected planar graph 4 zn/(zn +1)! 2 such that Aut(f ) Z or Aut(f ) D ,respectively. ' n ' n ∆β via certain rational functions β(z)=p(z)/q(z)bylookingatthe inverse image of the interval from 0 to 1. The automorphisms of such a Hypermaps: Rotation Group Zn graph can be identified with the Galois group Aut(β)oftheassociated 1 1 rational function β : P (C) P (C). In this project, we investigate how Rigid Rotations of the Platonic Solids I Wheel/Pyramids (J1, J2) ! w 3 (w +8) restrictive Grothendieck’s concept of a Dessin d’Enfant is in generating all n 2 I φ(w)= 1 1 z +1 64 (w 1) automorphisms of planar graphs. We discuss the rigid rotations of the We have an action : PSL2(C) P (C) P (C). β(z)= : v = n + n, e =2 n, f =2 − n ◦ ⇥ 2 !n 2 4 zn · Platonic solids (the tetrahedron, cube, octahedron, icosahedron, and I Zn = r r =1 and Dn = r, s s = r =(sr) =1 are the rigid I Cupola (J3, J4, J5) dodecahedron), the Archimedean solids, the Catalan solids, and the rotations of the regular convex polygons,with 4w 4(w 2 20w +105)3 I φ(w)= − ⌦ ↵ ⌦ 1 ↵ Rotation Group A4: Tetrahedron 3 2 Johnson solids via explicit Bely˘ımaps.
    [Show full text]
  • Interaction of the Past of Parallel Universes
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by CERN Document Server Interaction of the Past of parallel universes Alexander K. Guts Department of Mathematics, Omsk State University 644077 Omsk-77 RUSSIA E-mail: [email protected] October 26, 1999 ABSTRACT We constructed a model of five-dimensional Lorentz manifold with foliation of codimension 1 the leaves of which are four-dimensional space-times. The Past of these space-times can interact in macroscopic scale by means of large quantum fluctuations. Hence, it is possible that our Human History consists of ”somebody else’s” (alien) events. In this article the possibility of interaction of the Past (or Future) in macroscopic scales of space and time of two different universes is analysed. Each universe is considered as four-dimensional space-time V 4, moreover they are imbedded in five- dimensional Lorentz manifold V 5, which shall below name Hyperspace. The space- time V 4 is absolute world of events. Consequently, from formal standpoints any point-event of this manifold V 4, regardless of that we refer it to Past, Present or Future of some observer, is equally available to operate with her.Inotherwords, modern theory of space-time, rising to Minkowsky, postulates absolute eternity of the World of events in the sense that all events exist always. Hence, it is possible interaction of Present with Past and Future as well as Past can interact with Future. Question is only in that as this is realized. The numerous articles about time machine show that our statement on the interaction of Present with Past is not fantasy, but is subject of the scientific study.
    [Show full text]
  • Systematic Narcissism
    Systematic Narcissism Wendy W. Fok University of Houston Systematic Narcissism is a hybridization through the notion of the plane- tary grid system and the symmetry of narcissism. The installation is based on the obsession of the physical reflection of the object/subject relation- ship, created by the idea of man-made versus planetary projected planes (grids) which humans have made onto the earth. ie: Pierre Charles L’Enfant plan 1791 of the golden section projected onto Washington DC. The fostered form is found based on a triacontahedron primitive and devel- oped according to the primitive angles. Every angle has an increment of 0.25m and is based on a system of derivatives. As indicated, the geometry of the world (or the globe) is based off the planetary grid system, which, according to Bethe Hagens and William S. Becker is a hexakis icosahedron grid system. The formal mathematical aspects of the installation are cre- ated by the offset of that geometric form. The base of the planetary grid and the narcissus reflection of the modular pieces intersect the geometry of the interfacing modular that structures the installation BACKGROUND: Poetics: Narcissism is a fixation with oneself. The Greek myth of Narcissus depicted a prince who sat by a reflective pond for days, self-absorbed by his own beauty. Mathematics: In 1978, Professors William Becker and Bethe Hagens extended the Russian model, inspired by Buckminster Fuller’s geodesic dome, into a grid based on the rhombic triacontahedron, the dual of the icosidodeca- heron Archimedean solid. The triacontahedron has 30 diamond-shaped faces, and possesses the combined vertices of the icosahedron and the dodecahedron.
    [Show full text]
  • On the Archimedean Or Semiregular Polyhedra
    ON THE ARCHIMEDEAN OR SEMIREGULAR POLYHEDRA Mark B. Villarino Depto. de Matem´atica, Universidad de Costa Rica, 2060 San Jos´e, Costa Rica May 11, 2005 Abstract We prove that there are thirteen Archimedean/semiregular polyhedra by using Euler’s polyhedral formula. Contents 1 Introduction 2 1.1 RegularPolyhedra .............................. 2 1.2 Archimedean/semiregular polyhedra . ..... 2 2 Proof techniques 3 2.1 Euclid’s proof for regular polyhedra . ..... 3 2.2 Euler’s polyhedral formula for regular polyhedra . ......... 4 2.3 ProofsofArchimedes’theorem. .. 4 3 Three lemmas 5 3.1 Lemma1.................................... 5 3.2 Lemma2.................................... 6 3.3 Lemma3.................................... 7 4 Topological Proof of Archimedes’ theorem 8 arXiv:math/0505488v1 [math.GT] 24 May 2005 4.1 Case1: fivefacesmeetatavertex: r=5. .. 8 4.1.1 At least one face is a triangle: p1 =3................ 8 4.1.2 All faces have at least four sides: p1 > 4 .............. 9 4.2 Case2: fourfacesmeetatavertex: r=4 . .. 10 4.2.1 At least one face is a triangle: p1 =3................ 10 4.2.2 All faces have at least four sides: p1 > 4 .............. 11 4.3 Case3: threefacesmeetatavertes: r=3 . ... 11 4.3.1 At least one face is a triangle: p1 =3................ 11 4.3.2 All faces have at least four sides and one exactly four sides: p1 =4 6 p2 6 p3. 12 4.3.3 All faces have at least five sides and one exactly five sides: p1 =5 6 p2 6 p3 13 1 5 Summary of our results 13 6 Final remarks 14 1 Introduction 1.1 Regular Polyhedra A polyhedron may be intuitively conceived as a “solid figure” bounded by plane faces and straight line edges so arranged that every edge joins exactly two (no more, no less) vertices and is a common side of two faces.
    [Show full text]
  • Molecular Symmetry
    Molecular Symmetry Symmetry helps us understand molecular structure, some chemical properties, and characteristics of physical properties (spectroscopy) – used with group theory to predict vibrational spectra for the identification of molecular shape, and as a tool for understanding electronic structure and bonding. Symmetrical : implies the species possesses a number of indistinguishable configurations. 1 Group Theory : mathematical treatment of symmetry. symmetry operation – an operation performed on an object which leaves it in a configuration that is indistinguishable from, and superimposable on, the original configuration. symmetry elements – the points, lines, or planes to which a symmetry operation is carried out. Element Operation Symbol Identity Identity E Symmetry plane Reflection in the plane σ Inversion center Inversion of a point x,y,z to -x,-y,-z i Proper axis Rotation by (360/n)° Cn 1. Rotation by (360/n)° Improper axis S 2. Reflection in plane perpendicular to rotation axis n Proper axes of rotation (C n) Rotation with respect to a line (axis of rotation). •Cn is a rotation of (360/n)°. •C2 = 180° rotation, C 3 = 120° rotation, C 4 = 90° rotation, C 5 = 72° rotation, C 6 = 60° rotation… •Each rotation brings you to an indistinguishable state from the original. However, rotation by 90° about the same axis does not give back the identical molecule. XeF 4 is square planar. Therefore H 2O does NOT possess It has four different C 2 axes. a C 4 symmetry axis. A C 4 axis out of the page is called the principle axis because it has the largest n . By convention, the principle axis is in the z-direction 2 3 Reflection through a planes of symmetry (mirror plane) If reflection of all parts of a molecule through a plane produced an indistinguishable configuration, the symmetry element is called a mirror plane or plane of symmetry .
    [Show full text]
  • Archimedean Solids
    University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln MAT Exam Expository Papers Math in the Middle Institute Partnership 7-2008 Archimedean Solids Anna Anderson University of Nebraska-Lincoln Follow this and additional works at: https://digitalcommons.unl.edu/mathmidexppap Part of the Science and Mathematics Education Commons Anderson, Anna, "Archimedean Solids" (2008). MAT Exam Expository Papers. 4. https://digitalcommons.unl.edu/mathmidexppap/4 This Article is brought to you for free and open access by the Math in the Middle Institute Partnership at DigitalCommons@University of Nebraska - Lincoln. It has been accepted for inclusion in MAT Exam Expository Papers by an authorized administrator of DigitalCommons@University of Nebraska - Lincoln. Archimedean Solids Anna Anderson In partial fulfillment of the requirements for the Master of Arts in Teaching with a Specialization in the Teaching of Middle Level Mathematics in the Department of Mathematics. Jim Lewis, Advisor July 2008 2 Archimedean Solids A polygon is a simple, closed, planar figure with sides formed by joining line segments, where each line segment intersects exactly two others. If all of the sides have the same length and all of the angles are congruent, the polygon is called regular. The sum of the angles of a regular polygon with n sides, where n is 3 or more, is 180° x (n – 2) degrees. If a regular polygon were connected with other regular polygons in three dimensional space, a polyhedron could be created. In geometry, a polyhedron is a three- dimensional solid which consists of a collection of polygons joined at their edges. The word polyhedron is derived from the Greek word poly (many) and the Indo-European term hedron (seat).
    [Show full text]
  • Platonic and Archimedean Geometries in Multicomponent Elastic Membranes
    Platonic and Archimedean geometries in multicomponent elastic membranes Graziano Vernizzia,1, Rastko Sknepneka, and Monica Olvera de la Cruza,b,c,2 aDepartment of Materials Science and Engineering, Northwestern University, Evanston, IL 60208; bDepartment of Chemical and Biological Engineering, Northwestern University, Evanston, IL 60208; and cDepartment of Chemistry, Northwestern University, Evanston, IL 60208 Edited by L. Mahadevan, Harvard University, Cambridge, MA, and accepted by the Editorial Board February 8, 2011 (received for review August 30, 2010) Large crystalline molecular shells, such as some viruses and fuller- possible to construct a lattice on the surface of a sphere such enes, buckle spontaneously into icosahedra. Meanwhile multi- that each site has only six neighbors. Consequently, any such crys- component microscopic shells buckle into various polyhedra, as talline lattice will contain defects. If one allows for fivefold observed in many organelles. Although elastic theory explains defects only then, according to the Euler theorem, the minimum one-component icosahedral faceting, the possibility of buckling number of defects is 12 fivefold disclinations. In the absence of into other polyhedra has not been explored. We show here that further defects (21), these 12 disclinations are positioned on the irregular and regular polyhedra, including some Archimedean and vertices of an inscribed icosahedron (22). Because of the presence Platonic polyhedra, arise spontaneously in elastic shells formed of disclinations, the ground state of the shell has a finite strain by more than one component. By formulating a generalized elastic that grows with the shell size. When γ > γà (γà ∼ 154) any flat model for inhomogeneous shells, we demonstrate that coas- fivefold disclination buckles into a conical shape (19).
    [Show full text]
  • ON a PROOF of the TREE CONJECTURE for TRIANGLE TILING BILLIARDS Olga Paris-Romaskevich
    ON A PROOF OF THE TREE CONJECTURE FOR TRIANGLE TILING BILLIARDS Olga Paris-Romaskevich To cite this version: Olga Paris-Romaskevich. ON A PROOF OF THE TREE CONJECTURE FOR TRIANGLE TILING BILLIARDS. 2019. hal-02169195v1 HAL Id: hal-02169195 https://hal.archives-ouvertes.fr/hal-02169195v1 Preprint submitted on 30 Jun 2019 (v1), last revised 8 Oct 2019 (v3) HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. ON A PROOF OF THE TREE CONJECTURE FOR TRIANGLE TILING BILLIARDS. OLGA PARIS-ROMASKEVICH To Manya and Katya, to the moments we shared around mathematics on one winter day in Moscow. Abstract. Tiling billiards model a movement of light in heterogeneous medium consisting of homogeneous cells in which the coefficient of refraction between two cells is equal to −1. The dynamics of such billiards depends strongly on the form of an underlying tiling. In this work we consider periodic tilings by triangles (and cyclic quadrilaterals), and define natural foliations associated to tiling billiards in these tilings. By studying these foliations we manage to prove the Tree Conjecture for triangle tiling billiards that was stated in the work by Baird-Smith, Davis, Fromm and Iyer, as well as its generalization that we call Density property.
    [Show full text]
  • The Cubic Groups
    The Cubic Groups Baccalaureate Thesis in Electrical Engineering Author: Supervisor: Sana Zunic Dr. Wolfgang Herfort 0627758 Vienna University of Technology May 13, 2010 Contents 1 Concepts from Algebra 4 1.1 Groups . 4 1.2 Subgroups . 4 1.3 Actions . 5 2 Concepts from Crystallography 6 2.1 Space Groups and their Classification . 6 2.2 Motions in R3 ............................. 8 2.3 Cubic Lattices . 9 2.4 Space Groups with a Cubic Lattice . 10 3 The Octahedral Symmetry Groups 11 3.1 The Elements of O and Oh ..................... 11 3.2 A Presentation of Oh ......................... 14 3.3 The Subgroups of Oh ......................... 14 2 Abstract After introducing basics from (mathematical) crystallography we turn to the description of the octahedral symmetry groups { the symmetry group(s) of a cube. Preface The intention of this account is to provide a description of the octahedral sym- metry groups { symmetry group(s) of the cube. We first give the basic idea (without proofs) of mathematical crystallography, namely that the 219 space groups correspond to the 7 crystal systems. After this we come to describing cubic lattices { such ones that are built from \cubic cells". Finally, among the cubic lattices, we discuss briefly the ones on which O and Oh act. After this we provide lists of the elements and the subgroups of Oh. A presentation of Oh in terms of generators and relations { using the Dynkin diagram B3 is also given. It is our hope that this account is accessible to both { the mathematician and the engineer. The picture on the title page reflects Ha¨uy'sidea of crystal structure [4].
    [Show full text]
  • Near-Death Experiences and the Theory of the Extraneuronal Hyperspace
    Near-Death Experiences and the Theory of the Extraneuronal Hyperspace Linz Audain, J.D., Ph.D., M.D. George Washington University The Mandate Corporation, Washington, DC ABSTRACT: It is possible and desirable to supplement the traditional neu rological and metaphysical explanatory models of the near-death experience (NDE) with yet a third type of explanatory model that links the neurological and the metaphysical. I set forth the rudiments of this model, the Theory of the Extraneuronal Hyperspace, with six propositions. I then use this theory to explain three of the pressing issues within NDE scholarship: the veridicality, precognition and "fear-death experience" phenomena. Many scholars who write about near-death experiences (NDEs) are of the opinion that explanatory models of the NDE can be classified into one of two types (Blackmore, 1993; Moody, 1975). One type of explana tory model is the metaphysical or supernatural one. In that model, the events that occur within the NDE, such as the presence of a tunnel, are real events that occur beyond the confines of time and space. In a sec ond type of explanatory model, the traditional model, the events that occur within the NDE are not at all real. Those events are merely the product of neurobiochemical activity that can be explained within the confines of current neurological and psychological theory, for example, as hallucination. In this article, I supplement this dichotomous view of explanatory models of the NDE by proposing yet a third type of explanatory model: the Theory of the Extraneuronal Hyperspace. This theory represents a Linz Audain, J.D., Ph.D., M.D., is a Resident in Internal Medicine at George Washington University, and Chief Executive Officer of The Mandate Corporation.
    [Show full text]