---
title: Deep Koopman Autoencoders
url: https://www.emergentmind.com/topics/deep-koopman-autoencoders
type: topic
---

# Deep Koopman Autoencoders

Searching arXiv for recent and foundational papers on deep Koopman autoencoders and closely related variants.
Deep Koopman autoencoders are encoder–operator–decoder architectures that learn a nonlinear lifting of a dynamical system into latent coordinates in which evolution is approximately linear under a finite-dimensional Koopman operator, then map latent rollouts back to the original observation or state space. In representative formulations, the encoder maps \(x\) to \(y=g(x)\), the latent dynamics follow either \(\mathbf{y}_{i+1}=\mathbf{K}\mathbf{y}_i\) or a continuous-time generator \(\frac{d\mathbf{y}}{di}=\mathbf{\mathcal K}\mathbf{y}\), and the decoder implements \(\mathbf{x}=g^{-1}(\mathbf{y})\) [2211.08992]. Closely related formulations use learned embeddings together with EDMD in latent space, or replace a fixed discrete latent map with continuous-time latent integration and matrix-exponential rollout, but the common objective remains the same: to replace nonlinear state evolution by a simpler latent linear dynamics model without discarding reconstructive or predictive fidelity [2108.04433] [2602.02832].

## 1. Canonical architecture and operator-theoretic formulation

A standard deep Koopman autoencoder learns a nonlinear coordinate transformation into a latent space where the Koopman action is approximately closed. In DLKoopman, the encoder and decoder are MLPs, the latent dimension is user-specified by `encoded_size`, and the learned latent dynamics are either evolved by a Koopman matrix estimated from encoded data or by a linear neural layer, depending on the prediction mode [2211.08992]. In DLDMD, the encoder \(\mathcal{E}\) is explicitly interpreted as a learned observable map \(\mathcal{E}:\mathbb{R}^{N_s}\to\mathbb{R}^{N_o}\), and the latent space can be higher-dimensional than the original state space because the goal is lifting rather than compression [2108.04433].

The same basic pattern appears in continuous-time variants. One formulation writes the latent dynamics as
\[
\dot{\mathbf{z}}=\mathbf{K}_{\mathrm{cont}}(\phi)\,\mathbf{z},
\]
so that the exact latent solution is
\[
\mathbf{z}_\tau=\exp(\mathbf{K}\tau)\mathbf{z}_0,
\]
and decoding yields forecasts at arbitrary physical times rather than only at the training step size [2602.02832]. A probabilistic continuous-time formulation similarly imposes
\[
\dot{\mathbf{\Phi}}=\mathbf{\Phi}\mathbf{K},
\]
but augments the latent operator with a stability-guaranteeing parameterization and Bayesian uncertainty quantification [1906.03663].

This standard form should not be conflated with a purely compressive autoencoder. Several formulations emphasize that the learned latent variables are intended to behave as Koopman observables or approximate Koopman eigenfunction coordinates, so latent dimension, spectrum, and rollout stability are structural design variables rather than incidental neural-network hyperparameters [2108.04433].

## 2. Learning objectives and computational realizations

Training objectives in deep Koopman autoencoders typically combine reconstruction, latent linearity, and prediction. DLKoopman states the aggregate loss as
\[
L=L_{\text{lin}}+\alpha(L_{\text{recon}}+L_{\text{pred}})+\beta L_{\text{Autoencoder}}+\gamma L_K,
\]
with all three primary losses computed using MSE, and supports both a snapshot-based StatePred mode and a trajectory-based TrajPred mode [2211.08992]. DLDMD adds an explicit EDMD residual term,
\[
\mathcal{L}=\alpha_1\mathcal{L}_{\text{recon}}+\alpha_2\mathcal{L}_{\text{dmd}}+\alpha_3\mathcal{L}_{\text{pred}}+\alpha_4\|{\bf W}_g\|_2^2,
\]
thereby coupling invertibility of the encoder–decoder pair with one-step Koopman consistency and multi-step state-space prediction [2108.04433].

The computational realization of the latent operator varies. DLKoopman’s StatePred computes
\[
K=Y_{\text{next}}Y_{\text{prev}}^\dagger
\]
from encoded snapshots, followed by eigendecomposition-based evolution, while TrajPred represents the Koopman matrix directly as a linear neural network layer with equal input/output size, no bias, and no activation [2211.08992]. DLDMD instead runs EDMD on latent snapshots,
\[
{\bf K}_o=\arg\min_{\bf K}\|{\Psi}_+-{\bf K}{\Psi}_-\|_F^2,
\]
then diagonalizes \({\bf K}_o\) to recover spectra, modes, and forecasts [2108.04433].

Identification-oriented formulations shift emphasis from reconstruction toward simulation error. In deep state-space encoders for Koopman-form system identification, the latent model
\[
\hat z_{k+1}=A_\theta \hat z_k+B_\theta(\hat z_k)u_k,\qquad \hat y_k=C_\theta \hat z_k
\]
is trained by minimizing multi-step prediction error on trajectory subsections, enabling efficient batch optimization without full-horizon backpropagation through entire datasets [2110.02583]. This suggests two persistent lines of KAE development: one prioritizes reusable latent forecasting modules, and the other treats the encoder and latent operator as identification components of a state-space model.

