REVIEW
On some positivity properties of the Riemann $\Xi$ function
Classical Analysis and ODEs · Submitted 2 Nov 2026 · 37 references
Pith's verdict: Genuine analytic progress on the Xi positivity program; the headline PF order is a reproducibility gap, not a mathematical red flag.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
Using only published zero checks, and no Riemann hypothesis, the paper proves the reciprocal-Xi densities are strictly log-concave and totally positive through order $k_* = 1.81\times10^{12}$.
The reading
What carries the argument
The machinery is built on the Hadamard product obtained by viewing the Xi function under the squaring map: $h(s) = \xi(\tfrac12 + \sqrt{s})/c_0 = \prod_\rho (1 + s/\lambda_\rho)$, where each zero $\rho = \beta + i\gamma$ contributes the squared rate $\lambda_\rho = (\gamma - i\delta_\rho)^2$ with $\delta_\rho = \beta - \tfrac12$. Its logarithmic derivative is the Laplace transform of $H(t) = \sum_\rho e^{-t\lambda_\rho}$, and a key positivity lemma shows $H(t) > 0$ and $H'(t) < 0$ for every $t > 0$ by retaining one low real zero against the whole oscillating tail — this is what makes $B(s) = \log h(s)$ a Bernstein function unconditionally, so Poisson random measures deliver the positive self-decomposable laws $S_\alpha$ and the density $\Theta$, with $\Lambda$ obtained as a Gaussian mixture. To reach huge finite orders, the law of $S_1$ is written exactly as a real exponential product, which is P\'olya frequency of every order, convolved with a signed correction of weighted total variation below 1; the load-bearing estimate is a moving-basis bound that controls the shifted Hankel matrices uniformly in the order, using an exact orbital (Grassmannian) integral for the finite-exponential determinants and an order comparison for exponentially tilted corner arrays, so every determinant sign reduces to the scalar inequalities of Theorem 3.4. The converse runs through the first nonreal pole of the reciprocal transforms, and the Laguerre part through a zero-exclusion product argument in which each real-zero factor and each conjugate pair contributes only nonnegative coefficients in $y^2$ to $|f(x+iy)|^2$.
Extended reading notes
Core claim
The central claim, Theorem 1.2, is that without assuming RH the densities $\Theta$ and $\Lambda$ are strictly log-concave and are P\'olya frequency functions of the explicit finite order $k_* = 1\,810\,540\,931\,075$: for every $k \le k_*$ and every increasing tuples $x_1 < \cdots < x_k$ and $y_1 < \cdots < y_k$, the determinant $\det[\Theta(x_i - y_j)]$ is nonnegative and is positive exactly when $x_i > y_i$ for all $i$, while $\det[\Lambda(x_i - y_j)]$ is always positive. Log-concavity, the order-two case, uses only zeros through height 100; the trillion-scale order uses the full published verification to height $3\,000\,175\,332\,800$ together with an analytic error bound that keeps the numerical part to scalar inequalities. The paper further proves that the reciprocal laws exist as positive self-decomposable probability laws with smooth densities, that $1/\xi(\tfrac12 + \|u\|)^\alpha$ is strictly positive definite on every $\mathbb{R}^d$, and a converse obstruction: if either density is PF$_k$, then every zeta zero up to the $(k+2)$-nd must lie on the critical line. Finally, if RH holds up to height $T > \tfrac12$, every generalized Laguerre inequality $L_n[\Xi](x) \ge 0$ holds on $|x| \le T - \tfrac12$, extending the first-order case to all orders; with the published verification this covers $|x| \le 3\cdot10^{12} - \tfrac12$.
Load-bearing premise
The trillion-scale order stands or falls on the correctness of the unshipped directed interval-arithmetic certificates — the scalar gates (C.29), (C.33), (C.34) and the box-sign checks of Appendices C.18 and C.20 — and on the published zero verification to height $3\,000\,175\,332\,800$ and the published zero-counting bound being taken as external inputs, since the paper ships neither code nor parameter files.
Editorial extensions
If this is right
- If Theorem 1.2 is correct, every ordered minor of $\Theta$ and $\Lambda$ through size $k_* \approx 1.8\times10^{12}$ has the required sign, so an enormous finite segment of the RH-implied P\'olya frequency structure is unconditional given the verified zeros.
- The converse pole obstruction turns each PF order into zero information: proving either density is PF$_{1024}$ would imply RH through height $10^{23}$, and PF$_{9\cdot10^{24}}$ would imply RH through height $10^{24}$ — a quantitative ladder between total positivity and zero verification.
- The reciprocal laws $S_\alpha$ are self-decomposable with smooth positive densities and exponential moments up to the square of the first zero ordinate, and the reciprocal Xi function is strictly positive definite in every dimension — answering unconditionally an existence question previously settled only under RH.
- Granted RH up to height $T$, every generalized Laguerre inequality $L_n[\Xi](x) \ge 0$ holds, with equality only at zeros of multiplicity exceeding $n$; with the current verification all of them hold on the interval $|x| \le 3\cdot10^{12} - \tfrac12$.
- A finite-order variation-diminishing property follows: for every bounded function $g$ with at most $k_* - 1$ sign changes, the convolution $\Lambda * g$ has no more sign changes — a finite-order analogue of the full RH-driven statement.
Reading between the lines
- Editorial inference: the paper's own converse makes each additional certified PF order worth roughly a quadratic gain in implied zero height ($k \asymp T^2$ could force reality of zeros up to height $T^2/\log T$), whereas the sufficient construction certifies orders only on the scale of the verified height; closing the gap between these two scales is a question for new analysis, not more numerics.
- Editorial inference: the signed-perturbation-plus-moving-basis scheme is a template for any entire function whose reciprocal has a computable Hadamard product over approximately real zeros; finite total-positivity orders for other zeta- or L-type functions could in principle be certified from zero data alone, without any RH-style assumption.
- Editorial inference: because the certificates are described but no code or parameter files are shipped, the first test a reader can run is to recompute the scalar gates of (C.29), (C.33), (C.34) and the box-sign checks of Appendices C.18 and C.20; the stated order $k_*$ is exactly as strong as those unshipped directed interval-arithmetic evaluations, whose decisive margin is only about $2.4\times1
- Editorial inference: the Laguerre theorem is monotone in the verification height, so every future extension of the verified zeros automatically widens the interval on which all $L_n[\Xi] \ge 0$ hold; the paper's open global case would need an argument independent of height, which the coefficients-of-$|f(x+iy)|^2$ product method does not provide.
Original abstract
We prove strict log-concavity of the positive functions $\Theta$ and $\Lambda$ with one-sided and bilateral Laplace transforms $1/\xi(\tfrac12+\sqrt s)$ and $1/\Xi$, respectively, where $\Xi(z)=\xi(\tfrac12+iz)$. For either function, log-concavity is the P\'olya frequency property of order two (PF$_2$). Without assuming the Riemann hypothesis (RH), but using its published verification up to height about $3\cdot10^{12}$, we further prove that both densities are PF$_{k_*}$ for $k_*=1\,810\,540\,931\,075$. The proof views $\Theta$ as a small signed perturbation of a density that is PF of every order, with an error bound independent of the order, so the numerical check reduces to scalar inequalities. Since $\Lambda$ is a Gaussian mixture of $\Theta$, it inherits the same order. Conversely, a pole obstruction shows that if either density is PF$_k$, then every zeta zero lower than the $(k+2)$-nd lies on the critical line. Finally, we prove that if RH holds up to height $T>\tfrac12$, then $\Xi$ satisfies the generalized Laguerre inequalities $L_n[\Xi](x)\ge0$ of every order $n$ for $|x|\le T-\tfrac12$, extending the case $n=1$ of Csordas, Ruttan and Varga (1991).
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
We prove strict log-concavity of the positive functions $\Theta$ and $\Lambda$ with one-sided and bilateral Laplace transforms $1/\xi(\tfrac12+\sqrt s)$ and $1/\Xi$, respectively, where $\Xi(z)=\xi(\tfrac12+iz)$. For either function, log-concavity is the P\'olya frequency property of order two (PF$_2$). Without assuming the Riemann hypothesis (RH), but using its published verification up to height about $3\cdot10^{12}$, we further prove that both densities are PF$_{k_*}$ for $k_*=1\,810\,540\,931\,075$. The proof views $\Theta$ as a small signed perturbation of a density that is PF of every order, with an error bound independent of the order, so the numerical check reduces to scalar inequalities. Since $\Lambda$ is a Gaussian mixture of $\Theta$, it inherits the same order. Conversely, a pole obstruction shows that if either density is PF$_k$, then every zeta zero lower than the $(k+2)$-nd lies on the critical line. Finally, we prove that if RH holds up to height $T>\tfrac12$, then $\Xi$ satisfies the generalized Laguerre inequalities $L_n[\Xi](x)\ge0$ of every order $n$ for $|x|\le T-\tfrac12$, extending the case $n=1$ of Csordas, Ruttan and Varga (1991).
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We prove strict log-concavity of the positive functions $\Theta$ and $\Lambda$ with one-sided and bilateral Laplace transforms $1/\xi(\tfrac12+\sqrt s)$ and $1/\Xi$, respectively, where $\Xi(z)=\xi(\tfrac12+iz)$. | result 0.83 | 0.96 | 0.73 | asserted 1.00 |
| s1 | For either function, log-concavity is the P\'olya frequency property of order two (PF$_2$). | interpretation 0.58 | 0.33 | 0.14 | asserted 1.00 |
| s2 | Without assuming the Riemann hypothesis (RH), but using its published verification up to height about $3\cdot10^{12}$, we further prove that both densities are PF$_{k_*}$ for $k_*=1\,810\,540\,931\,075$. | result 0.96 | 0.95 | 0.23 | asserted 1.00 |
| s3 | The proof views $\Theta$ as a small signed perturbation of a density that is PF of every order, with an error bound independent of the order, so the numerical check reduces to scalar inequalities. | method 1.00 | 0.93 | 0.05 | asserted 1.00 |
| s4 | Since $\Lambda$ is a Gaussian mixture of $\Theta$, it inherits the same order. | result 0.79 | 0.86 | 0.05 | asserted 1.00 |
| s5 | Conversely, a pole obstruction shows that if either density is PF$_k$, then every zeta zero lower than the $(k+2)$-nd lies on the critical line. | result 0.80 | 0.82 | 0.11 | asserted 1.00 |
| s6 | Finally, we prove that if RH holds up to height $T>\tfrac12$, then $\Xi$ satisfies the generalized Laguerre inequalities $L_n[\Xi](x)\ge0$ of every order $n$ for $|x|\le T-\tfrac12$, extending the case $n=1$ of Csordas, Ruttan and Varga (1991). | result 0.90 | 0.93 | 0.20 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.