[論文レビュー] Enumeration of totally real number fields of bounded root discriminant

John Voight|ArXiv.org|Feb 1, 2008

Mathematical Dynamics and Fractals被引用数 8

ひとこと要約

本稿では、根判別式 ≤ 14 であるすべての完全実数体を完全列挙し、その数が正確に 1229 個であり、すべての次数が 9 以下であることを示している。Minkowski の数の幾何学および Odlyzko の境界に基づく高度な計算アルゴリズムを用いて、生成および検証された原始的および非原始的数体を体系的に扱い、これらの数体に関する包括的なオンラインデータベースを提供している。特に、次数 8 および 9 の数体についての完全な表が含まれている。

ABSTRACT

We enumerate all totally real number fields F with root discriminant delta_F <= 14. There are 1229 such fields, each with degree [F:QQ] <= 9.

研究の動機と目的

• 根判別式 ≤ 14 であるすべての完全実数体を同型を除いて列挙するという未解決問題を解くこと。
• 既存の完全実数体の表を拡張し、次数 9 までにわたるすべてのこのような数体を計算することで、計算数論における重要な空白を埋めること。
• これらの数体の証明可能な完全性と公開可能なデータベースを提供し、算術幾何、Stark の予想、数体の塔の構成に活用すること。
• Minkowski のノルムおよび格子削減技術を用いた数体の列挙のための計算手法を検証および改善すること。

提案手法

• 著者らは、完全実数体の整数環における最小ベクトルを制限するために Minkowski の数の幾何学を用い、複素数への埋め込み σ_i に対する Minkowski のノルム T₂(α) = ∑|σ_i(α)|² を活用している。
• 無条件および GRH 条件付きの Odlyzko の境界を適用し、次数 n ≤ 10 かつ根判別式 δ_F ≤ 14 である分野に制限する。
• 原始的数体は、判別式が小さいモニックの既約多項式を探索し、根の分離および Sturm 列を用いてすべての根が実数であることを確認することで生成される。
• 非原始的数体は、より小さな数体からの合成および拡張技術を用いて構成され、重複を避け、同型類が一意になるように注意深くフィルタリングされている。
• 計算は SageMath システムを用いて最適化されており、並列化された根の分離および判別式の因数分解が行われ、複数の独立した検証によって確認されている。
• 最終的なリストは、既知の表との比較を通じて検証されており、特に先行データが不完全であった次数 8 および 9 において、どの数体も見逃されていないことを保証している。

実験結果

リサーチクエスチョン

• RQ1 根判別式 ≤ 14 である完全実数体はいくつ存在し、それぞれの次数と判別式は何か？
• RQ2 根判別式 ≤ 14 である完全実数体の完全な集合、特に次数 8 および 9 の数体は何か？ それらは既存のデータベースとどのように比較されるか？
• RQ3 与えられた根判別式の上限までに、完全実数体を証明的に完全かつ効率的に列挙できるアルゴリズムを構築できるか？
• RQ4 根判別式 ≤ 14 である完全実数体の最大次数は何か？ また、δ_F ≤ 14 という境界は、次数 10 以上のすべての数体を除外するのか？
• RQ5 本研究で用いられた計算手法は、速度、完全性、拡張性の観点から、従来の手法に比べてどのように向上しているか？

主な発見

• 根判別式 ≤ 14 である完全実数体は正確に 1229 個存在し、すべての次数が 9 以下である。
• 次数 10 の完全実数体で根判別式 ≤ 14 であるものは存在せず、このような数体の最小根判別式は 14.083 を超える。
• これらの 1229 個の数体の完全なリストはオンラインで公開されており、特に次数 8 および 9 の数体については表 3–4 に詳細な表が掲載されている。
• このデータベースには、次数 ≤ 7 の数体が 1014 個、次数 8 の数体が 142 個、次数 9 の数体が 73 個含まれており、すべて根判別式 ≤ 14 である。
• 本手法により、根判別式が 14.000 である 14 個の数体が特定され、そのうち 13 個は判別式 1405817381、1 個は判別式 1410894053 を持つ。
• 計算には約 100 CPU 時間を要し、SageMath を用いて実装されており、複数の独立した検証によって完全性が確認されている。