Showing 1–50 of 69 results for author: Sergeichuk, V V

Classification of linear operators satisfying $(Au,v)=(u,A^rv)$ or $(Au,A^rv)=(u,v)$ on a vector space with indefinite scalar product

Authors: Victor Senoguchi Borges, Iryna Kashuba, Vladimir V. Sergeichuk, Eduardo Ventilari Sodré, André Zaidan

Abstract: We classify all linear operators $A:V\to V$ satisfying $(Au,v)=(u,A^rv)$ and all linear operators satisfying $(Au,A^rv)=(u,v)$ with $r=2,3,\dots$ on a complex, real, or quaternion vector space with scalar product given by a nonsingular symmetric, skew-symmetric, Hermitian, or skew-Hermitian form. We classify all linear operators $A:V\to V$ satisfying $(Au,v)=(u,A^rv)$ and all linear operators satisfying $(Au,A^rv)=(u,v)$ with $r=2,3,\dots$ on a complex, real, or quaternion vector space with scalar product given by a nonsingular symmetric, skew-symmetric, Hermitian, or skew-Hermitian form. △ Less

Submitted 7 December, 2020; originally announced December 2020.

MSC Class: 15A21; 15A63; 15B57; 46C20; 47B50

Journal ref: Linear Algebra Appl. 611 (2021) 118-134

Pairs of commuting nilpotent operators with one-dimensional intersection of kernels and matrices commuting with a Weyr matrix

Authors: Vitalij M. Bondarenko, Vyacheslav Futorny, Anatolii P. Petravchuk, Vladimir V. Sergeichuk

Abstract: I.M. Gelfand and V.A. Ponomarev (1969) proved that the problem of classifying pairs (A,B) of commuting nilpotent operators on a vector space contains the problem of classifying an arbitrary t-tuple of linear operators. Moreover, it contains the problem of classifying representations of an arbitrary quiver, and so it is considered as hopeless. We give a simple normal form of the matrices of (A,B) i… ▽ More I.M. Gelfand and V.A. Ponomarev (1969) proved that the problem of classifying pairs (A,B) of commuting nilpotent operators on a vector space contains the problem of classifying an arbitrary t-tuple of linear operators. Moreover, it contains the problem of classifying representations of an arbitrary quiver, and so it is considered as hopeless. We give a simple normal form of the matrices of (A,B) if the intersection of kernels of A and B is one-dimensional. We prove that this form is canonical if the Jordan matrix of A is a direct sum of Jordan blocks of the same size and the field is of zero characteristic. △ Less

Submitted 7 December, 2020; originally announced December 2020.

MSC Class: 15A21; 15A27; 16G60

Journal ref: Linear Algebra and its Applications 612 (2021) 188-205

Congruence of matrix spaces, matrix tuples, and multilinear maps

Authors: Genrich R. Belitskii, Vyacheslav Futorny, Mikhail Muzychuk, Vladimir V. Sergeichuk

Abstract: Two matrix vector spaces $V,W\subset \mathbb C^{n\times n}$ are said to be equivalent if $SVR=W$ for some nonsingular $S$ and $R$. These spaces are congruent if $R=S^T$. We prove that if all matrices in $V$ and $W$ are symmetric, or all matrices in $V$ and $W$ are skew-symmetric, then $V$ and $W$ are congruent if and only if they are equivalent. Let $F: U\times\dots\times U\to V$ and… ▽ More Two matrix vector spaces $V,W\subset \mathbb C^{n\times n}$ are said to be equivalent if $SVR=W$ for some nonsingular $S$ and $R$. These spaces are congruent if $R=S^T$. We prove that if all matrices in $V$ and $W$ are symmetric, or all matrices in $V$ and $W$ are skew-symmetric, then $V$ and $W$ are congruent if and only if they are equivalent. Let $F: U\times\dots\times U\to V$ and $G: U'\times\dots\times U'\to V'$ be symmetric or skew-symmetric $k$-linear maps over $\mathbb C$. If there exists a set of linear bijections $\varphi_1,\dots,\varphi_k:U\to U'$ and $ψ:V\to V'$ that transforms $F$ to $G$, then there exists such a set with $\varphi_1=\dots=\varphi_k$. △ Less

Submitted 29 September, 2020; originally announced September 2020.

Comments: 18 pages

MSC Class: 15A21; 15A63; 15A69

Journal ref: Linear Algebra Appl. 609 (2021) 317-331

Operators on positive semidefinite inner product spaces

Authors: Victor A. Bovdi, Tetiana Klymchuk, Tetiana Rybalkina, Mohamed A. Salim, Vladimir V. Sergeichuk

Abstract: We give canonical forms of selfadjoint and isometric operators on a complex vector space $U$ with scalar product given by a positive semidefinite Hermitian form, and of Hermitian forms on $U$. For an arbitrary system of semiunitary spaces and linear mappings on/between them, we give an algorithm that reduces their matrices to canonical form. We give canonical forms of selfadjoint and isometric operators on a complex vector space $U$ with scalar product given by a positive semidefinite Hermitian form, and of Hermitian forms on $U$. For an arbitrary system of semiunitary spaces and linear mappings on/between them, we give an algorithm that reduces their matrices to canonical form. △ Less

Submitted 15 March, 2020; originally announced March 2020.

Comments: 28 pages

MSC Class: 15A21; 15A42; 15A63; 47B50

Journal ref: Linear Algebra Appl. 596 (2020) 82-105

Isometric and selfadjoint operators on a vector space with nondegenerate diagonalizable form

Authors: Jonathan V. Caalim, Vyacheslav Futorny, Vladimir V. Sergeichuk, Yu-ichi Tanaka

