🔢 mathematics

The Riemann $Ξ$ -function from primitive Markovian cycles I: A canonical construction

本文通过离散结构上有限且可逆的马尔可夫循环，经由产生正则拉盖-波利亚函数的标度极限重整化，构建了黎曼 $\Xi$ -函数，从而完全通过阿基米德方法（而不依赖于素数或欧拉乘积）推导出了经典的西塔核及其相关的 $\Xi$ -函数。

原作者： Douglas F. Watson

发布于 2026-02-03

📖 1 分钟阅读🧠 深度阅读

原作者： Douglas F. Watson

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

核心思想：用乐高积木打造杰作

想象你有一盒简单、相同的乐高积木。你对复杂的建筑、艺术或数学史一无所知。你只知道如何将这些积木按照简单的、重复的模式拼凑在一起。

这篇论文提出了一个大胆的问题：如果你仅从这些简单的、局部的规则（即“乐高积木”）出发，你是否会“不小心”构建出像黎曼 $\Xi$ -函数（Riemann $\Xi$ -function）这样著名且复杂的结构？

黎曼 $\Xi$ -函数是一个与素数分布（算术的基础构建块）深度相关的数学对象。通常，为了得到这个函数，数学家会从素数本身出发。而这篇论文声称，你不需要素数。你只需要观察一个粒子在圆周上简单的跳动，就能得到它。

四步走的故事

作者道格拉斯·F·沃森（Douglas F. Watson）带我们经历了一个构建过程的四个阶段。

第一步：跳动的粒子（原始输入）

想象一个微小的粒子在由 $N$ 个点组成的圆形轨道上前后跳动。

规则： 粒子随机向左或向右跳动。这是一个“马尔可夫过程”（Markov process），这只是一个高级说法，意思是指粒子的下一步移动仅取决于它当前的位置，而不取决于它一小时前在哪里。
规模： 轨道很小且是离散的（就像数字时钟）。
魔力： 当我们让轨道变得无限大、跳动变得无限小时，粒子的运动就不再看起来像是数字化的跳跃，而开始看起来像水流或热量的平滑流动。这被称为“标度极限”（scaling limit）。

第二步：热波（Theta 级数）

当粒子在圆周上扩散（diffuse）时，它会产生一种“热模式”。

在数学中，这种模式由 Theta 级数（Theta Series）来描述。你可以把这想象成一个音乐和弦。尽管粒子最初是在一个简单的圆上运动，但它发出的声音（描述其扩散程度的数学形式）却是一个复杂的、重复的波。
论文表明，如果我们精确地调整圆的大小（一种“自对偶归一化”），这种热模式就具有完美的对称性：如果你把时间向前或向后翻转，模式看起来完全一样。这是一种罕见且优美的特性。

第三步：镜子与过滤器（全正性）

现在，作者对这种热模式进行了变换。

变换： 他将坐标从“时间”转换为“对数时间”（想象一下在缩放比例尺上测量时间）。这把热模式变成了一种新的形状，称为对数核（Logarithmic Kernel，我们称之为 $\Phi$ ）。
镜子： 由于第二步中存在的完美对称性，这个新形状 $\Phi$ 具有特殊的“镜像”属性。如果你对着镜子看它，它会在特定的线上完美反射。
过滤器（全正性/Total Positivity）： 论文证明了这个形状 $\Phi$ $Φ$ 是“全正的”。
- 类比： 想象一个过滤器，它只允许“纯净”的信号通过。如果你将这个形状与其他任何东西混合，它永远不会产生“负面”或混沌的涟漪；它只会让事物变得更加平滑。
- 结果： 因为它如此“守规矩”（全正），一个著名的数学定理（Schoenberg–Edrei–Karlin 定理）告诉我们，这个形状的“指纹”（其拉普拉斯变换）必然具有非常特定的结构。它必须是一个分式，其中分母部分是一个被称为 Laguerre–Pólya 的特殊函数。
- 为什么这很重要： 属于 Laguerre–Pólya 类的函数都有一个非常严格的规则：它们所有的零点（根）都是实数。 它们没有“虚数”或复数零点。这是一个巨大的约束。

