REVIEW 3 major objections 4 minor 24 references
Under GRH, Dedekind zeta moments of finite Galois extensions provably match the conjectured sharp order, with no epsilon loss.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · deepseek-v4-flash
2026-08-02 10:00 UTC pith:BK7BF3TF
load-bearing objection Sharp unshifted moment bound is probably right; the shifted-moment theorem has a real uniformity gap at large shifts. the 3 major comments →
Sharp Upper Bounds for Moments of Dedekind Zeta Functions
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central claim is Theorem 1.1: for a finite Galois extension K/Q, under GRH for ζ_K, and for any positive exponents a_j and shifts b_j with |b_j|≤T/2, the shifted moment ∫_0^T ∏_{j=1}^{2k} |ζ_K(1/2+i(t+b_j))|^{a_j} dt is bounded by T (log T)^{[K:Q](a_1^2+...+a_{2k}^2)/4} times a product over pairs of the correlation function g(|b_i-b_j|)^{[K:Q] a_i a_j/2}. Setting all a_j=1 and b_j=0 gives the unshifted bound ∫_0^T |ζ_K(1/2+it)|^{2k} dt ≪ T (log T)^{[K:Q]k^2}, the conjecturally sharp order. The theorem thus closes the upper side of the moment problem for Dedekind zeta functions of finite Galois extensions, conditionally on GRH.
What carries the argument
The machinery is a dyadic 'good set/bad set' decomposition of the t-integral, in which the moment integral is expressed through truncated Taylor expansions of a Dirichlet polynomial, together with the effective prime-splitting density theorem. The key input is an identity (Lemma 3.8): for a Galois extension, the sum of cos(α log p)/p over primes that split completely equals (1/[K:Q]) times the same sum over all primes, up to O(1). Proposition 3.9 feeds this into the variance of the Dirichlet polynomial, compressing the naive exponent [K:Q]^2 Σa_j^2/4 down to [K:Q]Σa_j^2/4. The correlation function g(x), defined piecewise (log T, 1/x, or log log x depending on scale), records how strongly val
Load-bearing premise
The whole result sits on the effective prime-splitting density estimate (3.4)–(3.5), which under GRH says the count of completely split rational primes up to x is (1/[K:Q])π(x) plus an error O(x e^{-c√log x}); a weaker error term would remove the saving of one factor [K:Q] and the bound would revert to the old [K:Q]^2k^2 shape.
What would settle it
For a fixed Galois extension such as the splitting field of x^3−2, numerically compare Σ_{p≤x, p splits completely} cos(α log p)/p with (1/3)Σ_{p≤x} cos(α log p)/p for α=0 and α=1 up to x=10^9; if the difference grows beyond O(1) as x grows, the key Lemma 3.8 fails and the exponent compression in Proposition 3.9 collapses.
If this is right
- For every finite Galois K/Q, under GRH the 2k-th moment of ζ_K has the expected size T(log T)^{[K:Q]k^2}; no (log T)^ε remains.
- The shifted-moment theorem gives a precise correlation law: values of ζ_K at points separated by ≤1/log T are nearly fully correlated, and as the separation grows the correlation decays like 1/|b| (or log log |b|) exactly as the g-function prescribes.
- The large-deviation estimate Corollary 1.3 says that, at the scale of log log T, the probability that log|ζ_K(1/2+it)| is V standard deviations above its mean is at most e^{-V^2/2}, matching Gaussian heuristics.
- For the ideal-counting function r_K(n), the variance in short intervals of length δ is O(δ T (log T)^{[K:Q]}), and pointwise, away from a small exceptional set, the count is the main term plus O(√δ (log t)^{[K:Q]/2}ψ(t)).
- Since the result requires only that K/Q be Galois, the previous obstruction for non-solvable Galois groups is removed; the upper side of the moment conjecture for Dedekind zeta functions is conditionally closed for all finite Galois extensions.
Where Pith is reading between the lines
- The same split-prime compression may carry over to moments of Artin L-functions attached to irreducible characters of Gal(K/Q), since the factorization of ζ_K into such L-functions suggests each character inherits a similar prime-splitting-weighted variance; the paper does not pursue this.
- For non-Galois fields, the uniform factor 1/[K:Q] is unavailable, so the true moment exponent may be strictly larger than [K:Q]k^2; a numerical study of a non-Galois cubic field's fourth moment would test whether the Galois obstruction is real.
- The large-deviation bound plausibly extends to the full Selberg central-limit-theorem regime V ≍ √(log log T) with the correct constant, since the variance of log|ζ_K| appears to be ([K:Q]/2) log log T; proving the CLT would be a natural next step.
- Because the shifted moment bound holds for shifts up to T/2, it might be combined with the explicit formula to constrain the pair correlation of low-lying zeros of ζ_K, though the authors do not discuss this.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper assumes GRH for ζ_K and uses Harper's moment method together with the Chebotarev density theorem to prove sharp upper bounds for shifted moments of Dedekind zeta functions of finite Galois extensions K/Q (Theorem 1.1). The advertised exponent is [K:Q](a_1^2+...+a_{2k}^2)/4, with pairwise correlation factors g(|b_i-b_j|)^{[K:Q]a_i a_j/2}. From this the authors derive Corollary 1.2: ∫_0^T |ζ_K(1/2+it)|^{2k} dt ≪_{K,k} T(log T)^{[K:Q]k^2}, removing the (log T)^ε loss from Milinovich–Turnage-Butterbaugh and extending Hagen from solvable to all finite Galois extensions. Applications to large deviations and short-interval sums of r_K(n) are also given. The paper is careful and expository, but the shifted-moment theorem contains a uniformity gap in the Chebotarev step.
Significance. If the proof is repaired, the result is significant: it would settle, under GRH, the conjecturally sharp upper-bound side of the moment conjecture for Dedekind zeta functions of finite Galois extensions, with a clean conceptual reason (complete splitting lowers the exponent from [K:Q]^2 k^2 to [K:Q]k^2). The paper gives no fitted parameters and uses only external inputs (GRH, effective Chebotarev, Chandee, Harper–Heap), which is a methodological strength. The key innovation—using the Chebotarev density theorem to replace the split-prime variance by a rational-prime variance—is attractive and, for the unshifted moment, essentially sound. The main theorem, however, is not established as written for shifts of size comparable to T, because the Chebotarev approximation is not uniform in the shift parameter. The unshifted corollary and the applications that use it are largely unaffected, but the shifted-moment claim is load-bearing and needs a substantial, though plausibly local, repair.
major comments (3)
- [§3, Lemma 3.8 / Prop. 3.9, and (5.18)] The O(1) in Proposition 3.9 is not uniform in α. In the partial summation of Lemma 3.8, the remainder contributes E(x) ≪ e^{-c√log x} + (1+α)∫_2^x e^{-c√log t}/t dt, which grows with α; the notation O_α(1) hides this. Since Theorem 1.1 allows |b_i-b_j| as large as T/2, using Proposition 3.9 with α=|b_i-b_j| is not justified. Equivalently, the difference between the split-prime sum and (1/[K:Q])Σ_p cos(α log p)/p is (1/[K:Q])Re log(ζ_K/ζ)(1+1/log x+iα)+O(1), which under GRH can be of size log log log α. In the range 10≤α≤e^T this has the same size as log g(α), so the passage to line (5.18) is unsupported. Corollary 1.2 (α=0) is unaffected, but Theorem 1.1's shifted-moment claim is not proved as written.
- [Corollary 1.2 proof] The proof says 'putting a_j=1 and b_j=0 for all j', which only gives an integer number 2k of factors. The corollary is stated for all real k>0. This is easily repaired by applying Theorem 1.1 to a single factor with exponent 2k (or by a separate convexity argument), but as written the implication is incomplete.
- [Metadata abstract vs. body] The abstract in the paper's metadata claims results for 'arbitrary number fields' and says the results apply to both Galois and non-Galois extensions. The body proves results only for finite Galois extensions and explicitly states in §1 that the non-Galois case 'appears to require new ideas and remains open'. This contradiction must be resolved before publication.
minor comments (4)
- [Definition of g, line after Theorem 1.1] The piecewise definition of g is inconsistent at x=10: the second branch gives 1/10 while the third gives log log 10. The intended value (presumably the larger one, since an upper bound is needed) should be specified.
- [Theorem 1.1 / Corollary 1.2 notation] The phrase 'where 2k is a fixed positive integer' in Theorem 1.1 conflicts with the later use of k as an arbitrary real exponent in Corollary 1.2. This contributes to the ambiguity in the proof of Corollary 1.2.
- [Lemma 3.8] The statement 'for every fixed α≥0' should be replaced by an explicit uniformity statement. As written, the O_α(1) notation invites the reader to believe the constant is independent of α, which is not the case for α up to T/2.
- [Throughout] Minor typographical issues include 'extenstion' in Lemma 3.7 and the repeated use of 'Harper' for the arXiv preprint [11] without a journal reference; please update the references if available.
Circularity Check
No significant circularity found; external GRH/Chebotarev inputs drive the derivation.
full rationale
No load-bearing step reduces to its own input. Theorem 1.1 is derived from GRH via Chandee's log-bound, Harper's dyadic large-deviation framework, and an effective Chebotarev approximation for split primes. Each input is external and is not equivalent to the moment bound: GRH for ζ_K constrains zeros, Chandee's lemma is a general L-function bound, Harper's lemmas are generic Dirichlet polynomial estimates, and Lemma 3.3 is a known RH prime-sum estimate. Proposition 3.9 uses Lemma 3.8 to replace split-prime sums by rational-prime sums with O(1) error, which produces the improved [K:Q] factor; this is a theorem under GRH, not a parametrization of the desired conclusion. The correlation function g is stated in the theorem and then bounded through Lemma 3.3; it is not fitted after the fact to force the exponent. Corollary 1.2 is a specialization of Theorem 1.1, not a fitted input. There are no self-citations and no imported uniqueness assertion. The paper explicitly notes the non-Galois case is open, so it is not claiming a conclusion it has baked into its assumptions. The possible failure of uniformity in α in Lemma 3.8 raised by the skeptic is a technical correctness concern — the O(1) could conceal nontrivial Artin factors — not a circularity; even if true, it would invalidate the proof for large shifts rather than show the theorem was assumed.
Axiom & Free-Parameter Ledger
free parameters (1)
- Harper-method truncation constants (20, 1000, 1/10, 3/4, and the '+50' in a)
axioms (6)
- domain assumption Generalized Riemann Hypothesis for ζ_K(s)
- standard math Effective Chebotarev density theorem (identity class of Gal(K/Q))
- standard math Chandee's Theorem 2.1 (Lemma 3.4 in the paper)
- standard math Harper's cosine-product lemma (Lemma 3.1 = [11, Prop 2.5]) and Heap's truncated-exponential identity (Lemma 3.2 = [13, Eq. 37])
- standard math Prime-correlation estimate Σ_{p≤x} cos(α log p)/p (Lemma 3.3, from [24, Lem. 2])
- standard math K/Q finite Galois; |Λ_K(n)| ≤ [K:Q]Λ(n)
read the original abstract
Assuming the Generalised Riemann Hypothesis, we establish conjecturally sharp upper bounds for shifted moments of products of Dedekind zeta functions of arbitrary number fields. This improves results of Milinovich and Turnage-Butterbaugh and extends a recent result of Hagen. As applications, we obtain mean-square bounds for short-interval sums of the coefficients of Dedekind zeta functions and upper bounds for the large deviations of Dedekind zeta functions. Our results apply to both Galois and non-Galois extensions.
Reference graph
Works this paper leans on
-
[1]
Akbary and B
A. Akbary and B. Fodden, Lower bounds for power moments ofL-functions, Acta Arith.151(2012), no. 1, 11–38
2012
-
[2]
Arguin and E
L.-P. Arguin and E. C. Bailey, Large deviation estimates of Selberg’s Central Limit Theorem and applications, Int. Math. Res. Not. IMRN23(2023), 20574–20612
2023
-
[3]
LP. Arguin, E. Bailey, A. Roberts, Conditional Upper Bounds for Large Deviations and Moments of the Riemann Zeta Function. arXiv preprint arXiv:2604.25579 (2026)
Pith/arXiv arXiv 2026
-
[4]
Chandee, Explicit upper bounds forL-functions on the critical line, Proc
V. Chandee, Explicit upper bounds forL-functions on the critical line, Proc. Amer. Math. Soc.137(2009), no. 12, 4049–4063
2009
-
[5]
Chandee, On the correlation of shifted values of the Riemann zeta function, Q
V. Chandee, On the correlation of shifted values of the Riemann zeta function, Q. J. Math.62(2011), no. 3, 545–572
2011
-
[6]
N. G. Chebotar¨ ev, Die Bestimmung der Dichtigkeit einer Menge von Primzahlen, welche zu einer gegebenen Substitution- sklasse geh¨ oren, Math. Ann.95(1926), no. 1, 191–228
1926
-
[7]
J. B. Conrey et al., Autocorrelation of random matrix polynomials, Comm. Math. Phys.237(2003), no. 3, 365–395
2003
-
[8]
J. B. Conrey, D. W. Farmer, J. P. Keating, M. O. Rubinstein, and N. C. Snaith, Integral moments ofL-functions, Proc. London Math. Soc. (3)91(2005), no. 1, 33–104
2005
-
[9]
M. J. Curran, Correlations of the Riemann zeta function, Mathematika70(2024), no. 4, Paper No. e12268, 14 pp
2024
-
[10]
M. V. Hagen, Sharp conditional moment bounds for products ofL-functions, Q. J. Math.76(2025), no. 2, 683–713
2025
-
[11]
A. J. Harper, Sharp conditional bounds for moments of the Riemann zeta function, arXiv preprint arXiv.1305.4618 (2013)
Pith/arXiv arXiv 2013
-
[12]
W. P. Heap, Moments of the Dedekind zeta function and other non-primitiveL-functions, Math. Proc. Cambridge Philos. Soc.170(2021), no. 1, 191–219
2021
-
[13]
W. P. Heap, On the splitting conjecture in the hybrid model for the Riemann zeta function, Forum Math.35(2023), no. 2, 329–362
2023
-
[14]
Landau, Einf¨ uhrung in die elementare und analytische Theorie der algebraischen Zahlen und der Ideale, Chelsea, New York, 1949
E. Landau, Einf¨ uhrung in die elementare und analytische Theorie der algebraischen Zahlen und der Ideale, Chelsea, New York, 1949
1949
-
[15]
Motohashi, A note on the mean value of the Dedekind zeta-function of the quadratic field, Math
Y. Motohashi, A note on the mean value of the Dedekind zeta-function of the quadratic field, Math. Ann.188(1970), 123–127
1970
-
[16]
M. B. Milinovich and C. L. R. Turnage-Butterbaugh, Moments of products of automorphicL-functions, J. Number Theory 139(2014), 175–204
2014
-
[17]
Munsch, Shifted moments ofL-functions and moments of theta functions, Mathematika63(2017), no
M. Munsch, Shifted moments ofL-functions and moments of theta functions, Mathematika63(2017), no. 1, 196–212
2017
-
[18]
N. C. Ng, Q. Shen and P.-J. Wong, Shifted moments of the Riemann zeta function, Canad. J. Math.76(2024), no. 5, 1556–1586
2024
-
[19]
Lang,Algebraic number theory, Addison-Wesley Publishing Co., Inc., Reading, Mass.-London-Don Mills, Ont., 1970
S. Lang,Algebraic number theory, Addison-Wesley Publishing Co., Inc., Reading, Mass.-London-Don Mills, Ont., 1970
1970
-
[20]
Radziwi l l and K
M. Radziwi l l and K. Soundararajan, Continuous lower bounds for moments of zeta andL-functions, Mathematika59(2013), no. 1, 119–128
2013
-
[21]
Radziwill, Large deviations in Selberg’s central limit theorem
M. Radziwill, Large deviations in Selberg’s central limit theorem. arXiv preprint arXiv:1108.5092 (2011)
Pith/arXiv arXiv 2011
-
[22]
Sono, Continuous lower bounds for the moments of Dedekind zeta-functions, J
K. Sono, Continuous lower bounds for the moments of Dedekind zeta-functions, J. Number Theory188(2018), 335–356
2018
-
[23]
Soundararajan, Moments of the Riemann zeta function, Ann
K. Soundararajan, Moments of the Riemann zeta function, Ann. of Math. (2)170(2009), no. 2, 981–993
2009
-
[24]
Szab´ o, High moments of theta functions and character sums, Mathematika70(2024), no
B. Szab´ o, High moments of theta functions and character sums, Mathematika70(2024), no. 2, Paper No. e12242, 37 pp. Nilmoni Karak, Department of Mathematics, Indian Institute of Technology Kharagpur, Kharagpur-721302, India. Email address:nilmonikarak@gmail.com, nilmonimath@kgpian.iitkgp.ac.in Kamalakshya Mahatab, Department of Mathematics, Indian Instit...
2024
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.