arxiv: 2604.01299 · v2 · submitted 2026-04-01 · 🧮 math.PR · q-fin.MF

Recognition: 2 theorem links

· Lean Theorem

Bridging classical and martingale Schr\"odinger bridges

Armand Ley, Giorgia Bifronte, Julio Backhoff, Mathias Beiglb\"ock

Authors on Pith no claims yet

Pith reviewed 2026-05-14 22:20 UTC · model grok-4.3

classification 🧮 math.PR q-fin.MF

keywords martingale Schrödinger bridgeFöllmer martingaleconvex orderSchrödinger bridgemartingale transportoptimal transportBrownian motionDoob martingale

0 comments

The pith

The continuous martingale Schrödinger bridge coincides with the Föllmer martingale in the irreducible case.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper studies the martingale Schrödinger bridge, a distinguished martingale transport plan between two probability measures in convex order that was recently introduced by Nutz and Wiesel. It shows that the construction extends to arbitrary dimension and admits several equivalent characterizations, one of which identifies the continuous-time version as the continuous martingale with the given marginals that minimizes a weighted quadratic energy measuring deviation from Brownian motion. In the irreducible case the paper proves that this object is identical to the Föllmer martingale, namely the Doob martingale associated to a suitable Föllmer process. More generally it relates the bridge to a variational problem over base measures and to the dual of the corresponding weak optimal transport problem, thereby connecting it to the classical Schrödinger bridge.

Core claim

The martingale Schrödinger bridge between measures in convex order is the martingale that minimizes a weighted quadratic energy measuring deviation from Brownian motion. In the irreducible case this continuous martingale coincides with the Föllmer martingale obtained as the Doob martingale of an appropriate Föllmer process. More generally the construction is characterized variationally over base measures and via the dual of the weak optimal transport problem, thereby linking the martingale version to the classical Schrödinger bridge.

What carries the argument

The continuous martingale Schrödinger bridge, defined as the continuous martingale with prescribed marginals minimizing a weighted quadratic energy away from Brownian motion.

If this is right

The construction extends naturally to arbitrary dimension.
It admits several equivalent characterizations, including the energy minimization.
In the irreducible case it coincides with the Föllmer martingale.
It relates to a variational problem over base measures and to the dual of weak optimal transport.
This clarifies the connection between martingale and classical Schrödinger bridges.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Numerical schemes developed for one formulation could be reused for the other when the conditions hold.
The energy-minimization view may transfer approximation techniques from classical Schrödinger problems to martingale settings.
Checking irreducibility in concrete low-dimensional examples would show when the coincidence simplifies computation.
The link to weak optimal transport suggests possible extensions to other constrained transport problems.

Load-bearing premise

The probability measures lie in convex order and the setup is irreducible.

What would settle it

An explicit pair of measures in convex order but reducible for which the continuous martingale Schrödinger bridge differs from the associated Föllmer martingale.

read the original abstract

We investigate the martingale Schr\"odinger bridge, recently introduced by Nutz and Wiesel as a distinguished martingale transport plan between two probability measures in convex order. We show that this construction extends naturally to arbitrary dimension and admits several equivalent characterizations. In particular, we identify its continuous-time counterpart as the continuous martingale with prescribed marginals that minimizes a weighted quadratic energy measuring the deviation from Brownian motion. In the irreducible case, we prove that this continuous martingale Schr\"odinger bridge coincides with the F\"ollmer martingale, that is, with the Doob martingale associated to a suitable F\"ollmer process. More generally, we relate the martingale Schr\"odinger bridge to a variational problem over base measures and to the dual formulation of the corresponding weak optimal transport problem, thereby clarifying its connection with the classical Schr\"odinger bridge.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper extends the martingale Schrödinger bridge to arbitrary dimensions with new continuous-time energy characterizations and proves its equivalence to the Föllmer martingale under irreducibility.

read the letter

