Nonuniform Frankl-Wilson theorem ($|\mathcal{F}|\le {\sum }_{j=0}^s\left(\genfrac{}{}{0ex}{}{n}{j}\right)$)

Let $p$ be a prime number and $L\subseteq {\mathbb{F}}_p$ have $s$ elements. A set family whose member sizes modulo $p$ avoid $L$, and whose distinct pairwise intersection sizes modulo $p$ belong to $L$, has at most ${\sum }_{j=0}^{\min (s,n)}\left(\genfrac{}{}{0ex}{}{n}{j}\right)$ members. The intersection polynomials ${\prod }_{\ell \in L}({\sum }_{i\in A}{x}_i-\ell )$ have a diagonal, nonzero evaluation matrix on the family's characteristic vectors of sets. Multilinear reduction on the Boolean cube places these linearly independent functions in the space spanned by square-free monomials of degree at most $s$.