Ricci Curvature on Polyhedral Surfaces Via Optimal Transportation

Total Page:16

File Type:pdf, Size:1020Kb

Ricci Curvature on Polyhedral Surfaces Via Optimal Transportation Ricci curvature on polyhedral surfaces via optimal transportation Benoît Loisel and Pascal Romon Abstract The problem of defining correctly geometric objects such as the curvature is a hard one in discrete geometry. In 2009, Ollivier [Oll09] defined a notion of curvature applicable to a wide category of measured metric spaces, in particular to graphs. He named it coarse Ricci curvature because it coincides, up to some given factor, with the classical Ricci curvature, when the space is a smooth manifold. Lin, Lu & Yau [LLY11], Jost & Liu [JL11] have used and extended this notion for graphs giving estimates for the curvature and hence the diameter, in terms of the combinatorics. In this paper, we describe a method for computing the coarse Ricci curvature and give sharper results, in the specific but crucial case of polyhedral surfaces. Keywords: discrete curvature; optimal transportation; graph theory; discrete lapla- cian; tiling. MSC: 05C10, 68U05, 90B06 1 The coarse Ricci curvature of Ollivier Let us first recall the definition of the coarse Ricci curvature as given originally by Ollivier in [Oll09]. Since our focus is on polyhedral objects, we will use, for greater legibility, the language of graphs and matrices, rather than more general measure theoretic formulations. In this section, we will assume that our base space X (V,E) is a simple graph (no loops, no Æ multiple edges between vertices), unoriented and locally finite (vertices at finite distance are in finite number) for the standard distance (the length of the shortest chain between x and x0): © ª x,x0 V, d(x,x0) inf n, n N¤, x1,...,xn 1, x x0 x1 xn x0 8 2 Æ 2 9 ¡ Æ » » ¢¢¢ » Æ arXiv:1402.0644v1 [math.DG] 4 Feb 2014 where x y stands for the adjacency relation and adjacent vertices are at distance 1. We shall » call this distance the uniform distance; the more general case will be considered in section4. Polyhedral surfaces (a.k.a. two-dimensional cell complexes) studied afterwards will be seen as a special case of graphs. We do not require our graphs to be finite, but we will nevertheless use vector and matrix notations (with possibly infinitely many indices). P For any x X , a probability measure ¹ on X is a map V R such that y V ¹(y) 1. 2 ! Å 2 Æ Assume that for any vertex x we are given a probability measure ¹x . Intuitively ¹x (y) is the 1 probability of jumping from x to y in a random walk. For instance we can take ¹x to be the 1 1 1 uniform measure on the sphere (or 1-ring) at x, Sx {y V, y x}, namely ¹ (y) if y x, Æ 2 » x Æ dx » where d S denotes the degree of x, and 0 elsewhere. A coupling or transference plan » x Æ j x j between ¹ and ¹0 is a measure on X X whose marginals are ¹,¹0 respectively: £ X X »(y, y0) ¹(y) and »(y, y0) ¹0(y0). Æ Æ y0 y Intuitively a coupling is a plan for transporting a mass 1 distributed according to ¹ to the same mass distributed according to ¹0. Therefore »(y, y0) indicates which quantity is taken from y and sent to y0. Because mass is nonnegative, one can only take from x the quantity ¹(x), no more no less, and the same holds at the destination point, ruled by ¹0. We may view measures as vectors indexed by V and couplings as matrices, and we will use that point of view later. The cost of a given coupling » is X c(») »(y, y0)d(y, y0) Æ y,y V 02 where cost is induced by the distance traveled. The Wasserstein distance W1 between proba- bility measures ¹,¹0 is X W1(¹,¹0) inf »(y, y0)d(y, y0) Æ » y,y V 02 where the infimum is taken over all couplings » between ¹ and ¹0 (such a set will never be empty and we will show that its infimum is attained later on). Let us focus on two simple but important examples: 1. Let ¹ be the Dirac measure ± , i.e. ± (y) equals 1 when y x and zero elsewhere. x x x Æ Then there is only one coupling » between ± and ± and it satisfies »(y,z) 1 if y x x x0 Æ Æ and z x0, and vanishes elsewhere. Obviously W (x,x0) d(x,x0). Æ 1 Æ 1 1 2. Consider now ¹ ,¹ the uniform measures on unit spheres around x and x0 respec- x x0 tively; then a coupling » vanishes on (y, y0) whenever y lies outside the sphere Sx or y0 outside Sx0 . So the (a priori infinite) matrix » has at most dx dx0 nonzero terms, and 1 we can focus on the dx dx submatrix »(y, y0)y Sx ,y S whose lines sum to and 0 0 x0 dx 1 £ 2 2 columns to d . For instance, » could be the uniform coupling x0 0 1 1 1 1 ¢¢¢ ¢¢¢ B . C » @ . A Æ dx dx 0 1 1 ¢¢¢ ¢¢¢ where we have written only the submatrix. 3. A variant from the above measure is the measure uniform on the ball B {x} S . x Æ [ x 1 Ollivier’s coarse Ricci curvature between x and x0 (which by the way need not be neighbors) measures the ratio between the Wasserstein distance and the distance. Precisely, we set W ( 1 , 1 ) 1 1 ¹x ¹x · (x,x0) 1 0 Æ ¡ d(x,x0) ¢ 1Also called Wasserstein curvature. 2 1 1 Since ¹x is the uniform measure on the sphere, then · compares the average distance between the spheres Sx and Sx0 with the distance between their centers, which indeed depends on the Ricci curvature in the smooth case (see [Oll09, Oll10] for the analogy with riemannian manifolds which prompted this definition). We will rather use the definition of Lin, Lu & Yau [LLY11] (see also Ollivier [Oll10]) for a t smooth time variable t: let ¹x be the lazy random walk 8 1 t if y x t < ¡t Æ ¹ (y) if y Sx x Æ dx 2 : 0 otherwise t 1 so that ¹x (1 t)±x t¹x interpolates linearly between the Dirac measure and the uniform Æ ¡ Å W (¹t ,¹t ) 2 t 1 x x t measure on the sphere . We let · (x,x0) 1 0 , and · (x,x0) 0 as t 0. We then Æ ¡ d(x,x0) ! ! set t · (x,x0) r ic(x,x0) liminf Æ t 0 t ! and we will call r ic the (asymptotic) Ollivier–Ricci curvature. The curvature r ic is attached to a continuous Markov process whereas ·1 corresponds to a time-discrete process3. Lin, Lu & Yau [LLY11] prove the existence of the limit r ic(x,x0) using concavity properties. In the next section, we give a different proof by linking the existence to a linear programming problem with convexity properties. The relevance of such a definition comes from the analogy with riemannian manifolds but can also be seen through its applications, e.g. the existence of an upper bound for the diameter of X depending on r ic (see Myers’ theorem below). 2 A linear programming problem In the case of graphs, the computation of W1 is surprisingly simple to understand and imple- t t t ment numerically. Recall that a coupling » between ¹x and ¹x is completely determined by a 0 t (dx 1) (dx0 1) submatrix, and henceforward we will identify » with this submatrix. A cou- Å £ Å (dx 1)(d 1) pling is actually any matrix in R Å x0 Å with nonnegative coefficients, subject to the follow- t t t ing t-dependent linear constraints: y B , » ,L ¹ (y) and y0 B , » ,C ¹ (y0), 8 2 x h y i Æ x 8 2 x0 h y0 i Æ x0 for all y B and y0 B , where L and C are the following matrices 2 x 2 x0 y y0 0 . 1 0 1 . 1 . 0 B C ¢¢¢ ¢¢¢ ¢¢¢ B . C B 1 1 C B 0 . 0 0 C Ly B ¢¢¢ ¢¢¢ C, Cy B C Æ B 0 C 0 Æ B . C @ ¢¢¢ ¢¢¢ ¢¢¢ A B . C 0 @ . A ¢¢¢ ¢¢¢ ¢¢¢ . 1 . M,N t MN is the standard inner product between matrices. We will write the nonneg- h i Æ ativity constraint E ,»t 0, where E is the basis matrix whose coefficients all vanish h y y0 i ¸ y y0 2In [LLY11], a different notation is used: the lazy random walk is parametrized by ® 1 t and the limit point Æ ¡ corresponds to ® 1. Æ 3However both approaches are equivalent, by considering weighted graphs and allowing loops (i.e. weights wxx ). See [BJL11] and also §4 for weighted graphs. 3 t except at (y, y0). The set of possible couplings is therefore a bounded convex polyhedron K (dx 1)(d 1) contained in the unit cube [0,1] Å x0 Å . In the following, we will also need the limit set K 0 {E } which contains a unique coupling (see case 1 above). Æ xx0 In order to compute ·t , we want to minimize the cost function c, which is actually linear: X X c(»t ) »t (x, y)d(x, y) »t (x, y)d(x, y) »t ,D Æ Æ Æ h i y,y V y Bx ,y B 02 2 02 x0 where D stands for the distance matrix restricted to B B , so that D is the (constant) L2 x £ x0 gradient of c. Clearly the infimum is reached, and minimizers lie on the boundary of K t . Then either the gradient D is perpendicular to some facet of K t , and the minimizer can be freely chosen on that facet, or not, and the minimizer is unique and lies on a vertex of K t .
Recommended publications
  • Electronic Reprint a Coloring-Book Approach to Finding Coordination
    electronic reprint ISSN: 2053-2733 journals.iucr.org/a A coloring-book approach to finding coordination sequences C. Goodman-Strauss and N. J. A. Sloane Acta Cryst. (2019). A75, 121–134 IUCr Journals CRYSTALLOGRAPHY JOURNALS ONLINE Copyright c International Union of Crystallography Author(s) of this paper may load this reprint on their own web site or institutional repository provided that this cover page is retained. Republication of this article or its storage in electronic databases other than as specified above is not permitted without prior permission in writing from the IUCr. For further information see http://journals.iucr.org/services/authorrights.html Acta Cryst. (2019). A75, 121–134 Goodman-Strauss and Sloane · Finding coordination sequences research papers A coloring-book approach to finding coordination sequences ISSN 2053-2733 C. Goodman-Straussa and N. J. A. Sloaneb* aDepartment of Mathematical Sciences, University of Arkansas, Fayetteville, AR 72701, USA, and bThe OEIS Foundation Inc., 11 So. Adelaide Ave., Highland Park, NJ 08904, USA. *Correspondence e-mail: [email protected] Received 30 May 2018 Accepted 14 October 2018 An elementary method is described for finding the coordination sequences for a tiling, based on coloring the underlying graph. The first application is to the two kinds of vertices (tetravalent and trivalent) in the Cairo (or dual-32.4.3.4) tiling. Edited by J.-G. Eon, Universidade Federal do Rio The coordination sequence for a tetravalent vertex turns out, surprisingly, to be de Janeiro, Brazil 1, 4, 8, 12, 16, ..., the same as for a vertex in the familiar square (or 44) tiling.
    [Show full text]
  • Fundamental Principles Governing the Patterning of Polyhedra
    FUNDAMENTAL PRINCIPLES GOVERNING THE PATTERNING OF POLYHEDRA B.G. Thomas and M.A. Hann School of Design, University of Leeds, Leeds LS2 9JT, UK. [email protected] ABSTRACT: This paper is concerned with the regular patterning (or tiling) of the five regular polyhedra (known as the Platonic solids). The symmetries of the seventeen classes of regularly repeating patterns are considered, and those pattern classes that are capable of tiling each solid are identified. Based largely on considering the symmetry characteristics of both the pattern and the solid, a first step is made towards generating a series of rules governing the regular tiling of three-dimensional objects. Key words: symmetry, tilings, polyhedra 1. INTRODUCTION A polyhedron has been defined by Coxeter as “a finite, connected set of plane polygons, such that every side of each polygon belongs also to just one other polygon, with the provision that the polygons surrounding each vertex form a single circuit” (Coxeter, 1948, p.4). The polygons that join to form polyhedra are called faces, 1 these faces meet at edges, and edges come together at vertices. The polyhedron forms a single closed surface, dissecting space into two regions, the interior, which is finite, and the exterior that is infinite (Coxeter, 1948, p.5). The regularity of polyhedra involves regular faces, equally surrounded vertices and equal solid angles (Coxeter, 1948, p.16). Under these conditions, there are nine regular polyhedra, five being the convex Platonic solids and four being the concave Kepler-Poinsot solids. The term regular polyhedron is often used to refer only to the Platonic solids (Cromwell, 1997, p.53).
    [Show full text]
  • Uniform Panoploid Tetracombs
    Uniform Panoploid Tetracombs George Olshevsky TETRACOMB is a four-dimensional tessellation. In any tessellation, the honeycells, which are the n-dimensional polytopes that tessellate the space, Amust by definition adjoin precisely along their facets, that is, their ( n!1)- dimensional elements, so that each facet belongs to exactly two honeycells. In the case of tetracombs, the honeycells are four-dimensional polytopes, or polychora, and their facets are polyhedra. For a tessellation to be uniform, the honeycells must all be uniform polytopes, and the vertices must be transitive on the symmetry group of the tessellation. Loosely speaking, therefore, the vertices must be “surrounded all alike” by the honeycells that meet there. If a tessellation is such that every point of its space not on a boundary between honeycells lies in the interior of exactly one honeycell, then it is panoploid. If one or more points of the space not on a boundary between honeycells lie inside more than one honeycell, the tessellation is polyploid. Tessellations may also be constructed that have “holes,” that is, regions that lie inside none of the honeycells; such tessellations are called holeycombs. It is possible for a polyploid tessellation to also be a holeycomb, but not for a panoploid tessellation, which must fill the entire space exactly once. Polyploid tessellations are also called starcombs or star-tessellations. Holeycombs usually arise when (n!1)-dimensional tessellations are themselves permitted to be honeycells; these take up the otherwise free facets that bound the “holes,” so that all the facets continue to belong to two honeycells. In this essay, as per its title, we are concerned with just the uniform panoploid tetracombs.
    [Show full text]
  • Five-Vertex Archimedean Surface Tessellation by Lanthanide-Directed Molecular Self-Assembly
    Five-vertex Archimedean surface tessellation by lanthanide-directed molecular self-assembly David Écijaa,1, José I. Urgela, Anthoula C. Papageorgioua, Sushobhan Joshia, Willi Auwärtera, Ari P. Seitsonenb, Svetlana Klyatskayac, Mario Rubenc,d, Sybille Fischera, Saranyan Vijayaraghavana, Joachim Reicherta, and Johannes V. Bartha,1 aPhysik Department E20, Technische Universität München, D-85478 Garching, Germany; bPhysikalisch-Chemisches Institut, Universität Zürich, CH-8057 Zürich, Switzerland; cInstitute of Nanotechnology, Karlsruhe Institute of Technology, D-76344 Eggenstein-Leopoldshafen, Germany; and dInstitut de Physique et Chimie des Matériaux de Strasbourg (IPCMS), CNRS-Université de Strasbourg, F-67034 Strasbourg, France Edited by Kenneth N. Raymond, University of California, Berkeley, CA, and approved March 8, 2013 (received for review December 28, 2012) The tessellation of the Euclidean plane by regular polygons has by five interfering laser beams, conceived to specifically address been contemplated since ancient times and presents intriguing the surface tiling problem, yielded a distorted, 2D Archimedean- aspects embracing mathematics, art, and crystallography. Sig- like architecture (24). nificant efforts were devoted to engineer specific 2D interfacial In the last decade, the tools of supramolecular chemistry on tessellations at the molecular level, but periodic patterns with surfaces have provided new ways to engineer a diversity of sur- distinct five-vertex motifs remained elusive. Here, we report a face-confined molecular architectures, mainly exploiting molecular direct scanning tunneling microscopy investigation on the cerium- recognition of functional organic species or the metal-directed directed assembly of linear polyphenyl molecular linkers with assembly of molecular linkers (5). Self-assembly protocols have terminal carbonitrile groups on a smooth Ag(111) noble-metal sur- been developed to achieve regular surface tessellations, includ- face.
    [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]
  • Dispersion Relations of Periodic Quantum Graphs Associated with Archimedean Tilings (I)
    Dispersion relations of periodic quantum graphs associated with Archimedean tilings (I) Yu-Chen Luo1, Eduardo O. Jatulan1,2, and Chun-Kong Law1 1 Department of Applied Mathematics, National Sun Yat-sen University, Kaohsiung, Taiwan 80424. Email: [email protected] 2 Institute of Mathematical Sciences and Physics, University of the Philippines Los Banos, Philippines 4031. Email: [email protected] January 15, 2019 Abstract There are totally 11 kinds of Archimedean tiling for the plane. Applying the Floquet-Bloch theory, we derive the dispersion relations of the periodic quantum graphs associated with a number of Archimedean tiling, namely the triangular tiling (36), the elongated triangular tiling (33; 42), the trihexagonal tiling (3; 6; 3; 6) and the truncated square tiling (4; 82). The derivation makes use of characteristic functions, with the help of the symbolic software Mathematica. The resulting dispersion relations are surpris- ingly simple and symmetric. They show that in each case the spectrum is composed arXiv:1809.09581v2 [math.SP] 12 Jan 2019 of point spectrum and an absolutely continuous spectrum. We further analyzed on the structure of the absolutely continuous spectra. Our work is motivated by the studies on the periodic quantum graphs associated with hexagonal tiling in [13] and [11]. Keywords: characteristic functions, Floquet-Bloch theory, quantum graphs, uniform tiling, dispersion relation. 1 1 Introduction Recently there have been a lot of studies on quantum graphs, which is essentially the spectral problem of a one-dimensional Schr¨odinger operator acting on the edge of a graph, while the functions have to satisfy some boundary conditions as well as vertex conditions which are usually the continuity and Kirchhoff conditions.
    [Show full text]
  • Vortex States in Archimedean Tiling Pinning Arrays 2
    Vortex States in Archimedean Tiling Pinning Arrays D. Ray1,2, C. Reichhardt1, and C. J. Olson Reichhardt1 1 Theoretical Division, Los Alamos National Laboratory, Los Alamos, New Mexico 87545 USA 2 Department of Physics, University of Notre Dame, Notre Dame, Indiana 46556 E-mail: [email protected] Abstract. We numerically study vortex ordering and pinning in Archimedean tiling substrates composed of square and triangular plaquettes. The two different plaquettes become occupied at different vortex densities, producing commensurate peaks in the magnetization at non-integer matching fields. We find that as the field increases, in some cases the fraction of occupied pins can decrease due to the competition between fillings of the different plaquette types. We also identify a number of different types of vortex orderings as function of field at integer and non-integer commensurate fillings. PACS numbers: 74.25.Wx,74.25.Uv arXiv:1308.1969v1 [cond-mat.supr-con] 8 Aug 2013 Vortex States in Archimedean Tiling Pinning Arrays 2 1. Introduction There have been extensive studies on vortex ordering and pinning for superconductors with periodic arrays of pinning sites where the arrays have square or triangular order. In these systems the critical current or the force needed to depin the vortices passes through maxima due to commensuration effects that occur when the number of vortices is an integer multiple of the number of pinning sites [1, 2, 3, 4, 5, 6, 7, 8]. The field at which the number of vortices equals the number of pinning sites is labeled Bφ, so that commensurate peaks arise at B/Bφ = n, where n is an integer.
    [Show full text]
  • Download Author Version (PDF)
    Soft Matter Accepted Manuscript This is an Accepted Manuscript, which has been through the Royal Society of Chemistry peer review process and has been accepted for publication. Accepted Manuscripts are published online shortly after acceptance, before technical editing, formatting and proof reading. Using this free service, authors can make their results available to the community, in citable form, before we publish the edited article. We will replace this Accepted Manuscript with the edited and formatted Advance Article as soon as it is available. You can find more information about Accepted Manuscripts in the Information for Authors. Please note that technical editing may introduce minor changes to the text and/or graphics, which may alter content. The journal’s standard Terms & Conditions and the Ethical guidelines still apply. In no event shall the Royal Society of Chemistry be held responsible for any errors or omissions in this Accepted Manuscript or any consequences arising from the use of any information it contains. www.rsc.org/softmatter Page 1 of 21 Soft Matter Manuscript Accepted Matter Soft A non-additive binary mixture of sticky spheres interacting isotropically can self assemble in a large variety of pre-defined structures by tuning a small number of geometrical and energetic parameters. Soft Matter Page 2 of 21 Non-additive simple potentials for pre-programmed self-assembly Daniel Salgado-Blanco and Carlos I. Mendoza∗ Instituto de Investigaciones en Materiales, Universidad Nacional Autónoma de México, Apdo. Postal 70-360, 04510 México, D.F., Mexico October 31, 2014 Abstract A major goal in nanoscience and nanotechnology is the self-assembly Manuscript of any desired complex structure with a system of particles interacting through simple potentials.
    [Show full text]
  • Euler's Polyhedron Formula for Uniform Tessellations
    Bridges 2021 Conference Proceedings Euler’s Polyhedron Formula for Uniform Tessellations Dirk Huylebrouck Faculty for Architecture, KULeuven, Belgium, [email protected] Abstract In 1758 Euler stated his formula for a polyhedron on a sphere with V vertices, F faces and E edges: V + F – E = 2. Since then, it has been extended to many more cases, for instance, to connected plane graphs by including the ‘exterior face’ in the number of faces, or to ‘infinite polyhedra’, using their genus g. For g = 1 the latter generalization becomes V + F – E = 0 or V + F = E and that is the case for uniform planar tessellations. This way, two popular topics, uniform planar tessellations and Euler’s formula, can be combined. Euler’s Polyhedron Formula Euler’s formula for a polyhedron on a sphere with V vertices, F faces and E edges states that V + F – E = 2. For instance, for a cube, V = 8, F = 6 and E = 12 and indeed 8 + 6 – 12 = 2. It can be generalized to convex polyhedra. In the plane too, it can be applied to any connected graph. Its edges (arcs) partition the plane into a number of faces, one of which is unbounded and called the ‘exterior face’. For instance, for a triangle, V = 3, F = 2 (the triangle plus the exterior face) and E = 3 so that 3 + 2 – 3 = 2. Some other cases, such as the square and the hexagon, or the compound figures of an octagon together with a square and of two squares and three triangles are shown in Figure 1 (the examples were chosen because they will be applied later).
    [Show full text]
  • Chemical Engineering of Quasicrystal Approximants in Lanthanide-Based Coordination Solids
    Downloaded from orbit.dtu.dk on: Sep 26, 2021 Chemical engineering of quasicrystal approximants in lanthanide-based coordination solids Voigt, Laura; Kubus, Mariusz; Pedersen, Kasper Steen Published in: Nature Communications Link to article, DOI: 10.1038/s41467-020-18328-5 Publication date: 2020 Document Version Publisher's PDF, also known as Version of record Link back to DTU Orbit Citation (APA): Voigt, L., Kubus, M., & Pedersen, K. S. (2020). Chemical engineering of quasicrystal approximants in lanthanide-based coordination solids. Nature Communications, 11(1), [4705]. https://doi.org/10.1038/s41467- 020-18328-5 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 You may freely distribute the URL identifying the publication in the public portal If you believe that this document breaches copyright please contact us providing details, and we will remove access to the work immediately and investigate your claim. ARTICLE https://doi.org/10.1038/s41467-020-18328-5 OPEN Chemical engineering of quasicrystal approximants in lanthanide-based coordination solids ✉ Laura Voigt 1, Mariusz Kubus1 & Kasper S. Pedersen 1 Tessellation of self-assembling molecular building blocks is a promising strategy to design metal-organic materials exhibiting geometrical frustration and ensuing frustrated physical properties.
    [Show full text]
  • 1 VERTEX-TRANSITIVE MAPS on a TORUS 1. Introduction This Paper Is
    Acta Math. Univ. Comenianae 1 Vol. LXXX, 1 (2011), pp. 1{30 VERTEX-TRANSITIVE MAPS ON A TORUS O. SUCHˇ Abstract. We examine FVT (free, vertex transitive) actions of wallpaper groups on semiregular tilings. By taking quotients by lattices we then obtain various fami- lies of FVT maps on a torus, and describe the presentations of groups acting on the torus. Altogether there are 29 families, 5 arising from the orientation preserving wallpaper groups and 2 from each of the remaining wallpaper groups. We prove that all vertex-transitive maps on torus admit an FVT map structure. 1. Introduction This paper is mostly expository. It is devoted to the nice interplay between various symmetric objects arising from the following diagram: semiregular tiling T with plane R2 o FVT/vertex-transitive action of wallpaper group Γ a toric map T =Λ with torus R2=Λ o FVT/vertex-transitive action of finite group G This diagram can be constructed in two ways. Starting from the top, one may choose a lattice Λ invariant under Γ and construct quotients. Alternatively, one can start at the bottom, and construct the universal covering space of the torus. All objects involved have a geometric symmetry of continued interest in pure and applied mathematics. Semiregular tilings [16] arise when studying analogues to Archimedean solids on the torus. Various definitions can be given, isometric and topological. Inter- estingly, on the torus the local notion of identical local type and the global notion of vertex-transitivity coincide. This can be contrasted with the case of sphere, Received November 28, 2008; revised September 30, 2010.
    [Show full text]
  • Dispersion Relations of Periodic Quantum Graphs Associated with Archimedean Tilings (II)
    Dispersion relations of periodic quantum graphs associated with Archimedean tilings (II) Yu-Chen Luo1, Eduardo O. Jatulan1,2, and Chun-Kong Law1 1 Department of Applied Mathematics, National Sun Yat-sen University, Kaohsiung, Taiwan 80424. Email: [email protected], [email protected] 2 Institute of Mathematical Sciences and Physics, University of the Philippines Los Baños, Philippines 4031. Email: [email protected] July 30, 2019 Abstract We continue the work of a previous paper [12] to derive the dispersion relations of the periodic quantum graphs associated with the remaining 5 of the 11 Archimedean tilings, namely the truncated hexagonal tiling (3; 122), rhombi-trihexagonal tiling (3; 4; 6; 4), snub square tiling (32; 4; 3; 6), snub trihexagonal tiling (34; 6), and truncated trihexag- onal tiling (4; 6; 12). The computation is done with the help of the symbolic software Mathematica. With these explicit dispersion relations, we perform more analysis on the spectra. arXiv:1903.07323v3 [math.SP] 27 Jul 2019 Keywords: characteristic functions, Floquet-Bloch theory, uniform tiling, absolutely continuous spectrum. 1 1 Introduction On the plane, there are plenty of ways to form a tessellation with different patterns [7]. A tessellation is formed by regular polygons having the same edge length such that these regular polygons will fit around at each vertex and the pattern at every vertex is isomorphic, then it is called a uniform tiling. There are 11 types of uniform tilings, called Archimedean tilings in literature, as shown in Table 4. The periodic quantum graphs associated with these Archimedean tilings constitute good mathematical models for graphene [1, 10] and related allotropes [5].
    [Show full text]