You are on page 1of 91

中圈斜孽敬 求犬玺

University ofScience and Technology ofChina

1● p谢硎 ●_i 。k气


y∥圳 止¨ t- 弋._l 玲寰

论文题目 二维量子多体系统的

张量网络态算珐

作者姓名 刘文渊

学科专业 物理学

何力新教授
导师姓名
二。一七年五月
完成时间
万方数据
中圈斜孽技求犬誊

博士学位论文

二维量子多休I T系统的
‘一卜=£J-,r ,’J、叫U一’,
张量网络态算法

作者姓名 刘文渊
学科专业 物理学
导师姓名 何力新教授
完成时间 二。一七年五月

万方数据
University of Science and Technology of China

A d issertation for doctor’S deg ree

Tensor Network States Algorithm


“Tw0.dimen:"real
r W—
1o fltension
nauQ uantum
Many・--body Systems

Author: Wenyuan Liu

Speciality:
一 一 Physics

Supervisor: Prof.Lixin He

Finished Time: May,2017

万方数据
中国科学技术大学学位论文原创性声明

本人声明所呈交的学位论文,是本人在导师指导下进行研究工作所取得的
成果。除己特别加以标注和致谢的地方外,论文中不包含任何他人已经发表或撰
写过的研究成果。与我一同工作的同志对本研究所做的贡献均己在论文中作了
明确的说明。

储獬:柙 辩醐:哗Ⅱ
中国科学技术大学学位论文授权使用声明

作为申请学位的条件之一,学位论文著作权拥有者授权中国科学技术大学
拥有学位论文的部分使用权,即:学校有权按有关规定向国家有关部门或机构送
交论文的复印件和电子版,允许论文被查阅和借阅,可以将学位论文编入《中国
学位论文全文数据库》等有关数据库进行检索,可以采用影印、缩印或扫描等复
制手段保存、汇编学位论文。本人提交的电子文档的内容和纸质论文的内容相
一致。
保密的学位论文在解密后也遵守此规定。

翻公开口保密( 年)

作者签名: 导师签名: 镒
签字日期: 签字日期:2 Q!]:鱼二.厂

万方数据
摘要

摘要

发展求解强关联系统的高效的数值方法是现代物理最为核心的任务之一。在
强关联的相互作用体系中,由于传统微扰论不再适用,研究强关联系统的物理性
质主要依靠数值求解办法,包括严格对角化方法,量子蒙特卡洛方法和密度矩阵
重整化群方法。这些数值方法己被广泛应用于研究强关联系统,并且取得了巨大
的成功。然而,上述方法都有其局限性:严格对角化方法会遇到所谓的“指数墙”
问题;量子蒙特卡洛方法在处理费米子问题和阻挫磁性问题时会遇到符号问题;
而密度矩阵重整化方法主要用于处理一维或准一维系统,难以处理更高维系统。
因此,发展新的高效的数值方法仍然是解决强关联问题的当务之急。

近些年来,人们开始以量子信息理论的视角看待问题,通过对量子纠缠的深

入理解,一种基于量子纠缠的张量网络态(TNS)理论,包括矩阵乘积态(MPS)理
论和投影纠缠对态(PEPS)理论逐渐建立起来。MPS和PEPS分别描述一维和二
维系统时都满足纠缠熵的面积定律和尺寸一致性,已经被证明是研究强关联系
统的强有力的工具。基于MPS表示,人们建立起了描述一维量子多体系统的完
善的理论。对于二维系统,基于PEPS的相关算法还处于非常初级的阶段。由于
PEPS本身的复杂性和计算能力的限制,其在实际应用中受到了很大限制。我们
希望能够发展一种高效地算法,使得PEPS可以能够真正解决一些长期以来难以
求解的问题。

基于二维量子多体系统基态的张量网络态表示,本论文讲述了我们发展的
求解二维量子多体系统基态的方法,主要内容包括两部分:

第一部分着重讲述了如何用副本交换的分子动力学方法来解决用TNS求解
多体问题时遇到的局域极小值问题。用TNS做为变分波函数求解多体系统的基
态的很关键一步是如何有效优化这个变分波函数,使得其尽量避免陷入局域极
小值。我们发展了一种可以大规模并行的高效地副本交换分子动力学方法,用来
解决这个问题。通过将TNS的元素看做广义坐标,我们把这个优化问题映射到
一个经典力学问题。在优化时,我们首先设定一系列不同的温度,然后从随机态
出发,根据这个经典系统的势能函数,采用分子动力学的方法对系统进行演化,
最终会得到不同温度下的解,零温下的解就是这个优化问题的解。为了避免在分
子动力学的演化过程中陷入局域极小值,可以采用副本交换的方法将不同温度
下的构型进行充分交换来帮助其跳出局域极小值。

第二部分着重讲述了如何用PEPS的变分波函数来有效地求解二维量子自
旋系统。PEPS可以很好地描述二维系统的基态,但是由于其计算复杂度很高,
在用它来模拟二维体系时受到很大限制。我们提出了用梯度优化结合蒙特卡洛

采样的方法来优化PEPS变分波函数。首先我们采用一种虚实演化的SU(simple
update)方法来得到一个粗糙的PEPS波函数做为出发点,然后通过梯度优化来

万方数据
摘要

进一步精确地优化这个波函数来得到基态。在计算梯度和能量时我们采用了蒙
特卡洛采样的方法。与人们常用的方法相比,这种方法不仅大大地降低了计算复
杂度,而且采用的梯度优化算法可以更加精确地优化变分波函数,使得用PEPS
解决一些长期以来难以求解的多体系统成为可能。

关键词: 强关联量子多体问题张量网络态副本交换分子动力学方法PEPS
梯度优化蒙特卡洛采样

II

万方数据
ABSTRACT

ABSTRACT

Developing efficient algorithms to simulate strongly correlated quantum many—

body systems is in the center of the modem condensed matter physics.In the context

of strongly interacting systems,where the conventional perturbation theory fails,re-

vealing their physical nature is mainly dependent on the numerical simulation methods,

such as,exact diagonalization,quantum Monte Carlo(QMC)method and density ma-

trix renormalization group(DMRG).These numerical methods have been widely used

in studying strongly correlated quantum systems and have achieved great success.How—

ever,developing new efficient algorithms is still urgent,because of the limitations of

the previous methods:e.g.,ED encounters the SO・called“Exponential Wall”;QMC suf-

fers from the notorious sign problem for fermionic and frustrated systems;and DMRG
is limited to 1D or quasi一1D systems and does not work well for higher dimension sys—

tems.

Recently,inspired by the insight of quantum entanglement in the perspective of

quantum information theory,the algorithms based on the tensor network states(TNS),


particularly,matrix product states(MPS)and projected entangled pair states(PEPS),
which is a natural extension of MPS to higher dimensions that satisfies both area law

and size consistency,have been proved to be powerful simulation methods to exploit

the strongly correlated systems.Based on MPS representation people build a complete

theory to describe 1 D systems.But for the 2D systems,there are still some difficulties

hindering the power of the simulation due to the complexity of PEPS and our limited

computing capability.We hope to develop an efficient method to optimize PEPS wave

functions aiming to make PEPS applicable for some complicated sysmtes.

Based on TNS representation for 2D systmes,the thesis describe some methods

developed by US to optimize the ground states of quantum many—body systems,and it

is composed of two main parts.

The first part describes how to use replica exchang molecular dynamics(REMD)
method to escape the local minimum when optimizing ThIS wave funtions.When using

ThIS as variational wave functions to obtain the ground states,a very key step is how

to optimize ThIS efficiently to avoid being trapped into local minimum.We developed

the REMD method for the optimization TNS.Treating tensor elements as generalized

coordinates,we can map the optimization problem with respect to energy function to a

classical mechanic system.Before the optimization starts,we set a series of different

temperatures.According to the energy function which is the potential energy of the

classical system,we start from a random state and simulate the systems by molecular

TTT

万方数据
ABSTRACT

dynamics(MD)method.At last we will get a series of sulutions at different temper—

atures and the zero temperuature sulution is what we need.During the MD procees,

replica exchage method is adopted to heip the system exscape from the local minimum.

In the second part,we introduce all efficent optimization method of projected en-

tangled pair states(PEPS)to solve 2D systems.PEPS is a good representation of the

ground state of 2D systems.But because of compuational complexity,the practical

application of PEPS is limited to small bond dimension D of PEPS,which may not

correctly capture the physics of some complicted systems.We demonstrate a


gradient

optimization method combing Monte Carlo sampling technique can be used optimize

PEPS wave function efficiently.We first obtain a


rough ground state by simple update

imaginary time evolution,then use energy gradients with respect to tensor elements

to optimizate the rough states further to get an accurate groud state.When calculating

energies and gradients Monte Carlo sampling technique is adopted.Compared with pre—

vious methods,our method has a


very low computational scaling,and is more accurate

to optimize PEPS,which has great potential to solve some long standing problems

Keywords:Strongly correlated systems,Quantum many—body problems,TNS,REMD,


PEPS,Gradient optimization,Monte Carlo sampling

IV

万方数据
目 录

目 录

摘要…………………………………………………・・ I

ABSTRACT………………………………………………III
目 录…………………………………………………・・V
表格索引…………………………………………………VII
插图索引……………………………….………………..IX

算法索引…………………………………………………XIIt
主要符号对照表………………………………….……….XV

第一章绪论…………………………………………….1
第二章一维系统的MPS理论……………………………..3
2.1 AKLT模型……………………………..……………. 3

2.2矩阵分解…..…...….………..….…....…….…….. 5

2.2.1奇异值分解(SVD)..............-・・・・・・・・…・・・・・・・・・--・・-・・- 5

2.2.2量子态的施密特分解......................................... 6

2.2.3 QR(LQ)分解・・・・・…・・・・・・・・・・・・・-・・・・・・・・・・・・・・・・・・・・・・・・ 7

2.3 MPS理论…...….….......….………….....…...…..8
2.3.1一维量子态的MPS表示................................…...8
2.3.2 MPS表示与纠缠熵的面积定律......................一...…... 10

2.4可观测量的期望值的计算………一………..……………・11
2.4。1似I妒)的计算・・・・・・・・・・・・・・・・・・・・--・・・・・・・・・・…・・・・・・・・・---12
2.4.2(舻I宜I妒)的计算...............…........-......・・・・・・・・・・・・14
2.4.3可观测量的MPO形式........................................15

2.5变分法求基态…………………………………………16
2.6 MPS的时间演化算法.….………..……….…..………..19
2.6.1 tMPS的时间演化算法....................….................20
2.6.2 MPS的低维近似............................................20

2.7 TEBD时间演化算法…………………………………….24
2.7.1 MPS的F.A正则形式........................................24

2.7.2 TEBD算法................................................26

2.8小结....…..…...…...……....…..….…..…....….28

万方数据
目 录

第三章二维系统的PEPS理论…………………………….29
3.1二维系统的PEPS表示.…..…...…..................….....29
3.2可观测量的期望值的计算………………………………..31
3.2.1张量网络的严格缩并.….........….........................31
3.2.2双层张量网络的近似缩并..............…...........。........32
3.3求基态的变分方法……..………………………………33
3.4求基态的虚时演化方法………….………………………35
3.4.1虚时演化的OU方法.........................................35

3.4.2虚时演化的FU方法.................................….....37
3.4.3基于虚时演化的SU方法..............................….一..38
3.5小结.....…........………...….….......…...……..41

第四章张量网络态的副本交换分子动力学优化方法………….43
4.1张量网络在实际应用中的困难……………………..….….43
4.2张量网络态的优化问题与分子动力学方法……………………44
4-3副本交换方法…………….…….…………………….46
4.4计算张量网络态物理量的蒙特卡洛采样算法………………….46
4.5分子动力学方法的模拟结果…….…..……………………47
4.5.1一维哈伯德模型............................................47

4.5.2二维以.也模型.....................................…..-..48
4.6小结.....…........….….….……...…....…......-..51

第五章PEPS的梯度优化方法……………………………..53
5.1二维系统PEPS算法的难点………….…........………….53
5.2蒙特卡洛采样方法用于优化PEPS………………………….54
5.3 GO优化算法的计算细节……….…………………….….57
5.4 GO方法的结果.......….….….…..….…...…..........58
5.4.1能量关于截断维度D。的收敛..................................59

5.4.2有限尺寸体系时海森堡模型的能量..............................59

5.4.3热力学极限下海森堡模型的能量和磁矩...........................60

5.4.4以.也模型的能量...….....................................6l
5.5不同PEPS优化算法的比较……………………………….61
5.6小结…..…..…..…..….……..…..….…….….....63
VT

万方数据
目 录

第六章结论与展望………………………………………65
参考文献…………………………………………………67
致谢…………………………………………………・・71

在读期间发表的学术论文与取得的研究成果………………….73

VII

万方数据
表格索弓

表格索引

4.1 一维周期性L=14半满哈伯德模型在不同参数U下,严格对角
化的能量与不同维度的MPS得到的能量比较。 ...........48

5.1 由PEPS计算得到的尺寸L=4,6,8,10,12,14,16海森堡模型
的基态能量与可用的严格结果的比较。采用GO梯度优化方法来
优化PEPS波函数,其中PEPS的维度为D=8,缩并时的截断维度
D。=16。L=4的严格结果是由严格对角化哈密顿量得到的。L=6的
严格结果是采用DMRG方法保留4096个态得到的,来自于文献
[1】。其他的严格结果来是采用量子蒙特卡洛方法得到的[H],来
自于文献【5】。 ..............................60

5.2有限尺寸正方格子上不同PEPS优化算法关于计算复杂度(scal.
ing)、最大PEPS维度(max D)、最大尺寸(max L)和相对误差
(relative error)的比较。“OU”方法是指Verstraete等人提出的虚时
演化方法【6】6,相应的“max D”和“max L”来自于文献【7】,但是
相对误差是根据文献[5】提供的数据,对10×10 D=4的结果估计
而得到的。FU结果是来自于文献[5】。SU结果是根据我们自己的
计算而得到的。 .............................62

5.3 由SU虚时演化方法和GO梯度优化方法得到的正方格子的以.如
海森堡模型的结果,以及其与严格结果(exact)的比较。SU结果
和GO结果的误差棒分别是10_5和10~。对于4x4和4x6系统,
严格结果(exact)是由严格对角化结果得到,而对于10×10,严格
结果(exact)是指量子蒙特卡洛的结果[8】。..............63

IX

万方数据
插图索弓

插图索引

2.1 (a)每一个自旋为1的格点的希尔伯特空间由两个虚拟的自旋1/2
的粒子张开的空间构成,相邻两格点上的自旋1/2粒子构成自旋
单态。(b)将两个自旋l/2的粒子张开的四维空间投影到原来自旋
为1的粒子张开的3维空间中。.................... 4

2.2(a)三指标张量A盏。Ⅲ的图表示;(b)对两个张量的ai+l指标进行
求和;(c)周期性边界条件MPS的图表示。 ............. 5

2.3 按红箭头标注的序号求和指标。先求和掉s1指标,接着求和掉a1
指标,再同时求和掉82和b1指标,依次进行下去。 ........12

2.4(a)将一般的MPS态化为准混合正则形式。(b)准混合正则形式中,
按照从左到右的顺序,计算(砂I矽)从第1个格点到第i(z≤k)个
格点所有的指标求和掉,得到单位矩阵。(c)准混合正则形式中,
按照从右到左的顺序,计算(妒I妒)从第L个格点到第i(i≥七+1)
个格点所有的指标求和掉,得到单位矩阵。 .............14

2.5利用准混合正则形式(或者QR和LQ分解1计算可观测量.....15

2.6(a)算符的MPO表示。(b)用MPO计算可观测量的平均值。....16

2.7(a)用迭代法优化MPS波函数,求解广义本征值方程的图表示。圆
圈内的张量是未知量。(b)将波函数正则化后,原来的广义本征值
方程化为标准的本征值方程。 .....................18

2.8 tMPS时间演化算法。通过使用Trotter展开,将演化算符e_i埘分
为两部分e--wHodd和e-i1'He…,并将其写成MPO形式,连续将其
作用到态|砂@=0))上。 ........................21

2.9 (a)彬I妒)的最优近似通过用迭代法求解线性方程组来得到。(b)线
性方程组(2.74)的图表示。将近似的MPS l妒)利用正则化,使得
线性方程组f2.73)化为更简单的形式。 ................23

2.10 r.A形式的MPS。在每个格点上尼有d个矩阵Fst,并且在第尼和
尼+1个格点之间有一个对角阵A[k]..................24

2.11 MPS的r.A形式和其左正则表示、右正则表示以及混合正则表示
的关系。(a)将r.人形式变为左正则表示。(b)将I、.A形式变为右
正则表示。(c)将r.人形式变为混合正则表示。 ...........26

XT

万方数据
插图索弓

2.12 TEBD算法。将一个两体演化算符作用到r一人形式的MPS上:
(a)演化算符只作用到尼和尼+1相连的矩阵上;(b)演化算符作

用后得到一个矩阵西。¨%。Ⅲ。Ⅲ;(C)对矩阵西。¨‰。Ⅲ。Ⅲ进行
SVD并保留最大D个奇异值,得到A吐(d)将SVD得到的u矩
阵和y十矩阵分别乘以(A陋一1】)一1和(A【忌+1】)一1得到r七和11七十1;(e)
演化算符作用后的r.人形式的MPS。.................27

3.1 (a)用MPS描述二维体系;(b)PEPS的物理含义,子系统A和B之
间的纠缠熵正比于接触的表面积L。 .................29

3.2(a)维度为D的PEPS的图表示;(b)由左矢(ⅢPEPS J和右矢IⅢPEPS)
构成的计算(皿PEPS[吐T/PEPS)的双层张量网络;(C)先将张量的物理指
标进行求和;(d)由D2×D2 X D2 X D2的张量构成的张量网络。 3l

3.3 (a)缩并双层张量网络;(b)沿着某一方向缩并双层张量网络时,将
该方向的第一行当做一个MPO;(C)利用边界MPO近似的方法后
继续沿着原来的方向缩并张量网络;(d)将一个高维度的MPO近
似成一个低维度的MPO。 .......................32

3.4(a)待优化的目标函数,表示MPO的近似程度。(b)MPO最优近
似所对应的的方程。 ..........................33

3.5(a)次近邻相互作用的缩并顺序,从作用两个方向同时进行缩并。其
计算复杂度为O(D6Di+dD8D:)。(b)次次次近邻相互作用的缩并
顺序,从作用两个方向同时进行缩并。其计算复杂度为O(D8D:+
dDl0D:)。 ................................34

3.6虚时演化的OU方法。(a)通过对一系列两体演化算符做施密特分

解,然后将其作用到量子态l皿PAEP0 s),当把所有的演化算符e一蛾ar、
e-鲍ent、e-加oaar和e一瓿enr全部作用到I皿PEAOPs)后,得到新的量
子态I皿鑫Ps)。(b)求量子态I皿鑫Ps)最优低维近似IⅢ唧A s)的方程。 36

3.7虚时演化的FU方法。(a)对第后行的两体演化算符做施密特分
解,然后将其作用到量子态J皿落s)后,得到新的量子态f皿毙Ps)。
(b)求量子态IⅢ品Ps)最优低维近似IⅢAPs)的方程。.........38

3.8 (a)su虚时演化方法中波函数lⅢPSEUPs)的形式。(b)两体算符G作
用到lⅢPSUEPs)上的格点i和J时,只考虑与r5t和r勺相连的张量
或矩阵,如图中的黑色虚线框所示。 .................39

XII

万方数据
插图索引

3.9虚时演化的SU方法。(a)两体算符G作用到}Ⅲ;‰)上的格点i
和J上;(b)算符G作用到I皿PSEUPs)上的格点i和J上后得到张量
圣8s‘j“rj“u‘j也dj,“x、/对矩阵圣s‘“。池,勺rJu,dj做SVD,得到£,矩阵和Vt矩
阵以及奇异值矩阵,并保留奇异值矩阵最大的D个奇异值得到
人圳;(d)将张量U和张量yt乘以各自环境人的逆(除人∥之外)
;(e)演化算符作用后的F—A形式的PEPS。(f)通过对张量T出和
T8j分别做QR分解和LQ分解来做虚时演化。 ...........40

4.1 不同模式的SBS:(a)线型和(b)圈型。................48

4.2开放性边界6x6如/以=0.7系统的能量随着演化步数的变化。(a)
不同温度下能量随着MD步数的变化。(b)分别经过5次、30次、
50次、150次和250次的副本交换后,不同温度下的能量分布情
况。....................................49

4.3 不同SBS的模式和矩阵维度下10×10^.如模型的基态能量。S4
表示只用了线型模式,并且其矩阵维度为D=4。¥8L4表示采用了
线型模式和圈型模式,两种模式下的矩阵维度分别为D=8和D=4。50

4.4开放性边界条件下^.如模型能量的比较。(a)4x4,(b)6×6,and(c)
10×10。黑线表示的是副本交换分子动力学方法得到的能量;红
线和蓝线分别的是随机梯度法得到的能量和PEPS的结果,数据
均来自文献[9】9。.............................5l

4.5周期边界条件下^.以模型能量的比较。(a)4x4,(b)6x6,和(C)
10×10。黑线表示的是副本交换分子动力学方法得到的能量:红
线代表的是随机梯度法得到的能量,其数据来自文献6x6严格对
角化的结果来自文献[10]。.......................51

5.1 有限大小体系张量网络的缩并。(a)在求物理量的标准缩并方法中,
由左矢(ⅢPEPs l和右矢ket IⅢPEPs)通过对物理指标求和构成的双层
张量网络。(b)利用边界MPO方法来缩并一个双层张量网络,相

应的计算复杂度为O(D4D玉+dD6D丕)。(C)在求物理量的蒙特卡
洛采样方法中,在某一自旋构型Is)下的通过选取I皿PEPs)的自旋
构型ls)而得到的单层张量网络。(d)利用边界MPS方法来缩并
一个单层张量网络,相应的计算复杂度为O(D4D毛)。 ....... 54

5.2开放性边界条件下大小为10×10正方格子的海森堡模型在PEPS
D=8的GO优化过程。(a)在前50 GO步,Jt设为0.005。在接下
来的50GO步,6£由0.005逐渐减小至0.001。在最后20步,占t保
持在0.001。(b)最后20步的能量变化情况。............. 58

XTTT

万方数据
插图索弓

5.3 D=8时,10x 10如=O海森堡模型的基态能量和4×6如=0.5模型


