[论文解读] 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億個有理係數三次多項式中極小高度的有理預週期點，對動力系統的統一有界性猜想與三次多項式之標準高度下界猜想提供計算支持。作者使用一項系統性搜尋演算法，針對多項式高度相對較小之標準高度的點進行搜尋，結果顯示：無任一三次多項式擁有超過十一個有理預週期點，且所觀察到的最小縮放高度比約為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進動力系統與算術高度理論，有效計算標準高度，並識別在迭代過程中分子分母大小增長最小的點。
• 使用阿姆赫斯特學院的高性能計算資源，執行對三次多項式參數空間的全面搜尋。

实验结果

研究问题

• RQ1 所有可能的三次多項式有理預週期結構是否皆出現在低高度多項式中，暗示存在有限個普遍行為？
• RQ2 在三次多項式中，非預週期有理點的縮放標準高度比  ĥφ(x)/h(φ) 的最小值為何？
• RQ3 有理數域上三次多項式最多可有多少個有理預週期點？是否存在統一的上界？
• RQ4 極小高度點的數目是否隨多項式高度增加而增加，還是僅限於低高度映射？
• RQ5 迭代值大小增長的延遲時間（即分子/分母大小開始增加前的迭代次數）是否與縮放高度比的大小相關？

主要发现

• 在140億個低高度的三次多項式中，無任一多項式擁有超過十一個有理預週期點，僅發現少數具備十或十一個此類點的例子，支持統一有界性猜想。
• 所觀察到的最小縮放高度比  ĥφ(x)/h(φ) 約為0.00025，出現在 φ(z) = -25/24 z³ + 97/24 z + 1 與 x = -7/5 時，其迭代值大小的「爆發」延遲了七次迭代。
• 僅有九個形如 az³ + bz + 1 的三次多項式，其縮放高度比小於0.0007，且最小值在搜尋初期即被發現，顯示找到更小比值的可能性極低。
• 所有縮放高度比極小（≤ 0.0007）的多項式皆為 az³ + bz + 1 形式，顯示此家族在支撐極小高度動態方面具有結構偏好。
• 無常數項之形如 az³ + bz 的多項式，其最小縮放高度比顯著較大（例如0.00591），顯示常數項可能在實現極小高度動態中扮演關鍵角色。
• 資料支持啟發式觀點：極小高度點的總數受限制，因無任一映射擁有超過十一個此類點，且所有已知結構皆出現在低高度映射中，與猜想一致。