The codimension of singular matrix pairs

The singular pairs of n × n matrices [those satisfying det(A? λB)  0] form a closed set of codimension n + 1 inside the space of all matrix pairs. The same holds for singular symmetric pairs. For Hermitian pairs, the singular ones form a closed set of codimension n+ 1 orn + 2 according as n is odd or even. The irreducible components of these closed sets are determined by various basic singular summands.     

On a characterization of irreducibility of a non-negative matrix

Let A denote an n×n matrix with all its elements real and non-negative, and let r_i be the sum of the elements in the ith row of A, i=1,…,n. Let B=A?D(r₁,…,r_n), where D(r₁,…,r_n) is the diagonal matrix with r_i at the position (i,i). Then it is proved that A is irreducible if and only if rank B=n?1 and the null space of B^T contains a vector d whose entries are all non-null.     

On exterior powers of endomorphisms

Let V be an n-dimensional vector space and T?Hom(V,V). The first result shows that if C_m(T), the mth compound of T, possesses a basis of eigenvectors, then it possesses a basis consisting of decomposable eigenvectors in the mth Grassman space over V. The paper also contains a simplified proof of a recent result of S. Belcerzyk on traces of compounds as well as conditions for the equality of fixed coefficients in the polynomials det(λA+μX) and det(λB+μX).     

A conjectured property of Hermitian pencils

If (A, B) is any pair of Hermitian matrices, the power of λ dividing det(λI?xA ?yB) will be given by the number of basic singular summands in the pair. Contrary to conjecture, this power can be greater than one even when the pair is unitarily irreducible.     

Anti-Hadamard matrices

An anti-Hadamard matrix may be loosely defined as a real (0, 1) matrix which is invertible, but only just. Let A be an invertible (0, 1) matrix with eigenvalues λ_i, singular values σ_i, and inverse B = (b_ij). We are interested in the four closely related problems of finding λ(n) = min_{A, i}|λ_i|, σ(n) = min_{A, i}σ_i, χ(n) = max_{A, i, j} |b_ij|, and μ(n) = max_AΣ_ijb²_ij. Then A is an anti-Hadamard matrix if it attains μ(n). We show that λ(n), σ(n) are between $\text{(2n)}{}^{\mathrm{?1}}\text{(}\text{n}\text{4}\text{)}{}^{\mathrm{<mtext>?n</mtext><mtext>2</mtext>}}$ and c√n (2.274)^?n, where c is a constant, $\text{c}\text{(2.274)}{}^{\mathrm{n}}\text{?χ(n)?2(}\text{n}\text{4}\text{)}{}^{\mathrm{<mtext>n</mtext><mtext>2</mtext>}}$, and $\text{c}\text{(5.172)}{}^{\mathrm{n}}\text{?μ(n)?4n}{}^2\text{(}\text{n}\text{4}\text{)}{}^{\mathrm{n}}$. We also consider these problems when A is restricted to be a Toeplitz, triangular, circulant, or (+1, ?1) matrix. Besides the obvious application—to finding the most ill-conditioned (0, 1) matrices—there are connections with weighing designs, number theory, and geometry.     

Permanental pairs of doubly stochastic matrices. II

The n ×n doubly stochastic matrices A, B form a permanental pair if the permanent of every convex linear combination λA+(1?λ)B(0?λ?1) is independent of λ A, B are called mates. In this article we show that the direct sum of any number, k, of matrices J_i (of varying individual dimension) cannot have a mate. Here J_i is the n_i×n_i matrix with every entry equal to $\text{1}\text{n}{}_{\mathrm{i}}$;∑n_i=n.     

Inclusion relations involving k-numerical ranges

Let W_k(A) denote the k-numerical range of an n × n matrix A. It is known that W_i(A) ? W_j(A) for 1 ? j? i? n. It this paper we derive more general inclusion relations of the form Σⁿ_iλ_iW_i(A) ? Σⁿ_iμ_iW_i(A), where λ_i, μ_i are real coefficients.     

The codimension of degenerate pencils

