[論文レビュー] A remark on the Chebotarev theorem about roots of unity

Fedor Pakovich|ArXiv.org|Feb 9, 2007

Finite Group Theory Research参考文献 3被引用数 6

ひとこと要約

この論文は、根の単位根に対する巡回行列の非ゼロ小行列式に関するチホタレフの定理を、素数でない次数へと拡張する。n が合成数である場合、次数が n−1 以下の非ゼロ多項式 P(z) が k 個の異なる n 乗単位根を根としてもつとき、その非ゼロ係数の個数 w(P) は w(P) ≥ n/(n−k) を満たし、等号成立は P(z) が特定の幾何級数 D_{n,r,l}(z) の単項式シフトである場合に限る。ここで r は 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 が合成数であるとき、次数 ≤ n−1 の複素多項式 P(z) がちょうど k 個の異なる n 乗単位根で消える場合の、非ゼロ係数の個数 w(P) の最小値を特定すること。
• この最小 w(P) を達成する多項式の特徴付けを行い、それらが特定の幾何級数のシフトであることを同定すること。
• n と k の関数としての w(P) の下界を確立し、それが鋭く、特定の構造的条件のもとでのみ達成されることを示すこと。

提案手法

• 多項式 P(z) の係数に関連する巡回行列 C を定義し、その固有ベクトルは \vec{f_i} = (1, \omega^i, \dots, \omega^{i(n-1)}) で、固有値は P(\omega^i) である。
• C のゼロ固有値の個数 r = \text{rk}(C) が、P(z) の根としての異なる n 乗単位根の個数 k に対して n−k に等しいことを利用。
• 行ベクトルの台集合の構造を分析し、線形代数と巡回行列の性質を用いて、不等式 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 が合成数であるとき、次数が n−1 以下の非ゼロ多項式 P(z) がちょうど k 個の異なる n 乗単位根で消える場合、その非ゼロ係数の個数 w(P) の最小値は何か？
• RQ2 合成数 n に対して、w(P) \geq n/(n−k) の下界が達成可能か？ もし可能であれば、どのような条件下で達成されるか？
• RQ3 合成数 n に対して最小 w(P) を達成する多項式の正確な代数的構造は何か？
• RQ4 関連する巡回行列 C のランクと、P(z) の根としての単位根の個数の関係は何か？
• RQ5 極値多項式が幾何級数 D_{n,r,l}(z) のシフトとして特徴付けられるのは、不等式における等号成立の必要十分条件か？

主な発見

• n が合成数であるとき、次数が n−1 以下の非ゼロ多項式 P(z) がちょうど k 個の異なる n 乗単位根を根としてもつならば、w(P) \geq n/(n−k) が成り立つ。
• 下界 w(P) \geq 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} が成り立ち、下界が確認される。
• 等号成立は、多項式 P(z) に関連する巡回行列 C の行ベクトルの台集合が互いに素で、係数ベクトルが (n/r) 乗単位根上のバーデルモンド型ベクトルの倍率である場合にのみ成立する。
• 証明は巡回行列のスペクトル分解と固有ベクトル \vec{f_i} の線形独立性に依拠し、C のランクと P(z) の根としての単位根の個数を結びつける。