的基态能量在不同截断维度D。下的结果。在D。=16时,相较于
D。=20近似的绝对误差为8X 10一。蒙特卡洛采样误差为10~。..58
5.4不同PEPS维度D下自旋1/2正方格子海森堡模型的能量比较。
这些能量由不同的优化方法而得到,包括OU虚时演化方法[6】、
SU虚时演化方法、FU虚时演化方法[5】和GO梯度优化方法。(a)
4x4格子J2=0;(b)10x 10格子如=0。 ................59

5.5(a)正方格子海森堡模型在PEPSD=8和D=10的基态能量;(b)基
于PEPS D=8,由L=8,10,12,14,16得到的海森堡模型的交错磁
矩。为了减小边界效应,交错磁矩由L×L中心的(L一2)×(L一2)
和(L一4)×(L一4)的子格子计算得到,W代表子格子的尺寸。 .61

5.6不同PEPS维度D下由SU方法和GO方法得到的自旋1/2正方
格子4x6 J1.如海森堡模型的能量比较。误差棒太小以至于无法
再图E显示。 ..............................62

XIV

万方数据
算法索弓

算法索引

万方数据
主要符号对照表

主要符号对照表

QMC 量子蒙特卡洛方法(Quantum Monte Carlo)


DMRG 密度矩阵重整化群方法(Density Matrix Renormalization Group)
TNS 张量网络态(Tensor Network states)
ⅣIPS 矩阵乘积态(Matrix Product States)
PEPS 投影纠缠对态(Projected Entagnled Pair States)
SBS 弦态(String-bond States)
tM[PS 矩阵乘积态的时间演化(Time Evolution with MPS)
TEBD 逐块时间演化(Time.evolution Block Decimation)
OU 最初更新(Original Update)
FU 充分更新(Full Update)
SU 简单更新(Simple Update)
GO 梯度优化(Gradient Optimization)
TRG 张量网络重整化群(Tensor Renormalization Group)

XVII

万方数据
第一章绪论

弟一旱珀比
第一章绪论

朗道费米液体理论和基于自发对称破却的朗道——金兹堡相变理论是传统
凝聚态理论的两大基石。但是在典型的强关联电子体系中,分数量子霍尔效应
[11—13】、高温超导[14,15】现象和重费米子中的非朗道费米液体行为[16]等,都
不能用上述传统的凝聚态理论来解释。在上述的强关联的电子体系中,由于粒子
之间的相互作用包含的不同项之间的耦合常数比较接近,传统的微扰理论在这
种情况下不再适用,这使得对强关联系统的求解非常依赖于数值解法。如何求解
强关联的量子多体问题是现代物理中人们最关心的同时也是最具挑战性的问题
之一。

强关联的量子多体系统难以求解的根本原因是其希尔伯特空间的维度会随
着粒子数的增长而呈指数增长。发展有效的数值算法是求解量子多体系统的核
心问题。目前常用的数值算法有严格对角化方法、量子蒙特卡洛方法[17】以及
密度矩阵重整化方法(DMRG)[18]。但这些方法都有一定的适用范围。严格对角
化方法,即直接写出系统的哈密顿量矩阵将其进行对角化求出求本征值。但由于
随着粒子数的增加,系统的希尔伯特空间维度呈指数增加,因此需要对角化的哈
密顿量矩阵的维度也呈指数增加,使得能够对角化的系统的尺寸非常小,难以得
到系统在热力学极限下的物理性质。量子蒙特卡洛方法是一种十分常用也十分
强大的数值方法,但是采用这种方法处理费米子或者自旋阻挫系统时,也会遇到
原则性问题——所谓的符号问题[19],即由于被积函数不是正定的,为了达到特
定精度需要的采样量会随着体系尺寸的增加而呈指数增加。DMRG是一种极其
精准的方法,可以极其有效地处理一维系统,但是在处理二维系统时,DMRG只
能局限于准一维的系统,当二维体系的尺寸增大时,其精度会指数下降[20】。发
展求解二维系统的算法,是亟待解决的问题。近些年来,基于对量子纠缠的深刻
认识,逐渐发展起来一种新的算法——张量网络态(TNS)算法,给解决多体问题
带开辟了新的途径。

2003年,Vidal基于对一维格点体系的量子态进行施密特分解,得到了一维
体系的矩阵乘积态(MPS)表示[2l】,并基于这种表示,提出了一种模拟一维格
点系统的十分高效的算法一逐块时间演化算符(TEBD)[22,23]。稍后,Verstraete
等人从量子纠缠的角度对DMRG方法重新表述,将其与MPS结合起来,使得
DMRG方法处理一维周期性系统的性能大大提高【241.现在人们知道,DMRG
和MPS方法本质上是等价的,由DMRG得到的系统的基态波函数的形式正是
MPS形式,所以自然可以以MPS做为变分波函数来对系统基态进行求解【20]。
为什么MPS和DMRG在处理一维系统时都具有极其高的精度?这本质上是由
于MPS这样的变分波函数在处理一维系统时满足纠基态缠熵的厩积定律【20]。
对量子多体物理的描述,核心在于对纠缠熵的正确刻画【25]。正是由于基态的纠

万方数据
第一章绪论

缠熵满足面积定律,相对于整个希尔伯特空间而言,这使得基态可以用很小的
参数空间来描述。这是DMRG和MPS方法取得成功的关键。基于这样的认识,
Verstraete等人将MPS表示推广到高维体系,得到了一种描述高维量子多体系统
的量子态形式投影纠缠对态(PEPS)[6]。PEPS满足纠缠熵的面积定律,可以描述
一大类量子体系的基态波函数,具有极大潜力去解决一些典型的量子多体问题。
但是相比于一维的MPS,高维的TNS算法比如说PEPS,具有很高的计算
复杂度,使得其在实际应用中存在两个主要困难[26,27】。第一个是如何高效地
优化PEPS形式的变分波函数来得到量子多体系统的基态。第二个是对于给定的
PEPS波函数,如何来计算相关物理量的期望值。我们希望解决这两个困难,使
得PEPS算法可以真正用于解决~些长期以来难以解决的问题,比如说自旋阻挫
等量子多体问题。
本论文的主要结构安排如下:
第1章绪论,即本章。
第2章详细介绍描述一维系统的MPS理论。包括如何将一个任意量子态写
成MPS形式,如何用MPS求解求解一维体系的基态,以及一维体系的两种时间
演化算法:tMPS算法和TEBD算法。
第3章我们介绍了有限开边界系统的PEPS算法,包括如何缩并一个给定的‘
双层张量网络,以及如何用变分的方法和虚时演化的方法来得到系统的基态波
函数。
第4章介绍了如何用我们发展的副本交换的分子动力学算法去优化TNS来
求解一维系统和二维系统。
第5章介绍了如何用梯度下降的方法优化PEPS变分波函数来得N--维量子
多体系统的基态。
第6章,结论与展望。

万方数据
第二章一维系统的MPS理论

第二章一维系统的MPS理论

本章主要讲述处理一维格点系统的张量网络态理论——MPS理论。介绍一
维系统量子态的MPS理论,以及如何用MPS对一维量子多体系统进行求解。

2.1 AKLT模型

为了更容易的介绍MPS,我们先以一个著名的AKLT模型开始【28,29],
AKLT模型的基态就是一个简单的MPS形式的量子态。考虑一个周期性的自

旋spin-1的哈密顿量,如下:

D、叫

.H 文
l甄 幢
.0 + 机 钉0 +


限 ■,5 m + .皤 汁 ~} =

《:∑Ⅳ。. ∑瑚.“一弘
^& 一、¨
2—3

其中自旋算符满足:§;=s(s+1)=2。这个系统的基态是什么样子呢?现在我
们考虑如何求解这个系统。定义自旋算符&=§i+§冲1,根据角动量合成法则,
那么&的本征值一定是S=0、1和2,相应地密=s(s+1)=o、2和6。显然哈
密顿量疗与算符&是互相对易,即『疗,&1=o,因此&的本征态必定是膏的本
征态。蹬(研一2)=o就对应于哈密顿量的基态。所以对于基态,对于所有的格点
i,要求&的本征值取0或1,不能取2,记为限+§冲1I=o或1,限+§{+1I≠2。
如何构造这样的基态呢?设想在每个格点i处的自旋spin.1的希尔伯特空
间由两个spin.1/2的虚拟自旋ai和bi张开的空间构成,而彼此相邻的两个格点
bi和n冲1的各自其中一个的虚拟spin.1/2之间构成自旋单态协)=去(|个t也+1
)一I也屯+1)),这样就能满足限+§件1I=o或1,且悖+§冲1I≠2,如图2.1(a)所
示。注意到由于每个格点上的两个spin.1/2构成的是四维的希尔伯特空间,我们
需要用投影算子只将其投影到原来的自旋spin.1的希尔伯特空间,如图2.1(b)所
示。这样构造的波函数就是基态波函数。

现在我们显式地写出这个基态波函数。将自旋单态表示为:

抓+1))=∑%衲十,Ibiai+1) (2.2)
biai+t

其中^吼虬心一协・虬…M=[三
投影算符只为:

只=∑啄I吼)(nibi
aibial
(2.3)

万方数据
第二章一维系统的MPS理论

随+文+1 I≠2 " ))

∥袋㈣福、、 州硪箩 a1

各IIIl螽’强….≤藩
。裕潢…-io饼 /,擎、 、 b. ,
…-o
、~…..-・’? 、.^J.'…,,’

(b) 歹P2I+1)(ttl+IO)忑(‘"㈨)+I-1)OA,I

汕.@…◇…@…◇…◇…@…一。
spin%o%:4.dimensional—旦。spin 1:3一dimensional

图2.1 (a)每一个自旋为1的格点的希尔伯特空间由两个虚拟的自旋1/2的粒子张开的空间
构成,相邻两格点上的自旋1/2粒子构成自旋单态。(b)将两个自旋1/2的粒子张开
的四维空间投影到原来自旋为1的粒子张开的3维空间中。

其中巩取+l,0,.1,分别对应自旋1的希尔伯特空间的三个基矢,而三个投影
矩阵N为:

Ⅳc+1,=B翻,Ⅳc∞=[一羔吉],Ⅳc一1)=罡0]。基态波函数为:
Ⅲ)=P1 o岛…尸ⅣI≯1)I≯2)…I咖Ⅳ)

=∑(嗡㈨(c・d-I)(喝:I盯。)(czd21) …(虻a椭N
{q吨以)
仃Ⅳ)(CNdNll ,

∑(M6煳I咖z))(地。。。I啪s))…(地脾 ]bNal)1
{o扣t}

=∑∑嵋。地。。:N::d2M62旷‘‘啷aNdⅣ%m (2.4)
{q也以){nt6t)

(CIC2…CNlala2…aN)(dld2・・・dnldld2…dⅣ)l盯1盯2…O"N)

=∑(N5。地。。。)(嗡:Mb:。。)…(NabObⅣ螈肭IGl6r・..O-N)
{aib.n}

A::。:A2。。…4。aⅣN。。l盯1盯2‘・’盯Ⅳ)
{aiad

这里A以是一个2×2的矩阵,其中A(+1)=Ⅳ(+1)M


卅吡…=
l一;?l,A(一1):Ⅳ(一1)M:l o, I.这样我们显示地写出了Al∞模型的
【o {J 卜去oj
基态波函数l皿),它可以用一系列的矩阵的乘积来表示,称之为Matrix Product
Stares(MPS),矩阵A巩的维度D称为MPS的维度。张量A有三个维度,其包含
的ai和ai+l称为虚拟指标,既称为虚拟指标,为了便于直观理解,我们可以用图

万方数据
第二章一维系统的MPS理论

形来表示,如图2.2(a)所示。对两个张量的共同指标求和,如对A2吣,和4髻嚣nⅢ
的。冲1指标求和,即∑。ⅢA2。ⅢA以ai++11nⅢ,可以通过在A象阱。和A筹;nm的图
表示中直接将这个指标相连来表示,如图2.2(b)所示。这样我们便可以得到MPS
的图表示,如图2.2(c),虚拟指标的维度就是MPS的维度。

(a) (b)

}璺LA口:穗a;燃三;i2箍&州A。。A吼

(c)
图2.2 (a)三指标张量A2。。的图表示;(b)对两个张量的ai+l指标进行求和;(c)周期性
边界条件MPS的图表示。

事实上,AKLT态是一个最简单的非平庸的MPS,其维度D=2。从这个例子
我们也可以看出,量子纠缠在MPS表示中扮演这极其重要的角色,我们完全可
以从量子纠缠的角度去理解MPS[24】。值得一提的是,对AKLT模型,这里采
用的是周期性的边界条件,如果采用开放性边界条件AKLT模型其基态将会是4
重简并,并且会出现分数激发[29】。
通过上面的例子,我们可以对MPS有个直观的了解。下面将详细地介绍
MPS的相关理论。

2.2矩阵分解

2.2.1奇异值分解(SVD)

在关于TNS的理论中,我们要经常用到线性代数的知识,尤其是奇异值分
解(SVD)。通过SVD,可以把一个量子态写成一个由体系的A部分和其互补部分
B所构成的一个紧凑的态表示形式,即施密特分解。这里我们先介绍一下SVD。
SVD是说,对于任意一个M×N的矩阵A,总是可以把它写成

A:USVt, (2.5)

其中

(1)矩阵U的维度是M×min(M,Ⅳ),并且满足UUt=J;如果M≤N,
同时有UtU=I,这时U是幺正矩阵。

万方数据
第二章一维系统的MPS理论

(2)矩阵s是维度为min(M,N)×min(M,N)的对角阵,其对角元所有元素
&i三8t是非负的,即st≥0.这就是所谓的奇异值。非零奇异值的个数r是矩阵
A的秩。一般约定s1≥s2≥…≥s,>0。
(3)矩阵∥的维度是min(M,N)×N,并且满足vtv=,。如果M≥N,
同时有yVt=I,这时yt是幺正矩阵。

SVD一个重要的应用就是矩阵的最优低秩近似[20]。在弗罗贝尼乌斯范数的
定义下lIAIl2=∑ij IA巧12,我们想要用一个秩为r7的矩阵A7来近似秩为r(r7<7')
的矩阵A,一个最优的近似就是

A7=US7Vt S7=diag(s1,s2,…,s,,】...) (2.6)

2.2.2量子态的施密特分解

SVD的另一个重要应用就是施密特分解,我们现在用SVD来推导普遍情形
下的量子态的施密特分解。考虑一个由A部分和B部分组成的系统,系统的任
意一个纯态总是可以写成:

矽)=∑x出qli)AlJ)B (2.7)
ij

其中俅)A]-和{l歹)B).各自是A和B的两组正交基,其维度相应地分别为M和
Ⅳ。Ⅲ巧是相应的基矢的系数,所有系数皿巧构成了维度M X N的矩阵Ⅲ。由此,

我们可以得到约化密度矩阵以=TrBI妒)(妒l和如=T“I砂)(妒I的矩阵形式:

PA=ⅢⅢt,PB=Ⅲt皿. (2.8)

如果我们对方程(2.7)中的矩阵皿做SVD,可以得到

min(M,Ⅳ)

I砂)=∑∑阢。&。Vj*li)AlJ)B
巧 a=l

min(M,Ⅳ1

=∑s。(∑%。m)(∑%挑)
a=l z 3
(2.9)

min(M,Ⅳ)

=∑s。i口)A{盘)B

由于li)A和li)B是各自都是正交基组,而u和∥分别满足UUt=I和Vtv=I,
可以知道la)A和Ia)B也分别是A和B的正交基组。如果我们把(2.9)的求和
限制在最大的r(r≤min(M,Ⅳ))个奇异值中,我们可以得到I妒)的施密特分解
形式:

I矽)=∑s。I。)Al。)B (2.10)
a=l

万方数据
第二章一维系统的MPS理论

显然r=1对应的是直积态,r>l对应的是纠缠态。
经过施密特分解,我们很容易写出A和B的约化密度矩阵:

2 2
= S o o = So 0 凸 2
^p A A A ^p B 8 B

,∑d ,∑d

只考虑非0奇异值部分,可以看出声A和卢B具有相同的本征值,并且其本征值为
u。=s。2,但它们的本征矢并不相同。我们也可以直接得到A和B之间的纠缠熵:

2 2
甄 8 砂 = 一T .妒 A 0g
2 ^p A = 一 S Og

S 2 2
,∑脚
n o

我们可以通过施密特分解直接对量子态做近似。如果只保留I妒)最大的r7个
基矢,可以得到l砂)的近似态:

= 3
~砂 S口 o A o B 2
一∑rl
利用施密特分解做近似本质上和利用SVD对l妒)的系数矩阵Ⅲ做近似是一致
的。

2.2.3 QR rLQ)分解

在实际数值计算中SVD足以满足我们的需要,但有时如果采用SVD分解
会给出的信息过多反而会增加计算负担。比如说,A=USVt,如果我们只关心
UUt=I以及SVt的整体性质,不关心具体的奇异值矩阵S时,这时QR分解
会比SVD的计算量会更小,采用QR分解更简约更经济。QR分解是说对任意一
个M×N的矩阵A,有
A=Q兄, (2.14)

其中Q是M×M的幺正矩阵QQt=QtQ=I,R是M X N的上三角矩阵。QR
分解有时也会可以采用更经济的方式,当M>N时,R矩阵最下面的(M一Ⅳ)
行全是0,可以写成:

4=Q・[乞1]=[Q,Qz][R。:t]=Q,R・ c2.,5,

Ql现在是M X N的矩阵,Rl是N×N的矩阵,并且qIql=Jr,一般Q1Qi≠I。
我们一般都会采取这种更经济的QR分解方式。
类似地,对任意一个M×N的矩阵A,也有LQ分解,

A=LQ, (2.16)

其中Q是N×N的幺正矩阵QQ十=Q+Q=,,L是M X N的下三角矩阵。和
QR分解一样,也有相应的更简约的表达方式,这里不再赘述。

万方数据
第二章一维系统的MPS理论

2,3 MPS理论

2.3.1一维量子态的MPS表示

现在我们利用SVD将一个一维系统的量子态写成MPS形式[20]。考虑一个
一维的晶格,其长度为L,每个格点i(i=1,2,…,L)的局域的希尔伯特空间维
度为d,相应的基矢为{st),任意一个量子态总可以写为:

妒)=∑c。r也Jsl.¨三) (2.17)
81,…,sL

这个量子态共有d三个参数C”。L。先将含有d三态矢量的张量c”。工写成一个
d×dL一1的矩阵皿:

皿。1’S2…。L=C。1.吧, (2.18)

然后利用SVD对矩阵Ⅲ进行分解,
rl rl

C81...SL=皿。。m…。工=∑阢。m&。m(y’)‰。:…。L=∑观。mCa。趼。L. (2.19)
al al

在最后一个等式中已将矩阵S和yt乘在一起,并将得到的矩阵变回一个矢量。
根据SVD分解的性质,可知r1<d。再将矩阵U变成d个行矢量4一,相应

的矩阵元为A::=Us。,。。,同时把矢量C口。。:…。L变形成维度为rid×dL_2的矩阵
Ⅲ小耶。…。L,可以得到

c即峭L=∑A。81。皿…:舟…蚴 (2.20)
al

对Ⅲ做SVD,则有

Cs卜睨=∑∑雏巩心m%m(y+)。:栅…。L=∑∑A嚣馏mⅢ。。。。烈…。L,
al a2 al a2

(2.21)

上式中我们把矩阵Ⅳ写成了d个T1×1"2的矩阵A。,相应的矩阵元为A箸m=
%。。:m,并且把矩阵S和yt乘在一起变形成一个r2d×dL~3的矩阵皿,其中
r2≤rid≤d2。按照上述步骤,通过连续做SVD,可以得到

(2.22)
C81...8L=∑A。81。nnl82m…肛aL~-2。一A兰一。,
Ⅱ1,’一,oL一1

其中A8,是行矢量,A。L是列矢量。这样就得到了任意量子态的MPS表示:

妒)=∑∑A嚣馏m…AS~L-1:儿一。A兰一,ls,s2...s¨sL) (2.23)
Sl’’’sL 0,1‘’’nL一1

或者可以写成更简洁的形式:

矽 lI A题 A 眈 A A L— L 2 24

∑一
万方数据
第二章一维系统的MPS理论

由于在SVD过程中utu=J,而A£乩。;三Uo“。舭;,所以有

6。汕f∑(ut)。…他uoi-lsl,a:

=∑(A耐)%吣,A耄掣: (2.25)

=∑(A甜舻)%∥

也就是
∑A8订A8h I. (2.26)
Si

满足上述条件的矩阵称为左归一化。如果矩阵A都满足上述形式,这样的MPS
呈为左正则表示。注意到,最后一个通过SVD得到的矩阵A8L并不一定满足,这
个与量子态的归一化系数有关系,在这里我们暂不考虑这个问题。
除了左正则表示外,MPS还有右正则表示。我们可以从第L个格点开始做
SVD,到第1个格点结束,这样得到的MPS就是右正则表示,

'。。一、

妒)=>:B乱B。…B观-188LISl82…8L) (2.27)
s1…sL

MPS中的矩阵是右归一化的:

∑B5㈣B t一,.
(2.28)
St

我们也可以先从左往右依次对第1格点开始做SVD直到第尼一1个格点,然
后再从右往左依次对第L个格点到第尼+2个格点做SVD,得到MPS的混合正
则表示[20】,如下所示:

c。。趼。L=(A81A。…A8*)。。&舭。(y+)‰(。Ⅲ…。L) (2.29)

根据前面左正则表示的过程,可知矩阵A乱是左归一化的。把(y+)。。,(。Ⅲ…。工)写
成矩阵皿(。胤¨。L一。)儿,然后从右向左对第L个格点到第k+2个格点连续做
SVD,对于第七+1个格点,我们做SVD之后将剩下的矩阵职。胤+。),。Ⅲ&Ⅲ,。啪
变形为第k+1个格点的矩阵Ⅸ:吉b。,这样我们得到:

(2.30)
(∥)。如…。工)=∑一BSk+。Ⅲt・・・吃一,
nk+1…aL--l

由于yy十=,,可知所有的Bs*矩阵都是右归一化的。这样我们得到了MPS的
混合正则表示:

妒)=∑A“…45‘SB5Ⅲ…B"L1”..SL). (2.31)
s1‘。‘SL

万方数据
第二章一维系统的MPS理论

从这个混合正则表示中,我们可以立即得到I妒)的一个施密特分解:

l妒)=∑A。。㈨Aln七)B (2.32)
n凫

其中施密特系数An。就是S矩阵对角阵的对角元,入。。=&舭。,相应A和B的
基矢分别为:

l。t)A 2=∑(—48l…—45‘)。。Is,…s七)
sl…Sk
(2.33)

l。七)B=∑(舻+1.“5L)。。h…sL)
Sk+1…SL
(2.34)

并且A的基矢.[I凸七)A].和B的基矢{In七)B].是各自互相正交的。
在用SVD得到任意量子态的左正则MPS表示中,如果我们不关心奇异值
矩阵S的具体情况,而是把SVt当做一个整体来考虑们也可以采用QR分解得
到MPS的左正则形式,只需要将原来SVD中的U矩阵用Q来代替,将SVt用
R矩阵来代替即可。同理,可以用LQ分解得到MPS的右正则形式。

2.3.2 MPS表示与纠缠熵的面积定律

从上述左正则表示可以看出,从第1个格点到第L个格点,矩阵4。i的维度
依次为(1 X d),(d X沪),…,(d专-1×d专),@考X d专_1),…,(d2 X
d),(d×1)。
这是一个量子态的严格的MPS表示,没有任何近似。也正因为这样,在实际的
数值计算中,原则上我们不会一直采取这样的分解,因为矩阵的维度会随着体
系的增加而呈指数增加。在实际应用中,我们会对矩阵的维度设定一个截断,令
其最大为D,称之为MPS的维度。这样MPS中,矩阵的维度就依次为(1×d),
(d×d2),(d2×D),…,(D×D),…,(D×d2),(铲×d),(d×1),这里假定
D>d3。现在的问题是,做了截断之后,得到的MPS不再是严格精确的,这样
的近似在实际计算中有效吗?答案是:有效。这与纠缠熵的面积定律有关。
对于一个由A部分和B部分构成的量子体系,假定A和B的量子态都是
D维的,通过前面的施密特分解,我们知道了A和B之间纠缠熵为:

= 一T = 一
& 8 矽 ^p A O g ^p A uo Og u凸 2 35
D∑烈
其中u。是约化密度矩阵以和硒的本征值。当所有u。都相等取1/D时,乳IB(|妒))
取最大值l092D。纠缠熵的面积定律是说,在热力学极限下,对于由短程相互作
用构成的哈密顿量,如果其基态相对于激发态有能隙,那么基态的AB部分之间
的纠缠熵jELt,于它们接触的表面积[30-33],即

SAIB Of.LD一1 (2.36)

其中L表示A和B接触部分的周长,刃表示体系的空间维度。

10

万方数据
第二章一维系统的MPS理论

