[論文レビュー] Character sums with Beatty sequences on Burgess-type intervals

William D. Banks, Igor E. Shparlinski|ArXiv.org|Aug 2, 2006

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

ひとこと要約

本稿は、無理数 α に対する非斉次ベアシー列 $\{\lfloor \alpha n + \beta \rfloor\}_{n=1}^N$ における乗法的指標和の非自明な上限を確立し、この設定においてバーガス型の推定を拡張する。指数和の技法と不等分散の境界を組み合わせることで、$N \geq B_\varepsilon(k)$ のとき、このような和が $O(Nk^{-\rho})$ であることを証明する。ここで $\rho > 0$ は $\varepsilon$ と $\alpha$ のディオファントス型 $\tau$ に依存する。短区間に対しても非自明なキャンセルが成立することを示している。

ABSTRACT

We estimate multiplicative character sums taken on the values of a non-homogeneous Beatty sequence $\{[αn + β] : n =1,2,... \}$, where $α,β\in\R$, and $α$ is irrational. Our bounds are nontrivial over the same short intervals for which the classical character sum estimates of Burgess have been established.

研究の動機と目的

• バーガスの古典的指標和推定を非斉次ベアシー列の設定に拡張すること。
• 無理数 α に対して、$\lfloor \alpha n + \beta \rfloor$ の値における乗法的指標和の非自明な境界を確立すること。
• β に関して一様な境界を提供し、特に素数法において、以前の結果を越える範囲にまで有効性を拡大すること。
• 指数和と不等分散理論に基づく手法が、乗法的指標以外の算術的関数に対しても適用可能であることを示すこと。

提案手法

• ベアシー列の値の指示関数の切断されたフーリエ展開を用いて、その近似を行う。
• 不完全指標和 $U_k(t, \chi; M_0, M) = \sum_{M_0 < m \leq M} \chi(m) \mathbf{e}(tm)$ に対する古典的バーガスの境界の適用。
• ヴィノグラドフの技法と無理数回転における指数和の境界を用いて、指数和 $U_k(t, \chi; M_0, M)$ の推定を行う。
• 不等分散理論を用いて、ベアシー列を区間の和集合で近似する際の誤差を制御し、$\{\alpha n + \beta\}$ の一様分布に依存する。
• 和を二重区間へ分解し、$|j| \leq kN^{-1-\eta}$ および $|j| > kN^{-1-\eta}$ の範囲でそれぞれ異なる境界を用いてフーリエ係数の和をとる。
• 誤差項のバランスをとるために、パラメータ $\Delta = N^{(\eta-1)/2}$ を選択する。

実験結果

リサーチクエスチョン

• RQ1 バーガスの古典的推定と同程度の短区間長さにおいて、ベアシー列における指標和の非自明な境界を確立できるか。
• RQ2 α のディオファントス型 $\tau$ が得られる指標和の境界の強さにどのように影響するか。
• RQ3 指数和と不等分散に基づく手法が、乗法的指標以外の算術的関数に対しても一般化可能か。
• RQ4 ベアシー列における指標和の非自明なキャンセルが成立する N の最適な範囲は何か。

主な発見

• 無理数 α が有限型 τ であるとき、指標和 $S_k(\alpha, \beta, \chi; N)$ はすべての $N \geq B_\varepsilon(k)$ に対して $O(Nk^{-\rho})$ で有界であり、$\rho > 0$ は $\varepsilon$ と $\tau$ のみに依存する。
• k = p が素数の場合、境界は $N \geq p^{1/4 + \varepsilon}$ のとき $O(Np^{-\rho})$ に改善され、以前の結果の $p^{1/3 + \varepsilon}$ から範囲を拡大する。
• 境界は β に関して一様であるため、$\sum_{M+1 \leq n \leq M+N} \chi(\lfloor \alpha n + \beta \rfloor)$ の形のずらし和への応用が可能である。
• 適切な指数和の境界が得られれば、素数やスムーズ数に関する和に対しても非自明な推定が得られる。
• 分数部分 $\{\alpha n + \beta\}$ の不等分散による誤差項は、$O(\Delta N + o(N))$ で制御され、$\Delta$ はフーリエ級数の尾部誤差とバランスを取るために選ばれる。
• 最終的な境界 $O(N^{1-\eta}\log N + N^{\eta}\Delta^{-1})$ は $\Delta = N^{(\eta-1)/2}$ で最小化され、結果として $O(Nk^{-\rho})$ の結果が得られる。