第四步：与黎曼函数的连接（阿基米德完成）

最后，作者对热模式执行了一个特定的数学操作（“阿基米德完成”/Archimedean completion）。

这一操作剥离了“噪声”，留下了一个纯净的信号。
论文证明，这个清理后的信号的数学“声音”（Mellin 变换）恰好就是经典的黎曼 $\Xi$ -函数。
惊喜之处： 黎曼 $\Xi$ -函数通常是使用素数和黎曼 $\zeta$ -函数来定义的。在这里，它凭空出现，完全是由一个在圆周上跳动的粒子生成的。

“开放桥梁”问题

论文以一个至关重要的“未完待续”说明结束。

作者建造了两座独立的桥梁：

桥梁 A： 从跳动的粒子出发，我们构建了一个形状 $\Phi$ ，它导向一个函数 $\Psi$ （Laguerre–Pólya 函数）。我们知道 $\Psi$ 只有实数零点。
桥梁 B： 从同一个粒子出发，我们构建了另一条路径，直接导向黎曼 $\Xi$ -函数。

谜团在于： 论文问道，“桥梁 A 和桥梁 B 实际上是同一座桥吗？”

函数 $\Psi$ （来自“全正性”一侧）是否与黎曼 $\Xi$ -函数（来自“Mellin”一侧）完全相同，或许只是相差一个无害的常数？
论文的声明： 论文并未证明它们是相同的。它证明了它们源于同一个源头，并具有深层的结构相似性。它将最终的“识别”留作了一个开放问题，等待未来的数学家去解决。

简要总结

输入： 一个在圆周上跳动的简单粒子（没有素数，没有复杂的算术）。
过程： 观察它的扩散，使其平滑，并应用对称性规则。
输出 1： 一个保证具有仅“实数”零点的数学对象（因为它具有“全正性”）。
输出 2： 著名的黎曼 $\Xi$ -函数，通常与素数相关联。
结论： 黎曼函数的深层结构可能根本不是关于“算术”（素数）的，而是关于几何与概率（事物如何扩散和传播）的。这篇论文构建了一个从零开始生成该函数的引擎，但它将这个引擎两个部分之间的最终连接留给了下一章。

这篇论文并没有做以下事情：

它没有证明黎曼假设（即 $\zeta$ -函数的所有零点都在特定的直线上）。
它没有声称这在物理学、工程学或医学中有直接应用。
它严格保持在纯数学领域内，展示了一个对象如何通过逻辑和极限从另一个对象中推导出来。

技术摘要：从原始马尔可夫循环构造黎曼 $\Xi$ -函数 I：一种规范构造

问题陈述
本文探讨了一个基础性的分析学问题：通常通过算术数据（素数、欧拉乘积、谱输入）定义的高阶解析对象，是否可以仅通过最小的局部原理、普适性与对称性来恢复？具体而言，作者询问黎曼 $\Xi$ -函数及相关结构是否可以从“原始”输入中规范地产生，而无需引用任何数论知识：即从有限、局部、可逆的离散循环上的马尔可夫动力学中产生。

方法论
该构造通过一个四步流水线进行，通过缩放极限与函数变换，从离散随机动力学转向连续解析对象：

