Stretched Brownian Motion: convergence of dual optimising sequences

Pietro Siorpaes; Walter Schachermayer

REVIEW 2 major objections 4 minor 16 references

Stretched Brownian Motion: convergence of dual optimising sequences

T0 review · 2 major / 4 minor · reviewed 2026-08-05 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Theorem 1 proves that for irreducible pairs in convex order, any dual optimising sequence converges to the dual optimizer in ν-measure on the whole space, including the relative boundary of the target's convex hull, and the optimizer is ν-a

desk verdict Closes the boundary gap in BBST25 with a sound, if slightly incomplete, proof; the omitted infinite-boundary case is a minor gap, not a real flaw. read the letter →

arxiv 2508.20017 v1 pith:QVNMSASR submitted 2025-08-27 math.PR

Walter Schachermayer , Pietro Siorpaes This is my paper · ORCID

classification math.PR MSC 60G4260G4491G20

keywords martingaleoptimaltransportstretchedBrownianmotionBassdualoptimisingsequenceconvexorderirreduciblepairconvergenceinmeasureBenamou–Brenier

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper closes the last gap in the convergence theory for the dual of the martingale Benamou–Brenier problem. For an irreducible pair of probability measures in convex order, prior work showed that any dual optimising sequence can be shifted by affine functions so that it converges pointwise to the dual optimizer everywhere except possibly on the relative boundary of the convex hull of the target's support. The authors prove that on that boundary the boundary pathologies do not occur: the optimizer is finite almost surely under the target measure, the shifted optimizing sequence converges to it in measure, and the pointwise liminf inequality holds at every point. If the source measure is compactly contained in the interior, the convergence improves to L1 under the target measure. The proof combines a one-dimensional convexity slope argument with a localisation procedure that conditions the stretched Brownian motion on compact interior sets.

What carries the argument

The carrying object is the dual functional D(ψ) = ∫(∫ψ dπ_x − φ_ψ(x)) µ(dx), where φ_ψ(x) is the infimum over martingale kernels of ∫ψ dp − MCov(p,γ) and MCov is maximal covariance with the standard Gaussian. The new mechanism is a one-dimensional convexity argument: any boundary point y is joined to an interior point x_0, convex functions are restricted to the segment, and the slope comparison forces the liminf inequality (10). This is supported by three localisation lemmas: Lemma 2 approximates SBM kernels by kernels supported on compact convex subsets of the interior; Lemma 3 shows conditioning µ on such a compact set preserves the stretched Brownian motion, the dual optimising property,

What would settle it

Compute the dual for an irreducible pair in R^2 where ν charges the relative boundary (for example, µ uniform on a segment in the interior and ν supported on two opposite boundary points plus interior mass). If any dual optimising sequence — after affine shifts satisfying the assumed interior convergence — fails to converge in ν-measure on the boundary, or if ψ_lim is infinite on a ν-positive boundary set, Theorem 1 is refuted. The theorem predicts neither failure can occur.

Watch

Extended reading notes

Core claim

For an irreducible pair µ ≤_c ν in P2(R^d), any dual optimising sequence (ψ_n) and dual optimizer ψ_lim satisfying the standing assumptions admit the following strengthening: ψ_lim is finite ν-a.s., (ψ_n) converges to ψ_lim in ν-measure, and the pointwise inequality liminf_n ψ_n(y) ≥ ψ_lim(y) holds for every y. If spt(µ) is compactly contained in the relative interior I, then ψ_lim ∈ L1(ν) and the convergence is in L1(ν). This removes the boundary exception from the earlier pointwise convergence result, so the full convergence picture becomes: pointwise on the interior and outside the hull, and in measure on the relative boundary where ν may charge positive mass.

Load-bearing premise

The load-bearing premise is the previously established off-boundary convergence theorem: after adding affine functions, any dual optimising sequence converges pointwise to ψ_lim on the interior and outside the convex hull; without that theorem the one-dimensional slope argument cannot be applied to boundary points.

Editorial extensions

If this is right

