[论文解读] Stabilizer codes can be realized as graph codes

D. Schlingemann|ArXiv.org|Nov 14, 2001

Quantum Computing Algorithms and Architecture被引用 6

一句话总结

本文建立了有限域上稳定子码与图码之间的一一对应关系，证明了每个稳定子码均可等价地表示为图码，反之亦然。该构造基于带标签的输入、输出和辅助顶点的加权图上的对称双线性型，错误纠正特性可直接从图结构中直观看出，从而可通过对称性和 Weyl 算子实现直观设计与实现。

ABSTRACT

We establish the connection between a recent new construction technique for quantum error correcting codes, based on graphs, and the so-called stabilizer codes: Each stabilizer code can be realized as a graph code and vice versa.

研究动机与目标

• 建立量子纠错中稳定子码与图码之间严格的数学等价性。
• 证明直观的图码构造为理解稳定子码提供了一种新颖且几何透明的框架。
• 表明稳定子码的纠错能力直接编码在其对应图的拓扑与代数结构之中。
• 通过利用图的对称性与群同态，实现从图表示系统化构造逻辑量子线路。
• 将等价性推广至任意有限阿贝尔群，超越自旋-1/2系统，扩展至更广泛的量子寄存器模型。

提出的方法

• 将量子系统的希尔伯特空间表示为 $ L_2(G) $，其中 $ G $ 为有限阿贝尔群，并通过 $ G^* \times G $ 上的非退化双特征标 $ \chi $ 定义 Weyl 算子。
• 通过对称群同态 $ \omega: H \times G \to (H \times G)^\wedge $ 构造图码，其中 $ H $ 和 $ G $ 分别标记输入与输出系统。
• 通过编码双线性型 $ \omega $ 的对称矩阵 $ \Gamma $ 定义图码，顶点代表输入、输出及辅助自由度。
• 利用 $ G^* \times G $ 中的迷向子群 $ S \subset G^* \times G $ 定义稳定子码，确保对所有 $ (\hat{g}_i, g_i) \in S $，有 $ \langle \hat{g}_0, g_1 \rangle - \langle \hat{g}_1, g_0 \rangle = 0 $。
• 通过从图的对称矩阵 $ \Gamma $ 推导其稳定子群，利用 $ \Gamma $ 与双线性型之间的同构关系，证明每个图码都是稳定子码。
• 通过在迷向子群 $ S \subset G^* \times G $ 上满足截断条件，从任意稳定子码构造图码，确保 $ S $ 通过投影同态是截断子群，从而证明逆命题。

实验结果

研究问题

• RQ1 是否可以通过构造性且可逆的变换，将每个稳定子码表示为图码？
• RQ2 稳定子码的纠错特性是否在对应图的拓扑结构中直接显现？
• RQ3 是否存在一种系统化方法，从稳定子码的图表示中推导出逻辑量子线路？
• RQ4 图的对称性结构与编码量子态的逻辑对称性之间有何关系？
• RQ5 稳定子码与图码之间的等价性是否可超越 $ \mathbb{F}_2 $ 推广至任意有限阿贝尔群？

主要发现

• 每个图码都是稳定子码，且其稳定子群可由表示图双线性型的对称矩阵 $ \Gamma $ 显式导出。
• 只要其迷向子群 $ S \subset G^* \times G $ 是乘积群中的截断子群，每个稳定子码均有等价的图码表示。
• $ [[4,2,2]] $ 稳定子码通过一个对称的 $ 7 \times 7 $ 矩阵 $ \Gamma $ 实现为图码，验证了一比特错误检测能力。
• 图表示使纠错特性直观可见：例如，通过在输出顶点上施加 Hadamard 变换，验证了 $ [[4,2,2]] $ 码可检测一位比特翻转错误。
• 可利用与纠错兼容的图对称性实现逻辑操作，提供一种区别于标准稳定子码对称性的新型设计原则。
• 该构造允许从图出发系统化推导逻辑量子线路，支持通过单量子比特和双量子比特门直接实现。