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.

Comparison of the upper bounds for the extreme points of the polytopes of line-stochastic tensors

Enumerating extreme points of the polytopes of stochastic tensors: an optimization approach

On the Number of Vertices of the Stochastic Tensor Polytope

Asymptotic bounds on the numbers of vertices of polytopes of polystochastic matrices

Vertices of the polytope of polystochastic matrices and product constructions

On the Extreme Points of Slice-Stochastic Tensors

A Spectral Approach to Polytope Diameter

Extreme points of general transportation polytopes

Enumerating integer points in polytopes with bounded subdeterminants

Geometric rank of tensors and subrank of matrix multiplication

A polynomial resultant approach to algebraic constructions of extremal graphs

Random Shadows of Fixed Polytopes

Integer Feasibility of Random Polytopes

The bounds for the best rank-1 approximation ratio of a finite dimensional tensor space

T-square tensors—Part I: inequalities

Subtracting a Best Rank‐1 Approximation from P × P × 2(p≥2) Tensors

Probabilistic bounds on best rank-1 approximation ratio

Elementary polytopes with high lift-and-project ranks for strong positive semidefinite operators

Limitations of the Hyperplane Separation Technique for Bounding the Extension Complexity of Polytopes

On polytopes with linear rank with respect to generalizations of the split closure

A Gap in the Subrank of Tensors