arXiv++ Combinatorics

A family of $m \times n$ matrices $\mathcal{F} \subseteq \mathbb{F}_q^{m \times n}$ is {$(t-1)$-intersection-free} if $\dim \ker(A-B) \neq t-1$ for all $A,B \in \mathcal{F}$. A \emph{forbidden $(t-1)$-intersection problem} for a collection of matrices asks for the size and structure of extremal $(t-1)$-intersection-free families within that collection. We solve this problem in $\mathrm{GL}(n,q)$ for all pairs $(n,t)$ such that $t<c\cdot n$ where $c$ is a universal constant. We show that the $t$-umvirates and their duals, are the only maximal $(t-1)$-intersection-free families $\mathcal{F} \subset \mathrm{GL}(n,q)$. Here, a $t$-umvirate is defined as the family of all matrices that agree on a fixed $t$-dimensional subspace, and its dual as those whose transposes agree on it. The best previously known result, due to Ellis, Kindler, and Lifshitz, established this bound under the assumption $n \geq e^{Ct\log t}$ for some constant $C>0$. We also give Frankl--Rödl-type constructions showing that this range of $t$ is almost the best possible: we show that for values of $t>n/2$ the extremal behavior changes and no clean analogue is expected. Our proof builds upon recent global hypercontractivity results for matrix spaces due to Evra, Kindler, and Lifshitz, and broadly applies to any sufficiently dense class of matrices.

In a recent breakthrough, Kelley and Meka (FOCS 2023) obtained a strong upper bound on the density of sets of integers without nontrivial three-term arithmetic progressions. In this work, we extend their result, establishing similar bounds for all linear patterns defined by binary systems of linear forms, where "binary" indicates that every linear form depends on exactly two variables. Prior to our work, no strong bounds were known for such systems even in the finite field model setting. A key ingredient in our proof is a graph counting lemma. The classical graph counting lemma, developed by Thomason (Random Graphs 1985) and Chung, Graham, and Wilson (Combinatorica 1989), is a fundamental tool in combinatorics. For a fixed graph $H$, it states that the number of copies of $H$ in a pseudorandom graph $G$ is similar to the number of copies of $H$ in a purely random graph with the same edge density as $G$. However, this lemma is only non-trivial when $G$ is a dense graph. In this work, we prove a graph counting lemma that is also effective when $G$ is sparse. Moreover, our lemma is well-suited for density increment arguments in additive number theory. As an immediate application, we obtain a strong bound for the Turán problem in abelian Cayley sum graphs: let $Γ$ be a finite abelian group with odd order. If a Cayley sum graph on $Γ$ does not contain any $r$-clique as a subgraph, it must have at most $2^{-Ω_r(\log^{1/16}|Γ|)}\cdot |Γ|^2$ edges. These results hinge on the technology developed by Kelley and Meka and the follow-up work by Kelley, Lovett, and Meka (STOC 2024).

The total influence of a function is a central notion in analysis of Boolean functions, and characterizing functions that have small total influence is one of the most fundamental questions associated with it. The KKL theorem and the Friedgut junta theorem give a strong characterization of such functions whenever the bound on the total influence is $o(\log n)$. However, both results become useless when the total influence of the function is $ω(\log n)$. The only case in which this logarithmic barrier has been broken for an interesting class of functions was proved by Bourgain and Kalai, who focused on functions that are symmetric under large enough subgroups of $S_n$. In this paper, we build and improve on the techniques of the Bourgain-Kalai paper and establish new concentration results on the Fourier spectrum of Boolean functions with small total influence. Our results include: 1. A quantitative improvement of the Bourgain--Kalai result regarding the total influence of functions that are transitively symmetric. 2. A slightly weaker version of the Fourier--Entropy Conjecture of Friedgut and Kalai. This weaker version implies in particular that the Fourier spectrum of a constant variance, Boolean function $f$ is concentrated on $2^{O(I[f]\log I[f])}$ characters, improving an earlier result of Friedgut. Removing the $\log I[f]$ factor would essentially resolve the Fourier--Entropy Conjecture, as well as settle a conjecture of Mansour regarding the Fourier spectrum of polynomial size DNF formulas. Our concentration result has new implications in learning theory: it implies that the class of functions whose total influence is at most $K$ is agnostically learnable in time $2^{O(K\log K)}$, using membership queries.