🔢 mathematics

Factorial Calculi and the Canonical Stirling Defect of the Prime Bhargava Factorial

本文通过分圆与轨道归一化构造了一个规范的无零整函数 $\Gamma_{\mathbb{P}}^{\mathrm{cyc}}$ ，用以插值素数 Bhargava 阶乘，进而确立其反射律，推导出带有精确素数局部误差项的非平滑斯特林公式，并证明了该误差项平方和的一个条件渐近性质。

原作者： Brian Diaz

发布于 2026-07-27

📖 1 分钟阅读🧠 深度阅读

CC BY 4.0

原作者： Brian Diaz

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

想象一下，你正在尝试计算排列一副扑克牌的方法。对于一副标准扑克牌，你需要将 $1 \times 2 \times 3 \dots$ 一直乘到 52。这就是著名的“阶乘”，一种能帮助我们计数组合、预测概率并理解事物增长规律的数学工具。但如果你拥有的不是一副标准扑克牌呢？如果你的牌组仅由质数组成——那些像 2, 3, 5, 7, 11 一样无法再被进一步分解的特殊整数？数学家们长期以来一直在思考：如果我们只用这些特殊的数字来构建一个“质数阶乘”，它是否仍会遵循与标准阶乘一样平滑且可预测的规则？

这个问题存在于数论的世界中，数论是研究整数隐藏模式的一个数学分支。为了回答它，我们需要两种主要的工具。首先是 伽马函数（Gamma function），它就像是一个“超级阶乘”，允许我们计算非整数（如 3.5!）的阶乘，将整数组成的锯齿状阶梯转化为一条平滑流动的曲线。其次是 斯特林公式（Stirling's formula），这是一个著名的捷径，它告诉我们在数字变得极大时阶乘会如何增长，将一个庞大的乘法问题转化为一个涉及对数和平方根的简单方程。巨大的谜团在于：当我们换成质数时，这条平滑的曲线是否依然存在，以及这个捷径是否仍然奏效？

在这篇论文中，数学家布莱恩·迪亚兹（Brian Diaz）通过从头开始构建一个新的“质数阶乘”来解决这个难题。他不仅仅是在猜测答案；他构建了一个被称为“阶乘微积分”的严谨数学机器，将质数视为蛋糕的层级。他证明了虽然每一层质数表现得都既混乱又破碎，但当你将它们全部堆叠在一起时，它们会形成一个平滑且可预测的整体。随后，他发明了一个特殊的“质数伽马函数”，作为这些质数阶乘的平滑曲线。

该论文的主要发现是，这个新的质数伽马函数是真实且唯一的，并且遵循一个优美的对称规则：如果你将函数在 $z$ 处的值与在 $1-z$ 处的值相乘，结果始终为 1。这是一种类似于标准伽马函数所遵循的“反射律”，证明了质数世界拥有其自身的优雅秩序。然而，论文也揭示了一个转折。虽然该函数是完全平滑的，但实际的质数阶乘与预测的捷径（称为“斯特林缺陷”）之间的差异并不会消失；它在波动。论文证明了这些波动是真实的、未被平滑处理的算术波动，而不仅仅是计算误差。

迪亚兹精确地计算了这些波动的平均大小。他发现，如果你观察直到数字 $X$ 的这些波动的平方，其总量大约按 $X^{1.5} \log X$ 的速度增长。这是一个精确的条件性结果。论文证明，如果关于质数行为的一个特定的、难以攻克的假设（关于复数特征和的“平方根界限”）成立，那么这种增长率就是准确的。如果该假设不成立，增长率可能会有所不同。论文并未声称已经证明了该假设本身；相反，它将问题的整个不确定性都隔离到了这一个明确定义的数学猜想之中。因此，质数阶乘的结构被证明是优美且唯一的，但其最终波动的确切规模，仍在等待最后一块拼图的归位。

技术摘要：阶乘演算与素数 Bhargava 阶乘的正则 Stirling 缺陷

1. 问题陈述与动机

本文研究了素数 Bhargava 阶乘（记作 $(n+1)!_P$ ）的解析延拓与渐近行为。虽然经典的欧拉 $\Gamma$ 函数 $\Gamma(z)$ 在满足递推关系 $\Gamma(z+1)=z\Gamma(z)$ 的解中，通过 Bohr–Mollerup 定理被唯一地刻画为具有正值性和对数凸性的函数，但对于定义在整数子集上的算术阶乘，并不存在类似的直接凸性原理。

具体而言，本文旨在构造一个“正则”全纯 $\Gamma$ 函数 $\Gamma_P(z)$ ，使其能够插值素数 Bhargava 阶乘，满足其精确的递推关系，并拥有定义良好的 Stirling 展开。一个核心难点在于，仅凭递推关系本身，其解构成一个由 1-周期全纯函数构成的“挠乘子”（torsor）。本文试图寻找一种规范化原则，以选择一个唯一的代表元，类似于 Bohr–Mollerup 定理为经典 $\Gamma$ 函数所做的选择，并分析这一选择过程中精确的算术波动。

2. 方法论与框架

本文开发了一个由三部分组成的框架：

