精读笔记

Problem Setting

这篇论文实际解决的是 Wasserstein proximal operator 的有限步稳定性，而不是 gradient flow 极限稳定性。Hilbert 空间中 proper l.s.c. convex functional 的 prox 自动 1-Lipschitz；但在 P2(R^d), d>1 中，W2 几何不是 CAT(0)，geodesic convexity 不能直接替代 Hilbert convexity。

真正困难点是：prox 的最优性比较需要把 μ, ν 与它们的 prox 点 μ~, ν~ 放在同一个几何图形里，而 Wasserstein 空间里不同 geodesic / generalized geodesic 的 coupling 不兼容。已有 AGS / Carlen-Craig 型结果通过加入能量或 slope 项得到 almost contraction，但这些估计在 W2(μ,ν) 很小时会退化，不能给出普通 W2 意义下的有限步 Lipschitz continuity。

关键矛盾是：越弱的凸性越贴近常见 Wasserstein energies，例如 entropy/internal energies；但越弱的凸性越无法控制 arbitrary coupling 产生的交叉项。越强的凸性越能恢复 Hilbert 型 resolvent 结构，但函数类迅速变得刚性。

Motivation

已有路线不够的地方在于它们混用了两种不同目标：一类结果服务于 τ→0 的 gradient flow contraction，另一类才是固定 τ 的 proximal map stability。前者允许误差或能量修正随迭代消失，后者要求单步 resolvent 本身稳定，要求强得多。

作者的核心观察是：prox 非扩张性不是单纯由“convex along geodesics”决定，而是由 convexity 能否沿某些与 optimal transport plans 兼容的插值曲线成立决定。换句话说，问题不是泛函是否凸，而是凸性是否发生在 proof 所需的 coupling 上。

关键缺口是一个凸性层级图谱：total convexity 足够但可能过强；generalized geodesic convexity 常见但可能不够；中间是否存在能恢复非扩张、同时不完全退化为 total convexity 的结构，这是论文试图补上的空间。

Core Idea

论文的核心思想是把 Wasserstein prox 的稳定性问题改写成“多点 transport plan 上的凸性兼容性问题”。如果 functional 对任意 coupling-induced interpolation 都凸，即 total convexity，那么可以把 P2 的问题 lifted 到 L2 随机变量空间，prox 与 Hilbert prox 交换 pushforward，于是非扩张性直接来自 Hilbert resolvent。这条路线非常干净，但也揭示 total convexity 不是一般 Wasserstein 凸性的自然替代品，而是一个强到接近 Hilbert 化的假设。

更有意思的是第二条线：作者没有直接证明 generalized geodesic convexity 下的 contraction，而是引入 weak non-expansivity 和 2-base generalized geodesics。这里的本质变化是把两端输入、两端 prox 输出组织成一个 3-geodesic plan，用 prox 最优性和凸性比较制造交叉项控制。2-base generalized geodesic convexity 的作用是保证存在一条同时尊重 μ→μ~, ν→ν~, μ→ν 结构的曲线，使得最终可以把弱估计升级为真正 W2 非扩张。

Method

1. Lagrangian lifting：解决 total convexity 下为什么能继承 Hilbert prox 稳定性。把 μ=X#P，F 提升为 F_hat(X)=F(X#P)。total convexity 正是保证 F_hat 在 L2 中凸的条件，因此 prox^W_F(X#P)=prox^{L2}_{F_hat}(X)#P。核心变化是把非线性的 Wasserstein 几何暂时换成线性 Hilbert 几何。

2. Convex order rigidity：解决 total convexity 到底有多强。作者证明 totally convex l.s.c. functional 对 convex order 单调：μ ≼_C ν 推出 F(μ)≤F(ν)。这不是辅助性质，而是对函数类的结构性判决：它强迫 Dirac 出现在 domain/minimizer 结构中，因此排除了 entropy/internal energy 等典型泛函。

