BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Vladimir V. Sergeichuk

Vladimir V. Sergeichuk contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.RTmath.RAmath.DS

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
21works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

21 published item(s)

preprint2014arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

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$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

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}.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

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 \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.

0 citations0 reviewsNo code linkedOpen access