Let d_n[d_n(r)] denote the codimension of the set of pairs of n×n Hermitian [really symmetric] matrices (A, B) for which det(λI?A?xB)=p(λ,x) is a reducible polynomial. We prove that d_n(r)?n?1, d_n?_n?1 (n odd), d_n?n (n even). We conjecture that the equality holds in all three inequalities. We prove this conjecture for n=2,3.     

Simultaneous block diagonalization of two real symmetric matrices

The simultaneous diagonalization of two real symmetric (r.s.) matrices has long been of interest. This subject is generalized here to the following problem (this question was raised by Dr. Olga Taussky-Todd, my thesis advisor at the California Institute of Technology): What is the first simultaneous block diagonal structure of a nonsingular pair of r.s. matrices ? For example, given a nonsingular pair of r.s. matrices S and T, which simultaneous block diagonalizations X′SX = diag(A₁, , A_k), X′TX = diag(B₁,, B_k) with dim A_i = dim B_i and X nonsingular are possible for 1 ? k ? n; and how well defined is a simultaneous block diagonalization for which k, the number of blocks, is maximal? Here a pair of r.s. matrices S and T is called nonsingular if S is nonsingular.If the number of blocks k is maximal, then one can speak of the finest simultaneous block diagonalization of S and T, since then the sizes of the blocks A_i are uniquely determined (up to permutations) by any set of generators of the pencil P(S, T) = {aS + bT|a, tb ε R} via the real Jordan normal form of S^?1T. The proof uses the canonical pair form theorem for nonsingular pairs of r.s. matrices. The maximal number k and the block sizes dim A_i are also determined by the factorization over C of ? (λ, μ) = det(λS + μT) for λ, μ ε R.     

On the absorption of eigenvalues by continuous spectrum in regular perturbation problems

We consider the family of operators A + λB with A and B self-adjoint and B relatively form bounded. We consider situations where as λ ↓ λ₁, some eigenvalue μ(λ) approaches the continuous spectrum of A + λB. Typical of our results is the following. If B is relatively form compact, and μ(λ) → μ(λ₁), then either $\text{(μ(λ) ? μ(λ}{}_1\text{))}\text{λ}\text{? λ}{}_1\text{→ 0}\text{or}\text{μ(λ}{}_1\text{)}$ is an eigenvalue of A + λ₁B.     

Simultaneous quasidiagonalization of complex matrices

Let

be the complex algebra generated by a pair of n × n Hermitian matrices A, B. A recent result of Watters states that A, B are simultaneously unitarily quasidiagonalizable [i.e., A and B are simultaneously unitarily similar to direct sums C₁⊕…⊕C_t,D₁⊕…⊕D_t for some t, where C_i, D_i are k_i × k_i and k_i?2(1?i?t)] if and only if [p(A, B), A]² and [p(A, B), B]² belong to the center of

for all polynomials p(x, y) in the noncommuting variables x, y. In this paper, we obtain a finite set of conditions which works. In particular we show that if A, B are positive semidefinite, then A, B are simultaneously quasidiagonalizable if (and only if) [A, B]², [A², B]² and [A, B²]² commute with A, B.     

The inertia of a Hermitian pencil

Let A and B be Hermitian matrices and P = λA + μB where (λ,μ)?$\text{R}$². Using parametric dependence of the eigenvalues, we study the inertia of P under variation of (λ,μ) and under small Hermitian perturbations. In particular, we give semicontinuous dependence results for the set of (λ,μ) where inertia of P is discontinuous.     

Least squares solutions to AX = B for bisymmetric matrices under a central principal submatrix constraint and the optimal approximation

A matrix A∈R^n×n is called a bisymmetric matrix if its elements a_i,j satisfy the properties a_i,j=a_j,i and a_i,j=a_n-j+1,n-i+1 for 1?i,j?n. This paper considers least squares solutions to the matrix equation AX=B for A under a central principal submatrix constraint and the optimal approximation. A central principal submatrix is a submatrix obtained by deleting the same number of rows and columns in edges of a given matrix. We first discuss the specified structure of bisymmetric matrices and their central principal submatrices. Then we give some necessary and sufficient conditions for the solvability of the least squares problem, and derive the general representation of the solutions. Moreover, we also obtain the expression of the solution to the corresponding optimal approximation problem.     

