[논문 리뷰] Apolarity, border rank and multigraded Hilbert scheme

Weronika Buczyńska, Jarosław Buczyński|arXiv (Cornell University)|2019. 10. 04.

Tensor decomposition and applications인용 수 1

한 줄 요약

이 논문은 매끄러운 토릭 다양체 위에서 경계 랭크에 대한 일반화된 아폴로지아 이론을 제안하며, 고전적 아폴로지아를 다중계수 설정으로 확장한다. 경계 랭크의 합의 승수 다양체(경계 VSP)를 정의하고, 다중계수 힐베르트 스킴의 기약 성분을 이용해 경계 랭크를 통일적으로 분석함으로써, 행렬 곱셈 텐서와 같은 텐서에 대한 새로운 하한을 제공한다.

ABSTRACT

We introduce an elementary method to study the border rank of polynomials and tensors, analogous to the apolarity lemma. This can be used to describe the border rank of all cases uniformly, including those very special ones that resisted a systematic approach. We also define a border rank version of the variety of sums of powers and analyse its usefulness in studying tensors and polynomials with large symmetries. In particular, it can be applied to provide lower bounds for the border rank of some very interesting tensors, such as the matrix multiplication tensor. We work in a general setting, where the base variety is not necessarily a Segre or Veronese variety, but an arbitrary smooth toric projective variety. A critical ingredient of our work is an irreducible component of a multigraded Hilbert scheme related to the toric variety in question.

연구 동기 및 목표

• 고전적 세그레-베론네 설정을 초월하여 다항식과 텐서의 경계 랭크를 체계적으로 계산하는 방법을 개발하기 위해.
• 다중계수 다항식 환과 아이디얼을 이용해 경계 랭크로의 아폴로지아 보조정리를 확장하기 위해.
• 대칭 및 부분적으로 대칭인 텐서에 대해 경계 랭크의 합의 승수 다양체(경계 VSP)를 정의하고 연구하기 위해.
• 다중계수 힐베르트 스킴이 토릭 다양체와 관련된 기약 성분을 통해 경계 랭크를 어떻게 특징지키는지 분석하기 위해.
• 매우 대칭적인 텐서, 예를 들어 행렬 곱셈 텐서와 같은 텐서의 경계 랭크에 대한 새로운 하한을 제공하기 위해.

제안 방법

• 토릭 다양체 X = Pa × Pb × Pc × ...의 인자들에 해당하는 다중계수를 갖는 다중계수 다항식 환 S[X]를 사용한다.
• F에 대해 사라지는 상수 계수 미분 연산자들의 집합으로서 Ann(F) ⊂ S[X]를 정의한다.
• 경계 아폴로지아 조건을 도입한다: F의 경계 랭크 ≤ r이 되기 위한 필요충분조건은 X의 r개 일반점의 아이디얼 I가 Ann(F)에 포함되는 것이다.
• 고정된 다중계수를 갖는 X의 0차원 부분스킴을 파라미터화하는 다중계수 힐베르트 스킴 Hilb^hr_S 안에서 작업한다.
• Slipr,X를 Hilb^hr_S의 기약 성분 중에서 일반적으로 포화되고 근본적인 아이디얼로 r개의 점을 정의하는 일반 성분으로 유일하게 식별한다.
• Slipr,X의 기하학적 성질과 경계 VSP와의 관계를 이용해 대수적·기하학적 제약 조건을 통해 경계 랭크의 하한을 유도한다.

실험 결과

연구 질문

• RQ1 어떻게 아폴로지아 이론을 세그레나 베론네 다양체를 초월하여 임의의 매끄러운 토릭 다양체에서 경계 랭크를 계산하는 데 일반화할 수 있는가?
• RQ2 다중계수 힐베르트 스킴은 경계 랭크와 그 기하학적 불변량을 특징짓는 데 어떤 역할을 하는가?
• RQ3 경계 VSP를 사용하여 대칭 및 부분적으로 대칭인 텐서의 경계 랭크에 비잔성 하한을 도출할 수 있는가?
• RQ4 다중계수 힐베르트 스킴 내의 극한 아이디얼은 0차원 스킴의 스무스 가능성과 포화 성질과 어떻게 관련되는가?
• RQ5 경계 아폴로지아 방법은 경계 랭크와 경계 캉투스 랭크를 어느 정도로 구분할 수 있는가?

주요 결과

• 논문은 경계 아폴로지아 기준을 수립한다: 텐서 F의 경계 랭크 ≤ r이 되기 위한 필요충분조건은 X의 r개 일반점의 아이디얼이 Ann(F)에 포함되는 것이다. 이는 고전적 아폴로지아 보조정리를 일반화한다.
• 다중계수 힐베르트 스킴의 기약 성분 Slipr,X는 일반적으로 위치한 r점 스킴을 파라미터화하며, 일반적으로 포화되고 근본적인 아이디얼을 갖는 유일한 성분이다.
• 경계 VSP(F, r)는 F를 포함하는 스포너를 갖는 r점 스킴의 클로처로 정의되며, 경계 랭크와 그 대칭성의 기하학적 도구를 제공한다.
• 이 방법은 행렬 곱셈 텐서 및 기타 매우 대칭적인 텐서의 경계 랭크에 대한 새로운 하한을 도출한다.
• 저자들은 평탄한 아이디얼 가닥에서 포화된 섬유의 집합이 자리지 열린다는 것을 보이며, 이는 힐베르트 스킴 성분의 기하학적 성질을 증명하는 데 사용되는 기초적 결과이다.
• 이 이론은 임의의 대수적으로 닫힌 기저 체 위로 확장되며, 자리지 열림은 '매우 일반적' 조건이 가산 체 위에서도 여전히 비어있지 않음을 보장한다.