Skip to content
DraconiticResearch
Search Sources API
197,768 studies31 sourcesUpdated 55 min ago
PreprintCC BY-NC-ND 4.0arXiv

Exponential Convergence of the Lifted Gradient Flow of the Bass Functional

Abstract

We establish multidimensional exponential convergence of the lifted Bass gradient flow in martingale optimal transport. Let μ≤cxν be an irreducible pair, with compact convex target support, source support strictly inside the target support, and target density bounded above and bounded away from zero almost everywhere on its interior. For every bounded σ(X)-measurable initial state, the flow converges exponentially in L2 to the global minimizer with the prescribed mean, and the functional value gap decays exponentially. Both bounds hold at every nonnegative time with the exact initial errors as prefactors. The quantitative step is strong convexity on sets with a common L∞ bound and a fixed mean. We prove it by interpolating entropic endpoint potentials, using two conditional copies to cancel the unknown potential increment, and obtaining a Hessian lower bound uniform in the regularization parameter. Removing the regularization yields curvature for the original functional; the known qualitative theory supplies a common bound for the orbit. This extends the one-dimensional exponential-convergence result of Backhoff-Veraguas, Pammer, and Schachermayer. The main result is formalized in Lean 4. AI was used in preparing the paper (see Section 8).

Related

  1. Weighted Laplacian Flow: A Deterministic Particle Flow with Exponential Convergence
    Weiye Gan, Tangjun Wang, Zuoqiang Shi
    arXivPreprintarXiv licenceFull textAnalysis & PDEsNumerical analysis & scientific computingarXiv
  2. Accelerating Langevin Dynamics with Weighted Laplacian Flow: Global Well-Posedness and Exponential Convergence
    Ziyue Cai, Weiye Gan, Borui Miao +1
    arXivPreprintarXiv licenceFull textAnalysis & PDEsProbabilityarXiv
  3. A functional central limit theorem for kernel gradient flow and infinitesimal gradient boosting
    Clément Dombry, Jean-Jil Duchamps
    HALPreprintCC BY 4.0Full textProbabilityStatisticsHALarXiv
  4. Whole-Sequence Convergence of Variable-Smoothing Full-Splitting Methods via a Lifted Kurdyka-Łojasiewicz Framework
    Min Tao
    arXivPreprintCC BY 4.0Full textOptimisation & controlarXiv
  5. Exponential Convergence of the Sinkhorn Algorithm for the Schrödinger Bridge with Regime Switching
    Katharina Eichinger, Anna Kazeykina, Zhenjie Ren +1
    HALPreprintLicence not statedGeneral mathematicsHAL
BibTeX
@misc{litvinov2026exponential,
  title = {{Exponential Convergence of the Lifted Gradient Flow of the Bass Functional}},
  author = {Danila Litvinov},
  howpublished = {arXiv},
  year = {2026},
  month = oct,
  doi = {10.48550/arxiv.2610.40404},
  eprint = {2610.40404},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2610.40404},
  note = {CC BY-NC-ND 4.0},
}
RIS
TY  - UNPB
TI  - Exponential Convergence of the Lifted Gradient Flow of the Bass Functional
AU  - Danila Litvinov
PY  - 2026
DA  - 2026/10/29
PB  - arXiv
DO  - 10.48550/arxiv.2610.40404
UR  - https://arxiv.org/abs/2610.40404
AB  - We establish multidimensional exponential convergence of the lifted Bass gradient flow in martingale optimal transport. Let μ≤_cxν be an irreducible pair, with compact convex target support, source support strictly inside the target support, and target density bounded above and bounded away from zero almost everywhere on its interior. For every bounded σ(X)-measurable initial state, the flow converges exponentially in L^2 to the global minimizer with the prescribed mean, and the functional value gap decays exponentially. Both bounds hold at every nonnegative time with the exact initial errors as prefactors. The quantitative step is strong convexity on sets with a common L^∞ bound and a fixed mean. We prove it by interpolating entropic endpoint potentials, using two conditional copies to cancel the unknown potential increment, and obtaining a Hessian lower bound uniform in the regularization parameter. Removing the regularization yields curvature for the original functional; the known qualitative theory supplies a common bound for the orbit. This extends the one-dimensional exponential-convergence result of Backhoff-Veraguas, Pammer, and Schachermayer. The main result is formalized in Lean 4. AI was used in preparing the paper (see Section 8).
ER  -