DOCSLIB.ORG

Arxiv:2012.14380V2 [Math.CO] 15 Feb 2021

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:2012.14380V2 [Math.CO] 15 Feb 2021 A complete characterization of (f0, f1)-pairs of 6-polytopes Karim Adiprasito and R´emi Cocou Avohou Abstract. We completely characterize the first two entries, namely the (f0,f1)-vector pairs, for 6-dimension polytopes. We also find the characterization for 7-dimension polytopes with excess degree greater than 11 and, we conjecture bounds fulfilled by (f0,f1)-vector pairs for any d-polytope having an excess degree greater than 3d − 10. MSC(2010): 05C10, 57M15 Key words: polytope; f-vector; excess degree. Contents 1. Introduction 1 2. Preliminaries 2 3. Complete characterization of all possible (f0,f1)-pairsof6-polytopes 4 4. Characterization of all (f0,f1)-pairsof7-polytopeswithexcesslargerthan11 9 Acknowledgments 11 References 11 1. Introduction The study of f-vectors for convex polytopes have had huge successes in the last years. For a convex d-dimensional or d-polytope P , we write fi = fi(P ) for the number of i-dimensional faces (or i-faces) of P . The f-vector of P is the vector f0,f1, ··· ,fd−1 where faces of P of dimension 0, 1, 2, d−2 and d−1 are called vertices, edges, subfacets (or ridges), and facets of P , respectively. The number 2f1 − df0 := ǫ(P ) is called the excess degree or excess of P . In 1906 the f-vectors set of 3-polytopes was characterized by Steinitz [17] and in 1980 Billera & Lee and Stanley [5, 16] have proved the characterization of the f-vectors of simplicial and of simple polytopes conjectured by McMullen [12] in 1971 through the famous “g-theorem”. However arXiv:2012.14380v2 [math.CO] 15 Feb 2021 little result seems to be known for general polytopes and the characterization of f-vectors of d- polytopes (d ≥ 4) is still a big open problem in convex geometry. In most of the papers going in this direction, the authors have reduced the number of com- ponents of these vectors. For example Gr¨umbaum, Barnette and Barnette-Reay [8, 2, 3] have characterized for any 0 ≤ i < j ≤ 3 the following sets: fi,fj : P is a 4-polytope . More recently, most of the resultsn determine the possibleo number of edges or 1-dimensional faces of a polytope, given the number of vertices. Let d E = {(f0,f1) : there is a d-polytope with f0 vertices and f1 edges} . 3 3 Steinitz found the characterization for d = 3, E = (f0,f1): 2 f0 ≤ f1 ≤ 3f0 − 6 . For d = 4, 5 d f0 the results is given by the set (f0,f1): 2 f0 ≤ f1 ≤ 2 from which some exceptions have been n 1 o 2 KARIMADIPRASITOANDREMI´ COCOU AVOHOU removed. Gr¨umbaum [7] proved the case d = 4 by removing four exceptions: (6, 12), (7, 14), (8, 17) and (10, 20). The case d = 5 becomes more complicated and has been proved in two different ways by G. Pineda-Villavicencio, J. Ugon and D. Yost, [15] and more recently by T. Kusunoki and S. Murai [11]. For this case, exceptions are infinitely many: 5 f 5 E5 = (f ,f ): f ≤ f ≤ 0 \ f , f +1 : f ≥ 7 ∪ (8, 20), (9, 25), (13, 35) , 0 1 2 0 1 2 0 2 0 0 ( ! ) ( )! where ⌊r⌋ denotes the integer part of a rational number r. This paper addresses the study of f-vectors of convex polytopes and then thoroughly char- acterizes the set E6 i.e. the characterization for the first two entries of 6 dimensional polytopes. The (f0,f1)-pairs characterizing the convex 7-polytopes have been found under the condition that 2f1 − 7f0 > 11. Finally we conjecture bounds fulfilled by (f0,f1) for arbitrary dimension d> 4. The first part of this paper aims to find E6 by combining the ideas developed in [11, 15]. The main ingredients introduced in these two papers are reviewed in section 2. Section 3 focuses on the proof of our first main result, i.e. Theorem 11, fully characterizes the first two entries of 6-dimensional polytopes. Section 4 gives a complete characterization of the (f0,f1)-pairs of 7-polytopes with excess greater than 11 and addresses our second main result in Theorem 12. An extension of this result in arbitrary dimensions is conjectured in the same section 4 (see Conjecture 1). 2. Preliminaries This subsection recalls some recent results on face numbers of convex polytopes. Let a polytope Q be the pyramid over a polytope P . Then we have f0(Q)= f0(P )+1, f1(Q)= f0(P )+ f1(P ). If the polytope P is of dimension d and has a simple vertex v and Q is obtained from P by truncating the vertex v then d f (Q)= f (P )+ d − 1 and f (Q)= f (P )+ . 0 0 1 0 2 These relations are the most important in the proof of the following theorem. Theorem 1. [11] The set of (f0,f1)-vector pairs for 5-polytopes is given by 5 f 5 E5 = (f ,f ): f ≤ f ≤ 0 \ f , f +1 : f ≥ 7 ∪ (8, 20), (9, 25), (13, 35) . 0 1 2 0 1 2 0 2 0 0 ( ! ) ( )! Another quantity called the excess degree of a polytope is introduced in [15] and proves useful to simplify the above theorem. Definition 1 (Excess degree). The excess degree or excess Σ(P ) of a d-polytope P is defined as the sum of the excess degrees of its vertices and given by ǫ(P )=2f1 − df0. We now review the polytopes with small excess degrees starting from the simple polytopes to the d-polytopes with excess d − 2 and d − 1. Theorem 2. [15] Let P be a d-polytope. Then the smallest values in Σ(d) are 0 and d − 2. Theorem 3. [14] Up to combinatorial equivalence, (i) the simplex ∆0,d is the only simple d-polytope with strictly less than 2d vertices; (ii) the simplicial prism ∆1,d−1 is the only simple d-polytope with between 2d and 3d − 4 vertices; (iii) ∆2,d−2 is the only simple d-polytope with 3d − 3 vertices; (iv) the only simple d-polytope with 3d − 2 vertices is the 6-dimensional polytope ∆3,3; (v) the only simple d-polytope with 3d − 1 vertices are the polytope Jd, the 3−dimensional cube ∆1,1,1 and the 7−dimensional polytope ∆3,4; (f0, f1) PAIRS FOR CONVEX POLYTOPES 3 (v) there is a simple polytope with 3d vertices if, d = 4, 8; the only possible examples are ∆1,1,2, Γ2,2 and ∆3,5. Theorem 4. [14] Any d-polytope P with excess exactly d − 2 either (i) has a unique nonsimple vertex, which is the intersection of two facets, or (ii) has d−2 vertices of excess degree one, which form a d−3-simplex which is the intersection of two facets. In either case, the two intersecting facets are both simple polytopes, P is a Shepard polytope and has another facet with excess d − 3. The following statement characterizes the d-polytopes excess degree d − 1. Theorem 5. [14] Let P be a d-polytope P with excess exactly d − 1, where d> 3. Then d =5 and either (i) there is a single vertex with excess four, which is the intersection of two facets, and whose vertex figure is ∆2,2; or (ii) there are two vertices with excess two, the edge joining them is the intersection of two facets and its underfacet is either ∆1,1,2 or Γ2,2; or (iii) there are four vertices each with excess one, which form a quadrilateral 2-face which the intersection os two facets, and whose undefacet is the tesseract ∆1,1,1,1. In all cases P is a Shephard polytope. 1 1 We set for all d-dimensional polytopes φ(v, d)= 2 dv + 2 (v − d − 1)(2d − v). Theorem 6. [15] Let P be a d-polytope. (1) If f0(P ) ≤ 2d, then f1(P ) ≥ φ(f0(P ), d). (2) If d ≥ 4, then (f0(P ),f1(P )) 6= (d +4, φ(d +4, d)+1). Theorem 7. [15] If 4 ≤ k ≤ d, then a d-polytope with v = d + k vertices which is not a triplex must have at least φ(v, d)+ k − 3 edges. In other words, its excess degree is at least (k − 1)(d − k)+2(k − 3). We now recall the g-conjecture for simplicial complex [13]. For a simplicial complex ∆ of dimension d, its f-vector is (f0(∆), ··· ,fd(∆)) where fi(∆) is the number of i-dimensional faces of ∆. The h-vector is (h0(∆), ··· ,hd(∆)) where k k−i d +1 − i h = (−1) f − ; k d +1 − k i 1 i=0 X ∀ k =0, ··· , d + 1. Theorem 8. [13] Let ∆ be a simplicial d-sphere. A sequence of integers (h0, ··· ,hd) is the h-vector of ∆ if and only if the following two conditions hold: i) hi = hd−i for all 0 ≤ i ≤ d. ii) h0,hi − h2, ··· ,h d+1 − h d+1 is an M-vector. ⌊ 2 ⌋ ⌊ 2 ⌋−1 The following theorem in [10] was conjectured in [9], and extends the lower bound theorem k to arbitrary d-polytopes. Let C be a polyhedral complex and f2 (C) the number of 2-faces of C which are k-gons. Theorem 9. If P is a d-polytope with n vertices then d +1 f (P )+ (k − 3)f k(P ) ≥ d × n − . 1 2 2 k≥ X3 The graph G(P ) of a polytope P is the abstract graph with vertex set V (P ) and edge set E(P ) denoting respectively the set of vertices and edges of P .
Load more

