Contractions of Polygons in Abstract Polytopes

Total Page:16

File Type:pdf, Size:1020Kb

Contractions of Polygons in Abstract Polytopes Contractions of Polygons in Abstract Polytopes by Ilya Scheidwasser B.S. in Computer Science, University of Massachusetts Amherst 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 March 31, 2015 Dissertation directed by Egon Schulte Professor of Mathematics Acknowledgements First, I would like to thank my advisor, Professor Egon Schulte. From the first class I took with him in the first semester of my Masters program, Professor Schulte was an engaging, clear, and kind lecturer, deepening my appreciation for mathematics and always more than happy to provide feedback and answer extra questions about the material. Every class with him was a sincere pleasure, and his classes helped lead me to the study of abstract polytopes. As my advisor, Professor Schulte provided me with invaluable assistance in the creation of this thesis, as well as career advice. For all the time and effort Professor Schulte has put in to my endeavors, I am greatly appreciative. I would also like to thank my dissertation committee for taking time out of their sched- ules to provide me with feedback on this thesis. In addition, I would like to thank the various instructors I've had at Northeastern over the years for nurturing my knowledge of and interest in mathematics. I would like to thank my peers and classmates at Northeastern for their company and their assistance with my studies, and the math department's Teaching Committee for the privilege of lecturing classes these past several years. Finally, I would like to thank my girlfriend Rachel for her support and company during my work on this dissertation. Her presence in my life has been a priceless grounding force. She helps keep me happy and sane. ii Abstract of Dissertation There are several well-known constructions of new polytopes from old, such as the pyra- mid and prism constructions. This thesis defines two new local constructions on abstract polytopes. The first construction, called digonal contraction, allows digonal sections to be removed by merging their two edges into a single edge. The second construction, called polygonal contraction, allows polygonal sections with at least four vertices to be converted to two smaller polygons by merging two non-adjacent vertices. Neither of these contractions can be applied arbitrarily; we present necessary and sufficient conditions for the use of each contraction. In the case of polygonal contraction, we find that the graph-theoretical proper- ties of the polytope affect whether the contraction can be applied. Both of these contractions have interesting interactions with another new construction, the k-bubble construction in- troduced by Helfand (2013, Section 2.2), which are described. We also investigate how polygonal contraction can be performed somewhat globally, and what the effects are on the automorphism group of the polytope. iii Table of Contents Acknowledgements ii Abstract of Dissertation iii Table of Contents iv List of Figures vii 1 Introduction 1 2 Basic Notions 4 2.1 Basics of Convex Polytopes . .4 2.2 Posets and Symmetry . .6 2.3 Abstract Polytopes . 13 2.4 Graph Theory and Polytopes . 17 3 Digonal Contraction 21 3.1 Preliminary Results for Digonal Contraction . 21 3.2 The Digonal Contraction Theorem . 23 3.3 Reversing Digonal Contraction . 34 4 The Helfand Construction 38 4.1 The Global and Local Helfand Constructions . 38 4.2 Connections to Digonal Contraction . 43 5 Polygonal Contraction 51 5.1 Defining Polygonal Contraction . 51 iv 5.2 The Polygonal Contraction Theorem . 57 5.3 Polygonal Contraction for Polytope Lattices . 75 5.4 Connections to the Helfand Construction . 76 6 Polygonal Contraction and Symmetry 84 6.1 Multiple Polygonal Contraction . 84 6.2 Connections to Symmetry . 87 Bibliography 104 v List of Figures 2.1 A flag of a 3-cube. .6 2.2 The Hasse diagram of a square. .8 2.3 The pyramid and prism over a pentagon. 10 2.4 The distinguished generators of a square. 10 2.5 A triangular 2-section of a cube. 12 2.6 Examples of abstract polytopes which are not convex polytopes. 15 3.1 Digonal contraction on a cube-like polytope. 24 3.2 Four non-contractible digons. 31 3.3 An example of Condition (4) breaking for digonal contraction. 33 3.4 Merging two polygons with digonal contraction. 35 4.1 Two different applications of the global Helfand construction to the 3-cube. 40 4.2 Producing a digon via the Helfand construction. 44 4.3 Producing and contracting digons with the Helfand construction. 45 4.4 Merging two triangles into a square with digonal contraction. 48 4.5 Merging two polygons with digonal contraction, in connection with the Helfand construction. 50 5.1 Polygonal contraction on a hexagon. 52 5.2 A polytope nontrivially satisfying the conditions in Prop. 5.1.2. 55 5.3 Edge graphs satisfying and violating the conditions in Prop. 5.1.2. 56 5.4 Polygonal contraction failing due to apeirogons. 67 5.5 Examples of connectivity and non-connectivity in polygonal contraction. 68 5.6 Two similar polygons with different results under polygonal contraction. 70 vi 5.7 Five different examples of non-contractible polygonal sections F=G in poly- topes. 71 5.8 The edge graphs G for the examples in Figure 5.7. 72 5.9 Breaking or preserving the lattice condition via polygonal contraction. 77 5.10 Producing and contracting polygons with the Helfand construction. 80 5.11 The creation of a triangle via the Helfand construction. 82 5.12 The creation of another triangle via the Helfand construction. 82 6.1 The truncated square tiling. 91 6.2 The polyhedron P1 obtained by contracting all octagons in the truncated square tiling. 92 6.3 The polyhedron P2 obtained by contracting all squares in the truncated square tiling. 93 6.4 The polyhedron P12 obtained by contracting all squares and octagons all in the truncated square tiling. 95 6.5 Further contraction of the truncated square tiling. 96 6.6 The first step in a maximal contraction of the truncated square tiling. 97 6.7 The second step in a maximal contraction of the truncated square tiling. 98 6.8 The third step in a maximal contraction of the truncated square tiling. 99 6.9 The final step in a maximal contraction of the truncated square tiling. 100 vii Chapter 1 Introduction An abstract polytope is a combinatorial object generalizing the face lattice of a convex polytope (McMullen and Schulte, 2002, Section 2A). Specifically, an abstract polytope is a poset. The elements of the set represent faces of the polytope and one face being less than another in the poset represents two faces being incident, such as a vertex contained in an edge. In order for a poset to be an abstract polytope, it must satisfy four conditions - some are very straightforward, such as the requirement that there is exactly one least face and one greatest face, while others are more complicated, such as the strong connectivity condition. As such, testing whether an arbitrary poset is an abstract polytope is not simple. A construction on abstract polytopes is a way to perturb an abstract polytope, whether locally or globally, in order to get another abstract polytope. Two well-known constructions are the pyramid construction and the prism construction: just as we can take the pyramid over a convex polytope or the prism over a convex polytope to get a new convex polytope of one higher dimension (Gr¨unbaum, 2003, Sections 4.2, 4.4), we can generalize these con- structions to apply to abstract polytopes, and performing either of these constructions on an abstract polytope always produces an abstract polytope of one higher rank (dimension). Helfand introduced a new global construction on abstract polytopes called the k-bubble construction (Helfand, 2013), or in this paper, the global Helfand construction (we define a local version later). This construction is a generalization of the operation of truncating a convex polytope. For example, if we truncate a cube, we imagine slicing the cube near each of its vertices, so that there is now a new triangle for every vertex; the resulting convex polytope is the well-known truncated cube. This new polytope is not regular like the original polytope was, but is still highly symmetric. The global Helfand construction allows us to 1 apply a similar operation, in various ways, to an abstract polytope, and always produces a new abstract polytope of the same rank. The two new constructions examined in this thesis are local constructions focused on polygons in abstract polytope. A polygon is any two-dimensional section of the face poset of a polytope: for example, the cube clearly has square faces, but it also has triangular sections (its vertex figures). The first construction examined is the digonal contraction. A digon is an abstract polygon with just two vertices and two edges, and the presence of digonal sections in an abstract polytope is sometimes viewed as a degenerate condition. Digonal contraction is the operation of taking a digonal section, removing the greatest face of that section altogether, and merging the two edges into a single edge. The second construction examined is the polygonal contraction. Unlike digonal contraction, the aim here is not to remove the polygon altogether, but to split it into two smaller polygons. This is done by taking two non-adjacent vertices of the polygon (hence, the polygon must be at least a square) and merging them, thus producing two smaller polygons in a natural way. Neither of these contractions can be applied to arbitrary polygons in arbitrary polytopes; both have various conditions that must be satisfied in order for the contraction to produce an abstract polytope (otherwise, the contraction will just produce a poset which does not qualify as an abstract polytope for one reason or another).
Recommended publications
  • On Finding Two Posets That Cover Given Linear Orders
    algorithms Article On Finding Two Posets that Cover Given Linear Orders Ivy Ordanel 1,*, Proceso Fernandez, Jr. 2 and Henry Adorna 1 1 Department of Computer Science, University of the Philippines Diliman, Quezon City 1101, Philippines; [email protected] 2 Department of Information Sytems and Computer Science, Ateneo De Manila University, Quezon City 1108, Philippines; [email protected] * Correspondence: [email protected] Received: 13 August 2019; Accepted: 17 October 2019; Published: 19 October 2019 Abstract: The Poset Cover Problem is an optimization problem where the goal is to determine a minimum set of posets that covers a given set of linear orders. This problem is relevant in the field of data mining, specifically in determining directed networks or models that explain the ordering of objects in a large sequential dataset. It is already known that the decision version of the problem is NP-Hard while its variation where the goal is to determine only a single poset that covers the input is in P. In this study, we investigate the variation, which we call the 2-Poset Cover Problem, where the goal is to determine two posets, if they exist, that cover the given linear orders. We derive properties on posets, which leads to an exact solution for the 2-Poset Cover Problem. Although the algorithm runs in exponential-time, it is still significantly faster than a brute-force solution. Moreover, we show that when the posets being considered are tree-posets, the running-time of the algorithm becomes polynomial, which proves that the more restricted variation, which we called the 2-Tree-Poset Cover Problem, is also in P.
    [Show full text]
  • Confluent Hasse Diagrams
    Confluent Hasse diagrams David Eppstein Joseph A. Simons Department of Computer Science, University of California, Irvine, USA. October 29, 2018 Abstract We show that a transitively reduced digraph has a confluent upward drawing if and only if its reachability relation has order dimension at most two. In this case, we construct a confluent upward drawing with O(n2) features, in an O(n) × O(n) grid in O(n2) time. For the digraphs representing series-parallel partial orders we show how to construct a drawing with O(n) fea- tures in an O(n) × O(n) grid in O(n) time from a series-parallel decomposition of the partial order. Our drawings are optimal in the number of confluent junctions they use. 1 Introduction One of the most important aspects of a graph drawing is that it should be readable: it should convey the structure of the graph in a clear and concise way. Ease of understanding is difficult to quantify, so various proxies for readability have been proposed; one of the most prominent is the number of edge crossings. That is, we should minimize the number of edge crossings in our drawing (a planar drawing, if possible, is ideal), since crossings make drawings harder to read. Another measure of readability is the total amount of ink required by the drawing [1]. This measure can be formulated in terms of Tufte’s “data-ink ratio” [22,35], according to which a large proportion of the ink on any infographic should be devoted to information. Thus given two different ways to present information, we should choose the more succinct and crossing-free presentation.
    [Show full text]
  • Petrie Schemes
    Canad. J. Math. Vol. 57 (4), 2005 pp. 844–870 Petrie Schemes Gordon Williams Abstract. Petrie polygons, especially as they arise in the study of regular polytopes and Coxeter groups, have been studied by geometers and group theorists since the early part of the twentieth century. An open question is the determination of which polyhedra possess Petrie polygons that are simple closed curves. The current work explores combinatorial structures in abstract polytopes, called Petrie schemes, that generalize the notion of a Petrie polygon. It is established that all of the regular convex polytopes and honeycombs in Euclidean spaces, as well as all of the Grunbaum–Dress¨ polyhedra, pos- sess Petrie schemes that are not self-intersecting and thus have Petrie polygons that are simple closed curves. Partial results are obtained for several other classes of less symmetric polytopes. 1 Introduction Historically, polyhedra have been conceived of either as closed surfaces (usually topo- logical spheres) made up of planar polygons joined edge to edge or as solids enclosed by such a surface. In recent times, mathematicians have considered polyhedra to be convex polytopes, simplicial spheres, or combinatorial structures such as abstract polytopes or incidence complexes. A Petrie polygon of a polyhedron is a sequence of edges of the polyhedron where any two consecutive elements of the sequence have a vertex and face in common, but no three consecutive edges share a commonface. For the regular polyhedra, the Petrie polygons form the equatorial skew polygons. Petrie polygons may be defined analogously for polytopes as well. Petrie polygons have been very useful in the study of polyhedra and polytopes, especially regular polytopes.
    [Show full text]
  • Regular Polyhedra Through Time
    Fields Institute I. Hubard Polytopes, Maps and their Symmetries September 2011 Regular polyhedra through time The greeks were the first to study the symmetries of polyhedra. Euclid, in his Elements showed that there are only five regular solids (that can be seen in Figure 1). In this context, a polyhe- dron is regular if all its polygons are regular and equal, and you can find the same number of them at each vertex. Figure 1: Platonic Solids. It is until 1619 that Kepler finds other two regular polyhedra: the great dodecahedron and the great icosahedron (on Figure 2. To do so, he allows \false" vertices and intersection of the (convex) faces of the polyhedra at points that are not vertices of the polyhedron, just as the I. Hubard Polytopes, Maps and their Symmetries Page 1 Figure 2: Kepler polyhedra. 1619. pentagram allows intersection of edges at points that are not vertices of the polygon. In this way, the vertex-figure of these two polyhedra are pentagrams (see Figure 3). Figure 3: A regular convex pentagon and a pentagram, also regular! In 1809 Poinsot re-discover Kepler's polyhedra, and discovers its duals: the small stellated dodecahedron and the great stellated dodecahedron (that are shown in Figure 4). The faces of such duals are pentagrams, and are organized on a \convex" way around each vertex. Figure 4: The other two Kepler-Poinsot polyhedra. 1809. A couple of years later Cauchy showed that these are the only four regular \star" polyhedra. We note that the convex hull of the great dodecahedron, great icosahedron and small stellated dodecahedron is the icosahedron, while the convex hull of the great stellated dodecahedron is the dodecahedron.
    [Show full text]
  • Operations on Partially Ordered Sets and Rational Identities of Type a Adrien Boussicault
    Operations on partially ordered sets and rational identities of type A Adrien Boussicault To cite this version: Adrien Boussicault. Operations on partially ordered sets and rational identities of type A. Discrete Mathematics and Theoretical Computer Science, DMTCS, 2013, Vol. 15 no. 2 (2), pp.13–32. hal- 00980747 HAL Id: hal-00980747 https://hal.inria.fr/hal-00980747 Submitted on 18 Apr 2014 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. Discrete Mathematics and Theoretical Computer Science DMTCS vol. 15:2, 2013, 13–32 Operations on partially ordered sets and rational identities of type A Adrien Boussicault Institut Gaspard Monge, Universite´ Paris-Est, Marne-la-Valle,´ France received 13th February 2009, revised 1st April 2013, accepted 2nd April 2013. − −1 We consider the family of rational functions ψw = Q(xwi xwi+1 ) indexed by words with no repetition. We study the combinatorics of the sums ΨP of the functions ψw when w describes the linear extensions of a given poset P . In particular, we point out the connexions between some transformations on posets and elementary operations on the fraction ΨP . We prove that the denominator of ΨP has a closed expression in terms of the Hasse diagram of P , and we compute its numerator in some special cases.
    [Show full text]
  • LNCS 7034, Pp
    Confluent Hasse Diagrams DavidEppsteinandJosephA.Simons Department of Computer Science, University of California, Irvine, USA Abstract. We show that a transitively reduced digraph has a confluent upward drawing if and only if its reachability relation has order dimen- sion at most two. In this case, we construct a confluent upward drawing with O(n2)features,inanO(n) × O(n)gridinO(n2)time.Forthe digraphs representing series-parallel partial orders we show how to con- struct a drawing with O(n)featuresinanO(n)×O(n)gridinO(n)time from a series-parallel decomposition of the partial order. Our drawings are optimal in the number of confluent junctions they use. 1 Introduction One of the most important aspects of a graph drawing is that it should be readable: it should convey the structure of the graph in a clear and concise way. Ease of understanding is difficult to quantify, so various proxies for it have been proposed, including the number of crossings and the total amount of ink required by the drawing [1,18]. Thus given two different ways to present information, we should choose the more succinct and crossing-free presentation. Confluent drawing [7,8,9,15,16] is a style of graph drawing in which multiple edges are combined into shared tracks, and two vertices are considered to be adjacent if a smooth path connects them in these tracks (Figure 1). This style was introduced to re- duce crossings, and in many cases it will also Fig. 1. Conventional and confluent improve the ink requirement by represent- drawings of K5,5 ing dense subgraphs concisely.
    [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]
  • Lecture Notes on Algebraic Combinatorics Jeremy L. Martin
    Lecture Notes on Algebraic Combinatorics Jeremy L. Martin [email protected] December 3, 2012 Copyright c 2012 by Jeremy L. Martin. These notes are licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported License. 2 Foreword The starting point for these lecture notes was my notes from Vic Reiner's Algebraic Combinatorics course at the University of Minnesota in Fall 2003. I currently use them for graduate courses at the University of Kansas. They will always be a work in progress. Please use them and share them freely for any research purpose. I have added and subtracted some material from Vic's course to suit my tastes, but any mistakes are my own; if you find one, please contact me at [email protected] so I can fix it. Thanks to those who have suggested additions and pointed out errors, including but not limited to: Logan Godkin, Alex Lazar, Nick Packauskas, Billy Sanders, Tony Se. 1. Posets and Lattices 1.1. Posets. Definition 1.1. A partially ordered set or poset is a set P equipped with a relation ≤ that is reflexive, antisymmetric, and transitive. That is, for all x; y; z 2 P : (1) x ≤ x (reflexivity). (2) If x ≤ y and y ≤ x, then x = y (antisymmetry). (3) If x ≤ y and y ≤ z, then x ≤ z (transitivity). We'll usually assume that P is finite. Example 1.2 (Boolean algebras). Let [n] = f1; 2; : : : ; ng (a standard piece of notation in combinatorics) and let Bn be the power set of [n]. We can partially order Bn by writing S ≤ T if S ⊆ T .
    [Show full text]
  • Representing the Sporadic Archimedean Polyhedra As Abstract Polytopes$
    CORE Metadata, citation and similar papers at core.ac.uk Provided by Elsevier - Publisher Connector Discrete Mathematics 310 (2010) 1835–1844 Contents lists available at ScienceDirect Discrete Mathematics journal homepage: www.elsevier.com/locate/disc Representing the sporadic Archimedean polyhedra as abstract polytopesI Michael I. Hartley a, Gordon I. Williams b,∗ a DownUnder GeoSolutions, 80 Churchill Ave, Subiaco, 6008, Western Australia, Australia b Department of Mathematics and Statistics, University of Alaska Fairbanks, PO Box 756660, Fairbanks, AK 99775-6660, United States article info a b s t r a c t Article history: We present the results of an investigation into the representations of Archimedean Received 29 August 2007 polyhedra (those polyhedra containing only one type of vertex figure) as quotients of Accepted 26 January 2010 regular abstract polytopes. Two methods of generating these presentations are discussed, Available online 13 February 2010 one of which may be applied in a general setting, and another which makes use of a regular polytope with the same automorphism group as the desired quotient. Representations Keywords: of the 14 sporadic Archimedean polyhedra (including the pseudorhombicuboctahedron) Abstract polytope as quotients of regular abstract polyhedra are obtained, and summarised in a table. The Archimedean polyhedron Uniform polyhedron information is used to characterize which of these polyhedra have acoptic Petrie schemes Quotient polytope (that is, have well-defined Petrie duals). Regular cover ' 2010 Elsevier B.V. All rights reserved. Flag action Exchange map 1. Introduction Much of the focus in the study of abstract polytopes has been on the regular abstract polytopes. A publication of the first author [6] introduced a method for representing any abstract polytope as a quotient of regular polytopes.
    [Show full text]
  • Lecture Notes: Combinatorics, Aalto, Fall 2014 Instructor
    Lecture notes: Combinatorics, Aalto, Fall 2014 Instructor: Alexander Engstr¨om TA & scribe: Oscar Kivinen Contents Preface ix Chapter 1. Posets 1 Chapter 2. Extremal combinatorics 11 Chapter 3. Chromatic polynomials 17 Chapter 4. Acyclic matchings on posets 23 Chapter 5. Complete (perhaps not acyclic) matchings 29 Bibliography 33 vii Preface These notes are from a course in Combinatorics at Aalto University taught during the first quarter of the school year 14-15. The intended structure is five separate chapters on topics that are fairly independent. The choice of topics could have been done in many other ways, and we don't claim the included ones to be in any way more important than others. There is another course on combinatorics at Aalto, towards computer science. Hence, we have selected topics that go more towards pure mathematics, to reduce the overlap. A particular feature about all of the topics is that there are active and interesting research going on in them, and some of the theorems we present are not usually mentioned at the undergraduate level. We should end with a warning: These are lecture notes. There are surely many errors and lack of references, but we have tried to eliminate these. Please ask if there is any incoherence, and feel free to point out outright errors. References to better and more comprehensive texts are given in the course of the text. ix CHAPTER 1 Posets Definition 1.1. A poset (or partially ordered set) is a set P with a binary relation ≤⊆ P × P that is (i) reflexive: p ≤ p for all p 2 P ; (ii) antisymmetric: if p ≤ q and q ≤ p, then p = q; (iii) transitive: if p ≤ q and q ≤ r, then p ≤ r Definition 1.2.
    [Show full text]
  • Regular Incidence Complexes, Polytopes, and C-Groups
    Regular Incidence Complexes, Polytopes, and C-Groups Egon Schulte∗ Department of Mathematics Northeastern University, Boston, MA 02115, USA March 13, 2018 Abstract Regular incidence complexes are combinatorial incidence structures generalizing regu- lar convex polytopes, regular complex polytopes, various types of incidence geometries, and many other highly symmetric objects. The special case of abstract regular poly- topes has been well-studied. The paper describes the combinatorial structure of a regular incidence complex in terms of a system of distinguished generating subgroups of its automorphism group or a flag-transitive subgroup. Then the groups admitting a flag-transitive action on an incidence complex are characterized as generalized string C-groups. Further, extensions of regular incidence complexes are studied, and certain incidence complexes particularly close to abstract polytopes, called abstract polytope complexes, are investigated. Key words. abstract polytope, regular polytope, C-group, incidence geometries MSC 2010. Primary: 51M20. Secondary: 52B15; 51E24. arXiv:1711.02297v1 [math.CO] 7 Nov 2017 1 Introduction Regular incidence complexes are combinatorial incidence structures with very high combina- torial symmetry. The concept was introduced by Danzer [12, 13] building on Gr¨unbaum’s [17] notion of a polystroma. Regular incidence complexes generalize regular convex polytopes [7], regular complex polytopes [8, 42], various types of incidence geometries [4, 5, 21, 44], and many other highly symmetric objects. The terminology and notation is patterned after con- vex polytopes [16] and was ultimately inspired by Coxeter’s work on regular figures [7, 8]. ∗Email: [email protected] 1 The first systematic study of incidence complexes from the discrete geometry perspective occurred in [33] and the related publications [13, 34, 35, 36].
    [Show full text]
  • Locally Spherical Hypertopes from Generalized Cubes
    LOCALLY SPHERICAL HYPERTOPES FROM GENERLISED CUBES ANTONIO MONTERO AND ASIA IVIĆ WEISS Abstract. We show that every non-degenerate regular polytope can be used to construct a thin, residually-connected, chamber-transitive incidence geome- try, i.e. a regular hypertope, with a tail-triangle Coxeter diagram. We discuss several interesting examples derived when this construction is applied to gen- eralised cubes. In particular, we produce an example of a rank 5 finite locally spherical proper hypertope of hyperbolic type. 1. Introduction Hypertopes are particular kind of incidence geometries that generalise the no- tions of abstract polytopes and of hypermaps. The concept was introduced in [7] with particular emphasis on regular hypertopes (that is, the ones with highest de- gree of symmetry). Although in [6, 9, 8] a number of interesting examples had been constructed, within the theory of abstract regular polytopes much more work has been done. Notably, [20] and [22] deal with the universal constructions of polytopes, while in [3, 17, 18] the constructions with prescribed combinatorial conditions are explored. In another direction, in [2, 5, 11, 16] the questions of existence of poly- topes with prescribed (interesting) groups are investigated. Much of the impetus to the development of the theory of abstract polytopes, as well as the inspiration with the choice of problems, was based on work of Branko Grünbaum [10] from 1970s. In this paper we generalise the halving operation on polyhedra (see 7B in [13]) on a certain class of regular abstract polytopes to construct regular hypertopes. More precisely, given a regular non-degenerate n-polytope P, we construct a reg- ular hypertope H(P) related to semi-regular polytopes with tail-triangle Coxeter diagram.
    [Show full text]