3. Weak non-expansivity via 3-geodesic plans：解决 generalized geodesic convexity 下至少能保留什么。构造连接 μ, μ~, ν~, ν 的多点 plan，并在 prox 最优性不等式中比较沿 μ~→ν~ 的插值。得到的不是普通 W2 contraction，而是对某个受限 coupling cost 的控制；它保留了 firm non-expansivity 的影子。

4. 2-base generalized geodesics：解决怎样的中间凸性足以推出真正非扩张。要求 convexity 沿由两个 base μ~,ν~ 支撑的 generalized geodesic 成立，使得输入端最优 coupling 和输出端比较可放进同一个 plan。核心变化是凸性假设被设计成正好匹配 contraction proof 的几何需求。

5. Local 1/2-Hölder：解决在没有全局 Lipschitz 时是否至少有定量连续性。作者用 prox 点离输入点的局部有界性控制差分，得到 W2(prox μ1, prox μ2)^2 ≤ W2(μ1,μ2)^2 + C W2(μ1,μ2)。这是保底稳定性，而不是 contraction 的替代品。

Key Insight / Why It Works

最核心 insight 是：Wasserstein prox 的非扩张性失败/未知，不是因为 proximal 最优性不够强，而是因为 Wasserstein 空间缺少一个全局一致的线性 coupling calculus。Hilbert 证明里隐含的同一个 inner product expansion，在 P2 中必须通过选取兼容的 transport plan 才能写出来。论文所有正结果本质上都在寻找能让这个 expansion 合法的条件。

Total convexity 有效，是因为它完全消除了 coupling 选择问题：任意 coupling 都能用，因此 L2 lifting 后就是普通凸分析。这部分是最坚实的贡献，但其代价也最大。convex order monotonicity 说明 total convexity 并不是“稍强的 displacement convexity”，而是结构上偏向 potential/interaction 这类对 spreading 单调的 functional；对 entropy 这种鼓励扩散/绝对连续结构的泛函天然不适配。

2-base generalized geodesic convexity 的贡献更概念性：它不是 engineering，也不是 scaling，而是按证明需求反向设计的几何 convexity。它告诉我们，要获得 finite-step non-expansivity，凸性必须沿一种同时编码输入 optimal transport 和输出 optimal transport 的 curve 成立。这个条件可能是充分条件，但是否是自然条件文中未充分说明。

Weak non-expansivity 和 conditional Lipschitz 更像是把 open problem 周围的可用边界刻出来：当一个点接近 Dirac、接近 minimizer、variance 很小，或者两点之间 optimal map 是 dilation 时，耦合不兼容性被显著削弱，因此可以恢复近似或精确 contraction。这些结果的增益来源不是新的泛函结构，而是输入几何退化带来的 coupling 简化。

局部 1/2-Hölder 结果是重要但保守的兜底结论。它说明 generalized geodesic convexity 至少给了全空间定量连续性，不依赖 μ 在 domain 或 slope domain 中；但指数 1/2 也暗示目前技术只控制平方距离级别的误差项，远未接近 Lipschitz。

Relation To Prior Work

这篇论文最接近 Ambrosio-Gigli-Savaré 的 generalized geodesic convexity / JKO resolvent 理论、Carlen-Craig 关于 Moreau-Yosida regularization 与 proximal contraction 的问题，以及 Adve-Mészáros 对 density-constrained projection 的 weak non-expansivity。

和 AGS / Carlen-Craig 的本质差异是：本文不满足于 modified distance 或 τ→0 flow contraction，而是把固定 τ proximal map 的 W2 稳定性作为主对象，并系统区分哪些 convexity 能给哪种稳定性。它把“prox 是否非扩张”从单一 open problem 拆成 total convexity、generalized geodesic convexity、2-base generalized geodesic convexity、条件输入几何、Hölder continuity 这些层级。

和 total convexity 文献 Cavagnari-Savaré-Sodini、Pinzi-Savaré 的关系是继承并应用 Lagrangian lifting，但本文新增的信息是 convex order rigidity 及其后果：total convexity 的强大不是免费的，它排除了大量核心 Wasserstein energies，并导致 Moreau envelope convexity preservation 的反向刻画。

