Abstract:Dynamical systems provide a comprehensive way to study complex and changing behaviors across various sciences. Many modern systems are too complicated to analyze directly or we do not have access to models, driving significant interest in learning methods. Koopman operators have emerged as a dominant approach because they allow the study of nonlinear dynamics using linear techniques by solving an infinite-dimensional spectral problem. However, current algorithms face challenges such as lack of convergence, hindering practical progress. This paper addresses a fundamental open question: \textit{When can we robustly learn the spectral properties of Koopman operators from trajectory data of dynamical systems, and when can we not?} Understanding these boundaries is crucial for analysis, applications, and designing algorithms. We establish a foundational approach that combines computational analysis and ergodic theory, revealing the first fundamental barriers -- universal for any algorithm -- associated with system geometry and complexity, regardless of data quality and quantity. For instance, we demonstrate well-behaved smooth dynamical systems on tori where non-trivial eigenfunctions of the Koopman operator cannot be determined by any sequence of (even randomized) algorithms, even with unlimited training data. Additionally, we identify when learning is possible and introduce optimal algorithms with verification that overcome issues in standard methods. These results pave the way for a sharp classification theory of data-driven dynamical systems based on how many limits are needed to solve a problem. These limits characterize all previous methods, presenting a unified view. Our framework systematically determines when and how Koopman spectral properties can be learned.

Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems

Learning Bounded Koopman Observables: Results on Stability, Continuity, and Controllability

Learning Stable Koopman Embeddings for Identification and Control

Koopman-Based Learning of Infinitesimal Generators without Operator Logarithm

Limits and Powers of Koopman Learning

Data-driven optimal control of unknown nonlinear dynamical systems using the Koopman operator

Learning Koopman Operators with Control Using Bi-level Optimization

Data-Driven Nonlinear Stabilization Using Koopman Operator

Learning Deep Neural Network Representations for Koopman Operators of Nonlinear Dynamical Systems

Learning deep Koopman operators with convex stability constraints

Koopman Operator in the Weighted Function Spaces and its Learning for the Estimation of Lyapunov and Zubov Functions

Koopman Operator Theory for Nonlinear Dynamic Modeling using Dynamic Mode Decomposition

Distributed Deep Koopman Learning for Nonlinear Dynamics

Learning Stable Models for Prediction and Control

Extracting Koopman Operators for Prediction and Control of Non-linear Dynamics Using Two-stage Learning and Oblique Projections

Decomposition of Nonlinear Dynamical Systems Using Koopman Gramians

Physics-informed Deep Koopman Operator for Lagrangian Dynamic Systems

Deep Koopman Operator With Control for Nonlinear Systems

Diffeomorphically Learning Stable Koopman Operators

Linear quadratic control of nonlinear systems with Koopman operator learning and the Nyström method

On Few Shot Learning of Dynamical Systems: A Koopman Operator Theoretic Approach