[論文レビュー] 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)$-加法的量子符号は普遍的なトランスバーサル論理ゲート集合を有しないことを証明している。この結果は、安定化子符号におけるトランスバーサル性と普遍性の根本的な不適合性を示しており、$T$ゲートなどの非クリフォードゲートが、フェイルセーフな普遍性を実現するためには、量子テレポーテーションなどの追加の基本的操作を必要とするという意味である。

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)$-加法的量子符号でも、普遍的なトランスバーサル論理ゲート集合をサポートできるかどうかを特定すること。
• トランスバーサル性と普遍性が安定化子符号において不適合であるという長年の予想を解決すること。
• 加法的量子符号におけるトランスバーサルゲートの構造とクリフォード群との関係を分析すること。
• 座標の置換や符号ブロック変換を用いることで、トランスバーサルゲート集合に普遍性を達成できるかどうかを調査すること。

提案手法

• 任意の$GF(4)$-線形符号の自己同型群がクリフォード群に含まれることを示したレインズの結果を活用する。
• ヴァン・デン・ネストの定理を用いて、マルチブロック設定におけるトランスバーサルゲートの作用を分析する。
• $\mathcal{C}_k^{(1)}$階層を用いて可能なトランスバーサルゲートを分類し、その角度の可能性を制約する。
• 可除古典的符号（例：リード・マラー符号）を分析し、非クリフォードのトランスバーサルゲートを有するCSS符号を構築する。
• $[[n,k,d]]$符号形式を用いて、$[[15,1,3]]$や$[[2^m-1,1,3]]$といった既知の符号におけるトランスバーサルゲート集合を検討する。
• 任意の普遍的トランスバーサルゲート集合がクリフォード群の外側のゲートを必要とすることを示し、矛盾を導出することで、$GF(4)$-加法的符号ではトランスバーサル性によって実現できないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 どの$GF(4)$-加法的量子符号でも、普遍的なトランスバーサル論理ゲート集合をサポートできるか？
• RQ2 座標の置換を許容しても、トランスバーサルゲートのみで普遍性を達成することは可能か？
• RQ3 安定化子符号の構造とクリフォード群が、トランスバーサルゲート集合に課す制約は何か？
• RQ4 可除古典的符号から導かれるCSS符号の族には、非クリフォードのトランスバーサルゲートをサポートするものがあるか？
• RQ5 $\mathcal{C}_k^{(1)}$階層は、安定化子符号におけるトランスバーサルゲート集合を完全に特徴づけられるか？

主な発見

• 座標の置換を許容しても、$GF(4)$-加法的量子符号は普遍的なトランスバーサル論理ゲート集合をサポートしない。
• GF(4)-加法的符号におけるトランスバーサルゲートは、クリフォード群またはクリフォード操作で共役された対角ゲートに制限される。
• $[[15,1,3]]$符号はトランスバーサル$T$ゲートをサポートするが、トランスバーサルハダマードゲートを欠いているため、普遍性は達成できない。
• 穿孔されたリード・マラー符号から導かれる$[[2^m-1,1,3]]$CSS符号は、トランスバーサル$T_m = \operatorname{diag}(1, e^{i\pi/2^{m-2}})$ゲートをサポートする。
• $k$-論理キュービット符号におけるトランスバーサルゲート位相の候補上限は$\theta = \pi/2^{k+2}$であり、これにより可能なゲートの階層が示唆される。
• この結果は、普遍性に不可欠な非クリフォードゲートが、量子テレポーテーションやマジック状態の蒸留などの非トランスバーサル手法によって実装されなければならないことを示している。