Can Majorana zero modes in quantum Hall edges survive edge reconstruction?

想象一下，量子计算机就像一座极其脆弱的纸牌屋。要建造一座稳定的纸牌屋，科学家们需要一种特殊的积木，称为“非阿贝尔任意子”。这些是奇异粒子，当你交换它们的位置时，会以一种保护内部信息免受错误影响的方式改变纸牌屋的状态。其中最著名的是马约拉纳零能模（可以将其想象为“半粒子”，它们自身就是自身的反粒子）。

长期以来，科学家们一直试图利用一种特定的装置来制造这些粒子：将量子材料（量子霍尔系统）的薄边缘夹在超导体（以零电阻传导电流）和磁铁之间。

问题：“平滑边缘”的意外
在现实世界中，这些材料的边缘并不像刀切那样完美锐利。它们通常是“平滑”或渐变的。在物理学中，这种平滑性会导致一种称为边缘重构的现象。

将主要的量子材料想象成一条宽阔的河流（“体”）。当河流遇到平滑的河岸时，沿边缘会形成一条细小、独立的溪流（“侧带”）。在这个特定实验中，主河是“填充因子为 1"（一种标准量子态），而侧带是“填充因子为 1/3"（一种更奇异的分数量子态）。

科学家们曾担心这条额外的侧带会搞乱一切。他们害怕这会将简单的“马约拉纳”粒子变成更复杂的“任意子”（parafermions），或者更糟的是，彻底摧毁这些粒子。

发现：粒子幸存
这篇论文认为，尽管边缘混乱且发生了重构，马约拉纳零能模实际上依然幸存。

以下是类比：
想象你正试图在车库里停放两辆特定的汽车（马约拉纳粒子）。

旧观点：科学家们认为平滑的边缘会在第一个车库旁边建造第二个平行车库。他们担心汽车会与来自第二个车库的新奇汽车混在一起，或者车库规则会改变，导致原始汽车无法存在。
新发现：作者表明，虽然第二个车库（1/3 侧带）确实出现了，但主建筑（1/3 体）的规则是严格的。新车库不能随意停放任何车辆；它必须遵循与主车库相同的停车规则。

由于这些严格的规则，来自侧带的“奇异”粒子不会变成一种新的复杂物种（任意子）。相反，它们仅仅变成了原始马约拉纳粒子的第二个、完全相同的副本。

结果：双层系统
因此，在超导体与磁铁相遇的每个连接处，你得到的不是一个粒子，而是两个解耦的马约拉纳粒子并排坐落。

一个与主“河流”（1/3 体）相关。
另一个与“侧流”（1/3 侧带）相关。

它们就像住在同一栋房子里但不同房间里的双胞胎。它们互不交谈，但两者都在那里。这创造了一个具有"Z2 × Z2"对称性的系统，这是一种 fancy 的说法，意指基态（系统的静止状态）有四种不同的可能性，而不仅仅是两种。

我们如何知道？“约瑟夫森电流”测试
这篇论文提出了一种观察这两个粒子的方法。科学家们可以测量超导体之间流动的一种特殊电流，称为约瑟夫森电流。

如果速度相同：想象这两个粒子在两条平行轨道上以完全相同的速度奔跑。如果你测量电流，这两个粒子看起来是相同的。你无法区分它们；它们看起来就像一个大的粒子。
如果速度不同：如果一条轨道比另一条快（这是因为侧带和主河流具有不同的性质），这两个粒子开始在电流中显示出不同的“特征”。

论文表明，如果你仔细测量这种电流，你会看到一个独特的模式（4π 周期性），证明这两个独立的、解耦的马约拉纳粒子的存在。

底线
尽管材料的边缘混乱且发生了重构，但量子计算所需的特殊“半粒子”是稳健的。它们不会消失，也不会变成难以处理的东西；它们只是成倍增加。这对于试图构建容错量子计算机的工程师来说是个好消息，因为这意味着这些粒子比之前认为的更难被摧毁。

以下是 Kishore Iyer 等人论文《量子霍尔边缘中的马约拉纳零模在边缘重构后依然存在》的详细技术总结。

1. 问题陈述

本文解决了分数量子霍尔（FQH）系统中实现非阿贝尔任意子（特别是马约拉纳零模，MZMs，和帕拉费米子零模，PZMs）的一个关键挑战：边缘重构。

背景：工程化非阿贝尔任意子通常涉及将 FQH 边缘与超导体（SC）和铁磁体（FM）进行邻近化。虽然 $\nu=1$ 量子霍尔系统中的理想锐利边缘支持单一手性模式，但现实中的平滑边缘势会导致边缘重构。
冲突：在 $\nu=1$ 系统中，平滑边缘势会在相邻处产生一个薄的 $\nu=1/3$ FQH 侧带。这引入了反向传播的边缘模式（具体为具有 $1/3$ 和 $2/3$ 电导的下行模式以及一个上游中性模式）。
问题：这种重构的边缘结构是否会破坏 MZMs 的拓扑保护，或者将它们转化为 PZMs（后者更复杂但更难稳定）？先前的理论表明，分数体态（ $\nu=1/3$ ）的存在可能导致帕拉费米子，或破坏 MZMs 所需的简并性。作者研究了 MZMs 是否能在这种重构中幸存，以及基态简并度和输运特征如何受到影响。

2. 方法论

作者在手性 Luttinger 液体理论的框架内采用玻色化方法来模拟重构的边缘。

