一篇把"拓扑量子计算到底走到哪一步、什么出来了才算真正立住"讲透的深度文。
写作日期:2026-06-17。关键事件均标注年份与论文/期刊;存疑处标"待核实"。
配套:微软详情见 微软 Microsoft;公司总览见 看板首页;政策背景见 政策专题。
拓扑量子计算是六条量子计算路线里赌注最极端的一条:别的路线是"工程难",它是连物理地基都还没被学界公认夯实。
它什么时候才算"真正立住"?一句话:当一个由拓扑保护的逻辑量子比特,被独立团队、经同行评审、可重复地演示出"非阿贝尔统计"(编织或等价的融合规则测量),并定量证明它的错误率确实随拓扑能隙被指数压制——也就是"越拓扑越准"——的那一刻。
在这之前,无论芯片发布会开得多隆重、工程指标(寿命、能隙、可靠性)进步多大,都还停留在"地基施工"阶段。截至 2026 年 6 月,微软的 Majorana 2 把工程指标推进了一大步,但上述核心分水岭一个都还没跨过。
下面是这条路线四十年的完整脉络,以及为什么"非阿贝尔统计的独立演示"是那条不可绕过的分水岭。
普通量子计算靠软件纠错:用成百上千个物理比特、不断测量纠错,去合成一个"逻辑比特"。拓扑路线想做的是硬件纠错——让容错成为材料本身的物理性质。这个想法分四步成型:
为什么"非局域编码"天然容错? 因为信息不存在某一个点上,而是"藏"在两个分离的 MZM 之间的联合宇称里。局域噪声(振动、电荷涨落、杂质)只能碰到单个 MZM,读不到也翻不动那个非局域的整体信息;要出错,必须有一个过程同时关联两端、跨过能隙——概率随距离和拓扑能隙指数级地小。这就是整条路线全部魅力的来源。
这一赌,就是二十年、十亿美元级的投入。
这个"假阳性"问题,是理解后续所有争议的钥匙。
拓扑路线最惨痛的两次教训,都来自"把信号当成铁证":
两次撤稿把整个纳米线/手性马约拉纳方向的信誉打到谷底,也给社区立下铁规:单一信号不算数,要原始数据公开、独立复现、同行评审。
撤稿之后,微软没有放弃,而是换了两个打法:
这一步很聪明,但也埋下后来争议的种子:它把"是否真有马约拉纳"这个根本问题,从"演示编织"延后/转化成了"宇称测量的解读"。
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 仍是预印本),正是被这条反复批评。
| 判据层 | 状态 |
|---|---|
| ① MZM 无歧义存在 | 未达成共识(信号可被平庸态伪造) |
| ② 非阿贝尔统计/编织(分水岭) | 从未演示 |
| ③ 错误率随拓扑能隙指数压制 | 未定量证实(且有反向质疑) |
| ④ 独立复现 + 同行评审 | 关键成果仍以预印本/发布会形式先行 |
Majorana 2 的真实意义:它把"地基工程"(寿命、能隙、可靠性、材料体系)往前推了一大步,值得肯定;但它没有触及第二、三层,因此严格地说,拓扑量子计算到今天仍未"立住"。
它真正立住的那一天,会是这样一条新闻:某个独立实验室(最好不是微软自己),经同行评审,在一个拓扑逻辑比特上重复出了非阿贝尔编织/融合的结果,并证明把它做得"更拓扑"(能隙更大、线更长)时错误率确实指数下降。
在那条新闻出现之前,对拓扑路线的合理态度是:尊重其颠覆性潜力,但把它当成一场尚未兑现的科学豪赌,而非已经到手的工程现实。
注:主时间线以上方时间线组件展示;原文同一份数据的表格作为附录见下。
| 年份 | 事件 | 性质 |
|---|---|---|
| 1937 | Majorana 提出"自身即反粒子"的费米子 | 理论 |
| 1991 | Moore–Read 态:ν=5/2 非阿贝尔任意子候选 | 理论 |
| 1997 | Kitaev:任意子做容错量子计算 | 理论 |
| 2001 | Kitaev 链:量子线中的马约拉纳零模 | 理论 |
| 2003 | Freedman–Kitaev–Larsen–Wang:拓扑量子计算纲领 | 理论 |
| 2005 | 微软 Station Q 成立(Freedman) | 产业 |
| 2008 | Fu–Kane:拓扑绝缘体+超导提案 | 理论 |
| 2010 | Lutchyn/Oreg:半导体纳米线方案 | 理论 |
| 2012 | Mourik/Kouwenhoven:零偏压峰"信号"(Science) | 实验(后存疑) |
| 2013 | 薛其坤:量子反常霍尔效应(Science) | 实验(稳健,平台相关) |
| 2017 | 手性马约拉纳(Science,张首晟等) | 实验(后撤稿) |
| 2017 | 揭示无序可伪造零偏压峰("假阳性") | 理论 |
| 2018 | 量子化电导"冒烟枪"(Nature) | 实验(后撤稿) |
| 2021 | 2018 Nature 论文撤稿 | 信誉危机 |
| 2022 | 2017 Science 手性马约拉纳撤稿 | 信誉危机 |
| 2023 | 微软:器件"通过拓扑能隙协议 TGP"(PRB) | 实验(TGP 被质疑) |
| 2025-02 | Majorana 1 + 干涉式宇称读出(Nature,附编辑声明) | 工程里程碑(争议) |
| 2026-06 | Majorana 2:寿命~22s、能隙~70µeV、可靠性~1000×(预印本) | 工程进步(争议) |
| 未来 | 非阿贝尔统计的独立可复现演示 | 真正立住的标志 |
注:部分二手报道(尤其 2025–2026 的会议/预印本)尚未经同行评审,文中已注明性质。如需逐条核到一手文献,见 微软详情页 的来源链接区。
此前本页的判断是"中国拓扑停留在学术层面,无对应公司"。2026 年这一判断需要更新——思源铁马(铁马量子实验室公司)已在上海张江完成实体化落地。
公司自 2026-04-29 成立以来未发生任何工商变更(核准日期与成立日期相同)。丁洪院士穿透持股 80.51%(直接 6.24% + 三个"铁量"合伙平台各持 99%),是本看板唯一"院士即实际控制人"的公司。三家共建方中只有海桐(上海海桐合创科技,3%)在股权里,且自成立时即在;上海未来产业基金与张江高科未出现在股东名单中——其"共建"应理解为资源与场地支持。
实缴仍为 0,专利/软著/招投标/对外投资/融资均为 0,参保人数未公示——揭牌、团队、载体这些动作尚未在工商与知识产权层面留下痕迹。这不必然是问题(新设公司的专利申请与实缴通常滞后),但意味着对其规模的判断目前只能依据公开活动而非可核数据。
数据源:天眼查专业版企业信用报告(2026-06-18 与 2026-08-05 两次快照逐项比对)。
事实来源:铁马量子实验室公众号《源起张江·铁马启航!铁马量子实验室入驻张江量子湾》(2026-07-23,记述 2026-06-27 发布会与 2026-07-15 内部启动会);工商数据来源:天眼查专业版。详见 思源铁马公司页。
本节为国内正式出版物对该事件的记述,可作为独立于英文媒体的第三方参照。来源:顾成建、孙坚《量子科技:算力、安全与智能未来》(中国科学技术出版社,2026-07)第十一章"拓扑量子计算机";该章参考文献含 Kitaev (Ann. Phys., 2003)、Nayak et al. (Rev. Mod. Phys., 2008)、潘建伟/陆朝阳《拓扑量子计算的前景与挑战》(科学通报, 2017, 62(16): 1709-1715)、Microsoft Quantum (Nature, 2025, 638: 651-655)、Frolov (New Scientist, 2025-03-10)。
本页此前给出的判据是"非阿贝尔统计的独立可复现演示 + 错误率随拓扑能隙指数压制"。这里补一组更通用的、适用于所有路线的判据,可用于评估任何"量子优势/量子优越性"宣称。
量子硬件执行信息处理任务时,须同时满足两条:
强量子优势声明至少需依赖两个要素之一:结果的可验证性,或对量子硬件、算法及计算方法的可信度。当前处理器的困境在于:某些问题的量子输出可直接经典验证,但更多关键问题不具备此特性,只能通过间接认证建立置信度。
由此引入"量子效用"(quantum utility)概念:指量子设备在超越经典暴力模拟尺度下执行精确计算的能力,被视为实现量子优势的必要前提。
三类最具潜力的问题:① 采样类(随机线路采样、玻色采样)——复杂度随规模指数增长,是近期演示的理想候选,但大规模解的正确性验证在经典计算中难以实现,目前唯一可靠的认证方法是通过量子纠错保证样本生成准确性,这正是许多"量子优势"实验尚未真正达标的原因;新途径是"峰值随机线路采样"。② 可通过变分原理验证的问题。③ 可观测量期望值计算(量子化学模拟等)。
⭐ 一条通用提醒:上述出版物在复述谷歌"悬铃木"(2019)与中国"九章"(2020)的量子优越性成果时,主动加了限定语——悬铃木的对照时间是"当时的估算",且"后续经典模拟算法与算力进步显著缩短了该差距";九章的倍率差异"依赖经典基线与模拟算法假设"。量子优越性声明的分母(经典基线)是会移动的,评估任何"XX 倍加速"宣称时都应先问经典基线取的是哪一年、哪个算法。
来源:顾成建、孙坚《量子科技:算力、安全与智能未来》第十二章"量子优越性:超越经典计算机的里程碑"。