AI 中文总结
该论文提出一种证明方案，将布尔立方体上傅里叶度至多 $m$ 的复值函数的 Bohnenblust--Hille 界改进为 $m^{2.943}$，通过分层估计和自举方法实现，显著优于先前 $m^9$ 的估计。
AI 中文摘要
设 $q_m=2m/(m+1)$，并令 \\[ \beta_0=\frac{3}{2}+\frac{1}{\log 2}=2.9426950408\ldots, \\] 其中 $\log$ 为自然对数。我们给出一个证明方案，表明对任意 $\varepsilon>0$，存在 $C_\varepsilon<\infty$，使得每个傅里叶度数至多为 $m$ 的复值函数 $f:\{-1,1\}^n\to\C$ 满足 \\[ \left(\sum_{A\subseteq[n]}\abs{\wh f(A)}^{q_m}\right)^{1/q_m} \le C_\varepsilon m^{\beta_0+\varepsilon}\norm{f}_\infty. \\] 相比早期草稿中 $m^9$ 的估计，这一改进包含两个要素。前三个傅里叶层级分别在尺度 $m$、$m^{3/2}$ 和 $m^{5/3}$ 上估计。这些损失被编码在权重 $M^{\mu_r/r}r^B\min\{r,L_M\}^8$ 中，其中 $L_M\asymp_B \log (M+1)$，且对 $r\ge2$ 有 $\mu_r=\lceil3r/2\rceil$。一个奇偶兼容的中心窗口处理 $r<L_M$ 的情况，而一个收缩的平衡窗口处理 $r\ge L_M\asymp_B\log(M+1)$ 的情况，在此区域不使用奇偶性。主要的高阶损失-增益因子为 $\ee\\,2^{-B}$；仔细的一致界对每个 $B>1/\log2$ 完成了自举。$\mu_r$ 的公式在下面解释。
英文摘要
Let $q_m=2m/(m+1)$ and put \[ β_0=\frac{3}{2}+\frac{1}{\log 2}=2.9426950408\ldots, \] where $\log$ is the natural logarithm. We give a proof scheme showing that, for every $\varepsilon>0$, there is $C_\varepsilon<\infty$ such that every complex-valued function $f:\{-1,1\}^n\to\C$ of Fourier degree at most $m$ satisfies \[ \left(\sum_{A\subseteq[n]}\abs{\wh f(A)}^{q_m}\right)^{1/q_m} \le C_\varepsilon m^{β_0+\varepsilon}\norm{f}_\infty. \] The improvement over the $m^9$ estimate of the earlier draft has two ingredients. The first three Fourier levels are estimated at the scales $m$, $m^{3/2}$, and $m^{5/3}$. These losses are encoded in the weight $M^{μ_r/r}r^B\min\{r,L_M\}^8$, $L_M\asymp_B \log (M+1)$, with $μ_r=\lceil3r/2\rceil$ for $r\ge2$. A parity-compatible central window handles $r<L_M$, while a shrinking balanced window handles $r\ge L_M\asymp_B\log(M+1)$, no parity is used in this regime. The leading high-degree loss--gain factor is $\ee\,2^{-B}$; careful uniform bounds close the bootstrap for every $B>1/\log2$. The formula for $μ_r$ is explained below.
Comments31 pages
