[논문 리뷰] Symmetric tensors: rank, Strassen's conjecture and e-computability

Enrico Carlini, Maria Virginia Catalisano외 3명|arXiv (Cornell University)|2015. 06. 10.

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

한 줄 요약

이 논문은 대칭 텐서의 워링 랭크에 대한 새로운 하한을 확립하기 위해 $e$-계산 가능성을 도입하고, 스트라센의 추측이 무한히 많은 새로운 경우에서 성립함을 증명한다. 형태의 랭크를 그의 아폴라르 아이디얼의 힐베르트 함수와 연결하고, 0차원 스킴에 대한 기하적 제약 조건을 사용함으로써, 저자들은 정확한 랭크 계산을 도출하고 여러 무한한 형태 가닥에 대해 추측을 검증한다.

ABSTRACT

In this paper we introduce a new method to produce lower bounds for the Waring rank of symmetric tensors. We also introduce the notion of $e$-computability and we use it to prove that Strassen's Conjecture holds in infinitely many new cases.

연구 동기 및 목표

• 대칭 텐서의 워링 랭크에 대한 하한을 계산하는 새로운 방법을 개발하기 위해.
• $e$-계산 가능성을 랭크 계산의 도구로 도입하고 연구하기 위해.
• 스티븐스의 추측—서로소 변수 집합에 대해 랭크가 가환적임—이 무한히 많은 새로운 형태 가닥에서 성립함을 증명하기 위해.
• 아폴라르 아이디얼에 대한 기하적 및 대수적 제약 조건을 사용하여 특정 대칭 형태의 정확한 랭크 계산을 제공하기 위해.
• 일부 형태가 1-계산 가능하지 않음을 보여 기존 계산 기법의 한계를 밝혀내기 위해.

제안 방법

• 아폴라르 아이디얼 $F^{ot}$ 와 선형 부분공간 $I$ 에 대해 $e$-계산 가능성을 정의하여, $F$ 의 랭크가 일반 선형 형식 $t$ 에 대해 $T/(F^{ot}:I + (t))$ 의 힐베르트 함수의 합과 같아지도록 한다.
• 아폴라르 렘마를 사용하여 워링 분해를 $F$ 에 아폴라르인 0차원 스킴과 연결하며, 여기서 $I_{\text{scheme}} \subset F^{ot}$ 이다.
• 힐베르트 함수 분석을 통해 $\sum_i HF(T/\tilde{I}, i)$ 를 이용해 랭크에 대한 하한을 유도한다. 여기서 $\tilde{I} = F^{ot}:(X_i) + (X_i)$ 이다.
• 기하적 제약 조건을 적용: $X_iX_j + c_{ij}X_0^2 \in I_{\mathbb{X}}$ 이면 $c_{ij} = 0$ 이다. 유일한 경우를 제외하고는 이를 제거한다.
• 특정 형태(예: $F = x_0^a(x_1^b + \cdots + x_n^b)$) 에 대해 $F^{ot}$ 의 구조를 활용하여 아이디얼 포함관계와 힐베르트 함수 합산을 통해 $\mathrm{rk}(F)$ 를 계산한다.
• 선 위의 점 수와 선의 합집합 위의 점 수에 기반한 모순 추론을 사용하여 특정 크기의 최소 분해를 배제한다.

실험 결과

연구 질문

• RQ1 어떤 대칭 형태들에 대해 $e$-계산 가능성을 사용하여 워링 랭크를 계산할 수 있는가?
• RQ2 스트라센의 추측—랭크가 서로소 변수 집합에 대해 가환적임—이 새로운 형태 가닥에서 성립하는가?
• RQ3 $e$-계산 가능성이 워링 랭크에 대한 날카운 하한을 확립하는 데 사용될 수 있는가?
• RQ4 기존 계산 기법(예: 1-계산 가능성)이 실패하는 형태들이 존재하는가? 만약 그렇다면, 그들의 랭크는 어떻게 여전히 계산할 수 있는가?
• RQ5 아폴라르 아이디얼에 대해 어떤 기하적 및 대수적 조건이 주어진 분해가 최소임을 보장하는가?

주요 결과

• 형태 $F = x_0^a(x_1^b + \cdots + x_n^b)$ 는 $2 \leq a+1 \leq b$ 이고 $n \geq 3$ 인 경우, 랭크가 $bn - n + 3$ 와 $bn$ 사이이며, $n=3$ 이면 $\mathrm{rk}(F) = 3b$ 이다.
• $k[x,y,z,w]$ 에서 형태 $F = w(x^3 + y^3 + z^3)$ 는 랭크 9를 가지며, 힐베르트 함수 합의 모순에 의해 1-계산 가능하지 않다.
• 스트라센의 추측은 단일 단어나 $x_0^a(x_1^b + \cdots + x_n^b)$ 형식의 무한히 많은 새로운 형태 가닥에서 성립한다.
• $F = x_0^a(x_1^b + \cdots + x_n^b)$ 의 랭크는 $a \geq 1$ 이면 정확히 $bn$ 이며, 하한 $bn - n + 3$ 는 날카롭다.
• $F = x_0^a(x_1^b + \cdots + x_n^b)$ 에 대해 아이디얼 $F^{ot}$ 는 $X_0^{a+1}$ 과 관계 $X_iX_j$ 및 $X_1^b - X_i^b$ 를 포함하여 아폴라르 스킴을 제약한다.
• $\mathrm{rk}(F) = bn - n + 3$ 를 증명하는 데는 $\sum_i HF(T/\tilde{I}, i) = bn - n + 2$ 이고, 선 위의 점 분포에 대한 모순에 의해 $\mathrm{rk}(F) > bn - n + 2$ 임을 보이는 것이 핵심이다.