Three-variable expanding polynomials and higher-dimensional distinct distances
Abstract
We determine which quadratic polynomials in three variables are expanders over an arbitrary field F. More precisely, we prove that for a quadratic polynomial f∈ F[x,y,z], which is not of the form g(h(x)+k(y)+l(z)), we have |f(A× B× C)| N3/2 for any sets A,B,C⊂ F with |A|=|B|=|C|=N, with N not too large compared to the characteristic of F. We give several applications. We use this result for f=(x-y)2+z to obtain new lower bounds on |A+A2| and \|A+A|,|A2+A2|\, and to prove that a Cartesian product A×·s × A⊂ Fd determines almost |A|2 distinct distances if |A| is not too large.
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.