Inequalities involving polynomials and quasimodular forms

这是一篇关于拟模形式（Quasimodular forms）与多项式不等式的高水平数学论文。作者 Seewoo Lee 通过研究拟模形式在虚轴上的单调性，为解决球堆积（Sphere packing）及万有最优性（Universal optimality）证明中的关键不等式提供了全新的代数框架。

以下是该论文的技术性总结：

1. 研究问题 (Problem)

论文的核心问题是研究形如 $t \mapsto t^m F(it)$ 的函数的单调性，其中 $F$ 是一个拟模形式，$m > 0$，$t > 0$。

背景动机：
在 2016 年 Viazovska 等人证明 $E_8$ 和 Leech 格点最优性的工作中，证明过程依赖于一些复杂的拟模形式不等式。原有的证明方法主要依赖于严密的数值分析（区间算术），缺乏直观的代数解释。作者旨在寻找一种更具**概念性（Conceptual）和代数性（Algebraic）**的方法来证明这些不等式。

2. 研究方法 (Methodology)

作者开发了一套通用的框架，主要通过以下两种路径来证明单调性：

• Lambert 级数法 (Lambert Series Approach)：
  对于低权拟模形式，通过将其展开为 $\sum b_n q^n / (1-q^n)^k$ 的形式。如果系数 $b_n \ge 0$，则单调性问题可以转化为研究简单的实函数 $t \mapsto t^m e^{-t} / (1-e^{-t})^k$ 的单调性。
• 拟模形式不等式法 (Reduction to Inequalities)：
  作者提出了两个充分条件（Proposition 3.7 和 3.16）。特别是，如果一个拟模形式 $F$ 及其导数 $F'$ 都是正的，且满足特定的极限条件和关于二阶导数的特定不等式（该不等式与 Rankin-Cohen 括号密切相关），则可以判定 $t^m F(it)$ 是单调递减的。

3. 核心贡献与结果 (Key Contributions & Results)

A. 建立单调性理论框架

• 证明了拟模形式的单调性与拟模形式的“正性”（在正虚轴上取非负值）之间的深刻联系。
• 通过研究极值拟模形式 (Extremal quasimodular forms) $X_{w,1}$ 的性质，给出了关于其单调性的系统性结论。

B. 构造高层级正拟模形式 (Positive Quasimodular Forms of Level > 1)

• 利用单调性结论，作者构造了无穷多个层级（Level）大于 1 的正拟模形式。
• 重要发现： 这些形式通常是“正的”但不是“完全正的”（即在虚轴上为正，但 Fourier 系数不全为非负）。作者还通过对变量进行平移（如 $z \mapsto z + 1/2$），构造出了层级为 $\Gamma_0(4)$ 的完全正拟模形式。

C. 提供 Leech 格点最优性证明的新代数证明

• 关键突破： 论文为 Leech 格点堆积最优性证明中一个极其困难的不等式（式 3b）提供了全新的代数证明。
• 作者证明了该不等式等价于极值拟模形式 $X_{12,1}$ 在 $m=11$ 时的单调性，并利用其建立的框架完成了证明。
• 此外，还为 Leech 格点万有最优性证明中的另一个关键不等式提供了基于正拟模形式组合的替代证明。

4. 研究意义 (Significance)

1. 理论深化： 该研究将拟模形式的解析性质（单调性）与代数结构（Rankin-Cohen 括号、极值形式）有机结合，填补了数值证明与代数证明之间的空白。
2. 工具化： 作者提供的框架不仅解决了已有的难题，还为未来研究更高维度的堆积问题或更复杂的拟模形式不等式提供了强有力的工具。
3. 猜想启发： 论文提出了关于正拟模形式 Fourier 系数正值密度的猜想（Conjecture 5.2），为拟模形式的系数分布研究开辟了新方向。

总结表