Abstract:The T-square operation between two third-order tensors was invented around 2011 and it arises from many applications, such as signal processing, image feature extraction, machine learning, computer vision, and the multi-view clustering problem. Although there are many pioneer works about T-square tensors, there are no works dedicated to inequalities associated with T-square tensors. In this work, we first attempt to build inequalities at the following aspects: (1) trace function nondecreasing/convexity; (2) Golden–Thompson inequality for T-square tensors; (3) Jensen’s T-square inequality; (4) Klein’s T-square inequality. All these inequalities are related to generalize celebrated Lieb’s concavity theorem from matrices to T-square tensors. This new version of Lieb’s concavity theorem under T-square tensor will be used to determine the tail bound for the maximum eigenvalue induced by independent sums of random Hermitian T-square, which is the key tool to derive various new tail bounds for random T-square tensors. Besides, Qi and Zhang (T-quadratic forms and spectral analysis of t-symmetric tensors, 2021) introduces a new concept, named eigentuple , about T-square tensors and they apply this concept to study nonnegative (positive) definite properties of T-square tensors. The final main contribution of this work is to develop the Courant–Fischer Theorem with respect to eigentuples, and this theorem helps us to understand the relationship between the minimum eigentuple and the maximum eigentuple. The main content of this paper is Part I of a serious task about T-square tensors. The Part II of this work will utilize these new inequalities and Courant–Fischer Theorem under T-square tensors to derive tail bounds of the extreme eigenvalue and the maximum eigentuple for sums of random T-square tensors, e.g., T-square tensor Chernoff and T-square tensor Bernstein bounds.

Sharp upper bounds on the maximum $M$-eigenvalue of fourth-order partially symmetric nonnegative tensors

Prescribing the symmetric function of the eigenvalues of the Schouten tensor

Sharp Bounds for the Smallest M-eigenvalue of an Elasticity Z-tensor and Its Application

A Generalization of Pólya Conjecture and Li–Yau Inequalities for Higher Eigenvalues

Bounds For Eigenvalues Of Nonsingular H-Tensor

On Eigenvalue Problems of Real Symmetric Tensors

The multiplicity of eigenvalues of nonnegative weakly irreducible tensors and uniform hypergraphs

M-eigenvalue Intervals and Checkable Sufficient Conditions for the Strong Ellipticity.

A new $Z$-eigenvalue inclusion theorem for tensors

Theta functions, fourth moments of eigenforms, and the sup-norm problem III

Further results on eigenvalues of symmetric decomposable tensors from multilinear dynamical systems

An Inequality for the Perron Pair of an Irreducible and Symmetric Nonnegative Tensor with Application

Shifted Inverse Power Method for Computing the Smallest M-Eigenvalue of a Fourth-Order Partially Symmetric Tensor

Elasticity M-tensors and the Strong Ellipticity Condition

Guaranteed Lower Bounds for Eigenvalues of Elliptic Operators

Z-Eigenvalue Localization Sets for Tensors and the Applications in Rank-One Approximation and Quantum Entanglement

Sharp upper bounds for Steklov eigenvalues of a hypersurface of revolution with two boundary components in Euclidean space

Sharp spectral gap estimates for higher-order operators on cartan-hadamard manifolds

Elasticity $\mathscr{M}$-tensors and the Strong Ellipticity Condition

T-square tensors—Part I: inequalities

Sharp upper bounds for integral quantities related to the Bellman function of three variables of the dyadic maximal operator