[논문 리뷰] Second-oder analysis in second-oder cone programming

Nguyen T. V. Hang, Boris S. Mordukhovich외 1명|arXiv (Cornell University)|2017. 07. 24.

Optimization and Variational Analysis참고 문헌 24인용 수 3

한 줄 요약

이 논문은 비비탈성 가정 없이, 두 번째 순서 변분 해석의 첫 번째 종합적 분석을 제2차원 원뿔 프로그래밍(SOCPs)에 대해 제시한다. 로렌츠 원뿔 지표 함수의 두 번째 에피미분 가능성(e-differentiability)을 확립하고, 가장 약한 거리 하위정규성 제약 조건 조건 하에서 정규 맵의 도형 도함수에 대한 명시적 공식을 유도함으로써, 편미분된 SOCP 시스템에서 라그랑주 승수의 유일성과 고립된 안정성(isolated calmness)을 새롭게 특성화할 수 있게 되었다.

ABSTRACT

The paper conducts a second-order variational analysis for an important class of nonpolyhedral conic programs generated by the so-called second-order/Lorentz/ice-cream cone $Q$. From one hand, we prove that the indicator function of $Q$ is always twice epi-differentiable and apply this result to characterizing the uniqueness of Lagrange multipliers at stationary points together with an error bound estimate in the general second-order cone setting involving ${\cal C}^2$-smooth data. On the other hand, we precisely calculate the graphical derivative of the normal cone mapping to $Q$ under the weakest metric subregularity constraint qualification and then give an application of the latter result to a complete characterization of isolated calmness for perturbed variational systems associated with second-order cone programs. The obtained results seem to be the first in the literature in these directions for nonpolyhedral problems without imposing any nondegeneracy assumptions.

연구 동기 및 목표

• 비다각형 구조를 지닌 로렌츠 원뿔의 특성으로 인해 도전적인 제2차원 원뿔 프로그래밍(SOCPs)에 대해 제2차 변분 해석을 개발한다.
• 로렌츠 원뿔 ${\cal Q}$의 지표 함수의 두 번째 에피미분 가능성(e-differentiability)을 확립하여 고차원 분석의 기초를 마련한다.
• 거리 하위정규성 조건이 가능한 한 가장 약한 조건 하에서 SOCP 제약 집합의 정규 맵에 대한 도형 도함수에 대한 명시적 공식을 도출한다.
• 이러한 결과를 바탕으로 라그랑주 승수의 유일성과 편미분된 변분 시스템에서의 해 맵의 고립된 안정성과 같은 핵심 최적화 성질을 특성화한다.
• 표준 단일 원뿔 케이스를 초월해 곱 원뿔(product cones)으로의 분석을 확장함으로써, 보다 광범위한 원뿔 프로그래밍에 대한 영향을 분석한다.

제안 방법

• 논문은 로카팔라렐의 에피미분 가능성 개념을 포함한 제2차 일반화 미분 도구를 활용하여 로렌츠 원뿔 ${\cal Q}$의 지표 함수 $\delta_{\cal Q}$를 분석한다.
• 지표 함수 $\delta_{\cal Q}$가 두 번째로 에피미분 가능하며, 이에 대한 두 번째 에피미분 공식을 ${\cal Q}$의 기하학적 구조를 이용해 유도한다.
• 분석은 거리 하위정규성 제약 조건(MSCQ)에 기반하며, 이 조건이 제2차 성질를 도출하기 위해 가능한 한 가장 약한 타당한 제약 조건임을 보여준다.
• MSCQ 하에서 정규 맵 $N_\Gamma$의 도형 도함수에 대한 새로운 공식을 제시하며, 이는 제2차 에피미분과 임계 원뿔 분석을 활용한다.
• 일반화 미분 해석학과 변분 해석 기법(임계 원뿔 및 정규 맵의 구조 포함)을 결합한 접근법을 사용한다.
• 새로운 제약 조건(엄격 로빈슨 제약 조건(SRCQ)의 쌍대 제약 조건)을 도입하여 라그랑주 승수의 유일성과 오차 한계(error bounds)를 특성화한다.

실험 결과

연구 질문

• RQ1 비비탈성 가정 없이도 제2차원 원뿔 ${\cal Q}$의 지표 함수가 두 번째로 에피미분 가능하다고 보일 수 있는가?
• RQ2 거리 하위정규성 조건 이외의 조건 없이, SOCP 제약 집합 $\Gamma$의 정규 맵에 대한 도형 도함수에 대한 정확한 공식은 무엇인가?
• RQ3 제2차 변분 도구를 활용하여 SOCPs에서 라그랑주 승수의 유일성을 어떻게 특성화할 수 있는가?
• RQ4 엄격 로빈슨 조건의 쌍대 제약 조건을 통해 SOCPs에서 오차 한계 추정치를 자동으로 도출할 수 있는가?
• RQ5 어떤 조건에서 SOCPs와 관련된 편미분된 변분 시스템의 해 맵이 고립된 안정성(isolated calmness)을 보일 수 있는가?

주요 결과

• 로렌츠 원뿔의 지표 함수 $\delta_{\cal Q}$는 두 번째로 에피미분 가능하며, 그 두 번째 에피미분은 ${\cal Q}$의 기하학적 자료만을 사용하여 명시적으로 계산된다.
• 비비탈성 조건 없이도 거리 하위정규성 제약 조건(MSCQ) 하에서 정규 맵 $N_\Gamma$의 도형 도함수가 정확히 계산된다.
• 엄격 로빈슨 조건의 쌍대 제약 조건인 새로운 제약 조건을 도입하고, 이를 통해 SOCPs에서 라그랑주 승수의 유일성을 특성화한다.
• 새로운 제약 조건을 통해 $C^2$-연속 데이터 하에서 SOCPs의 오차 한계 추정치가 자동으로 도출된다.
• 편미분된 변분 시스템의 해 맵이 고립된 안정성을 보일 조건을 도형 도함수와 정규 맵의 구조를 포함한 새로운 조건을 통해 완전히 특성화하였다.
• 수치 예제를 통해 일부 타당 점에서는 고립된 안정성이 성립하지만 다른 점에서는 성립하지 않음을 확인하였으며, 이는 이론적 특성화의 정확성을 입증한다.