结果族 076：Real ultraflat Littlewood polynomials and unbounded binary merit factors · 学科：Real and complex analysis · 验证状态：暂无形式化证明，请以社区核验为准
掷 @@M@@N@@ 次硬币得到系数全为 @@M@@\pm1@@ 的多项式 @@M@@P(z)@@。理想目标有两个：最大模几乎贴住地板 @@M@@\sqrt N@@（一点不浪费），最小模又不塌到零（整圈不掉线）。此前两类结果各管一头：要么最大模留固定倍数的裕量，要么在部分圆弧上模会消失。这篇论文首次用同一组符号把两件事一起办成。
关键词卡片
@@M@@P(z)=\sum_{k=0}^{N-1}\varepsilon_kz^k@@，其中 @@M@@\varepsilon_k\in\{-1,1\}@@。@@M@@\ge\sqrt N@@；”几乎最优”指 @@M@@\le(1+\eta)\sqrt N@@，@@M@@\eta@@ 可任意小。@@M@@|P|\ge\sqrt N/16@@，常数与 @@M@@\eta@@ 无关。看个具体例子
把定理代入具体数字（公式卡）：
@@M@@DN=10^6,\ \eta=0.01:\qquad \frac{\sqrt N}{16}=62.5\ \le\ \Bigl|\sum_{k=0}^{N-1}\varepsilon_kz^k\Bigr|\ \le\ 1.01\sqrt N=1010,\qquad |z|=1 .@@
上端离地板只差百分之一，下端虽保守但严格为正——”几乎不浪费”与”永不掉线”首次由同一组符号同时实现。
为什么值得关心
它是平坦性问题从”下界可能为零”走向完整超平坦的关键台阶：随后的姊妹篇正是复用本文的引理，把下界从 @@M@@1/16@@ 抬到 @@M@@(1-\varepsilon)\sqrt N@@。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里的”掷硬币拼多项式”落到对象层面：系数为 ±1 的多项式在单位圆上取值，模长随角度变化。Parseval 恒等式给出天花板下的地板——模长平方的圆周平均恰为 N，故最大模至少 √N；两个目标分别是”最大模几乎贴住 √N 不浪费”与”最小模不塌到零”，此前没有一组符号能同时做到。
第二级台阶
本科术语化：长度 N 的 Littlewood 多项式为 P(z)=Σε_k z^k（ε_k∈{−1,1}），‖P‖_∞ 记整圆最大模。历史坐标：Rudin–Shapiro 在二进长度达 √(2N)；Balister 等人（2020）证明模总在 √N 的两个固定正常数倍之间；姊妹篇（OpenAIMinimal）已证最大模可达 (1+o(1))√N，但其构造的领头波在部分圆弧上取值很小甚至消失——上界与正下界此前由不同构造分别实现，”must be achieved by the same choice of signs”。
第三级台阶
| 定理陈述：对每个 η>0 存在 N₀(η)，使每个整数 N≥N₀ 都有符号组让 (1/16)√N ≤ | P(z) | ≤ (1+η)√N 在整圆上成立，包括 z=±1 端点；下界常数 1/16 与上界精度 η 无关。假设端唯一的实质条件是长度充分大（所有辅助维数、频率、区间在 δ 固定后锁定，N→∞ 时不再改动），故不施加整除条件。结论的意义在于搭桥：它是从”下界可能为零”通往完整超平坦的关键台阶——修正波把塌缩弧段垫高而不破坏几乎最优上界，正是后续姊妹篇把 1/16 抬到 (1−ε) 的技术源头。 |
第一级台阶
导读里的”掷硬币拼多项式”落到对象层面：系数为 ±1 的多项式在单位圆上取值，模长随角度变化。Parseval 恒等式给出天花板下的地板——模长平方的圆周平均恰为 N，故最大模至少 √N；两个目标分别是”最大模几乎贴住 √N 不浪费”与”最小模不塌到零”，此前没有一组符号能同时做到。
第二级台阶
本科术语化：长度 N 的 Littlewood 多项式为 P(z)=Σε_k z^k（ε_k∈{−1,1}），‖P‖_∞ 记整圆最大模。历史坐标：Rudin–Shapiro 在二进长度达 √(2N)；Balister 等人（2020）证明模总在 √N 的两个固定正常数倍之间；姊妹篇（OpenAIMinimal）已证最大模可达 (1+o(1))√N，但其构造的领头波在部分圆弧上取值很小甚至消失——上界与正下界此前由不同构造分别实现，”must be achieved by the same choice of signs”。
第三级台阶
| 定理陈述：对每个 η>0 存在 N₀(η)，使每个整数 N≥N₀ 都有符号组让 (1/16)√N ≤ | P(z) | ≤ (1+η)√N 在整圆上成立，包括 z=±1 端点；下界常数 1/16 与上界精度 η 无关。假设端唯一的实质条件是长度充分大（所有辅助维数、频率、区间在 δ 固定后锁定，N→∞ 时不再改动），故不施加整除条件。结论的意义在于搭桥：它是从”下界可能为零”通往完整超平坦的关键台阶——修正波把塌缩弧段垫高而不破坏几乎最优上界，正是后续姊妹篇把 1/16 抬到 (1−ε) 的技术源头。 |
证明了存在系数全为 @@M@@\pm1@@ 的 Littlewood 多项式，在单位圆上每一点的模同时满足下界 @@M@@\frac{1}{16}\sqrt N@@ 与几乎最优的上界 @@M@@(1+\eta)\sqrt N@@——”最大模几乎取到 Parseval 下界”与”最小模有正的下界”这两个性质首次由同一组符号实现，且对一切足够大的长度 @@M@@N@@ 成立。
Littlewood 多项式 @@M@@P(z)=\sum_{k=0}^{N-1}\varepsilon_kz^k@@（@@M@@\varepsilon_k\in\{-1,1\}@@）的平坦性问题是调和分析的经典课题，可追溯至 Erdős 1957 年的问题集与 Littlewood 1966 年的著作。Parseval 恒等式给出 @@M@@\|P\|_\infty\ge\sqrt N@@，因此人们追问：能否让最大模任意接近 @@M@@\sqrt N@@，同时最小模不塌缩到零？此前已知：Rudin–Shapiro 构造给出 @@M@@\sqrt{2N}@@ 的上界；Balister–Bollobás–Morris–Sahasrabudhe–Tiba（2020）证明模总在 @@M@@\sqrt N@@ 的两个固定正常数倍之间；Kahane（1980）用复单位模系数造出超平坦多项式，但实符号情形难得多。姊妹篇已证最大模可达 @@M@@(1+o(1))\sqrt N@@，但其构造的领头项在部分圆弧上取值很小，最小模可能为零——如何在不破坏几乎最优上界的前提下”垫高”这些塌缩区域，正是本文要解决的难关。
定理：对每个 @@M@@\eta>0@@ 存在 @@M@@N_0=N_0(\eta)@@，使得对每个整数 @@M@@N\ge N_0@@ 都有符号 @@M@@\varepsilon_0,\ldots,\varepsilon_{N-1}\in\{-1,1\}@@，使
@@M@@D\frac1{16}\sqrt N\le\Bigl|\sum_{k=0}^{N-1}\varepsilon_kz^k\Bigr|\le(1+\eta)\sqrt N\qquad(|z|=1).@@
下界常数 @@M@@\frac1{16}@@ 与上界精度 @@M@@\eta@@ 无关；结论对同一个多项式在整圆上成立，包括 @@M@@z=\pm1@@ 两个实端点。
证明分五个阶段。先在高维环面 @@M@@\mathbb T^m@@ 上构造实三角多项式 @@M@@F@@：用递推 @@M@@p_j=p_{j-1}+\frac{1-p_{j-1}^2}{2}\cos(2\pi y_j)@@ 得到 @@M@@|p|\le1@@ 且平方平均趋近 1 的多项式，再用二次相位把每个 Fourier 系数摊到频率盒上，最终 @@M@@\|F\|_\infty\le1@@、@@M@@\|F\|_2\ge1-3\delta@@，且每个频率 @@M@@a@@ 的系数与其”宽度”@@M@@w_a=|a\cdot v|@@ 满足 @@M@@|\widehat F(a)|/\sqrt{w_a}\le K_\delta@@，总宽度严格小于 1。接着用带符号区间装填引理（基于 Pippenger–Spencer 超图染色）在圆周上铺出互不相交的短弧。然后按公式 @@M@@Y_{N,k}=\sum_h\chi_h(k/N)F\bigl(k\theta_h+\frac N2v(k/N-x_h^*)^2\bigr)@@ 采样出松弛系数 @@M@@Y_N\in[-1,1]^N@@；Poisson 求和与一致驻相公式表明 @@M@@U_{Y_N}@@ 一致逼近一组不相交的二次波 @@M@@B_N@@，其模 @@M@@B=|B_N|@@ 与 @@M@@N@@ 无关，平方平均 @@M@@\ge1-7\delta@@，而 @@M@@B<\frac18@@ 的”间隙”弧段总长度 @@M@@\le10\delta@@。关键新增步骤是在这些间隙上构造修正项 @@M@@R_N@@：振幅固定为 @@M@@\frac12@@，相位为 @@M@@N@@ 倍固定的分段二次”领头相位”加上仿射微调；在过渡点处让修正波与原有波共享领头相位导数，仿射部分使完整相位值模 1 相等，再用宽度 @@M@@w=N^{-3/4}@@ 的缓升带开启振幅以避免相消，从而 @@M@@|B_N+R_N|@@ 全圆介于 @@M@@\frac18-o(1)@@ 与 @@M@@K_\delta@@ 之间。每个间隙的领头相位导数在中段线性扫过仅分配给它及其镜像的”导数槽” @@M@@D_j\subset(1/4,3/4)@@，槽两两分离保证任一频率的驻相贡献至多来自一个间隙，于是 @@M@@\sqrt N|\widehat R_N(k)|\le D\sqrt\delta@@；导数严格落在 @@M@@(0,1)@@ 内部加上两次分部积分后边界项相消，使允许频率之外的 Fourier 系数总和为 @@M@@O(N^{-1/4})@@。最后把修正后的系数除以 @@M@@S_\delta=1+D\sqrt\delta@@ 拉回 @@M@@[-1,1]^N@@，其相对缺陷 @@M@@q_\delta\to0@@，用基于 Lovett–Meka 部分染色的取整引理舍入为符号，圆周一致误差 @@M@@C\sqrt{q_\delta\log(80/q_\delta)}@@ 随 @@M@@\delta\to0@@ 消失，两界分别收敛到 @@M@@\frac18@@ 与 @@M@@1@@，取 @@M@@\frac1{16}@@ 与 @@M@@1+\eta@@ 即得定理。
本文暂无形式化证明。它是结果族 076 的中间一环：上界部分复用并重写了姊妹篇”渐近极小最大值”的铺开、装填、采样与取整框架（该姊妹篇已有 Lean 形式化），下界修正是全新贡献；更晚的”超平坦”姊妹篇又反过来引用本文的装填与偏差两条引理，把下界从 @@M@@\frac1{16}@@ 推进到 @@M@@(1-\varepsilon)@@。按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。
问 1：既然姊妹篇已证最大模 (1+o(1))√N、Balister 等人已证双边常数界，这篇的增量到底在哪？
（答：引言说得很直白：两个性质”must be achieved by the same choice of signs, so neither of the preceding existence statements supplies the conclusion by itself”。姊妹篇 OpenAIMinimal 的领头项模长在部分弧上消失（最小模可为零），Balister 等人的常数界上端宽松；本文在同一组符号上同时拿下 (1+η)√N 上界与固定正常数下界，新增步骤是间隙修正波 R_N 的构造。）
问 2：证明中最关键、最脆弱的一步？
| （答：修正波的相位设计。要求：过渡点处修正波与原有波共享领头相位导数、仿射微调使完整相位值模 1 相等；每个间隙的领头相位导数在中段线性扫过仅分配给它及其镜像的导数槽 D_j⊂(1/4,3/4)，槽两两分离保证任一频率的驻相贡献至多来自一个间隙（√N | R̂_N(k) | =O(√δ)），导数严格落在 (0,1) 内部加两次分部积分使外部系数总和 o(1)。这套”相位对齐+导数隔离”是全文命门——任何一处相位失配，垫高的坑会重新塌陷或破坏上界。） |
问 3：为什么取整必须放在最后、而且下界要在取整前就造好？
（答：取整引理只保证”相对缺陷 μ(X)/N 小则 U_X 一致变化小”（误差 C/√N+C√(μ/N·log(80N/μ))），它是双向对称的——既能把模抬高也能把模压低。正下界 1/8−o(1) 必须在连续层面（B_N+R_N）先建立，取整只作小扰动；引言明言”The construction must create its positive lower bound before this rounding is applied”。）
问 4：1/16 这个常数是怎么来的，能改进吗？
| （答：是证明的内生余量而非数学障碍：连续层面 | B_N+R_N | 介于 1/8−o(1) 与 K_δ 之间，除以 S_δ=1+D√δ 归一化、再吃掉取整误差后取保守值 1/16（两界分别收敛到 1/8 与 1）。它被选成”与 η 无关的绝对常数”只是为了陈述干净；族内后续姊妹篇已把下界推进到 (1−ε)√N，说明此处常数确实不是本质。） |
问 5：AI 生成证明在此最可能的出错模式？
（答：本篇未经形式化，最危险的是”Poisson 求和+一致驻相”的余项一致性：U_{Y_N}=B_N+o(1) 必须在整圆一致，而 B<1/8 的间隙弧总长 O(δ) 的控制要在修正之前成立。驻相公式的端点余项、缓升带宽度 N^{−3/4} 与边界项相消的配合，都是显式常数密集区，一处符号或量级笔误即可能让某个 O(√δ) 变成 O(1)。外围相对可靠：铺开、装填、采样、取整框架复用自已有 Lean 形式化核心路线的姊妹篇。）
问 6：谁会用这个中间结果？
（答：它在本族内是承重墙——超平坦姊妹篇直接引用其装填与偏差两条引理（Lemmas 3.1、6.2）把下界抬到 (1−ε)√N；族外它给出二进制序列设计的新坐标：模长有正下界意味着多项式在圆上无零点，与通信序列的 merit factor、谱平坦性（ crest factor 控制）问题直接相关。论文未讨论的是常数 1/16 与最优可达常数之间的差距及构造的有效性。）
总评
这是平坦性长征中承上启下的关键一环：首次让”几乎不浪费”与”永不掉线”由同一组符号实现，并为其后的超平坦突破提供了共享引理；最大风险集中在修正波相位簿记与驻相余项的一致性上，未经形式化，需以姊妹篇的已验证框架作旁证。
问 1：既然姊妹篇已证最大模 (1+o(1))√N、Balister 等人已证双边常数界，这篇的增量到底在哪？
（答：引言说得很直白：两个性质”must be achieved by the same choice of signs, so neither of the preceding existence statements supplies the conclusion by itself”。姊妹篇 OpenAIMinimal 的领头项模长在部分弧上消失（最小模可为零），Balister 等人的常数界上端宽松；本文在同一组符号上同时拿下 (1+η)√N 上界与固定正常数下界，新增步骤是间隙修正波 R_N 的构造。）
问 2：证明中最关键、最脆弱的一步？
| （答：修正波的相位设计。要求：过渡点处修正波与原有波共享领头相位导数、仿射微调使完整相位值模 1 相等；每个间隙的领头相位导数在中段线性扫过仅分配给它及其镜像的导数槽 D_j⊂(1/4,3/4)，槽两两分离保证任一频率的驻相贡献至多来自一个间隙（√N | R̂_N(k) | =O(√δ)），导数严格落在 (0,1) 内部加两次分部积分使外部系数总和 o(1)。这套”相位对齐+导数隔离”是全文命门——任何一处相位失配，垫高的坑会重新塌陷或破坏上界。） |
问 3：为什么取整必须放在最后、而且下界要在取整前就造好？
（答：取整引理只保证”相对缺陷 μ(X)/N 小则 U_X 一致变化小”（误差 C/√N+C√(μ/N·log(80N/μ))），它是双向对称的——既能把模抬高也能把模压低。正下界 1/8−o(1) 必须在连续层面（B_N+R_N）先建立，取整只作小扰动；引言明言”The construction must create its positive lower bound before this rounding is applied”。）
问 4：1/16 这个常数是怎么来的，能改进吗？
| （答：是证明的内生余量而非数学障碍：连续层面 | B_N+R_N | 介于 1/8−o(1) 与 K_δ 之间，除以 S_δ=1+D√δ 归一化、再吃掉取整误差后取保守值 1/16（两界分别收敛到 1/8 与 1）。它被选成”与 η 无关的绝对常数”只是为了陈述干净；族内后续姊妹篇已把下界推进到 (1−ε)√N，说明此处常数确实不是本质。） |
问 5：AI 生成证明在此最可能的出错模式？
（答：本篇未经形式化，最危险的是”Poisson 求和+一致驻相”的余项一致性：U_{Y_N}=B_N+o(1) 必须在整圆一致，而 B<1/8 的间隙弧总长 O(δ) 的控制要在修正之前成立。驻相公式的端点余项、缓升带宽度 N^{−3/4} 与边界项相消的配合，都是显式常数密集区，一处符号或量级笔误即可能让某个 O(√δ) 变成 O(1)。外围相对可靠：铺开、装填、采样、取整框架复用自已有 Lean 形式化核心路线的姊妹篇。）
问 6：谁会用这个中间结果？
（答：它在本族内是承重墙——超平坦姊妹篇直接引用其装填与偏差两条引理（Lemmas 3.1、6.2）把下界抬到 (1−ε)√N；族外它给出二进制序列设计的新坐标：模长有正下界意味着多项式在圆上无零点，与通信序列的 merit factor、谱平坦性（ crest factor 控制）问题直接相关。论文未讨论的是常数 1/16 与最优可达常数之间的差距及构造的有效性。）
总评
这是平坦性长征中承上启下的关键一环：首次让”几乎不浪费”与”永不掉线”由同一组符号实现，并为其后的超平坦突破提供了共享引理；最大风险集中在修正波相位簿记与驻相余项的一致性上，未经形式化，需以姊妹篇的已验证框架作旁证。