Abstract: Let $V$ be a vector space over a field $\mathbb F$ with scalar product given by a nondegenerate sesquilinear form whose matrix is diagonal in some basis. If $\mathbb F=\mathbb C$, then we give canonical matrices of isometric and selfadjoint operators on $V$ using known classifications of isometric and selfadjoint operators on a complex vector space with nondegenerate Hermitian form. If… ▽ More Let $V$ be a vector space over a field $\mathbb F$ with scalar product given by a nondegenerate sesquilinear form whose matrix is diagonal in some basis. If $\mathbb F=\mathbb C$, then we give canonical matrices of isometric and selfadjoint operators on $V$ using known classifications of isometric and selfadjoint operators on a complex vector space with nondegenerate Hermitian form. If $\mathbb F$ is a field of characteristic different from $2$, then we give canonical matrices of isometric, selfadjoint, and skewadjoint operators on $V$ up to classification of symmetric and Hermitian forms over finite extensions of $\mathbb F$. △ Less

Submitted 12 November, 2019; originally announced November 2019.

Comments: 21 pages

MSC Class: 15A21; 15A63; 46C20; 47B50

Journal ref: Linear Algebra Appl. 587 (2020) 92-110

A constructive proof of Pokrzywa's theorem about perturbations of matrix pencils

Authors: Vyacheslav Futorny, Tetiana Klymchuk, Vladimir V. Sergeichuk, Nadya Shvai

Abstract: Our purpose is to give new proofs of several known results about perturbations of matrix pencils. Andrzej Pokrzywa (1986) described the closure of orbit of a Kronecker canonical pencil $A-λB$ in terms of inequalities with pencil invariants. In more detail, Pokrzywa described all Kronecker canonical pencils $K-λL$ such that each neighborhood of $A-λB$ contains a pencil whose Kronecker canonical for… ▽ More Our purpose is to give new proofs of several known results about perturbations of matrix pencils. Andrzej Pokrzywa (1986) described the closure of orbit of a Kronecker canonical pencil $A-λB$ in terms of inequalities with pencil invariants. In more detail, Pokrzywa described all Kronecker canonical pencils $K-λL$ such that each neighborhood of $A-λB$ contains a pencil whose Kronecker canonical form is $K-λL$. Another solution of this problem was given by Klaus Bongartz (1996) by methods of representation theory. We give a direct and constructive proof of Pokrzywa's theorem. We reduce its proof to the cases of matrices under similarity and of matrix pencils $P-λQ$ that are direct sums of two indecomposable Kronecker canonical pencils. We calculate the Kronecker forms of all pencils in a neighborhood of such a pencil $P-λQ$. In fact, we calculate the Kronecker forms of only those pencils that belong to a miniversal deformation of $P-λQ$, which is sufficient since all pencils in a neighborhood of $P-λQ$ are reduced to them by smooth strict equivalence transformations. △ Less

Submitted 6 July, 2019; originally announced July 2019.

MSC Class: 15A21; 15A22

Lipschitz property for systems of linear mappings and bilinear forms

Authors: Abdullah Alazemi, Milica Anđelić, Carlos M. da Fonseca, Vladimir V. Sergeichuk

Abstract: Let G be a graph with undirected and directed edges. Its representation is given by assigning a vector space to each vertex, a bilinear form on the corresponding vector spaces to each directed edge, and a linear map to each directed edge. Two representations A and A' of G are called isomorphic if there is a system of linear bijections between the vector spaces corresponding to the same vertices th… ▽ More Let G be a graph with undirected and directed edges. Its representation is given by assigning a vector space to each vertex, a bilinear form on the corresponding vector spaces to each directed edge, and a linear map to each directed edge. Two representations A and A' of G are called isomorphic if there is a system of linear bijections between the vector spaces corresponding to the same vertices that transforms A to A'. We prove that if two representations are isomorphic and close to each other, then their isomorphism can be chosen close to the identity. △ Less

Submitted 25 March, 2019; originally announced March 2019.

Comments: 12 pages

MSC Class: 15A21; 15A63; 16G20

Journal ref: Linear Algebra Appl. 573 (2019) 26-36

Wildness for tensors

Authors: Vyacheslav Futorny, Joshua A. Grochow, Vladimir V. Sergeichuk

Abstract: In representation theory, a classification problem is called wild if it contains the problem of classifying matrix pairs up to simultaneous similarity. The latter problem is considered as hopeless; it contains the problem of classifying an arbitrary finite system of vector spaces and linear mappings between them. We prove that an analogous "universal" problem in the theory of tensors of order at m… ▽ More In representation theory, a classification problem is called wild if it contains the problem of classifying matrix pairs up to simultaneous similarity. The latter problem is considered as hopeless; it contains the problem of classifying an arbitrary finite system of vector spaces and linear mappings between them. We prove that an analogous "universal" problem in the theory of tensors of order at most 3 over an arbitrary field is the problem of classifying three-dimensional arrays up to equivalence transformations \[ [a_{ijk}]_{i=1}^{m}\,{}_{j=1}^{n}\,{}_{k=1}^{t}\ \mapsto\ \Bigl[ \sum_{i,j,k} a_{ijk}u_{ii'} v_{jj'}w_{kk'}\Bigr]{}_{i'=1}^{m}\,{}_{j'=1}^{n}\,{}_{k'=1}^{t} \] in which $[u_{ii'}]$, $[v_{jj'}]$, $[w_{kk'}]$ are nonsingular matrices: this problem contains the problem of classifying an arbitrary system of tensors of order at most three. △ Less

Submitted 8 January, 2019; v1 submitted 22 October, 2018; originally announced October 2018.

Comments: 38 pages

MSC Class: 16G60; 15A72; 15A69; 47A07

Journal ref: Linear Algebra Appl. 566 (2019) 212-244

Reduction of a pair of skew-symmetric matrices to its canonical form under congruence

Authors: V. A. Bovdi, T. G. Gerasimova, M. A. Salim, V. V. Sergeichuk

Abstract: Let $(A,B)$ be a pair of skew-symmetric matrices over a field of characteristic not 2. Its regularization decomposition is a direct sum \[ (\underline{\underline A},\underline{\underline B})\oplus (A_1,B_1)\oplus\dots\oplus(A_t,B_t) \] that is congruent to $(A,B)$, in which $(\underline{\underline A},\underline{\underline B})$ is a pair of nonsingular matrices and $(A_1,B_1),$ $\dots,$… ▽ More Let $(A,B)$ be a pair of skew-symmetric matrices over a field of characteristic not 2. Its regularization decomposition is a direct sum \[ (\underline{\underline A},\underline{\underline B})\oplus (A_1,B_1)\oplus\dots\oplus(A_t,B_t) \] that is congruent to $(A,B)$, in which $(\underline{\underline A},\underline{\underline B})$ is a pair of nonsingular matrices and $(A_1,B_1),$ $\dots,$ $(A_t,B_t)$ are singular indecomposable canonical pairs of skew-symmetric matrices under congruence. We give an algorithm that constructs a regularization decomposition. We also give a constructive proof of the known canonical form of $(A,B)$ under congruence over an algebraically closed field of characteristic not 2. △ Less

Submitted 23 December, 2017; originally announced December 2017.

Comments: 16 pages

MSC Class: 15A21; 15A22; 15A63; 51A50

Journal ref: Linear Algebra Appl. 543 (2018) 17-30

Symplectic spaces and pairs of symmetric and nonsingular skew-symmetric matrices under congruence

Authors: Victor A. Bovdi, Roger A. Horn, Mohamed A. Salim, Vladimir V. Sergeichuk

Abstract: Let $\mathbb F$ be a field of characteristic not $2$, and let $(A,B)$ be a pair of $n\times n$ matrices over $\mathbb F$, in which $A$ is symmetric and $B$ is skew-symmetric. A canonical form of $(A,B)$ with respect to congruence transformations $(S^TAS,S^TBS)$ was given by Sergeichuk (1988) up to classification of symmetric and Hermitian forms over finite extensions of $\mathbb F$. We obtain a si… ▽ More Let $\mathbb F$ be a field of characteristic not $2$, and let $(A,B)$ be a pair of $n\times n$ matrices over $\mathbb F$, in which $A$ is symmetric and $B$ is skew-symmetric. A canonical form of $(A,B)$ with respect to congruence transformations $(S^TAS,S^TBS)$ was given by Sergeichuk (1988) up to classification of symmetric and Hermitian forms over finite extensions of $\mathbb F$. We obtain a simpler canonical form of $(A,B)$ if $B$ is nonsingular. Such a pair $(A,B)$ defines a quadratic form on a symplectic space, that is, on a vector space with scalar product given by a nonsingular skew-symmetric form. As an application, we obtain known canonical matrices of quadratic forms and Hamiltonian operators on real and complex symplectic spaces. △ Less

Submitted 29 September, 2017; originally announced September 2017.

Comments: 19 pages

MSC Class: 15A21; 15A22; 15A63; 51A50

Journal ref: Linear Algebra and Its Applications 537 (2018) 84-99

Wildness of the problems of classifying two-dimensional spaces of commuting linear operators and certain Lie algebras

Authors: Vyacheslav Futorny, Tetiana Klymchuk, Anatolii P. Petravchuk, Vladimir V. Sergeichuk

Abstract: For each two-dimensional vector space $V$ of commuting $n\times n$ matrices over a field $\mathbb F$ with at least 3 elements, we denote by $\widetilde V$ the vector space of all $(n+1)\times(n+1)$ matrices of the form $\left[\begin{smallmatrix}A&*\\0&0\end{smallmatrix}\right]$ with $A\in V$. We prove the wildness of the problem of classifying Lie algebras $\widetilde V$ with the bracket operation… ▽ More For each two-dimensional vector space $V$ of commuting $n\times n$ matrices over a field $\mathbb F$ with at least 3 elements, we denote by $\widetilde V$ the vector space of all $(n+1)\times(n+1)$ matrices of the form $\left[\begin{smallmatrix}A&*\\0&0\end{smallmatrix}\right]$ with $A\in V$. We prove the wildness of the problem of classifying Lie algebras $\widetilde V$ with the bracket operation $[u,v]:=uv-vu$. We also prove the wildness of the problem of classifying two-dimensional vector spaces consisting of commuting linear operators on a vector space over a field. △ Less

Submitted 29 September, 2017; originally announced September 2017.

Comments: 11 pages

MSC Class: 15A21; 16G60; 17B10

Journal ref: Linear Algebra and Its Applications 536 (2018) 201-209

Classification of linear mappings between indefinite inner product spaces

Authors: Juan Meleiro, Vladimir V. Sergeichuk, Thiago Solovera, Andre Zaidan

Abstract: Let $\mathcal A:U\to V$ be a linear mapping between vector spaces $U$ and $V$ over a field or skew field $\mathbb F$ with symmetric, or skew-symmetric, or Hermitian forms $\mathcal B:U\times U\to\mathbb F$ and $\mathcal C:V\times V\to\mathbb F.$ We classify the triples $(\mathcal A,\mathcal B,\mathcal C)$ if $\mathbb F$ is $\mathbb R$, or $\mathbb C$, or the skew field of quaternions $\mathbb H$.… ▽ More Let $\mathcal A:U\to V$ be a linear mapping between vector spaces $U$ and $V$ over a field or skew field $\mathbb F$ with symmetric, or skew-symmetric, or Hermitian forms $\mathcal B:U\times U\to\mathbb F$ and $\mathcal C:V\times V\to\mathbb F.$ We classify the triples $(\mathcal A,\mathcal B,\mathcal C)$ if $\mathbb F$ is $\mathbb R$, or $\mathbb C$, or the skew field of quaternions $\mathbb H$. We also classify the triples $(\mathcal A,\mathcal B,\mathcal C)$ up to classification of symmetric forms and Hermitian forms if the characteristic of $\mathbb F$ is not 2. △ Less

Submitted 16 June, 2017; originally announced June 2017.

Comments: 21 pages

MSC Class: 11E39; 15A21; 15A63; 46C20

Journal ref: Linear Algebra Appl. 531 (2017) 356-374

Generalization of Roth's solvability criteria to systems of matrix equations

Authors: Andrii Dmytryshyn, Vyacheslav Futorny, Tetiana Klymchuk, Vladimir V. Sergeichuk

Abstract: W.E. Roth (1952) proved that the matrix equation $AX-XB=C$ has a solution if and only if the matrices $\left[\begin{matrix}A&C\\0&B\end{matrix}\right]$ and $\left[\begin{matrix}A&0\\0&B\end{matrix}\right]$ are similar. A. Dmytryshyn and B. Kågström (2015) extended Roth's criterion to systems of matrix equations $A_iX_{i'}M_i-N_iX_{i''}^{σ_i} B_i=C_i$ $(i=1,\dots,s)$ with unknown matrices… ▽ More W.E. Roth (1952) proved that the matrix equation $AX-XB=C$ has a solution if and only if the matrices $\left[\begin{matrix}A&C\\0&B\end{matrix}\right]$ and $\left[\begin{matrix}A&0\\0&B\end{matrix}\right]$ are similar. A. Dmytryshyn and B. Kågström (2015) extended Roth's criterion to systems of matrix equations $A_iX_{i'}M_i-N_iX_{i''}^{σ_i} B_i=C_i$ $(i=1,\dots,s)$ with unknown matrices $X_1,\dots,X_t$, in which every $X^σ$ is $X$, $X^T$, or $X^*$. We extend their criterion to systems of complex matrix equations that include the complex conjugation of unknown matrices. We also prove an analogous criterion for systems of quaternion matrix equations. △ Less

Submitted 15 April, 2017; originally announced April 2017.

Comments: 11 pages

MSC Class: 15A24

Journal ref: Linear Algebra Appl. 527 (2017) 294-302

Specht's criterion for systems of linear mappings

Authors: Vyacheslav Futorny, Roger A. Horn, Vladimir V. Sergeichuk

Abstract: W.Specht (1940) proved that two $n\times n$ complex matrices $A$ and $B$ are unitarily similar if and only if $\operatorname{trace} w(A,A^{\ast}) = \operatorname{trace} w(B,B^{\ast})$ for every word $w(x,y)$ in two noncommuting variables. We extend his criterion and its generalizations by N.A.Wiegmann (1961) and N.Jing (2015) to an arbitrary system $\mathcal A$ consisting of complex or real inner… ▽ More W.Specht (1940) proved that two $n\times n$ complex matrices $A$ and $B$ are unitarily similar if and only if $\operatorname{trace} w(A,A^{\ast}) = \operatorname{trace} w(B,B^{\ast})$ for every word $w(x,y)$ in two noncommuting variables. We extend his criterion and its generalizations by N.A.Wiegmann (1961) and N.Jing (2015) to an arbitrary system $\mathcal A$ consisting of complex or real inner product spaces and linear mappings among them. We represent such a system by the directed graph $Q(\mathcal A)$, whose vertices are inner product spaces and arrows are linear mappings. Denote by $\widetilde Q(\mathcal A)$ the directed graph obtained by enlarging to $Q(\mathcal A)$ the adjoint linear mappings. We prove that a system $\mathcal A$ is transformed by isometries of its spaces to a system $\mathcal B$ if and only if the traces of all closed directed walks in $\widetilde Q(\mathcal A)$ and $\widetilde Q(\mathcal B)$ coincide. △ Less

Submitted 30 January, 2017; originally announced January 2017.

Comments: 21 pages

MSC Class: 15A21; 15A63; 16G20; 47A67

Journal ref: Linear Algebra Appl. 519C (2017) 278-295

Topological classification of systems of bilinear and sesquilinear forms

Authors: Carlos M. da Fonseca, Vyacheslav Futorny, Tetiana Rybalkina, Vladimir V. Sergeichuk

Abstract: 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… ▽ More 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}$. △ Less