This paper shows that the martingale Schrödinger bridge from Nutz and Wiesel extends to any dimension and, in the irreducible case, equals the Föllmer martingale. It also gives a continuous-time characterization as the minimizer of a weighted quadratic energy from Brownian motion. The authors lay out several equivalent descriptions for the object: the discrete martingale transport plan, the continuous energy minimizer, the link to Föllmer processes via Doob martingales, and a variational problem connected to the dual of weak optimal transport. They supply independent arguments for the higher-dimensional and continuous versions rather than just citing the prior work, which keeps the extensions self-contained. The bridge to classical Schrödinger bridges comes through the dual formulation, which makes the placement inside the broader theory clearer. The main limitation is the standing assumption that the marginals are in convex order and the setup is irreducible for the strongest coincidence result; the paper flags this explicitly, so it is not hidden. No circularity shows up in the outline, and the energy functional and martingale properties follow standard lines without obvious gaps. This is aimed at researchers in martingale optimal transport and Schrödinger bridges, especially those working in mathematical finance on constrained pricing problems. A reader already following the Nutz-Wiesel construction will pick up the new equivalences and the continuous formulation without much extra effort. I would send it for peer review. The characterizations are concrete enough to be worth referee time even if some proofs need tightening in revision.

Referee Report

0 major / 2 minor

Summary. The paper extends the martingale Schrödinger bridge introduced by Nutz and Wiesel to arbitrary dimensions, establishes multiple equivalent characterizations, and identifies its continuous-time version as the continuous martingale with given marginals that minimizes a weighted quadratic energy measuring deviation from Brownian motion. In the irreducible case (under convex order), it proves that this continuous martingale Schrödinger bridge coincides with the Föllmer martingale, i.e., the Doob martingale associated to a suitable Föllmer process. It further relates the construction to a variational problem over base measures and to the dual of the corresponding weak optimal transport problem, thereby connecting it to the classical Schrödinger bridge.

Significance. If the equivalences and the coincidence result hold, the work provides a unified perspective linking martingale transport, Schrödinger bridges, and Föllmer processes. The extension beyond one dimension, the energy-minimization characterization, and the variational/dual connections strengthen the foundations of martingale optimal transport and could facilitate further developments in stochastic analysis and weak transport theory.

minor comments (2)

[Introduction] The abstract states that the continuous-time counterpart minimizes a 'weighted quadratic energy'; the precise form of the weight and the energy functional should be stated explicitly already in the introduction (rather than deferred to a later section) to make the continuous characterization immediately accessible.
[Section on the irreducible case] The irreducibility assumption is invoked for the coincidence with the Föllmer martingale; a brief remark on whether the result admits a natural extension or counter-example in the reducible case would clarify the scope.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and accurate summary of our work, which correctly captures the extension to arbitrary dimensions, the equivalent characterizations, the energy-minimization property, and the connection to Föllmer martingales in the irreducible case. We appreciate the recommendation for minor revision. Since the report lists no specific major comments, we have no individual points to address point-by-point.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper defines the martingale Schrödinger bridge by explicit reference to the prior construction of Nutz and Wiesel, then derives independent characterizations (equivalent variational problems, continuous-time energy minimization, and coincidence with the Föllmer martingale) under the stated assumptions of convex order and irreducibility. These steps consist of mathematical proofs and equivalences rather than self-definitional reductions, fitted quantities renamed as predictions, or load-bearing self-citations whose validity is presupposed. The derivation chain remains self-contained against external benchmarks once the initial definition is granted.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on standard assumptions from martingale optimal transport and variational analysis, with no new free parameters or invented entities introduced.

axioms (1)

domain assumption The two probability measures are in convex order
This is necessary for the existence of martingale transport plans as per standard theory in optimal transport.

pith-pipeline@v0.9.0 · 5453 in / 1274 out tokens · 37684 ms · 2026-05-14T22:20:13.472794+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/ArithmeticFromLogic.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

In the irreducible case, we prove that this continuous martingale Schrödinger bridge coincides with the Föllmer martingale, that is, with the Doob martingale associated to a suitable Föllmer process.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

inf_{m∈MT(μ,ν)} H(m|μ⊗ν) with density exp(φ(x)+ψ(y)−h(x)·(y−x))

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

