Vladimir V. Sergeichuk

Each n-by-n matrix with n>1 is a sum of 5 coninvolutory matrices

An $n\times n$ complex matrix $A$ is called coninvolutory if $\bar AA=I_n$ and skew-coninvolutory if $\bar AA=-I_n$ (which implies that $n$ is even). We prove that each matrix of size $n\times n$ with $n>1$ is a sum of 5 coninvolutory matrices and each matrix of size $2m\times 2m$ is a sum of 5 skew-coninvolutory matrices. We also prove that each square complex matrix is a sum of a coninvolutory matrix and a condiagonalizable matrix. A matrix $M$ is called condiagonalizable if $M=\bar S^{-1}DS$ in which $S$ is nonsingular and $D$ is diagonal.

Neighborhood radius estimation for Arnold's miniversal deformations of complex and $p$ -adic matrices

V.I. Arnold (1971) constructed a simple normal form to which all complex matrices $B$ in a neighborhood $U$ of a given square matrix $A$ can be reduced by similarity transformations that smoothly depend on the entries of $B$ . We calculate the radius of the neighborhood $U$ . A.A. Mailybaev (1999, 2001) constructed a reducing similarity transformation in the form of Taylor series; we construct this transformation by another method. We extend Arnold's normal form to matrices over the field $\mathbb Q_p$ of $p$ -adic numbers and the field $\mathbb F((T))$ of Laurent series over a field $\mathbb F$ .

Roth's solvability criteria for the matrix equations ${AX-\widehat XB=C}$ and ${X-A\widehat{X}B=C}$ over the skew field of quaternions with an involutive automorphism $q\mapsto \hat q$

The matrix equation $AX-XB=C$ has a solution if and only if the matrices [A&C\\0&B] and [A &0\\0 & B] are similar. This criterion was proved over a field by W.E. Roth (1952) and over the skew field of quaternions by Huang Liping (1996). H.K. Wimmer (1988) obtained an analogous criterion for the matrix equation $X-AXB=C$ over a field. We extend these criteria to the matrix equations $AX-\widehat XB=C$ and $X-A\widehat XB=C$ over the skew field of quaternions with a fixed involutive automorphism $q\mapsto \hat q$ .

Topological classification of sesquilinear forms: reduction to the nonsingular case

Two sesquilinear forms $Φ:\mathbb C^m\times\mathbb C^m\to \mathbb C$ and $Ψ:\mathbb C^n\times\mathbb C^n\to \mathbb C$ are called topologically equivalent if there exists a homeomorphism $φ:\mathbb C^m\to \mathbb C^n$ (i.e., a continuous bijection whose inverse is also a continuous bijection) such that $Φ(x,y)=Ψ(φ(x),φ(y))$ for all $x,y\in \mathbb C^m$ . R.A.Horn and V.V.Sergeichuk in 2006 constructed a regularizing decomposition of a square complex matrix $A$ ; that is, a direct sum $SAS^*=R\oplus J_{n_1}\oplus\dots\oplus J_{n_p}$ , in which $S$ and $R$ are nonsingular and each $J_{n_i}$ is the $n_i$ -by- $n_i$ singular Jordan block. In this paper, we prove that $Φ$ and $Ψ$ are topologically equivalent if and only if the regularizing decompositions of their matrices coincide up to permutation of the singular summands $J_{n_i}$ and replacement of $R\in\mathbb C^{r\times r}$ by a nonsingular matrix $R'\in\mathbb C^{r\times r}$ such that $R$ and $R'$ are the matrices of topologically equivalent forms. Analogous results for real and complex bilinear forms are also obtained.

Topological classification of systems of bilinear and sesquilinear forms

Let $\cal A$ and $\cal B$ be two systems consisting of the same vector spaces $\mathbb C^{n_1},\dots,\mathbb C^{n_t}$ and bilinear or sesquilinear forms $A_i,B_i:\mathbb C^{n_{k(i)}}\times\mathbb C^{n_{l(i)}}\to\mathbb C$ , for $i=1,\dots,s$ . We prove that $\cal A$ is transformed to $\cal B$ by homeomorphisms within $\mathbb C^{n_1},\dots,\mathbb C^{n_t}$ if and only if $\cal A$ is transformed to $\cal B$ by linear bijections within $\mathbb C^{n_1},\dots,\mathbb C^{n_t}$ .

