Short Salem polynomials

技術サマリー：短いセーラム多項式

問題定義
本論文は、係数の絶対値の和として定義される「長さ」に基づき、セーラム多項式を分類する問題を扱っている。セーラム数 $\tau > 1$ とは、そのガロア共役数（$\tau$ を除く）の絶対値がすべて 1 以下であり、少なくとも 1 つがちょうど 1 であるような実代数的整数である。セーラム多項式とは、セーラム数の最小多項式であり、必要に応じて分円多項式を掛けたものである。著者らは、特に長さ 5 および長さ 6 の多項式に焦点を当てている。長さ $\le 4$ の単項互反整数多項式はすべて分円多項式であることが確立されているが、セーラム多項式の最小の長さは 5 である。本論文は、長さ 5 のセーラム多項式の完全な列挙と、長さ 6 のそれらの構造的な分類を提供することを目的としている。

手法
著者らは、解析的数論、代数的操作、計算機探索アルゴリズムの組み合わせを採用している：

1. 解析的評価と交差: 長さ 5 について、著者らは単位円上（$z = e^{i\theta}$）で評価された多項式から導かれる関数 $s(\theta)$ を解析する。$f(\theta)$ と $f'(\theta)$ の零点の交差に関する補題 2.1 を利用して、$s(\theta)=1$ の解の個数を評価する。これにより、次数が十分に大きい場合、その多項式はセーラム多項式の条件を満たし得ないことを証明でき、探索を有限のパラメータ集合に制限できる。
2. セーラムの構成とピソ数列: 長さ 6 について、本論文はピソ数に収束するセーラム数の列を構成するセーラムの方法に依存している。具体的には、既約なピソ多項式 $P(z)$ と $\epsilon \in \{-1, 1\}$ に対して、列 $P_n(z) = z^n P(z) + \epsilon P^*(z)$ を解析する。ボイドの研究に大きく基づく命題 2.5 は、これらの多項式が単位円外に唯一の零点を持つ（すなわちセーラム数またはピソ数となる）条件を確立し、それらの分円因子を特徴づける。
3. ギャップ評価を伴う計算機探索: 長さ 6 の散発的（非家族的）セーラム多項式を見つけるため、著者らは [10] のアルゴリズムを適応させ、特定の区間 $[a, b]$ 内の互反多項式を探索する。ゴンサウレスの不等式とドブロウォルスキの下限を用いて探索空間を制限する。この探索には、非ゼロ係数間の「ギャップ」の評価が含まれる。区間内の中間多項式の零点のためにギャップを評価できない場合、著者らはこれを無限家族または特定の散発的ケースに対応する極限点として特定する。
4. 分円因子の解析: 著者らは、結果式と単位根の性質（補題 2.3）を用いて無限家族の分円因子を明示的に計算し、これにより得られるセーラム数の最小多項式と次数を決定する。

主要な貢献と結果

• 長さ 5 の分類（定理 1）: 本論文は、長さ 5 のすべてのセーラム多項式の完全なリストを提供する。これらは 13 個の異なるセーラム数に関連する、正確に 17 個の多項式である。これらの結果は、レーマー数（$\lambda_0 \approx 1.176$）より小さい長さ 5 のセーラム数が存在しないことを確認するものであり、[7] の以前の知見と一致しつつ、完全性の厳密な証明を提供する。
• 長さ 6 の分類（定理 2）: 著者らは、長さ 6 のセーラム多項式のほとんどすべて（有限個を除く）が、12 の無限家族のいずれかに属することを示す。これらの家族は、特定のピソ多項式（三项式および $z-2$）を用いたセーラムの構成によって生成される。
  • 本論文は、セーラム数 $\ge 1.01$ に対応する 126 個の「散発的」な長さ 6 のセーラム多項式を特定する。
  • このうち 116 個は最小ピソ数 $\theta_0 \approx 1.3247$ より小さいセーラム数に対応し、10 個は $\theta_0$ より大きい。
  • これらの家族の存在と散発的集合の有限性は証明されているが、1.01 未満の散発的リストの完全性は、1 に任意に近づけて探索を拡張できるという仮定（計算上は非現実的）またはレーマー予想（$\lambda_0$ が最小のセーラム数であるという予想）の真偽に依存している。
• 家族における分円因子（定理 3 および命題 5.1）: 本論文は、12 の無限家族に対する分円因子の詳細を述べる。これら家族におけるセーラム数の最小多項式のための明示的な公式を提供し、大きな $n$ に対して最小多項式の次数が $n$ に比例して増加し、分円因子によって決定される周期的な補正項を引いたものであることを示す。
• 包括的な表: 著者らは以下の表を提供する：
  • 表 1: 長さ 5 のセーラム多項式 17 個とそれに対応する数。
  • 表 2: 既知の散発的な長さ 6 のセーラム多項式 126 個（数 $\ge 1.01$ に対して）。
  • 表 4: 最小ピソ数 $\theta_0$ 以下の既知のすべてのセーラム数の総集編。次数、短さ、および最小次数の短い多項式をリストする。これには $\theta_0$ に収束する列 $\tau_n$ と 53 個の散発的な数を含む。

重要性
本論文は、長さ 5 のセーラム多項式の最初の完全な分類を提供すると主張している。長さ 6 については、構造的な二項性を確立している：そのような多項式の集合は、有限個の散発的な例と、可算個の無限家族から構成される。著者らは、長さ 6 の散発的多項式のリストがセーラム数 $\ge 1.01$ に対して完全であると述べている。1 に任意に近づける数までこのリストを拡張することは非現実的であるが、レーマー予想が真であれば、そのリストは完全になるとしている。この研究は、1 近傍におけるセーラム数の分布に関する理解を精緻化し、明示的な多項式構成を通じて、セーラム数、ピソ数、および分円因子の間の関係を明確にしている。