## 3. Control-oriented and task-relevant formulations

A major branch of deep Koopman autoencoder research is explicitly control-oriented. DeepKoCo learns a Koopman-based latent representation from images, but does so with a tailored lossy autoencoder that reconstructs and predicts observed scalar costs rather than pixels. Its image pipeline stacks the last \(d\) frames, maps them through a convolutional encoder \(\Omega\), forms a latent state from the observation–action pair, and imposes linear latent evolution so that planning can be carried out with linear MPC rather than sample-based nonlinear MPC [2011.12690]. The defining design choice is that the representation is trained to predict costs, not to reproduce all observed dynamics, which the paper links to robustness against distractor dynamics.

For control-affine systems, several papers replace a purely linear latent propagator with bilinear or input-affine structure. tcBLRAN models
\[
\dot{z}=Az+\sum_{i=1}^m B_i z\,u_i,
\]
then discretizes this into a bilinearly recurrent autoencoder whose latent evolution is linear in \(z_t\), affine in the control \(u_t\), and bilinear overall [2503.19085]. A related Wiener-type Koopman formulation for MIMO input-affine systems instead keeps the latent dynamics linear time-invariant,
\[
\dot{\bm z}=A\bm z+B\bm u,
\]
while delegating plant nonlinearity to a nonlinear decoder \(\bm x=\bm T^{-1}(\bm z)\), yielding a control-oriented surrogate with a Wiener block structure [2201.12669].

These control-centric variants preserve the core KAE principle but modify what is meant by a “useful” latent linearization. In autonomous forecasting, linearity is often judged by predictive accuracy alone. In DeepKoCo, linearity is valuable because it enables linear MPC with only a single evaluation of the neural networks per control step; in bilinear and Wiener-type formulations, linear or bilinear latent structure is valuable because it aligns with model reduction and control synthesis requirements rather than only one-step forecasting [2011.12690] [2503.19085].

## 4. Spectral structure, consistency, and robustness

A recurring theme in the literature is that latent linearity alone is insufficient for robust long-horizon behavior. Temporally consistent Koopman autoencoders introduce a latent consistency regularizer based on the statement that a latent function space is Koopman invariant if and only if there exists \(K\) such that
\[
\Psi_e(x_{n+\kappa})=K^\kappa\Psi_e(x_n)
\]
for all \(n\) and \(\kappa\). The resulting temporal consistency loss compares predictions against one another across horizons rather than only against labels, and is reported to improve long-term forecasting especially under limited and noisy data [2403.12335]. The control-affine tcBLRAN extends the same principle to bilinear latent dynamics, enforcing agreement between predictions that arrive at the same future latent state from different rollout origins [2503.19085].

A distinct line of work addresses inference-time drift rather than training-time consistency. “Course Correcting Koopman Representations” argues that pure latent unrolling can produce invalid long-horizon behavior, including decoded phase-line crossings and failure to switch between basins of attraction. Its proposed Periodic Reencoding decodes and re-encodes every \(k\) steps, treating latent linearity as locally valid rather than globally reliable over arbitrarily long horizons [2310.15386]. A later variant augments the Koopman predictor with an attention-free latent memory block and dynamic re-encoding triggers such as EWMA, CUSUM, and sequential two-sample tests, with the explicit goal of keeping predictions on the learned manifold over horizons up to 1000 steps [2606.23957].

Robustness has also been pursued through spectral regularization and bias correction. “Eigenvalue initialisation and regularisation for Koopman autoencoders” proposes `eigeninit`, which samples initial Koopman operators from prescribed eigenvalue distributions, and `eigenloss`, which penalizes \(\sum_j\left||\lambda_j|-1\right|_2^2\); on the reported datasets these schemes improve convergence rate by up to a factor of \(5\) and reduce cumulative long-term prediction error by up to a factor of \(3\) [2212.12086]. “Deep Robust Koopman Learning from Noisy Data” identifies a different failure mode: noise-induced bias introduced by nonlinear lifting. It therefore learns both forward and backward latent dynamics,
\[
z_{k+1}=A_f z_k+B_f u_k,\qquad z_{k-1}=A_b z_k+B_b u_{k-1},
\]
and synthesizes a reduced-bias operator
\[
K_{\mathrm{proposed}}=\sqrt{K_{fm}K_{bm}^{-1}},
\]
for which the paper derives lower bias than the forward-only estimator under small-noise assumptions [2601.01971].

These developments directly address a common misconception: a successful one-step latent linearization does not by itself guarantee stable long-horizon rollouts, disentangled factors, or unbiased operator estimates. The literature instead treats spectrum design, temporal consistency, noise symmetry, and periodic projection back to the data manifold as separate, technically nontrivial problems.

## 5. Structured latent spaces and domain-specific extensions

