Preprint
Article

Spectral Applications of Vertex-Clique Incidence Matrices Associated with a Graph

Altmetrics

Downloads

87

Views

27

Comments

0

A peer-reviewed article of this preprint also exists.

This version is not peer-reviewed

Submitted:

19 July 2023

Posted:

19 July 2023

You are already at the latest version

Alerts
Abstract
In this paper, we demonstrate a useful interaction between the theory of clique partitions, edge clique covers of a graph, and the spectra of graphs. Using a clique partition and an edge clique cover of a graph we introduce the notion of a vertex-clique incidence matrix for a graph and produce new lower bounds for the negative eigenvalues and negative inertia of a graph. Moreover, utilizing these vertex-clique incidence matrices, we generalize several notions such as the signless Laplacian matrix, and develop bounds on the incidence energy and the signless Laplacian energy of the graph. %The tight upper bounds for the energies of a graph and its line graph are given. More generally, we also consider the set $S(G)$ of all real-valued symmetric matrices whose off-diagonal entries are nonzero precisely when the corresponding vertices of the graph are adjacent. An important parameter in this setting is $q(G)$, and is defined to be the minimum number of distinct eigenvalues over all matrices in $S(G)$. For a given graph $G$ the concept of a vertex-clique incidence matrix associated with an edge clique cover is applied to establish several classes of graphs with $q(G)=2$.
Keywords: 
Subject: Computer Science and Mathematics  -   Discrete Mathematics and Combinatorics

1. Introduction

Let G = ( V , E ) be a simple undirected graph with n vertices and m edges. A clique in G is a subset C V such that all vertices in C are adjacent. An edge clique cover F of G is a set of cliques F = { C 1 , C 2 , , C k } that together contain each edge of G at least once. The smallest size of an edge clique cover of G is called the edge clique cover number of G and is denoted by c c ( G ) . An edge clique cover of G with size c c ( G ) is referred to as a minimum edge clique cover of G. A special case of an edge clique cover in which every edge belongs to exactly one clique is called a clique partition of G. The size of the smallest clique partition of G is called the clique partition number of G, and is denoted by c p ( G ) . A clique partition of G with size c p ( G ) is referred to as a minimum clique partition of G. It is clear that both c c ( G ) and c p ( G ) exist as E forms a clique partition (and hence an edge clique cover) of G. Further note that any minimum clique partition does not contain any cliques of size one, and, by convention, the clique partition number of the empty graph is defined to be zero. Information concerning clique partitions and edge clique covers of a graph can be found in the works [8,14,27,30].
Before defining the various matrices associated with a graph, we make note of the standard matrix notations: I n to denote the n × n identity matrix; O to denote the zero matrix (size determined by context); J to denote the all ones matrix (size determined by context); and I I to denote the all ones vector (size determined by context).
Given a graph G with V = { 1 , 2 , , n } and E = { e 1 , e 2 , , e m } , the (vertex-edge) incidence matrixM of G is the n × m matrix defined as follows: the rows and the columns of M are indexed by V and E, respectively; and the ( i , j ) -entry of M is 0 if i e j and 1 otherwise. Similarly, the adjacency matrix A = A ( G ) = ( a i j ) is a ( 0 , 1 ) -matrix of G such that a i j = 1 if i j E ( G ) and 0 otherwise. It is well-known that [18]
M M T = Q ( G ) , a n d M T M = A ( L G ) + 2 I m ,
where D ( G ) is the diagonal matrix of vertex degrees ( d i = deg ( i ) , i = 1 , 2 , , n ) and the matrix Q ( G ) = D ( G ) + A ( G ) is known as the signless Laplacian matrix of the graph G; the line graph, L G , of the graph G is the graph whose vertex set is in one-to-one correspondence with the set of edges of G, where two vertices of L G are adjacent if and only if the corresponding edges in G have a vertex in common [22]. Finally, the equations in (1) imply an important spectral relation between the signless Laplacian matrix Q ( G ) and A ( L G ) , see Lemma 6.
As we are also interested in studying more general symmetric matrices associated to a graph on n vertices, we let S ( G ) denote the collection of real symmetric matrices A = ( a i j ) such that for i j , a i j 0 if and only if i j E ( G ) . The main diagonal entries of any such A in S ( G ) are not constrained. Observe that for any graph G, both Q ( G ) and A ( G ) belong to S ( G ) .
We denote the spectrum of A, i.e., the multiset of eigenvalues of A, by Spec ( A ) . In particular,
Spec ( A ) = { λ 1 [ m 1 ] , λ 2 [ m 2 ] , , λ q [ m q ] } ,
where the distinct eigenvalues of A are given by λ 1 < λ 2 < < λ q with corresponding multiplicities of these eigenvalues are m 1 , m 2 , , m q respectively. Further we consider the ordered multiplicity list of A as the sequence m ( A ) = ( m 1 , m 2 , , m q ) . For brevity, a simple eigenvalue λ k [ 1 ] is simply denoted by λ k .
Given a graph G, the spectral invariant q ( G ) is defined as follows:
q ( G ) = min { q ( A ) : A S ( G ) } ,
where q ( A ) is the number of distinct eigenvalues of A (see [2,25]). The spectral invariant q ( G ) is called the minimum number of distinct eigenvalues of the graph G. The class of matrices S ( G ) has been of interest to many researchers recently (see [15,16,17,17] and the references therein), and there has been considerable development on the inverse eigenvalue problem for graphs (see [23]) which continues to receive considerable and deserved attention, as it remains one of the most interesting unresolved issues in combinatorial matrix theory. Recently, J. Ahn et al. [3] offered a complete solution to the ordered multiplicity inverse eigenvalue problem for graphs on six vertices.
Using the notions of clique partitions and edge clique covers of a graph we generalize the conventional vertex-edge incidence matrix M by considering a new incidence matrix called the vertex-clique incidence matrix of a graph. Suppose F = { C 1 , C 2 , , C k } is an edge clique cover of a graph G with V = { 1 , 2 , , n } . The vertex-clique incidence matrix M F of G associated with the edge clique cover F is defined as follows: the ( i , j ) -entry of M F is real and nonzero if and only if the vertex i belongs to the clique C j F . In the particular case when F is actually a clique partition, the vertex-clique incidence matrix, in this case, is denoted by M F , and the ( i , j ) -entry of M F is equal to one if and only if the vertex i belongs to the clique C j F . We observe that for any graph G the vertex-clique incidence matrix corresponding to a clique partition F, preserves several main properties of its vertex-edge incidence matrix. For instance, in Section 3, M F M F T = D F + A , where D F = d i a g ( t 1 F , t 2 F , , t n F ) with t i F d i , where both sequences t i F and d i are in non-increasing order. This fact enables us to determine new lower bounds for the negative eigenvalues of the graph.
The paper is organized as follows. In Section 2, we provide the necessary notions, notations, and known results that are needed in the sections containing our main observations. In Section 3, using the notion of a clique partition F of a graph G, we define signless Laplacian matrix of the graph G associated with the clique partition F. A new graph P G is introduced as a generalization for the line graph of G. In SubSection 3.1, applying this new theory of a vertex-clique incidence matrix, we produce lower bounds for the negative eigenvalues of the graph. Moreover, we present lower bounds for the negative inertia ν ( G ) of a graph G in terms of its order n and the rank of its vertex-clique incidence matrix. We also provide a sufficient condition under which the well-known inequality ν ( G ) n α ( G ) holds with equality, where α ( G ) is the independence number of G. In SubSection 3.2, we introduce new graph energies associated with a clique partition F of the graph G and study several associated properties. Moreover, new upper bounds for the energies of the graph G and its clique partition graph and line graph are determined. In Section 4, studies on the vertex-clique incidence matrix of a graph associated with an edge clique cover lead to a derivation of some new classes of graphs with q ( G ) = 2 (see also SubSection 4.1).

2. Notations and preliminaries

