当时的困境
1980 年冯·克利青发现,二维电子气在强磁场低温下的横向电阻会落在一系列精确的平台上,平台值等于 h/e² 除以整数,精度达到十亿分之一。
这在凝聚态物理里是件反常的事。这一行的测量向来受制于样品:同一种材料,换一炉料、换一间实验室,数值差个百分之几是常态,杂质更是精密测量的头号敌人。可量子霍尔平台对样品的形状、宽窄、材料种类、杂质浓度统统不敏感,换谁来做都是同一个数。
朗道那套相变理论在这里也帮不上忙:整数变化时,没有任何对称性被破坏,写不出序参量。一个物理量凭什么能这么准?当时没有人答得上来。
洞见时刻
1982 年,索利斯与甲元真人、奈廷格尔、登尼斯给出了答案,四人姓氏的首字母后来成了这个公式的名字:TKNN。
他们证明,霍尔电导等于 e²/h 乘上一个整数,而这个整数是电子波函数在整个布里渊区上的「绕转次数」——数学上叫陈数,是贝里曲率在动量空间上的积分。它属于拓扑学的量:连续的形变改不了它,就像一个甜甜圈无论怎么揉捏都还是一个洞。
杂质、形状、材料的细微差别,全都是连续形变。于是平台的精确性不再神秘:那个整数不是量出来的,是数出来的,而计数没有小数点。
索利斯第二年把同一思想用到另一处:让一维势场缓慢地走完一个周期,被搬过去的电荷同样是整数个——「索利斯泵」。
1983 年,霍尔丹从另一个方向撞上同一片大陆。他证明一维反铁磁自旋链的整数自旋与半整数自旋命运不同:前者有能隙,后者没有,区别来自映射后场论中的一个拓扑项。这个结论当年被多家期刊退稿。1988 年他更进一步,在蜂窝格子上构造了一个不需要任何外磁场、只靠破坏时间反演对称性就能产生量子化霍尔电导的模型。
三件事拼在一起,指向同一个结论:物质的相不止能用对称性破缺来分类,还能用拓扑不变量来分类。
涟漪效应
霍尔丹模型当年被普遍看作一个「玩具」——谁能做出那种复杂的复数跃迁?
2005 年凯恩与梅莱给出了现实版本:用材料本身就有的自旋轨道耦合代替磁场,得到时间反演对称却依然拓扑非平庸的态,即量子自旋霍尔绝缘体。2007 年,莫伦坎普小组在碲化汞量子阱中把它测了出来。2013 年,薛其坤团队在磁性掺杂的拓扑绝缘体薄膜里观测到量子反常霍尔效应——霍尔丹模型的真实材料版。2014 年,苏黎世的冷原子实验则把这个模型原样搭了出来。
回头看,一维里其实早有一个原型。1979 年苏武沛、施里弗与黑格为解释导电塑料聚乙炔写下的那个模型,单双键交替的两种排法恰好一种拓扑平庸、一种非平庸,交界处的孤子带着一个锁在能隙正中的零能态(见本站「SSH 模型」页)。当年没有人用能带拓扑的语言去读它,如今它是每门拓扑物态课程讲的第一个例子。
「拓扑绝缘体」随后扩展成一个庞大的家族:拓扑超导体、外尔半金属、拓扑晶体绝缘体。材料数据库开始按拓扑不变量给成千上万种化合物分类。
另一条支线走向计算:拓扑保护意味着信息不被局部扰动破坏,这正是量子计算最缺的东西。微软等机构押注的马约拉纳方案、以及各种任意子编织的构想,源头都在这里。
2016 年的诺贝尔物理学奖颁给索利斯、霍尔丹与科斯特利茨,理由是「发现物质的拓扑相变与拓扑相」。宣布当天,评奖委员会用一个百吉圈、一个面包圈和一个椒盐卷饼当道具,讲什么叫「洞的个数不能连续变化」。
如果没有它
最直接的一条:全世界的电阻标准建立在量子霍尔效应上,而我们敢把标准交给它,是因为知道那个整数是拓扑保护的——不是因为样品做得够好,而是因为再脏的样品也改不了它。
再往远看,二十世纪的物质分类几乎完全建立在对称性上:气体、液体、晶体、铁磁体、超导体,每一个相变都对应一个被破坏的对称性。拓扑给出了第二个维度。今天寻找新材料时,「它的拓扑不变量是多少」已经和「它的晶体结构是什么」一样,是要先问的问题。