系统设置：他们考虑了两个具有相反自旋的同心 $\nu=1$ 量子霍尔系统。边缘被交替的 SC 和 FM 区域邻近化（如论文图 1 所示）。
边缘理论：
- 重构的边缘被建模为三个玻色模式：两个带电模式（ $\phi_1$ ，电导 $1/3$ ； $\phi_2$ ，电导 $2/3$ ）和一个中性模式（ $\phi_3$ ）。
- 哈密顿量包含动能项（ $H_0$ ）以及由 SC 和 FM 邻近效应诱导的相互作用项（ $H_{SC}$ 和 $H_{FM}$ ）。
- 电子算符：他们确定了重构边缘上最相关的电子算符：
  - $\psi_A \sim e^{-i(\phi_1 + \phi_2)}$ ：对应于原始的 $\nu=1$ 电子（电荷 $e$ ）。
  - $\psi_B \sim e^{-i3\phi_1}$ ：对应于三个 $1/3$ 电荷激发的复合体。
  - $\psi_C \sim e^{-i(3/2)\phi_2 - i(1/2)\phi_3}$ ：涉及中性模式。
基态分析：
- 他们分析了配对振幅（ $\Delta$ ）和背散射（ $M$ ）为无穷大的极限，将玻色场钉扎在其极小值处。
- 他们推导了由体 - 边缘对应关系以及 SC/FM 区域总电荷必须为整数（以避免能量上不利的分数电荷积累）的要求所施加的电荷和自旋宇称算符的约束。
约瑟夫森结：为了探测该系统，他们在两个 SC 区域之间构建了一个约瑟夫森结，并计算了作为 SC 相位偏置（ $\phi_{SC}$ ）函数的能谱和约瑟夫森电流（ $J$ ）。

3. 主要贡献与理论发现

A. 马约拉纳零模的幸存（而非帕拉费米子）

尽管存在 $\nu=1/3$ 侧带，该系统并不承载帕拉费米子零模（PZMs）。相反，它在每个 SC-FM 界面处承载两个解耦的马约拉纳零模。

机制：多种配对项（针对 $\psi_A$ 、 $\psi_B$ 和 $\psi_C$ ）与背散射项之间的一致性要求迫使系统选择整数电荷/自旋构型。这将潜在的帕拉费米子自由度“降级”回马约拉纳费米子。
简并度：与未重构边缘相比，基态简并度加倍。
- 未重构边缘：2 个简并态（与 $\psi_A$ 相关）。
- 重构边缘：4 个简并态。这些源于两种电子类型的独立宇称： $\psi_A$ （与 $\nu=1$ 体相关）和 $\psi_B$ （与 $\nu=1/3$ 体相关）。
解耦：单个界面处的两个 MZMs 是解耦的，因为它们对应于不同的电子类型（ $\psi_A$ 和 $\psi_B$ ），在低能流形内无法相互转化。

B. 基态流形结构

作者定义了一个新基，以明确计算 $\psi_A$ 和 $\psi_B$ 电子的占据数。

基态标记为 $|s_{1A}, s_{1B}; s_{2A}, s_{2B}; q_{totA}, q_{totB}\rangle$ ，代表两个 FM 区域上两种电子类型的自旋宇称以及总电荷宇称。
系统表现出 $Z_2 \times Z_2$ 对称性。算符 $e^{i\pi \hat{Q}}$ （移动 $\psi_A$ ）和 $e^{3i\pi \hat{Q}^{(1)}}$ （移动 $\psi_B$ ）作用于基态流形，将其分裂为两个各含 2 个态的不相交子流形，但联合动作允许在所有 4 个态之间进行旋转。

C. 约瑟夫森电流特征

本文提出了一种特定的实验特征来检测 MZMs 的多重性：分数约瑟夫森电流。

相等速度（ $v_1 = v_2$ ）：如果 $1/3$ 和 $2/3$ 玻色模式的传播速度相同，约瑟夫森电流仅对总自旋宇称敏感。两个不同 MZM 的特征重叠，使它们在电流中无法区分。
不相等速度（ $v_1 \neq v_2$ ）：当速度不同时，能谱发生分裂。流形中的 4 个基态中的每一个在约瑟夫森电流 $J(\phi_{SC})$ 中都显示出独特的特征。
周期性：关键在于，在所有情况下，约瑟夫森电流相对于 SC 相位偏置都保持 $4\pi$ 周期性，证实了尽管存在边缘重构，MZMs 的拓扑性质依然存在。

4. 结果

鲁棒性：该研究证明， $\nu=1$ 系统中的边缘重构并不会破坏 MZMs；相反，它通过在每个界面引入第二个解耦的 MZM 来丰富基态简并度。
无帕拉费米子： $\nu=1$ 体施加的约束阻止了稳定帕拉费米子的形成，迫使系统进入马约拉纳机制。
实验探测：不同基态（当 $v_1 \neq v_2$ 时）独特的约瑟夫森电流特征提供了一种具体的实验方案，以验证这些解耦模式的存在。观察到具有多个不同分支的 $4\pi$ 周期电流将证实该理论。

5. 意义

解决主要障碍：边缘重构是现实世界量子霍尔实验中普遍存在的现象。本文表明，在 $\nu=1$ 系统中追求 MZMs 并不会被这一现象所阻碍；事实上，重构的边缘提供了更丰富的拓扑结构。
拓扑量子比特的新平台：该系统提供 $Z_2 \times Z_2$ 对称的基态，与标准的单 MZM 设置相比，这可能被利用来进行更复杂的容错量子比特操作。
实验指导：通过确定解析两个 MZM 不同特征所需的特定条件（速度失配），本文为实验人员如何在重构的量子霍尔边缘中解释约瑟夫森结数据提供了指导。

总之，该论文确立了在 $\nu=1$ 量子霍尔系统中，只要系统被 SC 和 FM 邻近化，马约拉纳零模对边缘重构具有鲁棒性。重构导致基态简并度加倍，并在每个界面处出现两个解耦的马约拉纳模式，当边缘模式速度不同时，可通过分数约瑟夫森电流中的不同特征进行探测。