<p>Given a complete Riemannian manifold <i>M</i> with a lower Ricci curvature bound, we consider barycenters in the Wasserstein space <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\({\mathcal {W}}_2(M)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">W</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>M</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> of probability measures on <i>M</i>. We refer to them as Wasserstein barycenters, which by definition are probability measures on <i>M</i>. The goal of this article is to present a novel approach to proving their absolute continuity. We introduce a new class of displacement functionals exploiting the Hessian equality for Wasserstein barycenters. To provide suitable instances of such functionals, we revisit Souslin space theory, Dunford-Pettis theorem and the de la Vallée Poussin criterion for uniform integrability. Our method shows that if a probability measure <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\({\mathbb {P}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">P</mi> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\({\mathcal {W}}_2(M)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">W</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>M</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> gives mass to absolutely continuous measures on <i>M</i>, then its unique barycenter is also absolutely continuous. This generalizes the previous results on compact manifolds by Kim and Pass [<CitationRef CitationID="CR33">33</CitationRef>].</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Absolute continuity of Wasserstein barycenters on manifolds with a lower Ricci curvature bound

  • Jianyu Ma

摘要

Given a complete Riemannian manifold M with a lower Ricci curvature bound, we consider barycenters in the Wasserstein space \({\mathcal {W}}_2(M)\) W 2 ( M ) of probability measures on M. We refer to them as Wasserstein barycenters, which by definition are probability measures on M. The goal of this article is to present a novel approach to proving their absolute continuity. We introduce a new class of displacement functionals exploiting the Hessian equality for Wasserstein barycenters. To provide suitable instances of such functionals, we revisit Souslin space theory, Dunford-Pettis theorem and the de la Vallée Poussin criterion for uniform integrability. Our method shows that if a probability measure \({\mathbb {P}}\) P on \({\mathcal {W}}_2(M)\) W 2 ( M ) gives mass to absolutely continuous measures on M, then its unique barycenter is also absolutely continuous. This generalizes the previous results on compact manifolds by Kim and Pass [33].