[論文レビュー] Correlation estimates for sums of three cubes

Joerg Bruedern, Trevor D. Wooley|Bristol Research (University of Bristol)|Apr 15, 2014

Limits and Structures in Graph Theory参考文献 13被引用数 3

ひとこと要約

この論文は、ハリ・リトルウッドの円周法を用いて、3つの正の整数の立方和に関する相関推定値を改善し、変数の数が方程式の数の2倍を超える場合には、3つの立方和における斉次線形方程式系が可解であることを証明する。主な結果は、相関和に対して $\< N^{r+1/6+\varepsilon}$ の鋭い上限を与えるもので、$r > 1$ の場合に古典的推定値よりも著しく向上する。解析では滑らかな数の制限と微小弧の推定値を用い、表現数を制御し、必要な形での正の解の存在を保証する。

ABSTRACT

We establish estimates for linear correlation sums involving sums of three positive integral cubes. Under appropriate conditions, the underlying methods permit us to establish the solubility of systems of homogeneous linear equations in sums of three positive cubes whenever these systems have more than twice as many variables as equations.

研究の動機と目的

• 3つの正の整数の立方和に関連する線形相関和に対する改善された上界を確立すること。
• 3つの正の立方和における斉次線形方程式系の可解性を分析すること。
• 滑らかな数の制限と微小弧の解析を用いて、古典的推定値 $N^{7r/6+\varepsilon}$ を超える相関推定値を拡張すること。
• 一般位置の条件下で、方程式の数の2倍以上多くの変数を持つ系が、3つの正の立方和において可解であることを示すこと。

提案手法

• 3つの立方和に関連する指数和を分析するために、ハリ・リトルウッドの円周法を用いる。
• 表現関数 $\rho(n)$ の緩められた版 $\rho_\eta(n)$ を導入し、滑らかな変数を持つ表現に制限する。
• 胡の補題とワイエルの不等式を用いて、円周法における主要弧と微小弧の寄与を制御する。
• 関連する線形形式の線形独立性を保証するために、極めて非特異な行列の概念を用いる。
• コーシー・シュワルツの不等式と対称性を用い、$\rho_\eta(n)$ の $\ell^2$-ノルム推定値によって相関和をバインドする。
• 形が $\ll P^{3s-3r-\delta}$ である微小弧の推定値を適用し、誤った解を排除し、主要項を明確にする。

実験結果

リサーチクエスチョン

• RQ1 $r > 1$ の場合に、3つの正の立方和に関する相関和は、古典的推定値 $N^{7r/6+\varepsilon}$ よりも鋭く抑えられるか？
• RQ2 3つの立方和における斉次線形方程式系が、正の整数解を保証される条件は何か？
• RQ3 滑らかな数の制限を用いることで、3つの立方和に関する相関和推定値の誤差項を改善できるか？
• RQ4 このような系の可解性に必要な最小の変数数は何か？ そして、方程式の数とどのように関係するか？
• RQ5 微小弧の推定値と表現数は、必要な形での正の解の存在を保証するためにどのように作用するか？

主な発見

• 極めて非特異な $A \in \mathbb{Z}^{r \times 2r}$ に対して、相関和 $\Xi_{2r}(N;A;\mathbf{h})$ は $\ll N^{r+1/6+\varepsilon}$ で抑えられ、$r > 1$ の場合に古典的推定値 $N^{7r/6+\varepsilon}$ よりも向上する。
• 緩められた表現関数 $\rho_\eta(n)$ に対して、相関和 $\Xi_{2r,\eta}(N;A;\mathbf{h})$ は、適切な $\eta$ の下で $\ll N^{r+\xi+\varepsilon}$ で抑えられ、$\xi = (\sqrt{2833} - 43)/123 < 1/12$ である。
• 変数数 $s > 2r$ の $r$ 個の斉次線形方程式系は、係数行列が極めて非特異で、正の実数に実解が存在する限り、3つの正の立方和において可解である。
• 微小弧寄与は $\ll P^{3s-3r-\delta}$ で抑えられ、$\delta > 0$ であるため、主要項が優勢であることが保証される。
• 滑らかな数のフィルタリングにより高重複解を除去した後、このような系の解の数 $\Upsilon(N)$ は $\gg N^{s-r}$ を満たす。
• 証明により、高表現数を持つ解の数が無視できるほど小さいことが示され、主要項が重複性によって飲み込まれないことが保証される。