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.

Sharp spectral gap estimates for higher-order operators on Cartan-Hadamard manifolds

Sharp spectral gap estimates for higher-order operators on cartan-hadamard manifolds

Lower Bounds for Eigenvalues of Laplacian Operator and the Clamped Plate Problem

Spectral Gap Estimates on Conformally Flat Manifolds

Sharp log-Sobolev inequalities in CD ( 0 , N ) spaces with applications

Sharp $\mathrm{L}^\infty$ estimates for fully non-linear elliptic equations on compact complex manifolds

Sharp Hardy-type inequalities for non-compact harmonic manifolds and Damek-Ricci spaces

Sharp Hypercontractivity for Global Functions

A Sharp Higher Order Sobolev Inequality on Riemannian Manifolds

Sharp bounds on higher-dimensional product spaces for Hardy-type operators on Heisenberg group

Sharp Norm-Estimations for Moore-Penrose Inverses of Stable Perturbations of Hilbert C*-Module Operators

Vector Valued Gårding Inequality for pseudo-differential operators on compact homogeneous manifolds

Critical, stability and higher-order analysis for Hardy type inequalities on Cartan-Hadamard manifolds

Bakry-Èmery, Hardy, and Spectral Gap Estimates on Manifolds with Conical Singularities

Sharp estimates and inequalities on Riemannian manifolds with Euclidean volume growth

Sharp maximal function estimates for Hilbert transforms along monomial curves in higher dimensions

Asymptotics of spectral gaps on loop spaces over a class of Riemannian manifolds

Analysis and spectral theory of neck-stretching problems

Automorphic Spectra and the Conformal Bootstrap

Conformally Covariant Boundary Operators and Sharp Higher Order Sobolev Trace Inequalities on Poincaré-Einstein Manifolds

Sharp Hardy-Adams inequalities for bi-Laplacian on hyperbolic space of dimension four