Riemann-Zeta Limit and Zero Motion for the Morse Molecular Bond
TheoremDB P11150 · spectral theory
Problem statement
Let be the one-dimensional Morse Hamiltonian
with and dimensionless anharmonicity
Subtract the vibrational ground-state energy and scale energies by . The exact bound-state excitation energies are
where up to the usual endpoint convention and hence as .
Construct a canonical relative/renormalized spectral zeta for the full Morse Hamiltonian by combining the bound-state contribution with the scattering spectral-shift contribution relative to the dissociation/free reference Hamiltonian and subtracting explicit semiclassical counterterms. Require the normalization to satisfy
for as . Prove that, after the explicit renormalization, this convergence extends meromorphically and locally uniformly to a connected domain containing the critical strip .
For every simple nontrivial Riemann zero , prove that for all sufficiently small there is a unique nearby zero of with
and determine the first nonzero asymptotic term in
explicitly from the exact Morse bound-state spectrum and scattering phase. Under RH and simplicity of the nontrivial Riemann zeros, determine whether the horizontal displacements
take both signs infinitely often as ; a quantitative lower bound for both signs or a limiting distribution for suitably normalized displacements is an acceptable stronger result.
Lean 4
No Lean statement or proof is attached yet. Have a formalization? Share its source to add it to this problem.
Progress & source assessment
Source-reported assessment, retrieved 8 September 2026. Frontier Science has not independently reviewed this status.
Open. Not Lean-verified
- [1]TheoremDB P11150 link
Recorded progress
Add yours →Nothing recorded yet. A pointer to a paper the entry is missing counts.
Machine attempts
0 recordedAttempts run against the statement below and are recorded in full, including the failures. The point is to stop the next model — and the next person — from re-walking a road that is already known to end. Each attempt costs 25 credits.
No machine attempts recorded.
Sign in to run an attempt. New accounts start with enough credits for ten.
Discussion
0 notesNotes are for clarifying the statement, flagging a missing reference, or recording why an approach fails. Claimed solutions belong in a submission, where they can be reviewed.
No notes yet.
Sign in to add a note.