结果族 029：Primitive roots for every admissible integer base · 学科：数论（Number theory） · 验证状态：暂无形式化证明，请以社区核验为准
上一篇说：随便指一个整数（比如 2），就有无穷多张素数”钟面”请它当发令员。这一篇再进一步：随便指一组整数（比如 2 和 3，甚至 2、3、5、7），存在无穷多张钟面让这组人同时当发令员。注意这是条件性结果：只要姊妹篇的四个技术声明成立，结论就成立。
关键词卡片
看个具体例子
最小样本 p = 5：2 的幂走出 1→2→4→3→1，3 的幂走出 1→3→4→2→1，两条路线都跑遍全部四个非零刻度，所以 2 和 3 同时是模 5 的原根。主定理说这样的素数有无穷多：在四个假设下，区间 (x, 2x) 内至少有 c·x/(ln x)² 个素数让指定的一组素数基数同时当原根。
为什么值得关心
此前无条件只能保证”任取三个素数基数至少一个成立”；本文（在假设下）给出指认式的联立版本，证明”先建素数库、再逐基排除”这条路线可以推广。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读接续上一篇的钟面比喻：那里证明随便指一个整数，就有无穷多张素数钟面请它单独当发令员；这里要请的是一个委员会——比如 2、3、5、7 一同上岗，且同一张钟面上人人都能把指针转遍全部非零刻度。要留神的是，这是条件性结论：前提是姊妹篇的四个技术声明成立。
第二级台阶
用标准语言说：多个素数基数 q₁,…,q_k 联立当原根，即对同一个素数 p，每个基数的乘法阶都达到 p−1。关键的一步是挑一个固定同余类：用二次互反的补充定律与中国剩余定理，让这个类中的素数 p 恰好把所有基数同时变成二次非剩余，从而每个基数模 p 的阶指数（p−1 除以阶）都被迫为奇数，候选的”坏因子”被锁进可控的小范围。
第三级台阶
定理的语境是：假设姊妹篇的四个输入——一致的 Hecke 零自由断言、标记第二型估计、分块筛、粗糙数密度——则对任意有限个互异正素数基数，每个充分大的二进区间内至少有 c·x/(log x)² 个素数使它们全体同时为原根。”输入列为显式假设”挡住的是逻辑责任的划分：它们的证明在姊妹篇及更早的手稿里，本文只负责从假设到结论的推演；”基数取素数”挡住的是同余类选取对合数基数的额外纠缠。结论即导读所说的：单基路线可以推广成指认式的联立版本。
在把姊妹篇的四个解析与筛法陈述列为显式假设后，论文证明：任意固定有限个互异正素数 @@M@@q_1,\dots,q_k@@ 可同时充当 @@M@@\gg x/(\log x)^2@@ 个素数 @@M@@p\in(x,2x)@@ 的原根，是 Artin 单基猜想的无条件路线向联立版本的条件性推广。
单基情形即 Artin 原根猜想（1927 年由 Hasse 记录）：固定整数是无穷多个素数的原根；Hooley 于 1967 年在广义黎曼假设下证明了渐近式。联立版本问：有限个基数 @@M@@q_1,\dots,q_k@@ 何时同时是同一个 @@M@@p@@ 的原根（simultaneous primitive roots）？Matthews 1976 年在 GRH 下得到密度结果；Anwar 与 Pappalardi 于 2017 年在 Schinzel 假设 H 下给出无穷性判据。无条件方面只有”有限选择”型结果：Gupta–Murty 与 Heath-Brown 证明任取三个不同正素数至少有一个是无穷多个素数的原根，但无法指认是哪一个，更谈不上同时。本文证明一个条件性定理：假设姊妹篇《Primitive roots for every admissible integer base》中的四个陈述——一致 Hecke 零自由断言、标记 Type II 估计、分块筛（block sieve）与粗糙数密度（rough-number density）——则联立下界成立；这四个输入的证明在姊妹篇及其引用手稿中，明确不在本文范围之内。
主定理：设 @@M@@k\ge1@@，@@M@@q_1,\dots,q_k@@ 为互不相同的正素数。在上述四个输入假设下，存在常数 @@M@@c_{\mathbf q}>0@@ 与 @@M@@x_{\mathbf q}@@，使对每个实数 @@M@@x\ge x_{\mathbf q}@@，区间 @@M@@(x,2x)@@ 内至少有 @@M@@c_{\mathbf q}x/(\log x)^2@@ 个素数 @@M@@p@@ 满足 @@M@@p\nmid q_1\cdots q_k@@ 且 @@M@@\ord_p(q_i)=p-1@@ 对所有 @@M@@i@@ 同时成立。两个支柱命题是：素数库命题——设 @@M@@M\ge1@@ 为奇 squarefree 整数，@@M@@a@@ 为满足 @@M@@\gcd(a(a-1),M)=1@@ 的剩余类，则可找到 @@M@@\gg c_{M,a}x/L^2@@ 个素数 @@M@@p\equiv a\pmod M@@ 形如 @@M@@p=4rQ+1@@，其中 @@M@@Q>x^{0.9}@@ 为素数、@@M@@r@@ 的素因子全落在 @@M@@(\exp(L^{0.1}),\exp(L^{0.3}))@@；一致障碍界命题——对每个固定素数 @@M@@q@@ 与区间中的素数 @@M@@\ell@@，同时满足 @@M@@p\equiv1\pmod\ell@@ 与 @@M@@q^{(p-1)/\ell}\equiv1\pmod p@@ 的素数个数 @@M@@\ll_q x/(\ell(\ell-1)L)+x^{1-10^{-6}}@@。
整体是”先建库、再逐基排除、最后清点”的三段式。先建库：取 @@M@@M@@ 为诸奇基 @@M@@q_i@@ 之积（若基全为 @@M@@2@@ 则 @@M@@M=1@@），对每个奇 @@M@@q_i@@ 选定模 @@M@@q_i@@ 的一个二次非剩余，中国剩余定理拼出剩余类 @@M@@a\bmod M@@。库中素数 @@M@@p=4rQ+1@@ 且 @@M@@r,Q@@ 皆奇，故 @@M@@p\equiv5\pmod 8@@；由二次互反律与 @@M@@2@@ 的补充定律，@@M@@q_i>2@@ 时 @@M@@(q_i/p)=(a/q_i)=-1@@，@@M@@q_i=2@@ 时 @@M@@(2/p)=-1@@——一个同余类就把所有基数同时变成二次非剩余，这是联立版本的关键一招。再排除：对固定基 @@M@@q=q_i@@，Euler 判据迫使阶指数 @@M@@\iota_p(q)=(p-1)/\ord_p(q)@@ 为奇数；若 @@M@@\iota_p(q)>1@@，取其奇素因子 @@M@@\lambda@@，因 @@M@@\iota_p(q)\mid4rQ@@，必有 @@M@@\lambda=Q@@ 或 @@M@@\lambda\mid r@@。@@M@@\lambda=Q@@ 时 @@M@@j=(p-1)/Q<2x^{0.1}@@ 而 @@M@@p\mid q^j-1@@，诸 @@M@@q^j-1@@ 之积的对数仅 @@M@@\ll_q x^{0.2}@@，损失 @@M@@O_q(x^{0.2}/L)=o(x/L^2)@@；@@M@@\lambda\mid r@@ 时两个同余式经 Frobenius 判据恰等价于 @@M@@p@@ 在 Kummer 域 @@M@@K_{\lambda,q}=\mathbb{Q}(\mu_\lambda,q^{1/\lambda})@@ 中完全分裂，逐个套用一致障碍界再对 @@M@@\lambda@@ 求和，@@M@@\sum1/(\ell(\ell-1))@@ 的尾部给出 @@M@@O_q(xL^{-1}e^{-L^{0.1}})@@，@@M@@x^{1-\eta}@@ 项乘以至多 @@M@@\exp(L^{0.3})@@ 个 @@M@@\ell@@ 仍是 @@M@@o(x/L^2)@@。最后清点：基数有限，各基例外集之并仍为 @@M@@o(x/L^2)@@，故库中至少 @@M@@c_{M,a}x/(2L^2)@@ 个素数对所有基同时指数为 @@M@@1@@。一致障碍界的证法与姊妹篇同构：将 @@M@@\zeta_K@@ 经 Abel 塔分解为 @@M@@F_\ell=\mathbb{Q}(\mu_{12\ell})@@ 上 Hecke @@M@@L@@-函数之积，由输入 1 把零自由性下降到 @@M@@K@@；再用误差仅线性依赖 @@M@@\log D+n@@ 的光滑素理想显式公式（Mellin 反演加围道移动，零点计数用 Hasanalizade–Shen–Wong 的一致公式），每个完全分裂素数贡献 @@M@@n=\ell(\ell-1)@@ 个范数理想，除以次数即得界。素数库的构造则扩展姊妹篇的标记方法：标记权 @@M@@\mathcal W(h)=2^{K-\sum_i\omega_i(h)}\prod_i\omega_i(h)/V_i@@ 施加在 @@M@@K@@ 个素数区间 @@M@@\mathcal P_i@@ 上，强制每组都贡献素因子，剩下的 @@M@@4Q@@ 部分由权函数选取；同余条件 @@M@@d\equiv a\pmod M@@ 经 Dirichlet 特征展开进入标记 Type II 估计（其系数判据允许乘固定特征），进度内的分布由 Bombieri–Vinogradov 定理供给；分块筛与 Buchstab 型粗糙数密度 @@M@@D_\gamma(w)@@ 合账：初始筛余量系数 @@M@@e^{-\gamma_E}/b@@，减去最小素因子分箱成本 @@M@@D_b(1)-1@@ 后对小的固定 @@M@@b@@ 仍剩正常数，接近 @@M@@\sqrt x@@ 的平衡半素数另用单独的筛控制。
本文是显式的条件性结果：四个输入的证明位于姊妹篇及其引用的手稿，本文不复现；主结果亦暂无 Lean 形式化证明，请以社区核验为准，且 OpenAI 官方声明”未经形式化的结果可能有问题”。与姊妹篇是单向依赖关系：族内单基结果的解析与筛法部分一旦成立，联立版本即随之成立，故这批手稿的核验焦点应集中在姊妹篇的 Hecke 零自由定理与标记 Type II 估计上。
问 1：这篇论文自身最关键、也最该被检查的一步是什么？
（答：第 2 节的约化：一个同余类同时杀死所有基数的二次障碍。库中素数形如 p=4rQ+1 且 r、Q 皆奇，故 p≡5 (mod 8)，于是 (2/p)=−1；对奇基数 q_i 则由 CRT 选剩余类使 (q_i/p)=(a/q_i)=−1。每个基数的阶指数由此全为奇数，2 这个最常见的坏因子被一次性排除——联立版本的全部”联立性”都浓缩在这一招，剩余坏因子的逐基排除是单基论证的平行复用。）
问 2：为什么基数限定为素数，不能推广到任意可容许整数？
（答：同余类构造要逐基数模 q 选二次非剩余，再把类拼起来；素数基数的 Legendre 符号行为最干净。合数基数须分解处理符号与 q_i 的幂部分，且库的标记权还要绕开基数的素因子，论文未展开这一推广；其定理陈述也明确只对互异正素数基数。）
问 3：与 Matthews、Anwar–Pappalardi、Heath-Brown 相比，真正的新意是什么？
（答：既有联立结果都带强假设或不能指认：Matthews 1976 要 GRH 下的密度式，Anwar–Pappalardi 2017 要 Schinzel 假设 H，Heath-Brown 只保证任三个素数基数至少一个成立。本文给出的是”指定整个有限集、全体同时成立”的指认式下界，且条件只是姊妹篇的四个解析与筛法输入——比 GRH 更接近有望无条件落实的目标。）
问 4：这篇论文的证明结构有什么值得审稿人放心的地方？
（答：责任划分清晰。四个 Input 以假设形式精确复述，证明被显式声明在姊妹篇及更早手稿中、不在本文范围；本文自证的是素数库命题（固定剩余类中 p=4rQ+1 的构造，标记权扩展到 K 个素数区间）与一致障碍界命题（Abel 塔分解 ζ_K、光滑显式公式除以次数）。逻辑链短且局部可验，这是它作为条件性论文的规范写法。）
问 5：AI 生成证明最可能的出错模式？
（答：本文自身的风险在账目细节：分块筛初始余量减去 Buchstab 分箱成本后是否仍剩正常数、接近 √x 的平衡半素数单独上界是否够小、标记 Type II 估计乘以固定 Dirichlet 特征后系数判据是否原样保持。更大的风险是继承性的：四个输入全部未经形式化且证明在姊妹篇，若 Hecke 零自由定理有漏，本文结论随之失效。）
问 6：下游谁会用到它？
（答：直接价值是”逻辑占位”：姊妹篇四个输入一旦通过核验，联立原根的无穷性立即免费获得，省去二次攻关。应用侧，密码学里同一素数下多个原根基数（离散对数系统的参数选取）与伪随机数生成器的基数选择都关心联立原根的丰度；数论内部则把 Artin 型问题从单基推进到指定的有限集。）
总评
一篇干净的条件性约化：把”联立原根”这一更难的猜想规约到姊妹篇的四个明确输入上，自身逻辑短而可验；其全部分量押在那批未核验的解析输入上，宜与姊妹篇捆绑评估，单独引用时必须注明条件性。