This is a survey paper on the recent development of the spectral theory of nonnegative tensors and its applications. After a brief review of the basic definitions on tensors, the H -eigenvalue problem and the Z-eigenvalue problem for tensors are studied separately. To the H -eigenvalue problem for nonnegative tensors, the whole Perron-Frobenius theory for nonnegative matrices is completely extended, while to the Z-eigenvalue problem, there are many distinctions and are studied carefully in details. Numerical methods are also discussed. Three kinds of applications are studied: higher order Markov chains, spectral theory of hypergraphs, and the quantum entanglement.The spectral theory for nonnegative matrices has had a profound impact on both theoretical and applicable mathematics. The centerpiece of this theory resides on the classical Perron-Frobenius theorems as well as some of their important consequences. In this expository article, we intend to give a brief survey to incorporate some of the most recent developments of the various spectral theories for nonnegative tensors along these lines. There is a large volume of published and unpublished work in this field; we apologize in advance if we fail to cite the work of some of our peers as any such oversight is unintentional.
SPECTRAL THEORY OF NONNEGATIVE MATRICESA second-order n-dimensional real (or complex) tensor A is the n n real (or complex) matrix A D .a ij /. It can also be viewed as a linear endomorphism on R n (or C n ); hence, the eigenvalue problem for A is a linear problem. In particular, the spectral radius r.A/ of A is defined to be r.A/ D maxfj j j is a real or complex eigenvalue of Ag.According to Gelfand's formula,where jj jj denotes the operator norm. Thus, r.A/ is an intrinsic property of A as it is entirely determined by A itself.An m-order n-dimensional real tensor A consists of n m entries in R:1. r.A/ > 0 is an eigenvalue. 2. There exists a positive vector x 0 > 0, that is, all components of x 0 are positive, such that Ax 0 D r.A/x 0 . 3. (Uniqueness) If is an eigenvalue with a nonnegative eigenvector, then D r.A/. Remarks 1. The notion of symmetric tensor is referred to Definition 4.10 later. In fact, the symmetric assumption on A in [2] in this statement is superfluous. Corresponding to the n homogenous polynomials .Ax m 1 / 1 , , .Ax m 1 / n in n variables x D .x 1 , , x n /, one defines the determinant to be the resultant of these polynomials: det.A/ D Res .Ax m 1 / 1 , .Ax m 1 / n , then the characteristic polynomial becomes . / D det.A I/. Now, we return to eigenvalues for tensors. The proof of Lemma 4.6 in [41] also leads to the following. Lemma 3.23. A nonnegative tensor A is irreducible if and only if the operator T A is semistrongly positive. WD Ax m .kC1/ .Because˛is large enough, the function f A .x/ C˛kxk m becomes convex on R n . For even m, the convergence of the sequence k is guaranteed.