[論文レビュー] Counting monochromatic solutions to diagonal Diophantine equations

Sean Prendiville|arXiv (Cornell University)|Mar 23, 2020

Algebraic Geometry and Number Theory参考文献 21被引用数 7

ひとこと要約

この論文は、整数のr色分け集合における単色解の個数を数えるために、ハーディー–リトルウッドの円周法を適応し、絶対定数を除いて最良の下界を達成する。係数に関する代数的条件の下で、$ a_1x_1^2 + \dots + a_sx_s^2 = b_1y_1 + \dots + b_ty_t $ の形の式の分割正則性を確立し、単色解の個数を数えるという予想を解決する。

ABSTRACT

We show how to adapt the Hardy--Littlewood circle method to count monochromatic solutions to diagonal Diophantine equations. This delivers a lower bound which is optimal up to absolute constants. The method is illustrated on equations obtained by setting a diagonal quadratic form equal to a linear form. As a consequence, we determine an algebraic criterion for when such equations are partition regular. Our methods involve discrete harmonic analysis and require a number of `mixed' restriction estimates, which may be of independent interest.

研究の動機と目的

• 整数のr色分け集合における単色解の個数を数えるために、ハーディー–リトルウッドの円周法の変種を開発すること。
• 対角的ディオファントス方程式における単色解の個数に対する定量的下界を確立し、最良のオーダーに一致させること。
• 二次形式と線形形式を組み合わせた方程式の分割正則性の代数的基準を同定すること。
• $ s \geq 5 $ および $ \sum_{i \in I} a_i = 0 $ を満たす非空集合 $ I $ に対して、$ \sum a_i x_i^2 = 0 $ に少なくとも $ \gg_r N^{s-2} $ 個の単色解が存在するという予想を解決すること。
• 係数条件 $ \sum a_i = 0 $ を緩和しながら、モアイラの分割正則性結果を一般化し、解の個数に関する結果を維持すること。

提案手法

• グリーン–タオの定式化を用いた離散的調和解析およびフーリエ解析的正則性補題を用いた、ハーディー–リトルウッドの円周法の適応。
• 構造的集合の文脈において、指数和と数え上げ作用素を制御するための「混合」制限推定を用いる。
• 色クラスの特性関数を構造的部と擬似乱数的部に分解するためのフーリエ解析的正則性補題を適用する。
• 線形条件 $ \sum_{i \in I} a_i = 0 $ に非自明な解が存在することに依存して、多くの解を持つ色クラスを特定する密度増加の議論を用いる。
• 解を変換された方程式から元のものに持ち上げるために、色分け変換 $ \tilde{c} $ を導入し、モノイラの定理による単色配置の利用を可能にする。
• 円周法と組合せ的密度結果を組み合わせ、線形項が存在しない場合の単色解の個数に対する下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 組合せ的情報しか入手できない状況下で、ハーディー–リトルウッドの円周法をr色分けされた整数集合における単色解の個数を数えるために適応可能か？
• RQ2 有限色分け $[N]$ における対角的二次方程式の単色解の個数に対する最良の下界は何か？
• RQ3 係数にどのような代数的条件が課されると、方程式 $ \sum a_i x_i^2 = \sum b_j y_j $ が分割正則になるか？
• RQ4 方程式 $ \sum a_i x_i^2 = \sum b_j y_j $ の分割正則性基準を、条件 $ \sum a_i = 0 $ よりも弱くできるか、それでも無限個の単色解が保証されるか？
• RQ5 $ s \geq 5 $ である同次二次方程式 $ \sum a_i x_i^2 = 0 $ に対して、既知の漸近的上界と一致する定量的個数結果が得られるか？

主な発見

• 任意の $ r $-色分け $[N]$ に対して、$ x - y = z^2 $ に対して少なくとも $ \gg_r N^{3/2^r} $ 個の単色解を持つ色クラス $ C_j $ が存在し、これは最良のオーダーに一致する。
• $ \sum_{i \in I} a_i = 0 $ を満たす方程式 $ \sum a_i x_i = \sum b_j y_j^2 $ に対して、ある色クラスにおける単色解の個数は $ \gg_r N^{(|I|+s+t-2)/2^r} $ であり、定数を除いて最適である。
• 同次二次方程式 $ \sum_{i=1}^s a_i x_i^2 = 0 $（$ s \geq 5 $ かつ $ \sum_{i \in I} a_i = 0 $）に対して、$ \gg_r N^{s-2} $ 個の単色解を持つ色クラスが存在し、既知の上界 $ \ll N^{s-2} $ と一致する。
• 方程式 $ \sum a_i x_i^2 = \sum b_j y_j $ は、$ \sum_{i \in I} a_i = 0 $ または $ \sum_{j \in J} b_j = 0 $ であるか、かつ方程式が $ a(x_1^2 - x_2^2) = b y^2 + c z $ の形でない限り、分割正則である。これは、解の個数に関する予想を解決する。
• 係数条件 $ \sum_{i \in I} a_i = 0 $ の下で、二次項と線形項が混在する方程式に対し、$ s \geq 3 $、$ s+t \geq 5 $ を満たす場合、単色解の個数は $ \gg_r N^{s+t-2} $ である。
• 本論文は、$ \sum a_i = 0 $ の弱い条件下で、モノイラの分割正則性結果 $ \sum a_i x_i^2 = x_0 $ を再証明し、定量的個数結果に拡張する。