A special class of triple starlike trees characterized by Laplacian spectrum

Two graphs are said to be cospectral with respect to the Laplacian matrix if they have the same Laplacian spectrum. A graph is said to be determined by the Laplacian spectrum if there is no other non-isomorphic graph with the same Laplacian spectrum. In this paper, we prove that one special class of triple starlike tree is determined by its Laplacian spectrum.


Introduction
All graphs mentioned in this paper are finite, undirected and simple. Let Γ = (V(Γ), E(Γ)) be a graph of order n with vertex set V(Γ) = {v 1 , v 2 , . . . , v n } and edge set E(Γ) ⊆ V(Γ) 2 . The adjacency matrix of a graph Γ, denoted by A(Γ) = (a i, j ) is a square matrix of order n such that a i, j = 1 if two vertices v i and v j are adjacent and 0 otherwise. Let d i = d v i be the degree of a vertex v i in Γ. The Laplacian matrix and the signless Laplacian matrix are defined as L(Γ) = D(Γ) − A(Γ) and Q(Γ) = D(Γ)+A(Γ) respectively, where D(Γ) is the diagonal matrix with diagonal entries {d 1 , d 2 , . . . , d n } and all others entries are zeros [9]. We know that the matrices A(Γ), L(Γ) and Q(Γ) are real symmetric, their eigenvalues are real. So, we assume that µ 1 ≥ µ 2 ≥ · · · ≥ µ n , λ 1 ≥ λ 2 ≥ · · · ≥ λ n , and σ 1 ≥ σ 2 ≥ · · · ≥ σ n are the adjacency, Laplacian, and signless Laplacian eigenvalues of Γ, respectively. The multiset of eigenvalues of A(Γ) (or L(Γ), Q(Γ)) is called the adjacency (or Laplacian, signless Laplacian) spectrum of the graph Γ. If two non-isomorphic graphs share the same adjacency (or Laplacian, signless Laplacian) spectrum then we call graphs are cospectral. A graph Γ is said to be determined by the adjacency spectrum (abbreviated to DAS ) if there is no non-isomorphic graph which have same adjacency spectrum. Similarly, we can define DLS graph for the Laplacian matrix L(Γ) and DQS graph for the singless Laplacian matrix Q(Γ).
In 1956, Günthard and Primas [6] raised a question "which graphs are determined by their spectrum" in context of Hückels theory. Basically this problem originates from Chemistry and generally seem to be very difficult. On this problem, Dam and Haemers [24] presented a survey and proposed the modest shape of this problem that is "which trees are determined by their spectrum". Many researcher have been established results on the graphs DAS, DLS and DQS and some of these results can be found in [1,2,21,[23][24][25], in [1, 5, 11-14, 21, 22, 26, 27, 29] and in [3,4,13,16,17,20,28] respectively.
A tree T n of order n is a connected graph without cycle. A vertex v ∈ V(T n ) is called large if d v ≥ 3. A tree having one, two or three large vertices is called starlike, double starlike or triple starlike tree, respectively.
We denote by T n (p, q), n ≥ 2 and p, q ≥ 1, one special double starlike tree (of order n ) obtained by joining p pendent vertices to an end vertex of a path of length n and joining q pendent vertices to another one. In 2009 Liu et al. [11] studied the Laplacian spectrum of T n (p, q), for q = p they showed that T n (p, q) can be determined by its Laplacian spectrum. In 2010 Lu et al. [14] showed that for q = p − 1, T n (p, q) can be determined by its Laplacian spectrum. In [15], the authors proved that T n (p, q) can be completely determined by its Laplacian spectrum.
Let P n be a path of length n, where n ≥ 5, attach p pendent vertices to an end vertex of P n , p pendent vertices to another end vertex and p pendent vertices to any vertex v ∈ V(P n ) which is at distance at least two from the end vertices of P n where p ≥ 2, by this way we obtain a special triple starlike tree as shown in Figure 1 (or Figures 2 and 3). We denote the aforementioned tree by T n (p, p, p). Note that the order n of T n (p, p, p) is n + 3p, where l 1 + l 2 = n − 3 see Figure 1. In this paper we show that T n (p, p, p) can be determined by its Laplacian spectrum or more precisely, any graph that is determined by its degree sequence is determined by its Laplacian spectrum.

Preliminaries
In this section, we present some known results that play an important role in the results of next section.
Lemma 1. [19,24] Let Γ be a graph. Then the following items are determined by spectrum of adjacency or Laplacian matrix.

1). The number of vertices in Γ.
2). The number of edges in Γ.
For adjacency matrix, the following quantities are determined by its spectrum. 5). Whether Γ is bipartite or not. 6). The number of closed walks of any length.
For Laplacian matrix, the following quantities are determined by its spectrum. 7). The number of components. 8). The number of spanning trees. 9). The sum of the squares of degrees of vertices.

