← 返回 Mersenne 主笔记 · 用 Template 2 v2 流程

命题 2 — $M_p$ 大素因子比例下界

深入研究：发散 → 文献 → 研究主体 → 4 类专家评议 → GO/NO-GO 决策

0. 命题陈述

条件命题（GRH + Artin 原根猜想下）：对正密度的素数 $p$，$M_p = 2^p - 1$ 存在素因子 $q$ 满足

$$q \;>\; M_p^{1/2 + 1/100}.$$

定位：条件可攻；初步工具椭圆曲线 Frobenius 迹（$E: y^2 = x^3 - x$）+ Weil 界 + Chebotarev 密度定理（GRH 版）+ Artin 排除全光滑情形。意义：将 Stewart 1977 的下界 $q \geq p \log p$（趋零比例）提升至固定正常数 $\delta = 1/2 + 1/100$，是文献的明确空白。

1. 发散层：思路探索 + 排名 + 数值哨兵

1.1 五个角度的核心结论

5 个 L1.angle agent 各攻一条路径，每条产出含 status 标记：

• 角度 A — 椭圆曲线 Frobenius 迹（warn）：CM 椭圆曲线 $E: y^2 = x^3 - x$ 的 Frobenius 迹满足 $|a_q| \leq 2\sqrt{q}$，但单个因子 $q$ 无法被"放大"到 $M_p^{1/2+1/100}$ 量级。Lang–Trotter 给的是密度估计，从密度到具体大因子缺桥。
• 角度 B — Chebotarev 密度（ok）：在 Kummer 扩张 $L_p = \mathbb{Q}(\zeta_{2p}, 2^{1/p})$ 上，Galois 群 $|G| = p(p-1)$，GRH + Lagarias–Odlyzko 给本原素数的密度估计。"密度 $\to$ 整除性 $\to$ 大因子"末端拼接缺工具，但这是唯一具完整攻击框架轮廓的路径。
• 角度 C — Artin 原根（ok 但路径死亡）：发现 Artin 实质失效 — $M_p$ 的因子 $q$ 必满足 $\mathrm{ord}_q(2) = p < q-1$，即 2 在每个 $q$ 上天然不是原根。Artin 框架与 Mersenne 因子集合正交。Linnik 副产品有参考但不够。
• 角度 D — 初等结构（warn，反例）：$M_{29} = 233 \times 1103 \times 2089$ 最大因子比例仅 $\log 2089 / \log M_{29} \approx 0.374 < 0.51$。反例与"正密度"陈述相容。但揭示：$\omega(M_p) = 2$ 半素数情形可初等证明大因子 $\geq M_p^{1/2}$，$\omega \geq 3$ 因子均匀情形构成挑战。
• 角度 E — Stewart 路径（FAIL）：Baker 线性型给的是 $q > p^{2-\varepsilon}$ 多项式下界，命题 2 要的是 $q > M_p^{0.51} = 2^{0.51 p}$ 指数下界。中间差着所有已知 Baker 框架的精度。本路径根本性不可行。

1.2 候选思路打分排名

