Arxiv:2007.09999V4 [Math.RA] 13 Feb 2021

Home , Adjugate matrix

arXiv:2007.09999v4 [math.RA] 13 Feb 2021 hi 97ppr[3,Gnmce–ri hwdthat showed Gantmacher–Krein [13], Mo by paper 1936 varia 1937 in their the achieved 19 was satisfy in property this matrices) setting: of characterization sign-regular this fact in (in th contributions matrices fundamental in the German) l of This in some to ‘variationsvermindernd’ known property. (or are diminishing variation diminishing’ (what their using and result sequences this proved and reformulated s hc etre vrain’ n uhrsl asthat says result cha such sign One La the ‘variations’. on [20]. termed results Laguerre he numerous which of presented – memoir [6], 1883 signs famous of rule the in originating as [3, theory representation an and statistics, ana including and Gabor mathematics, probability equations, in differential combinatorics, areas algebras, diverse in applications h number the oal o-eaie(TN) non-negative totally most ulo matrices. of hull ec r one bv by above bounded are hence , INNNRVRA RPRYFRTTLYNNNGTV AND NON-NEGATIVE TOTALLY FOR PROPERTY NON-REVERSAL SIGN OAL OIIEMTIE,ADTSIGTTLPSTVT OF POSITIVITY TOTAL TESTING AND MATRICES, POSITIVE TOTALLY rpryitmtl ikdwt oa oiiiyi varia is positivity total with linked intimately property A ie ninteger an Given e od n phrases. and words Key 2010 Date k eray1,2021. 16, February : ahmtc ujc Classification. Subject Mathematics [ a esrntee ool osdrts etr in vectors test consider only to strengthened be can rma most at from iia hrceiainfrall for characterization similar n iia nsii otefnaetlrslscharacteri results fundamental the to spirit in similar and igevco wt lentn in)frec qaesubm square each for signs) alternating (with vector single falmnr fsize of minors all if nt e ots h oa o-eaiiy(fayodr of order) any (of non-negativity total the test rectan to of set class finite entire an a for simultaneously order), any (of ed wywt h omr n hwthat show and former, the with toget away property do diminishing We variation the by characterized rpryfralof all for property Abstract. B h innnrvra rpry eietf w-lmn s two-element a identify we property, non-reversal sign the r oiie and positive, are ops Math. Compos. ( = sa plcto,w td h nevlhull interval the study we application, an As var RJS AHCODUY .RJS ANN N POV KHARE APOORVA AND KANNAN, RAJESH M. CHOUDHURY, NATH PROJESH b ij .Ti stecleto of collection the is This ). ( e sx matrix A f k k ( x 97 and 1937] ≥ osctv osadclmshstesg o-eeslprop non-reversal sign the has columns and rows consecutive )) I innnrvra rpry oal oiiemti,tota matrix, positive totally property, non-reversal Sign ( ,amti is matrix a 1, ,B A, ≤ fvrain nteMcarncecet of coefficients Maclaurin the in variations of oal oiie(TP) positive totally and A k o arbitrary for ) sttlypstv o o-eaie forder of non-negative) (or positive totally is r oiie(rnnngtv) ti elkonta uhm such that well-known is It non-negative). (or positive are 1. P N T var mtie yGl–iad [ Gale–Nikaido by -matrices nrdcinadmi results main and Introduction HI NEVLHULL INTERVAL THEIR N T k ( f k arcsfor matrices ) 54 piay,1A4 53 (secondary). 65G30 15A24, (primary), 15B48 arcs–mr togy oho hs hrceiain u characterizations these of both strongly, more – matrices oal oiieo order of positive totally C < k ∈ ≥ ∞ R m .I atclr hspoie etfrttlpositivity total for test a provides this particular, In 1. . × falismnr r oiie iial,oedefines one Similarly, positive. are minors its all if n n11,i orsodnewt ´la[] Fekete Pólya [9], with correspondence in 1912, In A 1 uhta each that such k I is ( ≥ ,B A, P T R .Teecasso arcshv important have matrices of classes These 1. P T k ua arcs nprle,w loprovide also we parallel, In matrices. gular k ah Ann. Math. ftwo of ) ,7 1 7 8 9 1 3 4 28]. 24, 23, 21, 19, 18, 17, 11, 7, 4, zing ihatraigsgs eas hwa show also We signs. alternating with e ihtesg o-eeslproperty. non-reversal sign the with her indmnsigpoet.Tecomplete The property. diminishing tion ti.Teecaatrztosaenovel, are characterizations These atrix. fadol feeysbarxformed submatrix every if only and if k be of ubset yi,itgal ytm,mti theory, matrix systems, integrable lysis, nitra hull interval an indmnto,wihmyb regarded be may which diminution, tion if zi nhstei 2] usqety in Subsequently, [22]. thesis his in tzkin and dPoy oci h hae‘variation phrase the coin Pólya to ed arxtertcstig erecall We setting. matrix-theoretic e gsi h offiinso oe series power of coefficients the in nges lss prxmto hoy cluster theory, approximation alysis, P T 0 coneg[6 hwdthat showed [26] Schoenberg 30, f c ( k ij x a s n-ie Pólya frequency one-sided as) day m N T ure olwn po Descartes’ on up following guerre, arcsb Gantmacher–Krein by matrices ) ( sbetween is P T I × 1965]. saplnma and polynomial a is ( k ,B A, k n k arcsaecaatrzdby characterized are matrices denoted , ) matrices e l o-eaiemti,interval matrix, non-negative lly htdtcsthe detects that ) sx falismnr fodrat order of minors its all if I ( f ,B A, ( a x ry nfc this fact In erty. ij ) ). P T A and ontices with increase not do ( = k tie are atrices b (or ij a Using . ij N T and ) s P T ea se k ≥ ), k 0 then , N T 2 PROJESHNATHCHOUDHURY,M.RAJESHKANNAN,ANDAPOORVAKHARE the positivity (or non-negativity) of the spectra of all submatrices of size ≤ k (see Theorem 1.9). In their 1950 book [14], Gantmacher–Krein made further fundamental contributions to total positivity and variation diminution. In particular, they characterized TN as follows (cited from a later source): Theorem 1.1 ([23, Theorem 3.4]). Given a real m × n matrix A, the following statements are equivalent. (1) A is totally non-negative. (2) For all x ∈ Rn, S−(Ax) ≤ S−(x). If moreover equality occurs and Ax 6= 0, the first (last) nonzero component of Ax has the same sign as the first (last) nonzero component of x. Here S−(x) denotes the number of changes in sign after deleting all zero entries in x. The first and second sentences in assertion (2) are known as the ‘variation diminishing property’ and the ‘sign non-reversal property’, respectively. Thus, these properties together characterize totally non-negative matrices. A similar result holds for T P matrices; see e.g. [23, Theorem 3.3]. In this short note, our goal is to show that the T Pk and TNk properties are each equivalent to sign non-reversal alone. This provides characterizations – parallel to the above fundamental 20th-century results – that are equally simple, and remarkably, seem to our knowledge (and that of experts) to be novel. To state these results, we isolate the following definitions, used below without further reference. Definition 1.2. Let n ≥ 1 be an integer, and S ⊆ Rn a subset. (1) Define the set hni := {1,...,n} and the vector dhni := (1, −1,..., (−1)n−1)T ∈ Rn. (2) A matrix A ∈ Rn×n has the sign non-reversal property with respect to S, if for all vectors 0 6= x ∈ S, there is some coordinate i ∈ hni such that xi(Ax)i > 0. (3) We will also need a non-strict version. A matrix A ∈ Rn×n has the non-strict sign non- reversal property with respect to S if for all vectors 0 6= x ∈ S, there is some coordinate i ∈ hni such that xi 6= 0 and xi(Ax)i ≥ 0. Rn Rn (4) Let alt ⊂ comprise the vectors with all nonzero components and alternating signs. T n (5) Given z = (z1,...,zn) ∈ {±1} , define Dz to be the diagonal matrix with (i, i)th entry zi. (6) Finally, 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 hmi hni (A, B). ij ij z,z 2 z 2 z d , ±d Now our ﬁrst main result characterizes total positivity in terms of increasingly weaker statements involving sign non-reversal. Here and below, we use the notion of a contiguous submatrix, i.e. one whose rows and columns are indexed by sets of consecutive integers. Theorem A. Let m,n ≥ k ≥ 1 be integers. Given A ∈ Rm×n, the following statements are equivalent. (1) The matrix A is totally positive of order k. (2) Every square submatrix of A of size r ≤ k has the sign non-reversal property with respect to Rr. (3) Every contiguous square submatrix of A of size r ≤ k has the sign non-reversal property Rr with respect to alt. In fact, this is equivalent to non-strict sign non-reversal at a single vector: (4) For every r ∈ hki and contiguous r × r submatrix B of A, deﬁne the vector zB := det(B) adj(B)dhri (1.1) Rr where adj(B) is the adjugate matrix of B. Now: (i) Bx 6= 0 for all x ∈ alt; and (ii) B has the non-strict sign non-reversal property with respect to zB. SIGN NON-REVERSAL PROPERTY FOR TN/TP MATRICES, AND TP TESTS FOR INTERVAL HULLS 3

Notice that (4) is a priori weaker than (3). Remark 1.3. A ‘coordinate-based’ unpacking of the above characterization says: A matrix A ∈ m×n R is T Pk if and only if the following holds: 0l Suppose y =  x , where l ≥ 0,s ≥ 0, and 0 < r ≤ min{m,n,k} are integers such that 0s   Rr l + r + s = n, and x ∈ alt. Then for each j ∈ hm − r + 1i, there exists i ∈ hri such that yl+i(Ay)i+j−1 > 0. To our knowledge (and that of experts), Theorem A is a novel characterization of total positivity of a given order k – as well as of TNk, stated and proved below. We now provide an application. The third assertion in the theorem helps to provide a test for not just one matrix but an entire interval hull of matrices (also termed ‘interval matrix’) to be T Pk, by reducing it to two test matrices. Given matrices A, B ∈ Rm×n, recall that their interval hull, denoted by I(A, B), is deﬁned as follows: m×n I(A, B)= {C ∈ R : cij = tijaij + (1 − tij)bij,tij ∈ [0, 1]}. (1.2)

If A 6= B, their interval hull is an uncountable set. We say that I(A, B) is T Pk (TNk) if every element in it is T Pk (TNk). A natural question involves finding a minimal test set which would determine if I(A, B) is T Pk. (See [16] for a recent survey of interval matrix results, including along these lines.) When (a) the interval consists of square matrices (m = n), and (b) the order of total positivity equals the dimension (k = n), this was answered by Garloff [15] in 1982. It is natural to ask what happens when these two equality-constraints are not imposed. Again, we could not find such a result in the literature. Our next result, an application of Theorem A, answers this question. Theorem B. Let m,n ≥ k ≥ 1 be integers, and A, B ∈ Rm×n. Then all matrices in I(A, B) are ± T Pk if and only if the two matrices C (A, B) are T Pk. Remark 1.4. Note that C±(A, B) are independent of k. Remark 1.5. It is natural to ask if ‘totally non-negative’ analogues of Theorems A and B exist. We indeed provide these below – see Theorems C and D. Our next – and immediate – application of Theorem A is a novel characterization of Pólya frequency sequences of order k; recall these are real sequences (cn)n∈Z such that for all integers

r ∈ hki, m1 < · · · determinants are in fact positive, we say the sequence is a T Pk P´olya frequency sequence.

Corollary 1.6. Let k ≥ 1 be an integer. A real sequence (cn)n∈Z is a T Pk P´olya frequency sequence, Z Rr if and only if for all integers r ∈ hki and l ∈ , and all x ∈ alt, there exists j0 ∈ hri such that r xj0 j=1 cl+j0−jxj > 0. P Indeed, this follows by applying Theorem A to the square submatrices

cl cl−1 · · · cl−r+1  cl+1 cl · · · cl−r+2 . . . . , l ∈ Z.  . . .. .    cl+r−1 cl+r−2 · · · cl    Our ﬁnal results are the counterparts of Theorem A and B for TN matrices, promised above. In contrast to Theorem A(4) for T Pk matrices, the TNk property turns out to be equivalent to all (small enough) square submatrices having the non-strict sign non-reversal property with respect to a single, well-chosen vector – which turns out to be either alternating or zero: 4 PROJESHNATHCHOUDHURY,M.RAJESHKANNAN,ANDAPOORVAKHARE

Theorem C. Let m,n ≥ k ≥ 1 be integers. Given A ∈ Rm×n, the following statements are equivalent. (1) The matrix A is totally non-negative of order k. (2) Every square submatrix of A of size r ≤ k has the non-strict sign non-reversal property with respect to Rr. (3) Every square submatrix of A of size r ≤ k has the non-strict sign non-reversal property with Rr respect to alt. (4) For every r ∈ hki and r × r submatrix B of A, the matrix B has the non-strict sign non- reversal property with respect to the vector zB, defined as in (1.1). Remark 1.7. Theorems A and C are reminiscent of a classical result of Ky Fan of a similar nature [8, Theorem 5], shown in the context of proving Ostrowski-type inequalities. We briefly discuss it vis-a-vis the current results: firstly, Theorems A and C require the use of only a single vector zB as in (1.1), in contrast to an uncountable test set in [8]. Next, Ky Fan studies T P matrices; we are able to account for both T P and TN matrices – and moreover, we characterize matrices that are T P/T N of any order k. Finally, Ky Fan works with all submatrices, whereas the above results deduce total positivity (of order k) from working with just the contiguous submatrices (of size at most k).

Given Theorem C, which is a TNk analogue of Theorem A, a natural question is to seek a similar TNk analogue of Theorem B. Such a result was shown very recently (2020) by Adm et al. [2], for rectangular TN matrices A, B ∈ Rm×n. (See also the related work [1], which resolves a longstanding conjecture from [15] involving (square) nonsingular TN interval matrices.) Returning to [2], the authors show that under certain technical constraints, a minimal test set of two matrices suffices to check the total non-negativity of the entire interval hull. Our final result removes the technical assumptions in [2], and holds for TNk interval hulls for arbitrary k ≥ 1 – at the cost of working with a larger (but finite) test set: Theorem D. Let m,n ≥ k ≥ 1 be integers, and A, B ∈ Rm×n. Then all matrices in I(A, B) are m ′ n TNk if and only if the matrices {Iz,z′ (A, B) : z ∈ {±1} , z ∈ {±1} } are all TNk. As in Theorem B, note that this test set is independent of k. Remark 1.8. Note that the two matrices C±(A, B) in Theorem B do not always suffice as test matrices for the interval hull I(A, B) to be TNk as in Theorem D. For instance, let n ≥ 4 and m, k ≥ 3, and define 31 01 4 20 2 A′ 0 B′ 0 A = , B = , where A′ := 22 02 , B′ := 3 20 2 . m×n 0 0 m×n 0 0     11 01 1 10 1     ′ ± C 0 It is easily verified that C (A, B) are both TN, and the matrix Cm n = lies in I(A, B), × 0 0 where 32 01 C′ := 32 02 , 11 01   yet C has a negative 3 × 3 minor. We conclude the discussion of our main results by returning to the simplicity of the sign non- reversal condition in Theorems A and C to characterize total positivity/non-negativity. The equiva- lence of T Pk or TNk to all square submatrices satisfying a property is reminiscent of the well-known, fundamental characterization of total positivity by Gantmacher–Krein [13] (or of P -matrices in [12]), which we now recall for the reader’s convenience: SIGN NON-REVERSAL PROPERTY FOR TN/TP MATRICES, AND TP TESTS FOR INTERVAL HULLS 5

Theorem 1.9. Given a rectangular matrix A ∈ Rm×n, the following statements are equivalent. (1) The matrix A is totally positive of order k. (2) Every square submatrix of A of size r ≤ k has positive (and simple) eigenvalues. In a sense, assertions (1) ⇐⇒ (2) in Theorems A and C resemble this result in the structure of the second assertions and the simplicity of the statements. Similarly, recall the well known paper by Fomin and Zelevinsky [10] about tests for totally positive matrices, as well as recent follow-ups such as [5]. Our results may be regarded as being similar in spirit.

2. The proofs 2.1. The sign non-reversal characterization of total positivity. We begin by proving The- orem A; this requires two preliminary results. The first, from 1965, establishes a sign non-reversal phenomenon for matrices with positive principal minors (these are known as P -matrices): Theorem 2.1 (Gale–Nikaido, [12]). A matrix A ∈ Rn×n has all principal minors positive if and n only if for all 0 6= x ∈ R , there exists i ∈ hni such that xi(Ax)i > 0. The next preliminary result is the well-known 1912 result of Fekete for T P matrices, subsequently extended in 1955 by Schoenberg to T Pk matrices. m×n Theorem 2.2 (Fekete [9], Schoenberg [27]). Let m,n ≥ k ≥ 1 be integers. Then A ∈ R is T Pk if and only if all contiguous submatrices of A of size at most k have positive determinant. See also [7, pp. 78]. For more details about totally positive matrices, we refer to [18, 23]. Proof of Theorem A. That (1) =⇒ (2) follows from Theorem 2.1, while (2) =⇒ (3) =⇒ (4) is immediate. To show (4) =⇒ (1), by Theorem 2.2 it suffices to show all contiguous r × r minors of A are positive, for r ≤ k. We prove this by induction on r, with the r = 1 case immediate from (4)(i),(ii). Now suppose all contiguous minors of A of size at most (r − 1) are positive, and B is a contiguous r × r submatrix of A. Then all proper minors of B are positive, by Theorem 2.2. Rr We first claim that B is invertible. Indeed, suppose Bx = 0, so that x 6∈ alt. Moreover, all components of x are nonzero, else a proper minor of B vanishes. Now partition x 6= 0 into ‘contiguous coordinates of like signs’:

(x1,...,xs1 ), (xs1+1,...,xs2 ), ... (xsu+1,...,xr), with all coordinates in the ith component having the same sign, which equals (−1)i−1 without loss Rr 1 r Rr of generality. Set s0 := 0 and su+1 := r, and note that u ≤ r − 2 since x 6∈ alt. Let c ,...,c ∈ denote the columns of B, and deﬁne

sj j l y := |xl|c , j ∈ hu + 1i.

l=sXj−1+1

1 2 u+1 r×(u+1) Let Y := [y ,y ,...,y ] ∈ R . We claim Y is totally positive. Since no xj is zero, and all proper minors of B are positive, for an integer p ≤ u +1 and p-element subsets I ⊂ hri, J ⊆ hu + 1i one computes using standard properties of determinants:

sj1 sjp

det YI×J = · · · |xl1 | . . . |xlp | det BI×L > 0,

l1=sXj1−1+1 lp=sXjp−1+1 where L = {l1,...lp}, and YI×J denotes the submatrix of Y with rows and columns indexed by I, J hu+1i respectively; a similar notation applies to BI×L. Hence Y is totally positive. But Y d = Bx = 0, a contradiction. Thus B is invertible, as claimed. 6 PROJESHNATHCHOUDHURY,M.RAJESHKANNAN,ANDAPOORVAKHARE

Finally, we claim det B > 0. Define zB as in (1.1); then r B i−1 zi = (−1) (det B) det B(hri\{j})×(hri\{i}), i ∈ hri (2.1) Xj=1 B Rn and the summation on the right is positive by assumption. Thus z ∈ alt, so by (4)(ii) and (2.1), there exists i ∈ hri such that r B B B 2 i−1 3 0 ≤ zi (Bz )i = zi (det B) (−1) = (det B) det B(hri\{j})×(hri\{i}). (2.2) Xj=1 From this it follows that det B > 0, and the induction step is complete. 2.2. A test for total positivity (of any order) of the interval hull of rectangular matrices. We next demonstrate the aforementioned test for total positivity of the interval hull I(A, B), as in Theorem B. We first mention two preliminary results that are used in the proof. These require the following notation. Definition 2.3. Fix integers m,n ≥ 1 and matrices A, B ∈ Rm×n, with interval hull I(A, B).

(1) Define the m × n matrices Iu,Il via: (Iu)ij := max{aij, bij}, (Il)ij := min{aij, bij}. (2) For matrices (or vectors) A, B, write A ≤ B if all entries of B − A are non-negative. The first preliminary result is a straightforward verification. m×n ± Lemma 2.4. Let m,n ≥ 1 and A, B ∈ R . Then Iu,Il,C (A, B) ∈ I(A, B). If m = n, then n Iz,z(A, B) ∈ I(A, B) for all z ∈ {±1} . The next lemma is precisely [25, Theorem 2.1]; as the proof is short, we include it. n×n n n Lemma 2.5. Fix n ≥ 1 and A, B ∈ R and x ∈ R . Let the tuple z ∈ {±1} be such that zi = 1 if xi ≥ 0 and zi = −1 if xi < 0. If C ∈ I(A, B), then

xi(Cx)i ≥ xi(Iz,z(A, B)x)i, ∀i ∈ hni.

Proof. In this proof we write Ic := (A + B)/2 and ∆ := |A − B|/2 for ease of exposition. Given C ∈ I(A, B)= I(Il,Iu), Ic − ∆= Il ≤ C ≤ Iu = Ic +∆. From this – and given 0 6= x ∈ Rn and i ∈ hni – it follows via the triangle inequality that

|xi((C − Ic)x)i| ≤ |xi|(|C − Ic| · |x|)i ≤ |xi|(∆|x|)i.

From this, we compute using that |x| = Dzx:

xi(Cx)i ≥ xi(Icx)i − zixi(∆Dzx)i = xi(Icx)i − xi(Dz∆Dzx)i = xi(Iz,z(A, B)x)i. With these preliminaries at hand, we have: ± Proof of Theorem B. If I(A, B) is T Pk, then so are C (A, B) by Lemma 2.4. Conversely, suppose ± I Rr ′ C (A, B) are T Pk, and let C ∈ (A, B). Fix r ∈ hki and a vector x ∈ alt. Now let C be a ′ r × r contiguous submatrix of C, say C = CJ×K for contiguous sets of indices J, K ⊆ hki with ′ |J| = |K| = r. It suﬃces to show by Theorem A(3) that xi(C x)i > 0 for some i ∈ hri. To proceed, we require some notation. Let A′,B′ be contiguous submatrices of A, B respectively, consisting of the entries in the same positions as C′. Now since C′ ∈ I(A′,B′), Lemma 2.5 implies for some i ∈ hri that ′ ′ ′ xi(C x)i ≥ xi(Izhri,zhri (A ,B )x)i, (2.3) hri r Rr hri ′ where the vector z ∈ {±1} ∩ alt is given by zj := xj/|xj| ∀j. Since C = CJ×K, we can embed the vector of signs zhri in contiguous positions J ⊆ hmi and K ⊆ hni, and uniquely extend SIGN NON-REVERSAL PROPERTY FOR TN/TP MATRICES, AND TP TESTS FOR INTERVAL HULLS 7 to alternating ±1-valued vectors of lengths m,n respectively. Formally, there exist unique signs hri hmi Rm εJ , εK ∈ {±1}, such that z is the restriction to positions J (respectively K) of εJ d ∈ alt hni Rn ′ ′ (respectively εK d ∈ alt). But then Izhri,zhri (A ,B ) is a contiguous r × r submatrix of

A + B |A − B| + − I hmi hni (A, B)= − εJ εK D hmi D hni ∈ {C (A, B),C (A, B)}. εJ d ,εK d 2 d 2 d ′ ′ By assumption, this matrix is T Pk, so Izhri,zhri (A ,B ) is T P . Using Theorem A(3) and (2.3), we have ′ ′ ′ xi(C x)i ≥ xi(Izhri,zhri (A ,B )x)i > 0. ′ Rr Thus C has the sign non-reversal property with respect to all x ∈ alt. By Theorem A, C is T Pk. Remark 2.6. We remark that Garloﬀ’s results for n × n matrices in [15] (see also [23, Chapter 3]) are stated with respect to the checkerboard ordering ≤∗, in which ∗ A ≤ B ⇐⇒ Ddhni (B − A)Ddhni ≥ 0n×n. Now an easy computation shows that the hull I(A, B) itself does not depend on whether one uses the entrywise ordering or the checkerboard ordering. More precisely, − ∗ ∗ + I(A, B)= {C : Il ≤ C ≤ Iu} = {C : C (A, B) ≤ C ≤ C (A, B)}. In particular, the test set of {C+(A, B),C−(A, B)} works regardless of which ordering is used – and works for all rectangular matrices and for testing the T Pk property for any k ≥ 1. Remark 2.7. Garloﬀ has pointed out to us that Theorem B can also be proved by reducing to the case of square T P matrices (which is his result in [15]) as follows: if C±(A, B) ∈ Rm×n are ± both T Pk, then every contiguous square submatrix of C (A, B) of size r ∈ hki is T P . Now given C ∈ I(A, B), every contiguous square submatrix of C of size r ∈ hki lies in between square T P submatrices of C+(A, B) and C−(A, B), hence is T P by [15]. Now use the Fekete–Schoenberg Theorem 2.2. 2.3. The sign non-reversal characterization and interval test of total non-negativity. We conclude by proving our results involving the TNk property. Theorem C, which characterizes the TNk property, requires a classical density result by Whitney:

Theorem 2.8 (Whitney, [29]). Given integers m,n ≥ k ≥ 1, the set of m × n T Pk matrices is dense in the set of m × n T Nk matrices. This helps to show the promised characterization: m×n Proof of Theorem C. We prove a cyclic chain of implications. First suppose A ∈ R is TNk. (l) By Theorem 2.8, there exists a sequence A → A of T Pk matrices. Fix r ∈ hki and an r × r submatrix B of A, and let B(l) be the submatrix of A(l) in the same positions as B. Also ﬁx a vector 0 6= x ∈ Rr, and let J ⊆ hri index the nonzero components of x. Now B(l) is T P , so by (l) Theorem A(2) there exists jl ∈ J such that xjl (B x)jl > 0. Hence there exists an (increasing) subsequence lp,p ≥ 1 of positive integers such that all jlp equal the same entry in J, say j0. But then, (lp) xj0 (Bx)j0 = lim xj (B x)j ≥ 0, xj0 6= 0. p→∞ lp lp Thus (1) =⇒ (2). Clearly (2) =⇒ (3) =⇒ (4). Now assume (4); we show that det B ≥ 0 for all r ×r submatrices B of A, by induction on r ∈ hki. Indeed, the base case r = 1 is immediate. For the induction step, if det B = 0 then we are done; else det(B) 6= 0. Now we once again have (2.1), and the sum on the right is non-negative. But since B is invertible, no column of adj(B) is zero, so B Rr the sum on the right is in fact positive by the induction hypothesis. This implies z ∈ alt, so we may repeat the calculation in (2.2) and deduce that det B > 0. This proves (1) by induction. 8 PROJESHNATHCHOUDHURY,M.RAJESHKANNAN,ANDAPOORVAKHARE

We conclude by showing our ﬁnal remaining result: ′ Proof of Theorem D. First verify that Iz,z′ (A, B) ∈ I(A, B) for all z, z . Now repeat the proof of Theorem B, but working with arbitrary r × r submatrices C′ of C ∈ I(A, B), where r ∈ hki. Once ′ ′ ′ again obtaining (2.3), we note that Izhri,zhri (A ,B ) is a submatrix of Iz,z′ (A, B) for some z, z , and the latter is TNk by assumption. The remainder of the proof is unchanged, except for the use of Theorem C instead of Theorem A.

Acknowledgements We thank Jürgen Garloff for directing us to several prior results in the literature on interval hulls of TP matrices, for observing his alternate proof in Remark 2.7, and for several helpful remarks on an earlier version of this work that helped improve the exposition. We also thank the referee for providing useful comments and references that improved the manuscript. P.N. Choudhury was supported by National Post-Doctoral Fellowship (PDF/2019/000275) from SERB (Govt. of India) and the NBHM Post-Doctoral Fellowship (0204/11/2018/R&D-II/6437) from DAE (Govt. of India). M.R. Kannan would like to thank the SERB, Department of Science and Technology, India, for financial support through the projects MATRICS (MTR/2018/000986) and Early Career Research Award (ECR/2017/000643). A. Khare was partially supported by Ra- manujan Fellowship grant SB/S2/RJN-121/2017, MATRICS grant MTR/2017/000295, and Swar- naJayanti Fellowship grants SB/SJF/2019-20/14 and DST/SJF/MS/2019/3 from SERB and DST (Govt. of India), and by grant F.510/25/CAS-II/2018(SAP-I) from UGC (Govt. of India).

References [1] M. Adm and J. Garloff. Intervals of totally nonnegative matrices. Linear Algebra Appl., 439(12):3796–3806, 2013. [2] M. Adm, K. Al Muhtaseb, A.A. Ghani, and J. Garloff. Relaxing the nonsingularity assumption for intervals of totally nonnegative matrices. Electron. J. Linear Algebra, 36:106–123, 2020. [3] A. Berenstein, S. Fomin, and A. Zelevinsky. Parametrizations of canonical bases and totally positive matrices. Adv. Math., 122:49–149, 1996. [4] F. Brenti. Combinatorics and total positivity. J. Combin. Theory Ser. A, 71(2):175–218, 1995. [5] A. Brosowsky, S. Chepuri, and A. Mason. Parametrizations of k-nonnegative matrices: cluster algebras and k-positivity tests. J. Combin. Theory Ser. A, 174:art. 105217, 25 pp., 2020. [6] R. Descartes. La Géométrie. Appendix to Discours de la méthode, 1637. [7] S.M. Fallat and C.R. Johnson. Totally nonnegative matrices. Princeton Series in Applied Mathematics, Princeton University Press, Princeton, 2011. [8] K. Fan. Some matrix inequalities. Abh. Math. Sem. Univ. Hamburg, 29:185–196, 1966. [9] M. Fekete and G. Pólya. Uber¨ ein Problem von Laguerre. Rend. Circ. Mat. Palermo, 34:89–120, 1912. [10] S. Fomin and A. Zelevinsky. Total positivity: tests and parametrizations. Math. Intelligencer, 22(1):23–33, 2000. [11] S. Fomin and A. Zelevinsky. Cluster algebras. I. Foundations. J. Amer. Math. Soc., 15(2):497–529, 2002. [12] D. Gale and H. Nikaido. The Jacobian matrix and global univalence of mappings. Math. Ann., 159:81–93, 1965. [13] F.R. Gantmacher and M.G. Krein. Sur les matrices complètement nonnégatives et oscillatoires. Compositio Math., 4:445–476, 1937. [14] F.R. Gantmacher and M.G. Krein. Oscillyacionye matricy i yadra i malye kolebaniya mehaniˇceskih sistem. Gosudarstv. Isdat. Tehn.-Teor. Lit., Moscow-Leningrad, 1950. 2d ed. [15] J. Garloff. Criteria for sign regularity of sets of matrices. Linear Algebra Appl., 44:153–160, 1982. [16] J. Garloff, M. Adm, and J. Titi. A survey of classes of matrices possessing the interval property and related properties. Reliab. Comput., 22:1–14, 2016. [17] K. Gröchenig, J.L. Romero, and J. Stöckler. Sampling theorems for shift-invariant spaces, Gabor frames, and totally positive functions. Invent. Math., 211:1119–1148, 2018. [18] S. Karlin. Total positivity. Vol. I. Stanford University Press, Stanford, CA, 1968. [19] Y. Kodama and L. Williams. KP solitons and total positivity for the Grassmannian. Invent. Math., 198(3):637– 699, 2014. [20] E. Laguerre. Mémoire sur la théorie des équations numériques. J. Math. Pures Appl., 9:9–146, 1883. [21] G. Lusztig. Total positivity in reductive groups. In Lie theory and geometry, volume 123 of Progr. Math., pages 531–568. Birkhäuser, Boston, MA, 1994. [22] T.S. Motzkin. Beiträge zur Theorie der linearen Ungleichungen. PhD dissert., Basel, 1933 and Jerusalem, 1936. SIGN NON-REVERSAL PROPERTY FOR TN/TP MATRICES, AND TP TESTS FOR INTERVAL HULLS 9

[23] A. Pinkus. Totally positive matrices. Cambridge Tracts in Mathematics, Vol. 181, Cambridge University Press, Cambridge, 2010. [24] K.C. Rietsch. Totally positive Toeplitz matrices and quantum cohomology of partial ﬂag varieties. J. Amer. Math. Soc., 16(2):363–392, 2003. [25] J. Rohn and G. Rex. Interval P -matrices. SIAM J. Matrix Anal. Appl., 17(4):1020–1024, 1996. [26] I.J. Schoenberg. Uber¨ variationsvermindernde lineare Transformationen. Math. Z., 32:321–328, 1930. [27] I.J. Schoenberg. On the zeros of the generating functions of multiply positive sequences and functions. Ann. of Math. (2), 62(3):447–471, 1955. [28] L.L. Schumaker. Spline functions: basic theory. Cambridge Mathematical Library. Cambridge University Press, Cambridge, third edition, 2007. [29] A.M. Whitney. A reduction theorem for totally positive matrices. J. d’Analyse Math., 2(1):88–92, 1952.

(P.N. Choudhury) Department of Mathematics, Indian Institute of Science, Bangalore 560012, India Email address: [email protected], [email protected]

(M.R. Kannan) Department of Mathematics, Indian Institute of Technology Kharagpur, Kharagpur 721302, India Email address: [email protected], [email protected]

(A. Khare) Department of Mathematics, Indian Institute of Science, Bangalore 560012, India; and Analysis & Probability Research Group, Bangalore 560012, India Email address: [email protected]