Landau free energy and the absence of spontaneous magnetization of the one-dimensional Ising model

本文利用朗道自由能和态密度重新考察一维伊辛模型，通过证明自由能是磁化强度的增函数且在零点处具有正的非解析二阶导数，严格证明了在任何有限温度下均不存在自发磁化。

要点

以下是用简单语言和日常类比对该论文的解读。

核心问题：为什么一维磁体链无法保持对齐？

想象你有一长排微小的磁铁（就像一排手拉手的人）。每个人都可以面向北（上）或南（下）。

• 目标：我们要知道，在温暖的温度下，这些磁铁能否在没有外力推动的情况下，自发地决定全部面向北方（自发磁化）。
• 已知事实：物理学家早就知道，在单条线（一维）中，这种情况永远不会发生。只要稍微加热，这条线就会分裂成随机的“北”和“南”群体。
• 旧解释：通常的解释是“熵赢了”。这就像在说：“翻转线中的一个人以制造一个‘断裂’（畴壁）只需要很少的力气，但这个断裂会破坏整条线的秩序。由于制造断裂的方式如此之多，这条线始终保持混乱。”

本文的不同之处

本文的作者希望透过不同的视角——朗道自由能——来审视这个问题。

把自由能想象成系统的“幸福指数”。

• 低能量 = 磁铁喜欢对齐（就像平静的湖面）。
• 高熵 = 磁铁喜欢混乱（就像拥挤的派对）。
• 自由能是这两者的平衡。自然界总是试图找到这个能量景观中的“最低点”。

通常，当一种材料变得具有磁性时，能量景观看起来像一个**"W"形**。“W"的底部有两个凹陷：一个代表“全北”，一个代表“全南”。系统落入其中一个凹陷，从而形成磁体。

作者问道：“对于这条一维线，能量景观实际上长什么样？”

侦探工作：计算可能性

为了回答这个问题，作者回到了物理学家伊辛（Ising，他在 1925 年首次解决了这个问题）使用的原始方法。他们没有使用教科书中通常教授的复杂现代数学工具，而是进行了一些组合计数（就像计算一副牌有多少种排列方式）。

他们计算了态密度。

• 类比：想象一个巨大的图书馆。“态密度”就像一份目录，它告诉你：“对于特定数量的‘混乱’（能量）和特定数量的‘对齐’（磁化），磁铁有多少种不同的排列方式？”

重大发现：
他们发现这份目录有一条非常严格的规则：磁铁越对齐，排列它们的方式就越少。

• 如果你希望磁铁完全对齐（磁化率 = 100%），只有一种方法能做到（所有人都面向北方）。
• 如果你允许一点混乱（磁化率 = 90%），就有成千上万种排列方式。
• 如果你希望它们完全随机（磁化率 = 0%），就有数百万种排列方式。

该论文从数学上证明，当你试图强迫磁铁更对齐时，排列方式的数量会单调递减。

结果："U"形与"W"形

因为混乱的方式比对齐的方式多得多，所以“幸福指数”（自由能）的表现与三维磁体不同。

1. 景观：对于这条一维线，能量景观不是具有两个凹陷（北和南）的"W"形，而是一个完美的**"U"形**。
2. 底部："U"的最底部正好在中间，即磁化率为零的地方。
3. 结论：无论你把温度降得多低（只要不是绝对零度），系统总是想待在"U"的底部（零磁化率）。它永远不会落入“北”或“南”的凹陷中。

作者还检查了曲线底部的“陡峭程度”。他们发现曲线总是向上弯曲（二阶导数为正），这意味着零磁化状态始终是稳定的。它永远不会变得不稳定并迫使磁铁选择一边。

为什么这很重要（教学角度）

作者并非声称发现了一条新的物理定律（我们早就知道一维磁体不起作用）。相反，他们提供了一种新的教学方式。

• 旧方法：“熵战胜了能量。”（有点模糊）。
• 新方法：“看看态密度！混乱的构型实在太多了，系统根本无法安定在一个有序的状态中。”

他们表明，如果你查看“可能性目录”（态密度），答案就会变得显而易见，而无需复杂的计算。它架起了旧计数方法（伊辛）与现代能量景观概念（朗道）之间的桥梁，提供了一种清晰、直观的方式来理解为什么这个特定模型无法成为磁体。

总结

• 问题：一维磁铁链能自发对齐吗？
• 方法：精确计算了在不同对齐程度下，磁铁有多少种排列方式。
• 发现：对齐的方式数量总是少于混乱的方式数量。
• 视觉：能量景观是"U"形，而不是"W"形。
• 结果：系统始终保持在零磁化率状态。它永远不会自发变成磁体。

