Pith. sign in

REVIEW 2 major objections 4 minor 1 cited by

An extended Vinogradov's mean value theorem

T0 review · 2 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read For degrees 2 and 3, the extended Vinogradov mean value conjecture now holds for short coefficient intervals.

desk verdict A solid new mean value estimate for the extended Vinogradov problem with the short coefficient on alpha_{d-1}, for d=2,3; the proof is sound in outline, with two citation/exposition gaps that a referee should have the authors fix. read the letter →

arxiv 2506.01751 v2 pith:CKINP2OK submitted 2025-06-02 math.NT

Changkeun Oh , Kiseok Yeon This is my paper
classification math.NT MSC 11L1511L0711P55
keywords VinogradovmeanvaluetheoremexponentialsumsWeylHardy-Littlewoodcirclemethodshiftingvariablessmallcapdecouplingmajorandminorarcsintegersolutioncounting
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper studies the $p$-th moments $I_{p,d}(u;N)$ of exponential sums of degree-$d$ polynomials, where the coefficient of $n^{d-1}$ is confined to a short interval of length $N^{-u}$. The main result is that for $d=2,3$ and $00$, the sharp order predicted by the extended main conjecture of Vinogradov's mean value theorem. For $d=3$ and $1

What carries the argument

The argument is carried by three mechanisms. The first is a refined shifting-variables argument, developed in Lemma 2.1 and Lemma 2.2, which replaces $I_{p,d}(u;N)$ by a weighted mean value involving the auxiliary exponential sum $\sum_{1\leq y\leq N}\Psi_u(\alpha_{d-1}-dy\alpha_d)$; this works for arbitrary real $p>0$ and for $d=2$ through a supremum over an extra frequency parameter. The second is a Hardy-Littlewood dissection into major arcs $M_u$ and minor arcs $m_u$, whose width is controlled by $f(u)=\min\{u,1\}$. On major arcs, a general major-arc integration lemma together with interpolation between the critical even exponents is used to bound $U_p(M_u,u)$. On minor arcs, the weight $G(\alpha_{d-1},\alpha_d)$ is shown to be small, and for the remaining estimate the variable $\alpha_{d-1}$ is frozen so that the main conjecture applies to the incomplete monomial system $\{n^d,n^{d-2},\dots,n\}$ at the subcritical exponent $d(d-1)$. This subcritical application is the delicate point of the minor-arc estimate.

What would settle it

One concrete test is the integral in (5.13) for $d=3$, $u=3/2$, an arbitrary shift $y$, and $\beta$ with $|\beta|\leq N^{-u-1+\varepsilon}$: the paper's bound is $N^{3/2+\varepsilon}$, and if an explicit choice of $y,\beta$ makes the $\Psi_{u-\varepsilon}$-weighted mean value exceed $N^{3/2+\delta}$ for some $\delta>0$, the minor-arc lemma and Theorem 1.3(ii) would fail. Because the integrand is a trigonometric polynomial with integer coefficients, this can be checked by exact counting of solutions of the shifted system (5.15) rather than by analytic estimation.

Watch

Extended reading notes

Core claim

On its own terms, the paper's discovery is that the extended conjecture can be split into a major-arc and a minor-arc problem, and that both halves can be made sharp even in the range $d(d-1)<p<d(d+1)$. The key conditional theorem states that if the small-cap mean value estimate of Conjecture 1.5 holds for a given $d$, then for $0<u\leq 1$ one has $I_{p,d}(u;N)\ll N^{\varepsilon}(N^{p-d(d+1)/2}+N^{p/2-u})$ for every $p>0$, and for $1<u\leq d-1$ one has $I_{p,d}(u;N)\ll N^{p-d(d+1)/2+\varepsilon}$ for $p\geq d(d+1)-2d/(d+1-u)$. Because Conjecture 1.5 has already been verified for $d=2,3$ by small-cap decoupling results, these theorems become unconditional in dimensions two and three. A separate counting corollary bounds the number of ten-variable solutions of a mixed cubic-quadratic-linear system by $O(N^{5+\varepsilon})$, a bound that is optimal up to $N^\varepsilon$ because diagonal solutions already contribute $N^5$.

