Stochastic Levinson Conjecture Overview

• Stochastic Levinson Conjecture is a framework extending classical Levinson principles to stochastic settings, addressing exit theorems and distributional periodicity.
• It characterizes the explicit first-order corrections in exit times and locations under small-noise perturbations using linearized dynamics and scaling limits.
• It establishes the existence of T-periodic solutions in distribution for dissipative stochastic Newtonian systems via Lyapunov–Khasminskii methods.

“Stochastic Levinson Conjecture” denotes a family of stochastic extensions of classical Levinson-type principles rather than a single universally standardized statement. In the arXiv literature represented here, the expression is used most directly in two senses. In small-noise dynamical systems, it refers to a stochastic refinement of Levinson’s exit theorem: instead of mere convergence of the perturbed exit point to the deterministic transversal crossing, one obtains the full first-order scaling limit of the exit time and exit location (Monter et al., 2010). In stochastic Newtonian dynamics with time-periodic forcing, it refers to the conjecture that a dissipative stochastic time-periodic system admits a $T$-periodic solution in distribution, a conjecture that is described as being “largely confirm[ed]” by a Lyapunov–Khasminskii existence theory (Duan et al., 14 Jul 2025). A broader stochastic Levinson-type vocabulary also appears in number-theoretic multiplicative-chaos models for Riemann zeros (Ostrovsky, 2015). This distribution of usages suggests an umbrella notion: stochastic analogues of deterministic Levinson phenomena, typically involving asymptotic selection, periodicity, or spectral counting under randomness.

1. Deterministic Levinson principles and the stochastic extension problem

The exit-theorem lineage begins with a deterministic flow $S^t x_0$ generated by a $C^2$-smooth bounded vector field $b\colon \mathbb{R}^d\to\mathbb{R}^d$,

$\dot x=b(x), \qquad S^0x_0=x_0,$

together with a smooth $C^2$ hypersurface $M\subset\mathbb{R}^d$. The deterministic exit time is

$T=\inf\{t>0:S^t x_0\in M\},$

and $z=S^T x_0\in M$. The Levinson assumptions are that $0<T<\infty$ and that the crossing is transversal,

$S^t x_0$0

Under these hypotheses, classical Levinson theory gives the deterministic statement that vanishing perturbations exit near the deterministic crossing point $S^t x_0$1; in the notation used in (Monter et al., 2010), when $S^t x_0$2 and $S^t x_0$3,

$S^t x_0$4

The stochastic extension problem is therefore not merely whether the exit remains near $S^t x_0$5, but whether the first nontrivial random correction can be characterized explicitly (Monter et al., 2010).

A distinct deterministic Levinson principle arises in periodically forced dissipative Newtonian systems. The deterministic equation

$S^t x_0$6

with $S^t x_0$7 symmetric positive definite and $S^t x_0$8-periodic in $S^t x_0$9, and $C^2$0 also $C^2$1-periodic, is the background for the stochastic conjecture treated in (Duan et al., 14 Jul 2025). There, the stochastic analogue is

$C^2$2

and the conjecture is that a dissipative stochastic time-periodic Newtonian system of this form admits a $C^2$3-periodic solution in distribution (Duan et al., 14 Jul 2025).

2. Small-noise exit in the Levinson case

In the exit-problem formulation, the perturbation acts simultaneously through three mechanisms: white-noise perturbation of the vector field via $C^2$4, a small deterministic drift perturbation of size $C^2$5, and a random initial condition of size $C^2$6,

$C^2$7

The dominant scale is set by

$C^2$8

so the leading-order correction is determined by whichever of the initial random perturbation, deterministic drift perturbation, or noise enters at the largest scale (Monter et al., 2010).

The linearized flow along the deterministic trajectory is

$C^2$9

The first-order fluctuation process is

$b\colon \mathbb{R}^d\to\mathbb{R}^d$0

At the deterministic hit point $b\colon \mathbb{R}^d\to\mathbb{R}^d$1, vectors are decomposed along the transverse direction $b\colon \mathbb{R}^d\to\mathbb{R}^d$2 and the tangent space $b\colon \mathbb{R}^d\to\mathbb{R}^d$3: $b\colon \mathbb{R}^d\to\mathbb{R}^d$4 The main theorem then identifies the joint scaling limit

$b\colon \mathbb{R}^d\to\mathbb{R}^d$5

Equivalently,

$b\colon \mathbb{R}^d\to\mathbb{R}^d$6

If, in addition, either $b\colon \mathbb{R}^d\to\mathbb{R}^d$7 in probability or $b\colon \mathbb{R}^d\to\mathbb{R}^d$8, the convergence strengthens from convergence in distribution to convergence in probability (Monter et al., 2010).

The result is described as a direct stochastic refinement of Levinson’s classical exit theorem. The deterministic exit point remains $b\colon \mathbb{R}^d\to\mathbb{R}^d$9, but the first-order correction becomes an explicit random object governed by the linearized response to the initial fluctuation, drift perturbation, and noise. A technical lemma underlying the theorem gives the expansion

