Positivity of Hadamard Powers of Tridiagonal Matrices

Positivity of Hadamard Powers of Tridiagonal Matrices

Positivity of Hadamard powers of tridiagonal matrices Veer Singh Panwar ,∗ A. Satyanarayana Reddy† Department of Mathematics Shiv Nadar University, Dadri U.P. 201314, India. Abstract We characterize all tridiagonal infinitely divisible matrices. It is well known that if A is an entrywise nonnegative, positive n A◦r ar r n r semidefinite matrix of order , then =[ ij ] is positive semidefinite when ≥ − 2 or is a positive integer. We prove that if A is any positive definite (semidefinite) tridiagonal matrix, then A◦r is positive definite (semidefinite) for r > 1. We give similar results for a special family of Pentadiagonal matrices. AMS classification: 15B48,47B36,15B36 Keywords : Infinitely divisible matrices, tridiagonal matrices, Hadamard powers, pentadiagonal matrices, chain sequences, totally nonnegative matrices. 1 Introduction Let Mn(R) denotes the set of all n × n matrices over R. A matrix A ∈ Mn(R) is called nonnegative if all its entries are nonnegative. In this paper, every matrix belongs to Mn(R), and is nonnegative unless otherwise stated. A matrix is called totally nonnegative if all its minors are nonnegative. For more results on totally nonnegative matrices, see [4]. A matrix A ∈ Mn(R) is called positive semidefinite (PSD) (positive definite (PD)) if A is symmetric and hx, Axi ≥ 0 for all x ∈ Rn (hx, Axi > 0 for all n x ∈ R and x 6= 0). The Hadamard product of A = [aij ] and B = [bij ] denoted by A ◦ B is defined as th or ◦r A ◦ B = [aij bij ]. If r > 0, then we denote r -Hadamard power of A = [aij ] by A (or (A) ), where or r A = [aij ]. arXiv:2103.12550v1 [math.CO] 21 Mar 2021 A nonnegative, symmetric matrix A is said to be infinitely divisible (ID) if Aor is PSD for every r > 0. It is clear that every ID matrix is a PSD matrix, however, converse need not be true [1]. Some basic examples of ID matrices are nonnegative PSD matrices of order 2 and diagonal matrices with nonnegative diagonal entries. For more examples and results on ID matrices, see [1, 2, 7]. A lot of work has been done on the real entrywise powers preserving the positive semidefiniteness of various families of matrices. For more information on this, see [5, 10, 6]. For A ∈ Mn(R), where A is a PSD matrix, it is known that Aor is PSD if r is a positive integer or r ≥ n − 2, see [5, 10], and this lower bound on the critical exponent r is sharp [5, Theorem 2.2], i.e., for every non integer r<n − 2, there exists a positive ◦r semidefinite matrix A ∈ Mn(R) such that A is not positive semidefinite. A sequence {ak}k>0 is called a chain sequence if there exist a parameter sequence {gk}k≥0 such that 0 ≤ g0 < 1 and 0 < gk < 1 for k ≥ 1 and ak = (1 − gk−1)gk for k ≥ 1, [3, page 91]. A basic example 1 1 of chain sequence is the constant sequence 4 k≥1 with the parameter sequence 2 k≥1. For more information and examples on chain sequences, see [11, 3, 9]. ∗Email: [email protected] †Email: [email protected] 1 A matrix T = [tij ] ∈ Mn(R), 1 ≤ i, j ≤ n, where tij = 0 for |i − j| > 1 is called tridiagonal. A matrix P = [pij ] ∈ Mn(R), 1 ≤ i, j ≤ n, where pij = 0 for |i − j| > 2 is called pentadiagonal. Let T, P ∈ Mn(R) be symmetric tridiagonal and symmetric pentadiagonal matrices respectively, then a1 b1 c1 b1 a2 b2 c2 a1 b1 .. .. .. b1 a2 b2 c1 b2 . .. .. .. .. .. .. .. b2 . . T = . , P = . , (1) .. .. .. .. .. .. .. .. . . .. .. b .. .. .. .. c n−1 n−2 b a . n−1 n .. .. .. b n−1 c b a n−2 n−1 n where ai,bj ,ck ≥ 0 for 1 ≤ i ≤ n, 1 ≤ j ≤ (n − 1), 1 ≤ k ≤ (n − 2). We discuss the infinite divisibility of tridiagonal and a special family of pentadiagonal matrices. A matrix A = [aij ] ∈ Mn(R) is called a band matrix of bandwidth d if aij = 0 for |i − j| > d. Hence, the above matrices T and P are band matrices of bandwidth 1 and 2, respectively. A graph G = (V, E), where V = {1,...,n}, is called a band graph of bandwidth d if {i, j} ∈ E if and only if i 6= j and |i − j| ≤ d. Let G = (V, E) be a band graph of bandwidth d, where V = {1,...,n}; ◦r and A = [aij ] ∈ Mn(R) be a PSD matrix such that aij = 0 for i 6= j and (i, j) 6∈ E. Then A is positive semidefinite for r ≥ min(d, n − 2) [6, Cor 3.11]. Hence, if T and P are PSD matrices, which are tridiagonal and pentadiagonal, respectively, then T ◦r and P ◦s are PSD for r ≥ 1 and s ≥ 2, respectively. We show that if T is a tridiagonal PD matrix, then T ◦r is PD for r > 1; and discuss some of its nice consequences. Then, we prove a similar result for a special family of pentadiagonal matrices. In Section 2, we give a characterization for tridiagonal ID matrices. In Section 3, using chain sequences, we show that if T is a tridiagonal PD matrix, then T ◦r is PD for r > 1. We show that if P = [pij ] is a PD (PSD) pentadiagonal matrix, where pij = 0 if |i − j| = 1, and pij > 0 if |i − j| =0 or 2, then P ◦r is PD (PSD) for r> 1. We also give a characterization for such pentadiagonal ID matrices. We end the paper with some important remarks. 2 Tridiagonal infinitely divisible matrices A symmetric block diagonal matrix is PSD (PD,ID) if and only if each block is PSD (PD,ID). Each principal submatrix of A is ID if A is ID. Every PSD matrix of order 2 is ID. The sum of two PSD matrices is PSD. a1 b1 0 Lemma 2.1. Let A = b a b be a PSD matrix of order 3. Then A is ID if and only if b b =0. 1 2 2 1 2 0 b2 a3 ◦r Proof. Let A be ID and G = limr→0+ A . Then G is a PSD matrix, as it is the limit of a sequence of PSD matrices. Let b1 and b2 be positive. Since A is PSD, a1,a2 and a3 are positive. But then 1 1 0 G = 1 1 1 is not a PSD, we get a contradiction. Hence b1b2 = 0. Conversely, if b1b2 = 0, then 0 1 1 det(A◦r) ≥ 0 for r> 0. Hence A is ID. We now characterize all tridiagonal ID matrices of order n ≥ 4. 2 Theorem 2.2. Let T be a tridiagonal PSD matrix of order n as given in equation (1). Then, for n ≥ 4, T is ID if and only if bibi+1 = 0 for every i ∈ {1, 2,...,n − 2}, i.e., the sequence {bi}i≥1 has no two consecutive positive entries. Proof. Let T be ID. Let bkbk+1 > 0, for some 1 ≤ k ≤ (n − 2), then by Lemma 2.1, the principal submatrix ak bk 0 bk ak bk +1 +1 0 bk+1 ak+2 of T is not ID. Thus T is not ID, which contradicts the hypothesis. Hence, bibi+1 = 0 for every i ∈ {1, 2,...,n − 2}. Conversely, if bibi+1 = 0 for every i ∈ {1, 2,...,n − 2}, then A becomes a block diagonal matrix, where each non-zero diagonal block is a PSD matrix of order 1 or 2, hence T is ID. Remark 2.3. From Theorem 2.2, we have, T is an ID matrix if and only if T is a block diagonal matrix, where each non-zero diagonal block is a PSD matrix of order 1 or 2. In general, ID matrices are not closed under addition and multiplication. For example, let X = [xixj ], where x1,...,xn are distinct positive real numbers and Jn be the matrix of order n with each of its entries equals to 1, then X and Jn are both ID, but their sum is not ID, see Theorem 1.1 of [10]. 1 2 The Cauchy matrix C = [cij ] = i+j , 1 ≤ i, j ≤ 3 is ID [1] but its square C is not ID because 1 1 2 ◦ 4 1 4 h i det(C ) = det i+j < 0. We say that two block diagonal matrices are of same structures if their correspondingh blocks i are square matrices of the same order. The set of block diagonal matrices of the same structure, is closed under addition, multiplication and multiplication by a nonnegative scalar. Hence, by Remark 2.3, we get the following: n k R Corollary 2.4. Let T be a tridiagonal ID matrix of order n ≥ 2 and f(x) = k=0 akx ∈ [x] be a n k polynomial, where ak ≥ 0 for all 0 ≤ k ≤ n, then f(T )= akT is ID. k=0 P Observation 2.5. The results on tridiagonal ID matricesP help us to provide an algorithm to check if a given 3 × 3 PSD matrix is ID or not. Consider the PSD matrix a1 b1 c1 A = b a b . 1 2 2 c1 b2 a3 Let all entries of A be positive. Then by Corollary 1.6 and Theorem 1.10 of [7], A is ID if and only a1a2 b1b2 log( 2 ) log( ) b1 a2c1 if b1b2 a2a3 is PSD. If c1 = 0, then A becomes tridiagonal and thus by Lemma 2.1, A is log( ) log( 2 ) " a2c1 b2 # ID if and only if b1b2 = 0.

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    6 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us