Quantifying robustness and locality of Majorana bound states in interacting systems

本文通过从多体基态定义马约拉纳束缚态，并论证其局域性如何限制环境耦合以量化保护机制，严谨地建立了相互作用系统中马约拉纳束缚态分离、鲁棒能量简并与受保护非阿贝尔编织之间的联系。

要点

大局观：保护“量子硬币”

想象一下，你正试图建造一台利用量子物理奇特规则的超级先进计算机。一个主要问题是，这些计算机极其脆弱。一个微小的碰撞、一个随机磁场，甚至是一阵微风，都可能毁掉计算。

为了解决这个问题，科学家们正在寻找一种特殊的“量子硬币”，称为马约拉纳束缚态 (Majorana Bound State, MBS)。不要把 MBS 仅仅看作一个单一的粒子，而要把它看作一对处于幽灵状态的硬币两半。其中一半生活在导线的极左端，另一半则生活在极右端。

魔术技巧：
如果这两半距离很远，它们就是“受保护的”。如果你戳一下导线的左侧，你无法影响右侧。因为信息被分割在两个遥远的位置，局部噪声（比如导线中间的一个颠簸）无法破坏量子态。这被称为拓扑保护 (topological protection)。

问题所在：当情况变得混乱时（相互作用）

长期以来，科学家们了解如何在粒子之间互不干扰（非相互作用）的情况下保护这些硬币。但在现实生活中，粒子确实会互相“交谈”；它们会推、拉以及发生相互作用。这被称为相互作用系统 (interacting system)。

当粒子发生相互作用时，这些“幽尸般的硬币两半”会变得混乱。它们不再仅仅是位于两端的简单点状物，而是变成了复杂的、模糊的云团，甚至可能弥散在整条导线上。

疑问：
在这些混乱的、相互作用的系统中，我们如何知道硬币是否仍然安全？这两半到底离得有多远？我们是否仍然可以进行“魔术技巧”中的编织（将它们交换位置）来进行计算？

解决方案：一种衡量“距离”的新方法

本文作者开发了一种新的数学尺子，用来衡量即使在粒子相互作用时，这些混乱的马约拉纳两半到底有多“局域”（即离得有多远）。

他们使用了偏迹 (Partial Trace) 的概念。

• 类比： 想象你有一锅巨大且复杂的汤（整个量子系统）。你想知道在你手里的那一勺里（导线的一小段区域）有多少“盐”（马约拉纳粒子）。
• 方法： 他们没有观察整锅汤，而是通过数学手段“排干”了勺子之外的所有东西。留在勺子里的东西告诉了他们马约拉纳粒子实际存在多少。

如果勺子里几乎没有盐，说明粒子很远；如果勺子里装满了盐，说明粒子就在那里。

他们的发现

利用这把新尺子，作者证明了三个主要观点：

1. “安全区”是可量化的
他们证明了，如果导线中间的“盐”（马约拉纳粒子）非常微弱，系统的能量就是安全的。这就像是在说：“如果幽灵般的两半确实是分离的，那么局部噪声就无法摇晃这枚硬币。”他们创建了一个公式，根据粒子分离程度的好坏，为能量的波动设定了一个硬性限制。

2. “规范”问题（选择合适的透镜）
因为这些粒子具有量子特性，它们的外观取决于你观察它们的方式（称为“规范/gauge”的概念）。作者展示了你可以通过“调节眼镜”来找到最佳视角，使粒子看起来分离得最开。他们定义了一个质量得分 (Quality Score)（就像学生的成绩一样），用来告诉你你的设置有多好。

• 高分： 粒子分离良好；系统稳健。
• 低分： 粒子发生重叠；系统脆弱。

3. 使用真实实验进行测试
他们在一种特定的装置上测试了他们的理论：由量子点（捕捉电子的微型陷阱）组成的链，它表现得像一根导线。

