[논문 리뷰] Explicit tensors of border rank at least 2n-1

J. M. Landsberg|arXiv (Cornell University)|2012. 09. 07.

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

한 줄 요약

이 논문은 홀수 $m$ 에 대해 $\mathbb{C}^m \otimes \mathbb{C}^m \otimes \mathbb{C}^m$ 내에서 경계 랭크가 적어도 $2m-1$ 인 명시적 텐서를 구성하여, [6]에서 제시된 영 flattening 방정정식이 행렬 곱셈 텐서에서 사라지는 것으로 알려진 비자명성을 입증한다. 또한 [1]에서 유래한 일부 고랭크 텐서가 실제로 낮은 경계 랭크($T_{2^k}$에 대해 $2^k$)를 가지며, 행렬 곱셈에서 Griesser의 방정식이 어떻게 사라지지 않는지를 규명하여, Lickteig의 오랫동안 유지된 기록과 일치하는 새로운 하한을 도출한다.

ABSTRACT

For odd n, I write down tensors in C^n\otimes C^n\otimes C^n of border rank 2n-1, showing the non-triviality of the Young-flattening equations of Landsberg-Ottaviani. I also study the border rank of the tensors of Alexeev et. al., showing the tensors their tensors T_{2^k}, despite having rank equal to 2^{k+1}-1, have border rank equal to 2^k, the minimum of any concise tensor. I also study the equations of Griesser.

연구 동기 및 목표

• 이전에 자명하다고 여겨졌던 [6]의 Young flattening 방정식이 실제로 자명하지 않음을, 그들이 사라지지 않는 명시적 텐서를 구성하여 입증하기 위해.
• 경계 랭크 $2m-1$ 과 $2m-2$ 에서 Griesser의 방정식의 비자명성 상태를 규명하고, 특히 행렬 곱셈 텐서와의 관계에서 분석하기 위해.
• [1]과 [3]에서 유래한 텐서의 경계 랭크를 분석하여, 높은 랭크임에도 불구하고 낮은 경계 랭크를 가짐을 보여주기 위해.
• Griesser의 방정식이 행렬 곱셈 텐서 $M_n$ 에서 어디까지 사라지지 않는지를 정확히 규명하여, 그에 따라 경계 랭크에 대한 새로운 하한을 도출하기 위해.

제안 방법

• 홀수 $m$ 에 대해 $\mathbb{C}^m \otimes \mathbb{C}^m \otimes \mathbb{C}^m$ 내에서 경계 랭크가 적어도 $2m-1$ 인 명시적 텐서를 구성하며, 구조적 선형 사상과 비퇴화 조건을 사용한다.
• 텐서를 선형 사상으로 간주하고 관련 행렬의 랭크를 분석함으로써 $\hat{\sigma}_r$ 에서 사라지는 다항식 방정식을 유도하기 위해 Young flattening 기법을 적용한다.
• 표현 이론적 추론과 일반성 가정을 사용하여, 특정 선형 조합 $U_j$ 가 공통의 핵을 가져야 한다는 것을 보이고, 이는 방정식의 비자명성을 의미한다.
• 행렬 곱셈 텐서 $M_n$ 을 분석하기 위해, 그 이미지가 블록 대각형이 되도록 기저를 선택하고, $[X_1, X_j]$ 가 차원 $2m - r$ 의 부분공간에 작용하는 방식을 연구하며, 이미지의 차원을 계산하여 방정식의 사라짐 여부를 테스트한다.
• Grassmannian과 공통 핵을 가진 자기형사상의 다양체 $\Sigma_m$ 에서의 차원 수를 계산하여, 방정식가 항상 0이 되는지 평가한다.
• 다양한 $m$ 과 $n$ 에서의 방정식 행동을 비교하여, 특히 $n$ 이 짝수와 홀수일 때의 경우를 분석함으로써, 방정식이 사라지거나 사라지지 않는 범위에 대한 날카로운 하한을 도출한다.

실험 결과

연구 질문

• RQ1 Young flattening 방정식이 $\mathbb{C}^m \otimes \mathbb{C}^m \otimes \mathbb{C}^m$ 에서 경계 랭크 $2m-1$ 에 대해 비자명한가?
• RQ2 $T_{2^k} \in \mathbb{C}^k \otimes \mathbb{C}^{2^k} \otimes \mathbb{C}^{2^k}$ 에서 [1]에서 유래한 텐서들이 랭크가 $2^{k+1} - 1$ 이지만 경계 랭크가 정확히 $2^k$ 인가?
• RQ3 $\mathbb{C}^m \otimes \mathbb{C}^m \otimes \mathbb{C}^m$ 에서 $\hat{\sigma}_r$ 에 대한 Griesser의 방정식이 $r = 2m-1$ 과 $r = 2m-2$ 에서 비자명한가?
• RQ4 행렬 곱셈 텐서 $M_n$ 에서 Griesser의 방정식이 사라지는 정확한 $r$ 의 범위는 무엇이며, 이는 $\underline{\mathbb{R}}(M_n)$ 에 어떤 하한을 제공하는가?
• RQ5 [3]의 방정식을 사용하여 $\underline{\mathbb{R}}(M_n)$ 에 대한 $2n^2 - n$ 하한을 향상시킬 수 있는가?

주요 결과

• 홀수 $m$ 에 대해 $\mathbb{C}^m \otimes \mathbb{C}^m \otimes \mathbb{C}^m$ 내에서 경계 랭크가 적어도 $2m-1$ 인 명시적 텐서를 구성하여, [6]의 Young flattening 방정식이 $2m - \sqrt{m}$ 이하의 임계값을 초월하여 비자명함을 입증한다.
• [1]에서 유래한 텐서 $T_{2^k}$ 는 랭크가 $2^{k+1} - 1$ 이지만 경계 랭크는 정확히 $2^k$ 이며, 이는 고랭크가 반드시 고경계랭크를 의미하지는 않음을 보여준다.
• Griesser의 방정식은 $r = 2m - 1$ 과 모든 ${\mathbb{a}}$ 에서 자명하고, $r = 2m - 2$ 에서는 $m \leq 4$ 일 때 자명하지만, $n$ 이 짝수이면 $r \leq \frac{3}{2}n^2 - 1$ 이고, $n$ 이 홀수이면 $r \leq \frac{3}{2}n^2 + \frac{n}{2} - 2$ 일 때 비자명하다.
• 행렬 곱셈 텐서 $M_n$ 에서 Griesser의 방정식은 $n$ 이 짝수일 때 $r \leq \frac{3}{2}n^2 - 1$, 홀수일 때 $r \leq \frac{3}{2}n^2 + \frac{n}{2} - 2$ 에서 사라지지 않으며, 이는 $\underline{\mathbb{R}}(M_n) \geq \frac{3}{2}n^2 + \frac{n}{2} - 1$ 이라는 하한을 도출한다. 이는 Lickteig의 기록과 정확히 일치한다.
• [6]의 방정식들이 명시적 구성에 의해 비자명함이 입증되었으며, 본 논문은 일반적으로 이러한 방정식의 비자명성을 테스트할 수 있는 프레임워크를 제공한다.
• Griesser의 방정식이 $r = 2m - 2$ 이고 $m > 4$ 일 때 비자명한지 여부는 여전히 열려 있으나, 만약 그렇다면 [6]의 것 이외의 새로운 방정식을 도출할 수 있다.