Abstract:The hypercontractive inequality is a fundamental result in analysis, with many applications throughout discrete mathematics, theoretical computer science, combinatorics and more. So far, variants of this inequality have been proved mainly for product spaces, which raises the question of whether analogous results hold over non-product domains. We consider the symmetric group, , one of the most basic non-product domains, and establish hypercontractive inequalities on it. Our inequalities are most effective for the class of global functions on , which are functions whose -norm remains small when restricting coordinates of the input, and assert that low-degree, global functions have small q-norms, for . As applications, we show the following: 1. An analog of the level-d inequality on the hypercube, asserting that the mass of a global function on low degrees is very small. We also show how to use this inequality to bound the size of global, product-free sets in the alternating group . 2. Isoperimetric inequalities on the transposition Cayley graph of for global functions that are analogous to the KKL theorem and to the small-set expansion property in the Boolean hypercube. 3. Hypercontractive inequalities on the multi-slice and stability versions of the Kruskal–Katona Theorem in some regimes of parameters.

On the largest product-free subsets of the alternating groups

Product‐free sets in the free group

Product-free sets in the free group

Finding product sets in some classes of amenable groups

Large totally symmetric sets

The structure and density of $k$-product-free sets in the free semigroup

Product Mixing in Compact Lie Groups

Growth of products of subsets in finite simple groups

Product set phenomena for countable groups

On the maximal number of elements pairwise generating the finite alternating group

Large sum-free sets in finite vector spaces I

Sum-avoiding sets in groups

On base sizes for primitive groups of product type

Alternating groups as products of cycle classes - II

Structure of the largest idempotent-product free sequences in semigroups

Products of subsets of group that equal the group

The base size of the symmetric group acting on subsets

Possible Cardinalities of Maximal Abelian Subgroups of Quotients of Permutation Groups of the Integers

Hypercontractivity on the symmetric group

Bounds for Characters of the Symmetric Group: A Hypercontractive Approach