Strassen's classical martingale coupling theorem states that two real-valued random variables are ordered in the convex (resp. increasing convex) stochastic order if and only if they admit a martingale (resp. submartingale) coupling. By analyzing topological properties of spaces of probability measures equipped with a Wasserstein metric and applying a measurable selection theorem, we prove a conditional version of this result for real-valued random variables conditioned on a random element taking values in a general measurable space. We also provide an analogue of the conditional martingale coupling theorem in the language of probability kernels and illustrate how this result can be applied in the analysis of pseudo-marginal Markov chain Monte Carlo algorithms. We also illustrate how our results imply the existence of a measurable minimiser in the context of martingale optimal transport.
The main result of this article (Theorem ) extends Theorem to parametrised collections of ordered pairs of probability distributions, in contrast with ordered sequences as in @cite_3 @cite_24 . The proof of Theorem is based on measurability properties of related set-valued mappings and an application of a measurable selection theorem of Kuratowski and Ryll-Nardzewski @cite_1 . We are unaware of earlier results which would be directly applicable in this context. However, similar results related to martingale couplings have appeared recently in the context of optimal transport. Beiglboeck and Juillet @cite_9 consider the problem of finding an optimal transport plan under the constraint that the transport plan is a martingale. The work of Fontbona, Gu 'erin and M 'el 'eard @cite_26 has the most similarities with our developments. With the notation above, they consider finding a measurable optimal transport plan between @math and @math . The work of Hobson @cite_28 , brought to our attention by a referee, provides an explicit Skorokhod embedding of two univariate convex ordered distributions. This embedding could be used to prove our result in the scalar case.
@cite_26 @cite_28 @cite_9 @cite_1 @cite_3 @cite_24
2035707149 251161633 2283275366 26548841 1978744255 582076706
We consider the optimal mass transportation problem in @math with measurably parameterized marginals under conditions ensuring the existence of a unique optimal transport map. We prove a joint measurability result for this map, with respect to the space variable and to the parameter. The proof needs to establish the measurability of some set-valued mappings, related to the support of the optimal transference plans, which we use to perform a suitable discrete approximation procedure. A motivation is the construction of a strong coupling between orthogonal martingale measures. By this we mean that, given a martingale measure, we construct in the same probability space a second one with a specified covariance measure process. This is done by pushing forward the first martingale measure through a predictable version of the optimal transport map between the covariance measures. This coupling allows us to obtain quantitative estimates in terms of the Wasserstein distance between those covariance measures. The basic problem of optimal transportation consists in minimizing the expected costs E[c(X1,X2)] by varying the joint distribution (X1,X2) where the marginal distributions of the random variables X1 and X2 are fixed. Inspired by recent applications in mathematical finance and connections with the peacock problem, we study this problem under the additional condition that (Xi)i=1,2 is a martingale, that is, E[X2|X1]=X1. We establish a variational principle for this problem which enables us to determine optimal martingale transport plans for specific cost functions. In particular, we identify a martingale coupling that resembles the classic monotone quantile coupling in several respects. In analogy with the celebrated theorem of Brenier, the following behavior can be observed: If the initial distribution is continuous, then this “monotone martingale” is supported by the graphs of two functions T1,T2:R→R . Sliced Wasserstein metrics between probability measures solve the optimal transport (OT) problem on univariate projections, and average such maps across projections. The recent interest for the SW distance shows that much can be gained by looking at optimal maps between measures in smaller subspaces, as opposed to the curse-of-dimensionality price one has to pay in higher dimensions. Any transport estimated in a subspace remains, however, an object that can only be used in that subspace. We propose in this work two methods to extrapolate, from an transport map that is optimal on a subspace, one that is nearly optimal in the entire space. We prove that the best optimal transport plan that takes such "subspace detours" is a generalization of the Knothe-Rosenblatt transport. We show that these plans can be explicitly formulated when comparing Gaussians measures (between which the Wasserstein distance is usually referred to as the Bures or Fr 'echet distance). Building from there, we provide an algorithm to select optimal subspaces given pairs of Gaussian measures, and study scenarios in which that mediating subspace can be selected using prior information. We consider applications to NLP and evaluation of image quality (FID scores). We investigate the minimization of Newton's functional for the problem of the body of minimal resistance with maximal height @math cite butt in the class of convex developable functions defined in a disc. This class is a natural candidate to find a (non-radial) minimizer in accordance with the results of cite lrp2. We prove that the minimizer in this class has a minimal set in the form of a regular polygon with @math sides centered in the disc, and numerical experiments indicate that the natural number @math is a non-decreasing function of @math . The corresponding functions all achieve a lower value of the functional than the optimal radially symmetric function with the same height @math .