精读笔记
Problem Setting
论文实际处理的是 product-space norm minimisation involving distances to convex sets：对有限个闭凸集 Omega_i，最小化距离向量 h(x)=(d(x,Omega_1),...,d(x,Omega_n)) 在某个 R^n 范数 phi 下的范数。这个 setting 把广义 Fermat-Torricelli 的 sum、广义 Chebyshev center 的 max、以及 p-distance 聚合都看成同一对象。
真正困难点在于两个层次的非光滑性叠加：距离函数本身在凸集边界和投影不唯一处非光滑，外层范数在坐标相等、零坐标或非严格凸情形下也非光滑。以前方法往往针对 sum 或 max 分别写 KKT/normal cone 条件，得到的是局部于某个模型的刻画，很难直接比较不同聚合方式下解集为何变化。
关键矛盾是：模型表面上只是在改变距离向量的聚合方式，但解集几何会被底层空间范数和外层 R^n 范数共同控制。论文要解决的不是“距离最小化是否凸”这种基础问题，而是如何把这种双范数结构下的最优性和平坦最优面统一表达出来。
Motivation
已有路线不够的地方在于它们没有把 GCCP 和 GFTP 的共同结构抽出来。sum-distance 和 max-distance 在目标形式上不同，但本质都是对同一个距离向量施加不同的支撑函数/范数几何。把它们分开研究会导致结论重复、条件不可迁移，并且很难解释为什么同一组凸集在不同范数下产生完全不同的解集。
作者的核心观察是：真正决定模型类别的是 R^n 上的聚合范数，而不是 X 中的集合距离本身。只要外层范数满足 sign-symmetry 和坐标单调性，距离向量的复合仍保持凸性，并且其次微分可以通过非负权重 lambda_i 与各距离函数次梯度组合出来。
关键缺口是完整解集表示。已有工作较多停留在最优性条件、存在唯一性或 singleton 情形的构造；对一般凸集，如何从一个已知最优解及其对偶证书恢复整个 solution set，此前缺少统一处理。
Core Idea
论文的核心想法是把“多个距离函数的聚合优化”改写为一个两层对偶支撑问题。外层 R^n 范数在距离向量 h(x) 处给出一个支撑向量 lambda，内层每个距离函数在 x 处给出一个法向型次梯度 x_i^*。最优性就是这些加权法向量精确平衡：sum_i lambda_i x_i^*=0，同时 lambda 必须在对偶范数意义下支撑当前距离向量。
这改变了建模方式：GFTP、GCCP、p-GFTP 不再是三套问题，而是同一条公式在不同 phi 下的特例。sum 对应所有 lambda_i 强制为 1；max 对应 lambda 只落在最大距离的 active set 上；p-norm 对应 lambda_i 与 d(x,Omega_i)^{p-1} 成比例。这个统一视角的价值在于，它解释了不同模型之间的差别来自外层范数的 exposed face，而不是来自完全不同的几何机制。
和 prior 的本质区别不是引入更强的 variational analysis 工具，而是把 solution set construction 也放进同一个对偶证书框架：一个最优点处的对偶向量不仅证明该点最优，还定义了所有保持同一支撑关系的最优点。
Method
第一步是建立复合目标 f=phi circ h 的凸性和 Lipschitz 性。它解决的是框架合法性问题：若外层范数 sign-symmetric 且坐标单调，则距离函数的坐标wise 凸性可以传递到整体目标。这一步看似基础，但它保证后续 0 in partial f(x) 可以作为完整必要充分条件。
第二步是次微分分解。论文用复合凸函数的次微分公式，把 partial f(x) 写成所有 sum_i lambda_i x_i^* 的集合，其中 lambda in partial phi(h(x))，x_i^* in partial d(.,Omega_i)(x)。这里真正需要的是 lambda_i 非负，否则距离函数的单调复合结构会失效。非负性由外层范数的坐标单调性推出。
第三步是对偶最优性条件。最优点等价于存在 lambda_i >= 0 与距离次梯度 x_i^*，满足三件事：加权法向量平衡、lambda 的对偶范数为 1、lambda 与距离向量达到 Holder 等号。这是全文的主公式。
第四步是解集构造。给定某个最优解处的一组对偶证书，所有最优点正是那些仍然让 active x_i^* 属于对应距离次微分、并继续满足同一外层范数支撑等式的点。对 sum/max/p 三种范数，这个公式分别退化为 A 集交、active farthest cell 交、以及距离比例保持集交。
Key Insight / Why It Works
最关键 insight 是：最优解集的平坦性来自同一组支撑超平面在多个距离函数图像上的同步饱和。对于凸函数，若同一个次梯度在两个点都有效，并且函数值差等于线性下界差，那么这两个点沿该支撑方向没有松弛。论文的解集公式正是把所有 active 距离函数的这种“次梯度保持”条件交起来。
方法成立的根本原因不是 product-norm construction 本身，而是凸分析中的等号链：最优性给出 0 in partial f；次微分链式法则给出对偶分解；Holder 不等式的等号条件把外层范数的支撑关系固定；最后所有不等式同时取等号，迫使每个 active 距离函数保持相同次梯度。这条等号链是核心贡献。
product-norm / Psi_n 体系主要提供了一个干净的范数族和显式对偶范数表达，使 max、sum、p-norm 能自然落入框架。它是统一语言和技术便利，不是最深的机制。真正的新增信息是：一个最优点处的对偶证书可以生成整个 solution set。
这不是 scaling、data、retrieval 或 test-time compute 类型的贡献；它是更标准的 convex-analytic representation alignment：把外层聚合范数的 exposed face 与内层距离函数的 normal cone 对齐。辅助部分包括存在性、紧性、Hilbert 空间凸包包含关系和例子，它们帮助说明框架，但不是主增益来源。
需要注意，所谓“construct entire solution set”在计算意义上并不完全 constructive。它依赖已知最优点和一组有效对偶向量；如果这些对象难以求得，公式更多是结构刻画而非算法。
Relation To Prior Work
最接近的路线有三类：广义 Fermat-Torricelli 的 variational analysis 条件、Chebyshev/Sylvester center 的 convex analytic 条件、以及作者近期关于 singleton norm minimisation 的解集构造。本文本质上是在这些路线之上做统一和推广。
和 Mordukhovich/Nam 等关于 GFTP/GCCP 的工作相比，本文没有依赖更复杂的非凸广义微分，而是在凸集情形下给出更完整、干净的必要充分条件和解集公式。它牺牲了非凸覆盖，换来更强的全局刻画。
和 singleton 情形的 prior 相比，实质创新是把点目标推广到闭凸集目标。这个推广并非机械替换：距离到凸集的次微分涉及 normal cone、投影、level set normal cone，解集中的 A(Omega,x^*) 也变成了支撑面 H(Omega,x^*) 与方向锥 T(x^*) 的 Minkowski 和。这是有实际几何内容的扩展。
和 product norm / absolute norm 文献相比，本文不是提出新的范数理论，而是把已有 sign-symmetric norm construction 作为外层聚合器，使对偶范数条件可显式写出。这里的新意在应用和组织方式，不在范数构造本身。
Dataset / Evaluation
这篇论文没有 dataset，也没有实验 benchmark。evaluation 由数学证明和构造例子组成。例子覆盖有限维 R^2、无限维 Hilbert 空间 L^2([0,1])，并比较不同底层范数下的解集变化。
这些例子有效支持两个 claim：第一，统一公式确实能恢复 GFTP、GCCP、p-GFTP 的具体最优性条件；第二，底层空间范数会显著改变解集结构，例如 l_infty 与 l_p 情形下同一几何配置可产生线段、区域或单点解集。
但 evaluation 不支持算法层面的 claim。论文没有数值算法、复杂度分析、可扩展实验或真实 location problem 实例。因此如果把“construct solution set”理解成可计算过程，证据是不充分的。它验证的是理论表达力，不是工程可用性。
Limitation
核心前提较强。主要结论工作在闭凸集和凸距离函数框架内，最优性条件通常假设候选点不在任何 Omega_i 内；若最优点落入部分集合，距离为零会破坏若干外层范数支撑和 lambda 正性推导，文中没有系统处理这一边界情形。
存在性依赖条件也不弱：反射 Banach 空间加至少一个集合有界；紧性只在有限维直接得到。Hilbert 空间下的投影唯一性被用于更几何的结论，但一般 Banach 空间中投影可能不存在或不唯一，A(Omega,x^*) 的结构会明显复杂。
解集刻画把问题部分转移到了“找到一个最优解及其对偶证书”。如果原问题计算困难，这一步并没有被论文解决。对于非光滑范数和复杂凸集，求 lambda 与 x_i^* 本身可能接近原问题难度。
文中未充分说明对偶证书选择的非唯一性会如何影响解集构造的实用性。理论上任意满足条件的证书都应给出同一解集，但在计算近似下，不同证书可能导致数值上很不稳定的集合描述。
外层范数族虽然较广，但仍主要覆盖 sign-symmetric、坐标单调的聚合方式。带权、非对称、约束型、多目标偏序或数据驱动聚合不在核心框架内。增益来源清楚是 convex-analytic unification，而不是更强泛化能力或算法效率。
Takeaway
- 第一，GFTP、GCCP 和 p-GFTP 的差别可以被看成外层 R^n 范数的 exposed face 差别；统一建模后，最优性条件只是在 lambda 结构上变化。
- 第二，最值得迁移的 insight 是“一个最优点的对偶证书可以定义整个最优面”。
- 这对其他复合凸优化问题也有价值，尤其是目标由多个 convex loss 经 norm/gauge 聚合的场景。
- 第三，底层空间范数不是技术细节，而是直接决定解集几何的 inductive bias。
一句话总结
这篇论文把 convex-set distance minimisation 中的 Fermat、Chebyshev 和 p-Fermat 模型统一为“距离向量 + 外层范数支撑”的对偶平衡框架，真正贡献是用一个最优点的对偶证书刻画整个解集。