On the nullity number of graphs

Similar documents
Linear Algebra and its Applications

Nullity of Hermitian-Adjacency Matrices of Mixed Graphs

A Sharp Upper Bound on Algebraic Connectivity Using Domination Number

A Survey on Comparing Zagreb Indices

Two Mathematical Papers Relevant for the Hückel Molecular Orbital Theory 1

Characterization of Graphs with Large Nullity

On the adjacency matrix of a block graph

Average distance, radius and remoteness of a graph

On the spectral radii of quasi-tree graphs and quasiunicyclic graphs with k pendent vertices

LIST OF SELECTED PAPERS SLOBODAN K. SIMIĆ April 2017

Les Cahiers du GERAD ISSN:

ON THE WIENER INDEX AND LAPLACIAN COEFFICIENTS OF GRAPHS WITH GIVEN DIAMETER OR RADIUS

Extremal Graphs for Randić Energy

Graphs with Integer Matching Polynomial Roots

When can the components of NEPS of connected bipartite graphs be almost cospectral?

Spectral Characterization of Generalized Cocktail-Party Graphs

The least eigenvalue of the signless Laplacian of non-bipartite unicyclic graphs with k pendant vertices

Characteristic polynomials of skew-adjacency matrices of oriented graphs

Some spectral inequalities for triangle-free regular graphs

COSPECTRAL GRAPHS AND DIGRAPHS

Reconstructing subgraph-counting graph polynomials of increasing families of graphs

Linear Algebra and its Applications

v iv j E(G) x u, for each v V(G).

EQUIENERGETIC GRAPHS

Discrete Mathematics

arxiv: v2 [math.co] 4 Sep 2009

Applied Mathematics Letters

Resolvent Energy of Graphs

Communicated by Alireza Abdollahi. 1. Introduction. For a set S V, the open neighborhood of S is N(S) = v S

Regular factors of regular graphs from eigenvalues

On the Least Eigenvalue of Graphs with Cut Vertices

Independent Transversal Dominating Sets in Graphs: Complexity and Structural Properties

LAPLACIAN ENERGY OF UNION AND CARTESIAN PRODUCT AND LAPLACIAN EQUIENERGETIC GRAPHS

Even Cycles in Hypergraphs.

The Signless Laplacian Spectral Radius of Graphs with Given Degree Sequences. Dedicated to professor Tian Feng on the occasion of his 70 birthday

CCO Commun. Comb. Optim.

The Singular Acyclic Matrices of Even Order with a P-Set of Maximum Size

On the distance signless Laplacian spectral radius of graphs and digraphs

On oriented graphs with minimal skew energy

Maximum Size of Maximally Irregular Graphs

A characterization of singular graphs

On the spectral radius of graphs with cut edges

A lower bound for the harmonic index of a graph with minimum degree at least two

Bicyclic digraphs with extremal skew energy

d 2 -coloring of a Graph

Integral trees of odd diameters

A characterisation of eccentric sequences of maximal outerplanar graphs

ON DOMINATING THE CARTESIAN PRODUCT OF A GRAPH AND K 2. Bert L. Hartnell

The spectrum of the edge corona of two graphs

On the difference between the revised Szeged index and the Wiener index

INDEPENDENT TRANSVERSAL DOMINATION IN GRAPHS

On Dominator Colorings in Graphs

The chromatic number and the least eigenvalue of a graph

arxiv: v2 [math.co] 27 Jul 2013

arxiv: v4 [math.gr] 17 Jun 2015

Some constructions of integral graphs

Applicable Analysis and Discrete Mathematics available online at GRAPHS WITH TWO MAIN AND TWO PLAIN EIGENVALUES

The Singapore Copyright Act applies to the use of this document.

Spectral results on regular graphs with (k, τ)-regular sets

ELA

(Received: 19 October 2018; Received in revised form: 28 November 2018; Accepted: 29 November 2018; Available Online: 3 January 2019)

The non-bipartite graphs with all but two eigenvalues in

arxiv: v1 [cs.dm] 31 Mar 2013

Decomposing oriented graphs into transitive tournaments

On spectral radius and energy of complete multipartite graphs

Bipartite graphs with at most six non-zero eigenvalues

38 PETROVIĆ AND MILEKIĆ In this paper we also determine all minimal generalized line graphs with the property 2 (G) > 1. There are exactly 21 such gra

Malaya J. Mat. 2(3)(2014)

Some Nordhaus-Gaddum-type Results

arxiv: v1 [math.co] 30 Dec 2015

On a Conjecture of Thomassen

