Communication Dans Un Congrès Année : 2022

On the Partial Derivative Method Applied to Lopsided Set-Multilinear Polynomials

Résumé

We make progress on understanding a lower bound technique that was recently used by the authors to prove the first superpolynomial constant-depth circuit lower bounds against algebraic circuits. More specifically, our previous work applied the well-known partial derivative method in a new setting, that of lopsided set-multilinear polynomials. A set-multilinear polynomial P in F[x1,...,xd] (for disjoint sets of variables X1, ..., Xd) is a linear combination of monomials, each of which contains one variable from X1, ..., Xd. A lopsided space of setmultilinear polynomials is one where the sets X1, ..., Xd are allowed to have different sizes (we use the adjective 'lopsided' to stress this feature). By choosing a suitable lopsided space of polynomials, and using a suitable version of the partial-derivative method for proving lower bounds, we were able to prove constant-depth superpolynomial set-multilinear formula lower bounds even for very low-degree polynomials (as long as d is a growing function of the number of variables N). This in turn implied lower bounds against general formulas of constant-depth. A priori, there is nothing stopping these techniques from giving us lower bounds against algebraic formulas of any depth. We investigate the extent to which this lower bound can extend to greater depths. We prove the following results. 1. We observe that our choice of the lopsided space and the kind of partial-derivative method used can be modeled as the choice of a multiset W in [-1,1] of size d. Our first result completely characterizes, for any product-depth Delta; the best lower bound we can prove for set-multilinear formulas of product-depth Delta in terms of some combinatorial properties of W, that we call the depth-Delta tree bias of W. 2. We show that the maximum depth-3 tree bias, over multisets W of size d, is theta(d^(1/4)). This shows a stronger formula lower bound of N^(Omega(d^(1/4))) for set-multilinear formulas of product-depth 3, and also puts a non-trivial constraint on the best lower bounds we can hope to prove at this depth in this framework (a priori, we could have hoped to prove a lower bound of N^(Omega(Delta d^(1/Delta))) at product-depth Delta. 3. Finally, we show that for small Delta, our proof technique cannot hope to prove lower bounds of the form N^(d^(1/poly(Delta))). This seems to strongly hint that new ideas will be required to prove lower bounds for formulas of unbounded depth.

Fichier principal
Vignette du fichier
TR22-090.pdf (847.72 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-03761743 , version 1 (26-08-2022)

Licence

Identifiants

Citer

Nutan Limaye, Srikanth Srinivasan, Sébastien Tavenas. On the Partial Derivative Method Applied to Lopsided Set-Multilinear Polynomials. 37th Computational Complexity Conference (CCC 2022), Jul 2022, Philadelphia (USA), United States. ⟨10.4230/LIPIcs.CCC.2022.32⟩. ⟨hal-03761743⟩
140 Consultations
362 Téléchargements

Altmetric

Partager

  • More