5.4 拓扑物理学


5.4 拓扑物理学:给电子的集体相做一次拓扑体检

第五章:现代拓扑前沿与交叉领域

物质相的分类曾经是朗道的地盘。铁磁体破缺了旋转对称,晶体破缺了平移对称,超导体破缺了规范对称——每一种相都挂着一张"破了哪条对称"的档案。这套范式统治了几十年,直到1980年整数量子霍尔效应出现,物理学家才意识到档案柜里躺着不属于朗道体系的案卷:二维电子气在强磁场下的霍尔电导呈现精确的量子化平台,而样品内部并没有任何对称性被打破。区分这个相与普通绝缘体的,不是局部秩序,而是一种只能从整体上去读的整数。拓扑学的语言第一次成为凝聚态物理的正式工具,此后三十年里,绝缘体、半金属、超导体的分类表被整体重写。

这章我们带着一个朴素的问题进入现场:两块材料,能带结构、组分、对称性看起来都类似,它们的"电子相"凭什么判为不同?答案藏在波函数在参数空间里的全局几何中。局的诊断都靠局部指标,这次的诊断需要把整个布里渊区看完,这正是"拓扑体检"的含义——不量单个器官的尺寸,而是看器官之间的缠绕方式。

一、从局域到整体:贝里曲率与陈数

先备好数学工具。周期势场里的电子态由布洛赫定理给出:\psi_{n\mathbf{k}}(\mathbf{r})=e^{i\mathbf{k}\cdot\mathbf{r}}u_{n\mathbf{k}}(\mathbf{r}),其中 \mathbf{k} 是准动量,u_{n\mathbf{k}} 是周期函数。传统能带论关心的是本征值 E_n(\mathbf{k})——能带的形状、能隙的位置。但波函数本身还背着另一份信息:态矢 |u_{n\mathbf{k}}\rangle\mathbf{k} 变化时,会积累一个与能量无关的相位。让参数沿闭合路径 C 绕一圈,绝热演化积累的总相位是动力学相位与几何相位之和,后者是贝里相位:

\gamma_n(C)=\oint_C \mathbf{A}_n(\mathbf{k})\cdot d\mathbf{k},\qquad \mathbf{A}_n(\mathbf{k})=i\langle u_{n\mathbf{k}}|\nabla_{\mathbf{k}}u_{n\mathbf{k}}\rangle .

规范变换 \mathbf{A}\to\mathbf{A}+\nabla\chi 会改变 \gamma_n(C),但前提是波函数在整条回路上都能平滑定义。若回路环绕着 u_{n\mathbf{k}} 无法全局光滑定义的奇点,贝里相位在模 2\pi 意义下才是规范不变的——这正是一根"纤维丛"拧紧与否的记号。贝里曲率 \boldsymbol{\Omega}_n=\nabla_{\mathbf{k}}\times\mathbf{A}_n 是规范不变的,它度量态空间在动量空间里的局域弯曲。

对二维绝缘体,占据能带填满整个布里渊区。布里渊区是环面,把某条占据带的贝里曲率在整个环面上积分再除以 2\pi,得到的必须是整数——这是第一陈类在紧致流形上积分的必然结果:

C_n=\frac{1}{2\pi}\int_{\mathrm{BZ}}\Omega_n\,d^2k\in\mathbb{Z}.

这个整数叫陈数。它是拓扑不变量:只要能隙保持开着,无论杂质、形变还是微扰怎么折腾,C_n 一步都动不了。要让它变化,唯一的办法是让能隙关闭、让占据带与空带相触,把奇点送进系统——于是"陈数跳变"与"能隙关闭"被绑死在一起,这成了之后所有拓扑相变判据的原型。

二、第一宗成案:整数量子霍尔效应

1980年冯·克利青(K. von Klitzing)在硅基 MOSFET 里测到:强垂直磁场下的二维电子气,霍尔电导 \sigma_{xy} 不是连续变量,而是钉在 \nu e^2/h 的平台上,\nu 取整数,精度达到十亿分之一量级,与样品材料、形状、杂质浓度几乎无关。纵向电阻在平台区同时趋于零。朗道能级把电子谱变成高度简并的离散台阶,E_n=\hbar\omega_c(n+\tfrac12),费米能落在台阶之间时系统绝缘,但霍尔电导依然存在且量子化——绝缘的体内配着无耗散的横向输运,这个组合用经典图像完全没法解释。