Inverse and Disjoint Restrained Domination in Graphs

Graphs determined by their (signless) Laplacian spectra

THE GRAPHS WHOSE PERMANENTAL POLYNOMIALS ARE SYMMETRIC

arxiv: v1 [cs.ds] 11 Oct 2018

Linear Algebra and its Applications

Linear Algebra and its Applications

On the Average of the Eccentricities of a Graph

Energy of Graphs. Sivaram K. Narayan Central Michigan University. Presented at CMU on October 10, 2015

Edge Fixed Steiner Number of a Graph

CO PRIME PATH DECOMPOSITION NUMBER OF A GRAPH

University of Alabama in Huntsville Huntsville, AL 35899, USA

The spectral radius of edge chromatic critical graphs

Locating-Total Dominating Sets in Twin-Free Graphs: a Conjecture

Extremal graphs for the sum of the two largest signless Laplacian eigenvalues

The Number of Independent Sets in a Regular Graph

The Normalized Laplacian Estrada Index of a Graph

arxiv: v1 [math.co] 28 Oct 2016

Technische Universität Ilmenau Institut für Mathematik

ON GLOBAL DOMINATING-χ-COLORING OF GRAPHS

Laplacian Integral Graphs with Maximum Degree 3

Laplacian spectral radius of trees with given maximum degree

Graphs with prescribed star complement for the. eigenvalue.

Two Laplacians for the distance matrix of a graph

STRONGLY REGULAR INTEGRAL CIRCULANT GRAPHS AND THEIR ENERGIES

SEMI-STRONG SPLIT DOMINATION IN GRAPHS. Communicated by Mehdi Alaeiyan. 1. Introduction

Cospectrality of graphs

On Rank of Graphs. B. Tayfeh-Rezaie. School of Mathematics, Institute for Research in Fundamental Sciences (IPM), Tehran, Iran

Introduction to Domination Polynomial of a Graph

BOUNDS ON THE FIBONACCI NUMBER OF A MAXIMAL OUTERPLANAR GRAPH

Transcription:

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 Montréal, Montreal, Canada mustapha.aouchiche@gerad.ca, pierre.hansen@gerad.ca 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 = V. The size m of G is the number of its edges, i.e., m = E. 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. It is called the subgraph of G induced by W and we say that W induces G[W ]. A graph H is said to be an induced subgraph of G if there exists a subset of vertices W of G such that H = G[W ]. Received: 23 October 2015, Revised: 3 September 2017, Accepted: 26 September 2017. 335

As usual, S n, P n, C n and K n denote the star, the path, the cycle and complete graph on n vertices, respectively. K p,n p denotes the complete bipartite graph on n vertices whose partition classes contain p and n p vertices respectively. Assume that V = {v 1, v 2,..., v n }. The adjacency matrix A = (a i,j ) 1 i,j n of G is the 0-1 matrix defined by a i,j = 1 if and only if v i v j E. The eigenvalues of G are those of its adjacency matrix A. The nullity of a graph G, denoted by η = η(g), is the multiplicity of 0 as an eigenvalue of G with η = 0 if A is not a singular matrix. The rank of a graph, denoted by rk = rk(g), is the rank of its adjacency matrix, thus for any graph G on n vertices, we have η(g) = n rk(g). Therefore, any result about the nullity can be stated in terms of rank, and vice versa. The problem of characterizing nonsingular graphs, i.e., graphs with η > 0, was first posed by Collatz and Sinogowitz [12] in 1957 (see also [33]). This question is of great interest in chemical graph theory because of the relationship between the nullity of a graph representing an alternant hydrocarbon (a bipartite molecular graph) and its molecular stability (see e.g., [14, 28]). The problem also attracted the attention of many mathematicianss. They studied nullity of graphs in general [1, 7, 11, 13, 21, 34, 37, 38, 39, 35, 41]; graphs with zero nullity [5]; nullity of bipartite graphs [15, 18, 31]; nullity of trees [19, 26, 30, 32]; nullity of line graphs of trees [22, 29, 36]; nullity of unicyclic graphs [25, 30, 40]; nullity of bicyclic graphs [23, 27]; nullity of graphs with pendant vertices [24]; and nullity of graphs with pendant trees [20]. In the next section, we prove results about the nullity involving the diameter. We first give a necessary condition on the extremal graphs corresponding to a bound proved in [11]. Then we extend that bound by replacing the diameter by the radius, in two ways. At the end of the section we improve the bound under study by adding the maximum clique number. In the last section, we prove new bounds on the nullity involving the number of pendant neighbors, and then strengthen a well-known bound from [1]. 2. Results involving the diameter The distance between two vertices u and v in G, denoted by d(u, v), is the length of a shortest path between u and v. The eccentricity e(v) of a vertex v in G is the largest distance from v to another vertex of G. The minimum eccentricity in G, denoted by r, is the radius of G. The maximum eccentricity of G, denoted by D, is the diameter of G. That is r = min v V e(v) and D = max e(v). v V The following theorem is an elementary and well-known result in matrix theory. Theorem 2.1 ([16]). Let M be a symmetric matrix of rank k. Then M contains a nonsingular principal minor of order k. In graph theory, using the notion of nullity, the above theorem reads: A graph on n vertices with nullity η contains an induced subgraph on n η vertices with nullity 0. Exploiting the graph theory version of Theorem 2.1 and the fact that a connected graph of diameter D contains an induced path on D + 1 vertices (whose nullity is 1 if D is even and 0 if D is odd; see [6]), Cheng and Liu [11] proved the following result. 336

