[论文解读] Homogeneous Cone Complementarity Problems and $P$ Properties

Lingchen Kong, Levent Tunçel+1 more|arXiv (Cornell University)|Apr 11, 2009

Advanced Topics in Algebra参考文献 29被引用 3

一句话总结

本文在齐次锥的 T-代数结构背景下，利用广义 P-性质，建立了齐次锥互补问题（HCCP）解的存在性与唯一性条件。证明了若连续函数满足顺序-P₀ 与 R₀ 性质，或 P₀ 与 R₀ 性质，则对任意 q，HCCP 均有解；进一步，具有迹-P 或一致迹-P 性质的单调函数可确保全局唯一性与误差界。

ABSTRACT

We consider existence and uniqueness properties of a solution to homogeneous cone complementarity problem (HCCP). Employing the $T$-algebraic characterization of homogeneous cones, we generalize the $P, P_0, R_0$ properties for a nonlinear function associated with the standard nonlinear complementarity problem to the setting of HCCP. We prove that if a continuous function has either the order-$P_0$ and $R_0$, or the $P_0$ and $R_0$ properties then all the associated HCCPs have solutions. In particular, if a continuous function has the trace-$P$ property then the associated HCCP has a unique solution (if any); if it has the uniform-trace-$P$ property then the associated HCCP has the global uniqueness (of the solution) property (GUS). We present a necessary condition for a nonlinear transformation to have the GUS property. Moreover, we establish a global error bound for the HCCP with the uniform-trace-$P$ property. Finally, we study the HCCP with the relaxation transformation on a $T$-algebra and automorphism invariant properties for homogeneous cone linear complementarity problem.

研究动机与目标

• 将标准非线性互补问题中的 P-性质推广至更广泛的齐次锥互补问题（HCCP）框架。
• 通过广义 P₀ 与 R₀ 性质，建立 HCCP 解存在的充分条件。
• 在单调性与一致迹-P 条件下，刻画 HCCP 解的全局唯一性（GUS 性质）特征。
• 在一致迹-P 性质下，推导 HCCP 的全局误差界，推广 NCP 与 SCCP 中已知结果。
• 将理论结果拓展至任意凸锥，为更广泛的锥优化研究指明未来方向。

提出的方法

• 利用齐次锥的 T-代数表征，分析有限维内积空间中度量投影及其性质。
• 在 HCCP 框架下，为连续函数 F: H → H 引入新的 P-性质——顺序-P₀、迹-P、一致迹-P 及其变体。
• 运用拓扑度理论，证明当 F 满足 P₀ 与 R₀ 或顺序-P₀ 与 R₀ 性质时，解的存在性。
• 通过 Jordan 基的度量投影恒等式与谱分解，推导误差界估计。
• 利用 F 的利普希茨连续性及 T-代数中的范数不等式，控制迭代值与解之间的距离。
• 通过结合一致迹-P 性质、投影稳定性与范数压缩性论证，推导全局误差界。

实验结果

研究问题

• RQ1 在何种条件下，连续函数 F 使得齐次锥互补问题（HCCP）对所有 q ∈ H 均有解？
• RQ2 经典 P-性质与 P₀-性质如何推广至齐次锥框架？
• RQ3 当 F 单调时，何种条件可确保 HCCP 解的全局唯一性（GUS）？
• RQ4 在一致迹-P 性质下，能否为 HCCP 建立全局误差界？
• RQ5 这些结果在多大程度上可推广至齐次锥之外的任意凸锥？

主要发现

• 若连续函数 F 同时具有顺序-P₀ 与 R₀ 性质，则对所有 q ∈ H，HCCP(F, q) 均有解。
• 若 F 同时具有 P₀ 与 R₀ 性质，则对所有 q ∈ H，HCCP(F, q) 可解，将经典 NCP 结果推广至 HCCP。
• 若 F 单调且具有迹-P 性质，则 HCCP(F, q) 若有解则唯一，推广了对称锥中的唯一性结果。
• 若 F 单调且具有一致迹-P 性质，则 HCCP(F, q) 满足全局唯一可解性（GUS）性质。
• 在一致迹-P 性质下，为 HCCP 建立了全局误差界：‖x − x*‖ ≤ C ⋅ max_i |⟨(F(x) − F(x*))(x − x*), e_i⟩|，其中 C 依赖于利普希茨常数与锥结构。
• 该误差界推广了 NCP 与 SCCP 中的已知结果，证明依赖于 T-代数中的谱分解与投影稳定性。