DOCSLIB.ORG

Applying Multidimensional Geometry to Basic Data Centre Designs

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Applying Multidimensional Geometry to Basic Data Centre Designs JOURNAL OF ELECTRICAL AND COMPUTER ENGINEERING RESEARCH VOL. 1, NO. 1, 2021 Applying Multidimensional Geometry to Basic Data Centre Designs Pedro Juan Roig1,2,*, Salvador Alcaraz1, Katja Gilly1, Carlos Juiz2 1Department of Computing Engineering, Miguel Hernández University, Spain, Email: [email protected], [email protected], [email protected] 2Department of Mathematics and Computer Science, University of the Balearic Islands, Spain, Email: [email protected] * Corresponding author Abstract: Fog computing deployments are catching up by the Therefore, that leads to utilize a smaller amount of switches day due to their advantages on latency and bandwidth compared so as to link together all those hosts, thus allowing for the use to cloud implementations. Furthermore, the number of required of easier interconnection topologies among those switches [5]. hosts is usually far smaller, and so are the amount of switches needed to make the interconnections among them. In this paper, Hence, Fog deployments permit the implementation of an approach based on multidimensional geometry is proposed basic Data Centre designs, which may be modelled by means for building up basic switching architectures for Data Centres, of elements of multidimensional geometry, specifically, by in a way that the most common convex regular N-polytopes are using different types of N-polytopes. first introduced, where N is treated in an incremental manner in The organization of the rest of the paper goes as follows: order to reach a generic high-dimensional N, and in turn, those first, Section 2 introduces multidimensional geometry, next, resulting shapes are associated with their corresponding switching topologies. This way, N-simplex is related to a full Section 3 talks about platonic solids, Section 4 explains the mesh pattern, N-orthoplex is linked to a quasi full mesh Schläfli notation, afterwards, Section 5 exposes regular N- structure and N-hypercube is referred to as a certain type of polytopes in Euclidean spaces, later on, Section 6 presents the partial mesh layout. In each of those three contexts, a model is N-simplex, in turn, Section 7 demonstrates the N-orthoplex, to be built up, where switches are first identified, afterwards, then, Section 8 exhibits the N-hypercube, and finally, Section their downlink ports leading to the end hosts are exposed, along 9 wraps it all up by drawing some final conclusions. with those host identifiers, as well as their uplink ports leading to their neighboring switches, and eventually, a pseudocode algorithm is designed, exposing how a packet coming in from II. MULTIDIMENSIONAL GEOMETRY any given port of a switch is to be forwarded through the proper It may be said that the concept of dimension in a outgoing port on its way to the destination host by using the mathematical object is related to the minimum number of appropriate arithmetic expressions in each particular case. Therefore, all those algorithmic models represent how their necessary coordinates to specify any of its given points [6]. corresponding switches may work when dealing with user data This way, an independent point may be considered to be an traffic within a Data Centre, guiding it towards its destination. object with no dimensions (0D), a line may be a 1-dimension object (1D), a plane may be a 2-dimension object (2D) and a Keywords: Data Centre, N-hypercube, N-orthoplex, N- space may be a 3-dimension object (3D). As a matter of fact, simplex, networking. our physical world is regarded as tridimensional, as any point within may be completely described by quoting its length, I. INTRODUCTION width and height. Fog Computing paradigm is an extension of Cloud Back in the ancient Greece, Euclid established the basis to Computing, where the computing assets are moved to the define the classical geometry within the three-dimensional edge of the network, thus improving some key performance space. Also in that time, Pythagoras came up with his indicators such as latency, jitter and bandwidth [1]. Pythagorean theorem, which permitted to measure distances Fog deployments are ever growing thanks to the rise of within the Euclidean geometry, bringing about related new wireless communication standards allowing for faster concepts such as length, angle, orthogonality or parallelism, transmissions, such as cellular 5G or Wi-Fi 6 [2]. which are the core of geometry nowadays. Since then, different types of Non-Euclidean geometries Moreover, other technologies may take advantage of those have been defined, either by applying some sort of constant improvements, such as Mobile Edge Computing or Mist curvature, such as in hyperbolic and elliptic geometries, or Computing, facilitating a change of paradigm in online otherwise, non-constant curvature, such as in Riemannian services and hyperconnectivity in the coming years [3]. geometry, even though the infinitesimal structure of any space However, it is to be noted that Fog environments are always behaves as Euclidean. related to limited geographical areas compared to Cloud ones, Therefore, focusing on the Euclidean space, where N=3, it as the former are localized in a certain area whereas the latter may be extended to any number of dimensions, where such a usually have a global scope. This implies that Fog domains number may be any natural number N. This leads to consider may have far less users and workload, resulting in the need of multidimensional geometries to those Euclidean spaces with much less hosts in their Data Centres [4]. N>3, which may not correspond to our physical world, but just an extension of it. Additionally, it may also apply when N<3. 1 JOURNAL OF ELECTRICAL AND COMPUTER ENGINEERING RESEARCH VOL. 1, NO. 1, 2021 III. PLATONIC SOLIDS IV. SCHLÄFLI NOTATION Back in the ancient Greece, Plato studied and classified the Moving on to the XIX century, a swiss mathematician so called platonic solids [7]. Each one was a regular called Schläfli came up with a simple notation to describe any polyhedron, made up by the same type of regular polygons, regular geometrical shape regardless its dimension, thus hence, 3D convex regular structures being composed of just making possible its use for any regular N-polytope. This is one type of 2D convex regular shape. Only 5 solids meet these known as Schläfli notation, or alternatively, Schläfli symbol. specifications, shown in Fig. 1. Such a notation provides a summary of all the underlying k- facets of any regular polytope of dimension N, and it takes the form {p,q,r,…,x,y,z}, having as many variables as N-1 [8]. Starting with this expression, by taking out variables on the right-hand side in an incremental way, it is revealed the different sorts of k-facets forming the overall shape. This way, Fig. 1. Platonic solids. {p,q,r,…,x,y} determines the type of its (N-1)-facets, whilst In this context, Plato associated them with the five classical {p,q,r,…,x} denotes the kind of its (N-2)-facets, and all the basic elements (fire, earth, air, water and ether), such as the way down to just {p} giving the sort of its faces, also known fire to the tetrahedron, the earth to the cube, the octahedron to as 2-facets. Therefore, it may be concluded that Schläfli the air, the icosahedron to the water, and eventually, the symbols gives details about the different kinds of k-facets dodecahedron to the constellations in heaven, even though within any regular N-polytope. Aristotle later considered that heaven was made of ether. Additionally, it is to be said that edges, being 1-facets, Additionally, Table I exposes the numbers of faces, edges would be represented by {}, because they are one-dimensional and nodes related to each of those platonic solids. Those data shapes and this notation grants them zero variables, which clearly reveal that there a two couple of shapes being dual of may seem obvious as edges only have one possible shape, each other, such as the cube and the octahedron on the one regardless of its length. Furthermore, this notation may assign hand, and the dodecahedron and the icosahedron on the other a negative number of variables to nodes, being 0-facets, and to hand, as each pair of items has the same number of edges, and empty set, being the (-1)-facet, hence it does not apply to them. their number of faces and nodes are just switched around. On the other hand, a peak figure might be defined as the This basically means that the nodes of one item may be elements being incident on a given k-facet. Following with the located right in the middle of the faces of its dual item, where Schläfli notation, by taking out variables on the left-hand side the inner one is inscribed and the other one is circumscribed. in an incremental way, it is revealed the different sorts of peak Besides, the tetrahedron is autodual, as the number of figures being incident on each kind of k-facet. This way, faces and nodes match, which makes that a tetrahedron may {q,r,…,x,y,z}stands for the vertex figure, that being an (N-1)- be inscribed or circumscribed to another tetrahedron. facet, {r,…,x,y,z} indicates the edge figure (the vertex figure of a vertex figure), that being an (N-2)-facet, and all the way TABLE I. K-FACETS ON THE PLATONIC SOLIDS down to just {z} gives the (N-3)-peak figure, that being a 2- Name of the Regular Polygons Faces Edges Nodes facet. Additionally, it is to be mentioned that {} would Polyhedron as its faces indicate the (N-2)-peak figure, that being a 1-facet. Tetrahedron Triangle 4 6 4 Cube Square 6 12 8 Alternatively, mixing both concepts together, such as k- Octahedron Triangle 8 12 6 facets and peak figures, it may be said that there is a number Dodecahedron Pentagon 12 30 20 of z (N-1)-facets of type {p,q,…,x,y}around each (N-3)-facet.
Load more

