[論文レビュー] On Universal and Fault-Tolerant Quantum Computing

P. Oscar Boykin, Tal Mor+3 more|ArXiv.org|Jun 16, 1999

Quantum Computing Algorithms and Architecture参考文献 29被引用数 88

ひとこと要約

本稿では、アダマールゲート、1キュービット回転 $\sigma_z^{1/4}$、制御NOTゲートからなる、普遍的かつフォールトトレランスを持つ量子ゲートセットを提案する。非自明な回転を伴う無理数の回転角を用いて、これらのゲートが SU(4) の再帰的部分群を生成することを証明することで、普遍性を確立するとともにフォールトトレランスを維持し、ノイズの多い環境下でもスケーラブルな量子計算に実装可能な最小限で物理的に実現可能な基底を提供する。

ABSTRACT

A novel universal and fault-tolerant basis (set of gates) for quantum computation is described. Such a set is necessary to perform quantum computation in a realistic noisy environment. The new basis consists of two single-qubit gates (Hadamard and ${σ_z}^{1/4}$), and one double-qubit gate (Controlled-NOT). Since the set consisting of Controlled-NOT and Hadamard gates is not universal, the new basis achieves universality by including only one additional elementary (in the sense that it does not include angles that are irrational multiples of $π$) single-qubit gate, and hence, is potentially the simplest universal basis that one can construct. We also provide an alternative proof of universality for the only other known class of universal and fault-tolerant basis proposed by Shor and by Kitaev.

研究の動機と目的

• ノイズの多い量子系における実用的実装を想定し、普遍的かつフォールトトレランスを持つ量子ゲートセットを開発すること。
• 標準的なクリフォードセットに加えて1つの追加ゲートのみを含めることで、非基本ゲートの数を最小限に抑えること。
• ゲートパラメータに $\pi$ の無理数倍を含まない、フォールトトレランスを持つ基底の普遍性を厳密に証明すること。
• 量子ゲート生成と SU(4) 内の連続回転群との関係を確立し、普遍的近似を可能にする。
• シャオルとキタイエフが提案した既存のフォールトトレランス基底の普遍性について、代替的証明を提示することで、理論的基盤を強化すること。

提案手法

• 著者らは、$H$ をアダマールゲート、$\Lambda_1(\sigma_x)$ を制御NOTゲートとするゲートセット $G = \{ H, \sigma_z^{1/4}, \Lambda_1(\sigma_x) \}$ を定義する。
• 生成子から3つの主要なユニタリ演算子 $\rho_x, \rho_y, \rho_z$ を構築し、これらが4次元ヒルベルト空間における回転として作用することを示す。
• $\rho_2$ と $\rho_3$ の固有値を分析することで、$e^{i2\pi c} = \frac{1+i\sqrt{15}}{4}$ が単位根でないことが示され、これは無理数の回転角を意味する。
• この無理数性により、$\rho_2$ と $\rho_3$ の累乗が、部分空間内の任意の SU(2) 形式の回転を再帰的に近似可能である。
• 基底の変換を適用し、これらの演算子を複素位相 $\alpha$ および $\beta$ を持つ回転行列として表現する。これらも単位根でないことが示される。
• このような行列が SU(2) の再帰的部分群を生成すること、および SU(3) が SU(2) 操作に分解可能であることを利用し、ゲートセットが SU(4) の再帰的部分群を生成することを証明する。これにより、普遍性が成立する。

実験結果

リサーチクエスチョン

• RQ1 クリフォードゲートに加えて、$\sigma_z^{1/4}$ という1つの非クリフォードゲートのみを用いて、普遍的量子ゲートセットを構築可能か？
• RQ2 標準的な量子エラー訂正符号において、得られたゲートセットはフォールトトレランスを満たすか？
• RQ3 $\sigma_z^{1/4}$ が $\pi$ の無理数倍の回転を伴う場合、普遍的量子計算が可能か？
• RQ4 新規ゲートセットが生成する群が、SU(4) 内のすべてのユニタリ操作を再帰的に近似可能か？
• RQ5 生成された群の構造は、連続回転部分群とその SU(4) 内での再帰性とどのように関係するか？

主な発見

• ゲートセット $\{ H, \sigma_z^{1/4}, \Lambda_1(\sigma_x) \}$ は、SU(4) の再帰的部分群を生成することを証明した。
• $\sigma_z^{1/4}$ ゲートに関連する回転角は、固有値 $e^{i2\pi c} = \frac{1+i\sqrt{15}}{4}$ を持ち、これは単位根でないため、無理数の回転を保証する。
• 構築された演算子 $\rho_2$ と $\rho_3$ の累乗は、2次元部分空間内の任意の回転を近似可能であり、普遍的近似を可能にする。
• 証明により、ゲートセットが SU(4) の再帰的部分集合を生成することが示され、普遍性の条件を満たす。
• 著者らは、シャオルとキタイエフが提案した基底の普遍性について、代替的証明を提示し、フォールトトレランスを持つ量子計算の理論的基盤を強化した。
• ゲートパラメータに $\pi$ の無理数倍を含まないよう設計されており、1つの非基本ゲート $\sigma_z^{1/4}$ のみを用いることで、最小限の普遍的かつフォールトトレランスを持つ基底である可能性が示された。