Abstract:The Wasserstein distance $\mathcal{W}_p$ is an important instance of an optimal transport cost. Its numerous mathematical properties as well as applications to various fields such as mathematical finance and statistics have been well studied in recent years. The adapted Wasserstein distance $\mathcal{A}\mathcal{W}_p$ extends this theory to laws of discrete time stochastic processes in their natural filtrations, making it particularly well suited for analyzing time-dependent stochastic optimization problems. While the topological differences between $\mathcal{A}\mathcal{W}_p$ and $\mathcal{W}_p$ are well understood, their differences as metrics remain largely unexplored beyond the trivial bound $\mathcal{W}_p\lesssim \mathcal{A}\mathcal{W}_p$. This paper closes this gap by providing upper bounds of $\mathcal{A}\mathcal{W}_p$ in terms of $\mathcal{W}_p$ through investigation of the smooth adapted Wasserstein distance. Our upper bounds are explicit and are given by a sum of $\mathcal{W}_p$, Eder's modulus of continuity and a term characterizing the tail behavior of measures. As a consequence, upper bounds on $\mathcal{W}_p$ automatically hold for $\mathcal{AW}_p$ under mild regularity assumptions on the measures considered. A particular instance of our findings is the inequality $\mathcal{A}\mathcal{W}_1\le C\sqrt{\mathcal{W}_1}$ on the set of measures that have Lipschitz kernels. Our work also reveals how smoothing of measures affects the adapted weak topology. In fact, we find that the topology induced by the smooth adapted Wasserstein distance exhibits a non-trivial interpolation property, which we characterize explicitly: it lies in between the adapted weak topology and the weak topology, and the inclusion is governed by the decay of the smoothing parameter.

A note on the adapted weak topology in discrete time

All Adapted Topologies are Equal

On the Weak Convergence of Vector-Valued Continuous Random Processes

Estimating processes in adapted Wasserstein distance

On a weak topology for Hadamard spaces

The Linear Topology Associated with Weak Convergence of Probability Measures

A Full-Invariant Theorem and Some Applications

Weak convergence of topological measures

Bounding adapted Wasserstein metrics

Continuity in Weak Topology: First Order Linear Systems of ODE

Weak fuzzy topology on fuzzy topological vector spaces

Weak$^{\ast }$ Hypertopologies with Application to Genericity of Convex Sets

Applications of weak transport theory

Functional weak convergence of stochastic integrals for moving averages and continuous-time random walks

A note on weak Banach mean equicoontinuity

Continuity in Weak Topology and Extremal Problems of Eigenvalues of the P-Laplacian

Strong large deviation principles for pair empirical measures of random walks in the Mukherjee-Varadhan topology

A note on weak mean equicontinuity and strong mean sensitivity

Weak Lipschitz structures and their connections with the topological structures

On the stability of filtration functions for dependent data with applications to break detection

On local aspects of topological weak mixing in dimension one and beyond