pith. sign in

arxiv: 2312.08482 · v1 · submitted 2023-12-13 · 🧮 math.NT

Asymptotic second moment of Dirichlet L-functions along a thin coset

Bradford Garcia , Matthew P. Young This is my paper

Pith reviewed 2026-05-24 04:35 UTC · model grok-4.3

classification 🧮 math.NT
keywords Dirichlet L-functionssecond momentcentral valuescharacter cosetsasymptotic formulasmodular conditionsnumber theory
0
0 comments X

The pith

The second moment of central values of Dirichlet L-functions over a thin coset of characters modulo q has an asymptotic with a secondary main term of size roughly q^{1/2}.

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

The paper establishes an asymptotic formula for the sum of |L(1/2, χ)|^2 over characters χ modulo q that lie in a fixed coset of the subgroup of characters modulo d. This holds with a power-saving error when ν_p(d) is at least half of ν_p(q) for every prime p dividing q. A sympathetic reader would care because the formula includes a secondary main term of size about q^{1/2} that is absent from the usual integral moments conjecture and from the second moment of the Riemann zeta function. For a thinner range where ν_p(d) lies between one-third and one-half of ν_p(q) and d exceeds q^{2/5}, a modified asymptotic holds with a secondary term possibly as large as d.

Core claim

We prove that under the condition ν_p(d) ≥ ν_p(q)/2 for all primes p dividing q, the second moment equals a diagonal main term plus a secondary main term of rough size q^{1/2} plus an error term that saves a power of q. This secondary term does not appear in the second moment of the Riemann zeta function. In the more difficult range ν_p(q)/3 ≤ ν_p(d) ≤ ν_p(q)/2 with d larger than q^{2/5}, an asymptotic formula still holds with a power-saving error, though the secondary main term changes form and may reach size roughly d.

What carries the argument

The second moment sum of |L(1/2, χ)|^2 restricted to a coset of the character group modulo d inside the full group modulo q, expanded via the approximate functional equation under the stated valuation condition on d.

If this is right

  • The Conrey-Farmer-Keating-Rubinstein-Snaith integral moments conjecture does not capture all secondary terms that arise when moments are taken over proper cosets of characters.
  • Secondary main terms in L-function moments can depend on the arithmetic structure of the modulus and the coset, even when absent from the full moment or the zeta function.
  • Power-saving error terms remain attainable for the second moment when the coset is thin but satisfies the half-valuation condition.
  • The size of the secondary term can drop from q^{1/2} to roughly d when the coset becomes thinner, provided d exceeds q^{2/5}.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Refinements of random-matrix models for L-values may need to incorporate arithmetic progressions or subgroup restrictions in the character group to account for these extra terms.
  • Similar secondary terms could appear in higher even moments or for other families of L-functions when restricted to cosets, offering a route to test the scope of the phenomenon.
  • The precise asymptotics might be combined with other character-sum techniques to obtain new bounds on individual L-values or short sums in the same range.

Load-bearing premise

The condition that ν_p(d) is at least half of ν_p(q) for every prime p dividing q must hold in order for the secondary main term of size q^{1/2} to appear in the stated form.

What would settle it

Direct numerical evaluation of the second moment sum for a concrete q and d satisfying ν_p(d) ≥ ν_p(q)/2, followed by checking whether the value lies within the claimed error of the predicted main term plus the q^{1/2} secondary term.

read the original abstract

We prove an asymptotic formula for the second moment of central values of Dirichlet $L$-functions restricted to a coset. More specifically, consider a coset of the subgroup of characters modulo $d$ inside the full group of characters modulo $q$. Suppose that $\nu_p(d) \geq \nu_p(q)/2$ for all primes $p$ dividing $q$. In this range, we obtain an asymptotic formula with a power-saving error term; curiously, there is a secondary main term of rough size $q^{1/2}$ here which is not predicted by the integral moments conjecture of Conrey, Farmer, Keating, Rubinstein, and Snaith. The lower-order main term does not appear in the second moment of the Riemann zeta function, so this feature is not anticipated from the analogous archimedean moment problem. We also obtain an asymptotic result for smaller $d$, with $\nu_p(q)/3 \leq \nu_p(d) \leq \nu_p(q)/2$, with a power-saving error term for $d$ larger than $q^{2/5}$. In this more difficult range, the secondary main term somewhat changes its form and may have size roughly $d$, which is only slightly smaller than the diagonal main term.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript proves an asymptotic formula for the second moment of the central values L(1/2, χ) where χ ranges over a coset of the subgroup of Dirichlet characters modulo d inside the full group modulo q. Under the hypothesis that ν_p(d) ≥ ν_p(q)/2 for every prime p dividing q, an asymptotic with power-saving error term is obtained; a secondary main term of size roughly q^{1/2} appears and is not predicted by the Conrey–Farmer–Keating–Rubinstein–Snaith conjecture. A parallel result is stated for the thinner range ν_p(q)/3 ≤ ν_p(d) ≤ ν_p(q)/2 when d > q^{2/5}, again with power-saving error.

Significance. If the derivations hold, the work supplies unconditional asymptotics for L-function moments over thin cosets of characters, together with an explicit secondary term that extends beyond the predictions of the integral-moments conjecture. The direct analytic treatment, which uses the given valuation condition to control off-diagonal sums and to isolate the secondary term, constitutes a concrete advance; the resulting formulas are falsifiable by numerical computation and do not rely on auxiliary conjectures.

