Pith. sign in

REVIEW 3 major objections 5 minor 31 references

Upper bound for the moment of shifted values of cubic $L$-functions over function fields

T0 review · 3 major / 5 minor · reviewed 2026-08-16 · deepseek-v4-flash

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

Pith's one-line read The paper proves an upper bound for mixed shifted moments of cubic L-functions over function fields that matches the conjectured order of magnitude, unconditionally.

desk verdict New target, plausible strategy, but the proof as written fails at a key error-term bound and at the stated range of g. read the letter →

arxiv 2608.11611 v1 pith:KDVWJVRQ submitted 2026-08-12 math.NT

Pranendu Darbar , Sampa Dey , Gopal Maiti This is my paper · ORCID
classification math.NT MSC 11T0611M3811L40
keywords cubicL-functionsfunctionfieldsshiftedmomentsSoundararajanmethodHarpernon-Kummercharactersof
topics The Riemann Hypothesis
open problems The Riemann Hypothesis
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 how values of cubic Dirichlet L-functions over the polynomial ring F_q[t] correlate at different points along the critical line. It proves that the mixed shifted moments, averaged over all primitive cubic characters of conductor genus g, are bounded above by exactly the order conjectured from random matrix theory. In the non-Kummer case q ≡ 2 mod 3, the bound is unconditional, since the Riemann hypothesis over function fields is a theorem. The same method is claimed to work in the Kummer case q ≡ 1 mod 3. If correct, the result gives the conjectured magnitude of all shifted moments for this family and, as a corollary, moment bounds for derivatives at the central point.

What carries the argument

The argument is carried by a short-Dirichlet-polynomial approximation to the logarithm of the L-function (Lemma 2.4), together with a dyadic decomposition of that polynomial into pieces supported on disjoint prime-degree intervals. The family C_g is partitioned according to the sizes of these pieces, and Harper's method replaces the exponential of a bounded Dirichlet polynomial by a product of truncated Taylor sums, using the combinatorial Lemma 5.2 from the literature. The decisive number-theoretic input is the orthogonality lemma (Lemma 2.1): the sum over chi in C_g of chi($f^{3}$) equals (#C_g) times a local product over even-degree primes dividing f, plus an error O($q^{{(1/2+epsilon)g}}$ $2^{{omega(f)}}$). This forces the dominant contributions to come only from cube and square pairings of primes, which produces the diagonal factors $g^{{k_1^2+...+k_m^2}}$ and the shift-dependent products.

What would settle it

Compute the two-shift moment S_g((theta_1, theta_2), (1,1)) over a fixed F_q for a sequence of genera with |theta_1 - theta_2| = c/g and c fixed; Theorem 1.1 says this moment is O_{q,c}(|C_g| $g^{4}$). Exhibiting any sequence where the normalized moment grows like $g^{{4+delta}}$ for a fixed delta > 0 would disprove the theorem and the conjectured order.

Watch

Extended reading notes

Core claim

Theorem 1.1 establishes that for q ≡ 2 mod 3, with K = k_1 + ... + k_m and shifts satisfying alpha_j << 1/g, the mixed moment S_g($\theta$^(m), k^(m)) = sum over chi in C_g of the product |L(e(theta_j)/$q^{{1/2+alpha_j}}$, chi)|^{2k_j} is bounded by |C_g| $g^{{k_1^2+...+k_m^2}}$ times the product over i<j of (min{1/|theta_i - theta_j|, g})^{2k_i k_j}, provided g > exp($4K^{2}$). This is the first upper bound of the conjectured order for shifted cubic L-function moments in the function-field setting, and it holds unconditionally because Weil's Riemann hypothesis locates all zeros on the circle |u| = $q^{{-1/2}}$. The proof adapts Soundararajan's moment method and Harper's multiscale dyadic decomposition. A direct corollary bounds moments of derivatives: sum over chi in C_g of |$L^{{(ell)}}$($q^{{-1/2}}$, chi)|^{2k} << |C_g| $g^{{k^2+2k ell}}$.

Load-bearing premise

