There is a newer version of the record available.

Published March 24, 2026 | Version v3

Partial-Fraction Constraints on Hypothetical Off-Line Zeros of the Riemann Zeta Function

Authors/Creators

Description

We derive unconditional constraints on hypothetical zeros of the Riemann zeta
function lying off the critical line Re(s) = 1/2, using only the partial-fraction
structure of ζ'/ζ, the Selberg bound N0(T) ≥ cT log T, the Ingham zero-density
estimate, Titchmarsh bounds, and the Hadamard factorization of ξ. No variational
functionals, Hardy-space decompositions, or Dirichlet energy integrals are
employed; every result follows directly from the meromorphic structure of ζ'/ζ.

The main results are:

(A) an auxiliary weighted identity: V'(h, t) := AN0(T)/h² + Re[ζ'/ζ] > 0 for h
    in the critical strip, where A > 0 is a free parameter (Theorem 3.1);

(B) a pole-confinement theorem showing each off-line zero is trapped in an
    Apollonius disc of radius h0²/(2AN0) → 0 (Theorem 4.1);

(C) a sign-incompatibility barrier h0 ≥ c/log T, stated as a hypothesis,
    supported by an exact identity for f''(0) (Theorem 5.2) and an unconditional
    self-consistency upper bound h0 ≤ C'/log T (Theorem 5.3);

(D) a measure-collapse result: total area of all confinement zones tends to zero
    (Theorem 6.1);

(E) a curvature test based on the exact Hadamard expansion of ∂²h log|ζ|,
    detecting off-line zeros with signal-to-noise exceeding 10⁴ (Theorem 10.1);

(F) a statistical concentration bound (Proposition 11.1, heuristic): off-line
    zeros require fluctuations of Re[ζ'/ζ] exceeding 10⁴ standard deviations;

(G) an inner-function characterization: off-line zeros form a Blaschke-type inner
    factor Φoff with |Φoff| = 1 exactly on the critical line (Theorem 12.1);

(H) a Speiser depth scaling law: each off-line zero at depth h0 forces a zero of
    ξ' at depth h' ~ CSh0², with an explicit universal constant CS = 1/Son and
    quadratic exponent β = 2.006 verified numerically (Theorem 13.1);

(I) a concavity theorem: ∂²t log|ζ(1/2 + it)| = −Σk (t − γk)⁻² < 0 between
    consecutive zeros, yielding the chain of equivalences
    RH ⟺ Z unimodal ⟺ no Speiser companion ⟺ Λ = 0 (Theorem 14.1);

(J) a T-independent tunneling parameter Mh0 = πs/√Cn that controls the spectral
    visibility of the off-line zone, closing the spectral gap at Lehmer pairs
    where s < 0.36 (Theorem 15.1);

(K) a heat-flow collision-time formula
    Λlocal = (h0 log T − ln(1 + h0 log T))/log²T incorporating the acceleration
    by on-line zeros, which cuts the Polymath15 conjugate bound h0²/2 by a
    factor of 2.7 at the self-consistent depth (Theorem 16.1).

All numerical computations use the mpmath library at 25-digit precision; the code
is described in Appendix A. The single remaining open step (Gap G1) is the
passage from confined, rare, and increasingly costly to nonexistent, which is
equivalent to RH.

New in Version 8: a Selberg-variance argument shows that for all but
O(log log T) gaps, the heat-flow collision time gives Λlocal ≤ C/log²T → 0;
the remaining exceptional gaps constitute the precise locus of Gap G1.

Files

Ismail_PartialFraction_v8_arXiv.pdf

Files (466.4 kB)

Name Size
md5:d099668fdc4944c6cccec581e92f3fac
466.4 kB Preview Download