Submitted 26 November, 2016; originally announced November 2016.

Comments: 5 pages

MSC Class: 15A21; 37C15

Journal ref: Linear Algebra Appl. 515 (2017) 1-5

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$

Authors: Vyacheslav Futorny, Tetiana Klymchuk, Vladimir V. Sergeichuk

Abstract: 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… ▽ More 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$. △ Less

Submitted 10 November, 2016; originally announced November 2016.

Comments: 14 pages

MSC Class: 15A24; 15B33

Journal ref: Linear Algebra Appl. 510 (2016) 246--258

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

Authors: Victor A. Bovdi, Mohammed A. Salim, Vladimir V. Sergeichuk

Abstract: 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… ▽ More 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$. △ Less

Submitted 10 November, 2016; originally announced November 2016.

Comments: 19 pages

MSC Class: 15A21; 15B33; 37J40

Journal ref: Linear Algebra Appl. 512 (2017) 97-112

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

Authors: Ma. Nerissa M. Abara, Dennis I. Merino, Vyacheslav I. Rabanovich, Vladimir V. Sergeichuk, John Patrick Sta. Maria

Abstract: 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… ▽ More 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. △ Less

Submitted 8 August, 2016; originally announced August 2016.

Comments: 11 pages

MSC Class: 15A21; 15A23

Journal ref: Linear Algebra Appl. 508 (2016) 246-254

Topological classification of sesquilinear forms: reduction to the nonsingular case

