结果族 029：Primitive roots for every admissible integer base · 学科：数论（Number theory） · 验证状态：暂无形式化证明，请以社区核验为准
把钟面换成 p 个刻度，乘法就像指针转动：从 a 出发不断自乘，看能否把所有非零刻度转个遍——能转遍的 a 叫原根，是这个钟面最称职的”发令员”。Artin 在 1927 年猜想：只要 a 不是 −1 也不是平方数，就有无穷多张钟面请 a 当发令员。这篇论文不需要任何未证假设，证明了这一点。
关键词卡片
看个具体例子
p = 7、a = 3：幂次依次是 3、2、6、4、5、1，六个非零刻度各到一次，3 是原根；换 a = 2：2、4、1，转三格就回家，不是原根。主定理说：对每个可容许的 a，区间 (x, 2x) 内至少有 c_a·x/(ln x)² 个素数让 a 当原根——虽比猜想预测少一个对数因子，足以确立无穷多。
为什么值得关心
从前的无条件结果只能说”任取若干个基数总有一个成立”，无法指认；本文让 2、3、10 这类任何指定基数全部落实。核心突破是一致零点自由区域：对相关 L 函数的无零点区域宽度对所有数域统一，不再随域变化。这是走向 Artin 猜想完全证明的关键一跃。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读把模 p 乘法想成有 p 个刻度的钟面：从 a 出发不断自乘，是指针一步步转动；若指针能转遍除零以外的每个刻度才回家，a 就叫这张钟面的原根。Artin 的猜想是：只要 a 资格合格——不是 −1、也不是平方数——就有无穷多张钟面请它当发令员。
第二级台阶
用本科语言说：a 模素数 p 的乘法阶是使 a 自乘后第一次回到 1 的次数；阶恰为 p−1 时 a 是原根。”资格合格”（可容许）排除 −1 与完全平方数，因为二者的阶天生受限。障碍的几何形态是：a 模 p 不是原根，当且仅当某素数 q 整除指数（p−1 除以阶的商），而这等价于 p 在扩域 Q(μ_q, a^{1/q}) 中完全分裂——于是问题变成数这些扩域里的分裂素数。
第三级台阶
定理的陈述是：对每个可容许的 a，存在正常数与阈值，使每个充分大的二进区间 (x,2x) 内以 a 为原根的素数至少有 c_a·x/(log x)² 个——比猜想预测少一个对数因子，但足以确立无穷性，且完全无条件。可容许性挡住的是阶的结构性天花板；真正的拦路虎是经典零点自由区域的宽度随域变化，论文证明了一个对所有分圆域与有限阶 Hecke 特征统一宽度 10^{-6} 的无零点区域，再配合在固定同余类中构造 p−1 因子结构可控的素数，两股力量合流即得定理。
论文无条件证明了 Artin 原根猜想的无穷性断言：对每个既非 @@M@@-1@@ 也非平方数的整数 @@M@@a@@（包括 @@M@@a=2@@），一切充分大的区间 @@M@@(x,2x)@@ 内至少有 @@M@@c_a x/(\log x)^2@@ 个素数以 @@M@@a@@ 为原根，可容许基数全部”洗白”。
设素数 @@M@@p\nmid a@@，@@M@@a@@ 模 @@M@@p@@ 的乘法阶 @@M@@\ord_p(a)@@ 是使 @@M@@a^k\equiv1\pmod p@@ 的最小正整数；若 @@M@@\ord_p(a)=p-1@@，称 @@M@@a@@ 为模 @@M@@p@@ 的原根（primitive root）。Artin 于 1927 年猜想：每个既非 @@M@@-1@@ 也非平方数的”可容许”整数都是无穷多个素数的原根，并给出渐近计数。Hooley 在 1967 年于 Kummer 扩域 @@M@@\mathbb{Q}(\mu_n,a^{1/n})@@ 的 Dedekind zeta 函数满足 GRH 的假设下证明了该渐近式。无条件的结果一直很弱：Gupta–Murty 造出 13 个整数保证其中至少一个成立；Heath-Brown 证明至多两个素基数失效（即 @@M@@2,3,5@@ 至少一个成立）；而 Klurman–Shparlinski–Teräväinen 的平均结果虽然对几乎处处的 @@M@@a@@ 给出期望渐近，但例外集随 @@M@@x@@ 变动，处理不了指定基数。固定基数要迈过两道坎：一是分裂域随可能的指数因子变化，经典零点自由区域宽度依赖域、导子与高度，无法一致使用；二是必须构造出大量”指数因子落入可控范围”的素数。
论文给出两个定理。主定理：对每个可容许整数 @@M@@a@@，存在常数 @@M@@c_a>0@@ 与 @@M@@x_a\ge2@@，使对每 个实数 @@M@@x\ge x_a@@，@@M@@\#\{p\text{ 素}：x<p<2x,\ p\nmid a,\ \ord_p(a)=p-1\}\ge c_a\,x/(\log x)^2@@。猜想预测的量级是 @@M@@x/\log x@@，这里低一个对数因子，但足以确立无穷性，且在每个二进区间一致成立。解析定理：设 @@M@@F@@ 是含 @@M@@\mu_{12}@@ 的分圆域（cyclotomic field），则对 @@M@@F@@ 上任何有限阶 Hecke 特征（finite-order Hecke character）@@M@@\eta@@，@@M@@L_F(s,\eta)@@ 的亚纯延拓在 @@M@@\re s>1-10^{-6}@@ 内无零点（主特征在 @@M@@s=1@@ 的极点除外）；关键在于区域宽度 @@M@@10^{-6}@@ 对所有域与特征一致，没有导子或高度截断。由此导出一致分裂估计：固定 @@M@@|a|>1@@，对所有素数 @@M@@q\le\exp((\log x)^{0.3})@@，在 Kummer 域 @@M@@K_q=\mathbb{Q}(\mu_q,a^{1/q})@@ 中完全分裂的素数个数 @@M@@\ll_a x/(q(q-1)\log x)+x^{1-10^{-6}}@@，常数与 @@M@@q@@ 无关。此外还有素数构造命题：在固定同余类里能找到 @@M@@\gg x/(\log x)^2@@ 个形如 @@M@@p-1=crQ@@（@@M@@c\in\{2,4\}@@，@@M@@Q>x^{0.9}@@ 素数，@@M@@r@@ 的素因子全落在 @@M@@(\exp(L^{0.1}),\exp(L^{0.3}))@@，@@M@@L=\log x@@）的素数。
整体是”先造素数、再拆指数、最后清点损失”的组装。先看指数约化：@@M@@a@@ 不是模 @@M@@p@@ 的原根，当且仅当某素数 @@M@@q@@ 整除指数 @@M@@i_p(a)=(p-1)/\ord_p(a)@@。取 @@M@@M=8\prod_{\ell\mid a}\ell@@，用二次互反律（含 @@M@@d_0\in\{-1,\pm2,\pm3,\pm6\}@@ 的补充定律表）选一个同余类 @@M@@u\bmod M@@，使该类中素数满足 @@M@@(a/p)=-1@@；由 Euler 判据 @@M@@a^{(p-1)/2}\equiv-1\pmod p@@，指数必为奇数，先排除 @@M@@q=2@@。构造命题再供给 @@M@@\gg_a x/L^2@@ 个 @@M@@p\equiv u\pmod M@@、@@M@@p-1=crQ@@ 的素数，于是剩余的指数素因子只能落在 @@M@@rQ@@ 里，分两段排除：若 @@M@@q=Q@@，则 @@M@@p@@ 整除某个 @@M@@a^j-1@@（@@M@@j\le2x^{0.1}@@），这些整数的乘积之对数仅 @@M@@\ll_a x^{0.2}@@，损失 @@M@@O_a(x^{0.2}/L)=o(x/L^2)@@ 个；若 @@M@@q\mid r@@，分裂判据说 @@M@@p\equiv1\pmod q@@ 且 @@M@@a^{(p-1)/q}\equiv1\pmod p@@ 等价于 @@M@@p@@ 在 @@M@@K_q@@ 中完全分裂，逐个套用一致分裂估计再求和，@@M@@\sum_{m>\exp(L^{0.1})}1/(m(m-1))@@ 的尾部与 @@M@@x\exp(-\delta_0L+L^{0.3})@@ 均为 @@M@@o(x/L^2)@@。两项损失扣除后仍剩 @@M@@\gg_a x/L^2@@ 个指数为 @@M@@1@@ 的素数。一致分裂估计的来历是：@@M@@K_q@@ 未必分圆，故取 @@M@@F_q=\mathbb{Q}(\mu_{12q})@@、复合 @@M@@\widetilde K_q=K_qF_q@@，用 Abel 扩张的 Artin 分解把 @@M@@\zeta_{\widetilde K_q}@@ 拆成 @@M@@F_q@@ 上 Hecke @@M@@L@@-函数之积，每个因子都被一致零自由定理覆盖，零点自由性随之”下降”到 @@M@@\zeta_{K_q}@@；再用一条误差仅线性依赖 @@M@@\log D+n@@ 的光滑显式公式，把宽度 @@M@@\delta_0@@ 的无零点区域转成与 @@M@@q@@ 无关的素理想计数上界。解析核心即 Hecke 零点自由定理：在 @@M@@F@@ 上取 Kazhdan–Patterson 三次 theta 系数做六次 Kummer 挠，用反射与 Poisson 求和两种方式估计同一个加性平均。反射一侧，挠中赋值为一的素与无平方系数素相互作用时六次指数为 @@M@@1@@ 与 @@M@@-4@@，模 @@M@@6@@ 之和为 @@M@@3@@，交互退化为二次型，由数域形式的 Heath-Brown 二次大筛法控制；Poisson 一侧，相对范数公式把三次 Gauss 相位的立方等同于 Hecke 特征值，主频首项恰是目标 @@M@@L@@-函数倒数的局部因子，其余局部项组成全纯不消失的修正因子；导体大筛法与零点检测压住非主频。两估计相减所得的幂节省使主逆 Mellin 积分越过 @@M@@\re s=1@@ 延拓，从而排除零点；全程用理想范数让数值指数与 @@M@@F@@ 的次数无关——这正是”一致宽度”的来源。素数构造则靠 Bombieri–Vinogradov 分布、Brun–Hooley 分块筛与 Buchstab 最小素因子恒等式保住正筛余量，同余条件经 Dirichlet 特征展开后融入双线性估计。
本族主结果暂无 Lean 形式化证明，请以社区核验为准；OpenAI 官方声明”未经形式化的结果可能有问题”。论文多处倚重同批姊妹稿：标记双线性估计取自《The Poisson–Dirichlet law for the prime factors of @@M@@p-1@@》，反射与 Poisson 探针机制承接《The Quasi-Riemann Hypothesis》。姊妹篇《Simultaneous primitive roots》把本文的四个解析与筛法输入列为显式假设并推出联立原根下界，族内结果环环相扣，但也意味着整体可信度需随这批手稿一并通过审查。
问 1：证明里最脆弱的一环是哪里？
（答：Hecke 零自由定理（Theorem 1.2）。对含 μ₁₂ 的分圆域上的有限阶 Hecke 特征，用六次 Kummer 挠下的三次 theta 系数做探针，反射与 Poisson 求和两种方式估计同一加性平均，幂节省使主逆 Mellin 积分越过 Re s=1 排除零点。其中”理想范数使数值指数与域的次数无关”是全篇一致性的命门——正是它把宽度 10^{-6} 做成对所有域统一。）
问 2：可容许性为什么不能去掉？
（答：这是必要性而非技术方便：−1 的阶至多为 2；非零平方数模奇素数的阶整除 (p−1)/2，永远当不了原根（除有限例外）。论文引言明确把这两条列为无穷多个原根行为的必要条件。）
问 3：为什么只得 x/(log x)²，而非 Artin 预测的 x/log x？
（答：组装链条有双重筛法损耗：素数构造先限定 p−1 = crQ 的特殊形状（丢掉大部分素数），指数排除再逐段扣除。对”无穷性断言”这已足够；完整渐近式仍需 Hooley 路线在 Kummer 域上的 GRH 级信息，论文未声称。值得注意的是下界在每个二进区间一致成立，比单纯无穷强。）
问 4：与已有工作相比真正的新意是什么？
（答：此前无条件结果都无法指认基数：Gupta–Murty 造 13 个整数保证其一成立，Heath-Brown 证至多两个素基数失效，Klurman–Shparlinski–Teräväinen 的平均结果例外集随 x 变动。本文首次对每个指定可容许基数（含 2）无条件落实，机制核心是零点自由区域宽度对域与特征一致、无导子截断——这是从”存在性”跨到”指认”的关键一跃。）
问 5：AI 生成证明最可能的出错模式？
（答：三处高危：其一，Kazhdan–Patterson theta 的 Whittaker 归一化（原始文献自带更正启事），附录的局部计算极易差一个因子；其二，六次互反选取无补充因子的生成元、挠指数 1 与 −4 模 6 之和退化为二次交互的数细节；其三，对姊妹稿（Quasi-RH、Poisson–Dirichlet）的引用形成环环相扣的依赖网，一损俱损。本篇未形式化，且反射/Poisson 探针机制承接自未验证的姊妹稿，整体风险须按批评估。）
问 6：下游谁会用到它？
（答：直接下游是姊妹篇《Simultaneous primitive roots》，它把本文的四个解析与筛法输入列为显式假设推出联立原根下界。更大范围内，一致的 Hecke 零自由区域是超越 Artin 问题的工具：任何需要在变化数域族上一致控制素理想分布的问题（指数和、筛法中的分布水平）都可能受益。指定基数 2 的无穷原根性也终于无条件落定。）
总评
这是把 Artin 猜想无穷性断言从”若干基数中至少一个”推进到”每个指定基数”的里程碑式工作，一致零自由区域的思路确属突破；但其证明横跨 theta 函数、谱分解与高维筛法且深度依赖同批姊妹稿、整体未形式化，最大风险在探针机制与跨稿依赖，须按整批手稿统一核验。