排名	候选思路	来源 / status	可证	新颖	意义	工具	总分
1	B-main：Chebotarev + large sieve 联合均值论证 — 对 $p \in [P, 2P]$ 平均，用 large sieve 约束"$M_p$ 是 $y$-光滑"的可能性，结合 Kummer 扩张 Frobenius 计数排除正密度的 $p$ 使 $P^+(M_p) \leq M_p^{1/2+\varepsilon}$。	角度 B / ok	3	4	5	3	15
2	D-semiprime：$\omega(M_p) = 2$ 半素数情形完全初等 — $q_1 \geq 2p+1$，$q_1 q_2 = M_p$，强制 $q_2 \geq M_p^{1/2}$；因子约束 $q \equiv \pm 1 \pmod 8$, $q = 2kp+1$ 排除 $q_1 \in [M_p^{49/100}, M_p^{1/2}]$，提升至 $q_2 > M_p^{1/2+1/100}$。	角度 D / warn	4	3	3	4	14
3	B-Galois：Kummer 扩张 Galois 群结构 + Linnik 型下界（B-main 的无条件辅助分支）	角度 B / ok	3	3	4	4	14
4	A-supersingular：超奇异迹 $a_q = 0$ + $p \mid q+1$（Deuring CM 定理），Lang–Trotter 密度	角度 A / warn	2	5	4	2	13
5	C-Linnik：算术级数 $q \equiv 1 \pmod p$ 最小元素 + smooth 约束	角度 C / ok（部分）	3	2	3	4	12
6	E-Baker：Stewart 2013 精细化（$p$-adic 线性型 + Baker/Yu）—— 多项式 vs 指数量级鸿沟	角度 E / FAIL	1	2	3	4	10
7	C-Artin 直接：2 是 $q$ 原根 ⟹ 大因子 — 逻辑矛盾，路径死亡	角度 C / FAIL	1	1	2	2	6
8	C-Dickman：光滑数启发式 $\rho(u)$ 反证 — $\rho(2) \approx 0.307$，模型不合法	角度 C / FAIL	1	1	2	1	5

1.3 推荐攻克目标（前 3 名评语）

1.4 数值哨兵：实证下的"正密度"断言

L1.sentinel agent 用 sympy 完整分解 $M_p$（$p \leq 127$），统计 $\log P^+(M_p) / \log M_p > 0.51$ 的 $p$ 占比。

样本	通过 $> 0.51$	总数	比例	口径
全样本（含 Mersenne 素数）	20	26	0.769	偏高（Mersenne 素数自动 = 1）
仅合数 $M_p$（honest 指标）	8	14	0.571	真正反映"典型情形"

失败案例（$M_p$ 合数且最大因子比例 $\leq 0.51$）：$p = 29, 43, 47, 53, 71, 79$ — 全部属于 $\omega(M_p) = 3$ 情形，三因子大小相近导致最大因子偏小。$\omega = 2$ 情形 5/6 通过（83%）。

1.5 Coordinator 决策

2. 分析层：arXiv 文献调研

L2.search 跑 12 个 arxiv 查询（5 秒间隔），下载 7 篇 PDF 至 reference_mersenne_research/prop2/papers/。L2.reader 逐篇分析。

2.1 关键论文逐篇分析

1. Stewart 2010 — Divisors of Lucas/Lehmer numbers [本地 PDF] ⭐ 最关键

主定理（无条件）：对充分大 $n$，

$$P^+(2^n - 1) \;>\; n \exp\!\left(\frac{\log n}{104 \log\log n}\right).$$

对命题 2 的差距：Stewart 给的是多项式量级 $\sim p \cdot e^{c/\log\log p}$；命题 2 要的是指数量级 $\sim 2^{0.51 p}$。差距 $\sim 2^{0.5p}$ 倍。技术：$p$-adic 对数线性型（Baker 理论），无 GRH，但本质受"$p$-adic 对数阶"限制无法突破多项式壁垒。

2. Sgobba 2021 — Order of reductions divisibility [本地 PDF] ⭐ B-main 工具

主定理（无条件）：对数域 $K$，有限生成子群 $G \subset K^\times$，正整数 $m$：

$$\#\{p \leq x : m \mid \mathrm{ord}_p(G)\} \;\sim\; \delta_m \cdot \pi(x)$$

给出精确自然密度 $\delta_m$，全部无条件（含 Theorem 10：cyclotomic-Kummer 扩张无条件 Chebotarev）。

对命题 2 的贡献：不含"$M_p$ 有大素因子"陈述，但提供 B-main 所需 Kummer + Chebotarev 工具。$G = \langle 2 \rangle$ 时可控 "$q \equiv 1 \pmod p$ 且 $2$ 是 $q$ 的 $p$ 次剩余"密度。缺桥：从 "$q \mid M_p$" 到 "$q > M_p^{1/2+\varepsilon}$" 的量级跳跃。

