当前位置：首页 > news >正文

S3量子双模型：非阿贝尔任意子与拓扑量子计算实现

news 2026/5/2 19:31:38

1. S3量子双模型中的通用拓扑量子计算：从理论到实验实现

拓扑量子计算作为量子信息科学的前沿领域，其核心思想是利用拓扑序物质中的非阿贝尔任意子（non-Abelian anyons）来实现抗噪声的量子计算。与传统的量子计算方案相比，这种基于任意子编织（braiding）和融合（fusion）的计算范式具有天然的容错能力——因为量子信息被编码在任意子的非局域拓扑特性中，局部的微扰不会破坏整体的量子信息。

在众多可能的拓扑量子计算平台中，基于有限群的量子双模型（quantum double models）因其理论清晰性和实验可实现性而备受关注。特别是，S3量子双模型作为最小的非阿贝尔群模型，既保留了非阿贝尔任意子的关键特性，又具有相对简单的数学结构，使其成为实验实现的理想候选者。

1.1 S3群与量子双模型基础

S3群是三个元素的对称群，也是最小的非阿贝尔群，其阶数为6。从几何上看，S3描述了等边三角形的对称操作——包括旋转（由生成元μ表示，满足μ³=1）和反射（由生成元σ表示，满足σ²=1）。代数上，S3可以表示为Z₃和Z₂的半直积：S₃ = Z₃ ⋊ Z₂。

在量子双模型的框架下，S3群的表示理论直接决定了相应拓扑序的任意子性质。具体而言：

群元编码：系统的基本自由度是位于晶格边上的6态量子比特（qudit），每个态对应S3的一个群元。实验中，这被编码为一个量子比特（qubit）和一个量子三态（qutrit）的组合：g = μᵃσᵇ，其中a∈{0,1,2}，b∈{0,1}。
稳定子条件：系统的拓扑序基态由两类稳定子（stabilizers）定义：
- 顶点算符A_v：实施"零电荷"约束，确保每个顶点处的群元乘法一致性
- 格点算符B_p：实施"零通量"约束，确保每个格点处的群元乘积为恒等元

这些约束条件实际上定义了一个S3规范理论，其准粒子激发——任意子——表现出非平凡的统计性质。

1.2 S3量子双模型的任意子内容

S3量子双模型中共有8种任意子类型，可分为三类：

电荷型任意子：对应于S3群的不可约表示。特别是二维表示[2]的电荷，由顶点算符A_v³的破坏来检测。
通量型任意子：对应于S3群的共轭类。实验中重点关注两类：
- C₃通量：由μ生成的共轭类，破坏B_p³格点算符
- C₂通量：由σ生成的共轭类，同时破坏B_p²和B_p³格点算符
复合型任意子：电荷与通量的结合体

这些任意子的非阿贝尔性质体现在它们的融合规则中。例如，两个C₂通量的融合：

C₂ × C₂ = 1 + [2] + ...

这种"多结果"的融合规则正是非阿贝尔统计的标志，也为量子信息编码提供了天然的希尔伯特空间。

关键物理理解：与阿贝尔任意子（如环面码中的任意子）不同，非阿贝尔任意子的融合空间具有内部结构。这意味着我们可以将量子信息编码在任意子的"内部状态"中，而不仅仅是它们的空间分布。这种编码方式既保持了拓扑保护的优势，又提供了更丰富的操作可能性。

2. 实验实现：从态制备到任意子操控

2.1 S3拓扑序基态的制备

在Quantinuum的H2量子处理器上，研究团队实现了54量子比特的S3量子双模型。态制备方案充分利用了S3群作为Z₃和Z₂半直积的结构特点，采用了两步"规范理论耦合"方法：

Z₃量子三态环面码制备：首先制备一个Z₃规范理论的拓扑序态。这对应于S3中的旋转部分。
Z₂量子比特环面码耦合：然后通过第二个规范化操作引入Z₂部分（反射对称性），最终得到完整的S3量子双模型基态。

实验采用了两种制备协议：

全幺正电路：深度较大但保真度较高（~0.98）
常数深度自适应电路：更适合扩展，保真度稍低（~0.95）

图2a展示了制备态的稳定子期望值测量结果，证实了高保真度的S3拓扑序基态。值得注意的是，在3×3的环面（torus）上，系统有8个简并基态，对应于8种任意子类型。

2.2 单个非阿贝尔任意子的俘获

非阿贝尔拓扑序的一个关键特征是能够在环面上制备单个非阿贝尔任意子的激发态。实验上，研究人员通过以下步骤实现了这一目标：

从具有垂直方向C₂通量环的基态出发
沿水平非可缩环（non-contractible loop）编织C₃通量对
C₂和C₃通量间的非阿贝尔编织关系将通量对的融合通道从真空变为C₃，留下单个C₃通量任意子

这一过程如图2b-c所示，通过测量B_p³格点算符的破坏清晰观测到了单个C₃通量的存在。这是首次在格点模型中实验实现单个非阿贝尔通量任意子的俘获，也验证了S3任意子融合规则的循环性（cyclicity）——这是实现通用计算的关键性质。

技术细节：在环面上制备单个任意子需要精确控制非局域操作。实验利用了离子阱量子计算机的全连接特性，通过精心设计的量子电路模拟了通量编织过程。每个步骤后都通过稳定子测量验证了操作的正确性。

3. 通用拓扑量子计算的门集实现

3.1 逻辑qutrit的拓扑编码

量子信息被编码在两个空间分离的C₂通量的融合空间中。由于C₂×C₂融合规则包含[2]表示，这自然提供了一个三维的编码空间——拓扑qutrit。具体编码方式为：

|j⟩ₗ = |μʲσ, μʲσ⟩, j=0,1,2

这种编码具有几个关键优势：

通量中性：两个C₂通量的总通量为1（真空），确保量子信息在任意子移动时保持不变
非局域保护：[2]电荷部分的态无法通过局部操作区分或改变，除非操作同时包围两个通量
可扩展性：可以通过增加通量对来扩展编码空间

编码空间还可以用X基表示：

|j̃⟩ₗ = (|0⟩ₗ + ωʲ|1⟩ₗ + ω̄ʲ|2⟩ₗ)/√3, ω=e^(2πi/3)

其中|0̃⟩ₗ对应真空融合通道，|1̃⟩ₗ和|2̃⟩ₗ对应[2]电荷通道。

3.2 通用门集的三个基本操作

理论研究表明，S3量子双模型中的通用计算可以通过三个基本操作实现：

穿引门（Pull-through gate）：通过编织一个逻辑qutrit的组成通量围绕另一个qutrit的通量对实现。在逻辑空间，这表现为门操作：
```
U|a,b⟩ = |a,-a-b⟩
```
实验演示了该门将|0̃⟩|0⟩态转变为qutrit Bell态：(|00⟩+|12⟩+|21⟩)/√3（图3）。
X基测量：通过引入辅助的C₂通量对，将其与目标qutrit的一个通量编织并融合，根据融合结果判断目标态是|0̃⟩还是{|1̃⟩,|2̃⟩}子空间（图4）。
Z基测量：通过编织[2]电荷对围绕参考qutrit和目标qutrit的各一个通量，根据融合结果比较两者的相对状态（图5）。

这些操作共同构成了一个通用门集——任何双qutrit门都可以由它们组合而成。