[논문 리뷰] Homogeneous Cone Complementarity Problems and $P$ Properties

Lingchen Kong, Levent Tunçel외 1명|arXiv (Cornell University)|2009. 04. 11.

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₀ 성질을 만족할 경우 해 존재성을 증명하기.
• 거리 투영 항등식과 조르드란 기저를 통한 스펙트럼 분해를 활용하여 오차 경계 추정치 도출하기.
• F의 리프시츠 연속성과 T대수에서의 노름 부등식을 활용하여 반복값과 해 사이의 거리 유 bounds 하기.
• 균일 추적-P 성질을 투영 안정성과 노름 수축 논증과 결합하여 전역 오차 경계 유도하기.

실험 결과

연구 질문

• RQ1 연속 함수 F가 어떤 조건을 만족할 경우, 동차 원뿔 보완문제(HCCP)가 모든 q ∈ H에 대해 해를 가질 수 있는가?
• RQ2 기존의 P-성질과 P₀-성질은 동차 원뿔 설정으로 어떻게 일반화될 수 있는가?
• RQ3 F가 단조일 경우, HCCP의 해가 전역적으로 유일해지기 위한 조건은 무엇인가?
• 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대수에서의 스펙트럼 분해와 투영 안정성에 기반한다.