• 无序性： 他们模拟了带有随机颠簸的“脏”导线。他们的数学模型精确预测了能量会如何分裂，并且与计算机模拟结果完美吻合。
• 连接量子点： 他们模拟了将导线连接到一个额外的量子点（外部传感器）的情况。他们展示了如果马约拉纳粒子分离良好，传感器就不会干扰系统；如果它们很混乱，传感器就会导致能量分裂，从而破坏保护机制。

“编织”测试

为了进行量子计算，你必须让这些粒子绕过彼此进行移动（编织）。

• 类比： 想象你在尝试编织两根绳子。如果绳子僵硬且距离较远，这很容易；如果绳子缠绕在一起且软塌塌的，那就是一团乱麻。
• 结果： 作者展示了他们的“质量得分”可以预测编织是否可行。如果得分很高（粒子是局域的），你可以无误地交换它们。如果得分很低，由于粒子过于混合，交换将会失败。

总结

这篇论文并不是发明了一台新机器，而是发明了一把新的尺子。

在此之前，科学家在面对相互作用的粒子时，只能猜测其量子系统是否安全。现在，他们有了一种严谨的方法来衡量这些粒子的“局域性”。他们可以计算出一个数值，告诉他们：

1. 能量在多大程度上受到噪声的保护。
2. 执行量子操作（编织）成功的可能性有多大。

这对于下一代量子计算机至关重要，因为下一代计算机可能会依赖于这些复杂的、相互作用的系统，而非过去那些简单的、理想化的系统。它为工程师提供了一种检查工作的方法，让他们知道他们的“量子硬币”是否真的安全。

技术摘要

技术摘要：量化相互作用系统中马约拉纳束缚态的鲁棒性与局域性

问题陈述
在拓扑超导体中，分离的马约拉纳束缚态（MBSs）为保护量子比特免受局部扰动提供了一种机制，这是实现容错量子计算的前提条件。在非相互作用系统中，单粒子 MBS 的空间分离严格意味着鲁棒的基态简并度和非阿贝尔编织的可行性。然而，近期在短量子点基 Kitaev 链方面的实验进展表明，在这些相互作用较强且 MBS 分离必须精细调控的系统中，标准的单粒子图像失效了。在这些相互作用机制中，如何严格量化多体 MBS 算符的局域性、这种局域性如何约束其与环境的耦合，以及在何种条件下相互作用系统能保持受保护的简并度和非阿贝尔统计，目前仍不明确。

方法论
作者开发了一种适用于相互作用和非相互作用系统的形式体系，通过直接从多体基态而非单粒子波函数来定义 MBS。

1. 基态 MBS 定义： 对于一个具有两个相反费米子宇称低能基态 $|e\rangle$ 和 $|o\rangle$（且与激发态之间存在能隙）的费米子系统 $S$，作者定义了在这一子空间内作用的基态 MBS 算符 $\gamma$ 和 $\tilde{\gamma}$。这些算符类似于泡利矩阵，但具有费米子特性。
2. 部分迹与局域性： 为了量化这些非局域算符的空间局域化程度，作者利用了费米子部分迹。区域 $R$ 中的约化 MBS $\gamma_R = \text{Tr}_{\bar{R}}[\gamma]$ 捕捉了该算符的局部分量。
3. 耦合界限： 通过在区域 $R$ 中引入局部相互作用 $H_{RB}$ 将系统 $S$ 与环境 $B$ 耦合，作者推导出了有效耦合哈密顿量在基态扇区的严格界限。利用 Schatten 范数 ($\|\cdot\|_p$)，他们建立了关于有效耦合算符的范数与约化 MBS 范数 ($\|\gamma_R\|_q$) 及耦合强度之间的不等式关系。
4. 能级分裂与编织： 这些耦合界限被转化为对能级分裂 ($\delta E$) 的约束，并且该框架被扩展到涉及多个系统的基于耦合的编织协议，推导出了破坏非阿贝尔统计的非预期耦合的界限。

核心贡献与结果