The dual convergence picture is now complete: pointwise on the interior and outside the convex hull, and convergence in ν-measure on the relative boundary.
The dual optimizer ψ_lim is ν-a.s. finite, so it is a genuine finite-valued function on the support of the target measure, not merely an extended-valued potential.
The pointwise liminf bound holds at all points, so no dual optimising sequence can dip below the limit even on boundary points.
When spt(µ) is compactly contained in the relative interior, the convergence is in L1(ν), giving the integrability and moment control needed for pricing and calibration applications.
The localisation Lemma 3 transfers dual optimality to conditioned pairs, making the measure-convergence result stable under conditioning on compact interior sets.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Because convergence in ν-measure implies the existence of a subsequence converging ν-a.s., Theorem 1 yields an almost-everywhere convergent subsequence of any dual optimising sequence on the boundary; this direct corollary is not stated in the paper.
The L1 statement may extend beyond the compact-support condition spt(µ) ⋐ I: the proof uses compactness only to bound ψ_lim on spt(µ), so a finite ∫ψ_lim dµ could plausibly replace it.
The boundary finiteness result should stabilise numerical Bass-model calibration when the target measure charges boundary points, since the dual potential that algorithms iterate on no longer blows up on ν-positive boundary sets.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Schachermayer and Siorpaes close the boundary gap left open in BBST25: for irreducible µ ≤_c ν, the dual optimiser ψ_lim is ν-a.s. finite and any dual optimising sequence converges to it in ν-measure, with an L1 upgrade when spt(µ) is compactly contained in the relative interior. The result is real and the proof is essentially right.

The new content is Theorem 1 plus Lemmas 2–4. Lemma 2's nested compact approximation via stopped SBM is a nice tool; Lemma 3's localisation by conditioning on a subset is clean; Lemma 4's reduction of L0 convergence to local pieces is straightforward but useful. The L1 proof uses dominated convergence and Fatou in the right places. The heavy dependence on BBST25 is legitimate: the off-boundary pointwise convergence and the existence/uniqueness of ψ_lim are genuine imports, not the target result.

The main soft spot is exactly what the stress-test flags. The proof of (10) says 'we focus on ψ_lim(0)<∞, and leave the case ψ_lim(0)=∞ to the reader.' That is a real omission in the written proof. But it is a minor gap, not a load-bearing one. If ψ_lim(0)=∞, lower semicontinuity forces ψ_lim(x)→∞ as x↓0, and pointwise convergence on (0,δ) then forces ψ_n(x)→∞ for each fixed small x. Convexity with ψ_n(1) converging to a finite limit then forces ψ_n(0)→∞; otherwise ψ_n(x) would stay bounded above. So (10) holds trivially in that case. The authors should write that out, but the argument is immediate from what they already have. The stress-test's suggested patch works, and the omission does not threaten the theorem.

One other thing: the assumption that ψ_n≥0 and converges pointwise on I∪C^c is imported from BBST25 and stated as 'w.l.o.g.'; that is fine given the predecessor result. No questionable data or invented entities; no fitting. Citation pattern is self-heavy but appropriate.

Who should read this: anyone working on Bass martingales, stretched Brownian motion, or the convergence theory of MOT duals. It deserves a serious referee and should be accepted after a minor revision that fills the omitted case.

Recommendation: send to peer review; accept with minor revision.

Referee Report

2 major / 4 minor

Summary. The paper strengthens the convergence theory for dual optimising sequences in the martingale Benamou–Brenier problem. For an irreducible pair μ ≤_c ν in P_2(R^d), the authors prove that, after adding affine functions, any dual optimising sequence (ψ_n) that converges pointwise to a dual optimiser ψ_lim off the relative boundary C\I actually converges to ψ_lim in ν-measure, that ψ_lim is finite ν-a.s. (i.e. ψ_lim ∈ L^0(ν)), and that liminf_n ψ_n(y) ≥ ψ_lim(y) for every y. If additionally spt(μ) is compactly contained in I, the convergence is upgraded to L^1(ν). The proof proceeds by first establishing the pointwise boundary inequality (10) via a one-dimensional convexity argument, then proving L^1 convergence under a compact-support condition using an approximation lemma (Lemma 2), and finally removing that condition by a localisation argument based on Lemmas 3 and 4.

Significance. If the result is correct, it resolves a genuine boundary pathology in the stretched Brownian motion / martingale Benamou–Brenier theory: the limiting dual optimizer, which was previously known to be finite on the relative interior, is now shown to be finite ν-a.s. and to be attained as the ν-measure limit of any dual optimising sequence. The proof is a coherent sequence of reductions: the auxiliary Lemmas 2–4 are natural and are stated with explicit hypotheses, and the heavy lifting is cleanly delegated to the prior parameter-free results of BBST25. The paper contains no fitted constants and the main claim is a concrete, falsifiable statement about convergence in measure. The main issue is an explicitly omitted case in the proof of the central inequality, which makes the current manuscript incomplete even though the gap appears patchable.