In this section, we list some known notions, notations, and results that are needed in the remaining sections.
We start this section by introducing the notion of the eigenvalues of a graph. The eigenvalues λ 1 , λ 2 , , λ n of the adjacency matrix A ( G ) (or shortened to A when reference to the graph G is clear from context) of the graph G are also called the eigenvalues of G. The number of positive (negative) eigenvalues in the spectrum of the graph G is called the positive (negative) inertia of the graph G, and is denoted by ν + ( G ) ( ν ( G ) ). The energy of the graph G is defined as
E ( G ) = i = 1 n | λ i | .
Further details on various properties of graph energy can be found in [19,20,24,28,29]. Suppose q 1 , q 2 , , q n be the eigenvalues of the matrix Q ( G ) . Then the signless Laplacian energy of the graph G is defined as [1]
L E + = L E + ( G ) = i = 1 n | q i 2 m n | .
More information on properties of the signless Laplacian energy can be found in [1], and the energy of a line graph and its relations with other graph energies are studied in [12,21].
A subgraph H of a graph G is a graph whose vertex set and edge set are subsets of those of G. If H is a subgraph of G, then G is said to be a supergraph of H. The subgraph of G obtained by deleting either a vertex v of G or an edge e of G is denoted by G v and G e , respectively. Suppose H is a graph on n vertices. Then we let K n H denote the graph obtained from the complete graph, K n , by removing the edges from H. An independent set in the graph G is a set of vertices in G, no two of which are adjacent. The independence number α ( G ) of G is the number of vertices in a largest independent set of G. A matching in a graph G, is simply a collection of independent edges from G (i.e., no two edges in a matching share a common vertex from G). Additionally, a matching is referred to as perfect if each vertex from G is incident with one edge from the matching.
An n × n symmetric real matrix B is a positive semi-definite matrix if all of its eigenvalues are nonnegative. In this case, we denote B 0 . For real symmetric matrices B and C, if B C 0 , then we write B C .
Lemma 1. 
[7] Let A and B be Hermitian matrices of order n, and assume that A B . Then for all i = 1 , 2 , , n ,
λ i ( A ) λ i ( B ) ,
where λ i ( M ) is the ith largest eigenvalue of a square matrix M.
The following result was obtained in [18].
Lemma 2. 
[18]If B and C are matrices such that B C and C B are both defined, then B C and C B have the same nonzero eigenvalues with the same multiplicity.
Let ∘ denote the Schur (also known as the Hadamard or entry-wise) product. The n × n symmetric matrix A has the Strong Spectral Property (or A has the SSP for short) if the only symmetric matrix X satisfying A X = O , I X = O and [ A , X ] = A X X A = O is X = O (see [4]). The following result is given in [4].
Lemma 3. 
[4]If A S ( G ) has the SSP, then every supergraph of G with the same vertex set has a matrix realization that has the same spectrum as A and has the SSP.
Given two graphs G and H, the join of G and H, denoted by G H , is the graph obtained from G H , by adding all possible edges between G and H. Suppose G is a graph with q ( G ) = 2 . Then among all matrix realizations A in S ( G ) with two distinct eigenvalues, we define the multiplicity bi-partition [ n k , k ] associated to A if the two eigenvalues of A has respective multiplicities n k and k. Further we define the minimal multiplicity bi-partition M B ( G ) to be the least integer k n 2 such that G achieves the multiplicity bi-partition [ n k , k ] . We close this section with two useful results concerning specific classes of graphs realizing two distinct eigenvalues with respect to the set S ( G ) .
Lemma 4. 
[6,9] Let G be a connected graph on n vertices. Then
(1) M B ( G ) = 1 if and only if G is the complete graph, K n .
(2) M B ( G ) = 2 if and only if
G = ( K p 1 K q 1 ) ( K p 2 K q 2 ) ( K p k K q k )
for non-negative integers p 1 , , p k , q 1 , , q k with k > 1 , and G is not isomorphic to either one of a complete graph or G = ( K p 1 K q 1 ) K 1 .
Lemma 5. 
[26] If G is a connected graph of order n { l , l + 1 , l + 2 } and n 1 , , n l N , then q ( G j [ l ] K n j ) = 2 .

3. Matrices associated with a clique partition

In this section, we use of the vertex-clique incidence matrix associated with a clique partition of a graph G. Recall that for a graph G = ( V , E ) with the vertex set V = [ n ] = { 1 , 2 , , n } and m = | E | edges, and for a given clique partition F = { C 1 , C 2 , , C k } of G, consider the matrix M F with rows and columns indexed by the vertices in V and the cliques in F, respectively, such that the ( i , j ) -entry of M F is equal to one if and only if the vertex i belongs to the clique C j F . Observe that when F = E , M F as simply the conventional incidence matrix of the graph G. For each vertex i [ n ] of the graph G, we define a new parameter t i F = t i F ( G ) to be the number of cliques in F containing the vertex i, that is,
t i F = | { j [ k ] : C j F , i C j } | .
We call t i F ( G ) the clique-degree of the vertex i in graph G associated with F, and, without loss of generality, we assume that t 1 F t 2 F t n F . Given clique partition F = { C 1 , C 2 , , C k } of G, we consider different possible classes of graphs as follows:
( i ) The graph G is t clique-regular if t 1 F = = t n F = t ,
( i i ) The graph G is s clique-uniform if | C 1 | = = | C k | = s ,
( i i i ) The graph G is ( s , t ) regular if t 1 F = = t n F = t and | C 1 | = = | C k | = s .
Any graph is 2 clique-uniform and any d-regular graph is also d clique-regular using the trivial clique partition F = E .
Let D F be the n × n diagonal matrix with row and column indexed by the vertex set V with ( i , i ) -entry equal to t i F , that is, D F = d i a g ( t 1 F , , t n F ) . The inner product of any two distinct rows of M F indexed by vertices i and j is equal to the number of cliques in F containing the vertices i and j. By definition of the clique partition F, if i and j are adjacent, then this number is equal to 1 and otherwise 0. This leads to the following result:
Theorem 1. 
Let M F be the vertex-clique incidence matrix of G associated with a given clique partition F. Then M F M F T = D F + A , where D F = d i a g ( t 1 F , , t n F ) and A is the adjacency matrix of G.
As mentioned above, in the case of F = E , the matrix M F is the incidence matrix M of G and consequently, M F M F T = M M T is the signless Laplacian matrix of G, where we assume that the sequence of vertex degrees is ordered as d 1 d 2 d n . Notice that in this case, t i F = d i for 1 i n . Motivated by this observation, for any clique partition F we call Q F = M F M F T the signless Laplacian matrix of the graph G associated with the clique partition F. Since we always have D D F , it follows Q = D + A D F + A = Q F 0 . Now define the clique partition graph P G with k vertices, where each vertex i corresponds to each clique C i in F such that each pair of vertices of P G are adjacent if and only if the corresponding cliques in F have a vertex in common. If F = E , then P G = L G , that is, the line graph of G. The inner product of two columns of M F is nonzero if and only if the corresponding cliques have a common vertex. From the definition of a clique partition, this nonzero value must be 1. These facts immediately yield the following result:
Theorem 2. 
Let M F be the incidence matrix of G associated with a clique partition F. Then M F T M F = S F + A ( P G ) , where S F = d i a g ( s 1 F , , s k F ) and s i F = | C i | and A ( P G ) stands for the adjacency matrix of the graph P G .
For the case of F = E , we have M F T M F = M T M = 2 I m + A ( L G ) , and P G = L G so s i F = 2 for 1 i k = m .

3.1. Applications of the vertex-clique incidence matrix to graph spectrum

