Conformal Quasicrystals and Holography

Total Page:16

File Type:pdf, Size:1020Kb

Conformal Quasicrystals and Holography Conformal Quasicrystals and Holography Latham Boyle1, Madeline Dickens2 and Felix Flicker2;3 1Perimeter Institute for Theoretical Physics, Waterloo, Ontario N2L 2Y5, Canada, N2L 2Y5 2Department of Physics, University of California, Berkeley, California 94720, USA 3Rudolf Peierls Centre for Theoretical Physics, University of Oxford, Department of Physics, Clarendon Laboratory, Parks Road, Oxford, OX1 3PU, United Kingdom Recent studies of holographic tensor network models defined on regular tessellations of hyperbolic space have not yet addressed the underlying discrete geometry of the boundary. We show that the boundary degrees of freedom naturally live on a novel structure, a conformal quasicrystal, that pro- vides a discrete model of conformal geometry. We introduce and construct a class of one-dimensional conformal quasicrystals, and discuss a higher-dimensional example (related to the Penrose tiling). Our construction permits discretizations of conformal field theories that preserve an infinite discrete subgroup of the global conformal group at the cost of lattice periodicity. I. INTRODUCTION dom [12{24]. Meanwhile, quantum information theory provides a unifying language for these studies in terms of entanglement, quantum circuits, and quantum error A central topic in theoretical physics over the past two correction [25]. decades has been holography: the idea that a quantum These investigations have gradually clarified our un- theory in a bulk space may be precisely dual to another derstanding of the discrete geometry in the bulk. There living on the boundary of that space. The most concrete has been a common expectation, based on an analogy and widely-studied realization of this idea has been the with AdS/CFT [1{3], that TNs living on discretizations AdS/CFT correspondence [1{3], in which a gravitational of a hyperbolic space define a lattice state of a critical theory living in a (d + 1)-dimensional negatively-curved system on the boundary and vice-versa. Initially, this bulk spacetime is dual to a non-gravitational theory liv- led Swingle to interpret Vidal's Multiscale Entanglement ing on its d-dimensional boundary. Over the past decade, Renormalization Ansatz (MERA) as a discretized ver- investigations of this duality have yielded mounting evi- sion of a time-slice of the AdS geometry [7, 12]. How- dence that spacetime and its geometry can in some sense ever, MERA has a preferred causal direction, while any be regarded as emergent phenomena, reflecting the en- discretization of a spacelike manifold should not. To fix tanglement pattern of some other underlying quantum this issue, it was proposed that MERA was related, first degrees of freedom [4]. to a different object known as the kinematic space of AdS Recently, physicists have been interested in the possi- [18, 26] and, more recently, to a light-like geometry [27]. bility that discrete models of holography would permit Meanwhile, new TN models (e.g. the holographic them to understand this idea in greater detail, by bring- quantum error-correcting codes of [16], the hyper- ing in the tools of condensed matter physics and quan- invariant networks of [21], or the matchgate networks of tum information theory | much as lattice gauge theory [24]) were introduced to more adequately capture AdS. led to conceptual and practical progress in understand- The key feature of these new TNs is that they live on ing gauge theories in the continuum [5]. Recent years regular tilings of hyperbolic space [28]. The symmetries have seen a surge of interest in discrete models of holog- of such a tessellation form an infinite discrete subgroup raphy based on tensor networks (TNs). Such holographic of the continuous symmetry group of the AdS time-slice, TNs relate the quantum degrees of freedom (DOF) liv- much as the symmetries of an ordinary 3D lattice or crys- ing on a discretized (d + 1)-dimensional hyperbolic space tal form an infinite discrete subgroup of the continuous to corresponding DOF on the discretized d-dimensional symmetry group of 3D Euclidean space. Physically, such arXiv:1805.02665v2 [hep-th] 12 Dec 2019 boundary of that space. They bridge condensed matter TNs represent a discretization of the continuous bulk physics, quantum gravity, and quantum information. space, much as a crystal represents a discretization of In condensed matter physics, holographic TNs pro- a continuum material. In this paper, we restrict our at- vide a computationally efficient description of the highly- tention to TNs of this type. entangled ground-states of quantum many-body systems Despite progress in describing the discrete bulk geom- (particularly scale invariant systems or systems near their etry, the question of which discrete geometric spaces are critical points). The entanglement pattern is described suitable for the boundary has received little attention. In by tensors living on an emergent discrete hyperbolic ge- a discrete model of the AdS/CFT correspondence, we ometry in one dimension higher [6{11]. On the quantum expect to be able to construct the discrete boundary ge- gravity side, the TNs are a kind of UV regulator of the ometry entirely from the data of the bulk tessellation, in physics in the bulk, and a proposed way to represent the analogy with the continuum case, where it is well-known fact that spacetime and its geometry may be regarded as that the data of any asymptotically AdS spacetime define emergent phenomena, reflecting the entanglement pat- a conformal manifold on its boundary [2]. While this ex- tern of some other underlying quantum degrees of free- pectation seems natural, we are unaware of a correspond- 2 ing discrete construction in the literature. In condensed matter physics, the discrete boundary geometry is typi- cally assumed to be a periodic lattice; but, as we observe here, there is no natural way in which an ordinary reg- ular tessellation of hyperbolic space defines a periodic lattice on its boundary, and no natural way for the dis- crete symmetries of the bulk to act on such a boundary lattice [48] [49]. Thus we expect that, in implementing a discrete version of AdS/CFT, it will be natural to replace the periodic boundary lattice with a different discrete ob- ject. Such a replacement is reasonable, from a Wilsonian viewpoint, as the choice of underlying lattice becomes irrelevant at a critical point [30]. In this paper, we argue that the DOF on the bound- ary of a regular tessellation of hyperbolic space naturally live on a remarkable structure { a conformal quasicrystal FIG. 1: The Penrose tiling [33]. The two different tiles (red (CQC) { built entirely from the data of the bulk tessel- and blue) cover the entire Euclidean plane in an aperiodic lation. This is a new clue about the type of boundary manner without gaps. Centers of approximate five-fold sym- theory that should appear in a discrete version of holog- metry can be seen. The tiling can be created through a cut- raphy. Far from being a simple periodic lattice, each and-project method from a five-dimensional hypercubic lat- CQC locally resembles a self-similar quasicrystal [31{35] tice or a four-dimensional A4 lattice, or by applying ‘inflation (like the Penrose tiling [36], shown in Fig. 1) and pos- rules' to a finite-size starting configuration [31{33]. sesses discrete symmetries worthy of a discretization of a conformal manifold. In this paper, we focus on the d = 1 case, but with a view towards higher dimensions and β; and let sα(α; β) and sβ(α; β) be two finite strings (which we discuss briefly near the end). We propose to of αs and βs. We can act on Π with the inflation rule use our framework to construct discretizations of CFTs τ :(α; β) 7! (s (α; β); s (α; β)) (1) that preserve an infinite discrete subgroup of the global α β conformal group at the cost of exact discrete translation which replaces each α or β in Π by the string sα(α; β) invariance (which is replaced by quasi-translational in- 0 or sβ(α; β), respectively, to obtain a new string Π . The variance). We end with suggestions for future research, inverse map is the corresponding deflation rule: and a discussion of how our results will hopefully provide −1 an important clue in the ongoing effort to formulate a dis- τ :(sα(α; β); sβ(α; β)) 7! (α; β): (2) crete version of holography, and also lead to an improved analytical and numerical understanding of the structure Note that, while the inflation rule has a well-defined ac- of condensed matter systems at their critical points, and tion on any string Π of αs and βs, the corresponding other conformally invariant systems. deflation map only has a well-defined action on a string Π that may be uniquely partitioned into substrings of the form sα(α; β) and sβ(α; β). II. QUASICRYSTALS IN d = 1. Any inflation rule τ induces a matrix Mτ that en- codes the growth of Nα and Nβ (the number of αs We begin by briefly introducing self-similar quasicrys- and βs, respectively, in the string). For example, un- tals (SSQCs) in d = 1 (see Refs. [31{35] for further der τ :(α; β) 7! (αβα; αβαβα), which corresponds to details). For general d, an SSQC may be thought inflation rule 3b in Table 1 of [34], we have of as a special quasiperiodically-ordered set of discrete N 0 N 2 3 points in Euclidean space (like the vertices in an infi- α = M α ;M = : (3) N 0 τ N τ 1 2 nite 2D Penrose tiling, shown in Fig. 1). The same β β SSQC can be constructed in two very different ways: p either (i) by a cut-and-project method based on tak- If λ is the largest eigenvalue of Mτ (λ = 3 + 2), we can ing an irrationally-sloped slice through a periodic lattice represent Π geometrically as a sequence of 1D line seg- in a higher-dimensional Euclidean space, and projecting ments or `tiles' of length Lα and Lβ, where (Lα;Lβ) is α β nearby points onto the slice; or (ii) by recursive iteration the corresponding left eigenvector of Mτ .
Recommended publications
  • WHAT IS...A Quasicrystal?, Volume 53, Number 8
    ?WHAT IS... a Quasicrystal? Marjorie Senechal The long answer is: no one is sure. But the short an- diagrams? The set of vertices of a Penrose tiling does— swer is straightforward: a quasicrystal is a crystal that was known before Shechtman’s discovery. But with forbidden symmetry. Forbidden, that is, by “The what other objects do, and how can we tell? The ques- Crystallographic Restriction”, a theorem that confines tion was wide open at that time, and I thought it un- the rotational symmetries of translation lattices in two- wise to replace one inadequate definition (the lattice) and three-dimensional Euclidean space to orders 2, 3, with another. That the commission still retains this 4, and 6. This bedrock of theoretical solid-state sci- definition today suggests the difficulty of the ques- ence—the impossibility of five-fold symmetry in crys- tion we deliberately but implicitly posed. By now a tals can be traced, in the mineralogical literature, back great many kinds of aperiodic crystals have been to 1801—crumbled in 1984 when Dany Shechtman, a grown in laboratories around the world; most of them materials scientist working at what is now the National are metals, alloys of two or three kinds of atoms—bi- Institute of Standards and Technology, synthesized nary or ternary metallic phases. None of their struc- aluminium-manganese crystals with icosahedral sym- tures has been “solved”. (For a survey of current re- metry. The term “quasicrystal”, hastily coined to label search on real aperiodic crystals see, for example, the such theretofore unthinkable objects, suggests the website of the international conference ICQ9, confusions that Shechtman’s discovery sowed.
    [Show full text]
  • On Discrete Generalised Triangle Groups
    Proceedings of the Edinburgh Mathematical Society (1995) 38, 397-412 © ON DISCRETE GENERALISED TRIANGLE GROUPS by M. HAGELBERG, C. MACLACHLAN and G. ROSENBERGER (Received 29th October 1993) A generalised triangle group has a presentation of the form where R is a cyclically reduced word involving both x and y. When R=xy, these classical triangle groups have representations as discrete groups of isometries of S2, R2, H2 depending on In this paper, for other words R, faithful discrete representations of these groups in Isom + H3 = PSL(2,C) are considered with particular emphasis on the case /? = [x, y] and also on the relationship between the Euler characteristic x and finite covolume representations. 1991 Mathematics subject classification: 20H15. 1. Introduction In this article, we consider generalised triangle groups, i.e. groups F with a presentation of the form where R(x,y) is a cyclically reduced word in the free product on x,y which involves both x and y. These groups have been studied for their group theoretical interest [8, 7, 13], for topological reasons [2], and more recently for their connections with hyperbolic 3-manifolds and orbifolds [12, 10]. Here we will be concerned with faithful discrete representations p:T-*PSL(2,C) with particular emphasis on the cases where the Kleinian group p(F) has finite covolume. In Theorem 3.2, we give necessary conditions on the group F so that it should admit such a faithful discrete representation of finite covolume. For certain generalised triangle groups where the word R(x,y) has a specified form, faithful discrete representations as above have been constructed by Helling-Mennicke- Vinberg [12] and by the first author [11].
    [Show full text]
  • Quasicrystals a New Kind of Symmetry Sandra Nair First, Definitions
    Quasicrystals A new kind of symmetry Sandra Nair First, definitions ● A lattice is a poset in which every element has a unique infimum and supremum. For example, the set of natural numbers with the notion of ordering by magnitude (1<2). For our purposes, we can think of an array of atoms/molecules with a clear sense of assignment. ● A Bravais lattice is a discrete infinite array of points generated by linear integer combinations of 3 independent primitive vectors: {n1a1 + n2a2 + n3a3 | n1, n2, n3 ∈ Z}. ● Crystal structures = info of lattice points + info of the basis (primitive) vectors. ● Upto isomorphism of point groups (group of isometries leaving at least 1 fixed point), 14 different Bravais lattice structures possible in 3D. Now, crystals... ● Loosely speaking, crystals are molecular arrangements built out of multiple unit cells of one (or more) Bravais lattice structures. ● Crystallographic restriction theorem: The rotational symmetries of a discrete lattice are limited to 2-, 3-, 4-, and 6-fold. ● This leads us to propose a “functional” definition: A crystal is a material that has a discrete diffraction pattern, displaying rotational symmetries of orders 2, 3, 4 and 6. ● Note: Order 5 is a strictly forbidden symmetry → important for us. Tessellations aka tilings Now that we have diffraction patterns to work with, we consider the question of whether a lattice structure tiles or tessellates the plane. This is where the order of the symmetry plays a role. The crystals are special, as they display translational symmetries. As such, the tiling of their lattice structures (which we could see thanks to diffraction patterns) are periodic- they repeat at regular intervals.
    [Show full text]
  • Arxiv:Math/0306105V2
    A bound for the number of automorphisms of an arithmetic Riemann surface BY MIKHAIL BELOLIPETSKY Sobolev Institute of Mathematics, Novosibirsk, 630090, Russia e-mail: [email protected] AND GARETH A. JONES Faculty of Mathematical Studies, University of Southampton, Southampton, SO17 1BJ e-mail: [email protected] Abstract We show that for every g ≥ 2 there is a compact arithmetic Riemann surface of genus g with at least 4(g − 1) automorphisms, and that this lower bound is attained by infinitely many genera, the smallest being 24. 1. Introduction Schwarz [17] proved that the automorphism group of a compact Riemann surface of genus g ≥ 2 is finite, and Hurwitz [10] showed that its order is at most 84(g − 1). This bound is sharp, by which we mean that it is attained for infinitely many g, and the least genus of such an extremal surface is 3. However, it is also well known that there are infinitely many genera for which the bound 84(g − 1) is not attained. It therefore makes sense to consider the maximal order N(g) of the group of automorphisms of any Riemann surface of genus g. Accola [1] and Maclachlan [14] independently proved that N(g) ≥ 8(g +1). This bound is also sharp, and according to p. 93 of [2], Paul Hewitt has shown that the least genus attaining it is 23. Thus we have the following sharp bounds for N(g) with g ≥ 2: 8(g + 1) ≤ N(g) ≤ 84(g − 1). arXiv:math/0306105v2 [math.GR] 21 Nov 2004 We now consider these bounds from an arithmetic point of view, defining arithmetic Riemann surfaces to be those which are uniformized by arithmetic Fuchsian groups.
    [Show full text]
  • A Review of Transmission Electron Microscopy of Quasicrystals—How Are Atoms Arranged?
    crystals Review A Review of Transmission Electron Microscopy of Quasicrystals—How Are Atoms Arranged? Ruitao Li 1, Zhong Li 1, Zhili Dong 2,* and Khiam Aik Khor 1,* 1 School of Mechanical & Aerospace Engineering, Nanyang Technological University, 50 Nanyang Avenue, Singapore 639798, Singapore; [email protected] (R.L.); [email protected] (Z.L.) 2 School of Materials Science and Engineering, Nanyang Technological University, 50 Nanyang Avenue, Singapore 639798, Singapore * Correspondence: [email protected] (Z.D.); [email protected] (K.A.K.); Tel.: +65-6790-6727 (Z.D.); +65-6592-1816 (K.A.K.) Academic Editor: Enrique Maciá Barber Received: 30 June 2016; Accepted: 15 August 2016; Published: 26 August 2016 Abstract: Quasicrystals (QCs) possess rotational symmetries forbidden in the conventional crystallography and lack translational symmetries. Their atoms are arranged in an ordered but non-periodic way. Transmission electron microscopy (TEM) was the right tool to discover such exotic materials and has always been a main technique in their studies since then. It provides the morphological and crystallographic information and images of real atomic arrangements of QCs. In this review, we summarized the achievements of the study of QCs using TEM, providing intriguing structural details of QCs unveiled by TEM analyses. The main findings on the symmetry, local atomic arrangement and chemical order of QCs are illustrated. Keywords: quasicrystal; transmission electron microscopy; symmetry; atomic arrangement 1. Introduction The revolutionary discovery of an Al–Mn compound with 5-fold symmetry by Shechtman et al. [1] in 1982 unveiled a new family of materials—quasicrystals (QCs), which exhibit the forbidden rotational symmetries in the conventional crystallography.
    [Show full text]
  • Some Considerations Relating to the Dynamics of Quasicrystals
    Some considerations relating to the dynamics of quasicrystals M. Pitk¨anen Email: [email protected]. http://tgdtheory.com/public_html/. November 12, 2012 Contents 1 The dynamics of quasicrystals, the dynamics of K¨ahleraction, symbolic dynamics, and the dynamics of self-organization 1 1.1 The non-determinism for the dynamics of quasicrystals contra non-determinism of K¨ahleraction . .1 1.2 The dynamics of quasicrystals as a model for fundamental dynamics or high level sym- bolic dynamics? . .2 1.3 Could ordered water layers around biomolecules be modelled as quasicrystal like structure?3 2 What could be the variational principle behind self-organization? 4 2.1 Why Negentropy Maximization Principle should favor quasicrystals? . .5 2.2 Maximal capacity to represent information with minimal metabolic energy costs as a basic variational principle? . .5 2.3 A possible realization for 4-D dynamics favoring quasicrystal like structures . .6 2.4 Summary . .7 1 The dynamics of quasicrystals, the dynamics of K¨ahlerac- tion, symbolic dynamics, and the dynamics of self-organization The dynamics of quasicrystals looks to me very interesting because it shares several features of the dynamics of K¨ahleraction defining the basic variational principle of classical TGD and defining the dynamics of space-time surfaces. In the following I will compare the basic features of the dynamics of quasicrystals to the dynamics of preferred extremals of K¨ahleraction [K1]. Magnetic body carrying dark matter is the fundamental intentional agent in TGD inspired quantum biology and the cautious proposal is that magnetic flux sheets could define the grid of 3-planes (or more general 3-surfaces) defining quasi-periodic background fields favoring 4-D quasicrystals or more general structures in TGD Universe.
    [Show full text]
  • Arxiv:1012.2020V1 [Math.CV]
    TRANSITIVITY ON WEIERSTRASS POINTS ZOË LAING AND DAVID SINGERMAN 1. Introduction An automorphism of a Riemann surface will preserve its set of Weier- strass points. In this paper, we search for Riemann surfaces whose automorphism groups act transitively on the Weierstrass points. One well-known example is Klein’s quartic, which is known to have 24 Weierstrass points permuted transitively by it’s automorphism group, PSL(2, 7) of order 168. An investigation of when Hurwitz groups act transitively has been made by Magaard and Völklein [19]. After a section on the preliminaries, we examine the transitivity property on several classes of surfaces. The easiest case is when the surface is hy- perelliptic, and we find all hyperelliptic surfaces with the transitivity property (there are infinitely many of them). We then consider surfaces with automorphism group PSL(2, q), Weierstrass points of weight 1, and other classes of Riemann surfaces, ending with Fermat curves. Basically, we find that the transitivity property property seems quite rare and that the surfaces we have found with this property are inter- esting for other reasons too. 2. Preliminaries Weierstrass Gap Theorem ([6]). Let X be a compact Riemann sur- face of genus g. Then for each point p ∈ X there are precisely g integers 1 = γ1 < γ2 <...<γg < 2g such that there is no meromor- arXiv:1012.2020v1 [math.CV] 9 Dec 2010 phic function on X whose only pole is one of order γj at p and which is analytic elsewhere. The integers γ1,...,γg are called the gaps at p. The complement of the gaps at p in the natural numbers are called the non-gaps at p.
    [Show full text]
  • REFLECTION GROUPS and COXETER GROUPS by Kouver
    REFLECTION GROUPS AND COXETER GROUPS by Kouver Bingham A Senior Honors Thesis Submitted to the Faculty of The University of Utah In Partial Fulfillment of the Requirements for the Honors Degree in Bachelor of Science In Department of Mathematics Approved: Mladen Bestviva Dr. Peter Trapa Supervisor Chair, Department of Mathematics ( Jr^FeraSndo Guevara Vasquez Dr. Sylvia D. Torti Department Honors Advisor Dean, Honors College July 2014 ABSTRACT In this paper we give a survey of the theory of Coxeter Groups and Reflection groups. This survey will give an undergraduate reader a full picture of Coxeter Group theory, and will lean slightly heavily on the side of showing examples, although the course of discussion will be based on theory. We’ll begin in Chapter 1 with a discussion of its origins and basic examples. These examples will illustrate the importance and prevalence of Coxeter Groups in Mathematics. The first examples given are the symmetric group <7„, and the group of isometries of the ^-dimensional cube. In Chapter 2 we’ll formulate a general notion of a reflection group in topological space X, and show that such a group is in fact a Coxeter Group. In Chapter 3 we’ll introduce the Poincare Polyhedron Theorem for reflection groups which will vastly expand our understanding of reflection groups thereafter. We’ll also give some surprising examples of Coxeter Groups that section. Then, in Chapter 4 we’ll make a classification of irreducible Coxeter Groups, give a linear representation for an arbitrary Coxeter Group, and use this complete the fact that all Coxeter Groups can be realized as reflection groups with Tit’s Theorem.
    [Show full text]
  • Quasicrystals
    Volume 106, Number 6, November–December 2001 Journal of Research of the National Institute of Standards and Technology [J. Res. Natl. Inst. Stand. Technol. 106, 975–982 (2001)] Quasicrystals Volume 106 Number 6 November–December 2001 John W. Cahn The discretely diffracting aperiodic crystals Key words: aperiodic crystals; new termed quasicrystals, discovered at NBS branch of crystallography; quasicrystals. National Institute of Standards and in the early 1980s, have led to much inter- Technology, disciplinary activity involving mainly Gaithersburg, MD 20899-8555 materials science, physics, mathematics, and crystallography. It led to a new un- Accepted: August 22, 2001 derstanding of how atoms can arrange [email protected] themselves, the role of periodicity in na- ture, and has created a new branch of crys- tallography. Available online: http://www.nist.gov/jres 1. Introduction The discovery of quasicrystals at NBS in the early Crystal periodicity has been an enormously important 1980s was a surprise [1]. By rapid solidification we had concept in the development of crystallography. Hau¨y’s made a solid that was discretely diffracting like a peri- hypothesis that crystals were periodic structures led to odic crystal, but with icosahedral symmetry. It had long great advances in mathematical and experimental crys- been known that icosahedral symmetry is not allowed tallography in the 19th century. The foundation of crys- for a periodic object [2]. tallography in the early nineteenth century was based on Periodic solids give discrete diffraction, but we did the restrictions that periodicity imposes. Periodic struc- not know then that certain kinds of aperiodic objects can tures in two or three dimensions can only have 1,2,3,4, also give discrete diffraction; these objects conform to a and 6 fold symmetry axes.
    [Show full text]
  • Dessins D'enfants and Counting Quasiplatonic Surfaces
    Dessins d'Enfants and Counting Quasiplatonic Surfaces Charles Camacho Oregon State University USTARS at Reed College, Portland, Oregon April 8, 2018 1 The Compact Surface X ... 2 ...with a Bipartite Map... 4 2 6 1 7 5 1 3 7 2 6 3 5 4 3 ...as an Algebraic Curve over Q... 4 2 6 1 7 5 1 3 7 2 6 3 5 4 y 2 = x7 − x 4 ∼ ...with a Uniformizing Fuchsian Group Γ = π1(X )... 6 1 7 7 5 2 6 1 4 3 5 2 3 4 ∼ X = H=Γ 5 ...Contained in a Hyperbolic Triangle Group... 6 1 7 7 5 2 6 1 4 3 5 2 3 4 ∼ X = H=Γ Γ C ∆(n1; n2; n3) 6 ...with the Cyclic Group as Quotient 6 1 7 7 5 2 6 1 4 3 5 2 3 ∼ 4 X = H=Γ Γ C ∆(n1; n2; n3) ∼ ∆(n1; n2; n3)=Γ = Cn, the cyclic group of order n 7 Method: Enumerate all quasiplatonic actions of Cn on surfaces! Main Question How many quasiplatonic surfaces have regular dessins d'enfants with automorphism group Cn? 8 Main Question How many quasiplatonic surfaces have regular dessins d'enfants with automorphism group Cn? Method: Enumerate all quasiplatonic actions of Cn on surfaces! 8 Example Three dessins with order-seven symmetry on the Riemann sphere. Dessins d'Enfants A dessin d'enfant is a pair (X ; D), where X is an orientable, compact surface and D ⊂ X is a finite graph such that 1 D is connected, 2 D is bicolored (i.e., bipartite), 3 X n D is the union of finitely many topological discs, called the faces of D.
    [Show full text]
  • On Subgroups of Tetrahedron Groups
    On Subgroups of Tetrahedron Groups Ma. Louise N. De Las Peñas1, Rene P. Felix2 and Glenn R. Laigo3 1Mathematics Department, Ateneo de Manila University, Loyola Heights, Quezon City, Philippines. [email protected] 2Institute of Mathematics, University of the Philippines – Diliman, Diliman, Quezon City, Philippines. [email protected] 3Mathematics Department, Ateneo de Manila University, Loyola Heights, Quezon City, Philippines. [email protected] Abstract. We present a framework to determine subgroups of tetrahedron groups and tetrahedron Kleinian groups, based on tools in color symmetry theory. Mathematics Subject Classification (2000). 20F55, 20F67 Key words. Coxeter tetrahedra, tetrahedron groups, tetrahedron Kleinian groups, color symmetry 1 Introduction In [6, 7] the determination of the subgroups of two-dimensional symmetry groups was facilitated using a geometric approach and applying concepts in color symmetry theory. In particular, these works derived low-indexed subgroups of a triangle group *abc, a group generated by reflections along the sides of a given triangle ∆ with interior angles π/a, π/b and π/c where a, b, c are integers ≥ 2. The elements of *abc are symmetries of the tiling formed by copies of ∆. The subgroups of *abc were calculated from colorings of this given tiling, assuming a corresponding group of color permutations. In this work, we pursue the three dimensional case and extend the problem to determine subgroups of tetrahedron groups, groups generated by reflections along the faces of a Coxeter tetrahedron, which are groups of symmetries of tilings in space by tetrahedra. The study will also address determining subgroups of other types of three dimensional symmetry groups such as the tetrahedron Kleinian groups.
    [Show full text]
  • 2007 136Th Annual Meeting & Exhibition Linking Science and Technology for Global Solutions
    2007 136th Annual Meeting & Exhibition Linking Science and Technology for Global Solutions Technical Program Program-at-a-Glance ..............................................................2 Session Listing .......................................................................8 Monday AM ...........................................................................16 Monday PM ............................................................................63 Tuesday AM .........................................................................117 Tuesday PM .........................................................................164 Wednesday AM ...................................................................223 Wednesday PM ...................................................................274 Thursday AM .......................................................................327 General Posters ..................................................................359 Index ....................................................................................363 2007 136th Annual Meeting & Exhibition Monday Tuesday Wednesday Thursday ROOM AM PM AM PM AM PM AM Materials Materials Intellectual Intellectual Materials Materials Materials Processing under Processing under Property in Property in Processing under Processing under Processing under the Influence of the Influence of Materials Materials the Influence of the Influence of the Influence of External Fields: External Fields: Science: Patents, Science: Patents, External Fields: External Fields:
    [Show full text]