Search arXiv⌕ Search

arXiv · 2610.39580

Learning Kolmogorov Backward Operators for Spectral Analysis and Forecasting: A Data-Driven Variational Galerkin Framework

Abstract

For a time-homogeneous Markov process, the fixed-lag solution operator \( (T_τf)(x)=\mathbb E[f(X_{t+τ})\mid X_t=x] \) of the Kolmogorov backward equation evolves observables linearly and deterministically, even when the dynamics are stochastic. We approximate this operator using a two-stage method where we first approximate this operator directly from data, without knowledge of the governing equation (e.g., Fourier Neural Operator), and then compress the Galerkin projection onto a finite-dimensional observable space that is fixed in advance or selected variationally. The error analysis traces the learning error of the estimator, the sampling error of the Galerkin inner products, and the invariance and reconstruction properties of the observable space to the computed spectra and forecasts. The sampling error enters only through a multiplicative factor. Near an isolated spectral cluster, the invariance defect of a subspace controls its distance from the target invariant subspace. The forecast error is controlled by the one-step error of the reduced model and the projection error of the observable; when the measure is invariant and the reduced model preserves constants and is stable on mean-zero observables, the bound is uniform in the horizon. For deterministic dynamics, a learning rate for Fourier neural operators (FNOs) gives one explicit bound for the learning error. Numerical experiments illustrate spectral approximation and forecasting, including long-rollout stability and a comparison with extended dynamic mode decomposition (EDMD) when fewer transition pairs than basis functions are observed.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Yuanchao Xu, Claire Valva, Ben Gao, Isao Ishikawa. 2026-10-29. Learning Kolmogorov Backward Operators for Spectral Analysis and Forecasting: A Data-Driven Variational Galerkin Framework. https://arxiv.org/abs/2610.39580

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Extreme value theorem for geodesic flow on the quotient of the theta group

We establish an extreme value theorem for the geodesic flow $g_t$ on the hyperbolic surface $Θ\backslash\mathbb{H}^2$ associated with the theta group $Θ$. To capture excursions into both cusps of this surface, we introduce a generalized continued fraction algorithm obtained by splicing the even and odd--odd continued fraction maps into a single dynamical system. We prove that the natural extension of this map is isomorphic to the first return map of the geodesic flow on a suitable cross-section. Using spectral properties of the associated transfer operator, we derive a Galambos-type extreme value law for the digits of the spliced continued fraction. This symbolic result is then translated into a geometric extreme value theorem describing maximal cusp excursions of geodesics on $Θ\backslash\mathbb{H}^2$.

math.DS↗

Asymmetry of a class of Mellin transforms

We consider a class of Mellin transforms $μ_η$ associated with a class of functions $η$, defined for every complex $s$ in the critical strip. We establish sufficient conditions on $η$ under which $μ_η(s)$ and $μ_η(1-s)$ cannot both vanish outside the critical line for sufficiently large imaginary parts of $s$. An application is given to the case in which $η$ is the fractional part function, for which the zeros of $μ_η$ coincide with the zeros of the Riemann zeta function.

math.DS↗

Equilibria in Motion: Stability, Tracking, and Convergence

{We study nonautonomous systems whose equilibrium sets are nonisolated and move with time. Their motion is measured on each ball by a localized Attouch--Wets distance, which yields an equilibrium speed that may depend on the radius. The distance from a trajectory to the current equilibrium set is estimated in two ways: through a composite Lyapunov function compared with a power of this distance, and, without any Lyapunov function, through a decay condition on the frozen vector fields. In the first setting, we prove practical stability, and Lyapunov stability when the dissipation has no residual, a case that forces the equilibrium sets to be nested. In the second, we obtain, in the region where the decay condition holds, an explicit tracking estimate driven by the equilibrium speed and the inputs, and we prove asymptotic tracking whenever their averages over unit time intervals vanish, a condition that cannot be weakened among conditions on the speed alone. We also derive input-to-state stability bounds and explicit convergence rates. When the equilibrium speeds are integrable, the equilibrium sets converge in the Attouch--Wets sense to a limiting set at an explicit rate. If, moreover, the velocity is bounded by a multiple of the distance to the current equilibrium set, every trajectory remaining in the region considered has finite length and converges to a point of the limiting set; for a fixed equilibrium set, this yields semistability. The results are illustrated on a scalar example and on resource-allocation models with time-varying demand and with rotating weights.

math.DS↗