In this section, we develop several results on the spectrum of the graph G and its clique partition graph P G by the vertex-clique incidence matrix of a graph. Considering R F = M F T M F with Lemma 2 we conclude that the nonzero eigenvalues of matrices Q F and R F are the same. This fact leads to the following basic results.
Theorem 3. 
We have the following.
( i ) If 1 i min { n , k } , then λ i ( Q F ) = λ i ( R F ) .
( i i ) If min { n , k } = n then λ i ( R F ) = 0 for n + 1 i k .
( i i i ) If min { n , k } = k then λ i ( Q F ) = 0 for k + 1 i n .
Recall that if F = E , then Q F = Q and R F = 2 I m + A ( L G ) . Combining these equations with Theorem 3 leads to the following well-known result [11,12]:
Lemma 6. 
Let G be a graph of order n with m edges. Then
q i ( G ) = 2 + λ i ( L G ) f o r 1 i min { n , m } .
In particular if m > n then λ i ( L G ) = 2 for i > n , and if n > m then q i ( G ) = 0 for i > m .
The following result is obtained by applying Theorem 3 for a ( s , t ) regular graph G with the clique partition F.
Theorem 4. 
Let G be a ( s , t ) regular graph of order n with a clique partition F of size k.
( i ) If 1 i min { n , k } then λ i ( G ) λ i ( P G ) = s t .
( i i ) If min { n , k } = n then λ i ( P G ) = s for n + 1 i k .
( i i i ) If min { n , k } = k then λ i ( G ) = t for k + 1 i n .
Proof. ( i ) By Theorem 3 ( i ) , if 1 i min { n , k } , then λ i ( Q F ) = λ i ( R F ) , that is, λ i ( D F + A ( G ) ) = λ i ( S F + A ( P G ) ) , that is, λ i ( t I n + A ( G ) ) = λ i ( s I k + A ( P G ) ) , that is, t + λ i ( G ) = s + λ i ( P G ) .
( i i ) By Theorem 3 ( i i ) , if min { n , k } = n then λ i ( R F ) = 0 for n + 1 i k , that is, λ i ( s I k + A ( P G ) ) = 0 for n + 1 i k , that is, λ i ( P G ) = s for n + 1 i k .
( i i i ) By Theorem 3 ( i i i ) , if min { n , k } = k then λ i ( Q F ) = 0 for k + 1 i n , that is, λ i ( t I n + A ( G ) ) = 0 for k + 1 i n , that is, λ i ( G ) = t for k + 1 i n . □
Example 5. ( i ) Considering the complete graph K n and its minimum clique partition F with only one clique, we have M F = 1 1 n , M F M F T = J n and M F T M F = [ n ] . Applying Theorem 4 here we have t i F = 1 for 1 i n , k = 1 and s 1 F = n , that is, K n is a ( n , 1 ) regular graph. From this with Theorem 4 ( i ) we arrive at 1 + λ 1 ( K n ) = n + λ 1 ( K 1 ) , that is, λ 1 ( K n ) = n 1 , and by Theorem 4 ( i i i ) , λ i ( K n ) = 1 for 2 i n .
( i i ) Considering the clique partition
F = C 1 = { 1 , 2 , 6 } , C 2 = { 2 , 3 , 4 } , C 3 = { 1 , 3 , 5 } , C 4 = { 4 , 5 , 6 }
for G isomorphic to the complete tripartite graph K 2 , 2 , 2 (or G K 2 , 2 , 2 ) in Figure 1, we have s i F = 3 for i [ 4 ] and t j F = 2 for j [ 6 ] . Then G is a ( 3 , 2 ) regular graph. Moreover,
M F = 1 0 1 0 1 1 0 0 0 1 1 0 0 1 0 1 0 0 1 1 1 0 0 1 , Q F = 2 1 1 0 1 1 1 2 1 1 0 1 1 1 2 1 1 0 0 1 1 2 1 1 1 0 1 1 2 1 1 1 0 1 1 2 , R F = 3 1 1 1 1 3 1 1 1 1 3 1 1 1 1 3
and by Theorem 4, we have λ i ( G ) = 1 + λ i ( P G ) for 1 i 4 and λ i ( G ) = 2 for i = 5 , 6 . From these facts with P G K 4 , we arrive at Spec ( G ) = { 4 , 0 , 0 , 0 , 2 , 2 } .
Now applying theory of clique partitions and vertex-clique incidence matrices, we obtain a new lower bound for the smallest eigenvalue of a graph.
Theorem 6. 
Let G be a graph of order n and let t 1 F be the largest clique-degree of G with a given clique partition F. Then
λ n ( G ) t 1 F .
Moreover, if equality holds in (4), then r a n k ( M F ) < n and if r a n k ( M F ) < n and G is clique-regular, then equality holds in (4).
Proof. 
Since Q F = D F + A is a positive semi-definite matrix, we have D F A and by Lemma 1 we arrive at
λ i ( D F ) λ i ( A ) f o r 1 i n .
Considering i = 1 we arrive at λ n ( G ) = λ 1 ( A ) λ 1 ( D F ) = t 1 F , which gives the required result in (4).
For the second part of the proof, suppose that λ n ( G ) = t 1 F . Then λ n ( t 1 F I + A ) = 0 . This with the relation 0 Q F = D F + A t 1 F I + A , gives λ n ( Q F ) = 0 , that is, r a n k ( M F ) = r a n k ( Q F ) < n . Now we assume that t 1 F = = t n F . If r a n k ( M F ) < n then r a n k ( Q F ) < n , that is, λ i ( Q F ) = 0 for 1 + k i n , that is, t 1 F + λ i ( G ) = 0 as Q F = t 1 F I + A , that is, λ n ( G ) = t 1 F with the multiplicity at least n k . □
Corollary 7. 
All regular bipartite graphs and all clique-regular graphs with n > | F | satisfy the equality in (4).
Proof. 
First we assume that G is a regular bipartite graph. Since G is bipartite, we have t i F = d i for i [ n ] and q n = λ n ( Q ) = 0 . On the other hand, since G is regular, we have t 1 F = = t n F . These facts with Theorem 6 gives the fact that all regular bipartite graphs satisfies the equality in (4).
Next assume that G is a clique-regular graph with n > k = | F | . Since r a n k ( M F ) min { n , k } k < n , the desired result is obtained by Theorem 6. □
Theorem 6 holds for any clique partition F of G, which leads to the following result:
Corollary 8. 
Let G be a graph of order n and let t 1 F be the largest clique-degree of G with a given clique partition F. Then
λ n ( G ) min F t 1 F ,
where the minimum is over all clique partitions F of G.
The following example shows that for the equality λ n ( G ) = t 1 F the graph G does not need to be clique-regular.
Example 9. 
For the graph G given in Figure 2, we have
F = { 1 , 2 } , { 2 , 3 } , { 1 , 3 , 4 , 6 , 7 } , { 4 , 5 } , { 5 , 6 } .
This gives t i F = 2 for i [ 6 ] and t 7 F = 1 . The graph is the line graph of the graph H K 1 ( 2 K 2 K 1 ) of order 6 with 7 edges. Then the smallest eigenvalue of G is λ 7 ( G ) = λ 7 ( L H ) = 2 = t 1 F while t 1 F t 7 F .
In the following we provide a lower bound for the negative inertia of a graph G of order n.
Theorem 10. 
Let G be a graph of order n. Then
ν ( G ) n min F r a n k ( M F ) ,
where minimum is over all clique partitions F of G. Moreover, if min F r a n k ( M F ) < n , then t 1 F λ i ( G ) t n F for 1 + min F r a n k ( M F ) i n .
Proof. 
If min F r a n k ( M F ) = n , then the result in (6) is obvious. Assume that F 1 is a clique partition of G with r a n k ( M F 1 ) = min F r a n k ( M F ) < n . In this case, since r a n k ( Q F 1 ) = r a n k ( M F 1 ) and Q F 1 is positive semi-definite matrix, we have λ i ( Q F 1 ) = 0 for 1 + r a n k ( M F 1 ) i n . From this and the fact that t n F + λ i ( G ) λ i ( Q F 1 ) t 1 F + λ i ( G ) , we have t 1 F λ i ( G ) t n F < 0 for 1 + r a n k ( M F 1 ) i n , which gives the desired results. □
The following result is obtained by Theorem 10 and the fact r a n k ( M F ) | F | .
Corollary 11. 
Let G be a graph of the order n and a clique partition F such that n > | F | . Then
( i ) t 1 F λ i ( G ) t n F for | F | + 1 i n .
( i i ) ν ( G ) n | F | .
Considering F as a minimum clique partition of G, we arrive at the following result:
Corollary 12. 
Let G be a graph of the order n and clique partition number c p ( G ) . If c p ( G ) < n , then
( i ) t 1 F λ i ( G ) t n F for c p ( G ) + 1 i n .
( i i ) ν ( G ) n c p ( G ) .
For any graph G of order n we have [11]
α ( G ) min { n ν ( G ) , n ν + ( G ) } ,
where ν and ν + are the negative and positive parts of the inertia, respectively of the graph G. This implies that
ν ( G ) n α ( G ) .
In the following we give a sufficient condition under which the equality in (8) holds.
Theorem 13. 
Let G be a graph of order n with the independence number α ( G ) and the clique partition number c p ( G ) . If F is a clique partition with r a n k ( M F ) = α ( G ) , then ν ( G ) = n α ( G ) . In particular, if c p ( G ) = α ( G ) , then ν ( G ) = n α ( G ) .
Proof. 
By Theorem 10 we have
ν ( G ) n r a n k ( M F ) = n r a n k ( Q F ) = η ( Q F ) .
This fact along with (8) gives
η ( Q F ) ν ( G ) n α ( G ) .
The assumption that rank ( M F ) = α ( G ) is equivalent to η ( Q F ) = n α ( G ) . This with (9) gives the first required result.
Without loss of generality, we may assume that the vertex set [ α ] is a maximum independent set in G and C i is a clique of a minimum clique partition F m containing the vertex i [ α ] . Now in M F m we consider the submatrix induced by the rows and columns corresponding to the vertex set [ α ] and the clique set { C i : i [ α ] } , respectively. Obviously, this square principal submatrix is equivalent to the identity matrix of size α and hence rank ( Q F m ) rank ( I α ) = α . Since rank ( Q F m ) c p ( G ) and using the assumption c p ( G ) = α ( G ) we arrive at rank ( Q F m ) = α = rank ( M F m ) and therefore ν ( G ) = n α ( G ) by the first part of the theorem. □
The following result is obtained from (5).
Theorem 14. 
Let G be a graph of order n and the negative inertia ν . Let t i F be the ith largest clique-degree of G with a clique partition F. Then for 1 i ν , we have
λ n i + 1 ( G ) t i F .
Equality holds in (10) if G is a clique-regular graph with ν = n | F | .
Since R F is a positive semi-definite matrix, by a similar manner used in the proof of Theorem 6, we obtain the following result.
Theorem 15. 
Let G be a graph of order n with a clique partition F = { C 1 , , C k } and let | C i | = s i F for 1 i k such that s 1 F s 2 F s k F . Then
λ k ( P G ) s 1 F .
Equality holds in (11) if G is a s 1 F clique-uniform graph with k > n .
Proof. 
Since R F = S F + A ( P G ) is a positive semi-definite matrix, we have S F A ( P G ) and by Lemma 1, it follows that
λ i ( S F ) λ i ( A ( P G ) ) f o r 1 i k .
Considering i = 1 we have λ k ( P G ) = λ 1 ( A ( P G ) ) λ 1 ( S F ) = s 1 F , which gives the required result in (11).
Now assume that G is a s 1 F clique-uniform graph with k > n . By Theorem 3 (ii) with k > n , we arrive at λ i ( R F ) = 0 for n + 1 i k . On the other hand, since s 1 F = = s k F we have R F = s 1 F I k + A ( P G ) , and consequently λ i ( R F ) = s 1 F + λ i ( P G ) = 0 . That is, λ i ( P G ) = s 1 F for n + 1 i k , that is, λ k ( P G ) = s 1 F with multiplicity at least k n . □
Theorem 15 holds for any clique partition F of G, which gives the following result:
Corollary 16. 
Let G be a graph of order n with a clique partition F = { C 1 , , C k } and let | C i | = s i F for 1 i k such that s 1 F s 2 F s k F . Then
λ k ( P G ) min F s 1 F ,
where minimum is over all clique partitions F of G.
In the case of k > n , we have λ i ( R F ) = 0 for 1 + n i k by Theorem 3. Since s k F + λ i ( P G ) λ i ( R F ) s 1 F + λ i ( P G ) , we get s 1 F λ i ( P G ) s k F < 0 . We summarize this in the next result.
Theorem 17. 
Let G be a graph of order n and a clique partition F with | F | = k > n . Then
( i ) s 1 F λ i ( P G ) s k F for 1 + n i k .
( i i ) ν ( P G ) k n .
The following result follows from (12).
Theorem 18. 
Let G be a graph of order n with a clique partition F = { C 1 , , C k } and let | C i | = s i F for 1 i k such that s 1 F s 2 F s k F . If P G is the corresponding clique partition graph of G, then for 1 i ν ( P G ) ,
λ k i + 1 ( P G ) s i F .
Equality in (14) holds if G is a s 1 F clique-uniform graph with ν ( P G ) = k n .
The following concerns the signless Laplacian eigenvalues of a graph.
Theorem 19. 
Let G be a graph of order n and having a clique partition F with | F | = k and assume 1 i min { n , k } .
( i ) If G is a t clique-regular graph, then q i ( G ) λ i ( G ) t .
( i i ) If G is a s clique-uniform graph, then q i ( G ) λ i ( P G ) s .
Proof. 
From Section 3, the signless Laplacian matrix Q of G satisfies Q Q F . This fact with Lemma 1 gives q i ( G ) λ i ( Q F ) , where q i ( G ) and λ i ( Q F ) are respectively, the ith largest signless Laplacian eigenvalue of G and the the ith largest eigenvalue of matrix Q F . Using the above analysis combined with Theorem 3 and facts λ i ( Q F ) = t + λ i ( G ) and λ i ( R F ) = s + λ i ( P G ) implies the desired results in ( i ) and ( i i ) . □

