跳转到内容
← 返回研究前沿
量子信息2020s15 分钟阅读

拓扑量子比特与马约拉纳费米子

Topological Qubits and Majorana Fermions — Microsoft's Bet and the Physics It Depends On

1997 年,数学物理学家 Alexei Kitaev 在一篇题为"容错量子计算——任意子"的预印本中提出了一个看似疯狂的想法:把量子信息编码进拓扑结构而不是单个粒子,让量子比特在"几何上"免疫于局域噪声。(这篇论文 1997 年首发于 arXiv,正式版本直到 2003 年才发表于《物理学年刊》。) 局域噪声是量子计…

拓扑量子计算马约拉纳费米子非阿贝尔任意子Microsoft量子量子纠错凝聚态物理

1997 年,数学物理学家 Alexei Kitaev 在一篇题为"容错量子计算——任意子"的预印本中提出了一个看似疯狂的想法:把量子信息编码进拓扑结构而不是单个粒子,让量子比特在"几何上"免疫于局域噪声。(这篇论文 1997 年首发于 arXiv,正式版本直到 2003 年才发表于《物理学年刊》。)

局域噪声是量子计算机的头号敌人。一个宇宙射线粒子、一个磁场的微小涨落,都能打翻一个量子比特。传统的量子纠错方法是用多个物理比特来保护一个逻辑比特(见 量子纠错跨过门槛)。但 Kitaev 的想法更激进:如果量子信息本身就存储在一种拓扑上保护的状态里,局域扰动就碰不到它

这就像把一条项链的"有没有结"这个信息——它显然是拓扑性质的,不能被局域地改变——变成一个比特。要改变"有结/无结",你必须把整条项链取下来重新穿,而不是在链上某一点施加一个局部的推力。

Kitaev 的方案依赖的关键物理对象叫做马约拉纳零模(Majorana zero modes, MZM):一类特殊的准粒子,它是自己的反粒子(即把粒子换成反粒子后方程不变),并且当两个马约拉纳模出现在一维系统的两端时,它们共同编码的信息在非局域意义上被保护。

这既是一个令人着迷的物理预言,也是一个工程难度极大的挑战——因为马约拉纳零模还从未被无争议地在实验中观测到。

破除误解:马约拉纳费米子 ≠ 马约拉纳零模

物理学中有两个"马约拉纳"的概念,经常被混淆。

马约拉纳费米子(Majorana fermion)是 Ettore Majorana 1937 年预言的一类基本粒子——满足狄拉克方程,但是自身的反粒子(ψ=ψc\psi = \psi^c)。中微子是否是马约拉纳粒子,目前尚未确定(见中微子物理前沿)。这是粒子物理学的问题。

马约拉纳零模(Majorana zero modes),又称马约拉纳准粒子,是凝聚态物理中出现在拓扑超导体边界上的集体激发模式——它们在数学上满足马约拉纳条件,但它们是材料中的准粒子,不是基本粒子。这是凝聚态物理学与量子计算的交叉领域。

拓扑量子计算所追求的,是后者。

另一个误解是"拓扑量子计算 = 容错量子计算已实现"。拓扑保护只有在真正实现了马约拉纳零模并且能够操控它们的情况下才能成立,而这一步至今仍在争议之中。

现场:理论预言与实验困境

纳米线方案:理论美丽,实验多难

最主流的实现方案来自 2010 年由 Yuval Oreg 与 Gil Refael(以色列)及 Roman Lutchyn 与 Das Sarma(美国马里兰大学)独立提出的纳米线模型:取一段半导体纳米线(InAs 或 InSb),让它紧贴一层超导体(如铝),再施加一个轴向磁场。理论预言,在合适的参数窗口下,纳米线的两端会出现马约拉纳零模[^nanowire-theory]。

代尔夫特理工大学的 Leo Kouwenhoven 团队从 2012 年开始沿这条路线实验,并在《科学》上报告了"零偏压电导峰"——这个信号是马约拉纳零模的一个预期特征[kouwenhoven2012]

但问题随之而来:后续研究发现,产生零偏压峰的物理原因不唯一——量子点(Andreev bound states)等普通效应也能产生几乎一模一样的信号,从外部测量很难区分。2020 年,代尔夫特团队主动撤回了 2018 年发表在《自然》的一篇论文,因为更仔细的数据分析显示原始结论过度解读了实验信号[^retraction-2020]。这一撤稿在学界引发广泛反思:区分真正的 Majorana 信号和"类 Majorana"信号有多困难。

