Redian新闻
>
【经典回顾】动力学平均场7:超越局域近似—费曼图展开(1)

【经典回顾】动力学平均场7:超越局域近似—费曼图展开(1)

科学

海归学者发起的公益学术平台

分享信息,整合资源

交流学术,偶尔风月

编者按:应读者的要求,知社重发动力学平均场三十年发展史的系列文章,敬请关注!


非局域扩展是动力学平均场方法论上继杂质求解器和DFT+DMFT之后的第三个研究热点,是目前很多课题组在不断向前推进的一个研究方向。动力学平均场的三个研究阶段,在过去的三十年里,恰好反映了人们对于量子多体理论理解从浅入深的渐进过程,折射出人们在可行性和精确性间不断取舍和平衡的复杂心态。我们渴望量子多体问题在一般情况下被严格求解,然而现实逼迫我们不得不尝试各种近似方案。在与现实不断的拉扯和较量后,我们越发的意识到能做的事情非常有限,这是量子多体计算的痛点。也是目前没有一种方法可以统一量子多体理论的原因。积极的看,它也是一块待开垦的肥沃土地,正等待着各位青年才俊加入这个领域的开发。笔者相信,在接下来的很多年里,各种新的量子多体方法和数值手段会不断涌现,慢慢带领我们走向量子多体问题更完美的答案。


在上一个系列中我们介绍了一种动力学平均场的非局域扩展思路—团簇展开。它是单杂质动力学平均场的自然延伸,从思路上讲,这是一种简单的扩展。尽管从计算的角度看,计算团簇的动力学平均场方程在某些情况下远比计算单杂质的动力学平均场方程复杂,但是概念上并没有什么新的发现。各种不同扩展方法间的唯一区别,只是如何将一个有限大小的团簇内嵌在无穷大的格子体系中。用更简单的语言讲,就是如何处理团簇的边界条件及如何做动力学平均场的部分动量求和。


团簇动力学平均场方法的好处在于,只要团簇方程可以严格求解,团簇内部的所有电子关联都是被完整考虑的,而团簇外的关联是平均场近似。因为计算量大小的限制,我们通常只能考虑有限大小的团簇,例如16, 32, 48个格点等。目前已知能做的最大团簇是在100-150之间,是E. Gull发展了sub-matrix技术后实现的[1]。推荐对如何优化大矩阵乘法计算效率的朋友了解一下该方法。它并非是通过降低操作数目提高计算效率,而是根据目前计算机的x86架构,充分考虑了计算机寄存器、缓存和内存之间效率的差别,而专门设计的一种快速更新算法。这个方法的提出,得益于超算和算法优化这样的软件工程,是跨学科合作的典范。在计算物理高度发达的今天,软硬相结合,在某种意义上也为计算科学向前发展提供了一个指导思路,有很强的借鉴意义。


团簇扩展方法,因为实际能计算的团簇大小有限,通常会对诸如关联长度之类的物理量估计错误。对于一个有限大小的团簇,如果宏观体系仅仅只具有某种有限长度的关联(例如短程磁有序),但是这个有限大小的关联长度却超出了团簇尺度,那么对于这个团簇而言,它看到就是长程有序。因此,随着温度的下降,当某种关联在不断形成时,团簇动力学平均场会在一个相对较高的温度就认为体系已经具有长程序了,而实际情况仅仅只是关联长度超出了团簇的大小。这就导致,我们会错误估计很多和长程有序相关的物理量。


基于这个原因,我们希望可以找到团簇动力学平均场的某种替代方法,最好它可以同时考虑长程和短程的关联。我们知道,如果已经有了动力学的信息,同时又严格的考虑了长程和短程的关联,那这个量子问题就严格被求解了,这显然是做不到的。这就是面临取舍的时刻。我们只能在严格和关联长度之间二选一。团簇动力学平均场方法选择了前者,今天我们要介绍选择第二个选项的结果。这就是动力学平均场非局域扩展之费曼图展开。


 

没错,又是那个费曼!做凝聚态量子多体理论的人,是不能绕开这位前辈的。费曼对于物理的一大贡献就是微扰展开理论。其基本思想是把一个复杂问题分解成两个部分,其中一个部分很大程度上能代表整体的性质,并且可以被严格求解(或较好的近似),另外一部分就是贡献相对比较小的部分。微扰展开的意思是以第一部分为零阶极限,将第二部分做泰勒展开。展开的项有无穷多阶,每一阶都是对零阶结果的修正。计算的展开项越多,修正就越多,微扰展开计算的结果就越接近严格结果。在展开的过程中,可以通过所谓的自能函数、戴森方程和自洽条件,仅用有限阶的计算表达至无穷阶的部分求和(暴躁的老师又要敲黑板了…)。


