Families of Graphs with Maximum Nullity Equal to Zero Forcing Number

Total Page:16

File Type:pdf, Size:1020Kb

Families of Graphs with Maximum Nullity Equal to Zero Forcing Number Mathematics Publications Mathematics 2-2-2018 Families of graphs with maximum nullity equal to zero forcing number Joseph S. Alameda Iowa State University, [email protected] Emelie Curl Iowa State University, [email protected] Armando Grez Iowa State University, [email protected] Leslie Hogben Iowa State University, [email protected] O'Neill Kingston Iowa State University, [email protected] See next page for additional authors Follow this and additional works at: https://lib.dr.iastate.edu/math_pubs Part of the Algebra Commons, and the Discrete Mathematics and Combinatorics Commons The complete bibliographic information for this item can be found at https://lib.dr.iastate.edu/ math_pubs/172. For information on how to cite this item, please visit http://lib.dr.iastate.edu/ howtocite.html. This Article is brought to you for free and open access by the Mathematics at Iowa State University Digital Repository. It has been accepted for inclusion in Mathematics Publications by an authorized administrator of Iowa State University Digital Repository. For more information, please contact [email protected]. Families of graphs with maximum nullity equal to zero forcing number Abstract The maximum nullity of a simple graph G, denoted M(G), is the largest possible nullity over all symmetric real matrices whose ijth entry is nonzero exactly when fi, jg is an edge in G for i =6 j, and the iith entry is any real number. The zero forcing number of a simple graph G, denoted Z(G), is the minimum number of blue vertices needed to force all vertices of the graph blue by applying the color change rule. This research is motivated by the longstanding question of characterizing graphs G for which M(G) = Z(G). The following conjecture was proposed at the 2017 AIM workshop Zero forcing and its applications: If G is a bipartite 3- semiregular graph, then M(G) = Z(G). A counterexample was found by J. C.-H. Lin but questions remained as to which bipartite 3-semiregular graphs have M(G) = Z(G). We use various tools to find bipartite families of graphs with regularity properties for which the maximum nullity is equal to the zero forcing number; most are bipartite 3-semiregular. In particular, we use the techniques of twinning and vertex sums to form new families of graphs for which M(G) = Z(G) and we additionally establish M(G) = Z(G) for certain Generalized Petersen graphs. Keywords zero forcing number, maximum nullity, semiregular bipartite graph, Generalized Petersen graph Disciplines Algebra | Discrete Mathematics and Combinatorics | Mathematics Comments This article is published as Alameda, Joseph S., Emelie Curl, Armando Grez, Leslie Hogben, Alex Schulte, Derek Young, and Michael Young. "Families of graphs with maximum nullity equal to zero forcing number." Special Matrices 6, no. 1 (2018): 56-67. DOI: 10.1515/spma-2018-0006. Posted with permission. Creative Commons License This work is licensed under a Creative Commons Attribution-NonCommercial-No Derivative Works 4.0 International License. Authors Joseph S. Alameda, Emelie Curl, Armando Grez, Leslie Hogben, O'Neill Kingston, Alex Schulte, Derek Young, and Michael Young This article is available at Iowa State University Digital Repository: https://lib.dr.iastate.edu/math_pubs/172 Spec. Matrices 2018; 6:56–67 Research Article Open Access Special Issue on Linear Algebra and its Applications (ICLAA2017) Joseph S. Alameda, Emelie Curl, Armando Grez, Leslie Hogben, O’Neill Kingston, Alex Schulte, Derek Young*, and Michael Young Families of graphs with maximum nullity equal to zero forcing number https://doi.org/10.1515/spma-2018-0006 Received September 27, 2017; accepted January 19, 2018 Abstract: The maximum nullity of a simple graph G, denoted M(G), is the largest possible nullity over all symmetric real matrices whose ijth entry is nonzero exactly when fi, jg is an edge in G for i ≠ j, and the iith entry is any real number. The zero forcing number of a simple graph G, denoted Z(G), is the minimum number of blue vertices needed to force all vertices of the graph blue by applying the color change rule. This research is motivated by the longstanding question of characterizing graphs G for which M(G) = Z(G). The following conjecture was proposed at the 2017 AIM workshop Zero forcing and its applications: If G is a bipartite 3- semiregular graph, then M(G) = Z(G). A counterexample was found by J. C.-H. Lin but questions remained as to which bipartite 3-semiregular graphs have M(G) = Z(G). We use various tools to nd bipartite families of graphs with regularity properties for which the maximum nullity is equal to the zero forcing number; most are bipartite 3-semiregular. In particular, we use the techniques of twinning and vertex sums to form new families of graphs for which M(G) = Z(G) and we additionally establish M(G) = Z(G) for certain Generalized Petersen graphs. Keywords: zero forcing number; maximum nullity; semiregular bipartite graph; Generalized Petersen graph MSC: 05C50, 15A03, 15A18 1 Introduction Let V be a nite nonempty set. A graph G = (V, E) is a pair of sets such that E is a set of two element subsets of V. The elements of V are called vertices and the elements of E are called edges. The vertex set of a graph G is often denoted by V(G) and the edge set by E(G). The order of G is the cardinality of V(G) and the size of G is the cardinality of E(G). An edge fu, vg is usually written as uv. Vertices u and v are adjacent in G if uv 2 E(G). A vertex u is a neighbor of v if uv 2 E(G). The neighborhood of v, denoted by N(v), is the set of neighbors of v. The adjacency matrix of G is A(G) = [aij] where aij = 1 if ij 2 E(G) and aij = 0 otherwise. For a graph G, the set of symmetric matrices of G over R, denoted by S(G), is the set of real symmetric matrices A = [aij] such that aij is non-zero if ij 2 E(G), aij is any real number if i = j, and aij is 0 otherwise. The minimum rank of G is Joseph S. Alameda: Department of Mathematics, Iowa State University, Ames, IA 50011, USA, E-mail: [email protected] Emelie Curl: Department of Mathematics, Iowa State University, Ames, IA 50011, USA, E-mail: [email protected] Armando Grez: Department of Mathematics, Iowa State University, Ames, IA 50011, USA, E-mail: [email protected] Leslie Hogben: Department of Mathematics, Iowa State University, Ames, IA 50011, USA, E-mail: [email protected], and American Institute of Mathematics, 600 E. Brokaw Road, San Jose, CA 95112, USA, E-mail: [email protected] O’Neill Kingston: Department of Mathematics, Iowa State University, Ames, IA 50011, USA, E-mail: [email protected] Alex Schulte: Department of Mathematics, Iowa State University, Ames, IA 50011, USA, E-mail: [email protected] *Corresponding Author: Derek Young: Department of Mathematics, Iowa State University, Ames, IA 50011, USA, E-mail: [email protected] Michael Young: Department of Mathematics, Iowa State University, Ames, IA 50011, USA, E-mail: [email protected] Open Access. © 2018 Joseph S. Alameda et al., published by De Gruyter Open. This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivs 4.0 License. Brought to you by | Iowa State University Authenticated Download Date | 4/9/18 7:06 PM Families of graphs with maximum nullity equal to zero forcing number Ë 57 mr(G) = minfrank(A) | A 2 S(G)g. The maximum nullity of G is dened as M(G) = maxfnull(A) | A 2 S(G)g. Observe that mr(G) + M(G) = jV(G)j where j · j denotes cardinality. In order to introduce zero forcing we will dene the color change rule as follows: Suppose a graph G has every vertex colored either blue or white, and b is a blue vertex. If b has exactly one white neighbor, w, then we change the color of w to blue. We say that b forces w, and this can be denoted by b ! w. Let S ⊆ V(G). The nal coloring of S is the result of initially coloring every vertex in S blue and every vertex in V(G)\S white, and then applying the color-change rule until no more color changes can be made. Note that the order in which forces occur does not aect the nal coloring of G. The set S is called a zero forcing set if the nal coloring of S is all blue. The zero forcing number of a graph G is Z(G) = minfjSj | S is a zero forcing set of Gg. It is well known from [1] that M(G) ≤ Z(G). This paper addresses the longstanding question of determining graphs G for which M(G) = Z(G) (see [1, Question 1]). The degree of v, deg(v), is the number of edges incident to v. Note that deg(v) = jN(v)j. A vertex with degree equal to 1 is called a leaf. The minimum degree of G is δ(G) = minfdeg(v) | v 2 V(G)g and the maximum degree of G is ∆(G) = maxfdeg(v) | v 2 V(G)g. A graph G is regular if ∆(G) = δ(G). We call G cubic if ∆(G) = 3 = δ(G). A graph G is bipartite if V(G) can be partitioned into two sets X and Y such that N(x) ⊆ Y and N(y) ⊆ X for x 2 X and y 2 Y; the partition of vertices can be denoted by G(X, Y).
Recommended publications
  • Minimum Rank, Maximum Nullity, and Zero Forcing of Graphs
    Minimum Rank, Maximum Nullity, and Zero Forcing of Graphs Wayne Barrett (Brigham Young University), Steve Butler (Iowa State University), Minerva Catral (Xavier University), Shaun Fallat (University of Regina), H. Tracy Hall (Brigham Young University), Leslie Hogben (Iowa State University), Pauline van den Driessche (University of Victoria), Michael Young (Iowa State University) June 16-23, 2013 1 Mathematical Background Combinatorial matrix theory, which involves connections between linear algebra, graph theory, and combi- natorics, is a vital area and dynamic area of research, with applications to fields such as biology, chemistry, economics, and computer engineering. One area generating considerable interest recently is the study of the minimum rank of matrices associated with graphs. Let F be any field. For a graph G = (V; E), which has vertex set V = f1; : : : ; ng and edge set E, S(F; G) is the set of all symmetric n×n matrices A with entries from F such that for any non-diagonal entry aij in A, aij 6= 0 if and only if ij 2 E. The minimum rank of G is mr(F; G) = minfrank(A): A 2 S(F; G)g; and the maximum nullity of G is M(F; G) = maxfnull(A): A 2 S(F; G)g: Note that mr(F; G)+M(F; G) = jGj, where jGj is the number of vertices in G. Thus the problem of finding the minimum rank of a given graph is equivalent to the problem of determining its maximum nullity. The zero forcing number of a graph is the minimum number of blue vertices initially needed to force all the vertices in the graph blue according to the color-change rule.
    [Show full text]
  • On the Nullity Number of Graphs
    Electronic Journal of Graph Theory and Applications 5 (2) (2017), 335–346 On the nullity number of graphs Mustapha Aouchiche, Pierre Hansen GERAD and HEC Montreal,´ Montreal, Canada [email protected], [email protected] Abstract The paper discusses bounds on the nullity number of graphs. It is proved in [B. Cheng and B. Liu, On the nullity of graphs. Electron. J. Linear Algebra 16 (2007) 60–67] that η ≤ n − D, where η, n and D denote the nullity number, the order and the diameter of a connected graph, respectively. We first give a necessary condition on the extremal graphs corresponding to that bound, and then we strengthen the bound itself using the maximum clique number. In addition, we prove bounds on the nullity using the number of pendant neighbors in a graph. One of those bounds is an improvement of a known bound involving the domination number. Keywords: adjacency matrix, nullity number, diameter, matching number, pendant neighbor, domination number Mathematics Subject Classification: 05C35, 05C50 DOI: 10.5614/ejgta.2017.5.2.14 1. Introduction In the present paper, we consider only finite, undirected and simple graphs, i.e., graphs without loops or multiple edges. A graph is denoted by G = (V; E), where V is its vertex set and E its edge set. The order n of G is the number of its vertices, i.e., n = jV j. The size m of G is the number of its edges, i.e., m = jEj. If W is a subset of the vertex set of G, we denote by G[W ] the graph with vertex set W and edge set composed of the edges of G whose end-vertices belong to W .
    [Show full text]
  • Nullspace Vertex Partition in Graphs
    Nullspace Vertex Partition in Graphs Irene Sciriha ∗ Xandru Mifsudy James Borgz§ May 12, 2020 Keywords Nullspace, core vertices, core–labelling, graph perturbations. Mathematics Classification 202105C50, 15A18 Abstract The core vertex set of a graph is an invariant of the graph. It consists of those ver- tices associated with the non-zero entries of the nullspace vectors of a f0, 1g-adjacency matrix. The remaining vertices of the graph form the core–forbidden vertex set. For graphs with independent core vertices, such as bipartite minimal configurations and trees, the nullspace induces a well defined three part vertex partition. The parts of this partition are the core vertex set, their neighbours and the remote core–forbidden vertices. The set of the remote core–forbidden vertices are those not adjacent to any core vertex. We show that this set can be removed, leaving the nullity unchanged. For graphs with independent core vertices, we show that the submatrix of the adjacency matrix defining the edges incident to the core vertices determines the nullity of the adjacency matrix. For the efficient allocation of edges in a network graph without al- tering the nullity of its adjacency matrix, we determine which perturbations make up sufficient conditions for the core vertex set of the adjacency matrix of a graph to be preserved in the process. 1 Introduction A graph G = (V, E) has a finite vertex set V = fv1, v2,..., vng with vertex labelling [n] := f1, 2, ..., ng and an edge set E of 2-element subsets of V. The graphs we consider are simple, that is without loops or multiple edges.
    [Show full text]
  • Graphs and Matrices
    Universitext For other titles published in this series, go to www.springer.com/series/223 R.B. Bapat Graphs and Matrices ABC R.B. Bapat Indian Statistical Institute New Delhi 110016 India [email protected] Editorial board: Sheldon Axler, San Francisco State University Vincenzo Capasso, Università degli Studi di Milano Carles Casacuberta, Universitat de Barcelona Angus MacIntyre, Queen Mary, University of London Kenneth Ribet, University of California, Berkeley Claude Sabbah, CNRS, École Polytechnique Endre Süli, University of Oxford Wojbor Woyczynski,´ Case Western Reserve University A co-publication with the Hindustan Book Agency, New Delhi, licensed for sale in all countries outside of India. Sold and distributed within India by the Hindustan Book Agency, P 19 Green Park Extn., New Delhi 110 016, India ISBN 978-1-84882-980-0 e-ISBN 978-1-84882-981-7 DOI 10.1007/978-1-84882-981-7 Springer London Dordrecht Heidelberg New York British Library Cataloguing in Publication Data A catalogue record for this book is available from the British Library Library of Congress Control Number: 2010927407 Mathematics Subject Classification (2010): 05C05, 05C12, 05C20, 05C38, 05C50, 05C57, 05C81, 15A09, 15A15, 15A18, 15B48 °c Hindustan Book Agency (India) Apart from any fair dealing for the purposes of research or private study, or criticism or review, as permitted under the Copyright, Designs and Patents Act 1988, this publication may only be repro- duced, stored or transmitted, in any form or by any means, with the prior permission in writing of the publishers, or in the case of reprographic reproduction in accordance with the terms of licenses issued by the Copyright Licensing Agency.
    [Show full text]
  • Families of Graphs with Maximum Nullity Equal to Zero-Forcing Number
    Families of graphs with maximum nullity equal to zero-forcing number Joseph S. Alameda∗ Emelie Curl∗ Armando Grez∗ Leslie Hogben∗y O'Neill Kingston∗ Alex Schulte∗ Derek Young∗ Michael Young∗ September 26, 2017 Abstract The maximum nullity of a simple graph G, denoted M(G), is the largest possible nullity over all symmetric real matrices whose ijth entry is nonzero exactly when fi; jg is an edge in G for i 6= j, and the iith entry is any real number. The zero- forcing number of a simple graph G, denoted Z(G), is the minimum number of blue vertices needed to force all vertices of the graph blue by applying the color change rule. This research is motivated by the longstanding question of characterizing graphs G for which M(G) = Z(G). The following conjecture was proposed at the 2017 AIM workshop Zero forcing and its applications: If G is a bipartite 3-semiregular graph, then M(G) = Z(G). A counterexample was found by J. C.-H. Lin but questions remained as to which bipartite 3-semiregular graphs have M(G) = Z(G). We use various tools to find bipartite families of graphs with regularity properties for which the maximum nullity is equal to the zero-forcing number; most are bipartite 3-semiregular. In particular, we use the techniques of twinning and vertex sums to form new families of graphs for which M(G) = Z(G) and we additionally establish M(G) = Z(G) for certain Generalized Petersen graphs. AMS subject classification 05C50, 15A03, 15A18 Keywords zero-forcing number; maximum nullity; semiregular bipartite graph; Generalized Petersen graph.
    [Show full text]
  • Minimum Rank, Maximum Nullity, and Zero Forcing Number of Graphs Shaun M
    Masthead Logo Mathematics Publications Mathematics 2014 Minimum Rank, Maximum Nullity, and Zero Forcing Number of Graphs Shaun M. Fallat University of Regina Leslie Hogben Iowa State University and American Institute of Mathematics, [email protected] Follow this and additional works at: https://lib.dr.iastate.edu/math_pubs Part of the Algebra Commons, Applied Mathematics Commons, and the Discrete Mathematics and Combinatorics Commons The ompc lete bibliographic information for this item can be found at https://lib.dr.iastate.edu/ math_pubs/212. For information on how to cite this item, please visit http://lib.dr.iastate.edu/ howtocite.html. This Book Chapter is brought to you for free and open access by the Mathematics at Iowa State University Digital Repository. It has been accepted for inclusion in Mathematics Publications by an authorized administrator of Iowa State University Digital Repository. For more information, please contact [email protected]. Minimum Rank, Maximum Nullity, and Zero Forcing Number of Graphs Abstract This chapter represents an overview of research related to a notion of the “rank of a graph" and the dual concept known as the “nullity of a graph," from the point of view of associating a fixed collection of symmetric or Hermitian matrices to a given graph. This topic and related questions have enjoyed a fairly large history within discrete mathematics, and have become very popular among linear algebraists recently, partly based on its connection to certain inverse eigenvalue problems, but also because of the many interesting applications (e.g., to communication complexity in computer science and to control of quantum systems in mathematical physics) and implications to several facets of graph theory.
    [Show full text]
  • Nullity of Expanded Smith Graphs
    International Journal of Scientific & Engineering Research, Volume 7, Issue 11, November-2016 ISSN 2229-5518 1815 Nullity of Expanded Smith graphs Usha Sharma1 and Renu Naresh2 Department of Mathematics and Statistics, Banasthali University, Banasthali Rajasthan 1: [email protected], 2: [email protected] Abstract A smith graph is a graph whose at least one eigenvalue is 2. There are 6 types of smith graph Cn(n ≥ 3);Wn(n ≥ 6);S5 = K1;4;H7;H8 and H9. In this paper we have discussed the nullity of expanded smith graphs (Wn(n ≥ 6);S5 = K1;4;H7;H8 and H9). We have also evaluated the nullity of graph is applicable for the isomorphic molecules of unsaturated conjugate hydrocarbons. keywords: smith graphs; nullity; sequential joins; expanded graphs. 1 Introduction In mathematics and computer science, graph theory is the study of graphs, mathematical relationships between objects are used to model pairwise. A graph consists of nodes which are connected byIJSER arcs. Algebraic graph theory is the extension of the graph theory whose methods are applicable to many problems about graphs. There are three main branches of algebraic graph theory. The first branch of algebraic graph theory studies the spectrum of the adjacency or laplacian matrix of a graph. It is known as the spectral graph theory. Spectral graph theory is the study of properties of graphs in relationship to the characteristic polynomials, eigenvalues and eigenvectors of matrices associated with graphs. In a theory of graph spectra, some special types of graphs and their characteristics are studied in detail. The second branch of algebraic graph theory, especially with regard to automorphism groups and geometric group theory includes the study of graphs.
    [Show full text]
  • Arxiv:1808.03411V2 [Cs.DS] 20 Nov 2018 Mle Hti Ssnua.A Singular
    Linear time algorithm to check the singularity of block graphs ⋆ Ranveer Singh1, Naomi Shaked-Monderer2, and Abraham Berman3 1 Technion-Israel Institute of Technology, Haifa 32000, Israel [email protected], 2 The Max Stern Yezreel Valley College, Yezreel Valley 19300, Israel [email protected], 3 Technion-Israel Institute of Technology, Haifa 32000, Israel [email protected] Abstract. A block graph is a graph in which every block is a complete graph. Let G be a block graph and let A(G) be its (0,1)-adjacency matrix. Graph G is called nonsingular (singular) if A(G) is nonsingular (singular). Characterizing nonsingular block graphs is an interesting open problem proposed by Bapat and Roy in 2013. In this article, we give a linear time algorithm to check whether a given block graph is singular or not. Keywords: block, block graph, nonsingular graph, nullity AMS Subject Classifications. 15A15, 05C05. 1 Introduction Let G = (V (G), E(G)) be a undirected graph with vertex set V (G) and edge set E(G). Let the cardinality |V (G)| (also called the order of G) be equal to n. The adjacency matrix A(G) = (aij ) of G is the square matrix of order n defined by 1 if the vertices i, j are connected by an edge, aij = (0 if i = j or i, j are not connected by an edge, where 1 ≤ i, j ≤ n. A graph G is called nonsingular (singular) if A(G) is nonsingular (singular), that is, the determinant of A(G) is nonzero (zero). The rank of G, denoted by r(G), is the rank of the adjacency matrix A(G).
    [Show full text]
  • Ivan Gutman and Bojana Borovicanin NULLITY of GRAPHS: AN
    Ivan Gutman and Bojana Borovi´canin NULLITY OF GRAPHS: AN UPDATED SURVEY Abstract. The nullity η = η(G) of a graph G is the multiplicity of the number zero in the spectrum of G . The chemical importance of this graph-spectrum based invariant lies in the fact, that within the H¨uckel molecular orbital model, if η(G) > 0 for the molecular graph G , then the corresponding chemical compound is highly reactive and unstable, or nonexistent. This chapter in an updated version of the an earlier survey [B. Borovi´canin, I. Gutman, Nullity of graphs,in: D. Cvetkovi´c, I. Gutman, Eds. Applications of Graph Spectra,Math. Inst., Belgrade, 2009, pp. 107–122] and outlines both the chemically relevant aspects of η (most of which were obtained in the 1970s and 1980s) and the general mathematical results on η obtained recently. Mathematics Subject Classification (2010): 05C50; 05C90; 92E10 Keywords: nullity (of graph); zero eigenvalue (of graph); spectrum (of graph); chemistry Contents 1. Graph nullity and its chemical applications 138 2. Elementary properties of nullity 140 3. Relations between nullity and graph structure 142 4. Graphs with maximum nullity 145 References 152 1. Graph nullity and its chemical applications This chapter is an updated, extended, and modified version of the survey [3] that was a part of the booklet “Applications of Graph Spectra”. Since the completion of [3], a number of relevant results came to the authors’ attention, that now are appropriately taken care of. Let G be a graph of order n, having vertex set V (G)andedgesetE(G). Let A(G) be the adjacency matrix of G.
    [Show full text]
  • Techniques for Determining Equality of the Maximum Nullity and the Zero Forcing Number of a Graph Derek Dwight Young Iowa State University
    Iowa State University Capstones, Theses and Graduate Theses and Dissertations Dissertations 2019 Techniques for determining equality of the maximum nullity and the zero forcing number of a graph Derek Dwight Young Iowa State University Follow this and additional works at: https://lib.dr.iastate.edu/etd Part of the Mathematics Commons Recommended Citation Young, Derek Dwight, "Techniques for determining equality of the maximum nullity and the zero forcing number of a graph" (2019). Graduate Theses and Dissertations. 17128. https://lib.dr.iastate.edu/etd/17128 This Dissertation is brought to you for free and open access by the Iowa State University Capstones, Theses and Dissertations at Iowa State University Digital Repository. It has been accepted for inclusion in Graduate Theses and Dissertations by an authorized administrator of Iowa State University Digital Repository. For more information, please contact [email protected]. Techniques for determining equality of the maximum nullity and the zero forcing number of a graph by Derek Young A dissertation submitted to the graduate faculty in partial fulfillment of the requirements for the degree of DOCTOR OF PHILOSOPHY Major: Mathematics Program of Study Committee: Leslie Hogben, Major Professor Bernard Lidick´y Jennifer Newman James Rossmanith Sung-Yell Song The student author, whose presentation of the scholarship herein was approved by the program of study committee, is solely responsible for the content of this dissertation. The Graduate College will ensure this dissertation is globally accessible and will not permit alterations after a degree is conferred. Iowa State University Ames, Iowa 2019 Copyright © Derek Young, 2019. All rights reserved. ii DEDICATION I would like to dedicate this dissertation to my wife Chassidy and to my son Weston.
    [Show full text]
  • On the Nullity of Graphs∗
    Electronic Journal of Linear Algebra ISSN 1081-3810 A publication of the International Linear Algebra Society Volume 16, pp. 60-67, January 2007 ELA ON THE NULLITY OF GRAPHS∗ BO CHENGy AND BOLIAN LIUz Abstract. The nullity of a graph G, denoted by η(G), is the multiplicity of the eigenvalue zero in its spectrum. It is known that η(G) ≤ n − 2 if G is a simple graph on n vertices and G is not isomorphic to nK1. In this paper, we characterize the extremal graphs attaining the upper bound n − 2 and the second upper bound n − 3. The maximum nullity of simple graphs with n vertices and e edges, M(n; e), is also discussed. We obtain an upper bound of M(n; e), and characterize n and e for which the upper bound is achieved. Key words. Graph eigenvalue, Nullity, Clique, Girth, Diameter. AMS subject classifications. 05C50. 1. Introduction. Let G be a simple graph. The vertex set of G is referred to as V (G), the edge set of G as E(G). If W is a nonempty subset of V (G), then the subgraph of G obtained by taking the vertices in W and joining those pairs of vertices in W which are joined in G is called the subgraph of G induced by W and is denoted by G[W ]. We write G v ; : : : ; vk for the graph obtained from G by removing the − f 1 g vertices v1; : : : ; vk and all edges incident to them. We define the union of G1 and G2, denoted by G1 G2, to be the graph with vertex-set V (G ) V (G ) and edge-set E(G ) E(G ).
    [Show full text]
  • Lecture 17 1 Overview 2 Spectral Graph Theory
    COMPSCI 638: Graph Algorithms October 23, 2019 Lecture 17 Lecturer: Debmalya Panigrahi Scribe: Kevin Sun 1 Overview In this lecture, we look at the fundamental concepts of spectral graph theory. 2 Spectral Graph Theory The basic premise of spectral graph theory is that we can study graphs by considering their matrix representations. Thus, we begin by briefly reviewing the basic properties of real square matrices, which is sufficient for our purposes. 2.1 Linear Algebra Review Let A be an n × n matrix over the reals; we often write A 2 Rn×n. The column space is the set of all linear combinations of the columns of A; its dimension is known as the rank of A. The null space of A is the vectors x such that Ax = 0, and its dimension is known as the nullity of A. The rank-nullity theorem tells us that the sum of the rank and nullity of A is equal to n. The determinant of A is defined as follows: n det(A) = ∑ sgn(s) ∏ Ai,s(i) s:[n]![n] i=1 where [n] = f1, 2, ... , ng, sgn(s) denotes the sign of the permutation s (1 if s has an even number of inversions and -1 otherwise), and Ai,j denotes the (i, j)-th element of A. A non-zero vector x is an eigenvector of A associated with eigenvalue l if Ax = lx. Note that if x is an eigenvector of A, then so is any scaled version of x, so we often assume x has unit length.
    [Show full text]