An Algorithmic Method of Partial Derivatives

We study the following problem and its applications: given a homogeneous degree-$d$ polynomial $g$ as an arithmetic circuit, and a $d \times d$ matrix $X$ whose entries are homogeneous linear polynomials, compute $g(\partial/\partial x_1, \ldots, \partial/\partial x_n) \det X$. By considering special cases of this problem we obtain faster parameterized algorithms for several problems, including the matroid $k$-parity and $k$-matroid intersection problems, faster \emph{deterministic} algorithms for testing if a linear space of matrices contains an invertible matrix (Edmonds's problem) and detecting $k$-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 $\omega$. 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-$n$ determinant polynomial this quantity is at most $O(n 2^{\omega n})$, whereas all known upper bounds on the Waring rank of this polynomial exceed $n!$.

[1]  Avi Wigderson,et al.  Operator Scaling: Theory and Applications , 2015, Found. Comput. Math..

[2]  Syzygies of the apolar ideals of the determinant and permanent , 2017, Journal of Algebraic Combinatorics.

[3]  Mohit Singh,et al.  Nash Social Welfare, Matrix Permanent, and Stable Polynomials , 2016, ITCS.

[4]  Russell Impagliazzo,et al.  Derandomizing Polynomial Identity Tests Means Proving Circuit Lower Bounds , 2003, STOC '03.

[5]  Karim A. Adiprasito,et al.  Hodge theory for combinatorial geometries , 2015, Annals of Mathematics.

[6]  Nima Anari,et al.  Monte Carlo Markov Chain Algorithms for Sampling Strongly Rayleigh Distributions and Determinantal Point Processes , 2016, COLT.

[7]  Gregory Gutin,et al.  Designing deterministic polynomial-space algorithms by color-coding multivariate polynomials , 2017, J. Comput. Syst. Sci..

[8]  Volker Strassen,et al.  Algebraic Complexity Theory , 1991, Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity.

[9]  J. Landsberg Tensors: Geometry and Applications , 2011 .

[10]  Venkatesh Raman,et al.  Approximation Algorithms for Some Parameterized Counting Problems , 2002, ISAAC.

[11]  Leonid Gurvits Classical deterministic complexity of Edmonds' Problem and quantum entanglement , 2003, STOC '03.

[12]  Hwangrae Lee,et al.  Power Sum Decompositions of Elementary Symmetric Polynomials , 2015, 1508.05235.

[13]  Meena Mahajan,et al.  A combinatorial algorithm for the determinant , 1997, SODA '97.

[14]  H. Derksen,et al.  Lower bound for ranks of invariant forms , 2014, 1409.0061.

[15]  Masoumeh Sepideh Shafiei Apolarity for determinants and permanents of generic matrices , 2012 .

[16]  Dekel Tsur Faster deterministic parameterized algorithm for k-Path , 2019, Theor. Comput. Sci..

[17]  Cornelius Brand Patching Colors with Tensors , 2019, ESA.

[18]  László Lovász,et al.  On determinants, matchings, and random algorithms , 1979, FCT.

[19]  François Le Gall,et al.  Powers of tensors and fast matrix multiplication , 2014, ISSAC.

[20]  Leonid Gurvits,et al.  On the Complexity of Mixed Discriminants and Related Problems , 2005, MFCS.

[21]  J. Landsberg,et al.  Polynomials and the exponent of matrix multiplication , 2017, 1706.05074.

[22]  David G. Glynn,et al.  Permanent formulae from the Veronesean , 2013, Des. Codes Cryptogr..

[23]  Leonid Gurvits,et al.  Hyperbolic polynomials approach to Van der Waerden/Schrijver-Valiant like conjectures: sharper bounds, simpler proofs and algorithmic applications , 2005, STOC '06.

[24]  Andreas Björklund,et al.  Fourier meets möbius: fast subset convolution , 2006, STOC '07.

[25]  Dániel Marx,et al.  A parameterized view on matroid optimization problems , 2009, Theor. Comput. Sci..

[26]  Andreas Björklund,et al.  Determinant Sums for Undirected Hamiltonicity , 2010, 2010 IEEE 51st Annual Symposium on Foundations of Computer Science.

[27]  Nima Anari,et al.  Log-Concave Polynomials, Entropy, and a Deterministic Approximation Algorithm for Counting Bases of Matroids , 2018, 2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS).

[28]  A. Conca Straightening Law and Powers of Determinantal Ideals of Hankel Matrices , 1998 .

[29]  Thore Husfeldt,et al.  Extensor-coding , 2018, STOC.

[30]  Nima Anari,et al.  A generalization of permanent inequalities and applications in counting and optimization , 2017, STOC.

[31]  Leonid Gurvits,et al.  Van der Waerden/Schrijver-Valiant like Conjectures and Stable (aka Hyperbolic) Homogeneous Polynomials: One Theorem for all , 2007, Electron. J. Comb..

[32]  Jeroen Zuiddam A note on the gap between rank and border rank , 2015, ArXiv.

[33]  Alexander I. Barvinok,et al.  New algorithms for lineark-matroid intersection and matroidk-parity problems , 1995, Math. Program..

[34]  Jörg Flum,et al.  The parameterized complexity of counting problems , 2002, The 43rd Annual IEEE Symposium on Foundations of Computer Science, 2002. Proceedings..

[35]  J. Edmonds Systems of distinct representatives and linear algebra , 1967 .

[37]  Greta Panova,et al.  No Occurrence Obstructions in Geometric Complexity Theory , 2016, 2016 IEEE 57th Annual Symposium on Foundations of Computer Science (FOCS).

[38]  Fahad Panolan,et al.  Efficient Computation of Representative Families with Applications in Parameterized and Exact Algorithms , 2016, J. ACM.

[39]  Ryan Williams,et al.  Finding paths of length k in O*(2k) time , 2008, Inf. Process. Lett..

[40]  Alexander I. Barvinok,et al.  Two Algorithmic Results for the Traveling Salesman Problem , 1996, Math. Oper. Res..

[41]  A. Iarrobino,et al.  Power Sums, Gorenstein Algebras, and Determinantal Loci , 2000 .

[42]  Kevin Pratt,et al.  Waring Rank, Parameterized and Exact Algorithms , 2018, 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS).