Complement splitting for forbidden midpoint intersections

ID: complement-splitting-for-forbidden-midpoint-intersections

For a prime , take rank- subsets of with no distinct pair meeting in points. Split by membership of coordinate one. In the containing part, remove that coordinate; in the avoiding part, first take complements and then remove it. Both transformed families have rank on points. Their distinct intersections avoid residue modulo . The uniform Frankl-Wilson theorem bounds each by , yielding the displayed stronger form of the requested bound.

New to topics? Read the docs here!