Volume of Hyperbolic Octahedron with 3-Symmetry

Total Page:16

File Type:pdf, Size:1020Kb

Volume of Hyperbolic Octahedron with 3-Symmetry Volume of hyperbolic octahedron with 3-symmetry Nikolay Abrosimov (joint work with Ekaterina Kudina, Alexander Mednykh) Sobolev Institute of Mathematics Novosibirsk State University Novosibirsk, Russia BIRS Workshop on Discrete Geometry and Symmetry February 10, 2015 Abrosimov-Kudina-Mednykh (IM & NSU) Hyperbolic octahedron with 3-symmetry Feb. 10,2015 1/16 Introduction Calculating volumes of polyhedra is a classical problem, that has been well known since Euclid and remains relevant nowadays. This is partly due to the fact that the volume of a fundamental polyhedron is one of the main geometrical invariants for a 3-dimensional manifold. Every 3-manifold can be presented by a fundamental polyhedron. That means we can pair-wise identify the faces of some polyhedron to obtain a 3-manifold. Thus the volume of 3-manifold is the volume of prescribed fundamental polyhedron. It is known that regular hyperbolic octahedron with all vertices at infinity is a fundamental polyhedron for Whitehead link manifold. On the other hand, the minimal volume hyperbolic manifold and many others can be obtained by Dehn surgery along Whitehead link. Thus, hyperbolic octahedra can serve as fundamental polyhedra for a wide class of 3-manifolds, including hyperbolic manifolds of small volume. The latter seems especially interesting if we arrange hyperbolic manifolds in order of volume increasing. Abrosimov-Kudina-Mednykh (IM & NSU) Hyperbolic octahedron with 3-symmetry Feb. 10,2015 2/16 Introduction It is difficult problem to find the exact volume formulas for hyperbolic polyhedra of prescribed combinatorial type. It was done for hyperbolic tetrahedron of general type, but for general hyperbolic octahedron it is an open problem. Nevertheless, if we know that a polyhedron has a symmetry, then the volume calculation is essentially simplified. Firstly this effect was shown by Lobachevskij. He found the volume of an ideal tetrahedron, which is symmetric by definition. R.V. Galiulin, S.N. Mikhalev and I.Kh. Sabitov found the volumes of Euclidean octahedra with all possible types of symmetry, except the trivial one. The volumes of spherical octahedron with mmm or 2 m-symmetry | were given by N. Abrosimov, M. Godoy and A. Mednykh. The volume of hyperbolic octahedron with mmm-symmetry was obtained by N. Abrosimov and G. Baigonakova. Abrosimov-Kudina-Mednykh (IM & NSU) Hyperbolic octahedron with 3-symmetry Feb. 10,2015 3/16 Definition An octahedron has 3-symmetry if it admits the antipodal involution and order 3 rotation z 2p v 3 2 a y a a v1 c c c v3 O c c c x a v a6 v 4 a v5 3 by Hermann Mauguin notation; S6 by Sch¨onflies notation; [2+, 6+] by Coxeter notation; 3 by orbifold notation. × Abrosimov-Kudina-Mednykh (IM & NSU) Hyperbolic octahedron with 3-symmetry Feb. 10,2015 4/16 2π 2π cos sin 0 1 0 0 3 − 3 − R 2π 2π S = sin cos 0 , = 0 1 0 . 3 3 − 0 0 1 0 0 1 − Since the symmetry group acts transitively on the set of vertices of octahedron , then we fix one vertex v = (r, 0, h) and consider its orbit O 1 under action of R and S: r √3 r √3 v = (r, 0, h), v = , , h , v = , , h , 1 2 −2 2 3 −2 − 2 (1) r √3 r √3 v = ( r, 0, h), v = , , h , v = , , h . 4 − − 5 2 − 2 − 6 2 2 − Now we know the coordinates of vertices of octahedron . O Abrosimov-Kudina-Mednykh (IM & NSU) Hyperbolic octahedron with 3-symmetry Feb. 10,2015 5/16 Using the coordinates of vertices, we compute edge lengths. Then we calculate normal vectors for faces and find the cosines of dihedral angles. r a a2 = 3 r 2, cos A = − = − , √r 2 + 16 h2 3 (4 c2 a2) − r 2 8 h2 ap2 2 c2 c2 = 4 h2 + r 2, cos C = − = − . r 2 + 16 h2 −a2 4 c2 − Remark Let = (a, c) is Euclidean octahedron with 3-symmetry. Then O O a2 (i) edge lengths of satisfy the condition 0 < < 3 ; O c2 C (ii) dihedral angles of are related by equation 2 sin = √3 sin A, O 2 π 2 π where A ,π , C 0, . ∈ 2 ∈ 3 Converse is also true. a2 The volume of such an octahedron is V = 3 c2 a2 3 p − Abrosimov-Kudina-Mednykh (IM & NSU) Hyperbolic octahedron with 3-symmetry Feb. 10,2015 6/16 Caley-Klein model 4 Consider Minkowski space R1 with scalar product X , Y = x y x y x y + x y . h i − 1 1 − 2 2 − 3 3 4 4 The Caley-Klein model of hyperbolic space is the set of vectors K = (x , x , x , 1) : x2 + x2 + x2 < 1 forming the unit 3-ball in the { 1 2 3 1 2 3 } hyperplane x4 = 1. The lines and planes in K are just the intersections of ball K with Euclidean lines and planes in the hyperplane x4 = 1. Let V , W K. Assume V = (v, 1), W = (w, 1), where v, w R3. Then ∈ ∈ the scalar product of V and W in Minkowski space is expressed via the Euclidean scalar product in R3 by the formula V , W = 1 v, w E . h i − h i The distance between vectors V and W in Caley-Klein model is defined by equation V , W ch ρ (V , W )= h i . (2) V , V W , W h i h i A plane in K is a set = V K :pV , N = 0 , where N = (n, 1), P { ∈ h i } n, n E > 0 is a normal vector to the plane . h i P Abrosimov-Kudina-Mednykh (IM & NSU) Hyperbolic octahedron with 3-symmetry Feb. 10,2015 7/16 Caley-Klein model In model K consider two planes , with normal vectors N, M P Q correspondingly. Then every of four dihedral angles between the planes , is defined by relation P Q \ N, M cos ( , )= h i . (3) P Q ± N, N M, M h i h i p Now let V1 = (v1, 1), V2 = (v2, 1), V3 = (v3, 1) are three non-coplanar vectors in K. Then there is a unique plane passes through them: = V K : V , N = 0 with normal vector N = (n, 1), where the P { ∈ h i } coordinates of vector n R3 are uniquely determined as the solution of a ∈ system of linear equations v , n E 1 = 0, h 1 i − v , n E 1 = 0, h 2 i − v , n E 1 = 0. h 3 i − Abrosimov-Kudina-Mednykh (IM & NSU) Hyperbolic octahedron with 3-symmetry Feb. 10,2015 8/16 z 2p v 3 2 a y a a v1 c c c v3 O c c c x a v a6 v 4 a v5 2π − 2π − cos sin 0 0 1 0 0 0 3 3 2π 2π − sin cos 0 0 0 1 0 0 Vi =(vi , 1), R = , S = . 3 3 − 0 0 10 0 0 1 0 0 0 01 0 0 0 1 Abrosimov-Kudina-Mednykh (IM & NSU) Hyperbolic octahedron with 3-symmetry Feb. 10,2015 9/16 In Caley-Klein model K consider vectors Vi = (vi , 1), i = 1,..., 6, where vi are the vertices of Euclidean octahedron with 3-symmetry, studied before. The isometries R, S of Euclidean 3-space are naturally extended to isometries of hyperbolic space K: R : (v, 1) (Rv, 1), S : (v, 1) (Sv, 1). → → As before, R is an order 3 rotation around the axe Ox3, and S is an antipodal involution at point (0,0,0,1), which is the centre of K. In contrast to Euclidean case, we have one additional condition r 2 + h2 < 1. Or equivalently, all the vertices Vi K. Without lost of generality, assume ∈ that r > 0, h > 0. Then the vectors Vi = (vi , 1), i = 1,..., 6, are determine the vertices of a hyperbolic octahedron with 3-symmetry. O Using the coordinates of vertices we compute the edge lengths by (2): 2+ r 2 2 h2 2 r 2 + 2 h2 ch a = − , ch c = − . (4) 2 (1 r 2 h2) 2 (1 r 2 h2) − − − − Solving (7) with respect to r 2, h2 we get 4 (ch a 1) 3 ch c ch a 2 r 2 = − , h2 = − − . (5) 3 (ch a + ch c) 3 (ch a + ch c) Abrosimov-Kudina-Mednykh (IM & NSU) Hyperbolic octahedron with 3-symmetry Feb. 10,2015 10/16 Proposition A hyperbolic octahedron = (a, c), admitting 3-symmetry, with edge lengths a, c is exist if andO onlyO if 3 ch c ch a 2 > 0 . − − Using coordinates of vertices Vi , i = 1,..., 6, by formula (3) we get the cosines of dihedral angles up to choice of signs. But in particular case of regular hyperbolic octahedron we already know the answer. This allows us to choose the signs correctly. Proposition (ch c ch a 1)√ch a 1 cos A = − − − , (1 + 2 ch a)(2 ch2 c ch a 1) q − − (6) 1 ch c + ch a ch c ch2 c cos C = − − . 2 ch2 c ch a 1 − − Abrosimov-Kudina-Mednykh (IM & NSU) Hyperbolic octahedron with 3-symmetry Feb. 10,2015 11/16 We differentiate the volume as a composite function ∂V ∂V ∂A ∂V ∂C = + , ∂a ∂A ∂a ∂C ∂a (7) ∂V ∂V ∂A ∂V ∂C = + . ∂c ∂A ∂c ∂C ∂c By Schl¨afli formula we have ℓθ dV = dθ = 3 adA 3 c dC, − 2 − − Xθ ∂V ∂V hence = 3 a, = 3 c. ∂A − ∂C − Abrosimov-Kudina-Mednykh (IM & NSU) Hyperbolic octahedron with 3-symmetry Feb. 10,2015 12/16 We substitute all the expressions into formulas (7).
Recommended publications
  • Uniform Polychora
    BRIDGES Mathematical Connections in Art, Music, and Science Uniform Polychora Jonathan Bowers 11448 Lori Ln Tyler, TX 75709 E-mail: [email protected] Abstract Like polyhedra, polychora are beautiful aesthetic structures - with one difference - polychora are four dimensional. Although they are beyond human comprehension to visualize, one can look at various projections or cross sections which are three dimensional and usually very intricate, these make outstanding pieces of art both in model form or in computer graphics. Polygons and polyhedra have been known since ancient times, but little study has gone into the next dimension - until recently. Definitions A polychoron is basically a four dimensional "polyhedron" in the same since that a polyhedron is a three dimensional "polygon". To be more precise - a polychoron is a 4-dimensional "solid" bounded by cells with the following criteria: 1) each cell is adjacent to only one other cell for each face, 2) no subset of cells fits criteria 1, 3) no two adjacent cells are corealmic. If criteria 1 fails, then the figure is degenerate. The word "polychoron" was invented by George Olshevsky with the following construction: poly = many and choron = rooms or cells. A polytope (polyhedron, polychoron, etc.) is uniform if it is vertex transitive and it's facets are uniform (a uniform polygon is a regular polygon). Degenerate figures can also be uniform under the same conditions. A vertex figure is the figure representing the shape and "solid" angle of the vertices, ex: the vertex figure of a cube is a triangle with edge length of the square root of 2.
    [Show full text]
  • On Regular Polytopes Is [7]
    ON REGULAR POLYTOPES Luis J. Boya Departamento de F´ısica Te´orica Universidad de Zaragoza, E-50009 Zaragoza, SPAIN [email protected] Cristian Rivera Departamento de F´ısica Te´orica Universidad de Zaragoza, E-50009 Zaragoza, SPAIN cristian [email protected] MSC 05B45, 11R52, 51M20, 52B11, 52B15, 57S25 Keywords: Polytopes, Higher Dimensions, Orthogonal groups Abstract Regular polytopes, the generalization of the five Platonic solids in 3 space dimensions, exist in arbitrary dimension n 1; now in dim. 2, 3 and 4 there are extra polytopes, while in general≥− dimensions only the hyper-tetrahedron, the hyper-cube and its dual hyper-octahedron ex- ist. We attribute these peculiarites and exceptions to special properties of the orthogonal groups in these dimensions: the SO(2) = U(1) group being (abelian and) divisible, is related to the existence of arbitrarily- sided plane regular polygons, and the splitting of the Lie algebra of the O(4) group will be seen responsible for the Schl¨afli special polytopes in 4-dim., two of which percolate down to three. In spite of dim. 8 being also special (Cartan’s triality), we argue why there are no extra polytopes, while it has other consequences: in particular the existence of the three division algebras over the reals R: complex C, quater- nions H and octonions O is seen also as another feature of the special arXiv:1210.0601v1 [math-ph] 1 Oct 2012 properties of corresponding orthogonal groups, and of the spheres of dimension 0,1,3 and 7. 1 Introduction Regular Polytopes are the higher dimensional generalization of the (regu- lar) polygons in the plane and the (five) Platonic solids in space.
    [Show full text]
  • Wythoffian Skeletal Polyhedra
    Wythoffian Skeletal Polyhedra by Abigail Williams B.S. in Mathematics, Bates College M.S. in Mathematics, Northeastern 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 Dedication I would like to dedicate this dissertation to my Meme. She has always been my loudest cheerleader and has supported me in all that I have done. Thank you, Meme. ii Abstract of Dissertation Wythoff's construction can be used to generate new polyhedra from the symmetry groups of the regular polyhedra. In this dissertation we examine all polyhedra that can be generated through this construction from the 48 regular polyhedra. We also examine when the construction produces uniform polyhedra and then discuss other methods for finding uniform polyhedra. iii Acknowledgements I would like to start by thanking Professor Schulte for all of the guidance he has provided me over the last few years. He has given me interesting articles to read, provided invaluable commentary on this thesis, had many helpful and insightful discussions with me about my work, and invited me to wonderful conferences. I truly cannot thank him enough for all of his help. I am also very thankful to my committee members for their time and attention. Additionally, I want to thank my family and friends who, for years, have supported me and pretended to care everytime I start talking about math. Finally, I want to thank my husband, Keith.
    [Show full text]
  • Quaternionic Representation of Snub 24-Cell and Its Dual Polytope
    Quaternionic Representation of Snub 24-Cell and its Dual Polytope Derived From E8 Root System Mehmet Koca1, Mudhahir Al-Ajmi1, Nazife Ozdes Koca1 1Department of Physics, College of Science, Sultan Qaboos University, P. O. Box 36, Al-Khoud, 123 Muscat, Sultanate of Oman Email: [email protected], [email protected], [email protected] Abstract Vertices of the 4-dimensional semi-regular polytope, snub 24-cell and its sym- metry group W (D4): C3 of order 576 are represented in terms of quaternions with unit norm. It follows from the icosian representation of E8 root system. A simple method is employed to construct the E8 root system in terms of icosians which decomposes into two copies of the quaternionic root system of the Coxeter group W (H4), while one set is the elements of the binary icosa- hedral group the other set is a scaled copy of the first. The quaternionic root system of H4 splits as the vertices of 24-cell and the snub 24-cell under the symmetry group of the snub 24-cell which is one of the maximal subgroups of the group W (H4) as well as W (F4). It is noted that the group is isomorphic to the semi-direct product of the Weyl group of D4 with the cyclic group of + order 3 denoted by W (D4): C3, the Coxeter notation for which is [3, 4, 3 ]. We analyze the vertex structure of the snub 24-cell and decompose the orbits of W (H4) under the orbits of W (D4): C3. The cell structure of the snub 24-cell has been explicitly analyzed with quaternions by using the subgroups of the group W (D4): C3.
    [Show full text]
  • Coxeter and His Diagrams: a Personal Account
    Toyama Math. J. Vol. 37(2015), 1-24 Coxeter and his diagrams: a personal account Robert V. Moody Dedicated to Professor Jun Morita on the occasion of his 60th birthday 1. Coxeter and his groups Fig. 1 is a photograph of Donald Coxeter the last time that I saw him. Figure 1: Coxeter at the close of his talk at the Banf Centre, 2001. ⃝c R.V.Moody This is the famous H.S.M. Coxeter. His name sounds like a British warship | there were several ships named H.M.S. Exeter, for instance | but he 1 2 Robert V. Moody was called Donald by his friends, this coming from the M: Harold Scott Macdonald Coxeter. The date was 2001 and he was 94. He had just ¯nished giving a lecture in which, among other things, he was speaking of his relationship with and influence on the art of Escher. Pretty amazing. And he was in good spirits. But he looks old, very old. The fact is that the very ¯rst time I saw him, forty-two years earlier in 1959, he also looked very old. Coxeter was a strict vegetarian, and his long time colleague and former student Arthur Sherk used to say that what he really needed was a good steak. But it's all very relative. Being an almost- vegetarian myself, I perhaps now fall into the same category. Still I will be amazed if I can give any sort of lecture at age 94! I was in high school, and entered some MAA mathematics competition of which, at this point, I remember nothing except being very surprised to hear that I had done the best in my school and would get a free weekend trip to visit the University of Toronto.
    [Show full text]
  • Arxiv:2001.03885V1 [Math.GR] 12 Jan 2020 R Stand the finite Subgroups of the Group of Linear Isometries of R3, Which We Denote by O3 (R)
    OPTIMAL FINITE HOMOGENEOUS SPHERE APPROXIMATION OMER LAVI Abstract. The two dimensional sphere can't be approximated by finite ho- mogeneous spaces. We describe the optimal approximation and its distance from the sphere. 1. Introduction Tsachik Gelander and Itai Benjamini asked me (see also Remark 1.5 in [4]) what is the optimal approximation of the sphere by a finite homogeneous space. Denote by dH the Hausdorff metric. We will say that a finite On (R)-homogeneous space X is an optimal approximation of a set A if dH (X; A) ≤ dH (Y; A) for every finite On (R)-homogeneous space Y . In that case, we say that the approximation distance n of A is dH (X; A). A set A ⊂ R is approximable by finite homogeneous spaces if it is a limit of such. An n-dimensional torus, for example, can be approximated by a sequence of regular graphs with bounded geometry (see [2]). Gelander showed that these are the only examples: a compact manifold can be approximated by finite metric homogeneous spaces if and only if it is a torus (Corollary 1.3 in [4]). Theorem 1.1. The approximation distance of the sphere (calculated up to 4 digits) is 0.3208. Remark 1.2. Note that in this paper we restrict our attention to O3 (R) spaces and their Housdorff distances from the sphere. It is an interesting question if optimal finite homogeneous sphere approximation in the Gromov Housdorff sense exist and what are they. In this paper we will prove this theorem and will describe explicitly the optimal approximation of the sphere.
    [Show full text]
  • Generalized Noncrossing Partitions and Combinatorics of Coxeter Groups
    GENERALIZED NONCROSSING PARTITIONS AND COMBINATORICS OF COXETER GROUPS A Dissertation Presented to the Faculty of the Graduate School of Cornell University in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy by Drew Douglas Armstrong August 2006 c 2006 Drew Douglas Armstrong ALL RIGHTS RESERVED GENERALIZED NONCROSSING PARTITIONS AND COMBINATORICS OF COXETER GROUPS Drew Douglas Armstrong, Ph.D. Cornell University 2006 This thesis serves two purposes: it is a comprehensive introduction to the “Cata- lan combinatorics” of finite Coxeter groups, suitable for nonexperts, and it also introduces and studies a new generalization of the poset of noncrossing partitions. This poset is part of a “Fuss-Catalan combinatorics” of finite Coxeter groups, generalizing the Catalan combinatorics. Our central contribution is the definition of a generalization NC(k)(W ) of the poset of noncrossing partitions corresponding to each finite Coxeter group W and positive integer k. This poset has elements counted by a generalized Fuss-Catalan number Cat(k)(W ), defined in terms of the invariant degrees of W . We develop the theory of this poset in detail. In particular, we show that it is a graded semilattice with beautiful structural and enumerative properties. We count multichains and maximal chains in NC(k)(W ). We show that the order complex of NC(k)(W ) is shellable and hence Cohen-Macaulay, and we compute the reduced Euler character- istic of this complex. We show that the rank numbers of NC(k)(W ) are polynomial in k; this defines a new family of polynomials (called Fuss-Narayana) associated to the pair (W, k).
    [Show full text]
  • From the Trinity $(A 3, B 3, H 3) $ to an ADE Correspondence
    From the Trinity (A3;B3;H3) to an ADE correspondence Pierre-Philippe Dechant To the late Lady Isabel and Lord John Butterfield Abstract. In this paper we present novel ADE correspondences by com- bining an earlier induction theorem of ours with one of Arnold's obser- vations concerning Trinities, and the McKay correspondence. We first extend Arnold's indirect link between the Trinity of symmetries of the Platonic solids (A3;B3;H3) and the Trinity of exceptional 4D root sys- tems (D4;F4;H4) to an explicit Clifford algebraic construction linking the two ADE sets of root systems (I2(n);A1 × I2(n);A3;B3;H3) and (I2(n);I2(n) × I2(n);D4;F4;H4). The latter are connected through the McKay correspondence with the ADE Lie algebras (An;Dn;E6;E7;E8). We show that there are also novel indirect as well as direct connections between these ADE root systems and the new ADE set of root systems (I2(n);A1 × I2(n);A3;B3;H3), resulting in a web of three-way ADE correspondences between three ADE sets of root systems. Mathematics Subject Classification (2010). 52B10, 52B11, 52B15, 15A66, 20F55, 17B22, 14E16. Keywords. Clifford algebras, Coxeter groups, root systems, Coxeter plane, exponents, Lie algebras, Lie groups, McKay correspondence, ADE correspondence, Trinity, finite groups, pin group, spinors, degrees, Pla- arXiv:1812.02804v1 [math-ph] 6 Dec 2018 tonic solids. 1. Introduction The normed division algebras { the real numbers R, the complex numbers C and the quaternions H { naturally form a unit of three: (R; C; H). This straightforwardly extends to the associated projective spaces (RP n; CP n; HP n).
    [Show full text]
  • Quaternionic Kleinian Modular Groups and Arithmetic Hyperbolic Orbifolds Over the Quaternions
    Università degli Studi di Trieste ar Ts Archivio della ricerca – postprint Quaternionic Kleinian modular groups and arithmetic hyperbolic orbifolds over the quaternions 1 1 Juan Pablo Díaz · Alberto Verjovsky · 2 Fabio Vlacci Abstract Using the rings of Lipschitz and Hurwitz integers H(Z) and Hur(Z) in the quater- nion division algebra H, we define several Kleinian discrete subgroups of PSL(2, H).We define first a Kleinian subgroup PSL(2, L) of PSL(2, H(Z)). This group is a general- ization of the modular group PSL(2, Z). Next we define a discrete subgroup PSL(2, H) of PSL(2, H) which is obtained by using Hurwitz integers. It contains as a subgroup PSL(2, L). In analogy with the classical modular case, these groups act properly and discontinuously on the hyperbolic quaternionic half space. We exhibit fundamental domains of the actions of these groups and determine the isotropy groups of the fixed points and 1 1 describe the orb-ifold quotients HH/PSL(2, L) and HH/PSL(2, H) which are quaternionic versions of the classical modular orbifold and they are of finite volume. Finally we give a thorough study of their descriptions by Lorentz transformations in the Lorentz–Minkowski model of hyperbolic 4-space. Keywords Modular groups · Arithmetic hyperbolic 4-manifolds · 4-Orbifolds · Quaternionic hyperbolic geometry Mathematics Subject Classification (2000) Primary 20H10 · 57S30 · 11F06; Secondary 30G35 · 30F45 Dedicated to Bill Goldman on occasion of his 60th birthday. B Alberto Verjovsky [email protected] Juan Pablo Díaz [email protected] Fabio Vlacci [email protected]fi.it 1 Instituto de Matemáticas, Unidad Cuernavaca, Universidad Nacional Autónoma de México, Av.
    [Show full text]
  • Voronoi, Regions of Lattices, Second Moments of Polytopes, and Quantization
    IEEE TRANSACTIONSON INFORMATIONTHEORY, VOL. IT-28, NO. 2, MARCH 1982 211 Voronoi, Regions of Lattices, Second Moments of Polytopes, and Quantization J. H. CONWAY AND N. J. A. SLOANE, FELLOW, IEEE Ah&act-If a point is picked at random inside a regular simplex, Q(x) = yj. Then we may write octahedron, 600-cell, or other polytope, what is its average squared distance from the centroid? In n-dimensional space, what is the average squared distance of a random point from the closest point of the lattice A, (or E(n, M, P, { Yi}) = i ,z / IIX -Yil12P(X) dX* (1) D,, , En, A: or D,*)? The answers are given here, together with a description r=l Out) of the Voronoi (or nearest neighbor) regions of these lattices. The results have applications to quantization and to the design of signals for the Given n, M, and p(x) one wishes to find the infimum Gaussian channel. For example, a quantizer based on the eight-dimensional lattice Es has a mean-squared error per symbol of 0.0717 when applied E(n, M, P) = ,i:$E(n, M, P, {Yi}) to uniformly distributed data, compared with 0.0&333 . for the best one:dimensional quantizer. over all choices of yl; . .,y,,,,. Zador ([53]; see also [6], [7], [24], [52]) showed under quite general assumptions about p(x) that I. QUANTIZATION;CODESFORGAUSSIANCHANNEL (n+Wn A. Introduction $Fn M2/“E( n, M, p) = G,, Lnp( x)n’(n+2) dx , HE MOTIVATION for this work comes from block (2) T quantization and from the design of signals for the Gaussianchannel.
    [Show full text]
  • Matching Theorems for Systems of a Finitely Generated Coxeter Group
    Matching Theorems for Systems of a Finitely Generated Coxeter Group Michael Mihalik, John Ratcliffe, and Steven Tschantz Mathematics Department, Vanderbilt University, Nashville TN 37240, USA 1 Introduction The isomorphism problem for finitely generated Coxeter groups is the prob- lem of deciding if two finite Coxeter matrices define isomorphic Coxeter groups. Coxeter [3] solved this problem for finite irreducible Coxeter groups. Recently there has been considerable interest and activity on the isomor- phism problem for arbitrary finitely generated Coxeter groups. For a recent survey, see M¨uhlherr[10]. The isomorphism problem for finitely generated Coxeter groups is equiv- alent to the problem of determining all the automorphism equivalence classes of sets of Coxeter generators for an arbitrary finitely generated Coxeter group. In this paper, we prove a series of matching theorems for two sets of Cox- eter generators of a finitely generated Coxeter group that identify common features of the two sets of generators. As an application, we describe an algo- rithm for finding a set of Coxeter generators of maximum rank for a finitely generated Coxeter group. In x2, we state some preliminary results. In x3, we prove a matching theorem for two systems of a finite Coxeter group. In x4, we prove our Basic Matching Theorem between the sets of maximal noncyclic irreducible spherical subgroups of two systems of a finitely generated Coxeter group. In x5, we study nonisomorphic basic matching. In x6, we prove a matching theorem between the sets of noncyclic irreducible spherical subgroups of two systems of a finitely generated Coxeter group. As an application, we prove the Edge Matching Theorem.
    [Show full text]
  • Disclination Density in Atomic Structures Described in Curved Spaces J.F
    Disclination density in atomic structures described in curved spaces J.F. Sadoc, R. Mosseri To cite this version: J.F. Sadoc, R. Mosseri. Disclination density in atomic structures described in curved spaces. Journal de Physique, 1984, 45 (6), pp.1025-1032. 10.1051/jphys:019840045060102500. jpa-00209832 HAL Id: jpa-00209832 https://hal.archives-ouvertes.fr/jpa-00209832 Submitted on 1 Jan 1984 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. J. Physique 45 (1984) 1025-1032 JUIN 1984, 1025 Classification Physics Abstracts 61.00 - 61.70 Disclination density in atomic structures described in curved spaces J. F. Sadoc (*) and R. Mosseri (**) (*) Lab. de Physique des Solides, 91405 Orsay, France (**) Physique des Solides, CNRS, 1 Pl. A. Briand, 92190 Meudon Bellevue, France (Reçu le 28 octobre 1983, accepte le 8 février 1984) Résumé. 2014 La courbure de l’espace et la densité de disinclinaisons sont deux grandeurs connectées. Il y a une relation exacte à 2 dimensions. Nous montrons comment utiliser une relation approchée à 3 dimensions. Les appli- cations à la structure W-03B2 et aux phases de Laves sont présentées. La coordinance, dans les structures denses aléatoires, est expliquée à partir de la notion de densité de disinclinaison.
    [Show full text]