精读笔记

Problem Setting

论文实际解决的是 entropic optimal transport 的 zero-temperature selection 是否在一般 compact/regular 条件下必然收敛。给定 F_ε(π)=∫C dπ+ε KL(π||μ⊗ν)，每个 ε>0 有唯一 entropic minimizer π_ε；当 ε↓0 时，π_ε 的 cluster points 必在 unregularized optimal face 中。问题是这条 entropic trajectory 是否会选出一个唯一 optimal plan。

困难点在于，positive-temperature problem 的唯一性来自 KL 的严格凸性，但 ε→0 后 KL 权重消失；如果 optimal face 上存在多个 plan，selection 只能来自 ε 级别的次主导结构。已有正结果通常依赖有限维、几何 cost、1D distance cost、Euclidean distance cost 或 potentials 的额外结构。本文指出，仅有 compactness、atomless marginals、bounded Lipschitz cost 不足以保证 selection。

关键矛盾是：entropy 正则化在 ε>0 时给出单一路径，但 optimal face 可能完全位于 μ⊗μ-null set 上，此时所有 optimal plans 对 μ⊗μ 的 KL 都是 +∞。也就是说，传统“在 optimal face 上最小化 entropy”根本没有定义良好的比较对象，selection 实际由 zero set 附近的 off-face energy landscape 决定。

Motivation

已有路线不够的核心原因是它们默认 entropy 在低温极限中仍能稳定地扮演选择准则，或者假设 cost/marginal geometry 足够好，使近零 Gibbs mass 的局部形状不会在尺度间切换。本文的观察更尖锐：当 optimal minimizers 全部 singular 时，entropy-on-face 完全失效，positive-temperature minimizer 只能通过靠近 zero-cost set 的非零 cost 层来“感知”不同 graph 分支。

作者想做的不是找一个 pathological lower-semicontinuous diagonal 例子，而是在 continuous bounded Lipschitz cost 下保留这种不稳定性。关键缺口是：之前反例可以被解释为修改 μ⊗μ-null diagonal 不影响正温问题；本文要证明即使 cost 正则且 off-graph values 连续可见，Schrödinger projection 仍然可能不收敛。

因此动机可以概括为：selection conjecture 真正缺的不是 compactness 或 Lipschitz regularity，而是某种排除多尺度 near-zero oscillation 的几何/解析条件。

Core Idea

论文的核心思想是把非收敛机制植入 near-zero cost layers，而不是 optimal face 本身。构造中 zero-cost set 是两条 graph coupling：P_0 和 P_{t0}。所有 unregularized minimizers 都支撑在这两条 graph 的并上，因此都是 singular，entropy 无法在 face 上选点。然后作者在 graph 附近放置一系列越来越小的正 cost 层 α_n=e^{-2^n}，并让两条分支的局部权重随 n 的奇偶交替。

直觉上，当 ε 接近 α_n 时，Gibbs factor e^{-C/ε} 只看见当前尺度附近的 cost 层：粗尺度被指数压死，更细尺度近似无惩罚。于是每个温度窗口会看到不同的 effective 2×2 block kernel。固定边缘约束迫使 Schrödinger projection 对这个 kernel 做 Sinkhorn scaling；这个 scaling 后的 branch mass w_ε 随温度窗口交替变化。

和 prior 的本质差异是，本文不是给出一个新的 selection functional，而是证明一般 selection functional 不存在：positive-temperature path 可以被 near-zero geometry 驱动到持续振荡。它引入的 inductive bias 是多尺度 ultrametric 结构，让低温极限不是一个渐近稳定的局部问题，而是一个不断切换主导尺度的问题。

Method

第一步是一般 cluster-set theorem。作者证明 ε↦π_ε 在 ε>0 上弱连续，coupling set 弱紧，cluster points 由 BGN 的 cyclic invariance/monotonicity 结果落在 optimal face 中。再把 Clust(π_ε) 写成 nested closures 的交集；每个 closure 是连续曲线像的闭包，因此 connected。这个步骤解决的是“非收敛能坏到什么程度”：它不能产生离散跳点，只能产生 connected continuum。