在一维时如果满足纠缠熵面积定律,那么&IB。(c,c是常数。由于'SAIB
的最大值为sm麓=log。D,可以看出如果我们想要准确刻画纠缠熵的性质,对于
满足纠缠熵面积定律的一维体系我们需要的希尔伯特空间的维度大概为D^一2。。
这意味着有限多的量子态就可以准确刻画量子多体系统的基态性质。我们可以
粗略地认为这里的D和前面的MPS的维度D是一致的,至少在量级上是一致
的【20】。这就是说,MPS可以很好描述有短程相互作用构成的哈密顿量的有能
隙的基态性质。特别地,以前面的一维AKLT模型为例,其基态中不同的格点之
间通过一个自旋单态来连接,而如果将这个一维体系分成两部分,其纠缠熵是2,
这是一个严格的D=2的MPS。
事实上对于基态没有能隙的情况,一维情况下纠缠熵勘JB。(cd092L,这时
需要的量子态的数目大概为D^一La,由于Oz一般是1/3或者1/6,这时需要的
MPS的维度D的大小随着体系尺寸己的增大会增长比较缓慢,足够我们通过
MPS来计算相当大的体系来得到热力学极限下系统的性质【20]。总而言之,MPS
可以很好地描述一维短程相互作用体系。
二维情况下,纠缠熵面积定律告诉我们,SAIB。(L,这时如果采用MPS来
描述二维体系,那么需要的MPS的维度大概为D一2L,这就是说D会随着体
系尺寸的增加而呈指数增加,这时用MPS描述二维体系不再合适。
以上是关于开放性边界条件的MPS表示理论。对于周期性边界条件,无法
通过SVD或者QR,我们可以很自然得把其MPS形式写成如下形式:

妒)=∑ ∑A恐mA署恕…一A一。SLL-一1。,aL-1A恐~。,。LIs・s。…sL一-sL)
51…8二。l‘・‘。二一121
陀.37)
=∑Tr(A81A52…A,L-1A8LIsl s2...s¨s工)
81‘一sL

所有的矩阵的维度都是D×D,其图表示可以参考2.2(c)。
注意到,当用维度为D的MPS来表示一维系统的基态时,所需要的参数个
数约为LdD2,随着系统尺寸L的增长而呈线性增长。相较于原来的参数随系统
尺寸的增长而成指数增长,MPS提供了一个非常有效的参数空间来刻画一维物
理系统的基态。

2.4可观测量的期望值的计算

上一部分我们详细介绍了MPS的表示理论。现在我们将介绍如何用MPS计
算物理系统的期望值。给定一个任意的MPS J矽)(J妒)不一定是正则表示),其维
度是D,如何某一可观测量的期望值呢?比如说哈密顿量的期望值:

吲耻锗 (2.38)

这时我们需要计算(妒l妒)和(妒iHl矽)两部分。

万方数据
第二章一维系统的MPS理论

2.4.1(矽I矽)的计算

先考虑如何计算似l妒):
d D D

(妒I妒)=∑∑ ∑A彳4蹦al,a。…A艺:。镶钱一・・钱一。 (2.39)


81-一sL al…aL一1 bl・一bL一1

在这个表达式中,有对物理指标{si】.的求和,也有对虚拟指标ai)和{玩)的求
和。求和的次序极大地影响了计算的复杂度。如果我们先对虚拟指标{no].或者
伯;1.求和,每求和掉一个虚拟指标ai,得到的矩阵的维度便会增加为原来的d
倍,最终会得到一个元素个数为dL的矩阵,这种求和顺序,其计算复杂度为会
随着L的增加而呈指数增加,显然这种求和的顺序是不可取的。我们可以把方
程(2.40)中的每一项重新组合一下:

(妒I妒)=∑∑A笔:,(…(∑∑A嚣盖:(∑A警A:;)4瓢)…)A‰
aL—lbL一1 SL ‘albl 82 Sl

(2.40)
即我们先把所有的物理指标si求和掉,得到∑苎(A即A5t),然后再把不同的
∑:.(A舭小t),从i=1依次从左到右乘起来,这样的计算复杂度约为O(LdD4+
LD4),显然比之前的先把所有的{ni)或者Dt].求和掉的计算复杂度小很多,但
这还不是最省时的计算方式。最省时的求和顺序如下:

(妒I妒)=∑∑-俨-aL}-。(…(∑∑A署I:(∑A嚣+A;:)A;:,幻)…)A::一。
SLbL一1 aL一1 s26l al 81

(2.41)
即先求和掉sl得到新的张量后,接着求和掉a1指标,然后再同时求和掉s2和61
指标,得到新的张量后,接着求和掉a2指标,然后再同时求和掉s3和b2指标,
依次进行下去,如图2.3所示。这样的计算复杂度约为O(2LdD3),明显低于方程
f2.41)所示求和顺序的计算复杂度。对于周期性边界条件的MPS,其计算复杂度
为O(2LdD5)。

2 4

, y , (砂l
,a1飞 ,a2飞 nf飞 ,af+1一 QL一1’

:l S1 3..。。。.・ s2 5—_ &—一 Si+1...。..一 SL一1——_+ 置

▲ 61麓 惑 62屡 ▲ 6£ 蠢 ▲bi+l箧 ▲6L一1筵 ▲


I矽)
3 5

图2.3 按红箭头标注的序号求和指标。先求和掉s1指标,接着求和掉al指标,再同时求
和掉s2和b1指标,依次进行下去。

12

万方数据
第二章一维系统的MPS理论

在计算(妒I妒)时,我们注意到,如果对MPS I妒)做正则化,则可以大大简化
计算。我们可以用QR分解来对I妒)进行左正则化。先对第1个矩阵A81做QR
分解,As-:Q—R,令Bs-=Qm,并把R与As:相乘得到新的矩阵五∞,然后
再对As:做QR分解,依次重复下去:

I妒)=∑∑A。81。一。82。mA笼m…A艺二:,。L一。A恶一。Is,sz‘・‘sL)
81…8L al…a工一1

=∑∑B。小。(Rbl,alA嚣m)A笔棚…Aa乩L~-2,。L一,A兰一,Is,sz…sL)
Sl…sL al・一aL一1

=∑∑∑%BS,lⅦ彳8。2。。A意m…A。SL一-1舭一,A艺一,∞。…sL)
8,1・.-sL al-一aL一1 bl

=∑∑∑JB嚣B。26l加(Rb2,a2A笺m)…A~8L-1:m一。A兰一。lstsz…s工)
81…sL a2・一aL一1 blb2

=∑∑∑~BS。l~Rsl)b2:襁。。…AasnL-12m一,A兰一,旧:…s三)
Sl・・・8L a3・・・aL一1 blb2

=∑∑曜B‰…B呼SL-。I)6L一。五;:一。Is,S2...sL)
81・一8L blb2bL一1

(2.42)
通过上述步骤,我们便得到了I妒)的左正则形式。对于最后一个格点L,我们会
得到一个矩阵R,但R是一个数值,不是一个矩阵,这个数值就是l矽)的归一化
常数,可以直接令其为1,便得到了I妒)的归一化形式。
也可以同时利用QR分解和LQ分解对I妒)进行正则化来简化计算。按上面
左正则化的步骤所示从第1个格点到第k个格点进行左正则化,然后类似的利用
LQ分解,从第L个格点到第七+1进行右正则化,最后对第七个张量作为QR分

解后得到的矩阵R与A::一。。。和第k+1个张量Aa船k+1,bk+。的乘积正曲。吨。¨6m=
∑。。4;:一。n。A最麓+。做SVD,正曲¨溉+-bⅢ2∑6*Uskbk 1,bkSbk,b*Vt)6"m6。+,,
并令B嚣“h 2乩曲t-hbt以及gk抖,bkl+。2(伊)。舻m。。+,,可以得到正则化后的
形式:

l矽)=∑∑A嚣A器mA笔m…A裟二:,。L一。A艺一。Is・s。…sL)
Sl‘。‘8L凸1…oL—l

=∑∑∑
Sl…sL n%bl…bk一1
∑曜蹭加…糍乩。。铲ak“,bk+。…吼。|slsz…sL)
6^+1…bL—l

=∑∑皤B‰…B嚣乩。。‰风罐k+1,bk+,…%。|slsz…sL)
81-・-SL bl・・・bL一1

(2.43)
其中矩阵B满足∑鳓B魂tB吼=I,矩阵c满足∑。。c5‘c乱t=J。那么容易看
出(矽I妒)取决于&。'6。,如图2.4。这里得到的MPS的形式我们称为准混合正则
化形式,它和混合正则化的形式虽然一样,但并不相同。混合正则化后的量子态

&枷。代表相应的施密特分解的施密特系数,准混合正则化的形式中的&舭。并
没有这个含义。

13

万方数据
第二章一维系统的MPS理论

罗 一 y 只船飞 ,V 1 ,,'sm 飞罗 ',
上Jbk一16七 。bkbk+1
&k6k

(a)
1 也 y
%bi_^机 ,&飞

=卜白;
/钆 。bi-16i

= Sl

如f白£
Si

残s¨i*ai c荽。。。
箧▲ af 震瓤

ai

(b) (C)
图2.4 (a)将一般的MPS态化为准混合正则形式。(b)准混合正则形式中,按照从左到右的
顺序,计算(妒I砂)从第1个格点到第i(i≤七)个格点所有的指标求和掉,得到单
位矩阵。(c)准混合正则形式中,按照从右到左的顺序,计算(妒I妒)从第L个格点到
第i(i≥尼-I-1)个格点所有的指标求和掉,得到单位矩阵。

2.4.2(矽I膏I矽)的计算

接着我们需要计算(妒I疗I矽)部分。假设体系为一维开放边界条件的Ising模
型,其哈密顿量:
L一1

青=∑鱼=∑《略。 (2.44)
{=1 i

我们可以将免在其本征矢下展开:

盯;=1个t)(个i I—I土i)(山t (2.45)

注意到忘=子i2弁i2+1是一个两体算符,可以把它写成一个含有4个物理指标的张
量磁盘:
皿=子i2弃i2+1=1个i个i+1)(个i个i+1 I—I下iJ,l+1)(个iJ,t+1
一l上卅、t+1)(山i十纠一1 I十I山i山i+1)(-{,-i、l-i+1
(2.46)
=∑∑磁崩,8:川-1-1 s“+。)(s{’s州
st,8i+1 s:,s:+1

我们容易得出张量磁盘:的元素值,这样我们便可以得到

(妒嘲妒)=(IEA51w1)(∑胪w2)・ ・・(∑∑ASi+1*舻+磁盘:∥∥+・) sti,s:+1乩岛+l

×(IEA3t+2+A5t+2)・・・(IEA3L4A8L)
.Si+2 SL

(2.47)

14

万方数据
第二章一维系统的MPS理论

假设I妒)已经准混合正则化,即从第1个格点到第i个格点是左正则形式,第
i+1个格点到第L个格点是右正则形式,如图2.5(a)所示。那么

(妒嘲妒)=∑∑ASi+1*木∥磁枯∥s肿- (2.48)
s:,s:+1%8i+1

我们可以用图形表示,如图2.5(b)所示。我们注意到膏=∑;鱼,所以为了减小
计算量,可以按如下方式计算似l膏I妒):从第L个格点到第1个格点开始做-LQ
分解,做完以后,可以很容易计算(妒l:/1I妒),然后对第1个格点做QR分解,可
以很容易得到(妒I觑f妒),再对第2个格点做QR 3-懈,可以很容易得到(妒f觑l矽),
依次进行下去,直到得到(矽l/:/L一1 I矽)。

一 i 一

◇|l◇ 一 ◇}l◇ 兰 威要 L ◇|l◇


◇|l◇

如 + 占 +

图2.5 利用准混合正则形式(或者QR和LQ分解)计算可观测量

2.4.3可观测量的MPO形式

在计算哈密顿量疗期望值时,我们需要对反中的每一项进行计算,然后再
将它们相加。事实上,还有另一种办法可以更加方便的计算哈密顿量的期望值,

这就是将其写成矩阵乘积算符(MPO)形式【34】。我们知道,任意一个算符6总
是可以写成如下形式:

D=∑C81...8L,8i…。湘…sL)(s卜・s2
(2.49)



乙 ls…s八s1…sL
c(。。。i)...(SLS,L)Isl…sL)(s:…s2
c(slsi)…

15

万方数据
第二章一维系统的MPS理论

我们可以把(81si)看成一个整体的“大”的物理指标,然后与对量子态l矽)做
MPS表示类似,可以利用SVD或者QR(LQ)分解,将D写成如下形式:

D= ∑ c。r…i…吒¨..sL)(s卜・s2I
s1…sL,si…s2

=∑ ∑呀ⅫiW邺824。…吃盘:蝶h…sL)(s卜s钏(2.50)
81…sL,si…s2 nl。一aL一1

三W[1]W[21…训川.

如图2.6(a)所示,虚拟指标凸t的维度称为MPO的维度。比如说我们可将哈密顿
量膏=∑江L-11鸳咯1=w【1】w【2】…w㈦写成MPO的形式如下:
1 0 I

胪】=[0丸小旷】_ .wILl:

丸0 盯z (2.51)
0以 0

其中可以将算符05在其本征矢下展开,得到瞻要。i的具体形式。MPO作用在
MPS上时,会保持MPS的形式不变,每一个w[i】只作用在MPS的张量A5‘上,
这样我们可以很轻松的计算(妒l宜l妒),而不需要像原来那样逐个计算(妒l鱼I妒),
;nf訇2.6(b)所示。

(a)

飞 y’y 飞, 一, 飞, ’y

嘲 搿 黼 暖曩 蠢豳 强

麴 ■
鞠 飘 圜 鞠 嘲 鞠鞠 瓣豳 强

篚▲ A 麓▲ 盘▲ 鏖▲ 箧套

(b)
图2.6 (a)算符的MPO表示。(b)用MPO计算可观测量的平均值。

2.5变分法求基态

现在我们考虑如何求给定哈密顿量时系统的基态。假定我们已经有了MPO
形式的哈密顿量疗=w【1】Ⅳ【2】…wⅢ,并且其变分基态波函数的形式为维度为
16

万方数据
第二章一维系统的MPS理论

D的MPS l矽)=∑”。L A81As2.・・A5L—lA5工lsls2…sL)。为了得到系统的基态,

我们需要根据变分原理来求系统的能量E关于I妒)的极小值:

驴m㈨in驯’硼mi)n错.(2.52)
引入入,采用拉格朗日乘子法使得I妒)归一化条件能够得到满足,将上述问题转
化为:

(2・53)
唧((妒闻妒)一A(讹))-
由于I妒)是_[4盏乩。;)的函数,所以可以令

万万妻I_=((妒I疗l矽)一A(砂l矽))=。, (2.54)

这样得到一个关于任意张量元4慧,。.的方程组,方程组的解就是基态的解。但
由于在这个方程组中,所有的A茏,。.会耦合在一起,使得这个方程组是高度非
线性的,直接求解这个方程组是很难做到的。

但是可以通过迭代的方法来求解这个高度的非线性方程组[20]。我们可以
先把第1个格点处的张量As・当做未知量,而其他格点的张量Asi当做已知量。
这样表达式(2.52)就是一个关于A5-的二次型,相应的关于(2.52)的极值问题便
转化成一个线性代数问题,这是很容易求解的。在求得了4s-之后,系统的能量
E=絮会下降。我们接着可以把Asz当做未知的,其他的4乱当做已知的,
然后对其进行求解,这时系统的能量会进一步下降。依次进行下去,直到系统的
能量收敛为止。这样我们便得到了系统的基态和相应的基态波函数|矽)。

为了更明显的说明这个问题,我们现在开始考虑具体的步骤。先考虑l妒)的
模,并把它写成关于Asi的函数的形式:

(妒I砂)=∑∑∑m卟A小¨A。Si¨,幽Aio;m。B如i (2.55)
st nt一1,ai 6t一1'bi

其中

雌小¨=∑(ASi-lf...铲憎1…∥)吣小¨
m。B沪FSl…S似i--1,十…删肛”+,1 ‘2・56)
。 。

%。。=∑(4毛+1卜一A5甜A虬…A吼“)。“6。
如图2.7(a)所示,等号左边是m吣A,’6¨和m%B b。部分。
接着我们考虑(妒l疗l砂)部分,将其写为:

(妒旧妒)=∑∑∑∑L乏二k,噼幺4芸o;A也。。磁。i (2.57)
si,s:ai一1,ot bt一1,bt c4—1,q

17

万方数据
第二章一维系统的MPS理论

ai一1 ai -盛 业
@◇
rl
厂‘ : 吼l
幽囊 簟瞻啦黼 =A
卜|盥V 念 工I I
簟:羹翻
(a) _p霉。q
研l
下_ l虿篓i l 蠢
—■ -:石氐
一 ■▲●k■k
I王 V
6缈琊V V V

飞LCi--161 h R叠6; 雌巾h 雌6;

鞠豳i
l 山矗辫‰

王F基r
(b)
—k_k・k V

!V!_阢J".一-‘jV
Lca‘i三吣,
“一16£一1 尺:扫;
“Ⅱ幽

图2.7 (a)用迭代法优化MPS波函数,求解广义本征值方程的图表示。圆圈内的张量是未
知量。(b)将波函数正则化后,原来的广义本征值方程化为标准的本征值方程。

其中

=∑∑
Lnea{-一116t一1
81…st一1 si…s:一l (A8i-lt胪-1s,_一∥1t胪8衍i…∥。)吼血一,
鹾a; ∑∑(舻“t Wsi+1s:+1...AsLtWsLs24s2..
即一8L s卜s2
r2.58)

如图2.7(a)所示,等号右边是三三二:h一。和《兢部分。
现在我们考虑表达式(2.53)的最小值问题,通过对A盏二。她求导,可知最小
值问题的解就是如下方程的解:

嚓 咝 嵫 Q钞
量 《 :¨
L R =
“吣。A o :{: 瓯啪 址 筋;¨
∑《 ∑Ⅲ ∑Ⅲ
这其实是一个广义本征值问题。引入矩阵H、Ⅳ和矢量v,并分别令其矩阵元为:

日。减圳泓,6¨ai=∑_L主二 1m一。wea耶-1:瓯《b{
ea一1,Ci

Ⅳs泓掣"K1k=m吣A 1'bH 蛾'6t‰:(2.60)


v。,6¨b;=A毛,6。
那么我们得到了一个矩阵维度为(dD2×dD2)的广义本征值方程:

Hv=ANv f2.61)

如图2.7所示。特别地,在开边界条件下,如果MPS I妒)从第1个格点到第i一1
个格点的张量是左归一化的,而从第i+1个格点到第L个格点的张量是右归一
化的,那么矩阵Ⅳ就是单位矩阵,上述广义本征值方程变为本征值方程:

Hv=Av (2.62)
1R

万方数据
第二章一维系统的MPS理论

我们可以求得方程的最小的本征值Ao和相应的本征矢v曼。H。;。入是当前的基态
能量,而《……给出A2…。
现在我们总结一下用变分法求基态能量的算法(开边界条件):
(1)给定一个初始的MPS,将其右正则化。

(2)从第L格点到第2个格点,依次计算R:护并将其存下来。
(3)按照从左向右的顺序,依次优化第1个格点到第L—1个格点的张量,

按如下步骤:利用i一1格点处的张量三基二:6“和i+1格点处的张量R眦+el+:b州以
及i格点处的MPO算符W吲构造日矩阵,按标准的求本征值的方法用迭代法求
解A£“。;,把它的当前的值做为初值开始求解。一旦得到方程的解A鬟“。。,对
其进行QR分解,得到左归一化后的张量A茏,∥并将QR分解后剩余的R矩
阵与下一个格点即第i+1格点的张量A象盖+,相乘得到A象盖+。, …Si+蝌l。将会是
第i+1个格点用迭代法求本征值的初值。同时利用L。Ci¨-1如一,和A象“。。构造第i
格点的张量三祟护对第i+1个格点重复上述步骤直到第厶一1个格点。
(4)按照从右向左的顺序,依次优化第L个格点到第2个格点的张量,按如

下步骤:利用i一1格点处的张量L基二:k,和i+1格点处的张量R嚣:“+。以及i
格点处的MPO算符w【司构造日矩阵,按标准的求本征值的方法用迭代法求解

A£也恕,把它的当前的值做为初始值开始求解。一旦得到方程的解4£乩。;,对
其进行LQ分解,得到右归一化后的张量A2。i,并将LQ分解后剩余的L矩阵

与下一个格点即第i—l格点的张量A一8,-I卿¨相乘得到A茏二:A一。,。A。。8,渊-1,。¨将会
是第i—1个格点用迭代法求本征值的初值。同时利用R。ci件+:b川和A芸乩%构造
第i格点的张量R祟”对第i一1个格点重复上述步骤直到第2个格点。
(5)重复步骤(3)和(4),直到能量收敛。

2.6 MPS的时间演化算法

时间演化是量子力学中人们很感兴趣的问题。MPS可以很好地处理时间演
化的问题,无论是对于虚时间的情况还是实时间的情况。下面我们通过对时间演
化算符e-iHt利用Suzuki.Trotter展开【35,36】,介绍MPS的时间演化算法。

假设系统的哈密顿量只包含近邻相互作用,即H=∑。h南,hk只包含了第
七个和第尼+1个格点之间的相互作用。我们可以把时间£离散化,令z=Ⅳ7.并
令丁-÷0和Ⅳ-÷oo,进行一阶Trotter展开:

e—i册=e-ihxre—i^扩…e-ih∽7e一1忱印+off2) (2.63)

上述展开的误差off2)是由矗七与k十。不对易即[k,走七十。】≠o造成的。由于哈
密顿量只包含近邻相互作用,e-ih*7。和e-ih忡7。可以同时作用到态l妒)而不会造
成任何误差。基于Suzuki.Trotter展开【35,36],我们介绍两种时间演化算法,分
别称作tMPS[20]和TEBD[22,23】。
19

万方数据
第二章一维系统的MPS理论

2.6.1 tMPS的时间演化算法

taMPS算法基于算法的MPO表示。对任意算符,总是可以表示成MPO表
示,因此我们可将两体算符e--ihk7写成MPO形式。先将e-ih*r写成:e-ihkr=

∑刚。,。;。:O刚2'8i8:Isls2)(s:s:I,然后对矩阵O郴2’5i5:做施密特分解:
d2

o刚2州=∑阢“.Ik,t&,iK■
』-J
i=1
’o'…2
‘’

d2

=∑(以,。il佤)(佤Kk)
t=1
(2.64)

d2

=F o≯o肇
t=:1

最后一步引入了哑指标1,现在矩阵Os・si和os。s:分别是1×d2和d2×1。这样
我们得到了一个维度为妒的MPO。由于当e--ihkt在演化时算符e-ihk+17是不演
化的,这时第七4-1和第七+2个格点之间的MPO的维度相当于1。

从一个维度为D的初始态I砂(t=o))开始演化,tMPS算法如下:
(1)将奇数项的演化算符e-irHodaMPO作用到I妒(£))上;
(2)将偶数项的演化算符e-irHeve"MPO作用到e-i7儿aal矽(£))上;
(3)将得到的维度为d2D的MPS[矽(t+7_))=e-irH,…e_ir巩aa l妒(£))近似至
维度为D的MPS,并监测近似误差。当维度为d2的MPO作用到维度为D的
MPS上时,得到的MPS的维度会变为d2D,为了避免MPS的维度随着MPO的
作用指数增长,需要将其近似维度为D的MPS。当然,在时间演化过程中,截
断的维度D可以随着演化的时间变化而变化。由于在实时间演化过程中,需要
的截断维度D会随着演化时间的增加而增加,我们需要控制演化的时间长短。
图2.8是时间演化的tMPS算法。在演化过程中,对于每一次演化,我们都可
以计算相应的观测量,来分析观测量随时间演化的行为。如果将上面的实时间换
做虚时间,我们可以得到计算基态的虚时演化方法。
对于给定哈密顿量宜的物理系统,系统的任意量子态I矽)总是可以写成各
能量本征态l机)的线性叠加,即I妒)=∑。:o l饥),那么一定有:

,l—im e—f膏I妒)=∑,l—im e一1-R㈨o(I咖)


n=0
(2.65)

其中反是第扎激发态的能量本征值,I饥)是相应的波函数。由此我们便可以得
到基态。

