---
title: Generalized Levinson's Theorem
url: https://www.emergentmind.com/topics/generalized-levinson-s-theorem
type: topic
---

# Generalized Levinson's Theorem

In the literature, “generalized Levinson’s theorem” does not denote a single result. It names several extensions of distinct classical Levinson theorems: the number-theoretic theorem on zeros of the Riemann zeta function, the scattering-theoretic theorem relating phase variation to bound states, Levinson’s log-log theorem in complex analysis, and the asymptotic theorem for perturbed differential systems. The common pattern is an endpoint, winding, or asymptotic identity that survives after additional structure—threshold resonances, varying multiplicity, longer mollifiers, piecewise-constant delay, medium effects, or non-selfadjointness—is introduced [2511.06109] [1506.08602] [2012.07169] [1409.8249].

## 1. Polysemy and classical templates

In analytic number theory, Levinson’s theorem is the statement that at least one-third of the non-trivial zeros of \(\zeta(s)\) lie on the critical line, obtained by a mollified second moment argument. In the report “Levinson’s theorem and its generalization for Dirichlet \(L\)-functions,” the basic quantity is
\[
\kappa=\liminf_{T\to\infty}\frac{N_0(T)}{N(T)},
\]
and Levinson’s method yields
\[
\kappa \ge 1-\frac1R\log\!\left(\frac1T\int_1^T |V\psi(\sigma_0+it)|^2\,dt\right), \qquad \sigma_0=\frac12-\frac{R}{\log T},
\]
leading to \(\kappa\ge \frac13\) for \(\zeta(s)\) [2511.06109].

In scattering theory, the classical theorem relates phase shift data to the number of bound states. The topological exposition “Levinson’s theorem: an index theorem in scattering theory” formulates the modern version as
\[
\operatorname{ind}([q(W_-)]_1)=-[E_{\mathrm p}(H)]_0,
\]
so that winding data from scattering and threshold operators map to the \(K_0\)-class of the bound-state projection [1506.08602]. Closely related formulations use
\[
\delta(0)-\delta(\infty)=n\pi
\]
or winding of \(\det S(\lambda)\), with threshold corrections when resonances occur [1212.5245].

A different classical Levinson theorem is Levinson’s log-log theorem for holomorphic functions. Its elliptic analogue replaces subharmonicity by three balls inequalities and retains the borderline condition
\[
\int_{-1}^{1}\log^+\log^+ M(y)\,dy<\infty,
\]
now for solutions of elliptic equations majorized by \(M(y)\) [2012.07169]. Yet another classical source is Levinson’s asymptotic theorem for perturbed ODEs; its DEPCAG adaptation preserves the conclusion
\[
y(t)=\tilde e(t,t_{n_0})(\hat e+w(t)), \qquad w(t)\to 0
\]
for differential equations with piecewise constant argument generalized [1409.8249].

## 2. Analytic number theory: from \(\zeta(s)\) to Dirichlet \(L\)-functions

In the number-theoretic usage, the generalized Levinson theorem extends the critical-line proportion problem from \(\zeta(s)\) to Dirichlet \(L\)-functions. For primitive \(\chi \pmod q\), with
\[
N(T,\chi)=\#\{\rho=\beta+i\gamma: L(\rho,\chi)=0,\ 0<\beta<1,\ |\gamma|\le T\},
\]
\[
N_c(T,\chi)=\#\{\rho=\tfrac12+i\gamma: L(\rho,\chi)=0,\ |\gamma|\le T\},
\]
\[
N_c^*(T,\chi)=\#\{\rho=\tfrac12+i\gamma: L(\rho,\chi)=0,\ |\gamma|\le T,\ \rho \text{ simple}\},
\]
the report states the exact theorem
\[
\boxed{\text{Theorem 3.1: For any Dirichlet character } \chi,\  \kappa(\chi)>0.4172 \text{ and } \kappa^*(\chi)>0.4074}
\]
for sufficiently large \(T\) with \(\log q=o(\log T)\), where
\[
\kappa(\chi)=\frac{N_c(T,\chi)}{N(T,\chi)},\qquad \kappa^*(\chi)=\frac{N_c^*(T,\chi)}{N(T,\chi)}.
\]
This is presented as Wu’s 2018 extension of Levinson’s method, and as a Dirichlet-\(L\)-function analogue of Conrey’s two-fifths theorem for \(\zeta(s)\) [2511.06109].