第二步是 Cantor group 模型。G={0,1}^N 配 Haar measure，zero-cost set Z={y-x∈{0,t0}}。cost 写成 C(x,y)=γ(x)W(y-x)，其中 W 在两条 graph 上为 0，在 cylinder A_n^0,A_n^1 上取 α_n 或 α_n L_n。这样做的必要性是同时满足 bounded Lipschitz 和多尺度可见性：α_n 衰减足够快以保证连续/Lipschitz，L_n 奇偶交替负责制造不同 subsequential limits。

第三步是对称性降维。由于 C 对 H={s:s_1=0} 的 diagonal translations 不变，P_ε 也 H-invariant。positive-temperature Schrödinger projection 因此只剩 first-coordinate block mass，自然降成 2×2 Sinkhorn scaling。这个降维是证明可控性的核心：没有它，振荡仍可能存在，但很难显式识别全部 cluster points。

第四步是标量化振荡。定义 I_0,I_1,J_0,J_1 四个 partial partition functions，令 A_ε=sqrt(I_0J_0), B_ε=sqrt(I_1J_1), w_ε=A_ε/(A_ε+B_ε)。P_ε 在 D∈U_0 上的 mass 正是 w_ε。沿 ε_n=α_n，级数渐近只留下当前项 e^{-b_n} 和 tail mass 1，于是奇偶 n 给出两个不同极限 w^+,w^-。

最后用一般 connectedness theorem 把两个不同 scalar cluster points 升级为非退化 compact interval W，并用 H-invariant zero-cost coupling 的分类证明所有 plan cluster points 都是 P_w=wP_0+(1-w)P_{t0}。

Key Insight / Why It Works

最重要的 insight 是：zero-temperature entropic OT 的 selection 不一定由 optimal face 上的 entropy 决定；当 optimal face singular 时，selection 由 off-face near-zero cost landscape 与 marginal projection 的相互作用决定。本文反例正是把这个相互作用做成多尺度振荡。

真正有效的部分是三者组合：singular optimal face、交替尺度 α_n/L_n、非平凡 Schrödinger projection。单独有多重 optimal plans 不够；单独有 near-zero layers 也不够；如果 Gibbs reference 已经满足 marginals，可能只是 raw partition preference，缺少 projection-induced instability。β≠1 的 γ(x) 因子强迫 reference 不再是 coupling，使 Sinkhorn projection 成为机制的一部分。

这里的“能力”不是 scaling，不是数据覆盖，也不是实验工程，而是一个 adversarial asymptotic construction。若用机器学习术语类比，它更像 test-time compute path 对 latent multiscale structure 的不稳定响应，而不是更好的 inductive bias。它说明 ε 不是单调 annealing 到某个稳定 basin；ε 改变时，effective low-energy neighborhood 本身在换。

辅助但重要的技术点是 connectedness theorem。它本身不制造非收敛，但给出结构约束：只要找到两个不同 cluster points，自动得到 continuum。这避免了完整求解 W 的难题。这里作者的判断很清楚：无需识别整个 interval，只要证明两个显式点和 connectedness，就足够推翻 convergence principle。

可能主要来自 engineering / scaling 的部分是反例构造中的尺度安排：α_n=e^{-2^n} 和奇偶 L_n 是精心设计的 asymptotic switch，不是自然模型中常见的结构。它的理论打击力很强，但机制是否自然出现，文中未充分说明。

Relation To Prior Work

最接近的是 entropic OT zero-temperature selection、Schrödinger bridge convergence、有限维 exponential penalty trajectory、以及 Gibbs states 的 chaotic temperature dependence。和 Cominetti-San Martín/Weed 类型有限维 LP 结果相比，本文展示了无限维 compact setting 中 selection path 可以没有极限；有限维直觉不能直接外推。

