[논문 리뷰] Conditions for zero duality gap in convex programming

Jonathan M. Borwein, Regina S. Burachik외 1명|arXiv (Cornell University)|2012. 11. 21.

Optimization and Variational Analysis참고 문헌 29인용 수 8

한 줄 요약

이 논문은 볼록 프로그래밍에서 제로 이중성 간극을 특성화하는 새로운 이중 조건을 제안하며, 기존의 제약 조건 충족 조건들—베르테세카스의 조건과 닫힌 에피그래프 조건—보다 더 덜 엄격한 조건임을 증명한다. 주요 기여는 $\varepsilon$-서브드레서의 합의 약한*-닫힘성에 기반한 충분 조건으로, 정확한 이중성과 볼록 함수 합의 서브드레서 계산을 단순화한다.

ABSTRACT

We introduce and study a new dual condition which characterizes zero duality gap in nonsmooth convex optimization. We prove that our condition is weaker than all existing constraint qualifications, including the closed epigraph condition. Our dual condition was inspired by, and is weaker than, the so-called Bertsekas' condition for monotropic programming problems. We give several corollaries of our result and special cases as applications. We pay special attention to the polyhedral and sublinear cases, and their implications in convex optimization.

연구 동기 및 목표

• 볼록 프로그래밍에서 제로 이중성 간극을 특성화하는 새로운 이중 조건을 수립하기 위해.
• 이 조건이 기존에 알려진 모든 제약 조건 충족 조건—베르테세카스의 조건과 닫힌 에피그래프 조건 포함—보다 더 덜 엄격한지 보여주기 위해.
• 새로운 닫힘 조건을 이용해 볼록 함수 합의 서브드레서 표현을 단순화하기 위해.
• 기존의 볼록 최적화에서의 이중성 간극과 서브드레서 계산 결과를 확장하고 통합하기 위해.

제안 방법

• 참여 함수들의 $\varepsilon$-서브드레서 합의 약한*-닫힘성에 기반한 새로운 이중 조건을 제안하기 위해.
• 펜헬의 이중성과 최소합(convolution) 이론을 사용하여 이중 조건이 제로 이중성 간극 성질과 연결되도록 하기 위해.
• 펜헬의 쌍대 함수와 정규근사자 연산자 등을 포함한 볼록 해석학의 결과를 활용하여 이중 문제의 구조를 분석하기 위해.
• 새로운 조건과 기존 조건(예: 베르테세카스의 제약 조건 충족 조건, 닫힌 에피그래프 조건) 간의 관계를 수립하기 위해.
• 다각형 및 하향선형 함수 이론을 활용해 특수 케이스와 응용을 도출하기 위해.
• 약한 연속성 가정 하에 새로운 조건이 정확한 최소합과 서브드레서 합 규칙을 유도함을 증명하기 위해.

실험 결과

연구 질문

• RQ1 기존 조건들보다 더 약한 가정 하에 새로운 이중 조건이 볼록 프로그래밍에서 제로 이중성 간극을 유도하는가?
• RQ2 새로운 조건은 베르테세카스의 제약 조건 충족 조건과 닫힌 에피그래프 조건보다 강도가 어느 정도인가?
• RQ3 새로운 조건을 이용해 볼록 함수 합의 서브드레서 계산을 단순화할 수 있는가?
• RQ4 닫힌 에피그래프 조건은 새로운 이중 조건보다 엄격히 강한가?
• RQ5 복합 목표 함수 $f + g \circ A$ 형태의 문제로 이러한 결과들이 어떻게 확장되는가?

주요 결과

• 제안된 이중 조건—모든 $\varepsilon > 0$ 및 $x \in S$ 에 대해 $\sum_{i=1}^{m} \partial_\varepsilon f_i(x)$ 의 약한*-닫힘성—은 제로 이중성 간극에 대한 충분 조건이다.
• 문헌에 제시된 반례를 통해 이 조건이 베르테세카스의 제약 조건 충족 조건과 닫힌 에피그래프 조건보다 엄격히 덜 엄격함을 입증하였다.
• 이 조건은 정확한 최소합을 보장한다: 이중 공간에서 $(\sum_{i=1}^m f_i)^* = f_1^* \Box \cdots \Box f_m^*$.
• 다각형 함수 및 하향선형 함수의 경우, 이 조건은 에피그래프의 닫힘성으로 단순화되며, 더 강한 가정 하에 기존 결과를 복원한다.
• 새로운 조건 하에서 서브드레서 합 규칙 $\partial(f_1 + \cdots + f_m) = \partial f_1 + \cdots + \partial f_m$ 이 성립한다.
• 논문은 새로운 조건이 기존의 이중성 및 서브드레서 결과를 통합하고 일반화함으로써 열려 있는 질문들을 해결하였다.