Abstract:We prove an effective version of the inverse theorem for the Gowers $U^3$-norm for functions supported on high-rank quadratic level sets in finite vector spaces. For configurations controlled by the $U^3$-norm (complexity-two configurations), this enables one to run a density increment argument with respect to quadratic level sets, which are analogues of Bohr sets in the context of quadratic Fourier analysis on finite vector spaces. We demonstrate such an argument by deriving an exponential bound on the Ramsey number of three-term progressions which are the same colour as their common difference (``Brauer quadruples''), a result we have been unable to establish by other means. Our methods also yield polylogarithmic bounds on the density of sets lacking translation-invariant configurations of complexity two. Such bounds for four-term progressions were obtained by Green and Tao using a simpler weak-regularity argument. In an appendix, we give an example of how to generalise Green and Tao's argument to other translation-invariant configurations of complexity two. However, this crucially relies on an estimate coming from the Croot-Lev-Pach polynomial method, which may not be applicable to all systems of complexity two. Hence running a density increment with respect to quadratic level sets may still prove useful for such problems. It may also serve as a model for running density increments on more general nil-Bohr sets, with a view to effectivising other Szemerédi-type theorems.

Relative Northcott numbers for the weighted Weil heights

Northcott numbers for the weighted Weil heights

Northcott numbers for generalized weighted Weil heights

Heights and regulators of number fields and elliptic curves

Estimating heights using auxiliary functions

Equidistribution and the heights of totally real and totally p-adic numbers

Böttcher-Wenzel inequality for weighted Frobenius norms and its application to quantum physics

Weighted Versions of the Arithmetic-Mean-Geometric Mean Inequality and Zaremba's Function

On Widmer's criteria for the Northcott property

A note on some Diophantine inequalities over adelic curves

On the Northcott property of Dedekind zeta functions

An inverse theorem for the Gowers $U^3$-norm relative to quadratic level sets

Chebyshev polynomials corresponding to a vanishing weight

On the Northcott property for special values of L-functions

The Weil bound for generalized Kloosterman sums of half-integral weight

Height functions on Hecke orbits and the generalised André–Pink–Zannier conjecture

Lower Bounds for Weighted Chebyshev and Orthogonal Polynomials

Heights and quantitative arithmetic on stacky curves

Iwasawa theory for weighted graphs

A weighted one-level density of the non-trivial zeros of the Riemann zeta-function