结果族 271：Bloch’s law, its lattice correction, and the spherical magnetization law · 学科：Mathematical physics · 验证状态：暂无形式化证明，请以社区核验为准
一块理想铁磁体在极低温下，所有小磁针整整齐齐同向排列。温度稍微升高，少数调皮的磁针掉头，激起涟漪般的”自旋波”。1930 年 Bloch 算出：掉头比例正比于 T 的 3/2 次方。本文把这个近百年的定律在完全一般的耦合下证明成定理，连比例系数都精确给出。
关键词卡片
看个具体例子
最简单的近邻耦合、自旋 S=1/2 时，系数精确等于 ζ(3/2)/(8π^{3/2}S^{3/2})≈0.166。代入 T=0.01：磁化亏损约 0.166×(0.01)^{3/2}=1.7×10⁻⁴——万分之几的磁针掉了队，且亏损严格按 3/2 次幂增长。各向异性耦合同样适用：只要相互作用铺得满整张格子，系数就换成色散二次型的行列式。
为什么值得关心
三维量子铁磁体的低温磁化律被 Lieb 记录为公开问题二十余年。自由能的主阶此前已有严格结果，但磁化本身是一个零场单侧导数，一直啃不动；如今它在一切固定自旋、一般有限程耦合下成为定理，系数精确到 ζ(3/2)。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里”整齐排列的小磁针与掉头涟漪”说的是：对象是晶格上每个格点带一个量子磁矩的铁磁体；操作是升温——少数磁矩偏离全体同向的饱和排列，激发出自旋波。1930 年 Bloch 的预言是：掉头造成的磁化亏损正比于温度的 3/2 次方。本文把它在完全一般的耦合下证成定理，连比例系数都精确写出。
第二级台阶
用本科术语精确化：每个格点的态空间是 2S+1 维（固定自旋 S），哈密顿量取相邻自旋内积的加权和（权重即耦合函数，非负、对称、有限力程），配外场项后取有限体积配分函数；压强是其体积极限，自发磁化定义为压强在零场处的右导数——不加场时”自己长出”的净磁性由此严格化。单磁振子色散是翻转一个自旋所需的能量随波数的变化，长波端由一个正定二次型刻画。
第三级台阶
定理陈述：固定自旋与耦合，磁化亏损乘以温度的 3/2 次方后收敛，极限恰为 ζ(3/2) 除以八倍 π 的 3/2 次幂再除以色散二次型行列式的平方根。假设各挡一事：耦合非负保证铁磁序不被破坏；支撑生成整个格架保证二次型正定——各向异性只改行列式、不改幂律；极限次序（先体积、再零场右导、最后低温）是断言的组成部分。近邻耦合时行列式退化成单位阵的 S 倍，系数还原教科书值——这正是检验理论正确性的锚点。
严格证明了三维量子海森堡铁磁体在一切固定自旋 @@M@@S@@、一切非负对称有限程耦合下的 Bloch @@M@@T^{3/2}@@ 律，低温磁化缺陷的系数由单磁振子色散的二次型行列式精确给出，解决了 Lieb 记录多年的公开问题。
1930 年 Bloch 从自旋波（spin wave）图像预言：三维铁磁体的自发磁化（spontaneous magnetization）在低温下低于饱和值一个正比于 @@M@@T^{3/2}@@ 的量。Holstein 与 Primakoff 的玻色表示和 Dyson 1956 年的经典工作把低温展开系统化，Dyson 还识别出磁振子相互作用的首个贡献在 @@M@@T^4@@ 阶，但他对高阶余项的估计并非固定自旋下的严格证明。严格理论随后分岔推进：Mermin–Wagner 定理排除了一、二维有限程模型的正温磁序，红外束缚（infrared bound）证明了经典模型的连续对称破缺，Dyson–Lieb–Simon 建立了一类量子反铁磁体的序；唯独三维量子铁磁体的磁化律长期悬置，被 Lieb 于 1999 年记录为公开问题，近年文献仍如此表述。自由能方向已有 Conlon–Solovej 与 Tóth（自旋 @@M@@\tfrac12@@）的界，以及 Correggi–Giuliani–Seiringer（2015，任意固定自旋、近邻模型自由能主阶）的严格渐近；但零场自由能估计无法控制定义自发磁化的零场单侧场导数——这正是本文要补的缺口。
设自旋 @@M@@S\in\{\tfrac12,1,\tfrac32,\ldots\}@@，耦合 @@M@@J:\mathbb{Z}^3\to[0,\infty)@@ 有限支撑、对称 @@M@@J(z)=J(-z)@@、@@M@@J(0)=0@@，且支撑生成 @@M@@\mathbb{Z}^3@@（允许各向异性，也允许不含常规近邻键）。在立方体 @@M@@\Lambda_N@@ 上取自由边界的哈密顿量 @@M@@H^J_{S,N}=-\frac12\sum_{x,y}J(y-x)\boldsymbol S_x\cdot\boldsymbol S_y@@，总磁化 @@M@@M_{S,N}=\sum_xS_x^z@@。压强（pressure）@@M@@p_\beta(h)=\lim_{N\to\infty}\frac1{\beta|\Lambda_N|}\log\Tr e^{-\beta(H^J_{S,N}-hM_{S,N})}@@，自发磁化定义为其零场右导数 @@M@@m_{S,J}(\beta)=\partial_h^+p_\beta(0)@@。由单磁振子色散（one-magnon dispersion）
@@M@@D\varepsilon_{S,J}(k)=S\sum_zJ(z)\bigl(1-\cos(k\cdot z)\bigr)=k^{\mathsf T}D_{S,J}k+O(|k|^4)@@
定义正定矩阵 @@M@@D_{S,J}=\frac S2\sum_zJ(z)zz^{\mathsf T}@@。定理（Bloch 律）：对每个固定 @@M@@S@@ 与每个满足上述条件的 @@M@@J@@，
@@M@@D\lim_{\beta\to\infty}\beta^{3/2}\bigl(S-m_{S,J}(\beta)\bigr)=\frac{\zeta(3/2)}{8\pi^{3/2}\sqrt{\det D_{S,J}}}.@@
极限次序是断言的一部分：先热力学极限，再 @@M@@h\downarrow0@@，最后 @@M@@\beta\to\infty@@。近邻耦合 @@M@@J(\pm e_j)=1@@ 时 @@M@@D_{S,J}=SI@@，系数还原为熟悉的 @@M@@\zeta(3/2)/(8\pi^{3/2}S^{3/2})@@。
骨架是 Tóth 的随机交换表示（random interchange）：每个自旋 @@M@@S@@ 格点拆成 @@M@@\ell=2S@@ 个自旋 @@M@@\tfrac12@@ 的”槽”，槽对之间以速率 @@M@@J(z)/2@@ 独立泊松交换，周期末端做均匀缝合置换，轨线织成时间圆上的有向循环，配分函数恰为循环着色之和（高自旋由 Nachtergaele 的对称槽实现）。先强制穿过边界及若干指定槽-时间点的循环全部取”上色”（钉扎，pinning），则未钉扎槽的自旋向下概率有精确恒等式 @@M@@d_E(i)=r/(1+r)@@，其中 @@M@@r@@ 是从该槽出发的线在撞上钉集前回到自身的概率——磁化问题被化归为随机周期环境中的首回归（first return）问题。再由暴露分解（exposure disintegration）与外幂、行列式恒等式，把条件化的循环规律换成”新鲜游走”（fresh walk）：环境周期重复，游走每次穿越却使用崭新的转移随机性；多点同时钉扎由 Borcea–Brändén–Liggett 的稳定多项式（stable polynomial）负相依理论控制。几何上，先取三条线性无关的相互作用向量生成有限指标子格，在每个陪集上得到一份普通立方格，从而可搬用 Nash 能量方法与单位流（unit flow）做扩散光滑化；再对钉集做向下归纳的稀疏钉扎（sparse-pin）自助论证（bootstrap），不依赖任何有限程排序定理即获得足够的扩散时间。为拿到尖锐系数，让理想游走以速率 @@M@@SJ(z)@@ 跳跃，其热核满足 @@M@@p_t^{S,J}(x,x)\sim\kappa t^{-3/2}@@，@@M@@\kappa=(4\pi)^{-3/2}(\det D_{S,J})^{-1/2}@@；把二次首中恒等式在 @@M@@K@@ 个周期处截断，已扩散约 @@M@@K\beta@@ 时间的质量经流逃逸只需能量 @@M@@C(K\beta)^{-1/2}@@，余项为 @@M@@CK^{-1/2}\beta^{-3/2}@@；在起点周围无钉邻域内比较实际与理想回归，得到双侧夹逼，有限和 @@M@@\kappa\sum_{n\le K}n^{-3/2}@@ 便逼近 Bloch 系数 @@M@@\kappa\zeta(3/2)@@。最后把正磁场表示为额外随机钉的混合——任一给定槽被选中的概率至多 @@M@@1-e^{-\beta h}@@，故所需邻域无钉的概率随 @@M@@h\downarrow0@@ 趋于 1——先积分有限体积导数界，再依次取 @@M@@N\to\infty@@、@@M@@h\downarrow0@@、@@M@@\beta\to\infty@@、@@M@@K\to\infty@@，上下界同收敛于同一常数。
本文是结果族 271 的首篇，其”钉扎—回归—压强”机制被第二篇（晶格修正）与第三篇（球面磁化律）作为直接输入引用；另有一篇排序伴稿提供稳定交换符号等有限集代数与格几何工具。三篇合力把三维量子铁磁体的低温磁化从”存在性”推进到”精确渐近与完整分布”。按 OpenAI 官方声明，未经形式化（Lean formalization）的结果可能有问题；本文主结果暂无形式化证明，请以社区核验为准。
问 1：证明里最关键、最脆弱的一步是什么？
（答：钉扎恒等式 d_E(i)=r/(1+r) 把磁化问题化归为随机周期环境中的首回归，随后对”任意晚的回归”的控制是全文最难点。作者把二次首中恒等式在 K 个周期处截断：已扩散约 Kβ 时间的质量经单位流逃逸只需能量 C(Kβ)^{-1/2}，余项 C K^{-1/2}β^{-3/2}。若截断处的流能量估计失去 K 无关的一致性，上下界就不会夹逼到同一常数，ζ(3/2) 系数便无从出现。）
问 2：为什么零场自由能的严格渐近（Correggi–Giuliani–Seiringer 2015）不够用？
（答：自发磁化是零场的单侧场导数——自由能主阶渐近对差商没有任何一致控制，导数与极限不可交换正是难点所在。本文改走”在任意额外上自旋约束下仍一致的概率表示”路线，先估观测量再过压强增量，绕开导数交换问题。）
问 3：哪个假设不能去掉？
（答：耦合非负（铁磁）是结构性的：反铁磁的低能图像完全不同（双格子、无饱和参照）。支撑生成 ℤ³ 保证色散二次型正定——若退化，长波密度改变、3/2 幂律本身失效。固定 S 也必要：证明常数依赖固定自旋，S→∞ 的经典极限是另一套理论。）
问 4：与 Dyson 1956 及 Bloch 1930 相比真正的新意是什么？
（答：Bloch 与 Dyson 是物理推导——Dyson 识别出磁振子相互作用首贡献在 T⁴ 阶，但他对高阶余项的估计不是固定自旋下的严格证明（其文第 9 节自认）。本文在一切固定自旋、一般有限程耦合下严格证出主阶系数，正面解决 Lieb 1999 年记录、近年文献仍称公开的问题。）
问 5：这类 AI 生成证明最可能的出错模式？
（答：工具缝合处的界面条件。随机交换表示、稳定多项式负相依（Borcea–Brändén–Liggett）、有限指标子格上的 Nash 能量方法、稀疏钉扎的向下归纳——每件都标准，但衔接处的常数与依赖方向最易错。尤其”环境周期重复而游走每次用新鲜转移随机性”的暴露分解，与两半回归共享同一环境的比较（论文明言无需环境独立），这类精细区分是静默出错的温床。另注意它引用伴稿（Ordering）的交换符号与格几何工具为外部输入。）
问 6：下游推论是什么，谁会用到？
（答：其”钉扎—回归—压强”机制被族内第二篇（晶格修正，给出 T^{5/2} 项）与第三篇（球面磁化律）作为直接输入；三维量子铁磁体低温理论由此从自由能存在性推进到磁化的精确渐近。统计物理与凝聚态数学共同体均以此为基准结果。）
总评
近百年 Bloch 律在最大一般性下成为定理，系数精确到 ζ(3/2)，是铁磁体严格理论的标志性补全；最大风险在多重概率表示的缝合与对伴稿工具的依赖，未经形式化，值得逐环复算。