Deep Koopman autoencoders have been extended beyond forecasting into representation-structuring objectives. Structured Koopman autoencoders for multifactor sequential disentanglement begin from a standard KAE with batchwise Koopman layer
\[
C=Z_p^+Z_f,
\]
but add a spectral regularizer that partitions the latent space into static and dynamic components. Static eigenvalues are pulled toward \(1\), while dynamic eigenvalues are pushed away from the static region, yielding a structured spectrum that supports multifactor disentanglement, factor swapping, and incremental swap operations in the Koopman eigenbasis [2303.17264]. The paper is explicit that a vanilla KAE does not guarantee disentanglement even when it models dynamics well.

In manufacturing, stochastic deep Koopman models reinterpret the latent state as stagewise quality information rather than generic system state. The SDK formulation defines per-stage encoded latent quality \(\hat H_k=\phi_k(X_k)\), propagates cumulative quality by
\[
H_k=\hat H_k+\mathcal{K}_{k-1}H_{k-1},
\]
and predicts stage outputs with \(\tilde Y_k=\mathrm{MLP}_k(H_k)\). Its stochastic extension replaces the deterministic autoencoder with a VAE, propagating means and log-variances separately and adding stagewise KL terms to the training objective [2309.10193]. This yields a stochastic Koopman autoencoder with supervised quality prediction and explicit traceability across production stages.

The framework has also been transferred to nonphysical “dynamics.” “Koopman Autoencoders Learn Neural Representation Dynamics” treats layer depth in a trained network as the time coordinate of a discrete dynamical system, learns a Koopman autoencoder surrogate for layer-to-layer representation evolution, and augments the objective with an encoder isometry term to preserve representation topology [2505.12809]. A more lightweight operator-learning extension studies adversarial regularization of Koopman autoencoders by adding a discriminator on the latent space and reports improvements on small-data ODE benchmarks such as pendulum, Lorenz, and a fluid attractor equation [2412.07811].

A plausible implication is that “deep Koopman autoencoder” denotes not a single architecture class but a family of latent-linearization models whose inductive bias can be repurposed for disentanglement, quality propagation, operator learning, or neural representation analysis whenever a linear latent evolution is considered structurally meaningful.

## 6. Empirical behavior, benchmark patterns, and limitations

Empirical results across the literature are heterogeneous but reveal recurrent patterns. DeepKoCo reports similar final performance to model-free baselines on clean pendulum swing-up, while being considerably more robust to distractor dynamics; on the manipulator tracking task, the baselines fail when the target moves, whereas DeepKoCo learns to track arbitrary circular trajectories, including from image observations [2011.12690]. DLKoopman reports a test prediction ANAE of \(6.95\%\) on the NACA0012 airfoil pressure example and supports interpolation at \(3.75^\circ\) and extrapolation at \(21^\circ\) in StatePred mode [2211.08992]. In multistage manufacturing, SDK achieves the lowest reported total test MSE, \(0.0220\), among ANN, RF, PGAT, DMMTL, S-AEK, E-AEK, and SDK [2309.10193].

Long-horizon forecasting is a particularly prominent evaluation regime. tcKAE reports, on clean pendulum data with \(N_{\text{train}}=32\), average errors of \(26.733\%\) for DAE, \(9.684\%\) for cKAE, and \(2.936\%\) for tcKAE, while also showing lower variance and better robustness under 40 dB and 30 dB noise [2403.12335]. An SVD-regularized consistent KAE for long-term prediction reports average prediction error over 1000 steps of \(0.00047\) for USVD-CKAE, compared with \(0.0014\) for Vanilla KAE and \(0.00523\) for CKAE, while converging around epoch 400 and using 168M FLOPS rather than the 362M of ISVD-CKAE [2408.11303]. A continuous-time latent-dynamics KAE for CFD reports that a 240-step rollout takes about \(1.21\) ms, versus about \(341.42\) ms for ACDM, and that the same latent ODE trained at \(\Delta t=0.1\) s can be queried at \(\Delta t=0.05\), \(0.1\), or \(0.2\) s with aligned rollouts at common physical times [2602.02832].

The literature is equally explicit about limitations. DLDMD notes that latent dimension must be tuned manually, large well-sampled datasets are often required, and prediction quality degrades for chaotic or noisy systems such as Lorenz-63 [2108.04433]. tcKAE reports a smaller advantage on sea surface temperature because the method assumes strong time invariance, whereas SST is influenced by seasonal and nonstationary effects [2403.12335]. Continuous-time CFD KAEs identify spectral bias and smoothing from \(L_2\)-style reconstruction, sensitivity of training stabilization, and the strength of the global linearity assumption for shocks and highly nonlinear phenomena [2602.02832]. Noise-robust and memory-corrected variants likewise imply that latent Markovian closure is generally approximate rather than exact [2601.01971] [2310.10745].

Taken together, these results indicate that deep Koopman autoencoders are most effective when the learned latent space is not only approximately linear but also spectrally well-conditioned, temporally coherent, and matched to the structural demands of the application. The central research problem has therefore shifted from merely fitting a latent linear operator to managing invariance error, spectral geometry, control relevance, and out-of-manifold drift over long horizons.

Source: https://www.emergentmind.com/topics/deep-koopman-autoencoders