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 Maximal Function Estimates for Hilbert Transforms Along Monomial Curves in Higher Dimensions

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

Sharp maximal function estimates for linear and multilinear pseudo-differential operators

Sharp Maximal function estimates for Multilinear pseudo-differential operators of type (0,0)

$β$-dimensional sharp maximal function and applications

The Multilinear Strong Maximal Function

On maximal functions generated by Hörmander-type spectral multipliers

Maximal operators along flat curves with one variable vector field

A sharp Hörmander estimate for multi-parameter and multi-linear Fourier multiplier operators

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

Remarks on the maximal operator and Hilbert transform along variable parabolas

Hilbert transforms and maximal functions along flat curves on the Heisenberg group

The sharp constant for truncated Hardy-Littlewood maximal inequality

Sharp Hypercontractivity for Global Functions

Sharp Function Estimates for Bilinear Pseudo-Differential Operators

Sharp endpoint $L^p-$estimates for Bilinear spherical maximal functions

The Sharp Weighted Bound for Multilinear Maximal Functions and Calderón–Zygmund Operators

Vector-valued estimates for shifted operators

Sharp Fourier restriction to monomial curves

Sharp supremum and Hölder bounds for stochastic integrals indexed by a parameter

Sharp Weighted Non-tangential Maximal Estimates via Carleson-Sparse Domination