Total nonpositivity of nonsingular matrices

In this paper, nonsingular totally nonpositive matrices are studied and new characterizations are provided in terms of the signs of minors with consecutive initial rows or consecutive initial columns. These characterizations extend an existing characterization that uses some restrictive hypotheses.     

Some inequalities for the Hadamard product and the Fan product of matrices

If A and B are nonsingular M-matrices, a sharp lower bound on the smallest eigenvalue τ(A★B) for the Fan product of A and B is given, and a sharp lower bound on τ(A°B^-1) for the Hadamard product of A and B^-1 is derived. In addition, we also give a sharp upper bound on the spectral radius ρ(A°B) for nonnegative matrices A and B.     

On extremum properties of orthogonal quotients matrices

In this paper we explore the extremum properties of orthogonal quotients matrices. The orthogonal quotients equality that we prove expresses the Frobenius norm of a difference between two matrices as a difference between the norms of two matrices. This turns the Eckart-Young minimum norm problem into an equivalent maximum norm problem. The symmetric version of this equality involves traces of matrices, and adds new insight into Ky Fan’s extremum problems. A comparison of the two cases reveals a remarkable similarity between the Eckart-Young theorem and Ky Fan’s maximum principle. Returning to orthogonal quotients matrices we derive “rectangular” extensions of Ky Fan’s extremum principles, which consider maximizing (or minimizing) sums of powers of singular values.     

Imbedding conditions for normal matrices

When can an (n-k)×(n-k) normal matrix B be imbedded in an n×n normal matrix A? This question was studied for the first time 50 years ago by Ky Fan and Gordon Pall, who gave the complete answer in the case k=1. Since then, a few authors obtained additional results. In this note, we show how an approach inspired by the Hermitian case can throw some light on the problem.     

Extension to maximal semidefinite invariant subspaces for hyponormal matrices in indefinite inner products

It is proved that under certain essential additional hypotheses, a nonpositive invariant subspace of a hyponormal matrix admits an extension to a maximal nonpositive subspace which is invariant for both the matrix and its adjoint. Nonpositivity of subspaces and the hyponormal property of the matrix are understood in the sense of a nondegenerate inner product in a finite dimensional complex vector space. The obtained theorem combines and extends several previously known results. A Pontryagin space formulation, with essentially the same proof, is offered as well.     

A min-max theorem for complex symmetric matrices

We optimize the form Re x^tTx to obtain the singular values of a complex symmetric matrix T. We prove that for ,

     

On polynomial EkP matrices

In this paper the relation betweenEP--matrices andE ^k P--matrices over an arbitrary filedF is studied. Further, conditions for the product ofE ^k P--matrices to be anE ^k P--matrix and for the reverse order law to hold for the polynomial Moore-Penrose inverse of the product ofE ^k P--matrices are determined     

On backward errors of structured polynomial eigenproblems solved by structure preserving linearizations

We derive explicit computable expressions of structured backward errors of approximate eigenelements of structured matrix polynomials including symmetric, skew-symmetric, Hermitian, skew-Hermitian, even and odd polynomials. We determine minimal structured perturbations for which approximate eigenelements are exact eigenelements of the perturbed polynomials. We also analyze structured pseudospectra of a structured matrix polynomial and establish a partial equality between unstructured and structured pseudospectra. Finally, we analyze the effect of structure preserving linearizations of structured matrix polynomials on the structured backward errors of approximate eigenelements and show that structure preserving linearizations which minimize structured condition numbers of eigenvalues also minimize the structured backward errors of approximate eigenelements.     

Characterizations of inverse M-matrices with special zero patterns

In this paper, we provide some characterizations of inverse M-matrices with special zero patterns. In particular, we give necessary and sufficient conditions for k-diagonal matrices and symmetric k-diagonal matrices to be inverse M-matrices. In addition, results for triadic matrices, tridiagonal matrices and symmetric 5-diagonal matrices are presented as corollaries.     

Note on structured indefinite perturbations to Hermitian matrices

In a recent paper, Overton and Van Dooren have considered structured indefinite perturbations to a given Hermitian matrix. We extend their results to skew-Hermitian, Hamiltonian and skew-Hamiltonian matrices. As an application, we give a formula for computation of the smallest perturbation with a special structure, which makes a given Hamiltonian matrix own a purely imaginary eigenvalue.     

Bidiagonal factorizations with some parameters equal to zero

Motivated by the results of Fiedler and Markham [2], we provide necessary and sufficient conditions for a matrix to have a bidiagonal factorization with some of the parameters of the bidiagonal factors equal to zero.     