2.6.2 MPS的低维近似

在tMPS算法中,当将维度的D。:d2的MPO时间演化算符咖:e-ir自作
用到维度为D的MPSI妒o)上会得到新的维度为D。D的I妒),我们需要将其近似
20

万方数据
第二章一维系统的MPS理论

嘶 ‰ }:

出 鼬 柏

;:.
出 ‰ }:

产爹甲虿窜?室守甲鬻
出 ‰ 蚰
簪一一一翻燃溺爱卜漓}鬻鬻鍪
黼鞘霹鬻霸瓣l麟 戮 鞭鬻目孽麟
鞲l睡麟 鞭


一 露—豁潮冷*■瓣■卜鬻一璃卜囊一

嘶 ‰ 柏
◇铡卜—㈣蠢…攀囊—潮豢霾
基 量 土 上 上 ▲量土一

—e-=n 删" 蠢

图2.8 tMPS时间演化算法。通过使用Trotter展开,将演化算符e—tr丑分为两部分e-i-trioat
和e-i'rHeven,并将其写成MPO形式,连续将其作用到态I砂(t=o))上。

至维度为D。的l每)。这时我们需要优化的目标函数是

缎弱舞二器w)_(妒~1w1妒o…狮)
=《咖}Ⅳt彬i妒o)一(妒o}Ⅳ’l矽)一( )+(矽I矽)
仁66,

目标函数删妒))衡量了{矽)与彬I讥)的近似程度。由于删矽))是一个关于矩阵
元A慧,。的高度非线性方程,和表达式(2.52)的最优化问题一样,可以通过迭
代的方法来对这个目标函数进行优化,即以初始的态I矽)为出发点,先把A5t当
做未知变量其他的张量当做已知量来求得A“,然后再将A8i+1当做未知变量其

他的张量当做己知量来求得43Ⅲ,依次进行下去,直至目标函数.厂(|妒))达到特
定的精度【20]。

假设MPS l矽o)、MPS l妒)、MPO W形式分别如下:

咖)=∑451A。…AsL-148L1sls2…sL) (2.67)
Sl’‘’sL

巧)=∑Asl五∽…ASL-1 sL¨。…sL) f2.68)


sl…sL

咖=∑Ⅳ5181Ⅳ5285…w5L-152—1w5Ls2Isl…s三)(s:…s2I f2.69)
sl・一SL,si…s2

为了得到近似后的态l易),对川巧))求关于矩阵元Asi+的导数并令其为0,
21

万方数据
第二章一维系统的MPS理论

这样我们会得到一个关于A乱的线性方程,方程的解就是我们所需要的。很显然

瓦af=煮((m)“嗍蛐)
=∑(A”…A8¨+)n¨(AsⅢ+…A~S--)毗弘…五8…弘

一∑(A……A舡1+)吣,(A¨1}…A—sL*)啦A5i…A5:…A吒w刚1…w踟:…Ⅳ3工s2

=0

(2.70)
匕述S:Ic表示将除了-b格点i相连的其他的所有指标进行求和。令

唆“¨=∑(dSi-l¥...五s1阶1…扣)吣小¨
二…8≯1 … 、 (2.71)
蛾A 2∑(isi+it...A观+A眠一ZSi+1)%。。

锚c4-1h=∑.∑(和咿“啦一・AsH胪《A玑一As'-1)吣^…
51…5‘一l 5j。‘5i一1

Rnt6ci;=∑∑(/isi+lt胪+1s。一・弘咿Ls衍t—A4+1)蝴
5i…5L 5≯。8Z

(2.72)
所以方程f2.70)可表示如下:

∑心.h址,增A砭116。=∑∑∑L吣Ci-1。¨A吣4 116。嵫‰R啪e4。(2.73)
bl—ibi bl—ibl c/一ici
s:

如图2.9所示。对于每一个si,方程(2.73)的左边,MA和MB可以经过变形后得
到一个D:×D:的矩阵(MAMB)。¨。曲¨bt,A毒乩b;可以看作是一个长度为D:
的列矢量,方程(2.73)右边也可以看作是一个长度为D:的列矢量。可以看出方
程(2.73)本质上是一个线性方程组。可以通过利用I移)的正则表示,将MA和
MB化为单位矩阵,这时方程(2.73)可化为:

五意一=∑∑∑L:二:6‘-…A4乩k皑iq磁。i
6‘一ibi c/一lC4 s:
(2.74)

现在我们将一个维度为D。D的MPS彬l妒)近似成一个维度为D。的MPS
l砂)的算法描述如下(开边界条件):
(1)从一个初始态l硒),将其右正则化,使得(MB)%bi=6ai,bi。
(2)从第L格点到第2个格点,依次计算磁∥并将其存下来。
(3)按照从左向右的顺序,依次对第1个格点到第L一1个格点进行求解得

到A象乩。。,按如下步骤:利用i一1格点处的张量LC。4“-1 6¨和i+1格点处的张量
R:::6川以及i格点处的MPO算符w嘲求解得到A意“ni,然后对其进行QR分

万方数据
第二章一维系统的MPS理论

谶!口f一1兰n
二■单。a;i。 -_k
穆◇◇
飞飞 3il


貔濑嫩
l l
豳躐
T■h谶T 基l。 篁ZF=菱q i复篓篓
l……一.‘ L………一一
雌一。址。 吆扫。 吣1白f_1
,1、LC“i£-一11白£一1 RCiRaibi
(a)

儿、LCⅡi£_1-1‘b£_1 R‰
“nA
(b)Ⅱm一1
图2.9 (a)咖l妒)的最优近似通过用迭代法求解线性方程组来得到。(b)线性方程组(2.74)的
图表示。将近似的MPS|硒)利用正则化,使得线性方程组(2.73)化为更简单的形式。

解,由O矩阵可以得到左归一化后的张量A盏乩。i并将其视为第i格点的解,这
使得(MA)。小;=6。。,b;。然后利用L基二:b¨和A2乩。。构造第i格点的张量L乏”
可将QR分解中相应的R矩阵乘在下一格点的张量~si+蝌l。,将这个整体视作第
i+l格点的张量。计算目标函数川巧))。对第i+1个格点重复上述步骤直到第
L一1个格点。

(4)按照从右向左的顺序,依次对第L个格点到第2个格点进行求解得到

A。2乩啦,按如下步骤:利用i一1格点处的张量三基二:6¨和i+1格点处的张量
R嚣:6川以及i格点处的MPO算符W吲求解得到A2“。。,然后对其进行LO分
解,由Q矩阵可以得到右归一化后的张量A象,。i并将其视为第i格点的解,,这

使得(MB)。“6。=6。。’6;。利用R象:6…和4鬈“。;构造第i格点的张量R基6;。可将
LQ分解中相应的L矩阵乘在下一格点的张量4盏二k一,,将这个整体视作第i一1
格点的张量。计算目标函数。,(}砂))。对第i一1个格点重复上述步骤直到第2个
格点。

(5)重复步骤(3)和(4),直到目标函数州巧))达到特定精度。

在上述求解过程中,计算量主要取决于L:二:6¨,fz。ciⅢ+l bⅢ以及川硒))。计算
L基二:6“和R嚣:6Ⅲ的计算复杂度约为o(Ld2D三DD。+LdD”D2Dc+LdD”DD:)。
计算目标函数川够))主要取决于(妒oIWtF矿l砂o),在咖不是幺正算符时,其计算
复杂度约为O(2LdD三D3+2Ld2DaD3)。
23

万方数据
第二章一维系统的MPS理论

FS2 Fs3 FS4 FSs FS6

图2.10 r-A形式的MPS。在每个格点上k有d个矩阵r“,并且在第七和尼+1个格点之
间有一个对角阵A【矧

2.7 TEBD时间演化算法

上一部分我们介绍了一般的MPS形式下一维系统的时间演化算法。这一
部分我们介绍另一种处理起来十分方便的时间演化算法——逐块时间演化算法
(TEBD)[22,23]。

2.7.1 MPS的I、.A正则形式

前面我们介绍的关于MPS的算法理论都是基于MPS的正则表示或者一般
形式。Vidal引入了另一种MPS的表示形式,即11-A形式[21],如下:

IⅢ)=∑ ∑ r::人‰r箸。:A‰…r。[S—L 1。一A旺k一。r兰一。|s1...sL)


8.1・・・SL=I al…aL—18,1・・・sL

(2.75)
可以简单记做:

I妒)=∑I,SlA[1lr52A‘2]…Fsz-1A‘¨1r5L删|s1...sL) (2.76)
81・-・SL=I

如图2.10所示,在每个格点k上有d个矩阵rsk,并且在第尼和尼+1个格点之
间有一个对角阵A[k】。并且在这种形式下,对于1≤尼≤L的任意一个格点,我
们可以直接写出它的施密特分解形式:

妒)=∑A。。㈨AI。七)B (2.77)
ak

其中施密特系数就是矩阵对角阵A【纠的对角元,入。。=人嶷,。。,相应A部分和B
部分的基矢分别为:

l。七)A 2∑(r51人…r”…A[k-1]r8‘)。。Is-…s南) (2.78)

