[논문 리뷰] E-Characteristic Polynomials of Tensors

An-Min Li, Liqun Qi외 1명|arXiv (Cornell University)|2012. 08. 08.

Tensor decomposition and applications참고 문헌 11인용 수 4

한 줄 요약

이 논문은 텐서의 E-특성 다항식 계수들이 정규직교 변환에 대해 불변임을 증명하며, 2차원 텐서의 경우 주계수(leading coefficient)가 $ P_m $ 및 $ Q_m $의 합에 대한 다항식 함수임을 보여준다. 핵심 결과로는, 짝수 $ m $ 에서는 $ a_{h(m,2)}(m,2) = (P_m^2 + Q_m^2)^{(m-2)/2} $ 이고, 홀수 $ m $ 에서는 $ -(P_m^2 + Q_m^2)^{m-2} $ 이며, 상수 배수를 제외하고 정확하다. 또한, 무한히 많은 고유쌍을 가진 텐서의 집합과 비정상 텐서의 집합 각각이 텐서의 사영 공간에서 여피차수 2를 가진다는 것을 보였다.

ABSTRACT

In this paper, we show that the coefficients of the E-characteristic polynomial of a tensor are orthonormal invariants of that tensor. When the dimension is 2, some simplified formulas of the E-characteristic polynomial are presented. A re- sultant formula for the constant term of the E-characteristic polynomial is given. We then study the set of tensors with infinitely many eigenpairs and the set of irregular tensors, and prove both the sets have codimension 2 as subvarieties in the projective space of tensors. This makes our perturbation method workable. By using the perturbation method and exploring the difference between E-eigenvalues and eigenpair equivalence classes, we present a simple formula for the coefficient of the leading term of the E-characteristic polynomial, when the dimension is 2.

연구 동기 및 목표

• E-특성 다항식 계수가 정규직교 좌표 변환에 대해 불변임을 증명하는 것.
• E-고유쌍의 구조를 분석하고, 텐서가 무한히 많은 고유쌍 등급을 가지거나 비정상이 되는 조건을 규명하는 것.
• 2차원 경우에서 E-특성 다항식의 주계수에 대한 명시적 공식을 도출하는 것.
• 무한히 많은 고유쌍을 가진 텐서의 집합과 비정상 텐서의 집합 각각이 사영 텐서 공간에서 여피차수 2를 가짐을 증명하여, 변형 기반 분석을 가능하게 하는 것.

제안 방법

• 시스템 $ Ax^{m-1} = \theta x $, $ x^T x = \theta^2 $ 의 결과물(resultant)을 통해 E-특성 다항식을 정의하였다. 여기서 $ \theta $ 는 동차화 변수이다.
• 결과물 표현을 통해 E-특성 다항식을 $ \theta $ 에 대한 일변수 다항식으로 표현하였으며, 계수들은 텐서 성분에 대한 다항식이 되도록 하였다.
• 특정 색인 패턴에 대해 텐서 성분을 합산하고 부호를 번갈아가며 정의한 $ P_m $ 과 $ Q_m $ 을 도입하여 주계수의 영이 되는 조건을 기술하였다.
• 주계수가 영이 되는 것과 $ P_m^2 + Q_m^2 = 0 $ 이 동시에 성립함을 증명하였으며, 고유쌍 등급의 동치성과 동차화된 시스템을 이용하였다.
• 대수기하 기법을 적용하여, 무한히 많은 고유쌍을 가진 텐서의 부분다양체와 비정상 텐서의 부분다양체 각각이 여피차수 2를 가짐을 보였다.
• 변형 이론과 닫힘 원리를 사용하여 주계수의 영집합과 $ P_m^2 + Q_m^2 $ 의 영집합을 동치로 보았으며, 주계수의 정확한 형태(상수 배수를 제외하고)를 확립하였다.

실험 결과

연구 질문

• RQ1 E-특성 다항식 계수들이 정규직교 좌표 변화에 대해 불변인가?
• RQ2 2차원 텐서의 경우 E-특성 다항식 주계수의 대수적 구조는 무엇인가?
• RQ3 어떤 조건에서 텐서가 무한히 많은 고유쌍 등급을 가질 수 있는가?
• RQ4 언제 텐서가 비정상이며, 사영 텐서 공간에서 비정상성의 위치(locus)의 여피차수는 얼마인가?
• RQ5 E-특성 다항식 주계수가 영이 되는 것은 $ Ax^{m-1} = \theta x $, $ x^T x = 0 $ 의 비자명한 해 존재와 어떤 관련이 있는가?

주요 결과

• E-특성 다항식 계수들은 텐서에 대한 정규직교 불변량이며, 좌표계의 정규직교 변환에 대해 변하지 않는다.
• 2차원 텐서의 경우 주계수 $ a_{h(m,2)}(m,2) $ 는 $ m $ 이 짝수일 때 $ (P_m^2 + Q_m^2)^{(m-2)/2} $ 에 비례하고, $ m $ 이 홀수일 때는 $ -(P_m^2 + Q_m^2)^{m-2} $ 에 비례한다.
• 무한히 많은 고유쌍 등급을 가진 텐서의 집합은 사영 공간 $ \bb{C}\bb{P}^{2^m - 1} $ 에서 여피차수 최소 2를 가진다.
• 비정상 텐서의 집합 역시 동일한 공간에서 여피차수 최소 2를 가지며, 이는 일반적인 변형 설정에서 둘 다 무시할 수 있는 집합임을 의미한다.
• 주계수가 영이 되는 것은 $ P_m^2 + Q_m^2 = 0 $ 이고, 이는 고유쌍의 완전한 조합이 존재하지 않음을 특징짓는다.
• 차수 세기와 명시적 예제를 통한 검증을 통해 주계수의 기능적 형태가 상수 배수를 제외하고 정확히 확인되었다.