3.2. Applications to energy of graphs and matrices

In this section, using the theory of vertex-clique incidence matrices of a graph, we introduce a new notion of graph energies, as a generalization of the incidence energy and the signless Laplacian energy of the graph. Finally, we present new upper bounds on energies of a graph, its clique partition graph and line graph.
The energy E ( G ) of the graph G defined in (2) has the equivalent expressions as follows [12]:
E ( G ) = 2 i = 1 ν + λ i = 2 i = 1 ν λ n i + 1 = 2 max 1 k n i = 1 k λ i = 2 max 1 k n i = 1 k λ n i + 1
where ν + and ν are respectively the positive and the negative inertia of G. Nikiforov [31,32,33] proposed a significant extension and generalization of the graph energy concept. The energy of an r × s matrix B is the summation of its singular values, that is,
E ( B ) = i = 1 s σ i ( B ) .
Consonni and Todeschini [10] introduced an entire class of matrix-based quantities, defined as
i = 1 n | x i x ¯ | ,
where x 1 , x 2 , , x n are the eigenvalues of the respective matrix, and x ¯ is their arithmetic mean.
According to (16) and (17), two types of energies can then be defined for any matrix B. The incidence energy I E ( G ) of a graph G is defined to be the energy of the incidence matrix of G of the type (16), i.e.,
I E ( G ) = E ( M ) = i = 1 m σ i ( M ) = i = 1 m λ i ( M T M ) = i = 1 n λ i ( M M T ) = i = 1 n q i .
Similarly, the vertex-clique incidence energy I E F ( G ) of G associated with the clique partition F is defined as the energy of the vertex-clique incidence matrix M F , i.e.,
I E F ( G ) = E ( M F ) = i = 1 k σ i ( M F ) = i = 1 k λ i ( M F T M F ) = i = 1 n λ i ( M F M F T ) = i = 1 n λ i ( Q F ) .
Observe
Q Q F = ( D + A ) ( D F + A ) = D D F = d i a g ( d 1 t 1 F , d 2 t 2 F , , d n t n F ) 0 .
From the above and using Lemma 1 we have q i = λ i ( Q ) λ i ( Q F ) and, consequently, we have
I E F ( G ) = i = 1 n λ i ( Q F ) i = 1 n q i = I E ( G )
with equality if and only if F = E .
Moreover,
i = 1 n λ i ( Q F ) = i = 1 n t i F , i = 1 n λ i 2 ( Q F ) = i = 1 n ( ( t i F ) 2 + t i F ) .
Applying the fact that the diagonal entries are majorized by the eigenvalues of Q F and by a similar method given in [13] it can be shown that
i = 1 n λ i ( Q F ) i = 1 n t i F .
Considering the energy of the matrix Q F of the type (17) gives
E ( Q F ) = i = 1 n λ i ( Q F ) t ¯ ,
where t ¯ = i = 1 n t i F n . The energy E ( Q F ) can be viewed as a generalization of the signless Laplacian energy L E + ( G ) of G which is defined as follows [1]:
L E + ( G ) = E ( Q ) = i = 1 n | q i 2 m n | .
Due to the similarity of the definitions for signless Laplacian energy L E + ( G ) and E ( Q F ) it follows that in most cases, results derived about L E + ( G ) can be generalized to E ( Q F ) . For example, from Lemma 2.12 in [12] for L E + ( G ) , we obtain the following:
E ( Q F ) = max 1 j n 2 i = 1 j λ i ( Q F ) 2 j t ¯ = 2 i = 1 τ λ i ( Q F ) 2 t ¯ τ ,
where τ is the largest positive integer such that λ τ ( Q F ) > t ¯ .
Using a method similar to the proof of Corollary 5 in [35] for Q F t ¯ I = D F t ¯ I + A , we have
E ( Q F ) E ( G ) i = 1 n | t i F t ¯ | .
In the next result, we show that for a clique-regular graph G associated with a clique partition F, E ( Q F ) = E ( G ) .
Theorem 20. 
If G is a clique-regular graph associated with a clique partition F, then E ( Q F ) = E ( G ) .
Proof. 
Suppose that G is t clique-regular. Then
E ( Q F ) = i = 1 n λ i ( Q F ) i = 1 n t i F n = i = 1 n λ i ( Q F ) t = i = 1 n λ i ( D F + A ( G ) ) t = i = 1 n λ i ( t I + A ( G ) ) t = i = 1 n λ i ( G ) = E ( G ) .
Note that for any t clique-regular graph G, we have I E F ( G ) = i = 1 n λ i ( Q F ) = i = 1 n t + λ i . Next we show that for a clique-uniform graph G we have E ( R F ) = E ( P G ) .
Theorem 21. 
If G is a clique-uniform graph with the clique partition graph P G , then E ( R F ) = E ( P G ) .
Proof. 
Suppose that G is a s clique-uniform graph. Then
E ( R F ) = i = 1 k | λ i ( R F ) i = 1 k s i F k | = i = 1 k λ i ( R F ) s = i = 1 k λ i ( S F + A ( P G ) ) s = i = 1 k λ i ( s I + A ( P G ) ) s = i = 1 k λ i ( P G ) = E ( P G ) .
Note that for any s clique-uniform graph G with the clique partition graph P G , we have
I E F ( G ) = i = 1 n λ i ( Q F ) = i = 1 k λ i ( R F ) = i = 1 k s + λ i ( P G ) .
In [12] Theorem 3.3, a relation between the energy of the line graph E ( L G ) and the signless Laplacian energy L E + ( G ) of G is given. In the following, we generalize this result by using the notion of clique partition of a graph and we provide a comparison between the energy of the clique partition graph E ( P G ) of P G and E ( Q F ) . For this we need the following lemma, which is obtained from Theorem 3 and is a generalization of Lemma 6.
Lemma 7. 
Let G be an s clique-uniform graph of order n associated with a clique partition F where | F | = k . Then
λ i ( Q F ) = λ i ( P G ) + s , f o r i { 1 , , min { n , k } } .
Theorem 22. 
Let G be an s clique-uniform graph of order n associated with a clique partition F where | F | = k .
( i ) If k < n , then E ( P G ) E ( Q F ) + 2 k s n 2 s .
( i i ) If k > n , then E ( P G ) E ( Q F ) + 2 k s n 2 s .
( i i i ) If k = n , then E ( P G ) = E ( Q F ) .
Proof. ( i ) Let ν + = ν + ( P G ) k < n . By Lemma 7 we have
i = 1 ν + λ i ( P G ) = i = 1 ν + ( λ i ( Q F ) s ) = i = 1 ν + λ i ( Q F ) s ν + .
On the other hand, from (15) we have
E ( P G ) = 2 i = 1 ν + λ i ( P G ) = 2 i = 1 ν + λ i ( Q F ) 2 s ν + 2 ν + i = 1 n t i F n + 2 ν + i = 1 n t i F n E ( Q F ) 2 s ν + + 2 ν + k s n a s ( ) , i = 1 n t i F = k s = E ( Q F ) + 2 ν + k s n s a s ν + 1 , k < n E ( Q F ) + 2 k s n 2 s .
( i i ) Recall that τ is the largest positive integer such that λ τ ( Q F ) t ¯ = k s n and let τ < n < k . Again by Lemma 7 we have
i = 1 τ λ i ( Q F ) = i = 1 τ ( λ i ( P G ) ) + s τ .
On the other hand, by (19) and Lemma 7 we have
E ( Q F ) = 2 i = 1 τ λ i ( Q F ) 2 k s τ n = 2 i = 1 τ λ i ( P G ) + 2 s τ 2 k s τ n .
From (15) with the above equation we have
E ( P G ) 2 i = 1 τ λ i ( P G ) = E ( Q F ) + 2 τ k s n s E ( Q F ) + 2 k s n 2 s .
( i i i ) If k n , then E ( P G ) E ( Q F ) by ( i ) and ( i i ) , i.e., if E ( P G ) = E ( Q F ) , then k = n . It suffices to show that if k = n , then E ( P G ) = E ( Q F ) . Indeed, if k = n , then
E ( Q F ) = i = 1 n | λ i ( Q F ) i = 1 n t i F n | = i = 1 n | λ i ( Q F ) k s n | .
From the fact k = n with Lemma 7 we have E ( Q F ) = i = 1 n | λ i ( P G ) | = E ( P G ) .
In the following, we present a new upper bound for the energy of a graph G.
Theorem 23. 
Let G be a graph of order n and the negative inertia ν = ν ( G ) and let t i F be the i t h largest clique degree associated with the clique partition F, for 1 i n . Then
E ( G ) 2 min F i = 1 ν t i F ,
where the minimum is given over all clique partitions F of G. Equality holds if G is a clique-regular graph associated with a minimum clique partition of size c p ( G ) = n ν .
Proof. 
From (15) and (10) we have
E ( G ) = 2 i = 1 ν λ n i + 1 2 i = 1 ν t i F ,
where t i F is i t h largest clique-degree of G associated with a clique partition F. Since this upper bound is valid for any clique partition of G, we select the optimal value, namely, min F 2 i = 1 ν t i F . The second part of the proof follows directly from Theorem 14. □
Theorem 24. 
Let G be a graph of order n with the vertex degrees d 1 d 2 d n . Then
E ( G ) 2 i = 1 h d i ,
where h = min { ν + , ν } .
Proof. 
Considering the fact t i F d i for i [ n ] along with Theorem 23 gives
E ( G ) 2 i = 1 ν d i .
On the other hand, the Laplacian matrix L = D A of G is a positive semi-definite matrix, so A D . From this with Lemma 1 we obtain λ i d i for 1 i n . Then E ( G ) = 2 i = 1 ν + λ i 2 i = 1 ν + d i . Using the previous inequality with (20) completes the proof. □
From Theorem 23 with (7) we obtain the following upper bound for the energy of G:
E ( G ) 2 i = 1 n α t i F 2 i = 1 n α d i ,
where α is the independence number of the graph G. By (15) and (14) and applying a similar method done for the proof of Theorem 23, we obtain the next result.
Theorem 25. 
Let G be a graph of order n with a clique partition F = { C 1 , , C k } and let | C i | = s i F for 1 i k such that s 1 F s 2 F s k F . For the clique partition graph P G of G, we have
E ( P G ) 2 min F i = 1 ν ( P G ) s i F .
Equality holds if G is a clique-uniform graph associated with a minimum clique partition of size c p ( G ) = n + ν ( P G ) .
Next, we present an upper bound for the energy E ( L G ) of the line graph L G with a full characterization of the corresponding extreme graphs.
Theorem 26. 
Let G be a graph with the line graph L G . Then
E ( L G ) 4 ν ( L G ) .
Equality holds if and only if G is a graph with connected components G i = ( V i , E i ) for i 1 with n i = | V i | and | E i | 2 , and possibly some isolated vertices or single edges. Further, each non-bipartite connected component G i satisfies | E i | > | V i | and q n i 2 , and each bipartite connected component G i is either a 4-cycle or satisfies | E i | > | V i | and q n i 1 2 .
Proof. 
As previously noted, if the clique partition F of G is as same as the edge set E of G, then s i F = 2 for i [ n ] and P G L G . This using Theorem 25, we have
E ( L G ) = 2 i = 1 ν ( L G ) λ m i + 1 ( P G ) 2 i = 1 ν ( L G ) 2 = 4 ν ( L G ) ,
which gives the desired result in (21).
To characterize these extreme graphs in (21), we assume equality holds in (22). Then all negative eigenvalues of P G must be 2 by (22). We then consider the following two cases:
C a s e 1 ) G is connected. First, assume that m > n . If G is non-bipartite, then by Lemma 6, λ i ( L G ) = 2 for n + 1 i m and λ n ( L G ) = q n 2 2 as q n 0 . Since λ n ( L G ) must be nonnegative, we have q n 2 . Otherwise G is bipartite and by Lemma 6 along with the fact q n ( G ) = 0 , λ i ( L G ) = 2 for n i m and λ n 1 ( L G ) = q n 1 2 2 as q n 1 0 . Since λ n 1 ( L G ) must be nonnegative, it follows that q n 1 2 . Next, assume that m = n . Since all negative eigenvalues of L G are equal to 2 , we have λ m ( L G ) = λ n ( L G ) = 2 . If ν = 1 , then Spec ( L G ) = { 2 , 0 , 0 , 2 } and then L G is the cycle graph C 4 of order 4. Otherwise ν 2 , and λ n 1 = 2 , that is, q n 1 = 0 , which is a contradiction as G is connected. Finally, assume that m < n . Since G is connected it must be a tree and hence m = n 1 . In this case we have λ m ( L G ) = λ n 1 ( L G ) = 2 , that is, q n 1 = 0 , which again leads to a contradiction.
C a s e 2 ) Assume G is disconnected. Since isolated vertices and single edges do not affect the negative inertia of L G , we may assume that G has connected components along with the possibility of some isolated vertices and single edges. Now each connected component of G can be characterized by the first case, and the proof is complete. □