The argument depends on the character orthogonality Lemma 2.1 giving a main term with an error that stays under control even for polynomials with many prime factors; if that error grew faster with the number of prime factors, the cube-versus-square counting that produces the $g^{{k_1^2+...+k_m^2}}$ factor would break.

Editorial extensions

If this is right

  • Setting all shifts equal recovers the conjectural upper bound for moments of |L(1/2, chi)| in the cubic character family, consistent with the unitary symmetry predicted for this family.
  • Corollary 1.2 gives moment bounds for derivatives at the central point, namely sum over chi in C_g of |L^{(ell)}(q^{-1/2}, chi)|^{2k} << |C_g| g^{k^2+2k ell}.
  • The bound is unconditional over function fields; the analogous shifted-moment result for the Riemann zeta function in the number-field setting is conditional on the Riemann Hypothesis.
  • The result holds for any fixed number m of shifts and any positive exponents k_j as long as the total K is fixed and the genus satisfies the mild lower bound g > exp(4K^2).

Reading between the lines

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

  • The Kummer case q ≡ 1 mod 3 is only sketched, but the paper's Section 2.4 supplies the analogous orthogonality relations; a full write-up would most likely yield the same upper bound with the family size #C_tilde_g in place of #C_g.
  • The dyadic decomposition reveals the same log-correlated structure seen in moments of the Riemann zeta function, so one could reasonably aim the machinery at the maximum size of log |L(1/2, chi)| in this family.
  • The matching lower bound is explicitly left open, and the paper notes that even the two-shift case would require a power-saving error term for the second moment of L(1/2, chi), where only a logarithmic saving is currently known; improving that error term is therefore the natural next step.
  • Because the bound separates into products corresponding to distinct shifts when |theta_i - theta_j| >> 1/g, the result is consistent with the expected asymptotic independence of the L-values at mesoscopic separation, though the upper bound alone does not establish that independence.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 5 minor

Summary. The paper studies mixed shifted moments of cubic L-functions over the rational function field F_q[t] in the non-Kummer case q ≡ 2 (mod 3). The main result, Theorem 1.1, claims an upper bound of the conjectured order of magnitude for the moment S_g(θ^(m), k^(m)) defined in (1.1), under the assumption α_j ≪ 1/g and g > exp(4K^2), where K = k_1+...+k_m. The proof combines a Soundararajan-type upper bound (Proposition 3.1) with Harper's dyadic-multiscale method. A corollary for derivatives of the L-functions at the central point is also stated. The overall architecture follows standard recent work on moments of L-functions, and the imported inputs (Weil's Riemann hypothesis, orthogonality estimates, Pólya–Vinogradov bounds) are natural for this problem.

Significance. If Theorem 1.1 were proved as stated, it would be a valuable unconditional function-field analogue of the shifted-moment results of Ng–Shen–Wong and would confirm the conjectural order of magnitude predicted by David–Florea–Lalín for the non-Kummer cubic family. The paper also spells out a plausible route to derivative moments. The strategy is appropriate and the preliminary Section 3 material is largely sound. However, the proof of Lemma 4.1, which is the load-bearing step for Theorem 1.1, contains an error-term estimate that is not justified and appears to be false as written; consequently the main theorem is not established by the present argument.

