= Frankl-Wilson theorem
{c}
Let $p$ be a <prime number>, let $L\subseteq\mathbb F_p$ have $s\leq\min\{k,n-k\}$ elements, and suppose $\mathcal A\subseteq[n]^{(k)}$ satisfies $|A\cap B|\bmod p\in L$ for distinct members while $k\bmod p\notin L$. The Frankl-Wilson theorem gives
$$
|\mathcal A|\leq\binom ns.
$$
Its <polynomial method in combinatorics> turns modular intersection restrictions into linearly independent functions represented by square-free monomials of degree $s$.
Back to article page