Change of the congruence canonical form of 2-by-2 and 3-by-3 matrices under perturbations and bundles of matrices under congruence

We construct the Hasse diagrams $G_2$ and $G_3$ for the closure ordering on the sets of congruence classes of $2\times 2$ and $3\times 3$ complex matrices. In other words, we construct two directed graphs whose vertices are $2\times 2$ or, respectively, $3\times 3$ canonical matrices under congruence and there is a directed path from $A$ to $B$ if and only if $A$ can be transformed by an arbitrarily small perturbation to a matrix that is congruent to $B$ . A bundle of matrices under congruence is defined as a set of square matrices $A$ for which the pencils $A+λA^T$ belong to the same bundle under strict equivalence. In support of this definition, we show that all matrices in a congruence bundle of $2\times 2$ or $3\times 3$ matrices have the same properties with respect to perturbations. We construct the Hasse diagrams $G_2^{\rm B}$ and $G_3^{\rm B}$ for the closure ordering on the sets of congruence bundles of $2\times 2$ and, respectively, $3\times 3$ matrices. We find the isometry groups of $2\times 2$ and $3\times 3$ congruence canonical matrices.

Consimilarity and quaternion matrix equations $AX-\hat{X}B=C$ , $X-A\hat{X}B=C$

L.Huang [Linear Algebra Appl. 331 (2001) 21-30] gave a canonical form of a quaternion matrix $A$ with respect to consimilarity transformations $\tilde{S}^{-1}AS$ in which $S$ is a nonsingular quaternion matrix and $\tilde{h}:=a-bi+cj-dk$ for each quaternion $h=a+bi+cj+dk$ . We give an analogous canonical form of a quaternion matrix with respect to consimilarity transformations $\hat{S}^{-1}AS$ in which $h\mapsto\hat{h}$ is an arbitrary involutive automorphism of the skew field of quaternions. We apply the obtained canonical form to the quaternion matrix equations $AX-\hat{X}B=C$ and $X-A\hat{X}B=C$ .

Regularizing decompositions for matrix pencils and a topological classification of pairs of linear mappings

We give a method for constructing a regularizing decomposition of a matrix pencil, which is formulated in terms of the linear mappings. We prove that two pencils are topologically equivalent if and only if their regularizing decompositions coincide up to permutation of summands and their regular parts coincide up to homeomorphisms of their spaces.

Topological classification of oriented cycles of linear mappings

We consider the problem of classifying oriented cycles of linear mappings $F^p\to F^q\to\dots\to F^r\to F^p$ over a field $F$ of complex or real numbers up to homeomorphisms in the spaces $F^p,F^q,\dots,F^r$ . We reduce it to the problem of classifying linear operators $F^n\to F^n$ up to homeomorphism in $F^n$ , which was studied by N.H. Kuiper and J.W. Robbin [Invent. Math. 19 (2) (1973) 83-106] and by other authors.

An informal introduction to perturbations of matrices determined up to similarity or congruence

The reductions of a square complex matrix A to its canonical forms under transformations of similarity, congruence, or *congruence are unstable operations: these canonical forms and reduction transformations depend discontinuously on the entries of A. We survey results about their behavior under perturbations of A and about normal forms of all matrices A+E in a neighborhood of A with respect to similarity, congruence, or *congruence. These normal forms are called miniversal deformations of A; they are not uniquely determined by A+E, but they are simple and depend continuously on the entries of E.

Change of the *congruence canonical form of 2-by-2 matrices under perturbations

We study how small perturbations of a 2-by-2 complex matrix can change its canonical form for *congruence. We construct the Hasse diagram for the closure ordering on the set of *congruence classes of 2-by-2 matrices.

Representations of quivers and mixed graphs

This is a survey article for "Handbook of Linear Algebra", 2nd ed., Chapman & Hall/CRC, 2014. An informal introduction to representations of quivers and finite dimensional algebras from a linear algebraist's point of view is given. The notion of quiver representations is extended to representations of mixed graphs, which permits one to study systems of linear mappings and bilinear or sesquilinear forms. The problem of classifying such systems is reduced to the problem of classifying systems of linear mappings.