3. Engberg–Pollack 2020 [本地 PDF]

GRH + 弱 EHC 下 $\max_{n\leq x}\sum_{p\mid 2^n-1}\frac{1}{p}$ 精确渐近。不含 $P^+(M_p)$ 下界，但技术（GRH + Artin/Hooley）是 B-main 组成部分。

4. Fan–Pollack 2025 [本地 PDF]

GRH 下均匀 Artin 公式：$\pi(x; g) \sim A(g) \pi(x)$ 对所有非平方非 $-1$ 整数 $g$ 一致成立。提供 B-main 所需均匀 Hooley 渐近。不直接给 "$q > M_p^{1/2+\varepsilon}$" 存在性。

5. Ford–Luca–Shparlinski 2007 [本地 PDF]

无条件：$\sum_{n\geq 1} (\log n)^\alpha / P^+(2^n - 1)$ 对 $\alpha < 1/2$ 收敛。证明"几乎所有 $M_n$ 没有太小最大素因子"，但量级远低于 $2^{0.51p}$。

次要：Granville 2012 [PDF] + Pomerance 2024 [PDF]

Granville 给 Lucas 序列 primitive 因子存在性（无大小下界）。Pomerance 处理 cyclotomic primes $\Phi_m(2)$。

2.2 命题 2 在文献中的地位

2.3 B-main 路径的工具就绪度（基于文献）

组件	来源	就绪度
Kummer 扩张 $L_p / \mathbb{Q}$ 结构（$|G| = p(p-1)$）	标准代数数论	✓ 完全
无条件 Chebotarev 密度	Sgobba 2021 Thm 10	✓ 完全
GRH 版有效 Chebotarev 误差	Lagarias–Odlyzko 1977	✓ 完全
Artin / Hooley 均匀渐近	Fan–Pollack 2025	✓ 完全
Mersenne 因子倒数和精确渐近	Engberg–Pollack 2020	✓ 完全（GRH 下）
"光滑性 + Chebotarev 联合矛盾"末端拼接	无	✗ 缺
从因子分布到最大因子大小的提取	无	✗ 缺

2.4 D-semiprime 路径的可证性

"$\omega(M_p) = 2$ 的 $p$ 有正密度"无文献支撑。可能本身就是开放问题。L1 阶段乐观估计（"工具完全就绪"）需修正 — 可证的是"给定$\omega(M_p) = 2$ 时大因子 $> M_p^{1/2}$"（trivial），但"$\omega(M_p) = 2$ 的频率"是独立的开放问题。

2.5 关键非 arXiv 文献

• Stewart 1977：C.L. Stewart, "Primitive divisors of Lucas and Lehmer numbers", in Transcendence Theory, Academic Press 1977. — Stewart 2010 的前身。
• Murata–Pomerance 2004：L. Murata, C. Pomerance, "On the largest prime factor of a Mersenne number", in Number Theory, CRM Proc. Lecture Notes 36. — GRH 下 $P^+(2^n-1) > n^{4/3}/\log\log n$。
• Lagarias–Odlyzko 1977：J.C. Lagarias, A.M. Odlyzko, "Effective versions of the Chebotarev density theorem", in Algebraic Number Fields, Academic Press, 1977. — GRH 版 Chebotarev 误差。
• Yu 1989：K. Yu, "Linear forms in $p$-adic logarithms II/III", Compositio Math. 1989+. — Stewart 用的 $p$-adic Baker 工具。

2.6 是否继续 L3？

3. 执行层：研究主体（数值 / 证明 / 对手 / 文献核实）

L3 派出 6 个 agent 并行：1 数值扩展、2 prover（B-main + D-semiprime）、1 advocate（实时对手）、2 lit-integrator（Sgobba 和 Stewart 精确核实）。所有人都标记了 gap 或 challenge。

