[논문 리뷰] Support-based lower bounds for the positive semidefinite rank of a nonnegative matrix

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

Sparse and Compressive Sensing Techniques참고 문헌 13인용 수 14

한 줄 요약

이 논문은 비음수 행렬의 양의 정부호 랭크에 대한 지지 기반 하한의 본질적 한계를 규명한다: 가장 좋은 지지 기반 하한은 동일한 영/비영 패턴을 가진 모든 행렬들 중에서 가능한 최소 랭크와 정확히 일치한다. 저자들은 지지 기반 방법이 양의 정부호 랭크에 대해 행렬 랭크를 초월하는 하한을 도출할 수 없다는 것을 증명하며, 이는 비음수 랭크에서 이러한 하한이 지수적으로 더 약해질 수 있다는 점과 대조된다.

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(k,ℓ) = tr(A_k^* B_ℓ)를 만족하는 양의 정부호 행렬 A_k 및 B_ℓ가 존재하는 최소 차원 q로 정의한다.
• 주어진 행렬 S와 동일한 지지 구조 M을 가진 모든 비음수 행렬 T의 집합을 분석하고, 이러한 T들에 대해 rk_⊕(T)의 하한을 고려한다.
• 핵심 기술 도구는 관련 부분공간에 대한 부분공간 레이티스와 랭크 조건을 통한 양의 정부호 인수분해의 특성화이다.
• 특히, 항목이 0 또는 비영일 경우의 랭크 제약 조건을 바탕으로 모순을 이용해 저차원 표현을 배제하는 방법을 사용한다.
• 행렬이 랭크 1 인수분해를 가질 경우, 그 항목들은 동일한 랭크를 가진 행렬의 항목의 제곱이어야 한다는 사실을 활용한다.
• 이를 특정한 S_n 가족에 적용하여, 랭크가 항상 3이지만 양의 정부호 랭크가 무한히 증가하는 행렬을 구성하고, 기저 행렬 Y의 부호 패턴을 열거한다.

실험 결과

연구 질문

• RQ1 지지 기반 하한이 동일한 지지를 가진 행렬들 중에서 가능한 최소 랭크를 초월할 수 있는가?
• RQ2 양의 정부호 랭크에서 지지 기반 하한의 능력은 비음수 랭크 설정에서의 능력과 어떻게 비교되는가?
• RQ3 지지 기반 하한이 양의 정부호 케이스에서 본질적으로 제한되는 구조적 이유가 있는가?
• RQ4 예를 들어 랭크 1 성분과 같은 추가적인 인수분해 제약 조건이 지지 구조만으로부터보다 더 강력한 하한을 도출할 수 있는가?
• RQ5 양의 정부호 랭크와 동일한 지지를 가진 행렬들 중에서 가능한 최소 랭크(비결정적 랭크) 사이의 관계는 무엇인가?

주요 결과

• 어느 비음수 행렬 S에 대해서든, 지지 기반 하한으로서의 최고의 양의 정부호 랭크 하한은 S와 동일한 지지를 가진 모든 비음수 행렬들 중에서 가능한 최소 랭크와 정확히 일치한다.
• 이 결과는 지지 기반 방법이 양의 정부호 랭크에 대해 행렬 랭크를 초월하는 하한을 도출할 수 없다는 것을 의미한다.
• 모든 0/1 행렬 M에 대해, 지지 M을 가진 모든 비음수 행렬들 중에서의 최소 양의 정부호 랭크는 동일한 집합에서의 최소 랭크와 같다.
• 행렬 S의 삼각형 랭크는 Corollary 4.8에서 보여지듯이 그 양의 정부호 랭크의 하한이 된다.
• 논문은 랭크가 항상 3이지만 양의 정부호 랭크가 n에 따라 무한히 증가하는 행렬 S_n의 가족을 구성하여, 양의 정부호 랭크가 행렬 랭크를 초월할 수 있음을 보여준다.
• n ≥ 6일 때, S_6의 양의 정부호 랭크는 최소 4 이상이며, 이는 랭크 3인 행렬 Y의 항목별 제곱이 S_6와 일치할 수 없다는 모순을 통해 증명된다.