arXiv++ Combinatorics

A family of permutations is called $t$-intersecting if any two permutations in the family agree on at least $t$ elements. We prove that there exists $n_0 \in \mathbb{N}$ such that for any $n>n_0$ and any $1 \leq t \leq n$, the maximum size of a $t$-intersecting family in $S_n$ is obtained by one of the families $\mathcal{F}_{n,t,r}=\{σ\in S_n: |\mathrm{Fixed}(σ) \cap \{1,2,\ldots,t+2r\}|\geq t+r\}$, where $\mathrm{Fixed}(σ)$ is the set of fixed points of $σ$. This proves an analogue of the classical Complete Intersection Theorem for large permutation groups, thus providing an essentially complete solution of the Deza-Frankl intersection problem for permutations (1977).

We prove the following, for a universal constant $c>0$. Let $n \in \mathbb{N}$ and $1 \leq t<c\frac{n}{\log n}$. Let $F,G \subset S_n$ be families of permutations such that no $σ\in F$ and $τ\in G$ agree on exactly $t-1$ values. Then $|F||G| \leq ((n-t)!)^2$, with equality if and only if $F=G=\{σ\in S_n:σ(i_1)=j_1,\ldots,σ(i_t)=j_t\}$, for some $i_1,\ldots,i_t,j_1,\ldots,j_t \in \{1,2,\ldots,n\}$. The range of values of $t$ in the result is essentially optimal, as for any $ε>0$, the statement fails for $t=(1+ε)\frac{n}{\log_2 n}$ and all $n>n_0(ε)$. This solves the cross-intersection variant of the Erdős-Sós forbidden intersection problem for permutations. The best previously known result, by Kupavskii and Zakharov (Adv.~Math., 2024), obtained the same assertion for $t \leq \tilde{O}(n^{1/3})$. We obtain our result by combining two recently introduced techniques: hypercontractivity of global functions and spreadness.

We study covering numbers of subsets of the symmetric group $S_n$ that exhibit closure under conjugation, known as \emph{normal} sets. We show that for any $ε>0$, there exists $n_0$ such that if $n>n_0$ and $A$ is a normal subset of the symmetric group $S_n$ of density $\ge e^{-n^{2/5 - ε}}$, then $A^2 \supseteq A_n$. This improves upon a seminal result of Larsen and Shalev (Inventiones Math., 2008), with our $2/5$ in the double exponent replacing their $1/4$. Our proof strategy combines two types of techniques. The first is `traditional' techniques rooted in character bounds and asymptotics for the Witten zeta function, drawing from the foundational works of Liebeck--Shalev, Larsen--Shalev, and more recently, Larsen--Tiep. The second is a sharp hypercontractivity theorem in the symmetric group, which was recently obtained by Keevash and Lifshitz. This synthesis of algebraic and analytic methodologies not only allows us to attain our improved bounds but also provides new insights into the behavior of general independent sets in normal Cayley graphs over symmetric groups.

For a function $f$ on the hypercube $\{0,1\}^n$ with Fourier expansion $f=\sum_{S\subseteq[n]}\hat f(S)χ_S$, the hypercontractive inequality allows bounding norms of $T_ρf=\sum_Sρ^{|S|} \hat f(S)χ_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)χ_S$ in terms of $E[f]$. These 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, and finding a `natural' generalization was a long-standing open problem. In 2024, Keevash et al.~obtained a hypercontractive inequality for general discrete product spaces, 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 $S_n$ and to other settings where sharpness of the bound is crucial. Also, no sharp 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, group theory, theoretical computer science, and number 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 that were obtained using our results -- to the study of functions over $S_n$, including hypercontractivity and level-$d$ inequalities, character bounds, variants of Roth's theorem and of Bogolyubov's lemma and diameter bounds, and an application to the Furstenberg-S{á}rk{ö}zy problem.

