REVIEW 1 major objections 5 minor 4 references
Probability Laws Concerning Zeta Integrals
T0 review · 1 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read For Q, Q(√-1), and Q(√-2), a random variable X exists whose complex moments equal the Dedekind xi function, and this proves the first two Li coefficients are positive.
desk verdict A genuine extension of Biane–Pitman–Yor to two imaginary quadratic fields, with a repairable Poisson-summation scaling error in Lemma 2.2; deserves review after a small fix. 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 adelic zeta integral $Z(f,s) = \int_{A^\times} |x|^s f(x) \, d^\times x$, together with a deliberately chosen Schwartz–Bruhat function $f$ (a test function that is smooth and rapidly decreasing on archimedean components and locally constant and compactly supported on nonarchimedean ones). Its archimedean component $f_\infty$ is engineered, as a derivative of a Gaussian, so that the local zeta integral equals $s(s-1)$ times the appropriate Gamma factor. The argument then invokes Poisson summation over the lattice of algebraic integers to show the resulting density on the idele class group is nonnegative, and uses self-duality $\hat{f} = f$ to identify the density that generates the xi function.
What would settle it
Take $K = \mathbb{Q}(\sqrt{-1})$, choose a concrete $x \in A^\times$ (for instance $x_\infty = 1$ and $x_p = 1$ for all primes $p$), and numerically evaluate the identity in Lemma 2.2, comparing the left-hand sum over $\mathcal{O}_K \setminus \{0\}$ with the right-hand dual sum using the correct lattice covolume $2\sqrt{d}$. If the two sides differ, the nonnegativity proof fails.
Extended reading notes
Core claim
The central discovery is that the Dedekind xi function of $K$ can be realized exactly as the moment-generating function of a probability distribution on the positive reals. The construction works by choosing a Schwartz–Bruhat function $f$ on the adeles of $K$ whose global zeta integral equals $s(s-1)Z_K(s)$, then showing that the function $c_K^{-1} t^{-1} \int_{A_t^\times} f \, d^\times x$ is a nonnegative density integrating to 1. The paper then reads $\lambda_1$ and $\lambda_2$ as cumulants of the random variable $L = -\log X$, proving their positivity.
Load-bearing premise
The whole construction leans on a Poisson summation step over the lattice of algebraic integers; if the scaling factor in that step does not match the true covolume of the lattice, the density might not be nonnegative.
Editorial extensions
If this is right
- The first two Li coefficients $\lambda_1$ and $\lambda_2$ are positive for $\mathbb{Q}$, $\mathbb{Q}(\sqrt{-1})$, and $\mathbb{Q}(\sqrt{-2})$, a necessary condition for all nontrivial zeros of these Dedekind zeta functions to lie on the critical line.
- The random variable $X$ gives a probabilistic model of the Dedekind xi function, so the functional equation $\xi_K(s) = \xi_K(1-s)$ is mirrored by a symmetry of the moment function.
- The distribution of $X$ lives on the idele class group $A^\times / K^\times$, meaning analytic questions about the zeta function become questions about this probability measure.
- By Li's criterion, if the construction could be extended to produce positive $\lambda_n$ for all $n$, the nontrivial zeros of the corresponding Dedekind zeta function would all lie on the critical line.
Reading between the lines
- If the scaling-factor issue in the Poisson summation step is repaired, the same construction plausibly extends to other imaginary quadratic fields of class number 1; the paper's remark suggests the summands would no longer all be positive for discriminants $d \ge 3$, but a more delicate positivity argument might still hold.
- The cumulant interpretation of the Li coefficients suggests that higher Li coefficients could be studied through the moment-generating function of $-\log X$ without needing the full density; for instance, $\lambda_3$ would involve the third cumulant.
- The probabilistic framework could enable numerical sampling of $X$ to estimate Dedekind zeta values in the critical strip, provided the density is efficiently simulatable.
- A testable extension is to check whether the density for $K = \mathbb{Q}(\sqrt{-3})$ becomes negative when the correct lattice covolume is used; the paper's remark indicates this is where the argument would break down.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs, for K = Q, Q(√-1), and Q(√-2), a random variable X on (0,∞) whose Mellin transform equals |D|^{-s/2}ξ_K(s) for every s ∈ C, where ξ_K is the completed Dedekind xi function. The construction uses an adelic Schwartz-Bruhat function whose global zeta integral is s(s-1)Z_K(s), and the density is obtained by fibering the idelic norm over the idele class group. The author then uses elementary cumulant identities to prove that the first two Li coefficients for these zeta functions are positive, extending the Biane–Pitman–Yor result for the Riemann zeta function.
Significance. If the construction is made rigorous, this is a valuable contribution: it gives a genuine probabilistic interpretation of Dedekind zeta functions for three explicit number fields and derives the positivity of the first two Li coefficients from moment/cumulant considerations rather than from numerical evaluation. The adelic framework is natural, the choice of f∞ is explicit, and the cumulant argument is clean and free of circularity. The paper also openly discusses the obstruction to generalizing the argument to other imaginary quadratic fields, which is helpful. However, the main lemma establishing nonnegativity of the density contains a false factor in a Poisson summation identity, and the proof of self-duality of f∞ is incomplete; both points must be repaired before the central theorem is fully established.
major comments (1)
- [§2.2, Lemma 2.2] The displayed Poisson summation identity in the imaginary quadratic case is incorrect. The paper states ∑_{ℓ∈O_K\{0}} f∞(x∞ℓ) = |u| ∑_{ℓ*∈O_K^*\{0}} f∞(uℓ*) with u = x∞^{-1}, but with the paper's self-dual measure on C (twice Lebesgue measure) and the character under which e^{-2π|z|^2} is self-dual, the correct two-dimensional identity is ∑_{ℓ∈O_K\{0}} f∞(x∞ℓ) = (|u|^2/(2√d)) ∑_{ℓ*∈O_K^*\{0}} f∞(uℓ*). The factor |u| is the one-dimensional scaling factor; in two dimensions the dilation contributes |u|^2 and the lattice covolume contributes 1/(2√d). As written the equality is false, and since Lemma 2.2 is the only source of nonnegativity of ψ(t), the proof of Theorem 1.1 is incomplete. The error is repairable: the missing factor is positive, and the subsequent lower-bound argument π|uℓ*|^2 - 1 ≥ π^2/(4d) - 1 > 0 for d = 1,2 is unaffected, so the nonnegativity conclusion can be restored.
minor comments (5)
- [§2.1, Lemma 2.1] In the real case of the proof, the expression 'g′_1(s)' should be 'g′_1(x)'.
- [§2.2, Lemma 2.2] The reduction 'we can suppose without loss of generality' for the fractional ideal M should be made more explicit: since K has class number 1, M = αO_K, and one should absorb α into the arbitrary value of x∞; the two cases in the argument should then be conditioned on |x∞α|^2 rather than on |x∞|^2 alone.
- [§1.3, §2.1] The additive character ψ_v and the self-dual Haar measure are not specified in detail for the complex place. For completeness, the author should state that ψ_∞(z) = e^{-4πi Re(z)} and dμ_∞ = 2 dx dy, which makes the self-duality of e^{-2π|z|^2} and the Poisson summation constant in Lemma 2.2 directly verifiable.
- [§2.2, Lemma 2.2] The notation O_K^* for the dual lattice is easily confused with the unit group O_K^×; consider using O_K^∨ or another symbol.
- [§2.2, Remark after Theorem 1.1] The statement that log X and log |Y| have the same moment generating functions should explicitly mention that they agree on an open neighborhood of 0, which is what justifies equality of distributions.
Circularity Check
No circularity: the zeta-integral construction and cumulant argument are self-contained; identified gaps are correctness issues, not circular reasoning.
full rationale
The paper's derivation chain is not circular. The random variable in Theorem 1.1 is explicitly constructed from a density ψ(t) = c_K^{-1} t^{-1} ∫_{A×_t} f(x) d×x, where f is built from local Schwartz functions so that Z(f,s) = s(s−1)Z_K(s). The only input needed for the construction is nonnegativity of ψ, which Lemma 2.2 attempts to establish by Poisson summation, and the functional equation of the zeta integral. The Li-coefficient result in Proposition 2.1 follows from the constructed moments E(X^s) = |D|^{-s/2} ξ_K(s) via standard cumulant identities and Jensen's inequality; it nowhere assumes the positivity of λ1 or λ2. The appeal to 'uniqueness of the zeta integral' in Lemma 2.1 and the displayed Poisson summation scaling in Lemma 2.2 are mathematically questionable—the latter appears to use the wrong scale factor for a two-dimensional lattice—but these are correctness gaps, not circular reductions: they do not presuppose the target theorem or fit a parameter to the desired conclusion. The paper also honestly flags its limitation for other fields. There are no author self-citations carrying load, no fitted parameter renamed as a prediction, and no known result repackaged as new. Hence no significant circularity is present.
Assumptions & free parameters
assumptions (4)
- standard math Tate's global functional equation Z(f,s) = Z(hat f,1-s) holds for the constructed f.
- standard math The local zeta integral map f -> Z_v(f,s) is injective.
- standard math Poisson summation formula applies to the lattice O_K and its dual with the self-dual measure on C.
- domain assumption The fields Q, Q(i), and Q(sqrt(-2)) have class number 1 and the stated discriminants.
Cite this review
Pith. "Pith review of Probability Laws Concerning Zeta Integrals." pith.science (2026). https://pith.science/paper/KXOLDL2W
@misc{pith2026241108863,
author = {Pith},
title = {Pith review of: Probability Laws Concerning Zeta Integrals},
year = {2026},
howpublished = {\url{https://pith.science/paper/KXOLDL2W}},
note = {Machine review of arXiv:2411.08863}
}
abstract
We give a probabilistic interpretation of the Dedekind zeta functions of $\mathbb{Q}(\sqrt{-1})$ and $\mathbb{Q}(\sqrt{-2})$ using zeta integrals and use this to show that the first two Li coefficients of these zeta functions are positive. This extends a result of Biane, Pitman, and Yor (2001) which considered the case of the Riemann zeta function.
Reference graph
Works this paper leans on
- [1]
-
[2]
X. J. Li, The positivity of a sequence of numbers and the Riemann hypot hesis, J. Number Theory 65, 325-333, 1997
work page 1997
-
[3]
Neukirch, Algebraic Number Theory
J. Neukirch, Algebraic Number Theory. Volume 322 of Graduate Texts in Mathematics, Springer, New York, 1995
work page 1995
-
[4]
Fourier analysis in number fields, and Hecke’ s zeta-functions
J. T. Tate, “Fourier analysis in number fields, and Hecke’ s zeta-functions.” In Algebraic Number Theory , edited by J. W. S. Cassels and A. Frohlich, 305-347, 1967
work page 1967
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.