Quantum Contextual Finite Geometries from Dessins D'enfants
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Investigations on Unit Distance Property of Clebsch Graph and Its Complement
Proceedings of the World Congress on Engineering 2012 Vol I WCE 2012, July 4 - 6, 2012, London, U.K. Investigations on Unit Distance Property of Clebsch Graph and Its Complement Pratima Panigrahi and Uma kant Sahoo ∗yz Abstract|An n-dimensional unit distance graph is on parameters (16,5,0,2) and (16,10,6,6) respectively. a simple graph which can be drawn on n-dimensional These graphs are known to be unique in the respective n Euclidean space R so that its vertices are represented parameters [2]. In this paper we give unit distance n by distinct points in R and edges are represented by representation of Clebsch graph in the 3-dimensional Eu- closed line segments of unit length. In this paper we clidean space R3. Also we show that the complement of show that the Clebsch graph is 3-dimensional unit Clebsch graph is not a 3-dimensional unit distance graph. distance graph, but its complement is not. Keywords: unit distance graph, strongly regular The Petersen graph is the strongly regular graph on graphs, Clebsch graph, Petersen graph. parameters (10,3,0,1). This graph is also unique in its parameter set. It is known that Petersen graph is 2-dimensional unit distance graph (see [1],[3],[10]). It is In this article we consider only simple graphs, i.e. also known that Petersen graph is a subgraph of Clebsch undirected, loop free and with no multiple edges. The graph, see [[5], section 10.6]. study of dimension of graphs was initiated by Erdos et.al [3]. -
Binomial Partial Steiner Triple Systems Containing Complete Graphs
Graphs and Combinatorics DOI 10.1007/s00373-016-1681-3 ORIGINAL PAPER Binomial partial Steiner triple systems containing complete graphs Małgorzata Pra˙zmowska1 · Krzysztof Pra˙zmowski2 Received: 1 December 2014 / Revised: 25 January 2016 © The Author(s) 2016. This article is published with open access at Springerlink.com Abstract We propose a new approach to studies on partial Steiner triple systems con- sisting in determining complete graphs contained in them. We establish the structure which complete graphs yield in a minimal PSTS that contains them. As a by-product we introduce the notion of a binomial PSTS as a configuration with parameters of a minimal PSTS with a complete subgraph. A representation of binomial PSTS with at least a given number of its maximal complete subgraphs is given in terms of systems of perspectives. Finally, we prove that for each admissible integer there is a binomial PSTS with this number of maximal complete subgraphs. Keywords Binomial configuration · Generalized Desargues configuration · Complete graph Mathematics Subject Classification 05B30 · 05C51 · 05B40 1 Introduction In the paper we investigate the structure which (may) yield complete graphs contained in a (partial) Steiner triple system (in short: in a PSTS). Our problem is, in fact, a particular instance of a general question, investigated in the literature, which STS’s B Małgorzata Pra˙zmowska [email protected] Krzysztof Pra˙zmowski [email protected] 1 Faculty of Mathematics and Informatics, University of Białystok, ul. Ciołkowskiego 1M, 15-245 Białystok, Poland 2 Institute of Mathematics, University of Białystok, ul. Ciołkowskiego 1M, 15-245 Białystok, Poland 123 Graphs and Combinatorics (more generally: which PSTS’s) contain/do not contain a configuration of a prescribed type. -
COMBINATORICS, Volume
http://dx.doi.org/10.1090/pspum/019 PROCEEDINGS OF SYMPOSIA IN PURE MATHEMATICS Volume XIX COMBINATORICS AMERICAN MATHEMATICAL SOCIETY Providence, Rhode Island 1971 Proceedings of the Symposium in Pure Mathematics of the American Mathematical Society Held at the University of California Los Angeles, California March 21-22, 1968 Prepared by the American Mathematical Society under National Science Foundation Grant GP-8436 Edited by Theodore S. Motzkin AMS 1970 Subject Classifications Primary 05Axx, 05Bxx, 05Cxx, 10-XX, 15-XX, 50-XX Secondary 04A20, 05A05, 05A17, 05A20, 05B05, 05B15, 05B20, 05B25, 05B30, 05C15, 05C99, 06A05, 10A45, 10C05, 14-XX, 20Bxx, 20Fxx, 50A20, 55C05, 55J05, 94A20 International Standard Book Number 0-8218-1419-2 Library of Congress Catalog Number 74-153879 Copyright © 1971 by the American Mathematical Society Printed in the United States of America All rights reserved except those granted to the United States Government May not be produced in any form without permission of the publishers Leo Moser (1921-1970) was active and productive in various aspects of combin• atorics and of its applications to number theory. He was in close contact with those with whom he had common interests: we will remember his sparkling wit, the universality of his anecdotes, and his stimulating presence. This volume, much of whose content he had enjoyed and appreciated, and which contains the re• construction of a contribution by him, is dedicated to his memory. CONTENTS Preface vii Modular Forms on Noncongruence Subgroups BY A. O. L. ATKIN AND H. P. F. SWINNERTON-DYER 1 Selfconjugate Tetrahedra with Respect to the Hermitian Variety xl+xl + *l + ;cg = 0 in PG(3, 22) and a Representation of PG(3, 3) BY R. -
On Snarks That Are Far from Being 3-Edge Colorable
On snarks that are far from being 3-edge colorable Jonas H¨agglund Department of Mathematics and Mathematical Statistics Ume˚aUniversity SE-901 87 Ume˚a,Sweden [email protected] Submitted: Jun 4, 2013; Accepted: Mar 26, 2016; Published: Apr 15, 2016 Mathematics Subject Classifications: 05C38, 05C70 Abstract In this note we construct two infinite snark families which have high oddness and low circumference compared to the number of vertices. Using this construction, we also give a counterexample to a suggested strengthening of Fulkerson's conjecture by showing that the Petersen graph is not the only cyclically 4-edge connected cubic graph which require at least five perfect matchings to cover its edges. Furthermore the counterexample presented has the interesting property that no 2-factor can be part of a cycle double cover. 1 Introduction A cubic graph is said to be colorable if it has a 3-edge coloring and uncolorable otherwise. A snark is an uncolorable cubic cyclically 4-edge connected graph. It it well known that an edge minimal counterexample (if such exists) to some classical conjectures in graph theory, such as the cycle double cover conjecture [15, 18], Tutte's 5-flow conjecture [19] and Fulkerson's conjecture [4], must reside in this family of graphs. There are various ways of measuring how far a snark is from being colorable. One such measure which was introduced by Huck and Kochol [8] is the oddness. The oddness of a bridgeless cubic graph G is defined as the minimum number of odd components in any 2-factor in G and is denoted by o(G). -
Second Edition Volume I
Second Edition Thomas Beth Universitat¨ Karlsruhe Dieter Jungnickel Universitat¨ Augsburg Hanfried Lenz Freie Universitat¨ Berlin Volume I PUBLISHED BY THE PRESS SYNDICATE OF THE UNIVERSITY OF CAMBRIDGE The Pitt Building, Trumpington Street, Cambridge, United Kingdom CAMBRIDGE UNIVERSITY PRESS The Edinburgh Building, Cambridge CB2 2RU, UK www.cup.cam.ac.uk 40 West 20th Street, New York, NY 10011-4211, USA www.cup.org 10 Stamford Road, Oakleigh, Melbourne 3166, Australia Ruiz de Alarc´on 13, 28014 Madrid, Spain First edition c Bibliographisches Institut, Zurich, 1985 c Cambridge University Press, 1993 Second edition c Cambridge University Press, 1999 This book is in copyright. Subject to statutory exception and to the provisions of relevant collective licensing agreements, no reproduction of any part may take place without the written permission of Cambridge University Press. First published 1999 Printed in the United Kingdom at the University Press, Cambridge Typeset in Times Roman 10/13pt. in LATEX2ε[TB] A catalogue record for this book is available from the British Library Library of Congress Cataloguing in Publication data Beth, Thomas, 1949– Design theory / Thomas Beth, Dieter Jungnickel, Hanfried Lenz. – 2nd ed. p. cm. Includes bibliographical references and index. ISBN 0 521 44432 2 (hardbound) 1. Combinatorial designs and configurations. I. Jungnickel, D. (Dieter), 1952– . II. Lenz, Hanfried. III. Title. QA166.25.B47 1999 5110.6 – dc21 98-29508 CIP ISBN 0 521 44432 2 hardback Contents I. Examples and basic definitions .................... 1 §1. Incidence structures and incidence matrices ............ 1 §2. Block designs and examples from affine and projective geometry ........................6 §3. t-designs, Steiner systems and configurations ......... -
The Algebra of Projective Spheres on Plane, Sphere and Hemisphere
Journal of Applied Mathematics and Physics, 2020, 8, 2286-2333 https://www.scirp.org/journal/jamp ISSN Online: 2327-4379 ISSN Print: 2327-4352 The Algebra of Projective Spheres on Plane, Sphere and Hemisphere István Lénárt Eötvös Loránd University, Budapest, Hungary How to cite this paper: Lénárt, I. (2020) Abstract The Algebra of Projective Spheres on Plane, Sphere and Hemisphere. Journal of Applied Numerous authors studied polarities in incidence structures or algebrization Mathematics and Physics, 8, 2286-2333. of projective geometry [1] [2]. The purpose of the present work is to establish https://doi.org/10.4236/jamp.2020.810171 an algebraic system based on elementary concepts of spherical geometry, ex- tended to hyperbolic and plane geometry. The guiding principle is: “The Received: July 17, 2020 Accepted: October 27, 2020 point and the straight line are one and the same”. Points and straight lines are Published: October 30, 2020 not treated as dual elements in two separate sets, but identical elements with- in a single set endowed with a binary operation and appropriate axioms. It Copyright © 2020 by author(s) and consists of three sections. In Section 1 I build an algebraic system based on Scientific Research Publishing Inc. This work is licensed under the Creative spherical constructions with two axioms: ab= ba and (ab)( ac) = a , pro- Commons Attribution International viding finite and infinite models and proving classical theorems that are License (CC BY 4.0). adapted to the new system. In Section Two I arrange hyperbolic points and http://creativecommons.org/licenses/by/4.0/ straight lines into a model of a projective sphere, show the connection be- Open Access tween the spherical Napier pentagram and the hyperbolic Napier pentagon, and describe new synthetic and trigonometric findings between spherical and hyperbolic geometry. -
Snarks and Flow-Critical Graphs 1
Snarks and Flow-Critical Graphs 1 CˆandidaNunes da Silva a Lissa Pesci a Cl´audioL. Lucchesi b a DComp – CCTS – ufscar – Sorocaba, sp, Brazil b Faculty of Computing – facom-ufms – Campo Grande, ms, Brazil Abstract It is well-known that a 2-edge-connected cubic graph has a 3-edge-colouring if and only if it has a 4-flow. Snarks are usually regarded to be, in some sense, the minimal cubic graphs without a 3-edge-colouring. We defined the notion of 4-flow-critical graphs as an alternative concept towards minimal graphs. It turns out that every snark has a 4-flow-critical snark as a minor. We verify, surprisingly, that less than 5% of the snarks with up to 28 vertices are 4-flow-critical. On the other hand, there are infinitely many 4-flow-critical snarks, as every flower-snark is 4-flow-critical. These observations give some insight into a new research approach regarding Tutte’s Flow Conjectures. Keywords: nowhere-zero k-flows, Tutte’s Flow Conjectures, 3-edge-colouring, flow-critical graphs. 1 Nowhere-Zero Flows Let k > 1 be an integer, let G be a graph, let D be an orientation of G and let ϕ be a weight function that associates to each edge of G a positive integer in the set {1, 2, . , k − 1}. The pair (D, ϕ) is a (nowhere-zero) k-flow of G 1 Support by fapesp, capes and cnpq if every vertex v of G is balanced, i. e., the sum of the weights of all edges leaving v equals the sum of the weights of all edges entering v. -
Every Generalized Petersen Graph Has a Tait Coloring
Pacific Journal of Mathematics EVERY GENERALIZED PETERSEN GRAPH HAS A TAIT COLORING FRANK CASTAGNA AND GEERT CALEB ERNST PRINS Vol. 40, No. 1 September 1972 PACIFIC JOURNAL OF MATHEMATICS Vol. 40, No. 1, 1972 EVERY GENERALIZED PETERSEN GRAPH HAS A TAIT COLORING FRANK CASTAGNA AND GEERT PRINS Watkins has defined a family of graphs which he calls generalized Petersen graphs. He conjectures that all but the original Petersen graph have a Tait coloring, and proves the conjecture for a large number of these graphs. In this paper it is shown that the conjecture is indeed true. DEFINITIONS. Let n and k be positive integers, k ^ n — 1, n Φ 2k. The generalized Petersen graph G(n, k) has 2n vertices, denoted by {0, 1, 2, , n - 1; 0', Γ, 2', , , (n - 1)'} and all edges of the form (ΐ, ί + 1), (i, i'), (ί', (i + k)f) for 0 ^ i ^ n — 1, where all numbers are read modulo n. G(5, 2) is the Petersen graph. See Watkins [2]. The sets of edges {(i, i + 1)} and {(i', (i + k)f)} are called the outer and inner rims respectively and the edges (£, i') are called the spokes. A Tait coloring of a trivalent graph is an edge-coloring in three colors such that each color is incident to each vertex. A 2-factor of a graph is a bivalent spanning subgraph. A 2-factor consists of dis- joint circuits. A Tait cycle of a trivalent graph is a 2~factor all of whose circuits have even length. A Tait cycle induces a Tait coloring and conversely. -
Lombardi Drawings of Graphs 1 Introduction
Lombardi Drawings of Graphs Christian A. Duncan1, David Eppstein2, Michael T. Goodrich2, Stephen G. Kobourov3, and Martin Nollenburg¨ 2 1Department of Computer Science, Louisiana Tech. Univ., Ruston, Louisiana, USA 2Department of Computer Science, University of California, Irvine, California, USA 3Department of Computer Science, University of Arizona, Tucson, Arizona, USA Abstract. We introduce the notion of Lombardi graph drawings, named after the American abstract artist Mark Lombardi. In these drawings, edges are represented as circular arcs rather than as line segments or polylines, and the vertices have perfect angular resolution: the edges are equally spaced around each vertex. We describe algorithms for finding Lombardi drawings of regular graphs, graphs of bounded degeneracy, and certain families of planar graphs. 1 Introduction The American artist Mark Lombardi [24] was famous for his drawings of social net- works representing conspiracy theories. Lombardi used curved arcs to represent edges, leading to a strong aesthetic quality and high readability. Inspired by this work, we intro- duce the notion of a Lombardi drawing of a graph, in which edges are drawn as circular arcs with perfect angular resolution: consecutive edges are evenly spaced around each vertex. While not all vertices have perfect angular resolution in Lombardi’s work, the even spacing of edges around vertices is clearly one of his aesthetic criteria; see Fig. 1. Traditional graph drawing methods rarely guarantee perfect angular resolution, but poor edge distribution can nevertheless lead to unreadable drawings. Additionally, while some tools provide options to draw edges as curves, most rely on straight-line edges, and it is known that maintaining good angular resolution can result in exponential draw- ing area for straight-line drawings of planar graphs [17,25]. -
Math.RA] 25 Sep 2013 Previous Paper [3], Also Relying in Conceptually Separated Tools from Them, Such As Graphs and Digraphs
Certain particular families of graphicable algebras Juan Núñez, María Luisa Rodríguez-Arévalo and María Trinidad Villar Dpto. Geometría y Topología. Facultad de Matemáticas. Universidad de Sevilla. Apdo. 1160. 41080-Sevilla, Spain. [email protected] [email protected] [email protected] Abstract In this paper, we introduce some particular families of graphicable algebras obtained by following a relatively new line of research, ini- tiated previously by some of the authors. It consists of the use of certain objects of Discrete Mathematics, mainly graphs and digraphs, to facilitate the study of graphicable algebras, which are a subset of evolution algebras. 2010 Mathematics Subject Classification: 17D99; 05C20; 05C50. Keywords: Graphicable algebras; evolution algebras; graphs. Introduction The main goal of this paper is to advance in the research of a novel mathematical topic emerged not long ago, the evolution algebras in general, and the graphicable algebras (a subset of them) in particular, in order to obtain new results starting from those by Tian (see [4, 5]) and others already obtained by some of us in a arXiv:1309.6469v1 [math.RA] 25 Sep 2013 previous paper [3], also relying in conceptually separated tools from them, such as graphs and digraphs. Concretely, our goal is to find some particular types of graphicable algebras associated with well-known types of graphs. The motivation to deal with evolution algebras in general and graphicable al- gebras in particular is due to the fact that at present, the study of these algebras is very booming, due to the numerous connections between them and many other branches of Mathematics, such as Graph Theory, Group Theory, Markov pro- cesses, dynamic systems and the Theory of Knots, among others. -
Three Years of Graphs and Music: Some Results in Graph Theory and Its
Three years of graphs and music : some results in graph theory and its applications Nathann Cohen To cite this version: Nathann Cohen. Three years of graphs and music : some results in graph theory and its applications. Discrete Mathematics [cs.DM]. Université Nice Sophia Antipolis, 2011. English. tel-00645151 HAL Id: tel-00645151 https://tel.archives-ouvertes.fr/tel-00645151 Submitted on 26 Nov 2011 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. UNIVERSITE´ DE NICE-SOPHIA ANTIPOLIS - UFR SCIENCES ECOLE´ DOCTORALE STIC SCIENCES ET TECHNOLOGIES DE L’INFORMATION ET DE LA COMMUNICATION TH ESE` pour obtenir le titre de Docteur en Sciences de l’Universite´ de Nice - Sophia Antipolis Mention : INFORMATIQUE Present´ ee´ et soutenue par Nathann COHEN Three years of graphs and music Some results in graph theory and its applications These` dirigee´ par Fred´ eric´ HAVET prepar´ ee´ dans le Projet MASCOTTE, I3S (CNRS/UNS)-INRIA soutenue le 20 octobre 2011 Rapporteurs : Jørgen BANG-JENSEN - Professor University of Southern Denmark, Odense Daniel KRAL´ ’ - Associate -
1. Math Olympiad Dark Arts
Preface In A Mathematical Olympiad Primer , Geoff Smith described the technique of inversion as a ‘dark art’. It is difficult to define precisely what is meant by this phrase, although a suitable definition is ‘an advanced technique, which can offer considerable advantage in solving certain problems’. These ideas are not usually taught in schools, mainstream olympiad textbooks or even IMO training camps. One case example is projective geometry, which does not feature in great detail in either Plane Euclidean Geometry or Crossing the Bridge , two of the most comprehensive and respected British olympiad geometry books. In this volume, I have attempted to amass an arsenal of the more obscure and interesting techniques for problem solving, together with a plethora of problems (from various sources, including many of the extant mathematical olympiads) for you to practice these techniques in conjunction with your own problem-solving abilities. Indeed, the majority of theorems are left as exercises to the reader, with solutions included at the end of each chapter. Each problem should take between 1 and 90 minutes, depending on the difficulty. The book is not exclusively aimed at contestants in mathematical olympiads; it is hoped that anyone sufficiently interested would find this an enjoyable and informative read. All areas of mathematics are interconnected, so some chapters build on ideas explored in earlier chapters. However, in order to make this book intelligible, it was necessary to order them in such a way that no knowledge is required of ideas explored in later chapters! Hence, there is what is known as a partial order imposed on the book.