我们这里打算分两次介绍两种有代表性的动力学平均场的费曼图展开方法,dual-fermion approach (DF) [2] 和dynamical vertex approximation (DΓA) [3]。它们中的数学都看起来有点“优美”,但其实并没有那么复杂,在朦胧的面纱后面都是我们熟悉的老朋友。




Dual-fermion approach



我们先从DF开始。2009年A. N. Rubtsov (没错,他就是第三个系列中介绍过的连续时间蒙特卡洛方法的提出者之一),观察到一个事实。他发现,相对于原始的量子多体作用量,如果相互作用是局域的,动力学平均场仅仅只是将动能部分替换成只与频率有关的耦合函数 (hybridization function)。因此,我们可以很容易用动力学平均场作用量Simp重新表达原始问题的作用量S


如果我们认为动力学平均场已经很好的描述了目标体系,那么Simp相差不大,我们有理由相信上图中两者之差相对于Simp而言是一个小量,可以对其做微扰论展开。我们注意到这个差具有c算符的高斯形式,我们可以利用熟知的 Hubbard-Stratonovich变换,将其转变成另外一种高斯积分的形式,同时引入一个辅助变量。这个变换在数学上是严格的,我们并没有做任何近似,只是将上式改写成另外一种形式。
 

这样变换后,引入新的Grassmann变量f使得整体作用量变成了既与c又与f有关,问题看起来变复杂了。不用担心,f变量其实也是高斯形式,如果我们考虑把c变量从上述路径积分中积掉,那么剩下的就是一个只与f变量有关的作用量了, 如公式(6)所示(别问我为什么不把f积分掉…)。如果我们观察公式(5)会发现,在将c变量积分掉的过程中,我们需要将c和f的耦合项逐阶展开,其零阶结果对应的是由S_imp定义的动力学平均场解。这里需要强调一点,和我们在凝聚态量子场论中学到的微扰展开略有不同,这里的S_imp并不是一个高斯形式的作用量,其包含了相互作用项。一个直接的后果就是,在展开c和f耦合项的过程中,我们无法再使用Wick定理了。S_imp中的相互作用项使得展开中除了简单的两粒子关联函数外,也存在高阶的顶角函数,例如下图中的方框(四顶角函数)和六边形(六顶角函数)等。这些超越单粒子关联函数的顶角函数在公式(6)作为f单粒子的相互作用项存在。熟悉凝聚态量子场论的朋友对此并不陌生,上述过程只是将作用量改写成了另外一个形式而已。公式(6)一般情况下是一个近似的结果,因为我们无法将所有的顶角函数全都考虑进来。

公式(3)和(5)是两个完全等价的作用量,利用它可以定义我们要计算的格点格林函数。我们关心的是由c算符定义的格林函数,公式(5)存在的f算符会定义另外一个格林函数。相对于c变量而言,f是额外引进的一个费米子变量,因此把它称为dual fermion。Lattice fermion(c)和dual fermion(f)的格林函数可以在公式(5)中通过添加源项,然后对其做变分得到,如公式(7)所示,这里的Gdual 就是dual fermion的格林函数。


看到公式(7),我们就能理解为什么要引入dual fermion这个额外的变量了,它使得计算lattice fermion格林函数的问题,转换成了计算dual fermion的格林函数。而Gdual 完全是由公式(6)中的f变量的作用量定义的,通过它计算dual fermion格林函数是一个概念上简单,但技术上复杂的操作。不管怎样,这是可行的。Dual fermion的部分低阶费曼图显示在在上图公式(6)和(7)之间。

这里我们用了些公式,实属不得已而为之。在《动力学平均场-三十而已》这个系列科普中,笔者做到尽量不用公式,用最简单的语言从图像的角度去解释物理。随着问题复杂度的增加,如果我们在这样后期的文章中还没有出现公式,似乎也不合理。这里主要是数学上看起来复杂,其实物理本质仍然非常简单。公式(7)中定义的lattice fermion的格林函数同时依赖于动量和频率。相比于DMFT的局域近似,这里自能对动量的依赖完全来至于Gdual 中对动量的依赖。而这个动量依赖,是来至于多个局域顶角函数和非局域格林函数之间的耦合。如果我们要对上面看起来复杂的数学过程,做一个概念上的总结,DF方法的核心就是利用高阶的DMFT局域顶角函数去构建低阶(单粒子格林函数)顶角函数的非局域修正。
   

