[논문 리뷰] A universality theorem for nonnegative matrix factorizations

Yaroslav Shitov|arXiv (Cornell University)|2016. 06. 29.

Tensor decomposition and applications참고 문헌 31인용 수 21

한 줄 요약

이 논문은 비음수 행렬 분해(NMF)에 대한 보편성 정리(universality theorem)를 수립하며, 임의의 유계(semialgebraic) 집합이 어떤 비음수 행렬의 비음수 분해 공간과 유리 동치(rational equivalent)임을 증명한다. 핵심 결과는 NMF가 실수의 존재론적 이론(ETR)과 다항시간 동치임을 보여, ∃ℝ-완전임을 입증하며, 이는 ℝ의 서로 다른 부분체 위에서의 분해에 관한 Cohen–Rothblum 문제를 해결함으로써 오랫동안 남아있던 복잡도 문제를 해결한다.

ABSTRACT

Let $A$ be a matrix with nonnegative real entries. A nonnegative factorization of size $k$ is a representation of $A$ as a sum of $k$ nonnegative rank-one matrices. The space of all such factorizations is a bounded semialgebraic set, and we prove that spaces arising in this way are universal. More presicely, we show that every bounded semialgebraic set $U$ is rationally equivalent to the set of nonnegative size-$k$ factorizations of some matrix $A$ up to a permutation of matrices in the factorization. We prove that, if $U\subset\mathbb{R}^n$ is given as the zero locus of a polynomial with coefficients in $\mathbb{Q}$, then such a pair $(A,k)$ can be computed in polynomial time. This result gives a complete description of the algorithmic complexity of nonnegative rank, and it also allows one to solve the problem of Cohen and Rothblum on nonnegative factorizations restricted to matrices over different subfields of $\mathbb{R}$.

연구 동기 및 목표

• 비음수 행렬 분해(NMF)에 대한 보편성 정리를 수립하여, NMF의 해 공간이 임의의 유계 semialgebraic 집합을 인코딩할 수 있음을 보여주기.
• NMF의 정확한 알고리즘 복잡도를 규명하여, 오랫동안 남아있던 NMF의 계산 난이도에 관한 열린 문제를 해결하기.
• ℝ의 서로 다른 순서체(subfields)로 제한되었을 때 NMF의 행동에 관한 Cohen–Rothblum 문제를 해결하기.
• 유리수 계수를 가진 경우, 주어진 semialgebraic 집합과 유리 동치인 NMF 공간을 가지는 행렬 A와 분해 크기 k를 다항시간 내에 계산할 수 있음을 보여주기.

제안 방법

• 주어진 유계 semialgebraic 집합 U와 유사한 비음수 k-분해 공간을 가지는 행렬 A와 분해 크기 k를 구성한다.
• 변수 가드리트(variable gadgets)—특수화된 행렬 구조로, [0,1] 범위의 변수를 표현하고 비음수 질량 조건을 통해 대수적 제약 조건을 강제한다.
• 유리수 매개변수와 변수 항목을 가진 블록 행렬을 사용하여 선형 조합을 표현하며, 선형 방정식이 만족될 때 정확히 비음수 질량이 감소하도록 보장한다.
• 특정한 구조를 가진 3×3 블록 행렬을 사용하여 변수의 곱을 표현하며, 비음수 질량 조건을 통해 u₁u₂ = v 를 강제한다.
• 다항식 방정식을 변수의 합과 곱으로 분해함으로써, 반복적으로 적용된 구조를 통해 임의의 다항식 방정식을 인코딩한다.
• 최종적으로 행렬 H는 인코딩된 방정식들을 조합한 블록 대각 행렬로 구성되며, 그 비음수 분해 공간이 원래 다항식 시스템의 해 집합과 강하게 동치임을 보여준다.

실험 결과

연구 질문

• RQ1 모든 유계 semialgebraic 집합이 비음수 행렬 분해 문제의 해 공간으로 표현될 수 있는가?
• RQ2 비음수 행렬 분해 문제(NMF)는 존재론적 이론(ETR)에 대해 완전한가?
• RQ3 분해 질량이 유계되지 않을 때 NMF의 계산 복잡도는 무엇이며, 다른 대수적 문제들과 비교해 볼 때 어떻게 되는가?
• RQ4 NMF의 복잡도는 ℝ의 서로 다른 부분체(예: ℚ 또는 기타 순서체)로 제한되었을 때 어떻게 변화하는가?
• RQ5 유리수 계수로 정의된 주어진 semialgebraic 집합을 고려할 때, NMF 공간이 그 집합과 유리 동치가 되는 행렬 A와 분해 크기 k를 다항시간 내에 계산할 수 있는가?

주요 결과

• 비음수 행렬의 비음수 k-분해 공간은 보편적이다: 모든 유계 semialgebraic 집합은 이러한 공간과 유리 동치이다.
• NMF는 존재론적 이론(ETR)과 다항시간 동치이므로 ∃ℝ-완전하다.
• 유리수 계수 다항식의 영점 집합으로 정의된 임의의 semialgebraic 집합 U ⊂ ℝⁿ에 대해, 다항시간 내에 행렬 A와 정수 k를 계산할 수 있으며, 그 NMF 공간은 U와 유리 동치이다.
• NMF의 해 공간은 전용 행렬 가드리트를 통해 선형 및 곱 제약 조건의 조합을 통해 임의의 다항식 방정식을 인코딩할 수 있다.
• Cohen–Rothblum 문제에 대한 NMF의 해법은 완전히 해결되었다: 복잡도와 실현 가능성은 필드에 따라 달라지며, 이 구성은 통일된 프레임워크를 제공한다.
• 구성된 행렬 H의 비음수 질량은 정확히 ρ = 5r + 9(∑(mᵢ − 1))이며, 그 분해 공간은 원래 다항식 시스템의 해 집합과 강하게 동치이다.