[论文解读] Clifford Code Constructions of Operator Quantum Error Correcting Codes

Andreas Klappenecker, Pradeep Kiran Sarvepalli|ArXiv.org|Apr 21, 2006

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

一句话总结

本文提出了一种利用 Clifford 代码构造算子量子纠错码的新方法，通过有限域上的经典加法码系统化设计具有可调子系统 A 和 B 的码。该方法无需自正交码，提供了一种直接的特征理论方法进行码构造，并基于汉明权重给出了错误检测与纠正能力的显式界限。

ABSTRACT

Recently, operator quantum error-correcting codes have been proposed to unify and generalize decoherence free subspaces, noiseless subsystems, and quantum error-correcting codes. This note introduces a natural construction of such codes in terms of Clifford codes, an elegant generalization of stabilizer codes due to Knill. Character-theoretic methods are used to derive a simple method to construct operator quantum error-correcting codes from any classical additive code over a finite field.

研究动机与目标

• 开发一种通用且系统化的算子量子纠错码构造方法，统一稳定子码、退相干自由子空间与无噪声子系统。
• 消除稳定子码理论中对自正交性的要求，这是稳定子码理论中的标准约束。
• 提供一个框架，通过群论与特征理论参数系统控制逻辑子系统 A 与规范子系统 B 的维数。
• 建立有限域上经典加法码与量子算子量子纠错码之间的直接对应关系。
• 在最小距离与纠错能力方面，实现 Clifford 码与稳定子码之间的公平比较。

提出的方法

• 该构造使用一个有限群 E，其具有一个次数为 d = |E:Z(E)|^{1/2} 的忠实不可约表示 ρ，从而定义了一个抽象错误群。
• 选取 E 的一个正规子群 N 和 N 的一个不可约特征标 χ，使得 (χ, φ_N)_N > 0，以确保码空间非零。
• Clifford 码 C 定义为正交投影算子 P = (χ(1)/|N|) Σ_{n∈N} χ(n⁻¹)ρ(n) 的像，该算子投影到 χ 的同态分量上。
• 证明码空间 C 可分解为 C = A ⊗ B，其中 A 为逻辑子系统，B 为规范子系统，其维数由 |Z(E) ∩ N|、|E:Z(E)|^{1/2} 和 χ(1) 决定。
• 通过惯性群 I_E(χ) 描述可检测错误，若存在 λ_e ∈ ℂ 使得 Pρ(e)P = λ_e P，则 e ∈ E 为可检测错误。
• 使用有限域 F_{q²}ⁿ 上的经典加法码 X 定义一个量子码，通过一个同构 φ 实现，其中子系统 A 的维数为 qⁿ/(xy)^{1/2}，子系统 B 的维数为 (x/y)^{1/2}，其中 x = |X|，y = |X ∩ X^{⊥_a}|。

实验结果

研究问题

• RQ1 能否在不依赖经典码自正交性的前提下构造算子量子纠错码？
• RQ2 如何系统化地控制 Clifford 码中逻辑子系统与规范子系统的维数？
• RQ3 经典码的最小距离与所生成量子码的纠错能力之间有何关系？
• RQ4 能否利用群论与特征理论完全表征 Clifford 码的可检测错误集合？
• RQ5 Clifford 码与稳定子码的参数比较如何，特别是在最小距离与码率方面？

主要发现

• 通过 Clifford 码构造算子量子纠错码，无需依赖底层经典加法码的自正交性，从而消除了稳定子码理论中的一个关键约束。
• 逻辑子系统 A 的维数为 dim A = qⁿ / (xy)^{1/2}，规范子系统 B 的维数为 (x/y)^{1/2}，其中 x = |X|，y = |X ∩ X^{⊥_a}|，X 为经典加法码。
• 逻辑子系统 A 的最小距离 d 由 d = wt((X + X^{⊥_a}) - X) = wt(Y^{⊥_a} - X) 决定，该值决定了码的错误检测与纠正能力。
• 该码可检测所有汉明权重小于 d 的错误，并可纠正所有权重不超过 ⌊(d−1)/2⌋ 的错误，错误检测与纠正能力基于经典码的汉明权重。
• 该方法为任意 Clifford 码提供了自然的张量分解 C = A ⊗ B，即使当码为稳定子码时亦成立，从而实现无需对规范子系统进行主动纠错的子系统纠错。
• 该框架通过参数对齐实现了 Clifford 码与稳定子码的公平比较：一个 [[n−r,k,d]] 稳定子码对应于一个 [[n,k,r,d]] Clifford 码，从而可直接分析码的性能。