4. Vertex-clique incidence matrix of a graph associated with an edge clique cover

In this section, we consider a slightly more general object of the vertex-clique incidence matrix, denoted by M F , associated with an edge clique cover F of a graph G. Recall that the ( i , j ) -entry of M F is real and nonzero if and only if the vertex i belongs to the clique C j F . To ensure M F M F T S ( G ) , we arrange the entries of M F such that the inner product of row i and column j (when i j ) in M F is nonzero if and only if i j E ( G ) .
As noted in the introduction studying the graph parameter q ( G ) represents a critical step in the much more general investigation of the inverse eigenvalue problem for graphs. One strategy for minimizing the number of distinct eigenvalues of M F M F T , we instead consider minimizing the number of distinct eigenvalues of M F T M F . Consequently achieving an upper bound on the parameter q ( G ) . The key technique used here is to generalize the vertex-clique incidence matrix obtained from an edge clique cover by considering arbitrary positive real entries for M F or any negative real entries for M F but paying careful attention to preserving the condition that M F M F T S ( G ) .

4.1. Applications to the minimum distinct eigenvalues of a graph

In this section, applying the tool of the vertex-clique incidence matrix of a graph associated with its edge clique cover, we characterize a few new classes of graphs with q ( G ) = 2 .
If G and H are graphs then the Cartesian product of G and H denoted by G H , is the graph on the vertex set V ( G ) × V ( H ) with { g 1 , h 1 } and { g 2 , h 2 } adjacent if and only if either g 1 = g 2 and h 1 and h 2 are adjacent in H or g 1 and g 2 are adjacent in G and h 1 = h 2 . The first statement in the next theorem can also be found in [2], however, we include a proof here to aid in establishing the second claim in the result below.
Theorem 27. 
Let G K s K 2 with s 3 . Then q ( G ) = 2 and G has an SSP matrix realization with two distinct eigenvalues.
Proof. 
Let M = M 1 M 2 , where M 1 = J s ( s 1 ) I s and M 2 = J s I s . Then we have
A = M M T = M 1 M 2 M 1 T M 2 T = M 1 M 1 T M 1 M 2 T M 2 M 1 T M 2 M 2 T = A 1 ( s 1 ) I s ( s 1 ) I s A 2 ,
where
A 1 = M 1 M 1 T = M 1 2 = ( s 1 ) 2 I s + ( 2 s ) J s , A 2 = M 2 M 2 T = M 2 2 = I s + ( s 2 ) J s ,
M 1 M 2 T = M 1 M 2 = ( s 1 ) I s .
From the structure of A, we have A S ( G ) . On the other hand,
M T M = M 1 T M 2 T M 1 M 2 = M 1 T M 1 + M 2 T M 2 = ( 2 s ) J s + ( s 1 ) 2 I s + I s + ( s 2 ) J s = c I s ,
where c = s 2 2 s + 2 . Hence Spec ( M M T ) = { c [ s ] , 0 [ s ] } and q ( G ) = 2 .
Now, we show that the matrix A has SSP. We need to prove that the only symmetric matrix satisfying A X = O , I X = O , and [ A , X ] = A X X A = O is X = O .
From the two equations A X = O , I X = O , X must have the following form: X = O X 1 X 1 T O , where X 1 = 0 x 12 x 1 s x 21 0 x 2 s x s 1 x s 2 0 . The equality A X = X A gives X 1 = X 1 T . Also, we have A 1 X 1 = X 1 A 2 , i.e., [ ( s 1 ) 2 I s + ( 2 s ) J s ] X 1 = X 1 [ I s + ( s 2 ) J s ] . Hence s X 1 = X 1 J s + J s X 1 . Then ( s X 1 ) i j = ( X 1 J s + J s X 1 ) i j for i , j [ s ] . Considering i = j = 1 , we have ( s X 1 ) 11 = 0 and ( X 1 J s + J s X 1 ) i i = 2 j = 1 s x 1 j , and then j = 1 s x 1 j = 0 . Considering ( i , j ) = ( k , k ) for 2 k s we arrive at j = 1 s x k j = 0 for 2 k s . This means that the row and column sums in X 1 are equal to zero. Now, consider i , j [ s ] where i j . We have
s x i j = ( s X 1 ) i j = ( X 1 J s + J s X 1 ) i j = ( X 1 J s ) i j + ( J s X 1 ) i j = k = 1 s x i k + k = 1 s x j k = 0 .
Thus X 1 = O s and consequently, X = O . Hence the proof is complete. □
Corollary 28. 
For even n, we have q ( C n ¯ ) = 2 .
Proof. 
Let G K n H and let H be the graph obtained from the complete bipartite graph K n / 2 , n / 2 by removing a perfect matching. Then by Theorem 27 and Lemma 3, for H or any subgraph of H, q ( G ) = 2 . Considering this with the fact that C n is a subgraph of H, the result is obtained. □
Theorem 29. 
Let G be a graph obtained from ( K s K 2 ) s K 1 by removing a perfect matching between s K 1 and a copy of K s . Then q ( G ) = 2 and G has an SSP matrix realization with two distinct eigenvalues.
Proof. 
Let M = M 1 M 2 I s , where M 1 = J s ( s 1 ) I s and M 2 = J s I s . Considering the fact that M 1 and M 2 are symmetric, we have
A = M M T = M 1 M 2 I s M 1 T M 2 T I s = M 1 M 1 T M 1 M 2 T M 1 I s M 2 M 1 T M 2 M 2 T M 2 I s M 1 M 2 I s = A 1 ( s 1 ) I s M 1 ( s 1 ) I s A 2 M 2 M 1 M 2 I s ,
where
A 1 = M 1 M 1 T = M 1 2 = ( s 1 ) 2 I s + ( 2 s ) J s , A 2 = M 2 M 2 T = M 2 2 = I s + ( s 2 ) J s ,
M 1 M 2 T = M 1 M 2 = ( s 1 ) I s .
From the structure of A, we have A S ( G ) . On the other hand,
M T M = M 1 T M 2 T I s M 1 M 2 I s = M 1 T M 1 + M 2 T M 2 + I s 2 = ( 2 s ) J s + ( s 1 ) 2 I s + I s + ( s 2 ) J s + I s = c I s ,
where c = s 2 2 s + 3 . This gives Spec ( M M T ) = { c [ s ] , 0 [ 2 s ] } , which proves q ( G ) = 2 .
Now, we show that the matrix A has SSP. We need to prove that the only symmetric matrix satisfying A X = O , I X = O , and [ A , X ] = A X X A = O is X = O .
From the two equations A X = O , I X = O , X must have the following form: X = O X 1 O X 1 T O X 2 O X 2 X 3 , where X 1 = 0 x 12 x 1 s x 21 0 x 2 s x s 1 x s 2 0 , X 2 = d i a g ( y 1 , , y s ) and X 3 = 0 z 12 z 1 s z 12 0 z 2 s z 1 s z 2 s 0 . The matrix equation
A X = X A
gives X 1 = X 1 T . From (24) we also have M 2 X 2 + X 3 = X 2 M 2 + X 3 , i.e., ( J s I s ) X 2 = X 2 ( J s I s ) , i.e., J s X 2 = X 2 J s . This gives y 1 = y 2 = = y s , i.e., X 2 = y 1 I s .
Again from (24), we have A 1 X 1 + M 1 X 2 = X 1 A 2 , that is, M 1 X 2 = X 1 A 2 A 1 X 1 , that is, ( J s ( s 1 ) I s ) ( y 1 I s ) = X 1 ( I s + ( s 2 ) J s ) ( ( s 1 ) 2 I s + ( 2 s ) J s ) X 1 , i.e.,
y 1 ( 2 s ) I s + y 1 J s = ( 2 s s 2 ) X 1 + ( s 2 ) X 1 J s + ( s 2 ) J s X 1 .
Considering a main diagonal entry, say ( i , i ) , in the above matrix equation, we obtain
j = 1 s x i j = y 1 2 .
Considering the ( i , j ) -entry in the above matrix equation, we obtain x i j = y 1 s 1 s 2 . From the above and (25), y 1 = 0 , that is, X 2 = O . Using the equation A 1 X 1 + M 1 X 2 = X 1 A 2 , we arrive at the matrix equation A 1 X 1 = X 1 A 2 . Following a similar argument as in the proof of Theorem 27 we obtain X 1 = O .
Again from (24), we have M 1 X 1 + X 2 = X 2 A 2 + X 3 M 2 . Since X 1 = X 2 = O , we get X 3 M 2 = O , i.e. X 3 = X 3 J s . Considering both the ( i , i ) and ( i , j ) entries from the matrix equation, we arrive at k = 1 s z i k = 0 and z i j = k = 1 s z i k = 0 , that is, X 3 = O , which gives X = O . □
Corollary 30. 
Consider the complete bipartite graph K s , s by removing a perfect matching. Define a new graph H by adding a copy of K s to this graph such that each vertex in K s is adjacent to the corresponding vertex in a copy of s K 1 . Then q ( H ¯ ) = 2 . Moreover, the result holds for any subgraph of H on the same vertex set.
In [34], the authors studied the problem of graphs requiring property p ( r , s ) . A graph G has p ( r , s ) if it contains a path of length r and every path of length r is contained in a cycle of length s. They prove that the smallest integer m so that every graph on n vertices with m edges has p ( 2 , 4 ) (or each path of length 2 is contained either in a 3-cycle, or a 4-cycle) is n 2 ( n 4 ) for all n 5 . Using this, it was noted in [5] that the above equation from [34] implies that the fewest number of edges required to guarantee that all graphs G on n vertices satisfy q ( G ) = 2 is at least n 2 ( n 3 ) . For small values of n, it is known that in fact, equality holds in the previous claim. Namely, if at most n 3 edges are removed from the complete graph K n with n 7 , then the resulting graph has a matrix realization with two distinct eigenvalues. Along these lines and based on [5] the following is a natural conjecture:
Conjecture 31. 
Removing up to n 3 edges from K n does not change the number of distinct eigenvalues of K n . That is, for any subgraph H of K n with | E ( H ) | n 3
q ( K n H ) = 2 .
We confirm Conjecture 31 for n = 7 , 8 and note that our analysis of the case n = 7 differs slightly from [5]. For this, we need the next few lemmas.
Lemma 8. 
Let T 1 be the tree given in Figure 3. We have q ( T 1 ¯ ) = 2 and T 1 ¯ has an SSP matrix realization with two distinct eigenvalues.
Proof. 
Consider the 7 × 4 matrix M 1 as follows:
M 1 = 1 2 2 1 2 1 2 2 2 2 1 2 1 2 2 0 2 1 2 0 2 2 1 0 1 0 0 0 .
Using the Gram-Schmidt method we can arrive at a column orthonormal matrix M 2 . In this case we have A = M 2 M 2 T S ( T 1 ¯ ) . Also M 2 T M 2 = I 4 and then Spec ( A ) = { 1 [ 4 ] , 0 [ 3 ] } . This proves that q ( T 1 ¯ ) = 2 . Furthermore, A has SSP (this can be confirmed using SageMath), and by Lemma 3, the complement of any subgraph of T 1 on the same vertex set also has a matrix realization with two distinct eigenvalues. □
Lemma 9. 
Let G K 1 , 3 K 3 . Then q ( G ¯ ) = 2 and G ¯ has an SSP matrix realization with two distinct eigenvalues.
Proof. 
Consider the 7 × 3 matrix M 1 corresponding to the labeled graph G given in Figure 4 as follows:
M 1 = 1 2 2 2 1 2 2 2 1 1 1 1 1 1 1 2 0 2 0 2 0 .
A = M 1 M 1 T S ( G ¯ ) . Also M 1 T M 1 = 13 I 3 and then Spec ( A ) = { 13 [ 3 ] , 0 [ 4 ] } . This proves that q ( G ¯ ) = 2 . Furthermore, A has SSP (a computation that can be verified by SageMath), and by Lemma 3, the complement of any subgraph of G on the same vertex set also has a matrix realization with two distinct eigenvalues. □
We now verify that Conjecture 31 holds for n = 7 .
Theorem 32. 
Removing up to 4 edges from K 7 does not change the number of distinct eigenvalues of K 7 , i.e., for any subgraph H of K 7 on 7 vertices, with | E ( H ) | 4 we have
q ( K 7 H ) = 2 .
Proof. 
It suffices to show H ¯ for any graph H in Figure 5 has a matrix realization with two distinct eigenvalues. Suppose that the graphs in Figure 5 are denoted by H i for i [ 10 ] from left to right in each row. Then the graphs H i for i = 1 , 3 , 7 , 8 , 10 are the union of complete bipartite graphs with some isolated vertices. By Lemma 4 (2), the complements of these graphs and any subgraph of these graphs have a matrix realization with two distinct eigenvalues. Also q ( H i ¯ ) = 2 for i = 4 , 5 , 9 and for any subgraph H i of H i , q ( H i ¯ ) = 2 by Lemma 8. Moreover, q ( H 6 ¯ ) = 2 and for any subgraph H 6 of H 6 , q ( H 6 ¯ ) = 2 by Lemma 9. Additionally, from Lemmas 8 and 9 such realizations exists with the SSP. Hence any subgraph of these graphs have a matrix realization with two distinct eigenvalues. To complete the proof, we only need to show the complement graph of H 2 has a matrix realization with two distinct eigenvalues with the SSP. To this end, consider the 7 × 3 matrix M 1 as follows:
M 1 = 1 2 1 2 1 2 2 2 2 1 2 0 2 1 0 2 2 0 1 0 0 .
Using the Gram-Schmidt method we can arrive at a column orthonormal matrix M 2 . We have A = M 2 M 2 T S ( H 2 ¯ ) . Also M 2 T M 2 = I 3 and then Spec ( A ) = { 1 [ 3 ] , 0 [ 4 ] } . Hence q ( H 2 ¯ ) = 2 . Furthermore, A has SSP (a computation that van be verified by SageMath), and by Lemma 3, the complement of any subgraph of H 2 on the same vertex set also has a matrix realization with two distinct.
We require the following results to confirm Conjecture 31 for n = 8 .
Lemma 10. 
Let G H 1 2 K 1 , where H 1 is the graph on the left given in Figure 6. Then q ( G ¯ ) = 2 and G ¯ has an SSP matrix realization with two distinct eigenvalues.
Proof. 
Given G as assumed it can be shown without too much difficulty that G ¯ ( H 2 K 3 ) e , where H 2 is the graph on the right given in Figure 6 minus an edge e with one endpoint in K 3 and the other endpoint in H 2 with degree three.
Suppose M = M 1 M 2 , is a vertex-clique incidence matrix of G ¯ , where the blocks M 1 and M 2 are vertex-clique incidence matrices corresponding to graphs H 2 and K 3 , that is, M M T S ( G ¯ ) . From (23) we have M 1 M 1 T S ( H 2 ) and M 2 M 2 T S ( K 3 ) . On the other hand, we have
M T M = M 1 T M 1 + M 2 T M 2 .
Consider a vertex-clique incidence matrix M 1 as follows:
M 1 = 1 0 0 1 0 1 1 1 0 0 2 0 0 0 2 .
Then we have M 1 M 1 T S ( H 2 ) and M 1 T M 1 = 3 1 1 1 3 0 1 0 3 . Given M 1 above, the remainder of the proof is devoted to constructing a matrix M 2 so that following (26) we have M T M = c I 3 , for some scalar c. Consider a matrix M 2 so that
M 2 T M 2 = a 1 1 1 a 0 1 0 a ,
where a is a constant. Suppose the matrix M 2 = x 1 y 1 z 1 x 2 y 2 z 2 x 3 y 3 z 3 . This with (27) leads to the following equations:
x 1 2 + x 2 2 + x 3 2 = y 1 2 + y 2 2 + y 3 2 = z 1 2 + z 2 2 + z 3 2 = a ,
x 1 y 1 + x 2 y 2 + x 3 y 3 = 1 , x 1 z 1 + x 2 z 2 + x 3 z 3 = 1 , y 1 z 1 + y 2 z 2 + y 3 z 3 = 0 .
Solving this system of non-linear equations, we have a candidate matrix M 2 : M 2 = 1 1 z 1 1 2 z 2 2 1 z 3 , where z 1 = 1 7 ( 2 51 1 ) , z 2 = 1 35 ( 6 51 + 4 ) , and z 3 = 1 35 ( 2 51 + 13 ) . Thus
M = 1 0 0 1 0 1 1 1 0 0 2 0 0 0 2 1 1 z 1 1 2 z 2 2 1 z 3 .
It is obvious that M M T S ( G ¯ ) and M T M = 9 I 3 . Then by the fact that matrices A B and B A have same nonzero eigenvalues, we have Spec ( M M T ) = { 9 [ 3 ] , 0 [ 5 ] } , and then q ( G ¯ ) = 2 . Moreover, applying a basic computation from SageMath, we can confirm that M M T has SSP and this completes the proof. □
By Lemma 10, G ¯ has an SSP realization A = M M T with two distinct eigenvalues. Then by Lemma 3, any supergraph on the same vertex set as G has a realization with the same spectrum as A. In particular, q ( H 2 K 3 ) = 2 . This is stated in the following corollary.
Corollary 33. 
Let G H 2 3 K 1 , where H 2 is the right graph given in Figure 6. Then q ( G ¯ ) = 2 and G ¯ has an SSP matrix realization with two distinct eigenvalues.
Lemma 11. 
Let G H 3 3 K 1 , where H 3 is obtained from C 5 by joining a vertex to any vertex in C 5 . Then q ( G ¯ ) = 2 and G ¯ has an SSP matrix realization with two distinct eigenvalues.
Proof. 
We know that G ¯ ( C 5 K 3 ) e , where e is an edge with one endpoint in K 3 and the other in C 5 . Suppose M = M 1 M 2 , is a vertex-clique incidence matrix of G ¯ , where blocks M 1 and M 2 are vertex-clique incidence matrices corresponding to graphs C 5 and K 3 , that is, M M T S ( G ¯ ) . From (23) we have M 1 M 1 T S ( C 5 ) and M 2 M 2 T S ( K 3 ) . On the other hand, we also have the equations in (26). Now, we consider a vertex-clique incidence matrix M 1 as follows:
M 1 = 1 0 0 1 1 0 1 1 1 0 1 1 0 0 1 .
Then M 1 M 1 T S ( C 5 ) and M 1 T M 1 = 3 0 1 0 3 0 1 0 3 . Given M 1 above, the remainder of the proof is devoted to constructing a matrix M 2 so that following (26) we have M T M = c I 3 , for some scalar c. We need to create a matrix M 2 so that
M 2 T M 2 = a 0 1 0 a 0 1 0 a ,
where a is a constant. Suppose M 2 = x 1 y 1 z 1 x 2 y 2 z 2 x 3 y 3 z 3 . This with (28) leads to the following equations:
x 1 2 + x 2 2 + x 3 2 = y 1 2 + y 2 2 + y 3 2 = z 1 2 + z 2 2 + z 3 2 = a ,
x 1 y 1 + x 2 y 2 + x 3 y 3 = 0 , x 1 z 1 + x 2 z 2 + x 3 z 3 = 1 , y 1 z 1 + y 2 z 2 + y 3 z 3 = 0 .
Solving these non-linear equations we have M 2 = 1 3 0 1 3 1 3 1 2 1 3 1 3 1 2 1 3 . Thus we have
M = 1 0 0 1 1 0 1 1 1 0 1 1 0 0 1 1 3 0 1 3 1 3 1 2 1 3 1 3 1 2 1 3 .
It is clear that M M T S ( G ¯ ) and M T M = 4 I 3 . Then by the fact that matrices A B and B A have same nonzero eigenvalues, we have Spec ( M M T ) = { 4 [ 3 ] , 0 [ 5 ] } , and q ( G ¯ ) = 2 . Moreover, applying a basic computation from SageMath, it follows that M M T has SSP and this completes the proof. □
By Lemma 11, G ¯ has an SSP realization A = M M T with two distinct eigenvalues. By Lemma 3, any supergraph on the same set of vertices as G has a matrix realization with same spectrum as A. Thus q ( C 5 K 3 ) = 2 . This is stated in the following corollary.
Corollary 34. 
Let G C 5 3 K 1 . Then q ( G ¯ ) = 2 and G ¯ has an SSP matrix realization with two distinct eigenvalues.
Proposition 35. 
Let G K 3 K 1 , n 4 , where n 7 . Then q ( G ¯ ) = 2 and G ¯ has an SSP matrix realization with two distinct eigenvalues.
Proof. 
We show that the complement of G has a matrix realization with two distinct eigenvalues with the SSP. Consider n × 3 matrix M 1 with rows labeled as given in Figure 7 for n = 8 :
M 1 = 1 2 2 2 1 2 2 2 1 2 0 2 0 2 n 4 0 0 2 n 4 0 .
We have A = M 1 M 1 T S ( G ¯ ) . Also M 1 T M 1 = 11 I 3 and then Spec ( A ) = { 11 [ 3 ] , 0 [ n 3 ] } . This proves that q ( G ¯ ) = 2 . To verify that A has SSP, suppose X is a symmetric matrix such that A X = O , I X = O , and [ A , X ] = A X X A = O . Note to verify [ A , X ] = A X X A = O it is equivalent to prove that A X is symmetric. Now assume that X has the form:
X = 0 O x T O X 1 O x O O , where X 1 = 0 a b a 0 c b c 0 ,
and x is a (possibly) nonzero vector of size n 4 . Since A X is symmetric, comparing the (1,3) and (3,1) blocks of A X we note that α J x = 4 x . So if we set β = 1 1 T x , then x = α 4 β 1 1 . Comparing the (1,2) and (2,1) blocks of A X gives
2 α β = 4 2 a 2 b = 2 b + 4 2 c , and α β = 2 a 2 c .
Hence it follows that a = c and β = 2 2 a α . Finally, comparing the (2,3) and (3,2) blocks of A X , we have
a α 2 b α = 2 a α 2 c α = 2 b α + c α = α 4 β 2 = a 2 2 α .
From the above equations we deduce that b = 3 2 a . Substituting the equations a = c , β = 2 2 a α , and b = 3 2 a into the equation 2 α β = 2 b + 4 2 c , yields 4 2 a = 3 2 a 4 2 a . Assuming a 0 , implies an immediate contradiction. Thus a = 0 , and it follows, based on the analysis above that X = 0 . Hence A has the SSP. Using the fact that this matrix realization has the SSP together with Lemma 3, it follows that the complement of any subgraph of G on the same vertex set also realizes distinct eigenvalues. □
Lemma 12. 
Let G be the graph given in Figure 8. Then q ( G ¯ ) = 2 and G ¯ has an SSP matrix realization with two distinct eigenvalues.
Proof. 
We show that the complement graph of G has a matrix realization with two distinct eigenvalues with the SSP. To do this, first we consider 8 × 3 matrix M as follows:
M = 15 2 0 0 0 1 1 0 1 1 0 1 2 0 2 1 1 1 0 1 0 1 2 2 2 2 .
We have A = M M T S ( G ¯ ) . Also M T M = 10 I 3 so Spec ( A ) = { 10 [ 3 ] , 0 [ 5 ] } . This proves that q ( G ¯ ) = 2 . Furthermore, A has SSP (observed using SageMath) and by Lemma 3, the complement of any subgraph of G on the same vertex has a matrix realization having two distinct eigenvalues. □
Now we are in a position to establish that Conjecture 31 holds for n = 8 .
Theorem 36. 
Removing up to 5 edges from K 8 does not change the number of distinct eigenvalues of K 8 , i.e., for any subgraph H on 8 vertices of K 8 with | E ( H ) | 5 ,
q ( K 8 H ) = 2 .
Proof. 
It suffices to show H ¯ for any graph H in Figure 9 has a matrix realization with two distinct eigenvalues. Suppose that the graphs in Figure 9 are denoted by H i for i [ 24 ] from left to right in each row. The graphs H i for i = 1 , 2 , 9 , 10 , 15 , 22 , 23 are the union of complete bipartite graphs with some isolated vertices. By Lemma 4 (2), the complements of these graphs and any subgraph of these graphs have a matrix realization with two distinct eigenvalues. Also q ( H i ¯ ) = 2 for i = 5 , 11 , 12 , 16 , 17 , 18 , 19 , 20 , 24 and for any subgraph H i of H i , q ( H i ¯ ) = 2 by Theorem 27. For i = 3 , 7 , 8 , 13 , 14 , we have q ( H i ¯ ) = 2 and for any subgraph H i of H i , q ( H i ¯ ) = 2 by Lemma 12. Additionally, from Theorem 27 and Lemma 12 such realizations exists with the SSP. Hence any subgraph of these graphs have a matrix realization with two distinct eigenvalues.
Further q ( H 21 ¯ ) = q ( ( 2 K 2 K 1 ) K 3 ¯ ) = q ( G 3 K 1 ) = 2 by Lemma 5, where the graph G = 2 K 2 K 1 ¯ = K 2 , 2 K 1 is connected. If we remove any edges in H 21 from the triangle, then the complement of the result graph has at least two distinct eigenvalues by Lemma 4 (2), and if we remove any edges in H 21 from out of the triangle, again by 5 we can see that the complement of the result graph has at least two distinct eigenvalues. We have q ( H 4 ¯ ) = 2 and the complement of any subgraph of this graph has a matrix realization with two distinct eigenvalues, by Corollary 33. Moreover, q ( H 6 ¯ ) = 2 , and the complement of any subgraph of this graph also has a matrix realization with two distinct eigenvalues, by Corollary 34. This completes the proof of the theorem. □