major comments (3)
  1. [Lemma 4.1, eq. (4.9)] The bound (4.9) is not valid. The inner sums S_i = Σ_{deg P ∈ I_i} |P|^{-1/2+ε} are exponentially large: for I_1, whose upper degree is y = (g+2)t_1 ≈ g/(e(log g)^2), the prime polynomial theorem gives S_1 ≍ q^{(1/2+ε)y}/y = exp(Ω(g/(log g)^2)). The second inequality in (4.9) replaces (Σ_{α≤[e^{2γ_i}]} K^α/α! S_i^α)^2 by q^{O(t_i γ_i g)} times a harmless factorial sum. Already the α=1 term contributes ≫ q^{(1/2+ε)g} K S_1, which exceeds the claimed final bound by a factor exp(Ω(g/(log g)^2)); for α = e^{2γ_i} the contribution is doubly exponential in (log g)^{2b} and totally dwarfs the RHS. Thus the error term in Lemma 4.1 is uncontrolled, and Theorem 1.1, whose proof rests on Lemma 4.1, is not established as written.
  2. [Section 4.0.2] The dyadic decomposition has an internal consistency problem. The intervals are defined by t_0 = 1/(log g)^2 and t_j = e^{j-1}/(log g)^2 for 1 ≤ j ≤ J, while later the proof uses t_J = e^{-80K}. Since t_j is increasing in j, one needs t_0 = 1/(log g)^2 ≤ t_J = e^{-80K}, i.e. (log g)^2 ≳ e^{80K}, equivalently g ≳ exp(e^{40K}). This is not implied by the theorem's stated condition g > exp(4K^2); for K ≥ 1 and g just above exp(4K^2), the displayed expression for J is negative and the partition (4.5) is not meaningful. The theorem should either state 'for g sufficiently large depending on K', or the proof must be modified to work with the weaker threshold.
  3. [Lemmas 4.2 and 4.3] The same erroneous estimate (4.9) is reused in Lemma 4.2's derivation, including the claimed error term q^{(7/8+ε)g}(log g)^{2K}, and Lemma 4.3 explicitly says its proof is a modification of Lemma 4.1. Hence the failure of (4.9) propagates to the estimates for all subfamilies C_g(j) and C_g(J). A rescue via Lemma 3.2 is not automatic: that lemma requires 6ℓ·(max degree) ≤ g+2, while the truncated exponential expansion involves powers up to e^{2γ_i} on intervals of length (g+2)t_i, and for t_i ≤ t_J = e^{-80K} the condition is violated. A correct proof will need a genuinely different treatment of the error terms or a different choice of parameters.
minor comments (5)
  1. [Title and abstract] The title contains a typo: 'V ALUES' should be 'VALUES'.
  2. [Section 2.2.2 and Section 4.0.2] There are typographical errors: 'Lemmma 2.10' should be 'Lemma 2.10', and 'Brunching process' should be 'branching process'.
  3. [Equation (1.2)] The displayed lower bound (1.2) contains a typo: 'g^{k_1+···+k_2^m}' should presumably be 'g^{k_1^2+...+k_m^2}'.
  4. [Section 4, notation] The notation is overloaded: α denotes both the shift vector (α_1,...,α_m) and the summation parameter in Lemma 4.3; also 'meas(C_g(0))' is used for the cardinality of a finite set of characters, which is better written as #C_g(0) or |C_g(0)|.
  5. [Equation (4.1)] The exponent in the denominators of (4.1) and (4.3), e.g. |P|^{1/2+1/(N log q)}, is written inconsistently with Lemma 2.4; the role of the term 1/(N log q) should be clarified or removed if it is a typo.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main theorem is derived from external and independently-proved inputs; the only self-citation is non-load-bearing.

full rationale

The central derivation does not assume its conclusion. Theorem 1.1 is proved from Lemma 2.4 (log L bounded by a Dirichlet polynomial), an orthogonality lemma (Lemma 2.1) proved via Perron's formula, Polya-Vinogradov estimates (Lemmas 2.2-2.3), a high-moment bound for Dirichlet polynomials quoted from David-Florea-Lalin (Lemma 3.2, external), and the Harper/Soundararajan dyadic decomposition. The conjectural bound of [11, Conjecture 1.2] is cited only after the theorem as a comparison ('recovers the conjectural upper bound'), not as an input. No parameter is fitted to the data of S_g, and no 'prediction' is read back from the quantity being bounded. The only self-citation, [10] (Darbar-Maiti), appears in the historical sentence 'These objects has been studied in the literature ... in [8,10,25]' and is not used to justify any lemma or to exclude alternatives. Even the skeptical concern about (4.9) is a question of whether the error term S_i is as large as claimed; that is a correctness issue, not a reduction of the conclusion to the hypotheses. Hence the derivation chain is self-contained against external inputs and there is no circularity.