2-base generalized geodesic convexity 是本文实质创新之一，但它更像一个 proof-driven convexity notion，而不是已被证明广泛自然的结构。weak non-expansivity 的部分则是已有思想的推广和抽象化，真正新增的是把它纳入统一的 proximal stability 框架，并从中推出条件 Lipschitz 和 Hölder 结果。

Dataset / Evaluation

这篇论文没有 dataset、benchmark 或实验 evaluation；评估方式是数学定理、反例和适用类分析。因此不存在 benchmark leakage、data coverage 或 scaling 归因问题。

从理论 claim 的支撑看，论文对“total convexity 足够但刚性强”给出了较强证据：非扩张性定理、convex order monotonicity、internal energy 非 total convex、不可由 totally convex prox 逐点逼近。对“generalized geodesic convexity 下能得到弱稳定性和 Hölder 连续性”也有完整定量定理支持。

最薄弱的是 2-base generalized geodesic convexity 的外部有效性。论文证明该条件推出非扩张，也证明 entropy 不满足，并讨论矩阵分解相关的大小问题；但没有充分展示这个新 convexity class 包含哪些重要且非平凡的 Wasserstein 泛函。因此它验证了一个 sufficient condition，而不是证明这就是解决原 open problem 的自然路线。

Limitation

最大的限制是核心 open problem 仍未解决：一般 generalized geodesic convex functional 的 Wasserstein prox 是否非扩张依然未知。本文给出的是强假设、弱结论和特殊输入几何下的稳定性地图，而不是最终答案。

Total convexity 的路线可解释性强，但上限很低。convex order monotonicity 意味着这类 functional 对 measure spreading 的态度非常特殊，无法覆盖 entropy/internal energy 这类最常见的 displacement convex energy。把 total convexity 当作通用替代假设会误导算法理论，因为它规避了真正困难的 Wasserstein 凸性。

2-base generalized geodesic convexity 的泛化价值不明。文中未充分说明它是否严格弱于 total convexity，也未给出足够多自然例子。它目前更像一个为了让 contraction proof 成立而定义的条件；如果后续不能发展出可验证判据和典型泛函类，它的作用会主要停留在理论分界线上。

Weak non-expansivity 的结果有用但不能替代 Lipschitz。其 coupling-dependent bound 不直接给 W2 非扩张；条件 Lipschitz 依赖 prox displacement 小、接近 minimizer、接近 Dirac、小 variance 或 dilation 结构，本质上是利用问题退化。它没有说明一般高维、多峰、非退化输入下 prox map 的稳定性。

局部 1/2-Hölder 的结论虽然全局适用，但指数和常数依赖显示它是粗稳定性估计。对数值算法或 learned JKO operator 这类需要 Lipschitz 控制的应用，它只能提供连续性层面的安全网，不能直接给出强收敛或误差传播控制。

Takeaway

• 1. Wasserstein prox 的 finite-step stability 应该按“凸性沿哪些 coupling 成立”来理解，而不是笼统地说 displacement convexity 是否足够。
• 2. Total convexity 是恢复 Hilbert resolvent 理论的正确充分条件，但它的 convex order 单调性说明这条路覆盖不了许多核心 PDE/OT energies。
• 3. 2-base / k-base generalized geodesic convexity 可能是以后研究 proximal contraction 的有用语言；真正值得做的是找自然泛函类和可验证判据，而不是只停留在定义层面。
• 4. 对 generalized geodesic convexity，当前最可靠的普适结论是 weak non-expansivity 与局部 1/2-Hölder；任何声称一般 Lipschitz 或 non-expansive 的算法分析都需要额外几何假设。

一句话总结

这篇论文把 Wasserstein proximal map 的非扩张性问题从一个笼统 open problem 拆解成凸性强度、coupling 兼容性和输入几何退化的稳定性谱系，真正贡献是澄清 total convexity 的有效性与刚性，并提出 2-base generalized geodesic convexity 作为新的充分条件。