Improved estimates for polynomial Roth type theorems in finite fields

DOI10.1007/S11854-020-0113-8MaRDI QIDQ1996484zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 5 March 2021

Published in Journal d'Analyse Mathématique (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1709.00080

zbMATH Keywords

Deligne's theoremexponential sums over smooth affine varietiesRoth theorem

Mathematics Subject Classification ID

Arithmetic combinatorics; higher degree uniformity (11B30)

Abstract: We prove that, under certain conditions on the function pair $varph{i}_1$ and $varph{i}_2$, bilinear average $p^{-1}su{m}_{yinmathbb{F}_p}{f}_1(x+varph{i}_1(y))f_2(x+varph{i}_2(y))$ along curve $(varph{i}_1,varph{i}_2)$ satisfies certain decay estimate. As a consequence, Roth type theorems hold in the setting of finite fields. In particular, if $varph{i}_1,varph{i}_{2}inmathbb{F}_p[X]$ with $varph{i}_1(0)=varph{i}_2(0)=0$ are linearly independent polynomials, then for any $Asubsetmathbb{F}_p,|A|=deltap$ with $delta>c{p}^{-frac112}$, there are $gtrsimdelt{a}^3{p}^2$ triplets $x,x+varph{i}_1(y),x+varph{i}_2(y)inA$. This extends a recent result of Bourgain and Chang who initiated this type of problems, and strengthens the bound in a result of Peluse, who generalized Bourgain and Chang's work. The proof uses discrete Fourier analysis and algebraic geometry.

Review text

Let \(\mathbb{F}_{q}\) be a finite field and \(\varphi_{1}\), \(\varphi_{2}\): \(\mathbb{F}_{q} \rightarrow \mathbb{F}_{q}\) be functions which satisfy some technical conditions. The main result of the paper is that every subset of \(\mathbb{F}_{q}\) with \(q\delta\) elements contains at least \(cq^{2}\delta^{3}\) triplets \(x, x + \varphi_{1}(y), x + \varphi_{2}(y)\in A\), if \(\delta\) is large enough and \(c\) is some positive constant. The authors also study the special case when \(\varphi_{1}\), \(\varphi_{2}\) are linearly independent polynomials over \(\mathbb{F}_{q}\), and prove a very similar result. The proofs are based on a variance type estimation for the average function \[ \mathcal{A}_{(\varphi_{1}, \varphi_{2})}(f_{1},f_{2})(x) = \frac{1}{q}\sum_{y\in \mathbb{F}_{q}}f_{1}( x + \varphi_{1}(y))f_{2}( x + \varphi_{2}(y)), \] for any \(f_{1}, f_{2}: \mathbb{F}_{q} \rightarrow \mathbb{C}\).

Recommendations

• Nonlinear Roth type theorems in finite fields
• A sum-product estimate in finite fields, and applications
• A generalization of Roth's theorem in function fields
• A prime analogue of Roth's theorem in function fields
• Two bipolynomial Roth theorems in \(\mathbb{R}\)

Cites work

• A study in sums of products
• Bilinear Hilbert transforms along curves, I: The monomial case
• Bounds for exponential sums
• Expanding polynomials over finite fields of large characteristic, and a regularity lemma for definable sets
• scientific article; zbMATH DE number 3735930 (Why is no real title available?)
• scientific article; zbMATH DE number 1385359 (Why is no real title available?)
• scientific article; zbMATH DE number 2121181 (Why is no real title available?)
• scientific article; zbMATH DE number 891064 (Why is no real title available?)
• La conjecture de Weil. I
• Nonlinear Roth type theorems in finite fields
• On cap sets and the group-theoretic approach to matrix multiplication
• On Exponential Sums in Finite Fields
• On large subsets of \(\mathbb{F}_q^n\) with no three-term arithmetic progression
• On monochromatic solutions of some nonlinear equations in \(\mathbb Z/p\mathbb Z\)
• On the Riemann Hypothesis in Function-Fields
• Oscillatory integrals and multipliers on FL\(^p\)
• Polynomial averages converge to the product of integrals
• Three-term polynomial progressions in subsets of finite fields

Cited in

(15)

• Nonlinear Roth type theorems in finite fields
• Pointwise ergodic theorems for non-conventional bilinear polynomial averages
• A prime analogue of Roth's theorem in function fields
• A generalization of Roth's theorem in function fields
• True complexity of polynomial progressions in finite fields
• Further bounds in the polynomial Szemerédi theorem over finite fields
• A POLYNOMIAL ROTH THEOREM FOR CORNERS IN FINITE FIELDS
• Polynomial progressions in topological fields
• Quantitative bounds in the nonlinear Roth theorem
• A quadratic Roth theorem for sets with large Hausdorff dimensions
• Quantitative concatenation for polynomial box norms
• Two-point patterns determined by curves
• Three term rational function progressions in finite fields
• On the polynomial Szemerédi theorem in finite commutative rings
• A bilinear estimate in \(\mathbb{F}_p\)

This page was built for publication: Improved estimates for polynomial Roth type theorems in finite fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1996484)