Modular intersection polynomial
ID: modular-intersection-polynomial
If member sizes modulo a prime number avoid while distinct intersections lie in , evaluation at characteristic vectors of sets gives a diagonal matrix with nonzero diagonal. After multilinear reduction on the Boolean cube, these polynomials remain linearly independent and have degree at most . Counting square-free monomials proves . On a fixed uniform layer, the low-degree evaluation rank on a uniform layer sharpens this to when does not exceed the layer rank.
New to topics? Read the docs here!