微软 Majorana 1:宣布与争议

2025 年 2 月,微软在《自然》上发表论文并公开宣传了一个新芯片——Majorana 1,声称这是世界上第一个包含拓扑量子比特的处理器,每个比特由马约拉纳零模编码[microsoft2025]。芯片使用 InAs/Al 异质结,通过"拓扑能隙协议"(topological gap protocol)来判定是否进入拓扑相。

学界的反应远比媒体报道谨慎。

《自然》编辑部的同行评审意见明确指出,"论文结果不代表报道设备中存在马约拉纳零模的证据"。Scott Aaronson(德克萨斯大学奥斯汀分校,量子计算理论家)在其博客上详细分析了声明与证据之间的鸿沟,结论是微软展示了设备在特定参数下进入了某种"拓扑相",但是否真正实现了用马约拉纳零模编码和操控量子信息,需要更多、更直接的证据[aaronson]

2025 年 7 月,澳大利亚一个研究团队在预印本上发表论文,指出微软所用的半导体纳米线架构存在一种噪声机制,会对利用 Majorana 准粒子作为量子比特施加根本性限制,进一步动摇了这一路线的可行性[^aussie-challenge]。

截至 2026 年中,微软方面没有发布后续的实验数据来回应这些批评,争议仍在进行中。

拓扑量子计算的物理基础

理解争议需要先理解拓扑量子计算的物理为何如此吸引人。

传统量子比特把量子信息编码在单个物理对象的状态上(比如超导量子比特中约瑟夫森结两边的相位差,或离子阱中电子的自旋态)。这个对象必然与环境相互作用——退相干(decoherence)的根源在此。

马约拉纳零模的情况不同。如果一维拓扑超导体两端各有一个马约拉纳零模(记为 γL\gamma_LγR\gamma_R),两者共同构成一个费米算符 c=(γL+iγR)/2c = (\gamma_L + i\gamma_R)/2,量子信息编码在"这个费米态是否被占据"这个非局域的量子数上。

非局域意味着:任何只作用在纳米线某一个局部的噪声,都必须同时"感受到"两端的马约拉纳,才能改变这个量子数。如果两端距离足够远(马约拉纳的相互作用随距离指数衰减),局域噪声实际上什么都做不了。

这种内在保护不依赖任何主动的纠错操作——它是被动的,来自物理基态的拓扑简并性。这就是为什么拓扑量子比特被称为"天然容错"。

更深一步,非阿贝尔任意子(non-Abelian anyons)——Majorana 是最简单的例子——交换两次时产生的不只是一个相位,而是一个作用在简并态空间上的幺正矩阵。这意味着"编织"(braiding)这些准粒子的顺序携带了量子逻辑门的信息。对 Majorana 进行编织相当于执行量子操作,而这些操作同样是拓扑保护的。

谁在做、做到了哪一步

路线代表团队 / 机构核心方法现状(2026 年)
半导体纳米线微软 / 代尔夫特 / 哥本哈根InAs(InSb)+Al,外加磁场有候选信号,拓扑起源争议未决
磁链(铁原子链)普林斯顿 Yazdani 组超导体上磁性原子链,STM 测量零模信号清晰,但编织操控尚未实现
分数量子 Hall 系统贝尔实验室 / UCSB5/2 填充因子,非阿贝尔任意子最佳的理论基础,实验操控极难
拓扑超导薄膜多个团队(早期探索)磁性 TI 薄膜 + 超导体存在信号,存在替代解释,尚无共识

没有任何一条路线在 2026 年已经确认实现了可操控的马约拉纳零模,更不用说编织操作了。

代价与争议

信号模糊是根本困难。 马约拉纳零模的标志性实验特征——零偏压电导峰——并不是唯一能产生这个信号的机制。Andreev 束缚态(ordinary quantum-dot states)在特定条件下会产生几乎相同的峰。要可靠区分,需要更复杂的实验方案(如非局域测量、"拓扑能隙协议"、闭合/断开磁通等)。

微软的声明策略引发方法论争议。 Majorana 1 的宣传通过新闻发布会与论文同步发布,在数据尚未充分公开时已经引发广泛媒体报道。一些物理学家认为,商业压力正在迫使科学声明在证据不充分时被放大——这与 2018 年代尔夫特撤稿事件的机制有某种相似。