Topological classification of chains of linear mappings

We prove that two chains of linear mappings are topologically isomorphic if and only if they are linearly isomorphic.

Topological classification of Mobius transformations

Linear fractional transformations on the extended complex plane are classified up to topological conjugacy. Recall that two transformations f and g are called topologically conjugate if there exists a homeomorphism h such that hg=fh.

preprint2012arXiv

Cycles of linear and semilinear mappings

We give a canonical form of matrices of a cycle of linear or semilinear mapping V_1 --- V_2 --- ... --- V_t --- V_1 in which all V_i are complex vector spaces, each line is an arrow ---> or <---, and each arrow denotes a linear or semilinear mapping.

preprint2012arXiv

Systems of subspaces of a unitary space

For a given poset, we consider its representations by systems of subspaces of a unitary space ordered by inclusion. We classify such systems for all posets for which an explicit classification is possible.

A canonical form for nonderogatory matrices under unitary similarity

A square matrix is nonderogatory if its Jordan blocks have distinct eigenvalues. We give canonical forms (i) for nonderogatory complex matrices up to unitary similarity and (ii) for pairs of complex matrices up to similarity, in which one matrix has distinct eigenvalues. The types of these canonical forms are given by undirected and, respectively, directed graphs with no undirected cycles.

Miniversal deformations of matrices of bilinear forms

V.I. Arnold [Russian Math. Surveys 26 (2) (1971) 29-43] constructed a miniversal deformation of 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 a miniversal deformation of matrices under congruence.

Remarks on the classification of a pair of commuting semilinear operators

Gelfand and Ponomarev [Functional Anal. Appl. 3 (1969) 325-326] proved that the problem of classifying pairs of commuting linear operators contains the problem of classifying k-tuples of linear operators for any k. We prove an analogous statement for semilinear operators.

Simultaneous unitary equivalences

Let A, B, C, D be given finite sets of pairs of n-by-n complex matrices. We describe an algorithm to determine, with finitely many computations, whether there is a single unitary matrix U such that each pair of matrices in A is unitarily similar via U, each pair of matrices in B is unitarily congruent via U, each pair of matrices in C is unitarily similar via \bar{U}, and each pair of matrices in D is unitarily congruent via \bar{U}.

Block triangular miniversal deformations of matrices and matrix pencils

For each square complex matrix, V. I. Arnold constructed a normal form with the minimal number of parameters to which a family of all matrices B that are close enough to this matrix can be reduced by similarity transformations that smoothly depend on the entries of B. Analogous normal forms were also constructed for families of complex matrix pencils by A. Edelman, E. Elmroth, and B. Kagstrom, and contragredient matrix pencils (i.e., of matrix pairs up to transformations (A,B)-->(S^{-1}AR,R^{-1}BS)) by M. I. Garcia-Planas and V. V. Sergeichuk. In this paper we give other normal forms for families of matrices, matrix pencils, and contragredient matrix pencils; our normal forms are block triangular.

Canonical matrices of forms and pairs of forms over finite and p-adic fields

Canonical matrices of (a) bilinear and sesquilinear forms, (b) pairs of forms, in which every form is symmetric or skew-symmetric, and (c) pairs of Hermitian forms are given over finite fields of characteristic not 2 and over finite extensions of the field Q_p of p-adic numbers with p not 2. These canonical matrices are special cases of the canonical matrices of (a)-(c) over a field of characteristic not 2 that were obtained in [V. V. Sergeichuk, Math. USSR-Izv. 31 (1988) 481-501] up to classification of quadratic or Hermitian forms over its finite extensions.

Criterion of unitary similarity for upper triangular matrices in general position

Each square complex matrix is unitarily similar to an upper triangular matrix with diagonal entries in any prescribed order. Let A and B be upper triangular n-by-n matrices that (i) are not similar to direct sums of matrices of smaller sizes, or (ii) are in general position and have the same main diagonal. We prove that A and B are unitarily similar if and only if ||h(A_k)||=||h(B_k)|| for all complex polynomials h(x) and k=1, 2, . . , n, where A_k and B_k are the principal k-by-k submatrices of A and B, and ||M|| is the Frobenius norm of M.