Arxiv:2103.13384V2 [Math.RA] 30 Mar 2021
Total Page:16
File Type:pdf, Size:1020Kb
CHARACTERIZING TOTAL NEGATIVITY AND TESTING THEIR INTERVAL HULLS PROJESH NATH CHOUDHURY Abstract. A matrix is called totally negative (totally non-positive) of order k, if all its minors of size at most k are negative (non-positive). The objective of this article is to provide several novel characterizations of total negativity via the (a) sign non-reversal property, (b) variation diminishing property, and (c) Linear Complementarity Problem. More strongly, each of these three characteri- zations uses a single test vector. As an application of the sign non-reversal property, we study the interval hull of two rectangular matrices. In particular, we identify two matrices C±(A, B) in the interval hull of matrices A and B that test total negativity of order k, simultaneously for the entire interval hull. We also show analogous characterizations for totally non-positive matrices. These novel characterizations may be considered similar in spirit to fundamental results characterizing totally positive matrices by Brown–Johnstone–MacGibbon [J. Amer. Statist. Assoc. 1981] (see also Gantmacher–Krein, 1950), Choudhury–Kannan–Khare [Bull. London Math. Soc., in press] and Choudhury [2021 preprint]. Finally using a 1950 result of Gantmacher–Krein, we show that totally negative/non-positive matrices can not be detected by (single) test vectors from orthants other than the open bi-orthant that have coordinates with alternating signs, via the sign non-reversal property or the variation diminishing property. Contents 1. Introduction and main results 1 2. Theorems A and B: Sign non-reversal property and interval hulls for totally negative matrices 5 3. Theorem C: Characterization of total negativity using variation diminution 6 4. Theorems D and E: Characterization of total negativity viatheLCP 8 5. Characterizations for totally non-positive matrices 9 6. Other orthants cannot yield test vectors 12 Acknowledgments 13 References 13 1. Introduction and main results Rm×n arXiv:2103.13384v2 [math.RA] 30 Mar 2021 Given integers m,n ≥ k ≥ 1, a real matrix A ∈ is called totally negative of order k if all minors of A of order at most k are negative, and A is called totally negative if k = min{m,n}. Similarly, one defines totally non-positive matrices (including order k). In prior discussions of totally negative (or totally non-positive) matrices, their analogy to totally positive/TP (or totally non-negative/TN) matrices, which are matrices with all positive (or non- negative) minors, perpetually comes up first (and which we refer to henceforth by the standard abbreviations TP and TN, or T Pk and TNk to distinguish them from the matrices studied in the present paper.) Indeed, TP and TN are widely studied because of their numerous applications in a variety of topics in mathematics, including, analysis, combinatorics, cluster algebras, differential equations, Gabor analysis, matrix theory, probability, and representation theory [2, 3, 4, 15, 16, Date: July 22, 2021. 2020 Mathematics Subject Classification. 15B48,(primary), 15A24, 65G30, 90C33 (secondary). Key words and phrases. Totally negative matrix, totally non-positive matrix, sign non-reversal property, variation diminishing property, Linear Complementarity Problem, interval hull of matrices . 1 2 PROJESH NATH CHOUDHURY 17, 19, 22, 26, 30, 31, 34, 35, 36]. In 1937, Gantmacher–Krein [18] characterized TP matrices using positivity of the spectra of all square submatrices. A similar characterization for totally negative matrices was given by Fallat–van den Driessche in 2000 [14]. They proved that if A is a totally negative matrix then all the eigenvalues of each square submatrix of A are real, distinct, nonzero and exactly one eigenvalue is negative. (The converse is immediate.) Similar spectral characterizations hold for TN and totally non-positive matrices, using the density of TP and totally negative matrices in these classes and the continuity of roots. Totally negative/non-positive matrices are also studied in the context of matrix factorization and spectral perturbation, see [6, 7, 23]. Another interesting property exhibited by TP and TN matrices is the variation diminishing property. The variation diminishing property is also satisfied by other matrices, e.g. −A for A TP/TN. This was explored by Motzkin [28] in his PhD thesis in 1936, and he showed that the class of matrices satisfying the variation diminishing property are precisely the sign-regular matrices – in other words, there exists a sequence of signs εk ∈ {±1} such that every k × k minor of A has sign εk, for all k ≥ 1. A systematic treatment of sign-regular matrices and kernels can be found in Karlin’s comprehensive monograph [26]. The goal of this note is to provide similar characterization results for the class of totally nega- tive/totally non-positive matrices, i.e. ones for which all minors are negative/non-positive. More precisely, we provide novel characterizations of such matrices using (a) sign non-reversal and (b) Linear Complementarity, to go along with Motzkin’s classical characterization using (c) variation diminution. In addition, we strengthen all three tests (a), (b), and (c) to work with only a single test vector, in parallel to our recent works [8, 9] for TP matrices. To state these results, we need some preliminary definitions, which are used below without further reference. Definition 1.1. Let m,n ≥ 1 be integers. (1) A square matrix A ∈ Rn×n has the sign non-reversal property on a set of vectors T ⊆ Rn, if for all vectors 0 6= x ∈ T , there exists a coordinate i ∈ [1,n] such that xi(Ax)i > 0. (2) A matrix A ∈ Rn×n has the non-strict sign non-reversal property on a set of vectors T ⊆ Rn if for all nonzero vectors x ∈ T , there exists a coordinate i ∈ [1,n] such that xi 6= 0 and xi(Ax)i ≥ 0. (3) A contiguous submatrix is a submatrix whose rows and columns are indexed by sets of consecutive integers. Rn Rn (4) Let alt ⊂ denote the set of real vectors whose coordinates are nonzero and have Rn Rn alternating signs. Also define +,− to comprise the vectors in with at least one positive and one negative coordinate. (5) Given a matrix A ∈ Rn×n and i, j ∈ [1,n], let Aij denote the determinant of the submatrix of A of size n − 1 formed by deleting the ith row and jth column of A. (6) If n = 1, then define A11 := −1 to be the determinant of the empty matrix. (This, convention will only be used in Theorem E, Proposition 5.8 and their proofs.) (7) Let adj(A) denote the adjugate matrix of A and let ei ∈ Rn denote the vector whose i-th component is 1, and other components are zero. (8) We say that an array X is ≥ 0 (respectively X > 0, X ≤ 0, X< 0) if all coordinates of X are ≥ 0 (respectively > 0, ≤ 0, < 0). (9) Define the vector d[n] := (1, −1,..., (−1)n−1)T ∈ Rn. T n (10) Given z = (z1,...,zn) ∈ {±1} , define the diagonal matrix Dz whose ith diagonal entry is zi. (11) Given two matrices A, B ∈ Rm×n, and tuples of signs z ∈ {±1}m, z˜ ∈ {±1}n, define the ± m × n matrices |A|, Iz,z˜(A, B), and C (A, B) via: A + B |A − B| ± |A| := |a |, I (A, B) := − D D , C (A, B) := I [m] [n] (A, B). ij ij z,z˜ 2 z 2 z˜ d , ±d CHARACTERIZING TOTAL NEGATIVITY AND TESTING THEIR INTERVAL HULLS 3 (12) Given a vector x ∈ Rn, let S−(x) denote the number of sign changes in x after removing all zero entries. Next, assign a value of ±1 to each zero entry of x, and let S+(x) denote the maximum possible number of sign changes in the resulting sequence. For 0 ∈ Rn, we define S+(0) := n and S−(0) := 0. Now we state our main results only for totally negative matrices. The penultimate section contains the analogous theorems for totally non-positive matrices. Our first result provides a characterization of total negativity in terms of sign non-reversal phenomena. Theorem A. Let m,n ≥ k ≥ 2 be integers, and A ∈ Rm×n such that A < 0. The following statements are equivalent: (1) The matrix A is totally negative of order k. Rr (2) Every square submatrix of A of size r ∈ [2, k] has the sign non-reversal property on +,−. (3) Every contiguous square submatrix of A of size r ∈ [2, k] has the sign non-reversal property Rr on alt. In fact, these conditions are further equivalent to sign non-reversal at a single vector: (4) For every contiguous submatrix Ar of A of size r ∈ [2, k] and for any fixed nonzero vector r−1 T r α := (α1, −α2,..., (−1) αr) ∈ R with all αi ≥ 0 (or ≤ 0), define the vector Ar x := adj(Ar)α. (1.1) Ar Then Ar has the sign non-reversal property for x . Remark 1.2. A careful look at the characterization of TP in [8, 9] reveals the importance of the signs of the entries of A. Indeed, if A > 0 in Theorem A, the assertions (3), (4) are instead equivalent to T Pk. As an application of Theorem A, we simultaneously detect the total negativity of an entire interval hull of matrices by reducing it to a set of two test matrices. Recall that the interval hull of two matrices A, B ∈ Rm×n, denoted by I(A, B), is defined as follows: m×n I(A, B)= {C ∈ R : cij = tijaij + (1 − tij)bij,tij ∈ [0, 1]}. (1.2) If A 6= B, then I(A, B) is an uncountable set. We say that an interval hull is totally negative of order k if all the matrices in it are totally negative of order k.