Recommended publications
  • On the Circuit Diameter Conjecture
    On the Circuit Diameter Conjecture Steffen Borgwardt1, Tamon Stephen2, and Timothy Yusun2 1 University of Colorado Denver [email protected] 2 Simon Fraser University {tamon,tyusun}@sfu.ca Abstract. From the point of view of optimization, a critical issue is relating the combina- torial diameter of a polyhedron to its number of facets f and dimension d. In the seminal paper of Klee and Walkup [KW67], the Hirsch conjecture of an upper bound of f − d was shown to be equivalent to several seemingly simpler statements, and was disproved for unbounded polyhedra through the construction of a particular 4-dimensional polyhedron U4 with 8 facets. The Hirsch bound for bounded polyhedra was only recently disproved by Santos [San12]. We consider analogous properties for a variant of the combinatorial diameter called the circuit diameter. In this variant, the walks are built from the circuit directions of the poly- hedron, which are the minimal non-trivial solutions to the system defining the polyhedron. We are able to prove that circuit variants of the so-called non-revisiting conjecture and d-step conjecture both imply the circuit analogue of the Hirsch conjecture. For the equiva- lences in [KW67], the wedge construction was a fundamental proof technique. We exhibit why it is not available in the circuit setting, and what are the implications of losing it as a tool. Further, we show the circuit analogue of the non-revisiting conjecture implies a linear bound on the circuit diameter of all unbounded polyhedra – in contrast to what is known for the combinatorial diameter. Finally, we give two proofs of a circuit version of the 4-step conjecture.
    [Show full text]
  • 7 LATTICE POINTS and LATTICE POLYTOPES Alexander Barvinok
    7 LATTICE POINTS AND LATTICE POLYTOPES Alexander Barvinok INTRODUCTION Lattice polytopes arise naturally in algebraic geometry, analysis, combinatorics, computer science, number theory, optimization, probability and representation the- ory. They possess a rich structure arising from the interaction of algebraic, convex, analytic, and combinatorial properties. In this chapter, we concentrate on the the- ory of lattice polytopes and only sketch their numerous applications. We briefly discuss their role in optimization and polyhedral combinatorics (Section 7.1). In Section 7.2 we discuss the decision problem, the problem of finding whether a given polytope contains a lattice point. In Section 7.3 we address the counting problem, the problem of counting all lattice points in a given polytope. The asymptotic problem (Section 7.4) explores the behavior of the number of lattice points in a varying polytope (for example, if a dilation is applied to the polytope). Finally, in Section 7.5 we discuss problems with quantifiers. These problems are natural generalizations of the decision and counting problems. Whenever appropriate we address algorithmic issues. For general references in the area of computational complexity/algorithms see [AB09]. We summarize the computational complexity status of our problems in Table 7.0.1. TABLE 7.0.1 Computational complexity of basic problems. PROBLEM NAME BOUNDED DIMENSION UNBOUNDED DIMENSION Decision problem polynomial NP-hard Counting problem polynomial #P-hard Asymptotic problem polynomial #P-hard∗ Problems with quantifiers unknown; polynomial for ∀∃ ∗∗ NP-hard ∗ in bounded codimension, reduces polynomially to volume computation ∗∗ with no quantifier alternation, polynomial time 7.1 INTEGRAL POLYTOPES IN POLYHEDRAL COMBINATORICS We describe some combinatorial and computational properties of integral polytopes.
    [Show full text]
  • 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]
  • Report on the Comparison of Tesseract and ABBYY Finereader OCR Engines
    IMPACT is supported by the European Community under the FP7 ICT Work Programme. The project is coordinated by the National Library of the Netherlands. Report on the comparison of Tesseract and ABBYY FineReader OCR engines Marcin Heliński, Miłosz Kmieciak, Tomasz Parkoła Poznań Supercomputing and Networking Center, Poland Table of contents 1. Introduction ............................................................................................................................ 2 2. Training process .................................................................................................................... 2 2.1 Tesseract training process ................................................................................................ 3 2.2 FineReader training process ............................................................................................. 8 3. Comparison of Tesseract and FineReader ............................................................................10 3.1 Evaluation scenario .........................................................................................................10 3.1.2 Evaluation criteria ......................................................................................................12 3.2. OCR recognition accuracy results ...................................................................................13 3.3 Comparison of Tesseract and FineReader recognition accuracy .....................................20 4 Conclusions ...........................................................................................................................23
    [Show full text]
  • 1 Critical Noncolorings of the 600-Cell Proving the Bell-Kochen-Specker
    Critical noncolorings of the 600-cell proving the Bell-Kochen-Specker theorem Mordecai Waegell* and P.K.Aravind** Physics Department Worcester Polytechnic Institute Worcester, MA 01609 *[email protected] ,** [email protected] ABSTRACT Aravind and Lee-Elkin (1998) gave a proof of the Bell-Kochen-Specker theorem by showing that it is impossible to color the 60 directions from the center of a 600-cell to its vertices in a certain way. This paper refines that result by showing that the 60 directions contain many subsets of 36 and 30 directions that cannot be similarly colored, and so provide more economical demonstrations of the theorem. Further, these subsets are shown to be critical in the sense that deleting even a single direction from any of them causes the proof to fail. The critical sets of size 36 and 30 are shown to belong to orbits of 200 and 240 members, respectively, under the symmetries of the polytope. A comparison is made between these critical sets and other such sets in four dimensions, and the significance of these results is discussed. 1. Introduction Some time back Lee-Elkin and one of us [1] gave a proof of the Bell-Kochen-Specker (BKS) theorem [2,3] by showing that it is impossible to color the 60 directions from the center of a 600- cell to its vertices in a certain way. This paper refines that result in two ways. Firstly, it shows that the 60 directions contain many subsets of 36 and 30 directions that cannot be similarly colored, and so provide more economical demonstrations of the theorem.
    [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]
  • 3D Visualization Models of the Regular Polytopes in Four and Higher Dimensions
    BRIDGES Mathematical Connections in Art, Music, and Science 3D Visualization Models of the Regular Polytopes in Four and Higher Dimensions Carlo H. Sequin Computer Science Division, EECS Department University of California, Berkeley, CA 94720 E-maih [email protected] Abstract This paper presents a tutorial review of the construction of all regular polytopes in spaces of all possible dimensions . .It focusses on how to make instructive, 3-dimensional, physical visualization models for the polytopes of dimensions 4 through 6, using solid free-form fabrication technology. 1. Introduction Polytope is a generalization of the terms in the sequence: point, segment, polygon, polyhedron ... [1]. Such a polytope is called regular, if all its elements (vertices, edges, faces, cells ... ) are indistinguishable, i.e., if there exists a group of spatial transformations (rotations, mirroring) that will bring the polytope into coverage with itself. Through these symmetry operations, it must be possible to transform any particular element of the polytope into any other chosen element of the same kind. In two dimensions, there exist infinitely many regular polygons; the first five are shown in Figure 1. • • • Figure 1: The simplest regular 2D polygons. In three-dimensional space, there are just five regular polyhedra -- the Platonic solids, and they can readily be depicted by using shaded perspective renderings (Fig.2). As we contemplate higher dimensions and the regular polytopes that they may admit, it becomes progressively harder to understand the geometry of these objects. Projections down to two (printable) dimensions discard a fair amount of information, and people often have difficulties comprehending even 4D polytopes, when only shown pictures or 2D graphs.
    [Show full text]
  • Separators of Simple Polytopes
    Fachbereich Mathematik und Informatik der Freien Universit¨atBerlin Separators of simple polytopes A Dissertation Submitted in Partial Fulfillment of the Requirements for the Degree of Doctor of Natural Sciences to the Department of Department of Mathematics and Computer Science by Lauri Loiskekoski Berlin 2017 Supervisor: Prof. Dr. G¨unter M. Ziegler Second Examiner: Prof. Dr. Volker Kaibel Date of defense: 21.12.2017 Acknowledgements First and foremost I would like to thank my supervisor G¨unter M. Ziegler for introducing me to this fascinating topic and always having time to discuss. You always knew the right references and had good ideas what to look at. I would like to thank Hao Chen, Arnau Padrol and Raman Sanyal for help- ing me get started on research and and answering my questions on separators and polytopes. I would like to thank my friends and colleague at the villa, in particular Francesco Grande, Katy Beeler, Albert Haase, Tobias Friedl, Philip Brinkmann, Nevena Pali´c,Jean-Philippe Labb´e,Giulia Codenotti, Jorge Alberto Olarte, Hannah Sch¨aferSj¨oberg and Anna Maria Hartkopf. Thanks for navigating the bureaucracy go to Elke Pose. Thanks to Johanna Steinmeyer for the TikZ pictures. I wish to thank the Berlin Mathematical School for funding my research and European Research Council and Osaka University for funding my travels. Finally, I would like to thank my friends in Finland, especially the people of Rissittely for answering all the unconventional questions I have had about academia and life in general. iii iv Contents Acknowledgements . iii 1 Introduction 1 2 Graphs and Polytopes 3 2.1 Polytopes .
    [Show full text]
  • Three Questions on Graphs of Polytopes
    Three questions on graphs of polytopes Guillermo Pineda-Villavicencio Federation University Australia G. Pineda-Villavicencio (FedUni) Mar 18 1 / 30 Outline 1 A polytope as a combinatorial object 2 First question: Reconstruction of polytopes 3 Second question: Connectivity of cubical polytopes 4 Third question: Linkedness of cubical polytopes G. Pineda-Villavicencio (FedUni) Mar 18 2 / 30 A polytope as a combinatorial object 2 3 4 5 6 7 1 3 5 7 0 1 4 5 2 3 6 7 0 2 4 6 0 1 2 3 6 7 5 7 4 5 1 5 6 7 3 7 4 6 0 4 1 3 0 1 2 6 2 3 0 2 0 1 4 5 5 7 4 1 6 3 0 2 G. Pineda-Villavicencio (FedUni) Mar 18 3 / 30 Reconstruction of polytopes (Dolittle, Nevo, Ugon & Yost) The k-skeleton of a polytope is the set of all its faces of dimension ≤ k. k-skeleton reconstruction: Given the k-skeleton of a polytope, can the face lattice of the polytope be completed? 4 5 6 7 1 3 5 7 0 1 4 5 2 3 6 7 0 2 4 6 0 1 2 3 5 7 4 5 1 5 6 7 3 7 4 6 0 4 1 3 0 1 2 6 2 3 0 2 5 7 4 1 6 3 0 2 G. Pineda-Villavicencio (FedUni) Mar 18 4 / 30 For d ≥ 4 there are pairs of d-polytopes with isomorphic (d − 3)-skeleta: a bipyramid over a (d − 1)-simplex and, a pyramid over the (d − 1)-bipyramid over a (d − 2)-simplex.
    [Show full text]
  • Combinatorial Aspects of Convex Polytopes Margaret M
    Combinatorial Aspects of Convex Polytopes Margaret M. Bayer1 Department of Mathematics University of Kansas Carl W. Lee2 Department of Mathematics University of Kentucky August 1, 1991 Chapter for Handbook on Convex Geometry P. Gruber and J. Wills, Editors 1Supported in part by NSF grant DMS-8801078. 2Supported in part by NSF grant DMS-8802933, by NSA grant MDA904-89-H-2038, and by DIMACS (Center for Discrete Mathematics and Theoretical Computer Science), a National Science Foundation Science and Technology Center, NSF-STC88-09648. 1 Definitions and Fundamental Results 3 1.1 Introduction : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 3 1.2 Faces : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 3 1.3 Polarity and Duality : : : : : : : : : : : : : : : : : : : : : : : : : 3 1.4 Overview : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 4 2 Shellings 4 2.1 Introduction : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 4 2.2 Euler's Relation : : : : : : : : : : : : : : : : : : : : : : : : : : : : 4 2.3 Line Shellings : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 5 2.4 Shellable Simplicial Complexes : : : : : : : : : : : : : : : : : : : 5 2.5 The Dehn-Sommerville Equations : : : : : : : : : : : : : : : : : : 6 2.6 Completely Unimodal Numberings and Orientations : : : : : : : 7 2.7 The Upper Bound Theorem : : : : : : : : : : : : : : : : : : : : : 8 2.8 The Lower Bound Theorem : : : : : : : : : : : : : : : : : : : : : 9 2.9 Constructions Using Shellings : : : : : : : : : : : : :
    [Show full text]
  • From Two Dimensions to Four – and Back Again Susan Mcburney Western Springs, IL 60558, USA E-Mail: [email protected]
    Bridges 2012: Mathematics, Music, Art, Architecture, Culture From Two Dimensions to Four – and Back Again Susan McBurney Western Springs, IL 60558, USA E-mail: [email protected] Abstract Mathematical concepts of n-dimensional space can produce not only intriguing geometries, but also attractive ornamentation. This paper will trace the evolution of a 2-D figure to four dimensions and briefly illustrate two tools for going back again to 2D. When coupled with modern dynamic software packages, these concepts can lead to a whole new world of design possibilities. The Emergence of New Methodologies Many factors converged in the second half of the 19th century and the beginning of the 20th century that led to new ways of thinking, new ideas, and a search for untried methods of experimentation In architecture, technological advances such as the development of cast iron and glass production opened the way for designers to develop new techniques and even new concepts that expanded upon these possibilities. While some continued to rely on classic forms for inspiration, others such as Louis Sullivan, Frank Lloyd Wright, and lesser-known architect Claude Bragdon worked at developing their own styles, not only of architecture, but of integrated ornamentation as well. Geometric concepts played an increased role in style and methods and for Bragdon, became a prime source of inspiration. In his seminal book on ornamentation, “Projective Ornament” he stated, “Geometry and number are at the root of every kind of formal beauty.” At the same time parallel advances were taking place in many other disciplines. In mathematics concepts of dimensional spaces beyond three gained popularity.
    [Show full text]
  • Gauss-Bonnet for Multi-Linear Valuations
    GAUSS-BONNET FOR MULTI-LINEAR VALUATIONS OLIVER KNILL Abstract. We prove Gauss-Bonnet and Poincar´e-Hopfformulas for multi- linear valuations on finite simple graphs G = (V; E) and answer affirmatively a conjecture of Gr¨unbaum from 1970 by constructing higher order Dehn- Sommerville valuations which vanish for all d-graphs without boundary. A first example of a higher degree valuations was introduced by Wu in 1959. P dim(x) It is the Wu characteristic !(G) = x\y6=; σ(x)σ(y) with σ(x) = (−1) which sums over all ordered intersecting pairs of complete subgraphs of a finite simple graph G. It more generally defines an intersection number !(A; B) = P x\y6=; σ(x)σ(y), where x ⊂ A; y ⊂ B are the simplices in two subgraphs A; B of a given graph. The self intersection number !(G) is a higher order Euler P characteristic. The later is the linear valuation χ(G) = x σ(x) which sums over all complete subgraphs of G. We prove that all these characteristics share the multiplicative property of Euler characteristic: for any pair G; H of finite simple graphs, we have !(G × H) = !(G)!(H) so that all Wu characteristics like Euler characteristic are multiplicative on the Stanley-Reisner ring. The Wu characteristics are invariant under Barycentric refinements and are so com- binatorial invariants in the terminology of Bott. By constructing a curvature P K : V ! R satisfying Gauss-Bonnet !(G) = a K(a), where a runs over all vertices we prove !(G) = χ(G) − χ(δ(G)) which holds for any d-graph G with boundary δG.
    [Show full text]