We prove that there exists a constant $c_0$ such that for any $t \in \mathbb{N}$ and any $n\geq c_0 t$, if $A \subset S_n$ is a $t$-intersecting family of permutations then$|A|\leq (n-t)!$. Furthermore, if $|A|\ge 0.75(n-t)!$ then there exist $i_1,\ldots,i_t$ and $j_1,\ldots,j_t$ such that $σ(i_1)=j_1,\ldots,σ(i_t)=j_t$ holds for any $σ\in A$. This shows that the conjectures of Deza and Frankl (1977) and of Cameron (1988) on $t$-intersecting families of permutations hold for all $t \leq c_0 n$. Our proof method, based on hypercontractivity for global functions, does not use the specific structure of permutations, and applies in general to $t$-intersecting sub-families of `pseudorandom' families in $\{1,2,\ldots,n\}^n$, like $S_n$.

An average-case variant of the $k$-SUM conjecture asserts that finding $k$ numbers that sum to 0 in a list of $r$ random numbers, each of the order $r^k$, cannot be done in much less than $r^{\lceil k/2 \rceil}$ time. On the other hand, in the dense regime of parameters, where the list contains more numbers and many solutions exist, the complexity of finding one of them can be significantly improved by Wagner's $k$-tree algorithm. Such algorithms for $k$-SUM in the dense regime have many applications, notably in cryptanalysis. In this paper, assuming the average-case $k$-SUM conjecture, we prove that known algorithms are essentially optimal for $k= 3,4,5$. For $k>5$, we prove the optimality of the $k$-tree algorithm for a limited range of parameters. We also prove similar results for $k$-XOR, where the sum is replaced with exclusive or. Our results are obtained by a self-reduction that, given an instance of $k$-SUM which has a few solutions, produces from it many instances in the dense regime. We solve each of these instances using the dense $k$-SUM oracle, and hope that a solution to a dense instance also solves the original problem. We deal with potentially malicious oracles (that repeatedly output correlated useless solutions) by an obfuscation process that adds noise to the dense instances. Using discrete Fourier analysis, we show that the obfuscation eliminates correlations among the oracle's solutions, even though its inputs are highly correlated.

We prove the following conjecture, due to Tomaszewski (1986): Let $X= \sum_{i=1}^{n} a_{i} x_{i}$, where $\sum_i a_i^2=1$ and each $x_i$ is a uniformly random sign. Then $\Pr[|X|\leq 1] \geq 1/2$. Our main novel tools are local concentration inequalities and an improved Berry-Esseen inequality for Rademacher sums.

We prove the following conjecture, raised by Aaronson and Ambainis in 2008: Let $f:\{-1,1\}^n \rightarrow [-1,1]$ be a multilinear polynomial of degree $d$. Then there exists a variable $x_i$ whose influence on $f$ is at least $\mathrm{poly}(\mathrm{Var}(f)/d)$. As was shown by Aaronson and Ambainis, this result implies the following well-known conjecture on the power of quantum computing, dating back to 1999: Let $Q$ be a quantum algorithm that makes $T$ queries to a Boolean input and let $ε,δ> 0$. Then there exists a deterministic classical algorithm that makes $\mathrm{poly}(T,1/ε,1/δ)$ queries to the input and that approximates $Q$'s acceptance probability to within an additive error $ε$ on a $1-δ$ fraction of inputs. In other words, any quantum algorithm can be simulated on most inputs by a classical algorithm which is only polynomially slower, in terms of query complexity.

The Fourier-Walsh expansion of a Boolean function $f \colon \{0,1\}^n \rightarrow \{0,1\}$ is its unique representation as a multilinear polynomial. The Kindler-Safra theorem (2002) asserts that if in the expansion of $f$, the total weight on coefficients beyond degree $k$ is very small, then $f$ can be approximated by a Boolean-valued function depending on at most $O(2^k)$ variables. In this paper we prove a similar theorem for Boolean functions whose domain is the `slice' ${{[n]}\choose{pn}} = \{x \in \{0,1\}^n\colon \sum_i x_i = pn\}$, where $0 \ll p \ll 1$, with respect to their unique representation as harmonic multilinear polynomials. We show that if in the representation of $f\colon {{[n]}\choose{pn}} \rightarrow \{0,1\}$, the total weight beyond degree $k$ is at most $ε$, where $ε= \min(p, 1-p)^{O(k)}$, then $f$ can be $O(ε)$-approximated by a degree-$k$ Boolean function on the slice, which in turn depends on $O(2^{k})$ coordinates. This proves a conjecture of Filmus, Kindler, Mossel, and Wimmer (2015). Our proof relies on hypercontractivity, along with a novel kind of a shifting procedure. In addition, we show that the approximation rate in the Kindler-Safra theorem can be improved from $ε+ \exp(O(k)) ε^{1/4}$ to $ε+ε^2 (2\ln(1/ε))^k/k!$, which is tight in terms of the dependence on $ε$ and misses at most a factor of $2^{O(k)}$ in the lower-order term.

