作者:孟子杨 (中国科学院物理研究所)
开篇语
“我年轻的时候,做过许多梦,后来大半忘却了。”当我写下这些熟悉的文字时,大抵也就是前贤写下这些文字的年纪,他的梦尚且大半忘却,我的梦岂不更是如此。一百年前的前贤身处动荡的时代,如今的我们则生活在急剧变化的时代,在这样的动荡和变化之中,希望和失望都是倏忽之间的事。种种新潮,种种时代的悲喜剧,种种为了在社会和行业的梯子中挣扎着向上攀爬的剧情,每天都在上演,热热闹闹此起彼伏,而我们的生命也就在这样的的热闹中无声无息地流走了。
在前贤的时代,市面上进行的是文化文学上的革命,而在我们的时代,同样热烈的变化发生在科学的革命中,既是真诚的人们正在盼望的科学革命,也是弄潮儿们正在努力鼓吹的科学革命。我虽觉得自己属于前者,但是经过了几年的时间,却也经历了从呐喊到彷徨的变化,眼见着身边的同伴们“有的高升,有的隐退,有的前进,而我又经历了一回同一战阵中的伙伴还是会这么变化”,开始了怀疑和寂寞,变成了沙漠中荷戈的孤卒。也就是在这样寂寞的心情中,却又更加清楚地看到“我绝不是一个振臂一呼而应者云集的英雄。”一如前贤,体会到了未尝经验的悲哀。
前贤对于文学革命的失望和所遇所感的孤独,我正或多或少地在“科学的革命”中感受着,为了消解心中的寂寞,我也开始尝试着寻找麻醉自己灵魂的办法,或回到古代,或走向异国,或集中精力从事自己认为值得追求的科学创造。只希望我的寂寞不要打扰这个看似热闹实则浅薄的时代,不要传染给正在做着好梦的青年,虽然我发现身边的青年其实很少做梦,很少慷慨激昂了。但是就在这之中,我却总发现心灵无法完全地沉寂,似乎是自己在人世间想要勉力从事创造的过程中,总有几件事、几种感动、几次科学创造中深入心灵的体验在招引着我、催促着我,使我不甘让自己的内心沉寂,使我觉得有必要把它们讲出来,讲给真诚的人们,给他们以鼓励和或多或少的温暖。于是,承蒙《物理》杂志诸位编辑几番好意邀约,觉得应该沉下心来写这么一个专栏。
写作之于我,其实已经变成了一种救赎,让我在动荡变化的时代中找到属于自己的一片土地,可以心安理得的土地,可以平静工作和思考的土地。这个栏目的实质内容,将会关注凝聚态物理学量子多体问题研究中看到的新现象和新结果,结合解析理论与数值计算的进展,介绍现代强关联电子系统研究的发展现状。尝试覆盖的内容包括量子相变和量子临界现象,拓扑物质形态,阻挫磁体和量子自旋液体,非费米液体和关联电子的奇异输运行为,量子多体计算方法的进展,以及数值计算和解析理论的互动等等方面。其实这样的内容在之前给《物理》杂志供稿的几篇文字中已经有了体现,都是通过讲故事的方式,展开对于量子多体问题研究前沿的个人化的心得。而且更因为水平有限,我只会讲自己身边的故事,那些随喜的、锦上添花类的灌水评述,实在做不起来。由是观之,如果读者诸君希望从这些文字中学到如何发现研究热点跻身青年才俊的成功案例,恐怕将会失望,这里呈现的只是一些从个人心中冒出来的、自认为好的故事。
呜呼哀哉,知我者谓我心忧,罪我者谓我何求。随着往日的生命一起沉寂下去的,是个人的喜乐和哀愁;而内心中希望不会沉寂的,是我们在从事科学创造的过程中亲历的几件事、几种感动、几次深入心灵的体验,在这里拿出来分享给真诚的人们,希望可以鼓励和宽慰如我一样正在体会着孤独的灵魂。出于向前贤致意的心思,姑且名之曰:量子多体中的呐喊与彷徨。
被解救的诺特
看过好莱坞鬼才昆汀·塔伦蒂诺的电影《被解救的姜戈》的朋友,可能都思考过这样一个问题,除了表面上暴力美学和废奴主题之外,这部电影到底想要表达什么意思?鬼才当然不愧是鬼才,离奇的故事——狂野的西部片人设与弥漫着潮湿和神秘气息的南方奴隶庄园背景,姜戈在这个昆汀匠心设计的故事里,挣脱了时代强加在他身上的枷锁,经过生死的洗礼,邪恶的奴隶主坎迪(莱昂纳多·迪卡普里奥)死了,好心仗义的德国赏金猎人舒尔茨(克里斯托弗·瓦尔兹)也死了,姜戈在杀光所有坏人后最终救出了妻子,体会到了追求自由的滋味。但是,这只是姜戈个人的追求,在他那个时代,几乎所有的美国南方黑人还生活在奴隶制度的不公之下,哪怕是影片中庄园里的黑人,即使他们的主人和主人的帮凶们已经死在舒尔茨和姜戈复仇的枪口之下,仍然将会继续做奴隶。姜戈解救的只是他自己,或者说他只是品尝到了个人追求自由的苦涩与甜蜜,他改变不了整个环境。但是,对于一个个被环境压迫着的个体,对于艰难的人生,能够体会到这份属于个人的苦涩和甜蜜,或者起码知道存在这样的可能性,已经足够让人挣扎着追求下去了。
时代的变异,历史的演进,其实个人的不自由,个人的追求自由和自我救赎,即使在今天这个似乎要被人工智能和量子计算所颠覆的时代,这样人类生存中永恒的命题并没有改变,也不会改变。我想,这也许是塔伦蒂诺电影中,除了暴力、诡异和戏谑之外,更深的一层意思。
图1 被解救的姜戈和被解救的诺特。不同的表达,相似的主题
同样内涵的故事,可以从1850年代的美国南部转述到1915 年的德国哥廷根,就是在这个高斯、黎曼、克莱恩、希尔伯特、马克斯·玻恩等等科学的圣贤们工作和生活的地方。一个杰出但是被其所处的时代压迫着的人, 也在挣扎着摆脱身上的枷锁追求自由, 或者说, 追求着追求自由的感觉, 她就是埃米·诺特。在诺特生活的时代,科学正突飞猛进,相对论、量子力学正在一步步成长为参天的大树,许多我们现在耳熟能详的名字正在被镌刻到人类文明群星的天幕上,然而就是这样一个时代,女性仍然在学术工作中受到歧视和压迫。在长达7 年的时间里,诺特只能在研究所无偿地工作,而且她不能使用自己的名字,只能做为希尔伯特的无名助手进行教学,晚年更因为身为犹太人被赶出德国。诺特品尝到的压迫,虽然和姜戈生为黑人只能做奴隶那样的更加血腥的压迫表现形式不同,但实质是一样的。
姜戈追求自由的方式是杀死想置他于死地的奴隶主一家人,诺特追求自由的方式是证明了一个定理。他与她,都是时代中优秀的、受到压迫的个体,他和她都在挣扎着追求追求自由的感觉,他和她也都改变不了同伴们还在受着压迫的苦难现实,但是做为一代人中的先知先觉者,能够做到如此已然是成功的了。大多数时候,能够成功地追求到追求自由的感觉,就是值得过的人生了。
下面我们进入正题,讲讲诺特定理[1],这条定理告诉我们:在物理系统中,连续对称性总是对应着守恒量。
这句话看似简单,但其在经典物理学和量子物理学中都有深刻意义,它告诉人们可以从物理系统所具有的连续对称性中(比如系统哈密顿量所具有的连续对称性),看出如此系统存在的守恒量和守恒流。举几个常见的例子:具有空间平移不变性的系统,其动量是守恒的;具有转动不变性的系统,其角动量是守恒的;具有时间平移不变性的系统,其能量是守恒的;具有电势和向量势的规范不变性的系统,其电荷是守恒的……。所以诺特定理可以让人们从对于物理问题的基本形式的观察之中,比如对于作用量或者哈密顿量的对称性分析之中,洞察问题将会具有的性质,即
连续对称性↔守恒律/守恒量/守恒流
这样的性质从经典力学系统到量子力学系统,再到量子多体系统都是适用的。也许正是因为定理本身所展现出的洞彻性,让诺特本人可以忘记身处的压迫性的环境,全心地投入到追求自由的创造性工作之中,追求着追求自由的感觉。
其实诺特定理在18、19世纪的经典力学中很容易解释。对于作用量
,其中q =(q1,q2,⋯,qk,⋯)为广义坐标,
为广义动量。欧拉—拉格朗日方程告诉我们
,如果系统的拉式量L(q,q̇,t) 中不显式地含有某一个广义坐标qk,也就是说系统对于广义坐标变换
具有连续对称性。此时
,那么显见
, 而
, 所以
,即广义动量pk不随时间而改变,是为守恒量。这就是连续对称性给出守恒量的具体原因。
在诺特和我们生活的20、21 世纪,这个定理需要用到场论的语言来解读,其证明稍微复杂。下面是简略证明,并参见Wikipedia中[2]或者各种量子多体教科书中更加详细的推导。
对于时空坐标xμ , μ = 1,2,3,4, xμ∈ Ω 和坐标上的场ϕi(xμ) , i = 1,2,⋯,n, 系统的作用量
此时考虑如下的对称性操作
则场的改变为
,场的改变包括场本身在对称性操作下的改变和坐标变换带来的改变,暂时只考虑场在xμ 点上本身的改变, 记为
,这里
表达在对称操作前后在同一个坐标点上场的微小变化。按照最小作用原理,在对称性操作公式(1)下,系统作用量改变为零,即
而我们可以看到
注意在(3)式的第2 行到第3 行我们用到了前文中的欧拉—拉格朗日方程
和在同一坐标点xμ 上求导与场的变化量可以交换的性质
。有了(3)式,(2)式可以进一步简化为
看到这里,聪明的读者应该已经猜出结论了,其实我们就是在推导对称性操作对应的守恒流在场论中的表达式。让我们再回到(l)式处的对称性操作,可以把坐标和场的变化量表示成
此处ϵ为无穷小变化量,
就是连续对称性LX对于场ϕi(xμ) 在坐标xμ方向变化时所对应的变化,将(5)式带回(4)式,并整理一下顺序,可以得到:
在ϵ → 0 的极限之下,(6)式可以最终简化成本文中最重要的公式,
这里的
就是现代教科书里常见的诺特守恒流算符,如果系统作用量
在对于场ϕi 的连续对称性操作下不变,则流算符Jμ守恒。
上面对于诺特定理的解读,在我们的时代已经进入大学物理甚至是中学物理教科书,大多数时候人们也不会想到在第一线的研究工作中还会有与之相关的惊喜。第一线的研究工作往往就像日常生活中的柴米油盐,真正阳春白雪般的美其实并不多见。但是,当第一线的科研工作者们在实际的困难中反复挣扎的时候,他们心中常常想到的,也和姜戈、诺特一样,是要挣脱困难和环境压力的束缚,是要去追求追求自由的感觉,而就是在这样的过程中,我们和诺特相遇了。
现代凝聚态物理学量子多体理论有几个核心的支柱。其中关于相变与临界现象的支柱就是朗道—金兹伯格—威尔逊理论框架(Landau—Ginzburg—Wilson(LGW)paradigm),其基本的想法是物理系统的相都由对应的序参量来刻画,而系统发生相变的过程就是由序参量写成的作用量,在重整化群的流动中(renomalization group flow)到达不同的不动点(fixed point)的过程。在不同的不动点上,作用量中有的项变得相关,或者说变得重要,其他的项变得不重要。作用量中不同的相关项会对应不同形式的对称性自发破缺,一旦某种对称性发生了自发破缺,其对应的序参量就是有限值。序参量从零到有限值过程如果是连续的,则为连续相变;如果从零到有限值的过程是一个跳变,则为一级相变。在LGW的框架之下,系统可能发生的对称性自发破缺,都在作用量(或者微观哈密顿量)的掌握之下,不会有高于哈密顿量的对称性,不会有超越LGW框架的相变。比如,两种对称性自发破缺的序,在只调节一个参数的时候,不会在一个连续相变点相遇,此时的相变要么是一级,要么会在两个序中间还有个中间相。
图2 Emmy Noether looks at the DQCP。具有去禁闭量子临界点的easy-plane J-Q(EPJQ) 模型。q=Q/(J Q) 为相变的调控参数。q < DQCP,系统具有破缺自旋旋转对称性的easy-plane 反铁磁长程序(antiferromagnetic XY order, AFXY);q > DQCP,系统具有破缺晶格旋转对称性的共振价键长程序(valence bond solid, VBS)。两者之间是去禁闭量子临界点,临界点上的自旋能谱为能量—动量上的连续谱,展现出去禁闭的自旋子以及自旋子的涌现规范场耦合的效应。能谱中在X=(π, 0)处的自旋算符,就是DQCP O(4) 涌现连续对称性的守恒流
上面这样基本的认识,随着凝聚态物理学量子多体问题的研究进展,正在逐渐地发生变化,笔者在之前文章[3,4]中提到的去禁闭量子临界点(deconfined quantum critical point, DQCP),就是LGW框架所不能描述的例子。DQCP的模型实现,如图2 所示,就是在正方晶格自旋-1/2模型中,从打破自旋旋转对称性的反铁磁有序态(antiferromagnetic,AFM)到打破晶格平移与转动对称性的共振价键态(valence bond solid,VBS)的相变。DQCP的预言就是这两种不同的对称性自发破缺相,可以在一个连续相变点相遇,那时,分数化的自旋子激发,涌现量子电动力学规范场,以及和本文最相关的涌现连续对称性等等超越LGW的性质都会出现[5]。DQCP的模型计算(J-Q模型)十几年来一直在热烈地进行着,通过凝聚态物理学家、高能物理学家们的共同努力,目前的认识凝练到了如下三个方面:
(1)去禁闭量子临界点,做为一个连续相变,在J-Q 模型或者其他designer-Hamiltonian 中是否真正存在,还是其实是弱的一级相变?
(2)理论上预言的,在去禁闭量子临界点上涌现出的连续对称性是否存在?
(3)想要在关联电子材料实验中观察到去禁闭量子临界现象,应该寻找怎样的实验信号?
可以看到对于(1), (2), (3) 的理解,都用了问号结尾,可见目前其实并没有定论。如笔者在之前的文字中所描述的[4],对于问题(1),有持一级相变论者,有持连续相变论者;对于问题(2),有持连续相变且具有涌现连续对称性论者,也有持连续相变但是没有涌现连续对称性论者,一时的争论还没有会平息的迹象。而笔者之前撰文介绍的工作[6],尝试回答了问题(3),就是如果DQCP 在凝聚态物理材料中存在的话,实验上应该看到什么现象,有什么与遵从LGW 的普通量子相变不同的现象。文献[6]告诉人们,如图2 所示的自旋动力学谱函数,对于DQCP和普通量子相变,是十分不同的。在DQCP的谱中,可以看到由于自旋子存在而产生的连续谱,可以看到自旋子与规范场耦合所导致的自旋谱权重奇异的能量—动量分布。
但是,始终困扰着人们的问题(2)涌现连续对称性,多年以来领域中很多同行都进行了努力,仍然还是没有明确结论。比如人们用了很大的精力去讨论如何得到准确的AFM 和VBS序参量的临界指数。这是因为如果两种序参量的临界指数相等,那么这两个序参量其实就是一个具有更高对称性的序参量的分量,即系统在相变点上具有比其哈密顿量更高的对称性。然而,临界指数的准确计算十分困难,DQCP 尤甚。这是因为临界指数一般都不是整数,以AFM和VBS序参量的anomalous dimension ηAFM和ηVBS为例,此处它们的errorbar 强烈地受制于有限尺度效应,对于误差的估计很难做到完全客观,所以很难说计算得到的临界指数是否在客观的误差估计下相等。后来,人们又发现J-Q 模型的有限尺度标度方式与一般的量子相变不同,一般的连续相变只有一个长度尺度是发散的,而J-Q 的DQCP 有两个发散的长度尺度,这个发现本身就是一篇Science文章[7],但是这个发现又使得J-Q模型相变点上临界指数的数值分析更加困难,所以这样的努力一时也没有完结的迹象。
就是在这样一个一团乱麻的情况下:问题本身的困难程度;为了解决问题所需要的理论修养;为了得到可靠数据而对于大规模量子蒙特卡洛所进行的计算资源调配;得到数据后如何进行可靠的有限尺度标度分析……我们就是在反复追问解决方案的过程中与诺特相遇[8]。诺特定理告诉我们,物理系统的连续对称性对应着守恒流,反之亦然,重要就重要在这个反之亦然。本文前面举出的诺特定理在教科书中的应用,都是正向的,而现在对于DQCP,需要反过来思考,这事看来显而易见,却着实困扰了我们很长时间。
如图2 所示, 在J-Q 模型的DQCP,理论预言VBS 序参量具有的(n1, n2) 分量((即自旋单态算符
和AFXY 序参量具有的(n3,n4)分量(即自旋算符
),在DQCP 上演生成为一个更高序参量的四个等价分量,即n=(n1, n2,n3, n4),也就是说系统在DQCP 具有n 所具备的O(4) 连续对称性,高于J-Q 模型本身所具有的连续O(2) (AFXY) 和离散Z4 (VBS) 对称性。系统所对应的态(或者说波函数)具有高于其微观模型的对称性,即涌现连续对称性。
为了验证此事,如上文所述的对比临界指数、运用两个长度尺度的标度方法等等努力都已付诸实践,但是结果仍然不能让人满意。我们就是在一起反复追问这样的问题的过程中,意识到了诺特定理和它的反向应用。如果体系果然具有涌现O(4) 对称性,就应该可以找到这个对称性对应的守恒流, 即
。而守恒流之为守恒流,就是其关联函数在时空中按照整数幂律衰减,
衰减的幂指数4是空间的维度(d=2)的两倍,是一个整数。而不像普通的相变点上的关联函数的衰减形式,
,需要考虑一个由重整化流所赋予的不为零、非整数的anomalous dimension,比如上文中提到的ηAFM与ηVBS。所以,如果我们可以找到O(4) 守恒流的算符表达式,在大规模数值计算中计算其关联函数,然后通过逐步增大系统的尺度,观察其关联函数的衰减形式是否按照整数的幂律,即η=0,那么就可以反用诺特定理,证明我们的DQCP 的确具有涌现O(4) 对称性。
在文献[8] 中,我们也的确是这样做的。首先在涌现作用量中推导出守恒流的场论表达形式,如表1 中第3 列。而我们可以严格计算的,是原本的晶格模型中的种种自旋关联函数,于是还需要近一步把场论算符推导至晶格模型中的微观算符,这就是表1 中第1 列和2 列。此时就可以看到场论模型中的守恒流算符J223其实是晶格模型中自旋Sx 算符在动量空间中(π,0) 点上的关联。这里其实也可以看出为什么人们之前没有关注这个关联函数,如上文所说,反铁磁相的序参量是Sx 和Sy 算符在(π,π) 点上的关联函数,而(π,0) 点上的关联函数,如果不是通过这里的分析,是看不出其明确的物理意义的。同样的,表1还告诉我们,另一个被人们忽略的关联函数,自旋算符Sz在动量(0,0)处的关联,亦是守恒流的关联。
表1 去禁闭量子临界点处不同流算符在微观晶格模型和场论模型之间的对应关系
有了这样的分析,下面就可以在DQCP 点上进行量子蒙特卡洛计算,测量Sx在动量(π,0) 和Sz 在动量(0,0) 处的关联函数, 探测其anomalous dimension 是不是η =0。在计算的过程中,我们发现对于路径积分下的蒙特卡洛数值信号,关联函数在虚时上的衰减比其在空间或者松原频率维度上的衰减更加容易分析,但是上面(8)式优雅的形式在傅里叶变换到虚时之上的时候,需要动用到特殊函数,所以需要对虚时的守恒流关联函数进行含有特殊函数的数据拟合,才能从数值上得到可靠的η 随着系统有限尺度L变化的估计。
上面所提到的理论推导和数据分析的困难都在我们的追问之下被一一克服,最后的结果就是图3中所示的DQCP的O(4) 连续对称性守恒流关联函数,其anomalous dimension η随着系统尺度L 逐步增大时收敛到η=0的行为,也就是说在热力学极限下(L→∞),系统确实具有O(4) 连续对称性所需要的守恒流,也就是说DQCP 确实具有涌现O(4) 对称性,也就是说百年前的诺特定理对于超过LGW 框架的量子多体系统仍然具有振聋发聩的穿透力。
图3 量子蒙特卡洛模拟得到的守恒流结果。x 轴为1/L ,即外推到系统线性尺度无穷大的热力学极限;y 轴为关联函数幂律的重整化修正指数η,修正指数在热力学极限下外推到η=0,说明此处的关联函数是守恒流算符的关联函数,没有重整化修正
所有这些想法和实践,都是合作者和笔者反复追问的结果,在计算的过程中大家也都付出了艰辛的努力。但就笔者来说,真正从自己的角度把故事理清楚头绪是在一个清冷下着雨的初秋的早晨,其时笔者正和学生在东京大学参加一个计算物理学的会议。清晨在无人的校园中散步的时候,平日里横亘在心中的繁琐的日常工作,生活中的各种困难和束缚都暂时地被东京湾秋日的冷雨洗刷干净,追求着追求自由的感觉短暂地回到心中,一时看透了J-Q 模型诺特守恒流的计算结果合适的表达方式,遂直奔东京大学朋友给安排的办公室,会议也不参加了(后来想起实在有愧日本朋友热情的邀约),开始倾泻心中的故事。一个上午,就在那座老旧的日本帝国时期的教学楼里,大家都去开会了,一个人藏在拥挤的小房间里开始满心虔诚地向诺特、向姜戈表达自己的敬意,满心虔诚地追求着虽然渺小但是却自视为珍宝的追求自由的感觉:
Emmy Noether looks at the deconfined quantum critical point ,
这里写下的其实不是DQCP 和涌现连续对称性,不是运用诺特定理找到了对于其他方法难以获得确定性答案的新型量子相变的技术突破,写下的其实是自己在事业中最珍视的,却又每每被自身禀赋的缺乏,被学生、家庭、同事、单位等重重网络所紧紧束缚着的,个人拼尽了力想要去挣脱去自由创造的尝试。虽然在艰难的人生中这样的尝试终究会失败,但是就算会失败,能够像诺特和姜戈那样,追究着追求自由的感觉,也就够了。
一位笔者十分尊敬的前辈,曾经十分形象地向笔者描述过类似我们这样的人的身心状态。从事创造性工作的人,其实真正需要的不是资源,而是自由,其实连自由也不需要,只需要能够保持着追求自由的感觉。那么在哪里可以找到这样的感觉呢?往往不是在风口浪尖,不是在时代的弄潮儿们呼风唤雨的地方,而是在不同利益、不同的社会资源交叉甚至是冲突的地方,在那里有足够的阴影可以让我们躲藏,也有足够的养分可以让我们生长,有着看似重重限制实际遍布着岔路的宽松生态,让我们这类时时感受到压迫的人们,可以最低限度地维持着追求自由的感觉。就像姜戈和诺特,其实大家都改变不了环境,大多数人都会选择顺从,只有少数人能解放自己,甚至可能只是自己觉得可以解放自己,但是对于艰难的人生来说,能做到如此已然成功了。
生命的亮色,往往是在那一个个清冷的早晨,片刻之间仿佛看透了重重的困境,得到了真理的短暂照耀。诺特定理在去禁闭量子临界点上的运用,是为一例。
参考文献
[1] Invariante Variationsprobleme. Nachr. D.König,Gesellsch. D. Wiss,Zu Göttingen.Math-phys. Klasse,1918,235—257. E. Noether
[2] Noether’s theorem in Wikipedia,https://en.wikipedia/wiki/Noether% 27s_theorem
[3] 孟子杨. 海森伯模型的谱,到底有多靠谱?物理,2018,47(9):595
[4] 孟子杨. 寂静春天里的动力学. 物理,2019,48(2):104
[5] Senthil T,Balents L,Sachdev S et al.Phys. Rev. B,2004,70:144407
[6] Ma N,Sun G Y,You Y Z et al. Phys.Rev. B,2018,98:174421
[7] Shao H,Guo W,Sandvik AW. Science,2016,352:213
[8] Ma N,You Y Z,Meng Z Y. Phys. Rev.Lett.,2019,122:175701
编辑:zyi
,