Embedding laws in diffusions by functions of time

We present a constructive probabilistic proof of the fact that if $B=(B_t)_{t\ge0}$ is standard Brownian motion started at $0$, and $\mu$ is a given probability measure on $\mathbb{R}$ such that $\mu(\{0\})=0$, then there exists a unique left-continuous increasing function $b:(0,\infty)\rightarrow\mathbb{R}\cup\{+\infty\}$ and a unique left-continuous decreasing function $c:(0,\infty)\rightarrow\mathbb{R}\cup\{-\infty\}$ such that $B$ stopped at $\tau_{b,c}=\inf\{t>0\vert B_t\ge b(t)$ or $B_t\le c(t)\}$ has the law $\mu$. The method of proof relies upon weak convergence arguments arising from Helly's selection theorem and makes use of the L\'{e}vy metric which appears to be novel in the context of embedding theorems. We show that $\tau_{b,c}$ is minimal in the sense of Monroe so that the stopped process $B^{\tau_{b,c}}=(B_{t\wedge\tau_{b,c}})_{t\ge0}$ satisfies natural uniform integrability conditions expressed in terms of $\mu$. We also show that $\tau_{b,c}$ has the smallest truncated expectation among all stopping times that embed $\mu$ into $B$. The main results extend from standard Brownian motion to all recurrent diffusion processes on the real line.Comment: Published at http://dx.doi.org/10.1214/14-AOP941 in the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org

An Optimal Skorokhod Embedding for Diffusions

Given a Brownian motion $B_t$ and a general target law $\mu$ (not necessarily centered or even integrable) we show how to construct an embedding of $\mu$ in $B$. This embedding is an extension of an embedding due to Perkins, and is optimal in the sense that it simultaneously minimises the distribution of the maximum and maximises the distribution of the minimum among all embeddings of $\mu$. The embedding is then applied to regular diffusions, and used to characterise the target laws for which a $H^p$-embedding may be found.Comment: 22 pages, 4 figure

On joint distributions of the maximum, minimum and terminal value of a continuous uniformly integrable martingale

We study the joint laws of a continuous, uniformly integrable martingale, its maximum, and its minimum. In particular, we give explicit martingale inequalities which provide upper and lower bounds on the joint exit probabilities of a martingale, given its terminal law. Moreover, by constructing explicit and novel solutions to the Skorokhod embedding problem, we show that these bounds are tight. Together with previous results of Az\'ema & Yor, Perkins, Jacka and Cox & Ob{\l}\'oj, this allows us to completely characterise the upper and lower bounds on all possible exit/no-exit probabilities, subject to a given terminal law of the martingale. In addition, we determine some further properties of these bounds, considered as functions of the maximum and minimum.Comment: 19 pages, 4 figures. This is the authors' accepted version of the paper which will appear in Stochastic Processes and their Application

Optimal Transport and Skorokhod Embedding

The Skorokhod embedding problem is to represent a given probability as the distribution of Brownian motion at a chosen stopping time. Over the last 50 years this has become one of the important classical problems in probability theory and a number of authors have constructed solutions with particular optimality properties. These constructions employ a variety of techniques ranging from excursion theory to potential and PDE theory and have been used in many different branches of pure and applied probability. We develop a new approach to Skorokhod embedding based on ideas and concepts from optimal mass transport. In analogy to the celebrated article of Gangbo and McCann on the geometry of optimal transport, we establish a geometric characterization of Skorokhod embeddings with desired optimality properties. This leads to a systematic method to construct optimal embeddings. It allows us, for the first time, to derive all known optimal Skorokhod embeddings as special cases of one unified construction and leads to a variety of new embeddings. While previous constructions typically used particular properties of Brownian motion, our approach applies to all sufficiently regular Markov processes.Comment: Substantial revision to improve the readability of the pape