A halfspace is a function $f\colon\{-1,1\}^n \rightarrow \{0,1\}$ of the form $f(x)=\mathbb{1}(a\cdot x>t)$, where $\sum_i a_i^2=1$. We show that if $f$ is a halfspace with $\mathbb{E}[f]=ε$ and $a'=\max_i |a_i|$, then the degree-1 Fourier weight of $f$ is $W^1(f)=Θ(ε^2 \log(1/ε))$, and the maximal influence of $f$ is $I_{\max}(f)=Θ(ε\min(1,a' \sqrt{\log(1/ε)}))$. These results, which determine the exact asymptotic order of $W^1(f)$ and $I_{\max}(f)$, provide sharp generalizations of theorems proved by Matulef, O'Donnell, Rubinfeld, and Servedio, and settle a conjecture posed by Kalai, Keller and Mossel. In addition, we present a refinement of the definition of noise sensitivity which takes into consideration the bias of the function, and show that (like in the unbiased case) halfspaces are noise resistant, and, in the other direction, any noise resistant function is well correlated with a halfspace. Our main tools are 'local' forms of the classical Chernoff inequality, like the following one proved by Devroye and Lugosi (2008): Let $\{ x_i \}$ be independent random variables uniformly distributed in $\{-1,1\}$, and let $a_i\in\mathbb{R}_+$ be such that $\sum_i a_{i}^{2}=1$. If for some $t\geq 0$ we have $\Pr[\sum_{i} a_i x_i > t]=ε$, then $\Pr[\sum_{i} a_i x_i>t+δ]\leq \fracε{2}$ holds for $δ\leq c/\sqrt{\log(1/ε)}$, where $c$ is a universal constant.

Numerous problems in extremal hypergraph theory ask to determine the maximal size of a $k$-uniform hypergraph on $n$ vertices that does not contain an `enlarged' copy $H^+$ of a fixed hypergraph $H$. These include well-known problems such as the Erdős-Sós `forbidding one intersection' problem and the Frankl-Füredi `special simplex' problem. We present a general approach to such problems, using a `junta approximation method' that originates from analysis of Boolean functions. We prove that any $H^+$-free hypergraph is essentially contained in a `junta' -- a hypergraph determined by a small number of vertices -- that is also $H^+$-free, which effectively reduces the extremal problem to an easier problem on juntas. Using this approach, we obtain, for all $C<k<n/C$, a complete solution of the extremal problem for a large class of $H$'s, which includes the aforementioned problems, and solves them for a large new set of parameters. We apply our method also to the 1974 Erdős-Chvátal simplex conjecture, which asserts that for any $d < k \leq \frac{d}{d+1}n$, the maximal size of a $k$-uniform family that does not contain a $d$-simplex (i.e., $d+1$ sets with empty intersection such that any $d$ of them intersect) is ${{n-1}\choose{k-1}}$. We prove the conjecture for all $d$ and $k$, provided $n>n_0(d)$.

The influence of the $k$'th coordinate on a Boolean function $f:\{0,1\}^n \rightarrow \{0,1\}$ is the probability that flipping $x_k$ changes the value $f(x)$. The total influence $I(f)$ is the sum of influences of the coordinates. The well-known `Junta Theorem' of Friedgut (1998) asserts that if $I(f) \leq M$, then $f$ can be $ε$-approximated by a function that depends on $O(2^{M/ε})$ coordinates. Friedgut's theorem has a wide variety of applications in mathematics and theoretical computer science. For a biased function with $E[f]=μ$, the edge isoperimetric inequality on the cube implies that $I(f) \geq 2μ\log(1/μ)$. Kahn and Kalai (2006) asked, in the spirit of the Junta theorem, whether any $f$ such that $I(f)$ is within a constant factor of the minimum, can be $εμ$-approximated by a DNF of a `small' size (i.e., a union of a small number of sub-cubes). We answer the question by proving the following structure theorem: If $I(f) \leq 2μ(\log(1/μ)+M)$, then $f$ can be $εμ$-approximated by a DNF of size $2^{2^{O(M/ε)}}$. The dependence on $M$ is sharp up to the constant factor in the double exponent.

