[論文レビュー] The Solovay-Kitaev algorithm

Christopher M. Dawson, Michael A. Nielsen|ArXiv.org|May 6, 2005

Quantum Computing Algorithms and Architecture被引用数 10

ひとこと要約

本稿では、ソロヴェイ＝キタエフ定理の教育的で構成的な証明を提示する。これは、任意の1キュービット量子ゲートを固定された有限なユニバーサルゲート集合（具体的にはアダマール、制御NOT、π/8ゲート）のシーケンスにコンパイルする効率的な古典的アルゴリズムとして定式化されている。このアルゴリズムは、近似誤差をε以内に抑えるためにO(log².⁷¹(1/ε))の時間で実行され、O(log³.⁹⁷(1/ε))のゲート数のシーケンスを生成する。このアルゴリズムにより、π/2ᵏ回転を必要とする量子アルゴリズム（例えばショアのアルゴリズム）のフォールトトレランスコンパイルが保証される。

ABSTRACT

This pedagogical review presents the proof of the Solovay-Kitaev theorem in the form of an efficient classical algorithm for compiling an arbitrary single-qubit gate into a sequence of gates from a fixed and finite set. The algorithm can be used, for example, to compile Shor's algorithm, which uses rotations of $π/ 2^k$, into an efficient fault-tolerant form using only Hadamard, controlled-{\sc not}, and $π/ 8$ gates. The algorithm runs in $O(\log^{2.71}(1/ε))$ time, and produces as output a sequence of $O(\log^{3.97}(1/ε))$ quantum gates which is guaranteed to approximate the desired quantum gate to an accuracy within $ε> 0$. We also explain how the algorithm can be generalized to apply to multi-qubit gates and to gates from $SU(d)$.

研究の動機と目的

• 教育的明確性と実用的応用を目的として、ソロヴェイ＝キタエフ定理を構成的でアルゴリズム的な形に再定式化すること。
• ショアのアルゴリズムなどの量子アルゴリズムが必要とする、非フォールトトレランスなゲート（例：π/2ᵏ回転）を効率的にフォールトトレランスにコンパイル可能にするための手法の提供。
• SU(2)内の任意のユニタリ行列が、有限でユニバーサルなゲート集合のみを用いて任意の精度で近似可能であることを示すこと。
• 1キュービットに限らない、クイドや多キュービット系への一般化を通じて、SU(d)およびd=2ⁿへの応用可能性を拡張すること。
• 本手法を文脈に置き、特にキタエフとハロウらのアプローチと比較して、本アルゴリズムと先行理論的仕事との関係を明確にすること。

提案手法

• アルゴリズムは、SU(2)の群論的性質に基づく再帰的アプローチを用いる。ユニバーサルゲート集合が稠密部分群を生成することを活用する。
• ユニタリ群上での深さ優先探索戦略を採用し、ゲート集合の交換子構造を活用することで、反復的に近似を改善する。
• コア技術は、ターゲットゲートと現在の近似との差を、特に交換子を用いて小さな回転を生成することで、短いゲートシーケンスで近似すること。
• 誤差球が徐々に縮小するように、誤差内に近似するゲートシーケンスのルックアップテーブルを維持し、誤差をε未満に段階的に低下させる。
• 近似の尺度として、すべての量子状態にわたる誤差が有界であることを保証するため、演算子ノルム‖U − S‖ < εを用いる。
• 多量子もつれ系をd=2ⁿのクイドとして扱うことで、SU(d)への一般化を実現。高次元ユニタリ群への再帰的近似フレームワークを拡張する。

実験結果

リサーチクエスチョン

• RQ1 ソロヴェイ＝キタエフ定理を、量子ゲートコンパイルのための効率的で実用的な古典的アルゴリズムに変換可能か？
• RQ2 フォールトトレランス量子計算における、近似精度εとコンパイルされたゲートシーケンス長との最適なトレードオフは何か？
• RQ3 本アルゴリズムは、1キュービットから多キュービット系およびクイド（d次元系）へどのように拡張可能か？
• RQ4 アルゴリズムの計算複雑性（時間とシーケンス長）の境界は何か？また、体積論的議論による非構成的境界と比較するとどうなるか？
• RQ5 キタエフの位相推定に基づく手法やハロウらの体積論的非構成的証明と比較して、本アルゴリズムの効率性と構造的特徴は何か？

主な発見

• アルゴリズムはO(log².⁷¹(1/ε))の時間で実行され、任意の1キュービットゲートのコンパイルに実用的で効率的な方法を提供する。
• 近似誤差が演算子ノルムでε未満になるように保証されるO(log³.⁹⁷(1/ε))のゲートシーケンスを生成する。
• 多キュービット系をd=2ⁿのクイドとして扱うことで、SU(d)群への一般化が可能となり、適用範囲が拡張される。
• 本手法はロバストで構成的であり、ショアのアルゴリズムのような量子アルゴリズムをフォールトトレランス形式にコンパイルする明確で実装可能な手順を提供する。
• 非構成的アプローチ（例：ハロウらの体積論的議論）と比較して、本アルゴリズムは短い近似シーケンスを効率的に見つける明示的で効率的な手法を提供する。
• キタエフの代替的手法と比較すると、本アルゴリズムの性能は競争力があるが、後者のO(log²(1/ε) log(log(1/ε)))の時間とシーケンス長に比べ、やや悪い漸近的スケーリングを示す。