原始输入： 起点是在离散循环 $\mathbb{Z}/N\mathbb{Z}$ 上具有严格正电导率的连续时间、可逆、最近邻马尔可夫过程。其生成元为离散拉普拉斯算子。
缩放极限与 $\theta$ -级数： 通过取扩散缩放极限（当 $N \to \infty$ 且 $N/s \to L$ 时），热核的迹收敛于一个 $\theta$ -级数表示。这一极限完全是阿基米德性质的，依赖于一致局部中心极限定理（ULCLT）与控制收敛定理。
自对偶归一化： 固定一个特定的宏观长度尺度 $L$ ，使得 $L^2 = 4\pi D$ （其中 $D$ 是扩散常数）。这种“自对 dual”尺度强制缩放极限迹在时间变量上满足 Jacobi 反转对称性 $\vartheta(t) = t^{-1/2}\vartheta(t^{-1})$ ，这镜像了完成后的 $\zeta$ 函数的泛函方程。
核构造：
- 阿基米德补全： 通过应用微分算子 $A = \frac{d}{dt}(t^{3/2}\frac{d}{dt})$ 到归一化的迹核上，以移除普适奇异项（$1 $和$ t^{-1/2} $）。所得的核$ \tilde{K}_{arch} $被识别为经典的$ \theta $-核$ \Theta(t)$。
- 对数核： 通过变量代换 $t = e^x$ ，将对称半密度核转换为对数核 $\Phi(x)$ 。这一变换将乘法反转对称性转换为拉普拉斯域中的反射对称性。

核心贡献与结果

规范 Laguerre–Pólya 函数 ( $\Psi$ )：
本文证明了对数核 $\Phi$ 属于无穷阶 Pólya 频率函数类 ( $PF_\infty$ )。根据 Schoenberg–Edrei–Karlin 分类， $\Phi$ 的双边拉普拉斯变换 $B_\Phi(s)$ 具有如下规范分解：
$B_\Phi(s) = \frac{E(s)}{\Psi(s)}$
其中 $E(s)$ 是一个无零全纯函数，而 $\Psi(s)$ 是一个属于 Laguerre–Pólya 类的全纯函数。因此， $\Psi(s)$ 仅有实零点。此外，底层核的反射对称性意味着 $\Psi$ 的零集关于直线 $\Re(s) = 1/2$ 对称。
阿基米德 Mellin 识别：
本文独立地构造了一个阿基米德补全算子。它证明了在自对偶归一化下，完成后的核 $\tilde{K}_{arch}$ 的 Mellin 变换与经典的黎曼 $\Xi$ -函数（具体为 $\Xi(2z)$ ）完全一致。这确立了经典的 $\Xi$ -函数可以自然地从原始马尔可夫动力学的缩放极限中产生，而无需调用算术谱数据。
“桥梁”问题（开放性）：
本文隔离出了一个剩余的单一解析问题：即将由全正性导出的 Laguerre–Pólya 数据 $\Psi$ 与 Mellin 侧函数 $\Xi(2z)$ 进行识别。虽然两者共享相同的对称性质和起源，但本文并未证明它们在差一个无零全纯因子的情况下是恒等的。这被呈现为一个需要进一步解析输入的开放性“桥梁”问题。

意义与主张
本文声称提供了一种规范的、阿基米德构造，仅基于原始马尔可夫动力学来构建黎曼 $\Xi$ -函数及相关的 Laguerre–Pólya 函数。

独立于算术： 该构造未使用任何欧拉乘积、素数或来自数论的谱输入。其中的“素数”与算术结构并非输入，而是作为缩放极限的潜在涌现特征。
结构刚性： 该工作表明， $\Xi$ -函数的强约束（例如实零点性质，若桥梁问题得到解决）是基本概率原理（局部性、可逆性、缩放与全正性）的后果。
研究范围适度： 作者明确指出，他们并未证明黎曼假设。相反，他们展示了实现该假设所需的结构（即一个具有实零点的 Laguerre–Pólya 函数）如何自然地从原始模型中产生。将这一特定函数与经典 $\Xi$ -函数的识别仍是一个条件性的“开放问题”（第 9 节）。

综上所述，本文建立了一种机制，使得围绕黎曼 $\Xi$ -函数的解析机械可以从初等随机过程进行重构，这表明 $\zeta$ 函数的深刻属性可能根植于普适的几何与概率对称性，而非特定的算术巧合。