我们再从图像的角度,进一步聊聊dual-fermion方法到底做了什么事情,为什么它可以对动力学平均场做非局域修正。上图抽象化的表示了我们基于动力学平均场处理问题的三个阶段。Lattice model是我们想要解决的终极问题,黄色的小球代表格点,具有自旋的电子可以从一个小球位跑到另外一个小球位,当两个自旋相反的电子占据在同一个格点位置时,它们之间感受到一个强的库仑排斥力。多体问题的本质使得该问题很难求解,因此我们通过动力学平均场方法做近似。动力学平均场将格点之间的耦合割断,使得每一个小球都变得与其他小球孤立。但是动力学平均场并不是简单的割断格点间的耦合,它用包围在孤立格点周围的动态平均场来近似格点之间的耦合。经验验证,大部分情况下,这都是一个非常不错的近似。如果把Lattice model和single-impurity Anderson model之间的差异图形化的表示出来,可以用上图中青色的、连接两个小球的直线来表示。相比于动力学平均场的解而言,这是一个小量,因此可以对它做微扰展开。DF方法利用Hubbard-Stratonovich变换引入了新的变量f,进而利用f变量的格林函数与c变量格林函数之间的关系,将问题转化为求解f电子格林函数。

明白了其中的道理,我们就释然了,核心只是对非局域项做微扰展开,而具体如何展开,并没有太大的关系。因此DF中的数学变换不是必要的,我们完全可以直接做展开。笔者基于这个想法,在2015年尝试着直接对超越动力学平均场中的非局域项直接做展开,无需引入额外的变量就可以完全解释DF方法, 同时其物理也更清晰直观,我把它命名为动力学平均场的非局域展开方法(non-local expansion scheme) [4]。同时我们也将该方法一般化,通过选取不同的展开图形,甚至可以构造不同的量子多体方法。这里笔者并不打算过多宣传自己的工作,感兴趣的朋友可以自己查看文献 [4]。作为一般性的介绍,这里仅强调比较有趣的、不同于常规费曼图展开方法的地方。
 非局域展开
这里的方框代表四顶角函数,波浪线代表的是公式(3)中的非局域项,费米子圈代表局域动力学平均场局域格林函数

首先在非局域展开中,展开项是超越动力学平均场的所有非局域项,这和一般的微扰展开略有不同。通常微扰展开的要么是相互作用项,要么是动能项。这里展开的是所有非局域项,是动能和动力学耦合函数的差。第二,微扰展开的零阶极限是动力学平均场解,是一个有相互作用的问题,因此其作用量并非是高斯形式。我们熟悉的Wick定理不再适用。展开过程中会出现动力学平均场的单粒子格林函数,及其所有多粒子格林函数,远比常规我们所做的微扰展开复杂得多。我们通常是对顶角函数做截断,仅考虑最简单的四顶角函数,利用其与动力学平均场局域格林函数及非局域项计算对动力学平均场局域自能的动量修正。考虑更高阶的顶角函数,会进一步促进修正效果。第三,如何选择费曼图形求和具有很大的自由度,对应于不同的部分求和方法,我们可以构造出概念上类似于RPA,FLEX等不同的量子多体方法,但是需要强调的是,这里的费曼图性是包含多粒子顶角函数的,只有他们之间的互连可以类比于RPA和FLEX。

不过多的纠结于公式的复杂性,我们这里来看看这么做的回报有多大。下图给出的利用non-local expansion 方法在选取了对应于dual fermion框架的费曼图后得到的二维Hubbard模型自能在动量空间中的色散。
 


non-local expansion方法中对应于DF方法的费曼图。第二、三行对应于不同于DF的另外一种展开图形的选择。

分别利用DMFT,DF,LDFA和DCA计算得到的自能函数在动量空间中的色散关系。

为了方便对比,我们选取3种不同的方法,分别是DMFT,DF,LDFA(梯形图求和DF方法)和100个格点的DCA团簇方法。因为DCA在团簇内部是严格的,我们选取该方法为基准。首先,DMFT因为局域近似,其自能在动量空间中是完全没有色散的,其实部和虚部都是一条直线。而DCA团簇计算给出的自能实部和虚部都存在明显的随动量依赖的色散。这清晰的表明,动力学平均场在二维情况下并非好的近似。这里要强调的是,因为是有限大小的团簇,DCA计算得到的自能是离散的点。同时,100个格点的团簇DCA计算是非常庞大耗时的,要想得到图中一样漂亮的色散关系,需要利用E. Gull发展的sub-matrix技巧,并在超算上调用上千个CPU连续跑差不多一个月的计算。DF和LDFA的计算结果是连续的曲线,是因为该方法不是建立在有限大小团簇上的,它可以在任意大小的动量上计算自能的修正,这是它的优点。缺点在于,DF和non-local expansion方法在长程和短程关联上都是近似的。从与DCA结果的对比中可以看到,尽管存在近似,DF或non-local expansion方法得到的结果却与DCA高度符合。这从某种意义上表明,对于局域自能的动量修正,主要来至于四顶角函数,DCA原则上计算了所有的顶角修正,至少在这个例子中,并不是完全必要的。需要强调的是,DF和non-local expansion的计算远比大规模DCA计算经济划算得多,上图中的计算在普通个人电脑上一个下午就可以跑完,对比强烈。

