복합 최적화 KKT 매핑의 Aubin 성질과 SC 도함수 및 이차 번들 특성화

초록

본 논문은 복합 최적화 문제의 KKT 매핑에 대해 Aubin 성질과 단일값 Lipschitz 지역화 존재 조건을 기존의 제한 코더리베티브와 엄격 그래프 도함수 대신 SC 도함수와 이차 번들을 이용해 등가적으로 기술한다. 이를 통해 계산이 용이한 새로운 판정 기준을 제시하고, 강변분 안정성 및 기울기 안정성 등과의 연관성을 밝힌다.

상세 분석

논문은 먼저 복합 최적화 모델 min ϕ(x)=f(x)+g(F(x)) 을 설정하고, 파라미터화된 KKT 시스템 0=∇ₓL(x,y*)−a*, y*∈∂g(F(x)+b) 의 해 매핑 S_KKT(a*,b) 를 정의한다. 전통적으로 Aubin 성질은 Mordukhovich의 제한 코더리베티브 조건 0∈DF(·)⇒y=0 으로, 단일값 Lipschitz 지역화는 엄격 그래프 도함수 D*F 의 핵이 {0} 임을 요구한다. 그러나 이러한 코더리베티브와 그래프 도함수는 실제 계산이 매우 복잡하고, 충분조건만 제공하는 경우가 많다.

이에 저자들은 최근 도입된 SC( Subspace Containing) 도함수 S_F 와 그 adjoint S_F* 를 활용한다. SC 도함수는 그래프의 접공간이 수렴하는 부분공간을 집합으로 정의하며, 특히 ∂g 와 같은 서브디퍼런셜 매핑에 대해 쉽게 구할 수 있다. 또한 이차 번들 Q_g 은 g 의 두 번째 서브미분을 에피컨버전스 방식으로 한계화한 구조로, SC 도함수와 일대일 대응한다.

핵심 정리는 기존의 2차 자격조건(Second‑Order Qualification Condition, SOQC)이 제한 코더리베티브 형태가 아니라 SC 도함수와 이차 번들 형태로도 동등하게 표현될 수 있음을 보인다. 구체적으로, S_∂g(·) 가 단일값(즉, 하나의 부분공간만을 포함)일 때, 다음 세 조건이 서로 동치임을 증명한다.
1) S_KKT 의 Aubin 성질,
2) S_KKT 의 단일값 Lipschitz 지역화 존재,
3) SOQC와 추가적인 SC 도함수 기반 2차 조건.

또한, 위 조건이 만족되면 해당 지역화는 단순히 Lipschitz 연속이 아니라 엄격 미분가능(strongly differentiable)하며, 그 도함수는 명시적으로 계산 가능함을 제시한다. 로컬 최소점에 대해서는 변분 충분성(variational sufficiency)과 강변분 안정성(full primal‑dual stability)이 동일한 2차 조건과 SC 도함수/이차 번들 조건에 의해 판정된다. 마지막으로, 특정 체인 규칙이 성립하면 강변분 충분성을 기울기 안정성(tilt‑stability)으로 대체할 수 있음을 보인다.

이러한 결과는 복합 최적화에서 KKT 매핑의 민감도 분석과 알고리즘 설계(특히 반부드러운* 뉴턴법)에서 기존의 복잡한 코더리베티브 계산을 회피하고, 보다 직관적이고 계산 가능한 SC 도함수와 이차 번들을 활용할 수 있는 길을 연다.