5. Concluding remarks and open problems

In this work, we utilized the notions of a clique partition and an edge clique cover of a graph to introduce and explore the various properties of a vertex-clique incidence matrix of the graph, which can be viewed as a generalization of the vertex-edge incidence matrix. Using these new incidence matrices, we obtained sharp interesting lower bounds concerning the negative eigenvalues and thus the negative inertia of a graph, and we generalize the notion of the line graph of a graph by introducing the clique partition graph of the given graph. Additionally, we determined the relations between the spectrum of a graph and its clique partition graph. Further, we generalized the notion of incidence energy and signless Laplacian energy of a graph and provided some novel upper bounds for the energies of a graph, its clique partition graph, and the line graph. Finally, applying a general version of a vertex-clique incidence matrix of a graph associated with its edge clique cover, we were able to characterize a few classes of graphs with q ( G ) = 2 . To close we list two important and unresolved issues related to some of the content of the current work.
Problem 1: Characterize the corresponding extreme graphs for which the inequalities given in (4), (6), (10), (13), and (14) hold with equality.
Problem 2: Prove that Conjecture 31 is valid for any graph G of order at least 9.

Acknowledgments

Dr. Fallat’s research was supported in part by an NSERC Discovery Research Grant, Application No.: RGPIN-2019-03934.

