Source author record

Fernando De Terán

Fernando De Terán appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.RA math.AG math.NA math.SP

Catalog footprint

What is connected

4works

4topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

preprint2022arXiv

On bundles of matrix pencils under strict equivalence

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.

preprint2022arXiv

The equation $X^\top AX=B$ with $B$ skew-symmetric: How much of a bilinear form is skew-symmetric?

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

preprint2016arXiv

An explicit description of the irreducible components of the set of matrix pencils with bounded normal rank

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.

preprint2014arXiv

A note on the consistency of a system of $\star$-Sylvester equations

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.