[论文解读] Encoding Subsystem Codes

Pradeep Kiran Sarvepalli, Andreas Klappenecker|ArXiv.org|Jun 30, 2008

Quantum Computing Algorithms and Architecture参考文献 9被引用 4

一句话总结

本文证明了编码子系统码可被简化为编码相关联的稳定子码，利用成熟的稳定子码技术。通过利用 gauge 量子比特并采用标准形式或共轭方法，作者表明可通过将 gauge 量子比特初始化为零来最小化编码复杂度，从而提出一种系统化且高效的编码方法，该方法涵盖了稳定子码、无噪声子系统以及退相干自由子空间。

ABSTRACT

In this paper we investigate the encoding of operator quantum error correcting codes i.e. subsystem codes. We show that encoding of subsystem codes can be reduced to encoding of a related stabilizer code making it possible to use all the known results on encoding of stabilizer codes. Along the way we also show how Clifford codes can be encoded. We also show that gauge qubits can be exploited to reduce the encoding complexity.

研究动机与目标

• 建立一种利用已知稳定子码编码技术对子系统码进行系统化编码的方法。
• 证明子系统码的编码可被简化为编码一个相关联的稳定子码。
• 探讨如何利用 gauge 量子比特来降低编码电路的复杂度。
• 比较标准形式与共轭方法在编码中的表现，重点关注初始化方式与电路开销。

提出的方法

• 本文通过从标准形式的稳定子矩阵导出的映射，将子系统码编码简化为编码一个相关联的稳定子码。
• 利用稳定子矩阵的标准形式推导出编码的逻辑算符，从而实现系统化的电路构建。
• 应用共轭方法以实现 gauge 量子比特的任意初始化，尽管复杂度更高。
• 作者分析了标准形式方法的两种变体：一种要求 gauge 量子比特初始化为零，另一种允许任意初始化。
• 他们表明，包含 X 或 Y 算符的主生成元决定了编码电路的主要复杂度。
• 该方法利用了可省略 gauge 量子比特上编码算符的事实，从而降低电路深度与门数。

实验结果

研究问题

• RQ1 子系统码的编码能否被简化为稳定子码的编码技术？
• RQ2 如何利用 gauge 量子比特来最小化编码电路的复杂度？
• RQ3 在电路复杂度方面，将 gauge 量子比特初始化为零与初始化为任意态之间存在何种权衡？
• RQ4 标准形式方法与共轭方法在子系统码编码中的表现如何比较？
• RQ5 主生成元在决定编码复杂度方面起什么作用？

主要发现

• 子系统码的编码可被简化为编码一个相关联的稳定子码，从而可使用所有现有的稳定子码编码技术。
• 将 gauge 量子比特初始化为零可实现更简单的编码电路，因为可省略对 gauge 量子比特的操作。
• 当将标准形式方法适配于子系统码时，其编码复杂度低于共轭方法。
• 共轭方法允许对 gauge 量子比特进行任意初始化，但会带来更高的编码复杂度。
• 稳定子矩阵的主生成元决定了编码电路的主要复杂度，而编码的 Z 算符不影响电路深度。
• 本文证明了任何满足规范对易关系的编码算符选择均可构成有效的逻辑基，且规范逻辑零态对应于对 |0⟩⊗n 应用投影算符。