Load-bearing premise

The load-bearing premise is that the subcritical bound from the main conjecture of Vinogradov's mean value theorem remains valid when applied to the truncated monomial system $\{n^d,n^{d-2},\dots,n\}$; the minor-arc estimate (5.13) freezes $\alpha_{d-1}$ and needs this bound uniformly for every shift $y$ and every small phase $\beta$.

Editorial extensions

If this is right

  • For $d=2,3$ and $0<u\leq 1$, the extended mean value conjecture holds on the coefficient window $[0,1)\times[0,N^{-u})\times[0,1)^{d-2}$, including the small-measure range $u>1/2$ for $d=2$ where the window is smaller than the conjecture's generic threshold.
  • For cubic sums, the range $1<u\leq 2$ yields $I_{p,3}(u;N)\ll N^{p-6+\varepsilon}$ for every $p\geq 12-6/(4-u)$, improving the trivial Vinogradov range and giving a sharp bound for short windows of the quadratic coefficient.
  • Corollary 1.4 provides the sharp count $O(N^{5+\varepsilon})$ for integer solutions of the system with two moment equations and one inequality, with $N^5$ diagonal solutions showing optimality.
  • Under Conjecture 1.5, the same two-term bound holds in every dimension $d\geq 2$ for $0<u\leq 1$, and a one-term bound holds for $1<u\leq d-1$ in a range of $p$ approaching the critical exponent as $u$ grows.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • One can read the minor-arc step as pointing to a general principle: bounding the hard intermediate range for arbitrary $d$ may require a small-cap decoupling for the moment curve together with a subcritical main conjecture for truncated systems; Theorem 1.6 makes this dependence explicit.
  • The ten-variable cubic-quadratic-linear count sits naturally on a ladder between the resolved cubic Vinogradov system ($u=0$) and the open mean value conjecture for Weyl sums attached to the pair $(n^3,n)$ ($u=2$); interpolating between the new $u=1$ case and the endpoints may give a route to that open conjecture.
  • Because Lemma 2.1 binds arbitrary real moments rather than only even integers, the shifting-variables mechanism may transfer to other incomplete systems or to restriction-type estimates once the corresponding small-cap input is available.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. This paper studies the mean value I_{p,d}(u;N) of the exponential sum f_d(α;N) over the box [0,1)×[0,N^{-u})×[0,1)^{d-2}. The main theorems give sharp upper bounds for d=2,3 and 0<u≤1 for all p>0, a sharp bound for d=3 and 1<u≤2 for p≥12-6/(4-u), and conditional analogues for d≥4 under Conjecture 1.5 (the small cap decoupling conjecture). The proof combines a refined shifting-variables argument with a Hardy-Littlewood dissection, proving separate major-arc and minor-arc estimates (Lemmas 3.1 and 3.2) and then deriving Theorem 1.6. A corollary gives an essentially optimal count of integer solutions to a cubic system with two equations and one inequality.

Significance. If the proof is completed, the paper confirms the extended main conjecture of Vinogradov's mean value theorem for d=2,3 and 0<u≤1, and it provides new sharp bounds in the range u>1 for the cubic case. The technical core, a shifting-variables argument that works for L^p averages with arbitrary p>0 rather than only even p, is a genuine extension of Wooley's method and is likely to be useful elsewhere. The paper is also honest about its assumptions: for d≥4 the results are explicitly conditional on Conjecture 1.5, and the dependence on known decoupling theorems is stated. The counting corollary (Corollary 1.4) is a clean illustration of the strength of the mean value bounds.