The auxiliary Levinson function is
\[
V(s,\chi)=Q\!\left(-\frac{1}{\mathscr L_\chi}\frac{d}{ds}\right)L(s,\chi), \qquad \mathscr L_\chi=\log\frac{qT}{2\pi},
\]
and the decisive mollified second moment is
\[
I_R(Q,\chi) = \int_T^{2T} \left|V\!\left(\frac12+it+\frac{R}{\mathscr L_\chi},\chi\right)\right|^2 \left|B\!\left(\frac12+it,\chi\right)\right|^2 dt.
\]
The key inequality is
\[
\boxed{ \kappa(\chi)\ge 1-\frac1R\log\!\bigl(T^{-1}I_R(Q,\chi)\bigr)+o(1). }
\]
If \(Q\) is linear, the same framework yields a lower bound for \(\kappa^*(\chi)\), because linear combinations involving \(L'\) discriminate simple zeros from repeated ones [2511.06109].

The generalization is not purely formal. The Dirichlet case introduces character twists, the completed \(L\)-function and its functional equation,
\[
\xi(s,\chi)=L(s,\chi)\Gamma\!\left(\frac{s+\kappa}{2}\right)\left(\frac{q}{\pi}\right)^{(s+\kappa)/2},\qquad
\xi(s,\chi)=\epsilon(\chi)\,\xi(1-s,\overline{\chi}),
\]
the principal character \(\chi_0\), Gauss sums, and a twisted mean square problem. The gain beyond Levinson’s original \(\theta<1/2\) comes from a longer mollifier \(y=T^\theta\) with
\[
\theta=\frac47-\varepsilon,
\]
which is the same Conrey-type length that underlies the two-fifths phenomenon [2511.06109].

## 3. Selfadjoint scattering: threshold corrections, spectral shift, and resonance multiplicity

In scattering theory, generalized Levinson theorems are usually threshold-corrected identities. On quantum star graphs with Kirchhoff coupling, the central object is the perturbation determinant
\[
D(z)=\frac{K(z^{1/2})}{in\,z^{1/2}\prod_{j=1}^n w_j(z^{1/2})},
\]
and the paper proves the low-energy asymptotic
\[
D(z)=c\,\zeta^{m-1}(1+o(1)),\qquad z=\zeta^2,\ \zeta\to0,
\]
where \(m\) is the multiplicity of the zero-energy resonance. The resulting Levinson-type theorem is
\[
\boxed{ \lim_{\lambda\to0+}\xi(\lambda) = -\left(N+\frac{m-1}{2}\right), }
\]
so the threshold correction is \((m-1)/2\), not the usual scalar half-bound-state term [1205.1772].

For two-dimensional Schrödinger operators, the threshold structure is more singular. The topological theorem
\[
\frac{1}{2\pi i}\int_0^\infty \operatorname{tr}\!\bigl(S(\lambda)^*S'(\lambda)\bigr)\,d\lambda +\frac{1}{4\pi}\int_{\mathbb R^2}V(x)\,dx +\dim(P_p) = -\#\sigma_p(H)
\]
shows that each \(p\)-resonance contributes \(1\), while an \(s\)-wave resonance contributes nothing. The same paper derives
\[
\lim_{\varepsilon\searrow 0}\xi(\varepsilon) = -\#\sigma_p(H)-\dim(P_p),
\]
so the zero-energy value of the spectral shift function includes bound states and \(p\)-resonances, but not \(s\)-resonances [2311.09650].

For potentials with critical inverse-square decay,
\[
v(x)=\frac{q(\theta)}{r^2}+O(\langle x\rangle^{-\rho_0}),
\]
the threshold correction is no longer a fixed half-integer. The generalized residue at \(0\) is
\[
J_0 = N_0 + \sum_{\nu\in \sigma_1} \nu\, m_\nu,
\]
and the final Levinson identity is
\[
\int_0^\infty \left( \xi'(\lambda)-\sum_{j=1}^{[\frac n2]} c_j \lambda^{\frac n2-j-1} \right)\,d\lambda
= -\left( N_-+N_0+\sum_{\nu\in\sigma_1}\nu\,m_\nu \right) +B_{n/2}.
\]
Here the classical half-bound-state term is replaced by a weighted resonance sum \(\sum_{\nu\in\sigma_1}\nu m_\nu\) [1007.1608].

## 4. Topological and index-theoretic formulations

A major line of generalization recasts Levinson’s theorem as an index theorem for wave operators. In the \(C^*\)-algebraic framework of Richard, the abstract identity
\[
\boxed{\operatorname{ind}([q(W_-)]_1)=-[E_{\mathrm p}(H)]_0}
\]
states that the \(K_1\)-class of the quotient image of the wave operator maps to minus the \(K_0\)-class of the bound-state projection. In concrete models this becomes a winding-number theorem, with threshold corrections appearing as additional boundary components of the quotient image rather than as ad hoc terms [1506.08602].

For generic Euclidean Schrödinger scattering with \(S(0)=\mathrm{Id}\), the wave operator has the universal form
\[
W_-=\mathrm{Id}+\varphi(D_n)(S-\mathrm{Id})+K,\qquad
\varphi(x)=\frac12(1+\tanh(\pi x)-i\cosh(\pi x)^{-1}),
\]
and the generalized Levinson theorem is the index pairing
\[
([S],[D_+])=-\operatorname{Index}(W_-)=N.
\]
Here the scattering operator determines the number of bound states through the \(K\)-theory class of \(S\) and the \(K\)-homology class of the generator of dilations [2304.04905].

The spectral-flow formulation pushes this further. For loops of unitaries \(U_t=\Id+K_t\) with \(K_t\in\mathcal L^p\), the paper “Analytic spectral flow formula for unitaries and Levinson’s theorem” proves
\[
\spf(U_\bullet) = (-1)^n\frac{1}{2\pi i} \int_0^1 \Tr\!\left(U_t^*\dot U_t\,(U_t-\Id)^n\right)\,dt
\]
for \(n\ge p-1\), and equivalent regularized formulas with \(|U_t-\Id|^{2r}\). Applied to scattering matrices,
\[
\spf(S(\bullet))= \begin{cases} -N-N_{res}, & d=2,4,\\ -N, & \text{otherwise,} \end{cases}
\]
so Levinson’s theorem becomes an equality among spectral flow, regularized winding number, regularized determinant integral, and bound-state count [2604.22451].

The same topological strategy survives even when the scattering matrix is only piecewise continuous and changes size across thresholds. For a family of discrete Schrödinger operators with embedded thresholds and varying multiplicity, the quotient image of the wave operator lives on an “upside down comb” with \(2N\) teeth, and the numerical formula becomes
\[
\# \sigma_{\rm p}(H^\theta) = N-\frac{\#\big\{j\mid \tilde s_{jj}(\tilde\lambda^\theta_j\pm 2)=1\big\}}{2} + Var \big(\lambda \mapsto \det S^\theta(\lambda)\big).
\]
This is a topological Levinson theorem in the presence of embedded thresholds, resonances, and discontinuities of the scattering matrix [2403.17617].

## 5. Discrete, matrix, and finite-dimensional scattering models

For the selfadjoint matrix Schrödinger operator on the half-line with the general selfadjoint boundary condition
\[
-B^\dagger \psi(0)+A^\dagger \psi'(0)=0,
\]
Levinson’s theorem is expressed through the Jost matrix \(J(k)\) and the matrix scattering operator
\[
S(k)=-J(-k)\,J(k)^{-1}.
\]
If \(\mathcal N\) is the total number of bound states, \(\mu\) is the multiplicity of the eigenvalue \(+1\) of \(S(0)\), and \(n_M,n_N\) count mixed and Neumann boundary channels, then
\[
\arg[\det S(0^+)]-\arg[\det S(+\infty)] = \pi(2\mathcal N+\mu-n_M-n_N).
\]
This is a multichannel half-line generalization with both threshold and boundary-condition corrections [1206.2986].

For discrete graph scattering with one lead, the reflection coefficient has the analytic continuation
\[
R(z)=-\frac{Q(z^{-1})}{Q(z)},
\]
and the theorem reads
\[
w_\Gamma(R)=2\Bigl(m-n_b-n_c-\frac{1}{2}n_h\Bigr).
\]
Thus ordinary bound states, confined bound states, and half-bound states all enter the count, with \(n_h/2\) as the threshold correction [1103.5077]. For \(n\) leads and an \(n\times n\) scattering matrix \(S(z)\), the exact multichannel analogue is
\[
w_{\Gamma}(\det S)=2\left(m-n_b-n_c-\frac{1}{2}n_h\right),
\]
together with a completeness theorem for scattering states plus bound states [1203.6557].

A different discrete reformulation appears on finite momentum grids evolved by the Similarity Renormalization Group. There the paper uses the grid version
\[
\delta(p_1)-\delta(p_N)=n_B\pi,
\]
but shows that an isospectral energy-shift definition satisfies Levinson’s theorem only after a correct ordering of the diagonal eigenvalues in the infrared SRG limit. The Wilson generator induces an ascending ordering incompatible with Levinson’s theorem in the presence of bound states, while the Wegner generator gives a much better ordering by decoupling the bound state at an interior momentum scale [1404.4940].

## 6. Other generalized frameworks

In hot PNJL quark matter, Levinson’s theorem functions as a consistency condition for the generalized Beth-Uhlenbeck representation. The total mesonic phase shift \(\Phi_M\) must satisfy
\[
\int_{4m^2}^{+\infty} ds \,\frac{d\Phi_M}{ds}=n\pi,
\]
with \(n\) the number of bound states below the in-medium threshold \(4m^2(T)\). The paper shows that the resonant phase shift \(\phi_R\) alone violates this identity, so the continuum scattering contribution \(\phi_{sc}\) is indispensable for the thermodynamics of pion dissociation [1212.5245].

The elliptic adaptation of Levinson’s log-log theorem replaces holomorphic methods by propagation of smallness. If \(Pu=0\) in \(\Omega\subset B_1(0)\), \(|u(x,y)|\le M(y)\), and
\[
\int_{-1}^{1} \log^+\log^+ M(y)\,dy < \infty,
\]
then, under a suitable three balls inequality or its “wild set” version,
\[
\sup_K |u| \le A
\]
for every compact \(K\Subset \Omega\). This preserves the classical log-log threshold in an elliptic PDE setting [2012.07169].

For DEPCAGs, the generalized Levinson theorem is an asymptotic-mode existence result. Under the scalar-mode relation
\[
Z(t,s)\hat e=\tilde e(t,s)\hat e,
\]
projection estimates relative to \(\tilde e(t,s)\), and the weighted smallness condition
\[
\int_{t_0}^{\infty} |\tilde e(t,g(t))|^{-1}\eta(t)\,dt<\infty,
\]
there exists a solution of the perturbed DEPCAG such that
\[
y(t)=\tilde e(t,t_{n_0})(\hat e+w(t)), \qquad w(t)\to 0.
\]
The proof is by a Banach fixed point argument based on an adapted variation-of-constants formula [1409.8249].

In dissipative three-dimensional Schrödinger scattering, the theorem counts “asymptotically disappearing states.” For
\[
H=-\Delta+V,\qquad \Im V\le 0,
\]
with sufficiently strong decay and no positive-energy spectral singularities,
\[
\frac{1}{2\pi i}\int_0^\infty d\lambda\; \left(\operatorname{tr}\big(S(\lambda)^{-1}S'(\lambda)\big)+c\,\lambda^{-1/2}\right) = -\#\sigma_{\mathrm d}(H),
\qquad
c=\frac{i}{4\pi}\int_{\mathbb R^3}V(x)\,dx.
\]
Here the counted states coincide with the algebraic multiplicity of the discrete complex spectrum [2509.12799].

For particle form factors, the theorem becomes a statement about the asymptotic phase on the upper edge of the time-like cut. If
\[
F(z)=f(z)\prod_{k=1}^{\mu}(z-z_k)^{m_k}\prod_{j=1}^{\nu}\frac{1}{(z-p_j)^{n_j}},
\]
then the contour argument yields
\[
\phi(\infty)-\phi(x_0)=\pi(M-N),\qquad
M=\sum m_k,\quad N=\sum n_j.
\]
For hadronic form factors \(G(s)=|G(s)|e^{i\delta(s)}\) with asymptotic power law \(s^{-n}\), the final identity is
\[
\delta(\infty)-\delta(s_{\rm th})=\pi(M+n).
\]
This transfers Levinson’s endpoint-phase logic from scattering amplitudes to analytic form factors [2604.09207].

Across these literatures, the phrase “generalized Levinson’s theorem” designates a family of extensions rather than a unique theorem. This suggests a durable template: endpoint phase, winding, spectral-shift, or asymptotic data continue to encode discrete information—critical-line zeros, bound states, resonance multiplicities, Chern numbers, disappearing states, or analytic zero counts—even after the classical setting is replaced by Dirichlet \(L\)-functions, singular thresholds, variable channel multiplicity, non-selfadjoint dynamics, elliptic propagation-of-smallness, or hybrid differential-functional equations.

Source: https://www.emergentmind.com/topics/generalized-levinson-s-theorem