OpenFrontiers
← Back to the index
OP-6576OpenAnalysis

Riemann-Zeta Limit and Zero Motion for the Morse Molecular Bond

TheoremDB P11150 · spectral theory

Source catalogue assessmentAs of 2026-09-08Source & evidence ↓

Problem statement

Let HxH_x be the one-dimensional Morse Hamiltonian

Hx=−ℏ22μd2dr2+De(1−e−a(r−re))2, H_x=-\frac{\hbar^2}{2\mu}\frac{d^2}{dr^2}+D_e\bigl(1-e^{-a(r-r_e)}\bigr)^2,

with ωe=a2De/μ\omega_e=a\sqrt{2D_e/\mu} and dimensionless anharmonicity

x=ℏωe4De. x=\frac{\hbar\omega_e}{4D_e}.

Subtract the vibrational ground-state energy and scale energies by ℏωe\hbar\omega_e. The exact bound-state excitation energies are

εv(x)=v [1−x(v+1)],v=1,…,N(x), \varepsilon_v(x)=v\,[1-x(v+1)],\qquad v=1,\ldots,N(x),

where N(x)=⌊(2x)−1−1/2⌋N(x)=\lfloor (2x)^{-1}-1/2\rfloor up to the usual endpoint convention and hence N(x)∼(2x)−1N(x)\sim(2x)^{-1} as x→0+x\to0^+.

Construct a canonical relative/renormalized spectral zeta Zx(s)Z_x(s) 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

Zx(s)⟶ζ(s) Z_x(s)\longrightarrow \zeta(s)

for ℜs>1\Re s>1 as x→0+x\to0^+. Prove that, after the explicit renormalization, this convergence extends meromorphically and locally uniformly to a connected domain containing the critical strip 0<ℜs<10<\Re s<1.

For every simple nontrivial Riemann zero ρ\rho, prove that for all sufficiently small x>0x>0 there is a unique nearby zero sρ(x)s_\rho(x) of ZxZ_x with

sρ(x)→ρ(x→0+), s_\rho(x)\to\rho\qquad(x\to0^+),

and determine the first nonzero asymptotic term in

sρ(x)−ρ s_\rho(x)-\rho

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

Re⁡(sρ(x)−ρ) \operatorname{Re}(s_\rho(x)-\rho)

take both signs infinitely often as ∣Im⁡ρ∣→∞|\operatorname{Im}\rho|\to\infty; a quantitative lower bound for both signs or a limiting distribution for suitably normalized displacements is an acceptable stronger result.

Lean 4

Not yet attached

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

References
  1. [1]TheoremDB P11150 link

Recorded progress

Add yours →

Nothing recorded yet. A pointer to a paper the entry is missing counts.

Machine attempts

0 recorded

Attempts 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 notes

Notes 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.