Analytic Connectivity of k-uniform hypergraphs arxiv: v1 [math.co] 10 Jul 2015

Transcription

1 Analytic Connectivity of k-uniform hypergraphs arxiv: v [math.co] 0 Jul 05 An Chang, Joshua Cooper, and Wei Li 3 School of Computer and Information Science, Fujian Agriculture and Forestry University, Fuzhou, Fujian, 35000, P. R. China Department of Mathematics, University of South Carolina, Columbia, SC, 908, USA 3 Center for Discrete Mathematics and Theoretical Computer Science, Fuzhou University, Fuzhou, Fujian, , P. R. China July 3, 05 Abstract In this paper, we study the analytic connectivity of a k-uniform hypergraph H, denoted by α(h). In addition to computing the analytic connectivity of a complete k-graph, we present several bounds on analytic connectivity that relate it with other graph invariants, such as degree, vertex connectivity, diameter, and isoperimetric number. Introduction Like graphs, hypergraphs have many applications in various fields []. However, a preponderance of interesting computational problems concerning hypergraphs are NP-hard. Spectral graph theory has played a significant role in remedying the apparent intractability of hard graph problems by providing approximation algorithms and iterative numerical methods. Hence, a search for an analogous spectral hypergraph theory has been become the focus of many researchers in recent years. As graphs are related to matrices, hypergraphs are related to tensors. Letmandnbe twopositiveintegers. AtensorT overthecomplexfieldcof order m and dimension n is a multidimensional array with entries a i,i,,i m C, for each (i,,i m [n] = {,,n}). Particularly, if m =, T is a vector in C n. If m =, then T is a square matrix with n elements. When m 3, T is a higher-order tensor. Furthermore, if its entries are invariant under any permutation of their indices, then a tensor T is said to be symmetric. The research is supported by the National Natural Science Foundation of China(No ); The Science and Technology Project of The Education Department in Fujian Province (JA37).

2 Since the eigenvalues of higher-order tensors were independently proposed by Qi[9] and Lim [8], numerous contributions to a framework for understanding the spectra of k-uniform hypergraphs via tensors have appeared. In 009, Bulò and Pelillo [3] gave new bounds for the largest eigenvalue for the adjacency tensor of a uniform hypergraph with respect to its clique number. In 0, Hu and Qi [4] proposed a definition for the Laplacian tensor of an even uniform hypergraph and analyzed its properties. In the following year, Cooper and Dutle [4] presented some spectral results concerning hypergraphs that closely parallel those in the spectral theory of -graphs. In [8], definitions for the Laplacian tensor and signless Laplacian tensor of a k-uniform hypergraph were proposed that extend the definition of Laplacian matrices and signless Laplacian matrices, and their H-eigenvalues and Z-eigenvalues were studied. In [0, ], the authors investigated the H-eigenvalues and the Z-eigenvalues for the adjacency tensor of a k-uniform hypergraph. Furthermore, there is a rich and more general theory of eigenvalues for nonnegative tensors [6, 7,, 3, 5, 3]. In [4, 6,, 5], a Perron-Frobenius theory for nonnegative tensors was established, supplying a fundamental tool for the study of hypergraph spectra. The second smallest eigenvalue of the Laplacian matrix of a -graph G, denoted by λ (G), is called the algebraic connectivity of G. This eigenvalue plays an important role in spectral graph theory. Using the definition of Laplacian tensor in [8], Qi [0] defined a natural analytic connectivity of k-graphs. In this paper, we investigate upper and lower bounds on this parameter expressed in terms of the degree sequence, vertex connectivity, isoperimetric number and diameter. We also compute the the analytic connectivity of complete k-graphs. The remainder of the present paper is organized as follows. In Section, some preliminary definitions concerning tensors and hypergraphs are given. Moreover, we present several results concerning the algebraic connectivity of - graphs, which we compare to the analytic connectivity of k-graphs in section 3. We demonstrate in section 3 that these invariants have many similar properties, but differ in several respects. Preliminaries Let T be a real tensor of order m dimension n and x = (x,x,,x n ) be a vector in C n. Then T x m := i,,i m= a i,,i m x i x im, (.) and T x m is a vector in C n, whose i-th component is defined by (T x m ) i = i,,i m= a i,i,,i m x i x im, for i [n].

