[论文解读] Scheme for constructing graphs associated with stabilizer quantum codes

Carlo Cafaro, Damian Markham+1 more|arXiv (Cornell University)|Jul 10, 2014

Quantum Computing Algorithms and Architecture参考文献 44被引用 5

一句话总结

本文提出了一套系统性方案，通过利用码字稳定化（CWS）形式，构建与二元稳定化量子码相关联的图：首先，将码重新表述为规范形式的CWS码；其次，利用局部 Clifford 等价性，从规范形式推导出图态表示；第三，为图添加输入顶点。关键贡献在于提出了一种统一且算法化的方法，能够对任意二元稳定化码进行图形化表示，并利用图论标准验证其纠错能力，正如 Schlingemann 和 Werner 最初所提出的那样。

ABSTRACT

We propose a systematic scheme for the construction of graphs associated with binary stabilizer codes. The scheme is characterized by three main steps: first, the stabilizer code is realized as a codeword-stabilized (CWS) quantum code; second, the canonical form of the CWS code is uncovered; third, the input vertices are attached to the graphs. To check the effectiveness of the scheme, we discuss several graphical constructions of various useful stabilizer codes characterized by single and multi-qubit encoding operators. In particular, the error-correcting capabilities of such quantum codes are verified in graph-theoretic terms as originally advocated by Schlingemann and Werner. Finally, possible generalizations of our scheme for the graphical construction of both (stabilizer and nonadditive) nonbinary and continuous-variable quantum codes are briefly addressed.

研究动机与目标

• 为系统性地将任意二元稳定化码嵌入到量子纠错的图形框架中，弥合长期存在的空白。
• 解决现有稳定化码图表示中非唯一性和信息贫乏的问题。
• 提供一种统一且算法化的程序，将任意二元稳定化码映射到图态表示，同时保持其纠错特性。
• 通过图论工具验证纠错能力，如 Schlingemann 和 Werner 所倡导。
• 为将该方案推广至非二元和连续变量量子码奠定基础。

提出的方法

• 该方法首先将二元稳定化码表示为码字稳定化（CWS）量子码。
• 将 CWS 码转换为其规范形式，其中稳定化生成元和逻辑算符仅用 Z 和 X 算符表示。
• 对规范形式的 CWS 码施加局部 Clifford 变换，使其稳定化生成元与图态一致。
• 使用公式 $\Gamma = Z^{\top} \cdot (X^{\top})^{-1}$ 从稳定化矩阵推导图的邻接矩阵，假设 $\det X \neq 0$。
• 为图添加输入顶点以表示逻辑量子比特，从而形成码的完整图形表示。
• 利用重合矩阵和 Schlingemann 与 Werner 提出的图论标准验证纠错能力。

实验结果

研究问题

• RQ1 如何利用 CWS 形式，系统性地将任意二元稳定化码映射到图态表示？
• RQ2 局部 Clifford 等价性在确保稳定化码可表示为具有明确定义邻接矩阵的图态中起什么作用？
• RQ3 能否仅通过图论属性（如重合矩阵的结构）验证稳定化码的纠错能力？
• RQ4 所提出的方案如何解决先前稳定化码图表示中非唯一性和信息含量不足的问题？
• RQ5 该方案如何推广至非二元和连续变量量子码？

主要发现

• 该方案成功构建了 [[8,3,3]]-码的图表示，该码与一个图态局部 Clifford 等价，其邻接矩阵由稳定化矩阵导出。
• 计算得到邻接矩阵 $\Gamma = Z^{\top} \cdot (X^{\top})^{-1}$，并证明其对应立方体图，确认了码的拓扑结构。
• 在顶点 1 上执行一次局部补全后，图的邻接矩阵发生变化，所得矩阵 $\Gamma'$ 的行列式为零，表明其属于不同的图等价类。
• 构建了 11×11 的重合矩阵 $\Xi_{[[8,3,3]]}$，其基于带有输入和输出顶点的图，确认了该码可检测所有单量子比特错误。
• 利用 Schlingemann-Werner 准则验证了所有 $\binom{8}{2}$ 种两错误配置均可检测，证明该码可纠正任意单量子比特错误。