Quadratic growth of a sixfold product difference set
ID: quadratic-growth-of-a-sixfold-product-difference-set
For with , put using nonzero denominators. If is proper, some lies outside , since invariance under addition of one would give all of the prime field. The map on is injective. Clearing the denominator in a representation of puts a dilate of its image inside . If is the full field, averaging the collision count of gives some with . Clearing its denominator puts a dilate inside . Here is a product set, and the prefactors denote repeated sumsets, not scalar multiplication.
New to topics? Read the docs here!