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.

The rank of the inverse semigroup of partial automorphisms on a finite fence

The rank of the semigroup of order-, fence-, and parity-preserving partial injections on a finite set

Rank Polynomials of Fence Posets are Unimodal

The semigroup of finite partial order isomorphisms of a bounded rank of an infinite linear ordered set

Symmetric inverse topological semigroups of finite rank $\leqslant n$

On relative ranks of finite transformation semigroups with restricted range

On relative ranks of the semigroup of orientation-preserving transformations on infinite chain with restricted range

Toggleability Spaces of Fences

Lattices Generated by Partial Injective Maps of Finite Sets.

Parking functions, Fubini rankings, and Boolean intervals in the weak order of $\mathfrak{S}_n$

Permutations of a semigroup that map to inverses

Automating the stable rank computation for special biserial algebras

The Tensor Rank of Semifields of Order 16 and 81

On p-Frobenius of Affine Semigroups

Generating Sets of Completely 0-Simple Semigroups

Reduced rank in $σ[M]$

The algebra of the monoid of order-preserving functions on an $n$-set and other reduced $E$-Fountain semigroups

On inverse ordered semigroups

The maximal subsemigroups of the ideals in a monoid of partial injections

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

Lattices Associated with Partial Injective Linear Maps of Finite Vector Spaces