Reachability of condensed forms via unitary congruence transformations

There are several well-known facts about unitary similarity transformations of complex n-by-n matrices: every matrix of order n = 3 can be brought to tridiagonal form by a unitary similarity transformation; if n ≥ 5, then there exist matrices that cannot be brought to tridiagonal form by a unitary similarity transformation; for any fixed set of positions (pattern) S whose cardinality exceeds n(n ? 1)/2, there exists an n-by-n matrix A such that none of the matrices that are unitarily similar to A can have zeros in all of the positions in S. It is shown that analogous facts are valid if unitary similarity transformations are replaced by unitary congruence ones.     

Congruence Criteria for Finite Subsets of Quaternionic Elliptic and Quaternionic Hyperbolic Spaces

We investigate congruence classes of m-tuples of points in the quaternionic elliptic space ?P ⁿ . We establish a canonical bijection between the set of congruence classes of m-tuples of points in ?P ⁿ and the set of equivalence classes of positive semidefinite Hermitian m×m matrices of rank at most n+1 with the 1's on the diagonal. We show that with each m-tuple of points in ?P ⁿ is associated a tuple of points on the real unit sphere S ². Then we get that the congruence class of an m-tuple of points in ?P ⁿ is determined by the congruence classes of all its triangles and by the direct congruence class of the associated tuple on the sphere S ² provided that no pair of points of the m-tuple has distance π/2. Finally we carry out the same kind of investigation for the quaternionic hyperbolic space ?H ⁿ . Most of the results are completely analogous, although there are also some interesting differences.     

Essentially doubly stochastic matrices II. Canonical forms for row equivalence,equivalence, and a special case of congruence

In this paper we obtain canonical forms for row equivalence, equivalence, and a special case of congruence in the algebra of essentially doubly stochastic (e.d.s.) matrices of order n over a field F, char(F) [nmid] n. These forms are analogues of familiar forms in ordinary matrix algebra. The canonical form for equivalence is used in showing, in a subsequent paper, that every e.d.s. matrix of rank r and order n over F, char(F) = 0 or char(F) > n, is a product of elementary e.d.s. matrices, n – r of which are singular.     

Canonical forms for unitary congruence and *congruence

We use methods of the general theory of congruence and *congruence for complex matrices – regularization and cosquares – to determine a unitary congruence canonical form (respectively, a unitary *congruence canonical form) for complex matrices A such that āA (respectively, A ²) is normal. As special cases of our canonical forms, we obtain – in a coherent and systematic way – known canonical forms for conjugate normal, congruence normal, coninvolutory, involutory, projection, λ-projection, and unitary matrices. But we also obtain canonical forms for matrices whose squares are Hermitian or normal, and other cases that do not seem to have been investigated previously. We show that the classification problems under (a) unitary *congruence when A ³ is normal, and (b) unitary congruence when AāA is normal, are both unitarily wild, so these classification problems are hopeless.     

Miniversal deformations of matrices of bilinear forms

Arnold [V.I. Arnold, On matrices depending on parameters, Russian Math. Surveys 26 (2) (1971) 29–43] constructed miniversal deformations of square complex matrices under similarity; that is, a simple normal form to which not only a given square matrix A but all matrices B close to it can be reduced by similarity transformations that smoothly depend on the entries of B. We construct miniversal deformations of matrices under congruence.     

Functions generating normal Toeplitz matrices

To any complex function there corresponds a Fourier series, which is often associated with a sequence {T _n} of Toeplitz n × n matrices. Functions whose Fourier series generate sequences of normal Toeplitz matrices are classified, and a procedure for constructing Fourier series for which the sequence {T _n} contains an infinite subsequence of normal matrices is described.     

On matrices having equal spectral radius and spectral norm

In this paper we characterize all nxn matrices whose spectral radius equals their spectral norm. We show that for n?3 the class of these matrices contains the normal matrices as a subclass.     

