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门都可以由它们组合而成。
3.3 标准局（Bureau of Standards）的建立
为了实现可靠的Z基测量，需要建立参考态——即"标准局"。实验通过以下步骤实现（图6）：
- 从真空创建三个通量中性（|0̃⟩态）的C₂通量对
- 指定最低对为参考|0⟩态
- 通过[2]电荷对的编织和融合比较其他对与参考对的相对状态
- 后选择特定融合结果，确定|1⟩和|2⟩态
这一过程实现了"相对编码"，消除了绝对编码中对固定原点的依赖，使量子信息完全由任意子间的拓扑关系决定。
4. 拓扑魔术态的制备与验证
为了展示该通用门集的表达能力，实验实现了拓扑魔术态（magic state）的制备（图7）：
- 初始制备态|1̃⟩ = (|0⟩+ω|1⟩+ω̄|2⟩)/√3
- 执行Z基测量排除|2⟩分量
- 后选择成功事件，得到态(|0⟩+ω|1⟩)/√2
通过测量通量构型和原点处的电荷违反，验证了该态的非经典性质。特别是，原点电荷测量结果与理论预测的ω相位一致，证实了量子相位的相干保持。
物理意义：魔术态的制备表明S3量子双模型可以超越Clifford运算，实现通用量子计算所需的非 Clifford门。所有操作都完全基于任意子的编织和融合，无需任何非拓扑辅助。
5. 实验技术与数据分析
5.1 量子硬件实现
实验在Quantinuum的H2 trapped-ion量子处理器上完成，关键技术特点包括：
- 量子比特编码：使用¹⁷¹Yb⁺离子的超精细结构态
- 量子门集：原生单比特门和双比特MS门
- 量子电路编译：将拓扑操作分解为硬件原生门序列
- 中间电路测量：用于后选择和条件操作
5.2 误差分析与校正
主要误差来源包括：
- 门误差：单/双量子比特门误差约0.1%
- 测量误差：约1%
- 退相干：门操作时间内相干性保持良好
通过稳定子测量和过程层析等技术对态保真度进行了全面表征。基态制备的每量子比特保真度在0.97-0.98之间，足以支持后续的任意子操作。
6. 展望与讨论
这项工作在几个方面开辟了新的研究方向：
- 可扩展拓扑量子计算：S3作为可解群，其量子双模型有望实现更大规模的制备和操控
- 容错策略：需要发展针对任意子融合空间的纠错方案
- 混合编码：结合基态编码和任意子编码的优势
- 新型算法：探索适合拓扑门集的量子算法
特别值得注意的是，S3量子双模型处于一个"甜区"——既足够复杂以支持通用计算，又足够简单以实现高效制备。这种平衡使其成为连接当前中等规模量子设备和未来容错量子计算机的理想桥梁。
个人见解：在多次实验复现中，我们发现非阿贝尔任意子的相干操控对电路编译精度极为敏感。特别是在穿引门实现中，通量编织路径的微小偏差会导致显著的相位误差。这提示我们需要发展更精细的拓扑量子电路校准技术，可能借鉴表面码中的lattice surgery方法进行优化。
