[논문 리뷰] A remark on the Chebotarev theorem about roots of unity

Fedor Pakovich|ArXiv.org|2007. 02. 09.

Finite Group Theory Research참고 문헌 3인용 수 6

한 줄 요약

이 논문은 순환행렬의 단위근 위에서의 체보타레프 정리의 소수 차수에서 복합수 차수로의 확장을 다룬다. 복합수 $ n $에 대해, $ n $차 단위근 중 $ k $개의 서로 다른 근을 갖는 0이 아닌 다항식 $ P(z) $는 차수 $ \leq n-1 $이며, 비영인 계수의 수 $ w(P) \geq \frac{n}{n-k} $를 만족한다. 등호는 $ P(z) $가 특정 기하급수 $ D_{n,r,l}(z) $의 단항식 이동형일 때에만 성립하며, 이때 $ r \mid n $이다.

ABSTRACT

Let $Ω$ be a matrix with entries $a_{i,j}=ω^{ij},$ $1\leq i,j \leq n,$ where $ω=e^{2π\sqrt{-1}/n},$ $n\in \mathbb N.$ The Chebotarev theorem states that if $n$ is a prime then any minor of $Ω$ is non-zero. In this note we provide an analogue of this statement for composite $n.$

연구 동기 및 목표

• 소수 차수에서 복합수 차수로의 순환행렬의 비영인 행렬식에 대한 체보타레프 정리의 일반화를 목적으로 한다.
• 복합수 $ n $일 때, 차수 $ \leq n-1 $인 복소계수 다항식 $ P(z) $가 정확히 $ k $개의 서로 다른 $ n $차 단위근에서 0이 되는 경우의 비영인 계수의 최소 개수 $ w(P) $를 결정하는 것.
• 최소 $ w(P) $를 달성하는 다항식을 특성화하여, 이들이 특정한 기하급수의 이동형임을 규명하는 것.
• 무게 $ w(P) $에 대한 하한을 $ n $과 $ k $의 함수로 설정하며, 이 하한이 정확하고 특정한 구조적 조건에서에만 달성됨을 보이는 것.

제안 방법

• 다항식 $ P(z) $의 계수에 대응하는 순환행렬 $ C $를 정의하며, 그 고유벡터는 $ \vec{f_i} = (1, \omega^i, \dots, \omega^{i(n-1)}) $이며 고유값은 $ P(\omega^i) $이다.
• 영 고유값의 수 $ r = \text{rk}(C) $는 $ P(z) $의 근이 되는 서로 다른 $ n $차 단위근의 수 $ k $에 대해 $ n - k $와 같다.
• 행렬 $ C $의 행벡터의 지지집합을 분석함으로써 선형대수학과 순환행렬의 구조를 이용하여 $ w(P) \cdot \text{rk}(C) \geq n $라는 부등식을 유도한다.
• 등호 $ w(P) \cdot \text{rk}(C) \geq n $가 성립하는 것은 생성벡터의 지지집합이 서로소이고 다항식의 계수 구조가 주기적일 때에만 가능함을 증명한다.
• 등호 조건이 성립하면 $ P(z) = z^l Q(z^r) $의 형태이며, 여기서 $ Q $의 계수는 $ (n/r) $-차 단위근에 대한 바르미엔드-유사 벡터의 배수임을 보인다.
• 최종적으로 $ P(z) $는 어떤 $ j $에 대해 $ D_{n,r,l}(\omega^j z) $의 스칼라배여야 함을 결론 내린다. 여기서 $ r \mid n $, $ 0 \leq l \leq r-1 $이다.

실험 결과

연구 질문

• RQ1 복합수 $ n $일 때, 차수 $ \leq n-1 $인 0이 아닌 다항식 $ P(z) $가 정확히 $ k $개의 서로 다른 $ n $차 단위근에서 0이 되는 경우, 비영인 계수의 최소 개수 $ w(P) $는 얼마인가?
• RQ2 복합수 $ n $에 대해 bound $ w(P) \geq \frac{n}{n-k} $는 달성 가능한가? 만약 가능하면 어떤 조건에서 성립하는가?
• RQ3 복합수 $ n $에 대해 최소 $ w(P) $를 달성하는 다항식의 정확한 대수적 구조는 무엇인가?
• RQ4 관련된 순환행렬의 랭크는 $ P(z) $의 근이 되는 단위근의 수와 어떻게 관련이 있는가?
• RQ5 최적 다항식이 기하급수 $ D_{n,r,l}(z) $의 이동형임을 특성화하는 것은 bound의 등호 조건에 대해 필수적이고 충분한가?

주요 결과

• 복합수 $ n $에 대해, 정확히 $ k $개의 서로 다른 $ n $차 단위근을 근으로 갖는 0이 아닌 다항식 $ P(z) $는 차수 $ \leq n-1 $일 때 $ w(P) \geq \frac{n}{n-k} $를 만족한다.
• bound $ w(P) \geq \frac{n}{n-k} $는 정확하며, 등호는 $ P(z) $가 어떤 $ j $에 대해 $ D_{n,r,l}(\omega^j z) $의 스칼라배일 때에만 성립한다. 여기서 $ 0 \leq j \leq n-1 $, $ r \mid n $, $ 0 \leq l \leq r-1 $이다.
• 극값 다항식은 $ D_{n,r,l}(z) = z^l (1 + z^r + z^{2r} + \cdots + z^{(n/r - 1)r}) $의 형태를 가지며, 주기적인 계수를 갖는 기하급수이다.
• 최소 무게 $ w(P) $는 정확히 $ n/r $이며, $ k = n - r $ 이므로 $ \frac{n}{n-k} = \frac{n}{r} $임을 확인할 수 있다.
• 등호 조건은 오직 순환행렬 $ C $의 행벡터의 지지집합이 상호소거이고 계수벡터가 $ (n/r) $-차 단위근에 대한 바르미엔드 유사 벡터의 배수일 때에만 성립한다.
• 증명은 순환행렬의 스펙트럼 분해와 고유벡터 $ \vec{f_i} $의 일차독립성에 기반하며, 행렬 $ C $의 랭크와 $ P(z) $의 근 중 단위근의 수를 연결한다.