This paper mainly research es on the signless laplacian spectral radius of bipartite graphs <i>D<sub>r</sub></i>(<i>m<sub>1</sub>,m<sub>2</sub>;n<sub>1</sub>,n<sub>2</sub></i>) . We consider how the signless laplacian spectral radius of <i>D<sub>r</sub></i>(<i>m<sub>1</sub>,m<sub>2</sub>;n<sub>1</sub>,n<sub>2</sub></i>) changes under some special cases. As application, we give two upper bounds on the signless laplacian spectral radius of <i>D<sub>r</sub></i>(<i>m<sub>1</sub>,m<sub>2</sub>;n<sub>1</sub>,n<sub>2</sub></i>) , and determine the graphs that obtain the upper bounds.
Let G = ( V ( G ) , E ( G ) ) be a connected graph of order n ≥ 1 with vertex set V ( G ) = { v 1 , v 2 , ⋯ , v n } and edge set E ( G ) is considered in this paper. In spectral graph theory, one usually uses the spectrum of related matrices to characterize the structure of graphs. The most studied matrix associated with G appears to be the adjacency matrices A ( G ) = ( a i j ) with a i j = 1 when there’s an edge between v i and v j , otherwise a i j = 0 . Some other well studied matrices are the Laplacian matrix and the signless Laplacian matrix of G. The former is defined by L ( G ) = D ( G ) − A ( G ) where D ( G ) = d i a g ( d ( v 1 ) , ⋯ , d ( v n ) ) is the degree diagonal matrix, whereas the latter is defined as Q ( G ) = D ( G ) − A ( G ) . For polynomials of f ( x ) with only real roots, let τ ( f ( x ) ) be the largest root of f ( x ) ; the maximum eigenvalue of the (unsigned) Laplace of graph G is denoted as τ ( G ) , δ and Δ respectively represent the minimum and maximum degrees of the graph.
The actical [
Inspired by the above results, this paper studies the bipartite graph G = D r ( m 1 , m 2 ; n 1 , n 2 ) . We fix the order and the size of the bipartite graphs G, and observe what influence may have on the signless Laplacian radius of G after transforming the neighborhood of some vertexes.
Before giving the main conclusion of this paper, we first introduce the bipartite graph D r ( m 1 , m 2 ; n 1 , n 2 ) , and then give the definitions of equitable division and quotient matrix that need to be used in the later proof:
Definition 1.1. Let G be a connected bipartite graph with two vertex sets of U and V, each vertex set has the following partition, U = U 1 ∪ U 2 , V = V 1 ∪ V 2 , and every vertex in U 1 is connected to all vertexes in V 1 and V 2 , every vertex in U 2 is connected to all vertexes in V 2 , every vertex in V 1 is connected to all vertexes in U 1 and U 2 , each vertex in V 2 is connected to all vertexes in U 1 , showing in
n = m 1 + m 2 + n 1 + n 2 , m = m 1 ( n 1 + n 2 ) + m 2 n 1 (1)
Definition 1.2. Let G be a connected graph, the vertex set V ( G ) of G is divided into V ( G ) = V 1 ∪ V 2 ∪ ⋯ ∪ V K . If every vertex in V i has the same number of adjacent vertex in V j , for any i , j ∈ { 1 , 2 , ⋯ , k } , such partitions V 1 ∪ V 2 ∪ ⋯ ∪ V K are called equitable division of G.
Definition 1.3. Let A as real symmetric matrix, and its row and column are divided equally. The matrix formed by elements that is the average row sum of each sub-blocks, according to the position of its sub-blocks is called the quotient matrix of A.
Lemma 1. [
Lemma 2. [
Lemma 3. Let D r ( m 1 , m 2 ; n 1 , n 2 ) be a connected bipartite graph and defined in definition 1.1, then U 1 , U 2 , V 1 , V 2 is an equitable division.
Proof: Because every vertex in U 1 is connected to all vertexes in U 2 , V 1 and V 2 , so every vertex of U 1 has the same number of adjacent vertexes in U 2 , V 1 , V 2 . Similarly, every vertex in U 2 has the same number of adjacent vertexes in U 1 , V 1 , V 2 , every vertex of V 1 has the same number of adjacent vertexes in U 1 , U 2 , V 2 , every vertex of V 2 has the same number of adjacent vertexes with U 1 , U 2 , V 1 . So U 1 ∪ U 2 ∪ V 1 ∪ V 2 is an equitable divide.
In this section, we mainly discuss the graph D 0 ( m 1 , m 2 ; n 1 , n 2 ) , that is, the induction sub-graphs of U 1 , U 2 , V 1 , V 2 are all independent sets and are all 0-regular graphs. For such figure D 0 ( m 1 , m 2 ; n 1 , n 2 ) , we observe the change of the maximum eigenvalue of the graph by taking neighborhood transformation, and then determine the structure of the graph when the graph achieve the maximum spectral radius.
Lemma 2.1. Let G = D 0 ( m 1 , m 2 ; n 1 , n 2 ) , H = D 0 ( m 1 + a , m 2 ; n 1 − a , n 2 ) , when a − m 1 + n 1 < 0 , τ ( G ) < τ ( H ) .
If a − m 1 + n 1 > 0 , τ ( G ) > τ ( H ) , else τ ( G ) = τ ( H ) .
Proof: Since U 1 , U 2 , V 1 , V 2 is an equitable division of G, Q 1 and Q 2 are a quotient matrix of Q(G) and Q(H),
Q 1 = ( n 1 + n 2 0 n 1 n 2 0 n 1 n 1 0 m 1 m 2 m 1 + m 2 0 m 1 0 0 m 1 ) (2)
Q 2 = ( n 1 + n 2 + a 0 n 1 + a n 2 0 n 1 + a n 1 + a 0 m 1 − a m 2 m 1 + m 2 − a 0 m 1 − a 0 0 m 1 − a ) (3)
The characteristic polynomials of Q 1 and Q 2 are obtained by calculation as follows:
f 1 ( x ) = x 4 + ( − 2 m 1 − m 1 − 2 n 1 − n 2 ) x 3 + ( m 1 m 2 + 3 m 1 n 1 + m 1 n 2 + m 2 n 1 + m 2 n 2 + n 1 n 2 + m 1 2 + n 1 2 ) x 2 − ( m 1 n 1 2 + m 1 2 n 1 + m 1 m 2 n 1 + m 1 n 1 n 2 ) x (4)
f 2 ( x ) = x 4 + ( − 2 m 1 − m 1 − 2 n 1 − n 2 ) x 3 + ( a m 1 − a n 1 + m 1 n 2 + 3 m 1 n 2 + m 1 n 2 + m 1 n 1 + m 1 n 2 + n 1 n 2 − a 2 + m 1 2 + n 1 2 ) x 2 + ( a 2 m 1 − a m 1 2 + a 2 m 2 + a n 1 2 + a 2 n 1 + a 2 n 2 − m 1 n 1 2 − m 1 2 n 1 − a m 1 m 2 − a m 1 n 2 + a m 2 n 1 + a n 1 n 2 − m 1 m 2 n 1 − m 1 n 1 n 2 ) x (5)
f 3 ( x ) = f 1 ( x ) − f 2 ( x ) = a x ( a − m 1 + n 1 ) ( x − m 1 − m 2 − n 1 − n 2 ) (6)
The largest root of f 1 ( x ) , f 2 ( x ) is denoted as τ ( f 1 ( x ) ) , τ ( f 2 ( x ) ) . By Lemma 3, it’s easily to know τ ( f 1 ( x ) ) < d i + d j < m 1 + m 2 + n 1 + n 2 , τ ( f 2 ( x ) ) < d i + d j < m 1 + m 2 + n 1 + n 2 , so x − m 1 − m 2 − n 1 − n 2 < 0 , then
When a − m 1 + n 1 < 0 ,
f 3 ( x ) = f 1 ( x ) − f 2 ( x ) = a x ( a − m 1 + n 1 ) ( x − m 1 − m 2 − n 1 − n 2 ) = − f 2 ( τ ( f 1 ( x ) ) )
so f 2 ( τ ( f 1 ( x ) ) ) < 0 , then τ ( f 1 ) < τ ( f 2 ) , τ ( G ) < τ ( H ) .
When a − m 1 + n 1 > 0 ,
f 3 ( x ) = f 1 ( x ) − f 2 ( x ) = a x ( a − m 1 + n 1 ) ( x − m 1 − m 2 − n 1 − n 2 ) = f 1 ( τ ( f 2 ( x ) ) ) < 0
so τ ( f 1 ( x ) ) > τ ( f 2 ( x ) ) , τ ( G ) > τ ( H ) .
When a − m 1 + n 1 = 0 ,
f 3 ( x ) = f 1 ( x ) − f 2 ( x ) = a x ( a − m 1 + n 1 ) ( x − m 1 − m 2 − n 1 − n 2 ) = 0
so τ ( f 1 ( x ) ) = τ ( f 2 ( x ) ) , τ ( G ) = τ ( H ) .
The induction sub-graphs of U i , V i ( i = 1 , 2 ; j = 1 , 2 ) studied in the second section are all independent sets, namely 0-regular graphs. Based on the second section, this section continues to study the situation U 1 , U 2 , V 1 , V 2 that are all complete graphs. For convenience, this paper write this graphas D ( m 1 , m 2 ; n 1 , n 2 ) .
Lemma 3.1. Let G = D ( 1 , 1 ; n 1 , 1 ) , H = D ( a + 1 , 1 ; n 1 − a , 1 ) , τ ( G ) > τ ( H ) will be constant when n > a + 2 and n ≥ 8 .
Proof: Since U 1 , U 2 , V 1 , V 2 is an equitable division of G, Q 1 and Q 2 are a quotient matrix of Q(G) and Q(H)
Q 1 = ( n 1 + 1 0 n 1 1 0 n 1 n 1 0 1 1 2 n 1 0 1 0 0 1 ) (7)
Q 2 = ( a + n 1 + 1 0 n 1 − a 1 0 n 1 − a n 1 − a 0 a + 1 1 2 n 1 − a 0 a + 1 0 0 a + 1 ) (8)
The characteristic polynomials of Q 1 and Q 2 are obtained by calculation as follows:
f 1 ( x ) = x 4 − ( 4 n 1 + 2 ) x 3 + ( 5 n 1 2 + 5 n 1 ) x 2 + ( − 2 n 1 3 − 5 n 1 2 + 3 n 1 ) x + 2 n 1 3 − 2 n 1 2 (9)
f 2 ( x ) = x 4 + ( a − 4 n 1 − 2 ) x 3 + ( 5 n 1 − 2 a − 3 a n 1 + 5 n 1 2 ) x 2 + ( − 3 a 2 + 2 a n 1 2 + 7 a n 1 − 3 a − 2 n 1 3 − 5 n 1 2 + 3 n 1 ) x − a 3 − a 2 − 4 a n 1 2 + 3 a n 1 + 2 n 1 3 − 2 n 1 2 (10)
f 3 ( x ) = f 1 ( x ) − f 2 ( x ) = − a x 3 + ( 2 a + 3 a n 1 ) x 2 + ( 3 a 2 − 2 a n 1 2 − 7 a n 1 + 3 a ) x + a 3 − 3 a 2 n 1 + a 2 + 4 a n 1 2 − 3 a n 1 (11)
First of all need to prove τ ( f 3 ) < 2 n 1 , because
f 3 ( x ) = a [ − x 3 + ( 2 + 3 n 1 ) x 2 + ( 3 a − 2 n 1 2 − 7 n 1 + 3 ) x + a 2 − 3 a n 1 + a + 4 n 1 2 − 3 n 1 ]
Set
g 1 ( x ) = − x 3 + ( 2 + 3 n 1 ) x 2 + ( 3 a − 2 n 1 2 − 7 n 1 + 3 ) x + a 2 − 3 a n 1 + a + 4 n 1 2 − 3 n 1 (12)
There is a common factor constant a in f 3 ( x ) , and a does not affect the root of f 3 ( x ) . Therefore, for the convenience of discussion, we study the polynomial g 1 ( x ) , g 1 ( x ) after elimination of a is equal to the root of f 3 ( x ) , because a 2 − 3 a n 1 + a + 4 n 1 2 − 3 n 1 can be viewed as a unary quadratic equation about a, what’s more Δ = b 2 − 4 a c = − 7 n 1 2 + 1 + 6 n 1 < 0 , so a 2 − 3 a n 1 + a + 4 n 1 2 − 3 n 1 > 0 is constant. Let
g 2 ( x ) = − x 3 + ( 2 + 3 n 1 ) x 2 + ( 3 a − 2 n 1 2 − 7 n 1 + 3 ) x (13)
the root of g 2 ( x ) are
x 1 = 0 , x 2 = 3 n 1 + 2 − Δ 2 , x 3 = 3 n 1 + 2 + Δ 2 , and Δ = ( n 1 2 − 8 ) + 12 a − 48
Because n 1 − 8 < Δ = ( n 1 2 − 8 ) + 12 a − 48 < n 1 2 − 8 n 1 + 16 = n 1 − 2 , So the range of the largest root of g 2 ( x ) is ( 2 n 1 − 3 , 2 n 1 ) . Moreover a 2 − 3 a n 1 + a + 4 n 1 2 − 3 n 1 > 0 , so we assume the largest root of g 1 ( x ) is x 3 + k , ( k > 0 ) .
Next proof τ ( g 1 ( x ) ) = x 3 + k < 2 n 1 . We know
g 2 ( x ) ′ = − 3 x 2 + ( 4 + 6 n 1 ) x + 3 a − 2 n 1 2 − 7 n 1 + 3
and
Δ = 12 n 1 2 − 36 n 1 + 52 + 36 a > 0
by calculation the root of g ′ 2 ( x ) is 6 n 1 + 4 ± 12 n 1 2 − 36 n 1 + 52 + 36 a 6 < 2 n 1 , so g 1 ( 2 n ) is monotonically decreasing in
( 6 n 1 + 4 + 12 n 1 2 − 36 n 1 + 52 + 36 a 6 , 2 n 1 )
and since g 1 ( 2 n ) < 0 when n ≥ a + 2 , so τ ( g 1 ( x ) ) = x 3 + k < 2 n 1 , then τ ( f 3 ) = x 3 + k < 2 n 1 proofed.
Finally proof τ ( f 1 ( x ) ) > 2 n 1 , τ ( f 2 ( x ) ) > 2 n 1 , by calculation
f 1 ( x ) = − 4 n 1 3 + 4 n 1 2 < 0
and
f 2 ( x ) = − 4 n 1 3 + ( 2 a + 4 ) n 1 2 − ( 3 a 2 − 3 a ) n − a 3 − a < 0
when x = 2 n 1 , so τ ( f 1 ( x ) ) > 2 n 1 , τ ( f 2 ( x ) ) > 2 n 1 .
Because f 3 ( x ) = f 1 ( x ) − f 2 ( x ) , and τ ( f 2 ( x ) ) is the largest root of the characteristic polynomial f 2 ( x ) . There have
f 3 ( τ ( f 2 ( x ) ) ) = f 1 ( τ ( f 2 ( x ) ) ) − f 2 ( τ ( f 2 ( x ) ) ) = f 1 ( τ ( f 2 ( x ) ) ) < 0
so τ ( f 1 ( x ) ) > τ ( f 2 ( x ) ) .
Lemma 3.2. Let G = D ( 1 , 1 ; n , n ) , H = D ( a + 1 , a + 1 ; n − a , n − a ) , then τ ( G ) < τ ( H ) is constant.
Proof: Since U 1 , U 2 , V 1 , V 2 is an equitable division of G, Q 1 and Q 2 are a quotient matrix of Q(G) and Q(H)
Q 1 = ( 2 n 0 n n 0 n n 0 1 1 2 n 0 1 0 0 2 n − 1 ) (14)
Q 2 = ( a + 2 n 0 n − a n 0 n − a n − a 0 a + 1 1 2 n − a 0 a + 1 0 0 2 n + a − 1 ) (15)
The characteristic polynomials g 1 ( x ) , g 2 ( x ) of Q 1 and Q 2 are obtained by calculation as follows:
g 1 ( x ) = x 4 + ( 1 − 7 n ) x 3 + ( 18 n 2 − 8 n ) x 2 + ( − 20 n 3 + 18 n 2 − 2 n ) x + 8 n 4 − 12 n 3 + 4 n 2 (16)
g 2 ( x ) = x 4 + ( 1 − 7 n ) x 3 + ( − a 2 − 3 a n + 3 a + 18 n 2 − 8 n ) x 2 + ( 2 a 2 n − 2 a 2 + 2 a − 20 n 3 + 18 n 2 − 2 n ) x + 12 a n 2 − 4 a n − 8 a n 3 + 8 n 4 − 12 n 3 + 4 n 2 (17)
let
h ( x ) = g 1 ( x ) − g 2 ( x ) ,
h ( x ) = ( 3 a − 3 a n + a 2 ) x 2 + ( 2 a 2 n − 2 a 2 + 10 a n 2 − 12 a n + 2 a ) x − 8 a n 3 + 12 a n 2 − 4 a n (18)
because 3 a − 3 a n + a 2 > 0 , we obtain that h ( x ) is an open up quadratic function, and Δ = 4 a 2 ( n − 1 ) ( a 2 n − a 2 + 2 a n 2 − 8 a n + 2 a + n 3 + n 2 − n − 1 ) > 0 , because of 4 a 2 ( n − 1 ) > 0 , we let Δ 1 = a 2 n − a 2 + 2 a n 2 − 8 a n + 2 a + n 3 + n 2 − n − 1 , and get the derivative for a and n, Δ ′ 1 ( a ) = ( 2 n − 2 ) a − 8 n + 2 n 2 + 2 > 0 ,
Δ ′ 1 ( n ) = a 2 + 4 a n − 8 a + 2 n + 3 n 2 − 1 , so Δ > 0 . Let the two roots be x 1 and x 2 respectively, and x 1 < x 2 . By the root formula x = − b ± Δ 2 a , Δ < 2 a 2 ( n − 1 ) , x 2 < − b + 2 a 2 ( n − 1 ) 2 a both can be calculated. x 2 is monotonically increasing with respect to a, so x 2 < 2 n − 1 . When a = 1 , then
x 2 = 5 ( n 2 − n ) + n ( n − 1 ) ( n 2 + 3 n − 8 ) 3 n − 2
the four roots of g 1 ( x ) are 2 n ± 2 n , 2 n , n − 1 and x 2 > 2 n − 2 n . When x > 2 n − 1 , then g 1 ( x ) > g 2 ( x ) . when x < 2 n − 1 , then g 1 ( x ) , g 2 ( x ) have two intersections, and g 1 ( x ) haven’t gotten to the maximum yet, so τ ( G ) < τ ( H ) is constant.
It can be seen from the above conclusions, the structure of the graph G = D 0 ( m 1 , m 2 ; n 1 , n 2 ) is D 0 ( m 1 + n 1 − 1 , m 2 ; 1 , n 2 ) when the signless laplacian spectral radius of G has reached maximum. Similarly, the structure of the graph G = D ( 1 , 1 ; n 1 , 1 ) is D ( 1 , 1 ; n 1 , 1 ) , when the signless laplacian spectral radius of G has reached maximum, and the structure of the graph G = D ( 1 , 1 ; n , n ) is D ( n , n ; 1 , 1 ) , when the signless laplacian spectral radius of G has reached maximum.
The author declares no conflicts of interest regarding the publication of this paper.
Yang, Y. (2018) The Signless Laplacian Spectral Radius of Some Special Bipartite Graphs. Journal of Applied Mathematics and Physics, 6, 2159-2165. https://doi.org/10.4236/jamp.2018.610181