Analytic Bijections for Smooth and Interpretable Normalizing Flows
Mathis Gerdes, Miranda C. N. Cheng
TL;DR
We address the challenge of designing expressive yet analytically invertible scalar bijections for normalizing flows by introducing globally smooth, unbounded, closed-form invertible bijections. The three analytic families—cubic rational, sinh, and cubic polynomial—together with a radial flow framework (including angular dependence via Fourier parametrization) provide drop-in replacements for affine or spline transforms and enable problem-specific designs that mitigate mode collapse. Across 1D density estimation, 2D coupling, and a φ^4 lattice field theory application, the methods match or exceed spline baselines while using far fewer parameters in radial architectures and offering interpretable, geometrically meaningful transformations. This work expands the normalizing flows design space, delivering stable training, smooth densities, and interpretable structure that scales to physics-inspired problems and beyond.
Abstract
A key challenge in designing normalizing flows is finding expressive scalar bijections that remain invertible with tractable Jacobians. Existing approaches face trade-offs: affine transformations are smooth and analytically invertible but lack expressivity; monotonic splines offer local control but are only piecewise smooth and act on bounded domains; residual flows achieve smoothness but need numerical inversion. We introduce three families of analytic bijections -- cubic rational, sinh, and cubic polynomial -- that are globally smooth ($C^\infty$), defined on all of $\mathbb{R}$, and analytically invertible in closed form, combining the favorable properties of all prior approaches. These bijections serve as drop-in replacements in coupling flows, matching or exceeding spline performance. Beyond coupling layers, we develop radial flows: a novel architecture using direct parametrization that transforms the radial coordinate while preserving angular direction. Radial flows exhibit exceptional training stability, produce geometrically interpretable transformations, and on targets with radial structure can achieve comparable quality to coupling flows with $1000\times$ fewer parameters. We provide comprehensive evaluation on 1D and 2D benchmarks, and demonstrate applicability to higher-dimensional physics problems through experiments on $φ^4$ lattice field theory, where our bijections outperform affine baselines and enable problem-specific designs that address mode collapse.
