The Number of Facets of Three-Dimensional Dirichlet Stereohedra

Total Page:16

File Type:pdf, Size:1020Kb

The Number of Facets of Three-Dimensional Dirichlet Stereohedra Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups The number of facets of three-dimensional Dirichlet stereohedra Francisco Santos (w. D. Bochis, P. Sabariego), U. Cantabria. ERC Workshop “Delaunay Geometry”; Berlin, oct 2013 F. Santos Number of facets of 3-d Dirichlet stereohedra Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro. The question How many facets can a 3-d Dirichlet stereohedron have? F. Santos Number of facets of 3-d Dirichlet stereohedra Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro. The question How many facets can a 3-d Dirichlet stereohedron have? Stereohedron: polytope that tiles Rn (face-to-face) by the action of a group of motions (a crystallographic space group G). F. Santos Number of facets of 3-d Dirichlet stereohedra Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro. The question How many facets can a 3-d Dirichlet stereohedron have? Stereohedron: polytope that tiles Rn (face-to-face) by the action of a group of motions (a crystallographic space group G). Dirichlet stereohedron: the Voronoi region of a point p ∈ S with respect to an orbit S of G. F. Santos Number of facets of 3-d Dirichlet stereohedra Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro. The question How many facets can a 3-d Dirichlet stereohedron have? Stereohedron: polytope that tiles Rn (face-to-face) by the action of a group of motions (a crystallographic space group G). Dirichlet stereohedron: the Voronoi region of a point p ∈ S with respect to an orbit S of G. P F. Santos Number of facets of 3-d Dirichlet stereohedra Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro. The question How many facets can a 3-d Dirichlet stereohedron have? Stereohedron: polytope that tiles Rn (face-to-face) by the action of a group of motions (a crystallographic space group G). Dirichlet stereohedron: the Voronoi region of a point p ∈ S with respect to an orbit S of G. P F. Santos Number of facets of 3-d Dirichlet stereohedra Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro. History Somehow related to Hilbert’s XVIII problem. F. Santos Number of facets of 3-d Dirichlet stereohedra Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro. History Somehow related to Hilbert’s XVIII problem. Fedorov (1885) classified 3-d parallelohedra. In particular, found (Dirichlet) stereohedra with 14 facets. F. Santos Number of facets of 3-d Dirichlet stereohedra Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro. History Somehow related to Hilbert’s XVIII problem. Fedorov (1885) classified 3-d parallelohedra. In particular, found (Dirichlet) stereohedra with 14 facets. F¨oppl (1916), Novacki (1935), Smith (1965), Stogrin (1968), Koch (1972), Koch-Fisher (1974) found (Dirichlet) stereohedra with 16, 18, 20, 23 and 24 facets. F. Santos Number of facets of 3-d Dirichlet stereohedra Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro. History Somehow related to Hilbert’s XVIII problem. Fedorov (1885) classified 3-d parallelohedra. In particular, found (Dirichlet) stereohedra with 14 facets. F¨oppl (1916), Novacki (1935), Smith (1965), Stogrin (1968), Koch (1972), Koch-Fisher (1974) found (Dirichlet) stereohedra with 16, 18, 20, 23 and 24 facets. Delone (1961) proved that no 3-d stereohedron can have more than 390 facets. F. Santos Number of facets of 3-d Dirichlet stereohedra Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro. History Somehow related to Hilbert’s XVIII problem. Fedorov (1885) classified 3-d parallelohedra. In particular, found (Dirichlet) stereohedra with 14 facets. F¨oppl (1916), Novacki (1935), Smith (1965), Stogrin (1968), Koch (1972), Koch-Fisher (1974) found (Dirichlet) stereohedra with 16, 18, 20, 23 and 24 facets. Delone (1961) proved that no 3-d stereohedron can have more than 390 facets. Engel (1980) found Dirichlet stereohedra with 38 facets for the cubic group I 4132 F. Santos Number of facets of 3-d Dirichlet stereohedra Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro. History Somehow related to Hilbert’s XVIII problem. Fedorov (1885) classified 3-d parallelohedra. In particular, found (Dirichlet) stereohedra with 14 facets. F¨oppl (1916), Novacki (1935), Smith (1965), Stogrin (1968), Koch (1972), Koch-Fisher (1974) found (Dirichlet) stereohedra with 16, 18, 20, 23 and 24 facets. Delone (1961) proved that no 3-d stereohedron can have more than 390 facets. Engel (1980) found Dirichlet stereohedra with 38 facets for the cubic group I 4132 Our goal: lower the gap between 38 and 390 (by improving the upper bound). F. Santos Number of facets of 3-d Dirichlet stereohedra Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro. History Somehow related to Hilbert’s XVIII problem. Fedorov (1885) classified 3-d parallelohedra. In particular, found (Dirichlet) stereohedra with 14 facets. F¨oppl (1916), Novacki (1935), Smith (1965), Stogrin (1968), Koch (1972), Koch-Fisher (1974) found (Dirichlet) stereohedra with 16, 18, 20, 23 and 24 facets. Delone (1961) proved that no 3-d stereohedron can have more than 390 facets. Engel (1980) found Dirichlet stereohedra with 38 facets for the cubic group I 4132 Our goal: lower the gap between 38 and 390 (by improving the upper bound). Our global upper bound: 92. F. Santos Number of facets of 3-d Dirichlet stereohedra W 967 a va a o x. ov, a o o, a g o a yg g av 1, 2 o 3 va a aa, a a o o , o v a o o o , va. y g a o a a o vaay o aa v o go a a, a a go o o o a y o . a o g 12 a 13, a o a o o go y ao a a o a o a . aga x a gv a ay o, a a, vy o o a ay y o o o o va o . a o o o a o a ov a oo o og o o a vy Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups a o oga o. o a intro. a o o aa, v gao, a v Engel’s o stereohedra, a a o xy . F. Santos Number of facets of 3-d Dirichlet stereohedra 13 a 13. x a o y o oa o y g 1980. g ay v gao o o y o aa o o a, g a o o aa va « 0.0158. a a o aa va 0.20 x 0.23 a 0.14 0.20, o g a o a ag a 0.214 x 0.220, 0.145 . y o — p, a o a go o a, a o , o v, a p a a o g y a o a Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro. Why Dirichlet stereohedra? F. Santos Number of facets of 3-d Dirichlet stereohedra Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro. Why Dirichlet stereohedra? “The total absence of methods usable in more general situations” (Gr¨unbaum-Shephard, 1980). F. Santos Number of facets of 3-d Dirichlet stereohedra Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro. Why Dirichlet stereohedra? “The total absence of methods usable in more general situations” (Gr¨unbaum-Shephard, 1980). Even if “there seems to be no grounds to assume that all stereohedra are combinatorially equivalent to Dirichlet stereohedra” (op. cit.) F. Santos Number of facets of 3-d Dirichlet stereohedra Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro. Why Dirichlet stereohedra? “The total absence of methods usable in more general situations” (Gr¨unbaum-Shephard, 1980). Even if “there seems to be no grounds to assume that all stereohedra are combinatorially equivalent to Dirichlet stereohedra” (op. cit.) Also, there is an algorithm to compute all Dirichlet stereohedra in a given dimension “if carried out with sufficient perseverance”, (op. cit.). The same is not true for arbitrary stereohedra. F. Santos Number of facets of 3-d Dirichlet stereohedra Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro. The zoo Our method combines general principles with case-by-case studies. F. Santos Number of facets of 3-d Dirichlet stereohedra Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro. The zoo Our method combines general principles with case-by-case studies. In particular, we start by dividing the 219 types of 3-d crystallographic groups into three blocks: F. Santos Number of facets of 3-d Dirichlet stereohedra Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro. The zoo Our method combines general principles with case-by-case studies. In particular, we start by dividing the 219 types of 3-d crystallographic groups into three blocks: Groups that contain reflection planes (the reptilarium). F. Santos Number of facets of 3-d Dirichlet stereohedra Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro. The zoo Our method combines general principles with case-by-case studies. In particular, we start by dividing the 219 types of 3-d crystallographic groups into three blocks: Groups that contain reflection planes (the reptilarium). Rest of non-cubic groups (fish and birds). F. Santos Number of facets of 3-d Dirichlet stereohedra Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro.
Recommended publications
  • 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.
    [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]
  • 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]
  • Dictionary of Mathematics
    Dictionary of Mathematics English – Spanish | Spanish – English Diccionario de Matemáticas Inglés – Castellano | Castellano – Inglés Kenneth Allen Hornak Lexicographer © 2008 Editorial Castilla La Vieja Copyright 2012 by Kenneth Allen Hornak Editorial Castilla La Vieja, c/o P.O. Box 1356, Lansdowne, Penna. 19050 United States of America PH: (908) 399-6273 e-mail: [email protected] All dictionaries may be seen at: http://www.EditorialCastilla.com Sello: Fachada de la Universidad de Salamanca (ESPAÑA) ISBN: 978-0-9860058-0-0 All rights reserved. No part of this book may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopying, recording or by any informational storage or retrieval system without permission in writing from the author Kenneth Allen Hornak. Reservados todos los derechos. Quedan rigurosamente prohibidos la reproducción de este libro, el tratamiento informático, la transmisión de alguna forma o por cualquier medio, ya sea electrónico, mecánico, por fotocopia, por registro u otros medios, sin el permiso previo y por escrito del autor Kenneth Allen Hornak. ACKNOWLEDGEMENTS Among those who have favoured the author with their selfless assistance throughout the extended period of compilation of this dictionary are Andrew Hornak, Norma Hornak, Edward Hornak, Daniel Pritchard and T.S. Gallione. Without their assistance the completion of this work would have been greatly delayed. AGRADECIMIENTOS Entre los que han favorecido al autor con su desinteresada colaboración a lo largo del dilatado período de acopio del material para el presente diccionario figuran Andrew Hornak, Norma Hornak, Edward Hornak, Daniel Pritchard y T.S. Gallione. Sin su ayuda la terminación de esta obra se hubiera demorado grandemente.
    [Show full text]
  • 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.
    [Show full text]
  • Workshop on Geometric and Topological Combinatorics
    Workshop on Geometric and Topological Combinatorics Alcal´ade Henares, Madrid August 31 – September 5, 2006 Abstracts of the poster session List of posters Small Chvatal Rank of an Integer Matrix by Tristram Bogart (joint work with Rekha Thomas) . 2 On irreducible triangulations of 2-pseudomanifolds by M. J. Ch´avez, A. Quintero and M. T. Villar . 3 Subclasses of Intersection Graphs of Pseudosegments by Cornelia Dangelmayr and Stefan Felsner . 4 Hom complexes and homotopy theory in the category of graphs by Anton Dochtermann . 5 The structure of flag sphere triangulations by Katarzyna Dymara . 6 Computing the Newton Polytope of the Resultant by Ioannis Z. Emiris and Christos Konaxis . 7 Θ-critical sets of Latin squares having Θ as a principal autotopism by R. M. Falc´onGanfornina . 8 Axiomatization of chirotopes of planar families of pairwise disjoint bodies by Luc Habert and Michel Pocchiola . 9 On the topology of the free complex of a convex geometry by Masahiro Hachimori and Kenji Kashiwabara . 10 Finding minimum weight triangulations by David Haws (joint work with Jes´us A. De Loera) . 11 Graphs of Transportation Polytopes by Edward Kim (joint work with Jes´us de Loera) . 12 Every point is critical by Jin-ichi Itoh (Joint work with Imre B´ar´any, Costin Vˆılcu and Tudor Zamfirescu) . 13 Threshold behavior of the homology of the clique complex by Matthew Kahle . 14 Characterization of the packing property of the clutter obtained from a point configuration by Kenji Kashiwabara . 15 Euclidean simplices and geometric invariants of 3-dimensional manifolds by Evgeniy Martyushev . 16 Touching Homothetic Bodies – On a Conjecture of K.
    [Show full text]
  • Voronoi Conjecture for Five-Dimensional Parallelohedra
    Voronoi conjecture for five-dimensional parallelohedra Alexey Garber The University of Texas Rio Grande Valley Big Seminar Laboratory of Combinatorial and Geometric Structures October 15, 2020 Introduction Voronoi’s conjecture Hilbert’s 18th Reduction theory R5 Canonical Scaling R5: dual cells Parallelohedra Definition Convex d-dimensional polytope P is called a parallelohedron if Rd can be (face-to-face) tiled into parallel copies of P. Two types of two-dimensional parallelohedra 2/49 Introduction Voronoi’s conjecture Hilbert’s 18th Reduction theory R5 Canonical Scaling R5: dual cells Three-dimensional parallelohedra In 1885 Russian crystallographer Fedorov listed all types of three-dimensional parallelohedra. Parallelepiped and hexagonal prism with centrally symmetric base. 3/49 Introduction Voronoi’s conjecture Hilbert’s 18th Reduction theory R5 Canonical Scaling R5: dual cells Three-dimensional parallelohedra In 1885 Russian crystallographer Fedorov listed all types of three-dimensional parallelohedra. Rhombic dodecahedron, elongated dodecahedron, and truncated octahedron 3/49 Introduction Voronoi’s conjecture Hilbert’s 18th Reduction theory R5 Canonical Scaling R5: dual cells Tiling by elongated dodecahedra (from Wikipedia) 4/49 Introduction Voronoi’s conjecture Hilbert’s 18th Reduction theory R5 Canonical Scaling R5: dual cells Minkowski-Venkov conditions Theorem (Minkowski, 1897; Venkov, 1954; and McMullen, 1980) P is a d-dimensional parallelohedron iff it satisfies the following conditions: 1. P is centrally symmetric; 2. Any facet of P is centrally symmetric; 3. Projection of P along any its (d − 2)-dimensional face is parallelogram or centrally symmetric hexagon. Particularly, if P tiles Rd in a non-face-to-face way, then it satisfies Minlowski-Venkov conditions, and hence tiles Rd in a face-to-face way as well.
    [Show full text]
  • On the Number of Facets of Three-Dimensional Dirichlet Stereo- Hedra III: Full Cubic Groups
    ON THE NUMBER OF FACETS OF THREE-DIMENSIONAL DIRICHLET STEREOHEDRA IV: QUARTER CUBIC GROUPS PILAR SABARIEGO AND FRANCISCO SANTOS Abstract. In this paper we finish the intensive study of three-dimensional Dirichlet stereohedra started by the second author and D. Bochi¸s, who showed that they cannot have more than 80 facets, except perhaps for crystallographic space groups in the cubic system. Taking advantage of the recent, simpler classification of three-dimensional crystallographic groups by Conway, Delgado-Friedrichs, Huson and Thurston, in a previous paper we proved that Dirichlet stereohedra for any of the 27 “full” cubic groups cannot have more than 25 facets. Here we study the remaining “quarter” cubic groups. With a computer-assisted method, our main result is that Dirichlet stereohedra for the 8 quarter groups, hence for all three- dimensional crystallographic groups, cannot have more than 92 facets. 1. Introduction This is the last in a series of four papers (see [1, 2, 17]) devoted to bounds on the number of facets that Dirichlet stereohedra in Euclidean 3-space can have. A stereohedron is any bounded convex polyhedron which tiles the space by the action of some crystallographic group. A Dirichlet stereohedron for a certain crys- 3 tallographic group G is the Voronoi region VorGp(p) of a point p ∈ R in the Voronoi diagram of an orbit Gp. The study of the maximum number of facets for stereohedra is related to Hilbert’s 18th problem, “Building up the space with congruent polyhedra” (see [12, 16]). Bie- berbach (1910) and Reinhardt (1932) answered completly the first two of Hilbert’s specific questions, but other problems related to monohedral tessellations (i.
    [Show full text]
  • Lecture Notes Parts
    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]
  • Geometry of Number
    Geometry of numbers, equivariant -type and coverings Mathieu Dutour Institut Rudjer Boskovic Achill Schuermann Frank Vallentin Magdeburg University TU Munich and CWI Amsterdam – p.1/65 Voronoi and Delaunay polytopes A finite set of points – p.2/65 Voronoi and Delaunay polytopes Some relevant perpendicular bisectors – p.2/65 Voronoi and Delaunay polytopes The edges of Voronoi polyhedrons – p.2/65 Voronoi and Delaunay polytopes Voronoi polytope Voronoi polytope – p.2/65 Voronoi and Delaunay polytopes Empty spheres – p.2/65 Voronoi and Delaunay polytopes Delaunay polytopes – p.2/65 I. Delaunay polytopes in lattices – p.3/65 The Voronoi polytope of a lattice £ ¢ A Lattice is a rank ¡ subgroups of , i.e. of the form § § ¨ © ¨ ¥ ¥ ¤ ¦ © © £ ¦ ¥ ¥ The Voronoi cell of is defined by for ¥ . is a polytope, i.e. it has a finite number of vertices (of ¡ dimension ), faces and facets (of dimension ) – p.4/65 Voronoi and Delaunay in lattices Vertices of Voronoi polytope are center of empty spheres which defines Delaunay polytopes. Voronoi and Delaunay polytopes define dual £ tesselations of the space ¢ by polytopes. Every -dimensional face of a Delaunay polytope is ¡ ¢ ¡ orthogonal to a -dimensional face of a Voronoi polytope. Given a lattice , it has a finite number of orbits of Delaunay polytopes under translation. – p.5/65 .6/65 p – ¡ : ¦ ¡ y Radius Radius ¦ polytopes Radius £ tices ¡ tices Delauna er : ; ¦ ¦ er v y v . tices . £ en Nr v er Nr e v ¢ . ¢ ¢ is ¦ £ £ Delauna Nr £¨§ ¢ ¦ ; ¡ ¦ Delaunay ¡ ¦ : ¡ £ £¥¤ ¡ £ y ¡ ¨ Center Center ¢ o ¢ ¦ ¡ £ § Center tw ¦ ¡ x Delauna ¡ ; ¢ £ § ¤ ¤ Cube with ¤ Name Name Name £ Simple ¡ © Half-Cube Cross-polytope Cross-polytope e e e ak ak ak T T T Lattices Gram matrix and lattices What really matters for lattice is their isometry class, £ ¢ i.e., if is an isometry of then the lattices and have the same geometry.
    [Show full text]
  • Book of Abstract SMAK2018.Pdf
    UNIVERSITY OF KRAGUJEVAC FACULTY OF SCIENCE XIV SERBIAN MATHEMATICAL CONGRESS (14SMAK 2018) BOOK OF ABSTRACTS May 16{19, 2018 Kragujevac, Serbia Book of Abstracts XIV Sebian Mathematical Congress, May 16{19, 2018 Kragujevac, Serbia https://imi.pmf.kg.ac.rs/kongres ISBN 978-86-6009-055-5 Published By: Faculty of Science University of Kragujevac Radoja Domanovi´ca12 34000 Kragujevac Serbia Tel.: +381 (0)34 336223 Fax: +381 (0)34 335040 Website: http://pmf.kg.ac.rs Edited By: Tatjana Tomovi´c Front Cover: Zeljkoˇ Maliˇsi´c Printed By: InterPrint, Kragujevac, Serbia Contents ORGANIZATION 5 Organizers . .5 Co-organizers . .6 Sponsors . .6 International Scientific Committee . .7 Organizing Committee . 10 HOST CITY { KRAGUJEVAC 11 FACULTY OF SCIENCE { UNIVERSITY OF KRAGU- JEVAC 13 PARTICIPATING COUNTRIES 15 PLENARY LECTURES { ABSTRACTS 16 WORKSHOP LECTURERS { ABSTRACTS 23 Time-frequency Analysis . 23 Algebraic Topology { Methods, Applications and Computations 27 Modern Chemical Graph Theory . 33 Data Science . 41 CONTRIBUTED TALKS { ABSTRACTS 50 FIELD 1 { Real and Functional Analysis, Probability and Statistics, Differential Equations . 50 FIELD 2 { Logic, Algebra, Set Theory, Discrete Mathematics, Number Theory . 95 FIELD 3 { Geometry, Topology, Algebraic Geometry and Topol- ogy............................... 138 3 4 SMAK 2018, Kragujevac, Serbia FIELD 4 { Applied Mathematics, Numerical Analysis . 160 FIELD 5 { History and Teaching of Mathematics and Informatics189 FIELD 6 { Computer Science . 208 POSTERS { ABSTRACTS 227 INDEX OF AUTHORS 234 ORGANIZATION
    [Show full text]
  • Geometry and Symmetry
    International Conference on Geometry and Symmetry Abstracts Department of Mathematics Faculty of Information Technology University of Pannonia Veszpr´em,Hungary 29 June { 3 July, 2015 Veszpr´em,Hungary Abstracts: Principal Speakers On polyhedra induced by point sets and on their triangulations Andras´ Bezdek Auburn University, USA and Alfr´edR´enyiInstitute, Hungary It is well known that finite point sets (not all points lying on a line) can be polygonized, meaning that one can construct polygons such that the vertices of the polygons coincide with the given point set. It is also known that planar polygons can be triangulated using only diagonals of the polygons. Stepping one dimension higher one might be interested in polyhedronizations of finite point sets so that the resulting polyhedrons can be partitioned with tetrahedra in a face-to-face fashion without introducing new vertices. Such partitions in 3-space are also called triangulations. Sch¨onhardt(1927), Bagemihl (1948), Kuperberg (2011) and others constructed special polyhedra in such a way that clever one line geometric reasons imply nontriangulability. More complicated constructions were given by Rambau (2011) and Bezdek and Carrigan (2014). In this talk we survey the algorithms used for polyhedronization of 3D point sets. We also describe new algorithms. This is an ongoing research with Braxton Carrigan and Osman Yardimci. 12-neighbour packings of unit balls in E3 Karoly´ Bor¨ oczky¨ E¨otv¨osLor´andUniversity, Hungary Laszl´ o´ Szabo´ University of West Hungary, Hungary 3 A packing of unit balls in E is said to be a 12-neighbour packing if each ball is touched by 12 others.
    [Show full text]