Lemma 2. [7]
Let T n be a tree of order n and L(T ) be its line graph. Then λ i (T ) = µ i (L(T )) + 2, where 1 ≤ i ≤ n Lemma 3. [8,10] For a graph Γ with a non-empty vertex set V(Γ) and non-empty edge set E(Γ), let ∆(Γ) be the maximum vertex degree of Γ. Then we have the following inequality.
where m v i denotes the average of the degrees of the vertices adjacent to a vertex v i in Γ.

Determination of T n (p, p, p) by Laplacian spectrum
In this section, first we establish the following two lemmas which will be used in our main result.
Lemma 4. Let Γ and Γ = T n (p, p, p), where n = n + 3p with n ≥ 5 and p ≥ 2 are cospectral graphs with respect to the Laplacian matrix. Then Γ has t p+2 = 1, t p+1 = 2, t 2 = n − 3, and t 1 = 3p, where t i is number of the vertices of degree i in Γ .
The line graphs of Γ and Γ have same spectrum with respect to the adjacency matrix, by Lemma 2. Hence, from 6 of Lemma 1, they have same number of triangles (closed walk of length three). Therefore, First we show that there is only one vertex of degree p + 2, i.e., t p+2 = 1. If t p+2 = 0, i.e., ∆ < p + 2 By Eq (3.4), p ≤ 0 which is a contradiction. If t p+2 ≥ 2, i.e., there are at least two vertices of degree ∆ = p + 2, then we have This is a contradiction, hence t p+2 = 1.
Second we prove that t p+1 = 2. If t p+1 ≥ 3, i.e., there are at least three vertices of degree p + 1, then we have This is a contradiction, so t p+1 ≤ 2.
Proof. It is clear that there exists 2, p + 2, 2p, and n − 5 vertices of degree p + 2, p + 1, p, and 2, respectively in the line graph L(Γ). Here, we divide the proof into two main cases.
Case 1. When two vertices of degree p + 1 are joined by a path of length l 1 + 1, (l 1 ≥ 0) and one vertex of them joined by a path of length l 2 + 1, (l 2 ≥ 0) with a vertex of degree p + 2. Without loss of generality, suppose that there exist p − x, p − y − 1, and p + 1 − z vertices of degree 1 which are adjacent to the vertex of degree p + 1, p + 1, and p + 2, respectively in the graph Γ as shown in Figure 4. Where 0 ≤ x ≤ p, 0 ≤ y ≤ p − 1, and 0 ≤ z ≤ p + 1. Therefore, we have  l k + 3p + 3 = n + 3p (3.5) where l 0 = l 0 = l 0 = 0. That is For the values of l 1 , l 2 , there exits four different shape of the graph Γ . Let t i be the number of the vertices of degree i. Clearly, there exists t 1 = x + y + z, t 2 = n − i − x − y − z, t p = 2p − x − y − 1, t p+1 = p + j + x + y − z, t p+2 = k + z, t 2p = r, t 2p+1 = s, and t l = 0 for l = 3, 4, . . . , p − 1 and p + 2 < l < 2p in the line graph L(Γ ), where the values of i, j, k, r and s are listed in Table 1 corresponding to each shape of L(Γ ). i.e., Since p ≥ 2, 0 ≤ x ≤ p, 0 ≤ y ≤ p − 1, and 0 ≤ z ≤ p + 1. For each case of l 1 and l 2 that mentioned in Table 1 and take corresponding values of i, j, k, r, s. It is easy to check that the Eq (3.7) is not equal to zero, which is a contradiction. Case 2. When a vertex of degree p + 2 joined with two vertices of degree p + 1 by paths of length l 1 + 1, (l 1 ≥ 0) and l 2 + 1, (l 2 ≥ 0), respectively. Without loss of generality, suppose that there exits p − x, p − x and p − z vertices of degree 1 which are adjacent to vertex of degree p + 1, p + 1, and p + 2 respectively in the graph Γ as shown in Figure 5. Where 0 ≤ x, y, z ≤ p. Therefore, we have same two equations as Eqs (3.5) and (3.6).   For the values of l 1 , l 2 , there exits three different shape of the graph Γ . Clearly, there exits t 1 = x + y + z, t 2 = n − i − x − y − z, t p = 2p − x − y, t p+1 = p + j + x + y − z, t p+2 = k + z, t 2p+1 = r and t l = 0, for l = 3, 4, . . . , p − 1 and p + 2 < l < 2p + 1 in the line graph L(Γ ). Where values of i, j k, and r are listed in Table 2 corresponding to each shape of L(Γ ).