技术摘要

技术摘要：朗道自由能与一维伊辛模型自发磁化的缺失

问题陈述
本文探讨了一个既定事实：一维（1D）伊辛模型在任何有限温度下均不表现出自发磁化。虽然这一结果传统上是通过精确解（伊辛最初的组合方法）或转移矩阵法推导得出的，但作者从朗道自由能的角度重新审视了该问题。具体的动机源于一个教学上的缺口：学生往往觉得精确的伊辛解缺乏直观性，而启发式的“熵战胜能量”论点又过于模糊。作者旨在回答一个直接的问题：在给定温度 $T$ 下，何种磁化强度 $M$ 的值最有可能？这被表述为确定朗道自由能 $F(T, M)$ 在 $M=0$ 处是存在局部极小值（无自发磁化）还是局部极大值（存在自发磁化）。

方法论
作者采用了一种结合组合计数与统计力学近似的双重方法：

1. 态密度计算：遵循伊辛最初的组合技术，作者明确推导了态密度 $D(E, M)$，该函数统计了具有相互作用能 $E$ 和磁化强度 $M$ 的构型数量，适用于具有开边界条件的一维链。他们根据畴壁数量（$N_{dw}$）以及自旋向上/向下的数量对构型进行分类。
2. 单调性分析：作者分析了 $D(E, M)$ 的性质，具体证明了一个不等式 $D(E, M) \geq D(E, M+2)$，适用于 $0 \leq M \leq L-4$。这确立了在任何固定能级下，态密度随磁化强度绝对值 $|M|$ 的增加而单调递减。
3. 最大项近似：为了在热力学极限（$L \to \infty$）下评估配分函数和自由能，作者利用了最大项（鞍点）近似。他们定义了一个平滑函数 $w(d, m)$，代表每个自旋统计权重的对数，其中 $d$ 是畴壁密度，$m$ 是磁化强度。
4. 朗道自由能推导：朗道自由能每自旋 $f(T, m)$ 是通过对固定的 $m$ 最大化 $w(d, m)$ 关于 $d$ 而计算得出的。随后，作者分析了 $f(T, m)$ 关于 $m$ 的一阶和二阶导数，以确定 $m=0$ 态的稳定性。

关键结果

• 态密度的单调性：作者严格证明，对于一维伊辛模型，态密度 $D(E, M)$ 是任何固定能量 $E$ 下 $|M|$ 的单调递减函数。这意味着在没有外场的情况下，部分配分函数 $Z(T, M)$ 也随 $|M|$ 单调递减。
• 朗道自由能景观：因此，朗道自由能 $F(T, M) = -T \ln Z(T, M)$ 被证明是 $|M|$ 的单调递增函数。
• 自发磁化的缺失：
  • 在任何有限温度下，最可能的磁化强度被确定为 $m^* = 0$（对于有限的奇数 $L$ 则为 $1$）。
  • 计算得出自由能关于磁化强度在 $m=0$ 处的二阶导数为 $\frac{d^2f}{dm^2}|_{m=0} = T e^{-2/T}$。该值对于所有 $T > 0$ 严格为正，证实 $m=0$ 是一个稳定的全局极小值。
  • 当 $T \to 0$ 时，$m=0$ 处的曲率是非解析的，这与唯象朗道理论中的标准解析假设形成对比。
• 精确一致性：推导出的自由能表达式 $f(T, h) = -1 - T \ln[\cosh \alpha + \sqrt{\sinh^2 \alpha + e^{-4\beta}}]$ 与通过转移矩阵法获得的结果一致。

意义与主张
作者明确指出，本文并未提出新的物理发现，因为一维伊辛模型中自发磁化的缺失是一个已知结果。相反，本文的意义在于教学性和重构性：

• 连接视角：它将伊辛最初的组合计数与现代朗道自由能框架联系起来，为学生提供了另一种视角。
• 直观的严谨性：通过证明自由能曲线始终保持"U 形”（在 $m=0$ 处为单极小值），而不是发展出与对称性破缺相关的"W 形”（双极小值），无论温度降至多低，它提供了对自发磁化缺失的严格证明。
• 平均场理论的反例：它作为平均场近似的反例，后者错误地预测了一维中存在相变，通过展示自由能景观的精确行为来反驳这一点。
• 教育效用：所使用的数学工具（组合数学、斯特林近似、最大项法）对本科生而言是可及的，使得这项工作适合用于高级课程，以复习态密度、配分函数和自由能景观等基本概念。