[論文レビュー] Negative values of truncations to L(1

Andrew Granville, K. Soundararajan|arXiv (Cornell University)|Aug 18, 2005

Graph theory and applications参考文献 5被引用数 3

ひとこと要約

この論文は、実数値のディリクレ指標 χ に対する切り捨て和 ∑_{n≤x} χ(n)/n の最小値について上界と下界を確立し、|f(n)| ≤ 1 を満たす完全乗法的で実数値の関数 f への分析を拡張する。主な結果は、|f(n)| ≤ 1 を満たすすべての乗法的で実数値の関数への定義域の拡張において、x → ∞ のとき和の下界が約 -0.4553 に近づくことであり、この上限に達する最適関数の完全な分類が得られる。

ABSTRACT

For flxed large x we give upper and lower bounds for the minimum of P nx ´(n)=n as we minimize over all real-valued Dirichlet characters ´. This follows as a consequence of bounds for P nx f(n)=n but now minimizing over all completely multiplicative, real-valued functions f for which i1 • f(n) • 1 for all integers n ‚ 1. Expanding our set to all multiplicative, real- valued multiplicative functions of absolute value • 1, the minimum equals i0:4553¢¢¢+o(1), and in this case we can classify the set of optimal functions.

研究の動機と目的

• 実数値のディリクレ指標 χ に対する切り捨て和 ∑_{n≤x} χ(n)/n の最小値の上界と下界を導出すること。
• ディリクレ指標から、|f(n)| ≤ 1 を満たすすべての完全乗法的で実数値の関数 f への最小化問題への拡張。
• 定義域をさらに拡張して、|f(n)| ≤ 1 を満たすすべての乗法的で実数値の関数に拡大した際の和の下界を調査すること。
• 拡張された関数クラスにおける最適（下界）値を達成する関数の集合を分類すること。

提案手法

• 完全乗法的で実数値の関数 f に対して ∑_{n≤x} f(n)/n の和を評価し、|f(n)| ≤ 1 を満たすものとして解析を開始する。
• 論文は、x → ∞ のときの和の漸近的評価を導く解析的手法を用い、部分和の最小化に注目する。
• 関数クラスを、|f(n)| ≤ 1 を満たすすべての乗法的で実数値の関数に拡張し、より広範な最小化問題を許容する。
• 下界は漸近的解析と、最小値に達する極値関数の分類を通じて決定される。
• 最適関数の分類は、乗法的関数の構造的性質と x → ∞ の極限における挙動から導出される。
• 主な結果は、これらの関数の挙動を比較し、極限において和を最小化する関数を同定することで得られる。

実験結果

リサーチクエスチョン

• RQ1 x が大きくなるとき、実数値のディリクレ指標 χ に対する ∑_{n≤x} χ(n)/n の最小値の上界と下界は何か？
• RQ2 |f(n)| ≤ 1 を満たすすべての完全乗法的で実数値の関数 f に対して ∑_{n≤x} f(n)/n の下界は、どのように振る舞うか？
• RQ3 |f(n)| ≤ 1 を満たすすべての乗法的で実数値の関数に最小化を拡張した場合、和の極限下界は何か？
• RQ4 拡張された関数クラスにおいて、どの関数が最小値を達成し、それらは完全に特徴付け可能か？

主な発見

• すべての乗法的で実数値の関数 f に対して |f(n)| ≤ 1 を満たす ∑_{n≤x} f(n)/n の下界は、x → ∞ のとき -0.4553 + o(1) である。
• この下界 -0.4553 + o(1) は極限で達成され、拡張された関数クラスにおいて鋭い値である。
• 下界に達する関数の集合は完全に分類されており、最適関数の完全な特徴付けが得られる。
• ディリクレ指標に対する最小化は、より広い乗法的関数クラスの下界よりも厳密に小さい。
• 拡張されたクラスにおける最適関数は、特定の乗法的構造を通じて部分和を最小化するものであることが示される。
• この結果は、下界がディリクレ指標のみによって達成されるのではなく、より広い乗法的関数クラスを必要とすることを示している。