在张志东的工作之前，物理学与黎曼猜想之间的对应，可以说是一座建了桥墩但尚未合龙的桥梁。桥墩已经相当坚固：随机矩阵理论确认了统计相似性，量子混沌理论提供了动力学直觉，质数气体展示了配分函数的对应，贝里-基廷模型给出了半经典图像。但桥面——一个能够从第一性原理出发、严格推导出黎曼零点分布的物理证明——始终缺失。

    这种缺失不是偶然的，它反映了问题的深层困难。让我们仔细看看，已有的对应关系还缺少什么。

    首先，统计对应不等于结构对应。蒙哥马利-奥德莱兹科定律告诉我们，黎曼零点的统计分布与GUE随机矩阵的特征值统计相同。但统计相同不意味着对象相同。两个不同的系统可以产生相同的统计分布，就像两首不同的歌可以有相同的节奏型。要证明黎曼猜想，需要的是结构上的同一性，而不仅仅是统计上的相似性。

    其次，动力学模型缺乏刚性。H等于x乘以p这样的模型，虽然给出了零点与能级之间的启发式联系，但模型的量子化依赖于人为选择的边界条件。不同的边界条件给出不同的谱，没有一个原则是“唯一正确”的。黎曼零点则是完全刚性的：它们的位置由数论唯一确定，没有任何可调参数。一个成功的物理对应，必须解释这种刚性从何而来。

    第三，配分函数的对应停留在抽象层面。质数气体的配分函数确实是黎曼ζ函数，但质数气体本身不是一个从局域相互作用导出的物理模型。它没有空间维度，没有局域自由度，没有热力学极限。一个真正的统计物理模型，应该定义在晶格上，由局域的哈密顿量描述，通过标准的统计力学方法求解。

    第四，零点密度估计与物理直觉之间存在鸿沟。数学家们通过零点密度估计，证明了“离临界线很远的零点很少”。物理学家们通过随机矩阵理论，猜测“所有零点都在临界线上”。但物理学家的猜测没有数学证明，数学家的估计也没有达到临界线本身。需要一个能够把物理直觉转化为严格证明的框架。

    这些缺失的要素，指向了一个共同的需求：一个具体的、低维的、精确可解的统计物理模型，其配分函数的零点分布与黎曼零点的分布严格等价。这个模型应该满足以下条件：

    第一，它有明确的局域相互作用，定义在晶格上，有清晰的热力学极限。

    第二，它的能量本征值是实数，随机分布，统计行为与GUE一致。

    第三，它的配分函数可以被解析地延拓到复温度平面，其零点位于某个可严格描述的几何对象上——比如单位圆。

    第四，这个几何对象可以通过一个明确的变换，映射到黎曼临界线。

    第五，整个对应关系不依赖于额外的假设，可以从模型的第一性原理严格导出。

    在统计物理的宝库中，伊辛模型家族是最有希望满足这些条件的候选者。伊辛模型是统计力学中最基本、研究最深入的模型之一。一维伊辛模型可以精确求解，但没有相变。二维伊辛模型在特定条件下可以精确求解，且有相变。三维伊辛模型有了精确解，但是却非常复杂。自旋玻璃模型引入了无序，使得问题更加复杂，也更加丰富。

    然而，标准的伊辛模型——无论是纯铁磁的、纯反铁磁的，还是自旋玻璃的——其配分函数的零点分布，并不直接与黎曼零点对应。需要一个精心设计的变体，一个融合了有序与无序、确定性与随机性的混合模型。这个模型必须处于“临界边缘”，既拥有足够的有序性以允许精确分析，又拥有足够的随机性以产生丰富的统计行为。

    在东方，一位长期研究金属材料和磁性物理的中国科学家，正在思考这个问题。他的名字是张志东。他的学术背景不是数论，不是量子场论，而是固体物理和统计力学。他解决过三维伊辛模型的精确解问题，研究过自旋玻璃的计算复杂性。对他来说，伊辛模型不是抽象的数学玩具，而是描述真实材料——铁、镍、钴及其合金——的有力工具。

    张志东意识到，黎曼猜想与伊辛模型之间的联系，可能不是通过高深的量子场论或随机矩阵理论来建立，而是通过统计物理最经典的方法：转移矩阵、配分函数、复温度平面上的零点分析。他需要一个模型，这个模型的配分函数在某种意义上“就是”黎曼ζ函数，而其零点在复温度平面上的分布，“就是”黎曼零点的分布。

    这个模型将被命名为M^{2D}_{FI+SGI}：一个竞争的二维伊辛模型，一个方向上是铁磁相互作用，另一个方向上是随机分布的竞争相互作用。在这个模型中，有序与无序共存，确定性与随机性竞争，而它们的平衡，恰好落在临界线上。

    但在我们走进张志东的模型之前，我们需要先回顾伊辛模型本身的历史，理解它为什么成为统计物理的“果蝇”，以及它的精确解如何改变了我们对相变的理解。

支持单位：