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 Regions of Attraction in Unknown Dynamical Systems via Zubov-Koopman Lifting: Regularities and Convergence

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

Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems

Data-driven Estimation for a Region of Attraction for Transient Stability Using the Koopman Operator

Robustly Learning Regions of Attraction from Fixed Data

LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction

Towards Data-driven LQR with Koopmanizing Flows

Estimation of non-symmetric and unbounded region of attraction using shifted shape function and R-composition

Exact Asymptotic Stability Analysis and Region-of-Attraction Estimation for Nonlinear Systems

Koopman-inspired Implicit Backward Reachable Sets for Unknown Nonlinear Systems

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

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

System norm regularization methods for Koopman operator approximation

A Convex Optimization Approach to Learning Koopman Operators

Towards Scalable Koopman Operator Learning: Convergence Rates and A Distributed Learning Algorithm

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

Limits and Powers of Koopman Learning

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

Diffeomorphically Learning Stable Koopman Operators

Learning Bilinear Models of Actuated Koopman Generators from Partially-Observed Trajectories

Learning Koopman Operators with Control Using Bi-level Optimization