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.

Did Fourier Really Meet Möbius? Fast Subset Convolution via FFT

A Fast Algorithm for the Convolution of Functions with Compact Support Using Fourier Extensions.

Frobenius Additive Fast Fourier Transform

Fast Fourier transforms for the evaluation of convolution products: CPU versus GPU implementation

Approximate Min-Sum Subset Convolution

An in-place truncated Fourier transform and applications to polynomial multiplication

Slice Fourier transform and convolutions

On the Fourier decay of multiplicative convolutions

Fast Computation of the Multidimensional Discrete Fourier Transform and Discrete Backward Fourier Transform on Sparse Grids

Composite Cyclotomic Fourier Transforms with Reduced Complexities

Fast Fourier Transforms for Finite Inverse Semigroups

Fourier Analysis of Iterative Algorithms

Efficient Algorithm for 2-D Arithmetic Fourier Transform

On the Fourier spectrum of functions on Boolean cubes

A Polynomial Time Algorithm for Calculating Fourier-Dedekind Sums

When the Fourier transform is one loop exact?

Generating and Searching Families of FFT Algorithms

Fast and backward stable transforms between spherical harmonic expansions and bivariate Fourier series

Minimizing communication in the multidimensional FFT

Fourier-Dedekind Sums and an Extension of Rademacher Reciprocity