[論文レビュー] On the number of integral quadratic polynomials with bounded heights and discriminants

Friedrich Götze, Dzianis Kaliada+1 more|arXiv (Cornell University)|Aug 9, 2013

Advanced Mathematical Identities参考文献 6被引用数 6

ひとこと要約

本稿は、高さQが有界で、判別式|D(p)| ≤ Dである整数係数二次多項式の数についての漸近公式を確立する。N(Q,D) = κQD + O(D^{3/2}ln Q + (Q ln Q)^{3/2}) が成り立ち、κ = 4(ln 2 + 1) ≈ 6.7726 である。この結果は、DがQ^{1/2}(ln Q)^{3/2} ≪ D ≪ (Q/ln Q)^2 の範囲にあるとき、期待されるオーダーの大きさを確認し、有界な判別式と高さをもつ二次多項式の漸近的挙動を解消する。

ABSTRACT

In the paper we obtain the asymtotic number of integral quadratic polynomials with bounded heights and discriminants as the upper bound of heights tends to infinity.

研究の動機と目的

• 有界な高さQと判別式|D(p)| ≤ Dをもつ整数係数二次多項式の数の漸近的オーダーの大きさを特定すること。
• n=2の場合に、このような多項式の数に対する予想される下界Q^{n+1-2v}が上界としても達成可能かどうかという未解決の問題を解消すること。
• 高さQと判別式|D(p)| ≤ Dをもつモニックまたは一般の二次多項式の係数が[-Q,Q]に含まれる場合の数え上げ関数N(Q,D)の明示的な誤差項を確立すること。
• 従来の三次多項式に関する結果を二次多項式の場合に拡張し、明示的な主要項と誤差項をもつ完全な漸近公式を提供すること。
• D = 5Q^{2-2v} (0 < v < 3/4) の条件下で、漸近公式が成り立つことを確認し、期待される増加率と整合することを検証すること。

提案手法

• 著者たちは、|a|,|b|,|c| ≤ Q における判別式条件b² - 4ac = Dの整数解の数を分析するために、指数和および三角関数的指数和を用いる。
• 数え上げ関数N(Q,D)を先頭係数aのdyadic区間ごとに分解し、Poisson和公式と特徴和の推定を用いて得られる指数和を取り扱う。
• 主要な推定は、補題1（分数部分に関するWeyl型和）と補題2（二次指数和のGauss和の上界）に依存し、漸近展開における誤差項を制御する。
• 主要項は和の中の対角成分から生じるが、誤差項は実数xの整数への距離||x||および約数関数τ(n)の性質を用いて有界化される。
• 証明は、和を2つの部分に分割する：1つ目は判別式条件をフーリエ解析を用いて取り扱い、2つ目は格子点数え上げを用いて解の個数を推定する。
• 最終的な漸近公式は、複数のdyadic区間からの推定を組み合わせ、区間における1/nの和の上界を適用することで得られ、対数因子ln 2が現れる。

実験結果

リサーチクエスチョン

• RQ1 有界な高さと判別式をもつn次整数係数多項式の数に対する予想される下界Q^{n+1-2v}が、n=2の場合に上界としても達成可能か。
• RQ2 高さ≤ Q かつ |判別式| ≤ D をもつ整数係数二次多項式の数の正確な漸近公式は何か。
• RQ3 N(Q,D)の漸近公式が有効となるDとQの条件は何か。有効範囲は何か。
• RQ4 漸近公式の誤差項は明示的に有界化可能か。また、期待されるオーダーの大きさと一致するか。
• RQ5 D = 5Q^{2-2v} (0 < v < 3/4) のとき、公式がヒューリスティックな期待と整合する成長率を確認できるか。

主な発見

• 高さH(p) ≤ Q かつ |D(p)| ≤ D をもつ整数係数二次多項式の数は、漸近的にN(Q,D) = κQD + O(D^{3/2}ln Q + (Q ln Q)^{3/2}) と表され、κ = 4(ln 2 + 1) ≈ 6.7726 である。
• 漸近公式は、DがQ^{1/2}(ln Q)^{3/2} ≪ D ≪ (Q/ln Q)^2 を満たすとき有効であり、D = 5Q^{2-2v} (0 < v < 3/4) の場合も含む。
• 主要項はQとDの両方に関して線形であり、このような多項式の数が高さの上限と判別式の上限の積に比例して増加することを確認する。
• 誤差項はO(D^{3/2}ln Q + (Q ln Q)^{3/2}) で有界であり、提示された条件下では主要項より小さい。
• この結果は、ヒューリスティックな期待N(Q,D) ≍ QDが二次多項式に対して鋭いことを確認し、この場合の漸近的挙動を解消する。
• 証明により、指数和推定と格子点数え上げからの誤差項が十分に小さく、指定された範囲で漸近公式が成り立つことが保証される。