Port--Hamiltonian Diffusion Models: A Control-Theoretic Perspective on Generative Modeling
Majid Darehmiraki
TL;DR
This work addresses the lack of interpretability and intrinsic stability in diffusion-based generative models by embedding diffusion dynamics within the port-Hamiltonian (PH) framework. It introduces an energy-based parameterization where the score equals $- abla_x H_ heta(x,t)$ and formulates both forward and reverse processes as PH flows, with the reverse time implemented as a feedback-controlled, dissipative system. A Lyapunov stability proposition shows that if the dissipation term $R+GG^\top$ is positive definite, the dynamics are globally asymptotically stable to the energy-minimizing equilibria, yielding robustness to score estimation errors and contraction of trajectory distributions. The framework clarifies its relationship to the exact reverse-time SDE, showing equivalence only in the ideal case where the learned Hamiltonian perfectly matches the true marginals, while offering a principled, structure-preserving alternative otherwise. Numerical illustrations in 1D and 2D demonstrate energy-dissipative sampling flows that converge to data-mode attractors, highlighting the practical potential for stable and interpretable generative modeling.
Abstract
Diffusion models have recently achieved remarkable success in generative modeling, yet they are commonly formulated as black-box stochastic systems with limited interpretability and few structural guarantees. In this paper, we establish a control-theoretic foundation for diffusion models by embedding them within the port--Hamiltonian (PH) systems framework. We show that the score function can be interpreted as the gradient of a learnable Hamiltonian energy, allowing both the forward and reverse diffusion processes to be formulated as structured PH dynamics. The reverse-time generative process is further interpreted as a feedback-controlled PH system, where dissipation plays a fundamental role in stabilizing sampling dynamics. This formulation yields intrinsic stability guarantees that are independent of score estimation accuracy. A simple analytical example illustrates the proposed framework.
