Multilinear formulas, maximal-partition discrepancy and mixed-sources extractors

  • Authors:
  • Ran Raz;Amir Yehudayoff

  • Affiliations:
  • Faculty of Mathematics and Computer Science, Weizmann Institute, Rehovot, Israel;Faculty of Mathematics and Computer Science, Weizmann Institute, Rehovot, Israel

  • Venue:
  • Journal of Computer and System Sciences
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

We study a new method for proving lower bounds for subclasses of arithmetic circuits. Roughly speaking, the lower bound is proved by bounding the correlation between the coefficients' vector of a polynomial and the coefficients' vector of any product of two polynomials with disjoint sets of variables. We prove lower bounds for several old and new subclasses of circuits: monotone circuits, orthogonal formulas, non-canceling formulas, and noise-resistant formulas. One ingredient of our proof is an explicit map that has exponentially small discrepancy for every partition of the input variables into two sets of roughly the same size. We give two additional applications of this explicit map: to extractors construction and to communication complexity.