[논문 리뷰] Two-Term Disjunctions on the Second-Order Cone

Fatma Kılınç-Karzan, Sercan Yıldız|arXiv (Cornell University)|2014. 04. 30.

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

한 줄 요약

이 논문은 이차원 원뿔 위의 두 항 조건부에서 볼록 폐쇄를 위한 폐쇄형 볼록 부등식을 도출하며, 원형 쌍대성을 사용하여 지배되지 않는 선형 부등식으로부터 타당한 부등식을 유도한다. 주요 기여는 특정 조건부에 대해 볼록 폐쇄를 원뿔 이차형식으로 완전히 특성화한 것으로, 이는 이전의 스플릿 컷 결과를 일반화하고 혼합정수 원뿔 최적화에서 강력한 컷 평면을 제공하는 프레임워크를 마련한다.

ABSTRACT

Balas introduced disjunctive cuts in the 1970s for mixed-integer linear programs. Several recent papers have attempted to extend this work to mixed-integer conic programs. In this paper we study the structure of the convex hull of a two-term disjunction applied to the second-order cone, and develop a methodology to derive closed-form expressions for convex inequalities describing the resulting convex hull. Our approach is based on first characterizing the structure of undominated valid linear inequalities for the disjunction and then using conic duality to derive a family of convex, possibly nonlinear, valid inequalities that correspond to these linear inequalities. We identify and study the cases where these valid inequalities can equivalently be expressed in conic quadratic form and where a single inequality from this family is sufficient to describe the convex hull. In particular, our results on two-term disjunctions on the second-order cone generalize related results on split cuts by Modaresi, Kilinc, and Vielma, and by Andersen and Jensen.

연구 동기 및 목표

• 이차원 원뿔에 적용된 두 항 조건부의 볼록 폐쇄를 특성화하는 것.
• 원래 변수 공간에서 이 볼록 폐쇄를 묘사하는 폐쇄형 볼록 부등식을 도출하는 것.
• 이차원 원뿔에 대한 기존의 스플릿 컷 결과를 더 넓은 두 항 조건부로 일반화하는 것.
• 볼록 폐쇄가 단일 원뿔 이차 부등식으로 표현될 수 있는 조건을 특정하는 것.
• 혼합정수 선형 프로그래밍에서의 조건부 컷 이론을 혼합정수 원뿔 최적화, 특히 이차원 원뿔에 대해 확장하는 것.

제안 방법

• 이차원 원뿔 위의 두 항 조건부에 의해 정의된 조건부 집합에 대한 지배되지 않는 타당한 선형 부등식을 특성화하는 것.
• 원뿔 쌍대성을 적용하여 이러한 선형 부등식을 가족 형태의 볼록 부등식(비선형일 수 있음)으로 변환하는 것.
• 결과 부등식이 원뿔 이차 형태로 표현될 수 있는 경우를 식별하는 것.
• 조건부 집합의 기하학적 및 대수적 분석을 통해 볼록 폐쇄의 명시적 표현을 도출하는 것.
• 조건부 집합과 그 폐쇄 위에서 부등식의 타당성과 볼록성을 확인함으로써 그 타당성을 검증하는 것.
• p-순서 원뿔의 쌍대성과 노름 성질을 활용하여 p ∈ (1, ∞)인 p-순서 원뿔으로 결과를 일반화하는 것.

실험 결과

연구 질문

• RQ1 이차원 원뿔 위의 두 항 조건부의 볼록 폐쇄가 단일 원뿔 이차 부등식으로 묘사될 수 있는 조건은 무엇인가?
• RQ2 이차원 원뿔 위의 조건부 집합에 대한 지배되지 않는 타당한 선형 부등식이 원뿔 쌍대성을 통해 어떻게 체계적으로 볼록 비선형 부등식으로 변환될 수 있는가?
• RQ3 이차원 원뿔 위의 비스플릿, 일반적인 두 항 제약 조건을 포함하는 조건부의 볼록 폐쇄의 구조는 어떠한가?
• RQ4 이차원 원뿔 위의 두 항 조건부에 대한 결과가 이전의 스플릿 컷 작업을 어떻게 일반화하는가?
• RQ5 p-순서 원뿔 위의 두 항 조건부의 볼록 폐쇄는 폐쇄형으로 표현될 수 있으며, 어떤 조건에서 원뿔 이차 표현이 가능한가?

주요 결과

• 논문은 이차원 원뿔 위의 두 항 조건부의 볼록 폐쇄에 대한 폐쇄형 표현을 도출하며, 이는 선형 부등식과 제곱근 항을 포함하는 두 볼록 부등식으로 묘사될 수 있음을 보여준다.
• 특정 조건부 $-x_2 \to 0 \vee -x_3 \geq -1$ 에 대해 $\mathbb{K}_2^3$ 에서 볼록 폐쇄는 $\{x \in \mathbb{K}_2^3 : x_2 \leq 1, \; 1 + |x_1| - x_3 \leq \sqrt{1 - \max\{0, x_2\}^2}\}$ 로 표현되며, 이는 립트 공간에서 원뿔 이차 표현 가능하다.
• 이 방법은 Modaresi 등과 Andersen 및 Jensen의 이전 결과를 성공적으로 일반화하여, 비스플릿 두 항 조건부로 확장한다.
• p ∈ (1, ∞)인 p-순서 원뿔에 대해, 논문은 기본 스플릿 조건부의 볼록 폐쇄에 대한 폐쇄형 표현을 제공하며, Modaresi 등(2014)의 보조정리 1을 복구하고 독립적으로 증명한다.
• 특수한 경우 $c_{1,0} = c_{2,0} = 1$ 이고 $c_1 = t_1 e^i$, $c_2 = -t_2 e^i$ 일 때, 볼록 폐쇄는 단일 원뿔 이차 부등식으로 표현 가능하며, 식 $\|(t_1 + t_2)\tilde{x} - 2(t_2 x_i + 1)\tilde{e}^i\|_p \leq (t_1 + t_2)x_n$ 으로 표현된다.
• 분석을 통해 볼록 폐쇄가 닫혀 있으며, 유도된 부등식들이 타당하고 날카롭다는 것이 확인되었으며, 이중 함수의 볼록성은 이중 함수의 명시적 계산을 통해 검증되었다.