结果族 076：Real ultraflat Littlewood polynomials and unbounded binary merit factors · 学科：Real and complex analysis · 验证状态：暂无形式化证明，请以社区核验为准
掷 @@M@@N@@ 次硬币：正面记 @@M@@+1@@，反面记 @@M@@-1@@，拼成多项式 @@M@@P(z)=\pm1\pm z\pm\cdots\pm z^{N-1}@@。让 @@M@@z@@ 沿单位圆转一圈，@@M@@|P|@@ 的图像通常像心电图一样大起大落。这篇论文证明：硬币可以”掷得足够聪明”，让整条曲线几乎变成水平线——上下误差不超过百分之几，而且只要长度够大，每个整数长度都做得到。
关键词卡片
@@M@@\pm1@@ 的多项式。@@M@@|z|=1@@ 的圆周，多项式对所有”角度”的响应都在这里看。@@M@@\sqrt N@@，故最大模不可能低于 @@M@@\sqrt N@@——天然地板。@@M@@|P(z)|/\sqrt N@@ 在整圆上一致趋于 1，上下同时贴住 1。看个具体例子
数字版定理（示意）：@@M@@N=10^6@@、@@M@@\varepsilon=0.01@@ 时，@@M@@\sqrt N=1000@@，存在一组符号使 @@M@@990\le|P(z)|\le1010@@ 对一切 @@M@@|z|=1@@ 成立——连 @@M@@z=\pm1@@ 两个”实端点”也不例外。
为什么值得关心
Erdős 1957 年提出、Littlewood 1966 年讨论的老问题得到肯定回答：仅用实符号也能造出超平坦多项式，且长度无需满足任何整除条件。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里”掷硬币拼多项式”再说清楚一点：对象是一个以 ±1 为系数的多项式，操作是让它沿单位圆取值并观察模长随角度的起伏。Parseval 恒等式给出天然地板——模长的平方平均恰为长度 N，所以模长以 √N 为自然尺度；问题是能否选出一组符号，使整条”模长—角度”曲线几乎水平地贴住 √N，上不下偏都控制在百分之几以内。
第二级台阶
| 精确化：长度 N 的实 Littlewood 多项式为 P(z)=Σ ε_k z^k（ε_k∈{−1,1}）；若一族多项式的归一化模 | P(z) | /√N 在 | z | =1 上一致趋于 1，则称其超平坦（ultraflat）。此前坐标：Rudin–Shapiro 在二进长度给最大模 ≤√(2N)；Balister 等人（2020）在所有次数给双边常数因子界；Kahane（1980）对复单位模系数造出超平坦——但限制到实符号时，姊妹篇此前只做到下界 (1/16)√N。 |
第三级台阶
| 定理陈述：对每个 ε∈(0,1) 存在 N₀，使每个整数 N≥N₀ 都有符号组让 (1−ε)√N≤ | P(z) | ≤(1+ε)√N 对整圆一致成立，包括 z=±1 这两个实端点；符号可随 N 重新选取。假设端几乎无余物——唯一实质限制是长度充分大（所有构造数据在 N→∞ 前固定，故不需任何整除条件）；这正好避开 Erdélyi 的障碍定理”一个固定幂级数的全序列部分和不可能超平坦”，因为那是同一函数族沿子列的一致性问题，与逐长度独立选符号不冲突。结论把下界从 1/16 提到渐近最优，Erdős 1957 年的问题得到肯定回答。 |
第一级台阶
导读里”掷硬币拼多项式”再说清楚一点：对象是一个以 ±1 为系数的多项式，操作是让它沿单位圆取值并观察模长随角度的起伏。Parseval 恒等式给出天然地板——模长的平方平均恰为长度 N，所以模长以 √N 为自然尺度；问题是能否选出一组符号，使整条”模长—角度”曲线几乎水平地贴住 √N，上不下偏都控制在百分之几以内。
第二级台阶
| 精确化：长度 N 的实 Littlewood 多项式为 P(z)=Σ ε_k z^k（ε_k∈{−1,1}）；若一族多项式的归一化模 | P(z) | /√N 在 | z | =1 上一致趋于 1，则称其超平坦（ultraflat）。此前坐标：Rudin–Shapiro 在二进长度给最大模 ≤√(2N)；Balister 等人（2020）在所有次数给双边常数因子界；Kahane（1980）对复单位模系数造出超平坦——但限制到实符号时，姊妹篇此前只做到下界 (1/16)√N。 |
第三级台阶
| 定理陈述：对每个 ε∈(0,1) 存在 N₀，使每个整数 N≥N₀ 都有符号组让 (1−ε)√N≤ | P(z) | ≤(1+ε)√N 对整圆一致成立，包括 z=±1 这两个实端点；符号可随 N 重新选取。假设端几乎无余物——唯一实质限制是长度充分大（所有构造数据在 N→∞ 前固定，故不需任何整除条件）；这正好避开 Erdélyi 的障碍定理”一个固定幂级数的全序列部分和不可能超平坦”，因为那是同一函数族沿子列的一致性问题，与逐长度独立选符号不冲突。结论把下界从 1/16 提到渐近最优，Erdős 1957 年的问题得到肯定回答。 |
证明了实 Littlewood 多项式（系数全为 @@M@@\pm1@@）可以是”超平坦”的：对每个足够大的长度 @@M@@N@@，都能选一组符号，使多项式在单位圆上每一点的模都落在 @@M@@(1\pm\varepsilon)\sqrt N@@ 之间，包括 @@M@@z=\pm1@@ 这两个实端点，回应了 Erdős 与 Littlewood 的著名问题。
实 Littlewood 多项式指 @@M@@P(z)=\sum_{k=0}^{N-1}\varepsilon_k z^k@@，其中 @@M@@\varepsilon_k\in\{-1,1\}@@。由 Parseval 恒等式，它在单位圆上的均方模恰为 @@M@@\sqrt N@@，因此 @@M@@\sqrt N@@ 是自然尺度，最大模至少为 @@M@@\sqrt N@@。Erdős 在 1957 年问：实符号多项式能否在整个圆周上被两个固定的正常数倍数夹住？Littlewood 1966 年的著作也讨论了此问题。此前已知：Rudin–Shapiro 构造在二进长度下给出最大模 @@M@@\le\sqrt{2N}@@；Balister–Bollobás–Morris–Sahasrabudhe–Tiba（2020）对所有次数给出双边常数因子界；Kahane（1980）对复单位模系数造出了超平坦多项式，但限制到实符号时困难陡增——本论文的姊妹篇此前只做到下界 @@M@@\frac{1}{16}\sqrt N@@，卡在”下界不够接近 @@M@@\sqrt N@@“这一步。
定理（主定理）：对每个 @@M@@\varepsilon\in(0,1)@@，存在 @@M@@N_0@@，使得对每个整数 @@M@@N\ge N_0@@，都有符号 @@M@@\varepsilon_0,\ldots,\varepsilon_{N-1}\in\{-1,1\}@@，使
@@M@@D(1-\varepsilon)\sqrt N\le\Bigl|\sum_{k=0}^{N-1}\varepsilon_k z^k\Bigr|\le(1+\varepsilon)\sqrt N\qquad(|z|=1).@@
符号可随 @@M@@N@@ 不同而重新选取，结论对同一个多项式在整圆上的两个极值同时成立。若一族多项式的归一化模 @@M@@|P(z)|/\sqrt N@@ 在圆周上一致趋于 1，就称它超平坦（ultraflat）——本定理说明实 Littlewood 多项式经过每个足够大的整数长度都能超平坦，把姊妹篇的 @@M@@\frac{1}{16}@@ 下界提升到渐近最优。
整个证明是”先造连续函数、再取整到符号”两阶段。先在高维环面 @@M@@\mathbb T^m@@ 上造一个实三角多项式 @@M@@F(y)=\sum_{a}c_a\mathrm e(a\cdot y)@@，满足 @@M@@\|F\|_\infty\le1+\delta@@，且每个频率的系数与权重 @@M@@w_a=|a\cdot v|@@ 之间有双边比较 @@M@@1\le|c_a|/\sqrt{w_a}\le1+C\delta@@，总权重 @@M@@\sum w_a@@ 接近 1。为此，先用递推 @@M@@p_j=p_{j-1}+\frac12(1-p_{j-1}^2)\cos(2\pi y_j)@@ 造出 @@M@@|p|\le1@@ 而平方平均趋近 1 的多项式；再把每个频率用二次相位”摊开”到一个频率盒上，摊开因子的系数借缺陷敏感的取整引理取成同一模长，盒子大小按 @@M@@|b_s|^2/\rho_s@@ 配比，使每个新系数的平方恰与权重成正比。然后利用带符号区间装填引理（源自 Pippenger–Spencer 超图染色）在圆周上分出互不相交的短弧，在每段弧上定义波 @@M@@B_N(t)=\frac{c_a}{\sqrt{w_a}}\mathrm e(\operatorname{sgn}(\lambda_a)/8+N\psi_{a,h}(t))@@，其模为常数。关键在相位设计：要求 @@M@@|dt/dx|=w_a\chi_h(x)^2@@，则驻相（stationary phase）分析表明，第 @@M@@k@@ 个 Fourier 系数的首项恰是 @@M@@F@@ 在某点的值乘以 @@M@@[0,1]@@ 中的因子，于是 @@M@@\|F\|_\infty@@ 直接控制所有系数而无需累加 @@M@@|c_a|@@。端点处不降低振幅而是增大相位曲率（用递减函数 @@M@@\chi_h@@ 压制端点贡献），间隙处用分段二次相位把相邻波连续衔接并同时匹配相位的导数——匹配导数使分部积分的边界项相消，得到外部 Fourier 系数 @@M@@O((N+|k|)^{-2})@@ 的可和尾部。最后取 @@M@@Y_k=\sqrt N\widehat{B_N}(k)/S_\delta\in[-1,1]@@，Parseval 迫使其平均平方接近 1，即”缺陷”@@M@@\mu/N@@ 很小；再用基于 Spencer 与 Lovett–Meka 部分染色方法的实矩阵偏差（discrepancy）引理把 @@M@@Y_k@@ 舍入到符号 @@M@@\varepsilon_k@@，圆周上的一致误差仅 @@M@@C\sqrt{q_\delta\log(80/q_\delta)}@@，随 @@M@@\delta\to0@@ 消失。所有维数、装填数据、区间与相位均在 @@M@@N@@ 趋于无穷之前固定，因此结论对所有足够大的整数长度成立，不施加任何整除性条件。
本文暂无形式化证明。它与同族姊妹篇互为支撑：取整与区间装填两条共享引理直接继承自”下包络”姊妹篇，而”渐近极小最大值”姊妹篇的 Lean 形式化覆盖了本族的核心路线；本篇是把下界从 @@M@@\frac{1}{16}\sqrt N@@ 推进到 @@M@@(1-\varepsilon)\sqrt N@@ 的最新一步。按 OpenAI 官方声明，未经形式化的结果可能有问题，阅读时请以社区核验为准。
问 1：相对 Kahane 的复系数超平坦与姊妹篇的下包络结果，真正新意是什么？
| （答：Kahane/Bombieri–Bourgain 的超平坦依赖复单位模系数的相位自由度，实符号只有二选一，难度陡增；姊妹篇（OpenAIMinimal 及其 version-2 精化 OpenAILowerEnvelope2026）已做到 (1/16)√N ≤ | P | ≤ (1+η)√N，本篇 thm:main 把下界推到 (1−ε)√N——渐近最优。为此新增两件构造：双边系数—权重比较 1≤ | c_a | /√w_a≤1+Cδ 的频率盒摊开与等模取整，以及端点处”增大相位曲率而不减振幅”的驻相压制。） |
问 2：证明中最关键、最脆弱的一步？
| （答：驻相相位设计——要求 | dt/dx | =w_a·χ_h(x)²，使第 k 个 Fourier 系数的首项恰是 F 在某点的值乘 [0,1] 中的因子，于是 ‖F‖_∞ 直接控制所有系数而无须累加 | c_a | 。这是整条链”无穷和被单点值控制”的唯一支点；若相位导数匹配只做到低阶，外部尾部 O((N+ | k | )^{−2}) 的可和性便会失效，取整阶段就不再有干净的输入。） |
问 3：为什么结论必须允许符号随 N 重选？这是不是投机取巧？
| （答：不是，而是被证明的障碍定理逼出来的量化顺序：Erdélyi 2026 证明固定单模幂级数的全序列部分和不能超平坦，因此”同一族符号对一切 N”的版本为假；引言还引 Erdélyi 的下界 max | P | ²≥N+(N−1)^{1/3}/38 并指出它与逐长度结论相容。定理的量词（∀ε ∃N₀ ∀N≥N₀ ∃符号）是此问题下能成立的最强形态。） |
问 4：AI 生成证明在此最可能的出错模式？
（答：典型风险在”两阶段极限”的次序：所有维数、装填数据、区间与先导相位必须在 N→∞ 之前固定，结论才能覆盖一切足够大整数长度——若某步让参数随 N 偷偷变化，就会只在子列成立（正是 Rudin–Shapiro 弱点）。其次是驻相余项的一致性与取整偏差 C√(q_δ log(80/q_δ)) 的常数追踪，这类显式常数最易笔误。本篇未经形式化，但共享引理（区间装填、矩阵偏差）继承自已被 Lean 覆盖核心路线的姊妹篇，风险相对可控。）
问 5：z=±1 端点为什么单独强调？
（答：端点是实符号多项式的天然坏点：在 z=1 处 P(1)=Σε_k 只能取与符号和同阶的整数，要其落在 (1±ε)√N 内要求符号和精确居中——这是实情形区别于复情形的实障碍之一。本篇的处理是不降振幅而在端点增大相位曲率（用递减函数 χ_h 压制端点贡献），间隙用分段二次相位匹配值与一阶导数衔接，使分部积分边界项相消。）
问 6：谁会用到超平坦性？
（答：直接下游是通信与编码理论——模长均匀的多项式对应低峰均比扩频序列与良好相关性的二进制序列，merit factor 问题（族内另一篇证其无界）以平坦性为软上界图景；复分析侧它触及解析数论中指数和的极值问题。工程侧可注意本证明非构造性（依赖存在性偏差取整），有效算法仍是开放方向。）
总评
把 Erdős 1957 年的老问题以最优点值解决，构造融合了 Pippenger–Spencer 染色、Spencer/Lovett–Meka 偏差与精细驻相，分量十足；最大风险是驻相与极限次序处若干”先固定后取极限”的簿记若被社区核验出缝隙，结论可能退回子列版本。
问 1：相对 Kahane 的复系数超平坦与姊妹篇的下包络结果，真正新意是什么？
| （答：Kahane/Bombieri–Bourgain 的超平坦依赖复单位模系数的相位自由度，实符号只有二选一，难度陡增；姊妹篇（OpenAIMinimal 及其 version-2 精化 OpenAILowerEnvelope2026）已做到 (1/16)√N ≤ | P | ≤ (1+η)√N，本篇 thm:main 把下界推到 (1−ε)√N——渐近最优。为此新增两件构造：双边系数—权重比较 1≤ | c_a | /√w_a≤1+Cδ 的频率盒摊开与等模取整，以及端点处”增大相位曲率而不减振幅”的驻相压制。） |
问 2：证明中最关键、最脆弱的一步？
| （答：驻相相位设计——要求 | dt/dx | =w_a·χ_h(x)²，使第 k 个 Fourier 系数的首项恰是 F 在某点的值乘 [0,1] 中的因子，于是 ‖F‖_∞ 直接控制所有系数而无须累加 | c_a | 。这是整条链”无穷和被单点值控制”的唯一支点；若相位导数匹配只做到低阶，外部尾部 O((N+ | k | )^{−2}) 的可和性便会失效，取整阶段就不再有干净的输入。） |
问 3：为什么结论必须允许符号随 N 重选？这是不是投机取巧？
| （答：不是，而是被证明的障碍定理逼出来的量化顺序：Erdélyi 2026 证明固定单模幂级数的全序列部分和不能超平坦，因此”同一族符号对一切 N”的版本为假；引言还引 Erdélyi 的下界 max | P | ²≥N+(N−1)^{1/3}/38 并指出它与逐长度结论相容。定理的量词（∀ε ∃N₀ ∀N≥N₀ ∃符号）是此问题下能成立的最强形态。） |
问 4：AI 生成证明在此最可能的出错模式？
（答：典型风险在”两阶段极限”的次序：所有维数、装填数据、区间与先导相位必须在 N→∞ 之前固定，结论才能覆盖一切足够大整数长度——若某步让参数随 N 偷偷变化，就会只在子列成立（正是 Rudin–Shapiro 弱点）。其次是驻相余项的一致性与取整偏差 C√(q_δ log(80/q_δ)) 的常数追踪，这类显式常数最易笔误。本篇未经形式化，但共享引理（区间装填、矩阵偏差）继承自已被 Lean 覆盖核心路线的姊妹篇，风险相对可控。）
问 5：z=±1 端点为什么单独强调？
（答：端点是实符号多项式的天然坏点：在 z=1 处 P(1)=Σε_k 只能取与符号和同阶的整数，要其落在 (1±ε)√N 内要求符号和精确居中——这是实情形区别于复情形的实障碍之一。本篇的处理是不降振幅而在端点增大相位曲率（用递减函数 χ_h 压制端点贡献），间隙用分段二次相位匹配值与一阶导数衔接，使分部积分边界项相消。）
问 6：谁会用到超平坦性？
（答：直接下游是通信与编码理论——模长均匀的多项式对应低峰均比扩频序列与良好相关性的二进制序列，merit factor 问题（族内另一篇证其无界）以平坦性为软上界图景；复分析侧它触及解析数论中指数和的极值问题。工程侧可注意本证明非构造性（依赖存在性偏差取整），有效算法仍是开放方向。）
总评
把 Erdős 1957 年的老问题以最优点值解决，构造融合了 Pippenger–Spencer 染色、Spencer/Lovett–Meka 偏差与精细驻相，分量十足；最大风险是驻相与极限次序处若干”先固定后取极限”的簿记若被社区核验出缝隙，结论可能退回子列版本。