3 Let x [r] = (x r,xr,...,xr n ) be a vector in Cn, where r is a positive integer. If there is a non-zero vector x C n and λ C, satisfying T x m = λx [m ], (.) then one can say λ is an eigenvalue of T, and x is its corresponding eigenvector. In particular, if x is real, then λ is also real. In this case, λ is an H eigenvalue of T. And x is its corresponding H eigenvector[]. Let R n + and R n ++ be the set of all nonnegative vectors and the set of all positive vectors in R n, respectively. If x R n +, then λ is called an H+ eigenvalue of T. If x R n ++, then λ is an H++ eigenvalue of T. If all the entries are nonnegative, then T is called a nonnegative tensor. In what follows, we employ standard definitions and notation from hypergraph theory; see, e.g.,[]. A hypergraph H is a pair (V,E). The elements of V = V(H) = {v,v,,v n } are referred to as vertices and the elements of E = E(H) = {e,e,,e m } are called edges, where e i V for i [m]. A hypergraph H is said to be k-uniform for an integer k, if for all e i E(H), e i = k, where i [m]. We often use the term k-graph in place of k-uniform hypergraph for short. Clearly, a -graph is what is usually termed a simple, undirected graph. For any vertex v i V (i [n]), its degree d(v i ) is defined as d(v i ) = {e p : v i e p E}. Denote the maximum degree, the minimum degree and the average degree of H by (H), δ(h) and d(h), respectively. If d(h) = (H), then H is a regular k-graph. Two vertices v i and v j are called adjacent if and only if there exists an edge e E(H) such that {v i,v j } e E(H). Two vertices v i and v j are called connected if either v i and v j are adjacent, or there are vertices v i,,v is such that v i and v i, v is and v j, v ir and v ir+ for r =,,s are adjacent, respectively. A k-graph H is called connected if any pair of its vertices are connected. The isoperimetric number for a k-graph H, denoted by i(h), is defined by { EH (S,S) i(h) = min : S V(G),0 S V(G) }, (.3) S where S = V\S and the edge set E H (S,S) consist of the edges in H with end vertices in both S and S. Particularly, when k =, the edge e E H (S,S) has exactly one vertexin S and one vertex in S. When k 3, the edge e E H (S,S) satisfies e S and e S. For the sake of convenience, E H (S), or E(S) for short, denotes the edge set consisting of edges in H whose vertices are all in S. Sometimes E H (S,S) is called an edge cut of H. Indeed, if we delete E(S,S) from H, then H is separated into two k-graphs H[S] = (S,E(S)) and H[S] = (S,E(S)). The minimum cardinality of such an edge cut is called the edge connectivity of H, denoted by e(h). A vertex cut of H is a vertex subset V V(H) such that H V is disconnected, where H V is the graph obtained by deleting all vertices in V and all incident edges. The vertex connectivity of H, denoted by v(h) is the minimum cardinality of any vertex cut V. The complete k-graph has no vertex cut. 3

