精读笔记

Problem Setting

论文实际处理的是 decomposable sets M=Sel_p(S) 在 L^p(T,Z) 中的 Clarke tangent/normal cone 是否完全由逐点集合 S(t) 的 Clarke cone 决定。这个问题表面上像“可测选择交换 tangent cone”，但真正困难是 Clarke tangent 的定义是 uniform-in-nearby-points 的：全局 L^p 邻域允许在小测度集合上发生很大 pointwise 偏离，而逐点 cone 的半径和误差又没有天然可测统一性。以前方法卡在两处：Bouligand cone 需要 derivability 才能稳定拼接；L^∞ 的 norm 太强，点态坏集无法被 L^p 小质量吸收，只能得到 closure 型结果。关键矛盾是 decomposability 给了逐点拼接能力，但 Clarke cone 的全局统一量词要求跨 t 的一致控制；论文证明在 p<∞ 时 L^p 可积性正好足以消化这种非一致性。

Motivation

已有工作解决的是更规则或更弱拓扑下的问题：Aubin-Frankowska 型 Bouligand 公式依赖 derivability；Giner-Penot 可从积分泛函理论推出结论，但仍要求逐点 Clarke=Bouligand；Páles-Zeidan 在 L^∞ 中给的是 L^1 相对闭包，不是 cone 本身。缺的是一个直接针对 Clarke tangent 的 formula，不把非光滑性外包给 pointwise regularity。作者核心观察是 Clarke cone 本身已经包含一种稳定化/闭包机制，反身 Banach 空间中 Borwein-Strojwas 的 weak Bouligand lower-limit 表征可以替代 derivability。换言之，论文不是让 S(t) 更规则，而是换用 Clarke cone 的内在稳定性来承受 S(t) 的不规则。

Core Idea

核心思想是把 decomposable set 的变分几何视为“逐点变分几何 + L^p 可积误差管理”。充分性方向：如果 v(t) 逐点属于 Clarke tangent，那么单值 multifunction D_v(t)={v(t)} 本身就是逐点 uniform tangent；只要 v∈L^p，就有可积 majorant，于是可以把逐点 uniform tangency lift 成 Sel_p(S) 的全局 uniform tangency。这里真正改变的是不再寻找全局一致的 pointwise 半径，而是用 L^p 截断、有限测度核心集和小质量坏集控制来制造全局统一性。

必要性方向更有信息量：如果全局 Clarke tangent v 不是逐点 Clarke tangent，则在正测度集合上存在局部弱 Bouligand 切向失败。由于 decomposability，可以在这些坏点上选择接近 x(t) 的坏基点，并保持其他地方不变，拼出一个 L^p 上仍接近 x 的全局可行点；但沿 v 小步前进时，该正测度集合上始终避开 S(t)，从而全局 Clarke tangent 条件被破坏。本质区别在于 prior 依赖 pointwise regularity 把 Bouligand 和 Clarke 对齐，而本文用反身空间中的 weak tangent 下极限直接刻画 Clarke cone。

Method

1. Measurability layer：用 Castaing representation 把 S(t)、D(t)、pointwise tangent cone、distance-to-S(t) 等对象变成 countable selectors 上的可测条件。它解决的是“坏点集合是否可测、能否拼接 selector”的基础问题；没有这一层，后面的正测度反例无法构造。

2. Uniform tangent lifting：Theorem 4.3 证明 Sel_p(D) 是 Sel_p(S) 的 uniform tangent。它解决的是从逐点 uniform tangency 到全局 Clarke tangency的量词错配。机制是选出有限测度且 g 有界的核心集 K，在 K 上获得近似统一控制；在 T\K、K\E_m 和 y 偏离 x 的坏集上，用 L^p 小质量估计吸收误差。核心变化是把“逐点半径不一致”转化为“L^p 误差可忽略”。

3. Weak Bouligand obstruction：Lemma 4.6 把 dist(u,T^w_C(y)) 有正间隙转化为一段小步长内的不可达性。它解决的是如何从 weak tangent 失败得到 Clarke 定义可检测的几何 obstruction。反身性在这里不是装饰：弱闭球紧性使得若不可达性失败，就能抽出弱收敛子列并落入 weak Bouligand cone。

4. Global contradiction by decomposability：Lemma 4.7 在正测度坏集上用 selectors 构造全局邻近点 \hat y，并证明任何 z∈Sel_p(S) 都不能落在 \hat y+η(v+ρB) 内。这一步解决的是反向包含；它把逐点的非切向性放大为全局 Clarke tangent 条件的失败。

5. Normal and application layer：normal cone、distance subdifferential、Lagrange multiplier、Nemytskii graph、epigraphical integral functional 都是主 tangent equality 的后果。它们有用，但技术上主要是传递应用，不是核心创新。

Key Insight / Why It Works

最核心的 insight 是：对 p<∞，decomposable set 的 Clarke tangency 可以容忍少量坏点，因为 L^p norm 允许把坏点集中到小测度或小 L^p 质量集合上；而 Clarke tangent 的 uniform 性可以通过“核心集上统一 + 坏集上误差吸收”重建。这是本文区别于 L^∞ 的根本原因。p=∞ 中坏集再小也可能贡献同样的 sup norm，因此 equality 不应期待，文中也只给包含关系。

