Diffusion Approximations to Schrödinger Bridges and the Convergence of Entropic Potentials
Abstract
Consider the Monge-Kantorovich optimal transport problem between two Euclidean densities μ and ν and quadratic cost. The ε-Schrödinger bridge is the solution to the entropic regularized problem with regularization parameter ε. By taking the conditional expectation of the second coordinate given the first under this coupling, we obtain the ε-entropic Brenier map. As ε goes down to zero, it is known that the entropic Brenier map converges to the quadratic cost optimal transport map between the two measures, i.e., the Brenier map. We show that, under some smoothness and log-concavity constraints on the marginals, the difference between the entropic Brenier map and the Brenier map is equal to ε times one-half of the score function of the first marginal plus an error that is o(ε) in L2(μ). This expansion holds irrespective of the second marginal ν. The proof relies on an approximation of the Schrödinger bridge by a noisy version of the McCann interpolation. Under additional assumptions we show a second approximation to the Schrödinger bridge via so-called Mirror Langevin diffusions, which are Langevin diffusions on the Hessian manifold generated by the Brenier map. These two approximations, that appear quite different at first glance, are nonetheless shown to be closely connected. Our proofs utilize a random surface and a novel stochastic operation called the tangent Markov projection.
Related
- An entropic barrier to equilibration in the discrete nonlinear Schrödinger equation: Rigorous bounds for the microcanonical Brownian motion
- Uniform convergence of canonical discrete uniformization on equilateral approximations
- Convergence analysis of moment-based approximations in kinetic theory
- Convergence and error analysis for numerical approximations of stochastic Leray-Lions equations
- On the Linear Convergence of SISTA for Entropic Martingale Optimal Transport
BibTeX
@misc{mulcahy2026diffusion,
title = {{Diffusion Approximations to Schrödinger Bridges and the Convergence of Entropic Potentials}},
author = {Garrett Mulcahy and Soumik Pal},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.22595},
eprint = {2609.22595},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.22595},
}
RIS
TY - UNPB
TI - Diffusion Approximations to Schrödinger Bridges and the Convergence of Entropic Potentials
AU - Garrett Mulcahy
AU - Soumik Pal
PY - 2026
DA - 2026/09/18
PB - arXiv
DO - 10.48550/arxiv.2609.22595
UR - https://arxiv.org/abs/2609.22595
AB - Consider the Monge-Kantorovich optimal transport problem between two Euclidean densities μ and ν and quadratic cost. The ε-Schrödinger bridge is the solution to the entropic regularized problem with regularization parameter ε. By taking the conditional expectation of the second coordinate given the first under this coupling, we obtain the ε-entropic Brenier map. As ε goes down to zero, it is known that the entropic Brenier map converges to the quadratic cost optimal transport map between the two measures, i.e., the Brenier map. We show that, under some smoothness and log-concavity constraints on the marginals, the difference between the entropic Brenier map and the Brenier map is equal to ε times one-half of the score function of the first marginal plus an error that is o(ε) in L^2(μ). This expansion holds irrespective of the second marginal ν. The proof relies on an approximation of the Schrödinger bridge by a noisy version of the McCann interpolation. Under additional assumptions we show a second approximation to the Schrödinger bridge via so-called Mirror Langevin diffusions, which are Langevin diffusions on the Hessian manifold generated by the Brenier map. These two approximations, that appear quite different at first glance, are nonetheless shown to be closely connected. Our proofs utilize a random surface and a novel stochastic operation called the tangent Markov projection.
ER -