结果族 271：Bloch’s law, its lattice correction, and the spherical magnetization law · 学科：Mathematical physics · 验证状态：暂无形式化证明，请以社区核验为准
上一篇证明了磁化亏损的第一项像 T 的 3/2 次方。物理学家自然会追问：下一项是什么、从哪来？Dyson 在 1956 年断言：T 的 5/2 次方修正来自晶格本身对长波涟漪的微小掰弯，而磁振子之间的”碰撞”要迟到 T⁴ 阶才登场。本文首次把这个次阶定律证明成严格定理，与 Dyson 的预测完全一致。
关键词卡片
看个具体例子
数字版定理（取 S=1、β=100，即温度 0.01）：@@M@@S-m_S(100)\ \approx\ 0.0586\times10^{-3}\ +\ 0.00565\times10^{-5}@@，第一项是 Bloch 项，第二项就是晶格修正。
也就是说，一百万个自旋里平均只有约 60 个掉队；第二项虽比第一项小一万倍，却精确带着 ζ(5/2) 的印记——”晶格掰弯长波”的效应第一次被严格计入账本。证明必须与全部周期的自由玻色和比较而不许截断，这正是比主阶难上一阶的地方。
为什么值得关心
它把 Dyson 1956 年的物理直觉变成固定自旋下的定理，并严格证实：直到 T^(5/2) 阶，磁化完全由自由磁振子加晶格色散决定，相互作用的影响迟至 T⁴ 阶。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里”晶格把长波涟漪微微掰弯”说的是：主阶定律把晶体当成连续体，长波自旋波的能量的确随波数平方走；但真实晶体是离散的格子，能量里还藏着四次项等小偏差。温度再低一阶，这些偏差开始显形——次阶修正刻画的就是”离散格子对连续图像”的偏离，而磁振子之间的碰撞在此阶完全不登场。
第二级台阶
用本科术语精确化：取近邻耦合的海森堡铁磁体，压强为有限体积配分函数的体积极限，自发磁化为压强在零场处的右导数。理想磁振子密度是一个布里渊区上的积分：被积函数是玻色统计权重——每单位能量配一个以温度倒数为宗量的指数减一作分母——能量用晶格色散（余弦和）代入。低温展开即把磁化亏损按温度幂次逐阶列出。
第三级台阶
定理陈述：固定自旋下，真实磁化缺陷与理想磁振子密度之差乘以温度倒数的 5/2 次幕后趋于零——即两者一致到比主阶整整低一阶的精度。展开该密度得两项：第一项带 ζ(3/2)，正是上一篇的 Bloch 系数；第二项带 ζ(5/2)，就是首个晶格修正。假设的分量：只取近邻耦合（色散有显式余弦形式）；固定自旋；极限次序仍是体积、零场右导、低温。结论同时严格证实 Dyson 的判断：到这一阶为止磁化全由自由磁振子决定，相互作用要到再高两阶半才出现。
证明三维近邻量子海森堡铁磁体在一切固定自旋下，磁化缺陷与完整理想磁振子密度之差为 @@M@@o(\beta^{-5/2})@@，严格给出 Bloch 律之后的首个晶格修正项，与 Dyson 1956 年的物理预测完全一致。
Bloch 律只给出低温展开的第一阶，下一阶从何而来？Dyson 1956 年的展开显示：磁化中 @@M@@T^{5/2}@@ 与 @@M@@T^{7/2}@@ 阶修正已由独立磁振子的晶格色散（lattice dispersion）产生，而磁振子相互作用的首个贡献迟至 @@M@@T^4@@ 阶——换言之，@@M@@T^{5/2}@@ 修正是”晶格对长波二次色散的偏离”的体现，与相互作用无关。此后的有效场论计算（如 Hofmann 2017）延续了这一图像，但都属于形式展开，并非固定自旋下的严格定理。严格方向上，Correggi–Giuliani–Seiringer（2015）证明了自由能的主阶自旋波渐近，Benedikter（2017）在 @@M@@S\to\infty@@、@@M@@\beta S@@ 固定的另一渐近区域得到相互作用修正的自由能上界；而”磁化的 @@M@@T^{5/2}@@ 晶格修正”在固定自旋、以压强零场右导数定义磁化的框架下始终没有严格结果。本文补上这一缺口。
近邻模型 @@M@@H_{S,N}=-\sum_{|x-y|_1=1}\boldsymbol S_x\cdot\boldsymbol S_y@@，压强 @@M@@p_{S,\beta}(h)@@ 与磁化 @@M@@m_S(\beta)=\partial_{h+}p_{S,\beta}(0)@@ 的定义同家族首篇（体积极限在前，零场右导数居后，低温极限最后）。理想磁振子密度（ideal-magnon density）取晶格色散 @@M@@\varepsilon_S(k)=2S\sum_{j=1}^3(1-\cos k_j)@@：
@@M@@Dn_S^{\mathrm{sw}}(\beta)=\int_{[-\pi,\pi]^3}\frac{d^3k}{(2\pi)^3\,[e^{\beta\varepsilon_S(k)}-1]}.@@
定理：对每个固定 @@M@@S\in\{\tfrac12,1,\tfrac32,\ldots\}@@，
@@M@@D\lim_{\beta\to\infty}(\beta S)^{5/2}\bigl[S-m_S(\beta)-n_S^{\mathrm{sw}}(\beta)\bigr]=0,@@
即真实磁化缺陷与包含完整玻色求和（Bose sum）的理想磁振子密度一致到 @@M@@o(\beta^{-5/2})@@。展开该密度得推论：
@@M@@DS-m_S(\beta)=\frac{\zeta(3/2)}{8\pi^{3/2}}(\beta S)^{-3/2}+\frac{3\zeta(5/2)}{128\pi^{3/2}}(\beta S)^{-5/2}+o\bigl((\beta S)^{-5/2}\bigr),@@
第一项即 Bloch 项，第二项就是首个晶格修正（lattice correction）。这同时说明：到 @@M@@T^{5/2}@@ 阶为止，磁化完全由无相互作用的自旋波决定，Dyson 关于相互作用从 @@M@@T^4@@ 阶才进入的判断在固定自旋下被严格证实。
证明沿用家族首篇的循环表示、钉扎（pinning）恒等式与”新鲜游走”（fresh walk）框架并作为直接输入引用，真正的难点在精度要超出主阶整整一阶：回归概率必须与全部周期的自由玻色和 @@M@@\sum_{n\ge1}p_{n\beta}(0)@@ 比较，而不能在有限个周期处截断。为此本文把问题重组为一个有限维容量判据（capacity criterion）：对带湮灭（killed）的、可能非自伴的压缩核 @@M@@U@@，把首中函数 @@M@@f@@ 与试探势（trial potential）@@M@@h@@ 比较，只需两个估计——标量残差配对 @@M@@\ip{h}{\mu_+}@@，以及 Dirichlet 能量半范数下的残差界——即可锁定回归概率 @@M@@q@@，判据不要求环境的可逆性。试探势取”全周期自由势”，天然保留完整的玻色和。技术核心在残差估计：回归游走看到的是周期性运动的障碍集，它在障碍占据一条边时失去该边，又在障碍与空穴交换时被搬运；对孤立障碍，这两个效应的带符号贡献对自由热方程逐段相消，经伸缩求和（telescoping）后只剩剖面沿障碍轨迹的变化量加一个截断误差——正是这一相消把误差推过主阶标度。随后，几何节把钉扎估计加强为联合快照界并在短块上证明路径与热核估计；源（sources）节证明带符号相消与有序 Duhamel 恒等式；再由两节分别落实标量与能量残差估计。压强节最后把正磁场表示为随机附加钉：在半径 @@M@@R_*=\lceil\beta^{5/3}\rceil@@ 的球内无钉时（其概率随 @@M@@h\downarrow0@@ 趋于 1）逐槽应用一致比较，积分并依次取 @@M@@N\to\infty@@、@@M@@h\downarrow0@@、@@M@@\beta\to\infty@@ 即得定理。显式系数来自一维热核的 Laplace 展开 @@M@@I(t)=(4\pi t)^{-1/2}\bigl(1+\tfrac1{16t}+O(t^{-2})\bigr)@@，立方、对 @@M@@n@@ 求和便得到 @@M@@\zeta(3/2)@@ 与 @@M@@3\zeta(5/2)/128@@ 两项系数。
本文直接引用家族首篇（Bloch 律）的定理 1.1 与第 2–7 节作为输入，并使用排序伴稿的均匀循环估计，其严格性建立在首篇主定理之上。家族内三篇互相咬合：首篇给主阶，本文给下一阶，第三篇证明对称态以单一长度实现同一压强导数。按 OpenAI 官方声明，未经形式化的结果可能有问题；本文主结果暂无 Lean 形式化证明，请以社区核验为准。
问 1：证明里最关键、最脆弱的一步是什么？
（答：孤立障碍的带符号相消。回归游走在周期运动的障碍集里走：障碍占住一条边时游走失去该边，障碍与空穴交换时游走被搬运；对孤立障碍，这两个带符号的效应对自由热方程逐段相消、伸缩求和后只剩剖面沿障碍轨迹的变化量加截断误差。正是这个相消把误差推过主阶标度——任何一处符号搞反，误差停在 β^{-3/2}，定理整个作废。）
问 2：为什么必须与”全部周期”的自由玻色和比较，不许截断？
（答：主阶证明可在 K 个周期处截断再让 K→∞，但 T^{5/2} 修正恰恰藏在长尾里——一维热核 Laplace 展开的 1/(16t) 项对全部 n 求和才凑出 3ζ(5/2)/128。所以本文把问题重组为有限维容量判据：试探势取全周期自由势，天然保留完整玻色和；判据只需标量残差配对与 Dirichlet 能量残差两个估计，且适用于非自伴压缩核——不需要暴露环境的可逆性。）
问 3：为什么只做近邻耦合，不像首篇那样的一般有限程？
（答：定理比较的对象是显式晶格色散（三个余弦之和）的玻色积分；一般有限程耦合的色散依赖具体耦合函数，第二项系数虽可形式写出，但本文的框架与两篇伴稿的输入都按近邻立方格架搭建。一般 J 版本论文未展开。）
问 4：与 Dyson 1956 及后续物理计算相比真正的新意是什么？
（答：Dyson 的展开（其文第 5 节式 (71)、第 8 节式 (122)）显示 T^{5/2}、T^{7/2} 项来自独立磁振子的晶格色散、相互作用首贡献迟至 T⁴；Hofmann 2017 的有效场论延续此图像——但都是形式展开。此前严格结果或止于零场自由能主阶（Correggi–Giuliani–Seiringer 2015），或在 S→∞ 的另一渐近区域（Benedikter 2017）。本文首次在固定自旋、压强右导数定义下把 T^{5/2} 晶格修正证成定理。）
问 5：这类 AI 生成证明最可能的出错模式？
（答：精度传递中的”差一阶”错误。o(β^{-5/2}) 要求一切中间估计都比主阶低整整一阶——短块上的路径与热核估计、联合快照界、有序 Duhamel 恒等式，任何一处余项只做到 β^{-3/2} 或 β^{-2} 就前功尽弃。其次是外部依赖叠加：它直接引用首篇的定理 1.1 与第 2–7 节、排序伴稿的均匀循环估计——三层楼里任何一层有错都会传导至此。）
问 6：下游推论是什么，谁会用到？
（答：它严格证实”直到 T^{5/2} 阶磁化完全由自由磁振子决定”，把 Dyson 纲领的前两阶钉死；族内第三篇（球面磁化律）与本文共用钉扎—回归—压强机制。低温展开的下一站——T^{7/2} 项与 T⁴ 的相互作用项——是否也能严格化，是自然的后续问题，论文未讨论。）
总评
Dyson 七十年前次阶预言的首次严格落地，方法上容量判据加带符号相消的设计漂亮；最大风险在超一阶精度要求下任何一环的余项不足，以及叠床架屋式的伴稿依赖链，均未经形式化。