DOCSLIB.ORG

Distance-Regular Graphs Arxiv:1410.6294V2 [Math.CO]

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

Distance-regular graphs∗ Edwin R. van Dam Jack H. Koolen Department of Econometrics and O.R. School of Mathematical Sciences Tilburg University University of Science and Technology of China The Netherlands and [email protected] Wu Wen-Tsun Key Laboratory of Mathematics of CAS Hefei, Anhui, 230026, China [email protected] Hajime Tanaka Research Center for Pure and Applied Mathematics Graduate School of Information Sciences Tohoku University Sendai 980-8579, Japan [email protected] Mathematics Subject Classifications: 05E30, 05Cxx, 05Exx Abstract This is a survey of distance-regular graphs. We present an introduction to distance- regular graphs for the reader who is unfamiliar with the subject, and then give an overview of some developments in the area of distance-regular graphs since the monograph `BCN' [Brouwer, A.E., Cohen, A.M., Neumaier, A., Distance-Regular Graphs, Springer-Verlag, Berlin, 1989] was written. Keywords: Distance-regular graph; survey; association scheme; P -polynomial; Q- polynomial; geometric arXiv:1410.6294v2 [math.CO] 15 Apr 2016 ∗This version is published in the Electronic Journal of Combinatorics (2016), #DS22. 1 Contents 1 Introduction6 2 An introduction to distance-regular graphs8 2.1 Definition . .8 2.2 A few examples . .9 2.2.1 The complete graph . .9 2.2.2 The polygons . .9 2.2.3 The Petersen graph and other Odd graphs . .9 2.3 Which graphs are determined by their intersection array? . .9 2.4 Some combinatorial conditions for the intersection array . 11 2.5 The spectrum of eigenvalues and multiplicities . 12 2.6 Association schemes . 15 2.7 The Q-polynomial property . 17 2.8 Delsarte cliques and geometric graphs . 18 2.9 Imprimitivity . 19 2.10 Distance-transitive graphs . 20 3 Examples 21 3.1 The classical families with unbounded diameter . 21 3.1.1 Classical parameters . 23 3.1.2 Other families with unbounded diameter . 23 3.2 New constructions . 25 3.2.1 The twisted Grassmann graphs . 25 3.2.2 Brouwer-Pasechnik and Kasami graphs . 26 3.2.3 De Caen, Mathon, and Moorhouse's Preparata graphs and crooked graphs . 26 3.2.4 Soicher graphs and Meixner graphs . 27 3.2.5 The Koolen-Riebeek graph and the Moscow-Soicher graph . 28 4 More background 28 4.1 Miscellaneous definitions . 28 4.2 A few comments on the eigenspaces . 29 4.3 The Terwilliger algebra . 30 4.4 Equitable partitions and completely regular codes . 32 4.4.1 Interlacing, the quotient matrix, and the quotient graph . 32 4.4.2 Completely regular codes . 32 4.5 Distance-biregular graphs and weakly geometric graphs . 34 4.6 Homogeneity . 35 4.7 Designs . 36 2 5 Q-polynomial distance-regular graphs 36 5.1 The graphs with classical parameters with b =1............... 37 5.2 Recent results on graphs with classical parameters . 37 5.3 Imprimitive graphs with classical parameters and partition graphs . 38 5.4 Characterizations of the Q-polynomial property . 39 5.5 Classification results . 41 5.5.1 Case p 6= ±2............................... 41 5.5.2 Case p = 2, r 6= 0, r? 6=0........................ 41 5.5.3 Case p = 2, r = 0, r? 6=0........................ 41 5.5.4 Case p = 2, r 6= 0, r? =0........................ 42 5.5.5 Case p = 2, r = r? =0......................... 42 5.5.6 Case p = −2............................... 42 5.5.7 Bipartite graphs . 42 5.5.8 Antipodal graphs . 42 5.5.9 Almost bipartite graphs . 43 5.5.10 Almost Q-bipartite graphs . 43 5.6 The Terwilliger algebras of Q-polynomial distance-regular graphs . 43 5.7 Further results on Q-polynomial distance-regular graphs . 45 5.7.1 Antipodal covers . 45 5.7.2 Distance-regular graphs with multiple Q-polynomial orderings . 45 5.7.3 Bounds for the girth . 46 5.7.4 The Erd}os-Ko-Radotheorem . 46 5.7.5 Unimodality of the multiplicities . 46 5.7.6 Posets associated with Q-polynomial distance-regular graphs . 46 5.8 Tridiagonal systems . 48 6 The Terwilliger algebra and combinatorics 50 6.1 Homogeneity and tight distance-regular graphs . 50 6.1.1 Tight distance-regular graphs . 50 6.1.2 The CAB condition and 1-homogeneous distance-regular graphs . 51 6.1.3 More results on homogeneity . 52 6.2 Thin modules . 52 6.3 Vanishing Krein parameters . 54 6.3.1 Triple intersection numbers . 54 6.3.2 Hadamard products of two primitive idempotents . 54 6.4 Relaxations of homogeneity . 56 7 Growth of intersection numbers and bounds on the diameter 57 7.1 The Ivanov bound . 58 7.2 Distance-regular graphs of order (s; t)..................... 59 7.3 A bound for distance-regular graphs with c2 ≥ 2............... 59 7.4 The Pyber Bound . 60 3 8 The Bannai-Ito conjecture 60 8.1 Proof of the Bannai-Ito conjecture . 60 8.2 Extensions of the Bannai-Ito conjecture . 62 8.3 The distance-regular graphs with small valency . 62 9 Geometric distance-regular graphs 63 9.1 Metsch's characterizations . 63 9.2 Characterization of Doubled Odd and Doubled Grassmann graphs . 64 9.3 Bounds on claws . 64 9.4 Sufficient conditions . 66 9.5 Distance-regular graphs with a fixed smallest eigenvalue . 66 9.6 Regular near polygons . 67 10 Spectral characterizations 69 10.1 Distance-regularity from the spectrum . 69 10.2 The p-rank . 71 10.3 Spectral excess theorem . 71 10.4 Almost distance-regular graphs . 73 11 Subgraphs 74 11.1 Strongly closed subgraphs . 74 11.2 Bipartite closed subgraphs . 76 11.3 Maximal cliques . 77 11.4 Convex subgraphs . 77 11.5 Designs . 77 11.6 The Terwilliger algebra with respect to a code . 78 12 Completely regular codes 79 12.1 Parameters . 80 12.2 Leonard completely regular codes . 80 12.3 Completely regular codes in the Hamming graphs . 81 12.3.1 Completely transitive codes and generalizations . 81 12.3.2 Arithmetic completely regular codes . 82 12.4 Completely regular codes in other distance-regular graphs . 83 13 More combinatorial properties 85 13.1 Distance-regular graphs with a relatively small number of vertices . 85 13.2 Distance-regular graphs with multiple P -polynomial orderings . 86 13.3 Characterizing antipodality and the height . 86 13.4 Bounds on kD for primitive distance-regular graphs . 87 13.5 Terwilliger graphs and existence of quadrangles . 87 13.6 Connectivity and the second eigenvalue . 88 13.6.1 Connectivity and matchings . 88 13.6.2 The second largest eigenvalue . 88 4 13.6.3 The standard sequence . 89 13.7 The distance-D graph . 90 14 Multiplicities 90 14.1 Terwilliger's tree bound . 90 14.2 Godsil's bound . 92 14.3 The distance-regular graphs with a small multiplicity . 93 14.4 Integrality of multiplicities . 93 15 Applications 94 15.1 Combinatorial optimization . 94 15.2 Random walks, diffusion models, and quantum walks . 95 15.2.1 Diffusion models and stock portfolios . 95 15.2.2 Chip-firing and the abelian sandpile model . 96 15.2.3 Biggs' conjecture on resistance and potential . 96 15.2.4 Quantum walks . 97 15.3 Miscellaneous applications . 98 16 Miscellaneous 99 16.1 Distance-transitive graphs . 99 16.2 The metric dimension . 99 16.3 The chromatic number . 100 16.4 Cores . 100 16.5 Modular representations . 100 16.6 Asymptotic spectral analysis . 101 16.7 Spin models . 102 16.8 Cometric association schemes . 102 17 Tables 103 17.1 Diameter 3 and primitive . 104 17.1.1 Uniqueness . 104 17.1.2 Existence . 104 17.1.3 Nonexistence . ..
Recommended publications
  • Avoiding Rainbow Induced Subgraphs in Vertex-Colorings

    Avoiding Rainbow Induced Subgraphs in Vertex-Colorings

    Avoiding rainbow induced subgraphs in vertex-colorings Maria Axenovich and Ryan Martin∗ Department of Mathematics, Iowa State University, Ames, IA 50011 [email protected], [email protected] Submitted: Feb 10, 2007; Accepted: Jan 4, 2008 Mathematics Subject Classification: 05C15, 05C55 Abstract For a fixed graph H on k vertices, and a graph G on at least k vertices, we write G −→ H if in any vertex-coloring of G with k colors, there is an induced subgraph isomorphic to H whose vertices have distinct colors. In other words, if G −→ H then a totally multicolored induced copy of H is unavoidable in any vertex-coloring of G with k colors. In this paper, we show that, with a few notable exceptions, for any graph H on k vertices and for any graph G which is not isomorphic to H, G 6−→ H. We explicitly describe all exceptional cases. This determines the induced vertex- anti-Ramsey number for all graphs and shows that totally multicolored induced subgraphs are, in most cases, easily avoidable. 1 Introduction Let G =(V, E) be a graph. Let c : V (G) → [k] be a vertex-coloring of G. We say that G is monochromatic under c if all vertices have the same color and we say that G is rainbow or totally multicolored under c if all vertices of G have distinct colors. The existence of a arXiv:1605.06172v1 [math.CO] 19 May 2016 graph forcing an induced monochromatic subgraph isomorphic to H is well known. The following bounds are due to Brown and R¨odl: Theorem 1 (Vertex-Induced Graph Ramsey Theorem [6]) For all graphs H, and all positive integers t there exists a graph Rt(H) such that if the vertices of Rt(H) are colored with t colors, then there is an induced subgraph of Rt(H) isomorphic to H which is monochromatic.
  • Distance Regular Graphs Simply Explained

    Distance Regular Graphs Simply Explained

    Distance Regular Graphs Simply Explained Alexander Coulter Paauwe April 20, 2007 Copyright c 2007 Alexander Coulter Paauwe. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled “GNU Free Documentation License”. Adjacency Algebra and Distance Regular Graphs: In this paper, we will discover some interesting properties of a particular kind of graph, called distance regular graphs, using algebraic graph theory. We will begin by developing some definitions that will allow us to explore the relationship between powers of the adjacency matrix of a graph and its eigenvalues, and ultimately give us particular insight into the eigenvalues of distance regular graphs. Basis for the Polynomial of an Adjacency Matrix We all know that for a given graph G, the powers of its adjacency matrix, A, have as their entries the number of n-walks between two vertices. More succinctly, we know that [An]i,j is the number of n-walks between the two vertices vi and vj. We also know that for a graph with diameter d, the first d powers of A are all linearly independent. Now, let us think of the set of all polynomials of the adjacency matrix, A, for a graph G. We can think of any member of the set as a linear combination of powers of A.
  • Constructing an Infinite Family of Cubic 1-Regular Graphs

    Constructing an Infinite Family of Cubic 1-Regular Graphs

    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Europ. J. Combinatorics (2002) 23, 559–565 doi:10.1006/eujc.2002.0589 Available online at http://www.idealibrary.com on Constructing an Infinite Family of Cubic 1-Regular Graphs YQAN- UAN FENG† AND JIN HO KWAK A graph is 1-regular if its automorphism group acts regularly on the set of its arcs. Miller [J. Comb. Theory, B, 10 (1971), 163–182] constructed an infinite family of cubic 1-regular graphs of order 2p, where p ≥ 13 is a prime congruent to 1 modulo 3. Marusiˇ cˇ and Xu [J. Graph Theory, 25 (1997), 133– 138] found a relation between cubic 1-regular graphs and tetravalent half-transitive graphs with girth 3 and Alspach et al.[J. Aust. Math. Soc. A, 56 (1994), 391–402] constructed infinitely many tetravalent half-transitive graphs with girth 3. Using these results, Miller’s construction can be generalized to an infinite family of cubic 1-regular graphs of order 2n, where n ≥ 13 is odd such that 3 divides ϕ(n), the Euler function of n. In this paper, we construct an infinite family of cubic 1-regular graphs with order 8(k2 + k + 1)(k ≥ 2) as cyclic-coverings of the three-dimensional Hypercube. c 2002 Elsevier Science Ltd. All rights reserved. 1. INTRODUCTION In this paper we consider an undirected finite connected graph without loops or multiple edges. For a graph G, we denote by V (G), E(G), A(G) and Aut(G) the vertex set, the edge set, the arc set and the automorphism group, respectively.
  • Maximizing the Order of a Regular Graph of Given Valency and Second Eigenvalue∗

    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.
  • Interval Edge-Colorings of Graphs

    Interval Edge-Colorings of Graphs

    University of Central Florida STARS Electronic Theses and Dissertations, 2004-2019 2016 Interval Edge-Colorings of Graphs Austin Foster University of Central Florida Part of the Mathematics Commons Find similar works at: https://stars.library.ucf.edu/etd University of Central Florida Libraries http://library.ucf.edu This Masters Thesis (Open Access) is brought to you for free and open access by STARS. It has been accepted for inclusion in Electronic Theses and Dissertations, 2004-2019 by an authorized administrator of STARS. For more information, please contact [email protected]. STARS Citation Foster, Austin, "Interval Edge-Colorings of Graphs" (2016). Electronic Theses and Dissertations, 2004-2019. 5133. https://stars.library.ucf.edu/etd/5133 INTERVAL EDGE-COLORINGS OF GRAPHS by AUSTIN JAMES FOSTER B.S. University of Central Florida, 2015 A thesis submitted in partial fulfilment of the requirements for the degree of Master of Science in the Department of Mathematics in the College of Sciences at the University of Central Florida Orlando, Florida Summer Term 2016 Major Professor: Zixia Song ABSTRACT A proper edge-coloring of a graph G by positive integers is called an interval edge-coloring if the colors assigned to the edges incident to any vertex in G are consecutive (i.e., those colors form an interval of integers). The notion of interval edge-colorings was first introduced by Asratian and Kamalian in 1987, motivated by the problem of finding compact school timetables. In 1992, Hansen described another scenario using interval edge-colorings to schedule parent-teacher con- ferences so that every person’s conferences occur in consecutive slots.
  • On the Metric Dimension of Imprimitive Distance-Regular Graphs

    On the Metric Dimension of Imprimitive Distance-Regular Graphs

    On the metric dimension of imprimitive distance-regular graphs Robert F. Bailey Abstract. A resolving set for a graph Γ is a collection of vertices S, cho- sen so that for each vertex v, the list of distances from v to the members of S uniquely specifies v. The metric dimension of Γ is the smallest size of a resolving set for Γ. Much attention has been paid to the metric di- mension of distance-regular graphs. Work of Babai from the early 1980s yields general bounds on the metric dimension of primitive distance- regular graphs in terms of their parameters. We show how the metric dimension of an imprimitive distance-regular graph can be related to that of its halved and folded graphs, but also consider infinite families (including Taylor graphs and the incidence graphs of certain symmetric designs) where more precise results are possible. Mathematics Subject Classification (2010). Primary 05E30; Secondary 05C12. Keywords. Metric dimension; resolving set; distance-regular graph; imprimitive; halved graph; folded graph; bipartite double; Taylor graph; incidence graph. 1. Introduction Let Γ = (V; E) be a finite, undirected graph without loops or multiple edges. For u; v 2 V , the distance from u to v is the least number of edges in a path from u to v, and is denoted dΓ(u; v) (or simply d(u; v) if Γ is clear from the context). A resolving set for a graph Γ = (V; E) is a set of vertices R = fv1; : : : ; vkg such that for each vertex w 2 V , the list of distances (d(w; v1);:::; d(w; vk)) uniquely determines w.
  • Perfect Domination in Book Graph and Stacked Book Graph

    Perfect Domination in Book Graph and Stacked Book Graph

    International Journal of Mathematics Trends and Technology (IJMTT) – Volume 56 Issue 7 – April 2018 Perfect Domination in Book Graph and Stacked Book Graph Kavitha B N#1, Indrani Pramod Kelkar#2, Rajanna K R#3 #1Assistant Professor, Department of Mathematics, Sri Venkateshwara College of Engineering, Bangalore, India *2 Professor, Department of Mathematics, Acharya Institute of Technology, Bangalore, India #3 Professor, Department of Mathematics, Acharya Institute of Technology, Bangalore, India Abstract: In this paper we prove that the perfect domination number of book graph and stacked book graph are same as the domination number as the dominating set satisfies the condition for perfect domination. Keywords: Domination, Cartesian product graph, Perfect Domination, Book Graph, Stacked Book Graph. I. INTRODUCTION By a graph G = (V, E) we mean a finite, undirected graph with neither loops nor multiple edges. The order and size of G are denoted by p and q respectively. For graph theoretic terminology we refer to Chartrand and Lesnaik[3]. Graphs have various special patterns like path, cycle, star, complete graph, bipartite graph, complete bipartite graph, regular graph, strongly regular graph etc. For the definitions of all such graphs we refer to Harry [7]. The study of Cross product of graph was initiated by Imrich [12]. For structure and recognition of Cross Product of graph we refer to Imrich [11]. In literature, the concept of domination in graphs was introduced by Claude Berge in 1958 and Oystein Ore in [1962] by [14]. For review of domination and its related parameters we refer to Acharya et.al. [1979] and Haynes et.al.
  • Strongly Regular Graphs

    Strongly Regular Graphs

    Chapter 4 Strongly Regular Graphs 4.1 Parameters and Properties Recall that a (simple, undirected) graph is regular if all of its vertices have the same degree. This is a strong property for a graph to have, and it can be recognized easily from the adjacency matrix, since it means that all row sums are equal, and that1 is an eigenvector. If a graphG of ordern is regular of degreek, it means that kn must be even, since this is twice the number of edges inG. Ifk�n− 1 and kn is even, then there does exist a graph of ordern that is regular of degreek (showing that this is true is an exercise worth thinking about). Regularity is a strong property for a graph to have, and it implies a kind of symmetry, but there are examples of regular graphs that are not particularly “symmetric”, such as the disjoint union of two cycles of different lengths, or the connected example below. Various properties of graphs that are stronger than regularity can be considered, one of the most interesting of which is strong regularity. Definition 4.1.1. A graphG of ordern is called strongly regular with parameters(n,k,λ,µ) if every vertex ofG has degreek; • ifu andv are adjacent vertices ofG, then the number of common neighbours ofu andv isλ (every • edge belongs toλ triangles); ifu andv are non-adjacent vertices ofG, then the number of common neighbours ofu andv isµ; • 1 k<n−1 (so the complete graph and the null graph ofn vertices are not considered to be • � strongly regular).
  • Uniform Factorizations of Graphs

    Uniform Factorizations of Graphs

    Western Michigan University ScholarWorks at WMU Dissertations Graduate College 12-1979 Uniform Factorizations of Graphs David Burns Western Michigan University Follow this and additional works at: https://scholarworks.wmich.edu/dissertations Part of the Mathematics Commons Recommended Citation Burns, David, "Uniform Factorizations of Graphs" (1979). Dissertations. 2682. https://scholarworks.wmich.edu/dissertations/2682 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]. UNIFORM FACTORIZATIONS OF GRAPHS by David Burns A Dissertation Submitted to the Faculty of The Graduate College in partial fulfillment of the Degree of Doctor of Philosophy Western Michigan University Kalamazoo, Michigan December 197 9 Reproduced with permission of the copyright owner. Further reproduction prohibited without permission. ACKNOWLEDGEMENT S I wish to thank Professor Shashichand Kapoor, my advisor, for his guidance and encouragement during the writing of this dissertation. I would also like to thank my other working partners Professor Phillip A. Ostrand of the University of California at Santa Barbara and Professor Seymour Schuster of Carleton College for their many contributions to this study. I am also grateful to Professors Yousef Alavi, Gary Chartrand, and Dionsysios Kountanis of Western Michigan University for their careful reading of the manuscript and to Margaret Johnson for her expert typing. David Burns Reproduced with permission of the copyright owner. Further reproduction prohibited without permission. INFORMATION TO USERS This was produced from a copy of a document sent to us for microfilming.
  • Distances, Diameter, Girth, and Odd Girth in Generalized Johnson Graphs

    Distances, Diameter, Girth, and Odd Girth in Generalized Johnson Graphs

    Distances, Diameter, Girth, and Odd Girth in Generalized Johnson Graphs Ari J. Herman Dept. of Mathematics & Statistics Portland State University, Portland, OR, USA Mathematical Literature and Problems project in partial fulfillment of requirements for the Masters of Science in Mathematics Under the direction of Dr. John Caughman with second reader Dr. Derek Garton Abstract Let v > k > i be non-negative integers. The generalized Johnson graph, J(v; k; i), is the graph whose vertices are the k-subsets of a v-set, where vertices A and B are adjacent whenever jA \ Bj = i. In this project, we present the results of the paper \On the girth and diameter of generalized Johnson graphs," by Agong, Amarra, Caughman, Herman, and Terada [1], along with a number of related additional results. In particular, we derive general formulas for the girth, diameter, and odd girth of J(v; k; i). Furthermore, we provide a formula for the distance between any two vertices A and B in terms of the cardinality of their intersection. We close with a number of possible future directions. 2 1. Introduction In this project, we present the results of the paper \On the girth and diameter of generalized Johnson graphs," by Agong, Amarra, Caughman, Herman, and Terada [1], along with a number of related additional results. Let v > k > i be non-negative integers. The generalized Johnson graph, X = J(v; k; i), is the graph whose vertices are the k-subsets of a v-set, with adjacency defined by A ∼ B , jA \ Bj = i: (1) Generalized Johnson graphs were introduced by Chen and Lih in [4].
  • ISOMETRIC SUBGRAPHS of HAMMING GRAPHS and D-CONVEXITY

    ISOMETRIC SUBGRAPHS of HAMMING GRAPHS and D-CONVEXITY

    4. K.V. Rudakov, "Completeness and universal constraints in the problem of correction of heuristic classification algorithms," Kibernetika, No, 3, 106-109 (1987). 5. K.V. Rudakov, "Symmetry and function constraints in the problem of correction of heur- istic classification algorithms," Kibernetika, No. 4, 74-77 (1987). 6. K.V. Rudakov, On Some Classes of Recognition Algorithms (General Results) [in Russian], VTs AN SSSR, Moscow (1980). ISOMETRIC SUBGRAPHS OF HAMMING GRAPHS AND d-CONVEXITY V. D. Chepoi UDC 519.176 In this study, we provide criteria of isometric embeddability of graphs in Hamming graphs. We consider ordinary connected graphs with a finite vertex set endowed with the natural metric d(x, y), equal to the number of edges in the shortest chain between the ver- tices x and y. Let al,...,a n be natural numbers. The Hamming graph Hal...a n is the graph with the ver- tex set X = {x = (x l..... xn):l~xi~a~, ~ = l,...n} in which two vertices are joined by an edge if and only if the corresponding vectors differ precisely in one coordinate [i, 2]. In other words, the graph Hal...a n is the Cartesian product of the graphs Hal,...,Han, where Hal is the ai-vertex complete graph. It is easy to show that in the Hamming graph the distance d(x, y) between the vertices x, y is equal to the number of different pairs of coordinates in the tuples corresponding to these vertices, i.e., it is equal to the Hamming distance between these tuples. It is also easy to show that the graph of the n-dimensional cube Qn may be treated as the Hamming graph H2..
  • Towards a Classification of Distance-Transitive Graphs

    Towards a Classification of Distance-Transitive Graphs

    数理解析研究所講究録 1063 巻 1998 年 72-83 72 Towards a classification of distance-transitive graphs John van Bon Abstract We outline the programme of classifying all finite distance-transitive graphs. We men- tion the most important classification results obtained so far and give special attention to the so called affine graphs. 1. Introduction The graphs in this paper will be always assumed to be finite, connected, undirected and without loops or multiple edges. The edge set of a graph can thus be identified with a subset of the set of unoidered pairs of vertices. Let $\Gamma=(V\Gamma, E\Gamma)$ be a graph and $x,$ $y\in V\Gamma$ . With $d(x, y)$ we will denote the usual distance $\Gamma$ in between the vertices $x$ and $y$ (i.e., the length of the shortest path connecting $x$ and $y$ ) and with $d$ we will denote the diameter of $\Gamma$ , the maximum of all possible values of $d(x, y)$ . Let $\Gamma_{i}(x)=\{y|y\in V\Gamma, d(x, y)=i\}$ be the set of all vertices at distance $i$ of $x$ . An $aut_{omo}rph7,sm$ of a graph is a permutation of the vertex set that maps edges to edges. Let $G$ be a group acting on a graph $\Gamma$ (i.e. we are given a morphism $Garrow Aut(\Gamma)$ ). For a $x\in V\Gamma$ $x^{g}$ vertex and $g\in G$ the image of $x$ under $g$ will be denoted by . The set $\{g\in G|x^{g}=x\}$ is a subgroup of $G$ , called that stabilizer in $G$ of $x$ and will be denoted by $G_{x}$ .