一个行列式已经包含交换
若简单指定第一个电子住一个轨道、第二个电子住另一个轨道,就把相同电子当成了可区分对象。把这种乘积反对称化,得到 Slater 行列式。Hartree–Fock 在固定哈密顿量下,寻找能量最低的单个行列式。
行列式的能量包含库仑项与交换项。库仑项描述轨道密度之间的排斥;交换项来自反对称性,只在同自旋占据之间出现。它是量子能量表达式的一部分,不能理解成自旋额外施加了一种经典推力。
受限 Hartree–Fock,简称 RHF,让相反自旋的两个电子共用一个空间轨道。氢分子只有这样一对。交换消除了每个占据自旋轨道与自身的虚假作用,两个不同电子之间仍有排斥。
对应阅读:Sandbox Physics · A. E. DePrince III · Psi4 manual
这一轮的密度,决定下一轮的轨道
给定闭壳层密度矩阵 ,把库仑与交换项加到单电子矩阵上,得到 Fock 矩阵 。它定义有效单电子问题。由于原子基函数会重叠,轨道方程右侧还需要重叠矩阵 。
先猜一份密度,建立 Fock 矩阵,求出轨道,填入电子,再生成新的密度。这样反复更新,直到输入和输出一致。阻尼可以抑制振荡。这个实验混合新旧轨道系数,再用重叠矩阵重新归一化,每一帧密度都仍然来自单个行列式。改变的是数值行进方式,最终方程没有变。
最小基组氢分子很特殊:对称性已经强烈限制了成键轨道。对称的初猜可能很快就到答案。故意偏离中心的初猜,则能更清楚地展示数值松弛。这个变化过程不代表电子真实经历了一段时间。
对应阅读:Sandbox Physics · A. E. DePrince III · Psi4 manual
相邻两轮能量接近,还需要看残差
当占据密度与 Fock 算符相容时,矩阵 为零。它的范数衡量自洽方程还差多少。实验显示四个矩阵元的均方根;对这个两行两列矩阵,它等于 Frobenius 范数的一半。把残差、密度变化和能量变化一起看,比只看最后一行能量可靠。
混合步长若很小,相邻两轮能量会几乎相同,密度却可能离答案还远。即使真正收敛,也可能找到激发解或不稳定驻点。下一章就会遇到这样的情形:受限解已经驻定,却允许另一种自旋相关的轨道变化继续降低能量。
迭代次数只数计算机做了多少轮更新。屏幕上的云随迭代变化,是在展示求解过程,不是在播放电子依次经过这些状态。
对应阅读:Sandbox Physics · Psi4 manual
直接加轨道能,会把一对排斥算两次
在氢分子 RHF 中,占据成键轨道的单电子积分记为 ,库仑积分记为 。每个占据自旋轨道都感受到另一个电子,轨道能为 。直接加两个轨道能,同一对电子的排斥便出现两遍。
正确电子能为 ,之后还要加核排斥。在 bohr,固定 STO-3G 基组的 RHF 总能约为 hartree。同基组 FCI 约为 hartree。自洽已经把这个行列式优化好了,却仍然留下了电子相关的改进空间。
对应阅读:Sandbox Physics · A. E. DePrince III · Psi4 manual