Authors: Carlos M. da Fonseca, Tetiana Rybalkina, Vladimir V. Sergeichuk

Abstract: 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 $\varphi :\mathbb C^m\to \mathbb C^n$ (i.e., a continuous bijection whose inverse is also a continuous bijection) such that $Φ(x,y)=Ψ(\varphi (x),\varphi (y))$ for all $x,y\in \mathbb C^m$. R.A.Horn and V.V.Sergei… ▽ More 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 $\varphi :\mathbb C^m\to \mathbb C^n$ (i.e., a continuous bijection whose inverse is also a continuous bijection) such that $Φ(x,y)=Ψ(\varphi (x),\varphi (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. △ Less

Submitted 18 April, 2016; originally announced April 2016.

Comments: 11 pages

MSC Class: 15A21; 15B33; 37J40

Journal ref: Linear Algebra Appl. 504 (2016) 581-589

Tame systems of linear and semilinear mappings

Authors: Tatiana Klimchuk, Dmitry Kovalenko, Tetiana Rybalkina, Vladimir V. Sergeichuk

Abstract: We study systems of linear and semilinear mappings considering them as representations of a directed graph $G$ with full and dashed arrows: a representation of $G$ is given by assigning to each vertex a complex vector space, to each full arrow a linear mapping, and to each dashed arrow a semilinear mapping of the corresponding vector spaces. We extend to such representations the classical theorems… ▽ More We study systems of linear and semilinear mappings considering them as representations of a directed graph $G$ with full and dashed arrows: a representation of $G$ is given by assigning to each vertex a complex vector space, to each full arrow a linear mapping, and to each dashed arrow a semilinear mapping of the corresponding vector spaces. We extend to such representations the classical theorems by Gabriel about quivers of finite type and by Nazarova, Donovan, and Freislich about quivers of tame types. △ Less

Submitted 10 December, 2014; originally announced December 2014.

MSC Class: 15A04; 15A21; 16G60

Journal ref: Contemp. Math. 658 (2016) 103-114

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

Authors: Tatiana Klimchuk, Vladimir V. Sergeichuk

Abstract: 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 w… ▽ More 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$. △ Less

Submitted 8 December, 2014; originally announced December 2014.

MSC Class: 15A21; 15A24; 15B33

Journal ref: Special Matrices 2 (2014) 180-186

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

Authors: Vyacheslav Futorny, Tetiana Rybalkina, Vladimir V. Sergeichuk

Abstract: 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. 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. △ Less

Submitted 3 May, 2014; v1 submitted 11 March, 2014; originally announced March 2014.

Comments: 20 pages

MSC Class: 15A21; 37C15

Journal ref: Linear Algebra and its Applications 450 (2014) 121-137

Topological classification of oriented cycles of linear mappings

Authors: Tetiana Rybalkina, Vladimir V. Sergeichuk

Abstract: 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] an… ▽ More 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. △ Less

Submitted 11 January, 2014; originally announced January 2014.

Comments: 10 pages

MSC Class: 15A21; 37C15

Journal ref: Ukrain. Mat. Zh. 66 (2014) 1407-1413

Representations of quivers and mixed graphs

Authors: Roger A. Horn, Vladimir V. Sergeichuk

Abstract: 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… ▽ More 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. △ Less

Submitted 30 December, 2013; originally announced December 2013.

MSC Class: 15A21; 16G20

Journal ref: Chapter 34 in: L. Hogben (Ed.), Handbook of Linear Algebra, 2nd ed., Chapman and Hall, CRC, Boca Raton, FL, 2014

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

Authors: Lena Klimenko, Vladimir V. Sergeichuk

Abstract: 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 si… ▽ More 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. △ Less

Submitted 14 December, 2013; v1 submitted 4 November, 2013; originally announced November 2013.

Comments: 25 pages

MSC Class: 15A21; 15A63; 47A07; 47A55

Journal ref: Sao Paulo Journal of Mathematical Sciences 8 (2014) 1-22

Topological classification of Mobius transformations

Authors: Tetiana Rybalkina, Vladimir V. Sergeichuk

Abstract: 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. 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. △ Less

Submitted 19 August, 2013; originally announced August 2013.

Comments: 11 pages

MSC Class: 15A21; 37C15

Journal ref: J. Math. Sci. (N.Y.) 193 (2013) 769-774

Topological classification of chains of linear mappings

Authors: Tetiana Rybalkina, Vladimir V. Sergeichuk

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

Submitted 19 August, 2013; originally announced August 2013.

Comments: 14 pages

MSC Class: 15A21; 37C15

Journal ref: Linear Algebra Appl. 437 (2012) 860-869

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

Authors: Vyacheslav Futorny, Lena Klimenko, Vladimir V. Sergeichuk

Abstract: 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. 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. △ Less

Submitted 21 April, 2013; originally announced April 2013.

Comments: 8 pages. arXiv admin note: substantial text overlap with arXiv:1105.2160

MSC Class: 15A21; 15A63

Journal ref: Electr. J. Linear Algebra 27 (2014) 146-154

Cycles of linear and semilinear mappings

Authors: Debora Duarte de Oliveira, Vyacheslav Futorny, Tatiana Klimchuk, Dmitry Kovalenko, Vladimir V. Sergeichuk

Abstract: 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. 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. △ Less

Submitted 27 August, 2012; originally announced August 2012.

Comments: 18 pages

MSC Class: 15A04; 15A21

Journal ref: Linear Algebra Appl. 438 (2013) 3442-3453

Systems of subspaces of a unitary space

Authors: Vitalij M. Bondarenko, Vyacheslav Futorny, Tatiana Klimchuk, Vladimir V. Sergeichuk, Kostyantyn Yusenko

Abstract: 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. 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. △ Less

Submitted 27 August, 2012; originally announced August 2012.

Comments: 20 pages

MSC Class: 15A63; 15A21

Journal ref: Linear Algebra Appl. 438 (2013) 2561-2573

Simultaneous unitary equivalences

Authors: Tatiana G. Gerasimova, Roger A. Horn, Vladimir V. Sergeichuk

Abstract: 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… ▽ More 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}. △ Less

