Volume 2020, Issue 1 8855987
Research Article
Open Access

The Distance Laplacian Spectral Radius of Clique Trees

Xiaoling Zhang

Corresponding Author

Xiaoling Zhang

School of Mathematics and Information Sciences, Yantai University, Yantai, Shandong 264005, China ytu.edu.cn

Search for more papers by this author
Jiajia Zhou

Jiajia Zhou

School of Mathematics and Information Sciences, Yantai University, Yantai, Shandong 264005, China ytu.edu.cn

Search for more papers by this author
First published: 09 December 2020
Citations: 15
Academic Editor: M Javaid

Abstract

The distance Laplacian matrix of a connected graph G is defined as ℒ(G) = Tr(G) − D(G), where D(G) is the distance matrix of G and Tr(G) is the diagonal matrix of vertex transmissions of G. The largest eigenvalue of ℒ(G) is called the distance Laplacian spectral radius of G. In this paper, we determine the graphs with maximum and minimum distance Laplacian spectral radius among all clique trees with n vertices and k cliques. Moreover, we obtainn vertices and k cliques.

1. Introduction

In this paper, we consider simple connected graphs [1]. A graph G is represented by G = (V(G), E(G)), in which the set V(G) = {v1, v2, …, vn} represents its vertex set and E(G) is the edge set connecting pairs of distinct vertices. The number n = |V(G)| is referred to as the order of G. The distance matrix of G is the n × n matrix , where dG(u, v) denotes the distance between vertices u and v in G, i.e., the length of a shortest path from u to v in G. For uV(G), the transmission of u in G, denoted by TrG(u), is defined as the sum of distances from u to all other vertices of G. Let Tr(G) be the diagonal matrix of vertex transmissions of G. In 2013, Aouchiche and Hansen [2] first gave the definition of distance Laplacian matrix: for a connected graph G, ℒ(G) = Tr(G) − D(G), where ℒ(G) denotes the distance Laplacian matrix. Obviously, ℒ(G) is a positive semidefinite, symmetric, and singular matrix. The distance Laplacian eigenvalues of G, denoted by λ1(G) ≥ λ2(G) ≥ ⋅⋅⋅≥λn(G) = 0, are the eigenvalues of ℒ(G). Especially, the largest eigenvalue λ1(G) is the distance Laplacian spectral radius of G. The positive unit eigenvector, i.e., all components of the eigenvector are positive, corresponding to λ1(G) is called the Perron eigenvector of ℒ(G).

For a graph G, two vertices are called adjacent if they are connected by an edge and two edges are called incident if they share a common vertex. The set of vertices that are adjacent to a vertex vV(G) is called the neighborhood of v and is presented by NG(v). As usual, let Kn, K1,n−1, and Pn denote the complete graph, the star, and the path with order n, respectively. G is a connected graph, XV(G), GX is not connected, and then X is a cut-vertex set. If X has only vertex v, then v is a cut-vertex. A block of G is a maximal connected subgraph of G that has no cut-vertex. A block is a clique if the block is a complete graph. A graph G is a clique tree if each block of G is a clique. We call a clique path if we replace each edge of Pk+1 by a clique such that for i = 1,2, …, k − 2 and for ji − 1, i + 1 and 2 ≤ ik − 1. We call a clique star if we replace each edge of the star K1,k with a clique such that for ij and i, j = 1,2, …, k (see Figure 1).

Details are in the caption following the image
A clique star and a clique path.

Recently, Xing and Zhou [3] characterized the unique graph with minimum distance Laplacian spectral radius among all the bicyclic graphs with fixed number of vertices; Aouchiche and Hansen [4] showed that the star K1,n is the unique tree with the minimum distance Laplacian spectral radius among all trees; Lin et al. [5, 6] determined the unique graph with minimum distance Laplacian spectral radius among all the trees with fixed bipartition, nonstar-like trees, noncaterpillar trees, nonstar-like noncaterpillar trees, and the graph with fixed edge connectivity at most half of the order, respectively; Niu et al. [7] determined the unique graph with minimum distance Laplacian spectral radius among all the bipartite graphs with fixed matching number and fixed vertex connectivity, respectively; Fan et al. [8] determined the graph with minimum distance Laplacian spectral radius among all the unicyclic and bicyclic graphs with fixed numbers of vertices, respectively; Lin and Zhou [9] determined the unique graph with maximum distance Laplacian spectral radius among all the unicyclic graphs with fixed numbers of vertices.