The `full' edge isoperimetric inequality for the discrete cube (due to Harper, Bernstein, Lindsay and Hart) specifies the minimum size of the edge boundary $\partial A$ of a set $A \subset \{0,1\}^n$, as a function of $|A|$. A weaker (but more widely-used) lower bound is $|\partial A| \geq |A| \log_2(2^n/|A|)$, where equality holds iff $A$ is a subcube. In 2011, the first author obtained a sharp `stability' version of the latter result, proving that if $|\partial A| \leq |A| (\log(2^n/|A|)+ε)$, then there exists a subcube $C$ such that $|A ΔC|/|A| = O(ε/\log(1/ε))$. The `weak' version of the edge isoperimetric inequality has the following well-known generalization for the `$p$-biased' measure $μ_p$ on the discrete cube: if $p \leq 1/2$, or if $0 < p < 1$ and $A$ is monotone increasing, then $pμ_p(\partial A) \geq μ_p(A) \log_p(μ_p(A))$. In this paper, we prove a sharp stability version of the latter result, which generalizes the aforementioned result of the first author. Namely, we prove that if $pμ_p(\partial A) \leq μ_p(A) (\log_p(μ_p(A))+ε)$, then there exists a subcube $C$ such that $μ_p(A ΔC)/μ_p(A) = O(ε' /\log(1/ε'))$, where $ε' =ε\ln (1/p)$. This result is a central component in recent work of the authors proving sharp stability versions of a number of Erdős-Ko-Rado type theorems in extremal combinatorics, including the seminal `complete intersection theorem' of Ahlswede and Khachatrian. In addition, we prove a biased-measure analogue of the `full' edge isoperimetric inequality, for monotone increasing sets, and we observe that such an analogue does not hold for arbitrary sets, hence answering a question of Kalai. We use this result to give a new proof of the `full' edge isoperimetric inequality, one relying on the Kruskal-Katona theorem.

The edge isoperimetric inequality in the discrete cube specifies, for each pair of integers $m$ and $n$, the minimum size $g_n(m)$ of the edge boundary of an $m$-element subset of $\{0,1\}^{n}$; the extremal families (up to automorphisms of the discrete cube) are initial segments of the lexicographic ordering on $\{0,1\}^n$. We show that for any $m$-element subset $\mathcal{F} \subset \{0,1\}^n$ and any integer $l$, if the edge boundary of $\mathcal{F}$ has size at most $g_n(m)+l$, then there exists an extremal family $\mathcal{G} \subset \{0,1\}^n$ such that $|\mathcal{F} Δ\mathcal{G}| \leq Cl$, where $C$ is an absolute constant. This is best-possible, up to the value of $C$. Our result can be seen as a `stability' version of the edge isoperimetric inequality in the discrete cube, and as a discrete analogue of the seminal stability result of Fusco, Maggi and Pratelli concerning the isoperimetric inequality in Euclidean space.

A family $F$ of graphs on a fixed set of $n$ vertices is called triangle-intersecting if for any $G_1,G_2 \in F$, the intersection $G_1 \cap G_2$ contains a triangle. More generally, for a fixed graph $H$, a family $F$ is $H$-intersecting if the intersection of any two graphs in $F$ contains a sub-graph isomorphic to $H$. In [D. Ellis, Y. Filmus, and E. Friedgut, Triangle-intersecting families of graphs, J. Eur. Math. Soc. 14 (2012), pp. 841--885], Ellis, Filmus and Friedgut proved a 36-year old conjecture of Simonovits and Sós stating that the maximal size of a triangle-intersecting family is $(1/8)2^{n(n-1)/2}$. Furthermore, they proved a $p$-biased generalization, stating that for any $p \leq 1/2$, we have $μ_{p}(F)\le p^{3}$, where $μ_{p}(F)$ is the probability that the random graph $G(n,p)$ belongs to $F$. In the same paper, Ellis et al. conjectured that the assertion of their biased theorem holds also for $1/2 < p \le 3/4$, and more generally, that for any non-$t$-colorable graph $H$ and any $H$-intersecting family $F$, we have $μ_{p}(F)\le p^{t(t+1)/2}$ for all $p \leq (2t-1)/(2t)$. In this note we construct, for any fixed $H$ and any $p>1/2$, an $H$-intersecting family $F$ of graphs such that $μ_{p}(F)\ge 1-e^{-n^{2}/C}$, where $C$ depends only on $H$ and $p$, thus disproving both conjectures.

Chvátal's conjecture in extremal combinatorics asserts that for any decreasing family $\mathcal{F}$ of subsets of a finite set $S$, there is a largest intersecting subfamily of $\mathcal{F}$ consisting of all members of $\mathcal{F}$ that include a particular $x \in S$. In this paper we reformulate the conjecture in terms of influences of variables on Boolean functions and correlation inequalities, and study special cases and variants using tools from discrete Fourier analysis.

