On Correlation Bounds Against Polynomials
We study the fundamental challenge of exhibiting explicit functions that have small correlation with low-degree polynomials over 𝔽₂. Our main contributions include:
1) In STOC 2020, CHHLZ introduced a new technique to prove correlation bounds. Using their technique they established new correlation bounds for low-degree polynomials. They conjectured that their technique generalizes to higher degree polynomials as well. We give a counterexample to their conjecture, in fact ruling out weaker parameters and showing what they prove is essentially the best possible.
2) We propose a new approach for proving correlation bounds with the central "mod functions," consisting of two steps: (I) the polynomials that maximize correlation are symmetric and (II) symmetric polynomials have small correlation. Contrary to related results in the literature, we conjecture that (I) is true. We argue this approach is not affected by existing "barrier results."
3) We prove our conjecture for quadratic polynomials. Specifically, we determine the maximum possible correlation between quadratic polynomials modulo 2 and the functions (x_1,… ,x_n) → z^{∑ x_i} for any z on the complex unit circle, and show that it is achieved by symmetric polynomials. To obtain our results we develop a new proof technique: we express correlation in terms of directional derivatives and analyze it by slowly restricting the direction.
4) We make partial progress on the conjecture for cubic polynomials, in particular proving tight correlation bounds for cubic polynomials whose degree-3 part is symmetric.
Correlation bounds
Polynomials
Theory of computation~Computational complexity and cryptography
3:1-3:35
Regular Paper
NSF grant CCF-2114116
https://eccc.weizmann.ac.il/report/2022/092/
We are grateful to Brenden Collins for collaborating during the initial stages of this project.
Peter
Ivanov
Peter Ivanov
Northeastern University, Boston, MA, USA
Liam
Pavlovic
Liam Pavlovic
Northeastern University, Boston, MA, USA
Northeastern REU supplement
Emanuele
Viola
Emanuele Viola
Northeastern University, Boston, MA, USA
10.4230/LIPIcs.CCC.2023.3
Scott Aaronson and Avi Wigderson. Algebrization: a new barrier in complexity theory. In 40th ACM Symp. on the Theory of Computing (STOC), pages 731-740, 2008.
Noga Alon and Richard Beigel. Lower bounds for approximations by low degree polynomials over Z_m. In IEEE Conf. on Computational Complexity (CCC), pages 184-187, 2001.
László Babai, Noam Nisan, and Márió Szegedy. Multiparty protocols, pseudorandom generators for logspace, and time-space trade-offs. J. of Computer and System Sciences, 45(2):204-232, 1992.
Theodore Baker, John Gill, and Robert Solovay. Relativizations of the P=?NP question. SIAM J. on Computing, 4(4):431-442, 1975.
Michael Ben-Or and Nathan Linial. Collective coin flipping, robust voting schemes and minima of Banzhaf values. In 26th Symposium on Foundations of Computer Science, pages 408-416, Portland, Oregon, 21-23 October 1985. IEEE.
Nayantara Bhatnagar, Parikshit Gopalan, and Richard J. Lipton. Symmetric polynomials over Z_m and simultaneous communication protocols. J. of Computer and System Sciences, 72(2):252-285, 2006.
Abhishek Bhowmick and Shachar Lovett. Nonclassical polynomials as a barrier to polynomial lower bounds. In IEEE Conf. on Computational Complexity (CCC), pages 72-87, 2015. URL: https://doi.org/10.4230/LIPIcs.CCC.2015.72.
https://doi.org/10.4230/LIPIcs.CCC.2015.72
Ravi Boppana, Johan Håstad, Chin Ho Lee, and Emanuele Viola. Bounded independence versus symmetric tests. ACM Trans. Computation Theory, 11(4):21:1-21:27, 2019.
Jean Bourgain. Estimation of certain exponential sums arising in complexity theory. Comptes Rendus Mathématique. Académie des Sciences. Paris, 340(9):627-631, 2005.
Jin-Yi Cai, Frederic Green, and Thomas Thierauf. On the correlation of symmetric functions. Mathematical Systems Theory, 29(3):245-258, 1996.
Eshan Chattopadhyay, Pooya Hatami, Kaave Hosseini, Shachar Lovett, and David Zuckerman. XOR lemmas for resilient functions against polynomials. In Konstantin Makarychev, Yury Makarychev, Madhur Tulsiani, Gautam Kamath, and Julia Chuzhoy, editors, ACM Symp. on the Theory of Computing (STOC), pages 234-246. ACM, 2020. URL: https://doi.org/10.1145/3357713.3384242.
https://doi.org/10.1145/3357713.3384242
Eduardo Dueñez, Steven J. Miller, Amitabha Roy, and Howard Straubing. Incomplete quadratic exponential sums in several variables. Journal of Number Theory, 116(1):168-199, 2006.
Frederic Green. The correlation between parity and quadratic polynomials mod 3. J. of Computer and System Sciences, 69(1):28-44, 2004.
Frederic Green, Daniel Kreymer, and Emanuele Viola. Block-symmetric polynomials correlate with parity better than symmetric. Computational Complexity, 26(2):323-364, 2017. Available at URL: https://www.ccs.neu.edu/home/viola/papers/blocksym.pdf.
https://www.ccs.neu.edu/home/viola/papers/blocksym.pdf
Frederic Green and Amitabha Roy. Uniqueness of optimal mod 3 circuits for parity. Journal of Number Theory, 130:961-975, 2010.
Frederic Green, Amitabha Roy, and Howard Straubing. Bounds on an exponential sum arising in Boolean circuit complexity. Comptes Rendus Mathématique. Académie des Sciences. Paris, 341(5):279-282, 2005.
András Hajnal, Wolfgang Maass, Pavel Pudlák, Márió Szegedy, and György Turán. Threshold circuits of bounded depth. J. of Computer and System Sciences, 46(2):129-154, 1993.
Xuangui Huang, Peter Ivanov, and Emanuele Viola. Affine extractors and ac0-parity, 2021.
Eric Miles and Emanuele Viola. Substitution-permutation networks, pseudorandom functions, and natural proofs. J. of the ACM, 62(6), 2015.
Moni Naor, Omer Reingold, and Alon Rosen. Pseudorandom functions and factoring. SIAM J. Comput., 31(5):1383-1404, 2002.
Ryan O'Donnell. Analysis of boolean functions, 2007. Lecture notes. Available at URL: http://www.cs.cmu.edu/~odonnell/boolean-analysis/.
http://www.cs.cmu.edu/~odonnell/boolean-analysis/
Alexander Razborov. Lower bounds on the dimension of schemes of bounded depth in a complete basis containing the logical addition function. Akademiya Nauk SSSR. Matematicheskie Zametki, 41(4):598-607, 1987. English translation in Mathematical Notes of the Academy of Sci. of the USSR, 41(4):333-338, 1987.
Alexander Razborov and Steven Rudich. Natural proofs. J. of Computer and System Sciences, 55(1):24-35, August 1997.
Roman Smolensky. Algebraic methods in the theory of lower bounds for Boolean circuit complexity. In 19th ACM Symp. on the Theory of Computing (STOC), pages 77-82. ACM, 1987.
Roman Smolensky. On representations by low-degree polynomials. In 34th IEEE IEEE Symp. on Foundations of Computer Science (FOCS), pages 130-138, 1993.
Terence Tao and Tamar Ziegler. The inverse conjecture for the gowers norm over finite fields in low characteristic. In Annals of Combinatorics, 2012.
Emanuele Viola. New correlation bounds for GF(2) polynomials using Gowers uniformity. Electronic Colloquium on Computational Complexity, Technical Report TR06-097, 2006. URL: https://eccc.weizmann.ac.il/report/2006/097/.
https://eccc.weizmann.ac.il/report/2006/097/
Emanuele Viola. Correlation bounds for polynomials over 0,1. SIGACT News, Complexity Theory Column, 40(1), 2009.
Emanuele Viola. On the power of small-depth computation. Foundations and Trends in Theoretical Computer Science, 5(1):1-72, 2009.
Emanuele Viola. Challenges in computational lower bounds. SIGACT News, Open Problems Column, 48(1), 2017.
Emanuele Viola. Fourier conjectures, correlation bounds, and majority. In Coll. on Automata, Languages and Programming (ICALP), 2021. Available at URL: https://www.ccs.neu.edu/home/viola/papers/L12requiresCor.pdf.
https://www.ccs.neu.edu/home/viola/papers/L12requiresCor.pdf
Emanuele Viola. New lower bounds for probabilistic degree and AC0 with parity gates. Theory of Computing, 2021. Available at URL: https://www.ccs.neu.edu/home/viola/papers/diago.pdf.
https://www.ccs.neu.edu/home/viola/papers/diago.pdf
Emanuele Viola. Correlation bounds against polynomials, a survey, 2022.
Peter Ivanov, Liam Pavlovic, and Emanuele Viola
Creative Commons Attribution 4.0 International license
https://creativecommons.org/licenses/by/4.0/legalcode