拓扑量子计算与 Majorana 1：被动保护的物理基础

几乎所有量子计算的路线图都在同一道墙前减速：退相干。一个超导 transmon 比特把量子信息编码在一小段超导环路的相位里，环境里任何一缕电荷噪声、磁通涨落、声子散射都会悄悄读走它的相位，让叠加态在几十到几百微秒内塌缩成经典噪声。于是整个领域被迫走上一条昂贵的路——纠错：用成千上万个物理比特冗余地编码一个逻辑比特，靠不停测量、不停纠偏来跑赢退相干。这条路在原理上可行，却把"造一台有用的量子计算机"变成了一场天文数字的物理比特军备竞赛。拓扑量子计算提出的是一个截然不同的赌注： 与其在软件和纠错层面对抗噪声，不如把信息编码进一种物理上根本"看不见"局部扰动的自由度里 。如果能做到，保护就不是靠不断纠错的"主动维持"，而是物质拓扑结构本身赋予的"被动豁免"。本文要拆解的，正是这个"被动保护"到底建立在什么物理之上，以及 2025 年微软公布的 Majorana 1 芯片在这条路上走到了哪一步——哪些是已验证的物理，哪些是工程在建，哪些仍是愿景。

Majorana 零模：是它自己的反粒子

故事要从 1937 年的埃托雷·马约拉纳说起。他在改写狄拉克方程时发现一个数学上自洽的解：存在一种费米子，它的反粒子就是它自己。用二次量子化的语言说，普通费米子的产生算符 c† 与湮灭算符 c 是两个不同的东西，而马约拉纳费米子的算符满足 γ† = γ ——产生即湮灭，粒子即反粒子。在基本粒子物理里，中微子是否是马约拉纳粒子至今未有定论。但凝聚态物理学家意识到一件更可操作的事： 我们不需要找到一种基本粒子，只需要在某种材料里制造出表现得像马约拉纳算符的"准粒子激发"。

关键工具是超导。在超导体中，电子配成库珀对凝聚成基态，激发谱里出现的是电子与空穴的相干叠加（Bogoliubov 准粒子）。当一个准粒子恰好处于电子成分与空穴成分各半、且能量正好位于超导能隙正中央（零能量）时，它的产生算符就自然满足 γ† = γ 。这就是 马约拉纳零模（Majorana zero mode, MZM） 。1937 年的数学幽灵，在 2001 年被基塔耶夫（Kitaev）用一个一维超导链的玩具模型给出了清晰的实现路径：在所谓拓扑超导相里，一根纳米线的两个端点会各自束缚一个马约拉纳零模，而中间体相完全有能隙。

这里出现了第一个反直觉的洞察。一个普通费米子态要么被占据（1）要么空（0），是个局域的两态系统。但 一对分处纳米线两端、相距宏观距离的马约拉纳零模，合起来才编码一个费米子的"占据/未占据" 。信息不再存在某一个点上，而是 非局域地存储在两个相隔很远的位置之间 。要破坏这个信息，环境必须同时在两端施加相干的扰动——而局部噪声只能碰到一端，它"看不到"另一端，因而无法读出这一个比特承载了什么。这就是被动保护的物理根源：信息被藏在了局部探针够不着的地方。这一图像在理论上极其干净；它能否在真实材料里成立，取决于两个零模是否真的被一段有能隙的体相分隔开、且彼此不重叠。

非阿贝尔任意子：编织就是计算

仅仅"藏得好"还不够，量子计算还需要"能算"。这就要谈拓扑保护的第二根支柱—— 非阿贝尔统计 。

在三维世界里，全同粒子只有两类：玻色子（交换波函数不变）和费米子（交换变号）。但在二维体系中，全同准粒子交换一次，波函数可以获得任意相位 e iθ ，故称"任意子（anyon）"。马约拉纳零模属于更狂野的一类—— 非阿贝尔任意子 。当系统存在多个零模时，它们张成一个简并的基态子空间；交换（物理上称为"编织"，braiding）两个任意子，作用不是给波函数乘一个相位，而是 在这个简并子空间里施加一个幺正矩阵 。换言之，"把两个任意子绕一下"这个纯粹的拓扑操作，本身就是一次量子门。

这里是整套方案最迷人的地方：编织的结果只取决于 世界线的拓扑（谁绕了谁、绕了几圈），而与具体怎么绕、绕多快、路径抖不抖完全无关 。你的手再抖，只要拓扑同伦类不变，门操作就分毫不差。这是一种把"精度"从模拟量（需要校准的连续参数）变成数字量（离散的拓扑不变量）的根本转变。对比之下，超导比特的每一个门都是一段需要精心标定的微波脉冲，幅度和时长差一点，保真度就掉一截。拓扑门则把误差从"连续可积累"变成"要么发生要么不发生"。

