[论文解读] Stabilizer Codes for Continuous-variable Quantum Error Correction

Richard Barnes|ArXiv.org|May 13, 2004

Quantum Information and Cryptography参考文献 1被引用 15

一句话总结

本文提出了一种连续变量稳定子形式体系，通过将 $GF(2)^{2n}$ 中的泡利群元素映射到 $ ^ {2n}$ 中的实辛向量，从而将离散变量量子纠错码推广为连续变量形式。该方法可基于已知的离散码构造连续变量码，包括一个将三个逻辑模式编码在八个物理模式中的新码，并为连续变量系统提供了推导逻辑操作和稳定子生成元的系统化方法。

ABSTRACT

A generalization of the stabilizer code construction presented by Gottesman is described, which allows for the construction of quantum error-correcting codes for continuous-variable systems. This formalism describes all continuous-variable codes presented to date, and can be used to construct new codes based on discrete-variable codes or classical codes. We use it to describe the nine-mode code given by Lloyd and Slotine, and a five-mode code described by Braunstein. In addition, we construct a new continuous-variable code based an code of Gottesman which encodes three logical modes of information into eight physical modes and corrects one error. This generalization is a step toward an independent understanding of continuous-variable quantum information and a theory of fault-tolerant quantum information processing.

研究动机与目标

• 开发离散变量稳定子形式体系在连续变量量子纠错中的推广。
• 建立一种系统化方法，从已知的离散变量码构造连续变量量子纠错码。
• 利用辛向量空间推导连续变量系统中的逻辑操作和稳定子生成元。
• 通过重新推导已知码并构造一个在八个物理模式中编码三个逻辑模式的新码，展示该形式体系的适用性。
• 通过统一离散与连续形式体系，为容错连续变量量子计算奠定基础。

提出的方法

• 通过 $ ^ {2n}$ 中的向量，将 $n$-量子比特泡利群在 $GF(2)^{2n}$ 上映射到连续变量的海森堡-外尔群，同时保持对易关系。
• 将连续变量稳定子生成元表示为辛向量 $\mathbf{v} \in \mathbb{R}^{2n}$，其对应的算符为 $U(\mathbf{v}) = \exp\left(i\pi\sum_{i=1}^{n}(s_i\hat{p}_i + t_i\hat{q}_i)\right)$。
• 利用辛形式 $\omega(\mathbf{v}, \mathbf{v}') = \sum_{i=1}^{n}(s_i t'_i - s'_i t_i)$ 定义算符之间的对易关系。
• 通过取辛对易向量的实线性组合，构造连续泡利群的阿贝尔子群。
• 将该形式体系应用于离散码（例如，哥特曼的 3 量子比特、8 量子比特码），通过将生成矩阵转换为实辛矩阵实现。
• 将逻辑泡利算符 $\bar{X}(t)$ 和 $\bar{Z}(t)$ 表示为作用于编码态的幺正变换，保持稳定子结构。

实验结果

研究问题

• RQ1 能否通过辛向量空间将离散变量稳定子形式体系推广到连续变量量子系统？
• RQ2 如何利用该形式体系系统地将已知的离散量子码转换为连续变量码？
• RQ3 连续变量码中逻辑操作（例如 $\bar{X}(t)$、$\bar{Z}(t)$）的结构是什么？
• RQ4 能否构造出编码超过一个逻辑模式的新型连续变量码？
• RQ5 该形式体系对容错连续变量量子计算有何影响？

主要发现

• 本文建立了 $GF(2)^{2n}$ 上的离散稳定子形式体系与 $ ^ {2n}$ 上的连续形式体系之间的一一对应关系，实现了离散码向连续码的直接转换。
• 该形式体系重新推导出 Lloyd 和 Slotine 的九模式码以及 Braunstein 的五模式码，均基于辛向量表示。
• 构造了一种新型连续变量码，将三个逻辑模式编码于八个物理模式中，其基础为 Gottesman 的 3 量子比特、8 量子比特码。
• 显式推导出逻辑操作 $\bar{X}(t)$ 和 $\bar{Z}(t)$，并证明其在编码态上正确作用，保持稳定子结构。
• 三模式位置本征态的编码被表示为八模式位置态的叠加，展示了编码多模式连续信息的能力。
• 该方法为从任意离散稳定子码（包括来自 Calderbank-Shor-Steane 构造的码）系统化生成连续变量码提供了算法。