Lucky Labeling of Certain Cubic Graphs
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Maximizing the Order of a Regular Graph of Given Valency and Second Eigenvalue∗
SIAM J. DISCRETE MATH. c 2016 Society for Industrial and Applied Mathematics Vol. 30, No. 3, pp. 1509–1525 MAXIMIZING THE ORDER OF A REGULAR GRAPH OF GIVEN VALENCY AND SECOND EIGENVALUE∗ SEBASTIAN M. CIOABA˘ †,JACKH.KOOLEN‡, HIROSHI NOZAKI§, AND JASON R. VERMETTE¶ Abstract. From Alon√ and Boppana, and Serre, we know that for any given integer k ≥ 3 and real number λ<2 k − 1, there are only finitely many k-regular graphs whose second largest eigenvalue is at most λ. In this paper, we investigate the largest number of vertices of such graphs. Key words. second eigenvalue, regular graph, expander AMS subject classifications. 05C50, 05E99, 68R10, 90C05, 90C35 DOI. 10.1137/15M1030935 1. Introduction. For a k-regular graph G on n vertices, we denote by λ1(G)= k>λ2(G) ≥ ··· ≥ λn(G)=λmin(G) the eigenvalues of the adjacency matrix of G. For a general reference on the eigenvalues of graphs, see [8, 17]. The second eigenvalue of a regular graph is a parameter of interest in the study of graph connectivity and expanders (see [1, 8, 23], for example). In this paper, we investigate the maximum order v(k, λ) of a connected k-regular graph whose second largest eigenvalue is at most some given parameter λ. As a consequence of work of Alon and Boppana and of Serre√ [1, 11, 15, 23, 24, 27, 30, 34, 35, 40], we know that v(k, λ) is finite for λ<2 k − 1. The recent result of Marcus, Spielman, and Srivastava [28] showing the existence of infinite families of√ Ramanujan graphs of any degree at least 3 implies that v(k, λ) is infinite for λ ≥ 2 k − 1. -
Framing Cyclic Revolutionary Emergence of Opposing Symbols of Identity Eppur Si Muove: Biomimetic Embedding of N-Tuple Helices in Spherical Polyhedra - /
Alternative view of segmented documents via Kairos 23 October 2017 | Draft Framing Cyclic Revolutionary Emergence of Opposing Symbols of Identity Eppur si muove: Biomimetic embedding of N-tuple helices in spherical polyhedra - / - Introduction Symbolic stars vs Strategic pillars; Polyhedra vs Helices; Logic vs Comprehension? Dynamic bonding patterns in n-tuple helices engendering n-fold rotating symbols Embedding the triple helix in a spherical octahedron Embedding the quadruple helix in a spherical cube Embedding the quintuple helix in a spherical dodecahedron and a Pentagramma Mirificum Embedding six-fold, eight-fold and ten-fold helices in appropriately encircled polyhedra Embedding twelve-fold, eleven-fold, nine-fold and seven-fold helices in appropriately encircled polyhedra Neglected recognition of logical patterns -- especially of opposition Dynamic relationship between polyhedra engendered by circles -- variously implying forms of unity Symbol rotation as dynamic essential to engaging with value-inversion References Introduction The contrast to the geocentric model of the solar system was framed by the Italian mathematician, physicist and philosopher Galileo Galilei (1564-1642). His much-cited phrase, " And yet it moves" (E pur si muove or Eppur si muove) was allegedly pronounced in 1633 when he was forced to recant his claims that the Earth moves around the immovable Sun rather than the converse -- known as the Galileo affair. Such a shift in perspective might usefully inspire the recognition that the stasis attributed so widely to logos and other much-valued cultural and heraldic symbols obscures the manner in which they imply a fundamental cognitive dynamic. Cultural symbols fundamental to the identity of a group might then be understood as variously moving and transforming in ways which currently elude comprehension. -
Some Topics Concerning Graphs, Signed Graphs and Matroids
SOME TOPICS CONCERNING GRAPHS, SIGNED GRAPHS AND MATROIDS DISSERTATION Presented in Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in the Graduate School of the Ohio State University By Vaidyanathan Sivaraman, M.S. Graduate Program in Mathematics The Ohio State University 2012 Dissertation Committee: Prof. Neil Robertson, Advisor Prof. Akos´ Seress Prof. Matthew Kahle ABSTRACT We discuss well-quasi-ordering in graphs and signed graphs, giving two short proofs of the bounded case of S. B. Rao's conjecture. We give a characterization of graphs whose bicircular matroids are signed-graphic, thus generalizing a theorem of Matthews from the 1970s. We prove a recent conjecture of Zaslavsky on the equality of frus- tration number and frustration index in a certain class of signed graphs. We prove that there are exactly seven signed Heawood graphs, up to switching isomorphism. We present a computational approach to an interesting conjecture of D. J. A. Welsh on the number of bases of matroids. We then move on to study the frame matroids of signed graphs, giving explicit signed-graphic representations of certain families of matroids. We also discuss the cycle, bicircular and even-cycle matroid of a graph and characterize matroids arising as two different such structures. We study graphs in which any two vertices have the same number of common neighbors, giving a quick proof of Shrikhande's theorem. We provide a solution to a problem of E. W. Dijkstra. Also, we discuss the flexibility of graphs on the projective plane. We conclude by men- tioning partial progress towards characterizing signed graphs whose frame matroids are transversal, and some miscellaneous results. -
Octonion Multiplication and Heawood's
CONFLUENTES MATHEMATICI Bruno SÉVENNEC Octonion multiplication and Heawood’s map Tome 5, no 2 (2013), p. 71-76. <http://cml.cedram.org/item?id=CML_2013__5_2_71_0> © Les auteurs et Confluentes Mathematici, 2013. Tous droits réservés. L’accès aux articles de la revue « Confluentes Mathematici » (http://cml.cedram.org/), implique l’accord avec les condi- tions générales d’utilisation (http://cml.cedram.org/legal/). Toute reproduction en tout ou partie de cet article sous quelque forme que ce soit pour tout usage autre que l’utilisation á fin strictement personnelle du copiste est constitutive d’une infrac- tion pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. cedram Article mis en ligne dans le cadre du Centre de diffusion des revues académiques de mathématiques http://www.cedram.org/ Confluentes Math. 5, 2 (2013) 71-76 OCTONION MULTIPLICATION AND HEAWOOD’S MAP BRUNO SÉVENNEC Abstract. In this note, the octonion multiplication table is recovered from a regular tesse- lation of the equilateral two timensional torus by seven hexagons, also known as Heawood’s map. Almost any article or book dealing with Cayley-Graves algebra O of octonions (to be recalled shortly) has a picture like the following Figure 0.1 representing the so-called ‘Fano plane’, which will be denoted by Π, together with some cyclic ordering on each of its ‘lines’. The Fano plane is a set of seven points, in which seven three-point subsets called ‘lines’ are specified, such that any two points are contained in a unique line, and any two lines intersect in a unique point, giving a so-called (combinatorial) projective plane [8,7]. -
Vertex-Transitive Graphs That Have No Hamilton Decomposition
Vertex-transitive graphs that have no Hamilton decomposition Darryn Bryant ∗ Matthew Dean † Abstract It is shown that there are infinitely many connected vertex-transitive graphs that have no Hamilton decomposition, including infinitely many Cayley graphs of valency 6, and including Cayley graphs of arbitrarily large valency. 1 Introduction A famous question of Lov´asz concerns the existence of Hamilton paths in vertex-transitive graphs [28], and no example of a connected vertex-transitive graph with no Hamilton path is known. The related question concerning the existence of Hamilton cycles in vertex-transitive graphs is another interesting and well-studied problem in graph theory, see the survey [23]. A Hamiltonian graph is a graph containing a Hamilton cycle. Thomassen (see [10, 23]) has conjectured that there are only finitely many non-Hamiltonian connected vertex-transitive graphs. On the other hand, Babai [8, 9] has conjectured that there are infinitely many such graphs. To date only five are known. These arXiv:1408.5211v3 [math.CO] 12 Nov 2014 are the complete graph of order 2, the Petersen graph, the Coxeter graph, and the two graphs obtained from the Petersen and Coxeter graphs by replacing each vertex with a triangle. For a regular graph of valency at least 4, a stronger property than the existence of a Hamilton cycle is the existence of a Hamilton decomposition. If X is a k-valent graph, then a Hamilton k decomposition of X is a set of ⌊ 2 ⌋ pairwise edge-disjoint Hamilton cycles in X. Given the small number of non-Hamiltonian connected vertex-transitive graphs, and the uncertainty concerning the existence of others, it is natural to ask how many connected vertex-transitive graphs have no Hamilton decomposition. -
A Survey of Graph Coloring - Its Types, Methods and Applications
FOUNDATIONS OF COMPUTING AND DECISION SCIENCES Vol. 37 (2012) No. 3 DOI: 10.2478/v10209-011-0012-y A SURVEY OF GRAPH COLORING - ITS TYPES, METHODS AND APPLICATIONS Piotr FORMANOWICZ1;2, Krzysztof TANA1 Abstract. Graph coloring is one of the best known, popular and extensively researched subject in the eld of graph theory, having many applications and con- jectures, which are still open and studied by various mathematicians and computer scientists along the world. In this paper we present a survey of graph coloring as an important subeld of graph theory, describing various methods of the coloring, and a list of problems and conjectures associated with them. Lastly, we turn our attention to cubic graphs, a class of graphs, which has been found to be very interesting to study and color. A brief review of graph coloring methods (in Polish) was given by Kubale in [32] and a more detailed one in a book by the same author. We extend this review and explore the eld of graph coloring further, describing various results obtained by other authors and show some interesting applications of this eld of graph theory. Keywords: graph coloring, vertex coloring, edge coloring, complexity, algorithms 1 Introduction Graph coloring is one of the most important, well-known and studied subelds of graph theory. An evidence of this can be found in various papers and books, in which the coloring is studied, and the problems and conjectures associated with this eld of research are being described and solved. Good examples of such works are [27] and [28]. In the following sections of this paper, we describe a brief history of graph coloring and give a tour through types of coloring, problems and conjectures associated with them, and applications. -
Some Applications of Generalized Action Graphs and Monodromy Graphs
Some applications of generalized action graphs and monodromy graphs Tomaˇz Pisanski (University of Primorska and University of Ljubljana) 2015 International Conference on Graph Theory UP FAMNIT, Koper, May 26–28, 2015 Tomaˇz Pisanski (University of Primorska and University of Ljubljana)Some applications of generalized action graphs and monodromy graphs Thanks Thanks to my former students Alen Orbani´c, Mar´ıa del R´ıo-Francos and their and my co-authors, in particular to Jan Karab´aˇs and many others whose work I am freely using in this talk. Tomaˇz Pisanski (University of Primorska and University of Ljubljana)Some applications of generalized action graphs and monodromy graphs Snub Cube - Chirality in the sense of Conway Snube cube is vertex-transitive (uniform) chiral polyhedron. It comes in two oriented forms. Tomaˇz Pisanski (University of Primorska and University of Ljubljana)Some applications of generalized action graphs and monodromy graphs Motivation We would like to have a single combinatorial mechanism that would enable us to deal with such phenomena. Our goal is to unify several existing structures in such a way that the power of each individual structure is preserved. Tomaˇz Pisanski (University of Primorska and University of Ljubljana)Some applications of generalized action graphs and monodromy graphs Example: The Cube Example The cube may be considered as an oriented map: R, r, as a map: r0, r1, r2 as a polyhedron .... Question What is the dual of a cube and how can we describe it? Question How can we tell that the cube is a regular map and amphichiral oriented map? Tomaˇz Pisanski (University of Primorska and University of Ljubljana)Some applications of generalized action graphs and monodromy graphs Plan We define generalized action graphs as semi-directed graphs in which the edge set is partitioned into directed 2-factors (forming an action digraph) and undirected 1-factors (forming a monodromy graph) and use them to describe several combinatorial structures, such as maps and oriented maps. -
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. -
Symmetric Cubic Graphs of Small Girth 1 Introduction
Symmetric cubic graphs of small girth Marston Conder1 Roman Nedela2 Department of Mathematics Institute of Mathematics University of Auckland Slovak Academy of Science Private Bag 92019 Auckland 975 49 Bansk´aBystrica New Zealand Slovakia Email: [email protected] Email: [email protected] Abstract A graph Γ is symmetric if its automorphism group acts transitively on the arcs of Γ, and s-regular if its automorphism group acts regularly on the set of s-arcs of Γ. Tutte (1947, 1959) showed that every cubic finite symmetric cubic graph is s-regular for some s ≤ 5. We show that a symmetric cubic graph of girth at most 9 is either 1-regular or 2′-regular (following the notation of Djokovic), or belongs to a small family of exceptional graphs. On the other hand, we show that there are infinitely many 3-regular cubic graphs of girth 10, so that the statement for girth at most 9 cannot be improved to cubic graphs of larger girth. Also we give a characterisation of the 1- or 2′-regular cubic graphs of girth g ≤ 9, proving that with five exceptions these are closely related with quotients of the triangle group ∆(2, 3, g) in each case, or of the group h x,y | x2 = y3 = [x,y]4 = 1 i in the case g = 8. All the 3-transitive cubic graphs and exceptional 1- and 2-regular cubic graphs of girth at most 9 appear in the list of cubic symmetric graphs up to 768 vertices produced by Conder and Dobcs´anyi (2002); the largest is the 3-regular graph F570 of order 570 (and girth 9). -
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]. -
Use the K-Neighborhood Subgraphs to Compute Canonical Labelings of Graphs
mathematics Article Use the K-Neighborhood Subgraphs to Compute Canonical Labelings of Graphs Jianqiang Hao 1,*, Yunzhan Gong 2, Jianzhi Sun 1 and Li Tan 1 1 Beijing Key Laboratory of Big Data Technology for Food Safety, Beijing Technology and Business University, No. 11, Fu Cheng Road, Beijing 100048, China 2 State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, No 10, Xitucheng Road, Haidian District, Beijing 100876, China * Correspondence: [email protected]; Tel.: +86-10-6898-5704 Received: 5 July 2019; Accepted: 27 July 2019; Published: 31 July 2019 Abstract: This paper puts forward an innovative theory and method to calculate the canonical labelings of graphs that are distinct to Nauty’s. It shows the correlation between the canonical labeling of a graph and the canonical labeling of its complement graph. It regularly examines the link between computing the canonical labeling of a graph and the canonical labeling of its open k-neighborhood subgraph . It defines dif fusion degree sequences and entire dif fusion degree sequence . For each node of a graph G, it designs a characteristic m_NearestNode to improve the precision for calculating canonical labeling. Two theorems established here display how to compute the first nodes of MaxQ(G). Another theorem presents how to determine the second nodes of MaxQ(G). When computing Cmax(G), if MaxQ(G) already holds the first i nodes u1, u2, ··· , ui, Diffusion and Nearest Node theorems provide skill on how to pick the succeeding node of MaxQ(G). Further, it also establishes two theorems to determine the Cmax(G) of disconnected graphs. -
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.