[논문 리뷰] M-tensors and The Positive Definiteness of a Multivariate Form

Liping Zhang, Liqun Qi외 1명|arXiv (Cornell University)|2012. 02. 29.

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

한 줄 요약

이 논문은 M-행렬의 고차원 일반화로 M-텐서를 도입하고, M-텐서의 최소 실수 고유값이 비음성 고유벡터를 가짐을 증명한다. 이 논문은 이 최소 고유값을 계산하기 위한 수렴성 보장된 반복 알고리즘을 제안하며, 짝수차 다변수 형식의 정정의성 테스트가 관련된 텐서가 M-텐서임을 확인하는 것과 동치임을 설립하여 비선형 시스템의 안정성 분석에 계산적으로 실현 가능한 접근법을 제공한다.

ABSTRACT

We study M-tensors and various properties of M-tensors are given. Specially, we show that the smallest real eigenvalue of M-tensor is positive corresponding to a nonnegative eigenvector. We propose an algorithm to find the smallest positive eigenvalue and then apply the property to study the positive definiteness of a multivariate form.

연구 동기 및 목표

• M-행렬 이론을 고차원 텐서로 확장하여 M-텐서를 정의하고 특성화하는 것.
• 비대각성분이 모두 음이 아닌 텐서가 M-텐서가 되기 위한 필요 및 충분조건을 설정하는 것.
• M-텐서의 최소 실수 고유값을 계산하기 위한 수렴성 보장된 알고리즘을 개발하는 것.
• 안정성 분석에의 적용을 위해 M-텐서와 짝수차 다변수 형식의 정정의성 간의 관계를 맺는 것.
• n > 3 및 m ≥ 4일 경우 기존 방법에 비해 계산적으로 효율적인 정정의성 테스트 방법을 제공하는 것.

제안 방법

• 비대각성분이 모두 음이 아닌 텐서로 M-텐서를 정의하고, 비음성 텐서와 연결된 스펙트럼 성질을 부여한다.
• 비음성 텐서에 대한 일반화된 페르로-프로베니우스 정리를 활용하여 M-텐서의 고유값 성질을 유도한다.
• 모든 M-텐서에 대해 전역 수렴성을 보장하는 반복 알고리즘을 제안하여 M-텐서의 최소 실수 고유값을 계산한다.
• 대각성분을 Ad + Di...i로, 비대각성분을 -Di...i로 설정하여 M-텐서 후보를 생성한다.
• 모든 실수 고유값이 양수임을 확인함으로써 주어진 텐서가 M-텐서인지 검증하기 위해 알고리즘을 적용한다.
• 다음 동치 조건을 통해 M-텐서 성질과 짝수차 다변수 형식의 정정의성 간의 관계를 맺는다: f(x) > 0 for all x ≠ 0 iff the associated symmetric tensor is an M-tensor.

실험 결과

연구 질문

• RQ1 M-텐서의 최소 실수 고유값은 항상 양수이며, 이에 대응하는 고유벡터는 비음성인가?
• RQ2 모든 실수 고유값이 양수라는 조건이 텐서가 M-텐서임을 위한 필요 및 충분조건이 될 수 있는가?
• RQ3 임의의 주어진 M-텐서에 대해 최소 실수 고유값을 계산하기 위한 수렴성 보장된 알고리즘이 존재하는가?
• RQ4 짝수차 다변수 형식의 정정의성 테스트는 관련된 텐서가 M-텐서임을 확인하는 것으로 축약되는가?
• RQ5 제안된 알고리즘은 대칭성과 대각성분이 양수일 필요 없이 고차원 및 고차원 텐서(n > 3, m ≥ 4)를 효율적으로 처리할 수 있는가?

주요 결과

• M-텐서의 최소 실수 고유값은 양수이며, 이에 대응하는 고유벡터는 비음성이다.
• 비대각성분이 모두 음이 아닌 텐서는 모든 실수 고유값이 양수일 때에만 M-텐서이다.
• 최소 실수 고유값을 계산하기 위한 제안된 알고리즘은 모든 M-텐서에 대해 전역 수렴성을 보장한다.
• m=3 및 n=50일 때 평균 CPU 시간은 15.2초였으며, 중간 차원에 대한 확장성 잠재력을 보여준다.
• Ad = 1000인 100개의 임의로 생성된 텐서 모두가 정확하게 M-텐서로 식별되었으며, 높은 정확도를 입증한다.
• 기존 연구를 일반화하여 다변수 형식 분석에서 대각성분이 양수여야 한다는 조건을 제거하였다.