[论文解读] Littlewood Polynomials with Small $L^4$ Norm

Jonathan Jedwab, Daniel J. Katz+1 more|arXiv (Cornell University)|May 1, 2012

Analytic Number Theory Research参考文献 26被引用 8

一句话总结

该论文通过构造一类源自广义Fekete多项式的新序列，推翻了关于Littlewood多项式（系数为±1）的渐近比值 $||f||_4/||f||_2$ 无法小于 $\sqrt[4]{7/6}$ 的长期猜想，证明该比值可趋近于 $\sqrt[4]{c}$，其中 $c < 22/19$ 是三次方程 $27x^3 - 498x^2 + 1164x - 722$ 的最小根。该结果在调和分析与序列设计领域建立了新的 $L^4$ 范数比值下界，挑战了以往的假设。

ABSTRACT

Littlewood asked how small the ratio $||f||_4/||f||_2$ (where $||.||_α$ denotes the $L^α$ norm on the unit circle) can be for polynomials $f$ having all coefficients in $\{1,-1\}$, as the degree tends to infinity. Since 1988, the least known asymptotic value of this ratio has been $\sqrt[4]{7/6}$, which was conjectured to be minimum. We disprove this conjecture by showing that there is a sequence of such polynomials, derived from the Fekete polynomials, for which the limit of this ratio is less than $\sqrt[4]{22/19}$.

研究动机与目标

• 挑战长期以来认为当次数趋于无穷时，$||f||_4/||f||_2$ 的下确界为 $\sqrt[4]{7/6}$ 的猜想。
• 研究是否可通过基于Fekete多项式的多项式将 $L^4$ 范数比值降低至 $\sqrt[4]{7/6}$ 以下。
• 研究在各种参数条件下，广义Fekete多项式的 $L^4$ 范数的渐近行为。
• 建立新的理论下界以改进此前已知的 $\sqrt[4]{7/6}$ 值。

提出的方法

• 作者通过循环移位和截断或周期性扩展经典Fekete多项式 $\sum_{j=0}^{p-1} \left(\frac{j}{p}\right) z^j$ 的系数，定义广义Fekete多项式 $f_p^{(r,t)}(z)$，其中 $\left(\frac{\cdot}{p}\right)$ 为勒让德符号。
• 采用基于傅里叶的方法计算 $L^4$ 范数，利用勒让德符号的乘法特征结构，将 $||f||_4^4$ 表示为自相关类项的和。
• 在 $p \to \infty$ 的极限下分析 $||f||_4^4 / ||f||_2^4$ 的渐近行为，令参数 $r/p \to R$ 与 $t/p \to T$，将比值视为极限参数的函数 $u(R,T)$。
• 通过分段有理表达式，在参数空间 $[0,1/2] \times [1/2, 3/1/2]$ 的紧致区域 $D_k$ 上最小化函数 $u(R,T)$，并利用对称性与周期性减少搜索空间。
• 发现 $u(R,T)$ 的最小值为三次方程 $27x^3 - 498x^2 + 1164x - 722$ 的最小根 $c$，且 $c < 22/19$，该最小值在特定点对 $(R_0, T_0)$ 处取得。
• 关键的技术引理通过系数的周期性，给出了 $||f||_4^4$ 的下界：对于周期为 $m$ 的系数，有 $||f||_4^4 \geq \sum_{n \in \mathbb{Z}} \max(0, t - |n|m)^2$。

实验结果

研究问题

• RQ1 Littlewood多项式的渐近比值 $||f||_4/||f||_2$ 是否可能小于 $\sqrt[4]{7/6}$？
• RQ2 当次数趋于无穷时，所有Littlewood多项式序列的 $||f||_4/||f||_2$ 的下确界是多少？
• RQ3 所猜想的最小比值 $\sqrt[4]{7/6}$ 是否可实现？或可通过基于Fekete的构造进一步改进？
• RQ4 广义Fekete多项式在何种参数配置 $(r,t)$ 下，可在渐近极限中实现最小的 $L^4$ 范数比值？
• RQ5 基于Fekete多项式构造的Littlewood多项式的 $L^4$ 范数是否具有小于此前已知值的渐近下界？

主要发现

• 由广义Fekete多项式导出的一类Littlewood多项式，其渐近比值 $||f||_4/||f||_2$ 趋近于 $\sqrt[4]{c}$，其中 $c$ 为三次方程 $27x^3 - 498x^2 + 1164x - 722$ 的最小根，且 $c < 22/19$。
• 该值 $\sqrt[4]{c}$ 严格小于 $\sqrt[4]{7/6}$，从而推翻了 $\sqrt[4]{7/6}$ 是该比值下确界的猜想。
• $||f||_4^4 / ||f||_2^4$ 的最小值在 $t/p \to T_0$（即方程 $4x^3 - 30x + 27$ 的中间根）且 $r/p \to R_0 = \frac{1}{4}(3 - 2T_0)$ 时取得（模整数平移）。
• 渐近比值远离 1，意味着 $||f||_\infty / ||f||_2$ 同样远离 1，支持了Littlewood多项式版本的Erdős猜想的修正形式。
• 当 $t/p \to \infty$ 时，比值 $||f||_4 / ||f||_2$ 发散至无穷大，表明长周期扩展无法产生小的 $L^4$ 范数。
• 为具有周期系数的多项式建立了 $||f||_4^4$ 的下界：$||f||_4^4 \geq \sum_{n \in \mathbb{Z}} \max(0, t - |n|m)^2$，该下界被用于证明主要的渐近结果。