REVIEW 3 major objections 4 minor 22 references
Distribution of sums involving Dirichlet characters over the $k$-free integers
T0 review · 3 major / 4 minor · reviewed 2026-08-02 · deepseek-v4-flash
Pith's one-line read This paper proves that, assuming the generalized Riemann hypothesis and a specialized unproved bound on negative moments of zeta derivatives, the normalized partial sums of Dirichlet characters over k-free integers have a limiting distribut
desk verdict Solid conditional extension of Ng–Meng machinery to character sums over k-free integers; load-bearing negative-moment assumptions are unproved and at least one contour estimate needs a closer look. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The key object is the explicit zero expansion ∑_{|γ|<T} L(ρ/k, χ)/(ρ Z_f(ρ)) x^{ρ/k} for the partial sums, where ρ=1/2+iγ runs over non-trivial zeros and Z_f is a rational factor (e.g., P(s)/ζ'(s) for even k, 1/L'(s,χ) for odd k, and variants for modified characters). The load-bearing input is the negative second-moment bound ∑|ζ'(ρ)|^{-2} ≪ T^{1+1/k-ε} (or the L-analogue), used in Lemma 4.1 to make the zero-tail square-integrable; from there, a general almost-periodicity criterion yields the limiting distribution, and a Cauchy-Schwarz argument controls the error when passing from good heights to arbitrary T. The finite product P(s) over primes dividing q is analytic in Re(s)>0 but has poles
What would settle it
A proof or computation producing infinitely many T with ∑_{0<γ≤T}|ζ'(ρ)|^{-2} ≥ T^{1+1/k} would invalidate the paper's key input. Alternatively, for a fixed k and small modulus, numerically computing e^{-y/(2k)}∑_{n≤e^y} f(n) over a long y-range and finding that its logarithmic average does not settle to a stable distribution would contradict Theorem 1.1.
Extended reading notes
Core claim
The central claim is Theorem 1.1: under the generalized Riemann hypothesis and the negative-moment bound ∑_{0<γ≤T}|ζ'(ρ)|^{-2} ≪ T^{1+1/k-ε} (or the corresponding L-function version for odd k), the function y ↦ e^{-y/(2k)}∑_{n≤e^y} f(n) has a limiting distribution ν_k on R. Theorem 1.2 strengthens the earlier conjecture: except on a set of finite logarithmic measure, ∑_{n≤x} f(n) ≪_ε x^{1/(2k)} (log x)^{1/2+ε}. The same machinery, with additional linear-independence assumptions, gives a large-deviation estimate for ν_k([V,∞)) and a conjectured precise oscillation with iterated logarithms. The argument's engine is an explicit formula expressing the partial sum as a sum over zeros of the match
Load-bearing premise
The theorems stand on the unproved upper bound ∑_{0<γ≤T}|ζ'(ρ)|^{-2} ≪ T^{1+1/k-ε} (and its L-function analogue); without it, the central square-integrability and error-control lemmas fail.
Editorial extensions
If this is right
- If Theorem 1.1 is correct, the normalized sums have a well-defined logarithmic distribution, so statements like 'the sum exceeds V x^{1/(2k)} for a positive fraction of log-scales' become meaningful for every V.
- Theorem 1.2 shows the partial sums cannot be much larger than x^{1/(2k)}: the exceptional set where they exceed x^{1/(2k)} (log x)^{1/2+ε} has finite logarithmic measure, so on almost all scales the sum is at the conjectured order.
- Under the linear-independence conjectures, the Fourier transform of ν_k is an explicit product of Bessel functions over zeros, and the large-deviation bounds give quantitative tail estimates supporting a sharp iterated-logarithm conjecture for the maximal oscillation.
- The weak-Mertens-type result ∫ (∑_{n≤x} f(n)/x^{1/(2k)})^2 dx/x ≪ log X, together with the asymptotic ∼β_k log X, gives an averaged second-moment statement consistent with fluctuations of size x^{1/(2k)}.
Reading between the lines
- Inference: the same method likely applies to other ratios of L-functions, e.g., sums of a non-real Dirichlet character over k-free integers, with the normalization still x^{1/(2k)} and the only new requirement being a corresponding negative-moment bound for the relevant L-function derivative.
- Inference: the paper's choice to keep the contour in Re(s)>0, forced by the poles of P(s), suggests a structural limitation: for moduli with several distinct prime factors, any argument shifting the contour left of the imaginary axis would have to handle large pole contributions, so removing the negative-moment assumption may require a genuinely different mechanism.
- Inference: the large-deviation predictions are coarse enough that a numerical experiment with a fixed small k and modulus could test the exponential rate exp(-c V^{2k/(k-1)}); a clear mismatch would point to either the negative-moment bound or the linear-independence assumption as the false premise.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies partial sums of μ^(k)χ and μ^(k)gχ, where χ is a primitive quadratic character and gχ is the modified character that sets χ(p)=1 for p|q. Under GRH and additional unproved negative discrete moment bounds for ζ' or L' (Items i/ii of Theorem 1.1), the author proves that e^{-y/(2k)} ∑_{n≤e^y} f(n) has a logarithmic limiting distribution, and that ∑_{n≤x} f(n) ≪_ε x^{1/(2k)} (log x)^{1/2+ε} except on a set of finite logarithmic measure. The paper also gives large-deviation estimates under LI/GLI and a weak-Mertens-type mean-square result. The proofs follow the framework of Ng and Meng, with an explicit formula obtained by contour integration in the half-plane Re(s)>0.
Significance. If the results are correct, they provide the first limiting-distribution characterization for character sums over k-free integers at the conjectured square-root-type scale, and they sharpen a conjecture of Aymone–Medeiros–the author. The adaptation of Ng's B_2-almost-periodicity machinery to this setting, together with the detailed treatment of the modified character gχ, is a useful contribution. The main caveat is that the central theorems are conditional not only on GRH but also on the specialized negative-moment bounds in Items i/ii, which Section 8 explicitly says are not yet established. The paper is honest about this, but it means the headline results are exactly as conditional as those moment bounds.
major comments (3)
- [Lemma 4.4] The last term in the stated error term is x^{1/(2k)}(log T)^{1/2} T^ε. In the proof, however, the final line gives x^{1/(2k)}(log T)^{1/2}/T^ε (one obtains (log T)^{1/2} T^{-ε} after the Cauchy–Schwarz step). With the printed sign, the mean-square integral in Theorem 1.1 would contain a term Y e^{2Yε} that does not vanish after division by Y. The later use in Theorem 1.2, where the error is written as x^{1/(2k)-ε}(log x)^{1/2} for T≍x, is consistent only with the T^{-ε} version. This sign error is load-bearing and must be corrected.
- [Lemma 4.3, vertical contour bound] In the proof of Lemma 4.3, after setting σ1=ε, the vertical-side integral is bounded by x^{σ1} T^{σ1(k−1)+2ε} = x^ε T^{ε(k+1)}. The displayed final error term x^ε T^ε is therefore missing a factor T^{ε(k−1)}. This error propagates to Lemma 4.4 and to Theorem 1.2. The main theorems can still be made to work by choosing ε sufficiently small (e.g. ε < 1/(2k(k+2)) in the mean-square integral), but the statements as written are false and the proofs need a corrected record of the vertical contribution.
- [Theorem 1.2, proof after Eq. (8)] The estimate for the 'smaller sum' over |γ|<log T is not justified as written. The displayed bound is x^{1/(2k)}(log T)^{1/2−1/(2k)}(log T) ∑_{0<γ<log T} |ζ'(ρ)|^{-1}. Inserting the bound ∑ |ζ'(ρ)|^{-1} ≪ (log T)^{1+1/(2k)−ε/2}(log log T)^{1/2} gives (log T)^{5/2+o(1)}, not (log T)^{1/2+ε}. A correct treatment can be obtained by partial summation with S(t)=∑_{γ≤t}|ζ'(ρ)|^{-1} and b(t)=t^{−1/2−1/(2k)}, which yields (log T)^{1/2−ε/2+o(1)}; the theorem is salvageable, but the proof as written has a gap at this load-bearing point.
minor comments (4)
- [Lemma 4.1 and Theorem 1.1] Lemma 4.1 is stated for L(s,χ^k), while Theorem 1.1's Item i for even k concerns ζ'(ρ). Since χ is quadratic, χ^k is principal for even k and the relevant zeros are those of ζ(s). This reduction should be stated explicitly in Lemma 4.1 or in the application.
- [Lemma 4.1 proof] The bound |L(ρ/k,χ)|/|ρ| ≪ |γ|^{−1/2−1/(2k)+ε} is used without comment. It follows from the functional equation (3), the gamma-factor bound (4), and the Lindelöf bound for L(1−ρ/k,χ). Stating this would improve readability.
- [Section 2, historical discussion] The paper credits Ng [21] and Meng [14] appropriately, but the sentence introducing Akbary–Ng–Shahabi's B_p-almost-periodicity criterion says it was 'known since 1930s'; a reference or more precise attribution would be helpful.
- [Theorem 6.1 and Conjecture 6.3] The large-deviation theorem changes the moment hypothesis from Items i/ii to ∑|ζ'(ρ)|^{-2}≪T^{1+ε}. This distinction is clear but should be explicitly noted, since the main theorems use the stronger T^{1+1/k−ε} bound.
Circularity Check
No circular derivation: Theorems are conditional on explicitly stated negative-moment hypotheses; no target quantity is used as an input, and self-citations are not load-bearing.
full rationale
The paper's main theorems are conditional statements: given GRH plus Items i/ii (negative discrete moment bounds), they prove a limiting distribution and an exceptional-set bound. The moment bounds enter Lemma 4.1 only to verify Assumption 1 of Ng's Proposition 3.1 (the required theta<2), and then appear in Lemma 4.4 and Theorem 1.2 through Cauchy-Schwarz. This is a standard transfer from an assumed zero-moment estimate to a partial-sum estimate; the target bound x^{1/(2k)}(log x)^{1/2+epsilon} is not used to set the exponent in Items i/ii, and the proof never fits a parameter to the conclusion. Section 8 honestly states that no upper bounds for the negative moments are currently established; this makes the theorems conditional on an unproved conjecture, which is a correctness/risk issue rather than circularity. The self-citations ([3], [4]) appear in motivational remarks and in the statement of Conjecture 6.3, which strengthens the authors' earlier conjecture; they are not used as load-bearing support for the derivations. The large-deviation section explicitly says it is 'identical to' Meng's k-free number bounds and reuses Ng/Meng's framework, an external, acknowledged source. I therefore find no specific circular step.
Assumptions & free parameters
assumptions (4)
- domain assumption Generalized Riemann hypothesis (GRH) for ζ and Dirichlet L-functions
- ad hoc to paper Discrete negative second-moment bounds: Σ_{0<γ≤T}|ζ'(ρ)|^{-2} ≪ T^{1+1/k-ε} (and the L-analogue)
- domain assumption Linear Independence (LI/GLI) of imaginary parts of zeros
- domain assumption Simplicity of the non-trivial zeros of ζ(ks) and L(ks,χ)
Cite this review
Pith. "Pith review of Distribution of sums involving Dirichlet characters over the $k$-free integers." pith.science (2026). https://pith.science/paper/5MLOL3IJ
@misc{pith2026260223100,
author = {Pith},
title = {Pith review of: Distribution of sums involving Dirichlet characters over the $k$-free integers},
year = {2026},
howpublished = {\url{https://pith.science/paper/5MLOL3IJ}},
note = {Machine review of arXiv:2602.23100}
}
abstract
Assuming the generalized Riemann hypothesis and a bound for the negative discrete moments of the Riemann zeta function (resp. Dirichlet $L$-functions), we prove the existence of a logarithmic limiting distribution for the normalized partial sums $x^{-\frac{1}{2k}}\sum_{n\leq x}f(n)$, where $f$ is either a quadratic Dirichlet character or a modified Dirichlet character, restricted to the $k$-free integers. Moreover, we strengthen a conjecture made by Aymone, Medeiros and the author (cf. Ramanujan J. 59(3):713-728, 2022) concerning the precise order of magnitude for these partial sums.
Reference graph
Works this paper leans on
-
[1]
Limiting distributions of the classical error terms of prime number theory
A. Akbary, N. Ng, and M. Shahabi. “Limiting distributions of the classical error terms of prime number theory”. In:Q. J. Math.65.3 (2014), pp. 743–780.issn: 0033-5606,1464-3847.doi:10.1093/qmath/hat059.url:https://doi.org/10. 1093/qmath/hat059
work page doi:10.1093/qmath/hat059.url:https://doi.org/10 2014
-
[2]
A note on multiplicative functions resembling the M¨ obius function
M. Aymone. “A note on multiplicative functions resembling the M¨ obius function”. In:J. Number Theory212 (2020), pp. 113–121.issn: 0022-314X,1096-1658.doi:10. 1016/j.jnt.2019.10.025.url:https://doi.org/10.1016/j.jnt.2019.10.025
-
[3]
Multiplicative functions supported on thek-free integers with small partial sums
M. Aymone, C. Bueno, and K. Medeiros. “Multiplicative functions supported on thek-free integers with small partial sums”. In:Ramanujan J.59.3 (2022), pp. 713– 728.issn: 1382-4090,1572-9303.doi:10.1007/s11139-022-00618-9.url:https: //doi.org/10.1007/s11139-022-00618-9
-
[4]
Modified Dirichlet Character Sums over thek-free Integers
C. Bueno. “Modified Dirichlet Character Sums over thek-free Integers”. In:Bull. Braz. Math. Soc. (N.S.)56.2 (2025), Paper No. 28.issn: 1678-7544,1678-7714.doi: 10.1007/s00574-025-00453-8.url:https://doi.org/10.1007/s00574-025- 00453-8
work page doi:10.1007/s00574-025-00453-8.url:https://doi.org/10.1007/s00574-025- 2025
-
[5]
Lower bounds for negative moments ofζ ′(ρ)
P. Gao and L. Zhao. “Lower bounds for negative moments ofζ ′(ρ)”. In:Mathematika 69.4 (2023), pp. 1081–1103.issn: 0025-5793,2041-7942.doi:10.1112/mtk.12219. url:https://doi.org/10.1112/mtk.12219. 27
-
[6]
On negative moments of the Riemann zeta-function
S. M. Gonek. “On negative moments of the Riemann zeta-function”. In:Mathe- matika36.1 (1989), pp. 71–88.issn: 0025-5793.doi:10.1112/S0025579300013589. url:https://doi.org/10.1112/S0025579300013589
-
[7]
Lower bounds for discrete negative moments of the Riemann zeta function
W. Heap, J. Li, and J. Zhao. “Lower bounds for discrete negative moments of the Riemann zeta function”. In:Algebra Number Theory16.7 (2022), pp. 1589–1625. issn: 1937-0652,1944-7833.doi:10.2140/ant.2022.16.1589.url:https://doi. org/10.2140/ant.2022.16.1589
-
[8]
On the distribution of log|ζ ′( 1 2 +it)|
D. A. Hejhal. “On the distribution of log|ζ ′( 1 2 +it)|”. In:Number theory, trace formu- las and discrete groups (Oslo, 1987). Academic Press, Boston, MA, 1989, pp. 343– 370.isbn: 0-12-067570-6
1987
Show all 22 references
-
[9]
Random matrix theory and the derivative of the Riemann zeta function
C. P. Hughes, J. P. Keating, and N. O’Connell. “Random matrix theory and the derivative of the Riemann zeta function”. In:R. Soc. Lond. Proc. Ser. A Math. Phys. Eng. Sci.456.2003 (2000), pp. 2611–2627.issn: 1364-5021,1471-2946.doi: 10.1098/rspa.2000.0628.url:https://doi.org/10...
2003
-
[10]
The distribution of weighted sums of the Liouville function and P´ olya’s conjecture
P. Humphries. “The distribution of weighted sums of the Liouville function and P´ olya’s conjecture”. In:J. Number Theory133.2 (2013), pp. 545–582.issn: 0022- 314X,1096-1658.doi:10.1016/j.jnt.2012.08.011.url:https://doi.org/10. 1016/j.jnt.2012.08.011
2013 doi
-
[11]
Iwaniec and E
H. Iwaniec and E. Kowalski.Analytic number theory. Vol. 53. American Mathemat- ical Society Colloquium Publications. American Mathematical Society, Providence, RI, 2004, pp. xii+615.isbn: 0-8218-3633-1.doi:10.1090/coll/053.url:https: //doi.org/10.1090/coll/053
2004 doi
-
[12]
On the squarefree and squarefull numbers
H. Liu and W. Zhang. “On the squarefree and squarefull numbers”. In:J. Math. Ky- oto Univ.45.2 (2005), pp. 247–255.issn: 0023-608X.doi:10.1215/kjm/1250281988. url:https://doi.org/10.1215/kjm/1250281988
2005
-
[13]
Multiplicative functions resembling the M¨ obius function
Q. Y. Liu. “Multiplicative functions resembling the M¨ obius function”. In:Acta Math. Sin. (Engl. Ser.)39.12 (2023), pp. 2316–2328.issn: 1439-8516,1439-7617.doi:10. 1007/s10114-023-2259-7.url:https://doi.org/10.1007/s10114-023-2259- 7
2023 doi
-
[14]
The distribution ofk-free numbers and the derivative of the Riemann zeta-function
X. Meng. “The distribution ofk-free numbers and the derivative of the Riemann zeta-function”. In:Math. Proc. Cambridge Philos. Soc.162.2 (2017), pp. 293–317. issn: 0305-0041,1469-8064.doi:10.1017/S0305004116000554.url:https://doi. org/10.1017/S0305004116000554
2017 doi
-
[15]
Upper bounds for moments ofζ ′(ρ)
M. B. Milinovich. “Upper bounds for moments ofζ ′(ρ)”. In:Bull. Lond. Math. Soc. 42.1 (2010), pp. 28–44.issn: 0024-6093,1469-2120.doi:10 . 1112 / blms / bdp096. url:https://doi.org/10.1112/blms/bdp096. 28
2010 doi
-
[16]
Lower bounds for moments ofζ ′(ρ)
M. B. Milinovich and N. Ng. “Lower bounds for moments ofζ ′(ρ)”. In:Int. Math. Res. Not. IMRN12 (2014), pp. 3190–3216.issn: 1073-7928,1687-0247.doi:10 . 1093/imrn/rnt028.url:https://doi.org/10.1093/imrn/rnt028
2014 doi
-
[17]
The zeta function and prime numbers
H. L. Montgomery. “The zeta function and prime numbers”. In:Proceedings of the Queen ’s Number Theory Conference, 1979 (Kingston, Ont., 1979). Vol. 54. Queen’s Papers in Pure and Appl. Math. Queen’s Univ., Kingston, ON, 1980, pp. 1–31
1979
-
[18]
H. L. Montgomery and R. C. Vaughan.Multiplicative number theory. I. Classical theory. Vol. 97. Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 2007, pp. xviii+552.isbn: 978-0-521-84903-6
2007
-
[19]
Character sums over squarefree and squarefull numbers
M. Munsch. “Character sums over squarefree and squarefull numbers”. In:Arch. Math. (Basel)102.6 (2014), pp. 555–563.issn: 0003-889X,1420-8938.doi:10.1007/ s00013-014-0658-9.url:https://doi.org/10.1007/s00013-014-0658-9
2014 doi
-
[20]
Ng.Prime Number Error Terms
N. Ng.Prime Number Error Terms. arXiv:2505.11295 [math.NT]. 2025
2025 arXiv
-
[21]
The distribution of the summatory function of the M¨ obius function
N. Ng. “The distribution of the summatory function of the M¨ obius function”. In: Proc. London Math. Soc. (3)89.2 (2004), pp. 361–389.issn: 0024-6115,1460-244X. doi:10.1112/S0024611504014741.url:https://doi.org/10.1112/S0024611504014741
2004 doi
-
[22]
E. C. Titchmarsh.The theory of the Riemann zeta-function. Second. Edited and with a preface by D. R. Heath-Brown. The Clarendon Press, Oxford University Press, New York, 1986, pp. x+412.isbn: 0-19-853369-1
1986
Reviewed August 2, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.