Abstract:Let f be a real-valued function of degree d defined on the n-dimensional Boolean cube {±1}n\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\{ \pm 1\}^{n}$$\end{document}, and f(x)=∑S⊂{1,…,n}f^(S)∏k∈Sxk\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$f(x) = \sum _{S \subset \{1,\ldots ,n\}} \widehat{f}(S) \prod _{k \in S} x_k$$\end{document} its Fourier-Walsh expansion. The main result states that there is an absolute constant C>0\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$C >0$$\end{document} such that the ℓ2d/(d+1)\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\ell _{2d/(d+1)}$$\end{document}-sum of the Fourier coefficients of f:{±1}n⟶[-1,1]\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$f:\{ \pm 1\}^{n} \longrightarrow [-1,1]$$\end{document} is bounded by Cdlogd\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$C^{\sqrt{d \log d}}$$\end{document}. It was recently proved that a similar result holds for complex-valued polynomials on the n-dimensional polytorus Tn\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\mathbb {T}^n$$\end{document}, but that in contrast to this, a replacement of the n-dimensional torus Tn\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\mathbb {T}^n$$\end{document} by the n-dimensional cube [-1,1]n\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$[-1, 1]^n$$\end{document} leads to a substantially weaker estimate. This in the Boolean case forces us to invent novel techniques which differ from the ones used in the complex or real case. We indicate how our result is linked with several questions in quantum information theory.

Quantitative concatenation for polynomial box norms

A Quantitative Bound For Szemerédi's Theorem for a Complexity One Polynomial Progression over $\mathbb{Z}/N\mathbb{Z}$

Corners with polynomial side length

Quantitative bounds in the nonlinear Roth theorem

Polynomial progressions in topological fields

Quantitative twisted patterns in positive density subsets

Expanding polynomials for sets with additive structure

A combinatorial approach to nonlinear spectral gaps

Norm of matrix-valued polynomials in random unitaries and permutations

Grothendieck inequalities characterize converses to the polynomial method

An upper bound for polynomial volume growth of automorphisms of zero entropy

Two-point polynomial patterns in subsets of positive density in $\mathbb{R}^n$

Improving Behrend's construction: Sets without arithmetic progressions in integers and over finite fields

Geometric Combinatorics of Polynomials I: The Case of a Single Polynomial

Constructing good higher order polynomial lattice rules with modulus of reduced degree

Paucity phenomena for polynomial products

Combinatorial Bounds in Distal Structures

Quaternary quadratic forms with prime discriminant

Parabolic recursions for Kazhdan-Lusztig polynomials and the hypercube decomposition

On the Fourier spectrum of functions on Boolean cubes

Parallelogram polyominoes, the sandpile model on a complete bipartite graph, and a q,t-Narayana polynomial