major comments (2)

The proof of the boundary inequality (10) is incomplete as written. After reducing to d=1, y=0, x0=1, the text states: 'We focus on the case ψ_lim(0) < ∞, and leave the case ψ_lim(0) = ∞ to the reader.' This is not a cosmetic omission: the convexity argument requires the finite lower bound in (14), which is obtained from ψ_lim(0) < ∞. When ψ_lim(0) = ∞, lower semicontinuity gives no finite anchor at 0, so the displayed slope argument does not apply. Since inequality (10) is used pointwise for all y and is the key input for the later negative-part and L^1/L^0 convergence arguments, this gap is load-bearing. It is likely patchable, for instance by combining lower semicontinuity of ψ_lim at 0 with boundedness of ψ_n(1) and uniform convergence on compact subsets of I, but the manuscript does not supply such an argument. The omitted case must be supplied before the proof of Theorem 1 is compl
In the proof that ψ_lim ∈ L^0(ν) and ψ_n → ψ_lim in L^0(ν), the authors define μ_j := μ(·|K_j) for the sets K_j from Lemma 2, where K_j ⋐ I. This requires μ(K_j) > 0. However, μ may a priori charge the relative boundary C\I, in which case some or all of the μ_j are undefined. The manuscript does not justify μ(K_j) > 0. The missing fact is presumably that irreducibility, via [BBST25, Cor. 7.7] (π_x^SBM ∼ ν for μ-a.e. x), forces μ(I) = 1: if x ∉ I, a probability π_x supported on C with mean x must be supported on a proper face, so it cannot be equivalent to ν. Since K_j ↑ I and μ(I)=1, μ(K_j)>0 for all sufficiently large j. This is a local missing justification and likely fixable, but it is needed for the localisation argument.

minor comments (4)

The symbol M_2(p) is used in the proof of Lemma 2 without being defined; it should be introduced as the second moment of p.
The author name appears as 'W alter Schachermayer' with an unwanted space; this is a typesetting typo.
The statement of Lemma 4 item 2 defines ν_j ∈ P_1(R^d) but the surrounding text works with P_2 moments; this is harmless but should be made consistent.
The line 'By [BBST25, Lemma 7.9] and Fatou’s lemma 0 ≤ A := ... < ∞' would benefit from a one-sentence explanation of why the relevant integrals are finite, since the finiteness of A is used to justify the integrability of ψ_lim with respect to ν.

Circularity Check

0 steps flagged · score 2.0 of 10

No substantive circularity: Theorem 1 extends, rather than recycles, the prior BBST25 off-boundary convergence theorem; self-citation is legitimate external support, with a noted non-circular gap for ψlim(0)=∞.

full rationale

The derivation chain is not circular. The paper's central result (Theorem 1) is the boundary convergence of dual optimising sequences and ν-a.s. finiteness of ψlim. The proof imports from the co-authored BBST25 article: existence of ψlim, uniqueness modulo affine functions, pointwise convergence on I∪C^c, irreducibility/Bass facts, and the dual representation. These are parameter-free theorems whose stated assumptions do not include the target boundary statement C\I; they concern the complement (C\I)^c and structural properties, so they are independent support rather than a restatement of the conclusion. No fitted constant or normalization is introduced, no 'prediction' is defined in terms of the data it explains, and no ansatz is smuggled in by citation: the off-boundary convergence is a prior theorem, not an assumption chosen to force the boundary result. The only serious caveat is a proof gap, not circularity: in the proof of eq. (10), after reducing to d=1, y=0, the text says 'We focus on the case ψlim(0)<∞, and leave the case ψlim(0)=∞ to the reader.' Since eq. (10) must hold pointwise, including where ψlim(y)=∞, this omitted case is needed for the printed argument; however this is an incompleteness in the proof, not a reduction of the claim to its own input. Accordingly the circularity score is low, reflecting routine reliance on prior co-authored theorems.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper introduces no fitted parameters, no ad hoc entities, and no new mathematical objects beyond the existing Stretched Brownian Motion and Bass martingale framework. All reliance is on standard convex analysis, Strassen's theorem, and the prior BBST25 theory.

assumptions (5)

