An Algorithmic Method of Partial Derivatives
Abstract
We study the following problem and its applications: given a homogeneous degree- polynomial as an arithmetic circuit, and a matrix whose entries are homogeneous linear polynomials, compute . By considering special cases of this problem we obtain faster parameterized algorithms for several problems, including the matroid -parity and -matroid intersection problems, faster \emph{deterministic} algorithms for testing if a linear space of matrices contains an invertible matrix (Edmonds's problem) and detecting -internal outbranchings, and more. We also match the runtime of the fastest known deterministic algorithm for detecting subgraphs of bounded pathwidth, while using a new approach. Our approach raises questions in algebraic complexity related to Waring rank and the exponent of matrix multiplication . In particular, we study a new complexity measure on the space of homogeneous polynomials, namely the bilinear complexity of a polynomial's apolar algebra. Our algorithmic improvements are reflective of the fact that for the degree- determinant polynomial this quantity is at most , whereas all known upper bounds on the Waring rank of this polynomial exceed .
Cite
@article{arxiv.2005.05143,
title = {An Algorithmic Method of Partial Derivatives},
author = {Cornelius Brand and Kevin Pratt},
journal= {arXiv preprint arXiv:2005.05143},
year = {2020}
}