[論文レビュー] On The Symmetry Of Arithmetical Functions In Almost All Short Intervals, V

Giovanni Coppola|ArXiv.org|Jan 29, 2009

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

ひとこと要約

本稿は、非負の指数和を持つ算術関数に対して「主要関数原理」を確立し、そのほとんどすべての短区間における対称性が、制限付き除数関数の対称性と、関数の平均値および台の項を組み合わせた下界で抑えられることを示している。主な結果は、関数のフーリエ係数および算術的構造にやや弱い条件下で、対称性積分 $ I_f(N,h) $ に対して非自明な下界を与える。

ABSTRACT

We study the symmetry in short intervals of arithmetic functions with non-negative exponential sums.

研究の動機と目的

• 指数和が非負である算術関数に対する主要関数原理の構築により、その短区間における対称性のより強い推定が可能になるようにすること。
• モービウス関数との非負のディリクレ畳み込みによって定義される新しい関数クラスを導入し、算術関数の対称性に関する既存の結果を拡張すること。
• 関数 $ f $ の $ L^2 $-対称性を測る対称性積分 $ I_f(N,h) $ に対する非自明な下界を導出すること。
• 調和解析と指数和の推定を活用して、$ f $ の対称性を制限付き除数関数 $ d_Q $ の対称性と関連付けること。
• 非負の平均値 $ f(0) $ を選ぶことで指数和が非負になるようにし、主要関数原理の適用を可能にするフレームワークを提供すること。

提案手法

• 対称性積分 $ I_f(N,h) = \bigint_{h}^{N} \big| \textstyle\bigsum_{|n-x|\leq h} f(n) \text{sgn}(n-x) \big|^2 dx $ を定義し、短区間における $ f $ の $ L^2 $-対称性を捉える。
• 二つの関数の混合相関 $ \text{C}_{f_1,f_2}(a) = \textstyle\bigsum_{|a|<n\leq N-|a|} f_1(n)f_2(n-a) $ を導入し、二つの関数の対称性を関連付ける。
• 主要関数原理を確立：すべての $ \theta \in [0,1] $ に対して指数和 $ S_f(\theta) \geq 0 $ ならば、$ I_f(N,h) \sim I_{f,d_Q}(N,h) + h^3 + f(0)h^2 + Qhf(0) + Qh^2 $ が成り立つ。
• 条件 $ \text{supp}(f * \bar{\nu}) \subseteq [1,Q] $ および $ f(n) \sim N^\theta $（$ n \leq N $）で $ \theta < 1/2 $ とすることで、誤差項を制御する。
• コーシー・シュワルツ不等式を用いて $ I_{f,d_Q} $ を $ I_f $ と $ I_{d_Q} $ に関連付け、[C-S] および [C2] の既知の評価を用いて $ I_{d_Q}(N,h) \sim Nh $ を推定する。
• ファレイ列 $ \text{F}_Q $ を用いて解析を有理数周波数 $ j/q $ に制限し、$ S_f(\theta) \geq 0 $ の条件を有限個のチェックに還元する。

実験結果

リサーチクエスチョン

• RQ1 算術関数 $ f $ が満たすべき条件は何か？ その短区間における対称性が、自明な下界を超える。
• RQ2 指数和 $ S_f(\theta) $ の非負性をどのように活用すれば、対称性積分 $ I_f(N,h) $ に対する意味のある下界を導けるか？
• RQ3 制限付き除数関数 $ d_Q $ は、非負の指数和を持つ一般算術関数の対称性を上から抑える際に果たす役割は何か？
• RQ4 すべての $ \theta \in \text{F}_Q $ に対して $ S_f(\theta) \geq 0 $ となるように、非負の平均値 $ f(0) $ を選べるか？ そしてその選択は対称性積分にどのように影響するか？
• RQ5 対称性積分 $ I_f(N,h) $ が $ Qhf(0) $ および $ Qh^2 $ を含む項によって下から抑えられる程度は何か？ また、非自明性の閾値は何か？

主な発見

• 主要関数原理により、すべての $ \theta \in [0,1] $ に対して $ S_f(\theta) \geq 0 $ ならば、$ I_f(N,h) \sim I_{f,d_Q}(N,h) + h^3 + f(0)h^2 + Qhf(0) + Qh^2 $ が成り立つ。
• 追加の制約 $ h^2 \leq Q $ および $ \theta = \frac{\log h}{\log N} < \frac{1}{2} $ の下で、境界は $ I_f(N,h) \sim Nh\sqrt{h} + Qhf(0) + Qh^2 $ に改善され、これは非自明である。
• $ I_{d_Q}(N,h) \sim Nh $ は [C-S] で知られており、コーシー・シュワルツを組み合わせることで $ I_{f,d_Q}(N,h) \sim Nh^{3/2} $ が得られ、$ \theta < 1/2 $ の下で $ h^3 $ を上回る。
• $ \theta \in \text{F}_Q $（$ Q $ 次のファレイ列）に対して $ S_f(\theta) \geq 0 $ であることは、主要関数原理を満たす十分条件であり、$[0,1]$ 全体で非負である必要はないとする。
• $ f(0) = QN^{2\theta} $ と選ぶことで、$ \text{F}_Q $ 上で $ S_f(\theta) \geq 0 $ が保証され、境界 $ I_f(N,h) \sim I_{f,d_Q}(N,h) + Q^2h + Qh^2 $ が得られる。ここで $ Q^2h $ は非自明な余項である。
• 本手法により、$ g = f * \bar{\nu} \geq 0 $ かつ $ g \sim 1 $ となるようにし、古典的な指数和推定を用いて $ \text{Re}(S_f(\theta)) $ を制御できるフレームワークが得られる。