22、规范不变性 ...
-
波士顿的夏天比北京干爽，但元昭还是会在凌晨三点醒来。
不是时差——三个月过去，生物钟早已调过来。是实验室。北大东翼那台稀释制冷机如果没出意外，此刻应该正降到100mK，锁相放大器的指示灯在黑暗里一闪一闪，像某种缓慢的心跳。而他现在躺在MIT校园公寓的床上，窗外是马萨诸塞州稠密的树影，隔壁Hostel的年轻人正喝着啤酒大笑。
他摸出枕头下的手机，屏幕亮起——北京时间下午三点，周焰的“每日邮件”还没来。他翻了翻聊天记录，最后一条是周焰凌晨发的：
“陆寻把非阿贝尔编织的模型推完了，林晓晓样品良率提到80%，赵明远谈下清华薛老师组下个月的机时。一切正常。想你。PS：戒指没摘。”
元昭看着“戒指没摘”四个字，拇指无意识地摩挲着自己左手无名指上的银环。MIT物理系的人不懂这枚素圈的含义，只当是普通饰品。但元昭知道，这是“元周对称性”的实体化——交换两人位置，系统不变。
他起身，冲了杯无糖美式，打开电脑。导师卡布莱拉（Cabrera）教授的组会下午才开始，他有两个小时写周报。
屏幕上是他这三个月的工作：把北大原初的拓扑量子比特模型，放到MIT这边的超导腔量子电动力学平台做交叉验证。卡布莱拉组用的是transmon量子比特耦合高Q超导腔，和北大的固态纳米线体系完全不同，但底层拓扑保护性应该涌现于任何实现方式——这正是元昭想验证的“普适性”。
他敲下最后一行公式，保存，然后新建邮件，发给周焰：
“今日数据：在腔QED平台复现了零能模附近的态密度峰，位置偏移<2%，证明拓扑保护不依赖于具体载体。附图3张。今日发现：MIT的稀释制冷机比我们那台新，但锁相放大器不如叶教授实验室的——你们那边如果升级AGILENT 35670A，信噪比能再提15%。今日废话：Banana Lounge的香蕉其实一般，但咖啡还行。波士顿的星星不如冷湖，也不如未名湖——因为那里有你。”
写到最后一句，他停顿，删掉，改成：
“今日废话：波士顿的星空很规矩，像按星表排好的。但我想看乱的，想看未名湖上方那片被光污染搅浑的、但你在下面的星空。”
发送。
------
北京，下午三点十分。周焰从稀释制冷机前直起腰，护目镜在额上勒出红痕。手机震了，他摘下手套点开——元昭的邮件，分秒不差。
他嘴角弯了一下，正要回，赵明远推门进来：“周师兄，清华薛老师组来消息了，下周三机时给我们留一晚，但有个条件——要我们先把联合提案的摘要发过去，他们组会审。”
“摘要我昨晚写好了。”周焰从打印机上抽出一沓纸，“陆寻校对过数学符号，林晓晓排的版。你发过去，抄送元昭。”
“诶，元师兄那边能看到吗？”
“能。他每天早上第一件事就是看我们这边的进展，像看实验日志。”周焰笑，“我们也看他那边的。这叫……规范变换下的进度同步。”
赵明远没听懂，但点头走了。
周焰坐回电脑前，给元昭回信：
“收到。摘要已发薛组。陆寻发现你上次的编织算符在非阿贝尔群下差一个整体相位，他建议用投影表示重算，我附了他的推导。林晓晓的样品良率80%，但有两片边缘态信号弱，怀疑是□□清洗时间偏长，已改流程。赵明远搞定了机时。实验室运转正常，你别操心。另外——元氏的人又来了，这次找的是林晓晓，开价八十万年薪加出国培训。她哭了半小时，然后拒绝了。她说‘周师兄和元师兄把我从打工的泥里拉出来，我不能走’。元昭，我们的学生，比我们想象的还扛造。”
写到这里，周焰停了停，又补了一段：
“规范不变性我重新想了。在电磁学里，规范势Aμ可以任意加一个梯度?μα(x)，只要波函数相位同步旋转exp(ieα/?)，所有可观测量不变。我们也是这样——你在MIT，我在北大，参照系不同，Aμ不同，但只要我们的‘波函数’每次通信都同步旋转同一个α(x)，那么‘元周系统’的所有可观测量——爱，信任，课题进度——都不变。你那边的腔QED，我这边的纳米线，只是不同规范下的同一种物理。对吧？”
发送。
------
元昭收到这封信时，正坐在卡布莱拉办公室里。
老教授翻着元昭的周报，眼镜滑到鼻尖：“Yuan，你这个交叉验证很有意思。但有个问题——你们北大的固态体系，和我们的腔QED，哈密顿量形式差很远。你凭什么说‘拓扑保护不依赖载体’？”
元昭喝了口已经凉掉的咖啡，说：“Cabrera教授，您记得Kitaev的蜂巢模型吗？它既不是固体，也不是电路，只是一个方格上的Majorana算符网络。但它有拓扑序。拓扑保护的本质，不是载体，是低能有效理论中的对称性。只要体系在低能下映射到同一个拓扑类（比如p+ip配对对应的Chern数），具体实现方式——纳米线、量子霍尔边界、腔QED、甚至冷原子——都是同一个拓扑相在不同规范下的表述。”
卡布莱作教授盯着他，几秒后笑了：“你这个‘规范’用词很妙。你是在说，你和你在北京的搭档，是同一个科研波函数在不同实验室规范下的投影？”
元昭耳尖微红，但点头：“是。”
“好。”卡布莱拉合上本子，“那我给你个任务。用我们这边的平台，试着把你们北大的编织门操作，映射到transmon的微波脉冲序列上。如果能做出来，我们不仅发一篇PRL，还能给你们的‘元周对称性’（他学着念这个词，发音古怪）找个国际注脚。”
元昭回到公寓已是深夜。他打开电脑，周焰的信还在。他盯着“规范不变性”那段看了很久，然后建了一个共享文档，把两人过去三个月的所有邮件、推导、数据记录、学生周报，全部倒进去，命名为“元周规范手册”。
文档开头他写：
定义1（元周系统）：由粒子Y.Z.与Z.Y.组成的纠缠对，空间分离但波函数Ψ(r_Y, r_Z)在全空间满□□换对称Ψ(r_Y,r_Z)=Ψ(r_Z,r_Y)。
定义2（局域规范变换）：对任意时空点x，存在相位函数α(x)，使得
Ψ→exp(iα(x))Ψ，
A_μ→A_μ??_μ α(x)，
所有可观测量（相干时间、平台电导、爱之期望值）不变。
推论：分离不破坏系统。MIT与北大，只是同一物理在两个规范下的表示。
写完后，他录了一段视频。镜头对着公寓小窗外的夜空，声音很轻：
“周焰，今天Cabrera教授问我凭什么说拓扑不依赖载体。我说，因为拓扑是规范不变的量。然后他问我，你和你的搭档是不是同一个波函数在不同规范下的投影。我说是。周焰，这三个月我学了三件事：第一，MIT的香蕉确实一般；第二，transmon的退相干机制比纳米线脏得多，但补偿脉冲能救回来；第三，我比以前更确定——你在北京做的每一个决定，选的每一个参数，和我在这里推的每一个公式，最后都会落到同一个数上。就像规范势可以变，但电场磁场不变。你变，我变，但‘我们’不变。还有82天回来。倒计时开始。”
他没发视频，先存进U盘，然后只给周焰发了三个字：
“规范手。”
周焰秒回：
“收到。北京这边，规范场在线。”
------
但规范场，并不总是平静。
访学第六周，清华薛老师组发来一封措辞谨慎的邮件：联合提案里，关于“量子反常霍尔效应中边缘态输运的拓扑保护宽度”这一节，薛组认为北大数据样本不足，建议删去，改用清华自己的样品数据。
周焰把邮件转给元昭，附言：“他们不是恶意，但这是抢署名权的前奏。你怎么看？”
元昭回得很快：“不能删。那段是我们的核心创新——用马约拉纳辅助测量，把拓扑保护宽度从热涨落极限下推了一个数量级。样本少是因为我们设备差，但方法是对的。建议：补做三组对照实验，用清华的样品+我们的测量协议，数据双方共享，署名按贡献排，通讯作者是叶教授和薛老师，我们俩并列一作。”
周焰看着这段回复，在实验室走廊里站了五分钟。然后他敲定：“按元昭说的办。赵明远，你起草补充协议，每条数据标来源，每个图标负责人。林晓晓，你挑三片最好的清华样品，按我们的清洗流程重做一遍。陆寻，你把对照实验的统计检验重写，用Bootstrap，别用他们组的t检验。”
他发邮件给薛组：“接受联合，但保留北大部分作为方法学核心。补实验方案附后。若不同意，我们单独投，不勉强。”
发送前，他截图发给元昭：“处理好了。你看这样行吗？”
元昭回：“行。你比我会在人情里留余地。但底线没退。这就是规范变换——形式可以弯，可观测量不能变。”
当晚，薛组回邮件：“同意。下周三机时见。”
------
访学第九周，元氏科技的新动作到了。
一张“元氏量子计算论坛”的邀请函，抄送元昭，主题：“特邀青年科学家元昭博士回京主讲拓扑量子计算前沿”。附：往返头等舱，三晚五星级酒店，演讲费五万。
周焰转发给元昭：“你父亲的新剧本。这次不收买，改捧杀。让你在同行面前以‘元氏客座’身份出现，坐实合作传闻。”
元昭回：“拒。但换个方式——我给论坛投一篇abstract，标题《拓扑保护性不依赖于资本规范》，内容就是我这三个月在MIT的复现结果。如果录用，我去讲；不录用，不去。演讲费捐给实验室买手套。”
周焰笑出声，在实验室里。林晓晓抬头：“周师兄怎么了？”
“你元师兄要开大。”周焰说，打字，“回他：摘要我帮你润色，加一句‘本研究受国家自然科学基金优青项目资助，与元氏科技无关’。他们敢录用，就是免费广告；不敢录用，就是心虚。”
摘要投出去第二天，论坛组委会回邮：摘要未录用，理由是“主题与论坛商业导向不符”。
周焰把邮件转给元昭：“看，他们心虚了。”
元昭回：“意料之中。但我们有了新数据：腔QED平台零能模信噪比3.1，超北大原数据2.4倍。这周发PRL预印本。标题就用《拓扑保护对载体与资本的双重规范不变性》。”
周焰看着这行字，在凌晨的实验室里，摘下护目镜，揉了揉眼。
他想起规范不变性的真正含义——物理定律不依赖于你选哪种描述。元崇明可以换载体（实验室、期刊、头衔、金钱），可以换规范（捧、压、收买、孤立），但只要元昭和周焰每次通信都同步旋转同一个相位，只要他们写的每个公式、测的每个平台、带的每个学生，都落回同一个拓扑不变量——那么，元氏制造的所有势场，都测不出他们的“电荷”。
因为电荷守恒，来自规范不变性。
而他们的爱，是同一个对称性的另一面。
------
访学最后一周，元昭在MIT的Banana Lounge遇见一个同组博后，对方闲聊：“你每天跟北京那个搭档发邮件，不累吗？我们组里异地恋的，三个月就黄了。”
元昭咬了口香蕉，说：“我们不是异地恋。我们是同一个波函数在两个地方测量。”
“啥？”
“薛定谔方程里，波函数可以同时存在于两个位置。你测波士顿的部分，得到一组数据；测北京的部分，得到另一组。但归一化之后，是同一个Ψ。”元昭把香蕉皮扔进垃圾桶，“所以没有‘异地’，只有‘未归一’。”
博后没听懂，走了。
元昭打开电脑，给周焰发最后一周的“冷湖日报”：
“今日数据：腔QED编织门保真度0.91，达到可纠错阈值。今日发现：拓扑保护在退相干下不是突然消失，是指数衰减但带平台——像霍尔电导的平台。今日废话：82天倒计时剩7天。我行李里给你带了MIT的马克杯，难看但耐热。还有，我重新算了我们戒指内侧那个公式——Ψ(r1,r2)=Ψ(r2,r1)，它其实是交换规范变换下不变性的特例。所以戒指不是信物，是规范不动点。你戴着我不动，我戴着你不走。完。”
发送。
周焰在北京收到，转发给陆寻林晓晓赵明远：“元师兄回国前夜例报。下周三接机，全员到。实验室打扫一遍，样品归位，白板擦了重画欢迎词。”
然后他单独回元昭：
“规范不动点收到。波士顿的你，北京的我，是同一个Ψ在两个测量基座上的投影。82天后归一。我等你。”
窗外，未名湖的冰正在化。东翼实验室里，稀释制冷机嗡嗡作响，温度停在0.008K。
而半个地球外，波士顿的夜风穿过查尔斯河，吹进元昭的窗。
两个规范，一个场。
作者有话说
第22章 规范不变性