次年劳克林(R. Laughlin)用规范变换的论据说明量子化的根源是拓扑:绝热地把磁通量子穿过环状样品,会迫使整数个电子从一边转移到另一边。1982年 TKNN——Thouless、Kohmoto、Nightingale 与 den Nijs——把这件事讲成了纤维丛的语言:\nu 正好是占据朗道能级组成的 U(1) 丛的陈数。霍尔电导于是写成

\sigma_{xy}=\frac{e^2}{h}C,

C 是整数这一点直接保证了电导平台的量子化,C 对局域扰动的免疫则解释了平台为何如此顽固——杂质只是重新分布了贝里曲率的局部密度,无法改变它在整个布里渊区上的积分。陈数第一次在实验室里以电学测量的方式被"称"了出来,拓扑不变量从此有了物理单位。

三、体内与边界的对账:体–边对应

量子霍尔系统还有个扎眼的现象:体内的电子全部局域在朗道轨道上,电流却沿着样品边界流。这不是巧合,而是拓扑守恒的必然。用一个带子图来看:把二维系统卷成圆柱,体内绕一圈对应于布里渊区环面上绕一圈;若体内陈数非零,在圆柱边界处能隙必须关闭,否则"绕一圈的拓扑荷"无处安放。指标定理在这里说话:体内能带的总拓扑荷(陈数),必须在边界上以无能隙手性通道的形式兑现。这就是体–边对应原理——边界上朝一个方向传播的通道数等于体态陈数。

手性通道的意义在于它无法被背散射:通道只朝一个方向走,想折返必须绕一个大弯,普通杂质提供的局域散射够不着它,于是边界电流对无序几乎免疫。量子霍尔边缘态因此是"无耗散输运"最干净的现实标本。这套逻辑后来换了个舞台继续上演:即便没有外加磁场,只要时间反演对称性在场,二维系统也能撑起成对的螺旋边缘态——自旋相反、方向相反、互相保护——这就是量子自旋霍尔效应,理论先由凯恩与梅勒(Kane–Mele)在2005年的石墨烯模型中提出;2006年贝内维希–休斯–张首晟(BHZ)论证 HgTe/CdTe 量子阱是现实载体;摩尔坎普(Molenkamp)小组2007年的输运实验给出了首批验证。时间反演对称保护的相用一个 \mathbb{Z}_2 不变量 \nu\in\{0,1\} 分类(Fu–Kane–Mele),它扮演的角色与陈数平起平坐,只是保护伞换成了反幺正对称。

此后三维拓扑绝缘体、狄拉克与外尔半金属依次登场。三维拓扑绝缘体的表面是二维无隙金属,\mathbb{Z}_2 分类从二维推广而来,Bi_2Se_3 家族是被理论与角分辨光电子谱反复验证的代表材料。外尔半金属的体态在布里渊区里成对出现外尔点——能带的"磁单极"——它们是贝里曲率的源与汇,携带手性荷;外尔点之间由表面费米弧相连。凝聚态里这些"准粒子"之所以能摆出高能物理中费米子的姿态,靠的仍然是同一份文件:布洛赫波函数在动量空间里的拓扑。

图注:两套能带理论的分野在于提问方式——传统理论只问能隙开没开、色散怎么走,拓扑理论多问一层"波函数在布里渊区上整体转了几圈",陈数接住这个答案,再通过体–边对应把它转译成边界上看得见的通道。

四、超越单粒子图像:分数量子霍尔、拓扑序与任意子

把填充因子降到分数,例如 \nu=1/3,新账本又翻开了。1982年崔琦、施特默与戈萨德在更高质量样品里测到 \sigma_{xy}=e^2/3h 的平台——霍尔电导以分数量子化。单粒子能带图像在这里失效:平台来自电子之间的强关联,基态是全体电子协同排布的产物。劳克林写下的变分波函数

\Psi(z_1,\ldots,z_N)=\prod_{i<j}(z_i-z_j)^m\exp\Big(-\sum_i\frac{|z_i|^2}{4\ell_B^2}\Big)

