Ingham Type Inequalities in Lattices

Total Page:16

File Type:pdf, Size:1020Kb

Ingham Type Inequalities in Lattices INGHAM TYPE INEQUALITIES IN LATTICES VILMOS KOMORNIK, ANNA CHIARA LAI, AND PAOLA LORETI Abstract. A classical theorem of Ingham extended Parseval's formula of the trigonometrical system to arbitrary families of exponentials satis- fying a uniform gap condition. Later his result was extended to several dimensions, but the optimal integration domains have only been deter- mined in very few cases. The purpose of this paper is to determine the optimal connected integration domains for all regular two-dimensional lattices. 1. Introduction A classical theorem of Ingham [7] extended the Parseval's formula of the trigonometrical system to arbitrary families of exponentials satisfying a uni- form gap condition. Later Beurling [3] determined the critical length of the intervals on which these estimates hold. Kahane [8] extended these results to several dimensions. His theorem was improved and generalized in [1] (see also [10]), but the optimal integration domains have only been determined in very particular cases. The purpose of this paper is to determine the optimal connected integra- tion domains for all regular two-dimensional lattices. 2. A general framework N N Consider M disjoint translates of Z by vectors u1; : : : ; uM 2 R , and consider the functions of the form M M X X i(uj +k;x) X i(uj ;x) arXiv:1512.04212v3 [math.CA] 29 Jan 2016 f(x) = ajke =: e fj(x) j=1 k2ZN j=1 with square summable complex coefficients ajk. Let us observe that the functions X i(k;x) (2.1) fj(x) = ajke k2ZN 2010 Mathematics Subject Classification. 42B05, 52C20. Key words and phrases. Fourier series, combinatorics, non-harmonic analysis, lattices, tilings. 1 2 V. KOMORNIK, A. C. LAI, AND P. LORETI are 2π-periodical in each variable, so that Z 1 2 X 2 (2.2) jfj(x)j dx = jajkj jΩ0j Ω0 k2ZN N on Ω0 := (0; 2π) by Parseval's equality for multiple Fourier series, where N and jΩ0j = (2π) denotes the volume of the cube Ω0. N Next we consider M vectors v1; : : : ; vM 2 R satisfying the following two conditions: (A1) the coordinates of each vk are multiples of 2π; M i(uj ;vk) (A2) the matrix E := e j;k=1 is invertible. It follows from (A1) that the translated sets Ωk := vk + Ω0; k = 1;:::;M are non-overlapping, i.e., their interiors are pairwise disjoint. N Finally we fix an invertible linear transformation L of R , we introduce the lattice M [ ∗ N N Λ := L uj + Z ⊂ R j=1 (here L∗ denotes the adjoint of L) and the set −1 N Ω := L (Ω1 [···[ ΩM ) ⊂ R : Remark 2.1. Let us emphasize that the volume of jΩj of Ω does not depend N on the particular choice of M and the vectors v1; : : : ; vM 2 R satisfying (A1). We prove the following Ingham type generalization of Parseval's formula: Theorem 2.2. Assume (A1) and (A2). (i) There exist two positive constants c1; c2 such that 2 Z X 2 X i(λ,x) X 2 (2.3) c1 jaλj ≤ aλe dx ≤ c2 jaλj λ2Λ Ω λ2Λ λ2Λ for all square summable families (aλ)λ2Λ of complex coefficients. (ii) The estimates fail if we remove any non-empty open subset from Ω. Proof. Let us first consider the case where L is the identity map. INGHAM TYPE INEQUALITIES IN LATTICES 3 Using (A1) we have Z M Z 2 X 2 jf(x)j dx = jf(vk + x)j dx Ω k=1 Ω0 2 M Z M X X i(uj ;vk+x) = e fj(vk + x) dx k=1 Ω0 j=1 2 M Z M X X i(uj ;vk) i(uj ;x) = e · e fj(x) dx: k=1 Ω0 j=1 0 0 Furthermore, by (A2) there exist two positive constants c1; c2 such that 2 M M M 2 0 X i(uj ;x) X X i(uj ;vk) i(uj ;x) c e fj(x) ≤ e · e fj(x) 1 j=1 k=1 j=1 M X 2 0 i(uj ;x) ≤ c2 e fj(x) ; j=1 or equivalently 2 M M M M 0 X 2 X X i(uj ;vk) i(uj ;x) 0 X 2 c jfj(x)j ≤ e · e fj(x) ≤ c jfj(x)j 1 2 j=1 k=1 j=1 j=1 for all x. Integrating over Ω0 and using the last equality we obtain the estimates M Z Z M Z 0 X 2 2 0 X 2 c1 jfj(x)j dx ≤ jf(x)j dx ≤ c2 jfj(x)j dx j=1 Ω0 Ω j=1 Ω0 Since jΩj = M jΩ0j by (A2), using (2.2) the estimates (2.3) follow with 0 0 c1 = c1 jΩ0j and c2 = c2 jΩ0j. Now we show that the above estimates fail if we remove from Ω a non- empty open subset !. We may assume that ! ⊂ Ωk for some k 2 f1;:::;Mg. Let f 2 L2(Ω) be the characteristic function of !. Thanks to Assumption (A2) the linear system M X i(uj ;vk) i(uj ;x) f(vk + x) = e e fj(x); k = 1;:::;M j=1 has a unique solution i(uj ;x) e fj(x); j = 1;:::;M 2 for each x 2 Ω0, and f1; : : : ; fM 2 L (Ω0). Extending the functions fj by 2π-periodicity in each variable, we get (2.1) for each j with square summable 4 V. KOMORNIK, A. C. LAI, AND P. LORETI coefficients ajk. Since, furthermore, M X i(uj ;x) f(x) = e fj(x) j=1 by Assumption (A1), we conclude that M X X i(uj +k;x) f(x) = ajke j=1 k2ZN in Ω. Since ! has a positive measure, the coefficients ajk do not vanish identi- cally. On the other hand, Z jf(x)j2 dx = 0; Ωn! so that the first estimate of (2.2) fails. In order to complete the proof of the first part of the theorem it suffices to show that if the estimates (2.3) hold for some Λ and Ω, and L is an N invertible linear transformation of R , then the estimates 2 1 Z ∗ X 2 X i(L λ,x) X 2 c1 jaλj ≤ −1 aλe dx ≤ c2 jaλj jL (Ω)j −1 λ2Λ L (Ω) λ2Λ λ2Λ also hold. This follows from the change of variable formula: if x = Lx0, then 2 2 Z Z X i(k;x) X i(L∗k;x0) 0 ake dx = jdet Lj ake dx ; Ω L−1(Ω) k2ZN k2ZN where det L denotes the determinant of L, and −1 jΩj L (Ω) = : jdet Lj Since L transforms non-empty open sets into non-empty open sets, the second part of the theorem also holds in the general case. Remarks 2.3. (i) A standard application of the triangle inequality implies that the as- sumptions (A1) and (A2) are not necessary for the second inequality in (2.3). (ii) The assumption (A2) is not necessary for Part (ii) of the theorem. This may be shown by taking a maximal subset of the vectors for which the corresponding columns of the matrix E are linearly independent, and by completing this subset to a new set of vectors satisfying (A1) and (A2). INGHAM TYPE INEQUALITIES IN LATTICES 5 Given a lattice M [ ∗ N N (2.4) Λ := L uj + Z ⊂ R j=1 we may wonder whether we there exists another representation M0 [ ∗ N N (2.5) Λ = L0 u~j + Z ⊂ R j=1 with another invertible matrix L0 and a smaller integer M0. As we will see in the rest of the paper choosing the minimal M may substantially simplify the study of optimal integration domains. The following simple condition will allow us to determine the smallest M N in all but one of the examples in this work. Given two points a; b 2 R , let us introduce the lattice Λ(a; b) := fa + k(b − a): k 2 Zg generated by a and b. N Lemma 2.4. If there exist M points a1; : : : ; aM 2 R such that Λ(ai; ak) 6⊂ Λ for all i 6= k, then the number M in the representation (2.4) of Λ is the smallest possible. ∗ N Proof. If two points ai and ak belong to the same set L0 u~j + Z in another representation (2.5), then ∗ N Λ(ai; ak) ⊂ L0 u~j + Z ⊂ Λ; contradicting our hypothesis. Therefore each point ai corresponds to a dif- ferent j, and thus M ≤ M0. 3. Triangular and hexagonal lattices We illustrate Theorem 2.2 by two examples. 3.1. Regular triangular lattice. Choosing1 N = 2;M = 1; u1 = v1 = (0; 0) and 1 0 p L = 1 3 2 2 (as usual, we identify the linear transformations with their matrices in the 2 canonical basis of R ), ( p ! ) k 3k Λ = k + 2 ; 2 : k 2 2 1 2 2 Z 1We write the vectors as row vectors but we consider them as column vectors in the computations with matrices. 6 V. KOMORNIK, A. C. LAI, AND P. LORETI 6 4 2 1 2 3 4 5 6 -2 −1 (a) Λ (b) L (Ω0) Figure 1. Hexagonal lattice is a triangular lattice formed by equilateral triangles of unit side. Further- more, since −1 1 0 L = p−1 p2 ; 3 3 −1 Ω = L (Ω0) is a parallelogram of vertices 2π 4π 2π (0; 0); 2π; −p ; 0; p ; 2π; p : 3 3 3 2 Its area is equal to 8pπ ; see Figure 1.
Recommended publications
  • JMM 2017 Student Poster Session Abstract Book
    Abstracts for the MAA Undergraduate Poster Session Atlanta, GA January 6, 2017 Organized by Eric Ruggieri College of the Holy Cross and Chasen Smith Georgia Southern University Organized by the MAA Committee on Undergraduate Student Activities and Chapters and CUPM Subcommittee on Research by Undergraduates Dear Students, Advisors, Judges and Colleagues, If you look around today you will see over 300 posters and nearly 500 student presenters, representing a wide array of mathematical topics and ideas. These posters showcase the vibrant research being conducted as part of summer programs and during the academic year at colleges and universities from across the United States and beyond. It is so rewarding to see this session, which offers such a great opportunity for interaction between students and professional mathematicians, continue to grow. The judges you see here today are professional mathematicians from institutions around the world. They are advisors, colleagues, new Ph.D.s, and administrators. We have acknowledged many of them in this booklet; however, many judges here volunteered on site. Their support is vital to the success of the session and we thank them. We are supported financially by Tudor Investments and Two Sigma. We are also helped by the mem- bers of the Committee on Undergraduate Student Activities and Chapters (CUSAC) in some way or other. They are: Dora C. Ahmadi; Jennifer Bergner; Benjamin Galluzzo; Kristina Cole Garrett; TJ Hitchman; Cynthia Huffman; Aihua Li; Sara Louise Malec; Lisa Marano; May Mei; Stacy Ann Muir; Andy Nieder- maier; Pamela A. Richardson; Jennifer Schaefer; Peri Shereen; Eve Torrence; Violetta Vasilevska; Gerard A.
    [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]
  • Research Statement
    Research Statement Nicholas Matteo My research is in discrete geometry and combinatorics, focusing on the symmetries of convex polytopes and tilings of Euclidean space by convex polytopes. I have classified all the convex polytopes with 2 or 3 flag orbits, and studied the possibility of polytopes or tilings which are highly symmetric combinatorially but not realizable with full geometric symmetry. 1. Background. Polytopes have been studied for millennia, and have been given many definitions. By (convex) d-polytope, I mean the convex hull of a finite collection of points in Euclidean space, whose affine hull is d-dimensional. Various other definitions don't require convexity, resulting in star-polytopes such as the Kepler- Poinsot polyhedra. A convex d-polytope may be regarded as a tiling of the (d − 1)- sphere; generalizing this, we can regard tilings of other spaces as polytopes. The combinatorial aspects that most of these definitions have in common are captured by the definition of an abstract polytope. An abstract polytope is a ranked, partially ordered set of faces, from 0-faces (vertices), 1-faces (edges), up to (d − 1)-faces (facets), satisfying certain axioms [7]. The symmetries of a convex polytope P are the Euclidean isometries which carry P to itself, and form a group, the symmetry group of P . Similarly, the automorphisms of an abstract polytope K are the order-preserving bijections from K to itself and form the automorphism group of K.A flag of a polytope is a maximal chain of its faces, ordered by inclusion: a vertex, an edge incident to the vertex, a 2-face containing the edge, and so on.
    [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]
  • Convex Polytopes and Tilings with Few Flag Orbits
    Convex Polytopes and Tilings with Few Flag Orbits by Nicholas Matteo B.A. in Mathematics, Miami University M.A. in Mathematics, Miami University A dissertation submitted to The Faculty of the College of Science of Northeastern University in partial fulfillment of the requirements for the degree of Doctor of Philosophy April 14, 2015 Dissertation directed by Egon Schulte Professor of Mathematics Abstract of Dissertation The amount of symmetry possessed by a convex polytope, or a tiling by convex polytopes, is reflected by the number of orbits of its flags under the action of the Euclidean isometries preserving the polytope. The convex polytopes with only one flag orbit have been classified since the work of Schläfli in the 19th century. In this dissertation, convex polytopes with up to three flag orbits are classified. Two-orbit convex polytopes exist only in two or three dimensions, and the only ones whose combinatorial automorphism group is also two-orbit are the cuboctahedron, the icosidodecahedron, the rhombic dodecahedron, and the rhombic triacontahedron. Two-orbit face-to-face tilings by convex polytopes exist on E1, E2, and E3; the only ones which are also combinatorially two-orbit are the trihexagonal plane tiling, the rhombille plane tiling, the tetrahedral-octahedral honeycomb, and the rhombic dodecahedral honeycomb. Moreover, any combinatorially two-orbit convex polytope or tiling is isomorphic to one on the above list. Three-orbit convex polytopes exist in two through eight dimensions. There are infinitely many in three dimensions, including prisms over regular polygons, truncated Platonic solids, and their dual bipyramids and Kleetopes. There are infinitely many in four dimensions, comprising the rectified regular 4-polytopes, the p; p-duoprisms, the bitruncated 4-simplex, the bitruncated 24-cell, and their duals.
    [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]
  • Two-Dimensional Tessellation by Molecular Tiles Constructed from Halogen–Halogen and Halogen–Metal Networks
    ARTICLE DOI: 10.1038/s41467-018-07323-6 OPEN Two-dimensional tessellation by molecular tiles constructed from halogen–halogen and halogen–metal networks Fang Cheng1, Xue-Jun Wu2, Zhixin Hu 3, Xuefeng Lu1, Zijing Ding4, Yan Shao5, Hai Xu1,4, Wei Ji 6, Jishan Wu 1 & Kian Ping Loh 1,4 1234567890():,; Molecular tessellations are often discovered serendipitously, and the mechanisms by which specific molecules can be tiled seamlessly to form periodic tessellation remain unclear. Fabrication of molecular tessellation with higher symmetry compared with traditional Bravais lattices promises potential applications as photonic crystals. Here, we demonstrate that highly complex tessellation can be constructed on Au(111) from a single molecular building block, hexakis(4-iodophenyl)benzene (HPBI). HPBI gives rise to two self-assembly phases on Au(111) that possess the same geometric symmetry but different packing densities, on account of the presence of halogen-bonded and halogen–metal coordinated networks. Sub- domains of these phases with self-similarity serve as tiles in the periodic tessellations to express polygons consisting of parallelograms and two types of triangles. Our work highlights the important principle of constructing multiple phases with self-similarity from a single building block, which may constitute a new route to construct complex tessellations. 1 Department of Chemistry, National University of Singapore, Singapore 117543, Singapore. 2 State Key Laboratory of Coordination Chemistry, School of Chemistry and Chemical Engineering, Nanjing University, 210023 Nanjing, China. 3 Center for Joint Quantum Studies and Department of Physics, Institute of Science, Tianjin University, 300350 Tianjin, China. 4 Centre for Advanced 2D Materials and Graphene Research Centre, National University of Singapore, Singapore 117546, Singapore.
    [Show full text]
  • A Principled Approach to the Modelling of Kagome Weave Patterns for the Fabrication of Interlaced Lattice Structures Using Straight Strips
    Beyond the basket case: A principled approach to the modelling of kagome weave patterns for the fabrication of interlaced lattice structures using straight strips. Phil Ayres, Alison Grace Martin, Mateusz Zwierzycki Phil Ayres [email protected] CITA, Denmark Alison Grace Martin [email protected] Independant 3D Weaver, Italy Mateusz Zwierzycki [email protected] The Object, Poland Keywords: Kagome, triaxial weaving, basket weaving, textiles, mesh topology, mesh valence, mesh dual, fabrication, constraint modelling, constraint based simulation, design computation 72 AAG2018 73 Abstract This paper explores how computational methods of representation can support and extend kagome handcraft towards the fabrication of interlaced lattice structures in an expanded set of domains, beyond basket making. Through reference to the literature and state of the art, we argue that the instrumentalisation of kagome principles into computational design methods is both timely and relevant; it addresses a growing interest in such structures across design and engineering communities; it also fills a current gap in tools that facilitate design and fabrication investigation across a spectrum of expertise, from the novice to the expert. The paper describes the underlying topological and geometrical principles of kagome weave, and demonstrates the direct compatibility of these principles to properties of computational triangular meshes and their duals. We employ the known Medial Construction method to generate the weave pattern, edge ‘walking’ methods to consolidate geometry into individual strips, physics based relaxation to achieve a materially informed final geometry and projection to generate fabri- cation information. Our principle contribution is the combination of these methods to produce a principled workflow that supports design investigation of kagome weave patterns with the constraint of being made using straight strips of material.
    [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]