REVIEW 1 major objections 3 minor 11 references
An explicit uniform cubic wedge for consecutive Toeplitz minors of the Riemann xi coefficients
T0 review · 1 major / 3 minor · reviewed 2026-08-01 · deepseek-v4-flash
Pith's one-line read This paper proves that for every order r≥2 and every k≥10^18 r^3, the consecutive Toeplitz minor D_{r,k} of the normalized Riemann xi coefficients is strictly positive.
desk verdict The machinery is genuinely original and the certification is careful, but Lemma 2.1 rests on the CNV Turán theorem, standardly a conditional consequence of RH — and that bound is load-bearing for the entire wedge. 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 central mechanism is the comparison of the true Toeplitz block with the model c_s=q_k^{s(s−1)/2} after reversing columns. The model's reversed Hankel block factors exactly as c_{r−1} A V A with V the symmetric q-Vandermonde, whose LDL^T factorization V=L diag((−1)^m |D_m|) L^T is verified in exact rational arithmetic. The whitened dilation semigroup bR_α=|D|^{−1/2}L^{−1}diag(q^{αi})L|D|^{1/2} is exactly the exponential e^{αG} of a bidiagonal generator G, giving the all-degree response bound R((τs)^n)≤t^n with t=4√(rτ). The same whitening converts the nonlinear correction e^{h_s}−1 into a matrix of operator norm ≤∥e^h−1∥_A<1, so an inertia-preservation lemma decides the sign.
What would settle it
Evaluate D_{r,k} at some explicit point in the claimed wedge, say r=3 and k=9×10^18, using rigorous ball arithmetic applied directly to the coefficients a_k, and check the sign is positive; a nonpositive result would refute Theorem 1.1. Alternatively, compute f'''(k)/3! at k=10^9 and verify the claimed bound 3·40^3/k^2; any violation would falsify the Gate A estimate that feeds everything.
Extended reading notes
Core claim
The central claim is that D_{r,k}>0 for every r≥2 and every k≥10^18 r^3. The author establishes this through a chain: a Cauchy–Schwarz plus Turán argument pins the curvature τ_k between 1/(2k) and 4/k; a certified saddle analysis of I(z)=∫u^{2z}Φ(u)du on relative disks |z−k|≤0.05k gives the zero-free factorization I(z)=e^{Ψ_z(u_s)}√(2π/(−Ψ''_z(u_s)))(1+ε(z)) with |ε|<0.018, and hence the uniform all-degree bound |f^{(d)}(k)/d!|≤3·40^d k^{1−d} for f=log a; the model sequence q_k^{s(s−1)/2} has an exact LDL^T factorization whose whitened dilation group R_α=L^{−1}diag(q^{αi})L has generator norm at most 3/2√(rτ); and the weighted Banach algebra gives ∥h∥_A≤0.1310721. The true block therefore di
Load-bearing premise
The proof stands on the uniform all-degree bound |f^{(d)}(k)/d!|≤3·40^d k^{1−d} for every d≥3 and k≥10^9; if that bound fails at any degree or starting point, the Gate C norm estimate and the inertia conclusion collapse.
Editorial extensions
If this is right
- For every order r, the theorem supplies an explicit uniform threshold k≥10^18 r^3 beyond which D_{r,k}>0; previously only non-explicit fixed-order asymptotic positivity was known, and the sector-strip route required the full verified zero height and stopped at bounded r.
- The result is independent of all numerical verification of zeros of ζ: no verified zero height enters the proof.
- Since the Riemann Hypothesis is equivalent to nonnegativity of every Toeplitz minor, any counterexample to RH would have to appear in the complementary region k<10^18 r^3; the wedge therefore certifies the entire tail half of the Pólya-frequency condition.
- The comparison model identifies r^3/k as the natural small parameter: the first correction to the normalized local minor is of relative size r^3/k, so the wedge is the regime r^3/k≤10^−18.
Reading between the lines
- Editorial: the constant 10^18 is deliberately generous, so the true uniform wedge is likely far larger; direct interval evaluation of D_{r,k} for moderate r could empirically locate the boundary without exhausting the theorem.
- Editorial: the q-Pascal dilation semigroup is a general device; it should certify Toeplitz/Hankel positivity wedges for any log-concave coefficient sequence with rational q-Vandermonde structure, not just the Riemann xi moments.
- Editorial: the proof separates the tail from the RH-critical cone k∼r; this suggests the remaining obstruction to Pólya-frequency is not coefficient smoothness but the global distribution of zeros, i.e., tail positivity may be the easier half of the RH equivalence.
- Editorial: sharpening the Gate A coefficient bound (3·40^d) or the generator norm 3/2√x would shrink the wedge constant by many orders of magnitude and could make the threshold numerically accessible.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims Theorem 1.1: for all integers r≥2 and k≥10^18 r^3, the consecutive Toeplitz minor D_{r,k} of the normalized Riemann xi coefficients is positive. The proof is assembled from three certified gates: (A) a complex saddle-point analysis yielding a zero-free disk and the uniform all-degree bound |f^{(d)}(k)/d!|≤3·40^d k^{1−d} for d≥3, k≥10^9; (B) an exact q-Pascal dilation semigroup that controls the signature-whitened response of the local comparison model; (C) a weighted Banach-algebra majorant bounding the nonlinear remainder; and an inertia-preservation argument that converts the model's known inertia into strict positivity of the minor. The paper claims all constants are certified in Arb ball arithmetic and all algebraic identities are verified in exact rational arithmetic.
Significance. If correct, this would be the first explicit uniform-in-order cubic tail positivity region for consecutive Toeplitz minors of the Riemann xi coefficients, independent of numerical zero verification. The paper is unusually careful: the three-gate structure is elegant, the algebraic identities are exact, the certificates are explicitly mapped to lemmas, and the scope is stated honestly (Remark 8.2). The proof is also not circular in the parameter-fitting sense: the comparison model is the actual adjacent-ratio sequence and the constants are certified before the conclusion. However, the central claim's unconditional status hinges on one external input, and the present version does not establish it.
major comments (1)
- [§2, Lemma 2.1; Remark 8.3; Prop. 3.7; Prop. 5.4] The lower bound τ_k>1/(2k) is attributed to a 'Turán theorem' of [3] as an unconditional statement. In [3] this inequality is proved conditional on RH (Newton's inequalities for the zeros of G); the paper supplies no unconditional proof. This is load-bearing: Prop. 3.7's bound |a_d|≤2·80^d τ^{d−1} converts Gate A only because τ>1/(2k); without it the Gate C majorant is 2τ^{-1}(80t)^3(1−80t)^{-1}+..., which diverges as τ→0 and does not close. Moreover, assuming RH to validate [3] would make the theorem trivial and destroy the claimed independence from zero verification. The author must either prove τ_k>1/(2k) unconditionally for the needed k-range or restate the theorem conditionally.
minor comments (3)
- [§7, Table 1] The certificate functions are named but no commit hash or checksums of the ancillary files are given; please include a fixed snapshot identifier to make the claimed reproducibility concrete.
- [§3, Lemma 3.1] The certified tail ratio in Table 1 is 4.122·10^{-18}, while the text states '<10^{-15}'; clarify that the latter is a coarser certified upper bound.
- [§5, Eq. (6) and Definition 5.2] h_s is defined on integers s, but is later treated as a power series in the algebra A; writing h(s) explicitly would avoid confusion.
Circularity Check
No significant circularity: the derivation is self-contained after its stated external input; the comparison model is built from the actual adjacent-ratio sequence, and the closing norm bound is a certified majorant rather than a fitted equality.
full rationale
The proof chain is self-contained after the stated external input. Lemma 2.1 obtains the scalar window 1/(2k) < tau_k < 4/k; the lower half is quoted from [3], the upper half from Cauchy-Schwarz. Gate A (Prop. 3.7) is a certified saddle analysis producing |f^(d)(k)/d!| <= 3*40^d k^(1-d); Gate B is exact rational algebra about the q-Vandermonde model; Gate C (Prop. 5.4) turns these into the certified bound ||h||_A <= 0.1310721 via explicit geometric series, not by fitting D_{r,k}. The comparison model c_s = q^{s(s-1)/2} is built from the actual adjacent ratio q_k, but its determinant sign is fixed for every 0<q<1 and the perturbation is bounded independently of the target minor, so this is not a self-definitional identification. The wedge constants and the 10^18 threshold are generous certified envelopes, chosen so the inertia argument closes, but they are upper bounds with directed-rounding certificates, not fitted equalities. Remark 8.3 flags the sole external analytic input ([3], used only for tau_k > 1/(2k)); even if that theorem were conditional on RH, the failure mode would be an unsupported conditional statement rather than circularity, since D_{r,k} > 0 is not equivalent by construction to the Turan inequality. [11] is a companion note cited only as context, not load-bearing.
Assumptions & free parameters
assumptions (5)
- domain assumption Csordas–Norfolk–Varga Turán inequalities γ_k^2 > γ_{k-1}γ_{k+1} transfer to the normalized coefficients, yielding q_k < k/(k+1).
- domain assumption Classical Jacobi-theta integral representation for the xi-function (equation (1)), with Φ positive and superexponentially decaying, so I(z) is holomorphic on Re z > -1/2.
- domain assumption Correctness of Arb directed-rounding interval arithmetic and the ancillary certificate scripts (python-flint).
- domain assumption Aissen–Schoenberg–Whitney–Edrei characterization and Katkova's strict consecutive-minor criterion linking PF∞ and RH.
- standard math Rouché's theorem, Cauchy estimates, and the classical one-saddle uniform expansion (DLMF §2.4(iv)) are applied without proof.
Cite this review
Pith. "Pith review of An explicit uniform cubic wedge for consecutive Toeplitz minors of the Riemann xi coefficients." pith.science (2026). https://pith.science/paper/B3PR5UIM
@misc{pith2026260716795,
author = {Pith},
title = {Pith review of: An explicit uniform cubic wedge for consecutive Toeplitz minors of the Riemann xi coefficients},
year = {2026},
howpublished = {\url{https://pith.science/paper/B3PR5UIM}},
note = {Machine review of arXiv:2607.16795}
}
read the original abstract
Let (a_k) be the positive coefficient sequence of the normalized Riemann xi-function, and let D_{r,k} denote its consecutive Toeplitz minors. The Riemann Hypothesis is equivalent to (a_k) being a Polya frequency sequence of infinite order, and hence to nonnegativity of all Toeplitz minors. We prove that D_{r,k} > 0 for every r >= 2 and k >= 10^18 r^3. This gives an explicit cubic tail scale uniform in r, in contrast with Katkova's fixed-order asymptotic positivity. The proof does not use numerically verified zeros of the Riemann zeta-function. It combines a certified complex saddle-point analysis of the moment transform, an exact q-Pascal dilation semigroup controlling every degree simultaneously, and a weighted Banach-algebra majorant for the nonlinear remainder, closed by an inertia-preservation argument. All analytic constants are certified with directed rounding in Arb ball arithmetic, and all algebraic identities are verified in exact rational arithmetic. The ancillary files reproduce every certificate. The result concerns only the tail regime k much larger than r^3 and makes no progress on the Riemann Hypothesis, which concerns the complementary region.
Reference graph
Works this paper leans on
-
[3]
Csordas, T
G. Csordas, T. S. Norfolk, R. S. Varga,The Riemann hypothesis and the Tur´ an inequalities, Trans. Amer. Math. Soc.296(1986), 521–541
1986
-
[1]
Aissen, I
M. Aissen, I. J. Schoenberg, A. M. Whitney,On the generating functions of totally positive sequences I, J. Analyse Math.2(1952), 93–103
1952
-
[2]
Edrei,On the generating functions of totally positive sequences II, J
A. Edrei,On the generating functions of totally positive sequences II, J. Analyse Math.2(1952), 104–109
1952
-
[4]
O. M. Katkova,Multiple positivity and the Riemann zeta-function, arXiv:math/0505174
-
[5]
I. J. Schoenberg,A note on multiply positive sequences and the Descartes rule of signs, Rend. Circ. Mat. Palermo (2)4(1955), 123–131
1955
-
[6]
D. J. Platt, T. S. Trudgian,The Riemann hypothesis is true up to3·10 12, Bull. London Math. Soc.53 (2021), 792–797; arXiv:2004.09765
arXiv 2021
-
[7]
Johansson,Arb: efficient arbitrary-precision midpoint-radius interval arithmetic, IEEE Trans
F. Johansson,Arb: efficient arbitrary-precision midpoint-radius interval arithmetic, IEEE Trans. Comput- ers66(2017), 1281–1292
2017
-
[8]
NIST Digital Library of Mathematical Functions,§2.4(iv),https://dlmf.nist.gov/2.4
Show all 11 references
-
[9]
Griffin, K
M. Griffin, K. Ono, L. Rolen, D. Zagier,Jensen polynomials for the Riemann zeta function and other sequences, Proc. Natl. Acad. Sci. USA116(2019), 11103–11110
2019
-
[10]
Rodgers, T
B. Rodgers, T. Tao,The de Bruijn–Newman constant is non-negative, Forum Math. Pi8(2020), e6; arXiv:1801.05914
2020 arXiv
-
[11]
Micha lowski,On the P´ olya frequency order of the de Bruijn–Newman kernel: certified failure at order five and the Toeplitz threshold phenomenon, arXiv:2602.20313
W. Micha lowski,On the P´ olya frequency order of the de Bruijn–Newman kernel: certified failure at order five and the Toeplitz threshold phenomenon, arXiv:2602.20313. Email address:michalowski.wojciech1@gmail.com
Reviewed August 1, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.