还记得上一篇文章的朋友们,应该会感受到团簇动力学平均场和今天聊的费曼图展开方法,在概念和逻辑上的显著不同。动力学平均场方法给人最初的印象是一种数值方法,需要掌握或者不断发展各种先进的计算手段。实际上,动力学平均场背后的理论,其解析性和图像清晰度上都是非常强的。甚至比很多我们熟悉的量子多体方法,更具有挑战性和吸引力。这个方向,非常适合既喜欢解析推导、又喜欢编程计算的年轻朋友。这个领域也需要你们的加入和推动。动力学平均场的费曼图展开理论使得我们开始更直观的看到高阶顶角函数对于低阶顶角函数的作用,让我们跳离开舒适圈,从单粒子格林函数迈向了更复杂的多粒子格林函数和高阶的Dyson方程。 


(未完待续)


参考文献



[1]Gull, Emanuel and Staar, Peter and Fuchs, Sebastian and Nukala, Phani and Summers, Michael S. and Pruschke, Thomas and Schulthess, Thomas C. and Maier, Thomas, Phys. Rev. B 83, 075122 (2011)
[2]A.N. Rubtsov, M.I. Katsnelson, A.I. Lichtenstein, A. Georges, Phys.Rev. B 79 045133 (2009)
[3]A. Toschi, A.A. Katanin, and K. Held, Phys. Rev. B 75, 045118 (2007)
[4]Gang Li, Phys. Rev. B 91, 165134 (2015)


扩展阅读

 

【经典回顾】动力学平均场6:超越局域近似—团簇展开

【经典回顾】动力学平均场5:从头计算强关联电子材料

【经典回顾】动力学平均场: 4.丰富的金属绝缘体转变

【经典回顾】动力学平均场: 3. 百花齐放的计算方法

【经典回顾】动力学平均场: 2. 动力学自洽场理论

【经典回顾】动力学平均场: 1. 复杂的量子多体系统和简单的无穷维极限

本文系网易新闻·网易号“各有态度”特色内容

媒体转载联系授权请看下方

微信扫码关注该文公众号作者

戳这里提交新闻线索和高质量文章给我们。
相关阅读
坚果VS极米撕逼大战【全流程回顾】,谁才是最后赢家?中国经济发展新动能(1):新能源汽车跑出“加速度”从美国转学瑞士,华人妈妈的观察与思考(1)七十三 拆祠堂750名女王大学学生无法按时获得学位?大学平均只花两分钟阅读个人陈述!鲍里斯“派对门”调查报告公布;英国多地海滩近日禁止下海回国,出租司机吐槽,老百姓喜欢的饭菜(多图)【知社精选】动力学平均场:三十而已逐利的商人和国家利益人类历史上最伟大的逃离 - 建国先贤的故事(1)大模型之争(1):“参数为王”?5047 血壮山河之武汉会战 鏖战幕府山 16你这样旅行好辛苦,嗯,主要是为了刺激|2023日本游记(1)【经典回顾】动力学平均场: 1. 复杂的量子多体系统和简单的无穷维极限武韦之乱(1)她知道,她从一开始就什么都知道【路演回顾】36氪创投氪堂2023WAVES新浪潮大会路演日活动那些华人无法涉足的行业(1)敏楠:懒人懒游台湾(1)七十四 声讨斯坦福前招生主任谈招生理念|经典回顾盛唐气象的最后挽歌(1)灭霸的人口理论小幽默,武曌的祸国殃民成绩单(万字篇)【经典回顾】动力学平均场最终章:超越局域近似—费曼图展开(2)【活动回顾】思享会|老年产健康产业创新和投资趋势【经典回顾】动力学平均场6:超越局域近似—团簇展开【经典回顾】动力学平均场: 2. 动力学自洽场理论【经典回顾】动力学平均场: 4.丰富的金属绝缘体转变【活动回顾】没想到纽约的手艺人这么多啊Visual Instruction Tuning: 用LLaVA近似多模态GPT-4高纯度氟化氢突围记 | 半导体材料故事(1)2023年中考南京升学数据合计(1)什么是民主?#伯恩斯大使的民主对话#第一集(1)武曌骑唐(1)大唐政事堂的宰相职位演变【活动回顾】飞盘的人气明星竟然是TA?【经典回顾】动力学平均场: 3. 百花齐放的计算方法五一游记(1):出门这么难,到底还是出来了她的故事(1):“我觉得自己挺棒的。”
logo
联系我们隐私协议©2024 redian.news
Redian新闻
Redian.news刊载任何文章,不代表同意其说法或描述,仅为提供更多信息,也不构成任何建议。文章信息的合法性及真实性由其作者负责,与Redian.news及其运营公司无关。欢迎投稿,如发现稿件侵权,或作者不愿在本网发表文章,请版权拥有者通知本网处理。