Langevin Diffusion Approximation to Same Marginal Schrödinger Bridge

Abstract

We introduce a novel approximation to the same marginal Schrödinger bridge using the Langevin diffusion. As $\epsilon \downarrow 0$, it is known that the barycentric projection (also known as the entropic Brenier map) of the Schrödinger bridge converges to the Brenier map, which is the identity. Our diffusion approximation is leveraged to show that, under suitable assumptions, the difference between the two is $\epsilon$ times the gradient of the marginal log density (i.e., the score function), in ${\mathbf{L}}^2$. More generally, we show that the family of Markov operators, indexed by $\epsilon >0$, derived from integrating test functions against the conditional density of the static Schrödinger bridge at temperature $\epsilon$, admits a derivative at $\epsilon =0$ given by the generator of the Langevin semigroup. Hence, these operators satisfy an approximate semigroup property at low temperatures.

Final version. arXiv admin note: substantial text overlap with arXiv:2406.10823