看板 / 专题

拓扑量子计算:发展历程与"成立标准"

拓扑深度文2026-06-18
一篇把"拓扑量子计算到底走到哪一步、什么出来了才算真正立住"讲透的深度文。
写作日期:2026-06-17。关键事件均标注年份与论文/期刊;存疑处标"待核实"。
配套:公司维度见 companies/microsoft.md;总览见 01-公司总览与分类.md

〇、先把结论(定调)摆在前面

拓扑量子计算是六条量子计算路线里赌注最极端的一条:别的路线是"工程难",它是连物理地基都还没被学界公认夯实

它什么时候才算"真正立住"?一句话:当一个由拓扑保护的逻辑量子比特,被独立团队、经同行评审、可重复地演示出"非阿贝尔统计"(编织或等价的融合规则测量),并定量证明它的错误率确实随拓扑能隙被指数压制——也就是"越拓扑越准"——的那一刻。

在这之前,无论芯片发布会开得多隆重、工程指标(寿命、能隙、可靠性)进步多大,都还停留在"地基施工"阶段。截至 2026 年 6 月,微软的 Majorana 2 把工程指标推进了一大步,但上述核心分水岭一个都还没跨过

下面是这条路线四十年的完整脉络,以及为什么"非阿贝尔统计的独立演示"是那条不可绕过的分水岭。

一、思想的诞生(1991–2003):从任意子到"硬件级容错"

普通量子计算靠软件纠错:用成百上千个物理比特、不断测量纠错,去合成一个"逻辑比特"。拓扑路线想做的是硬件纠错——让容错成为材料本身的物理性质。这个想法分四步成型:

  1. Moore–Read 态(1991) — Moore & Read 在《Nuclear Physics B》提出,分数量子霍尔效应 ν=5/2 平台的准粒子可能是非阿贝尔任意子(non-Abelian anyons)。这是"拓扑计算物理载体"最早的候选。
  2. Kitaev 的奠基(1997) — Alexei Kitaev《Fault-tolerant quantum computation by anyons》(arXiv 1997,正式发表于《Annals of Physics》2003)。核心洞见:二维世界里的非阿贝尔任意子,互相绕圈(braiding,编织)就能完成量子门,把它们成对融合(fusion)就能读出结果;而且"因其物理本性即容错"。
  3. Kitaev 链与马约拉纳零模(2001) — Kitaev《Unpaired Majorana fermions in quantum wires》(Physics-Uspekhi 2001)。一维拓扑超导链的两个端点各出现一个"马约拉纳零模"(MZM);一个逻辑比特的信息由空间上分离的两个 MZM 共同、非局域地携带。两个简并态的能量差随链长 L 指数衰减 ∝ exp(−L/ξ)。
  4. 形式化纲领(2003) — Freedman、Kitaev、Larsen、Wang《Topological Quantum Computation》(Bulletin of the AMS 2003),证明拓扑量子计算与标准量子计算计算能力等价,并明确提出卖点:错误率随空间尺度指数压制 e^(−αℓ)

为什么"非局域编码"天然容错? 因为信息不存在某一个点上,而是"藏"在两个分离的 MZM 之间的联合宇称里。局域噪声(振动、电荷涨落、杂质)只能碰到单个 MZM,读不到也翻不动那个非局域的整体信息;要出错,必须有一个过程同时关联两端、跨过能隙——概率随距离和拓扑能隙指数级地小。这就是整条路线全部魅力的来源。

二、寻找物理载体(1937 → 2010):马约拉纳从粒子物理走进固体

三、微软入局(2005–):一家公司的二十年豪赌

这一赌,就是二十年、十亿美元级的投入。

四、第一次高潮与"信号"的陷阱(2012–2017)

这个"假阳性"问题,是理解后续所有争议的钥匙。

五、崩塌:两篇旗舰论文的撤稿(2018 → 2022)

拓扑路线最惨痛的两次教训,都来自"把信号当成铁证":

  1. 2018 Nature"量子化电导"论文 → 2021 撤稿
    • Zhang、Kouwenhoven 等《Quantized Majorana conductance》(Nature 2018-04)宣称看到了理论预言的 2e²/h 量子化电导平台,被誉为"冒烟枪级证据"。
    • 匹兹堡大学的 Sergey FrolovVincent Mourik 复核原始数据,发现作者择优选取了支持结论的数据、隐去了会引发质疑的部分。2020 年 5 月《Nature》先发"编辑关注声明",2021 年 3 月正式撤稿。Frolov 的名言式立场:"存在数据选择和数据操作,可以让不是量子比特的东西看起来像量子比特。"
  2. 2017 Science"手性马约拉纳"论文 → 2022 撤稿
    • He 等(作者含 张首晟)《Science》宣称在"量子反常霍尔绝缘体 + 超导"结构中看到半整数量子化电导(0.5 e²/h)= 手性马约拉纳。
    • 2022 年 11 月被《Science》撤稿:原始数据出处与一致性存疑(17 位作者中仅 3 人同意撤稿)。后续多端实验给出该半整数信号的非马约拉纳解释。(注:张首晟已于 2018 年去世,该撤稿为身后事。)

