Voronoi Diagrams--A Survey of a Fundamental Geometric Data Structure

Total Page:16

File Type:pdf, Size:1020Kb

Voronoi Diagrams--A Survey of a Fundamental Geometric Data Structure Voronoi Diagrams — A Survey of a Fundamental Geometric Data Structure FRANZ AURENHAMMER Institute fur Informationsverarbeitung Technische Universitat Graz, Sch iet!stattgasse 4a, Austria This paper presents a survey of the Voronoi diagram, one of the most fundamental data structures in computational geometry. It demonstrates the importance and usefulness of the Voronoi diagram in a wide variety of fields inside and outside computer science and surveys the history of its development. The paper puts particular emphasis on the unified exposition of its mathematical and algorithmic properties. Finally, the paper provides the first comprehensive bibliography on Voronoi diagrams and related structures. Categories and Subject Descriptors: F.2.2 [Analysis of Algorithms and Problem Complexity]: Nonnumerical Algorithms and Problems–geometrical problems and computations; G. 2.1 [Discrete Mathematics]: Combinatorics— combinatorial algorithms; I. 3.5 [Computer Graphics]: Computational Geometry and Object Modeling—geometric algorithms, languages, and systems General Terms: Algorithms, Theory Additional Key Words and Phrases: Cell complex, clustering, combinatorial complexity, convex hull, crystal structure, divide-and-conquer, geometric data structure, growth model, higher dimensional embedding, hyperplane arrangement, k-set, motion planning, neighbor searching, object modeling, plane-sweep, proximity, randomized insertion, spanning tree, triangulation INTRODUCTION [19841 and to the textbooks by Preparata and Shames [1985] and Edelsbrunner Computational geometry is concerned [1987bl.) with the design and analysis of algo- Readers familiar with the literature of rithms for geometrical problems. In add- computational geometry will have no- ition, other more practically oriented, ticed, especially in the last few years, an areas of computer science— such as com- increasing interest in a geometrical con- puter graphics, computer-aided design, struct called the Voronoi diagram. This robotics, pattern recognition, and opera- trend can also be observed in combinato- tions research—give rise to problems that rial geometry and in a considerable num- inherently are geometrical. This is one ber of articles in natural science journals reason computational geometry has at- that address the Voronoi diagram under tracted enormous research interest in the different names specific to the respective past decade and is a well-established area area. Given some number of points in the today. (For standard sources, we refer to plane, their Voronoi diagram divides the the survey article by Lee and Preparata plane according to the nearest-neighbor Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the ACM copyright notice and the title of the publication and its date appear, and notice is given that copying is by permission of the Association for Computing Machinery. To copy otherwise, or to republish, requires a fee and/or specific permission. @ 1991 ACM 0360-0300/91/0900-0345 $01.50 ACM Computing Surveys, Vol. 23, No. 3, September 1991 346 ● Franz A urenhammer CONTENTS developed for the computer construction and representation of Voronoi diagrams. The intention of this survey is three- fold: First, motivated by the fact that INTRODUCTION Voronoi diagrams have been (reinvented 1. HISTORICAL PERSPECTIVE and studied fairly independently in the 11 The Natural Scientist’s Viewpoint applied natural sciences, in mathemat - 1,2 The Mathematician’s Viewpoint 13 The Computer Scientist’s Viewpoint its, and in computer science, it presents 2. ALGORITHMIC APPLICATIONS sketches of their historical development 2 1 Closest-Site Problems in these three areas. Second, it surveys 2,2 Placement and Motion Planning the literature on Voronoi diagrams and 23 Triangulating Sites related structures, with particular em- 2,4 Connectivity Graphs for Sites 2,5 Clustering Point Sites phasis on the unified exposition of their 3, SELECTED TOPICS mathematical and computational proper- 3.1 The Geometry of Voronol Diagrams, Them ties and their applications in computer Relatlon to Higher Dimensional ObJects. science. Finally, it provides the first 3.2 The Topology of Planar Diagrams: Divide-and-Conquer ConstructIon comprehensive bibliography on Voronoi and its Variants. diagrams. 33 A Deformation of the Voronoi Diagram: The Plane-Sweep Technique Basic Properties of the Voronoi Diagram REFERENCES We begin with a description of elemen- tary, though important, properties of the rule: Each point is associated with Voronoi diagram that will suggest some the region o~ the plane closest to it; feeling for this structure. We also intro- (Figure 1). duce notation used throughout this pa- Why do Voronoi diagrams receive so per. See also Preparata and Shames much attention? What is special about [1985] or Edelsbrunner [1987] for sources this easily defined and visualized con- on this material. struct? It seems three main reasons are We first give a usual generic definition responsible. First, Voronoi diagrams of the Voronoi diagram. Let S denote a arise in nature in various situations. In- set of n points (called sites) in the plane. deed, several natural processes can be For two distinct sites p, q e S, the domi- used to define particular classes of nance of p over q is defined as the sub- Voronoi diagrams. Human intuition is set of the plane being at least as close to often guided by visual perception. If one p as to q. Formally, sees an underlying structure, the whole situation may be understood at a higher dom(p, q) = {x~l?zl~(x,p) <b(x, q)}, level. Second, Voronoi diagrams have in- teresting and surprising mathematical for 6 denoting the euclidean distance properties; for instance, they are related function. Clearly, dom( p, q) is a closed to many well-known geometrical struc- half plane bounded by the perpendicuhm tures. Thifi has led several authors to bisector of’ p and q. This bisector sepa- believe that the Voronoi diagram is one rates all points of the plane closer to p of the most fundamental constructs de- from those closer to q and will be termed fined by a discrete set of points. Finally, the separator of p and q. The region of a Voronoi diagrams have proved to be a site p e S is the portion of the plane ly- powerful tool in solving seemingly un- ing in all of the dominances of p over the related computational problems and remaining sites in S. Formally therefore have increasingly attracted the attention of computer scientists in the last few years. Efficient and reg(p) = ,e~~{P1 dom(p, q). reasonably simple techniques have been ACM Computmg Surveys, Vol. 23, No. 3, September 1991 Voronoi Diagrams ● 347 should be observed that each vertex is the center of a circle that passes through at least three sites but encloses no site. Although n sites give rise to ();= 0( n2) separators, only linearly many separators contribute an edge to V(S). This can be seen by viewing a Voronoi diagram as a planar graph with n re- gions and minimum vertex degree 3. Each of the e edges has two vertices, and each of the u vertices belongs to at least three edges. Hence, 2 e >3 U. Euler’s re- lation n + v – e ? 2 now implies e < 3n – 6 and u s 2 n – 4, Thus, for example, Figure 1. Voronoi diagram for eight sites in the the average number of edges of a region plane. does not achieve six; there are less than 3 n edges, and each of them belongs to exactly two of the n regions. Since the regions are coming from in- The linear behavior of the size of the tersecting n – 1 half planes, they are Voronoi diagram in the plane means that, convex polygons. Thus the boundary of a roughly speaking, this structure is not region consists of at most n – 1 edges much more complex than the underlying (maximal open straight-line segments) configuration of sites. This is one of the and vertices (their endpoints). Each point main reasons for the frequent use of on an edge is equidistant from exactly Voronoi diagrams. A second reason is two sites, and each vertex is equidistant that V(S) comprises the entire proximity from at least three. As a consequence, information about S in an explicit and the regions are edge to edge and vertex computationally useful manner. For ex- to vertex, that is to say, they form a ample, its applicability to the important polygonal partition of the plane. This post-office problem (see below) is based partition is called the Voronoi diagram, on the trivial observation that a point x V(S), of the finite point-set S (Figure 1). falls into the region of a site p if and Note that a region, say reg( p), cannot only if p is closest to x among all sites in be empty since it contains all points of S. Moreover, if site p is closest to site q, the plane at least as close to p as to any then reg( p) and reg( q) share a common other sites in S. In particular, p e reg( p). edge. This particularly implies that the It follows that V(S) contains exactly n closest pair of sites in S gives rise to regions. Some of them are necessarily some edge of V(S). unbounded. They are defined by sites ly. ing on the boundary of the convex hull of Applications in Computer Science S because just for those sites there exist To substantiate the usefulness of the points arbitrarily far away but still clos- Voronoi diagram in computer science, we est.1 No vertices occur if and only if all briefly describe four situations where this sites in S lie on a single straight line. structure is used. The practicality y and Such degenerate configurations also im- diversity of these applications will ply the existence of regions with only one impart the appeal of Voronoi diagrams.
Recommended publications
  • Medial Axis Transform Using Ridge Following
    Missouri University of Science and Technology Scholars' Mine Computer Science Technical Reports Computer Science 01 Aug 1987 Medial Axis Transform using Ridge Following Richard Mark Volkmann Daniel C. St. Clair Missouri University of Science and Technology Follow this and additional works at: https://scholarsmine.mst.edu/comsci_techreports Part of the Computer Sciences Commons Recommended Citation Volkmann, Richard Mark and St. Clair, Daniel C., "Medial Axis Transform using Ridge Following" (1987). Computer Science Technical Reports. 80. https://scholarsmine.mst.edu/comsci_techreports/80 This Technical Report is brought to you for free and open access by Scholars' Mine. It has been accepted for inclusion in Computer Science Technical Reports by an authorized administrator of Scholars' Mine. This work is protected by U. S. Copyright Law. Unauthorized use including reproduction for redistribution requires the permission of the copyright holder. For more information, please contact [email protected]. MEDIAL AXIS TRANSFORM USING RIDGE FOLLOWING R. M. Volkmann* and D. C. St. Clair CSc 87-17 *This report is substantially the M.S. thesis of the first author, completed, August 1987 Page iii ABSTRACT The intent of this investigation has been to find a robust algorithm for generation of the medial axis transform (MAT). The MAT is an invertible, object centered, shape representation defined as the collection of the centers of disks contained in the shape but not in any other such disk. Its uses include feature extraction, shape smoothing, and data compression. MAT generating algorithms include brushfire, Voronoi diagrams, and ridge following. An improved implementation of the ridge following algorithm is given. Orders of the MAT generating algorithms are compared.
    [Show full text]
  • Computing 2D Periodic Centroidal Voronoi Tessellation Dong-Ming Yan, Kai Wang, Bruno Lévy, Laurent Alonso
    Computing 2D Periodic Centroidal Voronoi Tessellation Dong-Ming Yan, Kai Wang, Bruno Lévy, Laurent Alonso To cite this version: Dong-Ming Yan, Kai Wang, Bruno Lévy, Laurent Alonso. Computing 2D Periodic Centroidal Voronoi Tessellation. 8th International Symposium on Voronoi Diagrams in Science and Engineering - ISVD2011, Jun 2011, Qingdao, China. 10.1109/ISVD.2011.31. inria-00605927 HAL Id: inria-00605927 https://hal.inria.fr/inria-00605927 Submitted on 5 Jul 2011 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. Computing 2D Periodic Centroidal Voronoi Tessellation Dong-Ming Yan Kai Wang Bruno Levy´ Laurent Alonso Project ALICE, INRIA Project ALICE, INRIA Project ALICE, INRIA Project ALICE, INRIA Nancy, France / Gipsa-lab, CNRS Nancy, France Nancy, France [email protected] Grenoble, France [email protected] [email protected] [email protected] Abstract—In this paper, we propose an efficient algorithm to compute the centroidal Voronoi tessellation in 2D periodic space. We first present a simple algorithm for constructing the periodic Voronoi diagram (PVD) from a Euclidean Voronoi diagram. The presented PVD algorithm considers only a small set of periodic copies of the input sites, which is more efficient than previous approaches requiring full copies of the sites (9 in 2D and 27 in 3D).
    [Show full text]
  • Quadratic Serendipity Finite Elements on Polygons Using Generalized Barycentric Coordinates
    MATHEMATICS OF COMPUTATION Volume 83, Number 290, November 2014, Pages 2691–2716 S 0025-5718(2014)02807-X Article electronically published on February 20, 2014 QUADRATIC SERENDIPITY FINITE ELEMENTS ON POLYGONS USING GENERALIZED BARYCENTRIC COORDINATES ALEXANDER RAND, ANDREW GILLETTE, AND CHANDRAJIT BAJAJ Abstract. We introduce a finite element construction for use on the class of convex, planar polygons and show that it obtains a quadratic error convergence estimate. On a convex n-gon, our construction produces 2n basis functions, associated in a Lagrange-like fashion to each vertex and each edge midpoint, by transforming and combining a set of n(n +1)/2 basis functions known to obtain quadratic convergence. This technique broadens the scope of the so-called ‘serendipity’ elements, previously studied only for quadrilateral and regular hexahedral meshes, by employing the theory of generalized barycentric coordinates. Uniform apriorierror estimates are established over the class of convex quadrilaterals with bounded aspect ratio as well as over the class of convex planar polygons satisfying additional shape regularity conditions to exclude large interior angles and short edges. Numerical evidence is provided on a trapezoidal quadrilateral mesh, previously not amenable to serendipity constructions, and applications to adaptive meshing are discussed. 1. Introduction Barycentric coordinates provide a basis for linear finite elements on simplices, and generalized barycentric coordinates naturally produce a suitable basis for linear finite elements on general polygons. Various applications make use of this tech- nique [15, 16, 25, 26, 28, 30, 32–34, 37], but in each case, only linear error estimates can be asserted. A quadratic finite element can easily be constructed by taking pairwise products of the basis functions from the linear element, yet this approach has not been pursued, primarily since the requisite number of basis functions grows quadratically in the number of vertices of the polygon.
    [Show full text]
  • A Tourist Guide to the RCSR
    A tourist guide to the RCSR Some of the sights, curiosities, and little-visited by-ways Michael O'Keeffe, Arizona State University RCSR is a Reticular Chemistry Structure Resource available at http://rcsr.net. It is open every day of the year, 24 hours a day, and admission is free. It consists of data for polyhedra and 2-periodic and 3-periodic structures (nets). Visitors unfamiliar with the resource are urged to read the "about" link first. This guide assumes you have. The guide is designed to draw attention to some of the attractions therein. If they sound particularly attractive please visit them. It can be a nice way to spend a rainy Sunday afternoon. OKH refers to M. O'Keeffe & B. G. Hyde. Crystal Structures I: Patterns and Symmetry. Mineral. Soc. Am. 1966. This is out of print but due as a Dover reprint 2019. POLYHEDRA Read the "about" for hints on how to use the polyhedron data to make accurate drawings of polyhedra using crystal drawing programs such as CrystalMaker (see "links" for that program). Note that they are Cartesian coordinates for (roughly) equal edge. To make the drawing with unit edge set the unit cell edges to all 10 and divide the coordinates given by 10. There seems to be no generally-agreed best embedding for complex polyhedra. It is generally not possible to have equal edge, vertices on a sphere and planar faces. Keywords used in the search include: Simple. Each vertex is trivalent (three edges meet at each vertex) Simplicial. Each face is a triangle.
    [Show full text]
  • Report No. 17/2005
    Mathematisches Forschungsinstitut Oberwolfach Report No. 17/2005 Discrete Geometry Organised by Martin Henk (Magdeburg) Jiˇr´ıMatouˇsek (Prague) Emo Welzl (Z¨urich) April 10th – April 16th, 2005 Abstract. The workshop on Discrete Geometry was attended by 53 par- ticipants, many of them young researchers. In 13 survey talks an overview of recent developments in Discrete Geometry was given. These talks were supplemented by 16 shorter talks in the afternoon, an open problem session and two special sessions. Mathematics Subject Classification (2000): 52Cxx. Introduction by the Organisers The Discrete Geometry workshop was attended by 53 participants from a wide range of geographic regions, many of them young researchers (some supported by a grant from the European Union). The morning sessions consisted of survey talks providing an overview of recent developments in Discrete Geometry: Extremal problems concerning convex lattice polygons. (Imre B´ar´any) • Universally optimal configurations of points on spheres. (Henry Cohn) • Polytopes, Lie algebras, computing. (Jes´us A. De Loera) • On incidences in Euclidean spaces. (Gy¨orgy Elekes) • Few-distance sets in d-dimensional normed spaces. (Zolt´an F¨uredi) • On norm maximization in geometric clustering. (Peter Gritzmann) • Abstract regular polytopes: recent developments. (Peter McMullen) • Counting crossing-free configurations in the plane. (Micha Sharir) • Geometry in additive combinatorics. (J´ozsef Solymosi) • Rigid components: geometric problems, combinatorial solutions. (Ileana • Streinu) Forbidden patterns. (J´anos Pach) • 926 Oberwolfach Report 17/2005 Projected polytopes, Gale diagrams, and polyhedral surfaces. (G¨unter M. • Ziegler) What is known about unit cubes? (Chuanming Zong) • There were 16 shorter talks in the afternoon, an open problem session chaired by Jes´us De Loera, and two special sessions: on geometric transversal theory (organized by Eli Goodman) and on a new release of the geometric software Cin- derella (J¨urgen Richter-Gebert).
    [Show full text]
  • Are Voronoi Tessellations Whose Generators Coincide with the Mass Centroids of the Respective Voronoi Regions
    INTERNATIONAL JOURNAL OF c 2012 Institute for Scientific NUMERICAL ANALYSIS AND MODELING Computing and Information Volume 9, Number 4, Pages 950{969 PERIODIC CENTROIDAL VORONOI TESSELLATIONS JINGYAN ZHANG, MARIA EMELIANENKO, AND QIANG DU (Communicated by Steve L. Hou) Abstract. Centroidal Voronoi tessellations (CVTs) are Voronoi tessellations whose generators coincide with the mass centroids of the respective Voronoi regions. CVTs have become useful tools in many application domains of arts, sciences and engineering. In this work, for the first time the concept of the periodic centroidal Voronoi tessellations (PCVTs) - CVTs that exhibit certain periodicity properties in the Euclidean space - is introduced and given a rigorous treatment. We discuss the basic mathematical structures of the PCVTs and show how they are related to the so- called CVT clustering energy. We demonstrate by means of a concrete example that the clustering energy can lose smoothness at degenerate points which disproves earlier conjectures about the CVT energy being globally C2-smooth. We discuss a number of algorithms for the computation of PCVTs, including modifications of the celebrated Lloyd algorithm and a recently developed algorithm based on the shrinking dimer dynamics for saddle point search. As an application, we present a catalog of numerically computed PCVT patterns for the two dimensional case with a constant density and a square unit cell. Examples are given to demonstrate that our algorithms are capable of effectively probing the energy surface and produce improved patterns that may be used for optimal materials design. The numerical results also illustrate the intrinsic complexity associated with the CVT energy landscape and the rich geometry and symmetry represented by the underlying PCVTs.
    [Show full text]
  • CAD Tools for Creating Space-Filling 3D Escher Tiles
    CAD Tools for Creating Space-filling 3D Escher Tiles Mark Howison Electrical Engineering and Computer Sciences University of California at Berkeley Technical Report No. UCB/EECS-2009-56 http://www.eecs.berkeley.edu/Pubs/TechRpts/2009/EECS-2009-56.html May 1, 2009 Copyright 2009, by the author(s). All rights reserved. Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission. CAD Tools for Creating Space-filling 3D Escher Tiles by Mark Howison Research Project Submitted to the Department of Electrical Engineering and Computer Sciences, University of California at Berkeley, in partial satisfaction of the requirements for the degree of Master of Science, Plan II. Approval for the Report and Comprehensive Examination: Committee: Professor Carlo H. Sequin´ Research Advisor (Date) ******* Professor Jonathan R. Shewchuk Second Reader (Date) CAD Tools for Creating Space-filling 3D Escher Tiles Mark Howison Computer Science Division University of California, Berkeley [email protected] May 1, 2009 Abstract We discuss the design and implementation of CAD tools for creating dec- orative solids that tile 3-space in a regular, isohedral manner. Isohedral tilings of the plane, as popularized by M. C. Escher, can be constructed by hand or using existing tools on the web. Specialized CAD tools have also been devel- oped for tiling other 2-manifolds.
    [Show full text]
  • Stability of Statics Aware Voronoi Grid-Shells Engineering Structures
    Engineering Structures 116 (2016) 70–82 Contents lists available at ScienceDirect Engineering Structures journal homepage: www.elsevier.com/locate/engstruct Stability of Statics Aware Voronoi Grid-Shells ⇑ D. Tonelli a, , N. Pietroni b, E. Puppo c, M. Froli a, P. Cignoni b, G. Amendola d, R. Scopigno b a University of Pisa, Department DESTeC, Pisa, Italy b VCLab, CNR-ISTI, Pisa, Italy c University of Genova, Department Dibris, Genova, Italy d University eCampus, Via Isimbardi 10, 22060 Novedrate, CO, Italy article info abstract Article history: Grid-shells are lightweight structures used to cover long spans with few load-bearing material, as they Received 5 January 2015 excel for lightness, elegance and transparency. In this paper we analyze the stability of hex-dominant Revised 6 December 2015 free-form grid-shells, generated with the Statics Aware Voronoi Remeshing scheme introduced in Accepted 29 February 2016 Pietroni et al. (2015). This is a novel hex-dominant, organic-like and non uniform remeshing pattern that manages to take into account the statics of the underlying surface. We show how this pattern is partic- ularly suitable for free-form grid-shells, providing good performance in terms of both aesthetics and Keywords: structural behavior. To reach this goal, we select a set of four contemporary architectural surfaces and Grid-shells we establish a systematic comparative analysis between Statics Aware Voronoi Grid-Shells and equiva- Topology Voronoi lent state of the art triangular and quadrilateral grid-shells. For each dataset and for each grid-shell topol- Free-form ogy, imperfection sensitivity analyses are carried out and the worst response diagrams compared.
    [Show full text]
  • On Surface Geometry Inspired by Natural Systems in Current Architecture
    THE JOURNAL OF POLISH SOCIETY FOR GEOMETRY AND ENGINEERING GRAPHICS VOLUME 29 Gliwice, December 2016 Editorial Board International Scientific Committee Anna BŁACH, Ted BRANOFF (USA), Modris DOBELIS (Latvia), Bogusław JANUSZEWSKI, Natalia KAYGORODTSEVA (Russia), Cornelie LEOPOLD (Germany), Vsevolod Y. MIKHAILENKO (Ukraine), Jarosław MIRSKI, Vidmantas NENORTA (Lithuania), Pavel PECH (Czech Republic), Stefan PRZEWŁOCKI, Leonid SHABEKA (Belarus), Daniela VELICHOVÁ (Slovakia), Krzysztof WITCZYŃSKI Editor-in-Chief Edwin KOŹNIEWSKI Associate Editors Renata GÓRSKA, Maciej PIEKARSKI, Krzysztof T. TYTKOWSKI Secretary Monika SROKA-BIZOŃ Executive Editors Danuta BOMBIK (vol. 1-18), Krzysztof T. TYTKOWSKI (vol. 19-29) English Language Editor Barbara SKARKA Marian PALEJ – PTGiGI founder, initiator and the Editor-in-Chief of BIULETYN between 1996-2001 All the papers in this journal have been reviewed Editorial office address: 44-100 Gliwice, ul. Krzywoustego 7, POLAND phone: (+48 32) 237 26 58 Bank account of PTGiGI : Lukas Bank 94 1940 1076 3058 1799 0000 0000 ISSN 1644 - 9363 Publication date: December 2016 Circulation: 100 issues. Retail price: 15 PLN (4 EU) The Journal of Polish Society for Geometry and Engineering Graphics Volume 29 (2016), 41 - 51 41 ON SURFACE GEOMETRY INSPIRED BY NATURAL SYSTEMS IN CURRENT ARCHITECTURE Anna NOWAK1/, Wiesław ROKICKI2/ Warsaw University of Technology, Faculty of Architecture, Department of Structural Design, Building Structure and Technical Infrastructure, ul. Koszykowa 55, p. 214, 00-659 Warszawa, POLAND 1/ e-mail:[email protected] 2/e-mail: [email protected] Abstract. The contemporary architecture is increasingly inspired by the evolution of the biomimetic design. The architectural form is not only limited to aesthetics and designs found in nature, but it also embraced with natural forming principles, which enable the design of complex, optimized spatial structures in various respects.
    [Show full text]
  • Shape and Symmetry Determine Two-Dimensional Melting Transitions of Hard Regular Polygons
    Shape and symmetry determine two-dimensional melting transitions of hard regular polygons 1 2 3 1, 4 1, 2, 3, 5, Joshua A. Anderson, James Antonaglia, Jaime A. Millan, Michael Engel, and Sharon C. Glotzer ∗ 1Department of Chemical Engineering, University of Michigan, Ann Arbor, MI 48109, USA 2Department of Physics, University of Michigan, Ann Arbor, MI 48109, USA 3Department of Materials Science and Engineering, University of Michigan, Ann Arbor, MI 48109, USA 4Institute for Multiscale Simulation, Friedrich-Alexander-Universit¨atErlangen-N¨urnberg, 91058 Erlangen, Germany 5Biointerfaces Institute, University of Michigan, Ann Arbor, MI 48109, USA The melting transition of two-dimensional (2D) systems is a fundamental problem in condensed matter and statistical physics that has advanced significantly through the application of computa- tional resources and algorithms. 2D systems present the opportunity for novel phases and phase transition scenarios not observed in 3D systems, but these phases depend sensitively on the system and thus predicting how any given 2D system will behave remains a challenge. Here we report a comprehensive simulation study of the phase behavior near the melting transition of all hard reg- ular polygons with 3 ≤ n ≤ 14 vertices using massively parallel Monte Carlo simulations of up to one million particles. By investigating this family of shapes, we show that the melting transition depends upon both particle shape and symmetry considerations, which together can predict which of three different melting scenarios will occur for a given n. We show that systems of polygons with as few as seven edges behave like hard disks; they melt continuously from a solid to a hexatic fluid and then undergo a first-order transition from the hexatic phase to the fluid phase.
    [Show full text]
  • Eindhoven University of Technology MASTER Lateral Stiffness Of
    Eindhoven University of Technology MASTER Lateral stiffness of hexagrid structures de Meijer, J.H.M. Award date: 2012 Link to publication Disclaimer This document contains a student thesis (bachelor's or master's), as authored by a student at Eindhoven University of Technology. Student theses are made available in the TU/e repository upon obtaining the required degree. The grade received is not published on the document as presented in the repository. The required complexity or quality of research of student theses may vary by program, and the required minimum study period may vary in duration. General rights Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights. • Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain ‘Lateral Stiffness of Hexagrid Structures’ - Master’s thesis – - Main report – - A 2012.03 – - O 2012.03 – J.H.M. de Meijer 0590897 July, 2012 Graduation committee: Prof. ir. H.H. Snijder (supervisor) ir. A.P.H.W. Habraken dr.ir. H. Hofmeyer Eindhoven University of Technology Department of the Built Environment Structural Design Preface This research forms the main part of my graduation thesis on the lateral stiffness of hexagrids. It explores the opportunities of a structural stability system that has been researched insufficiently.
    [Show full text]
  • Lecture Notes Parts 1-11
    Discrete Geometry I http://wikis.fu-berlin.de/display/discgeom/Discrete+Geometry+I — Preliminary Lecture Notes (without any guarantees) — Prof. Günter M. Ziegler Fachbereich Mathematik und Informatik, FU Berlin, 14195 Berlin [email protected] FU Berlin, Winter term 2013/2014 This is the first in a series of three courses on Discrete Geometry. We will get to know fascinating geo- metric structures such as configurations of points and lines, hyperplane arrangements, and in particular polytopes and polyhedra, and learn how to handle them using modern methods for computation and vi- sualization and current analysis and proof techniques. A lot of this looks quite simple and concrete at first sight (and some of it is), but it also very quickly touches topics of current research. For students with an interest in discrete mathematics and geometry, this is the starting point to specialize in discrete geometry. The topics addressed in the course supplement and deepen the understanding of discrete-geometric structures appearing in differential geometry, optimization, combinatorics, topology, and algebraic geometry. To follow the course, a solid background in linear algebra is necessary. Some knowledge of combinatorics and geometry is helpful. Basic Literature [1] Satyan L. Devadoss and Joseph O’Rourke. Discrete and Computational Geometry. Princeton Uni- versity Press, Princeton NJ, 2011. [2] Jacob E. Goodman and Joseph O’Rourke, editors. Handbook of Discrete and Computational Geom- etry. Chapman & Hall/CRC Press, Boca Raton, second edition, 2004. [3] Peter M. Gruber. Convex and Discrete Geometry, volume 336 of Grundlehren Series. Springer, 2007. [4] Peter M. Gruber and Jörg Wills, editors.
    [Show full text]