Interactions Between Coherent Configurations and Some Classes

Total Page:16

File Type:pdf, Size:1020Kb

Interactions Between Coherent Configurations and Some Classes Interactions between Coherent Configurations and Some Classes of Objects in Extremal Combinatorics Thesis submitted in partial fulfillment of the requirements for the degree of \DOCTOR OF PHILOSOPHY" by Matan Ziv-Av Submitted to the Senate of Ben-Gurion University of the Negev November 9, 2013 Beer-Sheva Interactions between Coherent Configurations and Some Classes of Objects in Extremal Combinatorics Thesis submitted in partial fulfillment of the requirements for the degree of \DOCTOR OF PHILOSOPHY" by Matan Ziv-Av Submitted to the Senate of Ben-Gurion University of the Negev Approved by the Advisor Approved by the Dean of the Kreitman School of Advanced Graduate Studies November 9, 2013 Beer-Sheva This work was carried out under the supervision of Mikhail Klin In the Department of Mathematics Faculty of Natural Sciences Research-Student's Affidavit when Submitting the Doctoral Thesis for Judgment I, Matan Ziv-Av, whose signature appears below, hereby declare that: x I have written this Thesis by myself, except for the help and guidance offered by my Thesis Advisors. x The scientific materials included in this Thesis are products of my own research, culled from the period during which I was a research student. This Thesis incorporates research materials produced in cooperation with others, excluding the technical help commonly received during ex- perimental work. Therefore, I am attaching another affidavit stating the contributions made by myself and the other participants in this research, which has been approved by them and submitted with their approval. Date: November 9, 2013 Student's name: Matan Ziv-Av Signature: Acknowledgements First, I'd like to thank my advisor, Misha Klin, for being my advisor. While this work is mine, it is much easier for me to imagine another student producing a similar thesis under Prof. Klin's guidance, than to imagine myself producing a similar thesis with another advisor. I would like to thank Mati Rubin, who was very helpful in my life in BGU, both mathematical and personal, ever since my first class here 23 years ago. I'd like to thank Yoav Segev, my advisor in my previous, failed, attempt as a graduate student. I hope that this thesis indicates to him that I did not completely waste his time. Work on this thesis was facilitated by cooperation with many of Prof. Klin's colleagues, mostly through him. Misha Muzychuk's ideas and advice are used in almost every chapter of the thesis. M. Maˇcaj, J. Lauri, A. Woldar, and G. Jones were also very kind with their assistance. Two of my advisor's previous students, Christian Pech and Sven Re- ichard, allowed me to use their work in progress COCO-II package for GAP. Discussion with both of them allowed me to improve my mathematical pro- gramming skills. Many discussions with students of Klin, Danny Kalmanovich and Nim- rod Kriger were also very useful to me. I thank the entire staff of the Department of Mathematics in BGU for the support from the department and its people, even though I was a somewhat problematic student. While working on this thesis, I discussed its results in seminars in JKU (Linz, Austria), in Wroclaw University (Poland), TU/e (Eindhoven, Nether- lands) and The University of West Bohemia (Plzen, Czech Republic)). I thank Pech, Andrzej Kisielewicz, Aart Blokhuis, and Zdenek Ryjacek for inviting me, as well as Hapoel Tel-Aviv FC for making those visits possible. Last, but certainly not least, I thank my family (parents, grandparents, brothers, sisters, aunts, uncles, cousins, in-laws) for being very supportive and pushing me just enough to make sure this project actually reached its destination. Contents 1 Introduction 1 1.1 Motivation . 1 1.1.1 Repeatability of results . 2 1.2 Outline of the thesis . 3 1.2.1 Preliminaries . 3 1.2.2 Summary of results . 4 2 Preliminaries 9 2.1 Coherent configurations and association schemes . 9 2.1.1 Axioms and basic definitions . 9 2.1.2 Isomorphism and automorphism types . 12 2.1.3 Coherent closure . 13 2.1.4 Mergings . 14 2.2 Triangle-free strongly regular graphs . 15 2.2.1 Strongly regular graphs . 15 2.2.2 Triangle free strongly regular graphs . 16 2.2.3 The 7 known tfSRGs . 17 2.3 Equitable partitions . 20 2.3.1 Definitions and basic properties . 20 2.3.2 Global vs. local approaches . 22 2.4 Schur rings . 22 2.5 Semisymmetric graphs . 24 2.5.1 Definitions and basic facts . 24 2.5.2 Nikolaev graph N .................... 26 i ii CONTENTS 2.5.3 Ljubljana graph L ................... 27 2.6 Cages . 28 2.7 Computer tools . 30 2.7.1 COCO . 30 2.7.2 WL-stabilization . 31 2.7.3 GAP . 31 2.7.4 COCO v.2 . 32 2.7.5 Ad-hoc tools . 32 3 Triangle-free strongly regular graphs 33 3.1 Embeddings of tfSRGs inside tfSRGs . 33 3.1.1 Computer results . 34 3.1.2 Theoretical view of some embeddings . 34 3.1.3 Imprimitive tfSRGs inside primitive tfSRGs . 39 3.2 Equitable partitions of tfSRGs . 41 3.2.1 Pentagon . 43 3.2.2 Petersen graph . 43 3.2.3 Clebsch graph . 44 3.2.4 Hoffman-Singleton graph . 44 3.2.5 Gewirtz graph . 55 3.2.6 Mesner graph . 55 3.2.7 NL2(10) . 56 3.3 Understanding some EPs . 56 3.3.1 Some models of the Hoffman-Singleton graph . 56 3.3.2 Some models of the Gewirtz graph . 58 3.3.3 Quadrangle EP of NL2(10) . 61 4 Schur rings over A5, AGL1(8) and Z11oZ5 64 4.1 S-rings over A5 ......................... 65 4.1.1 Computer results . 65 4.1.2 Rational S-rings . 68 4.1.3 General Outline of Non-Schurian S-rings . 70 4.1.4 The Exceptional non-Schurian S-ring #115 . 73 CONTENTS iii 4.2 S-rings over AGL1(8) . 74 4.3 Symmetric S-rings over Z11oZ5 . 75 5 Other results 78 5.1 Links between two semisymmetric graphs on 112 vertices . 78 5.1.1 A master association scheme on 56 points . 78 5.1.2 Embeddings of L into N . 82 5.1.3 The Ljubljana configuration . 83 5.2 Coherent cages . 85 5.2.1 Coherency of small cages . 85 5.2.2 Non-Schurian association scheme on 90 points . 85 5.3 Non-Schurian association scheme . 86 5.3.1 General case . 86 5.3.2 Non-Schurian association scheme on 125 points . 86 5.4 Miscellanea . 87 5.4.1 Modified Weisfeiler-Leman stabilization . 87 5.4.2 Pseudo S-rings . 92 6 Concluding remarks 93 A Data 96 A.1 Equitable partitions of Clebsch graph . 96 A.2 Mergings of master association scheme M . 97 A.3 Basic sets of pseudo S-rings . 99 A.4 Computer readable data . 100 Bibliography 102 List of Figures 1 Petersen graph . 17 2 Clebsch graph . 18 3 Hoffman-Singleton graph, Robertson model . 19 4 Mesner's model of NL2(10) . 20 2 5 Mesner decomposition of NLg(g + 3g) . 37 6 A split of the non-edge decomposition of NL2(10) . 62 7 Paley tournament P (7) with isolated vertex . 83 List of Tables 1 Mesner's table of feasible parameter sets of tfSRGs . 17 2 Number of tfSRGs inside tfSRGs . 37 3 Number of orbits of tfSRGs inside tfSRGs . 38 4 Orders of stabilizers of tfSRGs inside tfSRGs . 38 5 Structure of stabilizers of tfSRGs inside tfSRGs . 38 6 Number of imprimitive tfSRGs inside tfSRGs . 40 7 Number of orbits of imprimitive tfSRGs inside tfSRGs . 40 iv List of Tables v 8 Number of orbits of equitable partitions and of automorphic equitable partitions for known tfSRGs. 41 9 Number of orbits of EPs and automorphic EPs of the pentagon by size of partition . 41 10 Number of orbits of EPs and automorphic EPs of the Petersen graph by size of partition . 42 11 Number of orbits of EPs and automorphic EPs of the Clebsch graph by size of partition . 42 12 Number of orbits of EPs and automorphic EPs of the Hoffman- Singleton graph by size of partition . 42 13 Number of orbits of automorphic and non-rigid EPs of the Gewirtz graph by size of partition . 42 14 Number of orbits of automorphic EPs of the Mesner graph by size of partition . 42 15 Number of orbits of automorphic EPs of NL2(10) by size of partition . 43 16 Equitable partitions of a Petersen graph . 43 17 Summary of equitable partitions of a Hoffman-Singleton graph . 45 18 Distribution of S-rings over A5 with respect to rank . 66 19 List of orders of small groups over A5 . 67 20 Rational S-rings over A5 having a small automorphism group . 69 21 Information about non-Schurian S-rings over A5 . 71 22 Distribution of S-rings over AGL1(8) with respect to rank . 74 23 List of orders of small groups over AGL1(8) . 75 24 Orbits of symmetric S-rings over Z11oZ5 . 76 25 Orbits of non-symmetric S-rings over Z11oZ5 . 77 26 2-orbits of M and their covers . 81 Interactions between Coherent Configurations and Some Classes of Objects in Extremal Combinatorics Submitted by: Matan Ziv-Av Advisor: Mikhail Klin Abstract A strongly regular graph with parameters (v; k; λ, µ) is a regular graph on v vertices with valency k, such that two neighbors have λ common neighbors and two non-neighbors have µ common neighbors. An equitable partition of a graph is a partition of the vertex set such that the number of neighbors a vertex from cell X has in cell Y depends only on the selection of the cells, not the selection of vertex.
Recommended publications
  • SEMIOTIC MODELLING of the STRUCTURE John
    SEMIOTIC MODELLING OF THE STRUCTURE John-Tagore Tevet Research Group of Structure Semiotics The University Euroacademy Tallinn Estonia & Honorary Professor Institute of Mathematics H-501 Palam Vihar Gurgaon India [email protected] www.graphs.ee www.dharwadker.org/iom Proceedings of the Institute of Mathematics Published by Amazon Books Copyright © John-Tagore Tevet 2014 2 Abstract Must be stated that the structure as a such, be studied very little, and if so, then either very generally or linked to specific objects. The structure is an integral attribute of all discrete phenomena, their constructional or organizational side . Unfortunately, the concept of structure has devalued to a vague adjective of all objects. In an attempt to explain the essence of structure, we proceed from the fact that the structure is given as a graph and isomorphic graphs have the same structure. However, the structure is something qualitative which with only quantitative graph-theoretical tools is not considered. It has been shown that the essence of structure consists in the relationships between its elements, and it has created a need to look the ways for presenting these relationships. Here is presented a way for recognition of the structure with exactness up to isomorphism and other structural properties. It is implemented in the form of a semiotic model that enables to explain the essential properties of structure and their transformations. John-Tagore Tevet Tallinn, Estonia November 2014 3 4 Contents 1. INITIAL PRINCIPLES 7 1.1. Essence of structure 7 1.2. Semiotic model of structure 9 1.3. Adjustment and simplification of the model 12 2.
    [Show full text]
  • XYZ Decompositions of Graphs Dagstuhl Seminar 08191
    XYZ decom- positions V. Batagelj XYZ decompositions of graphs Dagstuhl Seminar 08191 Motivation XYZ decom- Vladimir Batagelj positions Results University of Ljubljana, FMF, Dept. of Mathematics; and References IMFM Ljubljana, Dept. of Theoretical Computer Science joint work with Franz J. Brandenburg, Walter Didimo, Giuseppe Liotta, Maurizio Patrignani 23rd Leoben-Ljubljana Graph Theory Seminar Ljubljana, 14-15. November 2008 V. Batagelj XYZ decompositions Outline XYZ decom- positions V. Batagelj Dagstuhl Seminar 08191 Motivation 1 XYZ decom- Dagstuhl Seminar 08191 positions 2 Motivation Results 3 XYZ decompositions References 4 Results 5 References V. Batagelj XYZ decompositions Dagstuhl Seminar 08191 XYZ decom- positions V. Batagelj Dagstuhl Seminar 08191 Motivation XYZ decom- positions Results References Dagstuhl Seminar 08191: Graph Drawing with Applications to Bioinformatics and Social Sciences. Dagstuhl, May 4-9, 2008 V. Batagelj XYZ decompositions Motivation XYZ decom- positions For dense graphs the matrix representation is better [3]. Pajek - shadow [0.00,1.00] V. Batagelj uki fra wge jap net ita usa bel lux car swe kod den swi can nor par spa irn Dagstuhl yem mat irq pak ire nau aut bol hun Seminar 08191 lib hai isr nic sau alb kuw aus gua mon fin por zai hon bra arg pol syr cze kmr usr Motivation tri ege yug sri ind cha saf gre tur sie egy bul rum uru tai rum syr XYZ decom- leb upv cyp vnr ice arg tun gab cub liy positions pol mor usr lux alg spanor nig isr mli uga ins bul liy ken mex usa eth brm pan net tha cze fra jor sud gre
    [Show full text]
  • LEOBEN-LJUBLJANA GRAPH THEORY SEMINAR 2016 Dedicated to Norbert Seifter's 60Th Birthday Special Session on the Occasion Of
    LEOBEN-LJUBLJANA GRAPH THEORY SEMINAR 2016 Dedicated to Norbert Seifter's 60th Birthday Special session on the occasion of Bojan Mohar's 60th Birthday 25th - 28th September 2016, Judenburg, Austria Supported by TU Graz, MU Leoben, Austrian Science Fund, Austrian Mathematical Society and the Town of Judenburg. Titles and abstracts Vladimir Batagelj (Ljubljana - Koper): Widespread index Abstract. On January 12, 2016 Clement Levallois posted at SocNet a message asking for a measure of how widespread is the distribution of a node attribute in a network. In the paper we propose and study two indices for measuring the widespread of a node attribute value in a network: the (simple) widespread index and the domination index. A com- putation of the proposed indices using the program Pajek is illustrated on two networks: the Class network and the US Airports network. Chris Godsil (Waterloo): Graph isomorphism and quantum walks Abstract. It has been suggested that graph isomorphism may be one of the problems that can be solved faster on a quantum computer than on a clasical computer. Conse- quently physicists have devoted some effort to find algorithms for graph isomorphism. I will report on work undertaken by me and my colleagues, using tools from graph spec- tral theory and finite geometry, to show that the algorithms proposed to date do not work. Veronica Hern´andezMartinez (Madrid): On the diameter, minimum and maximum degree and hyperbolicity constant Abstract. In this work, we obtain good upper bounds for the diameter of any graph in terms of its minimum degree and its order, improving a classical theorem due to Erd¨os, Pach, Pollack and Tuza.
    [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]
  • Fundamental Properties and (5,0)-Nanotubical Fullerenes
    MATCH MATCH Commun. Math. Comput. Chem. 72 (2014) 279-294 Communications in Mathematical and in Computer Chemistry ISSN 0340 - 6253 Wiener Dimension: Fundamental Properties and (5,0)-Nanotubical Fullerenes Yaser Alizadeha, Vesna Andova b1, Sandi Klavˇzar c,d,e, Riste Skrekovskiˇ c,e,f,g aDepartment of Mathematics, Hakim Sabzevari University, Sabzevar, Iran E-mail: [email protected] 2Faculty of Electrical Engineering and Information Technologies, Ss Cyril and Methodius Univ., Ruger Boskovik, P. O. Box 574, 1000 Skopje, Macedonia E-mail: [email protected] cFaculty of Mathematics and Physics, University of Ljubljana, Slovenia dFaculty of Natural Sciences and Mathematics, University of Maribor, Slovenia eInstitute of Mathematics, Physics and Mechanics, Ljubljana, Slovenia E-mail: [email protected] f Faculty of Information Studies, Novo Mesto, Slovenia gFaculty of Mathematics, Natural Sciences and Information Technologies, University of Primorska, Slovenia E-mail: [email protected] (Received January 24, 2014) 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 presented and it is proved that a graph of dimension 1 is 2-connected. It is shown that the (5, 0)-nanotubical fullerene graph on 10k (k ≥ 3) vertices has Wiener dimension k. As a consequence the Wiener index of these fullerenes is obtained. 1Corresponding author -280- 1 Introduction The distance considered in this paper is the usual shortest path distance.
    [Show full text]
  • On Minimal Folkman Graphs
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Discrete Mathematics 236 (2001) 245–262 www.elsevier.com/locate/disc On minimal Folkman graphs Tomasz Luczak ∗, Andrzej RuciÃnski, Sebastian UrbaÃnski 1 Faculty of Mathematics and Computer Science, Department of Discrete Mathematics, Adam Mickiewicz University, ul. Oatejki 48=49, 60-769, Poznan,Ã Poland Received 21 December 1997; revised 12 August 1998; accepted 5 March 2000 Abstract Following the arrow notation, for a graph G and natural numbers a1;a2;:::;ar we write G → v (a1;a2;:::;ar) if for every coloring of the vertices of G with r colors there exists a copy of the complete graph Kai of color i for some i =1; 2;:::;r. We present some constructions of small graphs with this Ramsey property, but not containing large cliques. We also set bounds on the order of the smallest such graphs. c 2001 Elsevier Science B.V. All rights reserved. 1. Introduction Let G be a graph and let a1;a2;:::;ar be positive integers. We write G → (a1; a ;:::;a )v if every r-coloring of the vertices of G forces a complete subgraph K 2 r ai of color i for some i ∈{1; 2;:::;r}. It is a simple consequence of the pigeon-hole principle that Km, where r m = m(a1;a2;:::;ar)=1+ (ai − 1); i=1 v is the minimal graph G such that G → (a1;a2;:::;ar) : Obviously, every graph con- taining Km satisÿes the above property as well.
    [Show full text]
  • G-Graphs: a New Representation of Groups
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Journal of Symbolic Computation 42 (2007) 549–560 www.elsevier.com/locate/jsc G-graphs: A new representation of groups Alain Brettoa,∗, Alain Faisantb, Luc Gilliberta a Universite´ de Caen, GREYC CNRS UMR-6072. Campus 2, Bd Marechal Juin BP 5186, 14032 Caen cedex, France b Universite´ Jean Monnet LARAL 23 rue Paul Michelon, 42023 Saint-Etienne cedex 2, France Received 31 October 2004; accepted 8 August 2006 Available online 5 March 2007 Abstract An important part of computer science is focused on the links that can be established between group theory and graph theory and graphs. CAYLEY graphs, that establish such a link, are useful in a lot of areas of sciences. This paper introduces a new type of graph associated with a group, the G-graphs, and presents many of their properties. We show that various characteristics of a group can be seen on its associated G-graph. We also present an implementation of the algorithm constructing these new graphs, an implementation that will lead to some experimental results. Finally we show that many classical graphs are G-graphs. The relations between G-graphs and CAYLEY graphs are also studied. c 2007 Elsevier Ltd. All rights reserved. Keywords: Computational group theory; Graph representation of a group; Cayley graphs; G-graphs 1. Introduction Group theory can be considered as the study of symmetry. A group is basically the collection of symmetries of some object preserving some of its structure; therefore many sciences have to deal with groups.
    [Show full text]
  • International Conference on Graph Theory and Combinatorics Dedicated to Prof
    = 60 jDM j International Conference on Graph Theory and Combinatorics Dedicated to Prof. Dragan Marušic’sˇ 60th Birthday. Koper, Slovenia, May 1 - May 3, 2013, TIMETABLE Wednesday, May 1st ........................................................................ 11:00 B. ALSPACH: Cayley Graphs On Abelian Groups 12:00 - - - Lunch --- 14:30 T. PISANSKI: Reflecting on Some Common Work with Dragan 14:55 M. E. CONDER: Half-arc-transitive and Semi-symmetric Graphs 15:20 R. JAJCAY: Counting Cycles in Vertex-transitive Graphs 15:45 - - - Coffee --- 16:00 Free discussion 18:00 - - - Dinner --- Thursday, May 2nd ......................................................................... 10:00 A. A. IVANOV: Group Theory and Life 10:25 S. ZHOU: Symmetric Graphs with 2-arc Transitive Quotients 10:50 - - - Coffee --- 11:10 R. NEDELA: Half-arc-transitive Actions with Cyclic Stabilizers and their Geometric Vi- sualisation 11:35 P. SPIGA: Semiregular Elements in Cubic Vertex-transitive Graphs and the Restricted Burnside Problem 11:50 - - - Lunch --- 14:30 E. DOBSON: Classifying Vertex-transitive Graphs 14:55 D. WITTE MORRIS: Recent Results on Hamiltonian Cycles in Small Cayley Graphs 15:20 N. SEIFTER: Reachability Relations, Transitive Digraphs and Groups 15:40 - - - Coffee --- 16:00 Free discussion 18:00 - - - Santomas --- Friday, May 3rd ............................................................................ 10:00 M. MUZYCHUK: On Regular Cayley Maps over Dihedral Groups 10:25 L. MARTÍNEZ FERNÁNDEZ: m-Cayley Circulant Strongly Regular Digraphs 10:50 - - - Coffee --- 11:10 G. KISS: Notes on Semiarcs 11:35 G. VERRET: Semiregular Automorphisms of Arc-transitive Graphs 12:00 - - - Lunch --- 16:00 Basketball 1 = 60 jDM j INVITED TALKS Cayley Graphs On Abelian Groups Brian Alspach, Newcastle University, Australia [email protected] Cayley graphs on abelian groups form the most basic family of Cayley graphs.
    [Show full text]
  • Isospectral Graphs and the Expander Coefficient
    Western Michigan University ScholarWorks at WMU Dissertations Graduate College 8-1994 Isospectral Graphs and the Expander Coefficient Ian Campbell Walters Jr. Western Michigan University Follow this and additional works at: https://scholarworks.wmich.edu/dissertations Part of the Applied Mathematics Commons Recommended Citation Walters, Ian Campbell Jr., "Isospectral Graphs and the Expander Coefficient" (1994). Dissertations. 1849. https://scholarworks.wmich.edu/dissertations/1849 This Dissertation-Open Access is brought to you for free and open access by the Graduate College at ScholarWorks at WMU. It has been accepted for inclusion in Dissertations by an authorized administrator of ScholarWorks at WMU. For more information, please contact [email protected]. ISOSPECTRAL GRAPHS AND THE EXPANDER COEFFICIENT by Ian Campbell Walters Jr. A Dissertation Submitted to the Faculty of The Graduate College in partial fulfillment of the requirements for the Degree of Doctor of Philosophy Department of Mathematics and Statistics Western Michigan University Kalamazoo, Michigan August 1994 Reproduced with permission of the copyright owner. Further reproduction prohibited without permission. ISOSPECTRAL GRAPHS AND THE EXPANDER COEFFICIENT Ian Campbell Walters Jr., Ph.D. Western Michigan University, 1994 The expander coefficient of a graph is a parameter that is utilized to quantify the rate at which information is spread throughout a graph. The eigenvalues of the Lapladan of a graph provide a bound for the expander coefficient of the graph. In this dissertation, we construct many pairs of isospectral graphs with different expander coefficients. In Chapter I, we define the problem and present some preliminary definitions. We then introduce two constructions that are related to graph composition and that may be employed to produce cospectral and isospectral graphs.
    [Show full text]
  • Spectral Bounds for the K-Independence Number of a Graph
    Spectral bounds for the k-independence number of a graph Aida Abiad∗, Sebastian M. Cioab˘a∗∗, Michael Tait Abstract In this paper, we obtain two spectral upper bounds for the k-independence number of a graph which is is the maximum size of a set of vertices at pairwise distance greater than k. We construct graphs that attain equality for our first bound and show that our second bound compares favorably to previous bounds on the k-independence number. MSC: 05C50, 05C69 Keywords: k-independence number; graph powers; eigenvalues; Expander-Mixing lemma. 1. Introduction The independence number of a graph G, denoted by α(G), is the size of the largest inde- pendent set of vertices in G. A natural generalization of the independence number is the k-independence number of G, denoted by αk(G) with k ≥ 0, which is the maximum number of vertices that are mutually at distance greater than k. Note that α0(G) equals the number of vertices of G and α1(G) is the independence number of G. The k-independence number is an interesting graph theoretic parameter that is closely related to coding theory, where codes and anticodes are k-independent sets in Hamming graphs (see [24, Chapter 17]). In addition, the k-independence number of a graph has been studied in various other contexts (see [2, 8, 12, 13, 14, 21, 26] for some examples) and is related to other combinatorial parameters such as average distance [15], packing chromatic number [16], injective chromatic number [19], and strong chromatic index [25]. It is known that determining αk is NP-Hard in general [22].
    [Show full text]
  • On Dispersable Book Embeddings
    On Dispersable Book Embeddings Jawaherul Md. Alam1, Michael A. Bekos2, Martin Gronemann3, Michael Kaufmann2, and Sergey Pupyrev1 1 Dep. of Computer Science, University of Arizona, Tucson, USA fjawaherul,[email protected] 2 Institut f¨urInformatik, Universit¨atT¨ubingen,T¨ubingen,Germany fbekos,[email protected] 3 Institut f¨urInformatik Universit¨atzu K¨oln,K¨oln,Germany [email protected] Abstract. In a dispersable book embedding, the vertices of a given graph G must be ordered along a line `, called spine, and the edges of G must be drawn at different half-planes bounded by `, called pages of the book, such that: (i) no two edges of the same page cross, and (ii) the graphs induced by the edges of each page are 1-regular. The minimum number of pages needed by any dispersable book embedding of G is referred to as the dispersable book thickness dbt(G) of G. Graph G is called dispersable if dbt(G) = ∆(G) holds (note that ∆(G) ≤ dbt(G) always holds). Back in 1979, Bernhart and Kainen conjectured that any k-regular bi- partite graph G is dispersable, i.e., dbt(G) = k. In this paper, we disprove this conjecture for the cases k = 3 (with a computer-aided proof), and k = 4 (with a purely combinatorial proof). In particular, we show that the Gray graph, which is 3-regular and bipartite, has dispersable book thickness four, while the Folkman graph, which is 4-regular and bipar- tite, has dispersable book thickness five. On the positive side, we prove that 3-connected 3-regular bipartite planar graphs are dispersable, and conjecture that this property holds, even if 3-connectivity is relaxed.
    [Show full text]
  • Wiener Dimension: Fundamental Properties and (5,0)-Nanotubical Fullerenes
    Noname manuscript No. (will be inserted by the editor) Wiener dimension: fundamental properties and (5,0)-nanotubical fullerenes Yaser Alizadeh · Vesna Andova · Sandi Klavˇzar · Riste Skrekovskiˇ Received: date / Accepted: date 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 presented and it is proved that a graph of dimension 1 is 2-connected. It is shown that the (5, 0)-nanotubical fullerene graph on 10k (k ≥ 3) vertices has Wiener dimension k. As a consequence the Wiener index of these fullerenes is obtained. Research supported in part by ARRS Programs P1-0297 and P1-0383, Creative Core - FISNM - 3330-13-5000, and within the EUROCORES Programme EUROGIGA/GReGAS of the European Science Foundation. Y. Alizadeh Department of Mathematics, Hakim Sabzevari University, Sabzevar, Iran V. Andova Faculty of Electrical Engineering and Information Technologies, Ss Cyril and Methodius Univ. Rugjer Boskovikj bb, Skopje, Macedonia Tel.: +389-70-241-775 Fax: +389-2-3064-262 E-mail: [email protected] S. Klavˇzar Faculty of Mathematics and Physics, University of Ljubljana, Slovenia Faculty of Natural Sciences and Mathematics, University of Maribor, Slovenia Institute of Mathematics, Physics and Mechanics, Ljubljana, Slovenia R.Skrekovskiˇ Faculty of Mathematics and Physics, University of Ljubljana, Slovenia Institute of Mathematics, Physics and Mechanics, Ljubljana, Slovenia Faculty of Information Studies, Novo Mesto, Slovenia FAMNIT, University of Primorska, Slovenia 2 Yaser Alizadeh et al.
    [Show full text]