Search papers, labs, and topics across Lattice.
This paper introduces a method for quantifying invariance and projection errors in data-driven Koopman operator approximations using principal angles between a subspace and its Koopman image. The approach provides a principal angle decomposition (PAD) to improve upon SVD truncation and offers multi-step error bounds for Koopman and Perron-Frobenius mode decompositions. Validated spectral analysis, certified forecasting, and principled dictionary/kernel learning are demonstrated on chaotic systems, high-dimensional benchmarks, and real-world datasets, enabling more trustworthy Koopman operator learning.
Data-driven Koopman operator approximations can now be validated and improved using a novel principal angle decomposition, leading to more reliable spectral analysis and forecasting.
Koopman operator theory provides a global linear representation of nonlinear dynamics and underpins many data-driven methods. In practice, however, finite-dimensional feature spaces induced by a user-chosen dictionary are rarely invariant, so closure failures and projection errors lead to spurious eigenvalues, misleading Koopman modes, and overconfident forecasts. This paper addresses a central validation problem in data-driven Koopman methods: how to quantify invariance and projection errors for an arbitrary feature space using only snapshot data, and how to use these diagnostics to produce actionable guarantees and guide dictionary refinement? A unified a posteriori methodology is developed for certifying when a Koopman approximation is trustworthy and improving it when it is not. Koopman invariance is quantified using principal angles between a subspace and its Koopman image, yielding principal observables and a principal angle decomposition (PAD), a dynamics-informed alternative to SVD truncation with significantly improved performance. Multi-step error bounds are derived for Koopman and Perron--Frobenius mode decompositions, including RKHS-based pointwise guarantees, and are complemented by Gaussian process expected error surrogates. The resulting toolbox enables validated spectral analysis, certified forecasting, and principled dictionary and kernel learning, demonstrated on chaotic and high-dimensional benchmarks and real-world datasets, including cavity flow and the Pluto--Charon system.