52 extracted references · 52 canonical work pages · 2 internal anchors

[1]

Acciaio, A

B. Acciaio, A. Marini, and G. Pammer. Calibration of the bass local volatility model.ArXiv e-prints, 2311.14567, 2023

work page arXiv 2023
[2]

Alibert, G

J.-J. Alibert, G. Bouchitté, and T. Champion. A new class of costs for optimal transport planning.European Journal of Applied Mathematics, 30(6):1229–1263, 2019

work page 2019
[3]

Alouadi, A

A. Alouadi, A. Barreau, G. Carlier, and H. Pham. Robust time series generation via schr"odinger bridge. 2025

work page 2025
[4]

LightSBB-M: Bridging Schr\"odinger and Bass for Generative Diffusion Modeling

A. Alouadi, P. Henry-Labordère, G. Loeper, O. Mazhar, H. Pham, and N. Touzi. Lightsbb-m: Bridging schr\" odinger and bass for generative diffusion modeling.arXiv preprint arXiv:2601.19312, 2026

work page internal anchor Pith review Pith/arXiv arXiv 2026
[5]

Alouadi, P

A. Alouadi, P. Henry-Labord‘ere, G. Loeper, O. Mazhar, H. Pham, and N. Touzi. Lightsbb-m: Bridging schr"odinger and bass for generative diffusion modeling. 2026

work page 2026
[6]

Alouadi, P

A. Alouadi, P. Henry-Labordère, G. Loeper, O. Mazhar, H. Pham, and N. Touzi. A pde derivation of the schr\" odinger–bass bridge.arXiv preprint arXiv:2601.17863, 2026

work page arXiv 2026
[7]

Backhoff-Veraguas, M

J. Backhoff-Veraguas, M. Beiglböck, M. Huesmann, and S. Källblad. Martingale Benamou-Brenier: A probabilistic perspective. Ann. Probab., 48(5):2258–2289, 2020

work page 2020
[8]

Backhoff-Veraguas, M

J. Backhoff-Veraguas, M. Beiglböck, and G. Pammer. Existence, duality, and cyclical monotonicity for weak transport costs. Calculus of Variations and Partial Differential Equations, 58(6):1–28, 2019

work page 2019
[9]

Backhoff-Veraguas, M

J. Backhoff-Veraguas, M. Beiglböck, W. Schachermayer, and B. Tschiderer. The structure of martingale Benamou–Brenier in multiple dimensions.ArXiv e-prints, 2306.11019, 2023

work page arXiv 2023
[10]

Backhoff-Veraguas and G

J. Backhoff-Veraguas and G. Pammer. Applications of weak transport theory.Bernoulli, 28(1):370–394, 2022

work page 2022
[11]

Backhoff-Veraguas, G

J. Backhoff-Veraguas, G. Pammer, and W. Schachermayer. The Gradient Flow of the Bass Functional in Martingale Optimal Transport.arXiv preprint arXiv:2407.18781, 2024

work page arXiv 2024
[12]

Backhoff-Veraguas, W

J. Backhoff-Veraguas, W. Schachermayer, and B. Tschiderer. The Bass functional of martingale transport. arXiv:2309.11181, 2023

work page arXiv 2023
[13]

Beiglböck, A

M. Beiglböck, A. Cox, and M. Huesmann. Optimal transport and Skorokhod embedding.Invent. Math., 208(2):327–400, 2017

work page 2017
[14]

Beiglböck and N

M. Beiglböck and N. Juillet. On a problem of optimal transport under marginal martingale constraints.Ann. Probab., 44(1):42– 106, 2016

work page 2016
[15]

Beiglböck, M

M. Beiglböck, M. Nutz, and N. Touzi. Complete duality for martingale optimal transport on the line.Ann. Probab., 45(5):3038– 3074, 2017

work page 2017
[16]

Beiglböck, G

M. Beiglböck, G. Pammer, L. Riess, and S. Schrott. The fundamental theorem of weak optimal transport.arXiv:2501.16316, 2025

work page arXiv 2025
[17]

