结果族 153：Arithmetic classification and non-Pisot singularity for Bernoulli convolutions · 学科：Dynamical systems and ergodic theory · 验证状态：暂无形式化证明，请以社区核验为准
想象你站在原点反复掷硬币：正面走一步、反面退一步，而且每步长度按固定比例 λ 缩短。走完无穷多步后，你会停在哪里？这篇论文给”停点分布”做全面体检：它是摊成一段有密度的光滑分布，还是缩成一层没有密度的”灰尘”。
关键词卡片
看个具体例子
只走三步，把 8 种可能落点画出来：λ=0.5 时均匀铺开；λ=0.4 时裂成两堆，中间出现一条大缝——”灰尘”的征兆。
λ 小于 1/2 时缝隙越走越多，奇异是显然的；λ=0.5 恰是均匀分布；难的是中间地带。论文给出覆盖一切 λ∈(0,1) 的算术判据，并证明新的奇异参数：任何四次 Salem 数的倒数（如 x⁴−x³−x²−x+1 的大于 1 的根），以及一个 31 次多项式的某个非 Pisot 根的倒数处，分布都奇异——Pisot 之外首次有了确凿例子。
为什么值得关心
Erdős 1939 年发现 Pisot 奇异例之后，”非 Pisot 参数是否也可能奇异”悬置多年，本文给出全参数判据并首次拿下非 Pisot 例子。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里的”按比例缩短的掷币行走”，本质是一个无穷叠加问题：每掷一次硬币，就在当前位置上叠加一段方向由硬币决定、长度按固定比例缩短的位移。走完无穷步，所有可能停点各自带着概率权重，这套带权重的落点就是研究对象；”摊得匀还是缩成灰尘”，问的是这份权重能否写成一条密度曲线。整个过程只反复做两件事：随机定方向、按比例缩长度。
第二级台阶
换成本科术语：取实数 λ∈(0,1) 作缩比，随机级数（每项符号独立、正负各半）的分布叫 Bernoulli 卷积 ν_λ。一个测度称为奇异的，指它把全部概率压在总长度为零的集合上；称为绝对连续的，指它由某个可积密度函数生成。经典的纯类型定理保证二者必居其一，于是每个 λ 都面临非此即彼的分类。Pisot 数是大于 1 的实代数整数，其余共轭根全部严格缩在单位圆内；Salem 数则放宽为：允许一对共轭恰好落在单位圆上。
第三级台阶
定理在最难的区间 λ∈(1/2,1) 上陈述。作者显式写出一个个有限集合：系数只取 −1、0、1 且模 2 不可约的代数单位 r；若 r 的近邻单位能在固定比例的坐标卦限中提供足够多个互异的系数前缀，r 称为被保留的。主定理说：ν_λ 奇异，当且仅当对某个固定维数，λ 被保留单位从左侧按几何速率无穷次逼近——这是一个无穷逼近性质，不是有限的成员判定算法。在此之上论文进一步证明：每个四次 Salem 数的倒数处分布必奇异，第一次把奇异例子推出 Erdős 的 Pisot 范围。
论文为无偏 Bernoulli 卷积（Bernoulli convolution）@@M@@\nu_\lambda@@ 建立了覆盖全部 @@M@@\lambda\in(0,1)@@ 的奇异性算术判据——一个用显式有限代数单位集表达的单侧逼近条件，并证明了 Pisot 之外的奇异参数：一切四次 Salem 数的倒数、以及一个 31 次多项式的非 Pisot 根的倒数处均奇异，回答了近期文献记录的公开问题。
对 @@M@@0<\lambda<1@@，@@M@@\nu_\lambda@@ 是随机级数 @@M@@Y_\lambda=\sum_{n\ge0}\varepsilon_n\lambda^n@@（符号独立、取 @@M@@\pm1@@ 各半）的分布。Jessen 与 Wintner（1935）证明它具有纯类型（pure type）：要么奇异（singular）要么绝对连续（absolutely continuous），故每个参数都有明确的分类问题。@@M@@\lambda<1/2@@ 时覆盖论证直接给出奇异性，@@M@@\lambda=1/2@@ 是均匀分布，真正的困难集中在 @@M@@(1/2,1)@@。Erdős（1939）证明当 @@M@@\lambda^{-1}@@ 是 Pisot 数（Pisot number，其余共轭模长均小于 1 的实代数整数）时奇异，依据是 Fourier 变换不趋于零；Garsia（1962）对另一算术类证明绝对连续。此后 Solomyak、Hochman、Shmerkin、Varjú 的几乎处处理论（如可能奇异的参数集 Hausdorff 维数为零）把例外压缩到极小集合，却无法判定具体参数的类型。更棘手的是 Salem（1943）证明只要 @@M@@\lambda^{-1}@@ 不是 Pisot 数，Fourier 变换必趋于零，Erdős 的方法对 Salem 数（Salem number，共轭含 @@M@@\beta^{-1}@@ 与单位圆上的复对）天然失效；是否存在倒数非 Pisot 的奇异例子，被近期文献明确列为公开问题。
论文有三项定理。算术判据（定理 2.1）：对整数 @@M@@n\ge1@@、@@M@@d\ge2@@，令 @@M@@R(n,d)@@ 为度数 @@M@@dn@@、极小多项式系数全在 @@M@@\{-1,0,1\}@@、模 2 不可约、常数项为 @@M@@-1@@ 的实代数单位（algebraic unit）@@M@@r\in(1/2,1)@@ 构成的有限集；把与 @@M@@r@@ 距离不超过 @@M@@4^{-n}@@ 的同类单位的系数前缀向量收集为 @@M@@W_n(r;d)@@。若至少 @@M@@2^n/d@@ 个坐标卦限（orthant）内各含不少于 @@M@@j(2r)^n@@ 个不同向量，则称 @@M@@r@@ 被保留。定理断言：@@M@@\nu_\lambda@@ 奇异当且仅当对某个固定的 @@M@@d@@、一切 @@M@@j@@ 和无穷多个 @@M@@n@@，存在保留单位 @@M@@r@@ 使 @@M@@r-4^{-n}\le\lambda<r@@。这是无穷的单侧逼近条件，而非有限的成员判定算法；把 @@M@@\limsup@@ 换成 @@M@@\liminf@@ 结论不变。四次 Salem 定理（定理 5.1）：任何四次 Salem 数 @@M@@\beta\in(1,2)@@ 都使 @@M@@\nu_{1/\beta}@@ 奇异；显式特例为 @@M@@x^4-x^3-x^2-x+1@@ 与 @@M@@x^4-2x^3+x^2-2x+1@@ 的大于 1 的实根。31 次多项式定理（定理 6.1）：多项式 @@M@@p(t)=t^{31}-2t^{30}+\sum_{j=0}^{9}(t^{3j+1}-t^{3j})@@（满足 @@M@@(t^2+t+1)p(t)=t^{33}-t^{32}-t^{31}-t^{30}-1@@）在 @@M@@(1.8392,1.8393)@@ 内有唯一实根 @@M@@\beta@@；它有一对模长平方约 @@M@@1.000209@@ 的共轭复根落在单位圆外，故不是 Pisot 数，而 @@M@@\nu_{1/\beta}@@ 奇异。文中还从判据重新推出 Erdős 的 Pisot 奇异性与 Garsia 参数的绝对连续性两类经典结果。
判据的一个方向是纯测度论计数：若保留单位满足 @@M@@r-4^{-n}\le\lambda<r@@，则其近邻单位的系数前缀 @@M@@w@@ 都满足 @@M@@|\sum_{i<n}w_i\lambda^i|\le B\lambda^n@@（因 @@M@@4^{-n}=o(\lambda^n)@@），于是大量词对的前缀和彼此相差 @@M@@O(\lambda^n)@@；分箱计数给出 Lebesgue 测度至多 @@M@@C/j@@ 而 @@M@@\mu_\lambda@@-质量至少 @@M@@1/d@@ 的集合，令 @@M@@j\to\infty@@ 便与绝对连续性矛盾，再用纯类型定出奇异。核心是反方向的实现引理（realization lemma）。先证 @@M@@\lambda>1/2@@ 时首比特的两个条件测度必有公共非零子测度（熵论证：只有 @@M@@O(\lambda^{-n})@@ 个量化格子，装不下前 @@M@@n@@ 个比特的 @@M@@n\log 2@@ 熵）；再由紧集中引理（compact concentration）把奇异性转化为至少 @@M@@c2^n@@ 个首比特为 0 的词，每个各有 @@M@@Q(2\lambda)^n@@ 个首比特为 1 的近邻。对其差向量 @@M@@w@@（@@M@@w_0=-1@@）分三步补全成合格多项式：先贪心逐位添系数（类似 @@M@@\beta@@-展开）把多项式在 @@M@@\lambda@@ 处的残差指数级压小；再用紧性引理——有界系数多项式在 @@M@@\lambda@@ 右侧不能处处太平，否则极限幂级数在 @@M@@\lambda@@ 处各阶导数全为零，违背恒等定理——找到符号翻转点；最后用 @@M@@\mathbb F_2@@ 上算术进度中的素多项式定理（函数域 Riemann 猜想的特征和推论），在保留前 @@M@@n@@ 位系数的同时加上不可约性，对两个在 @@M@@\lambda@@ 处异号的补全式用介值定理取出根 @@M@@r\in(\lambda,\lambda+4^{-n}/2]@@，它正是首 @@M@@n@@ 位系数等于 @@M@@w@@ 的代数单位。四次 Salem 定理绕开”Fourier 必衰减”的障碍：以 @@M@@A_m=\prod_h(\beta^{k_h}-\beta^{-k_h})@@ 为频率乘子，用鸽笼原理选 @@M@@k_h@@，使 @@M@@L_m=\log(1/\delta_m)@@（@@M@@\delta_m@@ 是单位圆共轭损耗）每步至少增至 @@M@@2.1@@ 倍，快于余弦损失总和的 @@M@@2.0301@@ 倍增速，故总损失 @@M@@S_m=o(L_m)@@；迹恒等式把高频相位替换为整数加有限窗口内独立符号的相位，其带符号平均 @@M@@F_m@@ 在 @@M@@\nu_{1/\beta}@@ 下集中（均值不低于 @@M@@e^{-L_m/20}@@），在 Lebesgue @@M@@L^2@@ 下却因频率间隔至少 @@M@@\pi(\beta-1)@@ 而趋于零；两者相减并用切比雪夫不等式取 @@M@@\limsup@@ 子列，即得满 @@M@@\nu@@-测度的 Lebesgue 零测集。31 次多项式则依靠精细计数：词向量落入固定格点，箱子体积按 @@M@@\mathcal M^N@@（@@M@@\log\mathcal M-\log\beta<0.0002094@@）增长，比 @@M@@\beta^N@@ 略多；作者构造一族正的三角因子之积，其在展开坐标下的 Lebesgue 积分一致有界（由近三次关系 @@M@@\beta^3-\beta^2-\beta-1=\beta^{-30}@@ 驱动的有限自动机排除近平消的频率模式），却在概率趋于 1 的典型词上以超过 @@M@@0.000220N@@ 的速率指数增长；超额增益恰好吃掉格点的超额体积，最终覆盖的 Lebesgue 测度按 @@M@@e^{-0.0000066N}@@ 衰减而概率趋于 1，奇异性立得。
本文主结果尚无 Lean 形式化证明，请以社区核验为准；按 OpenAI 官方声明，未经形式化的结果可能有问题。结果族 153 仅含这一篇手稿，但论文内部互相支撑：判据能原样复现 Erdős 的 Pisot 奇异性与 Garsia 的绝对连续性（文中第 4 节专门验证），两个非 Pisot 定理均独立直接证明，再由判据转译为对应的逼近性质。31 次多项式例的根隔离与矩不等式依赖附录中的有理数计算证书，该部分技术性较强，此处从略。
问 1：整个证明里最关键、也最脆弱的一步是哪里？
（答：实现引理。它要把”分布集中产生的大量词对”的差向量补全成一个系数在 {−1,0,1}、在 λ 右侧有根的多项式，分三步：贪心逐位压残差、紧性论证找符号翻转、再借助 F₂ 上算术进度中的素多项式定理加上模 2 不可约性而不动前 n 位系数。三步环环相扣，任何一步的常数或引理条件出偏差，判据的”当且仅当”就塌一半——这是全文技术密度最高的地方。）
问 2：为什么”无偏”（正负各半）这个假设不好去掉？
（答：反方向的熵论证用足了无偏性：前 n 个比特携带 n·log2 的熵，而量化格子只有 O(λ⁻ⁿ) 个，偏硬币时熵系数变小，鸽笼立即失效；且 Jessen–Wintner 纯类型定理本身对一般独立符号未必成立，分类问题的框架会先崩掉。论文只处理无偏情形，有偏版本的判据未展开讨论。）
问 3：与 Erdős、Salem、Solomyak 一线相比，真正的新意是什么？
（答：不是改良几乎处处理论，而是拿下”具体例外参数”。Erdős 的 Fourier 不衰减方法被 Salem 1943 的定理挡死——倒数非 Pisot 时 Fourier 变换必趋于零；本文绕开 Fourier 衰减，用迹恒等式与频率乘子直接造出满 ν 测度的 Lebesgue 零测集，给出文献中明确记录为公开问题的首批非 Pisot 奇异例子（四次 Salem 倒数与 31 次多项式根的倒数）。）
问 4：四次 Salem 定理的数值余量有多危险？
（答：相当薄。引理靠 L_m 每步至少乘 2.1，压过余弦损失总和的 2.0301 倍增速；31 次多项式那边更是 0.0002094 对 0.000220 的毫厘之争，净赢 0.0000066。这类极小余量依赖附录的有理计算证书，最经不起独立复核时的舍入或重新推导——也是 AI 生成证明里”数字恰好够用”的典型风险点。）
问 5：判据为什么只是”无穷逼近条件”而非判定算法？
（答：定理断言的是奇异性等价于”存在固定 d、对无穷多个 n 有保留单位从左侧 4⁻ⁿ 逼近 λ”，这是 limsup 型陈述；对给定 λ，你无法在有限步内确认逼近永不发生。作者在摘要与引言明说这一点，且指出换成 liminf 结论不变，算是诚实地划清了能力边界。）
问 6：谁会用这个结果？
（答：自相似测度与分形维数方向的人：Breuillard–Varjú 已证维数亏损参数可被代数参数异常逼近，本文判据进一步给出”逼近目标长什么样、系数朝哪个方向”的记录；对 Furstenberg 测度、谱集问题中类似 {−1,0,1} 多项式工具的使用者也有直接参考价值。）
总评
这是把 Bernoulli 卷积”例外参数”问题从几乎处处推向逐点判定的扎实尝试，首批非 Pisot 奇异例子本身就有分量；最大风险在于未形式化，且两处胜负只在 10⁻⁴ 量级的计算余量上，须待社区逐行复核。