# Fine Properties of the Optimal Skorokhod Embedding Problem

## TL;DR

This paper investigates the properties of the optimal Skorokhod embedding problem, establishing density of stopping times, duality results, and geometric characterizations of optimal embeddings, with implications for optimal transport theory.

## Contribution

It proves the density of stopping times in randomized embeddings, introduces a relaxed dual problem ensuring solution existence, and characterizes optimal embeddings geometrically.

## Key findings

- Density of stopping times in randomized embeddings
- Existence of dual solutions with relaxed problem
- Monotonicity principle for optimal embeddings

## Abstract

We study the problem of stopping a Brownian motion at a given distribution $\nu$ while optimizing a reward function that depends on the (possibly randomized) stopping time and the Brownian motion. Our first result establishes that the set $\mathcal{T}(\nu)$ of stopping times embedding $\nu$ is weakly dense in the set $\mathcal{R}(\nu)$ of randomized embeddings. In particular, the optimal Skorokhod embedding problem over $\mathcal{T}(\nu)$ has the same value as the relaxed one over $\mathcal{R}(\nu)$ when the reward function is semicontinuous, which parallels a fundamental result about Monge maps and Kantorovich couplings in optimal transport. A second part studies the dual optimization in the sense of linear programming. While existence of a dual solution failed in previous formulations, we introduce a relaxation of the dual problem that exploits a novel compactness property and yields existence of solutions as well as absence of a duality gap, even for irregular reward functions. This leads to a monotonicity principle which complements the key theorem of Beiglb\"ock, Cox and Huesmann [Optimal transport and Skorokhod embedding, Invent. Math., 208:327-400, 2017]. We show that these results can be applied to characterize the geometry of optimal embeddings through a variational condition.