3.1 数值扩展（L3.numerical）

把 L1.sentinel 的 14 合数样本扩展到 $p \leq 200$ 的 28 个完整分解（嵌入 Cunningham / factordb 数据），加 6 个部分下界。

统计	L1 ($p \leq 127$)	L3 ($p \leq 200$)
合数完整样本	14	28
通过 $> 0.51$ 比例	0.571 (8/14)	0.679 (19/28)
全样本（含 Mersenne 素数）	0.769	0.696

3.2 形式化证明草稿（L3.prover）

B-main 路径：Chebotarev + large sieve

D-semiprime 路径：$\omega(M_p) = 2$ 情形

3.3 对手反驳记录（L3.advocate，新增）

3.4 文献核实记录（L3.lit-integrator，新增）

3.5 程序与 run log

• reference_mersenne_research/prop2/code/L1_sentinel.py — L1 数值哨兵，14 合数样本
• reference_mersenne_research/prop2/code/L3_numerical.py — 扩展到 $p \leq 200$，含 Cunningham 嵌入数据
• logs/L1_sentinel.log, logs/L3_numerical.log

3.6 L3 阶段综合判定

4. 审核层：4 类专家评议

L4 派出 4 类资深专家并行审稿。投票结果触发 v2 kill switch 规则（≥3 票重大缺陷）。

4.1 解析专家（L4.analyst）— REJECT

L4.analyst 关注 GRH 论证的有效性、L 函数估计、large sieve 应用。核心结论：

• 步骤 2（计算 $|\mathcal{Q}_p|$）技术上正确：$d_{L_p} \sim \exp(p^2 \log p)$，Lagarias–Odlyzko 误差 $O(2^{0.255p} \cdot p^2 \log p)$，主项 $\sim 2^{0.51p}/p^2$ 占优。但这个量本身不推进目标 — $|\mathcal{Q}_p|$ 是"潜在因子集合大小"，与"$M_p$ 实际最大因子大小"是不同方向的命题。
• 步骤 3 末端缺口：Granville–Soundararajan large sieve 处理全体正整数上的乘法函数，不适用于稀疏指数序列 $\{M_p\}$。Mersenne 数因子有 $q \equiv 1 \pmod p$ 强算术约束，无法建标准 Euler 乘积分解。需要独立论文级新工具。
• Sgobba 鸿沟是真鸿沟：密度 $\to$ 大小不可由 Granville–Pomerance 跨越（处理随机整数 vs 强代数约束的 $M_p$）。
• 命题 2 是超越 GRH 的命题：现有最强工具链上界依次 — 无条件 $p^{1+o(1)}$、GRH 下 $p^{4/3}$、abc 下 $p^{2-\varepsilon}$ — 全是多项式。命题 2 的指数下界 $2^{0.51p}$ 与之差异是量级问题，不是技术困难。

4.2 代数专家（L4.algebraist）— FIXABLE（代数层）/ 但承认分析层 gap

• Kummer 扩张 $L_p / \mathbb{Q}$ 的 Galois 群精确是 $\mathrm{Aff}(\mathbb{F}_p) = (\mathbb{Z}/p\mathbb{Z})^* \ltimes \mathbb{Z}/p\mathbb{Z}$（仿射群，阶 $p(p-1)$）。
• "$q \mid M_p$" 与 Frobenius $\sigma_q \in L_p$ 的对应：$\sigma_q$ 在阶 $p$ 共轭类，密度 $1/p$。Möbius 容斥可适配本原条件。
• 椭圆曲线（角度 A）路径代数失连 — $E: y^2 = x^3 - x$ 的 Frobenius 与 $M_p$ 因子无机制联系。应放弃。
• 判定：代数框架无原理错误，可修复；但承认核心 gap 在分析层不在代数层。从 Chebotarev 密度到 $M_p$ 单因子指数大小下界的鸿沟，Sgobba / GRH / abc 任一框架都无已知桥梁。

