Table of Contents
Fetching ...

Hierarchical Koopman Diffusion: Fast Generation with Interpretable Diffusion Trajectory

Hanru Bai, Weiyang Ding, Difan Zou

TL;DR

This work tackles the slow sampling inherent in diffusion models while preserving interpretability of the generation process. It introduces Hierarchical Koopman Diffusion (HKD), a framework that lifts diffusion dynamics into a multi-scale Koopman latent space where the evolution is linear, enabling one-step sampling and explicit access to intermediate states. HKD uses a U-Net-like encoder to project, per-scale linear Koopman operators to evolve the latent features, and a shared decoder to reconstruct images, with a trajectory-consistency loss that supervises intermediate states. Spectral analysis of the learned Koopman operators provides interpretable insights into generation dynamics and enables frequency-aware editing. Empirically, HKD achieves competitive one-step generation performance on CIFAR-10 and FFHQ, while offering a principled mechanism for interpretability and controllable synthesis via spectral components, all with improved training stability and efficiency.

Abstract

Diffusion models have achieved impressive success in high-fidelity image generation but suffer from slow sampling due to their inherently iterative denoising process. While recent one-step methods accelerate inference by learning direct noise-to-image mappings, they sacrifice the interpretability and fine-grained control intrinsic to diffusion dynamics, key advantages that enable applications like editable generation. To resolve this dichotomy, we introduce \textbf{Hierarchical Koopman Diffusion}, a novel framework that achieves both one-step sampling and interpretable generative trajectories. Grounded in Koopman operator theory, our method lifts the nonlinear diffusion dynamics into a latent space where evolution is governed by globally linear operators, enabling closed-form trajectory solutions. This formulation not only eliminates iterative sampling but also provides full access to intermediate states, allowing manual intervention during generation. To model the multi-scale nature of images, we design a hierarchical architecture that disentangles generative dynamics across spatial resolutions via scale-specific Koopman subspaces, capturing coarse-to-fine details systematically. We empirically show that the Hierarchical Koopman Diffusion not only achieves competitive one-step generation performance but also provides a principled mechanism for interpreting and manipulating the generative process through spectral analysis. Our framework bridges the gap between fast sampling and interpretability in diffusion models, paving the way for explainable image synthesis in generative modeling.

Hierarchical Koopman Diffusion: Fast Generation with Interpretable Diffusion Trajectory

TL;DR

This work tackles the slow sampling inherent in diffusion models while preserving interpretability of the generation process. It introduces Hierarchical Koopman Diffusion (HKD), a framework that lifts diffusion dynamics into a multi-scale Koopman latent space where the evolution is linear, enabling one-step sampling and explicit access to intermediate states. HKD uses a U-Net-like encoder to project, per-scale linear Koopman operators to evolve the latent features, and a shared decoder to reconstruct images, with a trajectory-consistency loss that supervises intermediate states. Spectral analysis of the learned Koopman operators provides interpretable insights into generation dynamics and enables frequency-aware editing. Empirically, HKD achieves competitive one-step generation performance on CIFAR-10 and FFHQ, while offering a principled mechanism for interpretability and controllable synthesis via spectral components, all with improved training stability and efficiency.

Abstract

Diffusion models have achieved impressive success in high-fidelity image generation but suffer from slow sampling due to their inherently iterative denoising process. While recent one-step methods accelerate inference by learning direct noise-to-image mappings, they sacrifice the interpretability and fine-grained control intrinsic to diffusion dynamics, key advantages that enable applications like editable generation. To resolve this dichotomy, we introduce \textbf{Hierarchical Koopman Diffusion}, a novel framework that achieves both one-step sampling and interpretable generative trajectories. Grounded in Koopman operator theory, our method lifts the nonlinear diffusion dynamics into a latent space where evolution is governed by globally linear operators, enabling closed-form trajectory solutions. This formulation not only eliminates iterative sampling but also provides full access to intermediate states, allowing manual intervention during generation. To model the multi-scale nature of images, we design a hierarchical architecture that disentangles generative dynamics across spatial resolutions via scale-specific Koopman subspaces, capturing coarse-to-fine details systematically. We empirically show that the Hierarchical Koopman Diffusion not only achieves competitive one-step generation performance but also provides a principled mechanism for interpreting and manipulating the generative process through spectral analysis. Our framework bridges the gap between fast sampling and interpretability in diffusion models, paving the way for explainable image synthesis in generative modeling.
Paper Structure (55 sections, 7 theorems, 38 equations, 17 figures, 6 tables, 2 algorithms)

This paper contains 55 sections, 7 theorems, 38 equations, 17 figures, 6 tables, 2 algorithms.

Key Result

Theorem 3.1

Let $err_{\text{HKD}}$ and $err_{\text{one-step}}$ be the ideal estimation errors of our proposed HKD model and an end-to-end one-step model with the same total number of activation functions we have, where $\kappa =\max\left\{\frac{2\sqrt3\sigma m^2\rho _{\sup}}{\sqrt{N(\frac{\delta}{3} -2m^{-\frac{r}{3}})}-\sqrt3\sigma m^2}, \frac{2\sqrt3\sigma m^2\rho _{\inf}}{\sqrt{N(\frac{\delta}{3} -2m^{-\f

Figures (17)

  • Figure 1: The framework of the proposed method. The HKD model first hierarchically extracts different-level features from the given noisy image at any time $t$ by encoder $\mathcal{E}$. Secondly, the Koopman dynamics model is applied for each level to the skips and the bottleneck. Last, a uniform decoder $\mathcal{D}$ performs the mapping from the Koopman spaces back to the image space.
  • Figure 1: Sample quality on CIFAR-10 dataset.
  • Figure 2: Image reconstruction from noisy inputs at time $t$ highlights the consistency enforced by our framework. The left-most image is obtained from $\boldsymbol x_T$ and the right-most is from $\boldsymbol x_0$.
  • Figure 2: Sample quality on FFHQ.
  • Figure 3: More complex surfaces need denser triangulation for the same error.
  • ...and 12 more figures

Theorems & Definitions (16)

  • Definition 2.1: Koopman Operator mezic2005spectral
  • Definition 3.1: Trajectory Consistency Loss
  • Theorem 3.1: Comparison of Error Bounds for One-Step Diffusions
  • Proposition C.1
  • proof
  • Proposition C.2: Equivalence of Trajectory Consistency Losses under Structural Assumptions, Informal
  • proof
  • Proposition C.3: Equivalence of Trajectory Consistency Losses under Structural Assumptions, Formal
  • proof
  • Definition C.1: The Simplicial Error
  • ...and 6 more