[논문 리뷰] Orthogonal tensor decomposition and orbit closures from a linear algebraic perspective

Pascal Koiran|arXiv (Cornell University)|2019. 05. 13.

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

한 줄 요약

이 논문은 실수 및 복소수 체 위에서 직교 텐서 분해의 선형 대수적 특성화를 제공하며, 대칭 텐서와 직교 Waring 분해를 갖는 일반 텐서가 ℝ 위에서 이차 방정식으로 기술될 수 있음을 보여주고, ℂ 위에서는 다항식 등식과 부등식으로 기술됨을 밝힌다. 주요 기여는 근사 동시 대각화(ASD) 성질을 이용한 직교 텐서 분해의 폐쇄의 완전한 특성화이며, 복소수 체 위에서 폐쇄에 속하는지 여부에 대해 ASD 조건이 필요하지만 충분하지 않음을 보여주는 반례를 제시한다.

ABSTRACT

We study orthogonal decompositions of symmetric and ordinary tensors using methods from linear algebra. For the field of real numbers we show that the sets of decomposable tensors can be defined be equations of degree 2. This gives a new proof of some of the results of Robeva and Boralevi et al. Orthogonal decompositions over the field of complex numbers had not been studied previously; we give an explicit description of the set of decomposable tensors using polynomial equalities and inequalities, and we begin a study of their closures. The main open problem that arises from this work is to obtain a complete description of the closures. This question is akin to that of characterizing border rank of tensors in algebraic complexity. We give partial results using in particular a connection with approximate simultaneous diagonalization (the so-called "ASD property").

연구 동기 및 목표

• 선형대수적 방법을 사용하여 직교 텐서 분해의 대수적 특성화를 제공하기.
• ℝ 및 ℂ 위에서 분해 가능한 텐서의 집합을 다항식 등식과 부등식을 사용하여 기술하기.
• 특히 복소수 체 위에서 직교 텐서 분해의 폐쇄를 연구하기.
• 텐서 분해에서 ASD 성질과 궤도 폐쇄 사이의 관계를 조사하기.
• 반례를 구성하여 궤도 폐쇄의 구조에 대한 열린 문제를 해결하기 — 즉, ASD 조건이 필수적이지만 충분하지 않다는 것을 보여주기.

제안 방법

• 순서 3의 텐서의 슬라이스 표현을 n개의 행렬로 사용하여 동시 행렬 축소 기법을 적용하기.
• 이차형식과 등방성 부분공간의 결과를 활용하여 복소수 직교 분해를 분석하기.
• 근사 동시 대각화(ASD) 개념을 사용하여 직교 분해의 극한을 특성화하기.
• 위트의 확장 정리와 대칭 행렬의 성질을 활용하여 폐쇄 조건을 유도하기.
• 완전히 등방성 부분공간에서 대칭 텐서를 구성하여 폐쇄에 속하는지 여부의 반례 생성하기.
• 차원 수세기 방법을 사용하여 일부 텐서 가중치가 직교 분해의 폐쇄 외부에 있음을 보여주기.

실험 결과

연구 질문

• RQ1 ℝ 및 ℂ 위에서 직교 Waring 분해를 갖는 대칭 텐서의 집합을 특성화하는 대수적 조건은 무엇인가?
• RQ2 복소수 체 위에서 직교 분해 가능한 텐서의 집합의 폐쇄는 어떻게 기술할 수 있는가?
• RQ3 근사 동시 대각화(ASD) 조건이 직교 분해 가능한 텐서의 폐쇄에 속하기 위해 충분한가?
• RQ4 다항식 등식과 부등식을 사용하여 직교 텐서 분해의 궤도 폐쇄를 완전히 특성화할 수 있는가?
• RQ5 ℂ 위에서 직교 분해 가능한 텐서의 다양체의 차원은 얼마이며, 다른 텐서 가중치와 비교해 보면 어떻게 되는가?

주요 결과

• ℝ 위에서는 직교 Waring 분해 가능한 대칭 텐서의 집합이 이차 방정식으로 정의되며, 이는 Robeva 및 Boralevi 등이 이전에 얻은 결과에 대한 새로운 증명을 제공한다.
• ℂ 위에서는 직교 분해 가능한 텐서의 집합이 다항식 등식과 부등식으로 정의되는 구조적 집합이며, 그 폐쇄는 ASD 성질을 통해 특성화된다.
• 폐쇄에 속하는 텐서의 슬라이스 곱(예: X_k^T X_l)으로 생성된 행렬들은 대칭이면서 근사적으로 동시에 대각화 가능해야 한다.
• 복소수 체 위에서 직교 분해 가능한 텐서의 폐쇄는 ASD 성질만으로 정의된 집합보다 엄격히 크며, 반례를 통해 이를 입증하였다.
• 적당히 큰 n(예: n ≥ 68)에 대해, 모든 ASD 조건을 만족하지만 직교 분해 가능한 텐서의 폐쇄에 속하지 않는 대칭 텐서가 존재한다.
• ℂ 위에서 직교 분해 가능한 텐서의 다양체의 차원은 최대 3n(n−1)/2 + n 이며, 이는 이차적으로 유계이다. 반면 일부 대칭 텐서 가중치(예: 완전히 등방성 부분공간에서 유도된 것들)는 차원이 세제곱적으로 증가한다.