[논문 리뷰] Uniqueness of Nonnegative Tensor Approximations

Qi Yang, Pierre Comon외 1명|arXiv (Cornell University)|2014. 10. 29.

Tensor decomposition and applications참고 문헌 45인용 수 5

한 줄 요약

이 논문은 비음수 텐서의 최적 비음수 랭크-$ r $ 근사가 거의 항상 유일함을 입증하며, 비음수 텐서가 최적의 랭크-일치 근사가 유일한지 여부를 판단하기 위한 다항식 기준—특이치수판별식 $ D_{\text{sing}}(T) $—을 제시한다. 비유일 근사가 형성하는 집합이 초곡면임을 증명하고, 이러한 결과를 대칭 및 실수 텐서로 확장하여 양수 텐서에서는 정수분해가 실패함을 보여준다.

ABSTRACT

We show that for a nonnegative tensor, a best nonnegative rank-r approximation is almost always unique, its best rank-one approximation may always be chosen to be a best nonnegative rank-one approximation, and that the set of nonnegative tensors with non-unique best rank-one approximations form an algebraic hypersurface. We show that the last part holds true more generally for real tensors and thereby determine a polynomial equation so that a real or nonnegative tensor which does not satisfy this equation is guaranteed to have a unique best rank-one approximation. We also establish an analogue for real or nonnegative symmetric tensors. In addition, we prove a singular vector variant of the Perron--Frobenius Theorem for positive tensors and apply it to show that a best nonnegative rank-r approximation of a positive tensor can never be obtained by deflation. As an aside, we verify that the Euclidean distance (ED) discriminants of the Segre variety and the Veronese variety are hypersurfaces and give defining equations of these ED discriminants.

연구 동기 및 목표

• 비음수 텐서의 최적 비음수 랭크-$ r $ 근사가 유일한 조건을 규명하는 것.
• 비유일 최적 랭크-일치 근사가 존재하는 텐서의 집합을 준대수적 초곡면으로 특성화하는 것.
• 비단순 정규화된 특이값을 가지는 텐서를 정의하는 명시적 다항식 방정식 ($ D_{\text{sing}}(T) = 0 $)을 유도하는 것.
• 양수 텐서에 대해 정수분해가 최적 비음수 랭크-$ r $ 근사를 도출할 수 없음을 증명하는 것.
• 비음수 및 실수 텐서로의 유일성 및 판별식 결과의 확장을 다루는 것.

제안 방법

• 비음수 텐서를 $ \mathbb{R}_+ $ 위의 콘의 텐서곱 원소로 형식화하고, $ \mathbb{R}_+ $ 위의 반환에서의 반모듈러를 사용한다.
• 특이치수판별식 $ D_{\text{sing}}(T) $ 를 특이특성다항식과 그 도함수의 결과로 정의한다.
• 대수기하학 도구, 특히 유클리드 거리(ED) 판별식 이론을 사용하여 비단순 특이값을 가지는 텐서의 집합이 초곡면임을 보인다.
• 특이벡터의 페론–프로베니우스 정리 변형을 적용하여 텐서 근사에서의 양성과 유일성을 분석한다.
• 특히, 일반적인 텐서에서 판별식이 0이 아님을 이용하여 비퇴화 조건 하에서의 유일성을 증명하는 대수기하학 결과를 활용한다.
• 실수 또는 비음수 텐서의 경우 $ D_{\text{sing}}(T) \neq 0 $ 이면 최적의 랭크-일치 근사가 유일함을 증명한다.

실험 결과

연구 질문

• RQ1 비음수 텐서의 최적 비음수 랭크-$ r $ 근사가 유일한 조건은 무엇인가?
• RQ2 비유일 최적 랭크-일치 근사가 존재하는 비음수 텐서의 집합을 기술하는 대수기하학적 다양체는 무엇인가?
• RQ3 주어진 텐서가 최적의 랭크-일치 근사가 유일한지 여부를 판단할 수 있는 다항식 기준을 유도할 수 있는가?
• RQ4 정수분해 방법(연속적인 랭크-일치 근사)이 양수 텐서의 최적 비음수 랭크-$ r $ 근사를 도출할 수 있는가?
• RQ5 유일성 및 판별식 결과가 대칭 및 실수 텐서로 어떻게 확장되는가?

주요 결과

• 비음수 텐서의 최적 비음수 랭크-$ r $ 근사는 거의 항상 유일하다.
• 비유일 최적 랭크-일치 근사가 존재하는 비음수 텐서의 집합은 초곡면에 포함된 준대수적 집합이다.
• 실수 또는 비음수 텐서의 경우, 특이치수판별식 $ D_{\text{sing}}(T) \neq 0 $ 이면 최적의 랭크-일치 근사가 유일하며, 이 판별식은 초곡면을 정의한다.
• 세그레 다양체의 유클리드 거리 판별식은 초곡면이며, $ D_{\text{sing}}(T) = 0 $ 이 그 정의 방정식을 이룬다.
• 양수 텐서의 최적 비음수 랭크-$ r $ 근사는 특이벡터의 페론–프로베니우스 정리 변형으로 인해 정수분해로 도출될 수 없다.
• 대칭 텐서의 경우, 이와 유사한 유일성 및 판별식 결과가 성립하며, 이는 이론을 대칭 설정으로 확장한다.