{"id":"26eb305b-0832-4309-98df-a5bbdf2b0087","arxiv_id":"2607.16795","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For every r ≥ 2 and k ≥ 10^18 r^3, the consecutive Toeplitz minor D_{r,k} of the Riemann xi coefficients is strictly positive, proved without using verified zeta zeros.","lead":"This paper proves that all consecutive Toeplitz minors of the Riemann xi coefficients are strictly positive once the starting index is at least 10^18 times the cube of the minor's size. The proof is a certified, computer-assisted analytic argument, and it explicitly does not touch the Riemann Hypothesis.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 2.1's lower bound invokes the CNV Turán theorem, which is standardly conditional on RH; if so, the unconditional proof of Theorem 1.1 collapses.","rationale":"The reader identified Prop. 3.7 as the weakest assumption, but Prop. 3.7's second display, which feeds Gate C, depends on Lemma 2.1's lower bound. Lemma 2.1 is where the proof's only nontrivial external input appears, and the cited CNV theorem is, in the standard literature, a conditional consequence of RH (Newton's inequalities under real zeros). If that is correct, the proof as written does not establish the unconditional theorem claimed in the abstract and Theorem 1.1; it would at best prove a conditional statement that is essentially subsumed by RH itself. The concern is not about numerical constants or optimization but about a hidden logical dependency. The concrete test—reading the CNV theorem statement or rerunning Gate C with only unconditional coefficient bounds—would settle the issue. If the check shows the majorant still closes without the τ conversion, the paper may be repairable; if not, the unconditional claim should be withdrawn or the theorem restated. This is a genuine, load-bearing concern rather than a stylistic objection, so the reader's ACCEPT should be adjusted to CONDITIONAL pending resolution.","tokens_in":16440,"tokens_out":42803,"duration_ms":374923,"concrete_test":"Check the original theorem statement in Csordas–Norfolk–Varga, Trans. AMS 296 (1986) 521–541. If it is stated under the assumption of RH, or proved from the real-zero Hadamard product, then Lemma 2.1 has no unconditional justification. To confirm the impact, rerun the Gate C bound replacing |f^{(d)}/d!| ≤ 2·80^d τ^{d-1} with the unconditional |f^{(d)}/d!| ≤ 3·40^d k^{1-d} expressed directly in k, and see whether ∥h∥_A ≤ 0.1310721 still holds at k = 10^18 r^3. If it does not, the collapse is verified. Alternatively, attempt to derive τ_k > 1/(2k) for all k ≥ 10^9 using only the unconditional tools in §§3–5; if no such derivation exists, the proof is conditional on RH.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"Section 2's lower bound τ_k > 1/(2k) is the sole external input from [3], as Remark 8.3 confirms. The cited Csordas–Norfolk–Varga theorem is normally stated as a conditional consequence of RH: if the Riemann Hypothesis holds, then the ξ-coefficients satisfy Newton's inequality γ_k^2 > γ_{k-1}γ_{k+1}, equivalently a_k^2 > ((k+1)/k) a_{k-1}a_{k+1}. This is exactly Newton's inequality applied to elementary symmetric functions of the (hypothetically real negative) zeros of G; it is not an unconditional theorem for the ξ-coefficients in the cited paper. The manuscript quotes [3] as an unconditional 'Turán theorem' and uses τ_k > 1/(2k) to pass from Prop. 3.7's bound |f^{(d)}/d!| ≤ 3·40^d k^{1-d} to the τ-weighted bound |f^{(d)}/d!| ≤ 2·80^d τ^{d-1}. Without that conversion, the Gate C majorant in Prop. 5.4 does not close: the leading term 2/τ (80t)^3 and the correction series are built from τ^{d-1}. Thus the unconditional claim D_{r,k} > 0 is unsupported unless the CNV result is unconditional, which the paper neither states nor proves. If RH were assumed, Theorem 1.1 would be nearly vacuous, since RH already gives nonnegativity of all Toeplitz minors. The paper must either re-state Theorem 1.1 conditionally or supply an unconditional proof of the Turán lower bound on k ≥ 10^9.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":16784,"tokens_out":23876,"duration_ms":215852,"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":[{"comment":"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.","section":"§2, Lemma 2.1; Remark 8.3; Prop. 3.7; Prop. 5.4"}],"minor_comments":[{"comment":"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.","section":"§7, Table 1"},{"comment":"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.","section":"§3, Lemma 3.1"},{"comment":"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.","section":"§5, Eq. (6) and Definition 5.2"}],"recommendation":"major_revision","confidential_remarks":"The paper is well-structured and technically detailed, and the certificate-based approach is a strength. The only substantive obstacle is the conditional status of the CNV Turán bound; if the author can supply an explicit unconditional proof of τ_k>1/(2k) for the required range, I would support acceptance."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know before you read it. First, the paper is serious: the Gate A/B/C structure is original, the constants are certified in Arb with directed rounding, and the exact rational verification of the q-Pascal dilation semigroup is genuinely reproducible. If the theorem stood, it would be a real subfield advance — an explicit uniform-in-r cubic tail with no zero verification. Second, the attached review missed a load-bearing citation problem. Lemma 2.1's lower bound τ_k > 1/(2k) is quoted as 'the Turán theorem of Csordas–Norfolk–Varga [3]'. The standard reading of CNV is that their theorem is conditional: RH implies the Turán inequalities for the ξ-coefficients, via Newton's inequality applied to the elementary symmetric functions of the zeros. I haven't re-opened CNV, but that is the standard reading. The manuscript cites it as an unconditional fact, and Remark 8.3 confirms it is the only external analytic input in the proof.\n\nThe bound is not decorative. Proposition 3.7 converts the Gate A coefficient estimate into the τ-weighted bound |f^{(d)}/d!| ≤ 2·80^d τ^{d-1}, and that conversion is what makes the Gate C majorant close: the weight w = t/τ = 4√r/√τ needs τ_k ≥ c/k. Unconditionally you only get τ_k > 0 from Cauchy–Schwarz, and the unconditional upper bound τ_k < 4/k goes the wrong way. Without a real lower bound on τ_k, the 0.1310721 in Proposition 5.4 is unsupported. Restating the theorem conditionally on RH would be nearly vacuous, since RH already gives nonnegativity of all minors.\n\nCredit where due. The second-derivative Cauchy trick in Proposition 3.7 that removes the spurious log k is clever. The q-Pascal dilation and the whitened response bound (Proposition 4.4) are reusable tools, verified in exact arithmetic. The scope disclaimers (Remarks 1.2, 8.2) are honest and explicit. The internal logic is coherent; the problem is the external input, not the assembly. The missing certificate outputs and commit hash are a minor reproducibility knock, easy to fix.\n\nThe fix is plausibly in reach: Gate A already computes the saddle action at the 1/k scale, and a direct lower bound on −f''(k), hence on τ_k, for k ≥ some explicit K_0 looks very doable with the machinery already in the paper. But it is not there.\n\nAs it stands, I would not accept the unconditional claim. Still, this deserves a serious referee: the machinery is substantial and the flaw is specific and, I think, fixable. If I were the editor I would send it out with an explicit instruction to verify the status of [3] and, failing a fix, to require an unconditional curvature bound.","headline":"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.","tokens_in":17313,"tokens_out":23735,"would_cite":false,"duration_ms":211383,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11M26","15B48","30C15","05A30"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["Riemann xi-function","Toeplitz minors","Pólya frequency sequences","total positivity","Riemann Hypothesis","saddle-point analysis","q-Vandermonde matrix","Turán inequalities"],"falsifier":"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.","tokens_in":16280,"feed_emoji":"📐","tokens_out":5963,"duration_ms":50940,"temperature":0.7,"pith_summary":"This paper proves an explicit tail-region positivity statement for the consecutive Toeplitz minors of the normalized Riemann xi coefficient sequence: for every order r≥2 and every k≥10^18 r^3, the minor D_{r,k} is strictly positive. Since the Riemann Hypothesis is equivalent to all such minors being nonnegative, this pins down a concrete region far out along the anti-diagonal where positivity holds, uniformly in the order r and with no reliance on numerically verified zeros of ζ. The proof combines a certified saddle-point analysis of the moment transform, an exact q-Pascal dilation semigroup that bounds the response of every degree at once, and a weighted Banach-algebra estimate for the nonlinear remainder, closed by an inertia-preservation argument. The result is deliberately confined to the tail k≫r^3; the RH-critical regime k∼r is untouched.","feed_headline":"Cubic wedge: Toeplitz minors of Riemann xi stay positive","feed_subtitle":"A uniform tail bound for every consecutive minor of the xi coefficients, with no reliance on verified zeros.","key_machinery":"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.","core_discovery":"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","pith_inferences":["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."],"forward_implications":["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."],"fun_headline_variants":["Cubic wedge: all Toeplitz minors of Riemann xi positive","Uniform cubic tail: Toeplitz minors of xi coefficients positive","Explicit cubic wedge: all Toeplitz minors stay positive","Toeplitz minors positive for xi coefficients beyond cubic tail","Cubic wedge: uniform positivity for all Toeplitz minors of xi"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Cubic wedge: all Toeplitz minors of Riemann xi positive","Uniform cubic tail: Toeplitz minors of xi coefficients positive","Explicit cubic wedge: all Toeplitz minors stay positive","Toeplitz minors positive for xi coefficients beyond cubic tail","Cubic wedge: uniform positivity for all Toeplitz minors of xi"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000376,"raw_usage":{"total_tokens":1894,"prompt_tokens":851,"completion_tokens":1043,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":595,"completion_tokens_details":{"reasoning_tokens":964}},"tokens_in":595,"tokens_out":1043,"duration_ms":7965,"temperature":1.0,"reasoning_tokens":964,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T19:54:36.540027+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}