Professional Documents
Culture Documents
UDC 编号
中国科学院研究生院
博士学位论文
黄 理
指导教师 戴希研究员
中国科学院物理研究所
培养单位 中国科学院物理研究所
学位授予单位 中国科学院研究生院
答辩委员会主席
.
.Bu
ild
Ve
rsio
n:M
ay
21,
201
2
First Principles LDA+DMFT Computing Framework
for Strongly Correlated Electron Materials
Author:
Li Huang
Supervisor:
Prof. Xi Dai
May, 2012
Institute of Physics
Chinese Academy of Sciences
L. H
2
201
1,
y2
Ma
n:
rsio
Ve
ild
.Bu
Typesetting by XƎLaTEX
.
摘 要
强关联电子材料 (包括 Mott 绝缘体、重费米子化合物、稀土元素变价化合物、高温超导材料等等)
展示了多姿多彩的反常物理特性,近半个世纪以来一直是凝聚态物理以及理论物理领域最热门的研究方
向之一。在强关联电子系统中,电子 − 电子间的 Coulomb 相互作用可与电子的动能相比拟,主导着电
子的行为,是材料电子结构及相关物性的主要决定因素。传统的基于单电子近似的密度泛函理论对于强
关联电子体系不太适用,因此针对强关联电子系统建立起全新的第一性原理电子结构计算方法是迫在眉
睫的任务。在本学位论文中,试图将密度泛函理论与动力学平均场方法结合为有机的整体,发展出一套
完备的强关联电子材料理论计算框架,为后续的研究工作奠定坚实的基础。本学位论文的主要内容如下:
首先,动力学平均场方法是目前研究强关联电子模型最有力的工具,而量子杂质模型求解器则是动
力学平均场方法最核心的部分。本文的研究重点集中于量子蒙特卡洛杂质求解器,独立开发了多个基于
强耦合展开连续时间量子蒙特卡洛算法的杂质求解器,包括段表示算法、Holstein-Hubbard 模型算法、
动态屏蔽效应算法、广义矩阵算法、Krylov 子空间迭代算法、正交多项式表象算法等版本。除此之外,
还独立提出了全新的基于 Newton-Leja 多项式插值算法与内核多项式表象算法的杂质求解器。这些杂
质求解器基本上能处理目前所有的量子杂质模型,所涵盖的参数区间远超其余现存的量子杂质求解器。
其次,将基于密度泛函理论的电子结构计算方法与动力学平均场方法结合在一起,开发了一套功能完
备、稳定可靠、简单易用的强关联电子材料第一性原理计算软件包,可用于深入研究相关材料的电子结
构。该软件包支持多种局域轨道,可与目前主流的电子结构计算软件相结合,适用范围很广。
最后,应用自主研发的强关联电子材料第一性原理计算软件包深入研究了 SrVO3 、CoO、BaRuO3
等 3d 与 4d 系统的电子结构,获得了如下重要结论:(1)SrVO3 属于 3d1 配置的强关联金属,关联作用使
得 3d 电子的能带结构发生重整化,改变了电子的有效质量。杂质谱函数呈现关联电子系统中十分典型
的三峰结构。如果在相互作用项中考虑旋转不变性或者是动态屏蔽效应,那么 3d 电子的杂质谱函数会
发生明显的变化。(2) 过渡金属氧化物 CoO 的基态是反铁磁绝缘体。在压力的作用下,CoO 的电子结
构会发生剧烈的变化。当压力小于 60 GPa 时, 3d 电子的 t2g 轨道与 eg 轨道都是绝缘态;当外压在 60
GPa 与 170 GPa 之间时, t2g 轨道率先变为金属态而 eg 轨道仍为绝缘态;当压力大于 170 GPa 时,所
有轨道都变为绝缘态。这是典型的具有轨道选择性的金属 − 绝缘体相变。与此同时还发生了由高自旋态
到低自旋态的相变。这是首次通过理论计算完满解释了 CoO 在压力作用下的电子结构演化情况。(3) 电
子结构计算表明,BaRuO3 属于 4d4 配置的具有局域磁矩的弱关联金属,其 4d 电子杂质谱函数呈现典
型的三峰结构。与同一族的 CaRuO3 和 SrRuO3 相类似,BaRuO3 的电子结构偏离 Fermi liquid 理论的
描述,其光电导在低频处展现出 <σ(ω) ∼ ω −1 的行为。
关键词: 强关联电子材料,密度泛函理论,动力学平均场方法,量子蒙特卡洛杂质求解器,第一性原理
电子结构计算方法
Abstract
Strongly correlated materials, including Mott insulators, heavy fermion compounds, rare-earth mixed va-
lence compounds, high-temperature superconductivity materials etc., which exhibit many intriguing and novel
properties, have attracted many attentions of experimental and theoretical studies. It is clear that the strong
interactions of d, f electrons with each other and with itinerant electronic states of the materials are respon-
sible for their anomalous properties. Since traditional band theory is completely failed for them, it is urgent
to develop a new first principles computing framework for strongly correlated materials. In this thesis, I try to
merge density functional theory with dynamical mean-field theory to implement a powerful ab inito electronic
structure calculation software package for numerous strongly correlated materials, and pave the way for further
investigations. The key research results of this thesis are as follows.
Firstly, by now the most powerful tools for strongly correlated systems is dynamical mean-field theory,
and quantum impurity solver is the most important ingredients of it. Various quantum impurity solvers have
been developed and used in the last decades. I have implemented several quantum impurity solvers by myself
which are based on the fashionable hybridization expansion continuous-time quantum Monte Carlo method,
including segment representation, Holstein-Hubbard model, dynamical screening effect, general matrix, Krylov
subspace iteration and orthogonal polynomial representation algorithms etc. In addition, I have invented
Newton-Leja interpolation and kernel polynomial representation algorithms. These quantum impurity solvers
exhibit outstanding performances and most of the involved quantum impurity models can be solved efficiently
by them.
Secondly, I have developed a powerful, flexible, and robust first principles computing software package
for strongly correlated materials by combining modern density functional theory and dynamical mean-field
theory. Various local orbitals are supported by this code, thus it can be used together with many popular band
structure calculation softwares.
Thirdly, by using the software package developed by myself, I have studied the electronic properties of
several strongly correlated materials, including SrVO3 , CoO, and BaRuO3 and so on. The most important
conclusions are summarized as follows:(1) SrVO3 is a typical correlated metal with strongly renormalized band
structures. Its impurity spectral functions contain manifest quasi-particle peak, upper and lower Hubbard
bands, which are the pronounced signals of strongly correlated systems. Once the rotationally invariant
interactions or dynamical screening effects are taken into considerations, the spectral functions should be
changed significantly. (2) The ground state of CoO is an anti-ferromagnetic charge transfer insulator. My
calculations predict that the metal-insulator transition in CoO under pressure is a typical orbital selective
insulator to metal transition, where the t2g orbitals of Co 3d shell become metallic firstly around 60 GPa while
the eg orbitals still remain insulating until 170 GPa. Further studies of the spin states of Co 3d shell reveal that
the orbital selective Mott phase in the intermediate pressure regime is mainly stabilized by the high-spin state
of Co 3d shell and the transition from this phase to the fully metallic state is driven mainly by the high-spin
to low-spin transition of the Co2+ ions. My results are in good agreement with the most recent transport
and x-ray emission experiments under high pressure. (3) The cubic BaRuO3 is a weak correlated metal with
4d4 configuration. My calculations predict that there exists sharp quasi-particle peak in the impurity spectral
functions. In accordance with CaRuO3 and SrRuO3 , the electronic structure of cubic BaRuO3 can not be well
described by the Landau Fermi liquid theory, and the calculated low frequency optical conductivities of it at
different temperatures show clear <σ(ω) ∼ ω −1 behaviors.
Keywords: Strongly Correlated Systems, Density Functional Theory, Dynamical Mean-Field The-
ory, Continuous-Time Quantum Monte Carlo Impurity Solver, ab initio Electronic Structure Cal-
culations
目 录
摘要 I
abstract II
1 绪论 1
1.1 强关联电子体系 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.1 强关联电子材料 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.2 强关联电子体系的基本模型 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.1.3 传统研究方法 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2 动力学平均场方法及其扩展 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.1 基本理论框架与拓展 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.2 量子杂质模型 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.2.3 量子杂质模型求解器 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.3 本文主要结构 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2 量子蒙特卡洛杂质求解器: 一般原理 17
2.1 蒙特卡洛方法 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.1.1 蒙特卡洛抽样原理 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.1.2 Markov 过程 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.1.3 Metropolis-Hastings 算法 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.1.4 Mersenne Twister 赝随机数产生器 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.2 量子蒙特卡洛杂质求解器 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.2.1 杂质问题的分立化 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.2.2 杂质问题的微扰展开 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.2.3 图形量子蒙特卡洛方法 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
ii 目 录
2.2.4 负符号问题 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.3 本章小结 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
3 量子蒙特卡洛杂质求解器: 强耦合展开连续时间算法 29
3.1 配分函数的微扰展开 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
3.2 段表示算法 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3.2.1 基本原理 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3.2.2 求迹算法 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
3.2.3 行列式算法 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
3.2.4 物理量测量 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
3.2.5 程序测试 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
3.3.2 动态屏蔽效应算法 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
3.3.3 程序测试 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
3.4 广义矩阵算法 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
3.4.1 图形表示 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
3.4.2 本征表象 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
3.4.3 核心算法 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
3.4.4 程序测试 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
3.5.1 Fock 表象 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
3.5.4 程序测试 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
3.6 正交多项式表象与内核多项式表象 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
3.6.3 内核多项式算法 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
3.6.4 程序测试 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
3.7 本章小结 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
目 录 iii
4.1 密度泛函理论简介 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
4.1.2 基于密度泛函理论的电子结构计算方法 . . . . . . . . . . . . . . . . . . . . . . . . . . 90
4.1.3 密度泛函理论的局限与修正 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
6 结论与展望 141
附录 145
参考文献 156
发表文章目录 173
致谢 174
插图索引
1.1 晶格模型映射为单点参考系统的示意图 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2 动力学平均场方法自洽迭代计算流程图 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.1 相空间位型示意图 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.2 相空间中随机行走示意图 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.3 图形量子蒙特卡洛方法流程图 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
3.1 量子蒙特卡洛杂质求解器项目分支示意图 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
3.2 段表示算法中图形表示的四种可能状态 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3.3 段表示算法中典型的二阶展开图形 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3.10 图形微扰展开项的阶数分布 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
3.11 段表示算法的计算效率 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
3.15 广义矩阵算法的图形表示 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
3.1 量子蒙特卡洛杂质求解器项目分支 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
3.2 内核多项式方法中所用的典型阻尼函数 fn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
绪论
本章属于绪论部分,目的是介绍本文的主要研究对象——强关联电子系统,以及本文的主要研究方
法——动力学平均场理论。本章结构如下:
第1.1节,简述强关联电子体系的基本定义,典型的强关联电子材料,强关联电子系统的基本模型哈
密顿量,以及传统的研究方法。
第1.2节,简述动力学平均场理论及其扩展。动力学平均场方法是研究强关联电子系统的有力工具。
本节简要介绍了其基本理论框架,自洽计算流程与最新研究方向,着重讨论了动力学平均场方法最核心
的部分——量子杂质模型求解器。
第1.3节,概述了本人在攻读博士学位期间的主要研究方向,所完成的主要成果,并给出了博士学位
论文的主要写作大纲。
1.1 强关联电子体系
1.1.1 强关联电子材料
通过深入而细致的研究,人们发现重费米子化合物、巨磁阻化合物、高温超导材料等这些化合物之所
以体现出丰富多姿的物性,主要是因为它们都拥有部分填满的 d 或 f 电子壳层,以及系统中所保有的局
域磁矩。 d 与 f 局域电子之间的相互作用,以及局域电子与巡游电子之间的相互作用乃是其中最重要
的肇因。所有具有强电子 − 电子相互作用的系统都属于强关联电子体系 (strongly correlated systems,
SCS)。上述材料都属于比较典型的强关联电子体系,除此之外,Mott 绝缘体、自旋电子材料、spin
peierls 材料、准低维材料、部分锕系元素及其化合物、镧系变价化合物等材料亦都属于强关联电子体系
的一员。
材料的物性是由其电子结构决定的,因此我们若要理解强关联电子系统的种种反常特性必然要从它们
的电子结构着手。传统的能带理论应用在简单金属或者是半导体材料上均取得了很大的成功,因为在这
些材料中,电子 − 电子间相互作用比较弱。但是能带理论却不足以描述强关联电子体系,因为在强关联
电子体系中,电子之间 Coulomb 相互作用的强度已经与 3d、 4f 、 5f 电子轨道的能带宽度处于同一量
级,甚至是有而过之。在这种情况下,基于单电子近似的能带理论显然是过于粗糙了,我们需要的是一
套全新的理论。自从五十多年前 Hubbard 做出开创性的工作时开始,人们发展了许多种理论方法来试
图解决强关联体系的电子结构问题。这些理论方法基本上都基于以下几种简单的模型:Hubbard 模型、
s − d 交换模型、周期性 Anderson 模型等等。这些方法 (模型) 均能够处理一部分强关联电子体系,但
是没有一种理论方法是广泛适用的,对于更为复杂的描述真实材料的模型更是无能为力。真正的理论突
破直至上个世纪八十年代末九十年代初动力学平均场理论提出时才姗姗来迟,至此才宣告强关联电子体
系理论研究的黄金时代正式开始,这个黄金时代一直持续到二十一世纪的今天仍未结束。
1.1.2 强关联电子体系的基本模型
Hubbard 模型
Hubbard 模型的哈密顿量如下式所示:
∑ ∑
H= tij c†iσ cjσ + U ni↑ ni↓ . (1.1)
ij,σ i
s − d 交换模型
s − d 交换模型的哈密顿量如下所示:
∑ ∑
H= tij c†iσ cjσ − J (Si sσσ0 )c†iσ ciσ0 . (1.4)
ij,σ i,σσ 0
其中上式右端第一项仍然是传统的跃迁项,描述电子在相邻格点上的跃迁。右端第二项是交换项,描述
的是巡游电子与局域磁矩之间的相互作用。巡游电子被称为 s 电子,而局域磁矩乃是由于未填满的 d 或
者 f 电子壳层所形成的,这就是 s − d 交换模型的由来。实际上 s − d 交换模型通常被用于描述稀土元素
化合物的磁性,后者通常都具有非常局域的 4f 电子壳层。 s − d 交换模型同样具有两个可调参数:zt 与
J。当 J zt 时为弱耦合极限,此时若用微扰论处理交换项可以得到很多十分有意思的结果,例如: 铁
磁金属中的巡游电子磁化、反铁磁金属中的电子能带劈裂、Kondo 效应、超导态被顺磁杂质破坏等等。
如果 J zt,这是强耦合极限,此时 s − d 交换模型可以约化为有效的双交换模型 (double exchange
model),主要用于描述锰氧化物中的铁磁性。
2 电子在格点 j 上湮灭,在格点 i 上产生,相当于电子从 j 格点跃迁至 i 格点。
3 最近邻格点数目通常定义为 z,有时也被称为配位数。
4 绪论
周期性 Anderson 模型
其中 c† (c) 与 d† (d) 分别为 s 电子与 d 电子的产生 (湮灭) 算符, ndiσ 是自旋为 σ 的 d 电子在 i 格点上的
占据数, d 为 d 电子的能级, Vij 为杂化参数,描述 s 电子与 d 电子之间杂化相互作用的强度。周期性
Anderson 模型主要用于解释局域磁矩的形成、Kondo 绝缘体、重费米子化合物、混合价态效应等等。
Hubbard 模型 (参见公式 (1.1)) 与周期性 Anderson 模型 (参见公式 (1.5)) 是强关联电子理论的基础,
对上述模型的深入研究有助于我们对金属 − 绝缘体相变、高温超导、重费米子效应等强关联电子体系中
存在的物理现象加深理解。
1.1.3 传统研究方法
在早期,人们通常应用平均场方法或者是微扰论的技巧研究上述模型哈密顿量,例如 U zt 时的
Hubbard 模型与 Anderson 模型或者 J zt 时的 s − d 交换模型。然而如果系统中不存在小参量,亦
即 zt ∼ U 或者是 zt ∼ J,那么传统的以 U 或者 J 为微扰项的微扰论将不再成立。解决之道是寻找新的
微扰项,例如在某些情况下我们可以利用体系中的电子数,体系中简并态数目的倒数 1/N 5 ,晶格中最近
邻格点数目的倒数 1/z 6 作为微扰项。实际上,对 d → ∞(或者 z → ∞) 等极限情形的研究推动了动力学
平均场方法的发展。除了微扰论以外,人们还尝试通过其它理论途径求解上述模型哈密顿量。Hubbard
就曾用运动方程解耦合方法来计算 Hubbard 模型的双时格林函数。与这种解耦合方法比较类似的技
巧还有复合算符方法 (composite operators method, COM) 5 。此外,基于变分原理的 Gutzwiller 方
法在强关联电子模型的研究中应用也十分广泛 6 。辅助粒子方法 (auxiliary particle approach) 是另一
大类应用广泛的方法,其中包括: 隶玻色子方法 (slave boson method) 与辅助费米子方法 (auxiliary
fermion method)。这些方法的基本思想是将模型中的算符7 替换为费米子与玻色子算符的乘积,然后
通过额外的步骤消除非物理的态。通过引入恰当的辅助粒子算符可以在平均场近似下正确地描述强关联
模型的低能物理,但是很遗憾的是至今并无一个通用的步骤来构造恰当的辅助粒子算符,并且也不清楚
哪种辅助粒子算符是最优的选择,因此目前辅助粒子方法有许多个不同的版本 7 。
4d 表示空间维度。
5 此类微扰论通常被称为 large-N 展开或者 1/N 展开。
6 此类微扰论通常被称为 1/z 展开。
7 例如 Hubbard 模型中的 X 算符。
1.2 动力学平均场方法及其扩展 5
上述各种研究方法均有其优缺点,但是通用性都比较差。将在下文介绍的动力学平均场方法是目前
适用性最广的强关联电子体系的研究方法,它并不依赖于微扰论,因而在任意 Coulomb 相互作用强度
下,使用动力学平均场方法都能计算得到强关联电子体系的能谱以及其它的物性。
1.2 动力学平均场方法及其扩展
传统的理论计算方法在研究强关联电子体系时受到很大限制,往往只能适用于某些特殊的情况或
者是只能给出定性半定量的结果。这个局面直至 1989 年 Metzner 与 Vollhardt 发表他们的研究成果
后才宣告打破。他们提出在高维的晶格上 (而非传统的二维或者三维晶格)8 研究强关联电子系统 8 。当
d → ∞(亦即 z → ∞) 时,晶格电子的运动方程可大大简化,无论 Coulomb 相互作用强度有多大,它都
是可解的。在 d → ∞ 极限下,由于空间涨落可直接忽略,仅须考虑动态的在位涨落,因此理论研究起来
比较简单。这一发现直接导致了动力学平均场方法的诞生 9 。在动力学平均场理论中,原始的晶格模型被
映射到一个有效的量子杂质模型中,后者描述的是关联电子在一个具有时间依赖性或者是能量依赖性,
但是完全忽略了空间涨落的平均场中运动。首先求解此杂质模型以得到电子自能函数,然后通过 Dyson
方程求出晶格格林函数,由后者可以定义新的动力学平均场。因此通过自洽迭代计算可以确定最终的平
均场,这就是动力学平均场理论的核心内容。早在 1992 年,Georges、Kotliar、Jarrell 等人 10,11 分别
应用动力学平均场方法求解 Hubbard 模型,从而宣告了动力学平均场理论的创立。此后该方法得到了
迅猛的发展,至今已经成为强关联电子领域最重要的理论工具与研究手段 9,12,13 。
1.2.1 基本理论框架与拓展
平均场方法本质
对于广义的晶格模型,平均场方法的本质是将晶格模型映射为一个有效的平均背景之上的单点
(single site) 参考系统 (如图1.1所示),同时忽略所有的非局域自由度,例如晶格格点之间的耦合等等。
那么剩下的问题便是如何确定这个平均背景以及单点参考系统。解决之道是选定某个观测量,要求它在
单点参考系统中的期望值必须等于它在原始的晶格模型中的期望值。这个映射过程是广义的,并没有引
入任何近似,它仅仅只是对原始问题的重新定义而已。事实上,当 d → ∞ 时这个映射过程是严格成立
的,这仅是中心极限定理 (central-limit theorem) 的推论。
8 等价于晶格格点的最近邻配位数 z 很大。
6 绪论
图 1.1: 晶格模型映射为单点参考系统的示意图。
d → ∞ 时的 Hubbard 模型
动力学平均场基本方程
式中 T 为编时算符。
另一方面,晶格模型的格林函数亦可定义为:
1
Glat (k, iω) = . (1.11)
iω + µ − k − Σlat (k, iω)
同时为了确保晶格模型能自洽地映射到杂质模型中去,还必须要求杂质格林函数等价于晶格格林函数,
综合利用公式 (1.11) 与公式 (1.12),不难得到动力学平均场方法的自洽方程如下:
1
G(k, iω) = . (1.13)
iω + µ − k − Σ(iω)
动力学平均场自洽迭代计算方法
动力学平均场计算方法比较简单,本质上是一个自洽迭代的过程,具体的计算步骤如下 (参见图1.2):
图 1.2: 动力学平均场方法自洽迭代计算流程图,具体计算流程参见正文。
空间涨落与非局域扩展
由于动力学平均场方法并非一种微扰方法,因此只要无穷维近似成立,那么无论是在无相互作用极
限 (U → 0) 或者是原子极限 (U → ∞),亦或者是中间区域,动力学平均场方法都是成立的。在无穷维
近似下,我们可以忽略掉空间涨落抛弃所有非局域自由度,将晶格模型映射为单杂质的量子杂质模型。
那么在有限维的情况下,虽然我们仍可沿用这个近似,但是这个近似并不总是合理可靠的。人们在这方
面做了许多有益的探索,尝试将动力学平均场方法拓展至有限维度的晶格模型中。近些年来在这方面
的成果有: 团簇动力学平均场理论 (cellar dynamical mean-field theory, CDMFT) 14 、动力学团簇近似
(dynamical cluster approximation, DCA) 14 、对偶费米子方法 (dual fermion, DF) 15 、动力学顶角近
似 (dynamical vertex approximation, DΓA) 16 等。若要进一步了解这些方法最新的进展,请读者参阅
相关的文献。
1.2.2 量子杂质模型
量子杂质模型的引入是为了描述非磁金属中磁性杂质离子的物理行为。Fe 和 Co 等磁性过渡金属原
子具有部分填满的 3d 电子壳层, d 电子间的 Coulomb 相互作用使得 3d 电子壳层趋于形成高自旋态,
并且产生局域磁矩。但是 3d 电子在磁性杂质与非磁金属介质间的来回跃迁使得体系倾向于形成非磁构
型。这两种机制是相互竞争的。在历史上是 P. W. Anderson 首先引入了量子杂质模型统一描述这两种
竞争机制,因此又称之为 Anderson 量子杂质模型 17 。Anderson 量子杂质模型的物理含义十分丰富。
1.2 动力学平均场方法及其扩展 9
除了用于描述杂质磁性以外,在其它领域也有着广泛的应用。量子杂质模型是纳米科学的基础之一,被
用于描述量子点 (quantum dot) 以及分子导体 (molecular conductor) 18 ,原子在金属表面的吸附也可
以用量子杂质模型描述 19,20 。
量子杂质模型还是动力学平均场理论的基石。动力学平均场理论的核心是将一个广义的晶格模型通过
自洽方程映射到量子杂质模型上,通过数值方法或者是解析手段求解量子杂质模型,便可间接获取初始
的晶格模型的性质 9,12,13 。因此量子杂质模型的地位十分重要。我们首先来具体了解所谓的量子杂质模
型。
广义地,量子杂质模型由三个基本项组成,它可以写成如下形式:
0 I
Hloc = Hloc + Hloc , (1.15)
∑
0
Hloc = E ab d†a db , (1.16)
ab
∑
I
Hloc = I pqrs d†p d†q dr ds + ... (1.17)
pqrs
对于 Kondo 问题 21 ,杂化项通常使用另一种形式:
∑
Hhyb = Jkabcd c† c d† d .
1 k2 k1 a k2 b c d
(1.20)
k1 k2 abcd
11 如 6 费米子相互作用项。
10 绪论
有时候为了方便起见,我们通常将杂质模型的配分函数 Z 用虚时路径积分的形式表示出来。这样做
的好处是可以将环境的自由度消去,获得有效的相互作用量 S。
∫
Z = D[c† , c]e−S , (1.21)
其中 S 代表有效相互作用量,其表达式为:
∑∫ β ∫ β [ ]
∫ β
S= dτ dτ 0 d†a (τ ) (∂τ + E ab )δ(τ − τ 0 ) + ∆ab (τ − τ 0 ) db (τ 0 ) + I
dτ Hloc (τ ). (1.22)
ab 0 0 0
∆ab (τ ) 为杂化函数,它在频率表象下的计算公式为:
∑ 1
∆ab (iωn ) = Vk†aα V αb . (1.23)
iωn − kα k
kα
下面我们简要介绍两个本文中将要涉及到的量子杂质模型。
单带单杂质 Anderson 杂质模型: 在 1961 年由 P. W. Anderson 17 引入。在这个模型中, Hloc 描述
的是单个杂质电子轨道,因此下标 a 代表自旋向上或者向下的自由度, E ab 就是杂质电子能级 ε0 (不考
I
虑磁场的存在),相互作用项 Hloc 可以简化为 U n↑ n↓ 。该模型的哈密顿量可以写成如下的形式:
∑ ∑ ∑ †
HAIM = ε0 d†σ dσ + U n↑ n↓ + (V c†kσ dσ + h.c.) + k ckσ ckσ . (1.24)
σ kσ kσ
1.2.3 量子杂质模型求解器
在动力学平均场理论框架中,量子杂质模型求解器占据着至关重要的地位。所谓的求解杂质模型,也
就是要获得算符 d 的关联函数。其中最重要的是单粒子格林函数 12 :
†
d (τ ) = −hT da (τ )db (0)i.
Gab (1.26)
12 当相互作用项为零时,单粒子格林函数可以表示为:
[ ]
1
Gab
d (iω) = .
iω − E − ∆ ab
1.2 动力学平均场方法及其扩展 11
长久以来,量子杂质模型一直是人们研究的热点问题之一。许多数值或解析方法都被用于求解量子杂
质模型。例如耦合常数微扰展开方法 23 ,large-N 展开方法 24,25 ,微扰重整化群方法 26,27 ,泛函重整化
群方法 28 ,"X-Operator" 技术 29--31 ,隶粒子算符方法 24,25,32--34 等等。
在解析方法当中,很重要的一类方法是部份图形的重新求和技术。其中最重要的代表为非相交近似
(non-crossing approximation, NCA) 35 及其推广 36,37 。具体的做法是对杂化项进行图形展开,环境项
收缩为一根直线。如果应用编时微扰理论,那么不同的展开图形可以用直线相交的次数分类。所有非相
交的图或者是单次相交的图都可以解析地通过一组积分方程进行求解。尽管这种方法是不受控的,但是
它可以抓住量子杂质模型的主要物理性质,并且工作在实频上,因此应用较为广泛。最近 Gull 等人 38
以非相交近似为出发点,在此基础上做图形展开,并用蒙特卡洛方法对图形进行部分求和,这种新的杂
质求解器对于研究 Mott 绝缘体相十分合适,但是并不适用于金属相。
13 例如量子临界点附近的精细结构。
12 绪论
分立时间量子蒙特卡洛方法
量子蒙特卡洛方法是本文重点讨论的内容。它包含了两大类算法,第一类是分立时间量子蒙特卡洛算
法 (亦即 Hirsch-Fye 算法) 10,48,49 ,该算法在早期的动力学平均场理论中应用得最为广泛。Hirsch-Fye
量子蒙特卡洛算法的技术要点是将虚时间轴 [0, β) 均分为 M 个时间片段 ∆τ = β/M ,对于每个时间片
段 i 都应用 Hubbard-Stratonovich 变换。以单带 Anderson 杂质模型为例:
其中:
[ ( )]
1
λ = arccosh exp ∆τ U . (1.28)
2
式中 si 被称为附加的 Ising 场变量。这样量子杂质问题转化为随时间变化的附加 Ising 场上的无相互作
用费米子模型,可以用蒙特卡洛算法严格求解。Hirsch-Fye 量子蒙特卡洛算法既能处理强关联电子体
系,也能处理弱关联电子体系,均能获得十分精确的结果。它的主要缺点是计算速度比较慢,而且只能
获得虚时格林函数,为了获得有物理意义的结果,必须先对其进行解析延拓。主要存在着三个困难限制
了 Hirsch-Fye 算法的应用: 首先 Hirsch-Fye 算法要求对虚时间轴进行均匀分立化,这样会引入 O(τ 2 )
量级的系统误差。为了减少系统误差, ∆τ 需要尽可能的小,但是计算量的增长是 O(M 3 ) 的量级,因
此这是个两难的选择,需要在计算精度和计算时间之间做出折衷的选择14 。其次,当相互作用强度较大,
或者系统温度较低时,Hirsch-Fye 算法要达到平衡比较困难。最后,当相互作用的形式比较复杂时15 ,
附加 Ising 场变量的数目将急剧增加,这也会给蒙特卡洛抽样算法带来巨大的困难 49 。
连续时间量子蒙特卡洛方法
连续时间量子蒙特卡洛算法在玻色型晶格问题上的成功促使人们将其拓展至费米型的晶格问题中去。
这方面的先导工作是由 Rombouts 等人 57 完成的。对于玻色型的体系,所有的展开图都有相同的符号,
然而对于费米型的体系,由于反对易关系的原因,不同的图形其符号并不一样,或正或负,因此每次都
抽样单个的图会导致十分严重的负符号问题。解决之道是把同类的图合并,每次抽样一系列的图,在数
值上表现为对行列式 (determinant) 的操作。不幸的是 Rombouts 及其合作者在他们所研究的晶格模
型中仍然发现了极为严重的负符号问题。实际上他们所使用的算法 57 仅能处理密度 − 密度形式的相互
作用。这样糟糕的结果使得人们对于连续时间量子蒙特卡洛算法在费米型晶格问题上的应用持悲观的态
度,很快这一算法便乏人问津了。
由于避免了时间轴分立化的步骤,因此连续时间量子蒙特卡洛算法中没有引入系统性的误差,比分立
时间量子蒙特卡洛算法更为精确可靠,并且其计算速度要比分立时间量子蒙特卡洛算法快很多,能够有
效处理多带体系。由于具有上述优点,虽然仍需要对连续时间量子蒙特卡洛算法的计算结果进行解析延
拓以获得真实的物理可观测量,它已经成为现代动力学平均场理论中最为主流的杂质求解器 69,70 ,在许
多领域都得到了广泛的应用 58 ,同时也取得了巨大的成功。
应该特别指出的是,虽然连续时间量子蒙特卡洛算法极大地拓展了量子杂质求解器的适用范围,取得
了巨大的成功,但是它们并不能解决费米子符号问题。就目前所知,符号问题是物理的,不可避免的。
符号问题的严重性与否将最终决定连续时间量子蒙特卡洛算法的适用边界。
1.3 本文主要结构
在攻读博士学位期间,在导师的指导下,本人主要完成了以下工作:(1) 在动力学平均场方法的框架
下,改进发展了一系列基于强耦合展开连续时间量子蒙特卡洛算法的量子杂质模型求解器。(2) 结合密度
泛函理论 (local density approximation, LDA) 以及动力学平均场方法 (dynamical mean-field theory,
DMFT),独立开发了一套比较完备的 LDA+DMFT 第一性原理电子结构计算软件包。(3) 使用此 LDA
+DMFT 软件包通过理论计算研究了 SrVO3 、CoO、FeO、BaRuO3 、BaOsO3 、CeH3 等强关联电子系
统的电子结构。本博士学位论文即是对上述研究工作的阶段性总结。本学位论文剩余部分的结构如下。
正文部分的结构:
第3章,本文的核心内容之一。主要阐述了在攻读博士学位期间本人开发的各种基于强耦合展开连续
时间量子蒙特卡洛算法的杂质求解器,包括: 段表示版本、Holstein-Hubbard 模型版本、动态屏蔽效应
版本、广义矩阵算法版本、Krylov 算法版本、Newton-Leja 算法版本、正交多项式表象版本与内核多
项式表象版本等等。本章不但深入讨论了各种版本的公式推导,还分别给出了具体的实现细节与测试应
用案例。俗语有云,工欲善其事,必先利其器,本章为第4章与第5章准备好了十分强大的计算工具。
第4章,本文的核心内容之二。首先介绍了经典的密度泛函理论,然后推导了广义的 LDA+DMFT 自
洽计算公式,最后给出了 LDA+DMFT 计算框架的种种实现细节,其中包括:局域轨道的选择、双计
数项的选择、占据数的计算、费米面的计算、Brillouin 区积分算法、物理量计算等等。本章可看作是
第5章的理论准备与工具准备。
第6章是全文的总结,回顾了全文的主要内容,归纳出主要的研究成果,并对后续研究工作稍作展望。
附录部分的结构:
量子蒙特卡洛杂质求解器: 一般原理
在第1章的第1.2.3节,我们初步了解量子蒙特卡洛杂质求解器的前世今生,那么在本章,我们将正式
进入到量子蒙特卡洛杂质求解器的世界中去。本章的结构如下:
第2.1节,顾名思义,量子蒙特卡洛杂质求解器的核心就是蒙特卡洛方法,因此我们需要对蒙特卡洛
方法的一般原理有所了解。本节将简要介绍蒙特卡洛方法的一般原理,包括细致平衡原理,Markov 链,
重要性抽样方法,赝随机数产生器等等。
第2.2节,接下来,我们将介绍量子蒙特卡洛杂质求解器的基本原理、普遍适用的计算流程以及负符
号问题。
第2.3节是本章的小结。
2.1 蒙特卡洛方法
从数值积分出发引入蒙特卡洛抽样方法的基本概念是绝大多数计算物理方面专著的保留节目,本文并
不打算标新立异,下面让我们也从数值积分开始吧。
2.1.1 蒙特卡洛抽样原理
考虑如下形式的数值积分: ∫ 1
F = dxf (x), (2.1)
0
要计算此数值积分,通常的做法是在 [0, 1] 区间内均匀取 M 个点,第 i 个点的坐标为 xi = i/M ,那么该
积分可以近似表示为:
1 ∑
M
F ∼ f (xi ). (2.2)
M i=1
18 量子蒙特卡洛杂质求解器: 一般原理
显然,当 M → ∞ 时,计算值将逼近准确值。
计算误差可以用下面的公式来估计: √
var(f )
∆F = . (2.4)
M
显然,当 M → ∞ 时, ∆F → 0,计算值也将逼近准确值。蒙特卡洛随机抽样方法很容易推广到高维积
分,常用于计算形如下式的相空间积分:
∫
1
F = f (X)dX, (2.5)
Ω C
那么可以有:
∫
1 ∑ f (Xi )
M
1 f (X)
F = p(X)dX ∼ , (2.7)
Ω C p(X) M i=1 p(Xi )
在统计力学中,我们通常需要使用蒙特卡洛抽样方法来计算高维积分。例如某个物理量 A 的期望值
可以表示为如下的形式:
∫
1
hAi = hAip = dXA(X)p(X), (2.9)
Z C
2.1 蒙特卡洛方法 19
其中 ∫
Z= p(X)dX. (2.10)
C
1 ∑
M
hAi ∼ A = A(Xi ). (2.11)
M i=1
为 了 计 算 此 期 望 值, 我 们 必 须 同 时 抽 样 上 式 的 分 子 与 分 母 部 分, 收 集 记 录 A(X)p(X)/ρ(X) 与
p(X)/ρ(X) 的平均值。
2.1.2 Markov 过程
2.1.3 Metropolis-Hastings 算法
acc
乘上该跃迁被接受的几率 Wxy 。如果跃迁被接受,那么状态改变为 y,如果该跃迁不被接受,那么仍然
保持状态 x:
prop acc
Wxy = Wxy Wxy . (2.16)
应用细致平衡条件公式 (2.15),不难得到:
acc prop
Wxy p(y)Wyx
acc
= prop = R. (2.17)
Wyx p(x)Wxy
设若 ( )
prop
acc
p(y)Wyx
Wxy =f prop = f (R), (2.18)
p(x)Wxy
那么 ( )
prop
acc
p(x)Wxy
Wyx =f prop = f (1/R). (2.19)
p(y)Wyx
因此细致平衡条件可以转化为下面的形式,只要能满足它,细致平衡条件就必然能够满足:
f (R)
= R. (2.20)
f (1/R)
随机数产生器是蒙特卡洛方法的核心组成部分之一,随机数产生器的好坏直接影响着蒙特卡洛模拟的
精确性。一般意义上所说的随机数产生器通常是指赝随机数产生器,亦即只要给定了随机数种子,那么
所产生的随机数序列是唯一确定的、可预测的、可重复的。那些能在 [0, 1] 区间内产生均匀分布随机数
的是最有用的随机数产生器。根据 Park 与 Miller 等人的看法,优秀的赝随机数产生器须得满足以下三
个条件:(1) 随机数的周期必须尽可能地长,必须尽可能地接近计算机中整数的范围。例如对于 32 位的计
算机,好的赝随机数产生器应该具有接近于 231 − 1 = 2147483647 的周期。(2) 赝随机数产生器必须具有
很好的随机性,换言之,随机数序列中的随机数之间的关联应尽可能的小。判别方法如下,假设 xn 与
xn+l 是任意两个随机数, n 与 n + l 是它们在随机数序列中的编号, l > 0,那么我们在 x − y 平面中绘
制 (xn , xn+l ) 并观察它们的分布。如果赝随机数产生器的随机性很好,那么应该得到均匀的分布。如果
随机性不好,随机数之间的关联比较大,那么将得不到均匀的分布,可能会得到呈条纹状或晶格状的分
布。(3) 优秀的赝随机数产生器的执行效率必须很高,因为我们需要很多很多以亿为计量单位的随机数以
达到比较好的统计结果,所以赝随机数的速度也是一个非常重要的因素。
2.2 量子蒙特卡洛杂质求解器 21
2.2 量子蒙特卡洛杂质求解器
量子蒙特卡洛方法的定义是应用随机方法求解量子力学的问题。它大致可以分为三大类算法: (1) 变
分蒙特卡洛方法 (Variational Monte Carlo, VMC) 或者是扩散蒙特卡洛方法 (Diffusion Monte Carlo,
DMC),它们抽样的对象是相互作用多体系统中的波函数。(2) 路径积分蒙特卡洛方法 (Path Integral
Monte Carlo, PIMC),对多体问题的作用量进行随机抽样。著名的随机序列展开算法 (stochastic series
expansion, SSE)、loop 算法和 worm 算法都属于这一类。本文第3章重点介绍的连续时间量子蒙特卡
洛算法严格而言也属于路径积分蒙特卡洛算法的一个变种。(3) 附加场蒙特卡洛方法 (Auxiliary Field
Monte Carlo, AFMC),将有效作用量分立化,把配分函数积分重写为高维位型空间中的求和,然后用
蒙特卡洛方法进行抽样。Hirsch-Fye 算法就是附加场蒙特卡洛算法中的一种。
2.2.1 杂质问题的分立化
利用量子蒙特卡洛方法求解杂质问题有两种思路,分别是时间分立化以及微扰展开。这里先简要介绍
时间分立化的思想,下一小节介绍微扰展开的方法,至于具体的算法将在后续的章节中逐一介绍。
首先考虑量子杂质模型的配分函数 Z:
[ ]
Z = Tr e−βH . (2.23)
22 量子蒙特卡洛杂质求解器: 一般原理
2.2.2 杂质问题的微扰展开
利用量子蒙特卡洛方法求解杂质问题的另一思路是微扰展开。将哈密顿量拆分为两部分:
H = H1 + H2 , (2.27)
引入新算符 U(β),其定义为:
U(β) = eβH1 e−βH . (2.29)
那么系统的配分函数可以表示为如下的形式:
算符 U(β) 有如下性质:
dU(β)
= −H2 (β)U(β), (2.31)
dβ
∫β
U(β) = T e− 0
dτ H2 (τ )
, (2.32)
将 H2 项作为微扰项,对配分函数 Z 进行级数展开,可以得到如下公式:
∑∫ β ∫ β
(−1)k [ ]
Z= dτ1 ... dτk Tr e−βH1 T H2 (τk )H2 (τk−1 )...H2 (τ1 ) , (2.34)
0 0 k!
k
2.2 量子蒙特卡洛杂质求解器 23
或者是
∑∫ β ∫ β [ ]
Z= dτ1 ... dτk (−1)k Tr e−βH1 T H2 (τk )H2 (τk−1 )...H2 (τ1 ) . (2.35)
k 0 τk−1
接下来同样可以用量子蒙特卡洛随机抽样技术来处理上面的级数求和。
2.2.3 图形量子蒙特卡洛方法
此刻我们假定所有的权重都是正值,关于负符号的问题稍候讨论。虽然权重是定义严谨的概率密度,但
是它们包含着无穷小量 dτ ,也许有人会担忧这在计算位型空间中随机行走的试探/接受概率时会带来一
定的困难。但是 Prokof'ev 等人的工作已经证明了 53--56 这样的担心是毫无必要的。
本博士论文第3章将要讨论的几种连续时间量子蒙特卡洛算法在表象选择、图形权重、更新方式与物
理量测量等方面存在着诸多不同,但是它们的配分函数都可以表示为形如公式 (2.36) 的形式 58 。为了能
够更好地讨论如何采用蒙特卡洛技术计算配分函数的 (连续时间) 微扰展开,同时也为了说明无穷小量
dτ 不会导致无法克服的困难,并且不失一般性,我们选取如下简单的配分函数微扰展开式为例说明:
∞ ∫ β
∑ ∫ β ∫ β
w(k)
Z= dτ1 dτ2 ... dτk . (2.39)
0 0 0 k!
k=0
如果考虑时序,那么上式可以重写为:
∞ ∫
∑ β ∫ β ∫ β
Z= dτ1 dτ2 ... dτk w(k). (2.40)
k=0 0 τ1 τk−1
.0 .β
.(a) .
.τ1
.(b)
.τ2
.(c)
.τ3
.(d)
下面将关注的焦点转移到插入/删除一个顶点这两种最基本的更新方式上,推导出相应的试探/接受概
率的计算公式。假定从某个阶数为 k 的位型 (k, ~τ ) = (k, τ1 , ..., τk ) 开始,我们试探性地在时间 τ 处插
入一个顶点,其中 τ 是在 [0, β) 区间内任意选择的,那么将会得到一个新的 k + 1 阶的位型 (k + 1, τ~0 ) =
(k + 1, τ1 , ..., τ, ..., τk ) ≡ (k + 1, τ10 , ..., τk+1
0
)。那么这个插入操作的试探概率为:
prop dτ
Wk,k+1 = . (2.42)
β
2 亦即展开序列中的任意一项,任意一个位型。
3 对应于位型的改变,图形的改变或者是微扰展开序列中不同项之间的跳跃。
2.2 量子蒙特卡洛杂质求解器 25
acc
Wk,k+1 = min[1, Rk,k+1 ], (2.45)
acc
Wk+1,k = min[1, 1/Rk,k+1 ]. (2.46)
对于那些保持微扰展开阶数 k 不变的更新方式而言,接受概率的计算公式十分简单,因为无穷小量都完
全抵消了,因此可以得到如下公式:
wnew (k)
Rk,k = , (2.47)
wold (k)
acc
Wk,k = min[1, 1/Rk,k ]. (2.48)
广义的图形量子蒙特卡洛方法计算流程如下图2.3所示。
步骤 1: 初始化量子蒙特卡洛算法,随机构造初始的图形;
26 量子蒙特卡洛杂质求解器: 一般原理
图 2.3: 图形量子蒙特卡洛方法流程图,具体计算过程参见正文中的描述。
2.2 量子蒙特卡洛杂质求解器 27
步骤 2: 随机选择更新图形的方式。在图2.3中只给出了插入/删除一个顶点这两种基本的更新方式,
但是实际上还可以选取其它额外的不改变顶点数目的更新方式,以便提高程序的抽样效率;
步骤 3: 根据所选择的图形更新方式,产生新的图形,并且计算新图形的权重;
步骤 6: 撤销对图形所做的更新,保留原始的配置,然后执行步骤 8;
步骤 7: 保存对图形所做的更新,保留相关的信息,然后执行步骤 8;
步骤 8: 依据当前的微扰展开图形,测量相关的物理量,抽样统计必要的数据;
步骤 9: 判断物理量是否已经收敛,如果是,那么退出程序;如果为否,那么跳转至步骤 2,继续执
行蒙特卡洛抽样。
2.2.4 负符号问题
在上文的讨论中,我们均假定配分函数展开式中所有的展开系数都是正值或者是 0。这样我们可以很
自然地把权重看作是位型空间的概率密度,并且通过蒙特卡洛抽样方法随机抽样访问这些位型。如果权
重 p(X) 为负值4 ,那么它不能够再被看作是概率密度。解决之道就是根据原权重的绝对值 ρ(X) = |p(X)|
进行抽样,那么根据公式 (2.12),可以得到新的测量公式:
hA sgni|p|
hAi = , (2.49)
hsgni|p|
其中
p(X) p(X)
sgn = = , (2.50)
ρ(X) |p(X)|
相当于原权重的符号。这样,根据公式 (2.49),即使存在着负符号,只要在分子与分母中同时根据权重
|p(X)| 进行抽样,同样可以求得物理量的期望值。
Z
hsgni = = exp(−β∆F ). (2.52)
Z|p|
4 由于费米子算符之间是反对易的关系,权重为负值在费米子系统中是十分常见的。
28 量子蒙特卡洛杂质求解器: 一般原理
因此若温度降低,平均符号将指数下降趋于 0。符号的方差可由下式计算:
并且相对误差可以表示为: √
var sgn/M exp(β∆F )
∆sgn = ∼ √ . (2.54)
hsgni M
其中 M 为蒙特卡洛抽样测量的次数。显然如果温度很低,那么测量误差将会指数型地增长。
2.3 本章小结
本章的主要内容可以分为两大部分。第一部分简要地介绍了蒙特卡洛方法的一般原理,包括抽样原
理、误差分析、重要性抽样、Markov 链、Metropolis-Hastings 算法、赝随机数产生器等等,为不熟
悉蒙特卡洛方法的读者提供简明的背景介绍。第二部分主要讨论了使用蒙特卡洛方法求解量子杂质模型
的两大途径。第一种途径是杂质问题的分立化,代表算法是 Hirsch-Fye 算法。第二种途径是杂质问题
的微扰展开,代表算法是图形量子蒙特卡洛算法。图形量子蒙特卡洛算法是连续时间量子蒙特卡洛算法
的一般形式。在本章的后半部分,仔细推导了图形量子蒙特卡洛算法的基本公式,描述了该算法的一般
流程,同时还粗略地介绍了在量子蒙特卡洛算法中不可避免的负符号问题。
第三章
量子蒙特卡洛杂质求解器: 强耦合展开连续时间算法
第2章已经介绍了量子蒙特卡洛杂质求解器的一般原理,本章将着重介绍量子蒙特卡洛杂质求解器最
重要的一个特例: 基于强耦合展开的连续时间量子蒙特卡洛杂质求解器 (CT-HYB)。强耦合展开连续时间
量子蒙特卡洛杂质求解器是目前应用最为广泛的杂质求解器,它具有计算速度快、无系统误差、适用范
围广等优点 58 。因此自该算法公开发表后,它迅速取代 Hirsch-Fye 算法 (HF-QMC) 48 以及弱耦合展开
连续时间量子蒙特卡洛杂质求解器 (CT-INT) 59 ,成为动力学平均场领域的首选求解器。有鉴于此,在攻
读博士学位期间,本人独立开发了一系列基于连续时间量子蒙特卡洛算法的杂质求解器以及相关的配套
工具,这些程序如图3.1 与表3.1所示。
由于强耦合展开连续时间量子蒙特卡洛算法已经被推广拓展到许多方面,因此在本章我们将对该算法
的方方面面做尽可能详细的描述。本章的主要结构如下:
第3.1节,主要介绍强耦合展开连续时间量子蒙特卡洛算法的基本原理,推导出最最基本的公式 58 。
第3.2节,主要介绍强耦合展开连续时间量子蒙特卡洛算法最简单最有效的形式: 段表示算法 61 。
.
manjushaka
.
daisy
.
. pansy .
hibiscus
.
.
. . . .
rosemary .
sakura . Impurity. Solver . jasmine
.
narcissus . .
.
. .
.
azalea camellia
. .
.
.
begonia
. .
gardenia epiphyllum
.
fuchsia
.
.
lavender
图 3.1: 量子蒙特卡洛杂质求解器项目分支示意图。绿色表示已完成的项目,橙色表示开发中的项目,灰
色表示计划中的项目,蓝色表示辅助项目。
31
表 3.1: 量子蒙特卡洛杂质求解器项目分支a
项目 描述 状态
Hirsch-Fye 量子蒙特卡洛杂质求解器算法
弱耦合展开量子蒙特卡洛杂质求解器算法
强耦合展开量子蒙特卡洛杂质求解器算法
辅助程序
3.1 配分函数的微扰展开
本节将推导出强耦合展开连续时间量子蒙特卡洛算法的基本公式 58 。
首先由广义的量子杂质模型 (见公式 (1.14)) 出发,按照图形量子蒙特卡洛方法的精神,可以将哈密
顿量划分为两部分 (H = H1 + H2 ),其中:
并且
H2 = Hhyb . (3.2)
为了计算量子杂质模型的配分函数,我们将 H2 杂化项定为微扰项,对其进行微扰展开,获得型如公
式 (2.35) 的无穷阶展开序列。首先考察杂化项的定义:
∑
Hhyb = (Vαb c†α db + Vαb∗ d†b cα ) = H̃hyb + H̃hyb
†
. (3.3)
αb
† †
由于杂质电子算符 d 和 d 与导带电子算符 c 和 c 分别作用于不同的空间,并且 H1 没有混合杂质电子
态与环境电子态,因此可以将它们相互分离, 得到:
∞ ∫ β
∑ ∫ β ∫ β ∫ β ∑ ∑
0 b0 ∗ b0 ∗
Z= dτ1 ... dτk dτ1 ... dτk0 Vαb11 Vα01 ...Vαbkk Vα0k
1 k
k=0 0 τk−1 0 τk0 −1 α1 ...αk b1 ...bk
α01 ...α0k b0 ...b0
1 k
[ ] (3.6)
Trd e−βHloc T dbk (τk )d†b0 (τk0 )...db1 (τ1 )d†b0 (τ10 )
k 1
[ ]
−βHbath
Trc e T cαk (τk )cα0k (τk )...cα1 (τ1 )cα01 (τ10 ) .
† 0 †
3.1 配分函数的微扰展开 33
我们首先考虑与导带电子 − 环境项有关的部分:
∑ [ ]
b0 ∗ b0 ∗
Vαb11 Vα01 ...Vαbkk Vα0k Trc e−βHbath T c†αk (τk )cα0k (τk0 )...c†α1 (τ1 )cα01 (τ10 ) . (3.7)
1 k
b1 ...bk
b01 ...b0k
那么对于 k = 1 阶而言,可以有 2 :
eα1 ((τ1 −τ10 )−β) ,
1 ∑ b01 ∗ [ ] ∑ |Vαb11 |2 τ1 > τ10
Vαb11 V α01 Trc e−βHbath T c†α1 (τ1 )cα01 (τ10 ) = (3.9)
Zbath 1+e −βα1
−eα1 (τ1 −τ10 ) ,
α1 α01 α1 τ1 < τ10 .
如果我们定义反周期的虚时杂化函数 ∆(τ ):
∑ V l∗ V m
eα (τ −β) , τ >0
∆lm (τ ) = α α
× (3.10)
1 + e−βα −eα τ ,
α τ < 0,
1 公式 (3.8) 的证明如下:
∏ †
Zbath = Tre−βHbath = Tr e−βα cα cα
α
[ ]
∏ −βα c†α cα (−βα )2 (c†α cα )2
= Tr 1 + + + ...
α
1! 2!
∏ [ ( )]
−βα (−βα )2
= Tr 1 + c†α cα + + ...
α
1! 2!
∏ [ ]
= Tr 1 + c†α cα (e−βα − 1)
α
∏
= (1 + e−βα )
α
以及反周期的虚频杂化函数 ∆(iω):
∑ V l∗ V m
α α
∆lm (−iωn ) = . (3.11)
α
iωn − α
再回代公式 (3.9),我们可以得到:
1 ∑ b0 ∗ [ ]
Vαb11 Vα01 Trc e−βHbath T c†α1 (τ1 )cα01 (τ10 ) = ∆b1 b01 (τ1 − τ10 ). (3.12)
Zbath 1
α1 α01
推广到第 k 阶,不难得到:
1 ∑ [ ]
b0 ∗ b0 ∗
Vαb11 Vα01 ...Vαbkk Vα0k Trc e−βHbath T c†αk (τk )cα0k (τk0 )...c†α1 (τ1 )cα01 (τ10 ) = detM−1 . (3.13)
Zbath α1 ...αk
1 k
α01 ...α0k
它的矩阵元可以用下式计算:
(M−1 )ij = ∆bi b0j (τi − τj0 ). (3.15)
这就是配分函数的强耦合微扰展开形式,也是强耦合展开连续时间量子蒙特卡洛杂质求解器的基本公
式 58 。按照图形量子蒙特卡洛算法的精神,上述微扰展开式的每一项都可以用图形来表示,其权重就是:
[ ]
ω = Trd e−βHloc T dbk (τk )d†b0 (τk0 )...db1 (τ1 )d†b0 (τ10 ) detM−1 . (3.17)
k 1
3.2 段表示算法
本节主要介绍强耦合展开连续时间量子蒙特卡洛杂质求解器的段表示算法 61 ,这是强耦合展开算法一
个特例,具有特别简单的形式。当相互作用仅仅包含密度 − 密度 (density-density) 项时,段表示算法
成立。在第3.2.1小节,首先介绍段表示算法的一般原理,尤其是着重介绍段表示算法的图形规则以及
图形表示。第3.2.2小节介绍如何利用图形表示快速计算权重因子 ωloc ,而第3.2.3小节则介绍如何利用
Sherman-Morrison-Woodbury 公式快速计算权重因子 ωdet 。最后的第3.2.5小节则作为程序测试。
3.2.1 基本原理
[Hloc , nα ] = 0. (3.20)
.(a) .
.(b)
.(c)
.(d)
.τs1 .τe1
. .↑
.↓
.0 .τe2 .τs2 .β
图 3.3: 段表示算法中典型的二阶展开图形。图中红色粗线表示占据态,黑色细线表示非占据态,粉色区
域表示重叠部分。仅在重叠部分才需要考虑相互作用 U ,参见公式 (3.22)。
起见,图中并未绘出代表杂化函数的外部连线。利用图形的语言,经过简单的数学推导,在段表示算法
中, wloc 可以由下式计算:
∑n ∑n
Lj −
ωloc = seµ j i<j (Uij Oij ) . (3.21)
ωloc = eµ(τe −τs +τe −τs +β)−U (τe −τs +τe −τs ) .
1 1 2 2 2 1 1 2
(3.22)
段表示算法的精髓在于从某个随机产生的类似于图3.3所示的图形出发,通过一些基本的更新操作随
机产生新的拓朴不等价的图形,计算新图形的权重,按照图形量子蒙特卡洛算法的基本流程计算新图形
对于配分函数微扰展开式的贡献。图形配置的更新方式有如下几种:
.(a) .
.0 .β
.(b)
.(c)
.(d)
.(e)
.(f)
.(g)
3.2.2 求迹算法
插入 segment
插入 segment 的示意图如下图3.4所示,一共可以细分为以下七种情况。
(a) 初始图形为空占据态 (stts = 0),插入 segment 后,消灭算符没有越过 τ = β 点,结果图形为部
分占据态 (stts = 1)。对于此类情况 lmax = β。
(b) 初始图形为空占据态 (stts = 0),插入 segment 后,消灭算符越过 τ = β 点,结果图形变为部分
占据态 (stts = 2)。对于此类情况 lmax = β。
(c) 初始图形为部分占据态 (stts = 1),在所有算符之前插入 segment,结果图形仍为部分占据态
(stts = 1)。对于此类情况 lmax 的计算方法为插入产生算符与右侧相邻的第一个产生算符之间的间距。
(d) 初始图形为部分占据态 (stts = 1),在所有算符之后插入 segment,由于消灭算符没有越过 τ = β
点,结果图形仍为部分占据态 (stts = 1)。对于此类情况 lmax 的计算方法为插入产生算符与 τ = β 点的
3.2 段表示算法 39
.(a) .
.0 .β
.(b)
.(c)
.(d)
.(e)
.(f)
.(g)
间距加上 τ = 0 点与第一个产生算符之间的间距。
插入 anti-segment
插入 anti-segment 的示意图如下图3.5所示,一共可以细分为以下七种情况。
删除 segment
删除 segment 的示意图如下图3.6所示,一共可以细分为以下五种情况。
(a) 初始图形为部分占据态 (stts = 1),仅有一个 segment,删除此 segment 后,结果图形变为空占
据态 (stts = 0)。对于此类情况 lmax = β。
(b) 初始图形为部分占据态 (stts = 1),有多个 segment,删除中间任意一个 segment 后,结果图
形仍保持部分占据态 (stts = 1)。对于此类情况, lmax 的计算方法为将要删除的产生算符与右侧相邻的
第一个产生算符之间的间距。
(c) 初始图形为部分占据态 (stts = 2),仅有一个 segment,删除此 segment 后,结果图形变为空占
据态 (stts = 0)。对于此类情况 lmax = β。
(d) 初始图形为部分占据态 (stts = 2),有多个 segment,删除中间任意一个 segment 后,结果图
形仍保持部分占据态 (stts = 2)。对于此类情况, lmax 的计算方法为将要删除的产生算符与右侧相邻的
第一个产生算符之间的间距。
(e) 初始图形为部分占据态 (stts = 2),有多个 segment,删除第一个 segment,结果图形变为部分
占据态 (stts = 1)。对于此类情况, lmax 的计算方法为将要删除的产生算符与 τ = 0 点之间的间距加上
最右侧最后一个消灭算符与 τ = β 点之间的间距。
如果初始图形为空占据态 (stts = 0) 或者全占据态 (stts = 3),那么删除 segment 这类操作是被禁止
的。
3.2 段表示算法 41
.(a) .
.0 .β
.(b)
.(c)
.(d)
.(e)
删除 anti-segment
删除 segment 的示意图如下图3.7所示,一共可以细分为以下五种情况。
.(a) .
.0 .β
.(b)
.(c)
.(d)
.(e)
3.2.3 行列式算法
Shermann-Morrison-Woodbury 公式
下面我们首先介绍一个与逆矩阵有关的著名公式:Shermann-Morrison-Woodbury 公式,此公式常
用来快速求解矩阵的逆 58,59,67 。如果我们有一个 N × N 矩阵 A−1 ,它加上矢量 u 与 v 的直积 u ⊗ v,那
么结果矩阵的逆矩阵可通过 O(N 2 ) 量级的浮点运算得到,而传统的求逆矩阵的算法要求 O(N 3 ) 量级的
浮点运算。Shermann-Morrison-Woodbury 公式如下所示:
1
(A−1 + u ⊗ v)−1 = A − (Au) ⊗ (vA). (3.30)
1 + vAu
特别地,对于矩阵的行列式,有下述公式成立:
其中
∑
Lij = Mold
il ∆lj , (3.34)
l<n
∑
Rij = ∆il Mold
lj , (3.35)
l<n
det Mold 1 ∑
= = ∆nn − ∆nl Mold
ll0 ∆l0 n . (3.36)
det Mnew p 0 ll <n
其中 i 6= p 以及 j 6= q。同时还有:
det Mold
= Mold
pq . (3.38)
det Mnew
44 量子蒙特卡洛杂质求解器: 强耦合展开连续时间算法
3.2.4 物理量测量
在段表示算法中,局域虚时格林函数的测量公式为:
其中 τs 与 τe 分别为产生算符与消灭算符的时间,而 is , ie 则是它们在各自算符序列中的索引。该公式
可以改写为: * +
1 ∑
k ∑
k
G(τ ) = − Mj,i ∆(τ,
˜ τie − τjs ) , (3.40)
β i=1 j=1
˜ τ 0 ) 是自定义的 δ 函数:
其中 ∆(τ,
δ(τ − τ 0 ), τ0 > 0
˜ τ 0) =
∆(τ, (3.41)
−δ(τ − τ 0 − β), τ 0 < 0.
相应的虚频格林函数的测量公式为:
1 ∑ iωτie
G(iω) = − e Mie ,is e−iωτis . (3.42)
β i ,i
e s
其中
∑
0
Lj = Mold
ji ∆(τi − τ ), (3.44)
i
∑
Ri = ∆(τ − τj )Mold
ji . (3.45)
j
以上公式对于所有的强耦合展开连续时间量子蒙特卡洛杂质求解器都是适用的。
3.2 段表示算法 45
系统动能的测量公式为:
1
Ekin = hki, (3.47)
β
其中 k 为图形展开的阶数。势能的测量公式为:
∑
Epot = Uij hni nj i. (3.48)
i>j
轨道 i 上的电子占据数测量公式为:
hli i
ni = , (3.49)
β
3.2.5 程序测试
我们在azalea项目、gardenia项目、narcissus项目中实现了段表示算法 (参见图3.1与表3.1)。本小
节将检验段表示算法的可靠性。
强耦合展开连续时间量子蒙特卡洛杂质求解器的计算效率与微扰展开项的阶数 k 有关。阶数越大,
说明 M 矩阵的尺寸越大,产生算符与消灭算符的数目越多,计算速度越慢。由于算法本身的内禀性质,
Coulomb 相互作用强度越大,微扰展开阶数越小,计算速度越快。另一方面,如果温度越低, β 值越
大,微扰展开阶数越大,计算速度越慢。图3.10中关于单带 Hubbard 模型的测试结果很好地证明了这
一点。图中 U = 0 时的微扰阶数分布曲线最靠近右侧,因此其计算速度是最慢的。弱耦合展开连续时
间量子蒙特卡洛杂质求解器的性质刚好与之相反,Coulomb 相互作用强度越小,微扰展开阶数越小,
计算速度越快 59,86 。因此这两种连续时间量子蒙特卡洛杂质求解器是互补的,强耦合展开版本适合强关
联与中等关联体系,而弱耦合展开版本更适合于弱关联体系。总体而言,强耦合展开连续时间量子蒙特
卡洛杂质求解器 (尤其是段表示算法) 的计算效率要远高于弱耦合展开的版本以及传统的 Hirsch-Fye 算
法 58 ,下图3.11给出了一个十分直观的量度。
46 量子蒙特卡洛杂质求解器: 强耦合展开连续时间算法
-0.2
-0.4
-0.6
-0.8
G(iω)
-1
-1.2
-1.4
-1.6
0
ED
CTQMC
-0.02 U=6, β=200, t=0.5
-0.04
-0.06
-0.08
G(iω)
-0.1
-0.12
-0.14
-0.16
-0.18
0 2 4 6 8 10
iω
-0.2
-0.4
-0.6
G(iω)
-0.8
-1
-1.2
U=1, β=8.00, t=0.5, 3 band
CTQMC
HFQMC
-1.4
0 20 40 60 80 100
iω
-0.05
-0.1
G(iω)
-0.15
-0.2
-0.25
U=4, β=10.0, t=0.5, 3 band
CTQMC
HFQMC
-0.3
0 20 40 60 80 100
iω
0.1
U/t=0
U/t=3
0.09 U/t=4
U/t=5
0.08 βt = 100
0.07
0.06
p(k)
0.05
0.04
0.03
0.02
0.01
0
0 10 20 30 40 50 60 70 80 90
order k
0.8
hours
0.6
0.4
2 4 6 8 10 12 14
number of orbitals
段表示算法被发明之后,由于它的原理相对较为简单,程序实现难度相对较小,并且性能优越,稳定
性好,因此获得了广泛的应用。P. Werner 等人随后将段表示算法推广至 Holstein-Hubbard 模型 63 以
及动力学屏蔽模型 64 中。
在超导材料物理中,电子 − 声子耦合起着至关重要的作用。对于传统的超导材料,其电声相互作用
可以用经典的 Migdal-Eliashberg 理论加以描述: 电子对于声子的作用是重整化声子振荡频率 ω0 ,声子
对于电子的作用是增加电子的有效质量。对于非传统超导材料,例如高温超导体材料,声子与强关联电
子的相互作用至今仍缺乏一个有效的理论来加以描述。P. Werner 及 A. J. Mills 发展了基于段表示算法
的强耦合展开量子蒙特卡洛杂质求解器 63 ,这样可以在动力学平均场的框架内考虑声子与强关联电子的
相互作用问题。
∑
Hbath = p a†p,σ ap,σ . (3.54)
p,σ
参数 Vp,σ 与 p 由动力学平均场方程自洽决定。
空间做截断,仅仅考虑有限的态。但是半经验的处理无法正确描述电子质量重整化或者是超导性质,而
截断方法的计算量仍然过于庞大,要获得稍为可靠的计算结果,计算量的增长令人难以承受。
我们已经知道,将配分函数按照杂化项进行图形展开,然后采用蒙特卡洛方法进行随机抽样,将能够
获得高效可靠的杂质求解器 61,62 ,那么对于 Holstein-Hubbard 模型,也可以采用类似的方法进行处理。
将环境电子态 ap,σ 积分出去,那么对于第 n 阶5 的图形微扰展开项,其抽样权重可以表示为:
∫β ∏
ω({Oi (τi )}) = Trc hTτ e− 0
dτ Hint (τ )
O2n (τ2n )...O2 (τ2 )O1 (τ1 )ib dτ1 ...dτ2n (detM−1
σ )sσ . (3.55)
σ
∑ |Vp,σ |2
∆σ (−iωn ) = . (3.56)
p
iωn − p
b† − b
P= √ , (3.58)
i 2
那么 eiPX0 定义了一个幺正变换,其中
√
2λ
X0 = (n↑ + n↓ − 1). (3.59)
ω0
将该幺正变换作用于杂化项,将会得到
ω0 2
H̃loc = eiPX0 Hloc e−iPX0 = −µ̃(ñ↑ + ñ↓ ) + Ũ ñ↑ ñ↓ + (X + P 2 ). (3.60)
2
2λ2
Ũ = U − . (3.62)
ω0
并且产生算符与消灭算符也被变换为如下形式:
†
λ
−b) †
c̃†σ = e ω0 (b cσ , (3.63)
†
c̃σ = e− ω0 (b −b)
λ
cσ . (3.64)
5 含有 n 个产生算符以及 n 个消灭算符。
3.3 段表示算法: 电声相互作用与动态屏蔽效应 51
λ ω0 τ †
A(τ ) = (e b − e−ω0 τ b). (3.66)
ω0
因此总的图形权重可以化简为如下形式:
ω({Oi (τi )}) = ωb ({Oi (τi )})ω̃hubbard ({Oi (τi )}). (3.68)
3.3.2 动态屏蔽效应算法
在强关联电子系统中,可以用低能有效哈密顿量来描述关联电子轨道的局域化行为。Coulomb 相
互作用 U 是这些低能有效哈密顿量最重要的参数之一, U 的主要作用就是抑制局域占据数的涨落。一
般而言, U 并非一个固定的常数,关联轨道上的电子密度涨落会诱发电场,电子间相互作用受到其
余自由度的屏蔽作用,最终会导致一个具有频率依赖性的重整化。利用无规相位近似 (random phase
approximation, RPA) 可以定量研究屏蔽效应的大小 102,103 。人们发现,在许多体系中屏蔽效应的影响
十分显著。例如对于稀土元素 Gd, U (ω) 从 6.5 演化至 17 eV,相应的频率变化仅为 0 ∼ 3 eV。对于金
属 Ce,如果频率 ω 从 0 变化至 4 eV,那么 U (ω) 将从 3.5 变化至 7 eV。在动力学平均场方法框架内,
一般情况下,强关联效应被认为是由瞬时相互作用 (instantaneous interaction) 诱导的效应,很少考虑
动态屏蔽效应,也就是说完全忽略 U 的频率相关性,将其处理为一个与频率无关的参数。采取这个近似
其实是出于无奈,因为传统的量子杂质模型求解器都不能很好地处理随频率变化的相互作用项8 。最近,
P. Werner 与 A. J. Millis 等人 64 在段表示算法的基础上提出了一种新的算法,可以严格地处理动态屏蔽
效应,本小节将简要地介绍这种算法。
6 当第 i 个算符为产生算符时等于 1,否则等于 -1。
7 不包含声子,化学势与相互作用分别变为 µ̃ 与 Ũ 。
8 对于 Hirsch-Fye 量子蒙特卡洛杂质求解器而言,若要处理动态屏蔽效应,那么 Ising 附加场将变得十分复杂,数量急剧增
加;对于严格对角化,重整化群等基于哈密顿量的量子杂质求解器而言,为了描述动态屏蔽效应须得引入许多额外的 bosonic
modes,使得 Hilbert 空间变得非常的大,在数值上难于处理。
52 量子蒙特卡洛杂质求解器: 强耦合展开连续时间算法
cosh[(τ − β2 )ω 0 ]
B(ω 0 , τ ) = 0 , (3.71)
sinh[ ω2β ]
=W (ω 0 ) 为屏蔽谱函数 (screening spectral function)。经过冗长的数学推导,Werner 等人发现 64 ,与
作用量公式 (3.69) 等价的哈密顿量 Hscr 具有类似于公式 (3.52) 所描述的形式。因此仿照 Holstein-
Hubbard 模型的段表示算法,他们提出了针对动态屏蔽效应的段表示算法。
类似地,在动态屏蔽效应的段表示算法中,化学势与相互作用被重新定义为:
∫ ∞
dω 0 =W (ω 0 )
µscr = µ + , (3.72)
0 π ω0
∫ ∞
dω 0 =W (ω 0 )
Uscr = U + 2 . (3.73)
0 π ω0
那么对于一个 n 阶的图形,假设产生算符与消灭算符按照时序依次排列,满足 0 ≤ τ1 < τ2 < · · · < τ2n <
β 关系,那么动态屏蔽效应部分对于图形权重的贡献为:
∑
ωscr ({O(τi )}) = exp si sj K(τi − τj ) , (3.74)
2n≥i>j≥1
ω({Oi (τi )}) = ωscr ({Oi (τi )})ω̃hubbard ({Oi (τi )}) (3.76)
plasmon pole 模型
2λ2 ω 0
<W (ω) = . (3.78)
ω 2 − ω 02
2λ2
Ũ = U − . (3.79)
ω0
[( ) ] ( 0)
λ2 cosh
β
2 − τ ω 0 − cosh βω
2
K(τ ) = − 02 ( 0) . (3.80)
ω sinh 2βω
ohmic 模型
ωc + ω
<W (ω) = αωln − 2αωc . (3.82)
ωc − ω
Ũ = U − 2αωc . (3.83)
( )
πτ
sin β
K(τ ) = αln 1 + βωc . (3.84)
π
ohmic 模型的控制参数为 α 与 ωc 。
3.3.3 程序测试
我们在narcissus项目中实现了这两种算法 (参见图3.1与表3.1),本小节主要测试这两种算法的可靠
性。
图3.12给出了用段表示算法研究单带 Holstein-Hubbard 模型时的图形微扰展开项的阶数分布 p(k),
由图可见增大电声耦合常数 λ 会轻微地增加计算量,该图与文献中报道的图完全一致 63 。
在动态屏蔽效应的影响下,系统的杂质谱函数会发生明显的改变,主要表现是改变了金属 − 绝
缘体相变的边界,准粒子峰的权重;一部分谱权重会向高频区域迁移。图3.14与图3.13分别给出利用
plasmon pole 模型与 ohmic 模型的研究结果,计算结果与文献中 64 报道的结果吻合得很好。
54 量子蒙特卡洛杂质求解器: 强耦合展开连续时间算法
0.08
U/t = 6 λ/t = 0.0
0.07 λ/t = 0.2
λ/t = 0.4
0.06 λ/t = 0.6
0.05
U/t = 4
p(k)
0.04
0.03
0.02
0.01
0
20 40 60 80 100 120 140
perturbation order k
0.25
ω0=1
ω0=2
ω0=4
0.2 ω0=8
ω0=16
Spectral function
0.15
0.1
0.05
0
0 1 2 3 4 5 6 7
Frequency (eV)
0.3
λ=2.5
λ=3.2
0.25 λ=3.4
λ=3.5
λ=3.6
0.2
Spectral function
0.15
0.1
0.05
0
0 1 2 3 4 5 6 7
Frequency (eV)
0.25
ω0=1
ω0=2
ω0=4
0.2 ω0=8
ω0=16
Spectral function
0.15
0.1
0.05
0
0 1 2 3 4 5 6 7
Frequency (eV)
3.4 广义矩阵算法
在第3.2节与第3.3节介绍的量子杂质求解器都是基于段表示算法的,它们仅仅适用于具有密度 − 密
度相互作用形式的系统。如果是具有广义相互作用的系统,我们需要应用广义矩阵算法,它是段表示算
法的自然推广 58,62,66 。本节将简要介绍广义矩阵算法的一般原理以及实现技巧。
3.4.1 图形表示
.0 . .β
(3) 左右移动产生算符或者是消灭算符的蒙特卡洛抽样接受概率为:
[ ]
Fnew Dnew
Pmove = min ,1 . (3.87)
Fold Dold
在上面三式中, k 代表当前图形配置所对应的微扰展开项的阶数,简而言之,就是图形中究竟有几
对算符。 F 实际上就是 ωloc ,代表 trace 因子部分对图形权重的贡献。 D 实际上就是 ωdet ,代表行列
式部分对于图形权重的贡献。在广义矩阵算法中, ωdet 的计算方法与段表示算法毫无二至 66 ,但是 ωloc
的计算方法就大有不同了。
3.4.2 本征表象
在相互作用表象中,算符随时间变化,
其中 Kloc (τ ) 为时间演化算符,其定义为:
3.4.3 核心算法
.0 . .β
.A .B .C .D
.0 .β
又有了另一种更为强大的武器了。
3.4.4 程序测试
我们在begonia项目与lavender项目中实现了这个算法 (参见图3.1与表3.1)。应用广义矩阵算法能够
研究多带 Hubbard 模型中十分丰富的物理现象,比如说具有轨道选择性的 Mott 相变。具有轨道选择
性的 Mott 绝缘体 − 金属相变 (orbital selective Mott transition, OSMT),是多带 Hubbard 模型所特
有的一种物理现象 45,104,105 。它的含义是:由于某些原因,系统的对称性发生破缺,能带之间不再简并。
随着 Coulomb 相互作用的增加,系统的部分能带由金属态变为 Mott 绝缘体,而其余的能带仍然保持
金属相,这样的状态被称为 OSMP 相。当 Coulomb 相互作用继续增加到某个临界值,余下的能带也将
发生金属 − 绝缘体相变,此时整个体系都将进入 Mott 绝缘体相。
1
U/t1 = 4
U/t1 = 6
0.1
-G(τ)
0.01
0.001
0 0.2 0.4 0.6 0.8 1
τ/β
0.25
U/t1 = 4
U/t1 = 6
0.2
narrow band
0.15
p(ka)
0.05
0
0 10 20 30 40 50
ka
1
narrow band
0.9 wide band
0.8
0.7
Quasiparticle weight Z
0.6
0.5
0.4
0.3
0.2
0.1
0
0.5 1 1.5 2 2.5 3 3.5 4
Coulomb interaction U
12
(3,1) Mott Insulator
10
Coulomb Interaction U
(2,2) (4,0)
Metal + Band Insulator Metal Metal Band Insulator
0
-3 -2 -1 0 1 2 3
Crystal Field Splitting ∆
7
5
Coulomb Interaction U
1
Metal Metal
0
-3 -2 -1 0 1 2 3
Crystal Field Splitting ∆
12
β=40
β=100
10
Coulomb interaction U (eV)
8 Insulator
2 Metal
0
0 0.2 0.4 0.6 0.8 1 1.2
λ
1.0
j=3/2
j=1/2
0.8 λ=0.5
0.6
|G(β/2)|
0.4
0.2
1 2 3 4 5 6 7 8 9 10
U (eV)
相,因为都存在 2 个未成对电子,因此系统显然处于高自旋态。
应用第3.4节介绍的广义矩阵算法求解三带杂质模型的效率还算可以,但是若要求解五带杂质模型或
者是七带杂质模型,除非在 Hilbert 空间做截断近似 66 ,否则计算效率很低,甚至于无法进行计算。而
这截断近似是不可控的,很难预估其对于计算精度,物理结论的影响。这极大地限制了广义矩阵算法的
应用范围。因为对于真实的强关联电子材料,能够用三带杂质模型描述的毕竟是少数,大部分材料还是
需要五带杂质模型 (适用于 3d、 4d 或者是 5d 电子体系) 甚或是七带杂质模型 (适用于 4f 或者 5f 电子
体系) 进行描述。
3.5.1 Fock 表象
12 λ 为自旋 − 轨道耦合强度。
3.5 广义矩阵算法:Krylov 算法与 Newton-Leja 算法 65
V 0 = OV. (3.93)
由于算符 O 在占据数表象下非常稀疏,上式在数学上实际就是一个稀疏矩阵与矢量的乘法问题,那么我
们可以利用非常成熟的稀疏矩阵技术解决这个问题。(3) 在本征表象中 e−∆τ Hloc 是一个对角阵,在占据
数表象中,它虽然不再是对角矩阵,但是 Hloc 仍然是非常稀疏的实对称矩阵。为了利用这一点,我们并
不是直接计算 e−∆τ Hloc ,而是计算
T
Hm = Um Em Um , (3.98)
其中 Um 与 Em 分别为相应的本征矢与本征值,那么有
eHm = Um eEm Um
T
. (3.99)
Npq (A)
eA = Rpq (A) = . (3.100)
Dpq (A)
其中
∑
p
(p + q − j)!p!
Npq (A) = Aj , (3.101)
j=0
(p + q)!j!(p − j)!
以及
∑
q
(p + q − j)!q!
Dpq (A) = (−A)j . (3.102)
j=0
(p + q)!j!(q − j)!
在上述计算流程中,有两处地方我们做了近似。首先是在步骤 (2),我们可以完全丢弃掉所有的激发
态,这样做能够大大地削减计算量。这个截断近似在温度比较低时是成立的,但是在高温区域须慎重处
理,我们在第3.5.4小节将仔细讨论这个问题。其次是在步骤 (5),我们利用公式 (3.97) 来近似计算时间
演化算符作用在任意态矢上。严格地说,公式 (3.97) 只是近似成立,但是这个近似值对真实值的逼近程
度完全由 Krylov 子空间的维数 m 所决定。从理论上说,我们只需增大 m,计算值总会无限逼近真实值。
在 Lanczos/Arnoldi 迭代算法的每一步,我们都会使用精细的误差控制技术以确保计算精度在 10−12 的
量级,因此在这方面也无须过多担心。
exp(z) − 1
ϕ(z) = . (3.103)
z
其中
∏
j−1
Ωj = (τ A − ξk I). (3.106)
k=0
3.5.4 程序测试
Exact
Leja, O(1)
Leja, O(2)
0.1
-G(τ)
0.01
0 0.05 0.1 0.15 0.2 0.25
τ/β
0.5
Exact, U=2.0
Leja, O(1), U=2.0
Exact, U=4.0
0.4
Leja, O(1), U=4.0
Exact, U=6.0
Leja, O(1), U=6.0
0.3
-G(τ)
0.2
0.1
0
0 0.02 0.04 0.06 0.08 0.1
τ/β
0.5
Exact, β=10
Leja, O(1), β=10
Exact, β=20
0.4
Leja, O(1), β=20
Exact, β=30
Leja, O(1), β=30
0.3 Exact, β=40
Leja, O(1), β=40
-G(τ)
0.2
0.1
0
0 0.02 0.04 0.06 0.08 0.1
τ/β
100000
Leja, ∆τ = 0.5
10000 Krylov, ∆τ = 0.5
Leja, ∆τ = 5.0
1000 Krylov, ∆τ = 5.0
100
# Seconds per operation
10
0.1
0.01
0.001
0.0001
1e-05
1e-06
1 2 3 4 5 6 7
# Orbitals
1000
Leja, m=64
Krylov, p=16
Krylov, p=32
Krylov, p=64
100
# Seconds per operation
10
0.1
0.5 1 1.5 2 2.5 3 3.5
∆t
3.6 正交多项式表象与内核多项式表象
正交多项式与内核多项式方法就是解决上述问题的灵丹妙药。这两种方法的核心要点是将格林函数,
自能函数用正交多项式或者内核多项式展开,那么蒙特卡洛杂质求解器的测量对象就变为正交多项式或
者是内核多项式的展开系数。这些展开系数的个数通常小于 100 个,因而测量效率较之原始方法要高得
多。在程序的最后,使用解析的表达式可以从展开系数直接重构格林函数、自能函数等观测量。正交多
项式或者是内核多项式的作用其实就两个方面:(1) 作为噪音过滤器,过滤掉虚时格林函数、虚频格林函
数以及自能函数的噪声。(2) 作为一种紧凑的表象可以大大减少高阶关联函数的操作存储难度,提高计
算效率。Lewin Boehnke 等人 100 首先提出可以利用 Legendre 正交多项式表象来改善单粒子格林函数
以及双粒子格林函数的测量效率。Hartmut Hafermann 等人 108 接着提出利用 Legendre 正交多项式
来改进自能函数以及顶角函数的测量方法。我们推导了当正交多项式为 Chebyshev 多项式时的相关公
式,并且独立开发了相应的程序。测试结果表明,采用 Chebyshev 正交多项式的计算结果略优于采用
Legendre 正交多项式的计算结果。正交多项式虽然能大幅度地改善格林函数、自能函数的测量精度以
及测量效率,但是还存在着不小的技术障碍,例如 Gibbs 振荡问题 101 。我们经过研究发现,如果采用
内核多项式表象,那么在继承正交多项式表象优点的基础上,还能够基本消除 Gibbs 振荡问题,结论是
内核多项式表象要远优于正交多项式表象。
在数学上,正交多项式序列指的是序列中任意两个多项式是彼此正交的。经典常用的正交多项式
有 Hermite 多项式、Laguerre 多项式、Jacobi 多项式等等,以及它们的特例 Gegenbauer 多项式、
Chebyshev 多项式以及 Legendre 多项式。从原理上说,这些多项式都是可用的,但是考虑到正交关系
式的复杂程度,唯有 Chebyshev 多项式以及 Legendre 多项式才是比较好的选择。本小节首先介绍采
用 Legendre 多项式时的基本测量公式,然后在第3.6.2小节介绍采用 Chebyshev 多项式时的基本测量
公式。
1 ∑√
G(τ ) = 2n + 1Pn [x(τ )]Gn , (3.109)
β
n≥0
δ(τ − τ 0 ), τ0 > 0
˜ τ 0) =
∆(τ, (3.113)
−δ(τ − τ 0 − β), τ 0 < 0.
Pn [x(τ )], τ >0
P̃n (τ ) = (3.115)
−Pn [x(τ + β)], τ < 0.
∞
1 ∑ −iωm τ
G(τ ) = e G(iωm ). (3.117)
β m=−∞
其中变换矩阵 T 的计算公式如下:
√ ∫ ( )
2n + 1 β iωm τ m n+1
√ (2m + 1)π
Tmn = dτ e Pn [x(τ )] = (−1) i 2n + 1jn . (3.119)
β 0 2
15 为了避免符号冲突,此处我们暂时将 ωn 代换为 ωm 。
76 量子蒙特卡洛杂质求解器: 强耦合展开连续时间算法
-5
-10
-15
-20
βGn
-25
-30
-35
odd √
∑ 2 2n + 1
c2 = Gn n(n + 1), (3.122)
n>0
β2
√
∑
even
2n + 1
c3 = − Gn (n + 2)(n + 1)n(n − 1). (3.123)
β3
n≥0
-0.005
normal
legendre
-0.01
-0.015
-0.02
G(τ)
-0.025
-0.03
-0.035
-0.04
-0.045
0.2 0.3 0.4 0.5 0.6 0.7 0.8
τ/β
Legendre 多项式展开算法的实际效果可参见图3.25。由图显而易见,如果使用传统的测量方法,即
使抽样次数足够的多,虚时格林函数的振荡还是十分厉害,而采用 Legendre 正交多项式表象的测量结
果则十分平滑,尤为适合进行后续的解析延拓操作。
应用定义在 [−1, 1] 区间内的第二类 Chebyshev 多项式 Un (x) 将定义在 [0, β] 区间内的 G(τ ) 展开,
可以得到:
2∑
G(τ ) = Un [x(τ )]Gn . (3.124)
β
n≥0
-1
-2
-3
βGn
-4
-5
-6
-7 U = 3.0, n odd
U = 3.0, n even
-8 U = 6.0, n odd
U = 6.0, n even
-9
0 5 10 15 20 25 30 35 40 45
order n
-0.005
normal
chebyshev
-0.01
-0.015
-0.02
G(τ)
-0.025
-0.03
-0.035
-0.04
-0.045
0.2 0.3 0.4 0.5 0.6 0.7 0.8
τ/β
3.6.3 内核多项式算法
自从正交多项式表象算法被广泛应用于改善强耦合展开连续时间量子蒙特卡洛杂质求解器的测量精度
与测量效率以来,经过大量的数值实验,我们发现正交多项式表象算法还存在不少技术障碍。其中最严
重的问题就是所谓的 Gibbs 振荡现象 101 ,粗略地说,就是测量值围绕严格值呈现近周期性的振荡,对
于金属态,Gibbs 振荡现象尚不十分明显,而对于绝缘相,Gibbs 振荡现象十分明显,尤其是在 G(β)
与 G(0) 附近。Gibbs 振荡本质的起因是: 正交多项式展开本来是一个无穷的序列,而我们强制性地在
nmax 处进行截断,抛弃了剩余部分。其次,若是观测量函数并非连续可微,那么那些不连续的点或者是
奇点也会触发 Gibbs 振荡现象。对于绝缘相的虚时格林函数而言,典型的特征就是 τ = 0 与 τ = β 附近
十分陡峭,斜率的绝对值非常大,而底部却非常平坦,斜率非常接近于 0,这样的函数形式自然极易触
发 Gibbs 振荡。
1.2
1
integral kernel function f(x)
0.8
0.6
0.4
Dirichlet
Jackson
Lorentz
0.2 Fejer
Wang-Zunger
0
0 10 20 30 40 50 60
order
Fejér 1 − n/N 无
[ ( ) ]
n β
Wang-Zunger exp − α N α, β ∈ R
Dirichlet 1 无
我们在上文所述的正交多项式表象的基础上,进一步考虑了不同的阻尼函数,应用这内核多项式表象
去改善强耦合展开连续时间量子蒙特卡洛杂质求解器的测量精度。测试结果表明,采用内核多项式表象
的测量精度在正交多项式表象的基础上又有了很大的改善,基本上消除了 Gibbs 振荡现象。在这几种内
核函数当中,Jackson 内核函数的效果是最好的。具体的测试结果请参考第3.6.4小节。
3.6.4 程序测试
10
Legendre, n odd
Legendre, n even
1 Chebyshev, n odd
Chebyshev, n even
0.1
β|Gn|
0.01
0.001
0.0001
1e-05
0 5 10 15 20 25 30 35 40 45
n
由于正交多项式以及内核多项式算法与相互作用的形式关系不是太大,因此我们在许多项目中
82 量子蒙特卡洛杂质求解器: 强耦合展开连续时间算法
-0.005
-0.006
-0.007
G(τ)
-0.008
-0.009
default
Dirichlet
Jackson
-0.01 Lorentz
Fejer Chebyshev
Wang-Zunger
-0.011
0.4 0.42 0.44 0.46 0.48 0.5 0.52 0.54 0.56 0.58 0.6
τ/β
-0.005
-0.006
-0.007
G(τ)
-0.008
-0.009
default
Dirichlet
Jackson
-0.01 Lorentz
Fejer Legendre
Wang-Zunger
-0.011
0.4 0.42 0.44 0.46 0.48 0.5 0.52 0.54 0.56 0.58 0.6
τ/β
100
Legendre, n odd
Legendre, n even
10 Chebyshev, n odd
Chebyshev, n even
1
β|Gn|
0.1
0.01
0.001
0.0001
0 5 10 15 20 25 30 35 40 45
n
(gardenia、narcissus、lavender、camellia、epiphyllum、pansy、manjushaka等,参见表3.1) 都实
现了正交多项式以及内核多项式算法。本小节主要提供了关于内核多项式表象算法的基本测试结
果。我们分金属相以及绝缘相两种情况进行测试,出于简单性的考虑,采用单带半满 Hubbard 模
型,半圆态密度,半带宽为 1.0。金属相时,基本参数为 U = 3.0, β = 10.0;绝缘相时,基本参数为
U = 6.0, β = 50.0。蒙特卡洛杂质求解器的抽样次数为 8 × 2 亿次,动力学平均场方法自洽迭代 20 次,
nmax = 48。下面来看主要的测试结果。
-0.1
0.00015
0.0001
-0.2 5e-05
G(τ)
G(τ)
0
Chebyshev
-0.3 -5e-05
-0.0001 default
-0.00015 Dirichlet
-0.4 0.2 0.3 0.4 0.5 0.6 0.7 0.8 Jackson
τ/β Lorentz
Fejer
Wang-Zunger
-0.5
0 0.2 0.4 0.6 0.8 1
τ/β
-0.1
0.0002
0.00015
0.0001
-0.2
5e-05
G(τ)
G(τ)
0
-5e-05 Legendre
-0.3
-0.0001
-0.00015 default
-0.0002 Dirichlet
-0.4 0.2 0.3 0.4 0.5 0.6 0.7 0.8 Jackson
τ/β Lorentz
Fejer
Wang-Zunger
-0.5
0 0.2 0.4 0.6 0.8 1
τ/β
3.7 本章小结
在本章,比较系统地阐述了我们所开发的各种基于强耦合展开算法的连续时间量子蒙特卡洛杂质
求解器,它们包括: 段表示算法版本、电声相互作用版本、动态屏蔽效应版本、广义矩阵算法版本、
Krylov 子空间迭代算法版本、Newton-Leja 多项式插值算法版本、正交多项式表象版本以及内核多项
式表象版本等等。这些杂质求解器几乎完全覆盖了强耦合展开算法的各个变种,其中有部分算法还是我
们所独创的,例如特别针对极高温区域的 global update 算法、针对五带或七带广义相互作用模型的
Newton-Leja 多项式插值算法、提高格林函数测量精度的内核多项式表象算法等等。上述杂质求解器均
经过严格的测试,大量的优化,在灵活性与稳定性之间达到了较好的均衡,基本上可以涵盖目前所遇到
的各种量子杂质问题。换言之,我们已经掌握了量子蒙特卡洛杂质求解器这个有力的工具,下一步将使
用它来研究真实的强关联电子系统,下面请参阅第4章与第5章。
第四章
从本章开始将进入本学位论文的第二部分:LDA+DMFT 第一性原理电子结构计算方法。本章主要讨
论 LDA+DMFT 计算方法的基本原理以及相关软件实现的细节。在第 5章,将介绍 LDA+DMFT 计算方
法在一些典型的关联电子体系中的应用。本章结构如下:
第4.1节, 简 要 介 绍 目 前 最 流 行 的 第 一 性 原 理 电 子 结 构 计 算 方 法 ——密 度 泛 函 理 论 (density
functional theory, DFT)。除了基本原理之外,我们还介绍了本文所广泛应用的几种密度泛函理论计算
软件。
第4.2节,主要介绍 LDA+DMFT 计算方法的理论框架。我们首先定义了 LDA+DMFT 方法的哈密顿
量,然后深入讨论了 LDA 部分与 DMFT 部分相互对接的计算公式,最后展望了 LDA+DMFT 方法可能
的发展趋势以及最近的研究热点。
第4.3节是本章的主要部分。我们独立开发了一套比较完备的 LDA+DMFT 计算软件包,覆盖了 LDA
+DMFT 计算方法的全部计算流程,本节将详细介绍具体的实现细节以及若干计算技巧。
第4.4节是本章的小结。
4.1 密度泛函理论简介
在凝聚态物理领域,求解多电子体系是最根本的问题之一。虽然目前还无法严格求解所有的多电子体
系,但是却可以应用各种近似方法获取非严格解。目前这些近似方法可以大致分为两大类:第一类方法
是仅仅考虑系统在费米面附近的有限几个电子态,用一个有若干可调参数的模型哈密顿量来描述这几个
电子态。一般而言,人们对费米面附近的信息是最感兴趣的,因此这些模型哈密顿量可以看作是对原体
88 LDA+DMFT 第一性原理计算方法: 基本理论框架与实现细节
系的一个近似的描述。求解这些模型哈密顿量就能够得到关于原体系的定性半定量的信息。第二类方法
是由第一性原理 (ab initio 或者 first principles) 出发的电子结构计算。这种方法唯一需要的输入就是原
子序数 (核电荷数) 以及体系的总电子数。有时候原子在晶格中的位置信息也是输入参数之一,但是从原
则上说,通过最小化系统的总能,我们能够唯一地确定这些可调参数。目前在固体物理领域应用最广的
电子结构计算方法是密度泛函理论 109 。在密度泛函理论的框架内,多电子问题被约化为一个等效的单电
子问题,从而后者可以得到近似的求解。
密度泛函理论的理论基础就是著名的 Hohenberg-Kohn 定理 110 。Hohenberg-Kohn 定理指出: 非
均匀相互作用电子系统的总能可以看作是电荷密度 ρ(r) 的一个泛函,
∫ ∫ ∫
ρ(r0 )
E[ρ] = T [ρ] + dr ρ(r)Vext (r) + dr ρ(r) dr0 + Exc [ρ], (4.1)
|r − r0 |
使总能达到最小的电荷密度就是系统的基态。此处 T [ρ] 表示动能, Vext (r) 表示作用在电子上的外势
场 (通常是原子核的吸引势)。上式中右侧第三项代表 Coulomb 相互作用势能 (亦被称为 Hartree 能)。
Exc [ρ] 被称为交换 − 关联能,此项不但描述了由于 Pauli 不相容原理所导致的处于同一自旋态的电子之
间的 Coulomb 相互作用的减少效应 (即交换项),同时还描述了由于电子运动受其它电子影响所导致的
关联效应 (即关联项)。只要能够严格定义公式 (4.1) 中的交换 − 关联项 Exc [ρ],那么密度泛函理论就是
一个严格的理论。虽然看起来问题得到了初步的解决,但是我们仍然需要严格求解多电子问题,在一般
情况下,这是不可能完成的任务。因此,为交换 − 关联项寻找近似的表达式势在必行,并且还成为密度
泛函理论最核心的内容之一。Hohenberg-Kohn 定理表明:体系的物理性质仅由它的电荷密度 ρ(r) 决
定 110 。电荷密度可由电子波函数计算得到,由于 Hohenberg-Kohn 定理并没有限定电子波函数的表象
形式,因此在实际应用中,我们通常使用单电子波函数 φi (r) 来计算电荷密度 ρ(r),
∑
N
ρ(r) = |φi (r)|2 , (4.2)
i=1
此处 N 为体系的总电子数。
为了求得公式 (4.1) 的极小值,我们需要在满足归一化的条件下:
∫
|φi (r)|2 dr = 1, (4.3)
我们通过数值技巧求解公式 (4.4),即可以获得体系基态的电荷密度以及总能量。显而易见,在公式
(4.4) 中,最为关键的一项就是交换 − 关联势 Vxc (r)。密度泛函理论的几个发展层次都与 Vxc (r) 的表达式
密切相关。
密度泛函理论的第一个层次为局域密度近似 (local density approximation, LDA)。在此近似下,交
换 − 关联能 Exc [ρ] 被定义为如下的实空间积分:
∫
Exc [ρ] = ρ(r)εxc (ρ)dr. (4.6)
不难想见,广义梯度近似同样亦有自旋极化的版本:
∫
Exc [ρ↑ , ρ↓ , ∇ρ↑ , ∇ρ↓ ] = ρ(r)εxc (ρ↑ , ρ↓ , ∇ρ↑ , ∇ρ↓ )dr. (4.10)
其中
occupy
∑ 1
τσ (r) = |∇φiσ (r)|2 , (4.12)
i
2
Exc = Ex + Ec . (4.13)
在密度泛函理论的框架中,交换 − 关联项的发展是一个高度活跃的领域,新的泛函形式层出不穷,
计算精度不断提高,适用范围越来越广。限于本文的篇幅,此处不再赘述,对此感兴趣者可以参阅最新
的文献。
4.1.2 基于密度泛函理论的电子结构计算方法
Kohn-Sham 方程是一组定义在三维实空间中的偏微分方程,直接从数值上求解此微分方程组是
2ZI
不太现实的。问题的来源在于公式 (4.4) 中的 Coulomb 势能项 |r−RI | ,在原子核附近,该项趋于发散
(|r − RI | → 0),这意味着我们需要定义十分稠密的网格才能反映势能项的变化趋势,而在原子势能项变
化比较平缓的区域,空间网格又需要变得比较稀疏,解决这一问题的窍门在于利用变分技术。我们可以
4.1 密度泛函理论简介 91
其中我们引入了单电子哈密顿量 H 2 :
∑ ∫
2ZI ρ(r0 )
H = −∇ −2
+2 + Vxc (r). (4.17)
|r − RI | |r − r0 |
I
其中 Hn0 n = hψn0 |H|ψn i 是单电子哈密顿量在基函数 {|ψn i} 中的矩阵元,而 On0 n = hψn0 |ψn i 为基函数
之间的交叠矩阵 (overlapping matrix)。假设这组完备基函数满足正交性,即 On0 n = δn0 n ,那么公式
(4.18) 可以重写为:
∑
Hn0 n ain = i ain0 . (4.19)
n
|k − Gi = ei(k−G)r , (4.22)
线性缀加平面波方法是目前最严格,计算精度最高的电子结构计算方法之一,应用十分广泛。当前主流
的基于线性缀加平面波方法的电子结构计算软件有:WIEN2K、FLEUR、FLAPW、ELK 等等。第二条途径
就是赝势 (pseudopotential, PP) 方法 123 。赝势方法仍然采用简单的平面波函数为基函数,但是对于公
式 (4.17) 中的单电子哈密顿量,利用赝势来替换真实的 Coulomb 相互作用势。赝势在原子核近邻区域
的变化趋势远比真实的势要平滑,很少节点甚至没有节点,因此展开单电子波函数所须的平面波不多。
如果采用赝势方法,那么得到的本征波函数实际上是赝波函数 (pseudo wavefunction)。在构造赝势的
时候,都有一个所谓的截断半径,在截断半径之外,赝波函数须与真实的波函数一致,而且计算所得到
的本征值在数值精度范围内也应保持一致。由于材料的物理特性多半是由价电子的性质决定,而价电子
4.1 密度泛函理论简介 93
波函数通常分布在远离原子核的区域,亦即在赝势的截断半径之外,因此赝势方法不失为一个很好的近
似。依据在构造赝势时所遵循的不同标准,赝势亦可以分为三大类:(1) 模守恒赝势 (norm-conserved
pseudopotential, NCPP);(2) 超软赝势 (ultrasoft pseudopotential, USPP) 124 ;(3) 投影缀加波方法
(projector augmented wave, PAW) 125 。赝势平面波方法是目前最为流行的基于密度泛函理论的第一
性原理计算方法。目前比较流行的计算软件有:VASP、CASTEP、ABINIT、QUANTUM ESPRESSO 等
等,其中前两种软件为商业软件,后两种软件为自由开源软件。
4.1.3 密度泛函理论的局限与修正
基于密度泛函理论的电子结构计算方法在描述普通材料的物理性质方面取得了巨大的成功 109,123 。但
是也有很多失败的例子,例如半导体材料的带隙,计算值远低于实验值。密度泛函理论之所以不能取得
完全的成功,主要是因为以下两方面的问题:(1) 密度泛函理论本质上是一个单电子近似,它将多电子问
题简化为单电子在其它电子所形成的有效势场中的运动。该近似对于能带较宽,关联作用较弱的体系是
适用的,反之则不适用。(2) 局域密度近似基于均匀电子气的假设,但是这一个假设对于那些窄带系统并
不成立。在窄带系统中,电子波函数保留了明显的原子轨道的特征,所对应的电荷密度空间变化十分剧
烈,局域密度近似不能给出合理的结果,即使是应用广义梯度近似或者是更为复杂的交换 − 关联泛函形
式,对于计算结果的改善也十分有限。
为了能够更好地描述真实材料中的电子关联效应,发展了很多理论对密度泛函理论进行修正,主要有
自相互作用修正方法 (self-interaction correction, SIC) 129 、准粒子近似方法 (quasiparticle method,
GW) 130 、LDA+U 方法 131 、LDA+DMFT 方法 12,13,132 等等。下面首先对前三种方法做简要的介绍,
LDA+DMFT 方法是本文的主旨所在,将在下文中专门介绍。
在自相互作用修正方法中,Kohn-Sham 方程中的势能项具有轨道依赖性,对于空占据态保持不变,
对于占据态则要扣除部分的 Coulomb 排斥势能。这将会使得空占据态与占据态之间产生能量劈裂,从
而打开能隙。该方法已经被应用于一些过渡金属氧化物的电子结构计算中,所得的磁矩以及能隙数据较
之局域密度近似的计算结果有较大的改善。自相互作用修正方法的缺点是 Coulomb 相互作用的屏蔽效
应完全没有被考虑到,这导致有效的 U 值被严重高估了 129 。
准粒子近似方法是另一种十分有效的修正关联电子效应的方法。在准粒子近似方法中,关联电子效应
对于电子结构的影响可用电子自能项 Σ 描述,而且电子自能可由电子格林函数 G 以及屏蔽 Coulomb 相
互作用势 W 决定 133 :
Σ = −iGW , (4.24)
因而有时准粒子近似方法亦被称为 GW 方法。准粒子近似方法基于多体微扰理论,保留一阶项对于 W
的贡献。依据所采取的不同近似,准粒子近似方法又可以细分为 SEX、COHSEX、G0 W0 、G0 W、GW0 、
GW、QPscGW、GΓW 等等多种形式 130 ,此处不再一一展开叙述。准粒子近似方法对于简单的金属、
半导体、绝缘体都能给出很好的结果,但是它却不能很好地描述强关联金属。这是因为对于强关联金属
而言,在 W 的微扰展开序列中,高阶项的贡献很重要,不可忽略,而准粒子近似方法恰恰完全忽略了
高阶项的贡献。最后特别值得一提的是准粒子近似方法的计算量非常巨大,即使是计算能带结构这样一
个简单的任务都需要耗费天量的计算资源。
1 ∑
U nmσ nm0 σ0 , (4.25)
2
mσ,m0 σ 0
mσ6=m0 σ 0
+U 方法的局限性,那么我们须得在静态平均场理论的基础之上,考虑动态效应的修正,例如下文将要
介绍的 LDA+DMFT 方法 12,13,132 。
此前曾言道,研究多电子系统有两大途径。第一大途径是通过对模型哈密顿量的研究从而把握原始体
系的关键性质。动力学平均场方法无疑是这一大类方法中的佼佼者。第二大途径则是以密度泛函理论为
代表的第一性原理电子结构计算方法。这两种途径各有其优缺点,那么为何不将它们结合起来呢? 这是
自然而然就会被提出的问题。针对真实的关联电子体系,首先用传统的第一性原理电子结构计算方法研
究其基态性质,从中提取出我们感兴趣的能带结构,构造不带任何经验参数的模型哈密顿量,然后再利
用动力学平均场方法等多体理论中的技巧进行深入研究,求解此模型哈密顿量。这就是密度泛函理论结
合动力学平均场理论 (local density approximation plus dynamical mean-field theory, LDA+DMFT)
计算方法5 的主要思路之所在 12,13,132 。
虽然 LDA+DMFT 方法已经取得了巨大的成功,但是目前仍然缺乏一套稳定可靠、灵活易用、功能强
大、可扩展性强的计算软件包,这极大地制约了后续研究工作的开展。有鉴于此,我们独立开发了一套
LDA+DMFT 第一性原理计算软件包,并用其相继研究了 SrVO3 、CoO、BaRuO3 等强关联电子体系的
电子结构。在本节我们着重讨论 LDA+DMFT 计算方法的理论框架。至于 LDA+DMFT 计算软件包的具
体实现细节将在第4.3 节中介绍。在第5章将深入探讨该计算软件包的典型应用实例。
(1)Slater-Kanamori 参数化形式:
∑ ∑ ∑
Hint = U na↑ na↓ + (U − 2J) na↑ nb↓ + (U − 3J) naσ nbσ
a a6=b a>b,σ
∑ ∑ (4.27)
−J d†a↑ d†b↓ db↑ da↓ − J d†a↑ d†a↓ db↑ db↓ ,
a6=b a6=b
(2)Coulomb 矩阵形式:
1 ∑ ∑
Hint = [Umm0 nmσ nm0 σ̄ + (Umm0 − Jmm0 )nmσ nm0 σ ]
2
m,m0 σ
( ) (4.28)
1 ∑ ∑
− Jmm0 d†mσ d†m0 σ̄ dm0 σ dmσ̄ + d†mσ d†mσ̄ dm0 σ dm0 σ̄ + h.c. ,
2 0 σ
m6=m
其中 Umm0 为直接 Coulomb 矩阵的矩阵元, Jmm0 为交换 Coulomb 矩阵的矩阵元。 Umm0 与 Jmm0 可
以由下式计算:
∑ ∑
Umm0 = ak F k , Jmm0 = bk F k . (4.29)
k k
ak 与 bk 为 Klebsch-Gordan 系数,其计算表达式分别为:
4π ∑
k
ak = hlm|Ykq |lmihlm0 |Ykq
∗
|lm0 i, (4.30)
2k + 1
q=−k
4π ∑
k
bk = |hlm|Ykq |lm0 i|2 , (4.31)
2k + 1
q=−k
∫
0 ∗
hlm|Ykq |lm i = drYlm (r)Ykq (r)Ylm0 (r), (4.32)
14
F 0 = U, F2 = J, F 4 = 0.625F 2 . (4.33)
1 + 0.625
6 出于行文简便的考虑,格点指标被略写了。
4.2 LDA+DMFT 计算方法: 理论框架 97
对于 f 电子系统,有 k = 0, 2, 4, 6:
6435 451 2 1001 2
F 0 = U, F2 = 195.451 250.1001 J, F4 = F , F6 = F . (4.34)
286 + 675 + 2025
675 2025
那么,在关联子空间 C 中,无相互作用的电子格林函数的定义为:
∫ ∑ [ ]
R 1 3 1
G0,mm0 (iω) = d k hχRkm |ψkα i hψkα0 |χRkm0 i. (4.37)
Ωbz 0
(iω + µ)I − HKS (k) αα 0
αα
有相互作用的电子格林函数的定义为:
∫ ∑ [ ]
R 1 3 R 1
Gmm0 (iω) = d k hχkm |ψkα i hψ 0 |χR 0 i. (4.38)
Ωbz 0
(iω + µ)I − HKS (k) − ∆Σ(k, iω) αα0 kα km
αα
方程中求解单电子哈密顿量 HKS (k) 得到本征值 kν 以及 Bloch 本征波函数 |Ψkν i,那么在 B 空间中
HKS (k) 的矩阵元为:
∑
HKS,αα0 (k) = hψkα |Ψkν ikν hΨkν |ψkα0 i. (4.39)
ν
∆Σ 为扣除掉双计数项的电子自能函数,在关联轨道子空间 C 中, ∆Σ 的定义为:
此时显然与波矢量 k 有关。
公式 (4.38)、(4.39) 与 (4.41) 构成了 LDA+DMFT 计算方法的基本方程组,它们对于任意选定的基
函数都是成立的。任何 LDA+DMFT 计算方法的实现都需要选定特定的:(1) 局域轨道基函数 {|χRkm i} 以
张开局域子空间 C;(2) 完备基函数 {|ψkα i} 以张开全局空间 B,LDA+DMFT 基本方程组就定义在 B 空
间中。对于完备基函数 {|ψkα i} 而言,在电子结构计算中求解 Kohn-Sham 方程所获得的 Bloch 本征波
函数 {|Ψkν i} 是最简单、最自然、最合理的选择,亦即:
以及
R∗
Pνm (k) = hΨkν |χRkm i. (4.45)
如果我们采用正交化的局域轨道:
0
hχRkm |χRk0 m0 i = δRR0 δkk0 δmm0 , (4.47)
0 0 ∑ 0
RR R R R R∗
Omm 0 (k) = hχ̃
km |χ̃km0 i = Pmν (k)Pνm 0 (k), (4.52)
ν∈W
而且
{ }RR0
RR0
[O(k)]− 2
1
Smm 0 (k) =
0
. (4.53)
mm
自然地,Wannier 轨道 {|wkm
R
i} 在空间中的局域性是不如之前的局域轨道 {|χRkm i} 的。
针对新的 Wannier 轨道 {|wkm
R
i},我们可以重新定义新的交叠矩阵如下:
R R
P̃mν (k) = hwkm |Ψkν i, (4.54)
以及
R∗ R
P̃νm (k) = hΨkν |wkm i. (4.55)
并且
∑ 0 0
R∗ RR R∗
P̃νm (k) = Smm 0 (k)Pνm0 (k). (4.57)
R0 m0
100 LDA+DMFT 第一性原理计算方法: 基本理论框架与实现细节
∑∑
R∗
∆Σνν 0 (k, iω) = P̃νm (k)(ΣRmm0 (iω) − ΣRdc,mm0 )P̃m
R
0 ν 0 (k). (4.59)
R mm0
至少应该包含关联电子轨道成份占主要部分的那几条能带。同时必须明确在受限子空间 W 中,电子占
据数 NKS 是多少。原则上说,受限子空间 W 的维数越大,那么局域轨道的局域性就越强。
原子的 4d 轨道。
14 具体实现为 sigma_dcount.py 程序。
15 具体实现为 sigma_builder.py 程序。
16 具体实现为 dmft_proj1 程序。
17 具体实现为 dmft_mixer 程序。
103
dmft_energy hubbard-I
loop over self-energy
conv test1
dmft_charge
loop over charge conv test2
104 LDA+DMFT 第一性原理计算方法: 基本理论框架与实现细节
关于 Brillouin 区积分算法的具体细节请参考第4.3.7小节。
4.3.2 技术路线的选择
4.3.3 局域轨道的选择
题。随着连续时间量子蒙特卡洛杂质求解器的迅速发展,第二个问题也得到了比较完满的解决。但是哪
种关联轨道是最佳的选择这一问题并没有得到很好的研究。K. Haule 给出了关于最优关联轨道的四条标
准 135 ,分别是:(1) 能正确给出关联电子轨道的谱权重;(2) 不破坏 DMFT 方程的因果率;(3) 能精确地
表示杂化函数;(4) 能精确地表示动能算符以及电荷密度算符。
在我们目前实现的 LDA+DMFT 计算框架中,由于采用的是通用接口的设计,因此对于关联轨道的
具体形式并没有特殊的要求。经过测试,我们的 LDA+DMFT 计算框架目前支持下述三种局域轨道,分
别是:(1) 最局域化的 Wannier 函数 (maximally localized Wannier functions, MLWFs) 128 。ABINIT 和
QUANTUM ESPRESSO 软件与 WANNIER90 程序都有比较完善的接口,可以利用 WANNIER90 程序
产生最局域化的 Wannier 函数以及相应的交叠矩阵。最局域化的 Wannier 函数其实并不太适合用作
LDA+DMFT 计算的局域轨道,这是因为 Wannier 函数的中心并没有落在相应的原子上,而是落在化学
键的重心处,几乎不具备原子轨道的对称性。但是很多第一性原理计算软件都支持与 WANNIER90 程
序的接口,都能够产生最局域化的 Wannier 函数。也就是说,除了 ABINIT 与 QUANTUM ESPRESSO
软件之外,我们的 LDA+DMFT 计算框架还能够与很多其它的第一性原理计算软件相互对接,例
如 FLEUR、WIEN2K、VASP、SIESTA 等等。(2) 原子心的 Wannier 函数 (atomic-centered Wannier
functions, ACWFs) 144 。QUANTUM ESPRESSO 通过一个插件程序30 支持此类型的局域轨道。顾名思
义,原子心的 Wannier 函数保留了原子轨道的对称性,其中心点位于相应原子处,但是它的局域性
较差,存在着比较长的"tail"。(3) 投影缀加波框架下的全电子原子分波 (all-electron atomic partial
waves, AAPWs) 134 。ABINIT 在投影缀加波计算模式下支持此局域轨道。该类型的局域轨道同样保留了
原子轨道的对称性,而且能精确地表示电荷密度算符与动能算符,比较适合于实现全电荷自洽的 LDA
+DMFT 计算方法。
4.3.4 双计数项的选择
2l
ΣAMF
dc,dn = U Nup + (U − J)Ndn
. (4.64)
2l + 1
式中, Nup 与 Ndn 分别是自旋朝上与自旋朝下的关联电子占据数, l 为关联轨道的角量子数,对于 d 电
子壳层 l = 2,对于 f 电子壳层 l = 3。
(3) Fully Local Limit (FLL) 形式 151 。FLL 形式的双计数项同样来自于 LDA+U 计算,主要适用于
Mott 绝缘体以及能带绝缘体的计算。
ΣFLL
dc,up = U (Nup + Ndn − 0.5) − J(Nup − 0.5), (4.65)
ΣFLL
dc,dn = U (Nup + Ndn − 0.5) − J(Ndn − 0.5). (4.66)
ΣFLL
dc,ασ = U (Nf − nα ) − J(Nf − nα ),
σ σ σ
(4.69)
4.3.5 占据数计算算法
给定化学势 µ,如何计算总电子占据数或者是轨道占据数并不是一个无足轻重的小问题,它能直接影
响 LDA+DMFT 自洽迭代计算的稳定性。电子占据数的一般定义式如下所示:
∑ +
N =T eiωn 0 G(iωn ). (4.73)
iωn
108 LDA+DMFT 第一性原理计算方法: 基本理论框架与实现细节
我们通常使用下面的公式进行计算:
∑∑ 1
Nα = T , (4.74)
iωn
iωn + µ − αk (iωn )
k
以及
∑
N= Nα . (4.75)
α
其中 N 是总电子占据数, Nα 是轨道占据数, α 为轨道指标, αk (iωn ) 是哈密顿量 HKS (k) + ∆Σ(k, iωn )
的本征值。
在利用公式 (4.74) 计算轨道占据数时,我们注意到这样一个问题: 公式的右侧表达式存在着很长
1
的"tail"∼ iωn ,如果要获得精确的轨道占据数,必须对许多 matsubara 频率点进行求和,这样做是很
不经济且十分低效的。那么解决办法是: 首先扣除掉"tail" 部分,利用公式 (4.74) 计算剩余部分的贡献,
而"tail" 部分的贡献可以解析求出,最后将这两部分的贡献加总在一起即可。实际上轨道占据数 Nα 的计
算公式如下所示 135 :
∑ ∑∑[ 1 1
]
Nα = f (∞
αk − µ) + 2T − . (4.76)
iωn
iωn + µ − αk (iωn ) iωn + µ − ∞
αk
k k
4.3.6 费米面搜索算法
确定性,我们定义化学势存在于能隙的中点。
4.3 LDA+DMFT 计算程序: 实现细节 109
bisection 算法又称为二分法,是最简单最常见的费米面搜索算法。该算法的要点是首先大致确定费
米面的左右边界,然后计算中点处的电子占据数,判断费米面位于中点的左侧还是右侧,然后再确定新
的左右边界,这样迭代下去直至费米面收敛。bisection 算法的优点是计算效率很高,大约 20 ∼ 30 个迭
代之后便可确定费米面的具体位置,缺点是仅对金属体系适用,对于绝缘体态来说不可靠。
在上式中,需要特别注意的是 α(α0 ) 为 Bloch 轨道的指标, HKS (k) 以及 ∆Σ(k, iω) 都是在 Bloch 空间
B 或者是受限子空间 W 中表出。如果杂质求解器是工作在虚频上,那么此积分也是工作在虚频上。如
果杂质求解器工作在实轴上34 ,那么在公式 (4.78) 中须得将 iω 置换为 ω,其余保持不变。
为了讨论方便,我们首先定义这样的一个中间矩阵 HKSUM :
33 对于金属态,这左右两个网格点可能是重合的,对于绝缘体,这左右两个点可以看作是导带顶与价带底。不管怎么样,这两个
网格点的中点位置就是费米面的估计值。
34 例如 Hubbard-I 近似或者是 NCA/OCA 等杂质求解器都是工作在实轴上。
35 如果 H
KSUM 是厄米矩阵,那么用 ZHETRF 与 ZHETRI 函数求逆矩阵的效率更高。
110 LDA+DMFT 第一性原理计算方法: 基本理论框架与实现细节
−1
(2) 对于每一组波矢量 k 以及频率点 iω,我们间接求解矩阵 HKSUM 的逆矩阵 HKSUM ,然后通过 k 求
−1
和把不同波矢量的贡献加总起来。由于矩阵 HKSUM 与 HKSUM 满足如下恒等关系:
−1
HKSUM HKSUM = I, (4.80)
这一等式可以类比于线性系统:
AX = B, (4.81)
−1
因此令 A = HKSUM , B = I,那么求解此线性系统得到的 X 矩阵就是我们所要求的逆矩阵 HKSUM 。求
解线性系统时需要用到 LAPACK 线性代数库的 ZGESV 函数36 。此方法比第一个方法在计算效率上要提
高 30% 左右,而计算结果是完全一致的。
(3) 利用解析四面体积分方法计算公式 (4.78)。将 Brillouin 区按照一定的规则划分为多个四面体,这
些四面体的每个顶点都对应着一个波矢量 k,那么 Brillouin 区积分就转化为对这一个个四面体的积分,
然后再把每个四面体对积分式的贡献加总起来。我们重新定义中间矩阵 HKSUM 如下:
对角化此矩阵得到:
HKSUM (k, iω) = AR (k, iω)E(k, iω)AL (k, iω), (4.83)
借助于四面体积分方法,那么上述积分可以表示为
ν ∑∑∑ i R i
ntet 4
i
Gαα0 (iω) = wnγ Aαγ (kn , iω)AL
γα0 (kn , iω), (4.85)
Ωbz γ n=1 i=1
i
wnγ = ri (z, 1nγ , 2nγ , 3nγ , 4nγ ). (4.86)
i
在上式中, ntet 为四面体的数目, γ 为能带指标, ν 为四面体的体积, kn 表示第 n 个四面体第 i 个顶
i
点的波矢量, wnγ 表示第 γ 条能带第 n 个四面体第 i 个顶点的积分权重, z = iω + µ, 1nγ ∼ 4nγ 代表
36 如果HKSUM 是厄米矩阵,那么用 ZHESV 函数求解线性系统的效率更高。
37 对于广义本征值问题,有:
HAR = EAR ,
AL H = EAL .
它们满足以下关系:
AL AR = I,
AL HAR = E,
AR EAL = H.
4.3.8 物理量计算算法
在 LDA+DMFT 迭代计算完毕之后,我们需要对计算结果进行后处理,以获得所需要的物理量。我们
目前所使用杂质求解器为量子蒙特卡洛杂质求解器,这给后处理工作带来了额外的困难。这是因为量子
蒙特卡洛杂质求解器通常都是工作在虚轴上的,它们的输出结果为虚时格林函数 G(τ ) 与虚频电子自能
函数 Σ(iω),与真实的可观测物理量之间没有直接的联系。因此如要得到有意义的物理量,须先得对虚
时格林函数与虚频电子自能函数进行解析延拓,将它们变换至实轴,然后才能进行后续的计算。下面我
们简要地介绍进行后处理计算可观测物理量的基本步骤。
并且
1
A(ω) = − =G(ω). (4.88)
π
根据公式 (4.87),最直截了当的做法是直接对 G(τ ) 进行反 Laplace 变换,即可求得 A(ω)。但是这样做
e−τ ω
是行不通的,因为 G(τ ) 是通过蒙特卡洛算法抽样得来,数据质量比较差,而公式右侧的内核 1+e−βω
又
比较" 奇异",只要 G(τ ) 存在着一点误差,就会导致 A(ω) 产生巨大的改变,所以这种方法求得的 A(ω)
是完全不可靠的。从理论上说,两个完全不同的 G(τ ),经过反 Laplace 变换后能得到完全相同的谱函数
A(ω),反之也同理。实际上标准的做法是采用最大熵方法 (maximum entropy method, MEM) 157 或是
随机解析延拓方法 (stochastic analytic continuation, SAC) 158--160 来处理 G(τ ),然后直接输出 A(ω)。
关于最大熵方法以及随机解析延拓方法的相关信息,请分别参考附录A.1与A.2。
∫ ∞ A(ω)
G(iωn ) = dω .
−∞ iωn − ω
112 LDA+DMFT 第一性原理计算方法: 基本理论框架与实现细节
以及晶格谱函数:
1
Aαα0 (ω) = − =Gαα0 (ω). (4.97)
π
晶格谱函数中不但包含了关联轨道的信息,也包含了非关联轨道的信息,比杂质谱函数更接近于实验
值,因而也更有用。利用此方法获得的关联电子轨道的谱函数应与由最大熵方法或者是随机解析延拓方
法获得的谱函数基本上保持一致。
以及
1
Aαα0 (k, ω) = − =Gαα0 (k, ω). (4.99)
π
特别需要注意的是公式 (4.98) 与公式 (4.99) 中的波矢量 k 须得沿着某些特定的高对称方向,例如 f cc 晶
格中的 Γ − L 高对称线等等。
√
(ω) = n(ω) + iκ(ω), (4.103)
1 − κ(ω) 2
R(ω) = . (4.104)
1 + κ(ω)
自然地,我们可以利用类似的技术求出强关联电子体系的其它输运性质,例如热电性质,热导率等
等,对此感兴趣者可参阅相关的文献 9,132,135 。
114 LDA+DMFT 第一性原理计算方法: 基本理论框架与实现细节
4.3.9 并行加速技术
在此 LDA+DMFT 计算框架中,所有的量子杂质模型求解器都是高度优化并且完全并行化的,对
此无须赘言。除此之外,所有的 LDA+DMFT 计算模块也都是并行化的,均支持基于消息传递接口
(message passing interface, MPI) 的并行化技术。
4.4 本章小结
算框架的各种实现细节,包括局域轨道的选择、双计数项的选择、电子占据数算法、费米面搜索算法、
Brillouin 区积分算法、各种可观测量与物理量的计算方法等比较关键的算法都有所介绍,足可为后来者
提供参考。本章的主要目的在于介绍现代的 LDA+DMFT 第一性原理电子结构计算框架,在第5 章将介
绍这一计算框架在真实的强关联电子材料中的应用。
第五章
5.1.1 研究背景
5.1.2 计算细节
5.1.4 密度 − 密度相互作用与广义相互作用
10
5
Energy (eV)
-5
-10
R Γ X M Γ
在图5.2中给出了我们的主要计算结果。为了做比较,图中还给出了取自文献的其他研究者的计算结
果 134 ,他们使用的是十分经典的基于 Hirsch-Fye 算法的量子蒙特卡洛杂质求解器。如图所示,段表示
算法与 Hirsch-Fye 算法的计算结果十分相似, t2g 轨道的谱函数在费米面附近有显著的准粒子共振峰,
下 Hubabrd 带在 -5.0 eV 附近,上 Hubbard 带并不明显,而 eg 轨道的谱函数则呈现出绝缘体的结构,
在费米面处有一个比较大的能隙。这充分说明我们的 LDA+DMFT 软件包还是十分可靠的。在考虑了广
义相互作用后, t2g 轨道的谱函数发生了明显的变化。(1) 首先,准粒子共振峰的高度减少了 20%,权
重大大减少。(2) 在费米面附近出现了若干个小的"shoulder" 结构,这在段表示算法所得到结果中并不
明显。(3) 谱函数权重向高频区域迁移,在 5 eV 附近出现了一个很明显的峰。 eg 轨道的谱函数也有显
著的变化,例如费米面右侧的峰变得更高更锐利,并且高频区域的谱函数权重大大增加了。总而言之,
广义相互作用对于强关联电子材料电子结构的影响是十分显著的,在将来的 LDA+DMFT 计算中须尽可
能地将其考虑在内。
5.1 SrVO3 : 关联电子结构计算 121
eg
1.4
t2g
1
Intensity (a.u)
0.8
CTQMC (segment algorithm)
0.6
0.4
0.2 HFQMC
0
-15 -10 -5 0 5 10 15
Frequency (eV)
5.1.5 动态屏蔽效应
下面来展示主要的计算结果,我们首先来看是否考虑动态屏蔽效应对于 V 的 3d 轨道电子谱函数的
影响。在图5.4中给出了对于不同模型,不同温度的计算结果。如图所示,不管关联轨道有几条,受限
Bloch 子空间 W 的维数有多大,温度有多高,在考虑了动态屏蔽效应之后,电子谱函数都将发生明显的
变化。电子谱函数变化的共同趋势是: 费米面附近的准粒子权重峰变窄,肩峰结构消失或者减弱,大量谱
122 LDA+DMFT 第一性原理计算方法: 应用实例
20 1.4
15
Coulomb Interaction U(ω)
1.2
10
1
5
0 0.8
K(τ)
-5 0.6
-10
0.4
-15
real part β=10
-20 0.2
(a) imag part (b) β=30
-25 0
0 5 10 15 20 25 30 35 40 0 5 10 15 20 25 30
Frequency (eV) τt
函数权重向高频区域迁移,这与模型计算的结果是完全一致的 64 。我们注意到相互作用的频率依赖性最
近受到许多研究者的关注。除了 P. Werner 等人提出的动态屏蔽效应算法之外,A. Rubtsov 等人提出的
动态原子极限近似方法 (dynamic atomic limit approximation, DALA) 167 也能用于处理相互作用随频
率变化的模型。在 DALA 算法中,杂质虚时格林函数被分为两部分,第一部分来自于有效静态相互作
用模型的贡献,这部分可用普通的杂质求解器求出;第二部分则用一个 Bose 因子描述,这部分可利用
各种近似直接给出解析的表达式。A. Rubtsov 等人利用 DALA 方法研究了具有频率依赖性的相互作用
U (ω) 对于 SrVO3 中 V 的 3d 轨道电子谱函数的影响。在图5.4中比较了这两种算法的计算结果。由图可
见,总体上这两个谱函数符合得比较好,但仍然存在着一些细微的差别,比如说由动态屏蔽效应算法得
到的准粒子权重峰比较锐利瘦削,上下 Hubbard 带的位置也略有不同。
图5.5中分别给出了 V 的 3d 轨道的虚频与实频电子自能函数。我们首先来看虚频自能函数的虚部
=Σ(iω)。在考虑了动态屏蔽效应之后, =Σ(iω → 0) 的绝对值增大了将近两倍。根据公式 (4.95),不难
得到准粒子权重 Z 将减小,电子有效质量 m∗ 将增大的结论。考虑静态相互作用时, m∗ ∼ 1.8,考虑动
态屏蔽效应时, m∗ ∼ 2.20 − 2.43。因此动态屏蔽效应具有增强电子关联效应,改变金属 − 绝缘体相界
的效果。再看实频自能函数的实部 <Σ(ω)。由图可见,在费米面附近正负 0.2 eV 范围内,电子自能函
数展现出线性行为 <Σ(ω) ∼ −ω,与文献中的报道完全一致 164 。根据 Fermi liquid 液体理论,由此处的
斜率同样可以求出准粒子权重 Z 以及电子有效质量 m∗ 。我们发现在考虑了动态屏蔽效应之后,斜率的
绝对值 ∂<Σ(ω)
∂ω | ω=0 要大于静态相互作用时的情况,由此经过进一步计算得到的准粒子权重和电子有效
质量与由虚频自能函数求得的数值符合得很好。我们注意到在费米面正负 0.2 eV 处都有"kink" 状的结
构,如果考虑了动态屏蔽效应的话这一结构将更为明显。这种"kink" 状结构是强关联电子系统的特征之
5.1 SrVO3 : 关联电子结构计算 123
2
static U
dynamic U
1.5
-20 -15 -10 -5 15 20 25 30
(a)
Spectral function (a.u)
0.5
0.35
0.3
Intensity (a.u)
0.25
0.2
0.15
0.1
0.05
0
-4 -2 0 2 4 6
Frequency (eV)
1 1.5
Nwann=12, β=10 (a) (b)
0.9 1
0.5 N
wann=12, β=10
0.8
0
0.7 static U
-ImΣ(iω)
ReΣ(ω)
dynamic U -0.5 static U
0.6 static U dynamic U
-1
0.5 dynamic U
-1.5
0.4 -2 N
wann=3, β=10
0.3 Nwann=3, β=10 -2.5
0.2 -3
1 2 3 4 5 6 7 8 9 10 -3 -2 -1 0 1 2 3
iω ω
一,在相应的电子能带色散关系中也存在着类似的结构 168 。
high
1.5
(a)
1
Energy (eV)
0.5
-0.5
-1 low
R Γ X M Γ
high
1.5
(b)
1
Energy (eV)
0.5
-0.5
-1 low
R Γ X M Γ
5.2.1 研究背景
5.2.2 计算细节
16
LDA
Wannier
14 Fermi level
12
Energy (eV)
10
L Γ X
2 eg
t2g
XPS and BIS
066 GPa
1
109 GPa
0.5
187 GPa
0
-6 -5 -4 -3 -2 -1 0 1 2 3 4 5 6
Energy (eV)
(a) -5.0
-15.0 23 GPa
ImΣ
Quasiparticle weight Z
34 GPa
0.6 50 GPa
eg 66 GPa
t2g -25.0
86 GPa
0.4 0 0.5 1 1.5 2
iω
0.2
Insulator OSMP Metal
0
0 50 100 150 200 250
Pressure (GPa)
1.0
(b)
0.8
0.6
|G(β/2)|
eg
t2g
0.4
0.2
0.1
0.0
0 50 100 150 200 250
Pressure (GPa)
(a)
0.9
0.8
Orbital occupancy
eg
0.7
t2g
0.6
0.5
0.4
0 50 100 150 200 250
Pressure (GPa)
0.8
(b)
0.7
0.6
Atomic state probability
0.5
t42ge3g, S=3/2
t52ge2g, S=3/2
0.4
t62ge1g, S=1/2
t62ge2g, S=2/2
0.3
0.2
0.1
0
0 50 100 150 200 250
Pressure (GPa)
5.3.1 研究背景
5.3.2 计算细节
2.8
2.6
LS
2.4
Magnetic moment (µB)
HS
2.2
1.8
Mt
Me
1.6
1.4
(a)
1.2
0 50 100 150 200
Pressure (GPa)
1.6
000 GPa
1.4
109 GPa
Spin-spin correlation function χloc(τ)
1.2
157 GPa
187 GPa
0.8
195 GPa
0.6
0.4
(b)
218 GPa
0.2
0 2 4 6 8 10
τt
20
18
16
14
Energy (eV)
12
10
4 LDA
Wannier
2
L Γ X W K Γ
1.2 eg band
t2g band
1 T=580 K
Spectral Function (a.u)
0.8
0.6 T=290 K
0.4
0.2 T=190 K
0
-15 -10 -5 0 5 10 15
Frequency (eV)
6 low
2
Energy (eV)
-2
-4
-6
-8 high
L Γ X W K Γ
1
eg band
2
t2g band
*
Quasiparticle mass m
0.8 1.8
1.6
0.6 1.4
γm
1.2
0.4
1
200 400 600 800 1000
Temperature (K)
0.2
0
100 200 300 400 500 600 700 800 900 1000 1100 1200
Temperature (K)
0.45
eg band
0.4 t2g band
α=0.60
0.35 α=0.95
0.3
-ImΣ(iω)
0.25
0.2
0.15
0.1
0.05
0
0 0.5 1 1.5 2
Frequency ω
0.7
T=1160 K
T=580 K
0.6 T=386 K
T=290 K
T=232 K
0.5
T=193 K
0.4
χloc(τ)
0.3
0.2
0.1
0
0 0.1 0.2 0.3 0.4 0.5
τ/β
80
T= 580 K
100 T= 290 K
70
T= 290 K T= 193 K
Optical conductivity σ1(ω)
80 α=1.0
60
Optical conductivity σ1(ω)
60
50
40
40
20
30
0
0 0.2 0.4 0.6 0.8 1
20 Frequency ω
10
0
0 1 2 3 4 5 6 7 8
Frequency ω
5.4 本章小结
结论与展望
本章总结回顾攻读博士学位期间所完成的主要工作,并对下一步计划进行的研究工作预作规划。
在导师的指导下,本人博士研究生期间的研究工作主要集中于以下三个方面。
(1)动力学平均场框架下量子杂质求解器的研发。量子杂质求解器是动力学平均场计算方法的核心组
成部分,其中量子蒙特卡洛方法是目前最主流的算法,因此本人主要研究基于量子蒙特卡洛方法的量子
杂质求解器。独立开发了基于 Hirsch-Fye 算法的量子蒙特卡洛杂质求解器 (包括 delayed update 版
本、CUDA-GPU 加速版本)、基于弱耦合展开算法的连续时间量子蒙特卡洛杂质求解器、基于强耦合展
开算法的连续时间量子蒙特卡洛杂质求解器 (包括段表示版本、广义矩阵算法版本1 、自旋 − 轨道耦合
作用版本 2 、电声相互作用版本、动态屏蔽效应版本、Krylov 子空间迭代算法版本、正交多项式表象版
本3 等等)。为了改善提高强耦合展开连续时间量子蒙特卡洛杂质求解器在求解多带模型时的计算效率,
本人独立提出了基于 Newton-Leja 多项式插值的新算法,该算法的计算效率要比此前最优的 Krylov 子
空间迭代算法高出 1 个数量级。同时,为了改善强耦合展开连续时间量子蒙特卡洛杂质求解器在测量虚
时格林函数等物理量时的精度,我在正交多项式表象算法的基础上,独立开发了基于内核多项式表象的
新算法4 。该新算法能有效地消除 Gibbs 震荡现象,极大地改善了物理量的测量精度,为后续处理奠定
了良好的基础。为了能够妥善处理量子蒙特卡洛杂质求解器的输出数据,特别是虚时格林函数的解析延
拓,本人还独立开发了基于最大熵方法以及随机解析延拓方法5 的后处理程序,还有其它一系列的小工具
程序。
(2)LDA+DMFT 第一性原理计算框架的研发。动力学平均场理论必须与第一性原理电子结构计算方
1 本工作受益于王磊博士提供的严格对角化程序,用于检测杂质求解器在单带或多带体系中的可靠性。
2 本工作受益于与杜亮同学的合作。
3 本工作受益于与王磊博士的讨论。
4 本工作受益于与吴泉生同学的讨论。
5 本工作受益于吴泉生同学提供的原型程序。
142 结论与展望
B) CoO 属于 3d 电子壳层的过渡金属氧化物,它的基态为电荷转移型的反铁磁绝缘体,Néel 温度
6 本工作受益于与庄嘉宁博士、赵建洲同学的讨论。
7 本工作受益于与王义林同学的合作。
143
以上就是我本人在攻读博士学位期间所完成的主要研究工作9 。阶段性的学习虽然即将结束,但是研
究工作还将继续进行,将来拟进行的研究工作初步计划如下:
8 本工作受益于与王义林同学的合作。
9 除了上述主要研究工作以外,我还额外完成了下述研究工作。与杜亮同学合作,分别使用动力学平均场方法结合强耦合展开
附录部份的主要功能是介绍一些在正文中由于篇幅限制无法面面俱到,但是却又十分重要的内容。本
附录结构如下:
附录A.1,介绍传统的解析延拓方法——最大熵方法。
附录A.2,介绍最新的解析延拓方法——随机解析延拓方法,最大熵方法可以看作是它的一个近似。
A.1 最大熵方法
e−τ ω
K(τ, ω) = . (A.2)
1 + e−βτ
10 对于玻色系统,Kernel 函数的定义式变为:
e−τ ω
K(τ, ω) = .
1 − e−βτ
1
τ/β=0.0
τ/β=0.1
τ/β=0.2
0.8
τ/β=0.3
τ/β=0.4
τ/β=0.5
0.6 τ/β=0.6
K(τ, ω)
τ/β=0.7
τ/β=0.8
0.4 τ/β=0.9
0.2
0
-6 -4 -2 0 2 4 6
Frequency (ω)
1
Q[A] = αS[A] − χ2 [A]. (A.4)
2
∑
L
χ2 [A] = (G(τi ) − G(τj ))[C −1 ]ij (G(τj ) − G(τj )). (A.6)
ij=1
χ2 [A] 项量度的是由谱函数 A(ω) 反演出来的 G(τ ) 与蒙特卡洛抽样平均值 G(τ ) 之间的距离。 C 为协变
矩阵,它包含了蒙特卡洛抽样过程中的误差信息。至此泛函 Q[A] 已经定义完毕,剩余的问题就是如何
求其极大值,最陡下降法 (steepest descent, SD) 或者是共轭梯度法 (conjugate gradient, CG) 都是比
较好的选择。
对于给定的参数 α,那么最大化泛函 Q[A] 就能够唯一确定一个谱函数 A(ω)。参数 α 的选择是一个
很复杂的问题,如果 α 参数取值太大,那么 A(ω) 将趋同于缺省模型 m(ω),如果 α 参数取值太小,那
么蒙特卡洛抽样数据中的噪声将使得 A(ω) 出现非物理的振荡 157 。在所谓的 historic 最大熵方法中,通
过如下关系可确定 α 参数:
χ2 = N, (A.7)
其中 Λ 矩阵的定义如下:
√ √
T −1
Λ(α)ij = Aα
i [K C K]ij Aα
j. (A.9)
A.2 随机解析延拓方法
根据谱函数的归一化关系可有:
∫ ∞ ∫ 1 ∫ 1
1 A(ω)
1= dωA(ω) = dφ(ω) = dx n(x). (A.12)
N −∞ 0 D(ω) 0
在上述等式中,我们利用了变量代换:
x = φ(ω). (A.13)
假设该系统具有反温度 α,那么系统的配分函数可以表示为:
∫
Z = Dn(x) e−αH[n(x)] . (A.17)
在上式中, ( ) (∫
∫ ∫ ∞ ∏ 1 )
Dn(x) = dn(x) δ dxn(x) − 1 . (A.18)
0 x 0
∆H = HC 0 − HC . (A.22)
L2 L7 L5 L8 L3 L9 L4 L6 L1
最后还剩下一个问题,就是这个人造系统的反温度参数 α 应该如何确定,这个问题在最大熵方法中
也同样存在,只不过是 α 参数所对应的物理意义不同罢了。在实际的计算中,我们通常使用许多不同
的 α 参数进行计算,每一个 α 都对应着一个 hn(x)i 或者是 hA(ω)i。最粗糙的做法是将 hA(ω)i 对所有
的 α 参数取平均,Sandvik 提出根据 S − α 曲线上的陡崖来确定 α 159 ,Beach 提出根据 χ2 − α 曲线上
的"kink" 来确定最佳的 α 158 ,Syljuåsen 干脆就使用 α = 1 160 。目前这些做法都是权宜之计,相关的研
究工作仍旧在不断取得进展。最后特别值得一提的是,由于随机解析延拓方法需要对场构型 C 进行抽
样,因此计算效率很低,为了获得比较理想的结果需要耗费大量的计算时间,对程序进行并行化加速是
必不可少的。我们在hibiscus项目中实现了随机解析延拓方法。
ξj 可以通过下式递归生成:
∏
j−1 ∏
j−1
|ξj − ξk | = max |ξ − ξk |, j = 1, 2, · · · . (A.23)
ξ∈K
k=0 k=0
利用文献 107 中提出的快速 Leja 点算法 (Fast Leja Points, FLPs) 可以高效地生成一系列的实数 Leja 点。
图A.2展示了在 [−2, 2] 区间内的前九个 Leja 点。
Leja 点序列在科学计算领域有很多重要的应用,例如迭代求解大规模的线性方程组,求解本征值问
题,多项式插值计算等方面。Leja 点序列特别适合用于高阶多项式插值,鉴于 Newton 插值算法具有很
好的数值稳定性,因此它们经常相互配合,构成 Newton-Leja 多项式插值算法 106 。
A.4 Newton 插值多项式
∏
j−1
Ωj (x) = (x − xk ). (A.26)
k=0
Legendre 多项式存在着如下的递推的关系:
P0 (x) = 1, (A.28)
P1 (x) = x, (A.29)
0.5
Pn (x)
-0.5
n=0
n=1
-1 n=2
Legendre n=3
n=4
-1.5
-1 -0.5 0 0.5 1
x
√ √
(x + x2 − 1)n+1 − (x − x2 − 1)n+1
Un (x) = √ . (A.34)
2 x2 − 1
通常还可以利用三角函数来定义 Chebyshev 多项式:
当 n 为奇数时,有
∑
n
Un (x) = 2 Tj (x). (A.39)
j odd
当 n 为偶数时,有
∑
n
Un (x) = 2 Tj (x) − 1. (A.40)
j even
T0 (x) = 1, (A.41)
T1 (x) = x, (A.42)
U0 (x) = 1, (A.44)
T0 (x) = 1, (A.47)
0.5
Un (x)
-0.5
n=0
n=1
-1 n=2
Chebyshev n=3
n=4
-1.5
-1 -0.5 0 0.5 1
x
n 6= m
∫ 1
0:
dx
Tn (x)Tm (x) √ = π: n=m=0 (A.51)
−1 1 − x2
π/2 : n = m 6= 0
∫ √
0 :
1 n 6= m
Un (x)Um (x) 1 − x dx =
2 (A.52)
−1
π/2 : n=m
符号定义
首先定义如下的基本符号:
ij : 表示 i − j 。
Lambin-Vigneron 函数
积分权重
分为以下四种情况进行讨论:
(1) 四面体四个顶角的能量各不相同。
( ) ( ) ( )
− 2 − 2 − 3 − 3 − 4 − 4
r1 = lv + lv + lv , (A.54)
32 42 21 23 43 31 24 34 41
( ) ( ) ( )
− 1 − 1 − 3 − 3 − 4 − 4
r2 = lv + lv + lv , (A.55)
31 41 12 13 43 32 14 34 42
( ) ( ) ( )
− 1 − 1 − 2 − 2 − 4 − 4
r3 = lv + lv + lv , (A.56)
21 41 13 12 42 23 14 24 43
( ) ( ) ( )
− 1 − 1 − 2 − 2 − 3 − 3
r4 = lv + lv + lv . (A.57)
21 31 14 12 32 24 13 23 34
(2) 四面体四个顶角的能量其中前两个是相同的, 即 1 = 2 。
r1 = r2 , (A.58)
( ) ( )
1 − 2 − 3 − 3 − 4 − 4
r2 = + lv + lv , (A.59)
2 32 42 23 43 32 24 34 42
[ ] ( ) ( )
− 2 − 3 − 4 − 2 − 4 − 4
r3 = − 2 + 2 lv + 2 lv , (A.60)
23 24 23 24 24 23 24 43
[ ] ( ) ( )
− 2 − 4 − 3 − 2 − 3 − 3
r4 = − 2 + 2 lv + 2 lv . (A.61)
23 24 23 24 23 24 23 34
(3) 四面体四个顶角的能量其中前两个是相同的,后两个也是相同的,即 1 = 2 以及 3 = 4 。
r1 = r2 , (A.62)
( )
− 3 1 − 2 − 2 − 3
r2 = 2 + − 3 2 lv , (A.63)
32 2 232 32 32
( )
− 2 1 − 3 − 3 − 2
r3 = 2 + 2 − 3 2 lv , (A.64)
23 2 23 23 23
r4 = r3 . (A.65)
(4) 四面体四个顶角的能量其中前三个是相同的,即 1 = 2 = 3 。
r1 = r3 , (A.66)
r2 = r3 , (A.67)
( )
1 − 3 5 − 4 − 4 − 4
r3 = 2 − 2 + 2 lv , (A.68)
3 34 6 34 34 43
( )
− 4 1 − 3 − 3 − 4
r4 = + − 3 2 lv . (A.69)
243 2 243 43 43
(5) 四面体四个顶角的能量都是相同的。
1 1
ri = . (A.70)
4 − i
参考文献
[1] M. Imada, A. Fujimori, and Y. Tokura. Metal-insulator transitions. Rev. Mod. Phys., 70:1039,
1998.
[4] Patrick A. Lee, Naoto Nagaosa, and Xiao-Gang Wen. Doping a Mott insulator: Physics of
high-temperature superconductivity. Rev. Mod. Phys., 78:17--85, 2006.
[5] F. Mancini and A. Avella. The Hubbard model within the equations of motion approach.
Adv. Phys., 53:537--768, 2004.
[7] Raymond Frésard, Johann Kroha, and Peter Wölfle. Strongly Correlated Systems Theoretical
Methods, volume 171 of Springer Series in Solid-State Sciences, chapter 3, pages 65--101.
Springer-Verlag Berlin Heidelberg, 2012.
[8] Walter Metzner and Dieter Vollhardt. Correlated Lattice Fermions in d = ∞ Dimensions.
Phys. Rev. Lett., 62:324--327, 1989.
[9] Antoine Georges, Gabriel Kotliar, Werner Krauth, and Marcelo J. Rozenberg. Dynamical
mean-field theory of strongly correlated fermion systems and the limit of infinite dimen-
sions. Rev. Mod. Phys., 68:13, 1996.
[10] M. Jarrell. Hubbard model in infinite dimensions: A quantum Monte Carlo study. Phys.
Rev. Lett., 69:168--171, 1992.
[11] Antoine Georges and Gabriel Kotliar. Hubbard model in infinite dimensions. Phys. Rev. B,
45:6479--6483, 1992.
[12] G. Kotliar, S. Y. Savrasov, K. Haule, V. S. Oudovenko, O. Parcollet, and C. A. Marianetti. Elec-
tronic structure calculations with dynamical mean-field theory. Rev. Mod. Phys., 78:865,
2006.
[13] K. Held. Electronic structure calculations using dynamical mean field theory. Adv. Phys.,
56:829--926, 2007.
[14] Thomas Maier, Mark Jarrell, Thomas Pruschke, and Matthias H. Hettler. Quantum cluster
theories. Rev. Mod. Phys., 77:1027--1080, 2005.
[16] A. Toschi, A. A. Katanin, and K. Held. Dynamical vertex approximation: A step beyond
dynamical mean-field theory. Phys. Rev. B, 75:045118, 2007.
[17] P. W. Anderson. Localized Magnetic States in Metals. Phys. Rev., 124:41, 1961.
[19] R. Brako and D. M. Newns. Slowly varying time-dependent local perturbations in metals:
a new approach. J. Phys. C, 14:3065, 1981.
[21] J. Kondo. Resistance Minimum in Dilute Magnetic Alloys. Prog. Theor. Phys., 32:37, 1964.
[23] K. Yosida and K. Yamada. Perturbation Expansion for the Anderson Hamiltonian. III. Prog.
Theor. Phys., 53:1286, 1975.
[24] N. Read and D. M. Newns. On the solution of the Coqblin-Schreiffer Hamiltonian by the
large-N expansion technique. J. Phys. C, 16:3273, 1983.
[25] P. Coleman. New approach to the mixed-valence problem. Phys. Rev. B, 29:3035, 1984.
[26] P. W. Anderson, G. Yuval, and D. R. Hamann. Exact Results in the Kondo Problem. II. Scal-
ing Theory, Qualitatively Correct Solution, and Some New Results on One-Dimensional
Classical Statistical Models. Phys. Rev. B, 1:4464, 1970.
[27] J. Solyom and A. Zawadoswki. Are the scaling laws for the Kondo problem exact? J. Phys.
F, 4:80, 1974.
[29] J. Hubbard. Electron Correlations in Narrow Energy Bands. II. The Degenerate Band Case.
Proc. R. Soc. A, 277:237, 1964.
[30] H. Keiter and J. C. Kimball. Perturbation Technique for the Anderson Hamiltonian. Phys.
Rev. Lett., 25:672, 1970.
[33] S. E. Barnes. New method for the Anderson model. J. Phys. F, 6:1375, 1976.
[34] Serge Florens and Antoine Georges. Quantum impurity solvers using a slave rotor repre-
sentation. Phys. Rev. B, 66:165111, 2002.
[35] N. E. Bickers. Review of techniques in the large-N expansion for dilute magnetic alloys.
Rev. Mod. Phys., 59:845, 1987.
[36] T. Pruschke and N. Grewe. The Anderson model with finite Coulomb repulsion. Z. Phys. B,
74:439, 1989.
[37] K. Haule, S. Kirchner, J. Kroha, and P. Wolfle. Anderson impurity model at finite Coulomb
interaction U : Generalized noncrossing approximation. Phys. Rev. B, 64:155111, 2001.
[38] Emanuel Gull, David R. Reichman, and Andrew J. Millis. Bold-line diagrammatic Monte
Carlo method: General formulation and application to expansion around the noncrossing
approximation. Phys. Rev. B, 82:075109, 2010.
[39] K. G. Wilson. The renormalization group: Critical phenomena and the Kondo problem. Rev.
Mod. Phys., 47:773, 1975.
[40] S. R. White. Density matrix formulation for quantum renormalization groups. Phys. Rev.
Lett., 69:2863, 1992.
[41] U. Schollwock. The density-matrix renormalization group. Rev. Mod. Phys., 77:259, 2005.
[42] R. Bulla, T. A. Costi, and T. Pruschke. Numerical renormalization group method for quantum
impurity systems. Rev. Mod. Phys., 80:395, 2008.
[43] M. Caffarel and W. Krauth. Exact diagonalization approach to correlated fermions in infinite
dimensions: Mott transition and superconductivity. Phys. Rev. Lett., 72:1545, 1994.
[44] Massimo Capone, Luca de' Medici, and Antoine Georges. Solving the dynamical mean-
field theory at very low temperatures using the Lanczos exact diagonalization. Phys. Rev.
B, 76:245116, 2007.
[45] A. Liebsch. Novel Mott Transitions in a Nonisotropic Two-Band Hubbard Model. Phys. Rev.
Lett., 95:116402, 2005.
[46] A. Liebsch, H. Ishida, and J. Merino. Multisite versus multiorbital Coulomb correla-
tions studied within finite-temperature exact diagonalization dynamical mean-field theory.
Phys. Rev. B, 78:165123, 2008.
[47] C. A. Perroni, H. Ishida, and A. Liebsch. Exact diagonalization dynamical mean-field theory
for multiband materials: Effect of Coulomb correlations on the Fermi surface of Na0.3 CoO2 .
Phys. Rev. B, 75:045125, 2007.
[48] J. E. Hirsch and R. M. Fye. Monte Carlo Method for Magnetic Impurities in Metals. Phys.
Rev. Lett., 56:2521, 1986.
[49] Shiro Sakai, Ryotaro Arita, Karsten Held, and Hideo Aoki. Quantum Monte Carlo study for
multiorbital systems with preserved spin and orbital rotational symmetries. Phys. Rev. B,
74:155102, 2006.
[50] D. Handscomb. The Monte Carlo method in quantum statistical mechanics. Proc. Cam-
bridge Philos. Soc., 58:594, 1962.
[51] D. Handscomb. A Monte Carlo method applied to the Heisenberg ferromagnet. Proc.
Cambridge Philos. Soc., 60:115, 1964.
[52] A. W. Sandvik and J. Kurkijarvi. Quantum Monte Carlo simulation method for spin systems.
Phys. Rev. B, 43:5950, 1991.
[53] N. V. Prokof'ev, B. V. Svistunov, and I. S. Tupitsyn. Exact quantum Monte Carlo process for
the statistics of discrete systems. JETP Lett., 64:911, 1996.
[54] B. B. Beard and U. J. Wiese. Simulations of Discrete Quantum Systems in Continuous Eu-
clidean Time. Phys. Rev. Lett., 77:5130, 1996.
[55] N. V. Prokof'ev and B. V. Svistunov. Polaron Problem by Diagrammatic Quantum Monte
Carlo. Phys. Rev. Lett., 81:2514, 1998.
[57] S. M. A. Rombouts, K. Heyde, and N. Jachowicz. Quantum Monte Carlo Method for
Fermions, Free of Discretization Errors. Phys. Rev. Lett., 82:4155--4159, 1999.
[58] Emanuel Gull, Andrew J. Millis, Alexander I. Lichtenstein, Alexey N. Rubtsov, Matthias Troyer,
and Philipp Werner. Continuous-time Monte Carlo methods for quantum impurity models.
Rev. Mod. Phys., 83:349--404, 2011.
[60] F. F. Assaad and T. C. Lang. Diagrammatic determinantal quantum Monte Carlo meth-
ods: Projective schemes and applications to the Hubbard-Holstein model. Phys. Rev. B,
76:035116, 2007.
[61] Philipp Werner, Armin Comanac, Luca de' Medici, Matthias Troyer, and Andrew J. Millis.
Continuous-Time Solver for Quantum Impurity Models. Phys. Rev. Lett., 97:076405, 2006.
[62] Philipp Werner and Andrew J. Millis. Hybridization expansion impurity solver: General for-
mulation and application to Kondo lattice and two-orbital models. Phys. Rev. B, 74:155107,
2006.
[63] Philipp Werner and Andrew J. Millis. Efficient Dynamical Mean Field Simulation of the
Holstein-Hubbard Model. Phys. Rev. Lett., 99:146404, 2007.
[64] Philipp Werner and Andrew J. Millis. Dynamical Screening in Correlated Electron Materials.
Phys. Rev. Lett., 104:146401, 2010.
[65] Andreas M. Lauchli and Philipp Werner. Krylov implementation of the hybridization expan-
sion impurity solver and application to 5-orbital models. Phys. Rev. B, 80:235117, 2009.
[66] Kristjan Haule. Quantum Monte Carlo impurity solver for cluster dynamical mean-field
theory and electronic structure calculations with adjustable cluster base. Phys. Rev. B,
75:155113, 2007.
[67] E. Gull, P. Werner, O. Parcollet, and M. Troyer. Continuous-time auxiliary-field Monte Carlo
for quantum impurity models. Europhys. Lett., 82:57003, 2008.
[68] Junya Otsuki, Hiroaki Kusunose, Philipp Werner, and Yoshio Kuramoto. Continuous-time
quantum monte carlo method for the coqblin--schrieffer model. J. Phys. Soc. Japan,
76:114707, 2007.
[69] Emanuel Gull, Philipp Werner, Andrew Millis, and Matthias Troyer. Performance analysis of
continuous-time solvers for quantum impurity models. Phys. Rev. B, 76:235123, 2007.
[70] N. Blumer. Efficiency of quantum Monte Carlo impurity solvers for the dynamical mean-
field theory. Phys. Rev. B, 76:205120, 2007.
[71] Munehisa Matsumoto, Myung Joon Han, Junya Otsuki, and Sergey Y. Savrasov. First-
Principles Simulations of Heavy Fermion Cerium Compounds Based on the Kondo Lattice.
Phys. Rev. Lett., 103:096403, 2009.
[72] Philipp Werner and Andrew J. Millis. High-Spin to Low-Spin and Orbital Polarization Tran-
sitions in Multiorbital Mott Systems. Phys. Rev. Lett., 99:126405, 2007.
[73] Philipp Werner, Emanuel Gull, Matthias Troyer, and Andrew J. Millis. Spin Freezing Transition
and Non-Fermi-Liquid Self-Energy in a Three-Orbital Model. Phys. Rev. Lett., 101:166405,
2008.
[74] Philipp Werner, Emanuel Gull, and Andrew J. Millis. Metal-insulator phase diagram and
orbital selectivity in three-orbital models with rotationally invariant Hund coupling. Phys.
Rev. B, 79:115119, 2009.
[75] Ching-Kit Chan, Philipp Werner, and Andrew J. Millis. Magnetism and orbital ordering in
an interacting three-band model: A dynamical mean-field study. Phys. Rev. B, 80:235114,
2009.
[76] Kristjan Haule and Gabriel Kotliar. Strongly correlated superconductivity: A plaquette dy-
namical mean-field theory study. Phys. Rev. B, 76:104509, 2007.
[77] E. Gull, P. Werner, X. Wang, M. Troyer, and A. J. Millis. Local order and the gapped phase
of the Hubbard model: A plaquette dynamical mean-field investigation. Europhys. Lett.,
84:37009, 2008.
[78] H. Park, K. Haule, and G. Kotliar. Cluster Dynamical Mean Field Theory of the Mott Transi-
tion. Phys. Rev. Lett., 101:186403, 2008.
[79] Michel Ferrero, Pablo S. Cornaglia, Lorenzo De Leo, Olivier Parcollet, Gabriel Kotliar, and
Antoine Georges. Pseudogap opening and formation of Fermi arcs as an orbital-selective
Mott transition in momentum space. Phys. Rev. B, 80:064501, 2009.
[82] Philipp Werner, Emanuel Gull, Olivier Parcollet, and Andrew J. Millis. Momentum-selective
metal-insulator transition in the two-dimensional Hubbard model: An 8-site dynamical
cluster approximation study. Phys. Rev. B, 80:045120, 2009.
[83] G. Sordi, K. Haule, and A.-M. S. Tremblay. Finite Doping Signatures of the Mott Transition
in the Two-Dimensional Hubbard Model. Phys. Rev. Lett., 104:226402, 2010.
[84] C. A. Marianetti, K. Haule, and O. Parcollet. Quasiparticle Dispersion and Heat Capacity of
Na0.3 CoO2 : A Dynamical Mean-Field Theory Study. Phys. Rev. Lett., 99:246404, 2007.
[85] C. Slezak, M. Jarrell, T. Maier, and J. Deisz. Multi-scale extensions to quantum cluster meth-
ods for strongly correlated electron systems. J. Phys.: Condens. Matter, 21:435604, 2009.
[87] Kristjan Haule and Gabriel Kotliar. Avoided criticality in near-optimally doped high-
temperature superconductors. Phys. Rev. B, 76:092503, 2007.
[88] J. H. Shim, K. Haule, and G. Kotliar. Modeling the Localized-to-Itinerant Electronic Transition
in the Heavy Fermion System CeIrIn5 . Science, 318:1615--1617, 2007.
[89] J. H. Shim, K. Haule, and G. Kotliar. Fluctuating valence in a correlated solid and the anoma-
lous properties of δ-plutonium. Nature, 446:513--516, 2007.
[90] Hyowon Park, K. Haule, C. A. Marianetti, and G. Kotliar. Dynamical mean-field theory study
of Nagaoka ferromagnetism. Phys. Rev. B, 77:035107, 2008.
[91] L. De Leo, C. Kollath, A. Georges, M. Ferrero, and O. Parcollet. Trapping and Cooling
Fermionic Atoms into Mott and Néel States. Phys. Rev. Lett., 101:210403, 2008.
[92] T. L. Dao, M. Ferrero, A. Georges, M. Capone, and O. Parcollet. Polarized Superfluidity in the
Attractive Hubbard Model with Population Imbalance. Phys. Rev. Lett., 101:236405, 2008.
[93] Philipp Werner, Takashi Oka, Martin Eckstein, and Andrew J. Millis. Weak-coupling quantum
Monte Carlo calculations on the Keldysh contour: Theory and application to the current-
voltage characteristics of the Anderson model. Phys. Rev. B, 81:035108, 2010.
[94] Philipp Werner, Takashi Oka, and Andrew J. Millis. Diagrammatic Monte Carlo simulation
of nonequilibrium systems. Phys. Rev. B, 79:035320, 2009.
[95] Lothar Muhlbacher and Eran Rabani. Real-Time Path Integral Approach to Nonequilibrium
Many-Body Quantum Systems. Phys. Rev. Lett., 100:176403, 2008.
[96] Marco Schiró. Real-time dynamics in quantum impurity models with diagrammatic Monte
Carlo. Phys. Rev. B, 81:085126, 2010.
[97] Marco Schiro and Michele Fabrizio. Real-time diagrammatic Monte Carlo for nonequilib-
rium quantum transport. Phys. Rev. B, 79:153302, 2009.
[98] T. L. Schmidt, P. Werner, L. Muhlbacher, and A. Komnik. Transient dynamics of the Anderson
impurity model out of equilibrium. Phys. Rev. B, 78:235110, 2008.
[99] Jaebeom Yoo, Shailesh Chandrasekharan, Ribhu K Kaul, Denis Ullmo, and Harold U
Baranger. On the sign problem in the hirsch – fye algorithm for impurity problems. J.
Phys. A: Math. Gene., 38:10307, 2005.
[100] Lewin Boehnke, Hartmut Hafermann, Michel Ferrero, Frank Lechermann, and Olivier Par-
collet. Orthogonal polynomial representation of imaginary-time Green's functions. Phys.
Rev. B, 84:075145, 2011.
[101] Alexander Weiße, Gerhard Wellein, Andreas Alvermann, and Holger Fehske. The kernel
polynomial method. Rev. Mod. Phys., 78:275--306, 2006.
[105] Luca de' Medici. Hund's coupling and its key role in tuning multiorbital correlations. Phys.
Rev. B, 83(20):205112, 2011.
[106] Lothar Reichel. Newton interpolation at Leja points. BIT Numerical Mathematics, 30:332--
346, 1990.
[107] J. Baglama, D. Calvetti, and L. Reichel. Fast Leja points. Electron. Trans. Numer. Anal., 7:124-
-140, 1998.
[108] Hartmut Hafermann, Kelly R. Patton, and Philipp Werner. Improved Estimators for the Self-
Energy and Vertex Function in Hybridization Expansion Continuous-Time Quantum Monte
Carlo Simulations. 2011.
[109] R. O. Jones and O. Gunnarsson. The density functional formalism, its applications and
prospects. Rev. Mod. Phys., 61:689--746, 1989.
[110] P. Hohenberg and W. Kohn. Inhomogeneous Electron Gas. Phys. Rev., 136:B864--B871,
1964.
[112] W. Kohn and L. J. Sham. Self-Consistent Equations Including Exchange and Correlation
Effects. Phys. Rev., 140:A1133--A1138, 1965.
[114] John P. Perdew and Yue Wang. Accurate and simple analytic representation of the electron-
gas correlation energy. Phys. Rev. B, 45:13244--13249, 1992.
[115] John P. Perdew, Kieron Burke, and Matthias Ernzerhof. Generalized Gradient Approximation
Made Simple. Phys. Rev. Lett., 77:3865--3868, 1996.
[116] Zhigang Wu and R. E. Cohen. More accurate generalized gradient approximation for solids.
Phys. Rev. B, 73:235116, 2006.
[117] John P. Perdew, Adrienn Ruzsinszky, Gabor I. Csonka, Oleg A. Vydrov, Gustavo E. Scuseria,
Lucian A. Constantin, Xiaolan Zhou, and Kieron Burke. Restoring the Density-Gradient
Expansion for Exchange in Solids and Surfaces. Phys. Rev. Lett., 100:136406, 2008.
[118] John P. Perdew, Stefan Kurth, Ale š Zupan, and Peter Blaha. Accurate Density Functional
with Correct Formal Properties: A Step Beyond the Generalized Gradient Approximation.
Phys. Rev. Lett., 82:2544--2547, 1999.
[119] Jianmin Tao, John P. Perdew, Viktor N. Staroverov, and Gustavo E. Scuseria. Climbing the
Density Functional Ladder: Nonempirical Meta Generalized Gradient Approximation De-
signed for Molecules and Solids. Phys. Rev. Lett., 91:146401, 2003.
[120] Carlo Adamo and Vincenzo Barone. Toward reliable density functional methods without
adjustable parameters: The PBE0 model. J. Chem. Phys., 110:6158--6170, 1999.
[121] Jochen Heyd, Gustavo E. Scuseria, and Matthias Ernzerhof. Hybrid functionals based on a
screened Coulomb potential. J. Chem. Phys., 118:8207--8215, 2003.
[122] Edward N. Brothers, Artur F. Izmaylov, Jacques O. Normand, Verónica Barone, and Gus-
tavo E. Scuseria. Accurate solid-state band gaps via screened hybrid electronic structure
calculations. J. Chem. Phys., 129:011102, 2008.
[123] Richard M. Martin. Electronic Structure: Basic Theory and Practical Methods. Cambridge
University Press, College Station, Texas, 2004.
[126] X. Gonze, B. Amadon, P.-M. Anglade, J.-M. Beuken, F. Bottin, P. Boulanger, F. Bruneval,
D. Caliste, R. Caracas, M. Côté, T. Deutsch, L. Genovese, Ph. Ghosez, M. Giantomassi,
S. Goedecker, D.R. Hamann, P. Hermet, F. Jollet, G. Jomard, S. Leroux, M. Mancini,
S. Mazevet, M.J.T. Oliveira, G. Onida, Y. Pouillon, T. Rangel, G.-M. Rignanese, D. Sangalli,
R. Shaltaf, M. Torrent, M.J. Verstraete, G. Zerah, and J.W. Zwanziger. ABINIT: First-principles
approach to material and nanosystem properties. Comput. Phys. Comm., 180:2582--2615,
2009.
[127] Paolo Giannozzi, Stefano Baroni, Nicola Bonini, Matteo Calandra, Roberto Car, Carlo
Cavazzoni, Davide Ceresoli, Guido L Chiarotti, Matteo Cococcioni, Ismaila Dabo, An-
drea Dal Corso, Stefano de Gironcoli, Stefano Fabris, Guido Fratesi, Ralph Gebauer, Uwe
Gerstmann, Christos Gougoussis, Anton Kokalj, Michele Lazzeri, Layla Martin-Samos,
Nicola Marzari, Francesco Mauri, Riccardo Mazzarello, Stefano Paolini, Alfredo Pasquarello,
Lorenzo Paulatto, Carlo Sbraccia, Sandro Scandolo, Gabriele Sclauzero, Ari P Seitsonen,
Alexander Smogunov, Paolo Umari, and Renata M Wentzcovitch. QUANTUM ESPRESSO: a
modular and open-source software project for quantum simulations of materials. J. Phys:
Condens. Matter, 21:395502, 2009.
[128] Arash A. Mostofi, Jonathan R. Yates, Young-Su Lee, Ivo Souza, David Vanderbilt, and Nicola
Marzari. wannier90: A tool for obtaining maximally-localised Wannier functions. Comput.
Phys. Comm., 178:685 -- 699, 2008.
[130] F Aryasetiawan and O Gunnarsson. The GW method. Rep. Prog. Phys., 61:237, 1998.
[131] Vladimir I. Anisimov, Jan Zaanen, and Ole K. Andersen. Band theory and Mott insulators:
Hubbard U instead of Stoner I. Phys. Rev. B, 44:943--954, 1991.
[132] Vladimir Anisimov and Yuri Izyumov. Electronic Structure of Strongly Correlated Materials,
volume 163 of Springer Series in Solid-State Sciences. Cambridge University Press, College
Station, Texas, 2012.
[133] Lars Hedin. New Method for Calculating the One-Particle Green's Function with Application
to the Electron-Gas Problem. Phys. Rev., 139:A796--A823, 1965.
[135] Kristjan Haule, Chuck-Hou Yee, and Kyoo Kim. Dynamical mean-field theory within the
full-potential methods: Electronic structure of CeIrIn5 , CeCoIn5 , and CeRhIn5 . Phys. Rev. B,
81:195107, 2010.
[136] Markus Aichhorn, Leonid Pourovskii, Veronica Vildosola, Michel Ferrero, Olivier Parcollet,
Takashi Miyake, Antoine Georges, and Silke Biermann. Dynamical mean-field theory within
an augmented plane-wave framework: Assessing electronic correlations in the iron pnic-
tide LaFeAsO. Phys. Rev. B, 80:085101, 2009.
[140] Alexei Grechnev, I. Di Marco, M. I. Katsnelson, A. I. Lichtenstein, John Wills, and Olle Eriks-
son. Theory of bulk and surface quasiparticle spectra for Fe, Co, and Ni. Phys. Rev. B,
76:035107, 2007.
[141] L. V. Pourovskii, B. Amadon, S. Biermann, and A. Georges. Self-consistency over the charge
density in dynamical mean-field theory: A linear muffin-tin implementation and some
physical implications. Phys. Rev. B, 76:235101, 2007.
[143] K Held, O K Andersen, M Feldbacher, A Yamasaki, and Y-F Yang. Bandstructure meets
many-body theory: the LDA+DMFT method. J. Phys.: Condens. Matter, 20:064202, 2008.
[144] Dm. Korotin, A. Kozhevnikov, S. Skornyakov, I. Leonov, N. Binggeli, V. Anisimov, and G. Tri-
marchi. Construction and solution of a Wannier-functions based Hamiltonian in the pseu-
dopotential plane-wave framework for strongly correlated materials. Eur. Phys. J. B, 65:91-
-98, 2008.
[146] D. Jacob, K. Haule, and G. Kotliar. Combining the hybrid functional method with dynamical
mean-field theory. Europhys. Lett., 84:57009, 2008.
[148] A. I. Poteryaev, A. I. Lichtenstein, and G. Kotliar. Nonlocal Coulomb Interactions and Metal-
Insulator Transition in Ti2 O3 : A Cluster LDA + DMFT Approach. Phys. Rev. Lett., 93:086401,
2004.
[149] Hunpyo Lee, Kateryna Foyevtsova, Johannes Ferber, Markus Aichhorn, Harald O. Jeschke,
and Roser Valentí. Dynamical cluster approximation within an augmented plane wave
framework: Spectral properties of SrVO3 . Phys. Rev. B, 85:165103, 2012.
[151] B. Amadon, F. Jollet, and M. Torrent. γ and β cerium: LDA + U calculations of ground-state
parameters. Phys. Rev. B, 77:155104, 2008.
[153] J. Kunes, V. I. Anisimov, A. V. Lukoyanov, and D. Vollhardt. Local correlations and hole
doping in NiO: A dynamical mean-field study. Phys. Rev. B, 75:165115, 2007.
[155] Peter E. Blöchl, O. Jepsen, and O. K. Andersen. Improved tetrahedron method for Brillouin-
zone integrations. Phys. Rev. B, 49:16223--16233, 1994.
[156] Ph. Lambin and J. P. Vigneron. Computation of crystal Green's functions in the complex-
energy plane with the use of the analytical tetrahedron method. Phys. Rev. B, 29:3430--
3437, 1984.
[157] Mark Jarrell and J.E. Gubernatis. Bayesian inference and the analytic continuation of
imaginary-time quantum Monte Carlo data. Phys. Rep., 269:133--195, 1996.
[158] K. S. D. Beach. Identifying the maximum entropy method as a special limit of stochastic
analytic continuation. 2004.
[159] Anders W. Sandvik. Stochastic method for analytic continuation of quantum Monte Carlo
data. Phys. Rev. B, 57:10287--10290, 1998.
[160] Olav F. Syljuåsen. Using the average spectrum method to extract dynamics from quantum
Monte Carlo simulations. Phys. Rev. B, 78:174429, 2008.
[162] Jan M Tomczak and Silke Biermann. Multi-orbital effects in optical properties of vanadium
sesquioxide. J. Phys.: Condens. Matter, 21:064209, 2009.
[163] R. Eguchi, T. Kiss, S. Tsuda, T. Shimojima, T. Mizokami, T. Yokoya, A. Chainani, S. Shin, I. H.
Inoue, T. Togashi, S. Watanabe, C. Q. Zhang, C. T. Chen, M. Arita, K. Shimada, H. Namatame,
and M. Taniguchi. Bulk- and Surface-Sensitive High-Resolution Photoemission Study of
Two Mott-Hubbard Systems: SrVO3 and CaVO3 . Phys. Rev. Lett., 96:076402, 2006.
[166] Nicola Marzari and David Vanderbilt. Maximally localized generalized Wannier functions
for composite energy bands. Phys. Rev. B, 56:12847--12865, 1997.
[167] Michele Casula, Alexey Rubtsov, and Silke Biermann. Dynamical screening effects in cor-
related materials: plasmon satellites and spectral weight transfers from a Green's function
ansatz to extended dynamical mean field theory. 2011.
[168] K. Byczuk, M. Kollar, K. Held, Y. F. Yang, I. A. Nekrasov, Th. Pruschke, and D. Vollhardt. Kinks
in the dispersion of strongly correlated electrons. Nat. Phys., 3:168--171, 2007.
[169] T. Yoshida, M. Hashimoto, T. Takizawa, A. Fujimori, M. Kubota, K. Ono, and H. Eisaki. Mass
renormalization in the bandwidth-controlled Mott-Hubbard systems SrVO3 and CaVO3
studied by angle-resolved photoemission spectroscopy. Phys. Rev. B, 82:085119, 2010.
[170] Toshiyuki Atou, Masashi Kawasaki, and Satoru Nakajima. Electronic Transition of Cobalt
Monoxide under High-Pressure. Jpn. J. Appl. Phys., 43:L1281--L1283, 2004.
[172] J-P Rueff, A Mattila, J Badro, G Vankó, and A Shukla. Electronic properties of transition-
metal oxides under high pressure revealed by x-ray emission spectroscopy. J. Phys.: Con-
dens. Matter, 17:S717, 2005.
[173] Ronald E. Cohen, I. I. Mazin, and Donald G. Isaak. Magnetic Collapse in Transition Metal
Oxides at High Pressure: Implications for the Earth. Science, 275:654--657, 1997.
[174] Wenxu Zhang, Klaus Koepernik, Manuel Richter, and Helmut Eschrig. Magnetic phase
transition in CoO under high pressure: A challenge for LSDA + U . Phys. Rev. B, 79:155123,
2009.
[175] Jan Kuneš, Alexey V. Lukoyanov, Vladimir I. Anisimov, Richard T. Scalettar, and Warren E.
Pickett. Collapse of magnetic moment drives the Mott transition in MnO. Nat Mater,
7:198--202, 2008.
[178] U.D. Wdowik and D. Legut. CoO under pressure from first principles. J. Phys. Chem. Sol.,
69:1698--1703, 2008.
[179] C.-Q. Jin, J.-S. Zhou, J. B. Goodenough, Q. Q. Liu, J. G. Zhao, L. X. Yang, Y. Yu, R. C. Yu,
T. Katsura, A. Shatskiy, and E. Ito. High-pressure synthesis of the cubic perovskite BaRuO3
and evolution of ferromagnetism in ARuO3 (A = Ca, Sr, Ba) ruthenates. Proc. Natl. Acad.
Sci., 105:7115--7119, 2008.
[180] C. Felser and R. J. Cava. Electronic structure of two crystallographic forms of BaRuO3 . Phys.
Rev. B, 61:10005--10009, 2000.
[181] T.W. Noh, Y.S. Lee, J.S. Lee, K.W. Kim, J. Yu, G. Cao, J.E. Crow, M.K. Lee, and C.B. Eom. BaRuO3 :
a new type of pseudogap systems. Physica C, 364 – 365:480 -- 483, 2001.
[182] J.-S. Zhou, K. Matsubayashi, Y. Uwatoko, C.-Q. Jin, J.-G. Cheng, J. B. Goodenough, Q. Q. Liu,
T. Katsura, A. Shatskiy, and E. Ito. Critical Behavior of the Ferromagnetic Perovskite BaRuO3 .
Phys. Rev. Lett., 101:077206, 2008.
[188] Hiroshi Ishida and Ansgar Liebsch. Fermi-liquid, non-Fermi-liquid, and Mott phases in iron
pnictides and cuprates. Phys. Rev. B, 81:054513, 2010.
发表文章目录
[1] Li Huang, Yilin Wang, Xi Dai, Pressure-Driven Orbital Selective Insulator to Metal Transition and Spin
State Crossover in Cubic CoO, submitted to Phys. Rev. B, arXiv:1112.2790
[2] Li Huang, Liang Du, Xi Dai, Complete phase diagram for three-band Hubbard model with orbital degeneracy
lifted by crystal field splitting, submitted to Phys. Rev. B, arXiv:1203.5159
[3] Li Huang, Xi Dai, New implementation of hybridization expansion quantum impurity solver based on
Newton-Leja interpolation polynomial, submitted to Phys. Rev. E, arXiv:1205.1708
[4] Li Huang, Liang Du, Kernel polynomial representation of imaginary-time Green’s functions, submitted
to Phys. Rev. E, arXiv:1205.2791
致谢
首先,我衷心地感谢我的博士研究生导师戴希研究员。在我攻读博士学位的四年期间,戴老师给我
以直接的指导,带领我跨过理论物理研究的门槛,进入到实际的科研工作中。戴老师在强关联物理、计
算物理等领域都有十分深厚的造诣,物理直觉非常优秀,在研究工作中给了我很多指导与启发。戴老师
勤奋刻苦,对科研工作永远充满热情,是我学习的榜样。戴老师治学严谨,做研究时一丝不苟,精益求
精,对学生严格要求,使我获益良多。如果说我在攻读博士学位期间,但凡有一点点成绩,都应该首先
归功于戴老师的言传身教。
其次,我还想感谢组里面的其他几位老师: 方忠研究员、姚裕贵研究员、徐立方研究员、杨义峰研究
员、翁红明研究员。他们都是和蔼可亲的好老师,在不同的场合都曾给予我许多指导与帮助,贯穿我的
博士生涯。还需要感谢的是四川材料与工艺研究所的有关领导与同事,他们为我能有机会攻读博士学位
破除障碍,创造条件,提供了巨大的支持。感谢在物理所期间朝夕相处的同学与朋友,我从他们身上所
学甚多,如果没有他们的帮助,我的工作基本上不可能完成。
最后,感谢我的父母在三十年前把我带到这个世界上,父母的养育之恩永世难忘。感谢我的岳父母在
我攻读博士学位期间对我的宽容和理解,在生活上对我的关怀与照顾。感谢我的妻子赵欣一直以来对我
毫无保留、无怨无悔的付出与爱Œ。