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 Estimates for Norms of Functions from Conjugate Classes in Metrics C and L

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

Sharp Coefficient Estimates for Certain Subclasses of Starlike Functions of Complex Order

The Schwarzian norm estimates for Janowski convex functions

Sharp norm estimates for functional dual affine quermassintegrals

Sharp Hypercontractivity for Global Functions

Sharp Coefficient Estimates for Analytic Functions Associated with Lemniscate of Bernoulli

On some sharp Landau--Kolmogorov--Nagy type inequalities in Sobolev spaces of multivariate functions

A Sharp Inequality of Hardy-Littlewood Type Via Derivatives

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

Sharp local $L^p$ estimates for the Hermite eigenfunctions

Schwarzian Norm Estimate for Functions in Robertson Class

Sharp estimates for spectrum of Cauchy operator and periods of solutions of Lipschitz differential equations

Norm estimates for the Bergman and Cauchy-Szegö projections over the Siegel upper half-space

Pre-Schwarzian norm estimate for certain Ma-Minda Class of functions

Sharp coefficient inequalities of starlike functions connected with secant hyperbolic function

Sharp quantitative Faber-Krahn inequalities and the Alt-Caffarelli-Friedman monotonicity formula

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

Estimates for Coefficients of Certain Analytic Functions

Sharp total variation rates of convergence for fluctuations of linear statistics of $β$-ensembles

Sharp inequalities for the Neuman-Sandor mean in terms of arithmetic and contra-harmonic means