M.Beiglböck,G.Pammer,andS.Schrott.Abreniertheoremon( P 2 ( P2 (R𝑑 ) ), 𝑤2 )andapplicationstoadaptedtransport,2025

work page 2025
[18]

R.Bhatia.PositiveDefiniteMatrices.PrincetonSeriesinAppliedMathematics.PrincetonUniversityPress,Princeton,NJ,2007

work page 2007
[19]

G. Carlier. Remarks on Toland’s duality, convexity constraint and optimal transport.Pac. J. Optim., 4(3):423–432, 2008

work page 2008
[20]

Carlier, H

G. Carlier, H. Malamut, and M. Sylvestre. Weak optimal transport with moment constraints: constraint qualification, dual attainment and entropic regularization. 2025

work page 2025
[21]

Carmona and L

R. Carmona and L. Xu. Calibrating arbitrage-free stochastic volatility models by relative entropy method. InProceedings 3rd Ascona Seminar on Stochastic Analysis, Random Fields and Applications, Birkhauser (to appear). Citeseer, 1997

work page 1997
[22]

Conze and P

A. Conze and P. Henry-Labordere. Bass Construction with Multi-Marginals: Lightspeed Computation in a New Local Volatility Model.SSRN Electronic Journal, 2021

work page 2021
[23]

Courtade, M

T. Courtade, M. Fathi, and D. Mikulincer. A stochastic proof of the sharp symmetrized talagrand inequality.arXiv preprint arXiv:2401.xxxxx, 2024. BRIDGING CLASSICAL AND MARTINGALE SCHRÖDINGER BRIDGES 41

work page 2024
[24]

T. M. Cover and J. A. Thomas.Elements of Information Theory. Wiley-Interscience, Hoboken, NJ, 2 edition, 2006

work page 2006
[25]

De Marco, H

S. De Marco, H. Pham, and D. Zanni. Schr\" odinger bridges with jumps for time series generation.arXiv preprint arXiv:2602.20011, 2026

work page arXiv 2026
[26]

De Marco, H

S. De Marco, H. Pham, and M. Zanni. Schr"odinger bridges with jumps for time series generation. 2026

work page 2026
[27]

Stabilityofthelogarithmicsobolev inequalityviathef"ollmerprocess.Annalesdel’Institut Henri Poincar’e Probabilit’es et Statistiques, 56(3):2253–2269, 2020

R.Eldan, J.Lehec, andY.Shenfeld. Stabilityofthelogarithmicsobolev inequalityviathef"ollmerprocess.Annalesdel’Institut Henri Poincar’e Probabilit’es et Statistiques, 56(3):2253–2269, 2020

work page 2020
[28]

Eldan and D

R. Eldan and D. Mikulincer. Stability of the Shannon–Stam inequality via the Föllmer process.Probability Theory and Related Fields, 177:891–922, 2020

work page 2020
[29]

H. Föllmer. An entropy approach to the time reversal of diffusion processes. In M. M’etivier and E. Pardoux, editors,Stochastic Differential Systems, volume 69 ofLecture Notes in Control and Information Sciences, pages 156–163. Springer, 1985

work page 1985
[30]

H. Föllmer. Time reversal on wiener space. InStochastic Processes – Mathematics and Physics, volume 1158 ofLecture Notes in Mathematics, pages 119–129. Springer, 1986

work page 1986
[31]

Gelbrich

M. Gelbrich. On a formula for the𝐿2 wasserstein metric between measures on euclidean and hilbert spaces.Mathematische Nachrichten, 147(1):185–203, 1990

work page 1990
[32]

Ghoussoub, Y.-H

N. Ghoussoub, Y.-H. Kim, and T. Lim. Structure of optimal martingale transport plans in general dimensions.Ann. Probab., 47(1):109–164, 2019

work page 2019
[33]

N.Gozlan, C.Roberto, P.-M.Samson, Y.Shu, andP.Tetali.Characterizationofaclassofweaktransport-entropyinequalitieson the line.Ann. Inst. Henri Poincaré Probab. Stat., 54(3):1667–1693, 2018

work page 2018
[34]

Gozlan, C

