1: \begin{abstract}

2:   Nonlinear monotone transformations are used extensively in normalizing flows to construct invertible triangular mappings from simple distributions to complex ones.

3: In existing literature, monotonicity is usually enforced by restricting function classes or model parameters and the inverse transformation is often approximated by root-finding algorithms as a closed-form inverse is unavailable.

4: In this paper, we introduce a new integral-based approach termed "Atomic Unrestricted Time Machine (AUTM)", equipped with unrestricted integrands and easy-to-compute explicit inverse.

5: %where the inverse is obtained by simply swapping the integral limits in the forward transformation.

6: AUTM offers a versatile and efficient way to the design of normalizing flows with explicit inverse and unrestricted function classes or parameters.

7: % Unlike neural ODEs that rely on the expressive power of neural networks, the AUTM coupling and autoregressive flows allow unrestricted function classes to model the dynamics which can be as simple as polynomials, and the input dimensions are fully decoupled, giving rise to a much smaller Lipschitz constant and a lower triangular Jacobian.

8: Theoretically, we present a constructive proof that AUTM is universal: all monotonic normalizing flows can be viewed as limits of AUTM flows.

9: We provide a concrete example to show how to approximate any given monotonic normalizing flow using AUTM flows with guaranteed convergence.

10: The result implies that AUTM can be used to transform an existing flow into a new one equipped with explicit inverse and unrestricted parameters. The performance of the new approach is evaluated on high dimensional density estimation, variational inference and image generation.

11: Experiments demonstrate superior speed and memory efficiency of AUTM.

12: \end{abstract}

13: