[논문 리뷰] An upper bound for the Waring rank of a form

Joachim Jelisiejew|arXiv (Cornell University)|2013. 05. 29.

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

한 줄 요약

이 논문은 동차 다항식의 오픈 워링 랭크를 도입하고, 이전 결과들을 향상시킨 새로운 상한을 확립한다. 삼변수 삼차형식의 오픈 워링 랭크가 최대 5임을 증명함으로써, $n,d \geq 3$에 대해 $inom{n+d-2}{d-1} - inom{n+d-6}{d-3}$의 상한을 도출한다. 이는 지금까지 알려진 바 중에서 고전 워링 랭크에 대한 최고의 상한이다.

ABSTRACT

In this paper we introduce the open Waring rank of a form of degree d in n variables and prove the that this rank in bounded from above by \binom{n+d-2}{d-1} - \binom{n+d-6}{d-3} whenever n, d >= 3. This proves the same upper bound for the classical Waring rank of a form, improving the result of [BBS] and giving, as far as we know, the best upper bound known.

연구 동기 및 목표

• 오픈 워링 랭크의 개념을 도입하고 공식화하며, 이는 특정 자리지-닫힌 부분공간을 피하는 선형형식의 제약을 포함하는 고전 워링 랭크의 개선된 형태이다.
• n개 변수의 차수 d인 동차 다항식에 대한 고전 워링 랭크에 대한 알려진 상한을 향상시키는 것.
• 삼변수 삼차형식($n=d=3$)의 오픈 워링 랭크가 정확히 5임을 증명함으로써, 이 경우의 상한을 강화하는 것.
• 이전 연구에서 사용된 것과 유사한 재귀 부등식을, 더 강력한 랭크 변형에 적용할 수 있도록 하는 오픈 워링 랭크에 대한 재귀 부등식을 수립하는 것.
• 상한에 대한 일반성 조건을 위반하는 형식들의 집합이 닫혀 있음을 보여주어, 이를 통해 일반형식에서의 상한을 모든 형식으로 확장할 수 있는 변형 기법을 가능하게 하는 것.

제안 방법

• 형식 $F$를 표현하기 위해, $S_1$의 진부분자리지-닫힌 부분공간 $V \subset S_1$에 속하지 않는 선형형식의 $d$제곱의 최소 개수로 오픈 워링 랭크 $\mathrm{Ork}(F,V)$를 정의한다.
• 모든 형식 $F$가 $n$개 변수에 본질적으로 의존하는 경우에 대해 $\mathrm{Ork}(F,V)$의 상한을 취한 $\mathrm{Ork}(n,d)$를 도입한다.
• 미분 연산자와 아폴로지이 이론을 사용하여, $n,d \geq 3$에 대해 재귀 부등식 $\mathrm{Ork}(n,d) \leq \mathrm{Ork}(n-1,d) + \mathrm{Ork}(n,d-1)$을 증명한다.
• Bertini의 정리와 $\mathbb{P}^2$ 내의 완전교차의 성질을 이용하여, $V((F^\perp)_2) = \emptyset$이면 삼차형식에 대해 $\mathrm{Ork}(F,V) \leq 4$임을 보인다.
• Kleppe의 분류를 통해 예외적 형식(비어 있지 않은 $V((F^\perp)_2)$를 가진 형식)을 특성화한다: $x_0x_1^2 + x_1x_2^2$ 또는 $x_0^3 + g$이며, $g \in k[x_1,x_2]_3$이다.
• 변형 기법을 적용한다: 모든 이러한 예외적 형식 $F$에 대해, $F + l^3$이 $\mathrm{Ork}(F,V) \leq 4$를 만족하는 일반 집합에 속하는 선형형식 $l$이 존재하므로, $\mathrm{Ork}(F,V) \leq 5$임을 유도한다.

실험 결과

연구 질문

• RQ1 n개 변수의 차수 d인 동차 형식의 고전 워링 랭크에 대해 가능한 최고의 상한은 무엇인가?
• RQ2 오픈 워링 랭크 개념은 이전의 재귀적 접근보다 더 날카로운 상한을 제공할 수 있는가?
• RQ3 삼변수 삼차형식의 정확한 오픈 워링 랭크 값은 무엇인가?
• RQ4 비어 있지 않은 기저집합을 가진 형식들—즉, 아폴로지 아이디얼 내에서 기저집합이 비어 있지 않은 형식들—은 오픈 워링 랭크 프레임워크에서 어떻게 행동하는가?
• RQ5 비일반 형식들의 집합은 위상적으로 제어될 수 있는가? 이를 통해 일반 형식에서의 상한을 모든 형식으로 확장할 수 있는가?

주요 결과

• 오픈 워링 랭크 $\mathrm{Ork}(3,3)$는 정확히 5이며, 이는 이전의 상한 6보다 엄밀히 향상된 결과이다([BBS]에서의 결과).
• 형식 $x_0x_1^2 + x_1x_2^2$의 고전 워링 랭크는 5이며, 이는 삼변수 삼차형식의 경우에서의 극단성을 확인한다.
• 오픈 워링 랭크는 $n,d \geq 3$에 대해 재귀 부등식 $\mathrm{Ork}(n,d) \leq \mathrm{Ork}(n-1,d) + \mathrm{Ork}(n,d-1)$를 만족하며, 기본 사례로 $\mathrm{Ork}(2,d) = d$와 $\mathrm{Ork}(n,2) = n$이 성립한다.
• 형식들 중에서 $V((F^\perp)_2) \neq \emptyset$인 것들의 집합은 $n$개 변수에 본질적으로 의존하는 형식의 공간에서 닫혀 있으며, 이는 변형 기법을 가능하게 한다.
• $\mathrm{Ork}(n,d) \leq \binom{n+d-2}{d-1} - \binom{n+d-6}{d-3}$의 상한은 모든 $n,d \geq 3$에 대해 성립하며, 이는 이전의 상한 $inom{n+d-2}{d-1}$보다 향상된 것이다.
• 이 새로운 상한은 저자가 알고 있는 바에 따르면, 형식의 고전 워링 랭크에 대한 지금까지 알려진 최고의 상한이다.