[論文レビュー] On finding many solutions to S-unit equations by solving linear equations on average

Adam J. Harper|arXiv (Cornell University)|Aug 18, 2011

Analytic Number Theory Research参考文献 17被引用数 4

ひとこと要約

本稿では、係数がスパースな集合を渡る関連する線形方程式の解を分析することにより、S-unit方程式の整数解の数に対する下界を改善する。特徴的和の推定と洗練された大スクリーブ不等式を用いることで、a + b = c のような方程式において、特にS-単位数に制限された変数に対して、従来の手法よりも強力な定量的結果が得られる。

ABSTRACT

We give improved lower bounds for the number of solutions of some $S$-unit equations over the integers, by counting the solutions of some associated linear equations as the coefficients in those equations vary over sparse sets. This method is quite conceptually straightforward, although its successful implementation involves, amongst other things, a slightly subtle use of a large sieve inequality. We also present two other results about solving linear equations on average over their coefficients.

研究の動機と目的

• a + b = c のようなS-unit方程式の整数解の数に対するより強い下界を確立すること。
• 許容される素因数の集合Sがスパースで、解の集合が強く構造的である場合に、解を数えるという課題に取り組むこと。
• 一般化リーマン予想や密度の強い仮定を必要とするフーリエ解析的道具に依存しない手法を開発すること。
• 係数が変化する線形方程式の解を数える方法が、直接的なディオファントス近似や円法の手法に比べて、より良い結果をもたらすことを示すこと。
• Erdős, Stewart, Tijdeman, Konyagin, Soundararajanらの先行研究を一般化・改善する概念的枠組みを提供すること。

提案手法

• 係数がスパースな集合を渡る線形方程式の解を分析し、それらをS-unit解に関連付ける。
• 乗法的特徴指標に関する指数和を制御するために、特徴的和の推定と直交性関係を適用する。
• 誘導された特徴指標とモービウス逆転を注意深く取り扱うことで、原始的特徴指標に関する和を有界化する大スクリーブ不等式を用いる。
• 和の範囲を二重分解し、法yについての和を低域（y ≤ W）と高域（W < y ≤ Z）に分割する。
• 数論的結果1を適用し、小規模な法に対してはφ(y) log²yのオーダーで特徴的和の部分和を有界化し、大規模な法に対してはW/dのオーダーとする。
• コーシー＝シュワルツと除数関数の有界性を用いて最終的な和を制御し、O_η(Z^η (#{A}) W / Z) の有界性を得る。

実験結果

リサーチクエスチョン

• RQ1 一般化リーマン予想を仮定せずに、a + b = c のようなS-unit方程式の解の数に対する改善された下界を得ることは可能か？
• RQ2 数え上げプロセス中に集合Sを適応的に変化させることで、S-unit解の数をどの程度まで増加させられるか？
• RQ3 係数が変化する線形方程式の解を数える手法が、多数のS-unit解を生成するのにどの程度有効か？
• RQ4 この手法において、係数集合のサイズと生成される解の数の間の最適なトレードオフは何か？
• RQ5 非伝統的な方法で大スクリーブ不等式を適用し、乗法的特徴指標に関する和を有界化することで、S-unit方程式問題においてより強い結果を得られるか？

主な発見

• 本稿では、a + b = c のような方程式に対する、互いに素なS-unit解の数に対する新しい下界を確立し、KonyaginとSoundararajanの先行結果を上回る。
• この手法により、最大の互いに素なS-unit解の数に対して、e^{Ω(ε)s^{2/3−ε}} の形の下界が得られ、ヒューリスティックな期待と整合的である。
• 誘導された特徴指標を注意深く取り扱った大スクリーブ不等式の使用により、特徴的和の平均値に対する非自明な有界性が得られる。
• 一般化リーマン予想を仮定せず、密度が log^{-C}x 以上である集合を必要としないため、よりスパースな設定にも適用可能である。
• 固定されたSに依存するのではなく、係数集合全体の平均的挙動に注目することで、円法の制限を回避する。
• 最終的な有界性は O_η(Z^η (#{A}) W / Z) であり、これは非自明であり、関連するパrameter領域において、加法的円法の代替手法よりも優れていることが示された。