[논문 리뷰] A Revisit to Quadratic Programming with One Inequality Quadratic Constraint via Matrix Pencil

Yong Hsia, Gang-Xuan Lin외 1명|arXiv (Cornell University)|2013. 12. 05.

Advanced Optimization Algorithms Research참고 문헌 16인용 수 5

한 줄 요약

이 논문은 슬레이터 조건 또는 SDC 조건에 의존하지 않고, 비가역성, 무한대성, 도달 불가능성과 같은 '부적절한' 케이스를 식별하고 해결하기 위해 행렬 펜슬 분석을 사용하여 1개의 부등식 제약 조건을 가진 이차계획문제(QP1QC)를 재검토한다. 이는 표준 SDP/단일 랭크 분해가 실패할 경우에도 유효한 다항식 시간 분류 및 대체 해법을 제공한다.

ABSTRACT

The quadratic programming over one inequality quadratic constraint (QP1QC) is a very special case of quadratically constrained quadratic programming (QCQP) and attracted much attention since early 1990's. It is now understood that, under the primal Slater condition, (QP1QC) has a tight SDP relaxation (PSDP). The optimal solution to (QP1QC), if exists, can be obtained by a matrix rank one decomposition of the optimal matrix X? to (PSDP). In this paper, we pay a revisit to (QP1QC) by analyzing the associated matrix pencil of two symmetric real matrices A and B, the former matrix of which defines the quadratic term of the objective function whereas the latter for the constraint. We focus on the \undesired" (QP1QC) problems which are often ignored in typical literature: either there exists no Slater point, or (QP1QC) is unbounded below, or (QP1QC) is bounded below but unattainable. Our analysis is conducted with the help of the matrix pencil, not only for checking whether the undesired cases do happen, but also for an alternative way to compute the optimal solution in comparison with the usual SDP/rank-one-decomposition procedure.

연구 동기 및 목표

• 표준 문헌에서 일반적으로 忽略되는 QP1QC의 '부적절한' 케이스—예를 들어 비가역성, 아래로 무한대, 또는 유계이지만 도달 불가능한 문제—를 다루기 위해.
• 행렬 펜슬 분석을 사용하여 QP1QC 문제의 해가 비가역성, 무한대성, 또는 도달 불가능성인지 판단하는 분류 프레임워크를 개발하기 위해.
• 원래 또는 이중 슬레이터 조건이 실패할 경우 표준 SDP 리 릴랙세이션 및 단일 랭크 분해를 회피하는 QP1QC에 대한 대체 해법을 제공하기 위해.
• 양의 준정부호 펜슬 $ I_{\succeq}(A,B) $ 를 사용하여 문제적 QP1QC 인스턴스를 탐지하고 해결하는 다항식 시간 알고리즘을 수립하기 위해.
• 슬레이터 조건 또는 동시 대각화 가능성(SDC) 조건에 의존하지 않는 표준 가정을 초월하여 QP1QC 해법의 적용 가능성을 확장하기 위해.

제안 방법

• 논문은 QP1QC 문제의 행동을 분류하기 위해 $ A + \sigma B \succeq 0 $ 를 만족하는 모든 $ \sigma \geq 0 $ 의 집합으로 정의된 행렬 펜슬 $ I_{\succeq}(A,B) $ 를 분석한다.
• 펜슬의 구조를 활용하여 원래 또는 이중 슬레이터 조건이 필요 없이 문제의 비가역성, 아래로 무한대성, 또는 유계이지만 도달 불가능성 여부를 탐지한다.
• 표준 SDP 리 릴랙세이션에 실패하는 경우, 단일 랭크 분해를 피하기 위해 행렬 펜슬 분해를 통한 대체 해법 경로를 제공한다.
• 펜슬 분석과 함께 S-레마 및 콘형 이중성을 활용하여 표준 가정이 실패하는 경우에도 강력한 이중성 조건을 유도한다.
• 예를 들어 $ A $ 와 $ B $ 가 치환을 통한 동시에 대각화되지 않는 경우, 무한대성 또는 도달 불가능성을 보여주는 명시적 예를 제시한다.
• 펜슬의 구조를 사용하여 QP1QC 행동의 분류가 다항식 시간 내에 결정 가능하다는 것을 증명함으로써 효율적인 알고리즘 구현이 가능하다.

실험 결과

연구 질문

• RQ1 QP1QC 문제는 원래 또는 이중 슬레이터 조건에 의존하지 않고 비가역성, 무한대성, 또는 도달 불가능성으로 분류될 수 있는가?
• RQ2 QP1QC에서 무한대성 또는 도달 불가능성을 탐지하는 데 있어 행렬 펜슬 $ I_{\succeq}(A,B) $ 는 어떤 역할을 하는가?
• RQ3 표준 SDP/단일 랭크 분해가 실패할 경우 QP1QC의 해를 행렬 펜슬 분석을 통해 계산할 수 있는가?
• RQ4 QP1QC 문제의 하한이 무한대가 되는 조건은 무엇이며, 이를 효율적으로 탐지할 수 있는가?
• RQ5 치환에 의한 동시에 대각화 가능성(SDC)의 실패는 QP1QC에서 도달 불가능성 또는 무한대성과 어떻게 관련되는가?

주요 결과

• 논문은 QP1QC 문제들이 다항식 시간 내에 행렬 펜슬 $ I_{\succeq}(A,B) $ 를 사용하여 비가역성, 아래로 무한대성, 또는 유계이지만 도달 불가능성으로 분류될 수 있음을 입증한다.
• 예제 2에서 보듯이 원래 슬레이터 조건이 실패할 경우 문제는 아래로 무한대가 될 수 있으며, 이는 $ A + \sigma B \nsucceq 0 $ 이 모든 $ \sigma \geq 0 $ 에 대해 성립하지 않기 때문이다.
• 예제 3에서 문제는 하한이 존재하지만 $ x_1x_2 \geq 1 $ 제약 조건으로 인해 도달 불가능하다. 이 경우 $ x_2 \to 0 $ 이지만 영이 되지 않는다.
• 논문은 $ A $ 와 $ B $ 가 치환에 의한 동시에 대각화되지 않을 경우 문제에서 무한대성 또는 도달 불가능성이 나타날 수 있음을 증명하며, 이는 예제 2–4에서 확인된다.
• 표준 SDP 리 릴랙세이션에 실패하더라도 QP1QC의 해는 행렬 펜슬 분석을 통해 계산 가능하며, 이는 단일 랭크 분해에 대한 강건한 대안을 제공한다.
• 이 방법은 SDC 또는 슬레이터 조건을 요구하지 않으며 QP1QC에 대한 완전한 분류 및 해법 프레임워크를 제공함으로써 알고리즘의 강건성을 향상시킨다.