- The paper presents a novel Lie Generator Network-Koopman (LGN-KM) that lifts nonlinear PDEs into a latent linear space for direct spectral analysis.
- It enforces an S-D decomposition with a skew-symmetric matrix and positive-definite dissipation, guaranteeing modal interpretability and provable spectral stability.
- Experimental results demonstrate that LGN-KM recovers Navier-Stokes dissipation scaling with high R² values and supports efficient cross-regime transfer.
Lie Generator Networks for Koopman Linearization of Nonlinear PDE Dynamics
Introduction
The paper presents Lie Generator Network-Koopman (LGN-KM), a spectral neural operator that leverages a continuous-time Koopman generator with a Lie theoretic decomposition to describe and analyze the evolution of nonlinear PDEs in a linear latent space. This architecture enables direct access to the generator’s eigenspectrum, facilitating modal diagnostics and stability guarantees unprecedented in prior neural operator and Koopman learning frameworks.
Architecture and Methodological Contributions
LGN-KM employs a structured generator Lk=S−Dk, comprising a skew-symmetric, globally shared component S and a wavenumber-dependent positive-definite diagonal Dk. The neural network pipeline integrates a nonlinear encoder implementing Koopman lifting, which projects the input temporal-spatial data into an r-dimensional latent channel space. The latent fields are Fourier transformed for spectral propagation.
- Generator construction: S encodes conservative inter-modal (i.e., inter-channel) coupling, ensuring the presence of conjugate eigenvalue pairs (purely imaginary in the absence of dissipation). Dk models mode-selective dissipation, parameterized to enforce viscous Laplacian scaling in the spectral domain.
- Propagation: The time evolution is computed by matrix exponentiation Ct[k]=exp(Lkt)C0[k] at each wavenumber. This realizes a continuous-time solution operator and confines the computational cost to O(1) in the prediction horizon.
- Decoder and Training: A pointwise decoder projects the propagation back to observables, with the entire model trained end-to-end against trajectory reconstruction, without explicit physics-based loss or supervision.
This S-D decomposition both imposes and reveals interpretable physics constraints and guarantees long-horizon contractivity due to the negative real part of all generator eigenvalues.
Empirical Analysis on Nonlinear Dynamics
Recovery of Physical Laws from Data
On 2D Navier-Stokes turbulence, LGN-KM recovers the full modal dispersion relation and scaling laws intrinsic to the underlying PDEs. Notably:
- The dominant generator eigenvalue’s real part exhibits ∣k∣2 linear scaling, reconstructing the viscid dissipation term from data alone.
- Multiple dispersion branches, governed by S (oscillation frequencies, bounded independently of S0) and S1 (decay rates, growing linearly in S2), are resolved and continuously parameterized by wavenumber.
- Every eigenvalue strictly satisfies S3, ensuring global stability.
Quantitatively, dissipation scaling fits achieve S4 across flow regimes. The consistent eigenspectral structures between independently trained models at different viscosities support the theoretical prediction of universality in the advective coupling (Kolmogorov’s similarity hypothesis).
Universality and Gauge Symmetry
The learned S5 matrices exhibit low raw cosine similarity across viscosities but nearly identical singular value spectra, signifying gauge freedom in the Koopman lifting: physical content is encoded in gauge-invariant eigenspectra rather than coordinate representations.
Similarly, cross-regime analysis confirms that the Laplacian dissipation coefficients S6 diverge as physical conditions change (reflecting viscosity dependence), while the base damping S7 and singular value profile of S8 remain nearly universal (S9 for Dk0-SVD and Dk1).
Generalization Beyond Fluid Dynamics
Applications to 2D FitzHugh-Nagumo reaction-diffusion show LGN-KM’s architectural priors generalize; the generator recovers the anticipated diffusive scaling of the dominant eigenvalue with Dk2 and universal conservative structure in Dk3, even with radically distinct nonlinearities and physical domains.
Stability, Continuous-Time Reasoning, and Model Transfer
The enforced generator structure enables unique utilities compared to conventional neural operators:
- Long-horizon stability: Unlike autoregressive baselines such as FNO, LGN-KM’s rollouts cannot diverge, as energy monotonically decays or is conserved in the latent linear system.
- Continuous-time prediction: Owing to the continuous parameter Dk4 in Dk5, predictions at arbitrary time horizons require only a single evaluation—bypassing the linear cost of sequential neural operator applications.
- Physics-informed transfer: The universal skew-symmetric part Dk6 can be frozen and transferred between regimes (e.g., low to high viscosity), dramatically reducing target data requirements and accelerating convergence in new physical regimes, which is grounded in the separation of universal (conservative) and regime-dependent (dissipative) generator components.
LGN-KM extends and structurally differentiates from existing Koopman operator learning, neural operator, and structure-preserving modeling approaches:
- Deep Koopman and extended DMD methods learn (often unconstrained) discrete or continuous operators but typically forsake stability and direct spectral interpretability.
- SGNO constrains generator eigenvalues for stability but lacks oscillatory/conservative inter-channel structure due to diagonal-only dissipation.
- Hamiltonian, Lagrangian, and symplectic neural nets preserve invariants through implicit integration but do not directly parameterize or expose a spectral generator.
Critically, only the full S-D decomposition provides guaranteed stability, physically interpretable eigenspectra, and mechanism for universal structure transfer.
Limitations and Future Directions
- Accuracy trade-off: Imposing generator constraints reduces one-step forecast accuracy compared to unconstrained neural operators but yields interpretable and robust long-horizon behavior.
- Scalability: While the cost of the matrix exponential is negligible for moderate latent sizes (Dk7), scaling to very large Dk8 may require approximations or algorithmic improvements.
- Scope and extensibility: The current model leverages a per-mode Fourier decomposition, inherently tied to periodic boundary conditions in current experiments. Extensions to non-periodic, three-dimensional, or more heterogeneous domains remain open.
- Gauge ambiguity: The non-uniqueness of the Koopman lifting warrants future development of alignment or canonicalization procedures for direct parameter comparison and transfer.
Conclusion
LGN-KM establishes a new paradigm for neural operator learning of nonlinear PDEs, combining architectural guarantees of spectral accessibility, stability, and interpretable universal structure with practical computational advantages in long-horizon and cross-regime tasks. This approach promotes linear analysis of nonlinear dynamics, facilitating both theoretical investigation and robust simulation, and sets the stage for further development of physically structured, continuous-time machine learning representations for complex dynamical systems.
For those pursuing theoretical and practical advances in operator learning, dynamical system identification, and physics-informed machine learning, the framework outlined in "Lie Generator Networks for Nonlinear Partial Differential Equations" (2603.29264) offers a robust, interpretable, and extensible foundation.