Congruence of Hermitian matrices by Hermitian matrices

Two Hermitian matrices A,B∈M_n(C) are said to be Hermitian-congruent if there exists a nonsingular Hermitian matrix C∈M_n(C) such that B=CAC. In this paper, we give necessary and sufficient conditions for two nonsingular simultaneously unitarily diagonalizable Hermitian matrices A and B to be Hermitian-congruent. Moreover, when A and B are Hermitian-congruent, we describe the possible inertias of the Hermitian matrices C that carry the congruence. We also give necessary and sufficient conditions for any 2-by-2 nonsingular Hermitian matrices to be Hermitian-congruent. In both of the studied cases, we show that if A and B are real and Hermitian-congruent, then they are congruent by a real symmetric matrix. Finally we note that if A and B are 2-by-2 nonsingular real symmetric matrices having the same sign pattern, then there is always a real symmetric matrix C satisfying B=CAC. Moreover, if both matrices are positive, then C can be picked with arbitrary inertia.     

The existence of matrices with prescribed characteristic and permanental polynomials

Let d(λ) and p(λ) be monic polynomials of degree n?2 with coefficients in F, an algebraically closed field or the field of all real numbers. Necessary and sufficient conditions for the existence of an n-square matrix A over F such that det(λI?A)=d(λ) and per(λI?A=p(λ) are given in terms of the coefficients of d(λ) and p(λ).     

Linear preservers and quantum information science

In this article, a brief survey of recent results on linear preserver problems and quantum information science is given. In addition, characterization is obtained for linear operators φ on mn?×?mn Hermitian matrices such that φ(A???B) and A???B have the same spectrum for any m?×?m Hermitian A and n?×?n Hermitian B. Such a map has the form A???B???U(?₁(A)????₂(B))U* for mn?×?mn Hermitian matrices in tensor form A???B, where U is a unitary matrix, and for j?∈?{1,?2}, ? _j is the identity map?X???X or the transposition map?X???X ^t . The structure of linear maps leaving invariant the spectral radius of matrices in tensor form A???B is also obtained. The results are connected to bipartite (quantum) systems and are extended to multipartite systems.     

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.     

Upper triangular operator matrices with the single-valued extension property

If A=(Aij)_1?i,j?n∈B(X) is an upper triangular Banach space operator such that AiiAij=AijAjj for all 1?i?j?n, then A has SVEP or satisfies (Dunford's) condition (C) or (Bishop's) property (β) or (the decomposition) property (δ) if and only if Aii, 1?i?n, has the corresponding property.     

Low rank perturbation of regular matrix polynomials

Let A(λ) be a complex regular matrix polynomial of degree ? with g elementary divisors corresponding to the finite eigenvalue λ₀. We show that for most complex matrix polynomials B(λ) with degree at most ? satisfying rank the perturbed polynomial (A+B)(λ) has exactly elementary divisors corresponding to λ₀, and we determine their degrees. If does not exceed the number of λ₀-elementary divisors of A(λ) with degree greater than 1, then the λ₀-elementary divisors of (A+B)(λ) are the elementary divisors of A(λ) corresponding to λ₀ with smallest degree, together with rank(B(λ)-B(λ₀)) linear λ₀-elementary divisors. Otherwise, the degree of all the λ₀-elementary divisors of (A+B)(λ) is one. This behavior happens for any matrix polynomial B(λ) except those in a proper algebraic submanifold in the set of matrix polynomials of degree at most ?. If A(λ) has an infinite eigenvalue, the corresponding result follows from considering the zero eigenvalue of the perturbed dual polynomial.     

A note on k-potence preserving maps

Let M_n be the algebra of all n×n complex matrices and Γ_n the set of all k-potent matrices in M_n. Suppose ?:M_n→M_n is a map satisfying A-λB∈Γ_n implies ?(A)-λ?(B)∈Γ_n, where A, B∈M_n, λ∈C. Then either ? is of the form ?(A)=cTAT^-1, A∈M_n, or ? is of the form ?(A)=cTA^tT^-1, A∈M_n, where T∈M_n is an invertible matrix, c∈C satisfies c^k=c.