minor comments (2)
  1. The introduction would benefit from a brief explicit example of the coset for small q and d to illustrate the notation before the statement of the main theorems.
  2. In the discussion of the secondary term, a short remark comparing its size to the diagonal contribution in the two ranges would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, recognition of the significance of the unconditional asymptotics and the explicit secondary term, and the recommendation to accept the manuscript.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper presents a direct analytic proof deriving an asymptotic formula for the second moment of central values of Dirichlet L-functions on a thin coset, under the explicit hypothesis ν_p(d) ≥ ν_p(q)/2. The main term, secondary term of size ~q^{1/2}, and power-saving error are obtained via standard character sum estimates and contour integration applied to the coset; these steps do not reduce by the paper's own equations to fitted inputs, self-definitions, or unverified self-citations. The secondary term is explicitly produced from the off-diagonal contributions controlled by the valuation condition rather than assumed or renamed from prior results. The work is self-contained and contrasts with (rather than depends on) the CFKRS conjecture.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard analytic number theory tools for evaluating moments of L-functions via character sums and approximate functional equations; the key non-standard input is the explicit valuation condition on d relative to q.

axioms (2)
  • standard math Standard analytic properties of Dirichlet L-functions including their Euler products and functional equations
    Invoked implicitly to justify the moment calculation and error term estimates.
  • domain assumption Properties of character sums over cosets of the subgroup of characters modulo d
    Used to restrict the sum to the coset and derive the main terms.

pith-pipeline@v0.9.0 · 5759 in / 1411 out tokens · 25641 ms · 2026-05-24T04:35:57.706470+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

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

  1. Strong Hybrid Subconvexity for Twisted Selfdual $\mathrm{GL}_3$ $L$-Functions

    math.NT 2024-08 unverdicted novelty 8.0

    Establishes strong hybrid subconvexity bounds for twisted selfdual GL3 L-functions via a new GL3 x GL2 to GL4 x GL1 spectral reciprocity formula together with an averaged Lindelof bound on Dirichlet L-functions.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    The mean-square of Dirichlet L-functions

    J.B. Conrey, The mean-square of Dirichlet L -functions. arXiv:0708.2699

    work page internal anchor Pith review Pith/arXiv arXiv

  2. [2]

    Conrey, D

    J.B. Conrey, D. Farmer, J. Keating, M. Rubinstein, and N. Snaith, Integral moments of L -functions. Proc. London Math. Soc. (3) 91 (2005), no. 1, 33--104

    work page 2005

  3. [3]

    Gradshteyn and I.M

    I.S. Gradshteyn and I.M. Ryzhik, Table of integrals, series, and products. Translated from the Russian. Sixth edition. Translation edited and with a preface by Alan Jeffrey and Daniel Zwillinger. Academic Press, Inc., San Diego, CA, 2000

    work page 2000

  4. [4]

    Heath-Brown, Hybrid bounds for Dirichlet L -functions

    D.R. Heath-Brown, Hybrid bounds for Dirichlet L -functions. Invent. Math. 47 (1978), no. 2, 149--170

    work page 1978

  5. [5]

    Heath-Brown, The twelfth power moment of the Riemann-function

    D.R. Heath-Brown, The twelfth power moment of the Riemann-function. Quart. J. Math. Oxford Ser. (2) 29 (1978), no. 116, 443--462

    work page 1978

  6. [6]

    Heath-Brown, An asymptotic series for the mean value of Dirichlet L -functions

    D.R. Heath-Brown, An asymptotic series for the mean value of Dirichlet L -functions. Comment. Math. Helv. 56 (1981), no. 1, 148--161

    work page 1981

  7. [7]

    The theory of the Riemann zeta-function with applications

    Aleksandar Ivi\' c , The Riemann zeta-function. The theory of the Riemann zeta-function with applications. A Wiley-Interscience Publication. John Wiley & Sons, Inc., New York, 1985

    work page 1985

  8. [8]

    American Mathematical Society Colloquium Publications, 53

    Henryk Iwaniec and Emmanuel Kowalski, Analytic number theory. American Mathematical Society Colloquium Publications, 53. American Mathematical Society, Providence, RI, 2004

    work page 2004

  9. [9]

    Number theory in progress, Vol

    Henryk Iwaniec and Peter Sarnak, Dirichlet L -functions at the central point. Number theory in progress, Vol. 2 ( Z akopane- K o\' s cielisko, 1997), 941--952, de Gruyter, Berlin, 1999

    work page 1997

  10. [10]

    Second edition

    Neal Koblitz, p -adic numbers, p -adic analysis, and zeta-functions. Second edition. Graduate Texts in Mathematics, 58. Springer-Verlag, New York, 1984

    work page 1984

  11. [11]

    Djordje Milićević and Daniel White, Twelfth Moment of Dirichlet L -functions to Prime Power Moduli. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 22 (2021), no. 4, 1879--1898

    work page 2021

  12. [12]

    Nunes, The Twelfth Moment of Dirichlet L -functions with Smooth Moduli

    Ramon M. Nunes, The Twelfth Moment of Dirichlet L -functions with Smooth Moduli. Int. Math. Res. Not. IMRN 2021, no. 12, 9180--9202

    work page 2021

  13. [13]

    Young, The fourth moment of Dirichlet L -functions along a coset and the Weyl bound

    Ian Petrow and Matthew P. Young, The fourth moment of Dirichlet L -functions along a coset and the Weyl bound. Duke Math. J. 172 (2023), no. 10, 1879--1960

    work page 2023

  14. [14]

    E. C. Titchmarsh, The theory of the Riemann zeta-function. Second edition. Edited and with a preface by D. R. Heath-Brown. The Clarendon Press, Oxford University Press, New York, 1986

    work page 1986