[논문 리뷰] The Waring rank of the sum of pairwise coprime monomials

Enrico Carlini, Maria Virginia Catalisano외 1명|arXiv (Cornell University)|2011. 12. 15.

Graph Labeling and Dimension Problems참고 문헌 6인용 수 3

한 줄 요약

이 논문은 상호소인 단항식들의 합인 다항식의 워링 랭크를 결정하며, 이러한 단항식들 사이에서 랭크가 가환적임을 증명한다. 모든 단항식에 대한 워링 랭크의 완전한 공식을 제공하고, 최소한의 거듭제곱 합 분해를 구성하며, 특정 3변수 단항식이 동일한 차수의 일반형보다 더 높은 랭크를 가질 수 있음을 보여준다.

ABSTRACT

In this paper we compute the Waring rank of any polynomial of the form F=M_1+...+M_r, where the M_i are pairwise coprime monomials, i.e., GCD(M_i,M_j)=1 for i not j. In particular, we determine the Waring rank of any monomial. As an application we show that certain monomials in three variables give examples of forms of rank higher than the generic form. As a further application we produce a sum of power decomposition for any form which is the sum of pairwise coprime monomials.

연구 동기 및 목표

• 서로소 단항식들의 합인 임의의 다항식의 워링 랭크를 결정하는 것.
• n개 변수의 임의의 단일 단항식의 워링 랭크를 계산하는 것.
• 해당 다항식에 대한 최소한의 거듭제곱 합 분해를 구성하는 것.
• 동일한 차수의 일반형보다 워링 랭크가 더 높은 단항식의 경우를 식별하는 것.
• 워링 랭크가 환경 다항식환의 변수 수와 무관하다는 것을 확립하는 것.

제안 방법

• 워링 랭크를 다항식환의 축소된 점들의 아이디얼이 포함된 $F^\perp$의 앙annihiator 아이디얼과 연결하기 위해 Apolarity Lemma를 사용한다.
• 일차원의 포화된 아이디얼을 분석하기 위해 Hilbert 함수와 임계도 이론을 적용한다.
• 1 \leq a_1 \leq \cdots \leq a_n일 때 단항식 $x_1^{a_1} \cdots x_n^{a_n}$의 워링 랭크를 $\prod_{i=2}^n (a_i + 1)$로 특성화한다.
• 근의 단위근을 선택하여 선형형식을 정의함으로써 최소한의 거듭제곱 합 분해를 구성한다.
• 변수를 추가해도 워링 랭크가 감소하지 않음을 이용하여, 다양한 다항식환에서의 불변성을 확보한다.
• 분해에 대응하는 점들의 집합을 식별하기 위해 앙니히레이터 아이디얼 $M^\perp$의 구조를 활용한다.

실험 결과

연구 질문

• RQ1 n개 변수에서 상호소인 단항식들의 합의 워링 랭크는 무엇인가요?
• RQ2 임의의 차수와 변수 분포에 대해 단항식의 워링 랭크를 닫힌 형태로 계산할 수 있는가요?
• RQ3 3변수 단항식 중에서 동일한 차수의 일반형보다 워링 랭크가 엄격히 높은 경우가 있는가요?
• RQ4 다항식환에 변수를 추가해도 다항식의 워링 랭크는 불변인가요?
• RQ5 서로소 단항식들의 합에 대해 최소한의 거듭제곱 합 분해를 명시적으로 구성할 수 있는가요?

주요 결과

• n \geq 2일 때, 1 \leq a_1 \leq \cdots \leq a_n인 단항식 $x_1^{a_1} \cdots x_n^{a_n}$의 워링 랭크는 $\prod_{i=2}^n (a_i + 1)$이며, n = 1일 땐 1이다.
• 서로소 단항식들의 합 $F = \sum_{i=1}^r M_i$에 대해, 워링 랭크는 $\mathrm{rk}(F) = \sum_{i=1}^r \mathrm{rk}(M_i)$를 만족한다.
• 3변수에서, $x_1 x_2^{(d-1)/2} x_3^{(d-1)/2}$ (d가 홀수일 때)와 같은 특정 단항식은 점점 커지는 최대 랭크를 $d^2/4$로 가지며, 이는 약 $d^2/6$인 일반형 랭크를 초과한다.
• $n \geq 4$일 때는 어떤 단항식도 동일한 차수의 일반형 랭크를 초과할 수 없으며, 최대 단항식 랭크 대 일반형 랭크 비율이 1 이하이기 때문이다.
• 서로소 단항식들의 합에 대한 최소한의 거듭제곱 합 분해는 각 단항식을 별도로 단위근을 사용해 분해함으로써 얻을 수 있으며, 총 항의 수는 개별 랭크의 합과 같다.
• 단항식 $M = x_1^{a_1} \cdots x_n^{a_n}$의 분해는 $x_1 + \epsilon(2)x_2 + \cdots + \epsilon(n)x_n$ 형태의 선형형식을 사용하며, $\epsilon(i)$는 $(a_i+1)$-단위근을 모두 포함한다. 계수 $\gamma_{\epsilon(2),\ldots,\epsilon(n)}$는 선형 시스템을 풀어 결정된다.