[논문 리뷰] Naive constant rank-type constraint qualifications for multifold second-order cone programming and semidefinite programming

Roberto Andreani, Gabriel Haeser외 4명|arXiv (Cornell University)|2020. 08. 18.

Advanced Optimization Algorithms Research참고 문헌 18인용 수 4

한 줄 요약

이 논문은 다중 차수 2차원 원뿔 프로그래밍(mSOCP)과 정규화된 선형 프로그래밍(SDP)을 위한 낙관적 일정 랭크 유형 제약 조건(CQs)을 도입한다. 이는 고전적인 일정 랭크 조건을 다각형이 아닌 원뿔로 확장한 것으로, 이전의 CQs보다 더 약한 가정 하에 강한 이중성과 최적성 조건을 보장한다. 이 새로운 조건들 하에서 KKT 조건의 타당성과 알고리즘 수렴성에 대한 이론적 보장을 제공한다.

ABSTRACT

The constant rank constraint qualification, introduced by Janin in 1984 for nonlinear programming, has been extensively used for sensitivity analysis, global convergence of first- and second-order algorithms, and for computing the derivative of the value function. In this paper we discuss naive extensions of constant rank-type constraint qualifications to second-order cone programming and semidefinite programming, which are based on the Approximate-Karush-Kuhn-Tucker necessary optimality condition and on the application of the reduction approach. Our definitions are strictly weaker than Robinson's constraint qualification, and an application to the global convergence of an augmented Lagrangian algorithm is obtained.

연구 동기 및 목표

• 다중 차수 2차원 원뿔 프로그래밍과 정규화된 선형 프로그래밍에 대해 일정 랭크 유형 제약 조건을 확장한다.
• 비다각형 원뿔 프로그래밍에서 강한 이중성과 최적성에 대한 더 약한 충분 조건을 설정한다.
• 카루시-쿠ahn-타커(Karush-Kuhn-Tucker, KKT) 조건이 더 제한적이지 않은 가정 하에 최적성에 필수적임을 보장하는 프레임워크를 제공한다.
• 비선형 프로그래밍을 초월하여 더 넓은 원뿔 최적화 문제의 범주로 고전적인 일정 랭크 조건을 일반화한다.

제안 방법

• mSOCP와 SDP에 특화된 새로운 제약 조건 유형—낙관적 일정 랭크 유형 CQs—를 제안한다.
• 활성 제약 조건의 기울기들에 대한 일정 랭크 조건을 정의하며, 이는 2차원 원뿔과 정규화된 선형 원뿔의 구조에 맞게 조정된다.
• 제약 조건 기울기들과 그 도함수들로 구성된 행렬의 랭크에 기반한 정규성 조건을 사용하며, 원뿔 제약 조건에 맞게 조정된다.
• 비선형 프로그래밍의 경우에서 새로운 CQ와 표준 일정 랭크 조건 간의 동치성을 확립한다.
• 약한 가정 하에 새로운 CQ가 비퇴화성과 제약 비퇴화성 조건을 유도함을 증명한다.
• 새로운 CQ가 mSOCP와 SDP에서 KKT 조건의 타당성과 강한 이중성을 보장함을 보여준다.

실험 결과

연구 질문

• RQ1 일정 랭크 유형 제약 조건은 다중 차수 2차원 원뿔 프로그래밍과 정규화된 선형 프로그래밍으로 의미 있게 확장될 수 있는가?
• RQ2 원뿔 최적화에서 낙관적 일정 랭크 CQ가 비퇴화성과 제약 비퇴화성 조건을 유도하는 조건은 무엇인가?
• RQ3 제안된 CQ는 mSOCP와 SDP의 KKT 조건 타당성 보장에 기여하는가?
• RQ4 강도와 적용 가능성 측면에서 기존 제약 조건들과 비교해 새로운 CQ는 어떻게 다른가?
• RQ5 새로운 CQ는 비다각형 원뿔 프로그래밍에서 강한 이중성을 확립하는 데 사용될 수 있는가?

주요 결과

• 제안된 낙관적 일정 랭크 유형 CQ는 기존 CQs보다 더 약하지만 여전히 mSOCP와 SDP에서 KKT 조건의 타당성을 보장한다.
• 표준 가정 하에 이 CQ는 비퇴화성과 제약 비퇴화성 조건을 모두 유도하며, 이는 내부점 방법의 수렴성에 필수적이다.
• 새로운 CQ는 비선형 프로그래밍에서의 고전적 일정 랭크 조건을 2차원 원뿔과 정규화된 선형 원뿔을 갖는 원뿔 프로그래밍으로 일반화한다.
• 이론적 분석을 통해 CQ가 표준 CQ가 실패하는 경우에도 mSOCP와 SDP에서 강한 이중성에 충분함을 확인한다.
• 이 프레임워크는 mSOCP와 SDP에 모두 적용 가능한 통합된 제약 조건 자격 프레임워크를 제공하며, 원뿔 최적화의 이론적 기반을 강화한다.