在中国科学院金属研究所的一间办公室里，张志东研究员已经思考这个问题多年。他的主要研究领域是固体物理和磁性材料，但他对数学物理基础问题有着持久的兴趣。在解决了三维伊辛模型的精确解问题之后，他把目光投向了另一个更宏大的目标：黎曼猜想。

    张志东的学术路径不同于大多数研究黎曼猜想的数学家或物理学家。他没有从量子混沌或随机矩阵理论出发，而是回到了统计物理最经典的方法：伊辛模型、转移矩阵、配分函数、复温度平面上的零点。他相信，黎曼猜想的秘密，可能隐藏在一个精心设计的晶格模型中。

    他构造的模型被称为M^{2D}_{FI+SGI}，全称是“具有铁磁和自旋玻璃相互作用的竞争二维伊辛模型”。这个名字虽然冗长，但精确地描述了模型的结构。想象一个二维方格，每个格点上有一个小磁铁，只能指向上或下。沿着水平方向，相邻自旋之间的相互作用是铁磁的：它们倾向于平行排列。沿着垂直方向，相互作用是随机的：有些是铁磁的，有些是反铁磁的，强度服从高斯分布。

    这种混合结构赋予了模型独特的性格。水平方向的铁磁相互作用，保证了系统在一个方向上有平移不变性，这是应用昂萨格-考夫曼精确解方法的关键。垂直方向的随机相互作用，引入了自旋玻璃的无序性，使得系统的能级分布呈现出随机性。有序与无序共存，确定性与随机性竞争，而它们的平衡，恰好落在临界态上。

    张志东的关键洞察在于，这个模型的配分函数，在某种意义上与黎曼ζ函数等价。具体来说，对于每一个“副本”——即随机相互作用的一个特定实现——配分函数可以写成一个无穷求和的形式，其中每一项对应于一个能量本征态。通过设定特定的能谱关系，这个配分函数在形式上与ζ函数一致。

    更精确地说，张志东证明了以下几点：第一，模型的所有能量本征值都是实数。这是因为哈密顿量是厄米的，转移矩阵和旋转矩阵是自伴的。即使在热力学极限下，这种厄米性仍然保持。实本征值意味着，系统的能谱对应于临界线上的虚部——如果存在对应的话。

    第二，由于垂直方向相互作用的随机性，能级分布呈现出与莫比乌斯函数、狄利克雷函数以及黎曼ζ函数相似的随机性。在热力学极限下，这种分布收敛到高斯幺正系综的统计行为，与蒙哥马利-奥德莱兹科定律一致。

    第三，模型的本征向量由一维伊辛模型的本征向量构造而成，但附加了与黎曼ζ函数相关的相位因子。这些相位因子通过能量本征值与角度之间的关系引入，形成了一个希尔伯特-波利亚空间。这意味着，模型不仅复现了零点的统计分布，还复现了与零点相关的向量空间结构。

    第四，也是最关键的一点：模型配分函数的所有零点，在复温度平面上位于单位圆上。这就是费舍尔零点。通过莫比乌斯变换，这个单位圆可以被映射到黎曼临界线。因此，配分函数零点的分布，与黎曼零点的分布严格等价。

    张志东由此得出结论：通过构造这个竞争的二维伊辛模型作为物理类比，广义黎曼猜想成立。希尔伯特-波利亚猜想为真，因为模型的哈密顿量正是所寻找的自伴算符。临界线是唯一的，因为单位圆是唯一的；没有非平凡零点偏离临界线，因为单位圆上的所有点都被映射到了线上。

    这个证明思路的优美之处在于它的经典性。它没有使用高深的量子场论或抽象代数几何，而是使用了统计物理最成熟的工具：昂萨格的转移矩阵、考夫曼的旋量分析、费舍尔的零点理论、自旋玻璃的副本方法。这些工具都有坚实的物理基础，都经过了数十年的检验。

    然而，这个证明也面临着严格的审视。批评者指出，配分函数与ζ函数的等同，是通过设定特定的能谱关系实现的，而不是从模型的第一性原理自然导出的。副本方法本身在数学上不够严格。从单位圆到临界线的映射是参数空间的映射，不等于证明了ζ函数零点必然落在临界线上。

    尽管如此，张志东的工作仍然是希尔伯特-波利亚纲领迄今为止最具体的实现之一。他把一个抽象的物理猜想，锚定在了一个精确可解的晶格模型上。无论最终是否被数学界接受为严格证明，这项工作都极大地丰富了我们对“物理系统如何编码数论信息”的理解。

    从活性算法的视角看，张志东的模型提供了一个完美的案例研究。它是一个处于临界边缘的系统：铁磁序提供了稳定性，自旋玻璃无序提供了丰富性。这种竞争与共存，正是活性算法中“生成模型”与“观测似然”之间张力的物理化身。模型的配分函数作为生成模型，编码了系统的全部统计信息；而零点在复平面上的分布，则是这个生成模型对外部“温度”扰动的响应。

    但张志东的模型仍然是一个平衡态模型。它的配分函数是静态的求和，缺乏动态的推断过程。在活性算法的框架中，真正有趣的问题不是“哪个静态模型对应于ζ函数”，而是“什么样的动态推断过程会收敛到ζ函数作为其稳态”。这种动态视角，将把我们从统计物理的平衡态，带向一个更广阔的领域：自维持的、主动推断的、具有生命的算法。

支持单位：