拉斯·昂萨格是一个传奇人物。他1903年出生于挪威，后来移居美国，在耶鲁大学度过了大部分学术生涯。他的工作风格极其独特：他很少写长篇大论的论文，但一旦动笔，往往解决的是最根本的问题。他的同事们形容他为一个“直觉型”的物理学家，能够在复杂的计算中直接看到答案，而不需要一步步推导。

    1944年，昂萨格发表了关于二维伊辛模型精确解的论文。这篇论文只有十几页，但每一页都充满了密集的数学。他使用了一种被称为“转移矩阵”的方法。基本思想是：二维晶格可以看作是一维链的堆叠。如果你知道如何从一个链转移到下一个链，你就可以通过矩阵乘法，把整个二维系统的配分函数计算出来。

    转移矩阵是一个巨大的矩阵，其维度随链的长度指数增长。但昂萨格发现，通过引入克利福德代数的生成元——那些满足特定反对易关系的矩阵——他可以把转移矩阵对角化。对角化后的转移矩阵，其本征值给出了系统的能谱，而配分函数就是这些本征值的简单函数。

    昂萨格的结果令人震惊。在相变温度处，系统的比热不是平滑变化的，而是呈现对数发散。这意味着，当你接近相变点时，系统吸收热量的能力趋向无穷。这种现象在平均场理论中是完全不可理解的。平均场理论预测比热在相变点有一个有限的跳跃，而昂萨格证明，实际的奇异性要强烈得多。

    昂萨格的解还揭示了临界指数的存在。在相变点附近，各种物理量——磁化强度、相关长度、比热——都按照幂律变化，而幂的指数就是临界指数。昂萨格计算出二维伊辛模型的临界指数，发现它们与维度有关，与晶格的具体细节无关。这种普适性后来成为临界现象理论的核心。

    然而，昂萨格的原始论文极其难读。他省略了许多步骤，使用了非标准的记号，而且他的思路跳跃性极强。据说，当时只有少数几位物理学家能够真正理解他的证明。直到后来，考夫曼等人用更系统的方法重新表述了昂萨格的解，这个成果才被更广泛的社区所接受。

    考夫曼的贡献在于，她把昂萨格的克利福德代数方法，转化为更标准的旋量分析。她证明了，二维伊辛模型的转移矩阵可以看作是一系列平面旋转的乘积。每个旋转对应于晶格中的一个键，而整个系统的行为，由这些旋转的复合决定。在热力学极限下，系统的性质由最大本征值主导，而相变对应于最大本征值的简并。

    从数论的角度看，昂萨格-考夫曼方法的价值在于，它提供了一套精确计算配分函数的工具。配分函数被表示为转移矩阵本征值的乘积，而本征值由三角函数或双曲函数决定。这种显式表示，使得研究配分函数在复温度平面上的零点成为可能。

    费舍尔在1960年代系统地研究了这些零点。他发现，对于二维铁磁伊辛模型，配分函数的零点在复温度平面上位于两个单位圆上。一个圆对应于铁磁相变，另一个对应于反铁磁相变。当系统趋向热力学极限时，这些零点可以逼近实轴，对应于真实的物理相变点。

    费舍尔零点的精确位置，取决于晶格的类型和相互作用的强度。但对于标准正方晶格上的最近邻伊辛模型，这些零点位于明确的代数曲线上。这种精确性，是大多数统计物理模型无法企及的。

    从活性算法的视角看，昂萨格的精确解展示了一种“结构涌现”的模式。从局域的、简单的相互作用规则（相邻自旋倾向于平行排列），涌现出了全局的、非平庸的相变行为。这种涌现不是通过近似获得的，而是严格推导出来的。活性算法追求的正是这种严格性：不是“大致正确”的预测，而是从生成模型的结构出发，必然导出的结论。

    然而，昂萨格的铁磁模型缺少一个关键要素：随机性。黎曼零点的分布是随机的，遵循GUE统计；而铁磁伊辛模型的能级是规则的，由晶格的周期性决定。要bridge这个差距，需要引入无序。而在统计物理中，无序的伊辛模型就是自旋玻璃。

支持单位：