[논문 리뷰] M-Tensors and Nonsingular M-Tensors

Weiyang Ding, Liqun Qi외 1명|arXiv (Cornell University)|2013. 07. 28.

Tensor decomposition and applications참고 문헌 15인용 수 12

한 줄 요약

이 논문은 고차원 텐서 이론에서 M-텐서와 비특이 M-텐서의 등가 조건을 수립하며, Z-텐서가 비특이 M-텐서임과 동시에 반정위가 성립함을 증명한다. 짝수계수 단조 Z-텐서를 도입하고, 이들이 짝수계수 비특이 M-텐서의 진부분집합임을 보이며, 행렬의 핵심 성질을 텐서로 확장하면서도 등가관계에서의 근본적 차이를 규명한다.

ABSTRACT

The M-matrix is an important concept in matrix theory, and has many applications. Recently, this concept has been extended to higher order tensors [18]. In this paper, we establish some important properties of M-tensors and nonsingular M-tensors. An M-tensor is a Z-tensor. We show that a Z-tensor is a nonsingular M-tensor if and only if it is semi-positive. Thus, a nonsingular M-tensor has all positive diagonal entries; and an M-tensor, regarding as the limitation of a series of nonsingular M-tensors, has all nonnegative diagonal entries. We introduce even-order monotone tensors and present their spectral properties. In matrix theory, a Z-matrix is a nonsingular M-matrix if and only if it is monotone. This is no longer true in the case of higher order tensors. We show that an even-order monotone Z-tensor is an even-order nonsingular M-tensor but not vice versa. An example of an even-order nontrivial monotone Z-tensor is also given.

연구 동기 및 목표

• M-행렬의 개념을 고차원 텐서로 확장하고, 비특이 M-텐서에 대한 등가 정의를 수립하는 것.
• 행렬 수준의 등가성—특히 반정위와 단조성—이 텐서 설정에서 성립하는지 조사하는 것.
• 특히 짝수계수의 경우에서 Z-텐서, M-텐서, 그리고 그 비특이 변형 간의 관계를 명확히 하는 것.
• 짝수계수 단조 Z-텐서를 도입하고 그 스펙트럼 행동을 분석하는 것.
• 비특이 H-텐서에 대한 등가 조건을 설정하기 위해 M-텐서 프레임워크를 H-텐서로 확장하는 것.

제안 방법

• M-텐서를 대각성분이 비음이 아닌 Z-텐서이자 모든 고유값의 실수부가 양수인 것으로 정의하며, M-행렬을 일반화한다.
• Z-텐서가 비특이 M-텐서임과 동시에 반정위임이 서로 동치임을 증명한다. 즉, x > 0 이 존재하여 Ax^{m-1} > 0 를 만족함.
• 모든 x에 대해 Ax^{m-1} ≥ 0 이면 x ≥ 0 이 되는 조건을 통해 짝수계수 단조 Z-텐서를 도입하고, 이들이 비특이 M-텐서의 진부분집합임을 보인다.
• 비특이 M-텐서가 아닌 비자명한 짝수계수 단조 Z-텐서의 예를 구성하여 엄밀한 포함관계를 입증한다.
• 비교 텐서를 통해 H-텐서를 정의하고, 텐서가 비특이 H-텐서임과 동시에 준엄격 대각지배성임이 동치임을 증명한다.
• 비특이 H-텐서에 대해 여러 등가 조건을 수립하며, 대각 스케일링 하에서의 대각지배성 포함.

실험 결과

연구 질문

• RQ1 비특이 M-텐서에 대해 반정위가 등가임이 텐서 설정에서도 성립하는가? (행렬의 경우와 동일한가?)
• RQ2 고차원 텐서에서 단조성이 비특이 M-텐서임을 의미하는가? 그 역도 참인가?
• RQ3 짝수계수 단조 Z-텐서의 스펙트럼 성질은 무엇이며, 비특이 M-텐서와 어떻게 관련되는가?
• RQ4 M-텐서 프레임워크를 H-텐서로 확장할 수 있는가? 비특이 H-텐서에 대한 등가 조건은 무엇인가?
• RQ5 비특이 M-텐서에 대한 행렬에서의 등가 정의가 고차원 텐서로 어떻게 일반화되는가?

주요 결과

• Z-텐서가 비특이 M-텐서임과 동시에 반정위임이 서로 동치이며, 이는 텐서 설정에서의 기본 등가성을 수립한다.
• 비특이 M-텐서의 모든 대각성분은 양수이며, 일반 M-텐서의 모든 대각성분은 음이 아닌 수이다.
• 짝수계수 단조 Z-텐서는 짝수계수 비특이 M-텐서의 진부분집합이며, 이는 단조성이 비특이 M-텐서 성질을 함의하지는 않음을 의미한다.
• 비특이 M-텐서가 아닌 비자명한 짝수계수 단조 Z-텐서의 예를 구성하여 엄밀한 포함관계를 입증한다.
• 텐서가 비특이 H-텐서임과 동시에 준엄격 대각지배성임이 동치이며, 이는 양수 가중치가 존재하여 스케일링 하에서 대각지배성이 성립함을 의미한다.
• 비특이 H-텐서에 대해 여러 등가 조건을 수립하였으며, 이는 양수 대각 스케일링 하에서의 엄격 대각지배성과, 양수 대각 텐서에서 비음이 아닌 텐서를 뺀 분해 및 스펙트럼 조건 포함.