4.3 数值专家（L4.numerist）— WEAK（弱支持）

• 样本代表性偏差：28 完整分解中大 $p$ 段（97–199）半素数占 71% vs 小 $p$ 50% — 因为 $\omega \geq 3$ 的大 $p$ 案例几乎全未完整分解，被降级为下界后排除。完整样本是 semiprime 富集的虚假结构。
• 嵌入数据：3 个分解乘积验证通过（$p = 97, 137, 157$），可信但缺来源 URL，可追溯性存疑。
• Wilson 95% CI = [0.493, 0.821]：下端 0.493 < 0.5，不能排除"真实密度 = 0.5"假设；远低于 1.0，可排除"全部成立"。28 样本无法区分 0.5 / 0.7。
• $\omega \geq 3$ 子样本（11 个）严重不足：$\omega = 4$ 仅 1，$\omega = 5$ 仅 3，无统计意义。
• $p \to \infty$ 趋势不可观测：Erdős 框架预言 semiprime 密度 $\sim 1/\log p \to 0$，但样本收录偏差遮蔽趋势。

4.4 对手专家最终评议（L4.advocate）— REJECT + 建议 KILL

• 致命问题一：指数 vs 多项式不可弥合。命题 2 要 $2^{0.51 p}$，全部已知工具最多给 $p^{O(1)}$。差异以指数速率扩大。不是技术困难，是质的不同。
• 致命问题二：GRH + Artin 是幌子。Hooley/Artin 关心"2 作为原根的密度"（关于 $p$），命题 2 关心"$M_p$ 最大因子大小"（关于 $q \mid M_p$）。两者从未在文献中建立机制联系。
• 致命问题三：两条证明路径都死路 — B-main 三个独立核心 GAP；D-semiprime 依赖"$\omega = 2$ 正密度"这一本身开放问题（启发式倾向密度 $= 0$）。

4.5 综合判定 — KILL switch 触发

5. 总结层：4 问 4 答 + GO/NO-GO 决策

5.1 是否解决 Mersenne 无穷？

否，且不相关。命题 2 研究的是合数 $M_p$ 的因子结构（最大因子大小），与 Mersenne 素数无穷（$\omega(M_p) = 1$ 出现无穷次）逻辑独立。即便命题 2 完整证明，也不蕴含 Mersenne 无穷。

5.2 Gap 在哪一步？

5.3 发现的新东西

5.4 下一步建议

立即（本周）

• 命题 2 v1 放弃：写否决备忘 + 归档当前材料
• 把 v2 修订版陈述（$P^+(M_p) > p^A$）作为新命题 2'
• 更新 mersenne.html §13.5 指出原命题 2 的指数阈值过强，给出修订版

短期（1 个月）

• 命题 2' (v2)：尝试在 GRH + Hooley-style Artin 下证 $P^+(M_p) > p^A$（$A > 1$）对正密度 $p$。Murata–Pomerance 2004 给 $p^{4/3}$ 是上界（条件 GRH），但他们处理的是 $\max$ 不是"正密度"；需要从 max 推到 typical/positive density 的额外论证。
• 核实 Murata–Pomerance 论文（CRM Proc. Lecture Notes 36）是否含正密度版本

长期（1–3 月）

• 承认命题 2 系列与 Mersenne 无穷无逻辑桥梁
• 转向命题 3（Bateman–Horn 局部性 — 无条件可攻）或命题 4（Chebotarev 反证）
• 命题 5（算术不可压缩性）作为长期 position paper 储备

5.5 决策：weak-GO（v2 修订版）

5.6 v2 流程价值评估（与 prop1 v1 对比）

决策日志：reference_mersenne_research/prop2/decision_log.md 含完整 22 条 agent 状态记录，可作 audit trail。