Modular intersection bound for a set family

ID: modular-intersection-bound-for-a-set-family

Let have size , and let satisfy and for distinct . Then
The multilinearizations of
are linearly independent functions on the characteristic vectors of the family and lie in the multilinear polynomial space of degree at most .

New to topics? Read the docs here!