Soft Matter Accepted Manuscript
Total Page:16
File Type:pdf, Size:1020Kb

Load more
Recommended publications
-
Computability and Tiling Problems
Computability and Tiling Problems Mark Richard Carney University of Leeds School of Mathematics Submitted in accordance with the requirements for the degree of Doctor of Philosophy October 2019 Intellectual Property Statement The candidate confirms that the work submitted is his own and that appropriate credit has been given where reference has been made to the work of others. This copy has been supplied on the understanding that it is copy- right material and that no quotation from the thesis may be pub- lished without proper acknowledgement. The right of Mark Richard Carney to be identified as Author of this work has been asserted by him in accordance with the Copyright, Designs and Patents Act 1988. c October 2019 The University of Leeds and Mark Richard Carney. i Abstract In this thesis we will present and discuss various results pertaining to tiling problems and mathematical logic, specifically computability theory. We focus on Wang prototiles, as defined in [32]. We begin by studying Domino Problems, and do not restrict ourselves to the usual problems concerning finite sets of prototiles. We first consider two domino problems: whether a given set of prototiles S has total planar tilings, which we denote T ILE, or whether it has infinite connected but not necessarily total tilings, W T ILE (short for ‘weakly tile’). We show that both T ILE ≡m ILL ≡m W T ILE, and thereby both T ILE 1 and W T ILE are Σ1-complete. We also show that the opposite problems, :T ILE and SNT (short for ‘Strongly Not Tile’) are such that :T ILE ≡m W ELL ≡m 1 SNT and so both :T ILE and SNT are both Π1-complete. -
Convex Polytopes and Tilings with Few Flag Orbits
Convex Polytopes and Tilings with Few Flag Orbits by Nicholas Matteo B.A. in Mathematics, Miami University M.A. in Mathematics, Miami University A dissertation submitted to The Faculty of the College of Science of Northeastern University in partial fulfillment of the requirements for the degree of Doctor of Philosophy April 14, 2015 Dissertation directed by Egon Schulte Professor of Mathematics Abstract of Dissertation The amount of symmetry possessed by a convex polytope, or a tiling by convex polytopes, is reflected by the number of orbits of its flags under the action of the Euclidean isometries preserving the polytope. The convex polytopes with only one flag orbit have been classified since the work of Schläfli in the 19th century. In this dissertation, convex polytopes with up to three flag orbits are classified. Two-orbit convex polytopes exist only in two or three dimensions, and the only ones whose combinatorial automorphism group is also two-orbit are the cuboctahedron, the icosidodecahedron, the rhombic dodecahedron, and the rhombic triacontahedron. Two-orbit face-to-face tilings by convex polytopes exist on E1, E2, and E3; the only ones which are also combinatorially two-orbit are the trihexagonal plane tiling, the rhombille plane tiling, the tetrahedral-octahedral honeycomb, and the rhombic dodecahedral honeycomb. Moreover, any combinatorially two-orbit convex polytope or tiling is isomorphic to one on the above list. Three-orbit convex polytopes exist in two through eight dimensions. There are infinitely many in three dimensions, including prisms over regular polygons, truncated Platonic solids, and their dual bipyramids and Kleetopes. There are infinitely many in four dimensions, comprising the rectified regular 4-polytopes, the p; p-duoprisms, the bitruncated 4-simplex, the bitruncated 24-cell, and their duals. -
Tiling with Penalties and Isoperimetry with Density
Rose-Hulman Undergraduate Mathematics Journal Volume 13 Issue 1 Article 6 Tiling with Penalties and Isoperimetry with Density Yifei Li Berea College, [email protected] Michael Mara Williams College, [email protected] Isamar Rosa Plata University of Puerto Rico, [email protected] Elena Wikner Williams College, [email protected] Follow this and additional works at: https://scholar.rose-hulman.edu/rhumj Recommended Citation Li, Yifei; Mara, Michael; Plata, Isamar Rosa; and Wikner, Elena (2012) "Tiling with Penalties and Isoperimetry with Density," Rose-Hulman Undergraduate Mathematics Journal: Vol. 13 : Iss. 1 , Article 6. Available at: https://scholar.rose-hulman.edu/rhumj/vol13/iss1/6 Rose- Hulman Undergraduate Mathematics Journal Tiling with Penalties and Isoperimetry with Density Yifei Lia Michael Marab Isamar Rosa Platac Elena Wiknerd Volume 13, No. 1, Spring 2012 aDepartment of Mathematics and Computer Science, Berea College, Berea, KY 40404 [email protected] bDepartment of Mathematics and Statistics, Williams College, Williamstown, MA 01267 [email protected] cDepartment of Mathematical Sciences, University of Puerto Rico at Sponsored by Mayagez, Mayagez, PR 00680 [email protected] dDepartment of Mathematics and Statistics, Williams College, Rose-Hulman Institute of Technology Williamstown, MA 01267 [email protected] Department of Mathematics Terre Haute, IN 47803 Email: [email protected] http://www.rose-hulman.edu/mathjournal Rose-Hulman Undergraduate Mathematics Journal Volume 13, No. 1, Spring 2012 Tiling with Penalties and Isoperimetry with Density Yifei Li Michael Mara Isamar Rosa Plata Elena Wikner Abstract. We prove optimality of tilings of the flat torus by regular hexagons, squares, and equilateral triangles when minimizing weighted combinations of perime- ter and number of vertices. -
Troisième Cycle De La Physique Mathematical
TROISIÈME CYCLE DE LA PHYSIQUE EN SUISSE ROMANDE MATHEMATICAL DIFFRACTION THEORY IN EUCLIDIAN SPACES Michael BAAKE Fakultät für Mathematik, Universität Bielefeld D – 33501 Bielefeld Hôte du Laboratoire de Cristallographie EPFL Lausanne SEMESTRE D’HIVER 2004-2005 TROISIÈME CYCLE DE LA PHYSIQUE EN SUISSE ROMANDE UNIVERSITÉS DE FRIBOURG - GENÈVE - NEUCHÂTEL & ÉCOLE POLYTECHNIQUE FÉDÉRALE DE LAUSANNE ************** Archives - Polycopiés EPFL Cubotron 1015 Lausanne http://cristallo.epfl.ch/3cycle/courses/Baake-2004.pdf MATHEMATICAL DIFFRACTION THEORY IN EUCLIDEAN SPACES: AN INTRODUCTORY SURVEY MICHAEL BAAKE Abstract. Mathematical diffraction theory is concerned with the Fourier transform of the autocorrelation of translation bounded complex measures. While the latter are meant to encapsulate the relevant order of various forms of matter, the corresponding diffraction measures describe the outcome of kinematic diffraction experiments, as obtained from X-ray or neutron scattering in the far field (or Fraunhofer) picture. In this introductory article, the mathematical approach to diffraction is summarized, with special emphasis on simple derivations of results. Apart from (fully) periodic order, also aperiodic order is discussed, both in terms of model sets (perfect order) and various stochastic extensions (lattice gases and random tilings). Keywords: Diffraction Theory, Lattice Systems, Quasicrystals, Disorder Introduction The diffraction theory of crystals is a subject with a long history, and one can safely say that it is well understood [31, 21]. Even though the advent of quasicrystals, with their sharp diffraction images with perfect non-crystallographic symmetry, seemed to question the general understanding, the diffraction theory of perfect quasicrystals, in terms of the cut and project method, is also rather well understood by now, see [36, 37] and references therein. -
Pavages Aléatoires Alexandra Ugolnikova
Pavages Aléatoires Alexandra Ugolnikova To cite this version: Alexandra Ugolnikova. Pavages Aléatoires. Modélisation et simulation. Université Sorbonne Paris Cité, 2016. Français. NNT : 2016USPCD034. tel-01889871 HAL Id: tel-01889871 https://tel.archives-ouvertes.fr/tel-01889871 Submitted on 8 Oct 2018 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. UNIVERSIT E´ PARIS NORD (PARIS 13) Laboratoire d’Informatique de Paris Nord Th`ese pour obtenir le titre de Docteur de l’Universit´eParis Nord (Paris 13) Sp´ecialit´eInformatique PAVAGES ALEATOIRES´ pr´esent´ee et soutenue publiquement par Alexandra UGOLNIKOVA le 2`eme d´ecembre 2016 devant le jury compros´ede: Directeur de th`ese : Thomas FERNIQUE Rapporteurs: B´eatrice DE TILI ERE` Eric´ R EMILA´ Examinateurs: Fr´ed´erique BASSINO Olivier BODINI Ana BU SIˇ C´ Pavel KALOUGUINE Abstract In this thesis we study two types of tilings: tilings by a pair of squares and tilings on the tri-hexagonal (Kagome) lattice. We consider different combinatorial and probabilistic problems. First, we study the case of 1 1 and 2 2 squares on infinite stripes of × × height k and get combinatorial results on proportions of 1 1 squares for k 10 in × ≤ plain and cylindrical cases. -
Software to Produce Fractal Tilings of the Plane
Software to Produce Fractal Tilings of the Plane Michael Arthur Mampusti February 28, 2014 In this project, we aimed to produce a program capable of creating fractal tilings of the plane. We did this through the programming package Mathematica. In this report we will discuss what tilings of the plane are, some fractal geometry and finally go through step by step how we went about creating fractal tilings of the plane. 1 Tilings of the Plane A tiling of the plane, intuitively speaking, is much like a tiling by squares of a bathroom floor. If you think of the floor as R2, then the square tiles which cover it is a tiling of the plane. We make this definition more concrete. Figure 1: Tiling of the bathroom floor Definition 1. A prototile p is a labeled compact subset of R2 containing the origin. Prototiles are the building blocks of tilings of the plane. A prototile consists of a compact subset of the plane and a label. At this point, it is useful to define some notation. Given a prototile p, we denote the translation of p be a vector x 2 R2 by p + x. Furthermore, given some θ 2 R, we denote the anticlockwise rotation of p about the origin by θ, Rθp. Definition 2. Let P be a set of prototiles. A tiling of the plane is a set of compact subsets T := fti : i 2 Ng, where each ti is a rigid motion of a prototile in P. That is, 2 2 for each ti, there exists p 2 P, θ 2 R and x 2 R such that ti = Rθp + x. -
3 TILINGS Edmund Harriss, Doris Schattschneider, and Marjorie Senechal
3 TILINGS Edmund Harriss, Doris Schattschneider, and Marjorie Senechal INTRODUCTION Tilings of surfaces and packings of space have interested artisans and manufactur- ers throughout history; they are a means of artistic expression and lend economy and strength to modular constructions. Today scientists and mathematicians study tilings because they pose interesting mathematical questions and provide mathe- matical models for such diverse fields as the molecular anatomy of crystals, cell packings of viruses, n-dimensional algebraic codes, “nearest neighbor” regions for a set of discrete points, meshes for computational geometry, CW-complexes in topol- ogy, the self-assembly of nano-structures, and the study of aperiodic order. The world of tilings is too vast to discuss in a chapter, or even in a gargantuan book. Even such basic questions as: What bodies can tile space? In what ways do they tile? are intractable unless the tiles and tilings are subject to constraints, and even then the subject is unmanageably large. In this chapter, due to space limitations, we restrict ourselves, for the most part, to tilings of unbounded spaces. Be aware that this is a severe restriction. Tilings of the sphere and torus, for example, are also subtle and important. In Section 3.1 we present some general results that are fundamental to the sub- ject as a whole. Section 3.2 addresses tilings with congruent tiles. In Section 3.3 we discuss the classical subject of periodic tilings, which continues to be an active field of research. Section 3.4 concerns nonperiodic and aperiodic tilings. We conclude with a very brief description of some kinds of tilings not considered here. -
Artisan Procedures to Generate Uniform Tilings
International Mathematical Forum, Vol. 9, 2014, no. 23, 1109 - 1130 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/imf.2014.45103 Artisan Procedures to Generate Uniform Tilings Miguel Carlos Fernández-Cabo Departamento de Tecnología y Construcciones Arquitectónicas ETS de Arquitectura, Universidad Politécnica de Madrid C/ GeneralYagüe, 30, 2o B, 28020 Madrid, Spain Copyright © 2014 Miguel Carlos Fernández-Cabo. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Abstract This paper try to prove how artisans could discover all uniform tilings and very interesting others using artisanal combinatorial procedures without having to use mathematical procedures out of their reach. Plane Geometry started up his way through History by means of fundamental drawing tools: ruler and compass. Artisans used same tools to carry out their ornamental patterns but at some point they began to work manually using physical representations of figures or tiles previously drawing by means of ruler and compass. That is an important step for craftsman because this way provides tools that let him come in the world of symmetry operations and empirical knowledge of symmetry groups. Artisans started up to produce little wooden, ceramic or clay tiles and began to experiment with them by means of joining pieces whether edge to edge or vertex to vertex in that way so it can cover the plane without gaps. Economy in making floor or ceramic tiles could be most important reason to develop these procedures. This empiric way to develop tilings led not only to discover all uniform tilings but later discovering of aperiodic tilings. -
Artisan Procedures to Generate Uniform Tilings
International Mathematical Forum, Vol. 9, 2014, no. 23, 1109 - 1130 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/imf.2014.45103 Artisan Procedures to Generate Uniform Tilings Miguel Carlos Fernández-Cabo Departamento de Tecnología y Construcciones Arquitectónicas ETS de Arquitectura, Universidad Politécnica de Madrid C/ GeneralYagüe, 30, 2o B, 28020 Madrid, Spain Copyright © 2014 Miguel Carlos Fernández-Cabo. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Abstract This paper try to prove how artisans could discover all uniform tilings and very interesting others using artisanal combinatorial procedures without having to use mathematical procedures out of their reach. Plane Geometry started up his way through History by means of fundamental drawing tools: ruler and compass. Artisans used same tools to carry out their ornamental patterns but at some point they began to work manually using physical representations of figures or tiles previously drawing by means of ruler and compass. That is an important step for craftsman because this way provides tools that let him come in the world of symmetry operations and empirical knowledge of symmetry groups. Artisans started up to produce little wooden, ceramic or clay tiles and began to experiment with them by means of joining pieces whether edge to edge or vertex to vertex in that way so it can cover the plane without gaps. Economy in making floor or ceramic tiles could be most important reason to develop these procedures. This empiric way to develop tilings led not only to discover all uniform tilings but later discovering of aperiodic tilings. -
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. -
Introduction to Hierarchical Tiling Dynamical Systems
Chapter 1 Introduction to hierarchical tiling dynamical systems Natalie Priebe Frank∗ Abstract This paper is about the tiling dynamical systems approach to the study of aperiodic order. We compare and contrast four related types of systems: ordinary (one-dimensional) symbolic systems, one-dimensional tiling systems, multidimensional Zd-systems, and multidimensional tiling systems. Aperiodically ordered structures are often hierarchical in nature, and there are a number of different yet related ways to define them. We will focus on what we are calling \supertile construction methods": symbolic substitution in one and many dimensions, S-adic sequences, self-similar and pseudo-self- similar tilings, and fusion rules. The techniques of dynamical analysis of these systems are discussed and a number of results are surveyed. We conclude with a discussion of the spectral theory of supertile systems from both the dynamical and diffraction perspectives. 1.1 Introduction The central objects in these lecture notes are tilings constructed via a variety of methods that together we call supertile methods. These tilings display hierarchical structure that is highly ordered yet not periodic. Their study is truly multidisciplinary, having originated in fields as disparate as logic, chemistry and geometry. To motivate the topic we offer three examples from the history of the field that are relevant to these lectures. Natalie Priebe Frank, Professor of Mathematics Department of Mathematics and Statistics, Vassar College, e-mail: nafrank@ vassar.edu ∗ The author would like to thank Michael Baake, Franz G¨ahler,E. A. Robinson, Jr., Dan Rust, Lorenzo Sadun, and Boris Solomyak for their comments on drafts of this work. -
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.