Ising 非零磁场悬案：一个被证明不存在的公式（2611.08033）

寻找 80 年的公式，被证明不存在

——磁场中的 Ising 模型与一场"不可能性"的胜利

论文：*Galois conjugation, droplet growth, and the differential transcendence of the Ising model in nonzero field*

作者：Ran Luo, Jiahua Tian（arXiv:2611.08033，2026-11-05，cond-mat.stat-mech）

一、一把躺椅上能讲清的模型

物理世界里很少有这样的存在：一个中学生能听懂规则，而诺奖级大师为之倾倒半个世纪的东西。Ising 模型算一个。

想象一块棋盘，每个格子里放一个只有两种状态的小磁针——向上（+1）或向下（−1）。规则只有两条：相邻的磁针喜欢方向一致（耦合 J），外加磁场喜欢它们朝上（场强 h）。温度越高，热噪声越大，磁针越不听话。问：这块棋盘整体会表现出什么宏观性质？

就这么简单。1925 年，Ising 的硕士论文里，一维版本被证明"没有相变"；此后近百年，这个模型成了统计物理的 E=mc²——人人皆知，人人敬畏。

二、1944 年的奇迹

1944 年，Onsager 做了一件至今让人起立鼓掌的事：在零磁场下，他把二维平方格子上的 Ising 模型精确解了出来。配分函数、自由能，全部写成有限个初等函数与椭圆函数的组合——一个看着像"上帝手笔"的封闭公式。1952 年，杨振宁补上了最后一块拼图：自发磁化强度的精确表达式。零磁场下的二维 Ising 模型，成为人类精确求解多体问题的巅峰之作，也是后来整个相变理论的试金石。

但注意那个前提：零磁场。

一旦把磁场 H 打开， spin-flip 对称性被破坏，整个问题的数学结构面目全非。80 年过去了。Onsager 试过，Yang 试过，无数聪明脑袋试过——非零磁场的二维 Ising 模型，至今没有找到任何封闭公式。教科书含糊其辞，综述文章把它列为"著名的未解问题"。它安静地躺在每个统计物理学生的作业本后面：一个规则一句话就能讲完、却无人能解的谜。

三、2026 年：谜底以意外的方式揭晓

2026 年 10 月与 11 月，Luo 与 Tian 连发两篇论文，走出了漂亮的"两步棋"：

第一步（arXiv:2610.20569）：在所有维数 d≥2，除了一个可数的例外集合（代数整数逸度对应的场值），自由能不满足任何代数微分方程——哪怕只是局部地、在任意小区间上。

第二步（arXiv:2611.08033，本篇）：把例外集合收口为空——在平方格子上，每一个非零磁场 H≠0 处，自由能与磁化强度都不满足任何关于耦合常数 K 的代数微分方程。结果还延伸到 Lieb 格子、装饰格子，以及 d≥2 中共轭相关的场值。

这句话值得翻译成人话。所谓"代数微分方程"，就是关于 f, f', f'', … 的多项式方程。它是"封闭公式"最宽广的数学化定义之一：初等函数、超几何函数、椭圆函数、Painlevé 超越函数——Onsager 公式所属的这一整族"好看"的函数——全部满足某种代数微分关系。所以定理的推论是雷霆式的：

Onsager 型公式在非零磁场处不可能存在。不是我们没找到，是它不在那里。

四、证明的三幕剧

这个证明的美妙之处在于，它的每一步都可以讲成直觉图像。幕布拉开——

第一幕：代数数的"分身"必然越狱

对固定的非零场，引入逸度 z = e^(−2H) ∈ (0,1)。假设 z 是代数数（绝大多数场值都是），它的极小多项式 P(x) 有若干个根——这些根叫 z 的 Galois 共轭，可以理解为 z 在代数世界里的"分身们"。

韦达定理说：所有共轭根的乘积是（非零）整数。而 z 自己躲在 (0,1) 里，模长小于 1——那么必然有某个分身 β 被挤到单位圆之外，|β| > 1。这是个简单得近乎玩笑的观察，却是整场戏的引擎：如果自由能级数在 z 处满足某个代数微分方程，把方程系数逐一用域嵌入 σ 作用过去，就得到一个被"分身版"级数 Φ_β 同样满足的方程。分身也守规矩。

第二幕：液滴的指数碾压

