Abstract:Let {\mathcal B} be a linear space of matrices over a field {\mathbb spanned by n\times n matrices B_1, \dots, B_m. The non-commutative rank of {\mathcal B}$ is the minimum r\in {\mathbb N} such that there exists U\leq {\mathbb F}^n satisfying \dim(U)-\dim( {\mathcal B} (U))\geq n-r, where {\mathcal B}(U):={\mathrm span}(\cup_{i\in[m]} B_i(U)). Computing the non-commutative rank generalizes some well-known problems including the bipartite graph maximum matching problem and the linear matroid intersection problem. In this paper we give a deterministic polynomial-time algorithm to compute the non-commutative rank over any field {\mathbb F}. Prior to our work, such an algorithm was only known over the rational number field {\mathbb Q}, a result due to Garg et al, [GGOW]. Our algorithm is constructive and produces a witness certifying the non-commutative rank, a feature that is missing in the algorithm from [GGOW]. Our result is built on techniques which we developed in a previous paper [IQS1], with a new reduction procedure that helps to keep the blow-up parameter small. There are two ways to realize this reduction. The first involves constructivizing a key result of Derksen and Makam [DM2] which they developed in order to prove that the null cone of matrix semi-invariants is cut out by generators whose degree is polynomial in the size of the matrices involved. We also give a second, simpler method to achieve this. This gives another proof of the polynomial upper bound on the degree of the generators cutting out the null cone of matrix semi-invariants. Both the invariant-theoretic result and the algorithmic result rely crucially on the regularity lemma proved in [IQS1]. In this paper we improve on the constructive version of the regularity lemma from [IQS1] by removing a technical coprime condition that was assumed there.

About the Kannan-Bachem algorithm

The Noncommutative Edmonds' Problem Re-visited

A Relaxed Algorithm for Online Matrix Inversion

A local construction of the Smith normal form of a matrix polynomial

The Smith normal form and reduction of weakly linear matrices

Constructive Non-Commutative Rank Computation is in Deterministic Polynomial Time.

Relaxed Forms of BBK Algorithm and FBP Algorithm for Symmetric Indefinite Linear Systems

Computing a compact local Smith McMillan form

Towards a more robust algorithm for computing the restricted singular value decomposition

On the equivalence problem of Smith forms for multivariate polynomial matrices

Model order reduction of linear and bilinear systems via low-rank Gramian approximation

The Bit Complexity of Dynamic Algebraic Formulas and their Determinants

Simultaneous Modular Reduction and Kronecker Substitution for Small Finite Fields

A New Algorithm for Computing Branch Number of Non-Singular Matrices over Finite Fields

A Deterministic Kaczmarz Algorithm for Solving Linear Systems

Integer diagonal forms for subset intersection relations

Low-Rank Kernel Matrix Approximation Using Skeletonized Interpolation With Endo- or Exo-Vertices

On the Convergence of the Randomized Block Kaczmarz Algorithm for Solving a Matrix Equation

A Novel Algorithm of Matrix Computation for Knowledge Reductions in Inconsistent Ordered Information Systems

Sketched and truncated polynomial Krylov methods: Evaluation of matrix functions