Welcome to the new version of CaltechAUTHORS. Login is currently restricted to library staff. If you notice any issues, please email coda@library.caltech.edu
Published January 11, 2020 | Submitted
Report Open

Four-term progression free sets with three-term progressions in all large subsets

Abstract

This paper is mainly concerned with sets which do not contain four-term arithmetic progressions, but are still very rich in three term arithmetic progressions, in the sense that all sufficiently large subsets contain at least one such progression. We prove that there exists a positive constant c and a set A ⊂ F^n_q which does not contain a four-term arithmetic progression, with the property that for every subset A′ ⊂ A with |A′| ≥ |A|^(1−c), A′ contains a nontrivial three term arithmetic progression. We derive this from a more general quantitative Roth-type theorem in random subsets of F^n_q, which improves a result of Kohayakawa-Luczak-Rödl/Tao-Vu. We also discuss a similar phenomenon over the integers, where we show that for all ϵ > 0, and all sufficiently large N ∈ N, there exists a four-term progression-free set A of size N with the property that for every subset A′ ⊂ A with |A′| ≫ 1/(logN)^(1−ϵ)⋅ N contains a nontrivial three term arithmetic progression. Finally, we include another application of our methods, showing that for sets in F^n_q or Z the property of "having nontrivial three-term progressions in all large subsets" is almost entirely uncorrelated with the property of "having large additive energy".

Attached Files

Submitted - 1905.08457.pdf

Files

1905.08457.pdf
Files (288.7 kB)
Name Size Download all
md5:b1a0305c129e88c6cfb6e7d139bf7891
288.7 kB Preview Download

Additional details

Created:
August 19, 2023
Modified:
October 18, 2023