major comments (2)
  1. [Section 3, proof of Theorem 1.6] Theorem 1.6(i) is stated for every p>0, but the proof derives the bound only for p≥p0=d(d+1)-2u and then uses a trivial estimate for p≥p0. No argument is given for 0<p<p0, and this range is needed for Theorems 1.2 and 1.3(i). The gap can be filled by Hölder's inequality: I_p ≤ (I_{p0})^{p/p0} (N^{-u})^{1-p/p0}, which gives N^{p/2-u+ε} after substituting the p0 bound; since N^{p-d(d+1)/2} ≤ N^{p/2-u} for p≤p0, the claimed bound follows. This derivation should be written out explicitly.
  2. [Section 5, Lemma 3.2(ii), equations (5.13)-(5.14)] The bound (5.13) is justified by an application of "the main conjecture of Vinogradov's mean value theorem" to the integral over the d-1 variables α_d, α_{d-2}, ..., α_1 of |∑ b_n e(α_d n^d + α_{d-2} n^{d-2} + ... + α_1 n)|^{d(d-1)}. This is not the classical Vinogradov system with consecutive degrees 1,...,d; it is the relative system with exponent set {d,d-2,...,1}. The paper should cite the specific theorem in [Woo19] that covers such relative systems (for instance Theorem 1.1 or Theorem 14.4, which handles exponent sets with k_1>...>k_t and k_1-1>k_2) and verify the condition for this exponent set. As written, the cited references are insufficient to justify the claim (5.11).
minor comments (4)
  1. [Section 5, equation (5.15)] The notation "β_1,...,β_n depending on α_i's" reuses β for the new coefficient vector, which conflicts with the integration variable β used throughout the section. Please rename these coefficients, e.g., γ_1,...,γ_d.
  2. [Section 1, after Theorem 1.3] The sentence "Since we are interested in an even number p, the remaining case is that p≤d(d+1)-2d" is correct because no even integer lies strictly between d(d+1)-2d and d(d+1)-2(d-1), but a short parenthetical explanation would prevent confusion.
  3. [Remark 2.3 and end of Section 3] The treatment of the case d=2 is summarized as "by the same way" with the details omitted; since d=2 is included in the main theorems, a brief verification of the d=2 analogues of Lemmas 3.1 and 3.2 (especially the γ-dependence) would strengthen the paper.
  4. [Throughout] There are several typographical issues, including "Stucture" for "Structure" in the section header and the running title "V ALUE"; the authors should also check the display of the inequality in Corollary 1.4, which is typeset in a confusing way.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: the paper's estimates are derived from externally established theorems and explicitly stated conditional inputs, not from the conclusions themselves.

full rationale

The derivation chain is self-contained with respect to the claimed results. For d=2,3, the sharp bounds in Theorems 1.2 and 1.3 follow from Theorem 1.6 after invoking Conjecture 1.5, which the paper correctly notes has been fully verified for d=2,3 by prior external work (DGW20, GM22). For d>=4, Theorem 1.6 is explicitly conditional on Conjecture 1.5, which is labeled as an assumption rather than a derived consequence. The major arc estimates use the already-proved Vinogradov main conjecture from BDG16, Woo16, Woo19, and the count in (4.24) is justified by Conjecture 1.5 plus Watt's lemma, not by the theorem being proved. The minor arc estimates in Lemma 3.2 do not assume Conjecture 1.5; they use the main conjecture of Vinogradov's mean value theorem on the truncated monomial system after freezing alpha_{d-1}. Whether that cited theorem fully covers the truncated system is a legitimate correctness question, but it is not circularity: the cited result is an external, previously established theorem, and the paper does not redefine it in terms of the target estimate. The self-citation to Yeo24 appears only in a list of related shifting-variables results and is not load-bearing. No fitted parameter is renamed as a prediction, no quantity is defined in terms of the target, and no uniqueness claim is imported from the authors' prior work. Consequently the paper exhibits no significant circularity.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No free parameters or invented entities are introduced. The derivation rests on established theorems plus, for d>=4, the explicitly labeled Conjecture 1.5 from DGW20. The functions Phi and G used in the proof are technical tools, not new physical or mathematical entities.

assumptions (4)
  • domain assumption Conjecture 1.5 (from DGW20) is true for the parameter ranges used in the counting estimates.
    Theorem 1.6 and the major arc estimate Lemma 3.1 assume Conjecture 1.5 to bound the solution count (4.24). For d=2,3 this conjecture is already proven by DGW20 and GM22, so it is an assumption only for d>=4.
  • standard math Main conjecture of Vinogradov's mean value theorem (BDG16, Woo16, Woo19) holds.
    Used to control full-domain mean values at p=d(d+1), p=d(d-1), and in the subcritical estimates in Section 5; this is an established theorem.
  • standard math [Woo19, Theorem 1.1] applies to the truncated monomial system {n^d,n^{d-2},...,n} at exponent d(d-1).
    Load-bearing in the minor arc claim (5.13)-(5.14); the authors cite it in the introduction for p<=d(d-1) but do not spell out the verification for the missing n^{d-1} system.
  • standard math Watt's lemma ([Wat89, Lemma 2.1]) and the transference principle [Woo15b, Lemma A.1] apply as used.
    Used in (4.24) and (4.19)-(4.20); these are standard tools in the field.

