The problem of constructing explicit functions which cannot be approximated by low degree polynomials has been extensively studied in computational complexity, motivated by applications in circuit lower bounds, pseudo-randomness, constructions of Ramsey graphs and locally decodable codes. Still, most of the known lower bounds become trivial for polynomials of super-logarithmic degree. Here, we suggest a new barrier explaining this phenomenon. We show that many of the existing lower bound proof techniques extend to nonclassical polynomials, an extension of classical polynomials which arose in higher order Fourier analysis. Moreover, these techniques are tight for nonclassical polynomials of logarithmic degree.
@InProceedings{bhowmick_et_al:LIPIcs.CCC.2015.72, author = {Bhowmick, Abhishek and Lovett, Shachar}, title = {{Nonclassical Polynomials as a Barrier to Polynomial Lower Bounds}}, booktitle = {30th Conference on Computational Complexity (CCC 2015)}, pages = {72--87}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-81-1}, ISSN = {1868-8969}, year = {2015}, volume = {33}, editor = {Zuckerman, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2015.72}, URN = {urn:nbn:de:0030-drops-50491}, doi = {10.4230/LIPIcs.CCC.2015.72}, annote = {Keywords: nonclassical polynomials, polynomials, lower bounds, barrier} }
Feedback for Dagstuhl Publishing