两次撤稿把整个纳米线/手性马约拉纳方向的信誉打到谷底,也给社区立下铁规:单一信号不算数,要原始数据公开、独立复现、同行评审。

六、转向:从"找粒子"到"过协议"+"测量式"(2021–2024)

撤稿之后,微软没有放弃,而是换了两个打法:

  1. 拓扑能隙协议(Topological Gap Protocol, TGP) — 微软 2023 年《PRB》"InAs-Al hybrid devices passing the topological gap protocol"。不再靠单个零偏压峰,而是一套多重一致判据:在变磁场、变电子密度、变结透明度下,同时做局域 + 非局域输运测量,要求体能隙"先关后开"且器件两端关联同时出现,以压低假阳性。
    • 但 TGP 本身也被质疑:圣安德鲁斯大学的 Henry Legg 等(2025)指出 TGP 对"能隙/拓扑"缺乏一致定义、结果对参数选择敏感,仍可能产生假阳性(把平庸相误判为拓扑)。微软回应称批评者只挑出了"几百例里的个别反例"。
  2. 测量式拓扑量子计算(measurement-based TQC) — 这是关键的思路转弯:放弃"物理地把两个 MZM 搬来搬去编织"(工程上极难),改成通过测量费米子宇称来等效实现门操作。器件采用 tetron 布局(两条平行拓扑纳米线 + 一条平庸超导脊,4 个 MZM = 1 个逻辑比特),用干涉环测量 MZM 对的联合宇称,等价于 Pauli-X / Pauli-Z 操作。

这一步很聪明,但也埋下后来争议的种子:它把"是否真有马约拉纳"这个根本问题,从"演示编织"延后/转化成了"宇称测量的解读"。

七、Majorana 1 与 Majorana 2(2025–2026):工程在进,争议仍在

Majorana 1(2025-02-19)

Majorana 2(2026-06-02,微软 Build 大会)

独立裁判是谁? DARPA 的 US2QC / QBI 计划:微软与 PsiQuantum 入选最终"验证与协同设计"阶段,由 50 余人的独立团队做第三方核验。两次撤稿之后,这种外部独立验证被视为不可或缺的补充。

八、为什么几乎没有第二家公司做拓扑

九、中国与拓扑:学术高地,没有产业

十、定调:什么出来了,拓扑量子计算才算真正立住?

学界其实早有一张"路线图"作为判据标尺:Aasen、Das Sarma、Nayak、Alicea 等《Milestones toward Majorana-based quantum computing》(PRX 2016)。综合它与撤稿后的社区共识,可以归纳为四层递进判据:

第一层(必要但远不充分):无歧义证明马约拉纳零模存在。

难点在于"假阳性":零偏压峰、量子化电导、单次宇称读出——任何单一信号都被证明可由无序诱导的平庸束缚态伪造(这正是 2018 Nature、2017 Science 两篇旗舰相继撤稿的根源)。所以必须靠多重一致、含非局域关联与能隙开合的判据(TGP 的初衷),而 TGP 自身又被指可能假阳性。这也是为什么连微软 2025 的 Nature 论文,期刊都要声明"不构成 MZM 存在的证据"。

第二层(公认的分水岭):演示"唯一拓扑"的现象——非阿贝尔统计。

这是决定性的一步,也是至今无人完成的一步。具体形态有两种等价路径:

一句话:只要还没有人独立、可复现地展示非阿贝尔统计,拓扑量子计算就还没"立住"。 哪怕宇称寿命做到一分钟,那也只是"地基更结实了",不是"楼立起来了"。

第三层:定量证明"越拓扑越准"。

即逻辑比特的相干时间/错误率随拓扑能隙(或 MZM 分离距离)指数压制,而非偶然简并所致。警示信号:2025 年有预印本指出,半导体-超导界面的固有电荷噪声可能让马约拉纳比特退相干得比拓扑保护更快——所以"拓扑保护真能换来更低错误率"这件事本身,也还没被定量证实。

