Abstract:Variation diminution (VD) is a fundamental property in total positivity theory, first studied in 1912 by Fekete-Pólya for one-sided Pólya frequency sequences, followed by Schoenberg, and by Motzkin who characterized sign regular (SR) matrices using VD and some rank hypotheses. A classical theorem by Gantmacher-Krein characterized the strictly sign regular (SSR) $m \times n$ matrices for $m>n$ using this property. In this article we strengthen these results by characterizing all $m \times n$ SSR matrices using VD. We further characterize strict sign regularity of a given sign pattern in terms of VD together with a natural condition motivated by total positivity. We then refine Motzkin's characterization of SR matrices by omitting the rank condition and specifying the sign pattern. This concludes a line of investigation on VD started by Fekete-Pólya [Rend. Circ. Mat. Palermo 1912] and continued by Schoenberg [Math. Z. 1930], Motzkin [PhD thesis, 1936], Gantmacher-Krein [1950 book], Brown-Johnstone-MacGibbon [J. Amer. Stat. Assoc. 1981], and Choudhury [Bull. London Math. Soc. 2022, Bull. Sci. Math. 2023]. In fact we show stronger characterizations, by employing single test vectors with alternating sign coordinates - i.e., lying in the alternating bi-orthant. We also show that test vectors chosen from any other orthant will not work.

Gram mates, sign changes in singular values, and isomorphism

Gram determinants of real binary tensors

Positivity of Matrix Coefficients of Representations with Real Infinitesimal Characters

Gram Matrices for Isotropic Vectors

Sign regular matrices and variation diminution: single-vector tests and characterizations, following Schoenberg, Gantmacher-Krein, and Motzkin

The structure of Gram matrices of sum of squares polynomials with restricted harmonic support

Gram Matrices and Stirling numbers of a class of Diagram Algebras

A Study of Gram Determinants in Knot Theory

Conditions for eigenvalue configurations of two real symmetric matrices: a signature approach

A Strong Gram Classification of Non-negative Unit Forms of Dynkin Type Ar

Two Matrix Theorems Arising from Nilpotent Groups

On certain Gram matrices and their associated series

On a new Gram determinant from the Möbius band

A strong Gram classification of non-negative unit forms of Dynkin type A

Frobenius-König theorem for classes of (0,±1)-matrices

Choi matrices revisited. II

Some matrix inequalities related to norm and singular values

A Generalization of the Gram determinant of type A

Regularity of matrix coefficients of a compact symmetric pair of Lie groups

Choi matrices revisited. III

Is This a New Class of Matrices?