Vinogradov's mean-value theorem

In mathematics, Vinogradov's mean value theorem is an estimate for the number of equal sums of powers.

It is an important inequality in analytic number theory, named for I. M. Vinogradov.

More specifically, let $J_{s,k}(X)$ count the number of solutions to the system of $k$ simultaneous Diophantine equations in $2s$ variables given by

: $x_1^j+x_2^j+\cdots+x_s^j=y_1^j+y_2^j+\cdots+y_s^j\quad (1\le j\le k)$

with

: $1\le x_i,y_i\le X, (1\le i\le s)$ .

That is, it counts the number of equal sums of powers with equal numbers of terms ( $s$ ) and equal exponents ( $j$ ),

up to $k$ th powers and up to powers of $X$ . An alternative analytic expression for $J_{s,k}(X)$ is

: $J_{s,k}(X)=\int_{[0,1)^k}|f_k(\mathbf\alpha;X)|^{2s}d\mathbf\alpha$

where

: $f_k(\mathbf\alpha;X)=\sum_{1\le x\le X}\exp(2\pi i(\alpha_1x+\cdots+\alpha_kx^k)).$

Vinogradov's mean-value theorem gives an upper bound on the value of $J_{s,k}(X)$ .

A strong estimate for $J_{s,k}(X)$ is an important part of the Hardy-Littlewood method for attacking Waring's problem and also for demonstrating a zero free region for the Riemann zeta-function in the critical strip.{{cite book | first=Edward Charles | last=Titchmarsh | others=Edited and with a preface by D. R. Heath-Brown | title=The theory of the Riemann Zeta-function | edition=Second | year=1986 | mr=0882550 | publisher=The Clarendon Press, Oxford University Press | location=New York | isbn=978-0-19-853369-6 }} Various bounds have been produced for $J_{s,k}(X)$ , valid for different relative ranges of $s$ and $k$ . The classical form of the theorem applies when $s$ is very large in terms of $k$ .

An analysis of the proofs of the Vinogradov mean-value conjecture can be found in the Bourbaki Séminaire talk by Lillian Pierce.{{cite journal |first=Lilian B. |last=Pierce|authorlink=Lillian Pierce|title= The Vinogradov mean-value theorem [after Wooley, and Bourgain, Demeter and Guth] |year= 2017| volume=69| issue=1134 | pages=1–80 | arxiv=1707.00119 | journal=Séminaire Bourbaki}}

Lower bounds

By considering the $X^s$ solutions where

: $x_i=y_i, (1\le i\le s)$

one can see that $J_{s,k}(X)\gg X^s$ .

A more careful analysis (see Vaughan {{cite book | first=Robert C. | last=Vaughan | title=The Hardy-Littlewood method | year=1997 | volume=25 | edition=Second | series=Cambridge Tracts in Mathematics | location=Cambridge | publisher=Cambridge University Press | isbn=978-0-521-57347-4 | mr=1435742}} equation 7.4) provides the lower bound

: $J_{s,k}\gg X^s+X^{2s-\frac12k(k+1)}.$

Proof of the Main conjecture

The main conjecture of Vinogradov's mean value theorem was that the upper bound is close to this lower bound. More specifically that for any $\epsilon>0$ we have

: $J_{s,k}(X)\ll X^{s+\epsilon}+X^{2s-\frac12k(k+1)+\epsilon}.$

This was proved by Jean Bourgain, Ciprian Demeter, and Larry Guth{{cite journal |first1=Jean |last1=Bourgain | first2=Ciprian | last2 = Demeter | first3 = Larry | last3 = Guth |title= Proof of the main conjecture in Vinogradov's Mean Value Theorem for degrees higher than three |year= 2016| volume=184| issue=2 | doi=10.4007/annals.2016.184.2.7 | pages=633–682 | arxiv=1512.01565 | journal=Ann. of Math.|hdl=1721.1/115568 |s2cid=43929329 }} and by a different method by Trevor Wooley.{{cite journal|doi=10.1112/plms.12204|doi-access=free|title=Nested efficient congruencing and relatives of Vinogradov's mean value theorem|year=2019|last1=Wooley|first1=Trevor D.|journal=Proceedings of the London Mathematical Society|volume=118|issue=4|pages=942–1016|arxiv=1708.01220}}

: $s\ge \frac12k(k+1)$

this is equivalent to the bound

: $J_{s,k}(X)\ll X^{2s-\frac12k(k+1)+\epsilon}.$

Similarly if $s\le \frac12k(k+1)$ the conjectural form is equivalent to the bound

: $J_{s,k}(X)\ll X^{s+\epsilon}.$

Stronger forms of the theorem lead to an asymptotic expression for $J_{s,k}$ , in particular for large $s$ relative to $k$ the expression

: $J_{s,k}\sim \mathcal C(s,k)X^{2s-\frac12k(k+1)},$

where $\mathcal C(s,k)$ is a fixed positive number depending on at most $s$ and $k$ , holds, see Theorem 1.2 in.{{cite journal|doi=10.4007/annals.2012.175.3.12|doi-access=free|title=Vinogradov's mean value theorem via efficient congruencing|year=2012|last1=Wooley|first1=Trevor|journal=Annals of Mathematics|volume=175|issue=3|pages=1575–1627|arxiv=1101.0574}}

History

Vinogradov's original theorem of 1935 I. M. Vinogradov, New estimates for Weyl sums, Dokl. Akad. Nauk SSSR 8 (1935), 195–198 showed that for fixed $s,k$ with

: $s\ge k^2\log (k^2+k)+\frac14k^2+\frac54 k+1$

there exists a positive constant $D(s,k)$ such that

: $J_{s,k}(X)\le D(s,k)(\log X)^{2s}X^{2s-\frac12k(k+1)+\frac12}.$

Although this was a ground-breaking result, it falls short of the full conjectured form. Instead it demonstrates the conjectured form when

$\epsilon>\frac12$ .

Vinogradov's approach was improved upon by Karatsuba{{cite journal | first=Anatoly | last=Karatsuba | title=Mean value of the modulus of a trigonometric sum| journal=Izv. Akad. Nauk SSSR Ser. Mat. | volume=37 | year=1973 | issue=6 | pages=1203–1227 | doi=10.1070/IM1973v007n06ABEH002080 | bibcode=1973IzMat...7.1199K | mr=0337817 | language=ru}} and Stechkin{{cite journal | first=Sergeĭ Borisovich | last=Stečkin | title=Mean values of the modulus of a trigonometric sum | journal=Trudy Mat. Inst. Steklov | volume=134 | year=1975 | pages=283–309 | mr=0396431 | language=ru}} who showed that for $s\ge k$ there exists a positive constant $D(s,k)$ such that

: $J_{s,k}(X)\le D(s,k)X^{2s-\frac12k(k+1)+\eta_{s,k}},$

where

: $\eta_{s,k}=\frac12 k^2\left(1-\frac1k\right)^{\left[\frac sk\right]}\le k^2e^{-s/k^2}.$

Noting that for

: $s>k^2(2\log k-\log\epsilon)$

we have

: $\eta_{s,k}<\epsilon$ ,

this proves that the conjectural form holds for $s$ of this size.

The method can be sharpened further to prove the asymptotic estimate

: $J_{s,k}\sim \mathcal C(s,k)X^{2s-\frac12k(k+1)},$

for large $s$ in terms of $k$ .

In 2012 Wooley{{cite journal | first=Trevor D. | last=Wooley | title=Vinogradov's mean value theorem via efficient congruencing | journal=Ann. of Math. | volume=175 | year=2012 | pages=1575–1627 | doi=10.4007/annals.2012.175.3.12 | mr=2912712 | issue=3| arxiv=1101.0574 | s2cid=13286053 }} improved the range of $s$ for which the conjectural form holds. He proved that for

: $k\ge 2$ and $s\ge k(k+1)$

and for any $\epsilon>0$ we have

: $J_{s,k}(X)\ll X^{2s-\frac12k(k+1)+\epsilon}.$

Ford and Wooley{{cite journal | first1=Kevin |last1=Ford |first2=Trevor D. | last2=Wooley | title=On Vinogradov's mean value theorem: strong diagonal behaviour via efficient congruencing | doi=10.1007/s11511-014-0119-0 | journal=Acta Math. | year=2014 | volume=213 | issue=2 | pages=199–236 | mr=3286035| arxiv=1304.6917 |s2cid=11603320 }} have shown that the conjectural form is established for small $s$ in terms of $k$ . Specifically they show that for

: $k\ge 4$

and

: $1\le s\le \frac14(k+1)^2$

for any $\epsilon>0$

we have

: $J_{s,k}(X)\ll X^{s+\epsilon}.$

References

Category:Theorems in analytic number theory