Next Article in Journal
A Unified Proximity Algorithm with Adaptive Penalty for Nuclear Norm Minimization
Previous Article in Journal
Modeling of Subcooled Flow Boiling with Nanoparticles under the Influence of a Magnetic Field
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On Generalized Distance Gaussian Estrada Index of Graphs

1
Faculty of Mathematical Sciences, Shahrood University of Technology, P.O. Box 316-3619995161, Shahrood, Iran
2
Department of Computer and Information Sciences, Northumbria University, Newcastle NE1 8ST, UK
*
Author to whom correspondence should be addressed.
Symmetry 2019, 11(10), 1276; https://doi.org/10.3390/sym11101276
Submission received: 1 September 2019 / Revised: 26 September 2019 / Accepted: 5 October 2019 / Published: 11 October 2019

Abstract

:
For a simple undirected connected graph G of order n, let D ( G ) , D L ( G ) , D Q ( G ) and T r ( G ) be, respectively, the distance matrix, the distance Laplacian matrix, the distance signless Laplacian matrix and the diagonal matrix of the vertex transmissions of G. The generalized distance matrix D α ( G ) is signified by D α ( G ) = α T r ( G ) + ( 1 α ) D ( G ) , where α [ 0 , 1 ] . Here, we propose a new kind of Estrada index based on the Gaussianization of the generalized distance matrix of a graph. Let 1 , 2 , , n be the generalized distance eigenvalues of a graph G. We define the generalized distance Gaussian Estrada index P α ( G ) , as P α ( G ) = i = 1 n e i 2 . Since characterization of P α ( G ) is very appealing in quantum information theory, it is interesting to study the quantity P α ( G ) and explore some properties like the bounds, the dependence on the graph topology G and the dependence on the parameter α . In this paper, we establish some bounds for the generalized distance Gaussian Estrada index P α ( G ) of a connected graph G, involving the different graph parameters, including the order n, the Wiener index W ( G ) , the transmission degrees and the parameter α [ 0 , 1 ] , and characterize the extremal graphs attaining these bounds.

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 G = ( V ( G ) , E ( G ) ) , where V ( G ) = { v 1 , v 2 , , v n } is its vertex set and E ( G ) is its edge set. The order of G is the number n = | V ( G ) | and its size is the number m = | E ( G ) | . The set of vertices adjacent to v V ( G ) , denoted by N ( v ) , refers to the neighborhood of v . The degree of v , denoted by d G ( v ) (we simply write d v if it is clear from the context) means the cardinality of N ( v ) . A graph is called regular if each of its vertices have the same degree. The distance between two vertices u , v V ( G ) , denoted by d u v , 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 D ( G ) and is defined as D ( G ) = ( d u v ) u , v V ( G ) . The transmission T r G ( v ) of a vertex v is defined as the sum of the distances from v to all other vertices in G, that is, T r G ( v ) = u V ( G ) d u v . A graph G is said to be k-transmission regular if T r G ( v ) = k , for each v V ( G ) . The transmission (sometimes referred to as the Wiener index) of a graph G is denoted by W ( G ) . W ( G ) is given by the distance sum between each pair of vertices in G. Namely, we have W ( G ) = 1 2 v V ( G ) T r G ( v ) . For any vertex v i V ( G ) , the transmission T r G ( v i ) is also called the transmission degree, denoted by T r i for short and the sequence { T r 1 , T r 2 , , T r n } is called the transmission degree sequence of the graph G. The second transmission degree of v i , denoted by T i is given by T i = j = 1 n d i j T r j .
Let T r ( G ) = d i a g ( T r 1 , T r 2 , , T r n ) be the diagonal matrix of vertex transmissions of G. In [2], M. Aouchiche and P. Hansen introduced the distance Laplacian matrix D L ( G ) and the distance signless Laplacian matrix D Q ( G ) as D L ( G ) = T r ( G ) D ( G ) and D Q ( G ) = T r ( G ) + D ( G ) . The spectral properties of D ( G ) , D L ( G ) and D Q ( G ) 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 D α ( G ) as convex combinations of T r ( G ) and D ( G ) , defined as D α ( G ) = α T r ( G ) + ( 1 α ) D ( G ) , for 0 α 1 . Since D 0 ( G ) = D ( G ) , 2 D 1 2 ( G ) = D Q ( G ) , D 1 ( G ) = T r ( G ) and D α ( G ) D β ( G ) = ( α β ) D L ( G ) , 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 D α ( G ) is a real symmetric matrix, the eigenvalues become real. Therefore, we arrange them as 1 2 n . The largest eigenvalue 1 of the matrix D α ( G ) is called the generalized distance spectral radius of G. For simplicity, we will refer to 1 ( G ) as ( G ) in the sequel. It follows from the Perron-Frobenius theorem and the non-negativity and irreducibility of D α ( G ) that ( G ) is the unique eigenvalue and there is a unique positive unit eigenvector X corresponding to ( G ) , which is called the generalized distance Perron vector of G. As usual, K n , K s , t , P n and C n denote, respectively, the complete graph on n vertices, the complete bipartite graph on s + t 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
E E ( G ) = i = 1 n e λ i ,
where λ 1 , λ 2 , , λ n 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 μ 1 , μ 2 , , μ n 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 D E E ( G ) = i = 1 n e μ i .
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 f ( A ) = k = 0 c k A k have been found as a power tool [24]. When the gap λ 1 λ 2 is large, E E tends to be dominated by the largest eigenvalue λ 1 . 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, H ( G ) . H ( G ) can be defined as
H = H ( G ) = t r a c e ( e A 2 ) = i = 1 n e λ i 2 .
Gaussian Estrada index H is able to describe the partition function of quantum mechanics systems with Hamiltonian A 2 [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 1 , 2 , , n . We define the generalized distance Gaussian Estrada index P α ( G ) , as
P α ( G ) = i = 1 n e i 2 .
The results for the Gaussian Estrada index of distance matrix (namely, distance Gaussian Estrada index P D ( G ) ) and Gaussian Estrada index of distance signless Laplacian matrix (namely, distance signless Laplacian Gaussian Estrada index P Q ( G ) ) can be naturally defined when setting, respectively, α = 0 and α = 1 2 in the above definition.
Since characterization of P α ( G ) tends to be very appealing in quantum information theory, it will be desirable to consider the quantity P α ( G ) 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 P α ( G ) of a connected graph G, in terms of the different graph parameters like the order n, the Wiener index W ( G ) , the transmission degrees and the parameter α [ 0 , 1 ] . We also characterize the extremal graphs attaining these bounds. Moreover, P α ( G ) 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 P α ( G ) 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 P α ( G ) of a connected graph G, in terms of the different graph parameters including the order n, the Wiener index W ( G ) , the transmission degrees and the parameter α [ 0 , 1 ] . 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 have
( G ) 2 W ( G ) n ,
where 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 { T r 1 , T r 2 , , T r n } and { T 1 , T 2 , , T n } , respectively. We have
( G ) i = 1 n ( α T r i 2 + ( 1 α ) T i ) 2 i = 1 n T r i 2 .
If 1 2 α 1 , 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 { T r 1 , T r 2 , , T r n } , then
( G ) i = 1 n T r i 2 n ,
with 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 n × n non-negative matrix with the spectral radius λ ( A ) and row sums r 1 , r 2 , , r n , then
min 1 i n r i λ ( A ) max 1 i n r i .
Moreover, 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 D α ( G ) is r i = α T r i + ( 1 α ) j = 1 n d i j = T r i . Hence, applying Lemma 5, we derive the following result.
Corollary 1.
Let G be a simple connected graph of order n. Let T r max and T r min denote, respectively, the largest and least transmissions of G. Then T r min ( G ) T r max . 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 k 0 , define S k = S k ( G ) = i = 1 n i 2 k . Then S 0 = n and S 1 = 2 ( 1 α ) 2 1 i < j n ( d i j ) 2 α 2 i = 1 n T r i 2 . A bit of basic algebra leads to the following expression:
P α ( G ) = k 0 S k k ! .
Our first result gives an upper bound for the generalized distance Gaussian Estrada index P α ( G ) , 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 k 0 2 ,
P α ( G ) n 1 2 2 ( 1 α ) 2 1 i < j n d i j 2 + α 2 i = 1 n T r i 2 + e 2 ( 1 α ) 2 1 i < j n d i j 2 + α 2 i = 1 n T r i 2 + k = 2 k 0 S k ( G ) 2 ( 1 α ) 2 1 i < j n d i j 2 + α 2 i = 1 n T r i 2 k k ! ,
with equality if and only if G = K 1 .
Proof. 
Starting with Equation (2), we have
P α ( G ) = k = 0 k 0 S k ( G ) k ! + k k 0 + 1 1 k ! i = 1 n i 2 k k = 0 k 0 S k ( G ) k ! + k k 0 + 1 1 k ! i = 1 n i 2 k k = 0 k 0 S k ( G ) k ! + k k 0 + 1 1 k ! i = 1 n i 2 k = k = 0 k 0 S k ( G ) k ! + k k 0 + 1 2 ( 1 α ) 2 1 i < j n d i j 2 + α 2 i = 1 n T r i 2 k k ! = k = 0 k 0 S k ( G ) k ! + e 2 ( 1 α ) 2 1 i < j n d i j 2 + α 2 i = 1 n T r i 2 k = 0 k 0 2 ( 1 α ) 2 1 i < j n d i j 2 + α 2 i = 1 n T r i 2 k k ! ,
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 D α -eigenvalues, i.e., G = K 1 . □
The next result gives another upper bound as well as a lower bound for P α ( G ) of a connected graph G.
Theorem 2.
Suppose that G is a connected graph of order n. Then for any integer k 0 2 ,
n 2 ( 1 α ) 2 1 i < j n ( d i j ) 2 α 2 i = 1 n T r i 2 P α ( G ) n 2 2 η + 2 1 2 + k = 2 k 0 S k ( G ) 1 2 k ξ k k ! + e 1 2 + e ξ ,
where ξ = η 1 2 , and η = 2 ( 1 α ) 2 1 i < j n d i j 2 + α 2 i = 1 n T r i 2 . Equality holds on both sides of Equation (4) if and only if G = K 1 .
Proof. 
We will first prove the right inequality. According to the definition of P α ( G ) , we have
P α ( G ) e 1 2 = k = 0 k 0 S k ( G ) 1 2 k k ! + k k 0 + 1 1 k ! i = 2 n i 2 k k = 0 k 0 S k ( G ) 1 2 k k ! + k k 0 + 1 1 k ! i = 2 n i 2 k k = 0 k 0 S k ( G ) 1 2 k k ! + k k 0 + 1 1 k ! i = 2 n i 2 k = k = 0 k 0 S k ( G ) 1 2 k k ! + k k 0 + 1 2 ( 1 α ) 2 1 i < j n d i j 2 + α 2 i = 1 n T r i 2 1 2 k k ! = k = 0 k 0 S k ( G ) 1 2 k k ! + e 2 ( 1 α ) 2 1 i < j n d i j 2 + α 2 i = 1 n T r i 2 1 2 k = 0 k 0 2 ( 1 α ) 2 1 i < j n d i j 2 + α 2 i = 1 n T r i 2 1 2 k k ! ,
since
e 2 ( 1 α ) 2 1 i < j n d i j 2 + α 2 i = 1 n T r i 2 1 2 = k = 0 k 0 2 ( 1 α ) 2 1 i < j n d i j 2 + α 2 i = 1 n T r i 2 1 2 k k ! + k k 0 + 1 2 ( 1 α ) 2 1 i < j n d i j 2 + α 2 i = 1 n T r i 2 1 2 k k ! .
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 D α -eigenvalues, i.e., G = K 1 .
Next, we want to prove the left inequality. Since by Taylor’s theorem e x 1 + x , equality holds if and only if x = 0 , we have e i 2 1 i 2 . Consequently,
P α ( G ) = i = 1 n e i 2 i = 1 n ( 1 i 2 ) = n 2 ( 1 α ) 2 1 i < j n ( d i j ) 2 α 2 i = 1 n T r i 2 .
Hence, we get the left inequality. One can easily see that the left equality holds in Equation (4) if and only if G = K 1 .  □
Remark 1.
Assume that G is a connected graph of order n with diameter d. Since d i j d for i j and there are n ( n 1 ) 2 pairs of vertices in G, also for each i, we have T r i = T r ( v i ) n ( n 1 ) 2 , then from the lower bound of Theorem 2, we see that
P α ( G ) n 2 ( 1 α ) 2 1 i < j n ( d i j ) 2 α 2 i = 1 n T r i 2 n 2 ( 1 α ) 2 n ( n 1 ) 2 d 2 α 2 n 3 ( n 1 ) 2 4 = n n ( n 1 ) ( 1 α ) 2 d 2 + α 2 n 2 ( n 1 ) 4 .
Next, we turn our attention to giving some lower bounds for the generalized distance Gaussian Estrada index P α ( G ) through different graph invariants. The following result presents a lower bound in terms of the order n, the transmission degrees and the parameter α [ 0 , 1 ] .
Theorem 3.
Suppose that G is a connected graph with order n and
n max { 2 2 ( 1 α ) 2 1 i < j n d i j 2 + α 2 i = 1 n T r i 2 , 4 ( 1 α ) 2 1 i < j n d i j 2 + 2 α 2 i = 1 n T r i 2 n ( n 1 ) e 2 ( 1 α ) 2 1 i < j n d i j 2 + α 2 i = 1 n T r i 2 n } .
Then
P α ( G ) n 4 ( 1 α ) 2 1 i < j n ( d i j ) 2 2 α 2 i = 1 n T r i 2 + n ( n 1 ) e 4 ( 1 α ) 2 1 i < j n d i j 2 + 2 α 2 i = 1 n T r i 2 n
with equality if and only if G = K 1 .
Proof. 
According to the definition of P α ( G ) , we have
P α 2 ( G ) = i = 1 n e 2 i 2 + 2 i < j e i 2 e j 2 .
By the arithmetic-geometric mean inequality, we obtain
2 i < j e i 2 e j 2 n ( n 1 ) i > j e i 2 e j 2 2 n ( n 1 ) = n ( n 1 ) i = 1 n e i 2 n 1 2 n ( n 1 ) = n ( n 1 ) i = 1 n e i 2 2 n = n ( n 1 ) e i = 1 n i 2 2 n = n ( n 1 ) e 4 ( 1 α ) 2 1 i < j n d i j 2 + 2 α 2 i = 1 n T r i 2 n .
By means of a power-series expansion and noting that S 0 = n and S 1 = 2 ( 1 α ) 2 1 i < j n d i j 2 α 2 i = 1 n T r i 2 , we obtain
i = 1 n e 2 i 2 = i = 1 n k 0 2 i 2 k k ! = n 4 ( 1 α ) 2 1 i < j n ( d i j ) 2 2 α 2 i = 1 n T r i 2 + i = 1 n k 2 2 i 2 k k ! n 4 ( 1 α ) 2 1 i < j n ( d i j ) 2 2 α 2 i = 1 n T r i 2 ,
since e 2 i 2 1 2 i 2 holds for all i , and hence i = 1 n e 2 i 2 i = 1 n ( 1 2 i 2 ) . If
n 2 2 ( 1 α ) 2 1 i < j n d i j 2 + α 2 i = 1 n T r i 2 0 ,
then we get i = 1 n k 2 2 i 2 k k ! 0 . By substituting Equations (7) and (8) in Equation (6), we see that
P α ( G ) n 4 ( 1 α ) 2 1 i < j n ( d i j ) 2 2 α 2 i = 1 n T r i 2 + n ( n 1 ) e 4 ( 1 α ) 2 1 i < j n d i j 2 + 2 α 2 i = 1 n T r i 2 n .
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 D α -eigenvalues. Since G is a connected graph, this only happens in the case of G = K 1 . 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. Then
P α ( G ) n n ( n 1 ) K e ( n 1 ) K ,
where K = 2 ( 1 α ) 2 d 2 + α 2 n 2 ( n 1 ) 2 . Equality holds if and only if G = K 1 .
Proof. 
Since 1 i < j n ( d i j ) 2 n ( n 1 ) 2 d 2 and i = 1 n T r i 2 n 3 ( n 1 ) 2 4 , the result follows from Theorem 3. □
One of our main results in this paper is the following theorem, which gives a lower bound for P α ( G ) involving the order n, transmission degrees, second transmission degrees and the parameter α [ 0 , 1 ] . Moreover, it gives an upper bound via order n and the parameter α [ 0 , 1 ] . 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
e i = 1 n ( α T r i 2 + ( 1 α ) T i ) 2 i = 1 n T r i 2 + ( n 1 ) e i = 1 n ( α T r i 2 + ( 1 α ) T i ) 2 i = 1 n T r i 2 2 ( 1 α ) 2 1 i < j n d i j 2 + α 2 i = 1 n T r i 2 n 1 P α ( G ) e ( n 1 ) 2 + n 1 e ( α n 1 ) 2 .
The right equality holds if and only if G = K n . Moreover, the left equality holds if and only if either G is a complete graph or for 1 2 α 1 , G is k-transmission regular graph with exactly three distinct D α -eigenvalues
2 k , M + k 2 ( n α 2 4 ) n 1 , M + k 2 ( n α 2 4 ) n 1 ,
where M = 2 ( 1 α ) 2 1 i < j n ( d i j ) 2 .
Proof. 
We first consider the right-hand side inequality. Let 1 2 n be the generalized distance eigenvalues of G. Note that by Corollary 1, we have 1 T r m i n = n 1 . On the other hand, by Proposition 5 in [7] we get n = n ( G ) n ( K n ) = α n 1 . Therefore
P α ( G ) = i = 1 n e i 2 1 e ( n 1 ) 2 + ( n 1 ) e n 2 1 e ( n 1 ) 2 + ( n 1 ) e ( α n 1 ) 2 ,
with equality if and only if G has exactly two distinct generalized distance eigenvalues 1 = n 1 and 2 = 3 = = n = α n 1 . Then by Lemma 3, we obtain G = K n , and the proof is complete.
Next, we consider the left-hand side. According to the definition of P α ( G ) and in view of the arithmetic-geometric mean inequality, we have
P α ( G ) = e 1 2 + e 2 2 + + e n 2
e 1 2 + ( n 1 ) i = 2 n e i 2 1 n 1 = e 1 2 + ( n 1 ) e i = 2 n i 2 n 1
= e 1 2 + ( n 1 ) e i 2 2 ( 1 α ) 2 1 i < j n d i j 2 α 2 i = 1 n T r i 2 n 1 .
Consider the following function
f ( x ) = e x + ( n 1 ) e x 2 ( 1 α ) 2 1 i < j n d i j 2 α 2 i = 1 n T r i 2 n 1
for x 2 ( 1 α ) 2 1 i < j n d i j 2 + α 2 i = 1 n T r i 2 n . It is easy to see that f ( x ) is an increasing function for x 2 ( 1 α ) 2 1 i < j n d i j 2 + α 2 i = 1 n T r i 2 n . Since 2 1 i < j n ( d i j ) 2 < i = 1 n T r i 2 n , (see [32]) and i = 1 n T i = i = 1 n T r i 2 , also by the Cauchy-Schwartz inequality we have i = 1 n T i 2 n i = 1 n T i 2 and i = 1 n T r i 2 n i = 1 n T r i 2 , and furthermore
2 ( 1 α ) 2 1 i < j n ( d i j ) 2 + α 2 i = 1 n T r i 2 n < ( 1 α ) 2 i = 1 n T r i 2 n + α 2 i = 1 n T r i 2 n ( 1 α ) 2 i = 1 n T r i 2 + α 2 i = 1 n T r i 2 n i = 1 n T r i 2 n i = 1 n T r i 2 2 n i = 1 n T r i 2 i = 1 n ( α T r i 2 + ( 1 α ) T i ) 2 n i = 1 n T r i 2 i = 1 n ( α T r i 2 + ( 1 α ) T i ) 2 i = 1 n T r i 2 ,
since
( 1 α ) 2 i = 1 n T r i 2 + α 2 i = 1 n T r i 2 = ( ( 1 α + α ) 2 2 α ( 1 α ) ) i = 1 n T r i 2 = ( 1 2 α ( 1 α ) ) i = 1 n T r i 2 i = 1 n T r i 2 .
Therefore
1 2 i = 1 n ( α T r i 2 + ( 1 α ) T i ) 2 i = 1 n T r i 2 > 2 ( 1 α ) 2 1 i < j n ( d i j ) 2 + α 2 i = 1 n T r i 2 n .
It follows from Equation (11) that
P α ( G ) f i = 1 n ( α T r i 2 + ( 1 α ) T i ) 2 i = 1 n T r i 2 = e i = 1 n ( α T r i 2 + ( 1 α ) T i ) 2 i = 1 n T r i 2 + ( n 1 ) e i = 1 n ( α T r i 2 + ( 1 α ) T i ) 2 i = 1 n T r i 2 2 ( 1 α ) 2 1 i < j n d i j 2 + α 2 i = 1 n T r i 2 n 1 .
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 1 = i = 1 n ( α T r i 2 + ( 1 α ) T i ) 2 i = 1 n T r i 2 , which, by Lemma 2, implies that for 1 2 α 1 , G is a transmission regular graph. From Equation (10) and the arithmetic-geometric mean inequality, we get 2 2 = 3 2 = = n 2 , then | 2 | = = | n | and hence
i = 2 n i 2 = ( n 1 ) P 1 2 ,
where P = 2 ( 1 α ) 2 1 i < j n ( d i j ) 2 + α 2 i = 1 n T r i 2 . Therefore
i = P 1 2 n 1 , i = 2 , , n .
Hence, i can have at most two distinct values and we arrive at the following classification:
(i) 
G has exactly one distinct D α -eigenvalue. Then G = K 1 .
(ii) 
G has exactly two distinct D α -eigenvalues. Then, by Lemma 3, G = K n .
(iii) 
G has exactly three distinct D α -eigenvalues. Then 1 = i = 1 n ( α T r i 2 + ( 1 α ) T i ) 2 i = 1 n T r i 2 and i = P i = 1 n ( α T r i 2 + ( 1 α ) T i ) 2 i = 1 n T r i 2 n 1 , i = 2 , , n . Moreover, for 1 2 α 1 , G is k-transmission regular graph. Then it is clear that G is a graph with exactly three distinct D α -eigenvalues
2 k , M + k 2 ( n α 2 4 ) n 1 , M + k 2 ( n α 2 4 ) n 1 ,
where M = 2 ( 1 α ) 2 1 i < j n ( d i j ) 2 . We have arrived at the desired result.  □
This next result is for P α ( G ) . The parameters such as order n, Wiener index W ( G ) , transmission degrees and the parameter α are used.
Theorem 5.
Let G be a connected graph of order n and 0 α 2 n + 1 . Then
P α ( G ) e 4 W 2 ( G ) n 2 + ( n 1 ) e 4 W 2 ( G ) n 2 2 ( 1 α ) 2 1 i < j n d i j 2 + α 2 i = 1 n T r i 2 n 1 .
Equality holds if and only if either G is a complete graph or a k-transmission regular graph with exactly three distinct D α -eigenvalues
2 k , M + k 2 ( n α 2 4 ) n 1 , M + k 2 ( n α 2 4 ) n 1 ,
where M = 2 ( 1 α ) 2 1 i < j n ( d i j ) 2 .
Proof. 
By similar argument as in the proof of Theorem 4, we have
P α ( G ) = e 1 2 + e 2 2 + + e n 2 e 1 2 + ( n 1 ) i = 2 n e i = 2 n i 2 n 1 = e 1 2 + ( n 1 ) e i 2 2 ( 1 α ) 2 1 i < j n d i j 2 α 2 i = 1 n T r i 2 n 1 .
Consider the following function
f ( x ) = e x + ( n 1 ) e x 2 ( 1 α ) 2 1 i < j n d i j 2 α 2 i = 1 n T r i 2 n 1
for x 2 ( 1 α ) 2 1 i < j n d i j 2 + α 2 i = 1 n T r i 2 n . It is easy to see that f ( x ) is an increasing function for x 2 ( 1 α ) 2 1 i < j n d i j 2 + α 2 i = 1 n T r i 2 n . Since 2 1 i < j n ( d i j ) 2 < i = 1 n T r i 2 n , (see [32]) also by the Cauchy-Schwartz inequality, we have
T r i 2 = j = 1 n d i j 2 n j = 1 n d i j 2 .
Hence,
i = 1 n T r i 2 n i = 1 n j = 1 n d i j 2 = 2 n 1 i < j n ( d i j ) 2 .
Note that
2 ( 1 α ) 2 1 i < j n ( d i j ) 2 + α 2 i = 1 n T r i 2 n < ( 1 α ) 2 i = 1 n T r i 2 n + 2 n α 2 1 i < j n ( d i j ) 2 n < ( 1 α ) 2 i = 1 n T r i 2 n + n α 2 i = 1 n T r i 2 n n = i = 1 n T r i 2 n 2 ( ( 1 α ) 2 + n α 2 ) i = 1 n T r i 2 n 2 = 4 W 2 ( G ) n 2 ,
since ( 1 α ) 2 + n α 2 1 for 0 α 2 n + 1 . Therefore,
1 2 4 W 2 ( G ) n 2 > 2 ( 1 α ) 2 1 i < j n ( d i j ) 2 + α 2 i = 1 n T r i 2 n .
It follows from Equation (15) that
P α ( G ) f 4 W 2 ( G ) n 2 = e 4 W 2 ( G ) n 2 + ( n 1 ) e 4 W 2 ( G ) n 2 2 ( 1 α ) 2 1 i < j n d i j 2 + α 2 i = 1 n T r i 2 n 1 .
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 P α ( G ) f 2 ( 1 α ) 2 1 i < j n ( d i j ) 2 + α 2 i = 1 n T r i 2 n instead in Equation (13), we are led to the following simpler estimation
P α ( G ) n e 2 ( 1 α ) 2 1 i < j n ( d i j ) 2 + α 2 i = 1 n T r i 2 n ,
with equality if and only if G = K 1 .
Let N ( G ) = i = 1 n T r i 1 n be the geometric mean of the transmission degrees sequence. It can be seen that 2 W ( G ) n N ( G ) holds, and equality is attained if and only if T r 1 = = T r n (i.e., the graph G is transmission regular).
Lemma 6.
[33] Let a 1 , a 2 , , a n be non-negative numbers. Then
n 1 n i = 1 n a i i = 1 n a i 1 n n i = 1 n a i i = 1 n a i 1 2 2
We next establish a further lower bound for P α ( G ) in terms of the order n, the geometric mean of the transmission degrees sequence N ( G ) , the Wiener index W ( G ) and the parameter α [ 0 , 1 ] .
Theorem 6.
Let G be a connected graph of order n 2 . Then
P α ( G ) e 4 W 2 ( G ) N 2 ( G ) n n ( n 1 ) + ( n 1 ) e 4 W 2 ( G ) N 2 ( G ) n n ( n 1 ) 2 ( 1 α ) 2 1 i < j n d i j 2 + α 2 i = 1 n T r i 2 n 1 .
The equality holds if either G is a complete graph or a graph with exactly three distinct D α -eigenvalues.
Proof. 
By similar argument as in the proof of Theorem 4, we have
P α ( G ) = e 1 2 + e 2 2 + + e n 2
e 1 2 + ( n 1 ) i = 2 n e i = 2 n i 2 n 1
= e 1 2 + ( n 1 ) e i 2 2 ( 1 α ) 2 1 i < j n d i j 2 α 2 i = 1 n T r i 2 n 1 .
By Lemma 4, we see that 1 i = 1 n T r i 2 n . Setting a i = T r i in Lemma 6, we have
n 2 i = 1 n T r i 2 n 2 W ( G ) n 2 i = 1 n T r i 2 n i = 1 n T r i 2 1 n .
Combining this with Lemma 4 yields
1 4 W 2 ( G ) N 2 ( G ) n n ( n 1 ) .
It is easy to see that 4 W 2 ( G ) N 2 ( G ) n n ( n 1 ) 2 W ( G ) n , and so, by Equation (16), we have
1 2 4 W 2 ( G ) N 2 ( G ) n n ( n 1 ) 4 W 2 ( G ) n 2 > 2 ( 1 α ) 2 1 i < j n ( d i j ) 2 + α 2 i = 1 n T r i 2 n .
The remainder of the proof is similar to that of Theorem 4, and hence is omitted.  □
Remark 3.
If we rely on the inequality 2 W ( G ) n N ( G ) , then we obtain
4 W 2 ( G ) N 2 ( G ) n n ( n 1 ) 2 W ( G ) n .
Since the function f ( x ) 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 W ( G ) = n k 2 and N ( G ) = k . We have the following observation based upon Theorem 6.
Corollary 3.
Let G be a k-transmission regular graph. Then
P α ( G ) e k 2 + ( n 1 ) e k 2 ( 1 n α 2 ) 2 ( 1 α ) 2 1 i < j n ( d i j ) 2 n 1 ,
with equality if and only if G = K n .

4. Examples for Some Fundamental Special Graphs

In this section, we explicitly derive the exact values of P α ( G ) 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 α = 0 the generalized distance matrix D α ( G ) is equivalent to the distance matrix D ( G ) and for α = 1 2 , twice the generalized distance matrix D α ( G ) is the same as the distance signless Laplacian matrix D Q ( G ) . Therefore, if in particular we put α = 0 and α = 1 2 in all the results obtained in Section 3, we obtain the corresponding bounds for the distance Gaussian Estrada index P D ( G ) and the distance signless Laplacian Gaussian Estrada index P Q ( G ) , respectively.
Since the generalized distance spectrum of K n is s p e c ( K n ) = { n 1 , α n 1 [ n 1 ] } , we have the following.
Lemma 7.
Let K n be the complete graph of order n. Then
P α ( K n ) = e ( n 1 ) 2 + n 1 e ( α n 1 ) 2 .
Following [34], the generalized distance spectrum of the complete bipartite graph K a , b is
s p e c ( K a , b ) = { α ( 2 a + b ) 2 [ a 1 ] , α ( 2 b + a ) 2 [ b 1 ] , ( α + 2 ) ( a + b ) 4 + η 2 , ( α + 2 ) ( a + b ) 4 η 2 } ,
where η = ( α 2 ) 2 ( a 2 + b 2 ) + 2 a b ( α 2 2 ) . We have the following expression for the P α ( G ) of the complete bipartite graph.
Lemma 8.
Let K a , b be the complete bipartite graph of order a + b . Then
P α ( K a , b ) = ( a 1 ) e ( α ( 2 a + b ) 2 ) 2 + ( b 1 ) e ( α ( 2 b + a ) 2 ) 2 + e ( α + 2 ) ( a + b ) 4 + η 2 2 + e ( α + 2 ) ( a + b ) 4 η 2 2 ,
where η = ( α 2 ) 2 ( a 2 + b 2 ) + 2 a b ( α 2 2 ) .
If we set α = 0 , the distance Gaussian Estrada index of K a , b is as follows.
Corollary 4.
P D ( K a , b ) = P 0 ( K a , b ) = ( a + b 2 ) e 4 + e a + b 2 + a 2 + b 2 a b 2 + e a + b 2 a 2 + b 2 a b 2 .
Moreover, if we set α = 1 2 , the distance signless Laplacian Gaussian Estrada index of K a , b is as follows.
Corollary 5.
P Q ( K a , b ) = ( a 1 ) e ( 2 a + b 4 ) 2 + ( b 1 ) e ( 2 b + a 4 ) 2 + e 5 ( a + b ) 8 + η 2 2 + e 5 ( a + b ) 8 η 2 2 ,
where η = 9 ( a 2 + b 2 ) 14 a b .
The next result gives an expression for P α ( G ) 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 μ 1 , μ 2 , , μ n . Then
P α ( G ) = e α 2 k 2 i = 1 n e ( 1 α ) μ i ( ( 1 α ) μ i + 2 α k ) .
Proof. 
Note that the generalized distance spectrum of the graph G reads as α k + ( 1 α ) μ 1 α k + ( 1 α ) μ 2 α k + ( 1 α ) μ n , where μ 1 μ n is the distance spectrum of G . Therefore,
P α ( G ) = i = 1 n e ( α k + ( 1 α ) μ i ) 2 = e α 2 k 2 i = 1 n e ( 1 α ) μ i ( ( 1 α ) μ i + 2 α k ) ,
as desired.  □
We next present an expression for P α ( G ) 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 { r , λ 2 , , λ n } are the eigenvalues of the adjacency matrix A ( G ) of G , then
P α ( G ) = e ( 2 n r 2 ) 2 + i = 2 n e ( α ( 2 n + λ i r ) λ i 2 ) 2 .
Proof. 
We know that the transmission of each vertex v V ( G ) is T r ( v ) = d ( v ) + 2 ( n d ( v ) 1 ) = 2 n d ( v ) 2 and Wiener index W ( G ) of G is W ( G ) = n 2 n m . Moreover,
D α ( G ) = α T r ( G ) + ( 1 α ) D ( G ) = α ( 2 n r 2 ) I + ( 1 α ) ( 2 J 2 I A ( G ) ) = α ( ( 2 n r 2 ) I 2 J + 2 I + A ( G ) ) + 2 J 2 I A ( G ) ,
where J is the all ones matrix. Therefore, we obtain
P α ( G ) = i = 1 n e i 2 = e ( 2 n r 2 ) 2 + i = 2 n e ( α ( 2 n + λ i r ) λ i 2 ) 2 ,
as desired.  □
Example 1.
Let C n be a cycle of order n. Since C n is a k-transmission regular graph with k = n 2 4 if n is even and k = n 2 1 4 if n is odd, then the generalized distance Gaussian Estrada index of C n according to the parity of n, is as follows.
If n = 2 p (i.e., n is even), then following [2] the distance spectrum of C n is
s p e c ( C n ) = 0 [ p 1 ] , n 2 4 , csc 2 π ( 2 j 1 ) n f o r j = 1 , , p .
Hence, applying Theorem 7 we have
P α ( C n ) = e α 2 n 4 16 p 1 + e ( α 2 1 ) n 4 16 + j = 1 p e ( 1 α ) csc 2 π ( 2 j 1 ) n ( α 1 ) csc 2 π ( 2 j 1 ) n + α n 2 2 .
If n = 2 p + 1 (i.e., n is odd), then following [2] the distance spectrum of C n is
s p e c ( C n ) = n 2 1 4 , 1 4 sec 2 π j n , 1 4 csc 2 π ( 2 j 1 ) 2 n f o r j = 1 , , p .
Hence, applying Theorem 7 we have
P α ( C n ) = e α 2 ( n 2 1 ) 2 16 e ( α 2 1 ) ( n 2 1 ) 2 16 + j = 1 p e ( 1 α ) γ 1 4 sec 2 π j n + j = 1 p e ( 1 α ) γ 2 4 csc 2 π ( 2 j 1 ) 2 n ,
where γ 1 = ( α 1 ) 4 sec 2 π j n + α ( n 2 1 ) 2 and γ 2 = ( α 1 ) 4 csc 2 π ( 2 j 1 ) 2 n + α ( n 2 1 ) 2 .
Therefore, if we set α = 0 , the distance Gaussian Estrada index of C n for n = 2 p is
P D ( C n ) = P 0 ( C n ) = p 1 + e n 4 16 + j = 1 p e csc 4 π ( 2 j 1 ) n ,
and for n = 2 p + 1 is
P D ( C n ) = P 0 ( C n ) = e ( n 2 1 ) 2 16 + j = 1 p e 1 16 sec 4 π j n + j = 1 p e 1 16 csc 4 π ( 2 j 1 ) n .
The graph G G 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 s p e c ( G ) = { r , λ 2 , , λ n } . For any vertex v G G , it is easy to see that
T r ( v ) = d ( v ) + 2 ( n d ( v ) 1 ) + n = 3 n d ( v ) 2 = 3 n r 2 .
Then G G is a transmission regular graph and T r ( G G ) = ( 3 n r 2 ) I . Note that by [35] the graph G G has distance spectrum s p e c ( G G ) = 3 n r 2 , n r 2 , 2 ( λ i + 2 ) [ 2 ] , for i = 2 , , n . By Theorem 7, we have
P α ( G G ) = e α 2 ( 3 n r 2 ) 2 e ( α 1 ) ( n r 2 ) σ 1 + e ( α 1 ) ( 3 n r 2 ) σ 2 + 2 i = 2 n e 2 ( 1 α ) ( λ i + 2 ) σ 3 ,
where σ 1 = α ( 5 n r 2 ) + n r 2 , σ 2 = ( α + 1 ) ( 3 n r 2 ) and σ 3 = 2 α ( λ i + 3 n r ) 2 λ i 4 . Therefore, if we set α = 0 , the distance Gaussian Estrada index of G G is
P D ( G G ) = P 0 ( G G ) = e ( n r 2 ) 2 + e ( 3 n r 2 ) 2 + 2 i = 2 n e 4 ( λ i + 2 ) 2 .
If we set α = 1 2 , the distance signless Laplacian Gaussian Estrada index of G G is
P Q ( G G ) = e ( 3 n r 2 ) 2 e ( n r 2 ) σ 1 + e ( 3 n r 2 ) σ 2 + 2 i = 2 n e 2 ( λ i + 2 ) σ 3 ,
where σ 1 = 7 n 3 r 6 , σ 2 = 3 ( 3 n r 2 ) and σ 3 = 2 ( 3 n λ i r 4 ) .
The cartesian product of two graphs G 1 and G 2 is denoted by G 1 × G 2 . The cartesian product can be viewed as a graph with vertex set V ( G 1 ) × V ( G 2 ) and edge set containing all edges { ( u 1 , u 2 ) , ( v 1 , v 2 ) } such that u 1 = v 1 and u 2 v 2 E ( G 2 ) or u 2 = v 2 and u 1 v 1 E ( G 1 ) .
Example 3.
Let G be an r-regular graph of diameter at most 2 with an adjacency matrix A and adjacency spectrum s p e c ( G ) = { r , λ 2 , , λ n } , and let H = G × K 2 . Suppose V ( G ) = v 1 , v 2 , , v n and V ( K 2 ) = w 1 , w 2 . From the fact d H ( ( v i , w j ) , ( v s , w t ) ) = d G ( v i , v s ) + d K 2 ( w j , w t ) = d G ( v i , v s ) + 1 , we see that all vertices of H have the same transmission and T r H ( v i , w j ) = 5 n 2 r 4 . So T r ( H ) = ( 5 n 2 r 4 ) I . Note that by [35], the graph H = G × K 2 has distance spectrum s p e c ( H ) = 5 n 2 ( r + 2 ) , 2 ( λ i + 2 ) , n , 0 [ n 1 ] , for i = 2 , , n . Then by Theorem 7, we have
P α ( H ) = e α 2 ( 5 n 2 r 4 ) 2 n 1 + e n ( 1 α ) ξ 1 + e ( α 2 1 ) ( 5 n 2 r 4 ) 2 + i = 2 n e 4 ( 1 α ) ( λ i + 2 ) ξ 2 ,
where ξ 1 = α ( 11 n 4 r 8 ) n and ξ 2 = α ( λ i + 5 n 2 r 2 ) λ i 2 . Therefore, if we set α = 0 , the distance Gaussian Estrada index of H = G × K 2 is
P D ( H ) = P 0 ( H ) = n 1 + e n 2 + e ( 5 n 2 r 4 ) 2 + i = 2 n e 4 ( λ i + 2 ) 2 .
If we set α = 1 2 , the distance signless Laplacian Gaussian Estrada index of H = G × K 2 is
P Q ( H ) = e ( 5 n 2 r 4 ) 2 n 1 + e n ξ 1 + e 3 ( 5 n 2 r 4 ) 2 + i = 2 n e 4 ( λ i + 2 ) ξ 2 ,
where ξ 1 = 9 n 4 r 8 and ξ 2 = 5 n λ i 2 r 6 .
Now, we give an expression for the generalized distance Gaussian Estrada index of the lexicographic product G [ H ] built upon two graphs G and H.
Definition 1.
[1] Let G and H be two graphs on vertex sets V ( G ) = { u 1 , u 2 , , u p } and V ( H ) = { v 1 , v 2 , , v n } , respectively. Their lexicographic product G [ H ] is a graph defined by V ( G [ H ] ) = V ( G ) × V ( H ) , the Cartesian product of V ( G ) and V ( H ) , in which u = ( u 1 , v 1 ) is adjacent to v = ( u 2 , v 2 ) if and only if either
(a)
u 1 is adjacent to v 1 in G or
(b)
u 1 = v 1 and u 2 is adjacent to v 2 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 { r , λ 2 , , λ n } . Let { μ 1 , , μ p } be the eigenvalues of the distance matrix D ( G ) of G. For v G [ H ] , it is easy to see that T r ( v ) = r + 2 ( n r 1 ) + k n = k n + 2 n r 2 . Then G [ H ] is a transmission regular graph and T r ( G [ H ] ) = ( k n + 2 n r 2 ) I . Note that by [36], the graph G [ H ] has distance spectrum s p e c ( G [ H ] ) = n μ i + 2 n r 2 , 2 ( λ j + 2 ) [ n ] , for i = 1 , , p and j = 2 , , n . In view of Theorem 7, we have
P α ( G [ H ] ) = e α 2 ( k n + 2 n r 2 ) 2 i = 1 p e ( α 1 ) ( n μ i + 2 n r 2 ) ζ 1 + n j = 2 n e 4 ( 1 α ) ( λ i + 2 ) ζ 2 ,
where ζ 1 = α ( 2 k n n μ i + 2 n r 2 ) + n μ i + 2 n r 2 and ζ 2 = α ( k n + λ i + 2 n r ) λ i 2 . Similarly, if we set α = 0 , the distance Gaussian Estrada index of G [ H ] is
P D ( G [ H ] ) = P 0 ( G [ H ] ) = i = 1 p e ( n μ i + 2 n r 2 ) 2 + n j = 2 n e 4 ( λ i + 2 ) 2 .
If we set α = 1 2 , the distance signless Laplacian Gaussian Estrada index of G [ H ] is
P Q ( G [ H ] ) = e ( k n + 2 n r 2 ) 2 i = 1 p e ( n μ i + 2 n r 2 ) ζ 1 + n j = 2 n e 4 ( λ i + 2 ) ζ 2 ,
where ζ 1 = 2 k n + n μ i + 6 n 3 r 6 and ζ 2 = k n λ i + 2 n r 4 .
We conclude by computing the generalized distance Gaussian Estrada index of the closed fence graph.
Example 5.
Let C n be a cycle of order n and K 2 be the complete graph of order 2. Then the closed fence graph is defined as G = C n [ K 2 ] , and depicted in Figure 1. Applying Example 4, we will be able to compute the generalized distance Gaussian Estrada index of closed fence G = C n [ K 2 ] . It is well known that the adjacency spectrum of the graph K 2 is s p e c ( K 2 ) = { 1 , 1 } . Then, applying Example 4, the generalized distance Gaussian Estrada index of closed fence C n [ K 2 ] , according to the parity of n, is as follows.
If n = 2 z (i.e., n is even), then by Equation (22) and applying Example 4 we have
P α ( C n [ K 2 ] ) = e α 2 n 2 2 + 1 2 ( ( z 1 ) e ( α 1 ) m 1 + e ( α 1 ) n 2 2 + 1 m 2 + j = 1 z e ( α 1 ) 2 csc 2 π ( 2 j 1 ) n + 1 m 3 + 2 e 4 ( 1 α ) m 4 ) ,
where m 1 = α ( n 2 + 1 ) + 1 , m 2 = ( α + 1 ) n 2 2 + 1 , m 3 = α n 2 + 2 csc 2 π ( 2 j 1 ) n + 1 2 csc 2 π ( 2 j 1 ) n + 1 and m 4 = α n 2 2 + 2 1 .
If n = 2 z + 1 (i.e., n is odd), then by Equation (23) and applying Example 4 we have
P α ( C n [ K 2 ] ) = e α 2 n 2 + 1 2 2 ( e ( α 1 ) n 2 + 1 2 h 1 + j = 1 z e ( α 1 ) 1 2 sec 2 π j n + 1 h 2 + j = 1 z e ( α 1 ) 1 2 csc 2 π ( 2 j 1 ) 2 n + 1 h 3 + 2 e 4 ( 1 α ) m 4 ) ,
where h 1 = α n 2 + 3 2 + n 2 + 1 2 , h 2 = α n 2 + 1 1 2 sec 2 π j n 1 2 sec 2 π j n + 1 , h 3 = α n 2 + 1 1 2 csc 2 π ( 2 j 1 ) 2 n 1 2 csc 2 π ( 2 j 1 ) 2 n + 1 and m 4 = α n 2 2 + 2 1 .

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 H ( G ) [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 1 , 2 , , n be the generalized distance eigenvalues of a graph G. We defined the generalized distance Gaussian Estrada index as P α ( G ) = i = 1 n e i 2 , 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 P α ( G ) turns out to be highly desirable in quantum information theory, it is interesting to study the quantity P α ( G ) 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 P α ( G ) of a connected graph G through the different graph parameters including the order n, the Wiener index W ( G ) , the transmission degrees and the parameter α [ 0 , 1 ] . We have also characterized the extremal graphs attaining these bounds. Some expressions for P α ( G ) of some fundamental special graphs have been worked out.

Author Contributions

Conceptualization, A.A. and M.B.; formal analysis, A.A., M.B. and Y.S.; writing–original draft preparation, A.A. and M.B.; writing—review and editing, A.A., M.B. and Y.S.; project administration, A.A.; funding acquisition, A.A. and Y.S.

Acknowledgments

The authors would like to thank the academic editor and the three anonymous referees for their constructive comments that helped improve the paper. The research of A. Alhevaz was in part supported by a grant from Shahrood University of Technology. This work of Y. Shang was supported in part by the UoA Flexible fund of Northumbria University.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Cvetković, D.M.; Doob, M.; Sachs, H. Spectra of Graphs—Theory and Application; Academic Press: New York, NY, USA, 1980. [Google Scholar]
  2. Aouchiche, M.; Hansen, P. Two Laplacians for the distance matrix of a graph. Linear Algebra Appl. 2013, 439, 21–33. [Google Scholar] [CrossRef]
  3. Alhevaz, A.; Baghipur, M.; Hashemi, E.; Ramane, H.S. On the distance signless Laplacian spectrum of graphs. Bull. Malay. Math. Sci. Soc. 2019, 42, 2603–2621. [Google Scholar] [CrossRef]
  4. Alhevaz, A.; Baghipur, M.; Paul, S. On the distance signlees Laplacian spectral radius and the distance signless Laplacian energy of graphs. Discrete Math. Algorithms Appl. 2018, 10, 19. [Google Scholar] [CrossRef]
  5. Xing, R.; Zhou, B.; Li, J. On the distance signless Laplacian spectral radius of graphs. Linear Multilinear Algebra 2014, 62, 1377–1387. [Google Scholar] [CrossRef]
  6. Nikiforov, V. Merging the A- and Q-spectral theories. Appl. Anal. Discrete Math. 2017, 11, 81–107. [Google Scholar] [CrossRef]
  7. Cui, S.Y.; He, J.X.; Tian, G.X. The generalized distance matrix. Linear Algebra Appl. 2019, 563, 1–23. [Google Scholar] [CrossRef]
  8. Cvetković, D.M. Applications of graph spectra: An introduction to the literature. Appl. Graph Spectra 2009, 21, 7–31. [Google Scholar]
  9. Estrada, E. Characterization of the amino acid contribution to the folding degree of proteins. Proteins 2004, 54, 727–737. [Google Scholar] [CrossRef]
  10. Gutman, I.; Estrada, E.; Rodriguez-Velázquez, J.A. On a graph-spectrum-based structure descriptor. Croat. Chem. Acta 2007, 80, 151–154. [Google Scholar]
  11. De la Peña, J.A.; Gutman, I.; Rada, J. Estimating the Estrada index. Linear Algebra Appl. 2007, 427, 70–76. [Google Scholar] [CrossRef] [Green Version]
  12. Gutman, I.; Furtula, B.; Chen, X.; Qian, J. Resolvent Estrada index—Computational and mathematical studies. Match Commun. Math. Comput. Chem. 2015, 74, 431–440. [Google Scholar]
  13. Gutman, I.; Deng, H.; Radenković, S. The Estrada index: An updated survey. Sel. Top. Appl. Graph Spectra 2011, 22, 155–174. [Google Scholar]
  14. Estrada, E. Characterization of 3-D molecular structure. Chem. Phys. Lett. 2000, 319, 713–718. [Google Scholar] [CrossRef]
  15. Estrada, E.; Rodriguez-Velázguez, J.A.; Randić, M. Atomic branching in molecules. Int. J. Quantum Chem. 2006, 106, 823–832. [Google Scholar] [CrossRef]
  16. Shang, Y. Local natural connectivity in complex networks. Chin. Phys. Lett. 2011, 28, 068903. [Google Scholar] [CrossRef]
  17. Shang, Y. Biased edge failure in scale-free networks based on natural connectivity. Indian J. Phys. 2012, 86, 485–488. [Google Scholar] [CrossRef]
  18. Estrada, E. The Structure of Complex Networks-Theory and Applications; Oxford Univ. Press: New York, NY, USA, 2012. [Google Scholar]
  19. Ayyaswamy, S.K.; Balachandran, S.; Venkatakrishnan, Y.B.; Gutman, I. Signless Laplacian Estrada index. Match Commun. Math. Comput. Chem. 2011, 66, 785–794. [Google Scholar]
  20. Güngör, A.D.; Bozkurt, Ş.B. On the distance Estrada index of graphs. Hacet. J. Math. Stat. 2009, 38, 277–283. [Google Scholar]
  21. Ilić, A.; Zhou, B. Laplacian Estrada index of trees. Match Commun. Math. Comput. Chem. 2010, 63, 769–776. [Google Scholar]
  22. Shang, Y. Distance Estrada index of random graphs. Linear Multilinear Algebra 2015, 63, 466–471. [Google Scholar] [CrossRef]
  23. Shang, Y. Bounds of distance Estrada index of graphs. Ars Combin. 2016, 128, 287–294. [Google Scholar]
  24. Alhomaidhi, A.A.; Al-Thukair, F.; Estrada, E. Gaussianization of the spectra of graphs and networks. Theory and applications. J. Math. Anal. Appl. 2019, 470, 876–897. [Google Scholar] [CrossRef]
  25. Kutzelnigg, W. What I like about Hückel theory. J. Comput. Chem. 2007, 28, 25–34. [Google Scholar] [CrossRef] [PubMed]
  26. Estrada, E.; Alhomaidhi, A.A.; Al-Thukair, F. Exploring the “Middel Earth" of network spectra via a Gaussian matrix function. Chaos 2017, 27, 023109. [Google Scholar] [CrossRef] [PubMed]
  27. Wang, L.W.; Zunger, A. Solving Schrödinger’s equation around a desired energy: Application to silico quantum dots. J. Chem. Phys. 1994, 100, 2394. [Google Scholar] [CrossRef]
  28. Shang, Y. Lower bounds for Gaussian Estrada index of graphs. Symmetry 2018, 10, 325. [Google Scholar] [CrossRef]
  29. Aouchiche, M.; Hansen, P. Distance spectra of graphs: A survey. Linear Algebra Appl. 2014, 458, 301–386. [Google Scholar] [CrossRef]
  30. Indulal, G. Sharp bounds on the distance spectral radius and the distance energy of graphs. Linear Algebra Appl. 2009, 430, 106–113. [Google Scholar] [CrossRef] [Green Version]
  31. Minć, H. Nonnegative Matrices; John Wiley and Sons Inc.: New York, NY, USA, 1988. [Google Scholar]
  32. Diaz, R.C.; Rojo, O. Sharp upper bounds on the distance energies of a graph. Linear Algebra Appl. 2018, 545, 55–75. [Google Scholar] [CrossRef]
  33. Zhou, B.; Gutman, I.; Aleksić, T. A note on Laplacian energy of graphs. Match Commun. Math. Comput. Chem. 2008, 60, 441–446. [Google Scholar]
  34. Ganie, H.A.; Pirzada, S.; Alhevaz, A.; Baghipur, M. Generalized distance spectral spread of a graph. 2019. submitted. [Google Scholar]
  35. Indulal, G.; Gutman, I.; Vijayakumar, A. On distance energy of graphs. Match Commun. Math. Comput. Chem. 2008, 60, 461–472. [Google Scholar]
  36. Indulal, G. The distance spectrum of graph compositions. Ars. Math. Contemp. 2009, 2, 93–100. [Google Scholar]
Figure 1. The closed fence graph.
Figure 1. The closed fence graph.
Symmetry 11 01276 g001

Share and Cite

MDPI and ACS Style

Alhevaz, A.; Baghipur, M.; Shang, Y. On Generalized Distance Gaussian Estrada Index of Graphs. Symmetry 2019, 11, 1276. https://doi.org/10.3390/sym11101276

AMA Style

Alhevaz A, Baghipur M, Shang Y. On Generalized Distance Gaussian Estrada Index of Graphs. Symmetry. 2019; 11(10):1276. https://doi.org/10.3390/sym11101276

Chicago/Turabian Style

Alhevaz, Abdollah, Maryam Baghipur, and Yilun Shang. 2019. "On Generalized Distance Gaussian Estrada Index of Graphs" Symmetry 11, no. 10: 1276. https://doi.org/10.3390/sym11101276

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop