Vinogradov's mean value theorem via efficient congruencing (Q431649): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
(3 intermediate revisions by 3 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2148559955 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1101.0574 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3325807 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Trigonometric sums in number theory and analysis. Transl. from the Russian / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3720674 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3847051 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The asymptotic formula in Waring's problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Weyl sums for smaller exponents / rank
 
Normal rank
Property / cites work
 
Property / cites work: A problem in additive number theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: <i>h</i>-Fold Sums from a Set with Few Products / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4834723 / rank
 
Normal rank
Property / cites work
 
Property / cites work: VINOGRADOV'S INTEGRAL AND BOUNDS FOR THE RIEMANN ZETA FUNCTION / rank
 
Normal rank
Property / cites work
 
Property / cites work: Weyl's Inequality, Hua's Inequality, and Waring's Problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: ON TARRY'S PROBLEM / rank
 
Normal rank
Property / cites work
 
Property / cites work: Improvement of a Result of Wright / rank
 
Normal rank
Property / cites work
 
Property / cites work: AN IMPROVEMENT OF VINOGRADOV'S MEAN-VALUE THEOREM AND SEVERAL APPLICATIONS / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5587215 / rank
 
Normal rank
Property / cites work
 
Property / cites work: THE MEAN VALUE OF THE MODULUS OF A TRIGONOMETRIC SUM / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5844332 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3748343 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3755503 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A generalization of Vinogradov's mean value theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Bombieri–Korobov estimate for Weyl sums / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4795350 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The density of integer points on homogeneous varieties / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4081343 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the number of summands in the asymptotic formula for the number of solutions of Waring's equation / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Waring's problem for cubes. / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Waring's problem for smaller exponents. II / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2785542 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A special case of Vinogradov's mean value theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5762251 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5802218 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3276744 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5523060 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Large improvements in Waring's problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Vinogradov's mean value theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Vinogradov's mean value theorem. II / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quasi-Diagonal Behaviour in Certain Mean Value Theorems of Additive Number Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: NEW ESTIMATES FOR WEYL SUMS / rank
 
Normal rank
Property / cites work
 
Property / cites work: Breaking classical convexity in Waring's problem: sums of cubes and quasi-diagonal behaviour / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some remarks on Vinogradov's mean value theorem and Tarry's problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Asymptotic Formula in Waring’s Problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Prouhet-Lehmer Problem / rank
 
Normal rank

Revision as of 09:36, 5 July 2024

scientific article
Language Label Description Also known as
English
Vinogradov's mean value theorem via efficient congruencing
scientific article

    Statements

    Vinogradov's mean value theorem via efficient congruencing (English)
    0 references
    0 references
    29 June 2012
    0 references
    The estimation of mean values of exponential sums plays a significant rule in analytic number theory, for example in connection with Waring's problem and zero-free regions for the Riemann zeta function. In particular, mean values of exponential sums of the form \[ f_k(\boldsymbol{\alpha},X)=\sum_{1\leq x\leq X} e\left(\alpha_1x+\dots+\alpha_kx^k\right), \] where \(\boldsymbol{\alpha}=(\alpha_1,\dots,\alpha_k)\) is a \(k\)-tuple of real numbers, are of great importance. Vinogradov [\textit{I. M. Vinogradov}, Dokl. Akd. Nauk SSSR 8, 195--198 (1935; Zbl 0013.05303)] developed a new method to estimate mean values of the form \[ J_{s,k}(X)=\int_{[0,1)^k} \left|f_k(\boldsymbol{\alpha};X)\right| \text{d} \boldsymbol{\alpha}. \] There has been a long history of research on this mean value. Using a new method, which he refers to as efficient congruencing, the author obtains estimates for \(J_{s,k}(X)\) that for the first time approach those conjectured to be the best possible. In particular, he proves that the conjectured bound \[ J_{s,k}(X)\ll X^{\varepsilon}\left(X^s+X^{2s-\frac{1}{2}k(k+1)}\right) \] holds whenever \(s\) and \(k\) are natural numbers satisfying \(k\geq 2\) and \(s\geq k(k+1)\). If \(s\) is large enough compared to \(k\), it can be shown that an asymptotic formula of the shape \[ J_{s,k}(X) \sim C(s,k)X^{2s-\frac{1}{2}k(k+1)} \] holds, where \(C(s,k)\) is the product of a singular series and a singular integral. Let \(V(k)\) denote the least natural number \(s\) for which this asymptotic formula holds. The author also proves that, when \(k\geq 3\), one has \(V(k)\leq k^2+k+1\), which is only a factor 2 away from the best possible bound for \(V(k)\). As an important consequence of these estimates, the author makes significant progress on Waring's problem. Let \(R_{s,k}(n)\) denote the number of representations of the natural number \(n\) as the sum of \(s\) \(k\)-th powers of positive integers. A heuristic application of the Hardy-Littlewood circle method suggests an asymptotic formula for \(R_{s,k}(n)\) if \(k\geq 3\) and \(s\geq k+1\). Let \(\tilde{G}(k)\) denote the least integer \(t\) with the property that, for all \(s\geq t\) and all sufficiently large natural numbers \(n\), this asymptotic formula holds. Hardy and Littlewood [\textit{G. H. Hardy} and \textit{J. E. Littlewood}, Math. Z. 12, 161--188 (1922; JFM 48.0146.01)] established the bound \(\tilde{G}(k)\leq (k-2)2^{k-2}+5\). Since then, a lot of research has been done to improve this bound, carried out in particular by the author. In the present paper, the bound \(\tilde{G}(k)\leq 2k^2+2k-3\) is established for \(k\geq 2\). As further applications, the author considers bounds for \(f_k(\boldsymbol{\alpha},X)\) with single \(\alpha\) satisfying certain Diophantine properties, and small values of \(\min_{1\leq n\leq N} \|\alpha_1n+\alpha_2n^2+\dots+\alpha_kn^k\|\). It is outside the scope of this review to give a comprehensive account of the process of efficient congruencing. The main ideas are described briefly below. Vinogradov's classical approach starts off with choosing a prime \(p\) in a range of the form \([X^{\theta},2X^{\theta}]\), where \(\theta\) must satisfy the inequality \(\theta\leq 1/k\). Then one divides the exponential sum in question according to residue classes of \(x\) modulo \(p\). Now one applies Hölder's inequality to bound \(J_{s+k,k}(X)\) and evaluates explicitly the resulting integral, which leads to the problem of counting solutions to a system of certain congruences modulo powers \(p^j\) with \(1\leq j\leq k\), which can be expressed as counting solutions to a single congruence modulo \(p^k\). If \(\theta=1/k\), this congruence is forced to obey a diagonal condition, forcing it into an equation. The number of its solutions can be re-interpreted as another mean value which can be bounded in terms of \(J_{s,k}(X/p)\). Thus, one has bounded \(J_{s+k,k}(X)\) in terms of \(J_{s,k}(X/p)\), from which a bound for \(J_{s,k}(X)\) in terms of \(X\), \(s\) and \(k\) can be derived. The author refined this approach [\textit{T. Wooley}, Mathematika 39, 379--399 (1992; Zbl 0769.11055)], which led him to a big improvement over the classical bound for \(J_{s,k}(X)\). He assumes that \(\theta<1/k\) and re-interpretes the above-mentioned congruences as equations in a different way. The number of their solutions is expressed as a mean value of a new exponential sum. An application of the Cauchy-Schwarz inequality bounds this mean value in terms of \(J_{s,k}(X/p)\) and a new mean value that counts integral solutions of a system of Diophantine equations. This application of the Cauchy-Schwarz inequality introduces a differencing step. After re-interpreting the last-mentioned counting problem as a mean value, the whole procedure can be applied again, based on a new prime \(\tilde{p}\). Repeating this leads to an iteration which the author terms \textit{repeated efficient differencing process}. In the classical approach as well as the author's refined treatment described above, the underlying idea is to introduce a \textit{differencing} step to create congruences with \(2k\) variables that are forced to satisfy a diagonal condition, thus producing a new equation. The paper under review takes another viewpoint, putting emphasis on the creation of efficient \textit{congruence} conditions. The starting point is an initial condition modulo \(p\) amongst \(2s\) variables, from which a stronger condition modulo \(p^k\) is derived. The next step is to extract, in a similar fashion, a fresh condition modulo \(p^{k^2}\) from the aforementioned condition modulo \(p^k\). This process can be repeated, creating stronger and stronger congruence conditions. The author terms this iteration process \textit{efficient congruencing}. The details, however, involve many subtleties whose description goes beyond this review. This is a remarkable piece of work which has opened a new line of approaching mean values of exponential sums. It is astonishing that essentially best possible bounds have now been reached.
    0 references
    0 references
    exponential sums
    0 references
    Hardy-Littlewood method
    0 references
    Waring's problem
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references