N. Gozlan, C. Roberto, P.-M. Samson, and P. Tetali. Kantorovich duality for general transport costs and applications.Journal of Functional Analysis, 273(11):3327–3405, 2017

work page 2017
[35]

I.Guo,G.Loeper,andS.Wang.Localvolatilitycalibrationbyoptimaltransport.In2017MATRIXAnnals,pages51–64.Springer, 2019

work page 2019
[36]

Guyon, R

J. Guyon, R. Menegaux, and M. Nutz. Bounds for VIX futures given S&P 500 smiles.Finance and Stochastics, 21(3):593–630, 2017

work page 2017
[37]

Hasenbichler, B

M. Hasenbichler, B. Joseph, G. Loeper, J. Obloj, and G. Pammer. The martingale sinkhorn algorithm. 2023

work page 2023
[38]

M.Hasenbichler,G.Pammer,andS.Schrott.DualattainmentoftheweakmartingaletransportprobleminR 𝑑.preprint,2026.in preparation

work page 2026
[39]

From (Martingale) Schrodinger bridges to a new class of Stochastic Volatility Models

P. Henry-Labordere. From (martingale) schrodinger bridges to a new class of stochastic volatility models.arXiv preprint arXiv:1904.04554, 2019

work page internal anchor Pith review Pith/arXiv arXiv 1904
[40]

Henry-Labordère and N

P. Henry-Labordère and N. Touzi. An explicit martingale version of the one-dimensional Brenier theorem.Finance Stoch., 20(3):635–668, 2016

work page 2016
[41]

Hiriart-Urruty and C

J.-B. Hiriart-Urruty and C. Lemaréchal.Convex Analysis and Minimization Algorithms I: Fundamentals, volume 305 of Grundlehren der mathematischen Wissenschaften. Springer-Verlag, Berlin, Heidelberg, 1993

work page 1993
[42]

Huesmann and D

M. Huesmann and D. Trevisan. A Benamou-Brenier formulation of martingale optimal transport.Bernoulli, 25(4A):2729–2757, 2019

work page 2019
[43]

Karatzas and S

I. Karatzas and S. Shreve.Brownian Motion and Stochastic Calculus, volume 113. Springer Science & Business Media, 1998

work page 1998
[44]

HenriPoincaréProbab.Stat., 49(3):885– 899, 2013

J.Lehec.Representation formulafortheentropy andfunctionalinequalities.Ann.Inst. HenriPoincaréProbab.Stat., 49(3):885– 899, 2013

work page 2013
[45]

J. Lehec. Representation formula for the entropy and functional inequalities.Annales de l’I.H.P. Probabilités et statistiques, 49(3):885–899, 2013

work page 2013
[46]

A.Müller.Stochasticorderingofmultivariatenormaldistributions.AnnalsoftheInstituteofStatisticalMathematics,53(3):567– 575, 2001

work page 2001
[47]

M.Nutz.Introductiontoentropicoptimaltransport.https://www.math.columbia.edu/mnutz/docs/EOTlecturenotes.pdf, 2022

work page 2022
[48]

M.NutzandJ.Wiesel.Entropicoptimaltransport: Convergenceofpotentials.ProbabilityTheoryandRelatedFields,184(1):401– 424, 2022

work page 2022
[49]

Nutz and J

M. Nutz and J. Wiesel. On the martingale schrödinger bridge between two distributions.arXiv preprint, 2024

work page 2024
[50]

Øksendal.Stochastic Differential Equations: An Introduction with Applications

B. Øksendal.Stochastic Differential Equations: An Introduction with Applications. Universitext. Springer, Berlin, 2003

work page 2003
[51]

Pinzi and G

A. Pinzi and G. Savaré. Totally convex functions,𝑙2-optimal transport for laws of random measures, and solution to the Monge problem.arXiv preprint arXiv:2509.01768, Sept. 2025.Available at arXiv. Version v1, submitted 1 Sep 2025

work page arXiv 2025
[52]

Strassen

V. Strassen. The existence of probability measures with given marginals.Ann. Math. Statist., 36:423–439, 1965

work page 1965