[論文レビュー] On the real polynomial Bohnenblust-Hille inequality

Jamilson R. Campos, P. Jiménez-Rodríguez+3 more|arXiv (Cornell University)|Sep 20, 2012

Advanced Banach Space Theory参考文献 36被引用数 4

ひとこと要約

この論文は、複素数版とは異なり、実多項式ボーハンブルスト＝ヒルの不等式が指数的でないことを確立している。実ボーハンブルスト＝ヒル定数 $ D_{\bbR,m} $ の最適な増加率が $ \limsup_{m \to \infty} D_{\bbR,m}^{1/m} = 2 $ を満たすことを証明し、実ケースでは鋭い指数的増加が生じることを示しており、これは複素数設定における非指数的挙動と対照的である。

ABSTRACT

It was recently proved by Bayart et al. that the complex polynomial Bohnenblust--Hille inequality is subexponential. We show that, for real scalars, this does no longer hold. Moreover, we show that, if $D_{\mathbb{R},m}$ stands for the real Bohnenblust--Hille constant for $m$-homogeneous polynomials, then $\displaystyle\lim\sup_{m}D_{\mathbb{R},m}^{1/m}=2.$

研究の動機と目的

• 実多項式ボーハンブルスト＝ヒルの不等式が、複素数の場合と同様に非指数的増加を示すかどうかを特定すること。
• $ m $-斉次多項式に対する実ボーハンブルスト＝ヒル定数 $ D_{\bbR,m} $ の最適な増加率を特定すること。
• 有限次元空間における実版と複素数版の不等式の挙動を対比すること。
• 実定数が指数的に増加することを確立し、正確な指数的増加率 $ \limsup D_{\bbR,m}^{1/m} = 2 $ を示すこと。

提案手法

• 著者たちは、$ D_{\bbR,m}(n) $ の下界を導くために、変数の数を増加させる実斉次多項式の明示的族を構成する。
• $ D_{\bbR,m} $ と作用素ノルムとの関係を、不等式 $ |P|_{2m/(m+1)} \leq D_{\bbR,m} \|P\| $ を用いて、多項式係数の $ \ell_p $-ノルムに結びつける。
• 重要な構成は、二項係数の推定を用いて $ \ell_\infty $-ノルムの下界が得られる多項式 $ Q_{2^{m+1}}^n $ である。
• 不等式 $ |P|_{2m/(m+1)} \geq |P|_\infty $ を用いて、$ D_{\bbR,m}(n) $ の指数的下界を導出する。
• 有限次元空間では、固定された $ N \geq 2 $ に対して $ \mathcal{P}(^{m}\ell_\infty^N) $ の場合を分析し、$ P_4(x,y) = x^3y - xy^3 $ のような特定の多項式を用いる。
• スターリングの近似を用いて、係数ノルムにおける二項係数の和の増加を漸近的に推定し、指数的増加率を導出する。

実験結果

リサーチクエスチョン

• RQ1 実多項式ボーハンブルスト＝ヒルの不等式は、複素数の場合と同様に非指数的であるか？
• RQ2 実ボーハンブルスト＝ヒル定数 $ D_{\bbR,m} $ の正確な指数的増加率は何か？
• RQ3 有限次元空間における実ボーハンブルスト＝ヒル定数の挙動は、複素数の場合とどのように異なるか？
• RQ4 固定された $ N $ に対して、実定数が $ D_{\bbR,m}(N) \to 1 $（$ m \to \infty $ のとき）となる、つまり収縮的であるかどうか？（複素数の場合と同様に。）
• RQ5 実設定における $ \limsup_{m \to \infty} D_{\bbR,m}^{1/m} $ の鋭い下界は何か？

主な発見

• 実多項式ボーハンブルスト＝ヒルの不等式は非指数的ではなく、指数的増加を示す。
• 実ボーハンブルスト＝ヒル定数の最適な指数的増加率は、正確に $ \limsup_{m \to \infty} D_{\bbR,m}^{1/m} = 2 $ である。
• 固定された $ N \geq 2 $ に対して、有限次元実定数は $ \limsup_{m \to \infty} D_{\bbR,m}(N)^{1/m} \geq \sqrt[8]{27} \approx 1.5098 $ を満たし、収縮的でない挙動を示す。
• 多項式 $ P_4(x,y) = x^3y - xy^3 $ 及びそのべきの構成により、$ D_{\bbR,4n}(2) $ の下界が $ \left(\sqrt[8]{27}\right)^m $ のオーダーで得られる。
• スターリングの近似を用いて、著者たちは漸近的下界 $ D_{\bbR,m}(2) \gtrsim \sqrt[4]{\frac{4}{m\pi}} \left(\sqrt[8]{27}\right)^m $ を導出し、指数的増加を確認した。
• 実ケースは、複素数の場合に $ D_{\bbC,m} $ が非指数的であるのに対し、根本的に異なり、絶対和分可能な作用素の理論における重要な二分岐を示している。