先定义系统、极限与序参量
考虑体积 V = L d V=L^d V = L d 、粒子数或格点数 N N N 的 d d d 维系统。热力学极限指
N → ∞ , V → ∞ , N / V = 常数 . N\to\infty,\qquad V\to\infty,
\qquad N/V=\text{常数}. N → ∞ , V → ∞ , N / V = 常数 .
有限 N N N 且能级、相互作用正常时,配分函数通常是温度和外场的解析函数,自由能只出现陡峭但平滑的变化。严格的非解析相变要在热力学极限中定义。实验样品和数值模拟始终有限,因此观测到的是随 L L L 移动、变窄和增高的伪临界峰;必须用有限尺寸标度连接极限结论。
序参量 m m m 是区分相的宏观量。铁磁体可用单位体积磁化强度,单位 A m − 1 \mathrm{A\,m^{-1}} A m − 1 ;二元流体可用两组分密度差,单位 k g m − 3 \mathrm{kg\,m^{-3}} kg m − 3 ;晶体可用密度的周期 Fourier 分量。为简化推导,下文把 m m m 归一化为无量纲量,所有单位集中到自由能密度系数中。若使用有量纲磁化强度,Landau 系数的单位必须相应改变,不能直接照搬数值。
定义约化温度
t = T − T c T c , t=\frac{T-T_c}{T_c}, t = T c T − T c ,
它无量纲;T c T_c T c 用 K。t > 0 t>0 t > 0 位于临界温度上方,t < 0 t<0 t < 0 位于下方。与 m m m 共轭的外场记作 h h h ,自由能密度含 − h m -hm − hm ;若 m m m 无量纲,则 h h h 单位为 J m − 3 \mathrm{J\,m^{-3}} J m − 3 。外场符号固定了哪一支有序相更稳定。
Landau 自由能与连续相变
若零外场系统在 m ↦ − m m\mapsto-m m ↦ − m 下对称,可在 m = 0 m=0 m = 0 附近写
f ( T , h ; m ) = f 0 ( T ) + a 0 t 2 m 2 + b 4 m 4 − h m , a 0 > 0 , b > 0. f(T,h;m)=f_0(T)+\frac{a_0t}{2}m^2+\frac b4m^4-hm,
\qquad a_0>0, b>0. f ( T , h ; m ) = f 0 ( T ) + 2 a 0 t m 2 + 4 b m 4 − hm , a 0 > 0 , b > 0.
f , a 0 , b , h f,a_0,b,h f , a 0 , b , h 均为能量密度,单位 J m − 3 \mathrm{J\,m^{-3}} J m − 3 。平衡序参量使 f f f 取最小,因此
∂ f ∂ m = a 0 t m + b m 3 − h = 0 , ∂ 2 f ∂ m 2 > 0. \frac{\partial f}{\partial m}=a_0tm+bm^3-h=0,
\qquad
\frac{\partial^2f}{\partial m^2}>0. ∂ m ∂ f = a 0 t m + b m 3 − h = 0 , ∂ m 2 ∂ 2 f > 0.
在 h = 0 h=0 h = 0 时,t > 0 t>0 t > 0 的稳定解为 m 0 = 0 m_0=0 m 0 = 0 ;t < 0 t<0 t < 0 时出现
m 0 = ± − a 0 t b . m_0=\pm\sqrt{-\frac{a_0t}{b}}. m 0 = ± − b a 0 t .
系统选择两支之一,离散对称性自发破缺。序参量在 t ↑ 0 t\uparrow0 t ↑ 0 时按 ∣ t ∣ 1 / 2 |t|^{1/2} ∣ t ∣ 1/2 消失,所以 Landau 平均场给出 β M F = 1 / 2 \beta_{\mathrm{MF}}=1/2 β MF = 1/2 。这里的“平均场”忽略了空间涨落;低维或临界点附近的真实指数可以不同。
例 1:Landau 极小值、势垒与单位
取 a 0 = 2.00 × 10 5 J m − 3 a_0=2.00\times10^5\,\mathrm{J\,m^{-3}} a 0 = 2.00 × 1 0 5 J m − 3 、
b = 8.00 × 10 5 J m − 3 b=8.00\times10^5\,\mathrm{J\,m^{-3}} b = 8.00 × 1 0 5 J m − 3 、t = − 0.0400 t=-0.0400 t = − 0.0400 、h = 0 h=0 h = 0 。平衡序参量为
∣ m 0 ∣ = ( 2.00 × 10 5 ) ( 0.0400 ) 8.00 × 10 5 = 0.100. |m_0|=\sqrt{\frac{(2.00\times10^5)(0.0400)}{8.00\times10^5}}
=0.100. ∣ m 0 ∣ = 8.00 × 1 0 5 ( 2.00 × 1 0 5 ) ( 0.0400 ) = 0.100. 相对无序点的自由能密度变化为
f ( m 0 ) − f ( 0 ) = − a 0 2 t 2 4 b = − 20.0 J m − 3 . f(m_0)-f(0)=-\frac{a_0^2t^2}{4b}
=-20.0\,\mathrm{J\,m^{-3}}. f ( m 0 ) − f ( 0 ) = − 4 b a 0 2 t 2 = − 20.0 J m − 3 . m = 0 m=0 m = 0 在 t < 0 t<0 t < 0 时二阶导数 a 0 t < 0 a_0t<0 a 0 t < 0 ,是局部极大而非亚稳态。若施加 h > 0 h>0 h > 0 ,正 m m m 分支自由能降低,负分支升高。把 20.0 J m − 3 20.0\,\mathrm{J\,m^{-3}} 20.0 J m − 3 乘样品体积才能得到总自由能差。
响应与平均场临界指数
零场磁化率类响应定义为
χ = ( ∂ m ∂ h ) T . \chi=\left(\frac{\partial m}{\partial h}\right)_T. χ = ( ∂ h ∂ m ) T .
对状态方程 h = a 0 t m + b m 3 h=a_0tm+bm^3 h = a 0 t m + b m 3 求导:
χ − 1 = a 0 t + 3 b m 2 . \chi^{-1}=a_0t+3bm^2. χ − 1 = a 0 t + 3 b m 2 .
在 t > 0 t>0 t > 0 ,m = 0 m=0 m = 0 ,故 χ = ( a 0 t ) − 1 \chi=(a_0t)^{-1} χ = ( a 0 t ) − 1 ;在 t < 0 t<0 t < 0 的有序支,m 2 = − a 0 t / b m^2=-a_0t/b m 2 = − a 0 t / b ,故 χ = ( − 2 a 0 t ) − 1 \chi=(-2a_0t)^{-1} χ = ( − 2 a 0 t ) − 1 。两侧都按 ∣ t ∣ − 1 |t|^{-1} ∣ t ∣ − 1 发散,平均场 γ = 1 \gamma=1 γ = 1 ,但振幅不同。在 t = 0 t=0 t = 0 ,状态方程为 h = b m 3 h=bm^3 h = b m 3 ,所以 m ∼ h 1 / 3 m\sim h^{1/3} m ∼ h 1/3 ,平均场 δ = 3 \delta=3 δ = 3 。平衡自由能的奇异部分在 t < 0 t<0 t < 0 按 − t 2 -t^2 − t 2 变化,热容出现有限跳跃,对应平均场 α = 0 \alpha=0 α = 0 。
常用临界指数定义为
C s i n g ∼ ∣ t ∣ − α , m ( t < 0 , h = 0 ) ∼ ( − t ) β , C_{\mathrm{sing}}\sim|t|^{-\alpha},\quad
m(t<0,h=0)\sim(-t)^\beta, C sing ∼ ∣ t ∣ − α , m ( t < 0 , h = 0 ) ∼ ( − t ) β ,
χ ∼ ∣ t ∣ − γ , m ( t = 0 ) ∼ ∣ h ∣ 1 / δ sgn h , \chi\sim|t|^{-\gamma},\quad
m(t=0)\sim|h|^{1/\delta}\operatorname{sgn}h, χ ∼ ∣ t ∣ − γ , m ( t = 0 ) ∼ ∣ h ∣ 1/ δ sgn h ,
ξ ∼ ξ 0 ∣ t ∣ − ν , G ( r ; t = 0 ) ∼ r − ( d − 2 + η ) . \xi\sim\xi_0|t|^{-\nu},\quad
G(r;t=0)\sim r^{-(d-2+\eta)}. ξ ∼ ξ 0 ∣ t ∣ − ν , G ( r ; t = 0 ) ∼ r − ( d − 2 + η ) .
C C C 的具体单位取决于按总体积、质量或摩尔归一化;指数无量纲。关联长度 ξ \xi ξ 和微观尺度 ξ 0 \xi_0 ξ 0 都用 m,二者之比无量纲。G ( r ) G(r) G ( r ) 的量纲取决于序参量定义,幂指数描述其长程衰减。
例 2:用尺度关系交叉检查指数
某三维模型的数值拟合给出 β = 0.326 \beta=0.326 β = 0.326 、γ = 1.237 \gamma=1.237 γ = 1.237 、ν = 0.630 \nu=0.630 ν = 0.630 。若 Widom 关系和超标度关系适用,则
δ = 1 + γ β ≈ 4.79 , \delta=1+\frac\gamma\beta
\approx4.79, δ = 1 + β γ ≈ 4.79 , α = 2 − d ν = 2 − 3 ( 0.630 ) = 0.110. \alpha=2-d\nu=2-3(0.630)=0.110. α = 2 − d ν = 2 − 3 ( 0.630 ) = 0.110. Rushbrooke 组合为
α + 2 β + γ = 0.110 + 0.652 + 1.237 = 1.999 ≈ 2. \alpha+2\beta+\gamma
=0.110+0.652+1.237=1.999\approx2. α + 2 β + γ = 0.110 + 0.652 + 1.237 = 1.999 ≈ 2. 这种一致性是拟合诊断,不是对数据真实性的证明。有限尺寸、修正标度和参数协方差会让各关系出现偏差;超标度还可能在高于上临界维数时失效。
关联函数与尺度假设
定义连通关联函数
G ( r ) = ⟨ m ( x ) m ( x + r ) ⟩ − ⟨ m ⟩ 2 . G(\mathbf r)=\langle m(\mathbf x)m(\mathbf x+\mathbf r)\rangle
-\langle m\rangle^2. G ( r ) = ⟨ m ( x ) m ( x + r )⟩ − ⟨ m ⟩ 2 .
远离临界点常有
G ( r ) ∼ e − r / ξ r d − 2 + η . G(r)\sim\frac{e^{-r/\xi}}{r^{d-2+\eta}}. G ( r ) ∼ r d − 2 + η e − r / ξ .
ξ \xi ξ 是局部涨落保持相关的尺度。接近 T c T_c T c 时 ξ \xi ξ 增大,系统不再能分成大量近似独立的小块,中心极限定理式的简单平均失效,响应涨落增强。临界点没有单一有限特征长度,这正是幂律和尺度不变出现的条件。
奇异自由能密度的标度假设可写成
f s ( t , h ) = ∣ t ∣ 2 − α F ± ( h ∣ t ∣ β δ ) . f_s(t,h)=|t|^{2-\alpha}
\mathcal F_\pm\!\left(\frac{h}{|t|^{\beta\delta}}\right). f s ( t , h ) = ∣ t ∣ 2 − α F ± ( ∣ t ∣ β δ h ) .
对 h h h 求导产生序参量和磁化率,得到 Widom 关系 γ = β ( δ − 1 ) \gamma=\beta(\delta-1) γ = β ( δ − 1 ) ;若奇异自由能由每个相关体积约 k B T k_BT k B T 的贡献估计,则 f s ∼ ξ − d f_s\sim\xi^{-d} f s ∼ ξ − d ,得到超标度 2 − α = d ν 2-\alpha=d\nu 2 − α = d ν 。这些推导依赖单一相关长度和普通标度,危险无关变量或长程相互作用会修改结论。
Landau 近似的涨落检查
Landau 理论把序参量替换为平滑平均值。检验它时,可比较一个相关体积 ξ d \xi^d ξ d 内的序参量方差与平均值平方。由涨落—响应关系,粗略有
⟨ ( δ m ) 2 ⟩ ξ d ∼ k B T χ ξ d . \langle(\delta m)^2\rangle_{\xi^d}
\sim\frac{k_BT\chi}{\xi^d}. ⟨( δ m ) 2 ⟩ ξ d ∼ ξ d k B T χ .
若该量远小于 m 0 2 m_0^2 m 0 2 ,平均场自洽;接近临界点时 χ \chi χ 与 ξ \xi ξ 都增大,比例可能不再小,这就是 Ginzburg 型判据的物理内容。具体无量纲系数依赖序参量归一化和 Landau–Ginzburg 梯度项,不能只凭上式给出普适临界温区。上临界维数以下,临界点足够近时涨落通常改变平均场指数;远离临界点的交叉区仍可能近似服从 Landau 结果。
有限尺寸不是误差项,而是可建模变量
有限线性尺寸 L L L 截断 ξ \xi ξ 的发散。把 L / ξ 0 L/\xi_0 L / ξ 0 视为无量纲尺寸,常用有限尺寸标度为
m ( t , L ) = L − β / ν M ( t L 1 / ν ) , m(t,L)=L^{-\beta/\nu}\mathcal M(tL^{1/\nu}), m ( t , L ) = L − β / ν M ( t L 1/ ν ) ,
χ ( t , L ) = L γ / ν X ( t L 1 / ν ) , \chi(t,L)=L^{\gamma/\nu}\mathcal X(tL^{1/\nu}), χ ( t , L ) = L γ / ν X ( t L 1/ ν ) ,
其中若 L L L 带 m,严格写法应用 L / ξ 0 L/\xi_0 L / ξ 0 ;格点模型常把格距 a a a 取作单位。伪临界温度漂移满足
∣ T c ( L ) − T c ( ∞ ) ∣ ∝ L − 1 / ν . |T_c(L)-T_c(\infty)|\propto L^{-1/\nu}. ∣ T c ( L ) − T c ( ∞ ) ∣ ∝ L − 1/ ν .
数据塌缩时横轴应为 t L 1 / ν tL^{1/\nu} t L 1/ ν ,纵轴分别乘 L β / ν L^{\beta/\nu} L β / ν 或 L − γ / ν L^{-\gamma/\nu} L − γ / ν 。同时拟合 T c T_c T c 和指数很容易产生退化,至少应比较多个尺寸、排除过小 L L L ,并报告拟合窗口。
例 3:临界点的尺寸比预测
取 β = 0.326 \beta=0.326 β = 0.326 、γ = 1.237 \gamma=1.237 γ = 1.237 、ν = 0.630 \nu=0.630 ν = 0.630 ,比较边长 L 1 = 16 a L_1=16a L 1 = 16 a 与 L 2 = 64 a L_2=64a L 2 = 64 a 的同类周期系统。在 t = 0 t=0 t = 0 ,
m ( L 2 ) m ( L 1 ) = ( 64 16 ) − β / ν = 4 − 0.517 ≈ 0.488 , \frac{m(L_2)}{m(L_1)}
=\left(\frac{64}{16}\right)^{-\beta/\nu}
=4^{-0.517}\approx0.488, m ( L 1 ) m ( L 2 ) = ( 16 64 ) − β / ν = 4 − 0.517 ≈ 0.488 , χ ( L 2 ) χ ( L 1 ) = 4 γ / ν = 4 1.964 ≈ 15.2. \frac{\chi(L_2)}{\chi(L_1)}
=4^{\gamma/\nu}
=4^{1.964}\approx15.2. χ ( L 1 ) χ ( L 2 ) = 4 γ / ν = 4 1.964 ≈ 15.2. 更大系统在零场有限体积平均中序参量尺度减小,而响应峰迅速增高。若直接平均正负对称构型,⟨ m ⟩ \langle m\rangle ⟨ m ⟩ 可能为零,实际常分析 ⟨ ∣ m ∣ ⟩ \langle|m|\rangle ⟨ ∣ m ∣ ⟩ 或加极小定向场,并明确所用定义。
有限尺寸分析中的次序、边界与修正项
自发对称性破缺还涉及极限次序。对有限且保持 m ↦ − m m\mapsto-m m ↦ − m 对称的系统,零外场正则平均严格满足 ⟨ m ⟩ = 0 \langle m\rangle=0 ⟨ m ⟩ = 0 ,因为正负构型权重相等。要定义有序相,可先在 h > 0 h>0 h > 0 下取 L → ∞ L\to\infty L → ∞ ,再令 h → 0 + h\to0^+ h → 0 + :
m + = lim h → 0 + lim L → ∞ ⟨ m ⟩ L , h . m_+=\lim_{h\to0^+}\lim_{L\to\infty}\langle m\rangle_{L,h}. m + = h → 0 + lim L → ∞ lim ⟨ m ⟩ L , h .
若把 h → 0 h\to0 h → 0 放在有限尺寸极限之前,结果仍为零。模拟中使用 ⟨ ∣ m ∣ ⟩ \langle|m|\rangle ⟨ ∣ m ∣ ⟩ 可以避免正负翻转相消,但它是另一可观测量,必须使用对应的有限尺寸标度函数,不能把绝对值平均直接称为有限系统自发磁化。
临界窗口可由 ξ ( t ) ∼ L \xi(t)\sim L ξ ( t ) ∼ L 估计:
∣ t L ∣ ∼ ( ξ 0 L ) 1 / ν . |t_L|\sim\left(\frac{\xi_0}{L}\right)^{1/\nu}. ∣ t L ∣ ∼ ( L ξ 0 ) 1/ ν .
因此响应峰的圆滑宽度和伪临界点偏移通常都按 L − 1 / ν L^{-1/\nu} L − 1/ ν 缩小。若 L = 100 ξ 0 L=100\xi_0 L = 100 ξ 0 、ν = 0.63 \nu=0.63 ν = 0.63 ,则
∣ t L ∣ ∼ 100 − 1 / 0.63 ≈ 6.7 × 10 − 4 |t_L|\sim100^{-1/0.63}\approx6.7\times10^{-4} ∣ t L ∣ ∼ 10 0 − 1/0.63 ≈ 6.7 × 1 0 − 4 。只有在更远离 T c T_c T c 、满足 ∣ t ∣ ≫ ∣ t L ∣ |t|\gg|t_L| ∣ t ∣ ≫ ∣ t L ∣ 时,样品内部才容纳许多相关长度,体相幂律不易受边界截断。
边界条件和几何也是有限尺寸模型的一部分。周期边界减少表面,但会让相关路径绕回;固定边界可能偏置序参量;自由边界引入表面临界行为。比较不同 L L L 时应固定长宽比和边界类型。若用矩形样品,只写体积相同而形状不同,最短边会先截断关联长度,单一 L = V 1 / d L=V^{1/d} L = V 1/ d 可能掩盖各向异性。
实际数据常含修正标度:
m ( t , L ) = L − β / ν [ M ( x ) + L − ω M 1 ( x ) + ⋯ ] , x = t L 1 / ν , m(t,L)=L^{-\beta/\nu}
\left[\mathcal M(x)+L^{-\omega}\mathcal M_1(x)+\cdots\right],
\qquad x=tL^{1/\nu}, m ( t , L ) = L − β / ν [ M ( x ) + L − ω M 1 ( x ) + ⋯ ] , x = t L 1/ ν ,
ω > 0 \omega>0 ω > 0 是无关方向产生的修正指数。忽略它时,小尺寸会系统性拉偏 T c T_c T c 与指数。稳妥做法是逐步提高最小纳入尺寸 L min L_{\min} L m i n ,观察拟合参数是否稳定;若参数随 L min L_{\min} L m i n 单调漂移,漂亮的数据塌缩也不能作为最终证据。
Binder 比与数值判据
序参量分布的无量纲 Binder 比可定义为
U 4 = 1 − ⟨ m 4 ⟩ 3 ⟨ m 2 ⟩ 2 . U_4=1-\frac{\langle m^4\rangle}{3\langle m^2\rangle^2}. U 4 = 1 − 3 ⟨ m 2 ⟩ 2 ⟨ m 4 ⟩ .
同一边界条件和几何下,不同 L L L 的 U 4 ( T ) U_4(T) U 4 ( T ) 曲线常在临界附近交汇。有限尺寸修正会让交点漂移,不能把两条曲线的一次交点当作精确 T c T_c T c 。Monte Carlo 时间序列在临界附近还会出现临界慢化;有效独立样本数小于记录步数。误差估计应使用分块、积分自相关时间或等价方法,随机种子和热化区间也要记录。
一级相变与 Landau 展开的边界
若对称性允许三次项,或四次系数变负而六次项 c m 6 / 6 cm^6/6 c m 6 /6 保持 c > 0 c>0 c > 0 ,自由能可出现多个局部极小并在某参数处交换全局稳定性。序参量发生有限跳跃,伴随潜热或共存区,这属于一级相变。局部极小是亚稳态,极大之间的势垒控制成核,但平衡相由全局最低自由能决定。
例 4:判别局部稳定与相共存
设无量纲序参量的自由能密度为
f ( m ) = r 2 m 2 − w 3 m 3 + u 4 m 4 , w , u > 0. f(m)=\frac r2m^2-\frac w3m^3+\frac u4m^4,
\qquad w,u>0. f ( m ) = 2 r m 2 − 3 w m 3 + 4 u m 4 , w , u > 0. 驻点满足 m ( r − w m + u m 2 ) = 0 m(r-wm+um^2)=0 m ( r − w m + u m 2 ) = 0 。非零极小与 m = 0 m=0 m = 0 共存时还要求 f ( m ) = f ( 0 ) f(m)=f(0) f ( m ) = f ( 0 ) 。联立可得
m ∗ = 2 w 3 u , r ∗ = 2 w 2 9 u . m_*=\frac{2w}{3u},
\qquad
r_*=\frac{2w^2}{9u}. m ∗ = 3 u 2 w , r ∗ = 9 u 2 w 2 . 在 r = r ∗ r=r_* r = r ∗ ,序参量从 0 0 0 跳到 2 w / ( 3 u ) 2w/(3u) 2 w / ( 3 u ) ,不是连续趋零。两极小自由能相等才是相平衡;仅出现第二个局部极小还不代表全局相已经转换。
重整化群与普适类
粗粒化把小于某尺度的自由度积分掉,再重标坐标和场,使系统回到可比较的描述。参数在反复变换下流动:流向固定点的方向控制长距离行为;需要精细调节的相关方向决定离开临界面的速度;无关方向的微观差异逐步衰减。共享空间维数、序参量分量数、对称性和相互作用范围的系统可流向同一固定点,从而拥有相同临界指数和标度函数形状,这称为普适类。
重整化群图景不说明所有微观量都相同。T c T_c T c 、ξ 0 \xi_0 ξ 0 、响应振幅等通常非普适;长程相互作用、无序、守恒律和边界条件可能改变固定点或动力学指数。Landau 平均场在上临界维数以上常给出正确主指数,在低维则必须处理涨落。
常见误区
有限模拟看到尖峰就证明存在真正奇点
有限系统配分函数通常解析。需要多个尺寸的峰高、峰位和数据塌缩共同外推热力学极限。
序参量一定是无量纲标量
序参量可以有单位、多个分量或复相位。无量纲化必须同步改变共轭场和 Landau 系数。
直线双对数图自动等于临界幂律
有限区间、背景项和修正标度都可产生近似直线。需报告拟合窗口、误差、尺寸依赖和替代模型。
练习
练习 1:Landau 平均场指数 标记完成
所属知识 Landau 理论
难度 3/5 从 f = a 0 t m 2 / 2 + b m 4 / 4 − h m f=a_0tm^2/2+bm^4/4-hm f = a 0 t m 2 /2 + b m 4 /4 − hm 推导平均场 β , γ , δ \beta,\gamma,\delta β , γ , δ 。
查看提示 在 h=0 分别求 t<0 的极小值;在 t=0 保留
b m 3 = h bm^{3}=h b m 3 = h 。
查看解答 t<0 时
m 2 = − a 0 t / b m^{2}=-a_{0}t/b m 2 = − a 0 t / b ,所以
m ∼ ( − t ) 1 / 2 m\sim(-t)^{1/2} m ∼ ( − t ) 1/2 ,
β = 1 / 2 \beta=1/2 β = 1/2 。t=0 时
m = ( h / b ) 1 / 3 m=(h/b)^{1/3} m = ( h / b ) 1/3 ,故
δ = 3 \delta=3 δ = 3 。响应由
χ − 1 = a 0 t + 3 b m 2 \chi^{-1}=a_{0}t+3bm^{2} χ − 1 = a 0 t + 3 b m 2 得到,临界两侧均有
χ ∼ ∣ t ∣ − 1 \chi \sim |t|^{-1} χ ∼ ∣ t ∣ − 1 ,因此
γ = 1 \gamma=1 γ = 1 。
练习 2:关联长度与样品尺寸 标记完成
所属知识 热力学极限
难度 3/5 给定 ξ 0 = 0.30 n m \xi_0=0.30\,\mathrm{nm} ξ 0 = 0.30 nm 、ν = 0.63 \nu=0.63 ν = 0.63 、L = 1.0 μ m L=1.0\,\mu\mathrm m L = 1.0 μ m ,判断 ∣ t ∣ = 10 − 4 |t|=10^{-4} ∣ t ∣ = 1 0 − 4 时是否接近有限尺寸区。
查看提示 先算
ξ = ξ 0 ∣ t ∣ − ν \xi=\xi_{0}|t|^{-}\nu ξ = ξ 0 ∣ t ∣ − ν ,再与 L 比较;
ξ > L \xi>L ξ > L 时有限尺寸截断不可忽略。
查看解答 代入给定
ξ 0 \xi_{0} ξ 0 、t、
ν \nu ν 得
ξ \xi ξ 。若
ξ / L ≪ 1 \xi/L\ll 1 ξ / L ≪ 1 ,体相近似较好;若
ξ \xi ξ 与 L 同量级或更大,峰被圆滑且伪临界点漂移,应使用
L / ξ 0 L/\xi_{0} L / ξ 0 和
t L 1 / ν tL^{1/\nu} t L 1/ ν 做有限尺寸分析。单个尺寸不能确定真正奇点。
练习 3:标度关系核验 标记完成
所属知识 临界指数
难度 4/5 为一组给定 α , β , γ , δ \alpha,\beta,\gamma,\delta α , β , γ , δ 设计两项独立的一致性检查,并说明偏差来源。
查看提示 分别计算
α + 2 β + γ \alpha+2\beta+\gamma α + 2 β + γ 与
β ( δ − 1 ) \beta(\delta-1) β ( δ − 1 ) ,不要把近似拟合值当作精确等式。
查看解答 Rushbrooke 关系要求
α + 2 β + γ = 2 \alpha+2\beta+\gamma=2 α + 2 β + γ = 2 ,Widom 关系要求
γ = β ( δ − 1 ) \gamma=\beta(\delta-1) γ = β ( δ − 1 ) 。把数据及不确定度传播后比较;若偏差超出误差,可能来自有限尺寸、修正标度、拟合区间或不属于普通标度假设。
练习 4:有限尺寸数据塌缩 标记完成
所属知识 有限尺寸标度
难度 4/5 说明如何把不同 L L L 的 m ( T , L ) m(T,L) m ( T , L ) 曲线重标为一次有限尺寸数据塌缩。
查看提示 横轴用
t L 1 / ν tL^{1/\nu} t L 1/ ν ,序参量纵轴用
m L β / ν mL^{\beta/\nu} m L β / ν ;所有 L 使用同一微观长度单位。
查看解答 对每个尺寸计算
x = t ( L / ξ 0 ) 1 / ν x=t(L/\xi_{0})^{1/\nu} x = t ( L / ξ 0 ) 1/ ν 与
y = m ( L / ξ 0 ) β / ν y=m(L/\xi_{0})^{\beta/\nu} y = m ( L / ξ 0 ) β / ν 。若
T c T_c T c 和指数合适,不同尺寸应落在两条对应 t 正负的共同曲线上。应排除过小尺寸并报告
T c T_c T c 、指数和修正项的协方差。
练习 5:Binder 比与自相关 标记完成
所属知识 数值判据
难度 3/5 写出用 U 4 U_4 U 4 估计 T c T_c T c 的步骤,并指出临界慢化如何影响误差条。
查看提示 U 4 U_{4} U 4 是无量纲矩比;曲线交点仍受有限尺寸修正,误差不能按原始步数独立估计。
查看解答 计算各尺寸
U 4 ( T ) U_{4}(T) U 4 ( T ) ,用相邻尺寸交点随 L 的漂移外推
T c T_c T c 。对
m 2 m^{2} m 2 、
m 4 m^{4} m 4 的时间序列估计积分自相关时间或分块误差;有效样本数约为总长度除以相关尺度。仅报告一次交点和普通标准误会低估不确定度。
练习 6:连续还是一级相变 标记完成
所属知识 相变判别
难度 4/5 列出区分连续相变与一级相变的三个热力学或有限尺寸证据。
查看提示 检查热力学极限下序参量是否跳跃、是否有潜热及自由能双极小共存;有限系统双峰本身还不够。
查看解答 连续相变的序参量连续趋零且关联长度发散;一级相变在共存点有自由能等深极小、序参量或能量密度有限跳跃,通常伴随潜热。有限尺寸中两者都被圆滑,应结合峰标度、分布势垒和尺寸外推判断。
关系与资源
课程 · 2014 Statistical Mechanics II: Statistical Physics of Fields Mehran Kardar
用于核对 P06 临界现象章节的对称性、临界指数、尺度关系和重整化群适用边界。
打开官方来源
MIT OpenCourseWare 8.334 覆盖序参量、Landau–Ginzburg 描述、临界涨落、尺度假设、普适性与重整化群。本章只引用该已登记课程;公式、单位、极限条件和数值算例均在正文中可独立核验。