In七)B=∑(F8≈+1A‘七十11r5%十2…A‘L一11r5L)。。8k+l'''SL) (2.79)

并且A的基矢{lak)A)和B的基矢_[Jn七)B)是各自互相正交的。注意到这种形式
和混合正则表示的形式非常类似。在r.A形式下,将这个系统任意分成两部分

万方数据
第二章一维系统的MPS理论

A和B,其相应的施密特分解形式都可以明显写出,所有的奇异值都记录在对角

阵人中,A和B之间的纠缠熵也可以由SAIB(I矽))=一Tr以l092以立即得出。这
种r.A形式也称为MPS的正则形式。
前面利用SVD分解得到了任意量子态的正则形式的MPS,我们也可以用
SVD来得到任意量子态F.A形式的MPS。先将系数c”…写成一个d X d。1的

矩阵皿礼趼…,然后再对其做SVD分解,不断迭代下去。相应的奇异值矩阵为
A[k】。在第一次做SVD时,把得到的矩阵As,命名为rm。在随后的做SVD的过
程中,把奇异值矩阵A与∥相乘得到矩阵Ⅲ,然后再对Ⅲ进行变形,依次进行
下去。同时把U矩阵进行变形,Uo¨%ot-÷A魏…,并令

A嚣一。,。。=A旺:!。。一,r最一。,。。, (2.80)

这样通过左正则化的方式我们得到

cs,…sL

2Ⅲs-却…s工2∑al A嚣(A聊m(y+)ntm…sL)
=∑r嚣皿哪。朋…。L
= F
乱虮

眈皿

…眈 眈 a∥ b 舟 皤L
、●/
m 。 2

(2.81)
= r
龃眦
A Ⅲ虮 旭 ^r曙崆‰ 眈 皿 ∞拂 一 驴一 札

∑一∑一

ala2a3
r5all--^盟,。。r2,。。A笔,。。(A。[2。1,。。(y+)。。烈…。L)
∑ p。sl。A。ll。],。。r:1,。。A鲤,。。r笔,。。Ⅲ。。。。,。。…。L
nln20,3

这样我们便得到了看起来像是r.A形式的MPS。但我们要注意的是,只有A的

基矢f舭)A和B的基矢k)B各自满足正交性,上述形式才是正确的F—A形式
的MPS,不过这一点也是显而易见的。由第1个格点到第尼个格点构成的A

部分,其基矢显然是互相正交的,这是因为A韶“。。=人东:{。。一。r勰乩。。是左
归一化的。而由第尼+1个格点到第L个格点构成的B部分,其基矢是由矩阵

吃蛳。。柑。L中的每一行构成的,而矩阵吃扎。。柑。L中的各行是彼此正交的。所
以上述的r.人形式是正确的。
当然,我们也可以按照从右到左的顺序,按照对MPS右归一化的形式通过
做SVD分解来得到F.A形式,但在这种情况,相应的右归一化矩阵与r.A形式
的关系为:

_B嚣一,,。。=r嚣一。,。。A嶷,。。 (2.82)

一旦有了r.A形式的MPS,我们可以得出左正则形式和右正则形式的MPS
以及混合正则形式的MPS,只需要将r和A重新组合即可,左正则形式的MPS

,S

万方数据
第二章一维系统的MPS理论

r和人的组合方式为:

(r8-)(A【1】r8。)(A【2】r8a)…(人皿一2】r8L一-)(ALL一1】r8L) (2.83)

其中每个括号的整体代表左归一化矩阵A,如图2.1l(a)。右正则形式的MPS F和
A的组合方式为:

(r8-人【1】)(r8。A【2】)…(r8L—z A【L一2】(r8L一・A陋一1】)(r5L) (2.84)

其中每个括号的整体代表右归一化矩阵B,如图2.1l(b)所示。混合正则形式的
MPS F和人的组合方式为:

(r3-)(A【1】r8:)…(人陆一1】r5*)At叫(r5t+-A【南+11)…(F,Z-z人【L-1】)(r5L) (2.85)

其中AN左边,每个括号的整体代表左归一化矩阵A;AN右边,每个括号的整
体代表右归一化矩阵B,如图2.1l(c)所示。相应的左归一化矩阵和右归一化矩
阵分别由方程(2.80)和方程(2.82)得到。

矜◇●博 A A A 4 A

11s1
| 人[1】 l
Fs2
八[2】 l
Fs3
◆胪 , rs4
◇胖 甲 》舻 ,㈨
FSs Fs6

8 B B B

◇◆ I砂)
| 人[1】
B分k 一◆删
阜~争k ~◆胪
甲降 ◇世
节降 ◆胪
◇k
A A A B B B

(c)◇◆ 甲 ◇俨 , ◆舻 呷
1 人[1] ◆鼍= 兮 ◇舻 甲 砂)
Fsl

图2.11 MPS的r—A形式和其左正则表示、右正则表示以及混合正则表示的关系。(a)将
r—A形式变为左正则表示。(b)将11一A形式变为右正则表示。(c)将r-A形式变为混
合正则表示。

2.7.2 TEBD算法

有了r-A形式的MPS I妒),便可以直接将演化算符作用到I妒)上来得到演化
后的量子态。先考虑作用到格点k和k+1的无穷小时间演化算符e-i.rht。将时
间演化算符用格点k和k+1处的局域基矢展开:

G鼬M,5碱+-=(s南s南+1 le-irhk Is:s01). (2.86)

万方数据
第二章一维系统的MPS理论

度 i中◆’“

胆◇ 刖◇ 删乞
陬甲 阿甲

(e)

图2.12 TEBD算法。将一个两体演化算符作用到r—A形式的MPS上:(a)演化算符只作用
到七和k+l相连的矩阵上;(b)演化算符作用后得到一个矩阵圣。。一,。¨。+,。。+,;(c)
对矩阵圣。。一,‰。。+,。。+,进行SVD并保留最大D个奇异值,得到褂叫;(d)将SVD
得到的U矩阵和Vt矩阵分别乘以(A【‘一1】)一1和(A【‘+1】)一1得到f’‘和于2+1;(e)
演化算符作用后的r.A形式的MPS。

假定l妒)是维度为D的r—A形式的MPS:

l砂)=∑rsl A[1]r52 A【2】…h[k-1]l-,s‘A[klr阱1A州…A[L-1]r8工|S1...sL).


Sl・・・SL=I

(2.87)
注意到,A[k一11的左侧部分是归一化的,A时11】的右侧部分也是归一化的,所以
演化算符G8t8k+l,《52十・作用到l矽)上时,只对与格点k和k十1直接相连的矩阵
起作用,如图2.12(a)所示,这时我们得到:

t飞§SkS掣k+lⅢ=莓G靴Ⅲ或屯,(一】rs叫即槲舻1)竺+,
s血5知+l
(2.88)

这时格点忌的物理指标s南和格点七+1的物理指标s岛+1分开,将圣嚣%+。变形
并对其做SVD

圣。。一。。。m+,。。+,=∑观。一。。。,。。A嶷,。。(y+)。。胤+。。。+。, (2.89)
ak

这时得到的新的A【翻总共有dD个奇异值,为了保证在演化过程中MPS的维度
一直是D,我们需要保留新的A【叫的最大的D个奇异值进行截断,来得到最优
的截断近似矩阵烈叫。同时为了保证量子态的形式仍然为r.A形式,如图2.12(d)
所示,令

I-口Sk“m=(at凫-11)。-㈧1,。¨观¨%。。 (2.90)

以及

亍嚣强+。=(y+)n脚Ⅲ。Ⅲ(A【槲嚏-1扎。Ⅲ (2.91)
’7

万方数据
第二章一维系统的MPS理论

这样我们便得到演化算符e--izhk作用后的量子态的形式:

I西)=∑r51 A【1】r52A‘21…人[枉1]一天【翻亍sⅢ人时1】…A EL-t]F5L|s1...s工).


s1…SL=I

(2.92)
然后再将下一个无穷小演化算符e-irhk+2作用到I妒)上,按照上述步骤依次进行
下去。
上述基于r.A形式的MPS的时间演化算法称为TEBD[20,22]。和tMPS时
间演化算法一样,TEBD也可通过采用虚时间进行演化来得到基态。同时TEBD

方法也适用于计算一维无穷大系统[23],这时可借助系统的平移不变性,其方法
和有限系统时是一样的,这里不再细说。

2.8小结

本章我们全面地介绍了一维系统的MPS理论。首先我们通过矩阵分解得到
了任意一个量子态的MPS表示,然后从纠缠熵角度的面积定律来分析MPS可
以以很少的参数来有效地刻画物理系统的基态性质。接着我们介绍了MPS在数
值计算中的相关算法,包括如何有效地计算可观测量的期望值,如何用变分的方
法来求解基态等。最后,通过将演化算符写成MPO形式,介绍了如何有MPS来
求解一维系统的时间演化情况:实时间情况对应量子力学中量子态的随时间演
化的薛定谔方程,虚时间情况既可以用来计算统计力学中的配分函数,也可以用
来求解系统的基态波函数。最后介绍了Vidal引入的MPS的r—A形式,并分析
了其与左正则形式、右正则形式和混合正则形式MPS的关系。借助于I、.A形式,
介绍了一种非常简便的时间演化算法TEBD。

万方数据
第三章二维系统的PEPS理论

第三章二维系统的PEPS理论

3.1二维系统的PEPS表示

从上一章MPS的表示理论中,我们知道可以将任意一个量子态表示成MPS,
包括描述二维体系的量子态,但对于基态纠缠熵满足面积定律的二维体系,采
用MPS来描述需要的参数会随着体系尺寸的增大而呈指数增加[20]。那么如
何构造有效的二维量子态的表示呢?这个需要从量子纠缠的角度来重新审视这
个问题。我们首先从量子纠缠的角度来理解MPS。对于一维AKLT模型,其基

⑦…◇…国…◇…◇…@
⑦…◇…@…e…◇…@
◇…@…◇…◇…@…@
⑦…◇…囝…◇…◇…固
⑦…@…◇…§…e…@
④…④…◇…◇…◇…@
图3.1 (a)用MPS描述二维体系;(b)PEPS的物理含义,子系统A和B之间的纠缠熵正比
于接触的表面积L。

态是一个严格的MPS。根据AKLT态的启示,我们将其推广到一般情形。考虑
一个量子系统,在每个格点k处的希尔伯特空间空间为d维的粒子可以由两
个希尔伯特空间为D维的虚拟粒子o≈和b南构成(开边界条件时不考虑链的
两端点),而相邻两格点之间的虚拟粒子bk和a七+1形成一个最大纠缠态I饥)=
∑£m+。:1既枷ⅢIbk,口%+1),然后再用投影算符最=∑袅:1∑复,6。:1 A最b。lSk)(akbk
作用到虚拟的nk和bk组成的体系,将其映射到原来的d维的希尔伯特空间,这
样我们得到一个形式如下的量子态I 1Ir):

Ⅲ)=P1 o P2…尸ⅣI≯1)l≯z)…I咖L)

(3.1)
= T A A A L
乱町 观虹 眈

。∑一 。∑一
乱 || 町 一一

其中矩阵A'k就代表了投影算符。上述形式正是一个量子态的MPS形式,D是
MPS的维度。与上一章利用SVD分解得到任意量子态的MPS表示一样,从量
子纠缠的角度也可以得出,任意一个量子态总是可以写成MPS形式,只要D足

够大[24]。注意到上述图像是基于一维系统的,每一个格点的虚拟粒子只和最近

29

万方数据
第三章二维系统的PEPS理论

邻格点的虚拟粒子纠缠,这样的态看起来更适合描述一维短程相互作用的体系,
这时一个比较小的D就可以很好地描述这样的体系。同时,也注意到体系的纠

缠熵的上界为2l092D,这也是MPS(或者说DMRG)成功地根本原因。

当用MPS描述二维体系,这时需要将二维体系看作一个一维链,如图3.1(a)
所示,二维体系的某些最近邻相互作用被看做一维链的长程相互作用。但对于一
维长程相互作用的体系,其基态纠缠熵往往不满足面积定律,使得难以用MPS
来很好的描述其基态,这使得MPS只能用于描述较小尺寸的二维系统。

基于量子纠缠,Verstraete等人提出了另一种描述二维体系的量子态,称为
PEPSl6]。如图3.1(b)所示,体系的尺寸为N×M,对于除了边界之外的每个格
点(h,"),一个希尔伯特空间为d维的粒子由4个希尔伯特空间为D维的虚拟
粒子a^”b^”C^,。和dh,v构成,每个虚拟粒子与其相邻格点的虚拟粒子形成一
个最大纠缠态l≯)=∑。D一,hn),和上面例子的做法一样,引入投影算符R,。作
用到四个虚拟粒子上将其希尔伯特空间投影到原来d维粒子的希尔伯特空间中,
由此我们得到一种特殊的量子态lⅢPEPs):

d∑~ 爿 Tr(A霉i1 qASl,2,2…A黜)I


皿PEPS)= s1'1.一8N,M) (3.2)
三}

其中A麓是格点(h,u)处的一个5阶张量,张量元是4麓=Ah,。(2,r,U,d,Sh,。)=
(8h,vl P(^,。旭r,u,d),s^,。代表格点(九,u)处的粒子的物理自由度,称为物理指标,
2,r,u,d代表与格点(h,u)中左右上下四个方向的虚拟粒子的自由度,称为虚拟
指标。在边界处的虚拟指标维度为1。虚拟指标的维度D称为PEPS的维度。符
号“Tr”代表将所有虚拟指标进行求和。前面我们提到,对于基态纠缠熵满足面
积定律的二维体系,如果采用MPS来描述量子体系的基态,需要的参数会随着
体系尺寸的增加而呈指数增加。但采用PEPS则不会,这是因为PEPS描述二维
体系时天然地满足纠缠的面积定律。如图3.1(b)由PEPS描述的量子态中A和B
部分的纠缠熵瓯lB的上界为Llog。D,其中三为A和B之间接触的表面积(这
里是指A的周长)。又由于满足面积定律的纠缠熵为SAlB=cL,C是常数。这使
得用PEPS描述满足纠缠熵面积定律的二维体系所需要的参数约为D一2。,不
会随着系统尺寸的增大而指数增加。同时,注意到PEPS是由近邻的虚拟粒子纠
缠对构成,这使得PEPS可以很好描述由局域哈密顿量构成的量子多体系统的基
态[37]。

30

万方数据
第三章二维系统的PEPS理论

图3.2
半.菇
萍奔 厶窆墨爹{wP胩s1%u‘ps
(a)维度为D的PEPS的图表示;(b)由左矢(ⅢvEvsl和右矢lⅢPEvs)构成的计算
(皿PEPsf皿PEPs)的双层张量网络;(C)先将张量的物理指标进行求和;(d)由D2×D2 X
D2×D2的张量构成的张量网络。

3.2可观测量的期望值的计算

3.2.1张量网络的严格缩并

和MPS理论一样,一旦有了PEPS形式的量子态, 如图3.2(a)所示,我们需
要计算可观测量D的期望值:

^一(皿PEPslDlⅢPEPs)
。 (3.3)
(皿PEPsfⅢPEPs)’

我们需要分别计算(皿PEPsI皿嗍,s)和(mPEPSlDj卫PEPS)。如图3.2(b)所示,我们先考
虑(ⅢPEPsIⅢ嘟,s)部分:

(皿PEPsI皿PEPs)=乏二Tr(A5Ⅵ4%2…45MM)Vr(A”1,14”1,2…As*Iv,M)
sl,1…SN,M=I

(3.4)
在上述求和中,如果先对所有的虚拟指标求和,则每求和掉一个张量,得到的新张
量的维度就会变为原来的d倍,d是物理指标的维度,这显然是不可取的。比较合
理的做法是先对由左矢(kVpEPsI和右矢JⅢPEPs)构成的双层张量网络的各个格点
的物理指标求和,女IIN3.2(c)所示,砭等≯。。qd,=∑d帆。:1(A瓮矿)hd(A勰?)z,r,。,d,,
是一个D2×D2×D2 X
D2的张量。如图3.2(d)所示,这时我们得到一个新的张
量网络,

(皿PEPSI皿唧s)= ∑(…TⅥimrr,,n)以础…) (3.5)


{zz7rr’ut正7dd,)

在缩并(即对张量的指标求和)上述张量网络时。我们可以按行进行缩并,比如

说先将T堋t(_m,r,'n)“,d∥的(dd')指标和互:器2,dd,的(眦£7)指标进行求和,但这时得
31

万方数据
第三章二维系统的PEPS理论

到的新的张量的维度是D4×D4 X D2×D2,可以看出随着缩并的进行,张量的
维度会随着缩并行数L的增加而呈指数增加【25]。在实际计算中,这一方面会
导致计算的时间随着缩并行数的增加而呈指数增加,另外还会导致计算机内存
溢出。所以我们必须对张量的维度进行截断,使其能够在实际问题中得到应用。

3.2.2双层张量网络的近似缩并

图3.3 (a)缩并双层张量网络;(b)沿着某一方向缩并双层张量网络时,将该方向的第一行
当做一个MPO;(C)利用边界MPO近似的方法后继续沿着原来的方向缩并张量网
络;(d)将一个高维度的MPO近似成一个低维度的MPO,

严格的缩并张量网络是一个NP.hard问题[37】。所以我们必须在缩并张量网
络时对张量的维度其进行截断,用一个低维的张量来近似高维张量。根据标准
的缩并方法,我们需要缩并一个双层张量网络,这时我们采用边界MPO的方法
来对其进行截断。如图3.3所示,沿着某一方向缩并一个双层张量网络。先将第
一行的上下两层的张量的物理指标缩并掉,得到一个MPO,其维度为D2称为
边界MPO。可以采用第二章MPS低维近似的方法,将这个MPO的维度截断为
Dc(一般情况下,第一行得到的维度为D2的边界MPO没有必要进行截断)。然
后将这个MPO与第二行的上下两层张量开始进行缩并,并将其维度截断至D。,
依次进行下去,直到将整个张量网络缩并完。我们将这种做法称为边界MPO方
法[38]。
在对MPO做低维近似时,与第二章2.6.2节介绍的MPS低维近似方法一样,
其最优近似解是通过对目标函数.厂求极值来得到。目标函数的定义如图3.4(a)所
示。相应地,通过对目标函数.厂求关于张量元的导数,并令其为0,会得到一个高
度非线性的方程组。可以采用迭代的方法对这个非线性方程组求解,这时会得到
一个线性方程组,如图3.4(b)所示。在不断的进行迭代后,得到的稳定的线性方
32

万方数据
第三章二维系统的PEPS理论

程组的解就是最优近似解。整个过程的计算复杂度是O(D4D:+dD6D:)。在做上
述MPO近似时,为了达到一个比较好的精度,通常D。。(D2,这时计算复杂度为
O(D10)。上述分析过程和MPS低维近似的算法完全一致,这里不再详细说明。接


(a)

.f=

(b)

图3.4 (a)待优化的目标函数,表示MPO的近似程度。(b)MVO最优近似所对应的的方程。

着我们考虑计算(皿PEPsIOIⅢPEPs)。和计算(皿PEPSI皿PEPs)一样,我们需要采用边界
MPO的方法,但这时我们需要从左右两个方向同时进行缩并。对于最近邻相互作

用,只要缩并方向选择合适,其计算复杂度总是可以为O(D4D:+dD6D;)。但是对
于长程相互作用,其计算复杂度会随着相互作用的距离的增加而增加。如图3.5所

示,0是两体算符。对于次近邻相互作用,其计算复杂为O(D6Di+dD8Di),对
于次次次近邻,计算复杂度为O(D8Dj+dDl0上/,2)。如果取D。o(D2,最近邻、次
近邻和次次次近邻相互作用,其计算复杂度依次为O(D10)、O(D12)和O(D14)。

3.3求基态的变分方法

现在我们考虑如何计算一个尺寸为L×L的方格子系统的基态,假定其哈密

顿量H只有短程相互作用。我们的目标是优化维度为D的PEPS波函数I皿PEPs),

肚(/2/)=甓搿
使其能量最低:

(3.6)

和第二章用变分法优化MPS的思想一致,我们也可以用迭代的办法来逐个优化

波函数IⅢPEPs)的张量At直到能量最终收敛。其核心思想就是在(ⅢPEPSIf/l皿PEPs)
33

万方数据
第三章二维系统的PEPS理论

“。矽。 。嘏。妒。
”’
‰?/■|-/1~/飞‰/鼍e-/1@∥,
-/ ∥ 1雌。

以∥ 70_
。。≮^
’o 7“吖p
r ,



1。 ,∥ ,_ ∥矿
D。

扩。 ≯r or4/p I邯E 7了*


/_一 ,_

厂。厂t 厂k∥k/1。 ■/ 4 一

l嘏。妒
”t


№/’了Ⅳ/飞‰/飞~/一女-/鼍n∥一^

’。影 Ⅳ’渊 ’雌。
, ,

—∥ e-,,
・一
/ 曩。 r
冀潲o ,

竹。 ≮ ●0y 妒矿

D。

’坩o ,o/’
,一
■, —∥
/,_ /一
/’◇ 7’▲/一
厂I -/一t
/ ■一

v/’土/’f 坼E

图3.5 (a)次近邻相互作用的缩并顺序,从作用两个方向同时进行缩并。其计算复杂度为
O(D6D:+dD8D:)。(b)次次次近邻相互作用的缩并顺序,从作用两个方向同时进
行缩并。其计算复杂度为O(D8D:+dDl0D:)。

和(kI/pEvslⅢPEeS)中At都是以二次型的形式出现的。这时采用迭代法后,我们便
可以通过求解广义本征值方程来解决这个优化问题[6,25]。
现在我们需要做的就是求广义本征值方程所需要的矩阵。原则上,我们可以
把(k卫'PEPSl疗I皿PEPs)和(1王rPEPsI皿PEPs)中所有除了与Ai相连的指标之外的所有其
他指标进行求和,并且把张量A当做一个dD4维的矢量4i,那么我们就可以
得到:

(ⅢPEPsl日。I皿PEPs)=A!咒iAi, (3.7)

(KOPEPSItI/PEPS)=A!MAi, (3.8)

这样我们就可以得到这个广义本征值方程:

他Ai=AMAi. (3.9)

由这个关于本征值方程我们可以得到系统的基态能量E=入和相应的波函数4i。
根据前面我们介绍的双层张量网络的缩并方法,可以逐行缩并双层张量网络并
采用边界MPO近似,我们容易计算出M:

…[Ⅳ]附sklr,ud。,d,=酬筘‰6芝 (3.10)

其中y9)lf,rru,d∥d,代表对双层张量网络除了与i格点相连的所有其他虚拟指标求和,
也就是对除了与A和A;相连的所有其他虚拟指标进行求和。这样我们得到了
一个dD4×dD4的矩阵Ⅳ。

万方数据
第三章二维系统的PEPS理论

和计算M类似,我们可以计算有效哈密顿量%。但由于哈密顿量包含了许
多项,我们需要对这所有的项进行求和。假设其中一顼为膏s三兀i解,磅为单
体算符,则相应的有效哈密顿量为:

。"H.…S]S∥klrMud,=LF圳'f,]lr^ud,d,[钒: (3.1 1)

完整的有效哈密顿量为:

饨产∑饨?, (3.12)

咒i也是一个dD4×dD4。这样我们便可以通过求解广义本征值方程得到A,从
而得到基态能量和基态波函数。

3.4求基态的虚时演化方法

3.4.1虚时演化的OU方法

除了可以采用变分的方法来求得系统的基态时,我们也可以采用虚时演化
的方法来得到PEPS波函数的基态[6,25],其原理在第二章关于MPS算法的时
间演化方法一节己介绍过。为了简单起见,假设我们处理的是一个只有最近邻相

互作用的L×L正方格子上的物理自由度为d的海森堡模型H=J∑㈦、Si・Sj,
其中(i,J)代表对所有最近邻的自旋对进行求和。利用虚时演化求解基态的思路
如下:首先,我们有一个维度为D的PEPS l皿PAFOPs),其物理自由度为d,初始态
可以是随机态。然后利用虚时间演化算符D=e一册作用到IⅢ器。)上后,得到
一个维度为DB的新的PEPSI嵋Eps):

Ⅲ岛s)=u^l掣PAEPs0), (3.13)

由于演化算符D的作用,IⅢ磊Ps)的维度将会是原来的l虫器s)的维度D的,y倍,
即DB=7D,这时我们需要将l皿名Ps)的维度进行截断得到维度为D的新的量
子态I皿PAEPs),然后把I皿鑫Ps)作为下一次演化的初始态。所以整个算法的关键就
是如何采用高效的算法来对I皿篷Ps)进行截断。
在将演化算符D:e一膏r作用到量子态上时,我们需要对哈密顿量岔进
行Suzuki.Trotter分解,这时哈密顿量会被拆分成4部分,分别是水平方向的

奇数项相互作用戡d=∑墨1∑丝;s诩一1-Si埘和偶数项相互作用硪。。=
∑墨1 ELl2一~Si,2j-St,幻+1,以及竖直方向的奇数项相互作用觑d=∑丝;∑名1 s2i—l,j
S2iJ和偶数项相互作用觑。。=厶∑_佰L/12-1∑笔1 S2巧・s2汁1,j,假设L为偶数,即:
//=戡d+戡。。+觑d+觏。。. (3.14)

站d、戡。、如d和戡。内部的每一项都是互相对易的。这时相应的时间演化
算符用Suzuki.Trotter分解可以写成:

.U = e
— .H r
= e
— .H ^以 d『 — .H ^删
e m re 一 吆 d


一 鲰 竹

+ D 丁

/L 3

¥於

万方数据
第三章二维系统的PEPS理论

,本一:唪一
溅 ≯黧攀
(b)/_。∥/■已∥IL}
㈣一缫 芝蕞驾芝彬删
篮弧0 j 0’

∥0蛋之是翟 卜D


r‰≯~“1 F焉≯rI=I~| 鼻“《


,《 ≯ }Ⅲ建 弘


} l卜

≤》 ? 蹀
。。 。. ≯
图3.6 虚时演化的OU方法。(a)通过对一系列两体演化算符做施密特分解,然后将其作
用到量子态I皿PEPA0 s),当把所有的演化算符e一站ar、e一直矗enr、e一宜‰7和e一舯evenr
全部作用到I巫PAEP0 s)后,得到新的量子态I雪PEPB s)。(b)求量子态I皿玉s)最优低维近
似I皿PAEPs)的方程。

由于哈密顿量中包含的都是两体相互作用,这时每一个演化算符相当于作用在最
近邻的格点i和J上的一系列两体算符G巧的直积,图3.6(a)给出了算符e一站a1.
作用在量子态lⅢPEAOPs)时的图表示。我们可以将G订进行施密特分解:

G 一” = U
旺; 圆 哼 (3.16)
7∑d
这是将两体算符G巧作用到l皿PAEP0 s)上时,I皿啷AO,s)的A?和A?就会更新,假定格
点i和J在水平方向上是最近邻的,那么更新后的张量为:

吲器。砌=∑蚓;渺?屯 (3.17)
s2=1

齐口

[Bj];lkhd=∑【哼]轳;‰ (3.18)
s≮=1

如图3.6(a)所示,更新后张量的水平方向公共的虚拟指标的维度将会变为原来的
叫倍。所以如果我们演化算子e一日‰r、e一裁enr、e--H:dd丁和e-H:%en7依次作用到
IⅢPAEPO s)上时,我们会得到一个维度为7D的新的PEPS IⅢ岛s)【25】。
现在我们想要用一个维度为D的PEPSIⅢAEPs)来近似I皿是Ps)。根据我们第
二章MPS低维近似的算法,我们需要优化的目标函数为:

f邓(Ai)=。Il嗡ino。s)>+-?羹嗡>1’-pAE
=(皿 。)呻枷‰)呻孙∞(3.19)
sI皿惫s)+(Ⅲ磊Ps J皿玉s)一(皿鑫PsI皿名Ps)一(皿名Psl皿藩s)
、 。

万方数据
第三章二维系统的PEPS理论

这是一个关于张量A的二次型。我们可以通过采用迭代法求解线性方程组来求
得最优的Ai。把张量Ai当做一个dD4维的矢量么i,有

(klpPEPs l皿PEPS)=A:M4{, r3.20)

(Ⅲ鑫Ps lⅢ鑫Ps)=AjMi. f3.21)

通过对表达式(3.23)对Aj求导并另导数为0,可得到线性方程:

MAt=Mi f3.22)

我们称Mi为A的环境。在计算A时,我们同时可以检测目标函数f(Ai),当其
达到某一精度时,我们便得到了这个精度下I皿惫s)的最优近似I皿岛s)。图3.6(b)
给出了上述线性方程的图表示。根据前面介绍的双层张量网络的缩并方法,我们
可以有效地计算M和Mi,这里不再赘述。在上述虚时演化的OU方法中,我
们需要同时计算M和Mi,在缩并双层张量网络中如果边界MPO近似的截断
维度为D。。(D2,则其计算复杂度为O(D10)。

3.4.2虚时演化的FU方法

如果在虚实演化方法中,我们先只演化水平方向第七行而不演化其他行,即
先将第尼行的奇数项演化算子鹏d作用到第尼行,然后再将第尼行的偶数项演
化算子弛。作用到IⅢPAEP0 s)的第尼行,3.7(a)所示,这时得到新的PEPS l皿玉s),
其第庇行上的所有张量的水平方向的虚拟指标的维度将会变为原来的,y倍,而
其他行的维度仍为D,然后我们可将第七行的虚拟指标维度截断至D,得到
lⅢ盆p。)的最优近似PEPS I皿备P。),其所有虚拟指标维度为D(出来边界处的虚拟
指标外);接着我们可将第忌+1行的演化算符作用到I皿岛s)的第尼+1行,重
复上述步骤。当把水平方向每一行的演化算符作用完为后,我们接着把竖直方向
第m列的演化算符再作用到量子态上,和上述对行的处理类似。这样的虚时演
化方法称为Fu(full update)方法[5]。在Fu方法中,我们依然要将PEPS l皿pBEps)
近似成PEPS IⅢAP。),相应的目标函数为

f邓(Ai)枷=I IⅡ'瓢AEps)(I裳‰呻纠咯)_(咯。I'卫Zp。)(3.23)
=(皿鑫P。l皿盒P。)+(Ⅲ名P。IⅢ磊P。)一(卫惫。IⅢ玉。)一(皿名Ps 。)
‘ 。

和OU方法一样,相应的线性方程为

MAt=M{ f3.24)

但由于我们只需要近似l皿磊Ps)中第七行的张量,所以由M便可以很容易得到
的Mi,如图3.7(b)所示,不需要额外太多的计算量。而在OU方法中,我们需
要分别计算M和Mi,所以其计算量比Fu方法要高。
37

万方数据
第三章二维系统的PEPS理论

图3.7
一冷零~
虚时演化的FU方法。(a)对第k行的两体演化算符做施密特分解,然后将其作用
到量子态I皿PEPAO s)后,得到新的量子态I皿是Ps)。(b)求量子态I皿PBEPs)最优低维近似
f皿惫s)的方程。

从算法精度而言,原则上,OU方法对i格点处的张量A的环境Mt计算
得更加精确。对于标准的虚时演化做法,当第k行的张量Ai演化时,其他行的
张量也应该进行了演化,而FU方法在计算环境Mi时认为其他行的张量没有演
化,因此其对Ai的环境Mt计算没有OU方法精确。因此在相同参数情况下OU
方法的精度应该比FU方法更高。但对于虚时演化算符,在时问步长7_很小,一
般为0.001,这时FU方法对环境Mt的处理也是十分合理的。从计算量而言,由
于FU方法对环境朋;的处理,使得其计算量比OU方法要低。但是由于FU和
OU方法上都必须要缩并双层张量网络,因此两者的计算复杂度都是一样的,在
截断维度D。o(D2时,两者的计算复杂度都为O(D10)。

3.4.3基于虚时演化的SU方法

在讲述一维系统的MPS的TEBD算法时,我们介绍了r.A形式的MPS。我
们可以把这种形式推广N-维,得到SU(simple update)方法所采用的波函数的
PEPS形式【39]:

皿PEPsSU)=∑Tr(…一(AI如1);(A∽§(人㈣;(人㈣h)№。】.)(3.25)
{s^,")=1

其中格点(^,u)处的张量r眠u和l皿PEPs)中的张量。A.S^h.。,.的维度是一t'4-flO。AI^'训、
人9,训、人翳,"1和A乎’叫分别是格点(^,u)和其左、右、上、下格点之间相连的D×D
的正定的对角阵(在边界处的人矩阵维度为l×1),如图3.8(a)所示。MPS理论
中的r.人形式的人代表其施密特分解的系数,而这里的A没有明确的物理意义,

38

万方数据
第三章二维系统的PEPS理论

不过可以把它理解为格点(h,V)和其周围环境之间的纠缠的粗略的度量[38】。这
种形式的波函数在处理无穷大系统时取得了很好的结果【39]。

失 9,
■K F二王◆
争伊妒舻, 每


二一茅'Pj二{土 \
◆唪叫甜瓢移‘艇磅
p曩0一
A掣 专
戡A龇m A^纨
\”套7 A…丫
令 7
譬 \:嗲
A”A
'”氏◇
‰鑫:一C螽’茁。
争 《 №

* ◆ 专 ◆ 阻 盒

h巍▲。▲。▲
聂 ◇ 二赢工~”1
捌 \7甲
k矗。簇麴臣

(b)
图3.8 (a)SU虚时演化方法中波函数IⅢPSEUPs)的形式。(b)两体算符G作用到|皿PSEPU s)上的
格点i和J时,只考虑与r8t和F%相连的张量或矩阵,如图中的黑色虚线框所示。

现在我们介绍如何采用这种波函数进行虚时演化,也就是SU方法[39】。考
虑正方格子上的海森堡模型,前面已经提到,方程(3.14)所示的哈密顿量日由
四部分构成,每一部分所包含的各项都是两体算符,这时每一个演化算符相当
于作用在最近邻的格点i和j上的一系列两体算符G的直积,如图3.6。我们先
只考虑作用在格点i和J上的两体算符G的作用。根据MPS的TEBD算法的精
神,演化算符作用到lⅢpSFUP。)上,只会改变与格点i和J相连的张量或矩阵,如
图3.8(b)所示。假设i格点在J格点的左边,我们按如下步骤来更新i和J格点
处的张量r“、r叼以及i和J格点之间的张量A掣,如图3.9所示。注意A拶和人P1
是一样的。

第一步,将rst和代表其环境的对角阵A掣、人∥和人掣相乘得到T8,将r勺
和代表其环境的对角阵人窖J、A#J和A?1相乘得到TsJ,并用指标z标记张量r黾
的指标n和张量r勺的指标ff

珐如。=r,2刎;(硝)喇;(AI‘k。(硝)删;, (3.26)

T乏勺dJ=F。sJ。Jq由(人2】)q嘶(A罗)。。(A罗)也奶. (3.27)

第二步,将G用格点i和歹的局域基矢展开得到G郇鲈弼=(stsJIe—ir元订ls:s;),
并将算符G作用到T民和T勺以及A:上,这时我们得到张量圣

d D

西、sil巧iu嘶id如i=∑∑8iSj’8:加3T2iu池。磁rJ嘞(A鼽。
x=l
(3.28)
s玛=1

39

万方数据
第三章二维系统的PEPS理论

第三步,将西£肇毳进行变形得到维度为dD3×dD3的矩阵西。。‰dt,勺q嘶由,
然后对其进行SVD

dDa

西st2潮画聊粥由=∑%驰池。(硝)。。(∥)嘶q呦由 (3.29)
x=l

这时得到的新的人粤共有dDa个奇异值,我们将其进行截断,只保留最大的D
个奇异值,得到更新后的维度为D×D的对角阵天笋。同时截断后U矩阵和Vt
矩阵的维度分别为dD3 X D和D×dDa。
第四步,为了将量子态变回方程(3.25)的形式,令

于蒿;。。也=以。如。;函^(A翔)三乞。(A尸)矗(人字)乏≥, (3.30)

亍蠢q由=(∥li,sjrjuj由(趔)未,(A,[j],q-1q卜d[J1)蔬. (3.31)

这样我们便得到了演化算符G作用后的新的张量于&和1“-,8,以及对角阵天粤。
第五步,将其他位置的演化算符,按照上述步骤作用到上面更新后的量子态
上,直到所有的演化算符作用完。

(a) 1}‘ ≯ ㈦

2勺暾 泌
^lu,n掣A:1亨 ^!j
_ ∥。.如

群争
\~i F
/一\
噶端

I (d)

万≮聪≮

l¨U,i ’ (e) 0 n警0 n掣

●_铷1H一 .群玲 ∥粉 _
癌嘲嘲嘲蹴嘲测
& i习
¨

舻b,蟛 中擎一
蟛,一f
◆綦锄 芦~赢:F笨≯
中n掣 拿“翟

图3.9 虚时演化的su方法。(a)两体算符G作用到I皿辫。)上的格点i和J上;(b)算符G
作用到I皿PsEPu s)上的格点i和J上后得到张量西。simliu。i㈣di,.1、"c)对矩阵圣。。k。涵,勺q。j奶
做SVD,得到U矩阵和yt矩阵以及奇异值矩阵,并保留奇异值矩阵最大的D个
奇异值得到A掣;(d)将张量u和张量yt乘以各自环境A的逆(除A一之外);(e)演
化算符作用后的r—A形式的PEPS。(D通过对张量T毗和T5J分别做QR分解和
LQ分解来做虚时演化。

可以看出上述SU方法计算量最大的部分是对矩阵维度为dD3×dD3的矩阵

垂。也。idi西q呦由做SVD,其关于计算复杂度是O(daD9)。但实际上,我们可以通过
采用QR分解和LQ分解将计算复杂度降低至O(daD5)【40]。如图3.9(f)所示,我
们将方程(3.26)中的冠幺文z和方程(3.27)中的磁巧由分别进行QR分解和LQ
40

万方数据
第三章二维系统的PEPS理论

分解,得到的矩阵Q嘲和R嘲的维度分别是D3 X dD和dD×dD,矩阵L吲和

Q吲的维度分别是dD X dD和dD X Da。然后将演化算符G作用到R㈦人m三∽


上后并进行SVD,得到矩阵U、yt和奇异值矩阵,保留奇异值矩阵的最大D个
奇异值得到天拶,再将u矩阵和Q吲相乘并乘以环境A的逆(除A∥之外)得到
亍m,将∥矩阵和Oh]相乘并乘以环境A的逆(除A∥之外)得到r≈。采用QR
和LQ分解后,SU方法的关于D的计算复杂度只有O(D5),远远低于OU方法
和Fu方法的计算复杂度O(D101。由于su方法很低的计算复杂度,使得可以用
这种方法处理维度D很大的PEPS。
尽管SU方法在无穷大系统时得到了很不错的结果,但在有限系统时其结果
确不仅如人意。和OU方法与FU方法相比,SU方法对格点环境的处理仅仅是
采用了一个对角阵人来代替,这是一个很粗糙的近似。在一维的MPS方法中,
得益于施密特分解,A代表的是严格的环境,而对于二维系统,无法通过施密特
分解来得到方程(3.25)的波函数形式。不过由于SU方法的低计算复杂度并且
易于操作的特性,可以用它得到的波函数做为其他更精确的方法(比如说FU方
法或者后面我们提到的梯度优化方法)的初态。

3.5小结

本章我们从量子纠缠的角度重新理解MPS理论,并将其推广到高维系统得
N--维系统下满足纠缠熵面积定律的PEPS表示。接着介绍了PEPS做为数值计
算工具时所需要的手段,包括利用边界MPO方法进行双层张量网络的缩并。由
于PEPS的复杂性,在标准的双层张量网络缩方法中,其计算复杂度高达O(D10),
这是PEPS用于数值计算时所面临的一个重要难题。然后介绍了如何用变分法来
求PEPS形式的量子多体系统的基态。最后详细介绍了利用虚时演化方法的来优
化PEPS得到多体系统的基态,包括OU方法、FU方法和SU方法。OU方法由
于其巨大的计算量,使得能处理的PEPS的最大维度D很小。FU方法在OU方
法的基础上做了些许改进,使得其计算量比OU方法略低,但由于其计算复杂度

仍为O(D101,使得其处理的PEPS的最大维度D仍然不大。SU方法吸收了MPS
的TEBD算法的精神,对PEPS波函数形式做了改变,使得可以处理的PEPS的
维度D能够达到相当大。但由于SU方法中,格点的环境仅仅是通过一个对角
阵来代替,这样的近似过于粗糙,使得其能达到的精度比较有限。不过SU方法
为其他的更为精确的方法提供了一个很好的初始态。

41

万方数据
万方数据
第四章张量网络态的副本交换分子动力学优化方法

第四章张量网络态的副本交换分子动力学优化方法

发展高效的求解强关联的量子多体系统的数值算法是现代凝聚态物理最核
心的课题之一。最近发展起来的张量网络态(TNS),包括矩阵乘积态(MPS)[20,
2l】,投影纠缠对态(PEPS)[6],弦态(SBS)[41],以及多尺度纠缠重整化试验态
(MERA)[23】等,为解决一些量子多体问题提供了新的方法,有望解决一些长期
得不到解决的难题。在张量网络态的框架下,张量网络态可以作为量子多体系统
的变分波函数,变分空间可以由这些张量来表示。随着系统格点数目的增加,张
量的数目会线性增加。每一个张量包含了一系列参数,参数的多少由其维度D
来度量,D称为张量网络态的维度。有了张量网络态做为变分波函数后,我们
便可以通过变分的方法得到系统的基态能量和相应的波函数。然而,在实际应用
中,对于一些性质很复杂的体系,比如说自旋阻挫系统和费米子系统,求解基态
仍然是一个巨大的挑战。

4.1张量网络在实际应用中的困难

有两个主要困难会大大地降低TNS在实际应用中的效率。第一个是很高的
计算复杂度。张量网络态算法的计算复杂度取决于决定其变分空间的张量网络
态维度D的大小。通常情况下,张量网络态算法计算复杂度是相当高的,尤其
在二维和更高维情形下更是如此。比如说,对于一维周期性边界条件的MPS算

法,计算复杂度是O(D5)[24】;二维时对应的是PEPS算法【6]6,其计算复杂度在
开放性边界条件是O(D10),在周期性条件下更是高达O(D16)。对于许多种重要
的物理系统,比如说费米子系统,参数D必须足够大才能得到正确的物理图像。
然而由于目前的计算能力所限,我们一般只能处理D<10这种D比较小的情
形。为了克服这个困难,Sandvik[42]和Schuch[41】等人分别基于MPS和SBS提
出了用蒙特卡洛(MC)采样的技巧来计算物理系统的性质。相较于标准的缩并两
层张量网络的算法,MC采样算法大大降低了计算复杂度。这个算法已经被应用
于其他的ThIS,比如说PEPS[40】。基于MC采样,对于一维周期性的MPS算法,
其计算复杂度由O(D5)降低至O(D3)[42]。对于SBS[41],采用MC采样后,其
计算复杂度对于开放性和周期性边界条件的SBS算法,分别是O(D2)和O(D3),
远远低于标准的双层缩并方法。对于更一般的PEPS表示,其计算复杂度更是大
大降低。
第二个是能量函数关于张量的高度的非线性关系。随着参数D的增加,变
分的参数空间会变大,同时能量函数的非线性程度会增加使得它的结构变得更
为复杂。对于阻挫体系,有许多低能激发,并且基态与激发态之间的能隙非常
小。低能激发会成为能量函数的局域极小值。这最终使得在优化能量函数时,非
常容易陷入局域极小值。事实上,有时当我们增加参数空间时,基态能量反而会

43

万方数据
第四章张量网络态的副本交换分子动力学优化方法

上升而不是下降,这就是由于陷入局域极小值的原因。在这里,我们主要集中在
解决局域极小值的问题。
在这个工作中,基于MC采样,我们发展了一个优化基态波函数的高效的算
法。我们把能量函数的张量当做广义坐标,然后一个量子多体的优化问题映射到
了一个经典力学问题,然后我们采用副本交换分子动力学方法来优化这个经典
力学的势能函数[43,44】。通过交换不同温度之间的的构型,可以有效地避免能
量函数陷入局域极夺值。自旋玻璃体系和自旋阻挫体系会遇到局域极小值问题,
副本交换方法已经被成功地应用于处理这两种体系[45,46]。副本交换方法也已
经成功地应用于优化一些高度非线性问题,比如说一般混合态的三态纠缠[46]。
这里我们把这种方法引入到TNS框架下来优化基态能量。我们通过用MPS求解
一维哈伯德模型[47】以及SBS求解二维五.如模型【9]来验证我们的方法。结果
表明,我们的方法得到的结果在现有的结果上有所提高。值得强调的是,我们的
方法可以适用于更广泛的TNS,而不仅仅局限于特定类型的TNS[40】。

4.2 张量网络态的优化问题与分子动力学方法

为了简单起见,我们用MPS类型的波函数来描述我们的方法。这个方法可
以很容易推广到其他类型的张量网络态,比如说SBS[41]和PEPS[40]。考虑一
个由Ⅳ个格点组成的一维周期性体系,其MPS形式的变分波函数可以写成:

皿 M陷 = T“ A 轧1 A 眈2 A跗Ⅳ 乱

d∑一
其中d是物理指标s七的维度,A≯是格点k处的D X D的矩阵,D是控制变分
空间大小的参数,也称作虚拟指标的维度。考虑一个给定的物理体系,其哈密顿
量为疗,那么体系的能量E=(ⅢMPSI方IⅢMPs)就是每个格点的矩阵A≯的函数,
也就是E=E(fA8。k1.)。现在的主要问题是求体系的基态波函数和基态能量,即
求E(fA》,)的全局最小值和相应的A挈。这个问题可以通过把A挈看成广义坐
标,将其映射成为优化一个经典力学体系的总能量的问题。我们引入一个虚拟的
体系的拉格朗日量:

C = IA:k 12一E({A七Sk)), (4.2)


m一2
Ⅳ∑树 d∑科
其中m是这个虚拟体系中粒子的质量,我们可以将其设为1。A≯是与广义坐标
A≯相对应的广义速度。矩阵的模IIA£II定义为:

A剐= (4.3)

其中凸‘巧Sk(尼)是与A≯中的矩阵元n孑(七)相对应的广义速度分量。
44

万方数据
第四章张量网络态的副本交换分子动力学优化方法

由此我们可以得到欧拉.拉格朗日方程(为了简洁我们略去指标尼):

旦dt丝Oh易一篆扎ao玉
… (4.4)
、 7

进而得到运动方程:
(4.5)
m乜0
2一砭‘
能量函数和其关于n毳的导数可以很容易通过蒙卡采样来得到。
运动方程(4.5)可以用分子动力学方法似D)来求解[48], 这里采用Verlet
算法:

ai易(t+At)=n毛(£)+言△£陋0(£)+a易(£-t-At)], (4.6)

a0(t+At)=ai5(t)+百/△qn巧8(t)+苞0(t+At)], (4.7)

瞒(Ⅲ垆一器㈤. (4.8)

现在我们给每个广义坐标A。引入温度来度量粒子的平均动能:

丁 = @劲V % @缈
。∑渊 d∑d
其中ND=D2d是A%的总自由度。当温度趋于0时,所有的醵和吆都趋于0,
此时我们就得到了E(A:k)的极小值,也就是量子体系的基态能量。当温度足够
低时,体系的行为可以近似为简谐振子在其平衡位置附近的振动,相应的经典力

学体系的总能量是E(T1≈Eo+D2dT。
在用分子动力学来模拟这个经典力学体系时,我们可以让其和一个温度为
T的热浴交换能量,来使整个力学体系维持在特定的温度T下。当进行分子动
力学演化时,由于我们并不关心这个力学体系的动力学,我们可以通过对体系每
一次演化后得到的瞬时速度n纛重新标度,乘以一个因子1,使其维持在特定的
温度T下。这里7=、/丁/T+,T+是由方程(4.9)定义的瞬时温度。注意到如果
我们对一个张量A七乘以一个因子A后,体系的能量E({A≯))并不变化,因此
在做分子动力学演化时我们可以把每一个张量归一化。另外,由于速度A庇任何
平行于A七的分量对能量没有贡献,为了提高效率,在每一次重新标度速度之前,
我们可以把速度A七正交化,使其平行于4%的分量为0:

五七=A七一((A碉k,Ak)A七, (4.1。)

其中两个矩阵的内积定义如下:

(4,B)=∑A荔嘞. (4.11)
i,j=l

45

万方数据
第四章张量网络态的副本交换分子动力学优化方法

通常情况下,对于一个简单的体系,其基态能量可以用模拟退火的方法来得到,
也就是,从高温的时候开始演化体系,然后逐渐降温到零温。如果温度冷却足够
缓慢,原则上就可以得到体系的全局最小值。然而,对于张量网络态而言,由于
能量是关于张量的高度非线性函数,并且对于阻挫体系存在很多亚稳态,在实际
应用中,模拟退火往往会陷入一些局域极小值。

4.3副本交换方法

这里我们采用了副本交换的方法[43,44】,也就是并行模拟退火,来做分子
动力学的演化。在副本交换方法中,我们同时模拟M个不同的体系。这M个不
同体系的温度将设在能避免能量函数陷入极小值的区间,依次为阮=1/瓦驮<
卢1,…,pM一2<pM一1=1/死ino每一个副本在演化时独立进行,但是在演化特
定的步数后,相邻温度会根据Metropolis规则进行一次副本交换:

u=0△H兰兰 f4.12)

其中△何=一(屈一A-I)(豆一豆一1),豆和最一1是第i个和第i一1个副本在某
一固定的演化步数下的平均能量。在已经设定的温度系列中,通过交换不同温度
副本的能量构型,高温构型可以保证低温构型能够得到更大的相空间趋于从而
避免低温时能量陷入局域极小值。在刚开始演化时,整个温度系列是一个指数分

布。在随后的整个演化过程中,最高温死烈=百1和最低温Tmin=.士是固定的,
中间的温度会做适当地调整以保证所有相邻副本交换成功的概率是大致相等的。
由于这个算法本身就是并行的,这使得它比传统的模拟退火方法更为高效[46]。
最低温%i。越低,得到的能量就越精确。原则上,只有%i。趋于零才能得到
真正的基态。然而更小的死i。会需要更多的副本数目,这会使得计算资源大大增
加。此时,我们可以直接把低温区间的温度进一步降低来达到所需要的低温,或
者对最低温的体系直接采用最速下降法或者共轭梯度法来得到更为精准的基态。

4.4计算张量网络态物理量的蒙特卡洛采样算法

在上面的算法中,对于给定的物理系统宜和给定的张量网络态IⅢⅧs),我们
需要计算相应的能量E=%嚣嬲以及能量函数E关于矩阵元。孑的导数。这
里我们采用蒙特卡洛采样的办法来计算能量和其导数。在不失一般性的情况下,
假设系统I皿MPs)描述的是自旋系统,相应的系统的自旋构型lS)=Is・…8N),自
旋构型Is)在量子态IⅢMPs)中的系数为w(s)=(SI MPS)=Tr(AilA;2…A≯),
能量E可写为:

E=尘是捌=去Zs w2(s)E(s), (4・・3)

万方数据
第四章张量网络态的副本交换分子动力学优化方法


邵)=莓器(咖趴
并且Z=∑sⅣ2(s)是归一化系数。这样我们可以通过对所有的自旋构型按照
权重W2(s)进行采样来得到能量。相应的的其关于矩阵元。孑的导数为:

两OE=2(△嚣(s)E(s))一2(△孑(洲E(跳 (4.14)

其中(…)表示利用蒙特卡洛采样进行的统计平均。△巧8k定义如下:

△孑(s)=丽1酉ow(s)=南(雠Sk+。l…48ⅣN钟…罐sk-川1 i,(4.15)

有了上述方程,我们便可以通过蒙特卡洛采样的方法来计算能量函数和其导数。
注意到,上述蒙特卡洛采样的方法不仅仅适用于用一维的MPS波函数,也可以
适用于其他张量网络形式的波函数,包括PEPS波函数和下文将要提到的SBS形
式的波函数。

4.5分子动力学方法的模拟结果

在这一部分,我们会给出关于一维哈伯德模型和二维^.以模型的测试结果。
对于一维模型已经有很成熟的算法,这里我们只是给出结果。我们会在计算二维
系统时讨论算法的细节。

4.5.1一维哈伯德模型

为了测试我们的算法,我们计算了一维哈伯德模型的基态能量[47】:

H=一∑Ciac!+1。+^.c.)+u∑n计扎灿 (4.16)
ia i

为了计算一维哈伯德模型,我们先通过约当.魏格纳变换将其变为一个自旋模型。
这个自旋模型的基态波函数可以用MPS来刻画。以MPS做为变分波函数,我
们采用了副本交换的分子动力学方法来进行优化得到基态。我们用了48个温度,
最高温为To=10~,最低温噩7=10~。分子动力学的时间步长At=0.5。在
优化过程中,对于每一个MD演化步,采样的数目是3000×L,其中三是哈伯
德模型的尺寸。在做完副本交换分子动力学的优化后,我们把最低温的体系逐
渐冷却到温度为10-12来得到更加精确的基态。最后一步计算能量的采样数目为
50000×L。

我们比较了一维周期性L=14半满哈伯德模型在不同参数U下严格对角化
的能量和我们的结果,如表4.1所示。MPS的维度D从6取到14。从表4.1所示
可以看出,和严格对角化的能量相比,我们用副本交换分子动力学的方法得到了
很高精度的结果。
47

万方数据
第四章张量网络态的副本交换分子动力学优化方法

表4.1 一维周期性L=14半满哈伯德模型在不同参数c,下,严格对角化的能量与不同维
度的MPS得到的能量比较。

4.5.2二维^.如模型

我们模拟了自旋为1/2的正方格子的^一以模型,其哈密顿量是:

H=以∑Si・Sj+如∑Si-Sj. (4.17)
(i,j) 《(i,J))

其中自旋算符满足si.St=s(s+1)=3/4,(i,J)和((i,J))分别表示对正方格子上
所有最近邻和次近邻的自旋对求和。

(b)

黛丛磊

卫Ⅱ! :


0舞铡嚣蠹--


-&目蔫卜r

】 睦=
Ⅱ』五 : 】譬一

图4.1 不同模式的SBS:(a)线型和(b)圈型。

SBS[411和PEPS[6]都是MPS从一维N-维的推广,它们都可以用来描述
二维系统。PEPS有很高的计算复杂度,对于开放性边界条件和周期性边界条件,
其计算复杂度分别为O(D10)和O(D16)。而SBS的关于D的计算复杂度很低,
对于开放性边界条件和周期性边界条件,其计算复杂度分别为O(D2)和O(D3)。
在这里我们采用SBS做为变分波函数来检验我们的算法。SBS形式的波函数可
以写成:
d.. . .

I皿)=∑ⅡTrlⅡA嘉l 81…sⅣ),
sl…8N pE'P ’xEp
(4.18)

其中P是代表不同模式的弦,在某一种模式P包含着不同序列的弦P。矩阵A嘉
是弦p位于格点z处的维度为D×D矩阵。所有的弦P的矩阵A嘉沿着弦P所
48

万方数据
第四章张量网络态的副本交换分子动力学优化方法

示的方向相乘,得到弦P的整个波函数的贡献。在我们的算法中,我们采用了两
种模式:线型和圈型,来给出变分波函数的形式,如图4.1所示。线型模式中的矩
阵维度和圈型模式中的矩阵维度可以不同。我们利用蒙特卡洛采样的方法计算
SBS波函数形式下的能量函数及能量函数关于矩阵元的导数。

图4.2 开放性边界6x6如/以=0.7系统的能量随着演化步数的变化。(a)不同温度下能量
随着MD步数的变化。(b)分别经过5次、30次、50次、150次和250次的副本交
换后,不同温度下的能量分布情况。

在我们的模拟中,采用了96个温度。最初的温度分布在最高温去和最低温
度士之间呈指数分布。对于SBS波函数,其初始态是一个随机态。在模拟过
程中,每进行10次副本交换,便会对温度做一次调整以保证相邻温度的副本交
换成功的概率是大致相等的。在每两次构型交换之间需要进行300次分子动力
学演化,演化步长At=0.01。当采样时,我们可以将采样的空间限制在总自旋
&=0的子空间中。对于每一次分子动力学演化,采样的数目大概为10000。在
副本交换时,我们采用的能量是对300个分子动力学演化步进行平均的能量。对
于较大的体系,我们发现每演化3000分子动力学步后,对所有的广义速度加上
一个随机速度,可以显著加速能量收敛。在完成副本交换分子动力学优化后,已
经得到了一个和基态很接近的量子态,我们可以进一步降低能量来得到更精确
的结果。

我们模拟了开放性边界和周期性边界两种情况下尺寸为N×N的正方格子
上的巩一如模型,如/J1e[o,1】。为了展示算法是如何工作的,如4.2(a)给出了开
放性边界条件下6x6J2/五=o.7的系统,在温度为T=l/815,1/风5,1/尾5,1/岛5和
1/岛5时能量随着演化步数的变化情况。对于线性模式其矩阵维度为D=4,,圈
型模式其矩阵维度为D=8。注意到上述温度温度的值会随着演化的进行而发生
较小程度的变化。正如期望的那样,不同温度下的能量会随着演化的进行立即下
降到该温度下的平衡态的能量,然后随着演化的进行而开始震荡。需要特别指出
的是,最低温的能量在经过大概30次副本交换后便降低到基态附近。高温体系
的能量比低温体系能量振荡得快,这时因为高温体系有更高的“动能”。通过进
行不同副本之间的温度交换,可以有效地避免体系能量陷入局域极小值。

49

万方数据
第四章张量网络态的副本交换分子动力学优化方法

图4.2(b)描述了在分别经过5次、30次、50次、150次和250次副本交换后,
不同温度的体系的能量分布情况。可以看出低温时体系能量很快降低至基态附
近。经过足够长时间的分子动力学演化和副本交换后,能量.温度曲线稳定下来。
此时我们认为我们已经得到了一个基态的很好的近似。然后可以进一步降低温
度来得到一个更加精确的基态。

一∞正山正山\一∞乱山t .o=山一

Dimension&Pattern

图4.3 不同SBS的模式和矩阵维度下10x 10以.也模型的基态能量。S4表示只用了线型模


式,并且其矩阵维度为D=4。¥8L4表示采用了线型模式和圈型模式,两种模式下的
矩阵维度分别为D=8和D_4。

以开放性边界条件下10x 10 J2/山=O,0.5,l为例,我们测试了增大矩阵维
度D和增加新的SBS模式时能量的变化情况,如图4-3所示。首先,我们只采用
线型模式,D=8(s8)时能量己经收敛。然后我们增加了圈型模式,结果立即有
显著提高。这种情况下圈型模式中的矩阵维度D=6(S8L6)能量已经收敛。进一
步增加圈型模式D的矩阵维度,结果没有变化。从图4.3可以看出,采用SBS做
为变分波函数得到的能量,始终会比严格对角化的结果或者PEPS的结果要高出
1—3%。这个误差的根源来自于SBS形式波函数的局限,而不是优化方法导致
的。不像PEPS,SBS的结果不能通过简单地增加矩阵的维度来得到显著提高。
然而,我们总是可以通过增加不同模式的SBS来改善结果。幸运的是,SBS计
算复杂度关于模式的数目是线性增加的。

我们然后比较了由副本交换分子动力学方法得到的结果与严格对角化结果
或者PEPS结果,以及采用文献[9】随机梯度下降法优化SBS得到的结果。图4.4和
图4.5分别是开放性边界条件和周期性边界条件下4x4、6x6和10x 10的结果。
可以看出对于开放性边界条件而言,副本交换分子动力学方法比采用随机梯度
法得到的结果有明显改善。对周期性边界条件的情况,相较于随机梯度法,副
本交换分子动力学方法得到的基态能量虽然没有明显提高,但其结果也比前者

S0

万方数据
第四章张量网络态的副本交换分子动力学优化方法

奇Jac山
0 45

.0.55
亍一(a)OBC 4x4

)-、
。)



I Ll

.0.45

.0.55

0 0.2 0.4 0.6 0.8 1


J2,J1

图4.4 开放性边界条件下^.如模型能量的图4.5 周期边界条件下^.无模型能量的比


比较。(a)4x4,(b)6x6,and(c)lOxl0。 较。(a)4x4,(b)6x6,和(c)lOxl0。黑
黑线表示的是副本交换分子动力学方 线表示的是副本交换分子动力学方法
法得到的能量:红线和蓝线分别的是 得到的能量;红线代表的是随机梯度
随机梯度法得到的能量和PEPS的结 法得到的能量,其数据来自文献6x6
果,数据均来自文献[9】9。 严格对角化的结果来自文献[10】。

要好。

4.6小结

张量网络态算法是求解量子多体系统的很有前景的算法。当采用张量网络
态做为变分波函数求解量子多体系统基态时,系统的能量是关于张量网络态中
的张量元的高度非线性函数,在优化过程中,能量函数很容易陷入局域极小值。
我们引入了副本交换分子动力学方法来优化张量网络态,并且利用MPS和SBS
分别在一维哈伯德模型和二维以.如模型上验证了这种方法。在一维时,我们的
结果和严格对角化的结果一致。在二维系统时,我们的算法得到结果优于有随
机梯度法得到的结果。我们的算法可以推广到其他形式的张量网络态,比如说
PEPS,为研究像阻挫磁性等复杂量子多体系统提供了一个有用的工具。

5l

万方数据
万方数据
第五章PEPS的梯度优化方法

第五章PEPS的梯度优化方法

上一章我们介绍用副本交换分子动力学的方法来优化量子多体系统的TNS
波函时,发现采用SBS形式的变分波函数在模拟正方格子的^一如模型时,得到
的能量比PEPS形式的能量高得多[49】。相关研究表明,一些由局域哈密顿量项
构成的体系,其基态波函数必定是PEPS形式[37】。而且和MPS描述一维体系
一样,PEPS描述二维体系满足纠缠熵的面积定律和尺寸一致性[50],其在二维
无穷大系统的应用已经取得了很好的结果[51】。这里我们主要聚焦在如何优化
PEPS形式的变分波函数。

5.1二维系统PEPS算法的难点

由于受到目前计算机能力的限制和PEPS表示本身的复杂性,用PEPS处理
二维系统的还存在比较大的困难。其中一个主要困难就是,当PEPS的维度D比
较大时,如何优化PEPS这个变分波函数来得到基态。一般来说,为了使最终优
化后得到的PEPS能够收敛到严格的基态,其维度D取得越大越好。不幸的是,
PEPS的计算复杂度随着D的增大,增加得非常快。PEPS最初提出来时,人们用
虚时演化的OU方法来优化PEPS波函数[6,25]。对于开放性边界条件正方格子
系统,采用OU的方法的计算复杂度高达O(910),这是由于我们必须计算每个
格点的环境。这么高的计算复杂度,使得在实际应用中PEPS的维度D只能取到
很小的值,比如说D=4。这大大限制了OU方法在处理实际问题中的应用。为了
降低计算复杂度,后来人们提出了一种虚时演化方法的SU方法[39】。在SU方
法中,每个格点处的张量的环境用一些对角矩阵来近似,这一点大大降低了整个
算法的计算复杂度。在处理最近邻相互作用体系时,借助于QR(LQ)分解,SU
的计算复杂度只有O(95)[40]。然而,su方法是一个局域优化方法,每一个格点
的环境被过度简化了。这使得采用SU方法时,对于较为复杂的物理体系,最终
的结果往往不能收敛到正确的基态,达不到想要的精度,特别是对于有限尺寸的
物理体系更是如此。人们一直在做着各种努力各种尝试去改善SU方法[5 1—55】。
最近,一种集团更新的方法被提出来『38]。这种方法可以通过选取不同的集团大
小来系统性地提高对于格点环境的近似程度,使得人们可以在计算复杂度和精
度之间做一个取舍。如果我们选取整个物理系统做为集团,这时我们称这种方法
为虚时演化的FU方法[5】。FU可以显著地改善SU的结果,可惜的是FU的计
算复杂度仍然为O(D10),使得我们难以处理更大维度的PEPS。
除了如何有效地得到优化PEPS得到系统的基态这个困难之外,如何有效
地计算关联函数是另一个主要难题。直接缩并双层张量网络的算法的复杂度是

o(910),和计算格点环境的复杂度是一样的。因此即便我们有了一个维度D比
较大的PEPS形式的基态波函数,计算其关联函数仍然是十分困难的。

53

万方数据
第五章PEPS的梯度优化方法

为了使张量网络态能够处理更大维度的D,Sandvik等人[42]和Schuch[9,41】
等人分别基于MPS和SBS引入了蒙特卡洛采样的技术。相比于标准的缩并双层
张量网络的方法,蒙特卡洛采样的方法大大降低了关于D的计算复杂度。然而,
虽然蒙特卡洛采样方法已经被用于计算给定PEPS的关联函数[40],但它还没有
被用于优化PEPS波函数。
我们提出了采用蒙特卡洛采样与梯度优化相结合的方法来优化PEPS变分
波函数。为了便于叙述,我们称这种方法为GO梯度优化方法。在梯度优化过程

中,能量和梯度可以通过采样来得到,相应的计算复杂度是O(MD6),其中M
代表蒙特卡洛采样的次数。相较于FU方法,GO方法大大降低了PEPS算法的
计算复杂度。在我们得到了PEPS基态后,我们仍然采用采样来计算其关联函数,
计算复杂度仍为O(MD61。这种方法可以同时利用蒙特卡洛采样可以进行大规
模并行的优势,使得我们可以处理更大维度的PEPS。我们通过计算正方格子的
山.以海森堡模型来检验我们的方法。我们目前可以处理的最大的PEPS维度D
至少能够达到10。我们的结果显示,相比较于SU和FU方法,我们的方法有巨
大的优势和很高的精度。

5.2蒙特卡洛采样方法用于优化PEPS

图5.1 有限大小体系张量网络的缩并。(a)在求物理量的标准缩并方法中,由左矢(皿PEPsI
和右矢ket I皿PEPs)通过对物理指标求和构成的双层张量网络。(b)利用边界MPO方
法来缩并一个双层张量网络,相应的计算复杂度为O(94D毛+dD6D邑)。(c)在求
物理量的蒙特卡洛采样方法中,在某一自旋构型ls)下的通过选取l皿PEPs)的自旋
构型JS)而得到的单层张量网络。(d)利用边界MPS方法来缩并一个单层张量网络,
相应的计算复杂度为0(94D未)。

考虑一个N×M的正方格子,每一个格点的粒子的希尔伯特空间为d维
(这里我们采用自旋系统),相应的在格点(i,J)的基矢为18i,j)。相应的PEPS波
函数为[6】

j皿PEPS)= ∑Tr(A}ilqASl'2.,2…AIⅣ'SNM,u)|Sl,1…sⅣ)M), (5.1)


s1.1…aN.M=I

54

万方数据
第五章PEPS的梯度优化方法

如图5.1(c)所示,其中A浮=Ai,j(2,r,扎,d,siJ)是格点(i,j)处的一个5指标张量。
Aisij,j=Ai,j(2’r,乱,d,s幻)只有一个物理指标s氐j,代表物理自由度,取值为从1到
d。另外它还有4个虚拟指标。对于虚拟指标,除了边界处的自由度为1,其余的
自由度都为D。符号“Tr”表示对整个张量网络态的所有虚拟指标求和。在PEPS
表示中,PEPS的参数个数有张量的维度D来决定。D越大,表示张量网络态覆
盖的希尔伯特空间的子空问更大,其对量子态的表示能力越强。值得特别注意的
是,对于一些量子多体态,比如说量子自旋液体,它需要更大的张量维度D来
才能给出精确的表示。

PEPS做为对严格的量子多体波函数的近似,为求解量子多体系统提供了~
个可以系统性提高的变分函数。我们的目标是优化PEPS波函数来求得量子多
体系统的基态波函数,以及利用这个优化后的PEPS波函数来求得相应的可观测
量。缩并张量网络是PEPS算法中极为关键的一点,也是计算量最大的一点。在
优化PEPS中的每一格点处的张量来求得基态时,我们需要计算每一个点处的张
量的环境,这时我们必须对由PEPS构成的整个张量网络进行求和。然而,严格
的对整个张量网络进行求和是一个NP.hard问题。在缩并张量网络的过程中,张
量的维度会随着缩并的张量网络行数的增加而呈指数增加。在计算能量或者关
联函数的标准的缩并算法中,我们需要先对左矢(卫PEPsI和右矢I霍PEPs)的物理指
标求和,得到一个双层张量网络,每一个张量的维度为D2×D2×D2×D2,如
图5.1(a)所示。这时为了避免张量的维度随着缩并行数而指数增加的情况,我们
可以采用第三章提到的边界MPO方法来对张量的维度进行截断使其维度为Dc2,
如图5.1(b)所示。可是,即使采用这样的近似办法,其开放性边界条件,计算复
杂度仍然是O(D4D毛+dD6D毛)。一般情况下,为了得到足够的精度,截断维
度D。2应该正比于D2,并且和体系的大小没有关系,也就是说D。2 o(D2。因此,
对于开放性边界条件的系统,利用标准的缩并张量网络的算法,其计算复杂度高
达O(D10)。对于周期性边界条件,其计算复杂度更是高达O(D161。
为了降低计算复杂度,人们引入了蒙特卡洛采样技术[4Ⅲ2】。在蒙特卡洛
采样中,对双层张量网络的物理指标求和,可以通过对不同的自旋构型采样来实

E=鬻=去莓嘲科
现。在这个算法中,能量被重新写成如下形式:

(5.2)

其中

邵)2荨篇(即旧
¥ = 乱 p1 2 S Ⅳ M 表示自 旋构型 其相应的在蒙特卡洛采样的权重因
这子 里为

∥(s)=T/、-S¨l,1州A81,2,2…。A。MSNM,M)
55

万方数据
第五章PEPS的梯度优化方法

其中Z=∑s W2(s)是归一化系数。这就是说,能量可以通过对所有的自旋构型
按照权重Ⅳ2(S)进行采样来得到。和标准的缩并算法不一样,在蒙特卡洛采样
中,最耗时的部分为计算w(s)。而w(s)是通过固定PEPS的自旋构型,对一
个构单层张量网络进行缩并来求得的,如图5.1(c)所示。和边界MPO方法类似,
对于单层张量网络的缩并,可以采用边界MPS方法来进行,如图5.1(d)所示。整
个单层张量网络缩并的计算复杂度为O(D4D,2,)。通常情况下,对于大部分问题,
D。1—2D可以得到足够高的精度,这时其相应的计算复杂度为O(D6)。需要注
意的是,对于蒙特卡洛采样算法中单层张量网络进行截断时的截断维度Dcl一D
,对应于标准缩并算法中的双层张量网络的截断维度Dc2一D2。

我们也可以通过利用蒙特卡洛采样来计算能量函数关于张量元A就d的导数:

古斋=2(△麓d(s)E(s))一2(△zS,m。d(s))(E(s)), (5.3)

其中s。是张量位于给点m处的张量A的物理指标,(…)表示利用蒙特卡洛采
样进行的统计平均。△器d定义如下:

‰(沪南鬻=南%(趴 (5.4)

其中B恐d(s)是如下张量的张量元:

B5“(s)=Tr(Ail A;2…nA。Sm一-11 nA。,Sm++1I…A≯), (5.5)

注意到,我们只需要把有构型IS)确定的整个单层张量网络中除了与格点m相
邻的四个虚拟指标之外的所有其他虚拟指标进行全部求和,就可得到B5m(S)。
容易知道计算能量导数的计算复杂度也是O(D6)。
一旦我们有了能量梯度,便可以通过利用梯度优化PEPS波函数得到PEPS
形式的基态波函数。可以通过把张量元当做广义坐标,将关于体系能量函数的优
化问题,映射到一个经典力学系统。然后整个能量可以采用梯度下降法或者分

子动力学方法来优化『49]。通过和副本交换的方法相结合,我们可以进一步采用
副本交换分子动力学方法来优化这个问题,使其尽量避免陷入局域极小值【49】。
特别是,对于十分复杂的体系,采用这种方法是非常有效的[56】。另一个高效的
算法才有随机梯度下降方法来进行优化,这时我们只需要关心梯度的符号。当蒙
特卡洛采样次数比较少能量梯度值难以精确计算时,随机梯度法特别有用。
梯度优化方法有如下几个有点。第一,和局域张量优化方法不同,随机梯度
优化方法可以同时更新所有张量,并且梯度的噪音可以帮助系统跳出局域极小
值,这一点和模拟退火方法有类似之处[57]。第二,蒙特卡洛采样可以很容易地
进行大规模并行。这一点使得我们很容易计算更大维度的PEPS。第三,我们的
方法很容易处理那些不仅仅只包含最近邻相互作用的物理体系,比如说正方格
子上的以.如海森堡模型。在标准的缩并双层张量网络的算法中,随着长程相互

56

万方数据
第五章PEPS的梯度优化方法

作用的增加,体系的计算复杂度增加地非常强烈,这在第三章已经提到过。比如
说,根据上面提到的双层张量网络的算法,当处理开放性边界条件下含有次近邻
相互作用的以.如模型,如果D。2 Of.D2,这时计算复杂度为O(D12)。整个体系
计算复杂度会随着相互作用距离的增加快速增加。然而在我们的算法中,我们只

需要考虑单层张量网络来得到权重因子w(s),而长程相互作用可以很容易通
过蒙特卡洛采样的方法来得到,因此无论长程相互作用的距离是多少,其计算复
杂度仍然为O(D6),这一点在计算关联函数时尤为明显。

5.3 Go优化算法的计算细节

虚时演化的SU方法是一个局域优化算法,可以很快地给出一个严格基态波
函数的近似解。为了节省计算时间,我们采用由SU方法得到的近似解做为梯度
优化算法的初始值。当采用SU方法是,首先将给定的哈密顿量分成几部分,每
一部分之间的每一项都是彼此对易的。然后在采用Suzuki.Trotter分解[35,36】将
演化算子进行近似展开。然后根据这个演化算子对所有的张量进行演化。为了
避免演化过程中,张量的维度随着演化次数的增加而指数增加,需要通过奇异值
分解将所有的张量维度截断至原来的维度D。如果体系只有近邻相互作用,我
们可以利用QR(LQ)分解,这时整个计算复杂度只有O(D5)。因此利用SU方
法,我们可以处理维度D很大的PEPS。在做SU虚时演化时,我们首先采用步

长dT=O.01来进行演化直到张量收敛,也就是说丛塾锡亲害掣<10~。然后
我们将步长减小至d-r=0.001,再进行演化直到张量再次收敛。当我们采用SU
康时演化来得到更大维度D的PEPS时,我们不会直接从一个随机的张量开始,
而是我们先从一个D=2的随机的PEPS开始进行演化直到其收敛,然后把它做
为D=3 PEPS情形下的初始态。按照这种办法,我们可以逐渐增加D到我们想
要的数值。

当我们有SU优化完PEPS后,然后再采用梯度优化(GO)的办法来更新张
量元:

A藐d(n+1)=A恐d n)一P・5t(n)・sign(羔),
,-3p

U/『。tlrud
(5.6)

其中P是一个从0到1的随机数,每一个张量元么蔫d的P都是独立无关的。P
的随机性可以帮助避免系统能量陷入局域极小值。乩(他)是步长。需要指出的是,
在GO方法中,只用到了梯度(器)的符号,而没用到其绝对值。当然,也可
以采用分子动力学的方法来优化PEPS『491。
基于开放性边界条件下正方格子lOx 10 PEPS D=8的海森堡模型,图5.2
描述了一个典型的GO优化过程。我们先从由SU方法得到的近似基态开始优
化。在前50 GO演化步数时,我们设定5t(n)=o.005,并让MC采样的步数
逐渐从M=50000增加到M=100000。然后在接下来的50 GO演化步中,根据

5t(n+1)=5t(n)木o.968将6£逐渐由0.005调小至o.001。在最后20 GO演化
57

万方数据
第五章PEPS的梯度优化方法

图5.2 开放性边界条件下大小为10×10正图5.3 D=8时,10×10如=0海森堡模型的基


方格子的海森堡模型在PEPS D=8的 态能量和4x6如=O.5模型的基态能
GO优化过程。(a)在前50 GO步,乩 量在不同截断维度D。下的结果。在
设为0.005。在接下来的50GO步,酏D。=16时,相较于D。=20近似的绝
由0.005逐渐减小至0.001。在最后20 对误差为8×10~。蒙特卡洛采样误
步,6£保持在0.001。(b)最后20步的 差为10~。
能量变化情况。

步中,固定6t=0.001和采样数M=500000。在采样数为M=500000时,采用500
Intel E5.2860核,每优化一步大概需要25分钟。我们的结果表明,通过将SU虚
时演化方法、GO方法相结合来优化PEPS,可以得到很稳定的结果,整个算法具
有很高的稳定性。我们也尝试了从一个随机的PEPS来进行GO优化,结果表明
这会非常耗费时间并且经常陷入局域极小值。当然,我们可以从已经优化好了的
维度D比较小的PEPS来做为初始态,采用GO方法得到维度D更大的PEPS。
在下面的部分,我们比较了不同方法得到的关于正方格子上^.如海森堡模
型的结果,包括OU虚时演化结果,su虚时演化结果,FU虚时演化结果,以及
由我们的方法得到的结果。

5.4 Go方法的结果

我们对自旋为1/2的正方格子的^.以反铁磁海森堡模型进行了测试以做为
基准,其哈密顿量是:

H=^∑Si・Sj+如∑Si・Sj. (5.7)
(i,j) 《《i,J))

其中自旋算符满足si.St=z(s+1)=3/4,(i,J)和((i,J))分别表示对正方格子上
所有最近邻和次近邻的自旋对求和。在不失一般性情况下,我们在所有的计算中
设定巩=1。当如>0时,由于最近邻和近邻相互作用的竞争下,会出现自旋阻挫
区域。以.以模型己被进行大量研究,这是因为在这个模型中有丰富的物理,并
且是一个令人极其感兴趣的模型。它的基态可是是一个量子自旋液体或者是一
个方格子型的二聚态[5嘶1】。
SR

万方数据
第五章PEPS的梯度优化方法

5.4.1能量关于截断维度Dc的收敛

在采用蒙特卡洛采样方法是,我们在对单层张量网络缩并时用到了边界MPS
的方法来进行截断以避免缩并时张量的维度随着缩并行数的增加而指数增加。截
断时采用的维度D。会影响最终的计算结果。我们比较了D。对于能量收敛情况
的影响。图5.3给出了10x 10如=0海森堡模型的基态能量和4x6如=0.5模型的
基态能量在不同截断维度工)c下的结果。我们固定D=8,然后将D。从8到20进
行改变。对于10×10海森堡模型,Dc达到16就可以使能量收敛,相较于D。=20
其绝对误差为8×10~。对于4×6的西.如模型,其能量收敛行为与10x 10海森
堡模型相似。考虑到在精度和计算量之间的取舍,我们采用D。=2D来计算所
有的能量和其他物理量。

图5.4 不同PEPS维度D下自旋1/2正方格子海森堡模型的能量比较。这些能量由不同的
优化方法而得到,包括OU虚时演化方法【6】、SU虚时演化方法、FU虚时演化方法
[5】和GO梯度优化方法。(a)4x4格子J2=O;(b)10×10格子无=0。

5.4.2有限尺寸体系时海森堡模型的能量

我们首先在海森堡模型上测试了我们的方法,此时如=0。在图5.4(a)中,我
们比较了由GO梯度梯度优化方法、SU虚时演化方法、FU虚时演化方法和OU
虚时演化方法得到的在不同的PEPS维度D下正方格子上4x4的结果。OU结
果和FU结果分别来自文献[6]和文献[5]。我们计算了这些方法的相对误差,其
定义为fE—E。f/f%J,其中%是严格对角化的结果。由Verstraete等人提出的
OU方法是一个相当精确的方法,其误差在D=4时便可降低至10—3。然而OU
算法关于D的计算复杂度太高,以至于D更大时便难以计算。SU方法(黑色
方块)可以让我们采用更大的D进行计算,但是其相对误差较大,相较于严格
对角化结果,即相对误差在D=4时约为2%,并且增加D至更大是能量并没有
进一步得到改善。因此对于一些难题,特别是存在相互竞争的物态时,SU方法
的精度是不够的,简单地增加D也不能解决这个问题。最近提出的FU方法,在
D=4时可以达到和OU相似的精度,但是计算量却比OU方法要低。因此采用
FU方法可以计算更大的D。当D由4增加到7时,其相对误差有10—3降低至
10~。GO方法的总能量的相对误差如图中5.4(a)的红色圆点所示,其结果可以
系统性提高的,在相同的D下,由GO方法得到的结果都比SU和FU方法的
59

万方数据
第五章PEPS的梯度优化方法

结果要好。由于GO方法关于D有更小的计算复杂度,我们可以迸一步计算到
D=10,并且其相对误差可低至4.2x 10一。表5.3给出了由SU方法和GO方法得
到的不同D下的结果,以及相应的严格结果。在所有的这些计算中,我们采用
了D。=2D来确保能量是收敛的。
对于10x 10的正方格子,没有严格对角化的结果。因此我们采用了量子蒙特
卡洛的结果做为基准,来计算SU方法、FU方法和GO梯度优化方法的相对误差
并加以比较,如图5.4(b)所示。SU方法在不同D下的相对误差和其在小体系上
表现的行为一致。在D=8时,其相对误差约为10~,进一步增加D到lO,其近
似误差没有明显减小。对于FU方法,目前只有D=6的结果。明显可见,相较于
SU方法,FU方法大大提高了结果的精度,在D=6时,其相对误差约为2x 10—3,
比SU方法的精度提高了一个数量级。我们比较了GO方法和FU方法在不同D
下的结果,再次可以看到,对于相同的D,GO方法的结果比所有的FU方法的
结果都要好。并且注意到,在D=IO时,相较于量子蒙特卡洛方法,GO方法的
结果的相对误差可以减小至8.7x 10~,这么低的误差是我们解决一些复杂的量
子多体问题的前提。

表5.1 由PEPS计算得到的尺寸L=4,6,8,10,12,14,16海森堡模型的基态能量与可用
的严格结果的比较。采用GO梯度优化方法来优化PEPS波函数,其中PEPS的维度
为D=8,缩并时的截断维度D。=16。L=4的严格结果是由严格对角化哈密顿量得到
的。L=6的严格结果是采用DMRG方法保留4096个态得到的,来自于文献【1】。其
他的严格结果来是采用量子蒙特卡洛方法得到的[2_4】,来自于文献【5】。

5.4.3热力学极限下海森堡模型的能量和磁矩

图5.5(a)给出了由GO梯度优化方法得到的在PEPS维度为D=8和D=10
两种情况下系统的基态能量。表5.1给出了由PEPS得到的结果与严格对角化和
QMC结果的比较。可以看出,PEPS的结果和严格结果是十分一致的。通过对不同
尺寸下L=8,10,12,14,16的基态能量做二阶拟合,并外推到L--4。。,我们得到在
热力学极限下D=8和D=lO的能量分别是E=一0.66977(25)和E=一0.66948(42),
这和量子蒙特卡洛的结果E=一0.669437(5)[8】符合得非常好。
在用GO梯度优化方法得到系统的基态后,我们也计算了自旋关联函数

m;(k)=萨1∑衍(si-sj)em‘(pq),其中N是上述求和中的系统的总格点数。海森
堡模型的基态会出现反铁磁序,其交错磁矩为M2=m!(k=7r,b=7r)。为了减小
边界效应,我们将上述求和限制在中间尺寸分别为(三一2)×(L一2)和(L一4)×(L一
4)的子格子上来得到相应的交错磁矩聊(L)和M2(L)[62】,相应的总自格点数
目分别为Ⅳ=(三一2)2和Ⅳ=(L一4)2。我们计算了在尺寸为L=8,10,12,14,16下的
60

万方数据
第五章PEPS的梯度优化方法

图5.5 (a)正方格子海森堡模型在PEPSD=8和D=10的基态能量;(b)基于PEPS D=8,

由L=8,10,12,14,16得到的海森堡模型的交错磁矩。为了减小边界效应,交错磁
矩由L X L中心的(L一2)×(L一2)和(三一4)×(三一4)的子格子计算得到,W代
表子格子的尺寸。

M2,其结果如图5.5(b)所示。然后在通过对L=8,10,12,14,16的结果做一个二阶
拟合,外推到L_÷∞,我们得到了在热力学极限下的磁矩聊(o。)=o.091土0.001
和聊(∞)=o.093土o.002,相应的分别有M1(∞)=o.302和Mj(∞)=o.305,都和
最好的量子蒙特卡洛的结果M(o。)=0.307是一致的[8】。值得注意的是,磁矩
尬和尬在L--+∞是非常接近的,这意味着对于开放性边界条件,我们可以
通过处理中心的子格子来有效地减小边界效应[62]。通过比较热力学极限下的
能量和磁矩,我们发现只要优化得足够充分,维度为D=8的PEPS就可以正确
地描述海森堡模型的基态性质。

5.4.4以.如模型的能量

当如≠0时,由于次近邻相互作用的出现,会导致阻挫磁性,这时标准的
量子蒙特卡洛方法会遇到符号问题而不再适用。在这种情况下,张量网络态算法
表现出极大的优势。人们普遍认为,在如~0.5附近,阻挫效应是最强的,这时
其基态可能是一个高度纠缠的量子自旋液体[58-60】或者是一个方格子型的二聚
态[6l】。这种情况对于数值计算是一个巨大的挑战。图5.6是由SU虚时演化方
法和GO梯度优化方法得到的4×6格子上在如=0和0.5时,不同D下的基态能
量。和严格对角化的结果相比,由GO方法优化维度为D=10的PEPS得到的在
如=0和3.0x 10_5 for如=0.5基态能量的相对误差分别是2.5×10_6和3.0×10~。
这表明GO方法可以适用于非平庸的难题,同时也意味着对于反铁磁阻挫山.如
模型,PEPS是一个非常好的变分波函数。

5.5不同PEPS优化算法的比较

基于开边界条件下有限系统正方格子的海森堡模型,我们比较了不同的
PEPS优化算法。最先提出的优化PEPS的算法OU虚时演化方法,严格地考虑了

格点处张量的整体环境,其计算复杂度为O(D10)。对于10x 10的系统,其D=4
的结果为.0.625 15,和量子蒙特卡洛结果相比其相对误差为5.6×10~。FU虚时

6l

万方数据
第五章PEPS的梯度优化方法

‘__


‘_-
1._


a)

■J
C匹
a)
rv"

图5.6 不同PEPS维度D下由SU方法和GO方法得到的自旋1/2正方格子4x6^.J2海
森堡模型的能量比较。误差棒太小以至于无法再图上显示。

表5.2 有限尺寸正方格子上不同PEPS优化算法关于计算复杂度(scaling)、最大PEPS维
度(max D)、最大尺寸(max L)和相对误差(relative error)的比较。“OU'’方法是指
Verstraete等人提出的虚时演化方法[6],相应的“max D”和‘'max L”来自于文献【7】
,但是相对误差是根据文献[5]提供的数据,对10×10 D=4的结果估计而得到的。
Fu结果是来自于文献[5]。SU结果是根据我们自己的计算而得到的。

method OU SU FU MC+GO
scaling O(O圳) O(D5) O(D10)O(MD6)
max D 4 >10 6 10
max L 14 >16 14 16
relative ewor ~10—3 ~10—2 ~10—3 ~10—4

演化和OU虚时演化方法都考虑了整体环境的影响,其计算复杂度也为O(D10),
同时精度也在10-3的量级。但和OU方法不同的是,FU方法在采用虚时演化时,
其中的互相对易的时间演化算子是按照顺序依次作用到量子态上,这使得其计
算量会比OU方法计算量略低,可以计算到维度D稍微大一点的PEPS。虚时演
化由于对环境更粗糙的近似,其计算复杂度大大降低至O(05),可以计算至更大
的尺寸和更大维度D的PEPS,但相应的计算精度也比较低。’GO方法采用了梯
度优化方法,使得其结果比采用虚时演化方法有明显提高。同时由于GO方法结
合了蒙特卡洛采样技术,可以进行大规模并行,使得其能计算到更大维度D的
PEPS和更大尺寸的系统。

62

万方数据
第五章PEPS的梯度优化方法

表5.3 由SU虚时演化方法和GO梯度优化方法得到的正方格子的以.如海森堡模型的结
果,以及其与严格结果(exact)的比较。Su结果和GO结果的误差棒分别是10—5和
10_6。对于4x4和4x6系统,严格结果(exact)是由严格对角化结果得到,而对于
lOx 10,严格结果(exact)是指量子蒙特卡洛的结果【8】。

一 GO GO SU GO
SU GO SU GO SU SU
-o 581942(7】 .o 45616(1) -0 46630l(8) .0 -0 .o 61281(1) ・0 617795(4)
2 54557(3) .0 570872(2) .0 57146(5) -0 433080) 451364(1)
3 -0 5548l(1) .0 573625(2) -0 57703(1) 一0 586866(4) -o 46824(2) 一0 4735lo(2) .0 45252(3) 劬461808(6) -0 61846(3) -0 624187(2)
4 -0 -0 .0 一0 -0 _0
56317(2) 574284(1) s引22(2) 588643(1) -046980(3) 474200(9) .045287(4) 462807(1) -062412(2) -0627894(1)
5 —0 -0 574312(1) .0 .0 588701(21 .0 463377(1) -062514(1) -0628412(9)
56660(I) S8300(1) -047168(I) .0474328(7) .045922(8)
6 .0 56714(4) -0 574316(2) -0 5831l(2) ・0 588702(2) -0 47265(4) 一0 474346(9) -0 46024(7) _0463438(1) -0 6254l(2) -0 628“8(1)
7 -0 56715(21 .0 57431 8(1) .0 58337(3) .0 588705(2) .0 472830) .0 474356(2) _0 46057(1) m 463441(2) .062543(5) -o 628488(2)
8 -o56725(6) -0574319(2) -o 5834l(6) ・0 588707(11 -047318(3) 一0474358(1) .046130(3) -o,463446(1l ・062566(6) 一0628507(1)
—0 56727(3) -o.574321(1) -04736“2) -0.46213(4) -0463475(2) 一0.628566(1)
9 一0 58358(1) ・0.588712(S) -0474362(1) -062570(2)
10 ・0 56942(5) -0 574323(11 -0 5847讲11 -0 588713f31 -0 47379(11 —0 474365(11 -0 46214(31 .0 463476(1) 一0 6261l(1l -0 62860l(2)
Exact ・0 57432544 .0 58871445 _0 47437906 —0 46350353 -0 628656(2)(MC)[81

5.6小结

发展有效的二维量子系统的数值模拟方法一直是一个重大挑战。我们提出
了一种结合SU虚时演化方法、梯度优化方法和蒙特卡洛采样技术相结合的算
法。这个算法被证明是可以有效地优化PEPS基态波函数和计算关联函数。通过
对以.如模型的测试,我们发现这种方法的精度比SU方法和FU方法的精度都
要高得多。通过对蒙卡采样部分进行大规模并行,我们可以计算更大维度D的
PEPS,这使我们能够更加精确的来探索一些量子多体系统的基态性质。

63

万方数据
万方数据
第六章结论与展望

第六章结论与展望

在本篇论文中,我们详细介绍了用TNS表示处理一维和二维系统时的理论。
对于一维系统的MPS算法,其发展已经十分成熟,包括如何有效地优化基态波
函数,如何用MPS做时间演化等。但是对于二维系统,由于PEPS表示的复杂
性,在实际应用具有很高的计算复杂度,其发展仍处于早期阶段。
PEPS的维度_D决定了其参数空间的大小,表示其对量子态的表示能力的强
弱。其用于计算二维系统一个主要困难,一个是如何高效的优化基态波函数。以
前人们常用的基于虚时演化的方法,包括OU方法、FU方法和SU方法,都各
有优缺点。OU方法和FU方法都可以得到精度比较高的结果,但是由于其关于
PEPS的维度D的计算复杂度高达O(D10),使其在实际应用中,PEPS的维度D
比较小,其精度也只有0.1%,难以用于求解复杂的量子多体系统的基态。SU方

法关于PEPS的维度D的计算复杂度只有O(D5),使得人们可以处理的PEPS的
维度D更大,但是由于SU方法对环境的处理过于粗糙,使得这种方法的精度在
处理某些问题比如正方格子的海森堡模型只有1%左右,并且其精度随着D的
进一步增加而没有明显变化。
我们提出了用梯度下降结合蒙特卡洛采样的GO方法来优化PEPS波函数。
这种方法完全不同于虚时演化方法。通过蒙特卡洛采样,我们可以得到给定PEPS
下的能量函数E和能量关于PEPS中变分参数的导数。这种方法的计算复复杂

度为O(MD6),M代表采样的步数,它结合了蒙特卡洛采样可以大规模并行的
优势,使得可以处理的PEPS的维度和系统的尺寸可以相当大,在处理比较复杂
的系统时其精度高达O.01%,使得求解比较复杂的二维量子多体系统成为可能,
比如说正方格子上的自旋1/2五.J2海森堡模型。同时,采用蒙特卡洛采样,其
计算物理量的复杂度也为O(MD6),而标准的缩并双层张量网络方法的复杂度
为o(D10)。副本交换的分子动力学方法本质上也是基于对能量梯度的充分利用,
我们也可以用这种方法来优化PEPS波函数。
我们这里采用的GO方法处理的系统是有限开边界的,在缩并给定自旋构型
的单层张量网络时采用了MPS的低维近似方法。而对于周期性系统,缩并单层
张量网络时使用MPS低维近似方法的复杂度会很高,这时我们可以采用张量网
络重整化群的方法(TRG)[60]结合圈更新的方法[63]来缩并单层张量网络,相
应的计算复杂依然为O(MD6)。这样我们知道GO方法不仅适用于开放性边界
系统,也适用于周期性边界系统,基于这种方法的精度和其可以大规模并行的特
性,它对于解决一些复杂量子的量子多体问题具有十分重大的意义。

65

万方数据
万方数据
参考文献

参考文献

阻 Huang R Z,Liao H J,Liu Z Y et a1.A generalized Lanczos method for systematic optimization
oftensor network states.cond-mat/16H.09574.2016一
口 Todo S,Kato K.Cluster Algorithms for General—S Quantum Spin Systems.Phys.Rev.Lett.,
200 1.87:047203.

1{J
p Albuquerque A,A1et R Corboz p et a1.The ALPS project release 1.3:Open-source software
for sgongly correlated systems.Journal of Magnetism and Magnetic Materials,2007,3 l 0(2,
Part 2、:1187一1193.

M Bauer B,CalT L D,Evertz H G,et a1.The ALPS project release 2.0:open source software for
strongly correlated systems.JoUlTIaI of Statistical Mechanics:Theory and Experiment,20 l l,
201 1(05):P05001.

陋 1J Lubasch M,Cirac J I,Bafiuls M C.Algorithms for finite projected entangled pair states.Phys.
Rev.B,2014,90:064425,

拍 1j Verstraete F.Cirac J I.Renormalization algorithms for Quantum—Many Body Systems in two


and higher dimensions.cond-mat/0407066.2004..
p 1J Murg V Verstraete F,Cirac J I.Exploring frustrated spin systems using projected entangled
pair states.Phys.Rev.B,2009,79:195119.
陋 Sandvik A W: Finite—size scaling of the ground.state parameters of the two・dimensional
Heisenberg model。Phys.Rev.B,1 997,56:l王678-1 l 690.
p Sfondrinj A,Cerrillo J,Schuch N,et a1.Simulating two—and three-dimensional flus仃ated

quantum systems with string-bond states.Phys.Rev.B,20 l 0,8 l:2 14426.


m Schulz H,Ziman T’Poilblanc D.Magnetic order and disorder in the frustrated quantun Heisen-

berg antiferromagnet in two dimensions.cond-maff9402061.1994..


U Tsui D C.Stormer H L.Gossard A C.Two—DimensionaI Magnetotransport in the Extreme

1{i
Quantum Lirait.Phys.Rev.Lett.,1982,48:l 559.1 562.
眨 Laughlin R B.Anomalous Quantum Hall Effect:An Incompressible Quantum Fluid witll
Fractionally Charged Excitations.Phys.Rev.Lett.,1983,50:1395-1398.
B Stormer H L.Nobel Lecture:The ffactionaI quantum Hall effect.Rev.Mod.Phys.,1 999、
7 1:875-889.

n Bednorz J G.Mailer K A.Possible highTc superconductivity in the B扩La-Cu—O system.


Zeitschrift far Physik B Condensed MaRer'1986,64(2):189-193.

n Dagotto E.Correlated electrons in high.temperature superconductors.Rev.Mod.Phys.,1994,


66:763-840.
n Lfhneysen H V,Pietrus T’Portisch G,et a1.Non—Fermi.1iquid behavior in a heavy。fermion
alloy at a magnetic instability.Plays.Rev.Lett..1994.72:3262-3265.
n Anderson J B.Quantum Monte Carlo:Origins,Development,Applications.Oxford University
Press,2007.
n White S R.Density matrix formulation for quantum renormalization groups.Phys.Rev.Lett.,
1992.69:2863-2866.
H Troyer M.Wiese U J.Computational Complexity and Fundamental Limitations to Fermionic
Quantum Monte Cado Simulations.Vhys—Rev.Lett..2005,94:170201.
口 Schollw6ck U.The density.matrix renormalization group in the age of matrix product states.
Annals of Physics,20 1 l,326(1):96—1 92。January 20 1 l Special Issue.

皿 Ⅵdal G.Emcient Classical Simulation of Slightly Entangled Quantum Computations.Phys.


Rev.Lett..2003,9 l:147902.
口 Vidal G.Efficient Simulation ofOne-Dimensional Quantum Many.Body Systems.Phys.Rev.
Lett.,2004,93:040502.
口 卅习卿刀踟叼伽U勰列 Vidal G.Classical Simulation of Infinite.Size Quantum Lattice Systems in One Spatial Di—

mension.Phys.Rev.Lett.,2007.98:07020 1.
眩 Verstraete F’Porras D,Cirac J I.Density Matrix Renormalization Group and Periodic Boundary
Conditions:A Quantum Information Perspective.Phys.Rev.LeR.,2004,93:227205.

口 卅靼 Verstraete F,Murg V Cirac J.Matrix product states,projected entangled pair states,and vari—
ational renormalization group methods for quantum spin systems.Advances in Physics,2008,
57f21:143—224.
口创 Corboz R variational optimization with infinite projected entangled.pair states.Phys.Rev.B.
2016.94:035133.

67

万方数据
参考文献

[27】Liu W Y Dong S J,Han Y J,et a1.Gradient optimization of finite projected entangled pair
states.Phys.Rev.B,201 7’95:1 95 154.
【28】Affieck I,Kennedy T,Lieb E H,et a1.Rigorous results on valence.bond ground states in
antiferromagnets.Phys.Rev.Lett.,1987.59:799-802.
【29】Affieck I,Kennedy T,Lieb E H,et a1.Valence bond ground states in isotropic quantum anti.

ferromagnets.Comm.Math.Phys.,1988.1 15(3):477—528.
[30】Bekenstein J D.Black Holes and Entropy.Phys.Rev.D,1973,7:2333-2346.
[3 l】Srednicki M.Entropy and area.Phys.Rev.Lett.,1993,71:666_669.
[32】Callan C,Wilczek F.On geometric entropy.Physics LeRers B,1994,333(1):55—61.
[33】Plenio M B,Eisert J,DreiBig J,et a1.Entropy,Entanglement,and Area:Analytical Results for
Harmonic Lattice Systems.Phys.Rev.Lett.,2005,94:060503.
[34】Verstraete F,Garcia-Ripoll J J,Cirac J I.Matrix Product Density Operators:Simulation of
Finite—Temperatureand Dissipative Systems.Phys.Rev.Lett.,2004,93:207204.
【35】Fractal decomposition of exponential operators with applications to many.body theories and
Monte Carlo simulations.Physics Letters A,1 990,1 46(6):3 1 9—323.
[36】Suzuki M.General theory of fractal path integrals with applications to many-body theories and
statistical physics.Journal of Mathematical Physics,1 99 l,32(2).

【37】Verstraete F,WblfM M,Perez-Garcia D,et a1.Criticality,the Area Law,and the Computational


Power ofProjected Entangled Pair States.Phys.Rev.Lett.,2006,96:220601.
[38】Lubasch M,Cirac J I,Bafiuls M C.Unifying projected entangled pair state contractions.New
Journal ofPhysics、2014,16(3):033014.

【39】Jiang H C,Weng Z Y Xiang T.Accurate Determination of Tensor Network State of Quantum


Lattice Models in Two Dimensions.Phys.Rev.Lett.,2008,10 l:090603.
【40】W撕g L,艺om I,Verstmete F.Monte Carlo simulation with tensor network states.Phys.Rev.
B,20ll,83:134421.
[4 l】Schuch N,Wblf M M,Verstraete F,et a1.Simulation of Quantum Many.Body Systems wit}l
StringsofOperatorsandMonteCadoTensorContractions.Phys.Rev.Lett.,2008,100:040501.
『421 Sandvik A W:Vidal G.、协iational Quantum Monte Cado Simulations with Tensor-NetwcIrk
States.Plays.Rev.Lett.,2007,99:220602.
f43】Swendsen R H,Wang J S.Replica Monte Carlo Simulation of Spin.Glasses.Phys.Rev.Lett.,
1986.57:2607_2609。
f441 Geyer C J.Computer Science and Statistics,Proceedings ofthe 23rd Symposium on the inter-
face.Interface Foundation.1 99 1.
f451 Marinari E,Parisi G,Ruiz.Lorenzo J J.Phys.Rev.B,1998,58:14852.
『461 Cno K,Zhou Z W:Guo G C,et a1.Emcient numerical method to calculate the three.tangle of
mixed states.Phys.Rev.A,20lO,81:034302.
f47】Frahm H,G6hmann F’Klth-nper A,et a1.The One.Dimensional Hubbard Model.Cambridge
University Press,2005.
『481 Haile J M.Molecular Dynamics Simulation:Elementary Methods.Wiley
『491 Liu W,Wang C,Li Y et a1. Replica exchange molecular dynamics optimization of ten-
sor network states for quantum many-body systems.Joumal of Physics:Condensed Matter,

27(8):08560 1.
『501 W,ang Z,Han Y Guo G C,et a1.Size consistency of tensor network methods for quantum
many.body systems.Phys.Rev.B,2013,88:121105.
f5 l 1 Jordan J,Onis R,Vidal G,et a1.Classical Simulation ofInfinite-Size Quantum Lattice Systems
in Two Spatial Dimensions.Phys.Rev.Lett.,2008,10l:250602.
『521 Orfis&Ⅵdal G.Simulation of two.dimensional quantum systems on an infinite lattice revis.
ited:Comer transfer matrix for tensor contraction.Phys.Rev.B,2009,80:094403.
[53】Phien H N,Bengua J A,Tuan H D,et a1.Infinite projected entangled pair states algorithm
improved:Fast full update and gauge fixing.Phys.Rev.B,2015,92:035142.
f541 WhgL,VerstraeteE clusterupdate oftensornetworks.cond.mat/11104362,20ll一
【55】艺om I,Wang L,Verstraete F.Time evolution of projected entangled pair states in the single—
layer picture.Phys.Rev.A,20 11,83:05232 1.
f561 Dong S J,Liu W Y Zhou X F,et a1.Tunneling faustration induced peculiar supersolid phases
in the extended Bose.Hubbard model.cond-mat/1610.06042.2016..

『571 Hariu A,Barbiellini B,Siljam菹ki S,et a1.Stochastic Gradient Approximation:An Emcient


Method to Optimize Many.Body、Ⅳave Functions.Phys.Rev.Lett.,l 997。79:“73-J1 77.
【58】Jiang H C,Yao H,Balents L.Spin liquid ground state of the spin-{square J1-如Heisenberg
model.Phys.Rev.B.2012.86:024424.

68

万方数据
参考文献

【59】Hu W J,Becca F,Parola A,et a1.Direct evidence for a gapless Z2 spin liquid by frustrating
N6el antiferromagnetism.Plays.Rev.B,20 13,88:060402.

【60】Wang L,Gu z c,Verstraete F,et a1.Tensor-product state approach to spin‘i square J1。J2
antiferromagnetic Heisenberg model:Evidence for deconfined quantum criticality.pays.Rev.
B,2016,94:075143.
【61】Gong S S,Zhu W,Sheng D N,et a1.Plaquette Ordered Phase and Quantum Phase Diagram in
the Spin.丢^一以Square Heisenberg Model.Vhys.Rev.Lett.,2014,1 13:027201.
『621 Stoudenmire E,White S R.Studying 1’w0.Dimensional Systems with the Density Ma仃ix
RenormalizationGroup.AnnualReview ofCondensedMatterPhysics,2012,3(1):11l-128.
『631 Yang S,Gu Z C,Wen X G.Loop Optimization for Tensor Network Renormalization.Phys.
Rev.Lett..2017,118:110504.
f641 Eisert J,Cramer M,Plenio M B.Colloquium.Rev.Mod.Phys.,20 l 0,82:277-306.

69

万方数据
万方数据
致谢

致谢

在中国科学技术大学攻读博士学位的五年里,我所从事的学习和研究工作,
都是在导师以及系里其他老师和同学的指导和帮助下进行的。在完成论文之际,
请容许我对他们表达诚挚的谢意。

首先感谢我的导师何力新教授。我能取得今天的成绩,与何老师_直以来的
悉心指导、严格要求和启发鼓舞是分不开的。何老师教给了我如何进行科学的思
考和一个科研工作者应该所持有的工作态度。何老师严谨的治学态度、严密的思
维方式、忘我的工作精神和努力开拓勇于进取的精神让我受益匪浅。
感谢韩永建教授长期以来的指导和教诲。韩老师渊博的学识和宽广的胸怀
令人印象深刻。韩老师不仅教给了我专业的知识,也教给了生活中的一些道理,
让我对科研生活有更全面深刻的了解。

感谢实验室主任郭光灿教授。郭老师为我们提供了一个学术氛围浓厚、科研
条件优越的实验室,使我们能够专心于学术研究。正是在这样一个一流的实验室
里,通过和各位老师同学互相交流互相鼓舞,我才能有机会得到锻炼和成长。
感谢北京计算科学研究中心汪玲老师的指导,和她的交流使我获益良多。感
谢香港中文大学的顾正澄老师的邀请,在香港中文大学的访问经历让我学到了
很多东西,令我受益匪浅。
感谢实验室的任新国老师、李传锋老师、周正威老师、周祥发老师、涂涛老
师、邹旭波老师、易为老师、龚明老师、孙方稳老师、许金时老师以及其他所有
相关的老师。他们传授了课堂和生活的知识给我,也以他们的品格影响了我。感
谢实验室的叶淮老师、王涛老师、段开敏老师、吴莉老师以及其他后勤服务人员
所给予我的许多帮助与支持。

感谢师兄金光希长期以来对我生活、学习和科研上的关心、帮助和指导,感
谢韦海师兄、王真师兄、王建平师姐、曹坤师兄和陈默涵师兄在生活和科研中给
予的帮助与指导。感谢我们研究小组的其他成员董少钧和王超在科研方面的探
讨与交流。也感谢我1'lid,组的其他成员的关心与支持。同样感谢实验室的其他同
学:侯志博、赵圆圆、张超、殷琪、袁媛、胡孟军、刘胜、胡晓敏、王钊、吕为
民、李明等人。感谢我的本科同学李原野、张练和王雨雷的长期以来的关心、帮
助和支持。感谢好友武文韬、于涛、任亚飞和张玉祥等对社会生活和科研问题富
有成效的交流与探讨。

感谢我的两位好友刘晓辉和王健多年来的关心和帮助。在这长达五年的读
博生涯中,我们三人分享着彼此的经历和感悟,对生活和科研中的许多问题进入
了全面深入的交流和讨论,这是一段值得用一生来铭记的时光。

最后,最想感谢我的家人和我的未婚妻王琳。你们对我一贯的鼓励和支持,
是我追求学业的坚强后盾。这个学位不仅属于我,同样也属于你们。

71

万方数据
致谢

2017年6月5日

万方数据
在读期间发表的学术论文与取得的研究成果

在读期间发表的学术论文与取得的研究成果

已发表论文:

1.Wenyuan Liu,Chao Wang,Yanbin Li,Yuyang Lao,Yongj ian Han,Guang-Can

Guo,Yong-Hua Zhao and Lixin He.Replica Replica exchange molecular dy-

namic optimization of tensor network states for quantum many—body systems.J.

Phys.:Condensed Matter 27(20 1 5)08560 1(7pp).

2.Wen-Yuan Liu,Shao—Jun Dong,Yong-Jian Han,Lixin He and Guang-Can Guo.


Gradient optimization for finite projected entangled pair states.Phys.Rev.B

95,195154(2017).

待发表论文:

1.Shao—Jun Dong,Wenyuan Liu,Xiang-Fa Zhou,Guang—Can Guo,Zheng.Wei


Zhou,Yong—Jian Han and Lixin He.Tunneling frustration induced peculiar SU.

persolid phases in the extended Bose.Hubbard model.arxiv:1 6 1 0.06402.

2.Shao—Jun Dong,Wen—Yuan Wang,Guang—Can


Liu,Chao Guo,Yong.Jian Han
and Lixin He.TNSPackage:A Fortran2003 library
designed for tensor network
state methods.Manuscript in preparation.

3.Wen-Yuan Liu,Chao Wang,Shao—Jun Dong,Guang-Can Guo,Yong—Jian Han


and Lixin He.Ground sates of
spin一;square以一J2 Heisenberg antiferromangetic
Model.Manuscript in preparation.

73

万方数据

You might also like