[論文レビュー] Lower bounds in some power sum problems

Johan Andersson|ArXiv.org|Apr 15, 2007

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

ひとこと要約

本稿は、フェージェール核と片側推定を用いて、単位円上の純粋なべき和の最大値に対する改善された下界を確立する。$ j \geq 0 $ に対して、$ \min_{|z_k|=1} \max_{\nu=1,\dots,n^2+j} \left| \sum_{k=1}^n z_k^\nu \right| \geq \sqrt{ \frac{n + (1+j)(n-1)}{2(j + n^2)} } $ が示され、特に $ j \geq 2n^2 $ の場合に顕著に改善される。この手法は調和解析とフェージェール核の非負性を活用し、単位根を持つ指数和のタイトな下界を導出する。

ABSTRACT

We study the power sum problem max_{v=1,...,m} | sum_{k=1}^n z_k^v | and by using features of Fejer kernels we give new lower bounds in the case of unimodular complex numbers z_k and m cn^2 for constants c>1.

研究の動機と目的

• 単位根 $ |z_k| = 1 $ を持つ純粋なべき和 $ \sum_{k=1}^n z_k^\nu $ の最大値に対する既存の下界を改善すること、特に長さ $ n^2 + j $ の区間において。
• フェージェール核技法と片側 $ L^2 $-型不等式を用いて、このような和の最小可能最大値に対するより鋭い推定を確立すること。
• 長さ $ \lfloor \alpha n^2 \rfloor $ の区間におけるべき和の上限の下限の漸近的挙動を分析し、関数 $ \Lambda(\alpha) $ を用いて成長率を特徴付けること。

提案手法

• フェージェール核 $ F_{m+1}(x) = \sum_{\nu=-m}^m \left(1 - \frac{|\nu|}{m+1}\right) e(\nu x) $ を用い、非負で $ L^1 $-ノルムが $ m+1 $ に等しいことを利用して、指数和を制御する。
• 和を $ g(\nu) = g^+(\nu) + g^-(\nu) $ と分解し、正負の部分に分けることで片側推定を適用する。
• 恒等式 $ \sum_{\nu=1}^m \left(1 - \frac{\nu}{m+1}\right) g^+(\nu) \geq \text{expression in } A, B, M $ を用いて、$ \max g^+(\nu) $ の下界を導出する。ここで $ A = \sum b_k $、$ B = \sum b_k^2 $、$ M $ は $ |g(\nu)| $ の上界。
• 純粋なべき和の場合にこの結果を適用するため、$ b_k = 1 $ とおくと $ A = n $、$ B = n^2 - n $ となり、$ j = m - n^2 $ を用いた重要な不等式が得られる。
• $ |g(\nu)|^2 = n + h(\nu) $ という恒等式を用い、$ h(\nu) $ を実数値の指数和（$ i \neq j $）として表し、問題を $ h(\nu) $ の有界性に還元する。
• 場合分けを用い、$ |h(\nu)| \leq B^2 $ かどうかで、$ \max |S(\nu)|^2 $ の下界が二通りの表現を持つことになる。

実験結果

リサーチクエスチョン

• RQ1 $ |z_k| = 1 $ かつ $ j \geq 0 $ のとき、$ \max_{\nu=1}^{n^2+j} \left| \sum_{k=1}^n z_k^\nu \right| $ の最良の可能な下界は何か？
• RQ2 フェージェール核手法による推定は、既知のツァラントニアン型推定と比べてどのように異なるか？
• RQ3 $ \alpha \to \infty $ のとき、$ \max_{\nu=1}^{\lfloor \alpha n^2 \rfloor} \left| \sum z_k^\nu \right| $ に対してより鋭い下界を得られるか？
• RQ4 $ \inf_{|z_k|=1} \max_{\nu=1}^{\lfloor \alpha n^2 \rfloor} |S(\nu)| \geq \Lambda(\alpha) \sqrt{n} $ を満たす関数 $ \Lambda(\alpha) $ の最適な成長率は何か？

主な発見

• $ j \geq 0 $ に対して、本稿は下界 $ \min_{|z_k|=1} \max_{\nu=1}^{n^2+j} \left| \sum z_k^\nu \right| \geq \sqrt{ \frac{n + (1+j)(n-1)}{2(j + n^2)} } $ を証明し、以前の推定を改善する。
• $ m = n^2 + j $ の場合、$ j > 0 $ ではツァラントニアンの $ \sqrt{n} $ よりもタイトな下界が得られ、$ j = 0 $ の場合は $ \geq \sqrt{ \frac{n+1}{2n} - \frac{1}{2n^2} } $ となり、既知の $ \sqrt{n} $ よりわずかに改善される。
• $ j \geq 2n^2 $ のとき、下界は $ \geq \sqrt{ \frac{2 - 2/\alpha - o(1)}{\sqrt{n}} } $ に改善され、以前の式よりもさらに向上する。
• $ \alpha \geq 3 $ のとき、漸近的下界は $ \left( \sqrt{2 - \frac{2}{\alpha}} - o(1) \right) \sqrt{n} $ となり、最適な $ \Lambda(\alpha) $ が $ \lim_{\alpha \to \infty} \Lambda(\alpha) = \sqrt{2} $ を満たすことが示される。
• 本稿は、$ \max_{\nu=1}^{n^2} |S(\nu)| $ の真の漸近的挙動が $ \sim \sqrt{n} $ であることを示し、以前の結果と整合的であるが、$ \alpha > 1 $ の場合、下界と上界はまだ一致していない。
• コロナリー3の下界 $ \sqrt{ \frac{n+1}{2} - \frac{2n-1}{2(n^2+n-1)} } $ は、$ n+1 $ が素数のとき、既知の上界と下界の差を約半分にまで縮小する。