[논문 리뷰] Geometric lower bounds for generalized ranks

Zach Teitler|arXiv (Cornell University)|2014. 06. 19.

Tensor decomposition and applications참고 문헌 61인용 수 23

한 줄 요약

이 논문은 Waring 랭크에 대한 기하학적 하한을 다중동차 다항식과 임의의 다양체로 일반화하며, 특이성 차원과 일반화된 아폴로지 방법을 통해 향상된 랭크 하한을 도입한다. 단순 다항식 $x_1^{d_1} \dots x_n^{d_n}$의 k-일반화 랭크가 $(d_1+1)\dots(d_{n-k}+1)$ 이하로 제한됨을 증명하고, 등호가 성립할 조건을 추측하고 특수 케이스에서 검증하며, 고전적 결과를 더 넓은 텐서 분해 설정으로 확장한다.

ABSTRACT

We revisit a geometric lower bound for Waring rank of polynomials (symmetric rank of symmetric tensors) of Landsberg and Teitler and generalize it to a lower bound for rank with respect to arbitrary varieties, improving the bound given by the "non-Abelian" catalecticants recently introduced by Landsberg and Ottaviani. This is applied to give lower bounds for ranks of multihomogeneous polynomials (partially symmetric tensors); a special case is the simultaneous Waring decomposition problem for a linear system of polynomials. We generalize the classical Apolarity Lemma to multihomogeneous polynomials and give some more general statements. Finally we revisit the lower bound of Ranestad and Schreyer, and again generalize it to multihomogeneous polynomials and some more general settings.

연구 동기 및 목표

• 원래 [LT10]에서 개발된 Waring 랭크에 대한 기하학적 하한을 임의의 프로젝티브 다양체 위에서 일반화된 랭크로 확장하는 것.
• 다중동차 다항식으로 일반화된 아폴로지 보조정리를 도입하고, 이를 통해 다중동차 텐서 분해에 대한 새로운 하한을 유도하는 것.
• 특이점의 차원과 고차 불변량을 통합하여 기존의 카타렉티언트 기반 하한을 향상시키는 것.
• 특히 $x_1^{d_1} \bdots x_n^{d_n}$와 같은 단순 다항식의 k-일반화 랭크에 대해 날카로운 하한을 확립하고, 그 하한이 날카로운지 추측하는 것.
• 이러한 하한을 행렬 곱셈 및 동시에 Waring 분해 문제와 같은 대수적 복잡도 문제에 적용하는 것.

제안 방법

• 특이점의 차원을 포함하여 [LT10]의 기하학적 하한을 일반화함으로써 고전적 카타렉티언트 하한을 향상시킴.
• 다중동차 다항식에 대한 아폴로지 보조정리의 다중동차 형태를 도입하여 다중동차 형식의 분해를 아폴로지 환의 아이디얼과 연결함.
• Bertini 정리와 완전교차의 고려를 통해 아폴로지 아이디얼의 일반 원소들로 정의된 다양체의 교차를 분석함.
• 분해에 포함된 항의 수를 제한하기 위해 $\operatorname{Spec} A^F$의 차수와 완전교차와의 교차를 사용함.
• 다항식 $F$의 $r_k(F)$, 즉 k-일반화 랭크에 대해 공식 $r_k(F) \geq \ell(A^F)/(d_{j-k+1} \dotsm d_j)$ 를 통해 하한을 도출함. 여기서 $d_i$ 는 $F^\perp$의 생성자들의 차수임.
• Macaulay2를 사용하여 특정 케이스, 특히 단순 다항식과 행렬 곱셈 형식에서의 예제와 하한을 계산적으로 검증함.

실험 결과

연구 질문

• RQ1 Waring 랭크에 대한 기하학적 하한은 다중동차 다항식과 임의의 다양체로 일반화될 수 있는가?
• RQ2 아폴로지 다양체의 특이점의 차원을 통합함으로써 카타렉티언트 기반 하한은 얼마나 향상될 수 있는가?
• RQ3 고전적 아폴로지 보조정리는 어떻게 다중동차 형식으로 확장되어 일반화된 랭크를 제한하는 데 사용될 수 있는가?
• RQ4 하한 $r_k(x_1^{d_1} \dotsm x_n^{d_n}) \geq (d_1+1)\dotsm(d_{n-k}+1)$ 는 날카로운가? 등호는 어떤 조건에서 성립하는가?
• RQ5 이러한 하한은 행렬 곱셈의 복잡도와 동시에 Waring 분해 문제에 어떤 영향을 미치는가?

주요 결과

• 다항식 $x_1^{d_1} \dotsm x_n^{d_n}$의 k-변수 분해에 대한 일반화된 랭크는 $(d_1+1)\dotsm(d_{n-k}+1)$ 이하로 제한되며, 등호가 성립할 것으로 추측됨.
• $F = x_1 \dotsm x_n$ 인 경우, $r_k(F) \geq 2^{n-1}$ 이며, 이는 $k=n$일 때 기존의 Waring 랭크와 일치함.
• 아폴로지 아이디얼이 이차형으로 생성된다는 사실을 이용하여, 고전적 Waring 랭크에 대해 $r_{\text{MH}}(\text{mult}_n) \geq 1 + 3n^2$ 를 도출함.
• 모든 다중동차 $F$에 대해 $r_k(F) \geq \ell(A^F)/(d_{j-k+1} \dotsm d_j)$ 를 확립함. 여기서 $d_i$ 는 $F^\perp$의 생성자들의 차수임.
• 특이점의 기하학적 자료를 통합함으로써 고전적 카타렉티언트 하한과 비아벨리안 카타렉티언트 모두를 초월하는 하한을 확립함.
• 이 논문은 새로운 하한을 통해 $r(x_1 \dotsm x_n) = 2^{n-1}$ 이라는 사실을 확인함으로써, [RS11]과 [LT10]의 결과를 더 넓은 프레임워크로 확장함.