# On the Maximum Estrada Index of 3-Uniform Linear Hypertrees

Authors: Faxu Li; Liang Wei; Jinde Cao; Feng Hu; Haixing Zhao
Journal: The Scientific World Journal
 (2014)

---

## Abstract

For a simple hypergraphH on n vertices, its Estrada index is defined as E
E
(
H
)
=
∑
i
=
1
n
‍
e
λ
i, where λ
1
,
λ
2
,
…
,
λ
n are the eigenvalues of its adjacency matrix. In this paper, we determine the unique 3-uniform linear hypertree with the maximum Estrada index.


---

## Body

## 1. Introduction

LetG
=
(
V
,
E
) be a simple graph, and let n and m be the number of vertices and the number of edges of G, respectively. The characteristic polynomial of a graph G is written as P
(
G
,
λ
)
=
det
⁡
⁡
(
λ
I
-
A
(
G
)
), where A
(
G
) is the adjacency matrix of G. The eigenvalues of G are the eigenvalues of its adjacency matrix A
(
G
), which are denoted by λ
1
,
λ
2
,
…
,
λ
n. A graph-spectrum-based invariant, nowadays named Estrada index, proposed by Estrada in 2000, is defined as [1]
(1)
E
E
(
G
)
=
∑
i
=
1
n
‍
e
λ
i
.Since then, the Estrada index has already found remarkable applications in biology, chemistry, and complex networks [2–5]. Some mathematical properties of the Estrada index, especially bounds for it have been established in [6–15]. For more results on the Estrada index, the readers are referred to recent papers [16–19].LetH
=
(
V
,
E
) be a simple and finite hypergraph with vertex set V
(
G
)
=
{
v
1
,
v
2
,
…
,
v
n
} and hyperedge set E
(
G
)
=
{
E
1
,
E
2
,
…
,
E
m
}. The hypergraph H is called linear if two hyperedges intersect in one vertex at most and also h-uniform if |
E
i
|
=
h for each E
i in E, i
=
1,2
,
…
,
m. An h-uniform hypertree is a connected linear h-hypergraph without cycles. An h-uniform linear hypertree is called 3-uniform linear hypertree if h is equal to 3. Denoted by S
m
h an h-uniform linear star with m hyperedges. More details on hypergraphs can be found in [20].LetA
(
H
) denote a square symmetric matrix in which the diagonal elements a
i
j are zero, and other elements a
i
j represent the number of hyperedges containing both vertices v
i and v
j (for undirected hypergraphs, a
i
j
=
a
j
i). Let λ
1
,
λ
2
,
…
,
λ
n be the eigenvalues of A
(
H
) of H. The subhypergraph centrality of a hypergraph H, firstly put forward by Estrada and Rodríguez-Velázquez in 2006, is defined as [21]
(2)
〈
C
S
H
〉
=
1
n
∑
i
=
1
n
‍
C
S
H
(
i
)
=
1
n
∑
i
=
1
n
‍
e
λ
i
.They revealed that the subhypergraph centrality provides a measure of the centrality of complex hypernetworks (social, reaction, metabolic, protein, food web, etc). For convenience, we call the subhypergraph centrality of a hypergraph its Estrada index and define the Estrada index as(3)
E
E
(
H
)
=
∑
i
=
1
n
‍
e
λ
i
.Thus far, results on the Estrada index of hypergraph seem to be few although the Estrada index of graph has numerous applications. So our main goal is to investigate the Estrada index of 3-uniform linear hypertrees. In this paper, we determine the unique 3-uniform linear hypertree with the maximum Estrada index among the set of 3-uniform linear hypertrees.


## 2. Preliminaries