Submitted 19 December, 2011; originally announced December 2011.

Comments: 10 pages

MSC Class: 15A21; 15A27

Journal ref: Linear Algebra Appl. 438 (2013) 3829-3835

A canonical form for nonderogatory matrices under unitary similarity

Authors: Vyacheslav Futorny, Roger A. Horn, Vladimir V. Sergeichuk

Abstract: 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. 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. △ Less

Submitted 15 December, 2011; originally announced December 2011.

Comments: 18 pages

MSC Class: 15A21

Journal ref: Linear Algebra and its Applications 435 (2011) 830-841

Remarks on the classification of a pair of commuting semilinear operators

Authors: Debora Duarte de Oliveira, Roger A. Horn, Tatiana Klimchuk, Vladimir V. Sergeichuk

Abstract: 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. 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. △ Less

Submitted 18 October, 2011; originally announced October 2011.

Comments: 15 pages

MSC Class: 15A04; 15A21

Journal ref: Linear Algebra Appl. 436 (2012) 3362-3372

Miniversal deformations of matrices under *congruence and reducing transformations

Authors: A. Dmytryshyn, V. Futorny, V. V. Sergeichuk

Abstract: V.I. Arnold [Russian Math. Surveys 26(2) (1971) 29-43] constructed a miniversal deformation of a square complex matrix 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 give miniversal deformations of matrices of sesquilinear forms; that i… ▽ More V.I. Arnold [Russian Math. Surveys 26(2) (1971) 29-43] constructed a miniversal deformation of a square complex matrix 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 give miniversal deformations of matrices of sesquilinear forms; that is, of square complex matrices under *congruence, and construct an analytic reducing transformation to a miniversal deformation. Analogous results for matrices under congruence were obtained by the authors in [Linear Algebra Appl. 436 (2012) 2670-2700]. △ Less

Submitted 6 October, 2013; v1 submitted 11 May, 2011; originally announced May 2011.

Comments: 36 pages. arXiv admin note: text overlap with arXiv:1305.6675 by other authors

MSC Class: 15A21; 15A63; 47A07

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

Authors: Vladimir V. Sergeichuk

Abstract: 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 characteris… ▽ More 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. △ Less

Submitted 13 November, 2010; originally announced November 2010.

Comments: 41 pages

MSC Class: 15A21

Criterion of unitary similarity for upper triangular matrices in general position

Authors: Douglas Farenick, Vyacheslav Futorny, Tatiana G. Gerasimova, Vladimir V. Sergeichuk, Nadya Shvai

Abstract: 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 com… ▽ More 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. △ Less

Submitted 29 October, 2010; originally announced November 2010.

Comments: 16 pages

MSC Class: 15A21; 15A60

Journal ref: Linear Algebra Appl. 435 (2011) 1356-1369

Matrices that are self-congruent only via matrices of determinant one

Authors: Tatyana G. Gerasimova, Roger A. Horn, Vladimir V. Sergeichuk

Abstract: Docovic and Szechtman, [Proc. Amer. Math. Soc. 133 (2005) 2853-2863] considered a vector space V endowed with a bilinear form. They proved that all isometries of V over a field F of characteristic not 2 have determinant 1 if and only if V has no orthogonal summands of odd dimension (the case of characteristic 2 was also considered). Their proof is based on Riehm's classification of bilinear forms.… ▽ More Docovic and Szechtman, [Proc. Amer. Math. Soc. 133 (2005) 2853-2863] considered a vector space V endowed with a bilinear form. They proved that all isometries of V over a field F of characteristic not 2 have determinant 1 if and only if V has no orthogonal summands of odd dimension (the case of characteristic 2 was also considered). Their proof is based on Riehm's classification of bilinear forms. Coakley, Dopico, and Johnson [Linear Algebra Appl. 428 (2008) 796-813] gave another proof of this criterion over the fields of real and complex numbers using Thompson's canonical pairs of symmetric and skew-symmetric matrices for congruence. Let M be the matrix of the bilinear form on V. We give another proof of this criterion over F using our canonical matrices for congruence and obtain necessary and sufficient conditions involving canonical forms of M for congruence, of (M^T,M) for equivalence, and of M^{-T}M (if M is nonsingular) for similarity. △ Less

Submitted 20 April, 2010; originally announced April 2010.

Comments: 21 pages

MSC Class: 15A21; 15A63

Journal ref: Linear Algebra Appl. 431 (2009) 1620-1632

Block triangular miniversal deformations of matrices and matrix pencils

Authors: Lena Klimenko, Vladimir V. Sergeichuk

Abstract: 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… ▽ More 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. △ Less

Submitted 20 April, 2010; originally announced April 2010.

Comments: 14 pages

MSC Class: 15A21; 15A22

Journal ref: This paper was published in: V. Olshevsky, E. Tyrtyshnikov (Eds), Matrix Methods: Theory, Algorithms and Applications, World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2010, pp. 69-84.

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

Authors: Andrii Dmytryshyn, Vyacheslav Futorny, Bo Kågström, Lena Klimenko, Vladimir V. Sergeichuk

Abstract: 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 arbitrari… ▽ More 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. △ Less

Submitted 8 December, 2014; v1 submitted 20 April, 2010; originally announced April 2010.

Comments: 34 pages

MSC Class: 15A21; 15A63

Journal ref: Linear Algebra and its Applications 469 (2015) 305-334

Miniversal deformations of matrices of bilinear forms

