Title :
Multilinear Formulas, Maximal-Partition Discrepancy and Mixed-Sources Extractors
Author :
Raz, Ran ; Yehudayoff, Amir
Author_Institution :
Weizmann Inst. Rehovot, Rehovot
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.
Keywords :
circuit complexity; digital arithmetic; arithmetic circuit; computational complexity; lower bound proving; maximal-partition discrepancy; mixed-sources extractor; multilinear formula; polynomial coefficient vector; Circuit noise; Complexity theory; Computer science; Digital arithmetic; Noise cancellation; Polynomials; Radio access networks; Discrepancy; Extractors; Lower Bounds;
Conference_Titel :
Foundations of Computer Science, 2008. FOCS '08. IEEE 49th Annual IEEE Symposium on
Conference_Location :
Philadelphia, PA
Print_ISBN :
978-0-7695-3436-7
DOI :
10.1109/FOCS.2008.22