[論文レビュー] Computing points of small height for cubic polynomials

Robert L. Benedetto, Benjamin Dickman+4 more|ArXiv.org|Jul 3, 2008

Algebraic Geometry and Number Theory参考文献 13被引用数 3

ひとこと要約

本稿では、140億もの立方多項式に対して、有理数の小スケールの前周期的点を計算することで、動的均一有界性予想と立方多項式のための標準的高さ下界予想を検証する。標準的高さが多項式の高さに対して小さい点を体系的に探索するアルゴリズムを用いて、強力な計算的証拠を得た。どの立方多項式に対しても11個を超える有理数前周期的点は存在せず、観測された最小のスケーリングされた高さ比は約0.00025にとどまり、小スケールの高さ挙動に対するきつい境界があることを示唆している。

ABSTRACT

Let f in Q[z] be a polynomial of degree d at least two. The associated canonical height \hat{h}_f is a certain real-valued function on Q that returns zero precisely at preperiodic rational points of f. Morton and Silverman conjectured in 1994 that the number of such points is bounded above by a constant depending only on d. A related conjecture claims that at non-preperiodic rational points, \hat{h}_f is bounded below by a positive constant (depending only on d) times some kind of height of f itself. In this paper, we provide support for these conjectures in the case d=3 by computing the set of small height points for several billion cubic polynomials.

研究の動機と目的

• 次数 d ≥ 2 の多項式に対して、有理数前周期的点の数に一様な上界が存在するという動的均一有界性予想に対する計算的証拠を提供すること。
• 標準的高さが多項式の高さに比例する正の定数倍以上であるという関連する予想を検証すること。
• すべての可能な前周期的構造と立方多項式の小スケールの高さ現象が、有限で小スケールの高さ範囲に収まることを調べること。
• 標準的高さ比が小さい点は、反復の大きさが「爆発」するまでに遅れを生じるというヒューリスティックを調査すること。これは、多くの反復の間に大きさが増大しない点を示している。

提案手法

• 有理数係数を持つ立方多項式 φ(z) = az³ + bz + c に対して、有理数前周期的点および標準的高さが小さい点を体系的に探索するアルゴリズムを実装した。
• 高さ log(19) ≈ 2.94 未満のすべての立方多項式（約140億の写像）をカバーする範囲で探索を実施した。
• 各多項式に対して、有理数点の反復を計算し、前周期的軌道を同定するとともに、非前周期的点の標準的高さ  ĥφ(x) を推定した。
• 下界予想を検証するために、スケーリングされた高さ比  ĥφ(x)/h(φ) を計算し、特に 0.001 や 0.0007 未満の値に注目した。
• p進的ダイナミクスと算術的高さ理論を活用して、反復の過程で分子・分母の大きさが最小限に増加する点を効率的に特定し、標準的高さを計算した。
• アームストラング・カレッジの高性能コンピューティングリソースを用いて、立方多項式のパrameter空間全域を網羅的に探索した。

実験結果

リサーチクエスチョン

• RQ1 立方多項式のすべての可能な有理数前周期的構造は、小スケールの高さを持つ多項式に現れるのだろうか。これは、普遍的な挙動の有限集合を示唆するか？
• RQ2 立方多項式の非前周期的有理数点におけるスケーリングされた標準的高さ比  ĥφ(x)/h(φ) の最小値は何か？
• RQ3 有理数体 ℚ 上の立方多項式は、最大で何個の有理数前周期的点を持つことができるのか。また、一様な上界が存在するのか？
• RQ4 多項式の高さが増加するにつれて、小スケールの高さを持つ点の数は増加するのか。それとも、低高さの写像に限定されるのか？
• RQ5 反復の大きさの増加が遅れる（分子・分母の大きさが増加するまでの反復回数）という現象は、スケーリングされた高さ比の大きさと相関するだろうか？

主な発見

• 小スケールの高さを持つ140億の立方多項式のうち、11個を超える有理数前周期的点を持つ多項式は一切なく、10個または11個の点を持つ例もわずかにしか見つからなかった。これは一様な上界を支持する。
• 観測された最小のスケーリングされた高さ比  ĥφ(x)/h(φ) は約0.00025であり、これは φ(z) = -25/24 z³ + 97/24 z + 1 と x = -7/5 の場合に達成された。この場合、反復の大きさの「爆発」は7回の反復後に遅れた。
• az³ + bz + 1 の形をした立方多項式の中で、スケーリングされた高さ比が0.0007未満であったのはわずか9例にとどまり、最小値は探索の初期に得られた。これは、より小さい比が得られる可能性は低いと考えられる。
• 非常に小さいスケーリングされた高さ比（≤ 0.0007）を持つすべての多項式は、az³ + bz + 1 の形をしており、この族が小スケールの高さ挙動を支える構造的優位性を持つことを示唆している。
• 定数項のない形 az³ + bz の多項式は、顕著に大きな最小スケーリングされた高さ比（例：0.00591）を示しており、定数項が小スケールの高さダイナミクスを可能にする上で重要な役割を果たしている可能性がある。
• データは、小スケールの点の総数が有界であるというヒューリスティックを支持している。なぜなら、どの写像に対しても11個を超える点がなく、すべての既知の構造が低高さの写像に現れたからである。これは予想と整合的である。