References

  1. N. Abreu, D. M. Cardoso, I. Gutman, E. A. Martins, M. Robbiano, Bounds for the signless Laplacian energy, Linear Algebra Appl., 435 (2011) 2365–2374. [CrossRef]
  2. B. Ahmadi, F. Alinaghipour, M.S. Cavers, S. M. Fallat, K. Meagher, and S. Nasserasr, Minimum number of distinct eigenvalues of graphs, Elec. J. Lin. Alg., 26 (2013) 673–691. [CrossRef]
  3. J. Ahn, C. J. Ahn, C. Alar, B. Bjorkman, S. Butler, J. Carlson, A. Goodnight, H. Knox, C. Monroe, M.C. Wigal, Ordered multiplicity inverse eigenvalue problem for graphs on six vertices, Elec. J. Lin. Alg., 37 (2021) 316–358. [CrossRef]
  4. W. Barrett, S. W. Barrett, S. Fallat, H.T. Hall, L. Hogben, J.C.-H. Lin, B.L. Shader, Generalizations of the strong Arnold property and the minimum number of distinct eigenvalues of a graph, Electron. J. Combin., 24(2) (2017) 1–28. [CrossRef]
  5. W. Barrett, S. W. Barrett, S. Fallat, V. Furst, S. Nasserasr, B. Rooney, M. Tait. Private Communication. 2022.
  6. W. Barrett, H. W. Barrett, H. van der Holst, and R. Loewy, Graphs whose minimal rank is two, Electron. J. Lin. Alg., 11 (2004) 258–280.
  7. D. S. Bernstein, Matrix Mathematics, Princeton University Press, New York, 2005.
  8. M. S. Cavers, Clique partitions and coverings of graphs, Masters thesis, Waterloo, Ontario, Canada, 2005.
  9. Z. Chen, M. Z. Chen, M. Grimm, P. McMichael, and C.R. Johnson, Undirected graphs of Hermitian matrices that admit only two distinct eigenvalues, Linear Algebra Appl., 458 (2014) 403–428. [CrossRef]
  10. V. Consonni, R. V. Consonni, R. Todeschini, New spectral indices for molecule description, MATCH Commun. Math. Comput. Chem., 60 (2008) 3–14.
  11. D. Cvetković, P. D. Cvetković, P. Rowlinson, S. Simić, An introduction to the theory of graph spectra, Cambridge University Press, Cambridge, 2012.
  12. K. C. Das, S. A. K. C. Das, S. A. Mojallal, Relation between signless Laplacian energy, energy of graph and its line graph, Linear Algebra Appl., 493 (2016) 91–107. [CrossRef]
  13. K. C. Das, S. A. K. C. Das, S. A. Mojallal, I. Gutman, Relations between Degrees, Conjugate Degrees and Graph Energies, Linear Algebra Appl., 515 (2017) 24–37. [CrossRef]
  14. P. Erdös, A. W. P. Erdös, A. W. Goodman, L. Pósa, The representation of a graph by set intersections, Can. J. Math., 18 (1966) 106–112. [CrossRef]
  15. S. Fallat, L. S. Fallat, L. Hogben, The minimum rank of symmetric matrices described by a graph: A survey, Linear Algebra Appl., 426 (2007) 558–582. [CrossRef]
  16. S. Fallat, L. S. Fallat, L. Hogben, Variants on the minimum rank problem: A survey II, Preprint, arXiv:1102-5142v1, 2011. [CrossRef]
  17. W. E. Ferguson, The construction of Jacobi and periodic Jacobi matrices with prescribed spectra, Math. Comp., 35 (1980) 1203–1220.
  18. C. Godsil, G. C. Godsil, G. Royle, Algebraic Graph Theory, Springer, New York, 2001.
  19. I. Gutman, Bounds for total π-electron energy of polymethines, Chem. Phys. Lett., 50 (1977) 488–490. [CrossRef]
  20. I. Gutman, Bounds for all graph energies, Chem. Phys. Lett., 528 (2012) 72–74. [CrossRef]
  21. I. Gutman, M. I. Gutman, M. Robbiano, E. A. Martins, D. M. Cardoso, L. Medina, O. Rojo, Energy of line graphs, Linear Algebra Appl., 433 (2010) 1312–1323. [CrossRef]
  22. F. Harary, Graph Theory, Addison-Wesley, Reading, 1972.
  23. L. Hogben, Spectral graph theory and the inverse eigenvalue problem of a graph, Electron. J. Lin. Alg., 14 (2005) 12–31.
  24. J. Koolen, V. J. Koolen, V. Moulton, Maximal energy graphs, Adv. Appl. Math., 26 (2001) 47–52. [CrossRef]
  25. R. H. Levene, P. R. H. Levene, P. Oblak, H. Šmigoc, A Nordhaus–Gaddum conjecture for the minimum number of distinct eigenvalues of a graph, Linear Algebra Appl., 564 (2019) 236–263. [CrossRef]
  26. R. H. Levene, P. R. H. Levene, P. Oblak, H. Šmigoc, Orthogonal symmetric matrices and joins of graphs, Linear Algebra Appl., 652 (2022), 213–238.
  27. B.-J. Li, G. J. B.-J. Li, G. J. Chang, Clique coverings and partitions of line graphs, Discrete Math., 308 (2008) 2075–2079. [CrossRef]
  28. X. Li, Y. X. Li, Y. Shi, I. Gutman, Graph energy, Springer, New York, 2012.
  29. B. J. McClelland, Properties of the latent roots of a matrix: The estimation of π-electron energies. J. Chem. Phys., 54. (1971) 640–643. [CrossRef]
  30. S. McGuinness, R. S. McGuinness, R. Rees, On the number of distinct minimal clique partitions and clique covers of a line graph, Discrete Math., 83 (1990) 49–62. [CrossRef]
  31. V. Nikiforov, The energy of graphs and matrices, J.Math. Anal. Appl., 326 (2007) 1472–1475. [CrossRef]
  32. V. Nikiforov, Graphs and matrices with maximal energy, J. Math. Anal., Appl. 327 (2007) 735–738. [CrossRef]
  33. V. Nikiforov, Extremal norms of graphs and matrices, J. Math. Sci., 182 (2012) 164–174. [CrossRef]
  34. K.B. Reid and C. Thomassen, Edge sets contained in circuits, Israel J. of Math., 24 (1976) 305–319. [CrossRef]
  35. W. So, M. W. So, M. Robbiano, N. M. de Abreu, I. Gutman, Applications of a theorem by Ky Fan in the theory of graph energy, Linear Algebra Appl., 432 (2010) 2163–2169. [CrossRef]
Figure 1. The graph G K 2 , 2 , 2 .
Figure 1. The graph G K 2 , 2 , 2 .
Preprints 79933 g001
Figure 2. The Graph G.
Figure 2. The Graph G.
Preprints 79933 g002
Figure 3. Tree T 1 .
Figure 3. Tree T 1 .
Preprints 79933 g003
Figure 4. The graph G.
Figure 4. The graph G.
Preprints 79933 g004
Figure 5. All graphs with 7 vertices and 4 edges.
Figure 5. All graphs with 7 vertices and 4 edges.
Preprints 79933 g005
Figure 6. The graphs H 1 (left) and H 2 (right).
Figure 6. The graphs H 1 (left) and H 2 (right).
Preprints 79933 g006
Figure 7. The graph G.
Figure 7. The graph G.
Preprints 79933 g007
Figure 8. The graph G.
Figure 8. The graph G.
Preprints 79933 g008
Figure 9. All graphs with 8 vertices and 5 edges.
Figure 9. All graphs with 8 vertices and 5 edges.
Preprints 79933 g009
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

© 2024 MDPI (Basel, Switzerland) unless otherwise stated