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.

Gaussian upper bounds, volume doubling and Sobolev inequalities on graphs

Gaussian upper heat kernel bounds and Faber-Krahn inequalities on graphs

Volume Doubling, Poincaré Inequality and Gaussian Heat Kernel Estimate for Non-Negatively Curved Graphs

On the Increments of A D-Dimensional Gaussian Process

A priori bounds for geodesic diameter. Part III. A Sobolev-Poincaré inequality and applications to a variety of geometric variational problems

Quantitative logarithmic Sobolev inequalities and stability estimates

Upper Bounds of Heat Kernels on Doubling Spaces

Heat Kernels and Green Functions on Metric Measure Spaces

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

Parabolic Mean Value Inequality and On-Diagonal Upper Bound of the Heat Kernel on Doubling Spaces

New bounds for normal approximation on product spaces with applications to monochromatic edges, random sums and an infinite de Jong CLT

Sobolev-Type Inequalities and Eigenvalue Growth on Graphs with Finite Measure

Gaussian Volume Bounds Under Hypercube Translations and Generalizations

Hölder regularity of harmonic functions on metric measure spaces

Discrete logarithmic Sobolev inequalities in Banach spaces

Upper bounds on homogeneous fractional Gagliardo-Nirenberg-Sobolev constants via parabolic estimates

Sharp stability for Sobolev and log-Sobolev inequalities, with optimal dimensional dependence

Schröodinger Equations and Heat Kernel Upper Bounds on Metric Spaces

Sobolev inequalities on Kähler spaces

Gaussian heat kernel upper bounds via Phragmén-Lindelöf theorem

A Hölder--Young--Lieb inequality for norms of Gaussian Wick products