半年前开的坑到现在我还没开始填。趁着现在没啥事,多写几篇 CC 教程。
本文主要介绍 Coupled Cluster 的能量方程的推导。根据相关能的定义以及上篇博客的结论,可以得到 CC 能量的表达式,即
E=⟨Ψ0∣e−T^H^eT^∣Ψ0⟩=⟨Ψ0∣H^cc∣Ψ0⟩其中 H^cc=e−T^H^eT^ 为 CC 的有效哈密顿量,T^=∑T^n 为激发算符。各符号的详细定义请参考上一篇博客。下面我将会从这个公式出发,推导出实际用于计算的,用振幅表示的能量表达式。
1. 哈密顿算符的正则序形式
为了简化后续推导,这里先导出哈密顿算符的正则序形式。由于正则序一般为左产生右湮灭的形式,故正则序在真空态下的期望为0,所以将哈密顿算符写成正则序形式可以大大简化后续的推导过程。本章将会从二次量子化形式的哈密顿量出发,导出哈密顿的正则序形式,即
H^=EHF+pq∑fpq{ap†aq}+41pqrs∑⟨pq∣∣rs⟩{ap†aq†asar}其中 fpq=hpq+∑i⟨pi∣∣qi⟩ 为体系的 fock 矩阵,EHF=∑ihii+21∑ij⟨ij∣∣ij⟩ 为 HF 基态(参考态)能量。
不考虑相对论,在BO近似下,分子体系的哈密顿算符由两部分组成,单体算符(单电子哈密顿算符h^)和两体算符(电子排斥算符r121),可参考树桑的文章1写出哈密顿算符的二次量子化形式,即
H^=pq∑hpqap†aq+21pqrs∑⟨pq∣rs⟩ap†aq†asar=pq∑hpqap†aq+41pqrs∑⟨pq∣rs⟩ap†aq†asar+41pqrs∑⟨pq∣sr⟩ap†aq†aras=pq∑hpqap†aq+41pqrs∑⟨pq∣∣rs⟩ap†aq†asar其中第二个等号运用了费米子湮灭算符的交换反对称性,即 aras=−asar。运用 wick 定理,可将哈密顿算符用正则序表示出来,详细推导过程如下
H^=pq∑hpqap†aq+41pqrs∑⟨pq∣∣rs⟩ap†aq†asar=pq∑hpq{ap†aq}+41pqrs∑⟨pq∣∣rs⟩{ap†aq†asar}+pq∑hpq{ap†∙aq∙}+41pqrs∑⟨pq∣∣rs⟩({ap†∙aq†as∙ar}+{ap†aq†∙as∙ar}+{ap†∙aq†asar∙}+{ap†aq†∙asar∙})+41pqrs∑⟨pq∣∣rs⟩({ap†∙aq†∙∙as∙ar∙∙}+{ap†∙∙aq†∙as∙ar∙∙})=pq∑hpq{ap†aq}+41pqrs∑⟨pq∣∣rs⟩{ap†aq†asar}+pq∑hpqδpqδpi+41pqrs∑⟨pq∣∣rs⟩(δprδpiδqsδqj−δpsδpiδqrδqj)+41pqrs∑⟨pq∣∣rs⟩(−{aq†ar}δpsδpi+{ap†ar}δqsδqi+{aq†as}δprδpi−{ap†as}δqrδqi)=pq∑(hpq+i∑⟨pi∣∣qi⟩){ap†aq}+41pqrs∑⟨pq∣∣rs⟩{ap†aq†asar}+i∑hii+21ij∑⟨ij∣∣ij⟩=EHF+pq∑fpq{ap†aq}+41pqrs∑⟨pq∣∣rs⟩{ap†aq†asar}这就是分子体系哈密顿算符的正则序形式。由于正则序为左产生右湮灭的形式,与零阶波函数(即费米真空态)的内积为零,容易验证,⟨Ψ0∣H^∣Ψ0⟩=EHF,这也是 HF 基态能量的最初定义。接下来我们将使用哈密顿量的正则序形式进行后续的推导。
2. 能量展开式的自然截断
将 CC 有效哈密顿用上篇文章提到的 BCH 公式展开,可得
H^cc=e−T^H^eT^=H^+[H^,T^]+2!1[[H^,T^],T^]+3!1[[[H^,T^],T^],T^]+⋯看上去要计算无穷项,实则不然。在试剂计算能量的时候,通常要将有效哈密顿在 HF 基态上求期望,而正则序部分的期望为零,所以只需要找到上式的非正则序部分并计算期望就能得到最终的能量表达式。实际上,由于自然截断,上式只有四项存在非正则序部分,即
ECC=EHF+⟨Ψ0∣H^T^1∣Ψ0⟩+⟨Ψ0∣H^T^2∣Ψ0⟩+2!1⟨Ψ0∣H^T^1T1^∣Ψ0⟩第一项很好理解,因为 HF 基态能量是常数项。接下来我们将会讨论为什么只有后面几项存在非正则序部分。
下面的推导过程需要计算正则序之间的乘积。正则序之间的乘积同样可以使用wick定理进行计算,这里有一点需要注意。正则序是一种左产生右湮灭的算符形式,本质上和普通算符一样,可以表示为一系列产生湮灭算符的乘积。由于正则序内部的收缩只可能是产生产生、湮灭湮灭和左产生右湮灭这三种情况,而这三种收缩都为零,所以正则序内部的收缩都为零。所以在应用 wick 定理计算正则序之间的乘积时,只有正则序之间的收缩非零。
在第一部分的推导中我们可以知道,哈密顿算符由单体算符、两体算符和常数项组成,为了使得哈密顿与激发算符的乘积不为零,根据 wick 定理和正则序的定义,只有当哈密顿算符与激发算符的乘积存在完全收缩,才有可能得到非正则序项,例如
{ap†aq}{aa†ai}→{ap†∙aq∙∙}{aa†∙∙ai∙}=δpiδqa上述正则序的乘积中所有的产生湮灭算符都得到了收缩,最后得到了不含正则序的项。而下面的这些乘积则不能完全收缩,例如
{ap†aq}{aa†ai}{ab†aj},{ap†aq†asar}{aa†ab†ajai}{ac†ak}⋯这些项最后收缩得到的结果都含有正则序,所以这些项作用到真空态上会等于零。由于哈密顿算符只包含单体部分和两体部分,所以所有包含 T^3 及以上激发算符的项都为零;二阶以上展开项都为零,即
ECC=EHF+⟨Ψ0∣[H^,T^1+T^2]∣Ψ0⟩+2!1⟨Ψ0∣[[H^,T^1],T1^]∣Ψ0⟩又因为激发算符都是 q-产生算符,而 q-产生算符在左边的收缩表达式为零,所以只有激发算符在哈密顿算符右边的项非零。简化上述对易表达式,最后得到
ECC=EHF+⟨Ψ0∣H^T^1∣Ψ0⟩+⟨Ψ0∣H^T^2∣Ψ0⟩+2!1⟨Ψ0∣H^T^1T1^∣Ψ0⟩这就是经过自然截断保留非零项的 CC 能量表达式。第一项为 HF 基态能量,后面三项为 CC 相关能 。现在我们将原来的能量表达式的无穷求和给简化成上述四项。在下一部分我们将详细计算上述几项,得到能用振幅表示的能量表达式。
3. 能量方程的推导
上一部分中我们得到了自然截断后的能量表达式,接下来我们逐项来进行计算。为了简化推导过程,下方推导均使用了爱因斯坦求和约定。
(1) ⟨Ψ0∣H^T^1∣Ψ0⟩
⟨Ψ0∣H^T^1∣Ψ0⟩=⟨Ψ0∣fpqtia{ap†aq}{aa†ai}∣Ψ0⟩=⟨Ψ0∣fpqtia{ap†∙∙aq∙}{aa†∙ai∙∙}∣Ψ0⟩=⟨Ψ0∣fpqtiaδpiδqa∣Ψ0⟩=fiatia(2) ⟨Ψ0∣H^T^2∣Ψ0⟩
⟨Ψ0∣H^T^2∣Ψ0⟩=161⟨Ψ0∣⟨pq∣∣rs⟩tijab{ap†aq†asar}{aa†ab†ajai}∣Ψ0⟩=161⟨pq∣∣rs⟩tijab(δpiδqjδraδsb−δpiδqjδrbδsa−δpjδqiδraδsb+δpjδqiδrbδsa)=161tijab(⟨ij∣∣ab⟩−⟨ij∣∣ba⟩−⟨ji∣∣ab⟩+⟨ji∣∣ba⟩)=41tijab⟨ij∣∣ab⟩(3) 2!1⟨Ψ0∣H^T^1T1^∣Ψ0⟩
2!1⟨Ψ0∣H^T^1T1^∣Ψ0⟩=81⟨Ψ0∣⟨pq∣∣rs⟩tiatjb{ap†aq†asar}{aa†ai}{ab†aj}∣Ψ0⟩=81⟨pq∣∣rs⟩tiatjb(δpiδqjδraδsb−δpiδqjδrbδsa−δpjδqiδraδsb+δpjδqiδrbδsa)=81tiatjb(⟨ij∣∣ab⟩−⟨ij∣∣ba⟩−⟨ji∣∣ab⟩+⟨ji∣∣ba⟩)=21tiatjb⟨ij∣∣ab⟩ 综上所述,CC 相关能表达式为
Ecorr=⟨Ψ0∣H^T^1∣Ψ0⟩+⟨Ψ0∣H^T^2∣Ψ0⟩+2!1⟨Ψ0∣H^T^1T1^∣Ψ0⟩=fiatia+41tijab⟨ij∣∣ab⟩+21tiatjb⟨ij∣∣ab⟩将求和号写出,加上 HF 基态能量,即可得到耦合簇理论的能量表达式,即
ECC=EHF+ia∑fiatia+41ijab∑⟨ij∣∣ab⟩(tijab+2tiatjb)可以看到,由于自然截断的存在,无论激发算符展开到多少阶,能量表达式中始终只含有单激发振幅和双激发振幅,并不直接包含更高阶的激发振幅。所以一般来说 CC 展开到双激发(CCSD)就已经足够精确了,展开到更高阶的激发算符也只是对单双激发振幅加上修正而已。