For a hypergraphH of order n, its completely connected graph, denoted by G
H, is a graph which has the same order and in which two vertices are adjacent if they share one hyperedge. Obviously, G
H is a multigraph. For an h-uniform linear hypergraph H, G
H is a simple graph. According to the definition of adjacency matrix of hypergraph, it is easy to see that both a 3-uniform linear hypertree H and its completely connected graph G
H have the same adjacency matrix; see Figure 1. Then, they have the identical Estrada index. Thus, we investigate the Estrada index of its completely connected graphs instead of the 3-uniform linear hypertrees in this paper.Figure 1
A 3-uniform linear hypertreeH and its completely connected graph G
H.We useM
k
(
G
)
=
∑
i
=
1
n
‍
λ
i
k to denote the kth spectral moment of the graph G. It is well-known [22] that M
k
(
G
) is equal to the number of closed walks of length k in G. Obviously, for any graph G, M
0
(
G
)
=
n, M
1
(
G
)
=
0, M
2
(
G
)
=
2
m, M
3
(
G
)
=
6
t, and M
4
(
G
)
=
2
∑
i
=
1
n
‍
d
i
2
-
2
m
+
8
q, where t, q, and d
i
=
d
G
(
v
i
) are the number of triangles, the number of quadrangles, and the degree of vertex v
i in graph G, respectively. Then
(4)
E
E
(
G
)
=
∑
i
=
1
n
‍
∑
k
=
0
∞
‍
λ
i
k
k
!
=
∑
k
=
0
∞
‍
M
k
(
G
)
k
!
.Foru
,
v
∈
V
(
G
), denote by W
k
(
G
;
u
,
v
) the set of (
u
,
v
)-walks of length k in G. Obviously, M
k
(
G
;
u
,
v
)
=
|
W
k
(
G
;
u
,
v
)
|. For convenience, let W
k
(
G
;
u
)
=
W
k
(
G
;
u
,
u
) and M
k
(
G
;
u
)
=
M
k
(
G
;
u
,
u
). Let W be a (
u
,
v
)-walk in graph G; we denote by W
-
1 a (
v
,
u
)-walk obtained from W by reversing W.For any two graphsG
1 and G
2, if M
k
(
G
1
)
≥
M
k
(
G
2
) for all integers k
>
0, then E
E
(
G
1
)
≥
E
E
(
G
2
). Moreover, if the strict inequality M
k
(
G
1
)
>
M
k
(
G
2
) holds for at least one value k
>
0, then E
E
(
G
1
)
>
E
E
(
G
2
).Denote byΓ
(
n
,
m
) the set of connected graphs on n vertices and m triangles such that any two triangles have a common vertex at most. Apparently, for a 3-uniform linear hypertree H on n vertices and m hyperedges, G
H
∈
Γ
(
n
,
m
). Now we study the Estrada index of a graph in Γ
(
n
,
m
).


## 3. Maximum Estrada Index of 3-Uniform Linear Hypertrees