必须诚实指出一个理论限制：马约拉纳零模的编织只能生成 Clifford 群里的门， 它本身不是通用量子计算的完整门集 ——缺一个非 Clifford 门（如 T 门或 π/8 门）。补足的办法（魔法态蒸馏、或引入更复杂的任意子如 Fibonacci 任意子）会把一部分保护让渡回非拓扑的、需要纠错的环节。所以"完全靠编织、零纠错"是一种理想化叙事；现实方案是 拓扑保护承担大部分、再叠加有限的常规纠错 。这一点在很多通俗介绍里被悄悄略过。

Majorana 1：从物理判据到工程器件

2025 年 2 月，微软发布了名为 Majorana 1 的芯片，并配套在《自然》上发表了关于"拓扑能隙协议"测量的论文。把营销语言剥掉，工程上真正发生的事可以这样概括。

其材料平台是 砷化铟（InAs）半导体纳米线 + 铝（Al）超导薄膜 构成的混合结构，外加磁场与强自旋轨道耦合。这套组合的目标是人工合成一种"拓扑超导体"——即前文 Kitaev 链在真实材料里的近似实现，使纳米线端点出现马约拉纳零模。微软称这是一类新的物质态（"topoconductor"/拓扑导体），并强调其器件采用 电学测量而非靠肉眼看波形来判定拓扑相 ：通过测量器件两端的电导与量子电容，结合"拓扑能隙协议"判断体相是否真的打开了拓扑能隙、端点是否真有零能态。

这里需要把话说清楚，因为这个领域有过沉重的教训。2018 年有过一篇声称观测到马约拉纳信号的《自然》论文，后于 2021 年被撤稿——因为"零偏压电导峰"这个曾被当作马约拉纳指纹的信号，也可能由平庸的安德烈夫束缚态（trivial Andreev bound states）伪装出来。 单看一个零偏压峰，无法区分"真拓扑"与"假冒"。 正因如此，2025 年的工作把判据从单一信号升级为一套协议性的、多端口、可证伪的测量流程，这是方法论上的实质进步。但学界（包括《自然》的同行评议附注）普遍持审慎态度：已发表的数据更接近"我们建立了一套能可靠探测和读出这类器件的测量架构"，而 "已经实现了受拓扑保护、可编织的逻辑比特"这一步尚未被独立确证 。微软公布的"8 比特芯片 / 路线图通向百万比特"在很大程度上是工程蓝图与愿景，不是已交付的算力。

把判断落定：Majorana 1 真正坚实的成果，是 从"看见疑似信号"前进到"用可重复的电学协议测量并读出马约拉纳器件的奇偶性（parity）" ——读出本身就是拓扑量子计算的必备一环，因为最终是靠测量两个零模合成费米子的占据数来取出答案。这一步是真的。而"被动保护已经兑现为低错误率逻辑比特"则属于在建与待证。区分这两者，正是研究态度与公关稿的分界线。

权衡、反方与我们为什么仍下注

反方的质疑值得认真对待。其一，材料纯度：InAs/Al 界面的无序、杂质会产生大量平庸束缚态，把真信号淹没——这是过去十年最大的拦路虎，至今未被宣告彻底解决。其二，编织尚未在受控器件中清晰演示；目前多数方案用"测量驱动的编织"（measurement-based braiding）替代物理移动任意子，这在工程上更现实，却也把一部分负担转回测量精度。其三，即便拓扑保护成立，零模之间残余的波函数交叠会带来指数小但非零的能量劈裂，长链与低温是压制它的代价。

那么，被动保护这条路相对于"暴力纠错"的超导/离子阱路线，根本权衡是什么？超导路线是 "工程已成熟、物理代价高" ：器件可控可造，但每个逻辑比特要烧掉上千个物理比特来纠错。拓扑路线是 "物理优雅、工程未成熟" ：如果材料这一关过得去，纠错开销可被压到极低，扩展性陡然变好；但"如果"二字至今仍重。这是一个典型的 把难度从运行时（runtime）前移到制造时（fabrication） 的取舍——你不是在每次计算时对抗噪声，而是在造芯片时一次性把保护"长"进材料的拓扑结构里。

这正是探针实验室关注它的原因，且与我们的底层信念同构。探针计算机押注的，是 让计算发生在物质的物理演化里，而非架在逻辑门之上的抽象层 ——碱基互补配对的确定性、忆阻器的存算一体、元胞自动机的并行，本质上都是"把规则刻进物理本体、让保护与计算来自结构本身"。拓扑量子计算是这一哲学在量子尺度上最纯粹的表达：信息的鲁棒性不来自不停的监督与修正，而来自一个无法被局部观测者撼动的拓扑不变量。无论 Majorana 1 最终被历史记为突破还是又一次过早宣告，它所验证的那条原理—— 把脆弱的东西藏进局部探针够不着的非局域结构里 ——都已足够深刻，值得任何严肃的底层计算研究者长期下注。