[论文解读] 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) \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 $ 次单位根处为零时，其非零系数个数 $ 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) $ 等于 $ n - k $ 的事实，其中 $ k $ 为 $ P(z) $ 的 $ n $ 次单位根根的个数。
• 通过分析 $ 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 $ 为合数时，次数不超过 $ n-1 $ 的非零多项式 $ P(z) $ 若在恰好 $ k $ 个不同的 $ n $ 次单位根处为零，其非零系数个数 $ w(P) $ 的最小值是多少？
• RQ2 对于合数 $ n $，是否可以达到不等式 $ w(P) \geq \frac{n}{n-k} $？若可以，其条件是什么？
• RQ3 在合数 $ n $ 下，达到最小 $ w(P) $ 的多项式的精确代数结构是什么？
• RQ4 关联的循环矩阵的秩与 $ P(z) $ 的单位根根个数之间有何关系？
• RQ5 将极值多项式刻画为几何级数 $ D_{n,r,l}(z) $ 的平移，是否为不等式等号成立的充要条件？

主要发现

• 当 $ n $ 为合数时，任意一个次数不超过 $ n-1 $ 的非零多项式 $ P(z) $，若其根恰好为 $ k $ 个不同的 $ n $ 次单位根，则其非零系数个数满足 $ w(P) \geq \frac{n}{n-k} $。
• 不等式 $ 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} $，从而验证了该不等式。
• 等号成立的情形仅出现在与 $ P(z) $ 关联的循环矩阵 $ C $ 的行向量支集两两不相交，且系数向量为 $ (n/r) $ 次单位根上范德蒙德向量的倍数时。
• 证明依赖于循环矩阵的谱分解以及特征向量 $ \vec{f_i} $ 的线性无关性，从而将矩阵 $ C $ 的秩与 $ P(z) $ 的单位根根个数联系起来。