Pith. sign in

REVIEW 6 cited by

The typical size of character and zeta sums is $o(\sqrt{x})$

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2301.04390 v1 pith:SN7EZ5N2 submitted 2023-01-11 math.NT

classification math.NT
keywords sumsmomentsbettercharacterfracrandomsquarerootzeta
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

We prove conjecturally sharp upper bounds for the Dirichlet character moments $\frac{1}{r-1} \sum_{\chi \; \text{mod} \; r} |\sum_{n \leq x} \chi(n)|^{2q}$, where $r$ is a large prime, $1 \leq x \leq r$, and $0 \leq q \leq 1$ is real. In particular, if both $x$ and $r/x$ tend to infinity with $r$ then $\frac{1}{r-1} \sum_{\chi \; \text{mod} \; r} |\sum_{n \leq x} \chi(n)| = o(\sqrt{x})$, and so the sums $\sum_{n \leq x} \chi(n)$ typically exhibit "better than squareroot cancellation". We prove analogous better than squareroot bounds for the moments $\frac{1}{T} \int_{0}^{T} |\sum_{n \leq x} n^{it}|^{2q} dt$ of zeta sums; of Dirichlet theta functions $\theta(1,\chi)$; and of the sums $\sum_{n \leq x} h(n) \chi(n)$, where $h(n)$ is any suitably bounded multiplicative function (for example the M\"{o}bius function $\mu(n)$). The proofs depend on similar better than squareroot cancellation phenomena for low moments of random multiplicative functions. An important ingredient is a reorganisation of the conditioning arguments from the random case, so that one only needs to "condition" on a small collection of fairly short prime number sums. The conditioned quantities arising can then be well approximated by twisted second moments, whose behaviour is the same for character and zeta sums as in the random case.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 6 Pith papers

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

  1. A sharp almost sure upper bound for partial sums of random multiplicative functions

    math.NT 2026-07 conditional novelty 8.0 of 10

    For both Steinhaus and Rademacher random multiplicative functions, almost surely |sum_{n≤x} f(n)| ≪ sqrt(x)(log log x)^{1/4+ε}, matching Harper's lower bound.

  2. Large values of Dirichlet polynomials with multiplicative coefficients

    math.NT 2025-09 conditional novelty 7.0 of 10

    New Omega results for maxima of Dirichlet polynomials with multiplicative coefficients in the range N ≤ sqrt(T) and in a transition regime, using resonance method and GCD sums.

  3. A few notes on the asymptotic behavior of Rademacher random multiplicative functions

    math.PR 2025-09 unverdicted novelty 6.0 of 10

    Obtains unrestricted high-moment estimates and exponential tail bounds for sums of Rademacher multiplicative functions via martingales.

  4. Lower bounds for high moments of zeta sums

    math.NT 2025-06 conditional novelty 6.0 of 10

    For every k>2, unconditionally, the average of |∑_{n≤x} n^{-it}|^{2k} over t∈[0,T] is ≫_k x^k (log L)^{(k-1)^2}, where L = min{x, T/x}.

  5. Large character sums with multiplicative coefficients

    math.NT 2025-09 conditional novelty 5.0 of 10

    An Omega lower bound near sqrt(N) exp((sqrt(2)+o(1)) sqrt(log(q/N) log_3(q/N)/log_2(q/N))) is claimed for character sums weighted by completely multiplicative f, but the extra positivity condition in the statement for...

  6. Large values of character sums with multiplicative coefficients

    math.NT 2025-08 conditional novelty 4.0 of 10

    The maximum over characters of |Σ_{n≤N} f(n)χ(n)|, for any multiplicative f with |f(n)| = 1, is at least √N exp((1+o(1))√(log(q/N)/log₂(q/N))) in the range exp((log q)^{1/2+δ}) ≤ N ≤ √q.

Pith tools