Configurations of Points and Lines

Total Page:16

File Type:pdf, Size:1020Kb

Configurations of Points and Lines Configurations of Points and Lines "RANKO'RüNBAUM 'RADUATE3TUDIES IN-ATHEMATICS 6OLUME !MERICAN-ATHEMATICAL3OCIETY http://dx.doi.org/10.1090/gsm/103 Configurations of Points and Lines Configurations of Points and Lines Branko Grünbaum Graduate Studies in Mathematics Volume 103 American Mathematical Society Providence, Rhode Island Editorial Board David Cox (Chair) Steven G. Krantz Rafe Mazzeo Martin Scharlemann 2000 Mathematics Subject Classification. Primary 01A55, 01A60, 05–03, 05B30, 05C62, 51–03, 51A20, 51A45, 51E30, 52C30. For additional information and updates on this book, visit www.ams.org/bookpages/gsm-103 Library of Congress Cataloging-in-Publication Data Gr¨unbaum, Branko. Configurations of points and lines / Branko Gr¨unbaum. p. cm. — (Graduate studies in mathematics ; v. 103) Includes bibliographical references and index. ISBN 978-0-8218-4308-6 (alk. paper) 1. Configurations. I. Title. QA607.G875 2009 516.15—dc22 2009000303 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy a chapter for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society. Requests for such permission should be addressed to the Acquisitions Department, American Mathematical Society, 201 Charles Street, Providence, Rhode Island 02904-2294, USA. Requests can also be made by e-mail to [email protected]. c 2009 by the American Mathematical Society. All rights reserved. The American Mathematical Society retains all rights except those granted to the United States Government. Printed in the United States of America. ∞ The paper used in this book is acid-free and falls within the guidelines established to ensure permanence and durability. Visit the AMS home page at http://www.ams.org/ 10987654321 141312111009 Dedicated to the memory of my teachers: Milenko Vucˇkic´ (1911–1981) Stanko Bilinski (1909–1998) Abraham Halevi (Adolf) Fraenkel (1891–1965) Aryeh Dvoretzky (1916–2008) Contents Preface xi Chapter 1. Beginnings 1 §1.1. Introduction 1 §1.2. An informal history of configurations 8 §1.3. Basic concepts and definitions 14 §1.4. Tools for the study of configurations 26 §1.5. Symmetry 32 §1.6. Reduced Levi graphs 38 §1.7. Derived figures and other tools 47 Chapter 2. 3-Configurations 59 §2.0. Overview 59 §2.1. Existence of 3-configurations 60 §2.2. Enumeration of 3-configurations (Part 1) 69 §2.3. Enumeration of 3-configurations (Part 2) 81 §2.4. General constructions for combinatorial 3-configurations 89 §2.5. Steinitz’s theorem—the combinatorial part 92 §2.6. Steinitz’s theorem—the geometric part 102 §2.7. Astral 3-configurations with cyclic symmetry group 110 §2.8. Astral 3-configurations with dihedral symmetry group 121 §2.9. Multiastral 3-configurations 134 §2.10. Duality of astral 3-configurations 144 §2.11. Open problems (and a few exercises) 150 vii viii Contents Chapter 3. 4-Configurations 155 §3.0. Overview 155 §3.1. Combinatorial 4-configurations 156 §3.2. Existence of topological and geometric 4-configurations 161 §3.3. Constructions of geometric 4-configurations 169 §3.4. Existence of geometric 4-configurations 186 §3.5. Astral 4-configurations 190 §3.6. 2-Astral 4-configurations 203 §3.7. 3-Astral 4-configurations 212 §3.8. k-Astral configurations for k ≥ 4 223 §3.9. Open problems 231 Chapter 4. Other Configurations 233 §4.0. Overview 233 §4.1. 5-configurations 234 §4.2. k-configurations for k ≥ 6 239 §4.3. [3, 4]- and [4, 3]-configurations 242 §4.4. Unbalanced [q, k]-configurations with [q, k] =[3 , 4] 253 §4.5. Floral configurations 261 §4.6. Topological configurations 280 §4.7. Unconventional configurations 286 §4.8. Open problems 293 Chapter 5. Properties of Configurations 295 §5.0. Overview 295 §5.1. Connectivity of configurations 296 §5.2. Hamiltonian multilaterals 308 §5.3. Multilateral decompositions 322 §5.4. Multilateral-free configurations 327 §5.5. “Density” of trilaterals in configurations 342 §5.6. The dimension of a configuration 344 §5.7. Movable configurations 349 §5.8. Automorphisms and duality 359 §5.9. Open problems 374 Postscript 375 Appendix 377 Contents ix The Euclidean, projective, and extended Euclidean planes 377 References 385 Index 397 Preface It is easy to explain the concept of a configuration of points and lines to any ten-years-old youngster. Why then a book on this topic in a graduate series? There are several good reasons: • First and foremost, configurations are mathematically challenging even though easily accessible. • The study of configurations leans on many fields: classical geom- etry, combinatorics, topology, algebraic geometry, computing, and even analysis and number theory. • There is a visual appeal to many types of configurations. • There are opportunities for serious innovation that do not rely on long years of preliminary study. The truly remarkable aspect of configurations is the scarcity of results in a field that was explicitly started well over a century ago, and informally much earlier. One of the foremost aims of the present text is to make avail- able, essentially for the first time ever, a coherent account of the material. Historical aspects are presented in order to enable the reader to follow the advances (as well as the occasional retreats) of the understanding of configurations. As explained more fully in the text, an initial burst of en- thusiasm in the late nineteenth century produced several basic results. For almost a century, these were not matched by any comparably important new achievements. But near the end of the last century it turned out that the early results were incorrect, and this became part of the impetus for a reinvigorated study of configurations. xi xii Preface The recent realization that symmetries may play an important role in the investigations of configurations provided additional points of view on configurations. Together with the increased ability to actually draw configurations—made possible by advances in computer graphics—the stage was set for renewed efforts in correcting the ancient mistakes and to studying configurations that were never contemplated in the past. This text relies very heavily on the graphical presentation of config- urations. This is practically inevitable considering the topic and greatly simplifies the description of the many types of configurations dealt with. Most of the diagrams have been crafted using Mathematica,Geometers Sketchpad,andClarisDraw, often in combination. In many respects this is a “natural history” of configurations—the prop- erties and methods of generation depend to a large extent on the kind of configuration, and we present them in separate chapters and sections. We have avoided insisting on proofs of properties that are visually ob- vious to such an extent that formal proofs would needlessly lengthen the exposition and make it quite boring. We firmly believe that an appropriate diagram is as much of a valid argument as a pedantic verbal explanation, besides being more readily understandable. It is hoped that the reader will agree! The text is narrowly restricted to the topic of its title. There are many other kinds of configurations that might have been included. However, the nature of such configurations, for example, of points and planes, or of various higher-dimensional flats, is totally different from our topic. It is well possible that the early attempts to cover all possibilities led to very general definitions followed by very meager results. Two exceptions to the restricted character of the presentation concern combinatorial configurations and topological configurations. The former are essential to the theory of geometric configurations, and we present the topic with this aim in mind. We do not enlarge on the various more general as- pects of combinatorial designs and finite geometries—there are many excel- lent texts on these matters. Completely different is the situation regarding topological configurations. Very little is known about them, and the present text collects most of what is available. One other aspect not covered here is the detailed investigations of the hierarchies of some special configurations. It seems that at one time it was fashionable to start with a simple result, such as the theorem of Pascal, and generate a whole family of objects by permuting the starting elements, then considering all the intersections of the resulting lines and the lines generated by the obtained points, etc. This way one could secure a family of points or Preface xiii lines or whatever to be attached to one’s name. The interested reader may gain access to this literature through other means. For almost all the material covered, we provided as ample and detailed references as we were able to find. However, we did not give details con- cerning the programs that produced the various computer-generated enu- merations. The reason—besides lack of competence—is that the programs and the computers on which they run change too rapidly for any printed information to be of lasting value. The interested reader should contact the authors of these results to obtain the most up-to-date status. Results for which no reference is given are the author’s and appear here for the first time. Also, as noted in appropriate places, several colleagues have been kind enough to allow the inclusion of their unpublished results—I am greatly indebted to them for this courtesy. My gratitude goes to several other people and institutions. The Ameri- can Mathematical Society was extremely helpful at all stages of the prepa- ration of this text; in particular, allowing the illustrations to be in color has greatly increased the appeal of the book, as well as its instructional value.
Recommended publications
  • Levi Graphs and Concurrence Graphs As Tools to Evaluate Designs
    Levi graphs and concurrence graphs as tools to evaluate designs R. A. Bailey [email protected] The Norman Biggs Lecture, May 2012 1/35 What makes a block design good for experiments? I have v treatments that I want to compare. I have b blocks. Each block has space for k treatments (not necessarily distinct). How should I choose a block design? 2/35 Two designs with v = 5, b = 7, k = 3: which is better? Conventions: columns are blocks; order of treatments within each block is irrelevant; order of blocks is irrelevant. 1 1 1 1 2 2 2 1 1 1 1 2 2 2 2 3 3 4 3 3 4 1 3 3 4 3 3 4 3 4 5 5 4 5 5 2 4 5 5 4 5 5 binary non-binary A design is binary if no treatment occurs more than once in any block. 3/35 Two designs with v = 15, b = 7, k = 3: which is better? 1 1 2 3 4 5 6 1 1 1 1 1 1 1 2 4 5 6 10 11 12 2 4 6 8 10 12 14 3 7 8 9 13 14 15 3 5 7 9 11 13 15 replications differ by ≤ 1 queen-bee design The replication of a treatment is its number of occurrences. A design is a queen-bee design if there is a treatment that occurs in every block. 4/35 Two designs with v = 7, b = 7, k = 3: which is better? 1 2 3 4 5 6 7 1 2 3 4 5 6 7 2 3 4 5 6 7 1 2 3 4 5 6 7 1 4 5 6 7 1 2 3 3 4 5 6 7 1 2 balanced (2-design) non-balanced A binary design is balanced if every pair of distinct treaments occurs together in the same number of blocks.
    [Show full text]
  • Graph Theory with Applications
    GRAPH THEORY WITH APPLICATIONS J. A. Bondy and U. S. R. Murty Department of Combina tories and Optimization, University of Waterloo, Ontario, Canada NORfH-HOLLAND New York • Amsterdam • Oxford @J.A. Bondy and U.S.R. Muny 1976 First published in Great Britain 1976 by The Macmillan Press Ltd. First published in the U.S.A. 1976 by Elsevier Science Publishing Co., Inc. 52 Vanderbilt Avenue, New York, N.Y. 10017 Fifth Printing, 1982. Sole Distributor in the U.S.A: Elsevier Science Publishing Co., Inc. Library of Congress Cataloging in Publication Data Bondy, John Adrian. Graph theory with applications. Bibliography: p. lncludes index. 1. Graph theory. 1. Murty, U.S.R., joint author. II. Title. QA166.B67 1979 511 '.5 75-29826 ISBN 0.:444-19451-7 AU rights reserved. No part of this publication may be reproduced or transmitted, in any form or by any means, without permission. Printed in the United States of America To our parents Preface This book is intended as an introduction to graph theory. Our aim bas been to present what we consider to be the basic material, together with a wide variety of applications, both to other branches of mathematics and to real-world problems. Included are simple new proofs of theorems of Brooks, Chvâtal, Tutte and Vizing. The applications have been carefully selected, and are treated in some depth. We have chosen to omit ail so-called 'applications' that employ just the language of graphs and no theory. The applications appearing at the end of each chapter actually make use of theory developed earlier in the same chapter.
    [Show full text]
  • The History of Degenerate (Bipartite) Extremal Graph Problems
    The history of degenerate (bipartite) extremal graph problems Zolt´an F¨uredi and Mikl´os Simonovits May 15, 2013 Alfr´ed R´enyi Institute of Mathematics, Budapest, Hungary [email protected] and [email protected] Abstract This paper is a survey on Extremal Graph Theory, primarily fo- cusing on the case when one of the excluded graphs is bipartite. On one hand we give an introduction to this field and also describe many important results, methods, problems, and constructions. 1 Contents 1 Introduction 4 1.1 Some central theorems of the field . 5 1.2 Thestructureofthispaper . 6 1.3 Extremalproblems ........................ 8 1.4 Other types of extremal graph problems . 10 1.5 Historicalremarks . .. .. .. .. .. .. 11 arXiv:1306.5167v2 [math.CO] 29 Jun 2013 2 The general theory, classification 12 2.1 The importance of the Degenerate Case . 14 2.2 The asymmetric case of Excluded Bipartite graphs . 15 2.3 Reductions:Hostgraphs. 16 2.4 Excluding complete bipartite graphs . 17 2.5 Probabilistic lower bound . 18 1 Research supported in part by the Hungarian National Science Foundation OTKA 104343, and by the European Research Council Advanced Investigators Grant 267195 (ZF) and by the Hungarian National Science Foundation OTKA 101536, and by the European Research Council Advanced Investigators Grant 321104. (MS). 1 F¨uredi-Simonovits: Degenerate (bipartite) extremal graph problems 2 2.6 Classification of extremal problems . 21 2.7 General conjectures on bipartite graphs . 23 3 Excluding complete bipartite graphs 24 3.1 Bipartite C4-free graphs and the Zarankiewicz problem . 24 3.2 Finite Geometries and the C4-freegraphs .
    [Show full text]
  • Chapter 7 Block Designs
    Chapter 7 Block Designs One simile that solitary shines In the dry desert of a thousand lines. Epilogue to the Satires, ALEXANDER POPE The collection of all subsets of cardinality k of a set with v elements (k < v) has the ³ ´ v¡t property that any subset of t elements, with 0 · t · k, is contained in precisely k¡t subsets of size k. The subsets of size k provide therefore a nice covering for the subsets of a lesser cardinality. Observe that the number of subsets of size k that contain a subset of size t depends only on v; k; and t and not on the specific subset of size t in question. This is the essential defining feature of the structures that we wish to study. The example we just described inspires general interest in producing similar coverings ³ ´ v without using all the k subsets of size k but rather as small a number of them as possi- 1 2 CHAPTER 7. BLOCK DESIGNS ble. The coverings that result are often elegant geometrical configurations, of which the projective and affine planes are examples. These latter configurations form nice coverings only for the subsets of cardinality 2, that is, any two elements are in the same number of these special subsets of size k which we call blocks (or, in certain instances, lines). A collection of subsets of cardinality k, called blocks, with the property that every subset of size t (t · k) is contained in the same number (say ¸) of blocks is called a t-design. We supply the reader with constructions for t-designs with t as high as 5.
    [Show full text]
  • On the Levi Graph of Point-Line Configurations 895
    inv lve a journal of mathematics On the Levi graph of point-line configurations Jessica Hauschild, Jazmin Ortiz and Oscar Vega msp 2015 vol. 8, no. 5 INVOLVE 8:5 (2015) msp dx.doi.org/10.2140/involve.2015.8.893 On the Levi graph of point-line configurations Jessica Hauschild, Jazmin Ortiz and Oscar Vega (Communicated by Joseph A. Gallian) We prove that the well-covered dimension of the Levi graph of a point-line configuration with v points, b lines, r lines incident with each point, and every line containing k points is equal to 0, whenever r > 2. 1. Introduction The concept of the well-covered space of a graph was first introduced by Caro, Ellingham, Ramey, and Yuster[Caro et al. 1998; Caro and Yuster 1999] as an effort to generalize the study of well-covered graphs. Brown and Nowakowski [2005] continued the study of this object and, among other things, provided several examples of graphs featuring odd behaviors regarding their well-covered spaces. One of these special situations occurs when the well-covered space of the graph is trivial, i.e., when the graph is anti-well-covered. In this work, we prove that almost all Levi graphs of configurations in the family of the so-called .vr ; bk/- configurations (see Definition 3) are anti-well-covered. We start our exposition by providing the following definitions and previously known results. Any introductory concepts we do not present here may be found in the books by Bondy and Murty[1976] and Grünbaum[2009]. We consider only simple and undirected graphs.
    [Show full text]
  • Semisymmetric Graphs from Polytopes
    Semisymmetric Graphs from Polytopes Barry Monson¤ University of New Brunswick Fredericton, New Brunswick, Canada E3B 5A3 ([email protected]) Toma·z Pisanskiy University of Ljubljana, FMF Jadranska 19, Ljubljana 1111, Slovenia; and Faculty of Education, University of Primorska, Cankarjeva 5, Koper 6000, Slovenia ([email protected]) Egon Schultez Northeastern University Boston MA 02115, USA ([email protected]) Asia Ivi¶c Weissx York University Toronto, Ontario, Canada M3J 1P3 ([email protected]) Abstract Every ¯nite, self-dual, regular (or chiral) 4-polytope of type f3;q;3g has a trivalent 3-transitive (or 2-transitive) medial layer graph. Here, by drop- ping self-duality, we obtain a construction for semisymmetric trivalent graphs (which are edge- but not vertex-transitive). In particular, the Gray graph arises as the medial layer graph of a certain universal locally toroidal regular 4-polytope. Key Words: semisymmetric graphs, abstract regular and chiral polytopes. AMS Subject Classi¯cation (1991): Primary: 05C25. Secondary: 51M20. ¤Supported by the NSERC of Canada, grant 4818 ySupported by Ministry of Higher Education, Science and Technolgy of Slovenia grants P1-0294,J1-6062,L1-7230. zSupported by NSA-grant H98230-05-1-0027 xSupported by the NSERC of Canada, grant 8857 1 1 Introduction The theory of symmetric trivalent graphs and the theory of regular polytopes are each abundant sources of beautiful mathematical ideas. In [22], two of the authors established some general and unexpected connections between the two subjects, building upon a rich variety of examples appearing in the literature (see [4], [7], [10], [11], [28] and [29]). Here we develop these connections a little further, with speci¯c focus on semisymmetric graphs.
    [Show full text]
  • 7 Combinatorial Geometry
    7 Combinatorial Geometry Planes Incidence Structure: An incidence structure is a triple (V; B; ∼) so that V; B are disjoint sets and ∼ is a relation on V × B. We call elements of V points, elements of B blocks or lines and we associate each line with the set of points incident with it. So, if p 2 V and b 2 B satisfy p ∼ b we say that p is contained in b and write p 2 b and if b; b0 2 B we let b \ b0 = fp 2 P : p ∼ b; p ∼ b0g. Levi Graph: If (V; B; ∼) is an incidence structure, the associated Levi Graph is the bipartite graph with bipartition (V; B) and incidence given by ∼. Parallel: We say that the lines b; b0 are parallel, and write bjjb0 if b \ b0 = ;. Affine Plane: An affine plane is an incidence structure P = (V; B; ∼) which satisfies the following properties: (i) Any two distinct points are contained in exactly one line. (ii) If p 2 V and ` 2 B satisfy p 62 `, there is a unique line containing p and parallel to `. (iii) There exist three points not all contained in a common line. n Line: Let ~u;~v 2 F with ~v 6= 0 and let L~u;~v = f~u + t~v : t 2 Fg. Any set of the form L~u;~v is called a line in Fn. AG(2; F): We define AG(2; F) to be the incidence structure (V; B; ∼) where V = F2, B is the set of lines in F2 and if v 2 V and ` 2 B we define v ∼ ` if v 2 `.
    [Show full text]
  • Self-Dual Configurations and Regular Graphs
    SELF-DUAL CONFIGURATIONS AND REGULAR GRAPHS H. S. M. COXETER 1. Introduction. A configuration (mci ni) is a set of m points and n lines in a plane, with d of the points on each line and c of the lines through each point; thus cm = dn. Those permutations which pre­ serve incidences form a group, "the group of the configuration." If m — n, and consequently c = d, the group may include not only sym­ metries which permute the points among themselves but also reci­ procities which interchange points and lines in accordance with the principle of duality. The configuration is then "self-dual," and its symbol («<*, n<j) is conveniently abbreviated to na. We shall use the same symbol for the analogous concept of a configuration in three dimensions, consisting of n points lying by d's in n planes, d through each point. With any configuration we can associate a diagram called the Menger graph [13, p. 28],x in which the points are represented by dots or "nodes," two of which are joined by an arc or "branch" when­ ever the corresponding two points are on a line of the configuration. Unfortunately, however, it often happens that two different con­ figurations have the same Menger graph. The present address is concerned with another kind of diagram, which represents the con­ figuration uniquely. In this Levi graph [32, p. 5], we represent the points and lines (or planes) of the configuration by dots of two colors, say "red nodes" and "blue nodes," with the rule that two nodes differently colored are joined whenever the corresponding elements of the configuration are incident.
    [Show full text]
  • Algorithms and Computation in Mathematics • Volume 15
    Algorithms and Computation in Mathematics • Volume 15 Editors Arjeh M. Cohen Henri Cohen David Eisenbud Bernd Sturmfels Petteri Kaski Patric R.J. Östergård Classification Algorithms for Codes and Designs With 61 Figures and 30 Tables ABC Authors Petteri Kaski Department of Computer Science and Engineering Helsinki University of Technology P. O. Box 5400 2015 HUT, Helsinki Finland e-mail: petteri.kaski@hut.fi Patric R.J. Östergård Department of Electrical and Communications, Engineering Helsinki University of Technology P.O. Box 3000 2015 HUT, Helsinki Finland e-mail: patric.ostergard@hut.fi Library of Congress Control Number: 2005935445 Mathematics Subject Classification (2000): 05-02, 05Bxx, 05Cxx, 05E20, 51Exx, 68-02, 68Rxx, 94-02, 94Bxx ISSN 1431-1550 ISBN-10 3-540-28990-9 Springer Berlin Heidelberg New York ISBN-13 978-3-540-28990-6 Springer Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilm or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable for prosecution under the German Copyright Law. Springer is a part of Springer Science+Business Media springeronline.com c Springer-Verlag Berlin Heidelberg 2006 Printed in The Netherlands The use of general descriptive names, registered names, trademarks, etc.
    [Show full text]
  • The Wiener Dimension of a Graph
    The Wiener dimension of a graph Yaser Alizadeh Department of Mathematics Tarbiat Modares University, Tehran, Iran [email protected] Sandi Klavˇzar∗ Faculty of Mathematics and Physics University of Ljubljana, Slovenia and Faculty of Natural Sciences and Mathematics University of Maribor, Slovenia [email protected] March 13, 2012 Abstract The Wiener dimension of a connected graph is introduced as the number of different distances of its vertices. For any integer d and any integer k, a graph of diameter d and of Wiener dimension k is constructed. An infinite family of non-vertex-transitive graphs with Wiener dimension 1 is also presented and it is proved that a graph of dimension 1 is 2-connected. Keywords: Wiener index; Cartesian product graphs; vertex-transitive graphs AMS subject classification (2010): 05C12, 05C25, 92E10 1 Introduction The distance considered in this paper is the usual shortest path distance. We assume throughout the paper that all graphs are connected unless stated otherwise. For terms not defined here we refer to [13]. Let G be a graph and u ∈ V (G). Then the distance of u is dG(u)= X dG(u, v) . v∈V (G) ∗ This work has been financed by ARRS Slovenia under the grant P1-0297 and within the EU- ROCORES Programme EUROGIGA/GReGAS of the European Science Foundation. The author is also with the Institute of Mathematics, Physics and Mechanics, Ljubljana. 1 In location theory, sets of vertices with the minimum (or maximum) distance in a graph play s special role because they form target sets for locations of facilities.
    [Show full text]
  • Fragments in Symmetric Configurations with Block Size 3
    Fragments in symmetric configurations with block size 3 Grahame Erskine∗∗ Terry Griggs∗ Jozef Sir´aˇnˇ †† [email protected] [email protected] [email protected] Abstract We begin the study of collections of three blocks which can occur in a symmetric configuration with block size 3, v3. Formulae are derived for the number of occurrences of these and it is shown that the triangle, i.e. abf, ace, bcd is a basis. It is also shown that symmetric configurations without triangles exist if and only if v = 15 or v ≥ 17. Such configurations containing “many” triangles are also discussed and a complete analysis of the triangle content of those with a cyclic automorphism is given. 1 Introduction In this paper we will be concerned with symmetric configurations with block size 3. First we recall the definitions. A configuration (vr, bk) is a finite incidence structure with v points and b blocks, with the property that there exist positive integers k and r such that (i) each block contains exactly k points; (ii) each point is contained in exactly r blocks; and (iii) any pair of distinct points is contained in at most one block. If v = b (and hence necessarily r = k), the configuration is called symmetric and is usually denoted by vk. We are interested in the case where k = 3. The blocks will also be called triples. A configuration is said to be decomposable or disconnected if it is the union of two configurations on distinct point sets. We are primarily interested in indecomposable (connected) configurations, and so unless otherwise noted, this is assumed throughout the paper.
    [Show full text]
  • Induced Saturation Number Jason James Smith Iowa State University
    Iowa State University Digital Repository @ Iowa State University Graduate Theses and Dissertations Graduate College 2012 Induced Saturation Number Jason James Smith Iowa State University Follow this and additional works at: http://lib.dr.iastate.edu/etd Part of the Mathematics Commons Recommended Citation Smith, Jason James, "Induced Saturation Number" (2012). Graduate Theses and Dissertations. Paper 12465. This Dissertation is brought to you for free and open access by the Graduate College at Digital Repository @ Iowa State University. It has been accepted for inclusion in Graduate Theses and Dissertations by an authorized administrator of Digital Repository @ Iowa State University. For more information, please contact [email protected]. Induced saturation number by Jason James Smith A dissertation submitted to the graduate faculty in partial fulfillment of the requirements for the degree of DOCTOR OF PHILOSOPHY Major: Mathematics Program of Study Committee: Ryan Martin, Major Professor Leslie Hogben Maria Axenovich Ling Long Jack Lutz Iowa State University Ames, Iowa 2012 Copyright © Jason James Smith, 2012. All rights reserved. ii TABLE OF CONTENTS LIST OF FIGURES . iv ACKNOWLEDGEMENTS . vi ABSTRACT . vii CHAPTER 1. INTRODUCTION . 1 1.1 Saturation in Graphs . .1 1.1.1 Definitions and Notation . .2 1.1.2 Applications . .4 CHAPTER 2. INDUCED SATURATION NUMBER AND BOUNDS . 5 2.1 Bounds for Induced Saturation Number . .5 2.2 Induced Saturation Number for a Few Families of Graphs . 12 n+1 CHAPTER 3. INDUCED SATURATION NUMBER OF P4 IS 3 ..... 15 3.1 Definitions and Notation . 15 3.2 Upper Bound by Construction . 17 3.3 Lower Bound by Induction . 19 3.4 Technical Lemma .
    [Show full text]