A family $F$ of sets is said to be $t$-intersecting if $|A \cap B| \geq t$ for any $A,B \in F$. The seminal Complete Intersection Theorem of Ahlswede and Khachatrian (1997) gives the maximal size $f(n,k,t)$ of a $t$-intersecting family of $k$-element subsets of $[n]=\{1,2,\ldots,n\}$, together with a characterisation of the extremal families. The forbidden intersection problem, posed by Erdős and Sós in 1971, asks for a determination of the maximal size $g(n,k,t)$ of a family $F$ of $k$-element subsets of $[n]$ such that $|A \cap B| \neq t-1$ for any $A,B \in F$. In this paper, we show that for any fixed $t \in \mathbb{N}$, if $o(n) \leq k \leq n/2-o(n)$, then $g(n,k,t)=f(n,k,t)$. In combination with prior results, this solves the above problem of Erdős and Sós for any constant $t$, except for in the ranges $n/2-o(n) < k < n/2+t/2$ and $k < 2t$. One key ingredient of the proof is the following sharp `stability' result for the Complete Intersection Theorem: if $k/n$ is bounded away from $0$ and $1/2$, and $F$ is a $t$-intersecting family of $k$-element subsets of $[n]$ such that $|F| \geq f(n,k,t) - O(\binom{n-d}{k})$, then there exists a family $G$ such that $G$ is extremal for the Complete Intersection Theorem, and $|F \setminus G| = O(\binom{n-d}{k-d})$. We believe this result to be of interest in its own right; indeed, it proves a conjecture of Friedgut from 2008. We prove it by combining classical `shifting' arguments with a `bootstrapping' method based upon an isoperimetric inequality. Another key ingredient is a `weak regularity lemma' for families of $k$-element subsets of $[n]$, where $k/n$ is bounded away from 0 and 1. This states that any such family $F$ is approximately contained within a `junta', such that the restriction of $F$ to each subcube determined by the junta is `pseudorandom' in a certain sense.

Erdős-Ko-Rado (EKR) type theorems yield upper bounds on the sizes of families of sets, subject to various intersection requirements on the sets in the family. Stability versions of such theorems assert that if the size of a family is close to the maximum possible size, then the family itself must be close (in some appropriate sense) to a maximum-sized family. In this paper, we present an approach to obtaining stability versions of EKR-type theorems, via isoperimetric inequalities for subsets of the hypercube. Our approach is rather general, and allows the leveraging of a wide variety of exact EKR-type results into strong stability versions of these results, without going into the proofs of the original results. We use this approach to obtain tight stability versions of the EKR theorem itself and of the Ahlswede-Khachatrian theorem on $t$-intersecting families of $k$-element subsets of $\{1,2,\ldots.n\}$ (for $k < \frac{n}{t+1}$), and to show that, somewhat surprisingly, all these results hold when the intersection requirement is replaced by a much weaker requirement. Other examples include stability versions of Frankl's recent result on the Erdős matching conjecture, the Ellis-Filmus-Friedgut proof of the Simonovits-Sós conjecture, and various EKR-type results on $r$-wise (cross)-$t$-intersecting families.

The classical correlation inequality of Harris asserts that any two monotone increasing families on the discrete cube are nonnegatively correlated. In 1996, Talagrand established a lower bound on the correlation in terms of how much the two families depend simultaneously on the same coordinates. Talagrand's method and results inspired a number of important works in combinatorics and probability theory. In this paper we present stronger correlation lower bounds that hold when the increasing families satisfy natural regularity or symmetry conditions. In addition, we present several new classes of examples for which Talagrand's bound is tight. A central tool in the paper is a simple lemma asserting that for monotone events noise decreases correlation. This lemma gives also a very simple derivation of the classical FKG inequality for product measures, and leads to a simplification of part of Talagrand's proof.

We show that if $A \subset [k]^n$, then $A$ is $ε$-close to a junta depending upon at most $\exp(O(|\partial A|/(k^{n-1}ε)))$ coordinates, where $\partial A$ denotes the edge-boundary of $A$ in the $\ell^1$-grid. This is sharp up to the value of the absolute constant in the exponent. This result can be seen as a generalisation of the Junta theorem for the discrete cube, from [E. Friedgut, Boolean functions with low average sensitivity depend on few coordinates, Combinatorica 18 (1998), 27-35], or as a characterization of large subsets of the $\ell^1$-grid whose edge-boundary is small. We use it to prove a result on the structure of Lipschitz functions between two discrete tori; this can be seen as a discrete, quantitative analogue of a recent result of Austin [T. Austin, On the failure of concentration for the $\ell^{\infty}$-ball, preprint]. We also prove a refined version of our junta theorem, which is sharp in a wider range of cases.