配分函数的核心思想来自路德维希·玻尔兹曼。在十九世纪末，玻尔兹曼试图用原子和分子的统计行为来解释热力学定律。他提出，一个系统处于某个微观状态的概率，与该状态的能量有关。能量越低，概率越高；能量越高，概率越低。这种关系由指数函数描述，其中的比例常数与温度成反比。把所有可能状态的概率加起来，你就得到了配分函数。

    配分函数的名字来源于拉丁语“partitio”，意为划分。它描述了系统的总能量如何在所有可能的微观状态之间进行划分。在经典统计力学中，配分函数是一个积分；在量子统计力学中，它是一个求和。无论哪种形式，它都包含了系统的全部热力学信息。

    现在，让我们回到那个假想的质数气体。这个系统的能级不是任意的，而是由质数的对数决定的。基态能量为零，对应于“没有粒子”的状态。第一激发态的能量与二的对数成正比，对应于一个“粒子”处于第一个质数能级。第二激发态的能量与三的对数成正比，依此类推。由于多个粒子可以处于同一个能级（玻色子版本），系统的总能量是所有粒子能量的和。

    当你计算这个系统的配分函数时，奇迹发生了。由于能量与质数对数的关系，玻尔兹曼因子变成了质数的负幂次。把所有可能的粒子数组合加起来，你恰好得到黎曼ζ函数的欧拉乘积形式。也就是说，这个质数气体的配分函数，就是黎曼ζ函数。

    这个发现的美妙之处在于，它把数论中最抽象的对象，转化为了物理中最具体的对象。黎曼ζ函数不再只是一个复变函数，它是一个物理系统的“身份证”。通过研究这个系统的热力学性质，你可以获得关于ζ函数的洞见；反之，通过研究ζ函数的解析性质，你可以了解这个系统的相变行为。

    例如，ζ函数在点一处的极点，对应于质数气体的一个特殊温度。在这个温度下，配分函数发散，意味着系统的某些热力学量——比如平均能量——趋向无穷。这是一种相变的信号。在物理系统中，相变通常伴随着对称性的破缺和序参量的涌现。在质数气体中，这种相变意味着质数的统计行为发生了质的变化。

    更有趣的是，当你把温度推广到复数时，配分函数的零点——也就是使配分函数等于零的复温度值——获得了特殊的物理意义。这些零点被称为费舍尔零点，以统计物理学家迈克尔·费舍尔的名字命名。费舍尔证明，在二维伊辛模型中，这些零点位于复温度平面的单位圆上。当系统趋向热力学极限时，这些零点可以逼近实轴，对应于真实的相变点。

    费舍尔零点的概念为理解黎曼零点提供了新的视角。如果黎曼ζ函数可以看作某个物理系统的配分函数，那么它的零点——黎曼零点——就可以被理解为这个系统的费舍尔零点。这意味着，黎曼零点不是抽象的数学构造，而是物理系统在复温度平面上的相变标记。

    然而，这里存在一个关键的差异。在标准的统计物理模型中，费舍尔零点的位置由模型的具体参数决定：相互作用强度、晶格结构、维度。你可以通过调节这些参数，移动零点的位置。但在黎曼ζ函数中，没有这样的可调参数。零点的位置是固定的，由数论的本质决定。这意味着，如果存在一个物理系统，其配分函数恰好是黎曼ζ函数，那么这个系统必须是“刚性”的——它的参数不能自由调节，否则零点就会移动。

    这种刚性给物理对应带来了困难。大多数物理模型都有可调参数，而黎曼ζ函数没有。要找到一个物理系统，其配分函数天然地等于ζ函数，且没有任何可调参数，这是一个极其苛刻的要求。质数气体满足配分函数等于ζ函数，但它是一个高度理想化的抽象系统，不是由第一性原理导出的物理模型。

    从活性算法的视角看，配分函数与生成模型之间存在着深刻的同构。在统计物理中，配分函数是玻尔兹曼分布的归一化常数；在活性算法中，自由能是推断过程的“目标函数”。两者都涉及对可能状态的加权求和，都描述了系统的不确定性。配分函数的零点对应于系统的相变点，而自由能的极值对应于推断的稳态。黎曼零点作为配分函数的零点，可能对应于某种“推断相变”——即系统从一种认知状态跃迁到另一种认知状态的临界点。

    但所有这些想法，都需要一个具体的物理载体。质数气体太抽象，H等于x乘以p太理想化。需要一个真实的、在实验室里可以想象——至少在理论上精确可解——的物理模型。这个模型必须足够复杂，以产生随机矩阵的统计行为；又必须足够简单，以允许精确的分析。在统计物理的宝库中，有一个模型恰好满足这些条件：伊辛模型。

支持单位：