On disjoint range matrices

For a square complex matrix F and for F^∗ being its conjugate transpose, the class of matrices satisfying R(F)∩R(F^∗)={0}, where R(.) denotes range (column space) of a matrix argument, is investigated. Besides identifying a number of its properties, several functions of F, such as F+F^∗, (F:F^∗), FF^∗+F^∗F, and F-F^∗, are considered. Particular attention is paid to the Moore-Penrose inverses of those functions and projectors attributed to them. It is shown that some results scattered in the literature, whose complexity practically prevents them from being used to deal with real problems, can be replaced with much simpler expressions when the ranges of F and F^∗ are disjoint. Furthermore, as a by-product of the derived formulae, one obtains a variety of relevant facts concerning, for instance, rank and range.     

Mean matrices and infinite divisibility

We consider matrices M with entries m_ij = m(λ_i, λ_j) where λ₁, … ,λ_n are positive numbers and m is a binary mean dominated by the geometric mean, and matrices W with entries w_ij = 1/m (λ_i, λ_j) where m is a binary mean that dominates the geometric mean. We show that these matrices are infinitely divisible for several much-studied classes of means.     

Some lower bounds for the spectral radius of matrices using traces

Let A be an n×n matrix with eigenvalues λ₁,λ₂,…,λ_n, and let m be an integer satisfying rank(A)?m?n. If A is real, the best possible lower bound for its spectral radius in terms of m, trA and trA² is obtained. If A is any complex matrix, two lower bounds for are compared, and furthermore a new lower bound for the spectral radius is given only in terms of trA,trA²,‖A‖,‖A^∗A-AA^∗‖,n and m.     

Alexandrov’s inequality and conjectures on some Toeplitz matrices

We study determinant inequalities for certain Toeplitz-like matrices over C. For fixed n and N ? 1, let Q be the n × (n + N − 1) zero-one Toeplitz matrix with Q_ij = 1 for 0 ? j − i ? N − 1 and Q_ij = 0 otherwise. We prove that det(QQ^∗) is the minimum of det(RR^∗) over all complex matrices R with the same dimensions as Q satisfying ∣R_ij∣ ? 1 whenever Q_ij = 1 and R_ij = 0 otherwise. Although R has a Toeplitz-like band structure, it is not required to be actually Toeplitz. Our proof involves Alexandrov’s inequality for polarized determinants and its generalizations. This problem is motivated by Littlewood’s conjecture on the minimum 1-norm of N-term exponential sums on the unit circle. We also discuss polarized Bazin-Reiss-Picquet identities, some connections with k-tree enumeration, and analogous conjectured inequalities for the elementary symmetric functions of QQ^∗.     

Notes on matrices with diagonally dominant properties

In this paper, we analyze the relation between some classes of matrices with variants of the diagonal dominance property. We establish a sufficient condition for a generalized doubly diagonally dominant matrix to be invertible. Sufficient conditions for a matrix to be strictly generalized diagonally dominant are also presented. We provide a sufficient condition for the invertibility of a cyclically diagonally dominant matrix. These sufficient conditions do not assume the irreducibility of the matrix.     

On approximately simultaneously diagonalizable matrices

A collection A₁, A₂, …, A_k of n × n matrices over the complex numbers C has the ASD property if the matrices can be perturbed by an arbitrarily small amount so that they become simultaneously diagonalizable. Such a collection must perforce be commuting. We show by a direct matrix proof that the ASD property holds for three commuting matrices when one of them is 2-regular (dimension of eigenspaces is at most 2). Corollaries include results of Gerstenhaber and Neubauer-Sethuraman on bounds for the dimension of the algebra generated by A₁, A₂, …, A_k. Even when the ASD property fails, our techniques can produce a good bound on the dimension of this subalgebra. For example, we establish for commuting matrices A₁, …, A_k when one of them is 2-regular. This bound is sharp. One offshoot of our work is the introduction of a new canonical form, the H-form, for matrices over an algebraically closed field. The H-form of a matrix is a sparse “Jordan like” upper triangular matrix which allows us to assume that any commuting matrices are also upper triangular. (The Jordan form itself does not accommodate this.)     

On common invariant cones for families of matrices

The existence and construction of common invariant cones for families of real matrices is considered. The complete results are obtained for 2×2 matrices (with no additional restrictions) and for families of simultaneously diagonalizable matrices of any size. Families of matrices with a shared dominant eigenvector are considered under some additional conditions.