4 For a k-graph H with n vertices, the (normalized) adjacency tensor, denoted by A(H) or A for short, is a tensor of order k dimension n with entries a i,i,i k = { (k )! if {v i,v i,,v ik } E(H) 0 otherwise. (.4) The degree tensor of H, denoted by D(H) or D for short, is a diagonal tensor oforderk anddimensionnwithitsi-thdiagonalentryasd H (v i )and0otherwise. The Laplacian tensor and signless Laplacian tensor of H are defined as L = L(H) = D(H) A(H) and Q = Q(H) = D(H)+A(H), respectively[8]. It is easy to see that A, L and Q are all symmetric. Particularly, when k =, the tensors A, L and Q are the adjacency matrix A, the Laplacian matrix L and the signless Laplacian matrix Q of a -graph, respectively. Let e = {v i,v i,,v ik } E(H). Denote L(e)x k = k x k i j kx i x i x ik. j= Then Lx k = e EL(e)x k. Here we present the arithmetic-geometric mean inequality, which we refer to as the A-G inequality for brevity. Lemma.. Let a = (a,a,,a n ) be a vector in R n + G(a) = (a a a n ) n. then A(a) G(a). Moreover, the equality holds if and only if a = a = = a n. and A(a) = a+a+ +an n, By A-G inequality, if x R n +. then L(e)xk 0 for each edge e E(H), so that Lx k 0 as well. Moreover, it is easy to verify that the smallest Laplacian H-eigenvalue of H is exactly 0 and the all-ones vector, denoted by, is the corresponding eigenvector. In [0], Qi proved that 0 = min{lx k : x R n +, x k i = }. Qi also defined the analytic connectivity α(h) of the k-graph H by i= α(h) = min j=,,,n min{lxk : x R n +, x k i =,x j = 0}. (.5) Clearly, α(h) 0. The following statements illuminate the name of this parameter. Theorem.. [0] The k-graph H is connected if and only if α(h) > 0. i= 4

5 Theorem.3. [0] For a k-graph H, we have e(g) n k α(h). Recall that the second smallest eigenvalue of Laplacian metric of a -graph G of order n, denoted by λ (G), is defined by Lx, x λ (G) = min x x T x, (.6) x 0 where 0 is the zero vector. Fiedler obtained another important expression for λ (G): { v λ (G) = nmin (x } iv j E(G) i x j ) n n i= j= (x i x j ) : x c,c R. (.7) Fiedler referred to the number λ (G) as the algebraic connectivity of G, and related it to the classical connectivity of -graphs. Theorem.4. [7] A -graph G is connected if and only if λ (G) > 0. Theorem.5. [7] For a -graph G, λ (G) v(g) e(g). There are several prominent graph classes for which the algebraic connectivity is known. Here we give the algebraic connectivity when G is a complete graph. Theorem.6. If K n is a complete -graph of order n with ( n ) edges, then λ (K n ) = n with corresponding eigenvector x = (n,,,, ). There are also several bounds to the algebraic connectivity related to the parameters of a graph, such as degree, isoperimetric number, and diameter. Theorem.7. Let G be a -graph with more than one edge and (d(v ),d(v ),,d(v n )) be the degree sequence of G. Then { } d(vi )+d(v j ) λ (G) min. (.8) {v i,v j} E(G) In general, the isoperimetric number is very hard to compute, and even obtaining any lower bounds on i(h) seems to be a difficult problem. However, for -graphs G, the algebraic connectivity provides a reasonably good bound on i(g). The following is a well-known inequality often called the Cheeger inequaility. Theorem.8. [4] Let G be a -graph. Then i(g) α(g) (G) (G) i (G). 5

6 Regarding the diameter of a k-graph H, denoted by diam(h), the following is a lower bound for -graphs. Theorem.9. [5] Let G be a -graph with n vertices. Then 3 Main results λ (G) 4 diam(g) n. Evidently, the analytic connectivity and the algebraic connectivity are closely related to the connectivity of a graph. In this section, we will study the properties of analytic connectivity for k-graphs compared with that of algebraic connectivity for -graphs. Given a finite set X and positive integers k, r, and λ, a -design (or balanced incomplete block design) is a multiset of k-element subsets of X, called blocks, such that the number of blocks containing any element of X is r and the number of blockscontaining any pairof distinct x,y X is λ. If none of the elements ofthe multiset arerepeated, then the -designissaid to be simple. It is easy to see that a simple -design on a set of size n with parameters k, r, and λ as above is the same as a k-uniform hypergraph on n vertices all of whose vertices have degree k, and all of whose codegrees c(x,y) = {e E : x,y e} for x y are λ. Theorem 3.. Let H be a simple -design with n vertices, b blocks, k vertices per block, r blocks containing each vertex, and λ blocks containing each pair of vertices. Further suppose that H has no cut-vertex. Then α(h) = λ, ( ) with corresponding vector x = ( n ) k,( n ) k,,( n ) k,0. Proof. It is well known that bk = nr and λ(n ) = r(k ). Let x = (x,x,,x n ) be a vector satisfying { ( x i = n ) k, if i =,,,n ; 0, if i = n. Then, for any edge e {v,v,,v n }, we have L(e)x k = 0. For those edges e containing vertex v n, we have L(e)x k = k n. Since there are r edges containing v n, it follows that α(h) Lx k = r k = λ. (3.9) n On the other hand, suppose that y = (y,y,,y n,y n ) R n + is the vector achieving α(h); we may assume without loss of generality that y n = 0. According to the A-G inequality, for each edge e E(H), L(e)y k 0. In addition, 6

7 for those edges e containing the vertex v n, we have L(e)y k = k j= yk i j, where i j n. Therefore, n α(h) λ = λ. (3.0) Combining (3.9) and (3.0), we have i= y k i α(h) = λ. It remains to verify that any vector x achieving α(h) has the desired form. If equality holds in (3.0), then every edge e E(H) with v n e satisfies L(e)x k = 0, since no edge containing v n contributes to the sum. By the A- G inequality, each coordinate of x corresponding to a vertex in e has the same value. SincethesubgraphinducedbyV(H)\{v n }isconnected, wemayconclude that x = x = = x n. Moreover, n i= xk i =, so that x = x = = x n = ( n ) k. The result follows. We can now give the analytic connectivity of a complete k-graph K n (k), as follows, since K n (k) is a -design with λ = ( n k ). Corollary 3.. α(k (k) n ) = ( n k ). Remark 3.. We compare with Theorem.6 by taking k = in Theorem 3., so that α(k n ) =. Two additional properties of α(h) are given in Theorem 3.3 and Corollary 3.4. Furthermore, Theorem 3.5 presents an upper bound on α(h) in terms of vertex connectivity. Theorem 3.3. If H and H are edge-disjoint hypergraphs with the same vertex set then α(h )+α(h ) α(h H ). Proof. Since H and H are edge-disjoint, we have L(H H )x k = L(H )x k + L(H )x k. Obviously, α(h H ) α(h )+α(h ). Corollary 3.4. If H and H have the same vertex set and E(H ) E(H ), then α(h ) α(h ). Theorem 3.5. Let H be a hypergraph of order n and v(h) be the vertex connectivity of H. Then ( ) [ (n v(h) ) ( n n v(h) ) ] α(h) k k k k n. Proof. LetS beaminimumcutsetofh,i.e., S = v(h); andleth,h,,h l be the components of H S, with n i = V(H i ) for i [l]. Without loss of generality, suppose n = min i [l] n i, so that n n v(h) and there is a vertex u V(H ). 7

8 Define a vector x = (x,x,,x n ) by ( ) k x i = n if v i u; 0 if v i = u. It is easyto see n i= xk i =. Let H arise from H by adding all edges e containing u such that e S or e H i = for all i {,...,l}; note that all edges of H have this form, so H H. The maximum possible number of edges containing u is ( n k ). However, we exclude from H those edges e such that e S = and e ( l j= V(H j)). Therefore, d H (u) = ( n k ) ( n v(h) ) ( + n k k ). Moreover,L(e)x k = k n if e containsvertex u and L(e)xk = 0 otherwise. Then, by Corollary 3.4, we have α(h) α(h ) L(H )y k [( ) ( n n v(h) = k k ( ) [ (n v(h) n k k ) + ) ( )] n k k n ( n v(h) ) ] k k n The result follows. Remark 3.. Taking k =, i.e., for a -graph G, we have α(g) n+v(g) (n ). Next, weinvestigateupperandlowerboundsonα(h) in termsoftheisoperimetric number and diameter. Before coming to our results, two extended A-G inequalities are needed. Lemma3.6. Let a = (a,a,,a n ) be a vector in R n + G(a) = (a a a n ) n. and A(a) = a+a+ +an n, () [6] Suppose that b j = a σ(i), where j =,,,n and σ S n is a permutation of the set [n], then A(a) G(a) n m ( b j b n+ j ), (3.) j= where m = n. Moreover, equality holds if and only if b b n = b j b n+ j, j m. () A(a) G(a) (n )n i<j n Moreover, equality holds if and only if a = a = = a n. ( a i a j ). (3.) 8

9 Proof. Here, it is sufficient to verify (3.). Since then, A(a) = (n )n i<j n A(a) = (n )n G(a) = (n )n i<j n bi b j i<j n i<j n bi b j (n )n i<j n bi b j ( b i b j ) (b i +b j ), (n )n = G(a). (by A-G inequality) Hence, the inequality (3.) holds. Moreover,equality holds if and only if b i b j = b s b t, for any i,j,s,t [n], which means b = b = = b n. Theorem 3.7. Let H be a k-graph, where k 3. Then k i(h) α(h) i (H). Proof. Suppose that the isoperimetric number i(h) is witnessed by the set S. Let y = (y,y,,y n ) be a vector in R n + satisfying { /( S ) k v y i = i S 0 v i S. Denote t(e) = {v v e S} and t(s) = α(h) Ly k = e p E(S) = + e p E(S) e p E(S,S) v i e p S t(s) S E(S,S) e E(S,S) t(e) E(S,S) x k i +, e p E(S,S). Then L(e p )y k =t(s)i(h). (3.3) 9

10 Similarly, we have α(h) t(s)i(h). (3.4) Summing (3.3) and (3.4), since t(s)+t(s) = k, we have α(h) k i(h). Thus, the proofs for the Cheeger inequality regarding an upper bound for α(h) is completed. On the other hand, to verify the lower bound of α(h) for a bipartition (S, S) on V(H), we first define a multiple -graph with possible loops, Ĥ = (V(Ĥ),E(Ĥ)), where V(Ĥ) = V(H) and the edge set of Ĥ is derived in the following way. Suppose x = {x,x,,x n } is the vector achieving α(h). For each edge e = {v i,v i,,v ik } E(H), with loss of generality, let x i x i x ik. Then E(Ĥ) = e E(H) {v i j v k+ ij : j =,,, k }. Since x i 0 for i [k], then α(h) = x k i j kx i x ik = e={v i,,v ik } E e={v i,,v ik } E x i x i x ik v i,v j E(Ĥ) j= k j= ( x ki x k j ( ) x k i j x k k+ i j (By (3.)) ) Let M = (v i,v j) E(Ĥ)(xk/ i x k/ j ) and y = x [k ]. Moreover,for the sakeof convenience, we denote by E the set E(Ĥ). According to the proof of Theorem.8, we have M = v i,v j E (y i y j ) v i,v j E (y i +y j ) v i,v j E (y i +y j ) (3.5) ( v i,v j E y i y j ) v i,v j E (y i +y j ) (by Cauchy-Schwarz) Let 0 = t 0 < t < t < < t h be all distinct values of y i, i =,,,n. For s = 0,,,,h, let V s = {v i V : y i t s }. For each edge e E H (V s,v s ), let δ s (e) = min{ V s e, V s e }. Denote δ(v s ) = min{δ s (e) : e E H (V s,v s )} and δ(h) = min s [h] {δ(v s )}. Then 0

11 v i,v j E y i y j = = = h i= h i= h v iv j E y i y j y i=t r y j=t l,l<r i= v i V s (y i y j) (t r t r +t r t l+ +t l+ t l ) (t s t s ) v j/ V s h δ(v s )E H (V s,v s )(t s t s ) i= δ(h)i(h) =δ(h)i(h) =δ(h)i(h) h V s (t s t s ) i= h t k ( V s V s+ ) i= h yi. i= (3.6) On the other hand, (y i +y j ) = (yi +y j ) (y i y j ) v iv j E v iv j E v iv j E d i yi i= v iv j E (y i y j ) n (Ĥ) yi i= =( (Ĥ) M) n ( (H) M) i= v iv j E (y i y j ) i= y i y i (3.7) where denotes maximum degree. Combining (3.5), (3.6) and (3.7), we obtain M δ(h) i(h) (H) M.

12 Therefore, M (H) (H) δ(h) i(h). Since δ(h), we have α(h) (H) (H) i(h). Theorem 3.8. Let H be a k-graph. Then α(h) 4 n (k )diam(h). (3.8) Proof. Let x = (x,x,,x n ) be the vector achieving α(h), where x n = 0, and y = x [k ]. Define a multiple -graph H as follows. It has vertex set V(H), and vertices u and v are adjacent in H if and only if {u,v} e E(H). Evidently, diam(h) = diam(h ). Therefore, And α(h) =Lx k = = e E(H) L(e)x k e={v i,v i,,v ik } E(H) e={v i,v i,,v ik } E(H) = k = k = k v iv j E(H ) v iv j E(H ) i= j= λ (H ) n(k ) i= j= k x k i j kx i x i x ik j= k ( x k/ i x k/ j (y i y j ) s<t k ) (y i y j ) v iv j E(H ) (y i y j ) n j= (y i y j ) i= j= n i= (y i y j ) (by (.7)) (y i y j ) = yi + i= j= i= j= =n y,y y, =n ( n ) y i i= n n (n ) ( x k/ i s x k/ i t ) (by (3.)) yj y i y j i= y i i= j= (by Cauchy-Schwarz) =. (3.9)

13 Hence, from Theroem.9, α(h) λ (H ) n(k ) 4 n (k )diam(h ) = 4 n (k )diam(h). Completing the proof. The last theorem gives an upper bound on the analytic connectivity of k- graphs as a function of degree sequence. Theorem 3.9. Let H be a k-graph with more than one edge. Then { } d(vi )+d(v i )+ +d(v ik ) k α(h) min : {v i,v i,,v ik } E(H). k (3.0) Proof. Let e p = {v i,v i,,v ik } be an edge in H and x = (x,x,,x n ) be a vector defined by { k /k if v x i = i e p, 0 otherwise. Then n i= xk i =. Moreover, it is easy to see that L(e p)x k = 0. Then, α(h) Lx k = L(e)x k completing the proof. e E(H) =(d(v i ) )(/k)+(d(v i ) )(/k)+ +(d(v ik ) )(/k) = d(v i )+d(v i )+ +d(v ik ) k k Remark 3.3. When k =, the upper bound in inequality (3.0) is { } d(vi )+d(v i ) min : {v i,v i } E(H), which is exactly the upper bound in (.8). References [] C. Berge, Hypergraphs, North-Holland Mathematical Library 45, North- Holland, Amsterdam, 989. [] L. Qi, Eigenvalues of a supersymmetric tensor and positive definiteness of an even degree multivariate form. Department of Applied Mathematics, The Hong Kong Polytechnic University,

14 [3] S.R. Bulò, M. Pelillo, New bounds on the clique number of graphs based on spectral hypergraph theory, in: T.Stützle ed., Learning and Intelligent Optimization, Spring Verlag, Berlin, (009) [4] J. Cooper, A. Dutle, Spectra of uniform hypergraphs. Linear Algebra and its Application, 436 (0) [5] D. Cvetković, M. Doob, H. Sachs, Spectra of Graphs: Theory and Application, third ed., Johann Ambrosius Barth Verlag, 995. [6] K.C. Chang, K. Pearson, T. Zhang, Perron Frobenius Theorem for nonnegative tensors, Communications in Mathematical Sciences, 6 (008) [7] K.C. Chang, K. Pearson, T. Zhang, Primitivity, the convergence of the NZQ method, and the largest eigenvalue for nonnegative tensors, SIAM J. Matrix Anal. Appl., 3 (0) [8] J. Xie, A. Chang, On the H-eigenvalues of the singless Laplacian tensor for an even uniform hypergraph, Frontiers of Mathematics in China, 8 (03) [9] J. Xie, A. Chang, On the Z-eigenvalues of the adjacency tensors for uniform hypergraphs, Linear Algebra and its Application, 439 (03) [0] J. Xie, A. Chang, On the Z-eigenvalues of the signless Laplacian tensor for an even uniform hypergraph, Numerical Linear Algebra with Applications, 0 (03) [] K. Pearson and T. Zhang, On the spectral hypergraph theory of the adjacency tensor, Graphs and Combinatorics, (03)DOI:0.007/s x. [] S. Friedland, S. Gaubert, L. Han, Perron-Frobenius theorem for nonnegative multilinear forms and extensions, Linear Algebra and its Applications, 438 (03) [3] Y. Liu, G, Zhou, N.F. Ibrahim, An always convergent algorithm for the largest eigenvalue of an irreducible nonnegative tensor, Journal of Computational and Applied Mathematics, 35 (00) [4] S. Hu, L. Qi, Algebraic connectivity of an even uniform hypergraph, Journal of Combinational Optimization, 4 (0) [5] Q. Yang, Y. Yang, Further results for Perron-Frobenius Theorem for nonngeative tensors, SIAM J.Matrix Anal. Appl.,3 (00) [6] Q. Yang, Y. Yang, Further results for Perron-Frobenius Theorem for nonngeative tensors II, SIAM J.Matrix Anal. Appl.,3 (0) [7] J. Shao, A general product of tensors with applications. Linear Algebra Appl.,439 (03)

15 [8] L.H. Lim, Singular values and eigenvalues of tensors, a variational approach, in Proceedings st IEEE international workshop on computational advances of multitensor adaptive processing, (005) 9-3. [9] L. Qi, Eigenvalues of a real supersymmetric tensor, Journal of Symbolic Computiation 40 (005) [0] L. Qi, Symmetric nonnegative tensors and copositive tensors, Linear Algebra and Its Applications, 439 (03) [] L. Qi, H + -eigenvalues of Laplacian and signless Laplacian tensors, Department of Applied Mathematics, The Hong Kong Polytechnic University, July, 03. [] L. Zhang, L. Qi, Z. Luo, The dominant eigenvalue of an essentially nonnegative tensor,numerical Linear Algebra with Applications, 0 (03) [3] L. Zhang, L. Qi, Y. Xu, Linear convergenceof the LZI algorithm for weakly positive tensors, Journal of Computational Mathematics, 30 (0) [4] B. Mohar, Isoperimetric numbers of graphs, J. Combin. Theory, Ser. B, 47 (989). [5] B. Mohar, Eigenvalues, diameter, and mean distance in graphs, Graphs and Combinatories, 7 (99) [6] J.C. Kuang, Applied inequality, 3rd Ed., Shangdong Sicence and Technology Press, China, (004) 36 (in Chinese). [7] M. Fiedler, Algebraic connectivity of graphs, Czechoslovak Mathematical Journal, 3(98)