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

TL;DR

This paper characterizes when the matrix equation $X^ op AX=B$ with skew-symmetric $B$ is consistent, based on the canonical form of $A$, revealing the structure of bilinear forms with skew-symmetric restrictions.

Contribution

It provides a necessary and sufficient condition for the consistency of $X^ op AX=B$ with skew-symmetric $B$, depending on the canonical form of $A$, for most matrices.

Findings

Condition depends on the canonical form for congruence of $A$.

The condition is valid for all matrices except those with certain small blocks.

The condition is necessary for all matrices.

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