Authors: Andrii R. Dmytryshyn, Vyacheslav Futorny, Vladimir V. Sergeichuk

Abstract: 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. 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. △ Less

Submitted 1 December, 2011; v1 submitted 20 April, 2010; originally announced April 2010.

Comments: 39 pages. The first version of this paper was published as Preprint RT-MAT 2007-04, Universidade de Sao Paulo, 2007, 34 p. The work was done while the second author was visiting the University of Sao Paulo supported by the Fapesp grants (05/59407-6 and 2010/07278-6). arXiv admin note: substantial text overlap with arXiv:1105.2160

MSC Class: 15A21; 15A63

Journal ref: Linear Algebra Appl. 436 (2012) 2670-2700

Pairs of mutually annihilating operators

Authors: Vitalij M. Bondarenko, Tatiana G. Gerasimova, Vladimir V. Sergeichuk

Abstract: Pairs (A,B) of mutually annihilating operators AB=BA=0 on a finite dimensional vector space over an algebraically closed field were classified by Gelfand and Ponomarev [Russian Math. Surveys 23 (1968) 1-58] by method of linear relations. The classification of (A,B) over any field was derived by Nazarova, Roiter, Sergeichuk, and Bondarenko [J. Soviet Math. 3 (1975) 636-654] from the classificatio… ▽ More Pairs (A,B) of mutually annihilating operators AB=BA=0 on a finite dimensional vector space over an algebraically closed field were classified by Gelfand and Ponomarev [Russian Math. Surveys 23 (1968) 1-58] by method of linear relations. The classification of (A,B) over any field was derived by Nazarova, Roiter, Sergeichuk, and Bondarenko [J. Soviet Math. 3 (1975) 636-654] from the classification of finitely generated modules over a dyad of two local Dedekind rings. We give canonical matrices of (A,B) over any field in an explicit form and our proof is constructive: the matrices of (A,B) are sequentially reduced to their canonical form by similarity transformations (A,B)--> S^{-1}AS, S^{-1}BS). △ Less

Submitted 11 December, 2008; originally announced December 2008.

Comments: 28 pages

MSC Class: 15A21

Journal ref: Linear Algebra Appl. 430 (2009) 86-105

Classification problems for system of forms and linear mappings

Authors: Vladimir V. Sergeichuk

Abstract: We devise a method that reduces the problem of classifying systems of forms and linear mappings to the problem of classifying systems of linear mappings. Canonical matrices of (i) bilinear or sesquilinear forms, (ii) pairs of symmetric, skew-symmetric, or Hermitian forms, (iii) isometric or selfadjoint operators on a space with nonsingular symmetric, or skew-symmetric, or Hermitian form ar… ▽ More We devise a method that reduces the problem of classifying systems of forms and linear mappings to the problem of classifying systems of linear mappings. Canonical matrices of (i) bilinear or sesquilinear forms, (ii) pairs of symmetric, skew-symmetric, or Hermitian forms, (iii) isometric or selfadjoint operators on a space with nonsingular symmetric, or skew-symmetric, or Hermitian form are obtained over any field of characteristic not 2 up to classification of Hermitian forms over its finite extensions. △ Less

Submitted 5 January, 2008; originally announced January 2008.

Comments: 46 pages

MSC Class: 15A21

Journal ref: Math. USSR-Izv. 31 (no. 3) (1988) 481-501

Canonical Forms for Unitary Congruence and *Congruence

Authors: Roger A. Horn, Vladimir V. Sergeichuk

Abstract: 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 \bar{A}A (respectively, A^2) is normal. As special cases of our canonical forms, we obtain-in a coherent and systematic way-known canonical for… ▽ More 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 \bar{A}A (respectively, A^2) 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, 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^3 is normal, and (b) unitary congruence when A\bar{A}A is normal, are both unitarily wild, so there is no reasonable hope that a simple solution to them can be found. △ Less

Submitted 8 October, 2007; originally announced October 2007.

Comments: 43 pages, to be published in Linear Multilinear Algebra

MSC Class: 15A21

Journal ref: Linear Multilinear Algebra 57 (2009) 777-815

Miniversal deformations of chains of linear mappings

Authors: T. N. Gaiduk, V. V. Sergeichuk, N. A. Zharko

Abstract: V.I. Arnold [Russian Math. Surveys, 26 (no. 2), 1971, pp. 29-43] gave a miniversal deformation of matrices of linear operators; that is, a simple canonical form, to which not only a given square matrix A, but also the family of all matrices close to A, can be reduced by similarity transformations smoothly depending on the entries of matrices. We study miniversal deformations of quiver representa… ▽ More V.I. Arnold [Russian Math. Surveys, 26 (no. 2), 1971, pp. 29-43] gave a miniversal deformation of matrices of linear operators; that is, a simple canonical form, to which not only a given square matrix A, but also the family of all matrices close to A, can be reduced by similarity transformations smoothly depending on the entries of matrices. We study miniversal deformations of quiver representations and obtain a miniversal deformation of matrices of chains of linear mappings. △ Less

Submitted 5 October, 2007; originally announced October 2007.

Comments: 15 pages

Journal ref: Algebra Discrete Math.(no.1) (2005) 47-61

Generic canonical form of pairs of matrices with zeros

Authors: Tatyana N. Gaiduk, Vladimir V. Sergeichuk

Abstract: We consider a family of pairs of m-by-p and m-by-q matrices, in which some entries are required to be zero and the others are arbitrary, with respect to transformations (A,B)--> (SAR,SBL) with nonsingular S, R, L. We prove that almost all of these pairs reduce to the same pair (C, D) from this family, except for pairs whose arbitrary entries are zeros of a certain polynomial. The polynomial and… ▽ More We consider a family of pairs of m-by-p and m-by-q matrices, in which some entries are required to be zero and the others are arbitrary, with respect to transformations (A,B)--> (SAR,SBL) with nonsingular S, R, L. We prove that almost all of these pairs reduce to the same pair (C, D) from this family, except for pairs whose arbitrary entries are zeros of a certain polynomial. The polynomial and the pair (C D) are constructed by a combinatorial method based on properties of a certain graph. △ Less