第二个关键 insight 是反身性把 Clarke cone 的稳定化机制显式化为 nearby weak Bouligand cones 的 lower limit。这个替代了 prior work 中的 pointwise derivability 假设。技术判断上，真正贡献不是 Castaing representation，也不是 normal cone polarity，而是把 Borwein-Strojwas 表征与 decomposable 拼接结合起来，证明“全局 Clarke tangent 必须逐点 Clarke tangent”。这一步最可能是论文的实质新增信息。

辅助部分包括 L^∞ 的包含、Nemytskii graph 和 integral functional 应用。它们展示主公式的适用范围，但不改变核心理论。尤其积分泛函部分更像把 tangent formula 接到已有 multiplier rule 上；它没有解决一般非凸 integral functional subdifferential equality 的老问题。不存在 scaling/data/retrieval 这类经验增益问题；若类比机器学习术语，这篇的“inductive bias”是 decomposability + L^p locality：全局结构被假定完全由逐点约束和可测拼接生成。

Relation To Prior Work

最接近的是三条线。第一是 Aubin-Frankowska/Set-Valued Analysis 中 Bouligand tangent 对 decomposable constraints 的公式，但那条线需要 derivability；本文用 Clarke cone 的稳定化避免了这个假设。第二是 Giner-Penot 的 integral functional subdifferentiation，能通过 indicator integrand 得到 tangent 结论，但仍要求 C-D regularity，即逐点 Clarke=Bouligand；本文直接处理 Clarke tangent，因此跳过 regularity bottleneck。第三是 Páles-Zeidan 的 L^∞ decomposable sets，他们得到的是 L^1 closure characterizations；本文明确显示 p<∞ 与 p=∞ 的机制差异。

看似新的部分中，Castaing measurable selectors、normal cone polarity、Nemytskii graph 公式都属于已有思想的重组。实质创新是两个组合：一是 Theorem 4.3 的 L^p uniform tangent lifting，把逐点 uniform tangency 推到 decomposable set；二是用 Borwein-Strojwas weak Bouligand lower-limit 表征证明反向包含。它属于 nonsmooth variational analysis / measurable multifunction / optimal control constraints 的谱系，不是新的优化算法，而是对 pointwise constraints 在函数空间中的 Clarke 几何给出更干净的 calculus rule。

Dataset / Evaluation

没有 dataset、benchmark 或实验评估；评价完全是定理覆盖范围。主定理覆盖 complete σ-finite measure spaces、separable reflexive Banach Z、1≤p<∞、closed-valued measurable multifunctions，这比有限维、nonatomic、derivable 等设置更一般。应用覆盖 constrained nonsmooth optimization、Nemytskii operators、多值图、epigraphical normal integrand 和 integral functional multiplier rules。

这些结果确实验证了核心 claim：在 p<∞ 且反身时，global Clarke tangent/normal cone 可逐点表示。但它没有验证也没有声称 p=∞ equality；相反，文中给出的 L^∞ 讨论支持“原始 equality 通常过强”的判断。应用部分的评价要保守：它说明主公式可嵌入 multiplier calculus，但并不等于给出了非凸积分泛函 generalized subdifferential 的完整 pointwise formula。

Limitation

第一，反身性可能是关键上限。必要性证明显式依赖弱紧性和 Borwein-Strojwas 定理；非反身 Z 中 equality 是否失败，文中未充分说明。若只是技术缺口，需要替代表征；若是本质障碍，应有 counterexample。

第二，p<∞ 是结构性条件，不是证明技巧。L^p 可以通过小测度坏集吸收误差，L^∞ 不行；因此 p=∞ 只得到一侧包含，并且已有 L^1-closure 结果暗示原始 cone equality 本身可能是错误目标。

第三，normal cone 公式依赖把 [L^p(T,Z)]* 识别为 L^q(T,Z*)，这需要 Z* 的 Radon-Nikodym property；在本文反身设定下没问题，但这限制了向更一般 Banach 空间的迁移。

第四，积分泛函和 multiplier 应用的条件并不轻：nonatomic、compactly epi-Lipschitz、pointwise multiplier 可测选择、权重 θ 等都在转移难度。该部分更像展示主定理能接到既有 nonsmooth optimality machinery，而不是彻底解决非凸 integral functional calculus。

第五，文中对 p=∞ partial positive results 的边界不够系统。哪些额外结构能把 closure 结果升级为 cone equality，哪些结构只能给 interior/uniform tangent inclusion，仍然没有清晰刻画。

Takeaway

• 1. 对 decomposable constraints，p<∞ 的 L^p 几何与 p=∞ 的 L^∞ 几何不是技术细节差异，而是 tangent calculus 是否能逐点化的分水岭。
• 2. Clarke cone 的价值在这里不是“比 Bouligand 更保守”，而是它自带 nearby weak Bouligand lower-limit 稳定化；在反身空间里，这个稳定化可以替代 pointwise derivability。
• 3. 可迁移的技术模板是：用 Castaing 表示保证可测拼接，用 L^p 截断管理坏集，用 weak tangent obstruction 证明反向包含。
• 这套模板可能适用于其他 decomposable variational objects，但对 limiting/Fréchet normals 未必直接成立。

一句话总结

这篇论文把 decomposable sets 在 L^p、p<∞、反身 Banach 值空间中的 Clarke tangent/normal cone calculus 从“需逐点正则性”的旧框架推进到“由 Clarke 稳定化 + L^p 坏集吸收直接逐点化”的更一般理论公式。