现在到低温展开登场。把一小块 r×r 的反转自旋区（"液滴"）放进顺磁海里，它对配分函数的贡献是 z^(r²) · u^(2r)——面积罚 z^(r²)，周长罚 u^(2r)。在 |β|>1 的分身世界，这一项的系数增长像 |β|^(r²)，即系数的对数关于指标 m 是二次的。

而另一边，微分代数有一条经典天花板（Maillet 型定理）：任何满足代数微分方程的函数，其泰勒系数的对数只能以 O(m log m) ——"阶乘级"——增长。二次碾压线性，且差距随 m 无界拉大。液滴的指数脾气，是任何"规矩"函数都装不下的。

第三幕：消不掉，也不许别人帮忙

怀疑论者还有两问。第一问：各项会不会相位相消、恰好抵消？回答：主导贡献来自"近方形"液滴（(r+j)×(r−j) 盒子四角抠掉杨图），其总振幅是一个 theta 函数除以四次幂积——Jacobi 三重积给出乘积公式，在 |t|<1 内无任何零点。主导项无处遁形。

第二问：挖洞的液滴、多液滴的 Mayer 团会不会改写故事？回答：面积罚是指数级的，而洞的排列组合收益只是多项式熵——q^(−m/4) 轻松碾压多项式。配角翻不了盘。

最后一锤：压强在 (K,H) 上联合实解析（K>0, H≠0），所以任何哪怕只在小区间成立的微分代数关系，都会解析延拓到整个低温区域——那里的级数收敛，系数增长论证当场生效。无处不在，无一幸免。

五、为什么零场偏偏是天堂

回头看零场：z = 1 是单位根，"分身越狱"机制失效；Lee-Yang 理论告诉我们零点恰好在物理逸度圆上，液滴面积不再主导权重。于是自由能在这里确实是微分代数的——Onsager 公式堂堂正正地活着，杨振宁的磁化公式安然无恙。定理否定的不是它们，而是"打开磁场后还存在同类公式"的期待。

一个耐人寻味的边界：目前人类只知道两个逸度处的封闭解——z = 1 与 z = −1。其它的单位根处有没有？这是定理留给下一代的悬念。

六、更深的回响

站在更高的地方看，这场工作有意思的地方有三层。

其一，"不可能性"是知识。 80 年里，无数人怀疑只是自己不够聪明。这次数学说话了：你们不是不够聪明，是目标不存在。否定结果把研究者从一条死路上集体接走——这和超导领域"室温常压"路线被证伪一样，是一种解放。

其二，武器来自意外的方向。 判决用的不是泛函分析、不是概率论，而是 微分代数（differential algebra）——Ritt 与 Kolchin 开创的、把 Galois 理论思想搬到微分方程上的分支。代数学的"共轭"概念，在统计物理的级数里找到了前所未有的用武之地。交叉科学不是口号，是工具的迁徙。

其三，图像与机器的合璧。 整个证明的心脏是纯粹的统计力学图像（液滴、面积罚、熵罚），而封喉一击是纯代数（Galois 共轭 + 系数增长定理）。没有人想到它们会咬合得如此严丝合缝——好的证明常常长这样：两侧来自不同大陆的板块，在某一天严丝合缝地撞在一起。

费曼说过，物理学家的工作是"在承认无知的前提下寻找规律"。这一次，规律找到了——只是它的形状是一条禁令。下一次你在课堂上听到"非零磁场 Ising 模型无精确解"，请把它读成一句精确的数学定理：在那里，任何 Onsager 式的公式都不可能存在。 80 年悬案，2026 年结案。

延伸阅读

1. Luo, Tian, *Galois conjugation, droplet growth, and the differential transcendence of the Ising model in nonzero field*, arXiv:2611.08033（2026） 2. Luo, Tian, *Droplets obstruct Onsager-type solutions of the Ising model*, arXiv:2610.20569（2026，前序论文） 3. Onsager, *Crystal Statistics I: A Two-Dimensional Model with an Order-Disorder Transition*, Phys. Rev. 65, 117 (1944) 4. Yang, *The Spontaneous Magnetization of a Two-Dimensional Ising Model*, Phys. Rev. 85, 808 (1952) 5. Okounkov, *The Ising model in our dimension and our times*（Ising 模型数学全景综述）

*本文系"智柴·数学底座与前沿交叉"第五季第 1 篇（S5-Round 1）。*