[논문 리뷰] Nonnegative Tensor Factorization, Completely Positive Tensors and an Hierarchical Elimination Algorithm

Liqun Qi, Changqing Xu외 1명|arXiv (Cornell University)|2013. 05. 23.

Tensor decomposition and applications참고 문헌 9인용 수 6

한 줄 요약

이 논문은 완전 양의(Completely Positive, CP) 텐서를 완전 양의 행렬의 고차원 확장으로서 도입하여 스펙트럼 성질, 지배 조건, 그리고 동일 차수의 공완전 양의 텐서와의 이중성 관계를 수립한다. 비음수 텐서 분해 응용을 위한 확인 가능한 충분 조건을 제공하기 위해 강한 대칭성과 계층적 지배성을 갖춘 비음수 텐서가 CP 텐서임을 확인하는 계층적 제거 알고리즘을 제안한다.

ABSTRACT

Nonnegative tensor factorization has applications in statistics, computer vision, exploratory multiway data analysis and blind source separation. A symmetric nonnegative tensor, which has a symmetric nonnegative factorization, is called a completely positive (CP) tensor. The H-eigenvalues of a CP tensor are always nonnegative. When the order is even, the Z-eigenvalue of a CP tensor are all nonnegative. When the order is odd, a Z-eigenvector associated with a positive (negative) Z-eigenvalue of a CP tensor is always nonnegative (nonpositive). The entries of a CP tensor obey some dominance properties. The CP tensor cone and the copositive tensor cone of the same order are dual to each other. We introduce strongly symmetric tensors and show that a symmetric tensor has a symmetric binary decomposition if and only if it is strongly symmetric. Then we show that a strongly symmetric, hierarchically dominated nonnegative tensor is a CP tensor, and present a hierarchical elimination algorithm for checking this. Numerical examples are also given.

연구 동기 및 목표

• 완전 양의 행렬 이론을 고차원 텐서로 확장하기 위해 완전 양의(CP) 텐서를 정의하고 분석하는 것.
• CP 텐서의 스펙트럼 성질—특히 H-고유값과 Z-고유값—을 조사하고, 부호 및 음수 제약 조건을 수립하는 것.
• CP 텐서의 성분이 만족해야 할 필수 지배 성질을 규명하여 확인 가능한 조건을 도출하는 것.
• 동일 차수의 CP 텐서 쿨럼과 공완전 양의 텐서 쿨럼 사이의 이중성 관계를 수립하는 것.
• 강한 대칭 텐서와 계층적 제거 알고리즘을 도입하여 비음수 텐서가 CP 텐서임을 보장하는 충분 조건을 제시하는 것.

제안 방법

• CP 텐서를 실수 m차수 n차원 텐서로 정의하며, 이는 비음수 랭크-일의 분해 A = Σ (u^(k))^m 을 갖는다. 여기서 u^(k) ∈ ℝ₊ⁿ 이다.
• 텐서의 H-고유값과 Z-고유값을 도입하고, CP 텐서의 H-고유값이 항상 음이 아닌 것을 증명한다.
• 짝수차수 CP 텐서의 경우 모든 Z-고유값이 음이 아니며, 홀수차수의 경우 양수/음수 Z-고유값에 대응하는 Z-고유벡터는 각각 음이 아닌/음이 아닌 것을 증명한다.
• 지배 성질을 수립한다: CP 텐서 성분은 색인 집합과 값에 기반한 특정 부등식을 만족해야 하며, 이는 필수 조건이 된다.
• 강한 대칭 텐서를 대칭 이진 분해를 갖는 텐서로 정의하고, 새로운 특성화를 통해 등가성을 보여준다.
• 계층적 제거 알고리즘을 제안하여 텐서가 강한 대칭성과 계층적 지배성을 갖는지 확인하고, 그러한 텐서가 CP 텐서임을 증명한다.

실험 결과

연구 질문

• RQ1 CP 텐서는 어떤 스펙트럼 성질을 가지며, 특히 H-고유값과 Z-고유값의 부호는 어떻게 되는가?
• RQ2 CP 텐서 성분이 만족해야 할 지배 조건은 무엇이며, 이를 확인 가능한 조건으로 사용할 수 있는가?
• RQ3 동일 차수의 CP 텐서 쿨럼과 공완전 양의 텐서 쿨럼 사이에 이중성 관계가 존재하는가?
• RQ4 비음수 텐서가 CP 텐서임을 보장하는 충분 조건을 제시하고, 이를 알고리즘적으로 검증할 수 있는가?
• RQ5 계층적 제거 알고리즘이 강한 대칭성과 계층적 지배성을 갖춘 비음수 텐서를 정확히 CP 텐서로 식별하는가?

주요 결과

• 모든 CP 텐서의 H-고유값은 텐서의 차수에 관계없이 항상 음이 아니다.
• 짝수차수 CP 텐서의 경우 모든 Z-고유값이 음이 아니며, 홀수차수의 경우 양수(음수) Z-고유값에 대응하는 Z-고유벡터는 각각 음이 아닌(음이 아닌) 성질을 갖는다.
• CP 텐서 성분은 특정 지배 성질을 만족하며, 이는 텐서가 CP 텐서일 수 있는 필수 조건이 된다.
• 동일 차수의 CP 텐서 쿨럼과 공완전 양의 텐서 쿨럼은 상호 이중성 관계에 있다.
• 강한 대칭성과 계층적 지배성을 갖춘 비음수 텐서는 반드시 CP 텐서임이 보장된다.
• 계층적 제거 알고리즘은 강한 대칭성과 계층적 지배성 모두를 확인할 수 있으며, 이를 통해 CP 텐서 상태를 확인할 수 있다.