[论文解读] Transversality versus Universality for Additive Quantum Codes

Bei Zeng, Andrew W. Cross+1 more|ArXiv.org|Jun 11, 2007

Quantum Computing Algorithms and Architecture参考文献 25被引用 10

一句话总结

本文证明了，即使允许坐标置换，任何 $GF(4)$-加性量子码均不支持通用的可交换逻辑门集合。该结果揭示了在稳定子码中，可交换性与通用性之间存在根本性不相容，意味着非 Clifford 门（如 $T$ 门）必须借助额外的基本操作（如量子 teleportation）才能实现容错通用性。

ABSTRACT

Certain quantum codes allow logic operations to be performed on the encoded data, such that a multitude of errors introduced by faulty gates can be corrected. An important class of such operations are {\em transversal}, acting bitwise between corresponding qubits in each code block, thus allowing error propagation to be carefully limited. If any quantum operation could be implemented using a set of such gates, the set would be {\em universal}; codes with such a universal, transversal gate set have been widely desired for efficient fault-tolerant quantum computation. We study the structure of GF(4)-additive quantum codes and prove that no universal set of transversal logic operations exists for these codes. This result strongly supports the idea that additional primitive operations, based for example on quantum teleportation, are necessary to achieve universal fault-tolerant computation on additive codes.

研究动机与目标

• 确定是否存在任何 $GF(4)$-加性量子码能够支持通用的可交换逻辑门集合。
• 解决长期存在的猜想：在稳定子码中，可交换性与通用性是不相容的。
• 分析加性量子码上可交换门的结构及其与 Clifford 群的关系。
• 研究坐标置换或码块变换是否能使可交换门集合实现通用性。

提出的方法

• 利用 Rains 的结果：任何 $GF(4)$-线性码的自同构群均位于 Clifford 群之内。
• 应用 Van den Nest 的定理，分析多块设置下可交换门的逻辑门作用。
• 使用 $\mathcal{C}_k^{(1)}$ 层次结构对可能的可交换门进行分类，并约束其可能的角度。
• 分析可除经典码（如 Reed-Muller 码），以构造支持非 Clifford 可交换门的 CSS 码。
• 采用 $[[n,k,d]]$ 码形式化方法，研究已知码（如 $[[15,1,3]]$ 和 $[[2^m-1,1,3]]$）上的可交换门集合。
• 通过推导矛盾证明：任何通用可交换门集合都要求存在一个不在 Clifford 群内的门，而该门无法通过 $GF(4)$-加性码的可交换性实现。

实验结果

研究问题

• RQ1 是否存在任何 $GF(4)$-加性量子码能够支持通用的可交换逻辑门集合？
• RQ2 即使允许坐标置换，是否可能仅通过可交换门实现通用性？
• RQ3 稳定子码的结构与 Clifford 群对可交换门集合施加了哪些约束？
• RQ4 是否存在由可除经典码导出的 CSS 码族，支持非 Clifford 可交换门？
• RQ5 $\mathcal{C}_k^{(1)}$ 层次结构是否能完全刻画稳定子码上可交换门的集合？

主要发现

• 即使允许坐标置换，没有任何 $GF(4)$-加性量子码能够支持通用的可交换逻辑门集合。
• 在 $GF(4)$-加性码上，可交换门被限制在 Clifford 群内，或为经 Clifford 操作共轭的对角门。
• $[[15,1,3]]$ 码支持一个可交换的 $T$ 门，但缺乏可交换的 Hadamard 门，因此无法实现通用性。
• 由删减 Reed-Muller 码导出的 $[[2^m-1,1,3]]$ CSS 码支持可交换的 $T_m = \operatorname{diag}(1, e^{i\pi/2^{m-2}})$ 门。
• 角度 $\theta = \pi/2^{k+2}$ 是 $k$-逻辑量子比特码上可交换门相位的一个候选上界，暗示了可能门的层级结构。
• 该结果意味着，实现通用性所必需的非 Clifford 门，必须通过非可交换方法（如量子 teleportation 或魔术态蒸馏）实现。