how reviews work

0 comments
Cite this review

Pith. "Pith review of An extended Vinogradov's mean value theorem." pith.science (2026). https://pith.science/paper/CKINP2OK

@misc{pith2026250601751,
  author       = {Pith},
  title        = {Pith review of: An extended Vinogradov's mean value theorem},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CKINP2OK}},
  note         = {Machine review of arXiv:2506.01751}
}
abstract

In this paper, we provide novel mean value estimates for exponential sums related to the extended main conjecture of Vinogradov's mean value theorem, by developing the Hardy-Littlewood circle method together with a refined shifting variables argument. Let $d\geq 2$ be a natural number and $\boldsymbol{\alpha}=(\alpha_d,\ldots, \alpha_1)\in \mathbb{R}^d.$ Define the exponential sum \begin{equation*} f_d(\boldsymbol{\alpha};N):=\sum_{1 \leq n \leq N}e(\alpha_d n^d + \cdots+ \alpha_1 n). \end{equation*} For $p>0$, consider mean values of the exponential sums \begin{equation*} \mathcal{I}_{p,d}(u;N):=\int_{[0,1)\times [0,N^{-u})\times [0,1)^{d-2}}|f_d(\boldsymbol{\alpha};N)|^pd\boldsymbol{\alpha}, \end{equation*} where we wrote $d\boldsymbol{\alpha}=d\alpha_1 d\alpha_2\cdots d\alpha_{d-1}d\alpha_d.$ By making use of the aforementioned tools, we obtain the sharp upper bound for $\mathcal{I}_{p,d}(u;N)$, for $d=2,3$ and $0<u\leq 1$. Furthermore, for $d \geq 4$, we obtain analogous results depending on a small cap decoupling inequality for the moment curves in $\mathbb{R}^d.$

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. An Integral Mean Value Theorem for Weyl Sums over Broken Arcs

    math.NT 2026-08 reject novelty 6.0 of 10

    Claims an integral mean value estimate for Weyl sums over broken arcs with arbitrary moments, but the derivation contains critical gaps and self-referential optimization.

Reference graph

Works this paper leans on

25 extracted references · 20 canonical work pages · cited by 1 Pith paper

  1. [1]

    R. C. Baker. Diophantine inequalities , volume 1 of London Mathematical Society Monographs. New Series . The Clarendon Press, Oxford University Press, New York, 1986. Oxford Science Publications

    work page 1986

  2. [2]

    Local mean value estimates for W eyl sums

    Julia Brandes, Changhao Chen, and Igor Shparlinski. Local mean value estimates for W eyl sums. Rev. Mat. Iberoam. , 40(6):2095--2134, 2024

    work page 2024

  3. [3]

    Proof of the main conjecture in V inogradov's mean value theorem for degrees higher than three

    Jean Bourgain, Ciprian Demeter, and Larry Guth. Proof of the main conjecture in V inogradov's mean value theorem for degrees higher than three. Ann. of Math. (2) , 184(2):633--682, 2016

    2016

  4. [4]

    On the inhomogeneous V inogradov system

    Julia Brandes and Kevin Hughes. On the inhomogeneous V inogradov system. Bull. Aust. Math. Soc. , 106(3):396--403, 2022

    work page 2022

  5. [5]

    Bourgain

    J. Bourgain. Decoupling, exponential sums and the R iemann zeta function. J. Amer. Math. Soc. , 30(1):205--224, 2017

    2017

  6. [6]

    A problem in additive number theory

    Jorg Brudern. A problem in additive number theory. Math. Proc. Cambridge Philos. Soc. , 103(1):27--33, 1988

    work page 1988

  7. [7]

    Shparlinski

    Changhao Chen, Bryce Kerr, James Maynard, and Igor E. Shparlinski. Metric theory of W eyl sums. Math. Ann. , 385(1-2):309--355, 2023

    work page 2023

  8. [8]

    Shparlinski

    Changhao Chen and Igor E. Shparlinski. Restricted mean value theorems and the metric theory of restricted W eyl sums. Q. J. Math. , 72(3):885--919, 2021

    work page 2021

Show all 25 references
  1. [9]

    On L^ 12 square root cancellation for exponential sums associated with nondegenerate curves in R ^4

    Ciprian Demeter. On L^ 12 square root cancellation for exponential sums associated with nondegenerate curves in R ^4 . Trans. Amer. Math. Soc. , 375(11):7715--7746, 2022

    2022

  2. [10]

    Small cap decouplings

    Ciprian Demeter, Larry Guth, and Hong Wang. Small cap decouplings. Geom. Funct. Anal. , 30(4):989--1062, 2020. With an appendix by D. R. Heath-Brown

    2020

  3. [11]

    Restriction of exponential sums to hypersurfaces

    Ciprian Demeter and Bartosz Langowski. Restriction of exponential sums to hypersurfaces. Int. Math. Res. Not. IMRN , (2):1292--1354, 2023

    2023

  4. [12]

    Sharp superlevel set estimates for small cap decouplings of the parabola

    Yuqiu Fu, Larry Guth, and Dominique Maldague. Sharp superlevel set estimates for small cap decouplings of the parabola. Rev. Mat. Iberoam. , 39(3):975--1004, 2023

    2023

  5. [13]

    Small cap decoupling for the moment curve in R ^3 , 2022

    Larry Guth and Dominique Maldague. Small cap decoupling for the moment curve in R ^3 , 2022

    2022

  6. [14]

    Improved decoupling for the parabola

    Larry Guth, Dominique Maldague, and Hong Wang. Improved decoupling for the parabola. J. Eur. Math. Soc. (JEMS) , 26(3):875--917, 2024

    2024

  7. [15]

    G. H. Hardy and E. M. Wright. An introduction to the theory of numbers . The Clarendon Press, Oxford University Press, New York, fifth edition, 1979

    1979

  8. [16]

    Amplitude dependent wave envelope estimates for the cone in R ^3 , 2022

    Dominique Maldague and Larry Guth. Amplitude dependent wave envelope estimates for the cone in R ^3 , 2022

    2022

  9. [17]

    N. Watt. Exponential sums and the R iemann zeta-function. II . J. London Math. Soc. (2) , 39(3):385--404, 1989

    1989

  10. [18]

    Trevor D. Wooley. The asymptotic formula in W aring's problem. Int. Math. Res. Not. IMRN , (7):1485--1504, 2012

    2012

  11. [19]

    Trevor D. Wooley. Mean value estimates for odd cubic W eyl sums. Bull. Lond. Math. Soc. , 47(6):946--957, 2015

    2015

  12. [20]

    Trevor D. Wooley. Rational solutions of pairs of diagonal equations, one cubic and one quadratic. Proc. Lond. Math. Soc. (3) , 110(2):325--356, 2015

    2015

  13. [21]

    Trevor D. Wooley. The cubic case of the main conjecture in V inogradov's mean value theorem. Adv. Math. , 294:532--561, 2016

    2016

  14. [22]

    Trevor D. Wooley. Nested efficient congruencing and relatives of V inogradov's mean value theorem. Proc. Lond. Math. Soc. (3) , 118(4):942--1016, 2019

    2019

  15. [23]

    Trevor D. Wooley. Subconvexity in inhomogeneous V inogradov systems. Q. J. Math. , 74(1):389--418, 2023

    2023

  16. [24]

    Trevor D. Wooley. Subconvexity in the inhomogeneous cubic V inogradov system. J. Lond. Math. Soc. (2) , 107(2):798--817, 2023

    2023

  17. [25]

    Small fractional parts of polynomials and mean values of exponential sums

    Kiseok Yeon. Small fractional parts of polynomials and mean values of exponential sums. Int. Math. Res. Not. IMRN , (1):635--674, 2024

    2024

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.