$\dot x=b(x), \qquad S^0x_0=x_0,$0

with $\dot x=b(x), \qquad S^0x_0=x_0,$1 in distribution in $\dot x=b(x), \qquad S^0x_0=x_0,$2, and in probability under the stronger assumptions above (Monter et al., 2010).

3. Rare-event conditioning and one-dimensional diffusions

A concrete application of the exit theorem concerns a one-dimensional diffusion on an interval $\dot x=b(x), \qquad S^0x_0=x_0,$3,

$\dot x=b(x), \qquad S^0x_0=x_0,$4

with $\dot x=b(x), \qquad S^0x_0=x_0,$5 and $\dot x=b(x), \qquad S^0x_0=x_0,$6. The exit time and the rare event are

$\dot x=b(x), \qquad S^0x_0=x_0,$7

Since $\dot x=b(x), \qquad S^0x_0=x_0,$8, the event $\dot x=b(x), \qquad S^0x_0=x_0,$9 is rare as $C^2$0: the process must go against the deterministic drift to exit at $C^2$1 (Monter et al., 2010).

Conditioning on $C^2$2 tilts the drift by the Doob $C^2$3-transform,

$C^2$4

The conditioned process then fits the stochastic Levinson framework near the deterministic trajectory of the reversed flow $C^2$5, and the exit-time fluctuations follow from the general theorem (Monter et al., 2010).

The asymptotic statement is

$C^2$6

where

$C^2$7

is the deterministic travel time for the reversed ODE $C^2$8 from $C^2$9 to $M\subset\mathbb{R}^d$0. In one dimension the boundary is a point, so there is no tangential exit-location fluctuation; only the exit-time correction remains (Monter et al., 2010).

This application is significant because it exhibits a typical stochastic-Levinson mechanism in a rare-event regime: conditioning produces an effective deterministic skeleton, and the fluctuation theorem identifies the first random correction around that conditioned skeleton. The same paper also notes the usefulness of the general theorem in sequential exit problems, where the initial condition for one exit problem is itself random and has a nontrivial scaling law (Monter et al., 2010).

4. Periodic solutions in distribution for stochastic Newtonian systems

In the periodic-solution lineage, the stochastic Levinson conjecture is stated as follows: a stochastic time-periodic Newtonian system

$M\subset\mathbb{R}^d$1

admits a $M\subset\mathbb{R}^d$2-periodic solution in distribution if the system is dissipative (Duan et al., 14 Jul 2025). The terminology “distributed periodic solution” and “periodic solution in distribution” is used synonymously. For a Markov process $M\subset\mathbb{R}^d$3, $M\subset\mathbb{R}^d$4-periodicity means

$M\subset\mathbb{R}^d$5

Equivalently, the transition law is periodic in the Khasminskii sense: $M\subset\mathbb{R}^d$6 This is weaker than pathwise periodicity: it is periodicity of the distribution, not necessarily of each sample path (Duan et al., 14 Jul 2025).

The work in (Duan et al., 14 Jul 2025) emphasizes that Jiang–Li–Yang [8] had proved such existence only under additional growth restrictions, namely that the potential $M\subset\mathbb{R}^d$7 has at most quadratic growth under a restrictive dissipativity condition. They also pointed out that their theorem does not cover

$M\subset\mathbb{R}^d$8

and explicitly remarked that numerical simulations suggest it should still have a periodic solution in distribution. That equation is identified as the open problem from [8], and the later existence theory claims to resolve that case while “largely confirm[ing]” the conjecture (Duan et al., 14 Jul 2025).

The principal existence result is formulated for the system

$M\subset\mathbb{R}^d$9

Under assumptions (H1)–(H5), the system admits at least one $T=\inf\{t>0:S^t x_0\in M\},$0-periodic solution in distribution. A separate polynomial theorem covers

$T=\inf\{t>0:S^t x_0\in M\},$1

with $T=\inf\{t>0:S^t x_0\in M\},$2 and $T=\inf\{t>0:S^t x_0\in M\},$3 positive definite, and with either $T=\inf\{t>0:S^t x_0\in M\},$4 or $T=\inf\{t>0:S^t x_0\in M\},$5. In that case the system admits a $T=\inf\{t>0:S^t x_0\in M\},$6-periodic solution in distribution. A further theorem treats

$T=\inf\{t>0:S^t x_0\in M\},$7

assuming that the symmetric part of $T=\inf\{t>0:S^t x_0\in M\},$8 is uniformly positive and that $T=\inf\{t>0:S^t x_0\in M\},$9 grows superquadratically (Duan et al., 14 Jul 2025).

5. Lyapunov–Khasminskii mechanism and classes covered