domain assumption Irreducibility of (µ, ν) in convex order with finite second moments
Imported from BBST25; it guarantees existence of a Bass martingale, a dual optimizer ψ_lim, and stability of irreducibility in Lemma 3.
domain assumption BBST25 Theorems 7.8 and 7.20: off-boundary pointwise convergence after affine shifts
Theorem 1 assumes WLOG that ψ_n ≥ 0 and ψ_n → ψ_lim pointwise on I ∪ C^c; this prior result is the starting point the paper extends.
domain assumption SBM exits compact subsets of I only near terminal time (BBST25, Corollary 6.8)
Used in Lemma 2 to obtain W2(π_x^j, π_x) → 0 and MCov convergence, which are needed for the L1(ν) step.
standard math W.l.o.g. the affine hull of spt(ν) equals R^d
Reduction used in the proof of Theorem 1 and Lemma 2; standard in convex hull settings.
standard math Strassen's theorem and standard convex analysis facts
Used to identify martingale transports, justify uniform convergence on compacts, and apply dominated convergence.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Stretched Brownian Motion: convergence of dual optimising sequences." pith.science (2026). https://pith.science/paper/QVNMSASR

@misc{pith2026250820017,
  author       = {Pith},
  title        = {Pith review of: Stretched Brownian Motion: convergence of dual optimising sequences},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/QVNMSASR}},
  note         = {Machine review of arXiv:2508.20017}
}

abstract

We consider an irreducible pair $\mu \leq_c \nu$ of probability measures on $\mathbb{R}^d$ in convex order. In arXiv:2306.11019, Backhoff, Beiglb\"ock, Schachermayer and Tschiderer have shown that the Stretched Brownian Motion from $\mu$ to $\nu$ is a Bass martingale, that there exists a dual optimiser $\psi_{lim}$, and the following somewhat surprising convergence result: by adding affine functions, one can make any dual optimising sequence $(\psi_n)_n$ (satisfying some minor technical conditions) converge pointwise to $\psi_{lim}$, save possibly on the relative boundary of the convex hull of the support of $\nu$. In the present paper we deal with the more delicate issue of convergence on said boundary, showing in particular that $\psi_{lim}$ is $\nu$ a.s. finite, and $(\psi_n)_n$ converges to $\psi_{lim}$ in $\nu$-measure.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

16 extracted references · 10 canonical work pages

[1]

Calibration of the B ass local volatility model

Beatrice Acciaio, Antonio Marini, and Gudmund Pammer. Calibration of the B ass local volatility model. arXiv preprint arXiv:2311.14567 , 2023

arXiv 2023
[2]

o ck, Martin Huesmann, and Sigrid K \

Julio Backhoff -Veraguas , Mathias Beiglb \"o ck, Martin Huesmann, and Sigrid K \"a llblad. Martingale B enamou- B renier- a probabilistic perspective. The Annals of Probability , 48(5):2258--2289, 2020

work page 2020
[3]

Existence of B ass martingales and the martingale B enamou- B renier problem in R ^d

Julio Backhoff -Veraguas , Mathias Beiglb \"o ck, Walter Schachermayer, and Bertram Tschiderer. Existence of B ass martingales and the martingale B enamou- B renier problem in R ^d . arXiv preprint arXiv:2306.11019 , 2025

arXiv 2025
[4]

The gradient flow of the bass functional in martingale optimal transport

Julio Backhoff -Veraguas , Gudmund Pammer, and Walter Schachermayer. The gradient flow of the bass functional in martingale optimal transport. arXiv preprint arXiv:2407.18781 , 2024

arXiv 2024
[5]

The B ass functional of martingale transport

Julio Backhoff -Veraguas , Walter Schachermayer, and Bertram Tschiderer. The B ass functional of martingale transport. arXiv preprint arXiv:2309.11181 , 2023

arXiv 2023
[6]

Bass construction with multi-marginals: lightspeed computation in a new local volatility model

