Eigenvalue Bounds of Symmetric Positive Definite Tensors

Abstract

This article introduces an algebraic framework for establishing eigenvalue bounds for symmetric positive definite tensors by leveraging intrinsic invariants—specifically, the trace and determinant (resultant). We derive a hierarchy of inequalities via the Arithmetic Mean-Geometric Mean (AM-GM) inequality that yields progressively tighter upper and lower bounds for the tensor’s spectral radius and smallest eigenvalue. A comprehensive comparative analysis demonstrates that our invariant-based approach significantly outperforms classical coordinate-dependent methods such as the Gershgorin circle theorem. We explicitly show that our bounds remain robust and informative in scenarios where Gershgorin bounds fail, particularly for tensors with negative off-diagonal entries (where algebraic cancelations occur) and higher-order tensors (where combinatorial explosion leads to loose estimates). Furthermore, we validate the practical utility of these bounds by applying them to certify the positive definiteness of Lyapunov functions for the stability analysis of nonlinear autonomous systems.

Keywords

Eigenvalue bounds / Symmetric tensors / Trace and determinant / Gershgorin bounds / Lyapunov stability / Primary MSC: 15A69 / Secondary MSC: 15A42 / 15A15 / 93D05

References

[1] Kofidis E, Regalia PA. Tensor approximation and signal processing applications. Contemp. Math., 2001, 280: 103-134.

[2] Li W, Ng MK. On the limiting probability distribution of a transition probability tensor. Linear and Multilinear Algebra, 2014, 62(3): 362-385.

[3] Lim, L.H.: Singular values and eigenvalues of tensors: a variational approach. In: Proceedings of the IEEE International Workshop on Computational Advances in Multi-Sensor Adaptive Processing (CAMSAP ’05), vol. 1, pp. 129–132 (2005)

[4] Merikoski JK, Virtanen A. Bounds for eigenvalues using the trace and determinant. Linear Algebra Appl., 1997, 264: 101-108.

[5] Ni Q, Qi L, Wang F. An eigenvalue method for testing positive definiteness of a multivariate form. IEEE Trans. Autom. Control, 2008, 53(5): 1096-1107.

[6] Qi L. Eigenvalues of a real supersymmetric tensor. J. Symb. Comput., 2005, 40(6): 1302-1324.

[7] Qi L, Chen H, Chen Y. Tensor Eigenvalues and Their Applications, 2018. Singapore, Springer.

[8] Qi, L., Yu, G., Wu, E.X.: Higher order positive semidefinite diffusion tensor imaging. SIAM J. Imag. Sci. 3(3), 416–433 (2010)

[9] Shao J-Y, Shan H-Y, Zhang L. On some properties of the determinants of tensors. Linear Algebra Appl., 2013, 439(10): 3057-3069.

[10] Zhang T, Golub GH. Rank-one approximation to high order tensors. SIAM J. Matrix Anal. Appl., 2001, 23(2): 534-550.

RIGHTS & PERMISSIONS

Shanghai University