[論文レビュー] Small Gal sums and applications

Régis de la Bretèche, Marc Munsch+1 more|arXiv (Cornell University)|Jan 1, 2021

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

ひとこと要約

本稿は、解析的整数論における境界の改善を目的として、重み付き乗法的エネルギーの最小化に注目した小規模なGál和を導入し、分析する。これらの和の最小値に対する鋭い漸近的推定式を確立し、Burgessの指標和の境界に対する対数的修正、偶数ディリクレ指標の非零θ関数の下界の改善、および指標和の低次のモーメントに対する新たな下界をもたらす。主な指数は、対数的密度を有する算術関数の最適化から得られる。

ABSTRACT

In recent years, maximizing Gál sums regained interest due to a firm link with large values of (Formula presented.) -functions. In the present paper, we initiate an investigation of small sums of Gál type, with respect to the (Formula presented.) -norm. We also consider the intertwined question of minimizing weighted versions of the usual multiplicative energy. We apply our estimates to: (i) a logarithmic refinement of Burgess' bound on character sums, improving previous results of Kerr, Shparlinski and Yau; (ii) an improvement on earlier lower bounds by Louboutin and the second author for the number of nonvanishing theta functions associated to Dirichlet characters; and (iii) new lower bounds for low moments of character sums.

研究の動機と目的

• ℓ1重み正規化の下での小規模Gál和の最小化問題を調査し、指標和やL関数への応用を動機とする。
• 最適化された重みを用いた対数的修正を導入することで、Burgessの古典的指標和の境界を改善する。
• 素数を法とする偶数ディリクレ指標に関連する非零θ関数の数に対する新たな下界を導出する。
• モリフィケーション技法とエネルギー最小化を用いて、指標和の低次のモーメントに対する新たな下界を確立する。
• 乗法的エネルギーが小さい部分集合の密度の最適値を特定し、与えられた素因数個数を持つ整数の構造と関連付ける。

提案手法

• 重み c ∈ ℝ₊^N が ℓ1正規化を満たすとき、V(c; N) = ∑_{m,n≤N} (m,n)/(m+n) c_m c_n の最小化問題を定義・分析する。
• 関連する量 T(c; N) を導入し、VN ≪ TN/2 を証明する。両者とも (log N)^η (log₂ N)^3 で有界であり、η ≈ 0.16656 は超越方程式の解である。
• 重み付き乗法的エネルギー E(c; N) の最小化を用いて EN の境界を導出し、EN ≫ (log N)^δ (log₂ N)^3/2 および EN ≪ (log N)^δ (log₂ N)^6 を示す。ここで δ ≈ 0.08607 は乗法的テーブル問題からの指数である。
• 最小化結果をBurgess型指標和推定に応用し、滑らかな数への平均化の代わりに密度の高い集合を用いたモリフィアーを構成する。
• ホルダーの不等式と直交性関係を用いて、θ関数の最初のモリフィアー平均とエネルギー E(c; q) を関連させ、非零値の数に対する下界を得る。
• 帰納法と指数和の推定を用い、Kerr, Shparlinski, and Yau の手法を拡張するが、平均化集合をより密度高くすることで、対数的改善を伴うBurgessの境界を精緻化する。

実験結果

リサーチクエスチョン

• RQ1 N → ∞ のとき、ℓ1正規化された正の重み c ∈ ℝ₊^N に対する重み付きGál和 V(c; N) の最小値 VN の漸近的挙動は何か？
• RQ2 最小重み付き乗法的エネルギー EN は、与えられた素因数個数を持つ整数の分布とどのように関係するか？
• RQ3 密度の高い集合を用いることで、モリフィケーション法を改善し、ディリクレ指標の非零θ関数の数に対するより強い下界を得られるか？
• RQ4 最適化された平均化集合を組み込むことで、Burgessの指標和の境界はどの程度対数的改善が可能か？
• RQ5 乗法的エネルギー E([1, N], B) が |B|² に対してゆっくりと増加するようにするための、部分集合 B ⊂ [1, N] の最適密度は何か？

主な発見

• 最小値 VN は (log N)^η ≪ VN ≪ (log N)^η (log₂ N)^3 を満たし、η ≈ 0.16656 である。ここで η は f(β) = Q(β) を満たす特定の関数 f と Q の解である。
• 最小重み付き乗法的エネルギー EN は (log N)^δ (log₂ N)^3/2 ≪ EN ≪ (log N)^δ (log₂ N)^6 を満たし、δ ≈ 0.08607 である。この指数は乗法的テーブル問題からのものである。
• Burgessの指標和の境界は、|S(M, N; χ)| ≪ N^{1−1/r} p^{(r+1)/4r²} (log p)^{η/2r} (log₂ p)^{3/2r} に改善され、N ≤ p^{1/2 + 1/4r} の範囲で成り立つ。ここで η ≈ 0.16656 である。
• 固定された x > 0 に対して、少なくとも ≫ p / (log p)^δ (log₂ p)^6 個の、法 p に関する偶数ディリクレ指標 χ が ϑ(x; χ) ≠ 0 を満たす。ここで δ ≈ 0.08607 である。
• r ∈ (0, 4/3) に対して、N ≤ √p の範囲で、指標和の k 階モーメント Sk(N) は N^{r/2} / E_N^{1−r/2} ≫ を満たす。ここで EN は最小重み付きエネルギーである。
• V(1_B; N) を最小化する最適な集合は、{n ≤ N : Ω(n) = ⌊β log₂ N⌋} の大きな部分集合であり、β ≈ 0.48155 である。このとき V(1_B; N) ≪ |B| (log |B|)^o(1) が成り立つ。