Antoine Conze and Pierre Henry-Labord \`e re. Bass construction with multi-marginals: lightspeed computation in a new local volatility model. Available at SSRN 3853085 , 2021

work page 2021
[7]

Local variance gamma and explicit calibration to option prices

Peter Carr and Sergey Nadtochiy. Local variance gamma and explicit calibration to option prices. Mathematical Finance , 27(1):151--193, 2017

work page 2017
[8]

Pricing and hedging with smiles

Bruno Dupire. Pricing and hedging with smiles. In Mathematics of derivative securities ( C ambridge, 1995) , volume 15 of Publ. Newton Inst. , pages 103--111. Cambridge Univ. Press, Cambridge, 1997

work page 1995

Show all 16 references

[9]

From (martingale) S chrodinger bridges to a new class of stochastic volatility models

Pierre Henry-Labord \`e re. From (martingale) S chrodinger bridges to a new class of stochastic volatility models. arXiv preprint arXiv:1904.04554 , 2019

1904 arXiv
[10]

A B enamou- B renier formulation of martingale optimal transport

Martin Huesmann and Dario Trevisan. A B enamou- B renier formulation of martingale optimal transport. Bernoulli , 25(4A):2729 -- 2757, November 2019

2019
[11]

Fundamentals of convex analysis

Jean-Baptiste Hiriart-Urruty and Claude Lemar\'echal. Fundamentals of convex analysis . Grundlehren Text Editions. Springer-Verlag, Berlin, 2001

2001
[12]

The measure preserving martingale S inkhorn algorithm

Benjamin Joseph, Gr \'e goire Loeper, and Jan Ob \'o j. The measure preserving martingale S inkhorn algorithm. arXiv preprint arXiv:2310.13797 , 2023

2023
[13]

Option pricing with linear market impact and nonlinear B lack- S choles equations

Gr \'e goire Loeper. Option pricing with linear market impact and nonlinear B lack- S choles equations. The Annals of Applied Probability , 28(5):2664--2726, 2018

2018
[14]

Robust and fast B ass local volatility

Hao Qin, Charlie Che, Ruozhong Yang, and Liming Feng. Robust and fast B ass local volatility. arXiv preprint arXiv:2411.04321 , 2024

2024 arXiv
[15]

The decomposition of stretched B rownian motion into B ass martingales

Walter Schachermayer and Bertram Tschiderer. The decomposition of stretched B rownian motion into B ass martingales. Preprint , 2024

2024
[16]

Topics in optimal transportation , volume 58 of Graduate Studies in Mathematics

C \'e dric Villani. Topics in optimal transportation , volume 58 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2003

2003

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.

[1] [1]

Calibration of the B ass local volatility model

Beatrice Acciaio, Antonio Marini, and Gudmund Pammer. Calibration of the B ass local volatility model. arXiv preprint arXiv:2311.14567 , 2023

arXiv 2023

[2] [2]

o ck, Martin Huesmann, and Sigrid K \

Julio Backhoff -Veraguas , Mathias Beiglb \"o ck, Martin Huesmann, and Sigrid K \"a llblad. Martingale B enamou- B renier- a probabilistic perspective. The Annals of Probability , 48(5):2258--2289, 2020

work page 2020

[3] [3]

Existence of B ass martingales and the martingale B enamou- B renier problem in R ^d

Julio Backhoff -Veraguas , Mathias Beiglb \"o ck, Walter Schachermayer, and Bertram Tschiderer. Existence of B ass martingales and the martingale B enamou- B renier problem in R ^d . arXiv preprint arXiv:2306.11019 , 2025

arXiv 2025

[4] [4]

The gradient flow of the bass functional in martingale optimal transport

Julio Backhoff -Veraguas , Gudmund Pammer, and Walter Schachermayer. The gradient flow of the bass functional in martingale optimal transport. arXiv preprint arXiv:2407.18781 , 2024

arXiv 2024

[5] [5]

The B ass functional of martingale transport

Julio Backhoff -Veraguas , Walter Schachermayer, and Bertram Tschiderer. The B ass functional of martingale transport. arXiv preprint arXiv:2309.11181 , 2023

arXiv 2023

[6] [6]

Bass construction with multi-marginals: lightspeed computation in a new local volatility model

Antoine Conze and Pierre Henry-Labord \`e re. Bass construction with multi-marginals: lightspeed computation in a new local volatility model. Available at SSRN 3853085 , 2021

work page 2021

[7] [7]

Local variance gamma and explicit calibration to option prices

Peter Carr and Sergey Nadtochiy. Local variance gamma and explicit calibration to option prices. Mathematical Finance , 27(1):151--193, 2017

work page 2017

[8] [8]

Pricing and hedging with smiles

Bruno Dupire. Pricing and hedging with smiles. In Mathematics of derivative securities ( C ambridge, 1995) , volume 15 of Publ. Newton Inst. , pages 103--111. Cambridge Univ. Press, Cambridge, 1997

work page 1995