Novel Bounds for the Normalized Laplacian Estrada and Normalized Energy Index of Graphs
For a simple and connected graph, several lower and upper bounds of graph invariants expressed in terms of the eigenvalues of the normalized Laplacian matrix have been proposed in literature. In this paper, through a unified approach based on majorization techniques, we provide some novel inequalities depending on additional information on the localization of the eigenvalues of the normalized Laplacian matrix. Some numerical examples show how sharper results can be obtained with respect to those existing in literature.
Department of Mathematics and Econometrics, Catholic University, Milan, Italy
[2mm] email@example.com, firstname.lastname@example.org
Keywords: majorization; graphs; normalized Laplacian energy; normalized Laplacian Estrada index; Randić index.
In literature, several topological indices, related to the structural properties of graphs, have been widely explored. We focus here on the normalized Laplacian Estrada index (see [Hakimi] and [LiGuoShiu]) and the normalized Laplacian energy index (see [Cavers]), that are based on a particular matrix associated with a graph, called the normalized Laplacian matrix. Properties about the spectrum of this matrix and its relationship to the Randić index have been investigated in several works (see [BroHae], [Cavers], [Chung] and [Cve]). In this paper we use a powerful methodology that relies on majorization techniques (see [BCPT2], [BCPT3], [BCPT4] and [BCT1]) in order to localize the graph topological indices we consider. In particular, through this technique, we derive new bounds for these indices taking advantage of additional information on the localization of the eigenvalues of normalized Laplacian matrix. Furthermore, this additional information can be quantified by using numerical approaches developed in [CC1] and [CC] and extended for normalized Laplacian matrix in [CC2]. Finally, some existing bounds (see [Hakimi] and [LiGuoShiu]), depending on well-known inequalities on Randić index, have been also improved by using some novel results proposed in [BCT2].
The paper is organized as follows: in Section 2 some preliminaries are given. In Section 3 we provide, through majorization techniques, new bounds for topological indices expressed in terms of the eigenvalues of the normalized Laplacian matrix and we also recover in a straightforward way some results proposed in [LiGuoShiu]. The relation between normalized Laplacian Estrada index and Randić index has been used in Section 4 to obtain new inequalities on normalized Laplacian Estrada index. Finally, in Section 5 several numerical results are reported, showing how the proposed bounds are tighter than those given in literature.
2 Notations and Preliminaries
2.1 Basic graph concepts
We consider a simple, connected and undirected graph where is the set of vertices and the set of edges, .
The degree sequence of is denoted by and it is arranged in non-increasing order , where is the degree of vertex .
It is well known that and that if is a tree, i.e. a connected graph without cycles,
Let be the adjacency matrix of and be the diagonal matrix of vertex degrees. The matrix is called Laplacian matrix of , while is known as normalized Laplacian. Let , and be the set of (real) eigenvalues of , and respectively.
We now recall some properties of normalized Laplacian eigenvalues useful for our purpose. For more details we refer the reader to [BroHae], [Chung] and [Cve].
Given a connected graph of order , the following properties of the spectrum of hold:
The left inequality is attained if and only if G is a complete graph, while the right inequality holds when G is a bipartite graph;
, if is connected.
2.2 Normalized Laplacian indices
The normalized Laplacian Estrada index has been proposed in [LiGuoShiu] and it is defined as:
In [Hakimi], an alternative definition of normalized Laplacian Estrada index has been provided:
Notice that , any results derived for can be trivially re-stated for and viceversa.
Another graph invariant, introduced in [Cavers], is the normalized Laplacian energy index of a graph denoted by:
2.3 Randić index and Majorization techniques
The Randić index is defined as:
and it can be equivalently expressed as:
Given a fixed degree sequence , let be the vector whose components are with
Since , let . By considering a closed subset of whose maximal and minimal elements with respect to the majorization order are and , the Randić index can be bounded as follows (see (5) in [BCT2]):
Using the information available on the degree sequence of and characterizing the set , the minimal and maximal elements and can be easily computed.
In this paper, we focus on a specific case of a graph with pendent vertices, whose degree sequence is of the type
where and (we do not consider the star graph since it is well-known that ).
It is noteworthy that this method could be applied to other suitable degree sequences.
Pointing out that holds, we face the set
For convenience of the reader, we report the expressions of the maximal and minimal elements of .
The maximal element is derived by means of Corollary 3 in [BCT2] as follows:
, , , , and is obtained as the difference between and the sum of the other components of the vector .
The minimal element is instead obtained by Corollary 10 in [BCT2] as follows:
where and , have the same meaning of before.
3 Bounds for normalized Laplacian indices via majorization techniques
In this section we provide bounds for normalized Laplacian Estrada index and normalized Laplacian energy index. These descriptors can be expressed in terms of Schur-convex or Schur-concave functions of suitable variables. We briefly recall that Schur-convex (Schur-concave) functions preserve (reverse) the majorization order (see [Marshall] for details).
3.1 Normalized Laplacian Estrada index
Firstly, we focus on . Let us consider the set
We can now consider a subset of :
In order to compute the minimal element of , we apply Corollary 14 in [BCT1] and we obtain:
By the Schur-convexity of the function , we get the following bound:
Setting , we can easily derive the same result proved in [LiGuoShiu], Theorem 3.1:
Furthermore, by applying a theoretical and numerical methodology (see [BT] and [CC2]), it is possible to compute a different lower bound for the first eigenvalue of in a fairly straightforward way, that is , where
with and .
It is well-known that, for every connected graph of order :
We can further improve bound (9) by identifying additional information on . In this case we face the set:
Under the assumptions and , by Corollary 14 in [BCT1], the minimal element of with respect to the majorization order is given by
and we can provide the following bound:
In [CC2] the authors found a lower bound for , that is , where:
They proved that and numerically showed, for some classes of graphs, that , satisfying the conditions underlying Corollary 14 in [BCT1].
Finally, for bipartite graphs, it is well-known that . Hence
By applying Corollary 14 in [BCT1], we recover the following bound provided in [LiGuoShiu], Theorem 3.2:
Also in this case, we can improve this bound by identifying additional information on . We face the set:
under the assumption . By Corollary 14 in [BCT1], the minimal element of with respect of majorization order is given by
and we can provide the following bound:
where the lower bound of derived in [CC2] can be also used to compute (14).
with , and .
In Section 5 we will compare these bounds with those proposed in [Hakimi] and [LiGuoShiu].
3.2 Normalized Laplacian energy index
The normalized Laplacian energy index can be rewritten as a Schur-concave function of the variables :
If a lower bound for is available, i.e. , introducing the new variables as a function of the eigenvalue arranged in nonincreasing order, we get:
Let us consider the set
where the relation has been obtained by using properties recalled in Lemma 1.
With the same methodology described for , we can derive the minimal element of and then the following upper bound:
with . This bound could be computed by placing .
Considering also an additional information on (i.e. ), we may face the set:
under the assumptions and .
In this case, by means of the minimal element of , we can provide the bound:
where we can place and .
Finally, for bipartite graphs, taking into account that , we set:
and we derive the bound:
Also in this case, we can improve this result by identifying additional information on . We face the set:
under the assumption and we can provide the bound:
where the information can be used to compute (21).
4 Bounds through Randić Index
In Theorem 3.4 and Theorem 3.5 in [LiGuoShiu], the authors provided lower and upper bounds for of a (bipartite) graph in terms of and maximum (or minimum) degree. This result has been obtained through well-known inequalities on Randić index (see [Shi]), i.e.
Following this idea, we now deduce some bounds for and its variant by using the methodology based on majorization recalled in Section 2.3. In Section 5.2 we will numerically show that the bounds obtained are tighter than those provided in [Hakimi] and [LiGuoShiu].
In virtue of (4) and by means of Theorem 3.4 in [LiGuoShiu], we easily get the following result for bipartite graph:
Let be a simple, connected and bipartite graph of order . Then the normalized Laplacian Estrada index of is bounded as:
In the same way as before, by Theorem 3.5 in [LiGuoShiu] we have the following bounds for non-bipartite graphs:
Let be a simple and connected graph of order . Then the normalized Laplacian Estrada index of is bounded as follows:
Notice that, replacing and , we recover the same bounds provided in [LiGuoShiu], Theorem 3.4 and 3.5.
5 Numerical Results
5.1 Comparing Bounds derived via majorization techniques
5.1.1 Normalized Laplacian Estrada index
Firstly, we focus on by comparing for non-bipartite graphs bounds (9) and (12) with (10) proposed in [LiGuoShiu]. It has been already analytically proved in Section 3.1 that, when the additional information is considered, bound (9) with is tighter than (10). We now show how these bounds behave according to different graphs. In particular we analyze two alternative classes of graphs generated by using either the Erdös-Rényi (ER) model (see [Boll], [Chung], [ER59] and [ER60]) or the Watts and Strogatz (WS) model (see [WS]). Both models have been generated by using a well-known package of R (see [igraph]) and by assuring that the graph obtained is connected. The ER is constructed by connecting nodes randomly such that edges are included with probability independent from every other edge. The WS networks have been derived beginning by a simulated -node lattice and rewiring each edge at random to a new target node with probability . As described by [WS], we choose a vertex and the edge that connects it to its nearest neighbor in a clockwise sense. With probability , we reconnect this edge to a vertex chosen uniformly at random over the entire ring, with duplicate edges forbidden; otherwise we leave the edge in place. We repeat this process by moving clockwise around the ring, considering each vertex in turn until one lap is completed. Next, we consider the edges that connect vertices to their second-nearest neighbors clockwise. As before, we randomly rewire each of these edges with probability and continue this process, circulating around the ring and proceeding outward to more distant neighbors after each lap, until each edge in the original lattice has been considered once. This construction allows to analyze the behavior of networks between regularity () and disorder ().
In Table 1 we report the index and the values of the three mentioned bounds evaluated on non-bipartite graphs generated by using ER model with different number of vertices and with equal to . Relative errors measures the absolute value of the difference between the lower bounds and divided by the value of .
|bound (10)||bound (9)||bound (12)||r(10)||r(9)||r(12)|
As expected, using bound (12) we observe an improvement with respect to existing bound according to all the analyzed graphs. The improvement is very significant for graphs with a small number of vertices, while it reduces for very large graphs. However, for large graphs formula (10) provided in [LiGuoShiu] already gives a very low relative error.
The comparison has been extended in order to test the behaviour of the bounds on alternative graphs generated by using always the ER model with a different probability . For sake of simplicity we report only the relative errors derived for graphs generated by using respectively and (see Table 2). In all cases bound (12) assures the best approximation to . We observe a best behaviour of all bounds when because we are moving towards the complete graph. We have indeed that the density of the graphs increases as long as greater probabilities are considered.
Finally, graphs have been simulated by using WS model with different rewiring probabilities . As well-known, intermediate values of result in small-world networks that share properties of both regular and random graphs. In [WS], the authors show that these networks have small mean path lengths and high clustering coefficients. There is indeed a broad interval of over which the average path is almost as small as random yet the clustering coefficient is significantly greater than random. These small-world networks result from the immediate drop in average path caused by the introduction of few long-range edges. In particular, we analyze the behaviour of bounds in this interval by considering graphs generated with a rewiring probability in the range . At this regard, Table 3 reports bounds evaluated by considering . In this case, we observe greater relative errors especially for large graphs. Probably, being these networks very far from complete graphs, bounds tend to assure a weaker approximation. Similar results have been obtained by simulating WS graphs choosing different values of that belong to the interval.
|bound (10)||bound (9)||bound (12)||r(10)||r(9)||r(12)|
5.1.2 Normalized Laplacian energy index
We compare here bounds proposed in Section 3.2 for with the following upper bounds proposed in [Cavers]:
Table 4 reports main results derived for graphs generated by a model. We observe how both bounds (18) and (19) are tighter than those proposed in [Cavers]. The improvement increases for greater number of vertices.
|bound (25)||bound (26)||bound (18)||bound (19)|
Considering instead WS networks, derived as in Section 5.1.1 by assuming a rewiring probability equal to , we observe in Table 5 greater values of . In this case, bound (26) gives better results than those observed for ER graphs. However it is confirmed the best approximation when bound (19) is used.
|bound (25)||bound (26)||bound (18)||bound (19)|
5.2 Bounds based on Randić Index
We now consider an example based on a specific degree sequence of type (5) in order to explain the details of the procedure used to bound via Randić Index. In the next we will extend the results to several degree sequences of type (5).
Example 1. Let us consider the class of graphs with the following degree sequence:
We have , and pendant nodes. Since , the minimal element (8) is:
Replacing these values in (4), we find , while .
The bounds for are figured out in Table 6. Furthermore, in order to test how these bounds behave, the exact value of is also needed. Having a huge number111We estimate the total number of graphs with the degree sequence by using the importance sampling algorithm proposed in [BlitzDiac]. Authors show robust results by applying the algorithm with 100.000 trials. In this case we derive a total number of graphs equal to roughly with a standard error of . However it is noteworthy that also graphs belonging to the same isomorphism class are considered in this value. For the computation of the average values in Tables 6 and 7, we take into account only graphs with a different . of graphs , we randomly generate one million of different graphs belonging to the class . The average value, the minimum and maximum values of the index are also reported in Table 6.
|Theorem 3.5 of [LiGuoShiu]|
Considering instead the upper bound, since , we compute and we have that the maximal element (7) is:
leading to , while .
Upper bounds and values of are summarized in Table 7.
|Theorem 3.5 of [LiGuoShiu]|
Finally, if we know the value of Randić Index, we can directly use it to compute (23). For example, considering a random graph , we obtain deriving a better approximation (i.e. ).
We now evaluate these bounds by randomly generating several degree sequences of type (5). For this aim, model has been used to derive different random graphs, where we disregard graphs whose degree sequence does not belong to the set (6). The number of pendant vertices varies according to the specific degree sequence obtained. Results have been compared to those analyzed in previous Section 5.1.1. In particular, we report in Table 8 bound (10) and bound (23) proposed in [LiGuoShiu], where bound (23) has been derived by using in (23) the lower bound of . These bounds have been compared with bound (9) and bound (12) already analysed in previous section and with bound (23) and bound (23) evaluated by using the first left inequality of (23) and by considering respectively the value of or by assuming to know the value of Randić Index .
We further observe that bound (12) based on value of and shows the tighter lower bound in all cases by allowing a best approximation respect to bounds based on inequality (23). Furthermore, when inequality (23) is considered, leads to a better bound than used in [LiGuoShiu]. Finally, considering the exact value of Randić Index we only get a slight improvement.
|bound (10)||bound (23)||bound (9)||bound (12)||bound (23)||bound (23)|
On the same graphs upper bounds have been also evaluated by using the right part of inequality (23). We observe in Table 9 a huge approximation, especially for large graphs, when we apply formula proposed in [LiGuoShiu] based on the upper bound of Randić Index (see bound (23)). By considering the upper bound based on we are able to improve the results, but for large graphs we derive useless bounds in this case too. We have indeed that even when we directly use the value of we derive bounds significantly larger for graphs with a great number of vertices.
|bound (23)||bound (23)||bound (23)|
Bounds proposed for have been also compared to the following bounds presented in [Hakimi]:
We observe in Table 10 how the proposed bounds significantly improve those in [Hakimi].
|bound (27)||bound (28)||bound (29)||bound (15)||bound (16)||bound (24)|
Considering instead the upper bounds, we compare our results with the following one in [Hakimi]:
|bound (30)||bound (24)|
By using an approach for localizing some relevant graph topological indices based on the optimization of Schur-convex or Schur-concave functions, we derive some new bounds for normalized Laplacian Estrada index and for normalized Laplacian energy index. The proposed bounds can be computed by using additional information on the localization of first and second eigenvalue of normalized Laplacian matrix. A numerical section shows how this approach allows to derive tighter bounds than those provided in the literature. In particular, bound derived directly via majorization technique appear sharper than those depending by the Randić Index. According to the latter ones, it is noteworthy that we analyzed only the results for a specific type of degree sequence, while different bounds could be derived for other suitable degree sequences.
The authors are grateful to Monica Bianchi and Anna Torriero for useful advice and suggestions.
The authors declare that they have no competing interests.
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.