Abstract:For a function $f$ on the hypercube $\{0,1\}^n$ with Fourier expansion $f=\sum_{S\subseteq[n]}\hat f(S)\chi_S$, the hypercontractive inequality for the noise operator allows bounding norms of $T_\rho f=\sum_S\rho^{|S|}\hat f(S)\chi_S$ in terms of norms of $f$. If $f$ is Boolean-valued, the level-$d$ inequality allows bounding the norm of $f^{=d}=\sum_{|S|=d}\hat f(S)\chi_S$ in terms of $E[f]$. These two inequalities play a central role in analysis of Boolean functions and its applications. While both inequalities hold in a sharp form when the hypercube is endowed with the uniform measure, they do not hold for more general discrete product spaces. Finding a `natural' generalization was a long-standing open problem. In [P. Keevash et al., Global hypercontractivity and its applications, J. Amer. Math. Soc., to appear], a hypercontractive inequality for this setting was presented, that holds for functions which are `global' -- namely, are not significantly affected by a restriction of a small set of coordinates. This hypercontractive inequality is not sharp, which precludes applications to the symmetric group $S_n$ and to other settings where sharpness of the bound is crucial. Also, no level-$d$ inequality for global functions over general discrete product spaces is known. We obtain sharp versions of the hypercontractive inequality and of the level-$d$ inequality for this setting. Our inequalities open the way for diverse applications to extremal set theory and to group theory. We demonstrate this by proving quantitative bounds on the size of intersecting families of sets and vectors under weak symmetry conditions and by describing numerous applications to the study of functions on $S_n$ -- including hypercontractivity and level-$d$ inequalities, character bounds, variants of Roth's theorem and of Bogolyubov's lemma, and diameter bounds, that were obtained using our techniques.

A Note on the Representation Power of GHHs

Generalization of hinging hyperplanes

Generalized polynomials and hyperplane functions in $(\mathbb{Z}/p^k\mathbb{Z})^n$

Hyperplane Arrangements and Fixed Points in Iterated PWL Neural Networks

Adaptive Hinging Hyperplane and Its Comparison with High-Level Canonical Piecewise Linear Representation

A Note on the Harnack Inequality Related with the Martin Boundary

Achieving Sharp Upper Bounds on the Expressive Power of Neural Networks via Tropical Polynomials

Towards Lower Bounds on the Depth of ReLU Neural Networks

Analysis of Multivariate Gegenbauer Approximation in the Hypercube

A general approximation lower bound in $L^p$ norm, with applications to feed-forward neural networks

Some Upper Bounds on the Eigenvalues of Uniform Hypergraphs

A note on the lower bound of representation functions

A NOTE ON VERY WEAK P{HARMONIC MAPPINGS

A Generalization of Hadamard's Inequality for Convex Functions

Sharp Hypercontractivity for Global Functions

A note on the Gaussian maximal functions

Generalized Converses of Operator Jensens Inequalities with Applications to Hypercomplex Function Approximations and Bounds Algebra

A note on complex hyperbolic lattices and strict hyperbolization

Adaptive hybrid high-order method for guaranteed lower eigenvalue bounds

Lower Bounds on the Depth of Integral ReLU Neural Networks via Lattice Polytopes

Generalized Multivariate Hypercomplex Function Inequalities and Their Applications