Lower bounds in the polynomial Szemerédi theorem
arXiv:1908.06058
Abstract
We construct large subsets of the first positive integers which avoid certain arithmetic configurations. In particular, we construct a set of order lacking the configuration surpassing the limit of Ruzsa's construction for sets lacking a square difference. We also extend Ruzsa's construction to sets lacking polynomial differences for a wide class of univariate polynomials. Finally, we turn to multivariate differences, constructing a set of order lacking a difference equal to a sum of two squares. This is in contrast to the analogous problem of sets lacking a difference equal to a prime minus one, where the current record is of order
11 pages