Assumptions & free parameters 3 free parameters · 6 assumptions · 0 invented entities

The proof rests on cited theorems for the size of the family, the log-L approximation, and character orthogonality. No new entities are postulated, and the proof parameters are choices of convenience that do not affect the shape of the final asymptotic bound.

free parameters (3)
  • b = 3/4
    Chosen in Section 4.0.2 as the dyadic interval exponent; any b in (1/2,1) would work, so it is an ad hoc proof parameter, not a data fit.
  • alpha (Lemma 4.3) = q^{1/10}
    Chosen in Section 4.0.3 Case 1 to satisfy alpha^2 < q and to absorb various factors; a proof parameter, not data-driven.
  • t_J = e^{-80K}
    Top dyadic scale chosen as a small constant to make tail sums decay; its size interacts with the stated g-range and is the source of the threshold inconsistency flagged in red_flags.
assumptions (6)
  • standard math Weil Riemann Hypothesis for function fields (proved)
    Used in Section 2.3 to give the spectral interpretation of L-functions and in Lemma 2.4/bounds; it is a theorem, not an assumption.
  • domain assumption Orthogonality and counting results from David-Florea-Lalín [12, Lemma 2.10] and [11, Lemma 6.2]
    The family sizes (2.4), (2.6) and the moment bound in Lemma 3.2 are imported from these cited papers.
  • domain assumption Dirichlet polynomial approximation of log |L| (Lemma 2.4, from Bui-Florea-Keating-Roditty-Gershon [7, Prop 4.3])
    This approximation is the foundation of both Proposition 3.1 and Theorem 1.1; the present paper proves Lemma 2.4 by citing [7].
  • standard math Cubic reciprocity over function fields [27]
    Used in the proof of Lemma 2.2 to swap characters and express B(f;u) in terms of L_{q^2}(u, chi_f).
  • standard math Exponential truncation lemma [23, Lemma 5.2]
    Used in Lemmas 4.1-4.3 to replace exp(2 Re D) by truncated Taylor sums; a standard inequality.
  • domain assumption Bounds on L-values from [5, Theorem 5.1] and [12, Lemma 2.7]
    Used in the proof of the Pólya-Vinogradov inequalities, Lemmas 2.2 and 2.3.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Upper bound for the moment of shifted values of cubic $L$-functions over function fields." pith.science (2026). https://pith.science/paper/KDVWJVRQ

@misc{pith2026260811611,
  author       = {Pith},
  title        = {Pith review of: Upper bound for the moment of shifted values of cubic $L$-functions over function fields},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KDVWJVRQ}},
  note         = {Machine review of arXiv:2608.11611}
}
abstract

In this paper, we study correlations of shifted values of cubic $L$-functions over function fields and derive an upper bound for moments of these shifted values in the limit where the genus of the corresponding cubic characters tends to infinity over a fixed finite field $\mathbb{F}_q$. Our results apply to the non-Kummer case when $q \equiv 2 \pmod{3}$. The Kummer case, when $q \equiv 1 \pmod{3}$, can be treated similarly.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

