The eigenvalues of the product of matrices with prescribed similarity classes *

Let A and B be n × n nonsingular matrices over a field F, and c ₁,…,c _n ∈ F. We give a necessary and sufficient condition for the existence of matrices A′ and B′ similar to A and B, respectively, such that A′ B′ has eigenvalues c ₁,…,c _n.     

The eigenvalues of the sum of matrices with prescribed invariant polynomials *

Let A and B be n×n matrices over a field F, and c ₁,…,c_n ∈F. We give a sufficient condition for the existence of matrices A' and B' similar to A and B, respectively, such that A' + B' has eigenvalues c ₁,…,c_n .     

Construction of nonnegative matrices and the inverse eigenvalue problem

This article presents a technique for combining two matrices, an n?×?n matrix M and an m?×?m matrix B, with known spectra to create an (n?+?m???p)?×?(n?+?m???p) matrix N whose spectrum consists of the spectrum of the matrix M and m???p eigenvalues of the matrix B. Conditions are given when the matrix N obtained in this construction is nonnegative. Finally, these observations are used to obtain several results on how to construct a realizable list of n?+?1 complex numbers (λ₁,λ₂,λ₃,σ) from a given realizable list of n complex numbers (c ₁,c ₂,σ), where c ₁ is the Perron eigenvalue, c ₂ is a real number and σ is a list of n???2 complex numbers.     

Possible numbers of positive entries of imprimitive nonnegative matrices

Zhan, X., Extremal numbers of positive entries of imprimitive nonnegative matrix, Linear Algebra Appl. (in press) has determined the maximum and minimum numbers of positive entries of imprimitive irreducible nonnegative matrices with a given imprimitivity index. Let σ( A ) denote the number of positive entries of a matrix A. Let M(n,?k) and m(n,?k) denote the maximum and minimum numbers of positive entries of imprimitive irreducible nonnegative matrices of order n with a given imprimitivity index k, respectively. In this article, we prove that for any positive integer d with m(n,k)≤ d?≤?M(n,k), there exists an n?×?n irreducible nonnegative matrix A with imprimitivity index k such that?σ?(A)=d.     

On a conjecture about the eigenvalues of doubly stochastic matrices

According to a long standing conjecture, the geometric location of eigenvalues of doubly stochastic matrices of order n is exactly the union of regular k-gons anchored at 1 in the unit disc for 2 ≤ k ≤ n. It is easy to verify this fact for n?=?2,?3. But, for n?≥?4, it has been an open question. We show that this conjecture is wrong for n?=?5.     

Nonlinear Lie derivations on upper triangular matrices

Let M _n (𝔸) and T _n (𝔸) be the algebra of all n?×?n matrices and the algebra of all n?×?n upper triangular matrices over a commutative unital algebra 𝔸, respectively. In this note we prove that every nonlinear Lie derivation from T _n (𝔸) into M _n (𝔸) is of the form A?→?AT???TA?+?A _??+?ξ(A)I _n , where T?∈?M _n (𝔸), ??:?𝔸?→?𝔸 is an additive derivation, ξ?:?T _n (𝔸)?→?𝔸 is a nonlinear map with ξ(AB???BA)?=?0 for all A,?B?∈?T _n (𝔸) and A _? is the image of A under???applied entrywise.     

A characterisation of common diagonal stability over cones

In this article, a general notion of common diagonal Lyapunov matrix is formulated for a collection of n?×?n matrices A ₁,?…?,?A _s , and cones k ₁,?…?,?k _s in ? ⁿ . Necessary and sufficient conditions are derived for the existence of a common diagonal Lyapunov matrix in this setting. The conditions are similar to and extend the well-known criteria for the case s?=?1, k ₁?=?? ⁿ .     

Products of two involutions with prescribed eigenvalues and some applications

Let F be a field. In [Djokovic, Product of two involutions, Arch. Math. 18 (1967) 582-584] it was proved that a matrix A∈F^n×n can be written as A=BC, for some involutions B,C∈F^n×n, if and only if A is similar to A^-1. In this paper we describe the possible eigenvalues of the matrices B and C.As a consequence, in case charF≠2, we describe the possible similarity classes of (P₁₁⊕P₂₂)P^-1, when the nonsingular matrix P=[P_ij]∈F^n×n, i,j∈{1,2} and P₁₁∈F^s×s, varies.When F is an algebraically closed field and charF≠2, we also describe the possible similarity classes of [A_ij]∈F^n×n, i,j∈{1,2}, when A₁₁ and A₂₂ are square zero matrices and A₁₂ and A₂₁ vary.     

Relative perturbation bounds for the unitary polar factor

