On the Least Colossally Abundant Exception to Robin's Inequality

基本信息

• 论文ID: 2510.23889
• 标题: On the Least Colossally Abundant Exception to Robin's Inequality
• 作者: Bruce Zimov (Calimesa Research Institute, Calimesa, CA, USA)
• 分类: math.NT (数论)
• 发表时间: 2025年10月27日
• 论文链接: https://arxiv.org/abs/2510.23889v1

摘要

本文研究Robin不等式的例外情况与黎曼假设之间的关系。Robin不等式断言对于$n > 5040$，有$G(n) < e^γ$成立。Robin还证明，如果黎曼假设为假，则存在无穷多个$n$使得$G(n) > e^γ(1 + \frac{c}{(\log n)^b})$。本文通过分析连续的巨丰富数(Colossally Abundant Numbers)$m$和$n$之间的素数或半素数商$\frac{n}{m}$（其中$m$满足Robin不等式而$n$违反它），证明了如果黎曼假设为假，则最小的CA反例$n$必须被约束在带状区域$e^γ < G(n) < e^γ(1 + \frac{c}{(\log n)^b})$内，其中$0 < b < 1/2$，即被排除在更高阈值之外的无限集合之外。

研究背景与动机

1. 要解决的核心问题

本文研究Robin不等式的反例结构，特别是最小巨丰富数反例的上界约束问题。具体而言：

• Robin不等式：$G(n) = \frac{σ(n)}{n \log(\log n)} < e^γ$（对于$n > 5040$）
• 该不等式等价于黎曼假设（RH）
• 如果RH为假，则存在违反该不等式的反例

2. 问题的重要性

• 黎曼假设是数学中最重要的未解决问题之一
• Robin在1984年建立了黎曼假设与特定不等式的等价性
• 如果能证明不存在巨丰富数反例，则可无条件证明黎曼假设
• 理解反例的结构对于判断黎曼假设的真伪具有关键意义

3. 现有研究的局限性

• Akbary和Friggstad (2009)证明了最小反例必是超丰富数(superabundant number)
• Broughan (2017)证明了反例若存在必是巨丰富数
• Robin (1984)证明了若RH为假，存在无穷多个$n$满足$G(n) > e^γ(1 + \frac{c}{(\log n)^b})$
• 但现有研究未能确定最小反例是否属于这个无限集合

4. 本文的研究动机

通过分析连续巨丰富数之间的结构关系（它们的商只能是素数或两个不同素数的乘积），推导出从满足不等式的$m$到违反不等式的$n$之间$G$函数增长率的精确上界，从而排除最小反例属于Robin定理中无限集合的可能性。

核心贡献

1. 主要理论结果：证明了如果黎曼假设为假，最小巨丰富数反例$n$必须满足： $e^γ < G(n) < e^γ\left(1 + \frac{c}{(\log n)^b}\right), \quad 0 < b < 1/2$
2. 排除性结果：证明了最小CA反例不能属于Robin定理7中描述的无限集合（即那些满足更强下界的数）
3. 结构分析方法：通过系统分析连续巨丰富数商的所有可能情况（新素数、已有素数、半素数的四种组合），精确确定了$G$函数增长率的最慢衰减项
4. 渐近分析技术：建立了五个关键引理，精确刻画了双对数比、素因子与对数的关系、以及丰度指数比的代数形式
5. 理论意义：为进一步缩小反例搜索空间提供了理论基础，对最终证明或否证黎曼假设具有潜在价值

方法详解

任务定义

设$m$和$n$是连续的巨丰富数，其中：

• $m$满足Robin不等式：$G(m) < e^γ$
• $n$违反Robin不等式：$G(n) ≥ e^γ$
• $n$是最小的巨丰富数反例

研究目标：确定$G(n)$的上界，判断$n$是否可能属于Robin定理7中的无限集合。

理论框架

关键定义

巨丰富数（CA数）：正整数$n$是CA数，如果存在指数$ϵ > 0$使得对所有正整数$k$： $\frac{σ(k)}{k^{1+ϵ}} ≤ \frac{σ(n)}{n^{1+ϵ}}$

Robin函数： $G(n) = \frac{σ(n)}{n \log(\log n)}$

基础定理体系

论文依赖以下已知结果：

1. 定理1（Broughan 2017）：若Robin不等式的反例存在，则存在CA数反例
2. 定理2（Broughan 2017）：连续CA数的商$Q = \frac{n}{m}$只能是素数或两个不同素数的乘积
3. 定理5（Alaoglu-Erdős 1944）：超丰富数$n$的最大素因子$p$满足$p \sim \log n$
4. 定理7（Robin 1984）：若RH为假，设$θ$为非平凡零点实部的上确界（$θ > \frac{1}{2}$），则对任意$b \in (1-θ, \frac{1}{2})$，存在正常数$c$使得无穷多个$n$满足： $G(n) > e^γ\left(1 + \frac{c}{(\log n)^b}\right)$

核心引理系统

引理1：双对数比的渐近行为

对于连续CA数$m$和$n$（$n > m$）： $\frac{\log(\log m)}{\log(\log n)} = 1 + o(1)$

证明思路：

• 设$m = \frac{n}{Q}$，其中$Q$是素数或半素数
• 由定理5，$\log Q = O(\log(\log n))$
• 使用Taylor展开：$\log(1-x) = -x + O(x^2)$
• 误差项$\frac{\log Q}{\log n \log(\log n)} \to 0$

引理2：素因子与对数幂的关系

对于CA数$n$的最大素因子$p$和固定常数$0 < b < 1/2$： $\frac{(\log n)^b}{p} = O((\log n)^{b-1})$

证明关键：

• 由$p = \log n(1 + o(1))$
• $\frac{(\log n)^b}{p} = (\log n)^{b-1}(1 + o(1))$
• 因为$b < 1/2$，所以$b-1 < 0$，该项趋于0

引理3：约数和函数的加速衰减

$\frac{(\log n)^b}{pσ(p^{a_p})} = o\left(\frac{(\log n)^b}{p}\right)$

证明：利用$σ(p^{a_p}) ≥ 1 + p$，比值$\frac{1}{σ(p^{a_p})} \to 0$

引理4：单素数商的丰度指数比

对于$\frac{n}{m} = p$（单素数）：