REVIEW
Collective Contraction in the de Bruijn--Newman Heat Flow: Off-Zero Logarithmic Derivatives and Certified Barrier Refinements
Number Theory · Submitted 29 Sep 2026
Pith's verdict: The collective-contraction theorem and log-derivative bridge are clean analytic additions that verify by hand; the improved Λ bound rests on two layers of certificate code no referee can replay from the paper alone.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
Proving a discarded collective interaction term is nonnegative, the paper certifies an audit-relative bound $\Lambda \le 0.1779532546428610755\ldots$ on the de Bruijn–Newman constant, conditional on a not-yet-peer-reviewed public…
The reading
What carries the argument
The load-bearing objects are the projected interaction sum $G_\tau(z) = \sum_{\rho \ne z, \bar z} 1/((\operatorname{Re}\rho - x)^2 + 4y^2)$, which the argument proves is nonnegative through the exact pair-kernel factorization in equation (4); the logarithmic-derivative bridge (Proposition 2.3), which bounds $G_\tau$ below by $-\operatorname{Im}(H_\tau'/H_\tau)(x+i\eta)$ at a zero-free probe height $\eta \ge \sqrt{5}\,y$, so that one off-zero logarithmic derivative replaces the sum over all zeros; and the effective approximation $H_\tau = B_\tau F_\tau$, through which a frozen-index Cauchy certificate with outward-rounded interval arithmetic proves the uniform high-$x$ bound $G_\tau > 1.60028669 > 3/2$. The final step is a two-envelope comparison: a left envelope governed by the classical contraction and a right envelope governed by the collective contraction, separated by certified upper and lower zero-free barriers, closing a bootstrap that forces the global maximal height below $0.08$ at time $\tau_w$.
Extended reading notes
Core claim
On the paper's own terms, the central discovery is structural. The classical maximal-height argument for $H_\tau$ discards the interaction with all zeros except the conjugate, landing on $(y^2)' \le -2$. The paper proves the full interaction has a definite collective sign after projection: for the maximal-height zero $z = x + iy$, one has $\frac{d}{d\tau} y^2 \le -2 - 4y^2 G_\tau(z)$ with $G_\tau(z) = \sum_{\rho \ne z, \bar z} 1/((\operatorname{Re}\rho - x)^2 + 4y^2) \ge 0$. It then converts the apparently harder problem of lower-bounding this sum into certifying a single off-zero logarithmic derivative, $-\operatorname{Im}(H_\tau'/H_\tau)(x+i\eta)$, which the published effective approximation $H_\tau = B_\tau F_\tau$ can certify at high $x$. The payoff is a conditional landing: with a certified field constant $G_\tau > 1.60028669$ at the frontier row ($X = 6000000185827$, $\tau_0 = 129/800$, $y_0^2 = 87677/2500000$), a two-envelope comparison reduces the maximal nonreal height to $0.08$ by time $0.1747532546428610755\ldots$, and the classical contraction finishes the landing, giving $\Lambda \le 0.1779532546428610755\ldots$ — explicitly conditional on the imported, not-yet-peer-reviewed certificate package rather than on the new theorems.
Load-bearing premise
The headline number $\Lambda \le 0.1779532546428610755\ldots$ imports the frontier row ($X$, $\tau_0$, $y_0^2$), the initial frontier height bound, and the upper zero-free barrier from a publicly replayable certificate package that explicitly states it has not yet been peer reviewed; if any premise in that package is wrong, the final numerical bound fails, even though the paper's own analytic theorems stand.
Editorial extensions
If this is right
- If the imported base package survives independent review, the certified implication $\Lambda \le 0.1779532546428610755\ldots$ holds without changing any constant or new certificate in this paper.
- The analytic Theorem 2.1 and the logarithmic-derivative bridge stand independently of the numerical endpoint: the landing problem is reframed from tracking all neighbouring zeros to certifying one off-zero logarithmic derivative.
- The high-$x$ certificate $G_\tau > 3/2$ with visible directed margin is an independent computational result, uniform in the Riemann–Siegel index without sampling.
- Optimizing the probe height, Cauchy radius, and interpolation mesh could push the endpoint lower under the same argument, as the paper notes its constants are not optimized.
- A global collective lower bound avoiding the unit-width barrier decomposition would remove the horizontal transport step entirely.
Reading between the lines
- The collect-then-project trick — turning a sum over all other zeros into one zero-free logarithmic derivative — is portable: any entire function with a real sequence of zeros and a certified effective approximation admits the same interface, so the method may transfer to other zero-real-part problems beyond the de Bruijn–Newman family.
- Because the final bound is audit-relative, the binding path to a fully certified $\Lambda$ bound is independent mathematical review of the imported package, not further constant work; the two contributions are cleanly separable.
- The reported margins (field constant at $1.60028669$ versus a required $3/2$) suggest parameter headroom the paper does not exploit; larger probe height, smaller Cauchy radius, and a finer boundary mesh would likely lower the endpoint further.
- If a future global collective bound replaces the unit-width barrier, the same two-envelope structure would survive with a shorter classical tail, cutting some of the remaining $0.0032$-unit landing budget.
Original abstract
We study the de Bruijn--Newman family $H_\tau(z)$, with heat-deformation parameter $\tau$ and $H_0(z)=\tfrac18,\xi(\tfrac12+\tfrac{iz}{2})$. The moving zeros considered here are therefore zeros of $H_\tau$, not directly of $\zeta(s)$. Retaining the collective interaction term in the zero dynamics, we prove that for a simple nonreal zero $z=x+iy$ of maximal imaginary height, [ \frac{d}{d\tau}y^2\le -2-4y^2\mathcal G_\tau(z), ] where $\mathcal G_\tau\ge0$ is a projected interaction sum. A second exact inequality bounds $\mathcal G_\tau$ below by an off-zero logarithmic derivative $-\operatorname{Im}(H_\tau'/H_\tau)(x+i\eta)$, providing a direct interface with the effective Polymath approximation $H_\tau=B_\tau F_\tau$. At the frontier $X=6000000185827$, $\tau_0=129/800$, and $y_0^2=87677/2500000$, a directed Cauchy certificate gives $\mathcal G_\tau>3/2$ for $\tau_0\le\tau\le0.178$, $x\ge X$, and $|y|\le y_0$. Combining this contraction with certified upper and lower zero-free barriers, a two-envelope argument reduces the maximal nonreal height to $0.08$ by time $0.1747532546428610755\ldots$; the classical de Bruijn contraction then completes the landing. Relative to the publicly replayable but not yet peer-reviewed $0.1787854$ base certificate, this yields the audit-relative bound [ \Lambda\le0.1779532546428610755\ldots . ] The collective contraction, logarithmic-derivative bridge, and new high-$x$ certificates are independent contributions.
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 study the de Bruijn--Newman family $H_\tau(z)$, with heat-deformation parameter $\tau$ and $H_0(z)=\tfrac18,\xi(\tfrac12+\tfrac{iz}{2})$. The moving zeros considered here are therefore zeros of $H_\tau$, not directly of $\zeta(s)$. Retaining the collective interaction term in the zero dynamics, we prove that for a simple nonreal zero $z=x+iy$ of maximal imaginary height, [ \frac{d}{d\tau}y^2\le -2-4y^2\mathcal G_\tau(z), ] where $\mathcal G_\tau\ge0$ is a projected interaction sum. A second exact inequality bounds $\mathcal G_\tau$ below by an off-zero logarithmic derivative $-\operatorname{Im}(H_\tau'/H_\tau)(x+i\eta)$, providing a direct interface with the effective Polymath approximation $H_\tau=B_\tau F_\tau$. At the frontier $X=6000000185827$, $\tau_0=129/800$, and $y_0^2=87677/2500000$, a directed Cauchy certificate gives $\mathcal G_\tau>3/2$ for $\tau_0\le\tau\le0.178$, $x\ge X$, and $|y|\le y_0$. Combining this contraction with certified upper and lower zero-free barriers, a two-envelope argument reduces the maximal nonreal height to $0.08$ by time $0.1747532546428610755\ldots$; the classical de Bruijn contraction then completes the landing. Relative to the publicly replayable but not yet peer-reviewed $0.1787854$ base certificate, this yields the audit-relative bound [ \Lambda\le0.1779532546428610755\ldots . ] The collective contraction, logarithmic-derivative bridge, and new high-$x$ certificates are independent contributions.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We study the de Bruijn--Newman family $H_\tau(z)$, with heat-deformation parameter $\tau$ and $H_0(z)=\tfrac18,\xi(\tfrac12+\tfrac{iz}{2})$. | background 0.78 | 0.33 | 0.02 | asserted 0.86 |
| s1 | The moving zeros considered here are therefore zeros of $H_\tau$, not directly of $\zeta(s)$. | background 0.63 | 0.25 | 0.02 | asserted 1.00 |
| s2 | Retaining the collective interaction term in the zero dynamics, we prove that for a simple nonreal zero $z=x+iy$ of maximal imaginary height, [ \frac{d}{d\tau}y^2\le -2-4y^2\mathcal G_\tau(z), ] where $\mathcal G_\tau\ge0$ is a projected interaction sum. | result 0.90 | 0.94 | 0.15 | asserted 1.00 |
| s3 | A second exact inequality bounds $\mathcal G_\tau$ below by an off-zero logarithmic derivative $-\operatorname{Im}(H_\tau'/H_\tau)(x+i\eta)$, providing a direct interface with the effective Polymath approximation $H_\tau=B_\tau F_\tau$. | contribution 0.48 | 0.86 | 0.04 | asserted 1.00 |
| s4 | At the frontier $X=6000000185827$, $\tau_0=129/800$, and $y_0^2=87677/2500000$, a directed Cauchy certificate gives $\mathcal G_\tau>3/2$ for $\tau_0\le\tau\le0.178$, $x\ge X$, and $|y|\le y_0$. | result 0.97 | 0.90 | 0.06 | asserted 1.00 |
| s5 | Combining this contraction with certified upper and lower zero-free barriers, a two-envelope argument reduces the maximal nonreal height to $0.08$ by time $0.1747532546428610755\ldots$; the classical de Bruijn contraction then completes the landing. | result 0.86 | 0.91 | 0.39 | asserted 1.00 |
| s6 | Relative to the publicly replayable but not yet peer-reviewed $0.1787854$ base certificate, this yields the audit-relative bound [ \Lambda\le0.1779532546428610755\ldots . ] The collective contraction, logarithmic-derivative bridge, and new high-$x$ certificates are independent contributions. | result 0.91 | 0.88 | 0.58 | 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.