-
On the dimension of orbits of matrix pencils under strict equivalence
Authors:
Fernando De Terán,
Froilán M. Dopico,
Patryk Pagacz
Abstract:
We prove that, given two matrix pencils $L$ and $M$, if $M$ belongs to the closure of the orbit of $L$ under strict equivalence, then the dimension of the orbit of $M$ is smaller than or equal to the dimension of the orbit of $L$, and the equality is only attained when $M$ belongs to the orbit of $L$. Our proof uses only the majorization involving the eigenstructures of $L$ and $M$ which character…
▽ More
We prove that, given two matrix pencils $L$ and $M$, if $M$ belongs to the closure of the orbit of $L$ under strict equivalence, then the dimension of the orbit of $M$ is smaller than or equal to the dimension of the orbit of $L$, and the equality is only attained when $M$ belongs to the orbit of $L$. Our proof uses only the majorization involving the eigenstructures of $L$ and $M$ which characterizes the inclusion relationship between orbit closures, together with the formula for the codimension of the orbit of a pencil in terms of its eigenstruture.
△ Less
Submitted 4 May, 2025;
originally announced May 2025.
-
Uniqueness of solution of systems of generalized Sylvester and conjugate-Sylvester equations
Authors:
Fernando De Terán,
Bruno Iannazzo
Abstract:
We provide a characterization for a periodic system of generalized Sylvester and conjugate-Sylvester equations, with at most one generalized conjugate-Sylvester equation, to have a unique solution when all coefficient matrices are square and all unknown matrices of the system have the same size. We also present a procedure to reduce an arbitrary system of generalized Sylvester and conjugate-Sylves…
▽ More
We provide a characterization for a periodic system of generalized Sylvester and conjugate-Sylvester equations, with at most one generalized conjugate-Sylvester equation, to have a unique solution when all coefficient matrices are square and all unknown matrices of the system have the same size. We also present a procedure to reduce an arbitrary system of generalized Sylvester and conjugate-Sylvester equations to periodic systems having at most one generalized conjugate-Sylvester equation. Therefore, the obtained characterization for the uniqueness of solution of periodic systems provides a characterization for general systems of generalized Sylvester and conjugate-Sylvester equations.
△ Less
Submitted 16 March, 2025;
originally announced March 2025.
-
On bundle closures of matrix pencils and matrix polynomials
Authors:
Fernando De Terán,
Froilán M. Dopico,
Vadym Koval,
Patryk Pagacz
Abstract:
Bundles of matrix polynomials are sets of matrix polynomials with the same size and grade and the same eigenstructure up to the specific values of the eigenvalues. It is known that the closure of the bundle of a pencil $L$ (namely, a matrix polynomial of grade $1$), denoted by $\mathcal{B}(L)$, is the union of $\mathcal{B}(L)$ itself with a finite number of other bundles. The first main contributi…
▽ More
Bundles of matrix polynomials are sets of matrix polynomials with the same size and grade and the same eigenstructure up to the specific values of the eigenvalues. It is known that the closure of the bundle of a pencil $L$ (namely, a matrix polynomial of grade $1$), denoted by $\mathcal{B}(L)$, is the union of $\mathcal{B}(L)$ itself with a finite number of other bundles. The first main contribution of this paper is to prove that the dimension of each of these bundles is strictly smaller than the dimension of $\mathcal{B}(L)$. The second main contribution is to prove that also the closure of the bundle of a matrix polynomial of grade larger than 1 is the union of the bundle itself with a finite number of other bundles of smaller dimension. To get these results we obtain a formula for the (co)dimension of the bundle of a matrix pencil in terms of the Weyr characteristics of the partial multiplicities of the eigenvalues and of the (left and right) minimal indices, and we provide a characterization for the inclusion relationship between the closures of two bundles of matrix polynomials of the same size and grade.
△ Less
Submitted 26 February, 2024;
originally announced February 2024.
-
Even grade generic skew-symmetric matrix polynomials with bounded rank
Authors:
Fernando De Terán,
Andrii Dmytryshyn,
Froilán M. Dopico
Abstract:
We show that the set of $m \times m$ complex skew-symmetric matrix polynomials of even grade $d$, i.e., of degree at most $d$, and (normal) rank at most $2r$ is the closure of the single set of matrix polynomials with certain, explicitly described, complete eigenstructure. This complete eigenstructure corresponds to the most generic $m \times m$ complex skew-symmetric matrix polynomials of even gr…
▽ More
We show that the set of $m \times m$ complex skew-symmetric matrix polynomials of even grade $d$, i.e., of degree at most $d$, and (normal) rank at most $2r$ is the closure of the single set of matrix polynomials with certain, explicitly described, complete eigenstructure. This complete eigenstructure corresponds to the most generic $m \times m$ complex skew-symmetric matrix polynomials of even grade $d$ and rank at most $2r$. The analogous problem for the case of skew-symmetric matrix polynomials of odd grade is solved in [Linear Algebra Appl., 536:1-18, 2018].
△ Less
Submitted 27 December, 2023;
originally announced December 2023.
-
Generic eigenstructures of Hermitian pencils
Authors:
Fernando De Terán,
Andrii Dmytryshyn,
Froilán M. Dopico
Abstract:
We obtain the generic complete eigenstructures of complex Hermitian $n\times n$ matrix pencils with rank at most $r$ (with $r\leq n$). To do this, we prove that the set of such pencils is the union of a finite number of bundle closures, where each bundle is the set of complex Hermitian $n\times n$ pencils with the same complete eigenstructure (up to the specific values of the finite eigenvalues).…
▽ More
We obtain the generic complete eigenstructures of complex Hermitian $n\times n$ matrix pencils with rank at most $r$ (with $r\leq n$). To do this, we prove that the set of such pencils is the union of a finite number of bundle closures, where each bundle is the set of complex Hermitian $n\times n$ pencils with the same complete eigenstructure (up to the specific values of the finite eigenvalues). We also obtain the explicit number of such bundles and their codimension. The cases $r=n$, corresponding to general Hermitian pencils, and $r<n$ exhibit surprising differences, since for $r<n$ the generic complete eigenstructures can contain only real eigenvalues, while for $r=n$ they can contain real and non-real eigenvalues. Moreover, we will see that the sign characteristic of the real eigenvalues plays a relevant role for determining the generic eigenstructures of Hermitian pencils.
△ Less
Submitted 21 September, 2022;
originally announced September 2022.
-
On the consistency of the matrix equation $X^\top A X=B$ when $B$ is symmetric: the case where CFC($A$) includes skew-symmetric blocks
Authors:
Alberto Borobia,
Roberto Canogar,
Fernando De Terán
Abstract:
In this paper, which is a follow-up to [A. Borobia, R. Canogar, F. De Terán, Mediterr. J. Math. 18, 40 (2021)], we provide a necessary and sufficient condition for the matrix equation $X^\top AX=B$ to be consistent when $B$ is symmetric. The condition depends on the canonical form for congruence of the matrix $A$, and is proved to be necessary for all matrices $A$, and sufficient for most of them.…
▽ More
In this paper, which is a follow-up to [A. Borobia, R. Canogar, F. De Terán, Mediterr. J. Math. 18, 40 (2021)], we provide a necessary and sufficient condition for the matrix equation $X^\top AX=B$ to be consistent when $B$ is symmetric. The condition depends on the canonical form for congruence of the matrix $A$, and is proved to be necessary for all matrices $A$, and sufficient for most of them. This result improves the main one in the previous paper, since the condition is stronger than the one in that reference, and the sufficiency is guaranteed for a larger set of matrices (namely, those whose canonical form for congruence, CFC($A$), includes skew-symmetric blocks).
△ Less
Submitted 6 September, 2022;
originally announced September 2022.
-
On bundles of matrix pencils under strict equivalence
Authors:
Fernando De Terán,
Froilán M. Dopico
Abstract:
Bundles of matrix pencils (under strict equivalence) are sets of pencils having the same Kronecker canonical form, up to the eigenvalues (namely, they are an infinite union of orbits under strict equivalence). The notion of bundle for matrix pencils was introduced in the 1990's, following the same notion for matrices under similarity, introduced by Arnold in 1971, and it has been extensively used…
▽ More
Bundles of matrix pencils (under strict equivalence) are sets of pencils having the same Kronecker canonical form, up to the eigenvalues (namely, they are an infinite union of orbits under strict equivalence). The notion of bundle for matrix pencils was introduced in the 1990's, following the same notion for matrices under similarity, introduced by Arnold in 1971, and it has been extensively used since then. Despite the amount of literature devoted to describing the topology of bundles of matrix pencils, some relevant questions remain still open in this context. For example, the following two: (a) provide a characterization for the inclusion relation between the closures (in the standard topology) of bundles; and (b) are the bundles open in their closure? The main goal of this paper is providing an explicit answer to these two questions. In order to get this answer, we also review and/or formalize some notions and results already existing in the literature. We also prove that bundles of matrices under similarity, as well as bundles of matrix polynomials (defined as the set of $m\times n$ matrix polynomials of the same grade having the same spectral information, up to the eigenvalues) are open in their closure.
△ Less
Submitted 21 April, 2022;
originally announced April 2022.
-
The equation $X^\top AX=B$ with $B$ skew-symmetric: How much of a bilinear form is skew-symmetric?
Authors:
Alberto Borobia,
Roberto Canogar,
Fernando De Terán
Abstract:
Given a bilinear form on $\mathbb C^n$, represented by a matrix $A\in\mathbb C^{n\times n}$, the problem of finding the largest dimension of a subspace of $\mathbb C^n$ such that the restriction of $A$ to this subspace is a non-degenerate skew-symmetric bilinear form is equivalent to finding the size of the largest invertible skew-symmetric matrix $B$ such that the equation $X^\top AX=B$ is consis…
▽ More
Given a bilinear form on $\mathbb C^n$, represented by a matrix $A\in\mathbb C^{n\times n}$, the problem of finding the largest dimension of a subspace of $\mathbb C^n$ such that the restriction of $A$ to this subspace is a non-degenerate skew-symmetric bilinear form is equivalent to finding the size of the largest invertible skew-symmetric matrix $B$ such that the equation $X^\top AX=B$ is consistent (here $X^\top$ denotes the transpose of the matrix $X$). In this paper, we provide a characterization, by means of a necessary and sufficient condition, for the matrix equation $X^\top AX=B$ to be consistent when $B$ is a skew-symmetric matrix. This condition is valid for most matrices $A\in\mathbb C^{n\times n}$. To be precise, the condition depends on the canonical form for congruence (CFC) of the matrix $A$, which is a direct sum of blocks of three types. The condition is valid for all matrices $A$ except those whose CFC contains blocks, of one of the types, with size smaller than $3$. However, we show that the condition is necessary for all matrices $A$.
△ Less
Submitted 14 March, 2022;
originally announced March 2022.
-
Structured strong $\boldsymbol{\ell}$-ifications for structured matrix polynomials in the monomial basis
Authors:
Fernando De Terán,
Carla Hernando,
Javier Pérez
Abstract:
In the framework of Polynomial Eigenvalue Problems, most of the matrix polynomials arising in applications are structured polynomials (namely (skew-)symmetric, (skew-)Hermitian, (anti-)palindromic, or alternating). The standard way to solve Polynomial Eigenvalue Problems is by means of linearizations. The most frequently used linearizations belong to general constructions, valid for all matrix pol…
▽ More
In the framework of Polynomial Eigenvalue Problems, most of the matrix polynomials arising in applications are structured polynomials (namely (skew-)symmetric, (skew-)Hermitian, (anti-)palindromic, or alternating). The standard way to solve Polynomial Eigenvalue Problems is by means of linearizations. The most frequently used linearizations belong to general constructions, valid for all matrix polynomials of a fixed degree, known as {\em companion linearizations}. It is well known, however, that is not possible to construct companion linearizations that preserve any of the previous structures for matrix polynomials of even degree. This motivates the search for more general companion forms, in particular {\em companion $\ell$-ifications}. In this paper, we present, for the first time, a family of (generalized) companion $\ell$-ifications that preserve any of these structures, for matrix polynomials of degree $k=(2d+1)\ell$. We also show how to construct sparse $\ell$-ifications within this family. Finally, we prove that there are no structured companion quadratifications for quartic matrix polynomials.
△ Less
Submitted 12 October, 2020;
originally announced October 2020.
-
Generic symmetric matrix polynomials with bounded rank and fixed odd grade
Authors:
Fernando De Terán,
Andrii Dmytryshyn,
Froilán M. Dopico
Abstract:
We determine the generic complete eigenstructures for $n \times n$ complex symmetric matrix polynomials of odd grade $d$ and rank at most $r$. More precisely, we show that the set of $n \times n$ complex symmetric matrix polynomials of odd grade $d$, i.e., of degree at most $d$, and rank at most $r$ is the union of the closures of the $\lfloor rd/2\rfloor+1$ sets of symmetric matrix polynomials ha…
▽ More
We determine the generic complete eigenstructures for $n \times n$ complex symmetric matrix polynomials of odd grade $d$ and rank at most $r$. More precisely, we show that the set of $n \times n$ complex symmetric matrix polynomials of odd grade $d$, i.e., of degree at most $d$, and rank at most $r$ is the union of the closures of the $\lfloor rd/2\rfloor+1$ sets of symmetric matrix polynomials having certain, explicitly described, complete eigenstructures. Then, we prove that these sets are open in the set of $n \times n$ complex symmetric matrix polynomials of odd grade $d$ and rank at most $r$. In order to prove the previous results, we need to derive necessary and sufficient conditions for the existence of symmetric matrix polynomials with prescribed grade, rank, and complete eigenstructure, in the case where all their elementary divisors are different from each other and of degree $1$. An important remark on the results of this paper is that the generic eigenstructures identified in this work are completely different from the ones identified in previous works for unstructured and skew-symmetric matrix polynomials with bounded rank and fixed grade larger than one, because the symmetric ones include eigenvalues while the others not. This difference requires to use new techniques.
△ Less
Submitted 4 November, 2019;
originally announced November 2019.
-
Low rank perturbation of regular matrix pencils with symmetry structures
Authors:
Fernando De Terán,
Christian Mehl,
Volker Mehrmann
Abstract:
The generic change of the Weierstrass Canonical Form of regular complex structured matrix pencils under generic structure-preserving additive low-rank perturbations is studied. Several different symmetry structures are considered and it is shown that for most of the structures, the generic change in the eigenvalues is analogous to the case of generic perturbations that ignore the structure. Howeve…
▽ More
The generic change of the Weierstrass Canonical Form of regular complex structured matrix pencils under generic structure-preserving additive low-rank perturbations is studied. Several different symmetry structures are considered and it is shown that for most of the structures, the generic change in the eigenvalues is analogous to the case of generic perturbations that ignore the structure. However, for some odd/even and palindromic structures, there is a different behavior for the eigenvalues $0$ and $\infty$, respectively $+1$ and $-1$. The differences arise in those cases where the parity of the partial multiplicities in the perturbed pencil provided by the generic behavior in the general structure-ignoring case is not in accordance with the restrictions imposed by the structure. The new results extend results for the rank-$1$ and rank-$2$ cases that were obtained in [L. Batzke, Generic Low-Rank Perturbations of Structured Regular Matrix Pencils and Structured Matrices, PhD Thesis, TU Berlin, Berlin, Germany, 2015] and [L. Batzke, Generic rank-two perturbations of structured regular matrix pencils, Oper. Matrices,10:83-112, 2016] for the case of special structure-preserving perturbations. As the main tool, we use decompositions of matrix pencils with symmetry structure into sums of rank-one pencils, as those allow a parametrization of the set of matrix pencils with a given symmetry structure and a given rank.
△ Less
Submitted 1 February, 2019;
originally announced February 2019.
-
Generic symmetric matrix pencils with bounded rank
Authors:
Fernando De Terán,
Andrii Dmytryshyn,
Froilán M. Dopico
Abstract:
We show that the set of $n \times n$ complex symmetric matrix pencils of rank at most $r$ is the union of the closures of $\lfloor r/2\rfloor +1$ sets of matrix pencils with some, explicitly described, complete eigenstructures. As a consequence, these are the generic complete eigenstructures of $n \times n$ complex symmetric matrix pencils of rank at most $r$. We also show that these closures corr…
▽ More
We show that the set of $n \times n$ complex symmetric matrix pencils of rank at most $r$ is the union of the closures of $\lfloor r/2\rfloor +1$ sets of matrix pencils with some, explicitly described, complete eigenstructures. As a consequence, these are the generic complete eigenstructures of $n \times n$ complex symmetric matrix pencils of rank at most $r$. We also show that these closures correspond to the irreducible components of the set of $n\times n$ symmetric matrix pencils with rank at most $r$ when considered as an algebraic set.
△ Less
Submitted 9 August, 2018;
originally announced August 2018.
-
Nonsingular systems of generalized Sylvester equations: an algorithmic approach
Authors:
Fernando De Terán,
Bruno Iannazzo,
Federico Poloni,
Leonardo Robol
Abstract:
We consider the uniqueness of solution (i.e., nonsingularity) of systems of $r$ generalized Sylvester and $\star$-Sylvester equations with $n\times n$ coefficients. After several reductions, we show that it is sufficient to analyze periodic systems having, at most, one generalized $\star$-Sylvester equation. We provide characterizations for the nonsingularity in terms of spectral properties of eit…
▽ More
We consider the uniqueness of solution (i.e., nonsingularity) of systems of $r$ generalized Sylvester and $\star$-Sylvester equations with $n\times n$ coefficients. After several reductions, we show that it is sufficient to analyze periodic systems having, at most, one generalized $\star$-Sylvester equation. We provide characterizations for the nonsingularity in terms of spectral properties of either matrix pencils or formal matrix products, both constructed from the coefficients of the system. The proposed approach uses the periodic Schur decomposition, and leads to a backward stable $O(n^3r)$ algorithm for computing the (unique) solution.
△ Less
Submitted 15 June, 2019; v1 submitted 12 September, 2017;
originally announced September 2017.
-
Solvability and uniqueness criteria for generalized Sylvester-type equations
Authors:
Fernando De Terán,
Bruno Iannazzo,
Federico Poloni,
Leonardo Robol
Abstract:
We provide necessary and sufficient conditions for the generalized $\star$-Sylvester matrix equation, $AXB + CX^\star D = E$, to have exactly one solution for any right-hand side E. These conditions are given for arbitrary coefficient matrices $A, B, C, D$ (either square or rectangular) and generalize existing results for the same equation with square coefficients. We also review the known results…
▽ More
We provide necessary and sufficient conditions for the generalized $\star$-Sylvester matrix equation, $AXB + CX^\star D = E$, to have exactly one solution for any right-hand side E. These conditions are given for arbitrary coefficient matrices $A, B, C, D$ (either square or rectangular) and generalize existing results for the same equation with square coefficients. We also review the known results regarding the existence and uniqueness of solution for generalized Sylvester and $\star$-Sylvester equations.
△ Less
Submitted 2 November, 2017; v1 submitted 2 August, 2016;
originally announced August 2016.
-
An explicit description of the irreducible components of the set of matrix pencils with bounded normal rank
Authors:
Fernando De Terán,
Froilán M. Dopico,
J. M. Landsberg
Abstract:
The set of mxn singular matrix pencils with normal rank at most r is an algebraic set with r+1 irreducible components. These components are the closure of the orbits (under strict equivalence) of r+1 matrix pencils which are in Kronecker canonical form. In this paper, we provide a new explicit description of each of these irreducible components which is a parametrization of each component. Therefo…
▽ More
The set of mxn singular matrix pencils with normal rank at most r is an algebraic set with r+1 irreducible components. These components are the closure of the orbits (under strict equivalence) of r+1 matrix pencils which are in Kronecker canonical form. In this paper, we provide a new explicit description of each of these irreducible components which is a parametrization of each component. Therefore one can explicitly construct any pencil in each of these components. The new description of each of these irreducible components consists of the sum of r rank-1 matrix pencils, namely, a column polynomial vector of degree at most 1 times a row polynomial vector of degree at most 1, where we impose one of these two vectors to have degree zero. The number of row vectors with zero degree determines each irreducible component.
△ Less
Submitted 8 June, 2016;
originally announced June 2016.
-
A note on the consistency of a system of $\star$-Sylvester equations
Authors:
Fernando De Terán
Abstract:
Let ${\mathbb F}$ be a field with characteristic not $2$, and $A_i\in{\mathbb F}^{m\times n},B_i\in{\mathbb F}^{n\times m},C_i\in{\mathbb F}^{m\times m}$, for $i=1,...,k$. In this short note, we obtain necessary and sufficient conditions for the consistency of the system of $\star$-Sylvester equations $A_iX-X^\star B_i=C_i$, for $i=1,...,k$, where $\star$ denotes either the transpose or, when…
▽ More
Let ${\mathbb F}$ be a field with characteristic not $2$, and $A_i\in{\mathbb F}^{m\times n},B_i\in{\mathbb F}^{n\times m},C_i\in{\mathbb F}^{m\times m}$, for $i=1,...,k$. In this short note, we obtain necessary and sufficient conditions for the consistency of the system of $\star$-Sylvester equations $A_iX-X^\star B_i=C_i$, for $i=1,...,k$, where $\star$ denotes either the transpose or, when ${\mathbb F}={\mathbb C}$, the conjugate transpose.
△ Less
Submitted 3 November, 2014;
originally announced November 2014.
