[論文レビュー] On Congruences with Products of Variables from Short Intervals and Applications

Jean Bourgain, Moubariz Z. Garaev+2 more|arXiv (Cornell University)|Feb 29, 2012

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

ひとこと要約

本稿は、加法的組合せ論および指標和推定の高度な技術を用いて、素数 $p$ を法とする短区間からの変数の積を含む合同式の解の数に対する新たな上界を確立する。主な貢献は、$h < p^{1/(\nu^2-1)}$ の条件下で、$K_{\nu}(p,h,s)$ の非自明な上界の確立であり、これは $ (x_1+s)\cdots(x_\nu+s) \equiv (y_1+s)\cdots(y_\nu+s) \not\equiv 0 \pmod{p} $ を満たす解の数を表す。この結果は、指数和、除数関数付き指標和、および二重指標和に関する先行研究を改善する。

ABSTRACT

We obtain upper bounds on the number of solutions to congruences of the type $$ (x_1+s)...(x_ν+s)\equiv (y_1+s)...(y_ν+s) ot\equiv0 \pmod p $$ modulo a prime $p$ with variables from some short intervals. We give some applications of our results and in particular improve several recent estimates of J. Cilleruelo and M. Z. Garaev on exponential congruences and on cardinalities of products of short intervals, some double character sum estimates of J. B. Friedlander and H. Iwaniec and some results of M.-C. Chang and A. A. Karatsuba on character sums twisted with the divisor function.

研究の動機と目的

• 素数 $p$ を法とする短区間からの変数の積を含む対称的合同式の解の数に対する非自明な上界を導出すること。
• 指数合同式、除数関数付き指標和、および二重指標和に関する既存の推定値を拡張・精緻化すること。
• 特に、有限体上での短区間内の積の分布に関連する解析的整数論における未解決問題に取り組むこと。
• 巡回行列と指標和技術に基づく枠組みを構築し、スパarsな集合内の乗法的構造を分析すること。

提案手法

• 合同式 $J_\nu(p,h,s;\lambda)$ の対称版を導入し、$K_\nu(p,h,s)$ と表記する。これは、変数が $[1,h]$ に属するとき、$\prod (x_i+s) \equiv \prod (y_j+s) \not\equiv 0 \pmod{p}$ を満たす解の数を数える。
• 巡回行列 $A(m,n,\sigma)$ 及びそのブロック拡張の新規構成を用いて、解の構造を分析し、特定のマークされた成分に対する不変和を導出する。
• 加法的組合せ論および指標和技術を適用し、特に指数和の有界性とディリクレ指標の乗法的性質を活用する。
• ダイアディック分解と短区間内の素数に対する平均化を用いて、指標和推定における誤差項を制御する。
• 大スクリーブ法と、カラツーバらが得た指標和のキャンセル結果を用い、区間長に関する弱い仮定の下で非自明な上界を導出する。
• 大きな指標和の絶対値を仮定することで矛盾を導き、ある集合 $\mathcal{U}$ の大きさに対する下界を得る。この下界は、既知の指標和キャンセル結果と矛盾する。

実験結果

リサーチクエスチョン

• RQ1 変数が $[1,h]$ に属するとき、対称的合同式 $\prod_{i=1}^\nu (x_i + s) \equiv \prod_{j=1}^\nu (y_j + s) \not\equiv 0 \pmod{p}$ の解の最大数は何か？
• RQ2 このような解の数の非自明な上界が成り立つ $h $ の範囲を、以前の結果を上回るように改善できるか？
• RQ3 $K_\nu(p,h,s)$ の上界は、短区間における指数和の推定値をどの程度強化できるか？
• RQ4 これらの上界は、除数関数で重み付けされた指標和や二重指標和の推定値にどのような影響を与えるか？
• RQ5 この手法は、高次の乗法的関数やより一般の多項式合同式に対しても拡張可能か？

主な発見

• 本稿は、$K_\nu(p,h,s)$ の非自明な上界を確立し、$h < p^{1/(\nu^2-1)}$ の条件下で有効であることを示し、以前の結果を改善する。
• $\nu=4$ の場合、この上界は、シレウエロとガラエイが提起した、このような非自明な推定が存在するかという未解決問題を解決する。
• この手法により、短区間における指数合同式の推定値が改善され、非自明な推定が成り立つ $h $ の範囲が拡張される。
• 著者らは、フレイダーランダーとイワニエツの二重指標和推定値を改善し、特定のスパースな部分集合においてより強いキャンセル効果を示す。
• すべての $a$ が $p$ と互いに素であるとき、$N \geq p^{1/3 + \varepsilon}$ の範囲で、$S_a(N) = \sum_{n \leq N} \chi(a + n^2)$ の非自明な上界が確立され、これはカラツーバの以前の結果（$|a| \leq p^{1/2}$ の場合）を改善する。
• この枠組みは、除数関数 $\tau_k(n)$ を含む和に対しても拡張され、非自明な推定が可能な $a $ の範囲が拡大される。