[논문 리뷰] Maximum Waring ranks of monomials

Erik Holmes, Paul Plummer외 2명|arXiv (Cornell University)|2013. 09. 30.

Polynomial and algebraic computation참고 문헌 19인용 수 5

한 줄 요약

이 논문은 네 개 이상의 변수에서 단항식과 상대적으로 소인 단항식들의 합의 최대 워링 랭크를 결정하며, 일반적으로 이러한 형식은 일반 랭크보다 엄밀히 낮은 랭크를 가지며, 유한한 수의 예외를 제외하고는 그러하다. 주요 기여는 이러한 예외의 완전한 분류와, 고정된 $ n \geq 4 $에 대해 최대 랭크가 $ d^{n-1}/(n-1)^{n-1} $의 속도로 증가하고, 일반 랭크가 $ d^{n-1}/n! $의 속도로 증가함을 보여주는 渐近 비교이다. 이에 따라 $ d \to \infty $일 때 비율은 $ n!/(n-1)^{n-1} < 1 $으로 수렴한다.

ABSTRACT

We show that monomials and sums of pairwise coprime monomials in four or more variables have Waring rank less than the generic rank, with a short list of exceptions. We asymptotically compare their ranks with the generic rank.

연구 동기 및 목표

• 네 개 이상의 변수에서 워링 랭크가 일반 랭크보다 엄밀히 큰 단항식과 상대적으로 소인 단항식들의 합을 모두 식별한다.
• 이러한 형식이 일반 워링 랭크를 초과하는 경우에 대한 유한한 예외 목록을 분류한다.
• 네 개 이상의 변수에서 단항식과 상대적으로 소인 단항식의 합의 최대 워링 랭크의 渐近 성장률을 규명한다.
• 도수 $ d \to \infty $ 또는 $ n \to \infty $일 때 최대 워링 랭크와 일반 워링 랭크 간의 관계를 조사한다.
• 단항식 이외의 형식 중 높은 워링 랭크를 가지며 일반 랭크를 초과하는 경우에 대한 명시적 구성과 경계를 제공한다.

제안 방법

• 단항식의 워링 랭크에 대한 알려진 공식을 사용: $ r(M) = (a_2+1)(a_3+1)\cdots(a_n+1) $, 여기서 $ M = x_1^{a_1}\cdots x_n^{a_n} $ 이고 $ 0 < a_1 \leq \cdots \leq a_n $이다.
• Carlini, Catalisano, 그리고 Geramita(2012)의 결과를 적용하여 단항식의 정확한 워링 랭크를 제공한다.
• 서로소 단항식들의 합을 분석할 때는 변수가 분리되어 있을 경우 $ r(F + G) = r(F) + r(G) $라는 결과를 활용하여 개별 랭크의 합으로 간주한다.
• Alexander–Hirschowitz 정리를 사용하여 일반 워링 랭크 $ r_{\text{gen}}(n,d) = \left\lceil \frac{1}{n} \binom{d+n-1}{n-1} \right\rceil $를 계산하며, 유한한 수의 예외 케이스를 제외한다.
• 최대 랭크와 일반 랭크의 渐近 비교를 위해 $ d \to \infty $일 때 비율 $ \frac{r_{\text{max}}(n,d)}{r_{\text{gen}}(n,d)} $를 분석한다.
• 명시적 구성과 케이스 분석을 통해 오직 유한한 수의 형식만 일반 랭크를 초과하며, 그 모든 형태를 나열한다.

실험 결과

연구 질문

• RQ1 네 개 이상의 변수에서 단항식과 상대적으로 소인 단항식들의 합이 달성할 수 있는 최대 워링 랭크는 무엇인가?
• RQ2 네 개 이상의 변수에서 워링 랭크가 일반 랭크보다 엄밀히 큰 단항식과 상대적으로 소인 단항식들의 합은 무엇인가?
• RQ3 도수 $ d \to \infty $일 때 이러한 형식의 최대 워링 랭크가 일반 워링 랭크와 어떻게 渐近적으로 비교되는가?
• RQ4 고정된 $ n \geq 4 $와 큰 $ d $에 대해 비율 $ r_{\text{max}}(n,d)/r_{\text{gen}}(n,d) $의 渐近 행동은 어떠한가?
• RQ5 비단항식이며 비합성 단항식의 합이 아닌 형식 중에서 일반 랭크를 초과하는 경우가 존재하는가? 만약 그렇다면, 이를 체계적으로 구성할 수 있는가?

주요 결과

• 네 개 이상의 변수에서 단항식과 상대적으로 소인 단항식들의 합은 일반 랭크보다 엄밀히 낮은 워링 랭크를 가지며, 오직 유한한 수의 예외를 제외하고는 그러하다.
• 네 개 이상의 변수에서의 예외는 다음 네 가지 특정 형식으로 이루어져 있으며, 각각의 랭크는 4, 5, 5, 6이며, 일반 랭크 $ r_{\text{gen}}(4,3) = 5 $를 초과한다: $ x_1^3 + x_2^3 + x_3^3 + x_4^3 $, $ x_1x_2^2 + x_3^3 + x_4^3 $, $ x_1x_2x_3 + x_4^3 $, $ x_1x_2^2 + x_3x_4^2 $.
• 네 개 이상의 변수에서 단항식의 최대 워링 랭크는 $ d^{n-1}/(n-1)^{n-1} $의 속도로 渐近적으로 증가하고, 일반 랭크는 $ d^{n-1}/n! $의 속도로 증가하므로, $ d \to \infty $일 때 비율은 $ n!/(n-1)^{n-1} < 1 $으로 수렴한다.
• 고정된 $ d \geq 3 $와 $ n \to \infty $일 때, 이러한 형식의 최대 워링 랭크는 $ n $에 대해 선형으로 증가할 뿐이며, 일반 랭크는 $ O(n^{d-1}) $의 속도로 증가하므로, 비율 $ r_{\text{max}}^*(n,d)/r_{\text{gen}}(n,d) \to 0 $으로 수렴한다.
• 비단항식이며 비합성 단항식의 합이 아닌 형식도 일반 랭크를 초과할 수 있다. 예를 들어, $ G = x^2y + y^2z + w^3 $는 네 변수에서 랭크 6을 가지며, 일반 랭크 $ r_{\text{gen}}(4,3) = 5 $를 초과한다. 이는 독립된 변수에 대해 $ r(F + y_1^d + \cdots + y_s^d) = r(F) + s $라는 결과를 통해 입증된다.
• 도수 $ n > d $인 경우에도 최대 워링 랭크는 유계이며 느리게 증가한다: $ n > d \geq 4 $일 때 $ r_{\text{max}}^*(n,d) \leq \frac{n \cdot 2^{d-1}}{d} $이며, 이는 $ n $에 대해 다항식보다 느린 성장률을 보이며, 일반 랭크 $ r_{\text{gen}}(n,d) $는 $ O(n^{d-1}) $의 속도로 증가하므로 $ n \to \infty $일 때 비율이 0으로 수렴함을 확인한다.