[論文レビュー] The Bohr radius of the $n$-dimensional polydisk is equivalent to $\sqrt{\frac{\log n}{n}}$

Frédéric Bayart, Daniel Pellegrino+1 more|arXiv (Cornell University)|Oct 10, 2013

Advanced Banach Space Theory参考文献 13被引用数 7

ひとこと要約

本稿は、$ n $-次元多面体円板におけるボアール半径 $ K_n $ の正確な漸近的挙動を確立し、$ n \to \infty $ のとき $ K_n \sim \sqrt{\frac{\log n}{n}} $ を証明する。この結果は、多項式ボーデンブルスト＝ヒルエ不等式に対する新しい補間に基づくアプローチによって得られ、最適定数の指数的でない上界を導出し、ボアール半径の鋭い推定値を可能にする。

ABSTRACT

We show that the Bohr radius of the polydisk $\mathbb D^n$ behaves asymptotically as $\sqrt{(\log n)/n}$. Our argument is based on a new interpolative approach to the Bohnenblust--Hille inequalities which allows us to prove that the polynomial Bohnenblust--Hille inequality is subexponential.

研究の動機と目的

• $ n \to \infty $ のとき、$ n $-次元多面体円板におけるボアール半径 $ K_n $ の正確な漸近的挙動を特定すること。
• 多項式および多重線形ボーデンブルスト＝ヒルエ不等式における最適定数の既知の上界を改善すること。
• 最適定数の成長が指数的でないようになるような、ボーデンブルスト＝ヒルエ不等式のための新しい補間的アプローチを開発すること。
• 多項式ボーデンブルスト＝ヒルエ不等式の最適定数が指数的でない成長を示すことを確立し、ボアール半径の推定値に不可欠であることを示すこと。
• 既知の下界と上界の間のギャップを埋め、$ K_n \sim \sqrt{\frac{\log n}{n}} $ を示すこと。

提案手法

• 多項式および多重線形ボーデンブルスト＝ヒルエ不等式に対する新しい補間に基づく証明技法を導入し、任意の $ q_1, \dots, q_m \in [1,2] $ に一般化する。
• 定数 $ \mathrm{B}_{\mathbb{K},q_1,\dots,q_m} $ の存在と条件 $ \sum_{i=1}^m \frac{1}{q_i} \leq \frac{m+1}{2} $ の同値性を確立し、有効範囲を特徴付ける。
• ホルダーの不等式と多項係数に関する組合せ的推定を用いて、同次多項式の $ \ell^{2m/(m+1)} $-ノルムを制御する。
• ウィエナーの補題を用いて、多項式の同次部の $ L^\infty $-ノルムを全ノルムの項で評価する。
• カハネ＝サレム＝ジーグムント不等式を用いて、上界を導くために制御可能な $ L^\infty $-ノルムを持つ極値多項式を構成する。
• 同次次数の和を三つの範囲に分割する：$ m \leq m_0 $、$ m_0 < m \leq \sqrt{n} $、および $ m > \sqrt{n} $ とし、それぞれに特化した上界を評価する。

実験結果

リサーチクエスチョン

• RQ1 $ n \to \infty $ のとき、$ n $-次元多面体円板におけるボアール半径 $ K_n $ の正確な漸近的挙動は何か？
• RQ2 多項式ボーデンブルスト＝ヒルエ不等式における最適定数は、指数的でない成長で抑えられるか？
• RQ3 ボーデンブルスト＝ヒルエ不等式に対する新しい補間的アプローチは、従来の手法よりも鋭い推定値をもたらすか？
• RQ4 改善されたボーデンブルスト＝ヒルエ定数を用いて、$ K_n $ の下界を導出し、既知の上界とのギャップを埋められるか？
• RQ5 推定値 $ K_n \sim \sqrt{\frac{\log n}{n}} $ は鋭く、補間とノルム推定のみを用いて証明可能か？

主な発見

• $ n $-次元多面体円板のボアール半径 $ K_n $ は、$ n \to \infty $ のとき $ K_n \sim \sqrt{\frac{\log n}{n}} $ を満たし、$ K_n $ の漸近的挙動が解明された。
• 多項式ボーデンブルスト＝ヒルエ不等式の最適定数は、指数的でない成長を示し、具体的には $ \mathrm{B}^\mathrm{pol}_{\mathbb{C},m} \leq \kappa \cdot m^{\log_2(e^{1/2 - \gamma/2})} $（ある $ \gamma $ に対して）となる。これは指数的上界に対する顕著な改善である。
• 改善されたボーデンブルスト＝ヒルエ定数により、十分大きな $ n $ に対して $ K_n \geq (1 - 2\varepsilon)\sqrt{\frac{\log n}{n}} $（任意の $ \varepsilon > 0 $）が得られ、$ \liminf_{n \to \infty} K_n \sqrt{\frac{n}{\log n}} \geq 1 $ を示す。
• 上界 $ K_n \leq \kappa^{1/m} (\sqrt{m \log m})^{1/m} \frac{1}{\sqrt{n}} n^{1/2m} (m!)^{1/2} $ は $ m = \log n $ で最適化され、$ K_n \lesssim \sqrt{\frac{\log n}{n}} $ を得る。これは下界と一致する。
• 下界の証明は、同次次数の和を分割し、二項係数と $ m $ における指数的減衰に関する推定を用いることで完了する。$ n \to \infty $ のとき、尾部の和が消えることが示される。
• この結果により、既知の最良の上界 $ K_n \leq 2\sqrt{\frac{\log n}{n}} $ が定数の意味で鋭く、正確な漸近的挙動は $ \sqrt{\frac{\log n}{n}} $ であることが確認された。