In 2019, Cui et al. [10] investigated a convex combination of Tr(G) and D(G) in the form of Dα(G) = αTr(G) + (1 − α)D(G), 0 ≤ α ≤ 1, which is called the generalized distance matrix. Alhevaz et al. [11] gave some new upper and lower bounds for the generalized distance energy of graphs which are established based on parameters including the Wiener index and the transmission degrees and found that the complete graph has the minimum generalized distance energy among all connected graphs; Lin and Drury et al. [12] established some bounds for the generalized distance Gaussian Estrada index of a connected graph, involving the different graph parameters, including the order, the Wiener index, the transmission degrees, and the parameter α ∈ [0,1], and characterized the extremal graphs attaining these bounds; Alhevaz et al. [13] obtained some bounds for the generalized distance spectral radius of graphs using graph parameters like the diameter, the order, the minimum degree, the second minimum degree, the transmission degree, and the second transmission degree and characterized the extremal graphs; Alhevaz et al. [14] studied the generalized distance spectrum of join of two regular graphs and join of a regular graph with the union of two different regular graphs; Shang [15] established better lower and upper bounds to the distance Estrada index for almost all graphs.

The distance Laplacian energy is defined as , where t(G) is the average transmission of G and is defined by . Although there has been extensive work done on the distance Laplacian spectral radius of graphs, relatively little is known in regard to distance Laplacian energy. The distance Laplacian energy was first introduced in [16], where several lower and upper bounds were obtained; Das et al. [17] gave some lower bounds on distance Laplacian energy in terms of n for graphs and trees and characterized the extremal graphs and trees. In this paper, first, we not only get the distance Laplacian eigenvalues of all clique stars but also get their distance Laplacian energies; second, we prove all clique stars are the graphs with minimum distance Laplacian spectral radius among all clique trees with n vertices and k cliques. Then, we show that the clique path for m ≥ 3 is the graph with maximum distance Laplacian spectral radius among all clique trees with n vertices and k cliques.

2. Preliminaries

Let G = (V, E) be a connected graph with V(G) = {v1, v2, …, vn}. A column vector can be considered as a function defined on V(G) which maps vertex vi to , i.e., for i = 1,2, …, n. Then,
(1)
and λ is a distance Laplacian eigenvalue with corresponding eigenvector x if and only if x ≠ 0, for each uV(G),
(2)
or equivalently
(3)

The above equation is called the eigenequation of G at u.

Note that is an eigenvector of ℒ(G) corresponding to λn(G) = 0. For n ≥ 2, if x is an eigenvector of ℒ(G) corresponding to λ1(G), we have xT1n = 0.

For a unit column vector xn, by Rayleigh’s principle, we have λ(G) ≥ xTℒ(G)x with equality if and only if x is an eigenvector of ℒ(G) corresponding to λ(G).

The following is the well-known Cauchy interlacing theorem.

Lemma 1 (Cauchy interlace theorem) (see [1].)Let A be a Hermitian matrix with eigenvalues λ1 ≥ ⋯≥λn and B be one of its principal submatrices. Let B have eigenvalues μ1 ≥ ⋯≥μm. Then, the inequalities λnm+iμiλi(i = 1, …, m) hold.

Lemma 2 (see [6].)Let G be a connected graph with three induced subgraphs G1, G2, and G3 such that |V(Gi)| ≥ 2 for i = 1,2,3 and V(Gi)∩V(Gj) = {u} for 1 ≤ i < j ≤ 3 and (see Figure 2). For vV(G2)\{u} and yV(G1)\{u}, let and . If , then λ1(G) < λ1(G1) or λ1(G) < λ1(G2).

