精读笔记
Problem Setting
论文研究的是实线性拓扑空间 X,Y 中的约束向量优化：在可行集 S⊆D 上最小化 f:D→Y，偏序由非平凡 pointed convex cone C 给出。目标不是找一个新最优性概念，而是刻画 Henig-properly efficient 解集 PEff(f,S,C) 如何由无约束问题恢复。
真正困难点在于 proper efficiency 比 weak/efficient 更难惩罚化。Henig proper efficiency 是“存在某个放大锥 H∈DC(C)，使点对 H efficient”。因此任何惩罚化都必须同时处理一个锥族，而不是单个序锥。加入惩罚维度后，序锥变成 C×R_≥，对应的 dilating cones 不再只是 H×R_≥ 这种简单积结构；如果不能控制这些锥的截面和内点，解集关系会失真。
以前方法主要卡在两处：有限维或弱/严格效率情形中，惩罚维度的影响更容易通过内点序或严格序描述；但 proper efficiency 允许放大锥变化，导致“惩罚后 proper efficient”和“原问题 proper efficient”之间可能双向产生差异。本文的关键矛盾是：惩罚项应当只编码约束边界信息，但在 proper efficiency 下它也可能创造或删除原目标意义下的 proper efficient 点。
Motivation
已有 vectorial penalisation 路线已经证明，对 constrained vector optimisation，可以通过无约束扩展问题得到 weakly/strictly efficient 解集的关系；在一般线性拓扑空间中，也已有针对 weak/strict efficiency 的推广。但 Henig-proper efficiency 尚未被完整纳入这个框架。
作者要补的缺口不是“再定义一个惩罚函数”，而是：如何让惩罚维度与 Henig 放大锥族兼容。proper efficiency 的实际价值在于它比 weak efficiency 更接近可标量化、可用于对偶和数值方法的解概念；如果惩罚法只能保证 weak efficiency，那么理论与算法上的可迁移性有限。
核心观察是：在适当凸性下，约束问题相对无约束问题新增的 proper efficient 点只能来自 S 的边界。也就是说，约束的作用可以被定位：内部点无需惩罚，边界点才需要由惩罚维度暴露。这就是为什么论文选择 interior/boundary decomposition，而不是试图用一个单一 exact penalty 直接替代约束。
Core Idea
论文的核心思想是把约束问题的 proper efficient 解集拆成两个来源：原始无约束问题 PEff(f,D,C) 捕获内部可行点；惩罚后的无约束问题 PEff(f^⊗,D,C×R_≥) 捕获边界可行点，其中 f^⊗=(f,ν)。最终在 A3 惩罚条件和凸性条件下得到：PEff(f,S,C) 等于内部的原无约束 proper efficient 部分与边界的惩罚无约束 proper efficient 部分之并。
这改变的是建模方式：惩罚项不是被加到目标里形成 scalar penalty，也不是用扩展实值函数把不可行点打成无穷大，而是作为新的向量目标坐标加入偏序系统。它引入的 inductive bias 是“约束违反程度应作为一个可比较维度，而不是目标值的数值扰动”。这对于一般拓扑向量空间尤其自然，因为距离、范数或 Lipschitz 结构未必存在。
和 prior 的本质区别在于处理对象从 weak/strict efficiency 升级到 Henig-proper efficiency，因此必须显式构造和分析乘积空间的 Henig dilating cones。真正新增的信息不是 f^⊗=(f,ν) 这个形式，而是证明了 dilating cone 的提升 H→H_h^⊗ 与截面 H^⊗|_{(Y,0)} 足以在 proper efficiency 的量词结构中传递结论。
Method
1. 先规整 Henig-proper efficiency 的锥族表达。论文证明 PEff(f,S,C) 可以写成 DC(C) 上 Eff 或 WEff 的并，并且可以通过取 int(H)∪{0}、交小锥等方式限制候选 dilating cones。这一步解决的是 proper efficiency 量词太松散的问题，使后续证明可以在更方便的锥上操作。
2. 建立约束与无约束原问题的基础关系。若 S⊆U⊆D，则 S∩PEff(f,D,C)⊆PEff(f,U,C)，这是单调性；反向在内部需要 D convex 与 f C-convex。其作用是把“内部点是否由无约束问题解释”这个问题从惩罚部分剥离出来。核心变化是：约束导致的新增 proper efficient 点被压缩到 bd(S)。
3. 构造乘积空间 dilating cones。对 H∈DC(C)、h∈int(H)，定义 H_h^⊗={(v,t):v∈H-th}。这个锥的 t=0 截面回到 H，并且属于 DC(C×R_≥)。反向地，任意 H^⊗∈DC(C×R_≥) 的 t=0 截面属于 DC(C)。这一步解决的是 proper efficiency 在添加惩罚维度后如何仍可比较的问题。
4. 分析添加/删除惩罚项的失配机制。Theorem 4.7 与 4.12 分别说明，proper efficient 点的丢失只可能因为存在更低 ν 的竞争点；proper efficient 点的产生只可能因为目标上被改善的点在 ν 上更差。这一步很关键，因为它把所有复杂的锥几何变化归因到 ν 的 level-set 排序。
5. 用 A1/A3 惩罚条件完成解集刻画。A1 足以保证边界惩罚解属于原约束 proper efficient 解，得到包含；A3 进一步让 S 内没有更低惩罚值，从而排除加入惩罚维度导致的解集丢失，得到 PEff(f,S,C)=S∩PEff(f^⊗,D,C×R_≥)。再叠加边界定位条件，得到完整 decomposition。
Key Insight / Why It Works
最核心的 insight 是：proper efficiency 的惩罚化问题，本质上不是 penalty exactness，而是 dilating cone compatibility。只要能在 Y 与 Y×R 之间稳定传递 Henig 放大锥，惩罚维度的影响就可以被精确追踪。
H_h^⊗ 的构造是全文最实质的技术部件。它不是简单的 H×R_≥，因为那样无法给惩罚坐标提供足够的内点空间；H-th 的平移截面让 t 方向与 H 的内部方向绑定，使 C×R_≥\{0} 落入 int(H_h^⊗)。直觉上，惩罚维度的正方向被嵌入为沿 h 深入 H 内部的移动，从而保持 proper efficiency 所需的“严格可改进方向”。
Theorem 4.7/4.12 是方法为什么成立的解释层：加入 ν 后，点失去 proper efficiency 只可能是因为有更小 ν 的点；点获得 proper efficiency 只可能是因为原目标上的改进被更大的 ν 抵消。这说明惩罚项没有神秘地改变 f 的几何，只是在偏序中引入了一个可控 trade-off。A3 的作用就是把这种 trade-off 在 S 内完全关掉，使得可行集内所有点在 ν 上等价，从而惩罚问题在 S 上不扭曲原 proper efficiency。
最可能的核心贡献：乘积 dilating cone 的构造与截面分析，加上 proper efficiency 下添加/移除惩罚项的失配刻画。A1/A3 条件和最终 decomposition 更像是把这些机制组合成 theorem statement。凸性假设部分则主要是继承已有 weak/quasiconvex 内部-边界定位路线，创新度相对低。
这不是 scaling、retrieval、data coverage 之类的经验增益问题；它是纯几何/序结构的 representation alignment：把约束信息对齐到一个扩展偏序空间中，并保证 Henig proper efficiency 的锥族语义不被破坏。
Relation To Prior Work
最接近的是 Günther–Tammer 系列关于 vectorial penalisation 的工作，以及 2023 年在 real linear-topological spaces 中对 weakly/strictly efficient elements 的推广。本文基本沿着同一技术谱系：用 f^⊗=(f,ν) 和 C×R_≥ 把约束问题转成无约束向量问题，再通过惩罚函数 level sets 还原解集。
真正不同点在于 proper efficiency。弱效率通常只需要处理 int(C)；效率处理 C\{0}；而 Henig-proper efficiency 要处理所有 dilating cones H∈DC(C)。这导致 prior 中较直接的包含关系在这里失效，论文还专门给出例子说明 proper efficiency 下不能期望与 efficiency 情形同样强的等式。
看似新的部分中，惩罚函数 A1/A2/A3 以及 interior/boundary split 很大程度是已有 vectorial penalisation 思想的延续；实质创新是把这些思想提升到 Henig proper efficiency 的锥族层面。尤其是 H_h^⊗ 与任意 H^⊗ 的 t=0 截面之间的关系，是本文相对 prior 真正新增的结构性信息。
从技术谱系看，它属于 ordered topological vector spaces + vector optimisation + exact/vectorial penalisation 的理论延伸，不是算法论文。它的贡献是把已有惩罚框架的适用解概念从 weak/strict 扩展到 Henig-proper，并说明扩展时哪些关系会退化、哪些仍可恢复。
Dataset / Evaluation
没有 dataset、benchmark 或实验评估。这是数学优化理论论文，evaluation 完全是形式证明、反例和推论。
从验证 claim 的角度看，论文确实证明了自己的核心 claim：在给定惩罚 level-set 条件与凸性/边界条件下，constrained Henig-proper efficient 解集可由两个 unconstrained proper efficient 解集刻画。例子 4.9/4.10 的作用不是展示性能，而是说明 proper efficiency 情形下不能照搬 efficiency 的更强结论。
但若从算法或应用 claim 看，文中证据不足。结论中提到可为 optimality conditions 和 algorithms 提供基础，这在本文中没有真正验证。没有展示如何实际构造 ν、如何求 PEff(f^⊗,D,C×R_≥)、也没有说明在无限维应用如控制或 PDE 约束中边界项是否可计算。因此本文验证的是理论等价，不验证 computational usefulness。
Limitation
第一，惩罚函数假设很强。A3 要求对所有 x0∈S，lev_=(D,ν,ν(x0))=lev_≤(D,ν,ν(x0))=S；这意味着 ν 在 S 上等值，并且 S 正好是全局最低水平集。许多实际约束的 natural violation measure 可以满足类似条件，但在一般线性拓扑空间中系统构造并不显然。文中未充分说明这些假设在非度量、非局部凸空间中的可用性。
第二，完整 decomposition 依赖边界定位条件 PEff(f,S,C)\PEff(f,D,C)⊆bd(S)。论文用 D convex 且 f C-convex 给出充分条件，但这基本排除了许多非凸约束优化中最有问题的情形。换言之，方法把非凸难点转移到了一个需要额外假设保证的边界定位命题上。
第三，乘积空间 proper efficient 问题可能比原问题更难。虽然形式上把约束问题转成两个无约束问题，但第二个问题的像空间变成 Y×R，放大锥族也变成 DC(C×R_≥)。理论上可控不等于计算上更简单。所谓算法潜力在本文中增益来源不清。
第四，Henig proper efficiency 本身依赖 DC(C) 非退化。当 C 不 pointed、没有足够 interior，或者在无限维空间中 cone interior 为空时，这套框架会退化。论文假设 C pointed convex，但对常见 infinite-dimensional ordering cone interior empty 的场景适用性有限。
第五，A1 与 A3 的差别在最终结论中表现为 inclusion vs equality，但 A2 被保留后基本没有在主定理中发挥作用。它更像是体系完整性的 engineering lemma，而非核心机制。
Takeaway
- 1. 对 proper efficiency 做 vectorial penalisation，关键不是设计 penalty 数值，而是保证 Henig dilating cones 在扩展空间中的语义可传递。
- 2. 约束的影响可以被结构化地分解：内部点由原无约束问题决定，边界点由惩罚无约束问题决定。
- 这是本文最值得迁移的思想，可用于推导 KKT 型条件或标量化条件。
- 3. f^⊗=(f,ν) 的正确理解是“增加一个偏序坐标”，不是“把约束违反加到目标函数”。
一句话总结
这篇论文把 vectorial penalisation 从 weak/strict efficiency 推进到 Henig-proper efficiency，核心贡献是通过乘积空间 dilating cone 的构造与截面还原，实现约束 proper efficient 解集的内部-边界无约束刻画。