结果族 076：Real ultraflat Littlewood polynomials and unbounded binary merit factors · 学科：Real and complex analysis · 验证状态：主结果已 Lean 形式化
系数全为 @@M@@\pm1@@ 的多项式，在单位圆上的模长最高能压到多低？Parseval 恒等式定下地板 @@M@@\sqrt N@@；这篇论文证明地板真的摸得到——所有符号选择中最大模的最小值就是 @@M@@(1+o(1))\sqrt N@@，而且沿一切整数长度成立，不只在 2 的幂次。顺带，它宣告了雷达与通信序列理论里的 Turyn 猜想是错的。
关键词卡片
@@M@@N@@ 的全部 @@M@@\pm1@@ 多项式中，最大模的最小值除以 @@M@@\sqrt N@@，记作 @@M@@m_N@@；本文证 @@M@@m_N\to1@@。@@M@@\sqrt N@@，故 @@M@@m_N\ge1@@，1 是不可逾越的地板。@@M@@C_u@@，衡量序列的”自干扰”。@@M@@F=N^2/(2\sum_uC_u^2)@@，越大越好；Turyn 猜它有界，本文证 @@M@@\mathcal F_N\to\infty@@。看个具体例子
把 @@M@@m_N@@ 的宿命画成图：经典构造 Rudin–Shapiro 停在 @@M@@\sqrt2\approx1.414@@（且只对二进长度），本文把曲线一路压到 1。
数字版定理：任意给定 @@M@@\eta>0@@（例如 @@M@@0.001@@），一切足够大的 @@M@@N@@ 都有符号使 @@M@@\max_{|z|=1}|P(z)|\le1.001\sqrt N@@；且长度 @@M@@N@@ 的二元字优值因子最终可超过任何预定数（比如 @@M@@10^6@@）。
为什么值得关心
一石二鸟：推翻 Erdős 固定相对间隙猜想的实符号版本，同时推翻 Turyn 猜想；它还是本结果族中唯一已被 Lean 形式化的一篇。
已 Lean 形式化
第一级台阶
导读里的”摸地板”用对象语言说：系数全为 ±1 的多项式在单位圆上取值，最大模衡量整圈最坏点的响应强度；对每个长度，在全部符号选择中取最坏响应的最小值，再除以 √N 归一化，得到一条随长度变化的曲线 m_N。Parseval 恒等式（正交性使模长平方平均恰为 N）保证 m_N≥1，问题就是这条曲线能否真的贴着地板 1 走到无穷。
第二级台阶
本科术语化：m_N 是 ±1 多项式类上归一化最大模的最小值；Erdős 1957 年的固定相对间隙问题问 m_N 是否最终 ≥1+c（绝对常数 c>0）。已知坐标：Shapiro–Rudin 构造在二进长度给 √(2N)；Balister 等人 2020 年的双边平坦只控制数量级；Kahane 用复单位模系数已否定复版间隙问题，但实符号只有二选一的自由度，长期悬置。Erdélyi 的下界 ‖P‖_∞²≥N+(N−1)^{1/3}/38 只加性增长，与 m_N→1 相容。
第三级台阶
| 定理陈述：实系数情形 lim_{N→∞} m_N=1，且极限沿全部整数长度而非子列取得——这正是难点，需要所有辅助维数、素数、块与光滑截断在 N→∞ 之前固定。定理只给上界：不断言 | P | 有正下界、不给收敛速度或有效算法（证明是存在性的）。推论经恒等式 ‖P_A‖_4⁴=N²+2ΣC_u² 把最大模压到 √N（等价于 L⁴ 范数贴住 L²）转译为二元字 merit factor 的无界性，推翻 Turyn 猜想；再经 Downarowicz–Lacroix 定理产出简单谱二进 Morse 移位的存在性。 |
第一级台阶
导读里的”摸地板”用对象语言说：系数全为 ±1 的多项式在单位圆上取值，最大模衡量整圈最坏点的响应强度；对每个长度，在全部符号选择中取最坏响应的最小值，再除以 √N 归一化，得到一条随长度变化的曲线 m_N。Parseval 恒等式（正交性使模长平方平均恰为 N）保证 m_N≥1，问题就是这条曲线能否真的贴着地板 1 走到无穷。
第二级台阶
本科术语化：m_N 是 ±1 多项式类上归一化最大模的最小值；Erdős 1957 年的固定相对间隙问题问 m_N 是否最终 ≥1+c（绝对常数 c>0）。已知坐标：Shapiro–Rudin 构造在二进长度给 √(2N)；Balister 等人 2020 年的双边平坦只控制数量级；Kahane 用复单位模系数已否定复版间隙问题，但实符号只有二选一的自由度，长期悬置。Erdélyi 的下界 ‖P‖_∞²≥N+(N−1)^{1/3}/38 只加性增长，与 m_N→1 相容。
第三级台阶
| 定理陈述：实系数情形 lim_{N→∞} m_N=1，且极限沿全部整数长度而非子列取得——这正是难点，需要所有辅助维数、素数、块与光滑截断在 N→∞ 之前固定。定理只给上界：不断言 | P | 有正下界、不给收敛速度或有效算法（证明是存在性的）。推论经恒等式 ‖P_A‖_4⁴=N²+2ΣC_u² 把最大模压到 √N（等价于 L⁴ 范数贴住 L²）转译为二元字 merit factor 的无界性，推翻 Turyn 猜想；再经 Downarowicz–Lacroix 定理产出简单谱二进 Morse 移位的存在性。 |
证明了长度为 @@M@@N@@、系数全为 @@M@@\pm1@@ 的实 Littlewood 多项式在单位圆上的最大模最小值是 @@M@@(1+o(1))\sqrt N@@，恰好取到 Parseval 下界的渐近值，推翻了 Erdős 固定相对间隙猜想的实符号版本；由此二元字的最大 merit factor（优值因子）随长度趋于无穷，推翻了 Turyn 猜想。
对 Littlewood 多项式 @@M@@P(z)=\sum_{k=0}^{N-1}\varepsilon_kz^k@@（@@M@@\varepsilon_k\in\{-1,1\}@@），Parseval 恒等式给出归一化最大模 @@M@@m_N\ge1@@。Erdős 1957 年问题集中的固定间隙问题问：@@M@@m_N@@ 是否最终被 @@M@@1+c@@（@@M@@c>0@@ 为绝对常数）一致压在上方？复单位模系数情形已被 Kahane（1980）的超平坦构造否定，但实符号限制下问题长期悬置：Shapiro–Rudin 构造只给出 @@M@@\sqrt{2N}@@（二进长度），Balister 等人 2020 年的双侧平坦结果也只控制数量级而不让常数趋于 1。本文证得 @@M@@\lim_{N\to\infty}m_N=1@@，且极限穿越所有整数长度而非子序列，这正是难点所在。注意与 Erdélyi 的下界 @@M@@\|P\|_\infty^2\ge N+(N-1)^{1/3}/38@@ 相容——加性间隙仍可增长，只是相对量趋于零。
定理：@@M@@\lim_{N\to\infty}m_N=1@@。等价地，对每个 @@M@@\eta>0@@ 存在 @@M@@N_0@@，使每个 @@M@@N\ge N_0@@ 都有符号使 @@M@@\max_{|z|=1}|\sum_{k=0}^{N-1}\varepsilon_kz^k|\le(1+\eta)\sqrt N@@。定理只给上界，不断言 @@M@@|P(z)|@@ 有正下界，也不给出收敛速度或有效算法。推论一（merit factor）：二元字 @@M@@A@@ 的优值因子 @@M@@F(A)=N^2/(2\sum_{u}C_u(A)^2)@@（@@M@@C_u@@ 为非周期自相关）的最大值 @@M@@\mathcal F_N\to\infty@@，即 Turyn 猜想（等价于 Erdős 的 @@M@@L^4@@ 范数猜想）不成立，且对所有整数长度成立。推论二（符号动力系统）：借助 Downarowicz–Lacroix 的构造，存在唯一遍历、具有简单谱（simple spectrum）的二进 Morse 移位，其零坐标谱测度绝对连续且密度属 @@M@@L^2(\mathbb T)@@。另有：归一化模在每个固定的 @@M@@L^p(0<p<\infty)@@ 范数中趋于 1。
证明采用”松弛—取整”两步框架。先允许系数 @@M@@X_{N,k}\in[-1,1]@@，把与符号的偏差集中为缺陷 @@M@@\mu(X)=\frac12\sum(1-|X_k|)@@；核心逼近命题造出能量 @@M@@\frac1N\sum X_k^2\ge1-7\delta@@、Fourier 最大模 @@M@@\le K_\delta\sqrt N@@（@@M@@K_\delta=\sqrt{(1+\delta)^3/(1-\delta)}@@）的松弛向量，于是 @@M@@\mu/N\le4\delta@@；缺陷敏感的取整引理随后把它换成真符号，圆周误差仅 @@M@@C\sqrt{\mu\log(80N/\mu)}@@，最终 @@M@@m_N\le K_\delta+2C\sqrt{\delta\log(20/\delta)}@@，令 @@M@@\delta\downarrow0@@ 即得 1。松弛系数的构造分三步。先在高维环面上递推 @@M@@p_j=p_{j-1}+\frac{1-p_{j-1}^2}{2}\cos(2\pi y_j)@@ 造出 @@M@@|p|\le1@@、平方平均趋近 1 的实三角多项式，再用二次相位把各 Fourier 系数摊到频率盒上，使每个频率 @@M@@a@@ 分得宽度 @@M@@w_a=|a\cdot v|@@、系数约 @@M@@\sqrt{w_a}@@ 大小，且总宽度严格小于 1。接着是组合心脏：带符号区间装填引理——要在圆周上为 @@M@@2rH@@ 个驻相区间安排两两不交的位置，作者在有限域 @@M@@\mathbb F_q@@ 上随机构造 @@M@@r@@ 均匀超图（顶点是半圆内随机开槽、随机定向的中心，边是线性方程组 @@M@@a_i\cdot y=s_i@@ 可解的相容元组），验证它几乎正则且余度很小，再用 Pippenger–Spencer 边染色定理取出大匹配，其生成向量给出装填中心。最后沿二次相位采样 @@M@@F@@：每个角度至多一个驻相贡献幸存，大小 @@M@@|c_a|/\sqrt{|\lambda_a|}@@，Poisson 求和与一致驻相公式保证逼近对所有角度一致，正交性回收近乎全部能量。所有维数、素数、块与光滑截断都在 @@M@@N\to\infty@@ 之前固定，这正是”所有长度”成立的原因。merit factor 推论由 @@M@@\|P_A\|_4^4=N^2+2\sum C_u^2@@ 与 @@M@@m_N\to1@@ 直接推出。
本篇是结果族 076 中唯一主结果已有 Lean 形式化的（见合集 lean/docs/076.md 指向的 AsymptoticallyMinimalLittlewood.lean），可信度最高；两篇姊妹篇复用其铺开、装填、采样与取整框架，分别补上正下界 @@M@@\frac1{16}\sqrt N@@ 与完整超平坦 @@M@@(1\pm\varepsilon)\sqrt N@@。文中附录还逐条检查了 el Abdalaoui 非平坦性预印本的具体问题。按 OpenAI 官方声明，未经形式化的结果可能有问题；本篇主定理已形式化，推论的符号动力系统部分建议以社区核验为准。
问 1：与 Kahane 的复系数超平坦相比，实符号难在哪，本文的新意是什么？
（答：复单位模系数自带连续相位自由度，Kahane/Bombieri–Bourgain 的”有界到单模修正”（Körner 方法）可直接用；实符号只有 ±1 二选一，任何连续构造最后必须过”取整到符号”这道墙，而朴素取整会破坏上界。本文的解法是松弛—取整框架：先造 [−1,1] 系数使其能量接近满、Fourier 最大模 ≤K_δ√N，把与符号的偏差集中为缺陷 μ(X)，再用缺陷敏感的取整引理把误差压到 C√(μ log(80N/μ))。这是实情形的第一条完整通路，且极限穿越全部整数长度。）
问 2：证明中最关键、最脆弱的一步？
（答：组合心脏——带符号区间装填引理。要在圆周上为 2rH 个驻相区间安排两两不交的位置，而整数频率向量之间可能有线性关系；作者在有限域 F_q 上随机构造 r-均匀超图（顶点为半圆内随机开槽的中心，边为线性方程组 a_i·y=s_i 的相容元组），验证几乎正则且余度小，再用 Pippenger–Spencer 边染色取大匹配。超图的”几乎正则”验证是全文概率最密集处，若匹配覆盖率不足，后续采样的区间交叠会毁掉”每角度至多一个驻相贡献幸存”的关键性质。）
问 3：定理为什么不断言正下界，这算不算缺陷？
| （答：内容上暂缺而非刻意回避：引言明言”它未给出 | P(z) | 的一致下界，因此未断言双边一致超平坦”。同一构造的领头波在部分弧上取值小甚至消失，正下界需要修正波机制——这正是两篇后续姊妹篇分别补 1/16 下界与 (1±ε) 超平坦的原因。单边极小最大值本身已是 Erdős 问题的完整回答。） |
问 4：Turyn 猜想为什么被这个上界杀死？
（答：恒等式 ‖P_A‖_4⁴=N²+2ΣC_u² 把非周期自相关平方和与 L⁴ 范数挂钩：merit factor F(A)=N²/(2ΣC_u²) 大等价于 ‖P_A‖_4 贴住 L² 尺度。m_N→1 使最大模（从而 L⁴ 范数）压到 (1+η)√N，故长度 N 的最大 merit factor 趋于无穷，且沿全部整数长度——比此前 Jedwab–Katz–Schmidt 造出的极限值 6.34… 强得多。Turyn/Erdős L⁴ 猜想的界定性为假。）
问 5：AI 生成证明在此最可能的出错模式？它与 el Abdalaoui 的冲突怎么处理？
（答：最危险的是一致驻相+Poisson 求和的余项一致性与有限域超图的参数咬合（q、r、H 随 δ 固定的链条）；本篇主定理已 Lean 形式化（族内唯一），大幅对冲了这一风险。对冲突，论文不回避：第 8 节证明有限 L⁴ 平坦性推论，附录 A 逐条检查 el Abdalaoui 非平坦性预印本的具体问题——矛盾被正面处理而非忽略，但符号动力系统推论（Downarowicz–Lacroix 转移部分）仍建议以社区核验为准。）
问 6：下游谁受益、还缺什么？
（答：雷达/通信序列理论直接受冲击——merit factor 无界意味着二元序列的自干扰可任意低，此前工程界默认 Turyn 猜想为真；遍历论侧得到简单谱 Morse 移位的新存在性。缺口也明确：证明纯存在性，无收敛速度、无有效签名算法；Georgiev–Gómez-Serrano–Tao–Wagner 用 AlphaEvolve 搜到次数 100 的数值最优只到实验层面，渐近有效构造仍是开放方向。）
总评
一击推翻 Erdős 固定间隙（实符号版）与 Turyn 两大猜想，且是族内唯一主定理经 Lean 形式化的一篇，可信度与分量俱高；剩余风险集中在未经形式化的 merit–Morse 推论与构造的非有效性，引用时宜区分主定理与推论。
问 1：与 Kahane 的复系数超平坦相比，实符号难在哪，本文的新意是什么？
（答：复单位模系数自带连续相位自由度，Kahane/Bombieri–Bourgain 的”有界到单模修正”（Körner 方法）可直接用；实符号只有 ±1 二选一，任何连续构造最后必须过”取整到符号”这道墙，而朴素取整会破坏上界。本文的解法是松弛—取整框架：先造 [−1,1] 系数使其能量接近满、Fourier 最大模 ≤K_δ√N，把与符号的偏差集中为缺陷 μ(X)，再用缺陷敏感的取整引理把误差压到 C√(μ log(80N/μ))。这是实情形的第一条完整通路，且极限穿越全部整数长度。）
问 2：证明中最关键、最脆弱的一步？
（答：组合心脏——带符号区间装填引理。要在圆周上为 2rH 个驻相区间安排两两不交的位置，而整数频率向量之间可能有线性关系；作者在有限域 F_q 上随机构造 r-均匀超图（顶点为半圆内随机开槽的中心，边为线性方程组 a_i·y=s_i 的相容元组），验证几乎正则且余度小，再用 Pippenger–Spencer 边染色取大匹配。超图的”几乎正则”验证是全文概率最密集处，若匹配覆盖率不足，后续采样的区间交叠会毁掉”每角度至多一个驻相贡献幸存”的关键性质。）
问 3：定理为什么不断言正下界，这算不算缺陷？
| （答：内容上暂缺而非刻意回避：引言明言”它未给出 | P(z) | 的一致下界，因此未断言双边一致超平坦”。同一构造的领头波在部分弧上取值小甚至消失，正下界需要修正波机制——这正是两篇后续姊妹篇分别补 1/16 下界与 (1±ε) 超平坦的原因。单边极小最大值本身已是 Erdős 问题的完整回答。） |
问 4：Turyn 猜想为什么被这个上界杀死？
（答：恒等式 ‖P_A‖_4⁴=N²+2ΣC_u² 把非周期自相关平方和与 L⁴ 范数挂钩：merit factor F(A)=N²/(2ΣC_u²) 大等价于 ‖P_A‖_4 贴住 L² 尺度。m_N→1 使最大模（从而 L⁴ 范数）压到 (1+η)√N，故长度 N 的最大 merit factor 趋于无穷，且沿全部整数长度——比此前 Jedwab–Katz–Schmidt 造出的极限值 6.34… 强得多。Turyn/Erdős L⁴ 猜想的界定性为假。）
问 5：AI 生成证明在此最可能的出错模式？它与 el Abdalaoui 的冲突怎么处理？
（答：最危险的是一致驻相+Poisson 求和的余项一致性与有限域超图的参数咬合（q、r、H 随 δ 固定的链条）；本篇主定理已 Lean 形式化（族内唯一），大幅对冲了这一风险。对冲突，论文不回避：第 8 节证明有限 L⁴ 平坦性推论，附录 A 逐条检查 el Abdalaoui 非平坦性预印本的具体问题——矛盾被正面处理而非忽略，但符号动力系统推论（Downarowicz–Lacroix 转移部分）仍建议以社区核验为准。）
问 6：下游谁受益、还缺什么？
（答：雷达/通信序列理论直接受冲击——merit factor 无界意味着二元序列的自干扰可任意低，此前工程界默认 Turyn 猜想为真；遍历论侧得到简单谱 Morse 移位的新存在性。缺口也明确：证明纯存在性，无收敛速度、无有效签名算法；Georgiev–Gómez-Serrano–Tao–Wagner 用 AlphaEvolve 搜到次数 100 的数值最优只到实验层面，渐近有效构造仍是开放方向。）
总评
一击推翻 Erdős 固定间隙（实符号版）与 Turyn 两大猜想，且是族内唯一主定理经 Lean 形式化的一篇，可信度与分量俱高；剩余风险集中在未经形式化的 merit–Morse 推论与构造的非有效性，引用时宜区分主定理与推论。