LetB be anm×n (m≥n) complex (or real) matrix. It is known that there is a uniquepolar decomposition B=QH, whereQ*Q=I, then×n identity matrix, andH is positive definite, providedB has full column rank. Existing perturbation bounds suggest that in the worst case, for complex matrices the change inQ be proportional to the reciprocal ofB's least singular value, or the reciprocal of the sum ofB's least and second least singular values if matrices are real. However, there are situations where this unitary polar factor is much more accurately determined by the data than the existing perturbation bounds would indicate. In this paper the following question is addressed: how much mayQ change ifB is perturbed to $\tilde B = D_1^* BD_2 $ , whereD ₁ andD ₂ are nonsingular and close to the identity matrices of suitable dimensions? It is shown that for a such kind of perturbation, the change inQ is bounded only by the distances fromD ₁ andD ₂ to identity matrices and thus is independent ofB's singular values. Such perturbation is restrictive, but not unrealistic. We show how a frequently used scaling technique yields such a perturbation and thus scaling may result in better-conditioned polar decompositions.     

A result about determinantal divisors

Let Rbe a principal ideal ringR_n the ring of n× nmatrices over R, and d_k (A) the kth determinantal divisor of Afor 1 ? k? n, where Ais any element of R_n , It is shown that if A,BεR_n , det(A) det(B:) ≠ 0, then d_k (AB) ≡ 0 mod d_k (A) d_k (B). If in addition (det(A), det(B)) = 1, then it is also shown that d_k (AB) = d_k (A) d_k (B). This provides a new proof of the multiplicativity of the Smith normal form for matrices with relatively prime determinants.     

On the span of Hadamard products of vectors

Let A₁, … , A_k be positive semidefinite matrices and B₁, … , B_k arbitrary complex matrices of order n. We show that

span{(A₁x)°(A₂x)°?°(A_kx)|x∈Cⁿ}=range(A₁°A₂°?°A_k)     

On classical adjoint-commuting mappings between matrix algebras

Let F be a field and let m and n be integers with m,n?3. Let M_n denote the algebra of n×n matrices over F. In this note, we characterize mappings ψ:M_n→M_m that satisfy one of the following conditions:

1.

|F|=2 or |F|>n+1, and ψ(adj(A+αB))=adj(ψ(A)+αψ(B)) for all A,B∈M_n and α∈F with ψ(I_n)≠0.

2.

ψ is surjective and ψ(adj(A-B))=adj(ψ(A)-ψ(B)) for every A,B∈M_n.

Here, adjA denotes the classical adjoint of the matrix A, and I_n is the identity matrix of order n. We give examples showing the indispensability of the assumption ψ(I_n)≠0 in our results.     

On linear combinations of generalized involutive matrices

Let X ^? denotes the Moore--Penrose pseudoinverse of a matrix X. We study a number of situations when (aA?+?bB)^??=?aA?+?bB provided a,?b?∈?????{0} and A, B are n?×?n complex matrices such that A ^??=?A and B ^??=?B.     

Strong linear preservers of rank reverse permutability on triangular matrices

Let F be a field with ∣F∣ > 2 and T_n(F) be the set of all n × n upper triangular matrices, where n ? 2. Let k ? 2 be a given integer. A k-tuple of matrices A₁, …, A_k ∈ T_n(F) is called rank reverse permutable if rank(A₁ A₂ ? A_k) = rank(A_k A_k−1 ? A₁). We characterize the linear maps on T_n(F) that strongly preserve the set of rank reverse permutable matrix k-tuples.     

Eigenvalue Inequalities and Schubert Calculus

Using techniques from algebraic topology we derive linear inequalities which relate the spectrum of a set of Hermitian matrices A₁,…, A_r ? ¢^n×n with the spectrum of the sum A₁ + … + A_r. These extend eigenvalue inequalities due to Freede-Thompson and Horn for sums of eigenvalues of two Hermitian matrices.     

Large spaces of symmetric matrices of bounded rank are decomposable ∗

Let k and n be positive integers such that kn. Let S_n (F) denote the space of all n×n symmetric matrices over the field F with char F≠2. A subspace L of S_n (F) is said to be a k-subspace if rank Ak for every A?L.

Now suppose that k is even, and write k=2r. We say a k∥-subspace of S_n (F) is decomposable if there exists in Fⁿ a subspace W of dimension n?r such that x^tAx=0 for every x?W A?L.

We show here, under some mild assumptions on k n and F, that every k∥-subspace of S_n (F) of sufficiently large dimension must be decomposable. This is an analogue of a result obtained by Atkinson and Lloyd for corresponding subspaces of F^m,n .