English

Tight bounds on the Fourier growth of bounded functions on the hypercube

Computational Complexity 2021-07-20 v2 Functional Analysis

Abstract

We give tight bounds on the degree \ell homogenous parts ff_\ell of a bounded function ff on the cube. We show that if f:{±1}n[1,1]f: \{\pm 1\}^n \rightarrow [-1,1] has degree dd, then f\| f_\ell \|_\infty is bounded by d/!d^\ell/\ell!, and f^1\| \hat{f}_\ell \|_1 is bounded by de(+12)n12d^\ell e^{\binom{\ell+1}{2}} n^{\frac{\ell-1}{2}}. We describe applications to pseudorandomness and learning theory. We use similar methods to generalize the classical Pisier's inequality from convex analysis. Our analysis involves properties of real-rooted polynomials that may be useful elsewhere.

Keywords

Cite

@article{arxiv.2107.06309,
  title  = {Tight bounds on the Fourier growth of bounded functions on the hypercube},
  author = {Siddharth Iyer and Anup Rao and Victor Reis and Thomas Rothvoss and Amir Yehudayoff},
  journal= {arXiv preprint arXiv:2107.06309},
  year   = {2021}
}