Details are in the caption following the image
A graph transformation from G to G1 and G2.

3. Minimum Distance Laplacian Spectral Radius of Clique Trees

The diameter of a graph is the maximum distance between any pair of vertices.

Lemma 3. Let S be a clique tree with n vertices and k cliques. If diam(S) ≥ 3, then λ1(S) > 2n − 1.

Proof. For convenience, let diam(S) = d and be a clique path of S. Denote the cliques of by , . Let for i = 1,2, …, d − 1. Let and . Then, v0v1vd is a diameter path of S. We can easily get

(4)

Then, we have

(5)

Let M be the principal submatrix of ℒ(S) indexed by v0 and vd. Then,

(6)
and thus
(7)

By Lemma 2, we have λ1(S) ≥ λ1(M) > 2n − 1.

Theorem 1. Let be an arbitrary clique star with n vertices and k cliques. Then, .

Proof. Obviously, we have n1 + n2 + n3 + ⋅⋅⋅+nk = n + k − 1. Let x be a Perron eigenvector of corresponding to . By symmetry, we may assume xv = xi for any , i = 1,2, …, k. Let x0 = xu, then we have

(8)

Thus, λ1 is the largest root of the equation , where and

(9)

Therefore, we have n and 0 are also distance Laplacian eigenvalues of .

Combining Lemma 3 and Theorem 1, we have the following result.

Theorem 2. Among all clique trees with n vertices and k cliques, the graphs attaining the minimum distance Laplacian spectral radius are clique stars .

Let I be the identity matrix of order n. The characteristic polynomial of ℒ(G) can be written as ψ(G : λ) = det(λI − ℒ(G)). Let us label the vertices of such that u is the first vertices, and the first n1 vertices are from , the following n2 − 1 vertices are from , …, and the last nk − 1 are from . Let . Combining Theorem 1, by direct calculations, we get the following result.

Corollary 1. The distance Laplacian eigenvalues of are 2n − 1 of multiplicities k − 1, 2nni of multiplicities ni − 2(1 ≤ ik), n, and 0.

Theorem 3. Let be an arbitrary clique star with n vertices and k cliques. Then, we have .

Proof. Obviously, we have n1 + n2 + n3 + ⋅⋅⋅+nk = n + k − 1. For convenience, let . For any , we have TrG(v) = TrG(w). Let , 1 ≤ ik. Then, we have TrG(vi) = 2nni − 1 and . By Cauchy–Schwarz inequality, we have . So, we get t(G) < 2n − 1 + ((k − 1 − n2)/n) = n − 1 + (k − 1/n) < n. By Corollary 1, we know λi > n > t(G) for i = 1,2, …, n − 1, and λn = 0. since is equal to the trail of ℒ(G), i.e., . So, we get .

4. Maximum Distance Laplacian Spectral Radius of Clique Trees

Lemma 4. Let H be a connected graph and S be a clique tree with diam(S) = d. Suppose is a clique path of S with cliques , , and for i = 1,2, …, d − 1. Let Ht be the graph obtained by identifying a vertex v of H and a vertex u of , where 2 ≤ td − 1. Then, λ1(Hd) > λ1(Ht) or λ1(H1) > λ1(Ht).

Proof. By Lemma 2, we may assume uvt−1 or uvt for 2 ≤ td − 1. Denote the component of Svt−1 which contains vertex vt−2 by and the component of Svt which contains vertex vt+1 by . Let , , and . Suppose x is a Perron eigenvector of ℒ(Ht) corresponding to λ1(Ht). In the following, we will first prove λ1(Ht+1) > λ1(Ht) or λ1(Ht−1) > λ1(Ht).

  • Case 1: . From Ht to Ht+1, we have

    (10)

  • Thus, λ1(Ht+1) ≥ λ1(Ht).

  • In the following, we will prove λ1(Ht+1) > λ1(Ht). If λ1(Ht+1) = λ1(Ht), then , which implies xω = xh for any ωS3\{vt}, hV(H)\{v}, and x is also a Perron eigenvector of ℒ(Ht+1) corresponding to λ1(Ht+1). For arbitrary ω1S1, from the eigenequations of Ht+1 and Ht at ω1, we have