时间线的不确定性。 微软在 2023 年曾设定 2025 年实现"有用的量子计算"的目标,随着 Majorana 1 的争议,这一时间表的可信度受到质疑。即便马约拉纳零模被完整确认,从单个可控比特到可用的量子计算系统之间还有巨大的工程距离。

未知的边界

  • 在半导体纳米线体系中,是否存在一个实验方案,能无争议地确认马约拉纳零模的拓扑起源,而不仅仅是零偏压电导峰?
  • 编织操作(braiding)是否能在任何体系中被实验实现?这是拓扑量子计算的关键步骤,至今无人完成。
  • 5/2 分数量子 Hall 态是目前理论基础最坚实的非阿贝尔任意子平台——但操控极难,能否发展出可扩展的操控技术?
  • 如果纳米线路线被彻底否定,拓扑量子计算的其他路线(磁链、FQH)在现有技术下是否可以跨越?
  • 退一步说:相比传统表面码路线(量子纠错跨过门槛),拓扑量子比特的优势在实际工程上究竟能有多大?理论上的被动容错能否在实际噪声环境中真实体现?

跨域连接

  • 拓扑学:这条路线的全部吸引力来自一个数学性质——信息编码在非局域的拓扑自由度里,因而局域噪声在原理上无法读取或破坏它。这是硬件级容错的承诺,而它同时也是验证的困难所在:非局域的东西无法被局域测量直接确认。
  • 证伪主义:这一领域的教训格外具体——多篇高影响力论文因数据处理问题被撤稿或更正。问题不在造假与否,而在于零偏电导峰这一signature可以由多种平庸机制产生,因而单一signature不构成证据。要求"多个独立signature同时满足"是这场争议留下的方法论规范。
  • 量子计算理论:非阿贝尔任意子的编织操作构成的门集是否完备,决定了这条路线能否独立支撑通用量子计算。马约拉纳零模的编织并不完备,需要额外的非拓扑操作补齐,而这些补充操作恰恰不受拓扑保护——容错的优势因此只覆盖一部分门。
  • 纠错码:拓扑量子比特与表面码是同一个想法的硬件版与软件版——一个把拓扑保护做进材料,一个用大量普通量子比特在算法层构造出等价的保护。两条路线的竞争实质是:是把复杂性放进材料生长,还是放进比特数量与解码器。
  • 半导体物理:实现所需的条件(强自旋轨道耦合的纳米线、近邻超导、精确的磁场与栅压窗口)几乎每一项都处在材料生长的极限,而无序与界面缺陷正是产生假signature的主要来源。这使材料表征的质量成为该领域可信度的直接约束。

参考文献

  • Kitaev, A. Fault-tolerant quantum computation by anyons. Annals of Physics 303, 2–30 (2003). arXiv:quant-ph/9707021.(拓扑量子计算奠基论文)
  • Nayak, C., Simon, S. H., Stern, A., Freedman, M., & Das Sarma, S. Non-Abelian anyons and topological quantum computation. Reviews of Modern Physics 80, 1083 (2008).(综述性长文)
  • Mourik, V., et al. Signatures of Majorana Fermions in Hybrid Superconductor-Semiconductor Nanowire Devices. Science 336, 1003 (2012).(代尔夫特 2012 年初始报告)
  • Microsoft Quantum. Interferometric single-shot parity measurement in InAs-Al hybrid devices. Nature 638, 651–655 (2025).(Majorana 1 相关论文,含编辑部意见)
  • Aaronson, S. FAQ on Microsoft's topological qubit thing. shtetl-optimized.blogspot.com (2025-02).(清醒的外部评估)
  • APS Physics Editorial. Microsoft's Claim of a Topological Qubit Faces Tough Questions. Physics 18, 68 (2025).

脚注

  1. [kouwenhoven2012]Mourik et al., Science 336, 1003 (2012)。代尔夫特初步报告,激发了后续十余年的实验追逐。
  2. [microsoft2025]Microsoft Quantum 合作,Nature 638, 651–655 (2025);同期编辑部评论明确指出结果不能构成 Majorana 零模存在的证据。
  3. [aaronson]Scott Aaronson, "FAQ on Microsoft's topological qubit thing," shtetl-optimized.blogspot.com, February 2025。