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.

Four-point distortion theorem for complex polynomials

On quasiconformal dimension distortion for subsets of the real line

On distortion estimates of mappings with the Poletsky condition in domains with Poincare inequality

Mappings of Bounded Distortion Between Complex Manifolds

Stability in the Cauchy and Morera Theorems for Holomorphic Functions and Their Spatial Analogs

On the Fourier spectrum of functions on Boolean cubes

Four conjectures by Zhi-Hong Sun

A geometric lemma for complex polynomial curves with applications in Fourier restriction theory

Distortion in groups of generalized piecewise-linear transformations

A distortion theorem for the iterated inverse branches of a holomorphic endomorphism of CP(k)

On distortion of quasiregular mappings of the upper half plane

On normal forms of complex points of small $\mathcal{C}^{2}$-perturbations of real $4$-manifolds embedded in a complex $3$-manifold

Note on the covering theorem for complex polynomials

Quadratic transformations of Macdonald and Koornwinder polynomials

Hyperbolic distortion and conformality at the boundary

Curved commutators in the plane

On a generalization of a theorem of Popov

Approximation by complex Bernstein-Kantorovich and Stancu-Kantorovich polynomials and their iterates in compact disks

The geometric meaning of the complex dilatation

A 4-point theorem: still another variation on an old theme