[논문 리뷰] Lower Bounds for Sizes of Semidefinite Formulations for Some Combinatorial Optimization Problems.

Troy Lee, Dirk Oliver Theis|arXiv (Cornell University)|2012. 01. 01.

Advanced Optimization Algorithms Research인용 수 1

한 줄 요약

이 논문은 비음수 행렬의 양의 준정부호 랭크에 대한 하한을 증명하는 데 있어, 행렬의 영/비영 패턴에만 의존하는 지지 기반 하한이 본질적으로 제한되어 있음을 규명한다. 지지에 의해 유도되는 구조적 제약를 규명함으로써, 저자들은 이러한 방법이 양의 준정부호 형태의 복잡성을 완전히 포괄할 수 없음을 보여주며, 조합 최적화 문제에서 널리 사용되는 이 기법의 내재된 한계를 드러낸다.

ABSTRACT

The positive semidefinite rank of a nonnegative $(m imes n)$-matrix~$S$ is the minimum number~$q$ such that there exist positive semidefinite $(q imes q)$-matrices $A_1,\dots,A_m$, $B_1,\dots,B_n$ such that $S(k,\ell) = \mbox{tr}(A_k^* B_\ell)$. The most important, lower bound technique for nonnegative rank is solely based on the support of the matrix S, i.e., its zero/non-zero pattern. In this paper, we characterize the power of lower bounds on positive semidefinite rank based on solely on the support.

연구 동기 및 목표

• 지지 기반 하한의 이론적 능력이 양의 준정부호 랭크에 대해 어떻게 작용하는지 조사하기 위해.
• 행렬의 영/비영 패턴이 양의 준정부호 랭크에 미치는 구조적 제약를 규명하기 위해.
• 지지 기반 방법이 조합 문제의 양의 준정부호 형태에 대해 날카롭거나 의미 있는 하한을 도출할 수 있는지 판단하기 위해.
• 행렬의 지지에만 의존하는 기존 하한 기법의 한계를 특성화하기 위해.

제안 방법

• 저자들은 양의 준정부호 행렬 간의 트레이스 내적 기반 프레임워크를 사용하여 양의 준정부호 랭크를 분석한다.
• 비음수 행렬 S의 양의 준정부호 랭크를, S(k,ℓ) = tr(A_k^* B_ℓ)를 만족하는 q×q 양의 준정부호 행렬 A_k와 B_ℓ가 존재하는 최소 q로 정의한다.
• 연구는 행렬 S의 영/비영 위치에만 의존하는 지지 기반 하한에 집중한다.
• 저자들은 이러한 지지 기반 하한이 비자명해지기 위해 S가 만족해야 할 구조적 제약를 유도한다.
• 조합 및 대수 기법을 사용하여 지지만을 고려한 분석의 한계를 특성화한다.
• 분석 결과, 지지 기반 방법은 양의 준정부호 형태에서 특정 랭크 결함을 탐지할 수 없다는 것이 드러났다.

실험 결과

연구 질문

• RQ1 지지 기반 하한이 조합 문제의 양의 준정부호 형태에서 높은 랭크를 증명하는 데 효과적일 수 있는가?
• RQ2 지지 패턴의 구조적 성질이 지지 기반 하한의 양의 준정부호 랭크에 대한 능력에 어떤 제약을 가하는가?
• RQ3 지지 기반 방법이 존재하는 낮은 양의 준정부호 랭크를 탐지하지 못하는 행렬이 존재하는가?
• RQ4 행렬의 영/비영 패턴이 최소 양의 준정부호 랭크를 얼마나 제약하는가?
• RQ5 지지 기반 하한의 한계는 대수적 또는 조합적 불변량을 사용하여 공식적으로 특성화할 수 있는가?

주요 결과

• 지지 기반 하한은 양의 준정부호 랭크에 대해 본질적으로 제한되어 있으며, 양의 준정부호 형태의 전체 복잡성을 포괄할 수 없다.
• 행렬의 영/비영 패턴은 지지 전용 분석의 효과를 제한하는 엄격한 구조적 제약를 부과한다.
• 지지 기반 방법이 낮은 양의 준정부호 랭크를 증명하지 못하는 행렬이 존재한다. 이러한 낮은 랭크 형태가 실제로 존재함에도 말이다.
• 논문은 지지 기반 기법이 조합 최적화에서 중요한 많은 경우에 강력한 하한을 증명하는 데 부적절하다는 것을 보여준다.
• 지지 패턴에서 유도된 구조적 제약는 오직 매트릭스 희박성에 의존하는 랭크 증명의 내재된 약점을 드러낸다.