[论文解读] 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 $-維多圓柱體的 Bohr 半徑 $ K_n $ 的精確漸近行為，證明當 $ n \to \infty $ 時，$ K_n \sim \sqrt{\frac{\log n}{n}} $。此結果透過一種新型的插值方法來處理多項式 Bohnenblust–Hille 不等式，從而得到最佳常數的次指數界，並實現對 Bohr 半徑的精確估計。

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 $-維多圓柱體的 Bohr 半徑 $ K_n $ 的精確漸近行為。
• 改進多項式與多線性 Bohnenblust–Hille 不等式中最佳常數的已知界。
• 發展一種新的插值方法來處理 Bohnenblust–Hille 不等式，以實現常數的次指數增長。
• 確立多項式 Bohnenblust–Hille 不等式具有次指數增長，這對 Bohr 半徑的估計至關重要。
• 彙整已知的 $ K_n $ 下界與上界之間的差距，證明 $ K_n \sim \sqrt{\frac{\log n}{n}} $。

提出的方法

• 提出一種新的基於插值的證明技術，用於多線性與多項式 Bohnenblust–Hille 不等式，並將其推廣至任意 $ 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} $ 的等價性，從而明確界定其有效範圍。
• 運用 Hölder 不等式與多項式係數的組合估計，控制齊次多項式在 $ \ell^{2m/(m+1)} $-範數下的大小。
• 利用 Wiener 引理，以總範數表示多項式齊次部分的 $ L^\infty $-範數。
• 應用 Kahane–Salem–Zygmund 不等式，構造具有受控本質上界範數的極端多項式，進而實現對 $ K_n $ 的上界估計。
• 將齊次次數的求和分為三段：$ m \leq m_0 $、$ m_0 < m \leq \sqrt{n} $、以及 $ m > \sqrt{n} $，並對每一部分使用量身訂做的界進行估計。

实验结果

研究问题

• RQ1 當 $ n \to \infty $ 時，$ n $-維多圓柱體的 Bohr 半徑 $ K_n $ 的精確漸近行為為何？
• RQ2 多項式 Bohnenblust–Hille 不等式中的最佳常數能否以次指數方式界 bounded？
• RQ3 此新型插值方法對 Bohnenblust–Hille 不等式是否能產生比以往方法更精確的估計？
• RQ4 改進後的 Bohnenblust–Hille 常數能否用來推導 $ K_n $ 的匹配下界，從而彙整與已知上界之間的差距？
• RQ5 估計 $ K_n \sim \sqrt{\frac{\log n}{n}} $ 是否精確？能否僅透過插值與範數估計完成證明？

主要发现

• 當 $ n \to \infty $ 時，$ n $-維多圓柱體的 Bohr 半徑 $ K_n $ 滿足 $ K_n \sim \sqrt{\frac{\log n}{n}} $，從而解決了 $ K_n $ 的漸近行為問題。
• 多項式 Bohnenblust–Hille 不等式中最佳常數具有次指數增長，具體為 $ \mathrm{B}^\mathrm{pol}_{\mathbb{C},m} \leq \kappa \cdot m^{\log_2(e^{1/2 - \gamma/2})} $（對某 $ \gamma $ 成立），此結果顯著優於指數界。
• 改進後的 Bohnenblust–Hille 常數導出下界 $ K_n \geq (1 - 2\varepsilon)\sqrt{\frac{\log n}{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}} $。