Projective Congruence in M3(Fq

(3 × 3) matrices are here classified up to the relation of projective congruence. This is then applied to obtain the classification up to isomorphism of a certain class of finite rings of characteristic p. These rings arise naturally in the recent determination of all rings of order p ⁿ (n ≤ 5) by B. Corbas and the author, and the work here completes that study.     

Conjugate-normal matrices: A survey

Conjugate-normal matrices play the same important role in the theory of unitary congruence as the conventional normal matrices do with respect to unitary similarities. However, unlike the latter, the properties of conjugate-normal matrices are not widely known. Motivated by this fact, we give a survey of the properties of these matrices. In particular, a list of more than forty conditions is given, each of which is equivalent to A being conjugate-normal.     

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.     

A normality criterion for an algebra of matrices

It is shown that the real algebra generated by a pair A,B of n × n (complex) matrices consists entirely of normal matrices if and only if A,B,AB,A + B and A + AB are normal.     

A note on complex matrices that are unitarily congruent to real matrices

Every square complex matrix is known to be consimilar to a real matrix. Unitary congruence is a particular type of consimilarity. We prove that a matrix A∈M_n(C) is unitarily congruent to a real matrix if and only if A is unitarily congruent to via a symmetric unitary matrix. It is shown by an example that there exist matrices that are congruent, but not unitarily congruent, to real matrices.     

Transposing a matrix by similarity operations

A matrix T is said to co-transpose a square matrix A if T^?1AT=A′ and T^?1A′T=A. For every n?3 there exists a real n×n matrix which cannot be co-transposed by any matrix. However, it is shown that the following classes of real matrices can be co-transposed by a symmetric matrix of order two: 2×2 matrices, normal matrices, and matrices whose square is symmetric.     

Quadratically normal matrices of type 1 and unitary similarities between them

Verification of the unitary similarity between matrices having quadratic minimal polynomials is known to be much cheaper than the use of the general Specht-Pearcy criterion. Such an economy is possible due to the following fact: n × n matrices A and B with quadratic minimal polynomials are unitarily similar if and only if A and B have the same eigenvalues and the same singular values. It is shown that this fact is also valid for a subclass of matrices with cubic minimal polynomials, namely, quadratically normal matrices of type 1.     

Normality and the numerical range

It is well known that if A is an n by n normal matrix, then the numerical range of A is the convex hull of its spectrum. The converse is valid for n ? 4 but not for larger n. In this spirit a characterization of normal matrices is given only in terms of the numerical range. Also, a characterization is given of matrices for which the numerical range coincides with the convex hull of the spectrum. A key observation is that the eigenvectors corresponding to any eigenvalue occuring on the boundary of the numerical range must be orthogonal to eigenvectors corresponding to all other eigenvalues.     

Schur-type stability properties and complex diagonal scaling

We introduce new classes of n-by-n matrices with complex entries which can be scaled by a diagonal matrix with complex entries to be normal or Hermitian and study the Schur-type stability properties of these matrices.     

On linear preservers of normal maps

We study group induced cone (GIC) orderings generating normal maps. Examples of normal maps cover, among others, the eigenvalue map on the space of n × n Hermitian matrices as well as the singular value map on n × n complex matrices. In this paper, given two linear spaces equipped with GIC orderings induced by groups of orthogonal operators, we investigate linear operators preserving normal maps of the orderings. A characterization of the preservers is obtained in terms of the groups. The result is applied to show that the normal structure of the spaces is preserved under the action of the operators. In addition, examples are given.     

The group-theoretic complexity of subsemigroups of boolean matrices

We find the group-theoretic complexity of many subsemigroups of the semigroup B_n of n × n Boolean matrices, including Hall matrices, reflexive matrices, fully indecomposable matrices, upper triangular matrices, row-rank-n matrices, and others.     

Study of Morita contexts

Matrix congruence can be used to mimic linear maps between homogeneous quadratic polynomials in n variables. We introduce a generalization, called standard-form congruence, which mimics affine maps between non-homogeneous quadratic polynomials. Canonical forms under standard-form congruence for three-by-three matrices are derived. This is then used to give a classification of algebras defined by two generators and one degree two relation. We also apply standard-form congruence to classify homogenizations of these algebras.