31 extracted references · 28 canonical work pages

  1. [1]

    J. C. Andrade and J. P. Keating, Conjectures for the Integral Moments and Ratios of L-functions over function fields, J. Number Theory, 142 (2014), pp. 102–148. 2

    work page 2014

  2. [2]

    L. P. Arguin, D. Belius, P. Bourgade, M. Radziwill, and K. Soundararajan, ‘Maximum of the Riemann Zeta Function on a Short Interval of the Critical Line’, Comm. Pure Appl. Math., 72, no. 3 (2019), pp. 500–535. 19

    work page 2019

  3. [3]

    Baier and M

    S. Baier and M. P. Young, Mean values with cubic characters, J. Number Theory, 130 (2010), no. 4, pp. 879–903. 2

    work page 2010

  4. [4]

    Bary-Soroker and P

    L. Bary-Soroker and P. Meisner, On the distribution of the rational points on cyclic covers in the absence of roots of unity, Mathematika, 65 (2019), pp. 719–742. 6

    work page 2019

  5. [5]

    Bucur, E

    A. Bucur, E. Costa, C. David, J. Guerreiro, and D. Lowry-Duda, Traces, high powers and one level density for families of curves over finite fields , Math. Proc. Cambridge Philos. Soc., 165 (2018), no. 2, 225–248. 10

    work page 2018

  6. [6]

    H. M. Bui and A. Florea, Zeros of quadratic Dirichlet L-functions in the hyperelliptic ensemble, Trans. Amer. Math. Soc., 370 (2018), no. 11, pp. 8013–8045. 2

    work page 2018

  7. [7]

    H. M. Bui, A. Florea, J. P. Keating, E. Roditty-Gershon, Moments of quadratic twists of elliptic curve L-functions over function fields, Algebra Number Theory, 14 (2020), no. 7, pp. 1853–1893. 12

    work page 2020

  8. [8]

    Chandee, On the correlation of shifted values of the Riemann zeta function, The Quarterly Journal of Mathematics , 62 (2011), pp

    V. Chandee, On the correlation of shifted values of the Riemann zeta function, The Quarterly Journal of Mathematics , 62 (2011), pp. 545–572. 2

    work page 2011