The proof strategy is based on Khasminskii’s criterion: if a $z=S^T x_0\in M$0-periodic Lyapunov function $z=S^T x_0\in M$1 tends to $z=S^T x_0\in M$2 at infinity and its generator tends to $z=S^T x_0\in M$3 at infinity, then the SDE admits a $z=S^T x_0\in M$4-periodic Markov process (Duan et al., 14 Jul 2025). For the Hessian-driven friction model, the Lyapunov function is

$z=S^T x_0\in M$5

with $z=S^T x_0\in M$6 chosen so that $z=S^T x_0\in M$7. The mixed term

$z=S^T x_0\in M$8

is singled out as crucial because it exposes the dissipative structure at the generator level. The identities

$z=S^T x_0\in M$9

and

$0<T<\infty$0

lead to the generator estimate

$0<T<\infty$1

using assumptions (H3)–(H5). Since $0<T<\infty$2, the generator is negative outside a compact set, so Khasminskii’s criterion applies (Duan et al., 14 Jul 2025).

For the uniformly positive friction case, the choice

$0<T<\infty$3

gives

$0<T<\infty$4

and one obtains

$0<T<\infty$5

again sufficient for Khasminskii (Duan et al., 14 Jul 2025).

The range of systems covered is one of the main reasons this work is said to “largely confirm” the conjecture. The polynomial case requires positive definite leading homogeneous terms and removes the strict degree gap $0<T<\infty$6 imposed in earlier work of Li–Wang–Yang [6]. It therefore covers periodically forced van der Pol and van der Pol–Duffing type systems. In scalar form,

$0<T<\infty$7

with the necessary dissipativity condition

$0<T<\infty$8

The theory also treats a “plasma physics case,” where $0<T<\infty$9 may be bounded while $S^t x_0$00 grows fast enough so that

$S^t x_0$01

still holds. Examples given include

$S^t x_0$02

$S^t x_0$03

with the same $S^t x_0$04, and

$S^t x_0$05

with an exponentially growing $S^t x_0$06 (Duan et al., 14 Jul 2025).

A recurrent misconception is that the periodic result establishes pathwise periodic trajectories. The explicit definition rules this out: the conclusion is existence of a periodic solution in distribution. A second misconception is that the stochastic Levinson conjecture here is restricted to uniformly positive friction matrices; the cited results are stated precisely to go beyond that restriction by allowing Hessian-driven friction $S^t x_0$07, bounded perturbations of the friction structure, and noise growth under polynomial control (Duan et al., 14 Jul 2025).

6. Related Levinson-type theories and interpretive cautions

The broader Levinson literature makes clear that not every Levinson-type theorem is stochastic, even when it is relevant conceptually. “Levinson’s theorem for graphs” is a graph-theoretic scattering theorem in which the winding number of the phase of the reflection coefficient counts bound states, with half-bound states counted as half a bound state; it is a discrete topological analogue of classical scattering Levinson theorems, not a stochastic result (Childs et al., 2011). “Spectral results for perturbed periodic Jacobi matrices using the discrete Levinson technique” develops a deterministic Benzaid–Lutz/Harris–Lutz asymptotic method for Wigner–von Neumann perturbations and resonance conditions

$S^t x_0$08

again without randomness (Judge et al., 2017). “A local Levinson theorem for compact symmetric spaces” is a harmonic-analytic uncertainty principle in which local vanishing and spherical Fourier decay are controlled by the borderline series

$S^t x_0$09

and it is likewise non-stochastic (Bhowmik, 2019).

A stochastic analogue in a different direction appears in the theory of Riemann zeros and multiplicative chaos. There, suitably rescaled Mellin-type transforms of exponential functionals of Bourgade–Kuan–Rodgers statistics are conjecturally related to the total mass of the limit lognormal measure, the Mandelbrot–Bacry–Muzy lognormal multiplicative chaos. The conjecture associates a non-trivial, log-infinitely divisible probability distribution with Riemann zeros and identifies the limiting law with the Selberg integral distribution (Ostrovsky, 2015). That framework is stochastic and Levinson-type only in a broad interpretive sense, but it shows that Levinson language can migrate into probabilistic number theory when a deterministic asymptotic principle is replaced by a law for random exponentials (Ostrovsky, 2015).

Taken together, these strands support two interpretive cautions. First, “Stochastic Levinson Conjecture” is not a uniquely fixed theorem statement across the literature surveyed here. Second, the most direct stochastic meanings are those of the small-noise exit theorem (Monter et al., 2010) and the periodic-solution-in-distribution conjecture for dissipative stochastic Newtonian systems (Duan et al., 14 Jul 2025). In the former, the central object is a scaling limit for $S^t x_0$10; in the latter, it is existence of $S^t x_0$11-periodic laws under Lyapunov and dissipativity assumptions. Both are stochastic analogues of deterministic Levinson principles, but they concern different mathematical mechanisms: fluctuation theory near a transversal deterministic exit versus existence theory for dissipative time-periodic stochastic dynamics.