第四层(程序正义,撤稿后的底线):原始数据公开 + 独立团队可复现 + 正式同行评审,辅以 DARPA QBI/US2QC 式的第三方验证。微软多次以发布会/预印本先行(2025-02 部分、2026-06 Majorana 2 仍是预印本),正是被这条反复批评。

总结判断(截至 2026-06)

判据层状态
① MZM 无歧义存在未达成共识(信号可被平庸态伪造)
② 非阿贝尔统计/编织(分水岭)从未演示
③ 错误率随拓扑能隙指数压制未定量证实(且有反向质疑)
④ 独立复现 + 同行评审关键成果仍以预印本/发布会形式先行

Majorana 2 的真实意义:它把"地基工程"(寿命、能隙、可靠性、材料体系)往前推了一大步,值得肯定;但它没有触及第二、三层,因此严格地说,拓扑量子计算到今天仍未"立住"

它真正立住的那一天,会是这样一条新闻:某个独立实验室(最好不是微软自己),经同行评审,在一个拓扑逻辑比特上重复出了非阿贝尔编织/融合的结果,并证明把它做得"更拓扑"(能隙更大、线更长)时错误率确实指数下降

在那条新闻出现之前,对拓扑路线的合理态度是:尊重其颠覆性潜力,但把它当成一场尚未兑现的科学豪赌,而非已经到手的工程现实。

发展历程时间线

1937Majorana 提出"自身即反粒子"的费米子理论
1991Moore–Read 态:ν=5/2 非阿贝尔任意子候选理论
1997Kitaev:任意子做容错量子计算理论
2001Kitaev 链:量子线中的马约拉纳零模理论
2003Freedman–Kitaev–Larsen–Wang:拓扑量子计算纲领理论
2005微软 Station Q 成立(Freedman)产业
2008Fu–Kane:拓扑绝缘体+超导提案理论
2010Lutchyn/Oreg:半导体纳米线方案理论
2012Mourik/Kouwenhoven:零偏压峰"信号"(Science)实验(后存疑)
2013薛其坤:量子反常霍尔效应(Science)实验(稳健,平台相关)
2017手性马约拉纳(Science,张首晟等)实验(后撤稿)
2017揭示无序可伪造零偏压峰("假阳性")理论
2018量子化电导"冒烟枪"(Nature)实验(后撤稿)
20212018 Nature 论文撤稿信誉危机
20222017 Science 手性马约拉纳撤稿信誉危机
2023微软:器件"通过拓扑能隙协议 TGP"(PRB)实验(TGP 被质疑)
2025-02Majorana 1 + 干涉式宇称读出(Nature,附编辑声明)工程里程碑(争议)
2026-06Majorana 2:寿命~22s、能隙~70µeV、可靠性~1000×(预印本)工程进步(争议)
未来非阿贝尔统计的独立可复现演示(真正立住的标志)里程碑

注:主时间线以上方时间线组件展示;原文同一份数据的表格作为附录见下。

附:拓扑量子计算关键时间线(表格)

年份事件性质
1937Majorana 提出"自身即反粒子"的费米子理论
1991Moore–Read 态:ν=5/2 非阿贝尔任意子候选理论
1997Kitaev:任意子做容错量子计算理论
2001Kitaev 链:量子线中的马约拉纳零模理论
2003Freedman–Kitaev–Larsen–Wang:拓扑量子计算纲领理论
2005微软 Station Q 成立(Freedman)产业
2008Fu–Kane:拓扑绝缘体+超导提案理论
2010Lutchyn/Oreg:半导体纳米线方案理论
2012Mourik/Kouwenhoven:零偏压峰"信号"(Science)实验(后存疑)
2013薛其坤:量子反常霍尔效应(Science)实验(稳健,平台相关)
2017手性马约拉纳(Science,张首晟等)实验(后撤稿)
2017揭示无序可伪造零偏压峰("假阳性")理论
2018量子化电导"冒烟枪"(Nature)实验(后撤稿)
20212018 Nature 论文撤稿信誉危机
20222017 Science 手性马约拉纳撤稿信誉危机
2023微软:器件"通过拓扑能隙协议 TGP"(PRB)实验(TGP 被质疑)
2025-02Majorana 1 + 干涉式宇称读出(Nature,附编辑声明)工程里程碑(争议)
2026-06Majorana 2:寿命~22s、能隙~70µeV、可靠性~1000×(预印本)工程进步(争议)
未来非阿贝尔统计的独立可复现演示真正立住的标志

来源

注:部分二手报道(尤其 2025–2026 的会议/预印本)尚未经同行评审,文中已注明性质。如需逐条核到一手文献,见 companies/microsoft.md 的来源链接区。