精读笔记
Problem Setting
这篇论文解决的不是某个具体学习任务，而是一个结构性问题：在一般度量测度空间 (S,d,p) 上，能否从有限随机点值稳定恢复 Sobolev 正则函数，并且正则化项不是形式上的 Cheeger energy，而是可进入计算的对象。困难点在于 metric Sobolev space 的能量通常由 L2 松弛定义，缺少显式梯度；在 Wasserstein、HK 等无限维空间里，也不能靠 doubling partition 或网格差分来离散化。关键矛盾是：理论上 Sobolev 正则性由 Cheeger energy 描述，但算法上需要有限样本、有限维、可计算的二次型。本文的任务就是找出什么时候这两者可以对齐。
Motivation
作者的核心观察是：[17] 在 Wasserstein 空间上可行，并不是因为 Wasserstein 特例偶然好算，而是因为那里同时具备两个结构：Sobolev space Hilbertian，且存在 cylinder functions 这样的可计算稠密 Lipschitz 代数。已有 metric approximation 路线常依赖 doubling，从几何分割出发；这在无限维空间中基本失效。缺口不是再设计一个离散化方案，而是抽象出一种不依赖空间划分的 approximation principle：用函数代数承载几何，用 Γ 承载梯度，用随机矩阵浓缩承载采样稳定性。
Core Idea
核心思想是把“离散化空间”替换为“离散化函数类”。传统度量空间近似通常试图把 S 切成有限块，再定义离散能量；本文反过来，只选一个有限维函数子空间 V_n，并要求在大代数 A 上能计算 pre-Cheeger energy。这样即使 S 是 Wasserstein 或 Hellinger–Kantorovich 这种无限维空间，也不需要构造空间网格，只需要能评估基函数和 Γ(f_i,f_k)。
这个建模改变引入的 inductive bias 是 Sobolev/Dirichlet energy bias：恢复函数不仅拟合点值，还偏向低 metric-gradient energy 的函数。它和 prior 的本质区别在于，几何不再通过局部邻接图或 partition 显式出现，而通过 Γ 在函数侧进入正则化矩阵 D。scalability/generalizability 的希望来自：只要不同空间共享“Hilbertian + computable algebra”的结构，同一套最小二乘正则化分析就可迁移。
Method
1. Relaxation Sobolev framework：用 pre-Cheeger energy 的 L2 relaxation 定义 Cheeger energy，解决一般度量空间无经典梯度的问题；但真正用于计算的是代数 A 上的 lip_d 和 Γ。
2. Infinitesimal Hilbertianity via dense algebra：要求 A 在 H^{1,2} 中强稠密，且 pre-Cheeger energy 在 A 上满足二次型/Γ 表示。这一步保证 Sobolev space 是 Hilbert space，也保证有限维能量矩阵有线性二次结构。
3. Finite-dimensional regularized least squares：在 V_n 上求解经验点值损失加 λ 能量正则。机制上它把抽象恢复问题变成 (L^T L + λD)w = y，其中 L 是采样矩阵，D 是经验 Γ 矩阵。
4. Random matrix stability：用 matrix Chernoff 控制 L^T L 接近 I、L^T L+λD 接近 I+λΓ。它解决的是随机点值是否足以稳定识别 V_n 中函数的问题。
5. Cheeger-energy approximation variant：当 Cheeger energy 的 Γ 不连续/不可直接经验采样时，用 Lusin/Tietze 构造 Γ_ε，使其在大测度集合外近似 Γ。这一步让理论能继续走，但代价是多出 Nε 误差和明显的非构造性。
Key Insight / Why It Works
最核心的有效性来自结构匹配：Hilbertian Sobolev energy 让正则化问题是二次凸问题，稠密代数让有限维近似不会偏离 Sobolev 拓扑，Γ 的连续有界表示让经验平均可以浓缩。这三件事同时成立时，度量空间的复杂性被压缩进 K_λ(n)、Γ_n 和基函数评估，而不是进入空间维数本身。
真正的贡献不是新的最小二乘界，也不是新的 Tikhonov 正则化；这些基本来自 Cohen–Davenport–Leviatan 型随机 least squares 分析。贡献在于识别出一个可迁移的 metric Sobolev computational template，并证明 Wasserstein/HK 等非平凡空间满足这个 template。
最可能只是辅助的部分是 Cheeger energy 的 Γ_ε 近似。它在理论上消除了“Γ 不连续不可采样”的障碍，但算法含义弱；这里更像把不可计算性转移成一个存在性参数，而不是解决了可计算性。本文没有证明这一步在实际数值中可用。
若从 approximation / learning 角度看，增益主要不是来自 data scaling，也不是 retrieval 或 test-time compute，而是更好的 inductive bias：用 metric Sobolev energy 约束函数类。scaling 上限则由基函数族和 K_λ(n) 决定；如果 K_λ(n) 随 n 爆炸，样本复杂度会迅速失控。
Relation To Prior Work
最接近的两条线是：[17] 的 Wasserstein Sobolev approximation / deep learning framework，以及 metric measure spaces 中基于 doubling partition 的离散 Cheeger energy 近似。本文与 [17] 的区别是抽象化：把 Wasserstein 特有的 cylinder calculus 提升为“可计算 Lipschitz 代数 + Γ”的一般假设。与 doubling 路线的区别更本质：本文不要求空间有限维局部结构，不构造邻接 partition，因此能覆盖无限维度量空间。
看似新的 regularized least squares 和 matrix concentration，其实是已有随机最小二乘稳定性理论的移植；新信息在于证明这些工具只依赖有限维矩阵浓缩，而不依赖底层空间维数。实质创新是把 [18] 的密度/ Hilbertianity 结构结果和 [17] 的算法分析合并成一个 general framework，并将 Hellinger–Kantorovich 等空间纳入同一技术谱系。它属于“metric Sobolev analysis toward computation”的理论框架型工作，而不是算法突破型工作。
Dataset / Evaluation
本文没有传统意义上的 dataset / benchmark / experiment。evaluation 是 theorem-level coverage：通过 examples 证明框架覆盖 weighted Riemannian manifolds、Hilbert spaces、Wasserstein、Hellinger、Hellinger–Kantorovich 等空间，并给出 noiseless/noisy 点值恢复误差界。
这种 evaluation 支持了“理论框架可泛化”的 claim，但不支持“实际数值上可扩展”或“在真实任务中优于已有方法”的 claim。尤其是 HK/Hellinger 案例中，虽然 Γ 形式给出，但如何选择高效 V_n、如何计算样本上的 Γ、如何避免 K_λ(n) 爆炸，文中未充分说明。没有真实世界任务，也没有跨空间数值验证；因此工程增益来源不清。
Limitation
1. 强依赖结构假设：不是任意 metric Sobolev space 都适用，必须有 Hilbertianity、稠密代数、可计算 Γ。框架看似 general，但实际适用范围由这些结构结果决定。
2. 可计算性没有完全闭合：pre-Cheeger approach 要求 Γ 连续有界且可评估；Cheeger approach 用 Γ_ε 近似，但这是 Lusin/Tietze 存在性构造，文中未充分说明如何数值实现。
3. 子空间 V_n 是核心瓶颈：误差界中的 e(f,n) 完全依赖 V_n 是否匹配目标函数，论文没有给出系统构造。Remark 中提 neural networks 更像 heuristic，不是理论闭环。
4. 样本复杂度可能很差：稳定条件由 K_λ(n) 控制，而 K_λ(n) 是基函数幅度和能量密度的 sup bound。在无限维空间中这个量可能迅速增长，导致理论可行但实际不可扩展。
5. 正则化偏差没有自适应机制：λ 增大改善 conditioning/噪声项，但增加 energy penalty；论文给出 bounds，但没有解决如何选择 λ、n、ε 的统计最优问题。
6. 泛化主要是结构泛化，不是经验泛化：本文证明同一分析适用于多个空间，但并未证明某个学到的表示跨空间或跨任务迁移。
Takeaway
- 1. 最值得记住的是：无限维度量空间上的 Sobolev approximation 不一定要离散化空间，可以离散化一个携带 Γ-calculus 的函数代数。
- 2. Wasserstein 上的可计算 Sobolev learning 框架并非孤例；它背后的可迁移单元是“Hilbertian Cheeger energy + dense Lipschitz algebra + empirical matrix concentration”。
- 3. 未来真正有价值的问题不是再写一个抽象误差界，而是构造数值上有效的 V_n / neural ansatz，并控制 K_λ(n) 的增长。
- 4. Cheeger energy 的 computability 仍是瓶颈；如果 Γ 只能通过 Lusin 近似存在，框架更偏理论统一，而非可部署算法。
一句话总结
这篇论文把 Wasserstein Sobolev 函数近似从一个特例算法提升为一套依赖 Hilbertianity 与可计算 Lipschitz 代数的通用 metric Sobolev approximation 框架，真正贡献是结构抽象而不是新的学习算法。