第一部分：阶乘演算的范畴论。
作者形式化了一个范畴 FactCalc，其对象是正阶乘数据序列 $F = (F_n)$ 。每个数据定义了一个加权幂级数希尔伯特空间和一个广义导数算子。素数 Bhargava 阶乘并非被视为单一序列，而是作为“原子”估值层的过滤对称单群完成（filtered symmetric-monoidal completion）。
- 原子层： 对于每个素数 $p$ 和整数 $j \ge 0$ ，一个层 $\lambda = (p,j)$ 贡献一个周期性步进因子。
- 完成： 完成后的阶乘 $(n+1)!_P$ 是这些层有限乘积的极限。本文证明，虽然有限层系统表现出指数级增长，但完成后的系统表现出阶乘级增长，因此必须从基于圆盘的解析函数转向全纯函数。
第二部分： $\Gamma$ -提升挠乘子与轨道式 Stirling 选择。
作者分析了将离散阶乘扩展为全纯函数的歧义性。
- 挠乘子结构： 对数递推关系的全部全纯提升构成了由归一化 1-周期全纯函数组成的挠乘子。
- 规范化原则： 本文引入了轨道式 Stirling 规范化（orbitwise Stirling normalization），而非对数凸性。该原则要求“横向缺陷”（即提升函数相对于比较模型的偏差，在平移轨道上取平均）在渐近意义下消失。
- 构造： 利用对称循环求积法（symmetric cyclotomic quadrature），作者构造了一个特定的全纯递推符号 $L^{cyc}_P$ 以及一个 distinguished 提升 $H^{cyc}_P$ 。该提升被证明是挠乘子中唯一满足相对于比较模型 $M_P(z) = \log \Gamma(z) + C_P(z-1)$ 的轨道式 Stirling 条件的元素，其中 $C_P = \sum_p \frac{\log p}{(p-1)^2}$ 。
- 性质： 所得函数 $\Gamma^{cyc}_P(z) = \exp(H^{cyc}_P(z))$ 是无零点的全纯函数，满足递推关系，并遵循欧拉型反射律： $\Gamma^{cyc}_P(z)\Gamma^{cyc}_P(1-z) = 1$ 。
第三部分：未平滑波动分析。
本文分析了“Stirling 缺陷” $R_P(n) = \log(n+1)!_P - \log n! - C_P n$ 的二阶矩。
- 分解： 缺陷被分解为几何对角项和非对角协方差项。
- 约简： 通过使用 Vaughan 恒等式、Poisson 求和公式和导体下降法（conductor descent），作者将方差问题约简为一个“中心化亚临界 Vaughan 矩”。
- 条件性： 所有结构组成部分（ $\Gamma$ 函数、反射律、对角常数）均被证明是无条件的。最终的渐近方差取决于一个关于中心化特征和抵消的特定猜想。

3. 主要贡献与结果

范畴化实现： 素数 Bhargava 阶乘被严格定义为原子估值演算的有界射影极限，从而建立了“阶乘演算”框架，该框架推广了经典的微分演算。
正则 $\Gamma$ 函数： 构造了 $\Gamma^{cyc}_P(z)$ $Γ_{P}^{cy c} (z)$ ，这是第一个针对素数 Bhargava 阶乘的正则全纯 $\Gamma$ $Γ$ 函数。它满足：
- $\Gamma^{cyc}_P(m) = m!_P$ 对于整数 $m \ge 1$ 。
- 反射律 $\Gamma^{cyc}_P(z)\Gamma^{cyc}_P(1-z) = 1$ 。
- 中点值 $\Gamma^{cyc}_P(1/2) = 1$ 。
未平滑 Stirling 展开： 本文推导出了素数阶乘的一个精确、未平滑的 Stirling 公式：
$\log(n+1)!_P = n \log n + (C_P - 1)n + \frac{1}{2}\log(2\pi n) + R_P(n) + O(1/n)$
其中 $R_P(n)$ 是一个具有绝对收敛素数局部展开式的显式算术差异。
方差渐近性： 本文证明了缺陷的二阶矩行为满足：
$\sum_{n \le X} R_P(n)^2 \sim -\frac{4}{3}\zeta\left(-\frac{1}{2}\right) X^{3/2} \log X$
该结果依赖于 猜想 1.6（亚临界中心化 Vaughan 矩），该猜想断言涉及截断 Möbius 函数和素数权重的特定中心化特征和具有平方根量级的界。
正积分的不存在性： 本文证明了不存在关于 $\Gamma^{cyc}_P$ 或其倒数的正 Euler–Mellin 表示，因为该序列未能满足 Hankel 正定性条件。这启发了对符号、分布或轮廓积分表示的猜想。

4. 意义与主张

本文声称为素数 Bhargava 阶乘提供了一套完整的结构与解析理论，回答了 Bhargava 在其 2000 年著作中提出的特定问题（问题 31 和 33）。

结构统一： 它将算术阶乘、广义指数和 $\Gamma$ 函数统一在“阶乘演算”这一单一的范畴化框架内，区分了形式多项式共轭与解析有界性。
规范化理论： 它确立了轨道式 Stirling 刚性（orbitwise Stirling rigidity）作为算术递推关系的正确 Bohr–Mollerup 类比，从而在不依赖凸性的情况下选择了一个唯一的解析延拓。
波动的精确度： 它分离了素数阶乘方差的不确定性来源。论文指出，“范畴化构造、正则延拓、反射律和 Stirling 展开是无条件的”，而方差渐近性的条件性则“孤立在一个单一的谱估计中”。
算术与解析： 该工作强调，素数阶乘的“Stirling 行为”是完成过程的一种现象；它在有限层系统中是不可见的，仅在取无限个估值层的乘积后才会显现。

总而言之，本文构造了一个 distinguished 全纯函数 $\Gamma^{cyc}_P$ ，作为素数 Bhargava 阶乘的正则 $\Gamma$ 函数，证明了其基本的泛函方程，并推导出了其算术误差项的精确渐近方差，且该结果仅取决于解析数论中一个特定的、狭窄的猜想。

类似论文