| Summary: | Let s≥3 be a natural number, let ψ(x) be a polynomial with real coefficients and degree d≥2, and let A be some large, non-empty, finite subset of real numbers. We use Es,2(A) to denote the number of solutions to the system of equations
<br><br>
∑i=1s(ψ(xi)−ψ(xi+s))=∑i=1s(xi−xi+s)=0,
<br><br>
where xi∈A for each 1≤i≤2s. Our main result shows that
<br><br>
Es,2(A)≪d,s|A|2s−3+ηs,
<br><br>
where η3=1/2, and ηs=(1/4−1/7246)⋅2−s+4 when s≥4. The only other previously known result of this flavour is due to Bourgain and Demeter, who showed that when ψ(x)=x2 and s=3, we have
<br><br>
E3,2(A)≪ϵ|A|3+1/2+ϵ,
<br><br>
for each ϵ>0. Thus our main result improves upon the above estimate, while also generalising it for larger values of s and more wide-ranging choices of ψ(x).
The novelty of our estimates is that they only depend on d, s and |A|, and are independent of the diameter of A. Thus when A is a sparse set, our results are stronger than the corresponding bounds that are provided by methods such as decoupling and efficient congruencing. Consequently, our strategy differs from these two lines of approach, and we employ techniques from incidence geometry, arithmetic combinatorics and analytic number theory. Amongst other applications, our estimates lead to stronger discrete restriction estimates for sparse sequences.
|
|---|