In this section, we determine the maximum value of Estrada index among the set of 3-uniform linear hypertrees.Lemma 1.
LetS
m
3 be star which is the completely connected graph of S
m
3 with m hyperedges. It is easily found that the star S
m
3 has n vertices labled v
1
,
v
2
,
v
3
,
…
,
v
n and m
=
(
n
-
1
)
/
2 triangles. Let k be a positive integer; then there is an injection ξ from W
k
(
S
m
3
;
v
2
) to W
k
(
S
m
3
;
v
1
), and ξ is not surjective for n
≥
5, 2
≤
m
≤
(
n
-
1
)
/
2, and k
>
1, where W
k
(
S
m
3
;
v
2
) and W
k
(
S
m
3
;
v
1
) are the sets of closed walks of length k of v
2 and v
1 in S
m
3, respectively; see Figure 2.Figure 2
The starS
m
3 on m triangles.Proof.
Firstly, we construct a mappingφ from W
k
(
S
m
3
;
v
2
) to W
k
(
S
m
3
;
v
1
). For W
∈
W
k
(
S
m
3
;
v
2
), let φ
(
W
) be the closed walk obtained from W by replacing v
1 by v
2 and v
2 by v
1. Obviously, φ
(
W
)
∈
W
k
(
S
m
3
;
v
1
) and φ is a bijection.
Secondly, we construct a mappingξ from W
k
(
S
m
3
;
v
2
) to W
k
(
S
m
3
;
v
1
). For W
∈
W
k
(
S
m
3
;
v
2
), we consider the following cases.
Case  1. Suppose W does not pass the edge v
1
v
t for t
≥
4; then ξ
(
W
)
=
φ
(
W
).
Case  2. Suppose W passes the edge v
1
v
t for t
≥
4. For W
∈
W
k
(
S
m
3
;
v
2
), we may uniquely decompose W into three sections W
1
W
2
W
3, where W
1 is the longest (
v
2
,
v
1
)-section of W without v
t, W
2 is the internal longest (
v
t
,
v
t
′
)-section of W for t
′
≥
4, and the last W
3 is the remaining (
v
1
,
v
2
)-section of W not containing v
t. We consider the following three subcases.
Case  2.1. If both W
1 and W
3 contain the vertex v
3, we may uniquely decompose W
1 into two sections W
11
W
12 and decompose W
3 into two sections W
31
W
32, where W
11 is the shortest (
v
2
,
v
3
)-section of W
1, W
12 is the remaining (
v
3
,
v
1
)-section of W
1, W
31 is the longest (
v
1
,
v
3
)-section of W
3, and W
32 is the remaining (
v
3
,
v
2
)-section of W
3.
Letξ
(
W
)
=
ξ
(
W
11
)
ξ
(
W
12
)
ξ
(
W
2
)
ξ
(
W
31
)
ξ
(
W
32
), where ξ
(
W
12
) = W
12, ξ
(
W
2
)
=
W
2, ξ
(
W
31
)
=
W
31, ξ
(
W
11
) is a (
v
1
,
v
3
)-walk obtained from W
11 replacing v
1 by v
2 and v
2 by v
1, and ξ
(
W
32
) is a (
v
3
,
v
1
)-walk obtained from W
32 replacing v
1 by v
2 and v
2 by v
1.
Case  2.2. If W
1 contains the vertex v
3 and W
3 does not contain v
3, let ξ
(
W
)
=
ξ
(
W
1
)
ξ
(
W
2
)
ξ
(
W
3
), where ξ
(
W
2
)
=
W
2, ξ
(
W
1
) is a (
v
1
,
v
1
)-walk obtained from W
1 replacing its first vertex v
2 by v
1
v
2, and ξ
(
W
3
) is a (
v
1
,
v
1
)-walk obtained from W
3 replacing its last two vertices v
1
v
2 by v
1.
Case  2.3. If W
1 does not contain the vertex v
3, let ξ
(
W
)
=
ξ
(
W
1
)
ξ
(
W
2
)
ξ
(
W
3
), where ξ
(
W
2
)
=
W
2, ξ
(
W
1
) is a (
v
1
,
v
1
)-walk obtained from W
1 replacing its first two vertices v
2
v
1 by v
1, and ξ
(
W
3
) is a (
v
1
,
v
1
)-walk obtained from W
3 replacing its last vertex v
2 by v
2
v
1.
For example, in starS
3
3 on 7 vertices and 3 triangles, W
=
v
2
v
3
v
1
v
2
v
1
v
3
v
2 is a closed walk of length 6 of v
2 not passing the edge v
1
v
t. By Case  1, we have
(5)
ξ
(
W
)
=
v
1
v
3
v
2
v
1
v
2
v
3
v
1
.
W
′
=
v
2
v
3
v
1
v
4
v
5
v
1
v
6
v
7
v
1
v
2 is a closed walk of length 9 of v
2 passing the edge v
1
v
t. By Case2.2, we get
(6)
ξ
(
W
′
)
=
v
1
v
2
v
3
v
1
v
4
v
5
v
1
v
6
v
7
v
1
.
W
′′
=
v
2
v
1
v
2
v
1
v
4
v
5
v
1
v
2
v
3
v
1
v
6
v
7
v
1
v
3
v
2 is a closed walk of length 14 of v
2 passing the edge v
1
v
t. By Case2.3, we obtain
(7)
ξ
(
W
′′
)
=
v
1
v
2
v
1
v
4
v
5
v
1
v
2
v
3
v
1
v
6
v
7
v
1
v
3
v
2
v
1
.
Obviously,ξ
(
W
)
∈
W
k
(
S
m
3
;
v
1
), ξ is an injective and not a surjective for n
≥
5, and k
≥
1.Lemma 2.
Letu be a nonisolated vertex of a connected graph G. If G
1 and G
2 are the graphs obtained from G by identifying an external vertex v
2 and the center vertex v
1 of the union of S
m
3
∪
Q to u, respectively, where |
V
(
S
m
3
)
|
=
n, Q is either empty graph or nonempty graph. Then M
k
(
G
1
)
<
M
k
(
G
2
) for n
≥
5 and k
≥
4; see Figure 3.Figure 3
TransformationI.Proof.
LetW
k
(
G
i
)
(
W
k
(
G
)
,
W
k
(
S
m
3
∪
Q
), resp.) be the set of closed walks of length k of G
i
(
G, S
m
3
∪
Q, resp.) for i
=
1,2. Then W
k
(
G
i
)
=
W
k
(
G
)
∪
W
k
(
S
m
3
∪
Q
)
∪
X
i is a partition, where X
i is the set of closed walks of length k of G
i; each of them contains both at least one edge in E
(
G
) and at least one edge in E
(
S
m
3
∪
Q
). So M
k
(
G
i
)
=
|
W
k
(
G
)
|
+
|
W
k
(
S
m
3
∪
Q
)
|
+
|
X
i
|
=
M
k
(
G
)
+
M
k
(
S
m
3
∪
Q
)
+
|
X
i
|. Thus we need to show the inequality |
X
1
|
<
|
X
2
|.
We construct a mappingη from X
1 to X
2 and consider the following four cases.
Case  1. Suppose W is a closed walk starting from u
∈
V
(
G
) in X
1. For W
∈
X
1, let η
(
W
)
=
(
W
-
W
∩
(
S
m
3
∪
Q
)
)
∪
ξ
(
W
∩
(
S
m
3
∪
Q
)
); that is, η
(
W
) is the closed walk in X
2 obtained from W by replacing its every section in S
m
3
∪
Q with its image under the map ξ.
Case  2. Suppose W is a closed walk starting at v
1 in X
1. For W
∈
X
1, we may uniquely decompose W into three sections W
1
W
2
W
3, where W
1 is the longest (
v
1
,
v
2
)-section of W without vertices u
0
,
…
,
u
t
′′
∈
V
(
G
), W
2 is the internal longest (
u
0
,
u
t
′′
)-section of W (for which the internal vertices are some possible vertices in V
(
G
1
)), and W
3 is the remaining (
v
2
,
v
1
)-section of W. Let η
(
W
)
=
η
(
W
1
)
η
(
W
2
)
η
(
W
3
), where η
(
W
1
)
=
W
1
-
1, η
(
W
3
)
=
W
3
-
1, and η
(
W
2
)
=
(
W
2
-
W
2
∩
(
S
m
3
∪
Q
)
)
∪
ξ
(
W
2
∩
(
S
m
3
∪
Q
)
); that is, η
(
W
2
) is a (
u
0
,
u
t
′′
)-walk from W
2 by replacing its every section in S
m
3
∪
Q with its image under the map ξ.
Case  3. Suppose W is a closed walk starting from v
3 or w
∈
V
(
Q
) in X
1. For W
∈
X
1, we may uniquely decompose W into three sections W
1
W
2
W
3, where W
1 is the longest (
v
3
,
v
2
) (or (
w
,
v
2
))-section of W without vertices u
0
,
…
,
u
t
′
′, W
2 is the internal longest (
u
0
,
u
t
′
′
)-section of W (for which the internal vertices are some possible vertices in V
(
G
1
)), and W
3 is the remaining (
v
2
,
v
3
) (or (
v
2
,
w
))-section of W without vertices u
0
,
…
,
u
t
′
′. We have three subcases.
Case  3.1. If both W
1 and W
3 do not pass edge v
1
v
t, let η
(
W
)
=
η
(
W
1
)
η
(
W
2
)
η
(
W
3
), where η
(
W
2
)
=
(
W
2
-
W
2
∩
(
S
m
3
∪
Q
)
)
∪
ξ
(
W
2
∩
(
S
m
3
∪
Q
)
), η
(
W
1
) is a (
v
3
,
v
1
) (or (
w
,
v
1
))-walk obtained from W
1 replacing v
1 by v
2 and v
2 by v
1, and η
(
W
3
) is a (
v
1
,
v
3
) (or (
v
1
,
w
))-walk obtained from W
3 replacing v
1 by v
2 and v
2 by v
1.
Case  3.2. If both W
1 and W
3 pass edge v
1
v
t, we may anew decompose W into five sections W
1
W
2
W
3
W
4
W
5, where W
1 is the longest (
v
3
,
v
t
) (or (
w
,
v
t
))-section of W (which do not contain vertices u
0
,
…
,
u
t
′
′), W
2 is the second (
v
1
,
v
2
)-section of W (for which the internal vertices, if exist, are only possible v
1
,
v
2
,
v
3, w
∈
V
(
Q
)), the third W
3 is the internal longest (
u
0
,
u
t
′
′
)-section of W (for which the internal vertices are some possible vertices in V
(
G
1
)), the fourth W
4 is the longest (
v
2
,
v
1
)-section of W (for which the internal vertices, if exist, are only possible v
1
,
v
2
,
v
3, w
∈
V
(
Q
)), and the last W
5 is the remaining (
v
t
′
,
v
3
) (or (
v
t
,
w
))-section of W. We have three subsubcases.
Case  3.2.1. If both W
2 and W
4 contain the vertex v
3, we may uniquely decompose W
2 into two sections W
21
W
22 and W
4 into two sections W
41
W
42, where W
21 is the longest (
v
1
,
v
3
)-section of W
2, W
22 is the remaining shortest (
v
3
,
v
2
) of W
2, W
41 is the shortest (
v
2
,
v
3
)-section of W
4, and W
42 is the remaining longest (
v
3
,
v
1
)-section of W
4.
Letη
(
W
)
=
η
(
W
1
)
η
(
W
21
)
η
(
W
22
)
η
(
W
3
)
η
(
W
41
)
η
(
W
42
)
η
(
W
5
), where η
(
W
1
) = W
1, η
(
W
21
) = W
21, η
(
W
3
)
=
(
W
3
-
W
3
∩
(
S
m
3
∪
Q
)
)
∪
ξ
(
W
3
∩
(
S
m
3
∪
Q
)
), η
(
W
42
) = W
42
η
(
W
5
) = W
5, η
(
W
22
) is a (
v
3
,
v
1
)-walk obtained from W
22 replacing v
1 by v
2 and v
2 by v
1, and η
(
W
41
) is a (
v
1
,
v
3
)-walk obtained from W
41 replacing v
1 by v
2 and v
2 by v
1.
Case  3.2.2. If W
2 does not contain the vertex v
3, let η
(
W
)
=
η
(
W
1
)
η
(
W
2
)
η
(
W
3
)
η
(
W
4
)
η
(
W
5
), where η
(
W
1
)
=
W
1, η
(
W
3
)
=
(
W
3
-
W
3
∩
(
S
m
3
∪
Q
)
)
∪
ξ
(
W
3
∩
(
S
m
3
∪
Q
)
), η
(
W
5
)
=
W
5, η
(
W
2
) is a (
v
1
,
v
1
)-walk obtained from W
2 replacing its last two vertices v
1
v
2 by v
1, and η
(
W
4
) is a (
v
1
,
v
1
)-walk obtained from W
4 replacing its first vertex v
2 by v
1
v
2.
Case  3.2.3. If W
2 contains the vertex v
3 and W
4 does not contain vertex v
3, let η
(
W
)
=
η
(
W
1
)
η
(
W
2
)
η
(
W
3
)
η
(
W
4
)
η
(
W
5
), where η
(
W
1
)
=
W
1, η
(
W
3
) = (
W
3
-
W
3
∩
(
S
m
3
∪
Q
)
)
∪
ξ
(
W
3
∩
(
S
m
3
∪
Q
)
), η
(
W
5
)
=
W
5, η
(
W
2
) is a (
v
1
,
v
1
)-walk obtained from W
2 replacing its last vertex v
2 by v
2
v
1, and η
(
W
4
) is a (
v
1
,
v
1
)-walk obtained from W
4 replacing its first two vertices v
2
v
1 by v
1.
Case  3.3. If W
1 passes edge v
1
v
t and W
3 does not pass edge v
1
v
t, we may anew decompose W into four sections W
1
W
2
W
3
W
4, where W
1 is the longest (
v
3
,
v
t
) (or (
w
,
v
t
))-section of W (which do not contain vertices u
0
,
…
,
u
t
′
′), W
2 is the second (
v
1
,
v
2
)-section of W (for which the internal vertices, if exist, are only possible v
1
,
v
2
,
v
3
,
w
∈
V
(
Q
)), the third W
3 is the internal longest (
u
0
,
u
t
′
′
)-section of W (for which the internal vertices are some possible vertices in V
(
G
1
)), and the last W
4 is the longest (
v
2
,
v
3
) (or (
v
2
,
w
))-section of W (for which the internal vertices, if exist, are only possible v
1
,
v
2
,
v
3, w
∈
V
(
Q
)). We consider the following two subsubcases.
Case  3.3.1. If W
2 contains vertex v
3, we may uniquely decompose W
2 into two sections W
21
W
22, where W
21 is the longest (
v
1
,
v
3
)-section of W
2 and W
22 is the remaining shortest (
v
3
,
v
2
)-section of W
2.
Letη
(
W
)
=
η
(
W
1
)
η
(
W
21
)
η
(
W
22
)
η
(
W
3
)
η
(
W
4
), where η
(
W
1
)
=
W
1, η
(
W
21
)
=
W
21, η
(
W
3
) = (
W
3
-
W
3
∩
(
S
m
3
∪
Q
)
)
∪
ξ
(
W
3
∩
(
S
m
3
∪
Q
)
), η
(
W
22
) is a (
v
3
,
v
1
)-walk obtained from W
22 replacing v
1 by v
2 and v
2 by v
1, and η
(
W
4
) is a (
v
1
,
v
3
) (or (
v
1
,
w
))-walk obtained from W
4 replacing v
1 by v
2 and v
2 by v
1.
Case  3.3.2. If W
2 does not contain vertex v
3, let η
(
W
)
=
η
(
W
1
)
η
(
W
2
)
η
(
W
3
)
η
(
W
4
), where η
(
W
1
)
=
W
1, η
(
W
3
)
=
(
W
3
-
W
3
∩
(
S
m
3
∪
Q
)
)
∪
ξ
(
W
3
∩
(
S
m
3
∪
Q
)
), η
(
W
2
) is a (
v
1
,
v
1
)-walk obtained from W
2 replacing its last two vertices v
1
v
2 by v
1, and η
(
W
4
) is a (
v
1
,
v
3
) (or (
v
1
,
w
))-walk obtained from W
4 replacing its first vertex v
2 by v
1
v
2.
Case  3.4. If W
1 does not pass edge v
1
v
t and W
3 passes edge v
1
v
t, we may anew decompose W into four sections W
1
W
2
W
3
W
4, where W
1 is the longest (
v
3
,
v
2
) (or (
w
,
v
2
))-section of W (which do not contain vertices u
0
,
…
,
u
t
′
′ and must contain vertex v
3), the second W
2 is the internal longest (
u
0
,
u
t
′
′
)-section of W (for which the internal vertices are some possible vertices in V
(
G
1
)), W
3 is the third (
v
2
,
v
1
)-section of W (for which the internal vertices, if exist, are only possible v
1
,
v
2
,
v
3
,
w
∈
V
(
Q
)), and the last W
4 is the longest (
v
t
,
v
3
) (or (
v
t
,
w
))-section of W. We have two subsubcases.
Case  3.4.1. If W
3 contains vertex v
3, we may uniquely decompose it into two sections W
31
W
32, where W
31 is the shortest (
v
2
,
v
3
)-section of W
3 and W
32 is the remaining longest (
v
3
,
v
1
)-section of W
3.
Letη
(
W
)
=
η
(
W
1
)
η
(
W
2
)
η
(
W
31
)
η
(
W
32
)
η
(
W
4
), where η
(
W
2
)
=
(
W
2
-
W
2
∩
(
S
m
3
∪
Q
)
)
∪
ξ
(
W
2
∩
(
S
m
3
∪
Q
)
), η
(
W
32
)
=
W
32, η
(
W
4
)
=
W
4, η
(
W
1
) is a (
v
3
,
v
1
) (or (
w
,
v
1
))-walk obtained from W
1 replacing v
1 by v
2 and v
2 by v
1, and η
(
W
31
) is a (
v
1
,
v
3
)-walk obtained from W
31 replacing v
1 by v
2 and v
2 by v
1.
Case  3.4.2. If W
3 does not contain vertex v
3, let η
(
W
)
=
η
(
W
1
)
η
(
W
2
)
η
(
W
3
)
η
(
W
4
), where η
(
W
2
)
=
(
W
2
-
W
2
∩
S
m
3
)
∪
ξ
(
W
2
∩
S
m
3
), η
(
W
4
)
=
W
4, η
(
W
1
) is a (
v
3
,
v
1
) (or (
w
,
v
1
))-walk obtained from W
1 replacing its last vertex v
2 by v
2
v
1, and η
(
W
3
) is a (
v
1
,
v
1
)-walk obtained from W
3 replacing its first two vertices v
2
v
1 by v
1.
Case  4. Suppose W is a closed walk starting from v
i for i
=
4,5
,
6
,
…
,
n in X
1. For W
∈
X
1, we may uniquely decompose W into five sections W
1
W
2
W
3
W
4
W
5, where W
1 is the longest (
v
i
,
v
t
)-section of W (which do not contain vertices u
0
,
…
,
u
t
′
′), W
2 is the second (
v
1
,
v
2
)-section of W (for which the internal vertices, if exist, are only possible v
1
,
v
2
,
v
3
,
w
∈
V
(
G
)), the third W
3 is the internal longest (
u
0
,
u
t
′′
)-section of W (for which the internal vertices are some possible vertices in V
(
G
1
)), the fourth W
4 is the longest (
v
2
,
v
1
)-section of W (for which the internal vertices, if exist, are only possible v
1
,
v
2
,
v
3
,
w
∈
V
(
G
)), and the last W
5 is the remaining (
v
t
′
,
v
i
)-section of W. We have four subcases.
Case  4.1. If both W
2 and W
4 contain the vertex v
3, we may uniquely decompose W
2 into two sections W
21
W
22 and decompose W
4 into two sections W
41
W
42, where W
21 is the longest (
v
1
,
v
3
)-section of W
2, W
22 is the remaining shortest (
v
3
,
v
2
) of W
2, W
41 is the shortest (
v
2
,
v
3
)-section of W
4, and W
42 is the remaining longest (
v
3
,
v
1
)-section of W
4.
Letη
(
W
)
=
η
(
W
1
)
η
(
W
21
)
η
(
W
22
)
η
(
W
3
)
η
(
W
41
)
η
(
W
42
)
η
(
W
5
), where η
(
W
1
) = W
1, η
(
W
21
) = W
21, η
(
W
3
)
=
(
W
3
-
W
3
∩
(
S
m
3
∪
Q
)
)
∪
ξ
(
W
3
∩
(
S
m
3
∪
Q
)
), η
(
W
42
)
=
W
42
η
(
W
5
)
=
W
5, η
(
W
22
) is a (
v
3
,
v
1
)-walk obtained from W
22 replacing v
1 by v
2 and v
2 by v
1, and η
(
W
41
) is a (
v
1
,
v
3
)-walk obtained from W
41 replacing v
1 by v
2 and v
2 by v
1.
Case  4.2. If W
2 contains the vertex v
3 and W
4 does not contain vertex v
3, let η
(
W
)
=
η
(
W
1
)
η
(
W
2
)
η
(
W
3
)
η
(
W
4
)
η
(
W
5
), where η
(
W
1
) = W
1, η
(
W
3
)
=
(
W
3
-
W
3
∩
(
S
m
3
∪
Q
)
)
∪
ξ
(
W
3
∩
(
S
m
3
∪
Q
)
), η
(
W
5
)
=
W
5, η
(
W
2
) is a (
v
1
,
v
1
)-walk obtained from W
2 replacing its last vertex v
2 by v
2
v
1, and η
(
W
4
) is a (
v
1
,
v
1
)-walk obtained from W
4 replacing its first two vertices v
2
v
1 by v
1.
Case  4.3. If W
2 does not contain the vertex v
3, let η
(
W
)
=
η
(
W
1
)
η
(
W
2
)
η
(
W
3
)
η
(
W
4
)
η
(
W
5
), where η
(
W
1
)
=
W
1, η
(
W
3
)
=
(
W
3
-
W
3
∩
(
S
m
3
∪
Q
)
)
∪
ξ
(
W
3
∩
(
S
m
3
∪
Q
)
), η
(
W
5
)
=
W
5, η
(
W
2
) is a (
v
1
,
v
1
)-walk obtained from W
2 by replacing its last two vertices v
1
v
2 by v
1, and η
(
W
4
) is a (
v
1
,
v
1
)-walk obtained from W
4 by replacing its first vertex v
2 by v
1
v
2.
For example,(8)
η
1
(
u
0
u
1
⋯
u
r
v
2
v
3
w
1
⋯
w
t
v
3
v
1
v
2
u
1
′
⋯
hhhh
u
s
′
v
2
v
1
v
3
v
2
u
1
′′
⋯
u
t
′′
u
0
)
=
u
0
u
1
⋯
u
r
v
1
v
3
w
1
⋯
w
t
v
3
v
2
v
1
u
1
′
⋯
u
s
′
v
1
v
2
v
3
v
1
u
1
′′
⋯
u
t
′′
u
0
,
η
1
(
u
0
u
1
⋯
u
r
v
2
v
3
w
1
⋯
w
t
v
3
v
1
v
4
v
5
v
1
v
2
u
1
′
⋯
hhhh
u
s
′
v
2
v
3
v
5
v
4
v
1
v
3
v
2
u
1
′′
⋯
u
t
′′
u
0
)
=
u
0
u
1
⋯
u
r
v
1
v
2
v
3
w
1
⋯
w
t
v
3
v
1
v
4
v
5
v
1
u
1
′
⋯
u
s
′
v
1
v
3
v
5
v
4
v
1
v
3
v
1
u
1
′′
⋯
u
t
′′
u
0
,
η
1
(
v
3
w
1
⋯
w
t
v
3
v
2
u
1
⋯
u
r
v
2
v
1
v
5
v
4
v
1
v
2
u
1
′
⋯
u
s
′
v
2
v
1
v
3
)
=
v
3
w
1
⋯
w
t
v
3
v
1
u
1
⋯
u
r
v
1
v
5
v
4
v
1
v
2
v
1
u
1
′
⋯
u
s
′
v
1
v
2
v
3
,
η
1
(
v
3
v
2
v
1
v
7
v
6
v
1
v
2
v
1
v
2
u
1
⋯
u
r
v
2
v
1
v
4
v
5
v
1
v
3
v
2
u
1
′
⋯
u
s
′
v
2
v
1
v
7
v
6
v
1
v
2
v
3
)
=
v
3
v
2
v
1
v
7
v
6
v
1
v
2
v
1
u
1
⋯
u
r
v
1
v
4
v
5
v
1
v
3
v
2
v
1
u
1
′
⋯
u
s
′
v
1
v
2
v
1
v
7
v
6
v
1
v
2
v
3
,
η
1
(
v
1
v
4
v
5
v
1
v
3
v
2
u
1
⋯
u
r
v
2
v
3
v
2
v
1
v
4
v
5
v
1
v
3
v
2
u
1
′
⋯
u
s
′
v
2
v
1
)
=
v
2
v
3
v
1
v
5
v
4
v
1
u
1
⋯
u
r
v
1
v
3
v
2
v
1
v
4
v
5
v
1
v
3
v
1
u
1
′
⋯
u
s
′
v
1
v
2
,
η
1
(
v
4
v
5
v
1
v
3
v
2
u
1
⋯
u
r
v
2
v
3
v
2
v
1
v
4
v
5
v
1
v
3
v
2
u
1
′
⋯
u
s
′
v
2
v
3
v
2
v
1
v
5
v
4
)
=
v
4
v
5
v
1
v
3
v
1
u
1
⋯
u
r
v
1
v
3
v
2
v
1
v
4
v
5
v
1
v
3
v
1
u
1
′
⋯
u
s
′
v
1
v
3
v
2
v
1
v
5
v
4
,
where u
0
,
u
1
,
…
,
u
r, u
1
′
,
…
,
u
s
′, u
1
′′
,
…
,
u
t
′′ are vertices in G and w
1
,
…
,
w
t are vertices in Q.
By Lemma1, ξ is injective and not surjective. It is easily shown that η is also injective and not surjective. Thus |
X
1
|
<
|
X
2
|, M
k
(
G
1
)
<
M
k
(
G
2
).Theorem 3.
LetG
H be an arbitrary graph on n vertices in set Γ
(
n
,
m
), where n
>
5. Then E
E
(
G
H
)
≤
E
E
(
S
m
3
) with the equality holding if and only if G
H
≅
S
m
3.Proof.
Determine a vertexv of the maximum degree Δ as a root in G
H, and let k
≥
4 be an integer. Let G
H
i be the completely connected graph of 3-uniform linear hypertree H
i attached at v, and let m
i be the number of triangles of G
H
i for i
=
1,2
,
…
,
Δ
/
2, respectively. We can repeatedly apply this transformation from Lemma 2 at some vertices whose degrees are not equal to two or 2
m
i in G
H
i till G
H
i becomes a star. From Lemma 2, it satisfies that each application of this transformation strictly increases the number of closed walks and also increases Estrada index.
When allG
H
i turn into stars, we can again use Lemma 2 at the vertex v as long as there exists at least one vertex whose degree is not equal to two or 2
∑
‍
m
i, further increasing the number of closed walks. In the end of this procedure, we get the star S
m
3. The whole procedure of transformation is shown in Figure 4.Figure 4
The procedure of transformation.Lemma 4 (see [20]).
Letv be a vertex of a graph G, G
-
{
v
}
=
G
-
v for v
∈
V
(
G
), and C
(
v
) the set of cycles containing v. Consider
(9)
P
(
G
,
λ
)
=
λ
·
P
(
G
-
v
,
λ
)
-
∑
v
w
∈
E
(
G
)
‍
P
(
G
-
v
-
w
,
λ
)
-
2
∑
Z
∈
C
(
v
)
‍
P
(
G
-
V
(
Z
)
,
λ
)
,
where P
(
G
-
v
-
w
,
λ
)
=
1 if G is a single edge and P
(
G
-
V
(
Z
)
,
λ
)
=
1 if G is a cycle.Now, we calculateE
E
(
S
m
3
). Applying Lemma 4, we have
(10)
P
(
S
m
3
,
λ
)
=
(
λ
+
1
)
(
n
-
1
)
/
2
(
λ
-
1
)
(
n
-
3
)
/
2
(
λ
2
-
λ
-
n
+
1
)
.
By some simple calculating, we achieve the following eigenvalues:
(11)
λ
1
=
λ
2
=
⋯
=
λ
(
n
-
1
)
/
2
=
-
1
,
λ
(
n
+
1
)
/
2
=
λ
(
n
+
3
)
/
2
=
⋯
=
λ
n
-
2
=
1
,
λ
n
-
1
=
1
-
4
n
-
3
2
,
λ
n
=
1
+
4
n
-
3
2
.
Then, we obtain
(12)
E
E
(
S
m
3
)
=
(
n
-
1
)
2
e
+
(
n
-
3
)
2
e
+
e
(
1
+
4
n
-
3
)
/
2
+
e
(
1
-
4
n
-
3
)
/
2
.Theorem3 shows that the star S
m
3 has the maximum Estrada index in set Γ
(
n
,
m
). Thus, according to previous definition, it is easy to show that the 3-uniform star S
m
3 has the maximum Estrada index among the set of 3-uniform linear hypertrees; that is,
(13)
E
E
(
H
)
≤
E
E
(
S
m
3
)
,
where
(14)
E
E
(
S
m
3
)
=
(
n
-
1
)
2
e
+
(
n
-
3
)
2
e
+
e
(
1
+
4
n
-
3
)
/
2
+
e
(
1
-
4
n
-
3
)
/
2
.



---

*Source: 637865-2014-08-28.xml*