Submitted 5 October, 2007; originally announced October 2007.

Comments: 13 pages

MSC Class: 15A21

Journal ref: Linear Algebra Appl. 380 (2004) 241-251

Classification of squared normal operators on unitary and Euclidean spaces

Authors: Vyacheslav Futorny, Roger A. Horn, Vladimir V. Sergeichuk

Abstract: We give a canonical form for a complex matrix, whose square is normal, under transformations of unitary similarity as well as a canonical form for a real matrix, whose square is normal, under transformations of orthogonal similarity. We give a canonical form for a complex matrix, whose square is normal, under transformations of unitary similarity as well as a canonical form for a real matrix, whose square is normal, under transformations of orthogonal similarity. △ Less

Submitted 4 October, 2007; originally announced October 2007.

Comments: 9 pages; this is the English translation of the paper that was accepted for publication in Fundam. Prikl. Mat

MSC Class: 15A21

Journal ref: Fundam. Prikl. Mat. (in Russian) 13 (no. 4) (2007) 225-232. English translation: J. Math. Sci. (N.Y.) 155 (2008) 950-955

Generic families of matrix pencils and their bifurcation diagrams

Authors: M. Isabel Garcia-Planas, Vladimir V. Sergeichuk

Abstract: V. I. Arnold [Russian Math. Surveys 26, no. 2, 1971, 29-43] constructed smooth generic families of matrices with respect to similarity transformations depending smoothly on the entries of matrices and got bifurcation diagrams of such families with a small number of parameters. We extend these results to pencils of matrices. V. I. Arnold [Russian Math. Surveys 26, no. 2, 1971, 29-43] constructed smooth generic families of matrices with respect to similarity transformations depending smoothly on the entries of matrices and got bifurcation diagrams of such families with a small number of parameters. We extend these results to pencils of matrices. △ Less

Submitted 4 October, 2007; originally announced October 2007.

Comments: 19 pages

MSC Class: 15A21; 15A22; 32G34

Journal ref: Linear Algebra Appl. 332-334 (2001) 165-179

Simplest miniversal deformations of matrices, matrix pencils, and contragredient matrix pencils

Authors: M. Isabel Garcia-Planas, Vladimir V. Sergeichuk

Abstract: V. I. Arnold [Russian Math. Surveys 26 (2) (1971) 29-43] constructed a simple normal form for a family of complex n-by-n matrices that smoothly depend on parameters with respect to similarity transformations that smoothly depend on the same parameters. We construct analogous normal forms for a family of real matrices and a family of matrix pencils that smoothly depend on parameters, simplifying… ▽ More V. I. Arnold [Russian Math. Surveys 26 (2) (1971) 29-43] constructed a simple normal form for a family of complex n-by-n matrices that smoothly depend on parameters with respect to similarity transformations that smoothly depend on the same parameters. We construct analogous normal forms for a family of real matrices and a family of matrix pencils that smoothly depend on parameters, simplifying their normal forms by D. M. Galin [Uspehi Mat. Nauk 27 (1) (1972) 241-242] and by A. Edelman, E. Elmroth, B. Kagstrom [Siam J. Matrix Anal. Appl. 18 (3) (1997) 653-692]. △ Less

Submitted 4 October, 2007; originally announced October 2007.

Comments: 20 pages

MSC Class: 15A21; 15A22; 32G34

Journal ref: Linear Algebra Appl. 302-303 (1999) 45-61

Canonical matrices of isometric operators on indefinite inner product spaces

Authors: Vladimir V. Sergeichuk

Abstract: We give canonical matrices of a pair (A,B) consisting of a nondegenerate form B and a linear operator A satisfying B(Ax,Ay)=B(x,y) on a vector space over F in the following cases: (i) F is an algebraically closed field of characteristic different from 2 or a real closed field, and B is symmetric or skew-symmetric; (ii) F is an algebraically closed field or the skew field of quaternions over… ▽ More We give canonical matrices of a pair (A,B) consisting of a nondegenerate form B and a linear operator A satisfying B(Ax,Ay)=B(x,y) on a vector space over F in the following cases: (i) F is an algebraically closed field of characteristic different from 2 or a real closed field, and B is symmetric or skew-symmetric; (ii) F is an algebraically closed field or the skew field of quaternions over a real closed field, and B is Hermitian or skew-Hermitian with respect to any nonidentity involution on F. We use a method that admits to reduce the problem of classifying an arbitrary system of forms and linear mappings to the problem of classifying representations of some quiver. This method was described in [V.V. Sergeichuk, Math. USSR-Izv. 31 (1988) 481-501]. △ Less

Submitted 4 October, 2007; originally announced October 2007.

Comments: 57 pages

Journal ref: Linear Algebra Appl. 428 (2008) 154-192

Classification of sesquilinear forms with the first argument on a subspace or a factor space

Authors: Vyacheslav Futorny, Vladimir V. Sergeichuk

Abstract: We give canonical matrices of bilinear or sesquilinear forms UxV-->C, (V/U)xV-->C, in which V is a vector space over the field C of complex numbers and U is its subspace. We give canonical matrices of bilinear or sesquilinear forms UxV-->C, (V/U)xV-->C, in which V is a vector space over the field C of complex numbers and U is its subspace. △ Less

Submitted 4 October, 2007; originally announced October 2007.

Comments: 30 pages

MSC Class: 15A21; 15A63

Journal ref: Linear Algebra Appl. 424 (2007) 282-303