和 Bernton-Ghosal-Nutz 的关系更直接：BGN 给出 cluster points 的 optimality 和若干 positive convergence regimes，本文利用其 cluster-point theorem，同时反过来说明一般 convergence conjecture 过强。换句话说，BGN 提供了极限点在哪里，本文说明极限点不一定唯一。

和 Nutz-Wiesel、Di Marino-Louet、Ley、Nutz-Zhong、Aryan-Ghosal、Yun 等几何 selection 结果相比，本文不竞争具体 selected plan，而是在假设层面给出反例：没有额外几何结构，compact Lipschitz 不够。真正新增的信息是 negative theorem 的 sharpness 方向：regularity of cost 和 atomlessness 不能替代 geometry。

和 lower-semicontinuous diagonal example 的本质差异是，那里可以说 pathology 来自 μ⊗μ-null diagonal 上 cost 修改对正温问题不可见；本文 cost 连续 Lipschitz，阻碍来自 zero set 附近的正值层，而且这些层在 Schrödinger projection 后仍可见。这是实质创新，不只是已有反例的重述。

Dataset / Evaluation

没有 dataset 或 empirical evaluation；这不是实验论文。evaluation 是数学证明，覆盖两个层面：一般 Polish setting 的 cluster-set compact connected theorem，以及一个满足 compact、atomless、bounded Lipschitz 的显式反例。

这些理论结果充分支持核心 claim：一般条件下 entropic minimizers need not converge。反例的假设强度也足够有杀伤力，因为它排除了“只是非紧、原子、非连续、非有界、非 Lipschitz”的常见解释。

但 evaluation 的外推范围有限。它没有验证非收敛在常见 Euclidean OT、smooth cost、distance cost、absolutely continuous densities 中会发生。它证明的是一般 theorem 不成立，而不是实际计算 OT 中 annealing path 常常不稳定。若把 claim 理解为“compact Lipschitz 条件不足”，证据很强；若理解为“entropic OT selection 在应用中普遍危险”，证据不足。

Limitation

最大 limitation 是反例高度定制。Cantor ultrametric 给了天然 clopen cylinders 和离散尺度；α_n=e^{-2^n} 让当前尺度主导、粗尺度消失、细尺度近似全开；L_n 奇偶交替直接编码非收敛。这是漂亮的数学构造，但泛化到自然几何空间并不自动成立。

方法成立依赖 optimal face 全部 singular。若 optimal face 中存在 finite entropy plan，或 face 上有可比较的 entropy expansion，selection 可能恢复。本文并未说明在 mixed 情况下 near-zero layer 是否仍能压过 entropy-on-face 的选择。

另一个限制是只识别 W 为非退化 compact interval，并给出 w^-<w^+ 两点；完整 interval 未被计算。对实际 trajectory 的精细结构仍不清楚。文中未充分说明 w_ε 是否可能填满更大区间、是否存在可描述的 envelope，或不同尺度设计如何控制 W。

该结果也没有提供 positive criterion 的强版本。Appendix A 的 local/exterior first-order criteria 是形式上有用的 cluster/full convergence 判别，但它们依赖局部变分 gap，本身不容易在自然模型中验证。因此它们更像概念工具，而不是可直接应用的 convergence theorem。

Takeaway

• 第一，entropic regularization 不是一般意义上的 canonical selector；没有额外几何条件时，zero-temperature limit 可以不存在。
• 第二，selection 机制应当从 optimal face 扩展到 near-zero cost geometry。
• 尤其当 optimal plans singular 时，face 内 entropy 失效，ε 级别的 off-face landscape 才是主导项。
• 第三，connectedness 是重要结构约束：非收敛不会表现为两个孤立候选之间随机跳，而必须通过 optimal face 内的 continuum。

一句话总结

这篇论文在 entropic OT zero-temperature theory 中给出一个紧、无原子、有界 Lipschitz 条件下的多尺度反例，证明 entropy 正则化一般不能作为 canonical selector，其核心贡献是把非收敛归因到 near-zero cost geometry 与 Schrödinger projection 的尺度振荡。