• 广义质量度量： 论文引入了量化针对奇宇称和偶宇称扰动保护能力的“质量因子” $Q_o$ 和 $Q_e$。这些因子源自约化 MBS 和局部宇称算符的范数。
  • $Q_o = \sqrt{\sum_n \|\gamma_{R_n}\|_q^2}$ 约束了与奇宇称算符的耦合。
  • $Q_e = \sqrt{\sum_n \|(i\gamma\tilde{\gamma})_{R_n}\|_q^2}$ 约束了与偶宇称算符的耦合。
  • 作者展示了这些度量取决于规范选择（$|e\rangle$ 与 $|o\rangle$ 之间的相对相位），并提供了一种通过优化该相位以最小化 $Q_o$ 并从而最大化保护能力的解析方法。
• 与马约拉纳极化性的关系： 该工作展示了优化的质量度量如何推广了非相互作用系统中使用的马约拉纳极化度 ($M$) 的概念。具体而言，$M$ 被证明是约化区域内“马约拉纳密度”与“费米子密度”之比。作者澄清，虽然在特定条件下 $M$ 可以约束相互作用系统中奇宇称耦合的能级分裂，但偶宇称保护需要使用不同的度量 $Q_e$。
• 能级分裂的严格界限： 作者推导出了一个不等式（式 14），将能级分裂 $|\delta E|$ 表示为耦合强度和局域性度量 ($Q_o, Q_e$) 的函数。该界限随环境相关子空间的平方根维度进行缩放。
• 在相互作用 Kitaev 链中的应用：
  • 在相互作用 Kitaev 链的一个“甜点”（sweet spot）处，作者通过解析证明，尽管基态 MBS 在整个系统中都有支撑，但它们局域在最外侧的位点上。
  • 数值模拟显示，当系统偏离甜点或受到无序影响时，质量度量会退化，能级分裂会增加，这与推导出的界限一致。
  • 研究表明，这些界限在弱无序下成立，但当无序强度接近激发能隙时，界限可能会被违反，因为此时高阶微扰效应变得显著。
• 在量子点基 Kitaev 链中的应用：
  • 该框架被应用于与近期实验相关的极小量子点基 Kitaev 链模型。
  • 作者表明，标准的实验调控程序（即最小化能级分裂对量子点能级波动的敏感性）主要约束的是偶宇称扰动 ($Q_e$)，而对奇宇称保护 ($Q_o$) 则缺乏约束。
  • 他们将 $Q_o$ 与非局域电导特征联系起来，证明非局域电导受限于奇宇称质量因子的乘积，从而为相互作用系统中 MBS 分离质量提供了输运探测手段。
• 编织协议： 作者分析了三个相互作用系统的基于耦合的编织。他们推导出的界限表明，成功的编织要求所需的耦合是可调的，而非预期的耦合（取决于耦合区域中 MBS 的重叠）必须保持微小。质量度量提供了一个准则，用于评估特定系统配置是否适用于此类协议。

意义与主张
本文声称提供了一个严谨的多体框架，用于量化相互作用系统中 MBS 的鲁棒性和局域性，在这一机制中，单粒子直觉不再适用。通过从基态定义 MBS 并利用部分迹，作者建立了算符的空间局域性与其在局部扰动下能谱稳定性之间的直接联系。

作者指出，其结果：

1. 将 MBS 分离的概念推广到相互作用系统，从而允许在不依赖单粒子波函数的情况下评估拓扑保护。
2. 提供了具有物理意义的度量 ($Q_o, Q_e, M$)，这些度量可以使用标准数值技术（如 DMRG）在大型相互作用系统中进行计算。
3. 澄清了现有质量度量（如马约拉纳极化度）在相互作用背景下的局限性，即它们对于约束奇宇称耦合是充分的，但对于偶宇称保护则需要进行推广。
4. 为解释量子点基 Kitaev 链的实验数据提供了理论基础，将调控程序和输运特征与系统的底层拓扑质量联系起来。

这项工作并非提出新的实验装置，而是旨在为分析和量化在存在强相互作用情况下的现有及拟议平台的性能提供理论工具。作者强调，这些界限在低能子空间内是严格的，并假设与环境的耦合较弱；若在强耦合或接近激发能隙时，可能会出现违反的情况。