An approximate, multivariable version of Specht's theorem

In this article we provide generalizations of Specht's theorem which states that two n × n matrices A and B are unitarily equivalent if and only if all traces of words in two non-commuting variables applied to the pairs (A, A*) and (B, B*) coincide. First, we obtain conditions which allow us to extend this to simultaneous similarity or unitary equivalence of families of operators, and secondly, we show that it suffices to consider a more restricted family of functions when comparing traces. Our results do not require the traces of words in (A, A*) and (B, B*) to coincide, but only to be close.     

The semigroup generated by a unitary orbit of a singular matrix

We investigate the structure of the multiplicative semigroup generated by the set of matrices that are unitarily equivalent to a given singular matrix A. In particular, we give necessary and sufficient conditions, in terms of the singular values of A, for such a semigroup to consist of all matrices of rank not exceeding the rank of A.     

A note on matrix equivalence

Let R be a principal ideal ringR_n the ring of n × n it matrices over R. It is shown that if A, B, X, Y are elements of R* such that A = XB, B = YA, then A and B are left equivalent. Some consequences are given.     

Positive diagonal solutions to the Lyapunov equations

We study various stability type conditions on a matrix A related to the consistency of the Lyapunov equation AD+DA^t positive definite, where D is a positive diagonal matrix. Such problems arise in mathematical economics, in the study of time-invariant continuous-time systems and in the study of predator-prey systems. Using a theorem of the alternative, a characterization is given for all A satisfying the above equation. In addition, some necessary conditions for consistency and some related ideas are discussed. Finally, a method for constructing a solution D to the equation is given for matrices A satisfying certain conditions.     

Characterization of supercommuting matrices

For a given n-by-n matrix A, we consider the set of matrices which commute with A and all of whose principal submatrices commute with the corresponding principal submatrices of A. The properties of this set are examined, with particular attention to its dimension.     

Some inequalities for commutators and an application to spectral variation. II

Inequalities that compare unitarily invariant norms of A - B and those of AΓ - ΓB and Γ^-1A - B Γ^-1 are obtained, where both A and B are either Hermitian or unitary or normal operators and Γ is a positive definite operator in a complex separable Hilbert space. These inequalities are then applied to derive bounds for spectral variation of diagonalisable matrices. Our new bounds improve substantially previously published bounds.     

Some results on symplectic matrices

The principal results are that if A is an integral matrix such that AA^T is symplectic then A = CQ, where Q is a permutation matrix and C is symplectic; and that if A is a hermitian positive definite matrix which is symplectic, and B is the unique hermitian positive definite pth.root of A, where p is a positive integer, then B is also symplectic.     

A result on integral symmetric matrices

Let A be an integral matrix such that det A = 1 mod mA ≡ A^T mod m, where m is odd. It is shown that a symmetric integral matrix B of determinant 1 exists such that B ≡ A mod m. The result is false if m is even.     

Column Ranks and Their Preservers of Matrices Over Max Algebra

The column rank of an m by n matrix A over max algebra is the weak dimension of the column space of A. We compare the column rank with rank of matrices over max algebra. We also characterize the linear operators which preserve the column rank of matrices over max algebra.     

Rank equalities related to outer inverses of matrices and applications

A matrix X is called an outer inverse for a matrix A if XAX=X. In this paper, we present some basic rank equalities for difference and sum of outer inverses of a matrix, and apply them to characterize various equalities related to outer inverses, Moore-Penrose inverses, group inverses, Drazin inverses and weighted Moore-Penrose inverses of matrices.     

Linear Operators that Preserve Commuting Pairs of Nonnegative Real Matrices

A pair of n×n matrices (A, B) is called a commuting pair if AB=BA. We characterize the linear operators that preserve the set of commuting pairs of matrices over a subsemiring of nonnegative real numbers.     

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εWAεL.

We show here, under some mild assumptions on kn 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.     

A stable range for quadratic forms over commutative rings

A commutative ring A has quadratic stable range 1 (qsr(A) = 1) if each primitive binary quadratic form over A represents a unit. It is shown that qsr(A) = 1 implies that every primitive quadratic form over A represents a unit, A has stable range 1 and finitely generated constant rank projectives over A are free. A classification of quadratic forms is provided over Bezout domains with characteristic other than 2, quadratic stable range 1, and a strong approximation property for a certain subset of their maximum spectrum. These domains include rings of holomorphic functions on connected noncompact Riemann surfaces. Examples of localizations of rings of algebraic integers are provided to show that the classical concept of stable range does not behave well in either direction under finite integral extensions and that qsr(A) = 1 does not descend from such extensions.     

The rank of the difference of matrices with prescribed similarity classes

Let F be a field and let A,B be n × n matrices over I. We study the rank of A' - B' when A and B run over the set of matrices similar to A and B, respectively.     

The minimal polynomial of a matrix

Let Rbe a finite dimensional central simple algebra over a field FA be any n× n matrix over R. By using the method of matrix representation, this paper obtains the structure formula of the minimal polynomial q_A(λ) of A over F. By using q_A(λ), this paper discusses the structure of right (left) eigenvalues set of A, and obtains the necessary and sufficient condition that a matrix over a finite dimensional central division algebra is similar to a diagonal matrix.     

Nonnegative matrices having same nonnegative moore-penrose and group inverses

Nonnegative matrices A whose Moore-Penrose generalized inverse A⁺ is nonnegative and has any one of the three equivalent properties (i) AA⁺ = A⁺A (ii) A⁺ = A, the group inverse, (iii) A⁺ = p(A), some polynomial in A with scalar coefficients, are characterized. This characterization generalizes known results on nonnegative matrices Awhose Moore-Penrose generalized inverse is equal to some power of A.     

Doubly stochastic matrices whose powers eventually stop

In this note we characterize doubly stochastic matrices A whose powers A,A²,A³,… eventually stop, i.e., A^p=A^p+1= for some positive integer p. The characterization enables us to determine the set of all such matrices.     

Characterization of chaotic order and its applications to furuta's type operator inequalities

Very recently, we obtained a simple characterization of the chaotic order log A≥log B among positive invertible operators AB on a Hilbert space. In this note, we discuss Furuta's type operator inequalities as applications of our characterization of the chaotic order.     

A note on the relation between the determinant and the permanent

In this note we prove that there is no linear mapping T on the space of n-square symmetric matrices over any subfield of real field such that the determinant of A is equal to the permanent of T(A) for all symmetric matrices A if n≥3.