1. Introduction
In this paper, we study connected simple graphs with a finite number of vertices. Standard graph terminology will be adopted. We refer the reader to, e.g., [
1] for more related concepts. A graph is denoted by
, where
is its vertex set and
is its edge set. The order of
G is the number
and its size is the number
The set of vertices adjacent to
, denoted by
, refers to the neighborhood of
The degree of
denoted by
(we simply write
if it is clear from the context) means the cardinality of
. A graph is called regular if each of its vertices have the same degree. The distance between two vertices
denoted by
, is defined as the length of the shortest path between
u and
v in
G. The diameter of
G is defined as the maximum distance between any two vertices in
G. The distance matrix of
G is denoted by
and is defined as
. The transmission
of a vertex
v is defined as the sum of the distances from
v to all other vertices in
G, that is,
A graph
G is said to be
k-transmission regular if
for each
The transmission (sometimes referred to as the Wiener index) of a graph
G is denoted by
.
is given by the distance sum between each pair of vertices in
G. Namely, we have
. For any vertex
, the transmission
is also called the transmission degree, denoted by
for short and the sequence
is called the transmission degree sequence of the graph
G. The second transmission degree of
, denoted by
is given by
.
Let
be the diagonal matrix of vertex transmissions of
G. In [
2], M. Aouchiche and P. Hansen introduced the distance Laplacian matrix
and the distance signless Laplacian matrix
as
and
. The spectral properties of
,
and
have attracted much attention of researchers and a large number of papers have been published regarding their spectral properties, including spectral radius, second largest eigenvalue, smallest eigenvalue, etc. For some recent works we refer to [
3,
4,
5] and the references therein.
Nikiforov [
6] investigated the integration of adjacency spectrum and signless Laplacian spectrum via cunning convex combinations between diagonal degree and adjacency matrices. Recently in [
7], Cui et al. introduced the generalized distance matrix
as convex combinations of
and
, defined as
, for
. Since
and
, any result regarding the spectral properties of generalized distance matrix has its counterpart for each of these particular graph matrices, and these counterparts follow immediately from a straightforward proof. In fact, this matrix leads to merging the distance spectral, distance Laplacian spectral and distance signless Laplacian spectral theories. As
is a real symmetric matrix, the eigenvalues become real. Therefore, we arrange them as
. The largest eigenvalue
of the matrix
is called the generalized distance spectral radius of
G. For simplicity, we will refer to
as
in the sequel. It follows from the Perron-Frobenius theorem and the non-negativity and irreducibility of
that
is the unique eigenvalue and there is a unique positive unit eigenvector
X corresponding to
which is called the generalized distance Perron vector of
G. As usual,
,
,
and
denote, respectively, the complete graph on
n vertices, the complete bipartite graph on
vertices, the path on
n vertices and the cycle on
n vertices.
2. Motivation
Graph spectral theory has gained momentum during the last few decades partly due to the mounting availability of scientific data and network representation stemming from a wide range of areas including biology, economics, engineering and social sciences [
8]. Graph spectral techniques are proved to be highly instrumental in dissecting interconnection network structures.
Based upon investigations on geometric properties of biomolecules, Ernesto Estrada [
9] considered an expression of the form
where
are the eigenvalues of the adjacency matrix of a molecular graph
G. The mathematical significance of this quantity was recognized later [
10] and soon it became known under the name “Estrada index" [
11]. The mathematical properties of the Estrada index have been intensively studied, see for example, [
11,
12]. Estrada index and its bounds have been extensively studied in the graph spectral community. We refer the interested reader to consult the recent nice survey [
13].
This graph spectrum based invariant has also an important role in chemistry and physics. It can be used, for example, as a metric for the degree of folding of long chain polymeric molecules [
14,
15]. It has found a number of applications in complex networks and characterizes the centrality [
9,
16,
17]. We refer the reader to [
18] for an account of the numerous applications of the Estrada index.
Other than the adjacency spectrum, the Estrada index has been explored in various forms based on non-adjacency matrices in the pioneering work [
9]. Because of the remarkable usefulness of the graph Estrada index, this proposal has been put into effect and varied Estrada indices based on the eigenvalues of other graph matrices have been tackled: Estrada index based invariant with respect to distance matrix, Laplacian matrix, signless Laplacian matrix, distance Laplacian matrix and distance signless Laplacian matrix, to name just a few. For some related results on this subject, see, for example, [
19,
20,
21,
22,
23] and the references therein. Let
be the eigenvalues of the distance matrix of a graph
G. Then the distance Estrada index of a connected graph
G has been introduced in [
20] as
.
A different way to study graph spectra consists of analyzing matrix functions of the matrices associated with a graph or network. In analyzing graph invariants such as centrality and communicability, matrix functions of the form
have been found as a power tool [
24]. When the gap
is large,
tends to be dominated by the largest eigenvalue
. In this sense, information that is hidden in the smaller eigenvalues, which are particularly useful, for example, in the context of molecular orbital theory [
25], has been overlooked. Estrada et al. [
26] recently proposed to scope this bit of information by using a Gaussian matrix function, which gives rise to the Gaussian Estrada index,
.
can be defined as
Gaussian Estrada index
H is able to describe the partition function of quantum mechanics systems with Hamiltonian
[
27]. It gives more weight to eigenvalues close to zero and ideally complements the Estrada index. Moreover, it is also related to the time-dependent Schrödinger equation with the squared Hamiltonian. Based on numerical simulations,
H is found to be effective in differentiating the dynamics of particle hopping among bipartite and non-bipartite structures [
24]. More results can be found in [
28].
A distance matrix, on the other hand, is an important variation of an adjacency matrix. It encodes information that is related to random walk and self-avoiding walks of chemical graphs which are not manifest in an adjacency matrix. Distance spectrum has been intensively tackled in the past few years [
29]. In the pedigree of distance matrix, important members include distance Laplacian and distance signless Laplacian matrices.
In this work, we propose here a new kind of Estrada index based on the Gaussianization of the generalized distance matrix of a graph. The generalized distance eigenvalues of a graph
G are denoted by
. We define the generalized distance Gaussian Estrada index
, as
The results for the Gaussian Estrada index of distance matrix (namely, distance Gaussian Estrada index ) and Gaussian Estrada index of distance signless Laplacian matrix (namely, distance signless Laplacian Gaussian Estrada index ) can be naturally defined when setting, respectively, and in the above definition.
Since characterization of tends to be very appealing in quantum information theory, it will be desirable to consider the quantity and explore some properties such as the bounds, the dependence on the structure of graph G and the dependence on the parameter . In this paper, we aim to establish some bounds for the generalized distance Gaussian Estrada index of a connected graph G, in terms of the different graph parameters like the order n, the Wiener index , the transmission degrees and the parameter . We also characterize the extremal graphs attaining these bounds. Moreover, for some fundamental special graphs has been obtained, which helps us to interpret this metric when applied to sophisticated topologies. We also give an expression for of a (transmission) regular graph G in terms of the distance eigenvalues as well as adjacency eigenvalues of G, and describe the generalized distance Gaussian Estrada index of some graphs obtained by operations.
3. Bounds for Generalized Distance Gaussian Estrada Index
We present some useful bounds in this section for the generalized distance Gaussian Estrada index of a connected graph G, in terms of the different graph parameters including the order n, the Wiener index , the transmission degrees and the parameter . We will also identify the extremal graphs attaining these bounds.
We start by giving some previously known results that will be needed below.
Lemma 1. [
7]
For a connected graph G of order n, we havewhere the equality holds if and only if G is transmission regular. Lemma 2. [
7]
Define the transmission degree sequence and the second transmission degree sequence of G as and respectively. We haveIf the equality holds if and only if G is transmission regular. The proof of the following lemma is similar to that of Lemma 2 in [
30], and is omitted here.
Lemma 3. A connected graph G has exactly two distinct generalized distance eigenvalues if and only if G is a complete graph.
Lemma 4. If the transmission degree sequence of G is thenwith equality if and only if G is transmission regular. Proof. The proof is analogous to that of Theorem 2.2 in [
4], and is excluded. □
Lemma 5. [
31]
If A is an non-negative matrix with the spectral radius and row sums thenMoreover, if A is irreducible, then both of the equalities hold if and only if the row sums of A are all equal.
Note that the i-th row sum of is . Hence, applying Lemma 5, we derive the following result.
Corollary 1. Let G be a simple connected graph of order n. Let and denote, respectively, the largest and least transmissions of G. Then . Moreover, any of the equalities holds if and only if G is a transmission regular graph.
Next, we present the upper bounds for the generalized distance Gaussian Estrada index involving different graph invariants. To fix notation, we first introduce some preliminaries. For
, define
Then
and
. A bit of basic algebra leads to the following expression:
Our first result gives an upper bound for the generalized distance Gaussian Estrada index through the order n the transmission degrees and the parameter .
Theorem 1. Let G be a connected graph of order n. Then for any integer ,with equality if and only if . Proof. Starting with Equation (
2), we have
and Equation (
3) follows. From the derivation of Equation (
3), it is clear that the equality will be attained in Equation (
3) if and only if
G has no non-zero
-eigenvalues, i.e.,
. □
The next result gives another upper bound as well as a lower bound for of a connected graph G.
Theorem 2. Suppose that G is a connected graph of order n. Then for any integer ,where and Equality holds on both sides of Equation (4) if and only if . Proof. We will first prove the right inequality. According to the definition of
, we have
since
Then the right hand side of Equation (
4) follows. Again, from the derivation of the right hand side of Equation (
4), it is evident that equality will be attained in the right hand side of Equation (
4) if and only if
G has no non-zero
-eigenvalues, i.e.,
.
Next, we want to prove the left inequality. Since by Taylor’s theorem
equality holds if and only if
we have
Consequently,
Hence, we get the left inequality. One can easily see that the left equality holds in Equation (
4) if and only if
□
Remark 1. Assume that G is a connected graph of order n with diameter d. Since for and there are pairs of vertices in G, also for each i, we have , then from the lower bound of Theorem 2, we see that Next, we turn our attention to giving some lower bounds for the generalized distance Gaussian Estrada index through different graph invariants. The following result presents a lower bound in terms of the order n, the transmission degrees and the parameter .
Theorem 3. Suppose that G is a connected graph with order n and Thenwith equality if and only if . Proof. According to the definition of
, we have
By the arithmetic-geometric mean inequality, we obtain
By means of a power-series expansion and noting that
and
, we obtain
since
holds for all
and hence
If
then we get
By substituting Equations (
7) and (
8) in Equation (
6), we see that
This gives us the first part of the proof.
From the derivation of Equation (
5), it is clear that equality holds if and only if the graph
G has no non-zero
-eigenvalues. Since
G is a connected graph, this only happens in the case of
. The proof is complete. □
As an immediate consequence of Theorem 3, we have the following corollary.
Corollary 2. Let G be a connected graph of order n and with diameter d. Thenwhere . Equality holds if and only if . Proof. Since and , the result follows from Theorem 3. □
One of our main results in this paper is the following theorem, which gives a lower bound for involving the order n, transmission degrees, second transmission degrees and the parameter . Moreover, it gives an upper bound via order n and the parameter . It shows that, among all connected graphs of order n, the generalized distance Gaussian Estrada index takes its maximum for the complete graph.
Theorem 4. Assume that G is a connected graph of order n. Then The right equality holds if and only if . Moreover, the left equality holds if and only if either G is a complete graph or for G is k-transmission regular graph with exactly three distinct -eigenvalueswhere Proof. We first consider the right-hand side inequality. Let
be the generalized distance eigenvalues of
G. Note that by Corollary 1, we have
. On the other hand, by Proposition 5 in [
7] we get
. Therefore
with equality if and only if
G has exactly two distinct generalized distance eigenvalues
and
. Then by Lemma 3, we obtain
, and the proof is complete.
Next, we consider the left-hand side. According to the definition of
and in view of the arithmetic-geometric mean inequality, we have
Consider the following function
for
. It is easy to see that
is an increasing function for
Since
(see [
32]) and
also by the Cauchy-Schwartz inequality we have
and
and furthermore
since
It follows from Equation (11) that
This completes the first part of the proof. Now, we suppose that the left equality holds in Equation (
9). Then all inequalities in the above argument must be equalities. From Equation (
13), we have
which, by Lemma 2, implies that for
G is a transmission regular graph. From Equation (
10) and the arithmetic-geometric mean inequality, we get
then
and hence
where
Therefore
Hence, can have at most two distinct values and we arrive at the following classification:
- (i)
G has exactly one distinct -eigenvalue. Then
- (ii)
G has exactly two distinct -eigenvalues. Then, by Lemma 3,
- (iii)
G has exactly three distinct
-eigenvalues. Then
and
. Moreover, for
G is
k-transmission regular graph. Then it is clear that
G is a graph with exactly three distinct
-eigenvalues
where
. We have arrived at the desired result. □
This next result is for . The parameters such as order n, Wiener index , transmission degrees and the parameter are used.
Theorem 5. Let G be a connected graph of order n and Then Equality holds if and only if either G is a complete graph or a k-transmission regular graph with exactly three distinct -eigenvalueswhere Proof. By similar argument as in the proof of Theorem 4, we have
Consider the following function
for
. It is easy to see that
is an increasing function for
Since
(see [
32]) also by the Cauchy-Schwartz inequality, we have
Note that
since
for
Therefore,
It follows from Equation (
15) that
The first part of the proof is complete. The remaining of the proof is similar to that of Theorem 4, and hence is omitted. □
Remark 2. If we use instead in Equation (13), we are led to the following simpler estimationwith equality if and only if . Let be the geometric mean of the transmission degrees sequence. It can be seen that holds, and equality is attained if and only if (i.e., the graph G is transmission regular).
Lemma 6. [
33]
Let be non-negative numbers. Then We next establish a further lower bound for in terms of the order n, the geometric mean of the transmission degrees sequence , the Wiener index and the parameter .
Theorem 6. Let G be a connected graph of order Then The equality holds if either G is a complete graph or a graph with exactly three distinct -eigenvalues.
Proof. By similar argument as in the proof of Theorem 4, we have
By Lemma 4, we see that
. Setting
in Lemma 6, we have
Combining this with Lemma 4 yields
It is easy to see that
and so, by Equation (
16), we have
The remainder of the proof is similar to that of Theorem 4, and hence is omitted. □
Remark 3. If we rely on the inequality then we obtain Since the function defined in Equation (12) is increasing, we see that our lower bound in Equation (17) is better than the given lower bound in Equation (14). Let G be a k-transmission regular graph. Then it is clear that and . We have the following observation based upon Theorem 6.
Corollary 3. Let G be a k-transmission regular graph. Thenwith equality if and only if . 4. Examples for Some Fundamental Special Graphs
In this section, we explicitly derive the exact values of for some fundamental special graphs including complete graphs, complete bipartite graphs, transmission regular graphs, regular graphs, cycles and various graphs generated by graph operations.
As mentioned in the introduction of the paper, for
the generalized distance matrix
is equivalent to the distance matrix
and for
, twice the generalized distance matrix
is the same as the distance signless Laplacian matrix
. Therefore, if in particular we put
and
in all the results obtained in
Section 3, we obtain the corresponding bounds for the distance Gaussian Estrada index
and the distance signless Laplacian Gaussian Estrada index
, respectively.
Since the generalized distance spectrum of is , we have the following.
Lemma 7. Let be the complete graph of order n. Then Following [
34], the generalized distance spectrum of the complete bipartite graph
is
where
. We have the following expression for the
of the complete bipartite graph.
Lemma 8. Let be the complete bipartite graph of order . Thenwhere If we set , the distance Gaussian Estrada index of is as follows.
Moreover, if we set , the distance signless Laplacian Gaussian Estrada index of is as follows.
Corollary 5. where The next result gives an expression for of a transmission regular graph G through the distance eigenvalues of G.
Theorem 7. Let G be a k-transmission regular graph of order n having distance eigenvalues Then Proof. Note that the generalized distance spectrum of the graph
G reads as
where
is the distance spectrum of
Therefore,
as desired. □
We next present an expression for of a regular graph G in terms of the adjacency eigenvalues of G.
Theorem 8. Let G be an r-regular graph of order n, size m and diameter at most 2. If are the eigenvalues of the adjacency matrix of then Proof. We know that the transmission of each vertex
is
and Wiener index
of
G is
Moreover,
where
J is the all ones matrix. Therefore, we obtain
as desired. □
Example 1. Let be a cycle of order n. Since is a k-transmission regular graph with if n is even and if n is odd, then the generalized distance Gaussian Estrada index of according to the parity of n, is as follows.
If (i.e., n is even), then following [2] the distance spectrum of is Hence, applying Theorem 7 we have If (i.e., n is odd), then following [2] the distance spectrum of is Hence, applying Theorem 7 we havewhere and . Therefore, if we set , the distance Gaussian Estrada index of for isand for is The graph is obtained by connecting each vertex of G to each vertex of a copy of G.
Example 2. Let G be an r-regular graph with an adjacency matrix A and adjacency spectrum . For any vertex , it is easy to see that Then is a transmission regular graph and . Note that by [35] the graph has distance spectrum for . By Theorem 7, we havewhere and . Therefore, if we set , the distance Gaussian Estrada index of is If we set , the distance signless Laplacian Gaussian Estrada index of iswhere and The cartesian product of two graphs and is denoted by . The cartesian product can be viewed as a graph with vertex set and edge set containing all edges such that and or and .
Example 3. Let G be an r-regular graph of diameter at most 2 with an adjacency matrix A and adjacency spectrum , and let . Suppose and . From the fact , we see that all vertices of H have the same transmission and . So . Note that by [35], the graph has distance spectrum , for . Then by Theorem 7, we havewhere and . Therefore, if we set , the distance Gaussian Estrada index of is If we set , the distance signless Laplacian Gaussian Estrada index of iswhere and . Now, we give an expression for the generalized distance Gaussian Estrada index of the lexicographic product built upon two graphs G and H.
Definition 1. [1] Let
G and
H be two graphs on vertex sets
and
, respectively. Their lexicographic product
is a graph defined by
, the Cartesian product of
and
, in which
is adjacent to
if and only if either
- (a)
is adjacent to in G or
- (b)
and is adjacent to in G.
Example 4. Let G be a k-transmission regular graph of order p. Let H be an r-regular graph of order n with adjacency eigenvalues . Let be the eigenvalues of the distance matrix of G. For , it is easy to see that . Then is a transmission regular graph and . Note that by [36], the graph has distance spectrum , for and . In view of Theorem 7, we havewhere and . Similarly, if we set , the distance Gaussian Estrada index of is If we set , the distance signless Laplacian Gaussian Estrada index of iswhere and We conclude by computing the generalized distance Gaussian Estrada index of the closed fence graph.
Example 5. Let be a cycle of order n and be the complete graph of order 2. Then the closed fence graph is defined as , and depicted in Figure 1. Applying Example 4, we will be able to compute the generalized distance Gaussian Estrada index of closed fence . It is well known that the adjacency spectrum of the graph is . Then, applying Example 4, the generalized distance Gaussian Estrada index of closed fence , according to the parity of n, is as follows. If (i.e., n is even), then by Equation (22) and applying Example 4 we havewhere and If (i.e., n is odd), then by Equation (23) and applying Example 4 we havewhere , , and 5. Conclusions
The concept of Estrada index of a graph was first motivated by Ernesto Estrada in [
9] as the sum of the exponential of the eigenvalues of adjacency matrix assigned to graphs. It has attracted increasing attention in recent years and has been extended to varied forms involving many of the important graph matrices such as the Laplacian matrix and distance matrix. The recently introduced Gaussian Estrada index
[
26] has the merit of encoding the information hidden in the eigenvalues close to zero which are overlooked in other Estrada indices. It has also played an essential role in quantum mechanics [
27].
In this paper we have proposed a new sort of Estrada index based upon the Gaussianization of the generalized distance matrix of a graph. Let be the generalized distance eigenvalues of a graph G. We defined the generalized distance Gaussian Estrada index as , which reduces to merging the spectral theories of Gaussian Estrada index with respect to distance matrix and Gaussian Estrada index with respect to distance signless Laplacian matrix, and any result regarding the spectral properties of generalized distance Gaussian Estrada index has its counterpart for each of these particular indices, and these counterparts follow immediately from a single proof. Since characterization of turns out to be highly desirable in quantum information theory, it is interesting to study the quantity and explore some properties including the bounds, the dependence on the structure of graph G and the dependence on the parameter . We established some bounds for the generalized distance Gaussian Estrada index of a connected graph G through the different graph parameters including the order n, the Wiener index , the transmission degrees and the parameter . We have also characterized the extremal graphs attaining these bounds. Some expressions for of some fundamental special graphs have been worked out.