(11)
  • So, we have . Similarly, for arbitrary ω2S2 and ω3S3\{vt}, we have and . Then, we have xω = xw for any ω, wV(Ht)\{vt}. Since , we have , which implies and .

  • From the eigenequation of Ht at v1 and v2, we have , which is a contradiction.

  • Up to now, we have proved λ1(Ht+1) > λ1(Ht).

  • Case 2: .

From Ht to Ht−1, we have

(12)

Then, we have

(13)

Thus, λ1(Ht−1) > λ1(Ht).

In the following, we will prove λ1(Hd) > λ1(Ht) or λ1(H1) > λ1(Ht).

If λ1(Ht+1) > λ1(Ht), we may denote the component of Svt which contains vertex vt−1 by and the component of Svt+1 which contains vertex vt+2 by . Let , , and . Let x be a Perron eigenvector of ℒ(Ht+1) corresponding to λ1(Ht+1). If , then , and we can get λ1(Ht) > λ1(Ht+1), which is a contradiction. So, we have . Then, we have , similar to case 1, and we can get the equal sign in the above inequality does not hold. So, we have λ1(Ht+2) > λ1(Ht+1). Repeating the above procedure, we can get λ1(Hd) > ⋯>λ1(Ht+2) > λ1(Ht+1) > λ1(Ht).

Similarly, if λ1(Ht−1) > λ1(Ht), we can prove λ1(H1) > ⋯>λ1(Ht−2) > λ1(Ht−1) > λ1(Ht).

Theorem 4. Among all clique trees with n vertices and k cliques, the graph attaining the maximum distance Laplacian spectral radius is for some m ≥ 3.

Proof. Let G be the graph with maximum distance Laplacian spectral radius among all clique trees with n vertices and k cliques. By Lemma 4, we get . Let for i = 1,2, …, k − 1. If k ≤ 2, the result holds. Next, we may assume k ≥ 3. Suppose there exists some 2 ≤ tk such that nt ≥ 3. Denote the component of Gvt−1 which contains vertex vt−2 by G1 and the component of Gvt which contains vertex vt+1 by G2. Let S1 = V(G1), S2 = V(G2), and S3 = V(G)\(V(G1) ∪ V(G2)), i.e., . Let

(14)
i.e., and . Suppose x is a Perron eigenvector of ℒ(G) corresponding to λ1(G). In the following, we will first prove λ1(Gt−1) > λ1(G) or λ1(Gt+1) > λ1(G).
  • Case 1: .

  • From G to Gt−1, we have

    (15)

  • which implies λ1(Gt−1) ≥ λ1(G). Similar to Case 1 of Lemma 4, we can get the equal sign in the above inequality does not hold. So, we have λ1(Gt−1) ≥ λ1(G).

  • Case 2: .

  • Then, we have

    (16)

  • Thus, we have λ1(Gt+1) > λ1(G).

Doing the above graph transformations until n2 = n3 = ⋯ = nk−1 = 2, we get G as for some m ≥ 3.

5. Conclusion

This paper mainly determines the extremal graphs with maximum and minimum distance Laplacian spectral radius among all clique trees with n vertices and k cliques. Moreover, we get the distance Laplacian energies of all the clique stars with n vertices and k cliques. Based on our results, we conjecture that the line graphs of and are the unique graphs with minimum and maximum distance Laplacian spectral radius among all the line graphs of unicyclic graphs, respectively, where is the graph obtained by adding an edge to the star K1,n−1 of order n and is the graph obtained by adding an edge between a vertex of a triangle and a terminal vertex of a path on n − 3 vertices. Moreover, we can study the distance Laplacian spectral radius of diclique trees in the future.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

This work was supported by the NSFC (grant nos. 11501491, 11671347, and 61771019).

    Data Availability

    No data were used to support this study.

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.