[论文解读] Parametric Semidefinite Programming: Geometry of the Trajectory of Solutions

Antonio Bellon, Didier Henrion+2 more|arXiv (Cornell University)|Apr 12, 2021

Advanced Optimization Algorithms Research参考文献 9被引用 3

一句话总结

本文对参数半定规划（SDP）中解轨迹的几何行为提供了完整的分类，表明在标准假设下，仅可能出现六种不同的行为类型——常规、不可微、不连续孤立/非孤立多重点、连续分岔点以及不规则聚点。其核心贡献是基于集值分析的严格框架，用于刻画解随时间的演化过程，并证明在满足线性独立约束规范（LICQ）、严格可行性及连续数据依赖性条件下，不可能出现其他行为。

ABSTRACT

In many applications, solutions of convex optimization problems are updated on-line, as functions of time. In this paper, we consider parametric semidefinite programs, which are linear optimization problems in the semidefinite cone whose coefficients (input data) depend on a time parameter. We are interested in the geometry of the solution (output data) trajectory, defined as the set of solutions depending on the parameter. We propose an exhaustive description of the geometry of the solution trajectory. As our main result, we show that only six distinct behaviors can be observed at a neighborhood of a given point along the solution trajectory. Each possible behavior is then illustrated by an example.

研究动机与目标

• 理解参数半定规划（SDP）中解轨迹的几何结构，其中问题数据依赖于时间参数。
• 在标准正则性条件（如严格互补性、唯一性）失效时，对解轨迹在临界点处的所有可能局部行为进行分类。
• 利用集值分析和Painlevé-Kuratowski收敛性，提供一种形式化且逻辑严谨的不规则解行为分类。
• 建立排除病态行为（如非孤立不连续性、分岔）的条件，特别是在数据关于时间为多项式函数时。
• 通过识别在实践中不可避免或可避免的行为，弥合理论洞见与算法设计之间的鸿沟。

提出的方法

• 使用集值分析和Painlevé-Kuratowski收敛性框架，为参数SDP中的解映射定义连续性和正则性。
• 应用隐函数定理，在严格互补性和唯一性条件下刻画常规解行为。
• 提出六种解轨迹点的正式类型：常规点、不可微点、不连续孤立多重点、不连续非孤立多重点、连续分岔点以及不规则聚点。
• 以线性独立约束规范（LICQ）、严格可行性及数据连续性为核心假设，推导出该分类。
• 通过代数与几何论证，证明在这些假设下，轨迹中仅可能出现上述六类点。
• 应用定理2.24和定理2.23（基于隐函数定理与最优划分分析），建立仅出现常规点、不可微点或孤立多重点的条件。

实验结果

研究问题

• RQ1 当标准正则性条件失效时，参数SDP中解轨迹的可能局部几何行为有哪些？
• RQ2 能否利用集值分析和拓扑概念，实现对解轨迹奇点的完整且穷尽的分类？
• RQ3 在何种条件下，高度不规则的行为（如非孤立不连续性或分岔）可被排除在解轨迹之外？
• RQ4 参数SDP的行为与参数线性规划（LP）的行为相比如何，特别是在不可微点或多重解点方面？
• RQ5 数据关于时间的多项式依赖在多大程度上限制了解轨迹奇点的可能类型？

主要发现

• 在标准假设下——线性独立约束规范（LICQ）、存在严格可行点，以及数据连续依赖——仅可能出现六种解轨迹行为类型。
• 当问题数据为时间的多项式函数且存在一个通用非奇异时间点时，解轨迹必然仅由常规点、不可微点或不连续孤立多重点构成。
• 在更强的多项式数据假设下，不连续非孤立多重点、连续分岔点以及不规则聚点均不可能出现。
• 该分类是穷尽的：在所述假设下，不可能出现其他类型的奇点，即使在存在非唯一或非光滑解的情况下亦然。
• 结果表明，看似标准的假设（如连续性和严格可行性）不足以防止病态行为，但若增加一个通用非奇异时间点，则可排除最复杂的病态行为。
• 该框架揭示，尽管参数SDP更具一般性，但其行为并未超出参数LP中已存在的行为范畴，暗示存在共享的底层几何约束。