[論文レビュー] A new proof of the Hansen-Mullen irreducibility conjecture

Aleksandr Tuxanidy, Qiang Wang|arXiv (Cornell University)|Apr 14, 2016

Coding theory and cryptography参考文献 4被引用数 3

ひとこと要約

この論文は、有限体上の基本対称関数の離散フーリエ変換（DFT）の最小周期を用いて、Hansen-Mullen の無限性予想に対する新しい証明を提示する。係数生成に関連する関数が既知の例外を除き最大の最小周期を持つことを確立することで、著者たちは、任意の指定された係数（小さな例外ケースを除く）を持つ、$ \mathbb{F}_q $ 上のモニックな無限次多項式の存在を示す、初等的で統一的な証明を提供する。これは、長年の予想を、新しい解析的・構造的アプローチによって解決するものである。

ABSTRACT

We give a new proof of the Hansen-Mullen irreducibility conjecture. The proof relies on an application of a (seemingly new) sufficient condition for the existence of elements of degree $n$ in the support of functions on finite fields. This connection to irreducible polynomials is made via the least period of the discrete Fourier transform (DFT) of functions with values in finite fields. We exploit this relation and prove, in an elementary fashion, that a relevant function related to the DFT of characteristic elementary symmetric functions (which produce the coefficients of characteristic polynomials) has a sufficiently large least period (except for some genuine exceptions). This bears a sharp contrast to previous techniques in literature employed to tackle existence of irreducible polynomials with prescribed coefficients.

研究の動機と目的

• Hansen-Mullen の無限性予想に対する新しい初等的証明を提供すること。この予想は、$ \mathbb{F}_q $ 上で任意の係数を任意の値に指定した無限次多項式の存在を主張する。
• 従来、計算によって処理されていた小規模な $ q $ や $ n $ の場合を含むすべてのケースを、関数周期の構造的解析によって統一的に扱うこと。
• 指定された係数をもつ無限次多項式の存在と、有限体上でのDFT関連関数の最小周期との間に、関係を確立すること。
• 従来の解析的手法（文字和とWeilの評価に依存）の限界を克服し、$ n/2 $ を超える係数を指定した場合にまで拡張可能な、概念的で代替可能な手法を提供すること。

提案手法

• 著者たちは、多項式係数を生成する特性の基本対称関数のDFTから導かれる関数 $ \Delta_{w,c} $ の最小周期を分析する。
• 彼らは $ q $-進桁展開と置換の議論を用い、$ \Delta_{w,c} $ の周期 $ r $ が最大でない場合、すべての桁が等しいか、または $ r = (q^n - 1)/2 $ である場合を除き、矛盾が生じることを示す。
• 証明は $ q $-対称性と関数 $ \delta_{n/2} $ のテンソル積の性質に依拠し、$ \delta_{n/2}^{\otimes(q-1)} $ が $ q $-対称的であることを示し、したがって桁の置換に対して不変であることを示す。
• 背理法を用いて、非最大周期が一貫しない桁和条件を引き起こすことを示し、最小周期が $ q^n - 1 $、つまり最大値に固定されることを証明する。
• この手法は、従来の研究で一般的に用いられる文字和推定を避けており、$ q $-進展開の数論的構造的性質と置換不変性に依拠している。
• 主な洞察は、$ \Delta_{w,c} $ の最小周期が最大であることから、その台に次数 $ n $ の元が存在することを示し、これは指定された係数をもつ無限次多項式に対応することである。

実験結果

リサーチクエスチョン

• RQ1 文字和推定やWeilの評価に依存しない方法で、Hansen-Mullen の無限性予想を証明できるか？
• RQ2 有限体上での対称関数のDFTの構造的性質は、指定された係数をもつ無限次多項式の存在をどのように決定するか？
• RQ3 Hansen-Mullen 予想のすべての例外ケース（小規模な $ q $ や $ n $ を含む）を、一様かつ初等的に説明できるか？
• RQ4 多項式係数に関連する関数の最小周期が、次数 $ n $ の無限次多項式の存在を十分条件として満たすか？

主な発見

• 基本対称関数のDFTから導かれる関数 $ \Delta_{w,c} $ の最小周期は、$ n > 2 $ に対して $ q^n - 1 $ に等しいことが示されたが、$ q $ が奇数で $ w = n/2 $ の場合、$ r = (q^n - 1)/2 $ が可能である。
• $ n = 2 $ で $ q $ が奇数の場合、最小周期 $ r $ は $ r > q - 1 $ を満たさなければならない。これにより、すべての小さい周期が除外され、最大性が保証される。
• 証明により、$ \Delta_{w,c} $ は最小周期 $ q^n - 1 $ を最大に持つことが示され、これはその台に次数 $ n $ の元が存在することを意味し、指定された係数をもつ無限次多項式の存在に対応する。
• この手法により、従来計算によって確認されていた小規模なケースを含め、Hansen-Mullen 予想のすべてのケースを統一的に説明できる。漸近的推定や文字和評価に依存しない。
• 結果として、$ \mathbb{F}_q $ 上のモニックな無限次多項式で、任意の係数 $ [x^{n-w}]P(x) = c $ をもつものが存在することを確認した。既知の例外を除く：$ (n,w,c) = (2,1,0) $ で $ q $ が奇数のとき、および $ w = n $ で $ c = 0 $ のとき。
• 証明は初等的で構造的であり、従来の解析的手法とは対照的であり、関数周期と $ q $-進桁の対称性を用いた、指定係数付き無限性の研究のための新しい枠組みを提供する。