抓住了这种协同:把任意两个电子坐标绕一圈,波函数获得 e^{i\pi m} 的相位,m 为奇整数时满足费米统计。这个态的低能激发是携带分数电荷 e/3 的准粒子,且交换两个准粒子得到的相位既不是 0 也不是 \pi,而是介于其间的分数——二维世界里粒子的统计不被"玻色/费米"二选一锁死,中间地带住着任意子。这个事实在概念上很重:交换统计由时空维数决定,三维以上只有两种,二维却有无穷多种可能,实现哪种取决于系统处于什么拓扑相。

这些相统称拓扑序。它们不靠对称性破缺定义,而靠基态的长程量子纠缠模式区分;标志性特征包括基态简并度依赖空间拓扑(例如环面上的简并度与亏格挂钩)、准粒子带分数统计、边界携带受保护的激发谱。陈数的语言不够用了,非阿贝尔的任意子——交换操作给出矩阵而非相因子——成为拓扑量子计算设想的核心。1991年摩尔与里德(Moore–Read)在 \nu=5/2 态提出的 pfaffian 波函数被普遍认为承载非阿贝尔统计;马约拉纳零模是这类准粒子最受关注的具体候选。把强自旋–轨道耦合的半导体纳米线(InSb、InAs)搭上 s 波超导体、加外磁场,理论预言两端会出现束缚的马约拉纳零模。2012年荷兰 Delft 小组在纳米线端点观测到零偏压电导峰,被当作首批实验迹象,但后续研究指出普通安德烈夫束缚态也能产生相似信号,真伪之争至今未完全落幕——这也是该领域最谨慎的地方:非阿贝尔任意子的判定实验仍在进行中。

图注:拓扑量子计算的赌注是把逻辑门建立在"交换历史"而非"轨迹细节"上:只要任意子彼此远离、不隧穿,编织操作的结果就只由辫子的拓扑类型决定,局域噪声无从干扰。

五、当序参量失灵之后:拓扑量登场

朗道范式把相变解释为对称性破缺的突变,序参量是当地能测的局部量。拓扑相挑战了这条教条:陈数、\mathbb{Z}_2 指标、手性荷这类量不在任何局部区域可测,却规定着相的归属。相变发生时它们从整数值跳到另一个整数值,而跳变的通道只有能隙关闭一条。于是"相的身份证"从局域序参量扩编为拓扑不变量,二者并行不悖:铁磁相仍然由磁化强度描述,量子霍尔相则只能由全局整数描述。2016年诺贝尔物理学奖授予拓扑相变与拓扑相的理论工作,正是对这种扩编的正式承认。

这些整数不是凭空飞来的。贝里曲率是动量空间纤维丛的联络曲率,陈数是其第一陈类的积分;更高维与强关联系统里则动用陈–西蒙斯形式、指标定理乃至模张量范畴。物理学家在布里渊区里量出的陈数,与数学家百年前在纤维丛上定义的特征类,是同一个对象穿着不同制服。体–边对应的深层理由也在这里:体内的拓扑不变量若非零,边界上必然出现无法在体内实现的零能或零隙模式,这正是指标定理"分析指标等于拓扑指标"的物理朗读版。整数量子霍尔效应的鲁棒性、拓扑绝缘体边缘态的稳定性、外尔点的拓扑荷守恒,都可以追溯到同一条数学血脉。

六、体检报告与未尽事项

若把拓扑物理这几十年压缩成一句话:它证明了材料的"电子相"里存在一类只能由整体数据认定的身份,并且这类身份扛得住无序。这改变了材料科学的作业方式——现在理论家先在空间群与对称性指标表里筛出候选化合物,再做能带计算验证拓扑指标,Bi_2Se_3、TaAs 家族的发现都走了这条路。同时也要把话说明白:目前被严格验证的拓扑相大多落在自由电子或弱关联的范围内,强关联拓扑序(如 \nu=5/2 的非阿贝尔态、各种自旋液体)的判定仍悬而未决;马约拉纳零模的最终确证、高温下的拓扑保护,都还是开放课题。拓扑给的是身份的持久性,不是永动机——边界态对特定对称保护的扰动免疫,把保护伞撤掉,它照样现出原形。弄清楚每份保护背后的对称与维度,正是下一批案卷的标题。


作者与出处
原作者: 灏天文库
来源:灏天文库
整理: 灏天文库整理
由灏天文库平台收录,内容或由平台用户上传,仅供学习交流
发布者: 作者: 灏天文库 转发
评论区 (0)
U