An improved non-linear Roth-type theorem in finite fields

TL;DR

This paper proves that large subsets of finite fields contain specific quadratic progressions, improving previous bounds and using Weil-type estimates, with additional constructions of progression-free sets in certain fields.

Contribution

It introduces a new bound for quadratic progressions in finite fields using simpler estimates and constructs large progression-free sets in non-prime fields.

Findings

Sets of size at least C|F|^{5/6} contain quadratic progressions

Improves previous exponent from 7/8 to 5/6 for prime fields

Constructs progression-free sets of size c|F|^{2/3} in some non-prime fields

Abstract

Let $F$ be a finite field of odd characteristic. We prove that any set $A\subset F$ with $|A|\geq C|F|^{5/6}$ contains a nontrivial quadratic progression $(x, x+y, x+y^2), y\neq 0.$ For prime fields, this improves the previous best-known exponent of $7/8$, due to Kavrut and Wu. Unlike some of the previous papers, which rely on Katz's deep multivariate exponential-sum estimates, our argument uses only one-variable Weil-type estimates. We also construct, over certain non-prime finite fields, progression-free sets of size $c|F|^{2/3}$. A key idea in the proof was suggested to the author by ChatGPT 5.5.