Recommended publications
  • Arxiv:1705.01294V1
    Branes and Polytopes Luca Romano email address: [email protected] ABSTRACT We investigate the hierarchies of half-supersymmetric branes in maximal supergravity theories. By studying the action of the Weyl group of the U-duality group of maximal supergravities we discover a set of universal algebraic rules describing the number of independent 1/2-BPS p-branes, rank by rank, in any dimension. We show that these relations describe the symmetries of certain families of uniform polytopes. This induces a correspondence between half-supersymmetric branes and vertices of opportune uniform polytopes. We show that half-supersymmetric 0-, 1- and 2-branes are in correspondence with the vertices of the k21, 2k1 and 1k2 families of uniform polytopes, respectively, while 3-branes correspond to the vertices of the rectified version of the 2k1 family. For 4-branes and higher rank solutions we find a general behavior. The interpretation of half- supersymmetric solutions as vertices of uniform polytopes reveals some intriguing aspects. One of the most relevant is a triality relation between 0-, 1- and 2-branes. arXiv:1705.01294v1 [hep-th] 3 May 2017 Contents Introduction 2 1 Coxeter Group and Weyl Group 3 1.1 WeylGroup........................................ 6 2 Branes in E11 7 3 Algebraic Structures Behind Half-Supersymmetric Branes 12 4 Branes ad Polytopes 15 Conclusions 27 A Polytopes 30 B Petrie Polygons 30 1 Introduction Since their discovery branes gained a prominent role in the analysis of M-theories and du- alities [1]. One of the most important class of branes consists in Dirichlet branes, or D-branes. D-branes appear in string theory as boundary terms for open strings with mixed Dirichlet-Neumann boundary conditions and, due to their tension, scaling with a negative power of the string cou- pling constant, they are non-perturbative objects [2].
    [Show full text]
  • 15 BASIC PROPERTIES of CONVEX POLYTOPES Martin Henk, J¨Urgenrichter-Gebert, and G¨Unterm
    15 BASIC PROPERTIES OF CONVEX POLYTOPES Martin Henk, J¨urgenRichter-Gebert, and G¨unterM. Ziegler INTRODUCTION Convex polytopes are fundamental geometric objects that have been investigated since antiquity. The beauty of their theory is nowadays complemented by their im- portance for many other mathematical subjects, ranging from integration theory, algebraic topology, and algebraic geometry to linear and combinatorial optimiza- tion. In this chapter we try to give a short introduction, provide a sketch of \what polytopes look like" and \how they behave," with many explicit examples, and briefly state some main results (where further details are given in subsequent chap- ters of this Handbook). We concentrate on two main topics: • Combinatorial properties: faces (vertices, edges, . , facets) of polytopes and their relations, with special treatments of the classes of low-dimensional poly- topes and of polytopes \with few vertices;" • Geometric properties: volume and surface area, mixed volumes, and quer- massintegrals, including explicit formulas for the cases of the regular simplices, cubes, and cross-polytopes. We refer to Gr¨unbaum [Gr¨u67]for a comprehensive view of polytope theory, and to Ziegler [Zie95] respectively to Gruber [Gru07] and Schneider [Sch14] for detailed treatments of the combinatorial and of the convex geometric aspects of polytope theory. 15.1 COMBINATORIAL STRUCTURE GLOSSARY d V-polytope: The convex hull of a finite set X = fx1; : : : ; xng of points in R , n n X i X P = conv(X) := λix λ1; : : : ; λn ≥ 0; λi = 1 : i=1 i=1 H-polytope: The solution set of a finite system of linear inequalities, d T P = P (A; b) := x 2 R j ai x ≤ bi for 1 ≤ i ≤ m ; with the extra condition that the set of solutions is bounded, that is, such that m×d there is a constant N such that jjxjj ≤ N holds for all x 2 P .
    [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]
  • New Family of Tilings of Three-Dimensional Euclidean Space by Tetrahedra and Octahedra
    New family of tilings of three-dimensional Euclidean space by tetrahedra and octahedra John H. Conwaya, Yang Jiaob, and Salvatore Torquatob,c,1 aDepartment of Mathematics, Princeton University, Princeton, NJ 08544; bPrinceton Institute for the Science and Technology of Materials, Princeton University, Princeton, NJ 08544; and cDepartment of Chemistry, Department of Physics, Princeton Center for Theoretical Science, Program in Computational and Applied Mathematics, Princeton University, Princeton, NJ 08544 Edited* by Ronald L. Graham, University of California, La Jolla, CA, and approved May 17, 2011 (received for review April 7, 2011) It is well known that two regular tetrahedra can be combined with a single regular octahedron to tile (complete fill) three-dimensional Euclidean space R3. This structure was called the “octet truss” by Buckminster Fuller. It was believed that such a tiling, which is the Delaunay tessellation of the face-centered cubic (fcc) lattice, and its closely related stacking variants, are the only tessellations of R3 that involve two different regular polyhedra. Here we identify and analyze a unique family comprised of a noncountably infinite number of periodic tilings of R3 whose smallest repeat tiling unit Fig. 1. The three regular tilings of the plane: (A) A portion of the tiling by triangles with a fundamental cell containing two triangles with two different consists of one regular octahedron and six smaller regular tetrahe- orientations (shown by different shadings). (B) A portion of the tiling by dra. We first derive an extreme member of this unique tiling family squares. (C) A portion of the tiling by hexagons. by showing that the “holes” in the optimal lattice packing of octa- hedra, obtained by Minkowski over a century ago, are congruent regular polygons and the remaining two of which are made of tetrahedra.
    [Show full text]
  • Stereographic Visualization of 5-Dimensional Regular Polytopes
    S S symmetry Article Stereographic Visualization of 5-Dimensional Regular Polytopes Xingchang Wang 1, Tao Yu 1,* , Kwokwai Chung 2, Krzysztof Gdawiec 3 and Peichang Ouyang 1 1 School of Mathematics and Physics, Jinggangshan University, Ji’an 343009, China; [email protected] (X.W.); [email protected] (P.O.) 2 Department of Mathematics, City University of Hong Kong, Kowloon, Hong Kong; [email protected] 3 Institute of Mathematics, University of Silesia, 40-007 Katowice, Poland; [email protected] * Correspondence: [email protected] Received: 30 January 2019; Accepted: 15 March 2019; Published: 18 March 2019 Abstract: Regular polytopes (RPs) are an extension of 2D (two-dimensional) regular polygons and 3D regular polyhedra in n-dimensional (n ≥ 4) space. The high abstraction and perfect symmetry are their most prominent features. The traditional projections only show vertex and edge information. Although such projections can preserve the highest degree of symmetry of the RPs, they can not transmit their metric or topological information. Based on the generalized stereographic projection, this paper establishes visualization methods for 5D RPs, which can preserve symmetries and convey general metric and topological data. It is a general strategy that can be extended to visualize n-dimensional RPs (n > 5). Keywords: five-dimensional regular polytopes; fundamental root systems; stereographic projection; kaleidoscope principle 1. Introduction Regular polytopes (RPs) are an extension of 2D regular polygons and 3D regular polyhedra in n-dimensional Euclidean space Rn (n ≥ 4), which have high abstraction and perfect symmetry [1–3]. For instance, the 5D hypercube f4, 3, 3, 3g has 32 vertices, 80 edges, 80 squares, 40 3D cubes, and 10 4D regular polytopes f4, 3, 3g.
    [Show full text]
  • The Extreme Projections of the Regular Simplex
    transactions of the american mathematical society Volume 317, Number 2, February 1990 THE EXTREME PROJECTIONS OF THE REGULAR SIMPLEX P. FILLIMAN Abstract. The largest and smallest projections of the regular «-dimensional simplex into a A:-dimensional subspace are determined for certain values of n and k . These results suggest that the smallest k-dimensional projection and the largest (n — A)-dimensional projection occur in orthogonal subspaces of R" . Introduction Let T" be the regular «-dimensional simplex with edge length \/2, and let P = Tl(Tn : L) be the orthogonal projection of T" into a k-dimensional subspace L of R" . Our goal is to find the projections of T" with the maximum and minimum k-volume. A striking pattern has emerged in the results below, which leads to the follow- ing conjectures: Let Tn =Yl(Tn: LQ) be a ^-dimensional simplex with evenly distributed weights, where the weights of a vertex is the number of vertices of T" which project onto it. Conjecture A. The smallest /c-dimensional projection of T" is Tn . Conjecture B. The largest (n - A:)-dimensional projection of T" is Tkn=U(Tn:L^). If true, these conjectures would imply that the largest and smallest projections of T" occur in orthogonal subspaces, and are therefore Gale transforms of each other (see [12, §3.1]). This can be contrasted with the case of the regular «-cube, in which such projections have the same volume (see [2, 3.7]). The main tool we shall use in the exterior algebra method of [6], which is summarized in §1. §2 deals with minimal projections, and §3 with maximal projections, where results are given when k or « - k is small (see also [7] and [10]).
    [Show full text]
  • Coxeter Groups and Artin Groups Day 1: Polytopes and Reflection Groups
    Coxeter groups and Artin groups Day 1: Polytopes and Reflection Groups Jon McCammond (U.C. Santa Barbara) 1 Overview The plan is to spend • two days on (topics related to) Coxeter groups, and • two days on (topics related to) Artin groups. The theme will be the close connections these groups have with other parts of mathematics (and the need to understand these connections in order to fully understand the groups). For Coxeter groups, the list includes regular polytopes, Lie groups, symmetric spaces, and finite simple groups. All of these connections are well-known (but not to everyone). For Artin groups, the associated objects are less well understood (and they include some interesting infinite continuous groups). 2 Where do Coxeter groups come from? Although Coxeter groups (and Artin groups) can be easily defined via presentations, this fails to show why they are important. The motivation for the definition comes from two directions: Platonic solids ⇒ Regular polytopes ⇒ Finite reflection groups Lie groups ⇒ Lie algebras ⇒ Affine reflection groups Both finite and affine reflection groups have simple presentations and Coxeter groups can be viewed as their natural generalization. 3 Polytopes Def: A polytope P is the convex hull of a finite set of points in some Euclidean space, or, equivalently, it is a bounded, non- empty intersection of finite number of half-spaces. The dimension of the minimal affine subspace containing P is called the dimension of P . If H is a half-space containing P and Q = ∂H ∩ P is non-empty, then Q is another polytope called a face of P . The faces of P are ordered by inclusion.
    [Show full text]
  • 1. Lecture I: Introduction to Polytopes and Face Enumeration
    POLYTOPES MARGARET A. READDY 1. Lecture I: Introduction to Polytopes and Face Enumeration Gr¨unbaum and Shephard [40] remarked that there were three develop- ments which foreshadowed the modern theory of convex polytopes. (1) The publication of Euclid's Elements and the five Platonic solids. In modern terms, these are the regular 3-polytopes. (2) Euler's Theorem which states that that v − e + f = 2 holds for any 3-dimensional polytope, where v, e and f denote the number of vertices, edges and facets, respectively. In modern lan- guage, f0 − f1 + f2 = 2; where fi, i = 0; 1; 2, is the number of i-dimensional faces. (3) The discovery of polytopes in dimensions greater or equal to four by Schl¨afli. We will use these as a springboard to describe the theory of convex polytopes in the 21st century. 1.1. Examples. n Recall a set S in R is convex if the line segment connecting any two points in S is completely contained in the set S. In mathematical terms, given any x1; x2 2 S, the set of all points λ · x1 + (1 − λ)x2 2 S for 0 ≤ λ ≤ 1. A n convex polytope or polytope in n-dimensional Euclidean space R is defined n as the convex hull of k points x1; : : : ; xk in R , that is, the intersection of all convex sets containing these points. Throughout we will assume all of the polytopes we work with are convex. One can also define a polytope as the bounded intersection of a finite num- n ber of half-spaces in R .
    [Show full text]
  • E-Polytopes in Picard Groups of Smooth Rational Surfaces
    S S symmetry Article E-Polytopes in Picard Groups of Smooth Rational Surfaces Jae-Hyouk Lee 1,* and YongJoo Shin 2 1 Department of Mathematics, Ewha Womans University, Seoul 03760, Korea 2 Shanghai Center for Mathematical Sciences, Fudan University, Shanghai 103077, China; [email protected] * Correspondence: [email protected]; Tel.: +82-2-3277-3346 Academic Editor: Brigitte Servatius Received: 30 September 2015; Accepted: 13 April 2016; Published: 20 April 2016 Abstract: In this article, we introduce special divisors (root, line, ruling, exceptional system and rational quartic) in smooth rational surfaces and study their correspondences to subpolytopes in Gosset polytopes k21. We also show that the sets of rulings and exceptional systems correspond equivariantly to the vertices of 2k1 and 1k2 via E-type Weyl action. Keywords: del Pezzo surface; Hirzebruch surface; Gosset polytope; E-polytope MSC Classifications: 14J26; 14E05 1. Introduction Rational surfaces are complex surfaces birational to P2. According to the classification of surfaces [1], the minimal surfaces of smooth rational surfaces are either a projective plane P2 or a Hirzebruch surface F. In particular, the typical examples of del Pezzo surfaces, which are smooth surfaces Sr with the ample anticanonical divisor class −KSr , are obtained by blowing up r (<9) points of P2 in general position. Del Pezzo surfaces have drawn the attention of mathematicians and physicists because of their geometries and dualities involving mysterious symmetries. For example, the special 2 divisor classes l (called lines) of a del Pezzo surface Sr satisfying l = l · KSr = −1 are bijectively related to the vertices of Gosset polytopes (r − 4)21 , which are one type of semiregular polytopes given by the action of the Er symmetry group (called E-polytopes).
    [Show full text]
  • 4D Polytopes and Their Dual Polytopes of the Coxeter Group AW 4 )( Represented by Quaternions
    4D Polytopes and Their Dual Polytopes of the Coxeter GroupWA()4 Represented by Quaternions Mehmet Koca a) , Nazife Ozdes Koca b, *) and Mudhahir Al-Ajmi c) Department of Physics, College of Science, Sultan Qaboos University P. O. Box 36, Al-Khoud 123, Muscat, Sultanate of Oman ABSTRACT 4-dimensional A4 polytopes and their dual polytopes have been constructed as the orbits of the Coxeter-Weyl group WA()4 where the group elements and the vertices of the polytopes are represented by quaternions. Projection of an arbitrary W ()A4 orbit into three dimensions is made using the subgroupW (A3 ) . A generalization of the Catalan solids for 3D polyhedra has been developed and dual polytopes of the uniform A4 polytopes have been constructed. Keywords: 4D polytopes, Dual polytopes, Coxeter groups, Quaternions, W(A4 ) a) electronic-mail: [email protected] b, * ) electronic-mail: [email protected], Corresponding author c) electronic-mail: [email protected] 1 1. Introduction The orbits of the Coxeter groups in an arbitrary Euclidean space represent the quasi regular polytopes (including the regular and semi regular polytopes as special cases). An infinite number of rank-2 Coxeter groups which are isomorphic to the dihedral groups Dn exist in 2D dimensions describing the symmetries of the vertex and edge transitive polygons. In 3D, besides the prismatic groups isomorphic to DCn 2 , there exist three rank- 3 Coxeter groupsWA( 3 ) ,WB( 3 ) and WH( 3 ) describing the symmetries of the tetrahedron, octahedron-cube and icosahedron-dodecahedron and their Archimedean polyhedra. Extension of the rank-3 Coxeter groups to rank-4 Coxeter groups is somewhat straightforward.
    [Show full text]
  • Exterior Algebra and Projections of Polytopes
    Discrete Comput Geom 5:305-322 (1990) © 1990Sprinser-Verlag New York~Incl~Y Exterior Algebra and Projections of Polytopes P. Filliman Department of Mathematics, Western Washington University, Bellingham, WA 98225, USA Communicated by G. D. Chakerian Abstract. This paper explores the metrical properties of convex polytopes by means of the classical Pliicker embedding of the Grassmannian G(k, n) of k-planes in R n into the exterior algebra AkR ~. The results follow from the description of the volume of the projection of a polytope into a k-plane by a piecewise linear function on G(k, n). For example, the Hodge-star operator is used to obtain the volume of a polytope from its Gale transform. Also, the classification of the faces of G(2, n) (or G(n -2, n)) imply that the largest projection within a particular combinatorial type is unique if k = 2 or n - 2. Introduction The exterior (or Grassmann) algebra is a beautiful classical theory which can be used to represent geometric properties of R ~ by algebraic operations. This method has had applications in many areas of geometry, one example being the recent use of chirotopes (or oriented matroids) to investigate the combinatorial proper- ties of polytopes (see [2] and [3]). This paper uses the exterior algebra to gain insight into the metric properties of polytopes, in particular, the volume of their projections. The first section contains a review of the properties of the exterior algebra, especially in light of the connection with the geometry of R n mentioned above. The principal object of study is the Grassmann manifold G(k, n) of all k- dimensional subspaces of R n.
    [Show full text]
  • Barn Raisings of Four-Dimensional Polytope Projections
    Barn Raisings of Four-Dimensional Polytope Projections George W. Hart Stony Brook University Dept. Computer Science http://www.georgehart.com email: [email protected] Abstract By constructing large, attractive polytope models, students or a general audience are connected with the beauty of mathematics in a hands-on manner. Four-dimensional geometry provides engaging challenges to think about while working in a team to build a physically impressive, sculptural result. I have led many workshops of this sort with Zometool materials and report on one event in detail. A family of related structures and mathematical ideas that can be taught informally at such an event are also presented. 1. Introduction Over the past eight years, I have organized many events where participants work with me to assemble geometric sculptures. I call these events “barn raisings” after the traditional New England events in which a community assembles the framework of a barn. Most people, I believe, have a natural feeling for pattern and form that I call the geometric aesthetic. [7] A participatory sculpture activity provides an informal education in mathematics which appeals to this feeling in an entertaining, hands-on manner, attractive even to those who may feel threatened by traditional presentations of mathematics. Examples of various sculpture barn raisings I have led with different designs and materials are described in references [8, 9, 10, 11] and on my web pages. [4] This paper describes barn raisings in which the structures we build are three-dimensional projections of certain four-dimensional polytopes and the material used is a plastic building set called Zometool.
    [Show full text]