Show all 31 references
  1. [9]

    J. B. Conrey, D.W. Farmer, J. P. Keating, M.O. Rubinstein, and N. C. Snaith, Inte- gral moments of L-functions, Proceedings of the London Mathematical Society (third Series), 91 (2005), pp. 33–104. 2

    2005

  2. [10]

    Darbar and G

    P. Darbar and G. Maiti, Correlation of shifted values ofL-functions in the hyperelliptic ensemble, Finite Fields and Th. Applications , 76 (2021), Paper No. 101928, 38 pp. 2

    2021

  3. [11]

    David, A

    C. David, A. Florea, and M. Lal´ ın, Nonvanishing for cubicL-functions, Forum Math. Sigma, 9 (2021), Paper No. e69, 58pp. 2, 4, 6, 13

    2021

  4. [12]

    David, A

    C. David, A. Florea and M. Lal´ ın, The mean values of cubicL-functions over function fields, Algebra Number theory, 16 (2022), no. 5, pp. 1259–1326. 2, 6, 8, 10, 11, 12

    2022

  5. [13]

    David, A

    C. David, A. Florea, and M. Lal´ ın, Nonvanishing of L-functions associated to fixed order characters over function fields, preprint 2025, arXiv:2506.07815, https://doi. org/10.48550/arXiv.2506.07815. 2

    2025 doi arXiv

  6. [14]

    Diaconu, Mean square values of Hecke L-series formed with r-th order characters, Invent

    A. Diaconu, Mean square values of Hecke L-series formed with r-th order characters, Invent. Math., 157 (2004), no. 3, pp. 635–684. 2

    2004

  7. [15]

    Florea, Improving the error term in the mean value of L(1/2,χ ) in the hyperelliptic ensemble, Int

    A. Florea, Improving the error term in the mean value of L(1/2,χ ) in the hyperelliptic ensemble, Int. Math. Res. Notices , 2017, no. 20, pp. 6119–6148. 2, 9

    2017

  8. [16]

    Florea, The second and third moment of L(1/2,χ ) in the hyperelliptic ensemble, Forum Math., 29 (2017), no

    A. Florea, The second and third moment of L(1/2,χ ) in the hyperelliptic ensemble, Forum Math., 29 (2017), no. 4, pp. 873–892. 2 UPPER BOUND FOR THE MOMENT OF SHIFTED V ALUES 33

    2017

  9. [17]

    Florea, The fourth moment of L(1/2,χ ) in the hyperelliptic ensemble, Geometric and Functional Analysis, 27 (2017), no

    A. Florea, The fourth moment of L(1/2,χ ) in the hyperelliptic ensemble, Geometric and Functional Analysis, 27 (2017), no. 3, pp. 541–595. 2, 24

    2017

  10. [18]

    Friedberg, J

    S. Friedberg, J. Hoffstein, and D. Lieman, Double Dirichlet series and the n-th order twists of hecke L-series, Math. Ann., 327 (2003), pp. 315–338. 2

    2003

  11. [19]

    Goel and A

    S. Goel and A. Ray, The second moment of cubic Dirichlet L-functions over function fields, preprint 2025, arXiv:2505.12015, https://doi.org/10.48550/arXiv.2505. 12015. 2, 4

    2025 doi arXiv

  12. [20]

    Harper, Sharp conditional bounds for moments of the Riemann zeta function, preprint 2013, arXiv: 1305.4618, http://arxiv.org/abs/1305.4618

    A. Harper, Sharp conditional bounds for moments of the Riemann zeta function, preprint 2013, arXiv: 1305.4618, http://arxiv.org/abs/1305.4618. 3, 5, 18

    2013 arXiv

  13. [21]

    J. P. Keating and Z. Rudnick, The variance of the number of prime polynomials in short intervals and in residue classes, Int. Math. Res. Not. IMRN , 2014, no. 1, pp. 259–288. 14

    2014

  14. [22]

    J. P. Keating and N. C. Snaith, Random matrix theory and L-functions at s = 1/2, Comm. Math. Phys. , 214 (2000), pp. 91–110. 2

    2000

  15. [23]

    Kirila, An upper bound for discrete moments of the derivative of the Riemann zeta-function, Mathematika, 66 (2020), no

    S. Kirila, An upper bound for discrete moments of the derivative of the Riemann zeta-function, Mathematika, 66 (2020), no. 2, pp. 475–497. 20, 24

    2020

  16. [24]

    Luo, On Hecke L-series associated with cubic characters, Compos

    W. Luo, On Hecke L-series associated with cubic characters, Compos. Math. , 140 (2004), no. 5, pp. 1191–1196. 2

    2004

  17. [25]

    N. Ng, Q. Shen and P-J. Wong, Shifted moments of the Riemann zeta function, Canadian Journal of Mathematics , 76 (2024), pp. 1556–1586. 2, 4

    2024

  18. [26]

    Rosen, Average value of class numbers in cyclic extensions of the rational function field, Number theory (Halifax, NS, 1994), CMS Conf

    M. Rosen, Average value of class numbers in cyclic extensions of the rational function field, Number theory (Halifax, NS, 1994), CMS Conf. Proc. , 15, Amer. Math. Soc., Providence, RI, 1995, pp. 307–323. 2

    1994

  19. [27]

    Rosen, Number theory in function fields, Graduate Texts in Mathematics , 210 (2002), Springer-Verlag, New York

    M. Rosen, Number theory in function fields, Graduate Texts in Mathematics , 210 (2002), Springer-Verlag, New York. 5, 6, 7

    2002

  20. [28]

    Shen, The fourth moment of quadratic Dirichlet L-functions, Math

    Q. Shen, The fourth moment of quadratic Dirichlet L-functions, Math. Z., 298 (2021), pp. 713–745. 2

    2021

  21. [29]

    Soundararajan, Nonvanishing of quadratic Dirichlet L-functions at s = 1/2, Ann

    K. Soundararajan, Nonvanishing of quadratic Dirichlet L-functions at s = 1/2, Ann. of Math. (2) , 152 (2000), pp. 447–488. 2

    2000

  22. [30]

    Soundararajan, Moments of the Riemann zeta function, Ann

    K. Soundararajan, Moments of the Riemann zeta function, Ann. Math., 170 (2009), pp. 981–993. 3, 4, 13

    2009

  23. [31]

    Weil, Sur les courbes alg´ ebriques et les vari´ et´ es qui s’en d´ eduisent,Actualit´ es Sci

    A. Weil, Sur les courbes alg´ ebriques et les vari´ et´ es qui s’en d´ eduisent,Actualit´ es Sci. Ind., 1041 (1948), Hermann et Cie., Paris. 4, 7 School of Mathematics and Statistics, University of New South W ales, Sydney NSW 2052, Australia Email address : darbarpranendu100@...

    1948

Pith tools

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