结果族 011：Prime-factor statistics of
@@M@@p-1@@· 学科：Number theory · 验证状态：暂无形式化证明，请以社区核验为准
想象一位鉴定师，只许把数 @@M@@N@@ 分别除以 @@M@@2,3,5,7,\dots@@ 看余数，别的什么都不许做。筛法大师们早就知道：这样的鉴定师原理上分不清 @@M@@N@@ 的素因子个数是奇还是偶——这就是筛法著名的”奇偶性障碍”。这篇论文却证明：即便如此，仍能保证有无穷多个素数 @@M@@p@@，使 @@M@@p-1@@ 恰有偶数个素因子。
关键词卡片
@@M@@\mu@@）：@@M@@n@@ 含平方因子时取 @@M@@0@@；否则按素因子个数的奇偶取 @@M@@-1@@ 或 @@M@@+1@@。定理即 @@M@@\mu(p-1)=1@@ 无穷多次。看个具体例子
小例子：@@M@@p=7@@ 时 @@M@@p-1=6=2\times3@@，无平方因子且恰有 2 个因子，@@M@@\mu(6)=(-1)^2=+1@@；@@M@@p=11@@、@@M@@p=23@@ 同理都是 @@M@@+1@@；而 @@M@@p=31@@ 时 @@M@@30=2\times3\times5@@ 有 3 个因子，@@M@@\mu(30)=-1@@。主定理：标 @@M@@+1@@ 的素数有无穷多个。
为什么值得关心
”@@M@@p@@ 是素数”与”@@M@@p-1@@ 素因子个数为偶”两头各自都撞在奇偶障碍上，论文对这一双重难题给出肯定回答；这也是继 Friedlander–Iwaniec 找到 @@M@@x^2+y^4@@ 型素数之后，人类绕过奇偶障碍路线上的又一座里程碑。
暂无形式化证明（AI 结果待核验）
第一级台阶
入门导读里的鉴定师只会一件事：拿小素数去试除、看余数。把这个比喻翻成半数学语言：我们手里只有”同余信息”这一种操作，想在一串形如”某整数的两倍加一”的候选数里，同时挑出两层性质——候选数本身是素数，且它的前身含有奇数个素因子。两层筛选各自都恰好落在这种操作原理上看不见的盲区（素因子个数的奇偶）上，论文要做的就是在盲区里仍交出无穷多个例证。
第二级台阶
用本科术语定住概念：Ω(n) 计入重数地数 n 的素因子个数，ω(n) 只数互异素因子；n 无平方因子（squarefree）时两种计数一致。Möbius 函数定义为：n 含平方因子时 μ(n)=0，否则 μ(n)=(-1)^{Ω(n)}。所谓奇偶性障碍，指仅由同余信息驱动的筛法原则上无法区分 μ 的正负号；绕过它的标准武器是 Type II 双线性估计——把数拆成两段乘积后利用交错抵消。
第三级台阶
定理的陈述是：存在无穷多个素数 p，使 p-1 无平方因子且 Ω(p-1) 为偶数，等价地 μ(p-1)=1 无穷多次。语境上，这是 Friedlander–Iwaniec 渐近筛（找出 x²+y⁴ 型素数）之后对奇偶障碍的又一次正面突破，且”p 是素数”与”p-1 因子个数为偶”两头各自撞在障碍上。无平方条件并非装饰，它消除 Ω 与 ω 两种计数约定的歧义，使结论在两种意义下同时成立——这正挡住了”定理到底在哪个约定下成立”的麻烦。证明中构造的非负权只支撑在 Ω(u) 为奇的 u 上，其双线性分布强到足以检出 2u+1 的素数值，而含平方部分的质量在检出尺度上可忽略；所需的两个新解析输入——长槽容许素数、两端同挂一个 Liouville 符号——恰是姊妹篇工具箱里缺的两块拼图。
证明有无穷多个素数 @@M@@p@@ 使 @@M@@p-1@@ 无平方因子且素因子个数（计入重数）为偶数，等价地 @@M@@\mu(p-1)=1@@ 无穷多次成立——素数前一项的奇偶性问题由此获得肯定回答。
设 @@M@@\Omega(n)@@ 计入重数地数素因子个数，@@M@@\omega(n)@@ 只数不同素因子。筛法有一个先天的软肋——奇偶性问题（parity problem）：仅凭同余信息驱动的筛法原则上分不清一个数的素因子个数是偶还是奇，即区分不了两种 Liouville 符号。Friedlander 与 Iwaniec 的渐近筛（asymptotic sieve）表明，补充足够强的双线性（Type II）信息后这道障碍可以绕过，他们据此找到了 @@M@@x^2+y^4@@ 型素数。对素数前一项施加乘法限制，已有 Baker–Harman、Lichtman 关于光滑移位素数（smooth shifted primes）的工作，但奇偶性是另一类限制，不能由光滑性推出。而”@@M@@p-1@@ 有偶数个素因子且 @@M@@p@@ 本身是素数”两头都撞在奇偶障碍上；本文对此给出肯定回答。
主定理：存在无穷多个素数 @@M@@p@@，使 @@M@@p-1@@ 无平方因子（squarefree）且 @@M@@\Omega(p-1)@@ 为偶数；等价地，Möbius 函数（Möbius function）满足 @@M@@\mu(p-1)=1@@ 的素数有无穷多个。无平方条件并非装饰：它消除 @@M@@\Omega@@ 与 @@M@@\omega@@ 两种计数约定的歧义，使结论在两种意义下同时成立。做法上写 @@M@@p=2u+1@@，在奇数 @@M@@u@@ 上构造非负权 @@M@@A(u)@@：凡 @@M@@A(u)>0@@ 的 @@M@@u@@ 必有 @@M@@\Omega(u)@@ 为奇数，从而 @@M@@\Omega(2u)=1+\Omega(u)@@ 为偶数；再证明这些权中确有使 @@M@@2u+1@@ 为素数的质量，且 @@M@@2u@@ 不无平方的部分质量可忽略。
整个证明是”先造权、再补两个解析引理、最后过筛抽取素数”的三段式。
先造权（第 4 节）。把构造用的素数按对数尺度分成两类：一类是几何衰减的普通带 @@M@@Q_j@@，每个被支撑的 @@M@@u@@ 在每个带恰好占 @@M@@r_0@@ 个素数槽，@@M@@r_0@@ 取偶数，故普通部分的素因子个数恒为偶数；另一类是少数小素数群 @@M@@\mathcal P_g@@，其上放置带标记的权 @@M@@W_1@@，并用群素数的 Liouville 符号 @@M@@\mathcal E(u)=(-1)^{\sum_{p\in\mathcal P}v_p(u)}@@ 做投影 @@M@@A(u)=A_0(u)(1-\mathcal E(u))/2@@，只保留群部分重数为奇的 @@M@@u@@。两厢相加，凡被支撑则 @@M@@\Omega(u)@@ 为奇。权的总质量 @@M@@X_A\asymp(x/L)H_QH_P\gg xL^{-C_A}@@，含平方因子的事件概率仅 @@M@@O(TL^{-20})@@。
再补两个新引理，这是超出姊妹篇的部分。其一，长素数多项式（第 2 节）：在 @@M@@L^{B_0}\le|t|\le x^2@@ 的一切高对数高度上一致地有 @@M@@\sum_{p\in I}\chi(p)p^{-1+it}\ll L^{-A}@@。证明链条是：先证次数一致、带双指数常数的 Vinogradov 均值估计（Linnik 的 @@M@@p@@-adic 迭代），推出等差数列上对数相位的衰减；经 Jensen 公式与三角恒等式 @@M@@3+4\cos\theta+\cos2\theta\ge0@@ 建立高达 @@M@@x^3@@ 高度的零点自由带（zero-free strip）@@M@@\operatorname{Re}s\ge1-cT^2/L@@；最后 Mellin 反演移围道收割。其二，公共符号的素数槽相关（第 3 节）：允许相关和的长槽里放素数（姊妹篇只放粗整数），且两端挂同一个完全乘性符号 @@M@@\varepsilon@@。核心恒等式是 @@M@@\varepsilon(D_Rw)\varepsilon(D_Rw')=\varepsilon(D_R)^2\varepsilon(w)\varepsilon(w')=\varepsilon(w)\varepsilon(w')@@：共享膨胀因子的符号因完全乘性而平方消失，膨胀图的图传递（transference）论证因此能原样保留奇偶敏感的权。剩余比较项按大弧—小弧分治：小弧用一个整数双线性估计；大弧上取一个小群标记、展开有理特征，化为局部 Fourier 能量，其中例外时刻的稀疏性由 @@M@@P_s^{j_0}@@ 的阶乘系数范数与唯一分解给出，高频率交给长素数多项式、低频率交给系数序列的特征–Mellin 差值假设。
最后过筛（第 5–7 节）。相关估计先升级为 Type II 定理：满足差值假设的序列 @@M@@\alpha@@ 给出 @@M@@\sum_{mn=2u+1}\alpha_m\beta_nA(u)\Psi(u/x)\ll xL^{-D_*}@@，对 @@M@@\beta@@ 不设条件；同余分布定理则控制过筛剩余项。对 @@M@@N_u=2u+1@@ 过三关：分块筛（block sieve）预筛掉 @@M@@x^{b_1}@@ 以下的小素因子，留下质量 @@M@@\gg\mathfrak SX_A/(b_1L)@@；失衡合数借有界代理（proxy）与密度函数 @@M@@D_\gamma@@ 减除；平衡半素数（semiprime）由代理加一个纯计数的双线性对界压至 @@M@@C_{\mathrm{bal}}\kappa\,X_A/L@@。取 @@M@@\kappa@@ 使 @@M@@C_{\mathrm{bal}}\kappa<\mathfrak S/4@@，剩余素数质量 @@M@@\ge(\mathfrak S/2-C_{\mathrm{bal}}\kappa-o(1))X_A/L\gg X_A/L@@，其中 @@M@@\mathfrak S@@ 为孪生素数常数（twin prime constant）。
主结果暂无 Lean 形式化证明；按 OpenAI 官方声明，未经形式化的结果可能存在问题，请以社区核验为准。本文大量引用同族姊妹篇《Weighted dilation graphs, smooth shifted primes and totient fibers》的膨胀图传递、理想核、分块筛与代理估计，只引用不重证；其独有贡献是”长槽容许素数”与”两端同号”两项扩展，恰是推出奇偶结论所缺的拼图。同族另两篇分别证明 Ford–Konyagin–Luca 猜想（@@M@@p-1@@ 素因子的 Poisson–Dirichlet 极限律）与 Erdős 的欧拉 @@M@@\varphi@@ 函数纤维猜想，三篇共享同一套筛法机器、互相支撑。文中所有辅助常数都在 @@M@@x\to\infty@@ 之前固定，参数选取次序亦有显式交代，便于逐项核查。
问 1：证明里最关键也最脆弱的一步是什么？
（答：是”公共符号抵消”这一观察：共享膨胀因子的符号在提升后的相关式中出现两次，因完全乘性而平方消失，使图约化能够原样保留奇偶敏感的权（引言 The two analytic extensions 段）。它是本文独有的新意，一旦恒等式 ε(D)²=1 的使用条件在某类边上有例外，奇偶选择就整体失效。）
问 2：无平方条件能不能去掉？
（答：引言明说该条件”useful rather than cosmetic”：它消除 Ω 与 ω 两种计数约定的歧义，使定理在两种约定下同时成立。权构造只保证 Ω 意义的奇偶，含平方部分的质量是在检出素数质量的尺度上被证明可忽略的——去掉条件则需要更强的平方因子控制，论文未展开。）
问 3：与姊妹篇 S 相比真正的新工作是什么？
（答：引言直说：S 的移位相关论证用的是指定长槽里的粗糙整数与无符号标记权，”既非前身的光滑性、也非那个无符号命题”能给出奇偶结论。新工作有两件：允许长槽里放素数（需新的对数相位/素数多项式估计，靠幂和迭代提供高高度零点自由带），以及两端挂同一个群支撑 Liouville 符号。）
问 4：为什么奇偶性不能从光滑性推出，两篇是否重复劳动？
（答：引言明言奇偶是”另一种限制，不能仅由光滑性推导”。光滑性控制因子的大小，奇偶控制因子个数的模二性质，逻辑上独立；本文借用 S 的图传递、核、筛与代理估计但不重证，增量恰好只补齐奇偶缺口。）
问 5：这类 AI 长证明最可能在哪里出错？
（答：两处高危：对数相位估计里”次数增长”的幂和迭代带有显式双指数常数，高度达 x² 的一致性若量级算错即垮；抽取阶段强调常数次序——”最终代理精度在所需差值指数之后才选定”，次序颠倒就是隐藏的循环论证。平衡半素数的纯计数上界压至 C_bal·κ·X_A/L 后需 κ 满足 C_bal·κ<𝔖/4，这类末位不等式是易错角落。）
问 6：这个结果谁会用？论文谈了下游吗？
（答：论文未展开下游应用；其分量主要在方法：这是 Friedlander–Iwaniec 之后又一条正面突破奇偶障碍的路线，且证明”两头撞墙”（素性与前驱奇偶）可同时处理。文中只强调两个新引理（素数槽相关、长素数多项式）已单独陈述，不与最终筛法捆绑，便于其他构造复用。）
总评
在奇偶障碍这个筛法最深的软肋上再开一个洞，且与同族两篇共享机器、增量清晰，这是实打实的贡献；最大风险在符号抵消恒等式的边角适用性与双指数常数的一致性验证，属典型的需逐节核验的 AI 手稿。