Lemma 2.1 ([11]). Let G be a connected graph on n vertices with diameter D and nullity number η. Then { n if D is even η + D n 1 if D is odd. We next provide a necessary condition for the sharpness of the above bound, for which we need the following well-known lemma (see, e.g. [14]). Lemma 2.2. Let G be a graph. If v is a pendant neighbor of G with unique neighbor u, then η(g) = η(g \ {u, v}). Theorem 2.2. Let G be a connected graph on n vertices with diameter D and nullity number η. If D + η = n then G is bipartite. Proof. Let G be a connected graph such that D+η = n. According to Lemma 2.1, D is necessarily even, and a diametrical path contains an odd number of vertices, namely D + 1. Let P = P D+1 be such a path in G. Now assume that G is not bipartite and let C = C 2p+1 denote an induced odd cycle in G. (i) If P and C are vertex disjoint and there is no edge joining a vertex from P and a vertex from G, then the disjoint union of P C is an induced graph of G with rank D + 2p + 1. Thus, n η D + 2p + 1 and therefore D + η n 2p 1 < n. This is a contradiction. (ii) If P and C share a single vertex v, then using Lemma 2.2 iteratively, the nullity of the graph H induced by P C is 1 if the cardinalities of the components of P v are odd, and 0 if they are even. Thus, the rank of G is at least D + 2p 1 and therefore, n η D + 2p 1. It follows that D + η n 2p + 1 < n. This is a contradiction. (iii) If there exists a single edge between a vertex from P and a vertex w from C, then the rank of the graph induced by P C w (which is a disjoint union of two paths P 2p and P D+1 ) is D + 2p. Thus, n η D + 2p and therefore D + η n 2p < n. This is a contradiction. (iv) If there exist at least two edges between the vertices of P and those of C, among the vertices incident to the edges between P and C. Let w 1 and w 2 be two vertices from C such that v 1 w 1 and v 2 w 2 are edges in G and such that the portion C of C of odd length is the smallest under these conditions. We consider the following subcases. If v 1 = v 2, C contains at least one edge. Consider the cycle C = C w 1 v 1 w 2 instead of C and then we are in a case similar to (ii). If v 1 v 2, w 1 = w 2 and v 1 v 2 is an edge in G. The nullity of the graph induced by P {w 1 } is 0, thus n η D + 2 and therefore D + η n 2 < n. This is a contradiction. If v 1 v 2, w 1 = w 2 and v 1 v 2 is not an edge in G. In this case d(v 1, v 2 ) = 2 and, by the choice of w 1 and w 2, there is no vertex from C other than w 1 adjacent to a vertex from P. Denote by v the common neighbor of v 1 and v 2 belonging to P. Replacing the path P by (P \ {v }) {w 1 } lead to the case (ii). 337

If v 1 v 2, w 1 w 2 and d(w 1, w 2 ) d(v 1, v 2 ) 1, the path induced C and remaining part of P obtained by the deletion of all its vertices lying between v 1 and v 2. That path contains at least D + 2 vertices and then its rank is at least D +1. Thus, n η D + 1, and therefore D + η n 1 < n. This is a contradiction. If v 1 v 2, w 1 w 2 and d(w 1, w 2 ) = d(v 1, v 2 ) 2 (note that d(w 1, w 2 ) d(v 1, v 2 ) 2, since P is a diametrical path), consider the graph H induced by P C \ U, where U denotes the set of vertices of P lying between v 1 and v 2. Using iteratively Lemma 2.2, the nullity of H is 0. The number of vertices in H is at least D +1. Thus n η D +1 and therefore D + η n 1 < n. This is a contradiction. (v) If C and P share more than one vertex and there is no edge between a vertex from P \ C and a vertex from C \ P, denote by v 1 (resp. v 2 ) the vertex from P C which is closest to one (resp. the other) endpoint of P. Let H be the subgraph of G obtained from C P by the deletion of the vertices from P lying between v 1 and v 2. The graph H is an induced path of G on at least D + 2 vertices. Thus, the rank of H is at least D + 1, and then n η D + 1. Therefore, D + η n 1 < n. This is a contradiction. (vi) If C and P share at leat one vertex and therefore at least one edge joins a vertex from P \ C and a vertex from C \ P. Let U denote the set of vertices in P which are also in C or have at least one neighbor in C. Let v 1 (resp. v 2 ) be the vertex from U which is closest to one (resp. the other) endpoint of P. Let H be the subgraph of G obtained from C P by the deletion of the vertices from P lying between v 1 and v 2. The graph H is an induced path of G on at least D + 2 vertices. Thus, the rank of H is at least D + 1, and then n η D + 1. Therefore, D + η n 1 < n. This is a contradiction. To conclude, G necessarily contains no odd cycle, and therefore is a bipartite graph. A well-known relationship between the diameter and the radius is r D 2r (see e.g. [8]). Exploiting the first inequality, Lemma 2.1 and Theorem 2.2, we easily get the following corollary. Corollary 2.1. If G is a connected graph on n vertices with radius r and nullity number η, then η + r n. Moreover, if equality holds, then G is bipartite. Note that there exist graphs for which η + D = n and η + r < n such as stars S n with n 3 (η = n 2, D = 2 and r = 1), odd paths P n with n 3 (η = 1, D = n 1 and r = (n 1)/2) and many other graphs. Now, what would happen if we replace in the inequality of Lemma 2.1 D by 2r? Does the inequality remain valid? The answer is negative. Indeed, for instance, the complete bipartite graphs K n p,p, with 2 p n 2, have η + 2r = n 2 + 2 2 = n + 2 > n. The following proposition solves the problem. Proposition 2.1. If G is a connected graph on n vertices with radius r and nullity number η, then η + 2r n + 2. Proof. It is proved in [17] that a graph with radius r contains an induced path on at least 2r 1 vertices. Thus rk(g) rk(p 2r 1 ) = 2r 2 and the result follows. 338

Figure 1. Examples of graphs with η + 2r n + 2 and η + D < n. Note that there exist graphs for which the bound in Lemma 2.1 is reached while that in Proposition 2.1 is not, i.e., graphs satisfying η + D = n and η + 2r < n + 2. For instance, odd paths satisfy η + D = η + 2r = n < n + 2. Note also that there exist graphs for which the bound in Proposition 2.1 is reached while that in Lemma 2.1 is not, i.e., graphs satisfying η + 2r n + 2 and η + D < n. Three such graphs are illustrated in Figure 1: the first two graphs from the left are on n = 11 vertices with η = 5 and D = r = 4; the graph on the right is on n = 12 vertices with η = 6 and D = r = 4. In order to improve the bound in Lemma 2.1, we used the AutoGraphiX system, a software for conjecture making in graph theory (see [3, 4, 9, 10]), to generate a conjecture next, proved. First, we recall the following lemma, that is used in the proof. Lemma 2.3 ([5]). For n 4 and 3 p n 1, η (K n \ E(S p )) = 0, where E(S p ) denotes a set of p 1 edges incident to a same vertex in K n. The maximum clique number of a graph, denoted ω = ω(g), is the maximum cardinality of a vertex subset of G that induces a complete graph. Theorem 2.3. Let G be a connected graph on n vertices with diameter D, nullity number η and maximum clique number ω. Then D + η + ω n + 2 and the bound is best possible as shown by complete multipartite graphs and odd paths. Proof. Let P be a diametrical path in G and W a clique on ω vertices in G. We also use P and W to denote the sets of vertices of the path P and the clique W, respectively. Let H be a subgraph of G induced by P W. Note that P and W can share at most 2 vertices, and therefore, H contains ω + D 1, ω + D or ω + D + 1 vertices depending on whether P and W have 0, 1 or 2 common vertices. Since η + D n, the inequality is obvious for K 3 -free graphs. In addition, if ω = 3, then the graph is not bipartite and by applying Theorem 2.2, D + η n 1 and therefore η + D + ω n 1+3 = n+2. So we can assume that ω 4. The inequality is also obvious when D 2, since η + ω n, thus we can also assume that D 3. Under those conditions, we have the following cases. 1. If H is disconnected, then rk(g) rk(h) = rk(w ) + rk(p ) ω + D. Thus η n ω D < n ω D + 2, i.e, D + η + ω < n + 2. 2. If P and W have one common vertex and there is no edge between P and W other than those involving the common vertex. Iterating Lemma 2.2 leads to a clique, on ω or ω 1 339

vertices, with eventually an isolated vertex. Thus η(h) 1 and then rk(g) rk(h) P W 1 = D + ω 1. Therefore, η n ω D + 1, i.e, D + η + ω < n + 2. 3. If P and W have two common vertices and there is no edge between P and W other than those involving the common vertices. Iterating Lemma 2.2 leads to a clique, on ω, ω 1 or ω 2 vertices. Thus η(h) = 0 and then rk(g) rk(h) P W = D + ω 1. Therefore, η n ω D + 1, i.e, D + η + ω < n + 2. 4. If P and W have one common vertex, say v, and there exists at least one edge between W and one or both neighbors, say v and v, of v on P, and there is no edge between P and W other than those involving v, v or v. Iterating Lemma 2.2 leads to: the clique W v with nullity zero; a clique W with nullity zero; the subgraph induced by W {v } (or W {v }), which is a graph of the form of that one described in Lemma 2.3, thus with nullity zero; the subgraph induced by W {v, v } which contains a subgraph of the form of that one described in Lemma 2.3, thus with nullity at most 1. In all of these cases, rk(g) rk(h) P W 1 = D + ω 1. Therefore, η n ω D + 1, i.e, D + η + ω < n + 2. 5. Let v, v, v be the vertices on P as defined in the above case, and let v 1 denote the neighbor of v on P other than v (if it exists) and v 1 the neighbor of v on P other than v. Note that only one of v 1 and v 1 can have a neighbor in W. Indeed, if there is an edge between v 1 and a vertex w from W and an edge between v 1 and a vertex w from W, the path (P \{v, v, v, v 1, v 1}) {w, w, v 1, v 1} would be a path of length D 1 linking the endpoints of P assumed to be at distance D, which is a contradiction. Thus assume, without loss of genrality, that only v 1 has at least one neighbor in W. Iterating Lemma 2.2 leads to: the subgraph induced by (W \ {v}) {v } with nullity at most 1 (being 1 only if v is an isolated vertex in the induced subgraph); the subgraph induced by W {v } with nullity zero; the subgraph induced by W {v, v } with nullity at most 1 (since it contains the subgraph induced by W {v }); the subgraph induced by W {v, v 1} with nullity at most 1 (since it contains the subgraph induced by W {v }); the subgraph induced by W {v, v, v 1} with nullity at most 2 (since it contains the subgraph induced by W {v }). In all of these cases, rk(g) rk(h) P W 2 = D + ω 2. Therefore, η n ω D + 2, i.e, D + η + ω n + 2. 6. If P and W contain two common vertices and there is at least one edge between P and W involving vertices from P other than the common vertices. Denote by v 1 and v 2 the common vertices to P and W, and let v 1 (resp. v 2) the neighbor, if any, of v 1 (resp. v 2 ) on P. If an 340

edge exists between W \ {v 1, v 2 } and a vertex from P \ {v 1, v 2 }, that vertex must be v 1 or v 2 (or both if there are two or more edges). Iterating Lemma 2.2 leads to: the clique W with nullity zero; the subgraph induced by (W \ {v 1 }) {v 2} with nullity zero (using Lemma 2.3); the subgraph induced by (W \ {v 2 }) {v 1} with nullity zero (using Lemma 2.3); the subgraph induced by W {v 1} with nullity zero (using Lemma 2.3); the subgraph induced by W {v 2} with nullity zero (using Lemma 2.3); the subgraph induced by W {v 1, v 2} with nullity at most 1, since it contains the subgraph induced by W {v 1}. In all of these cases, rk(g) rk(h) P W 1 = D + ω 2. Therefore, η n ω D + 2, i.e, D + η + ω n + 2. This proves the inequality. Equality is reached for several graphs such as odd paths for which η = 1, ω = 2 and D = n 1; also for the complete multipartite graphs for which D = 2 and η = n ω (see [1, 11]). Figure 2. A graph with D + η + ω = n + 2 (n = 12, ω = 2, η = 6 and D = 6). The characterization of the extremal graphs for the above theorem remains an open problem. Note that odd paths and complete multipartite graphs are not the only ones for which the bound in Theorem 2.3 is reached. Indeed, the graph illustrated in Figure 2 is an example of a graph for which D + η + ω = n + 2 (here n = 12, ω = 2, η = 6 and D = 6). 3. Results involving the number of pendant neighbors A vertex v in G is called a pendant neighbor if there exists a vertex u such that d(u) = 1, d(v) 2 and uv is an edge in G. Denote by n 1 = n 1(G) the number of pendant neighbors in G. In this section we prove bounds on the nullity number using the number of pendant neighbors. The matching number of a graph G, denoted by µ = µ(g), is the maximum number of disjoint edges. We first prove a lemma stating a relationship between the matching number µ and the number of pendant neighbors n 1. Lemma 3.1. For any graph G on n 3 vertices with matching number µ and which contains n 1 pendant neighbors, n 1 µ. 341

Proof. Consider the collection M of all edges of the form vu v, where v is a pendant neighbor and u v is a neighbor of v with d(u v ) = 1. It is clear taht M is a matching, thus n 1 = M µ. A well-known result involving the nullity and the matching number of a tree is the following theorem. Theorem 3.1 ([19, 32]). Let T be a tree on n vertices with nullity number η and matching number µ, then η + 2µ = n. Using Lemma 3.1 and Theorem 3.1, we easily prove the following result. Corollary 3.1. Let T be a tree on n vertices with nullity number η and n 1 pendant neighbors, then η + 2n 1 n. The bound is best possible as shown by the star S n. The above corollary can be extended to the class of all graphs. Theorem 3.2. Let G be a graph on n vertices with nullity number η and n 1 pendant neighbors, then η + 2n 1 n. Proof. If n 1 = 0, i.e. G contains no pendant neighbor, the result is obvious. Assume that n 1 1 and consider the induced subgraph H of G for which rk(g) = rk(h) and η(h) = 0. Let v be a pendant neighbor in G and u v a neighbor of v with d(u v ) = 1. Then H contains v and u v. Indeed, if H does not contain v and u v, then the graph H induced by the vertices of H and v and u v is an induced subgraph of G with rk(h ) = rk(h)+2 (see [6, Corollary 2]) which is a contradiction with the choice of H; if H contains v but not u v, then the graph H induced by the vertices of H and u v is an induced subgraph of G with rk(h ) = rk(h) + 2 (see [6, Corollary 1]) which is a contradiction with the choice of H; if H contains u v but not v, then u v is an isolated vertex in H which is a contradiction with η(h) = 0. Therefore H contains an edge of the form vu v, where v is a pendant neighbor and u v is a neighbor of v with d(u v ) = 1, for every pendant neighbor v. Thus 2n 1 rk(g) = n η and then the inequality follows. Note that we cannot replace n 1 by µ in the above theorem since there are many graphs for which η+2µ > n. For instances, the complete bipartite graph K n 2, n 2 satisfies η+2µ = n 2+ n 2 > n for all n 6; the cycle C n, with n = 4k, satisfies η + 2µ = 2 + n > n for all k 1. Recall that a vertex subset S in G is called a dominating set if any vertex in G that does not belong to S has at least one neighbor in S. The minimum cardinality of dominating set in a graph G is called the domination number of G and is denoted by γ = γ(g). The following theorem is proved in [1]. Theorem 3.3 ([1]). Let G be a connected graph on n 1 vertices with nullity η and domination number γ. Then η + γ n and the bound is best possible as shown by the complete bipartite graph K n p,p, 2 p n 2. The next result is an improvement of the bound in the above theorem. Theorem 3.4. Let G be a connected graph on n 1 vertices with nullity η, domination number γ and n 1 pendant neighbors. Then η + γ n n 1. The bound is sharp for every n 3 as shown by the star S n. 342

Proof. If n 1 = 0, i.e. G contains no pendant neighbor, then the result is obvious. Assume that n 1 1 and consider the induced subgraph H of G for which rk(g) = rk(h) and η(h) = 0. Let S denote the vertex set of H. In the proof of Theorem 3.3 (in [1]), it is shown that S is a dominating set in G. In the proof of Theorem 3.2, we showed that H contains n 1 disjoint edges of the form vu v, where v is a pendant neighbor and u v is a neighbor of v with d(u v ) = 1, say v 1 u 1, v 2 u 2,..., v n 1u n 1. Thus W {u 1, u 2,..., u n 1 } is also a dominating set in G, therefore γ rk(h) n 1 = n η n 1, and the bound follows. For the star S n, n 3, we have η = n 2, γ = 1 and n 1 = 1, the equality is reached. As already mentioned, the above theorem is an improvement of Theorem 3.3. In another attempt to strengthen the theorem using the AutoGraphiX system, we could state the following conjecture, which is similar to Theorem 2.3. Conjecture 1. Let G be a connected graph on n 1 vertices with nullity η, maximum clique number ω and domination number γ. Then η + ω + γ n + 2 and the bound is best possible as shown by the complete multipartite graphs. Related to the above conjecture, we prove the next proposition. Proposition 3.1. Let G be a graph on n 1 vertices with nullity η, maximum clique number ω and domination number γ. Then η + ω + γ 2n + 1 with equality if and only if G is the empty graph K n. If G = Kn, then η + ω + γ 2n 1 with equality if and only if G is the union of K 2 and n 2 isolated vertices. Proof. Let W be a maximum clique in G. Let S = (V (G) \ W ) {w}, where w is any vertex in W. It is obvious that S is a dominating set in G. Thus γ n ω + 1. In addition, η n with equality if and only if G = K n. Thus η + γ + ω 2n + 1 with equality if and only if G = K n. If G is not the empty graph, let H be the largest subgraph of G with no isolated vertices. In fact H is the graph obtained from G by removing all isolated vertices from G. If H = K 2, it is obvious that the bound is reached. So assume that H contains at least two edges. Let n 0 denote the number of isolated vertices in G. Note that n 0 n 3 since H contains at least 3 vertices. If H is a clique, then η + γ + ω = n 0 + n 0 + 1 + n n 0 = n + n 0 + 1 2n 2. If H is not a clique, let H 1, H 2,..., H p denote the connected components of H (if H is connected then p = 1). For each componenent H i, γ(h i ) + ω(h i ) n i (see [2]), where n i denotes the number of edges in the componenet. We have γ(h) + ω(h) = p i=1 γ(h i ) + max 1 i p ω(h i) p (γ(h i ) + ω(h i )) i=1 p n i = n n 0. i=1 It is easy to see that η n 2, ω = ω(h) and γ = γ(h) + n 0. Thus η + γ + ω n 2 + γ(h) + n 0 + ω(h) n 2 + n n 0 + n 0 = 2n 2. In conclusion, if G = Kn, then η + ω + γ 2n 1 with equality if and only if G is the union of K 2 and n 2 isolated vertices. 343

References [1] S. Akbari, P.J. Cameron and G.B. Khosrovshahi, Ranks and signatures of adjacency matrices. Unpublished manuscript, 2004. [2] M. Aouchiche. Comparaison automatisée d invariants en théorie des graphes. PhD Thesis, École Polytechnique de Montréal, February 2006. [3] M. Aouchiche, J.M. Bonnefoy, A. Fidahoussen, G. Caporossi, P. Hansen, L. Hiesse, J. Lacheré and A. Monhait. Variable Neighborhood Search for Extremal Graphs. 14. The AutoGraphiX 2 System. In L. Liberti and N. Maculan (editors), Global Optimization: From Theory to Implementation, Springer (2006) 281 310. [4] M. Aouchiche, G. Caporossi and P. Hansen. Variable Neighborhood Search for Extremal Graphs. 20. Automated Comparison of Graph Invariants. MATCH Commun. Math. Comput. Chem. 58 (2007) 365 384. [5] F. Ashraf and H. Bamdad, A note on graphs with zero nullity. MATCH Commun. Math. Comput. Chem. 60 (2008) 15 19. [6] J.H. Bevis, K.K. Blount, G.J. Davis, G.S. Domke and V.A. Miller, The rank of a graph after vertex addition, Linear Algebra Appl. 265 (1997) 55 69. [7] M. Brown, J.W. Kennedy and B. Servatius, Graph Singularity, Graph Theory Notes of New York 25 (1993), 23 32. [8] F. Buckley and F. Harary, Distance in Graphs, Addison-Wesley Publishing Company, Redwood, 1990. [9] G. Caporossi and P. Hansen, Variable Neighborhood Search for Extremal Graphs: I. The AutoGraphiX System, Disc. Math. 212 (2000), 29 44. [10] G. Caporossi and P. Hansen, Variable Neighborhood Search for Extremal Graphs: V. Three Ways to Automate Finding Conjectures, Disc. Math. 276 (2004), 81 94. [11] B. Cheng and B. Liu, On the nullity of graphs, Electron. J. Linear Algebra, 16 (2007), 60 67. [12] L. Collatz and U. Sinogowitz, Spektren endlicher Grafen, (German) Abh. Math. Sem. Univ. Hamburg 21 (1957), 63 77. [13] D. Cvetković, Graphs and their spectra, Univ. Beograd. Publ. Elektrotehn. Fak. Ser. Mat. Fiz. 354/356 (1971) 1 50. [14] D. Cvetković, M. Doob and H. Sachs, Spectra of Graphs, Theory and Applications, Third edition, Johann Ambrosius Barth, Heidelberg, 1995. [15] D. Cvetković and I. Gutman, The algebraic multiplicity of the number zero in the spectrum of a bipartite graph. Mat. Vesnik 9 (1972), 141 150. 344

[16] M.F. Egan, Symmetric matrices and quadratic forms, Math. Gaz. 29 (1945), 89 91. [17] P. Erdös, M. Saks, and V.T. Sós, Maximum induced trees in graphs, Journal of Combinatorial Theory, Series B 41 (1986), 61 79. [18] Y.Z. Fan and K.S. Qian, On the nullity of bipartite graphs, Linear Algebra Appl. 430 (2009), 2943 2949. [19] S. Fiorini, I. Gutman and I. Sciriha, Trees with maximum nullity, Linear Algebra Appl. 397 (2005), 245 251. [20] S.C. Gong, Y.Z. Fan and Z.X. Yin, On the nullity of the graphs with pendent trees, Linear Algebra Appl. 433 (2010), 1374 1380. [21] I. Gutman and I. Sciriha, Graphs with maximum singularity, Graph Theory Notes of New York, 30 (1996), 17 20. [22] I. Gutman and I. Sciriha, On the nullity of line graphs of trees, Discrete Math. 232 (2001), 35 45. [23] S. Hu, X. Tan and B.L. Liu, On the nullity of bicyclic graphs, Linear Algebra Appl. 429 (2008), 1387 1391. [24] S.C. Li, On the nullity of graphs with pendent vertices. Linear Algebra Appl. 429 (2008), 1619 1628. [25] W. Li and A. Chang, Describing the nonsingular unicyclic graph, J. Math. Study 4 (2007), 442 445. [26] W. Li and A. Chang, On the trees with maximum nullity, MATCH Commun. Math. Comput. Chem. 56 (2006), 501 508. [27] J. Li, A. Chang and W.C. Shiu, On the nullity of bicyclic graphs, MATCH Commun. Math. Comput. Chem. 60 (2008), 21 36. [28] H.C. Longuet Higgins, Resonance structures and MO in unsaturated hydrocarbons, J. Chem. Phys. 18 (1950), 265 274. [29] M.C. Marino, I. Sciriha, S.K. Simić and D.V. Tošić, More about singular line graphs of trees, Publ. Inst.Math. (N.S.) 79 (93) (2006), 1 12. [30] M. Nath and B.K. Sarma, On the null spaces of acyclic and unicyclic singular graphs, Linear Algebra Appl. 427 (2007), 42 54. [31] G.R. Omidi, On the nullity of bipartite graphs, Graphs Combin. 25 (2009), 111 114. [32] H. Sachs, Beziehungen zwischen den in einem Graphen enthaltenen Kreisen und seinem charakteristischen Polyno,. (German) Publ. Math. Debrecen 11 (1964), 119 134. 345

[33] A.J. Schwenk, R.J. Wilson, On the eigenvalues of a graph, In Selected Topics in Graph Theory (L. W. Beineke and R. J. Wilson, Eds.), pp. 307 336, Academic Press, San Diego, 1978. [34] I. Sciriha, On the rank of graphs, In: Y. Alavi, D.R. Lick, A. Schwenk (Eds.), Combinatorics, Graph Theory and Algorithms 2 (1999), 769 778. [35] I. Sciriha, On the construction of graphs of nullity one, Discret Math. 181 (1998), 193 211. [36] I. Sciriha, On singular line graphs of trees, Congr. Numer. 135 (1998), 73 91. [37] I. Sciriha, On the coefficient of λ in the characteristic polynomial of singular graphs, Util. Math. 52 (1997), 9 111. [38] I. Sciriha, S. Fiorini and J. Lauri, Minimal basis for a vector space with an application to singular graphs, Graph Theory Notes New York 31 (1996), 21 24. [39] I. Sciriha and I. Gutman, Nut graphs: maximally extending cores, Util. Math. 54 (1998), 257 272. [40] X. Tan and B. Liu, On the nullity of unicyclic graphs, Linear Algebra Appl. 408 (2005), 212 220. [41] R. Wilson, Singular graphs, In: V.R. Kulli (ed.), Recent Studies in Graph Theory, 228 236, Vishwa Int. Publications, Gulbarga, 1989. 346