[論文レビュー] Efficient Clifford+T approximation of single-qubit operators

Peter Selinger|arXiv (Cornell University)|Dec 26, 2012

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

ひとこと要約

本稿では、Clifford+T ゲートを用いて SU(2) 内の任意の単一キュービットユニタリを近似するための確率的で効率的なアルゴリズムを提示する。z-回転に対しては $ K + 4\log_2(1/\varepsilon) $ の最適な T-カウントスケーリングを達成し、一般の SU(2) 演算子に対しては $ K + 12\log_2(1/\varepsilon) $ を達成する。やや弱い数論的仮定の下で、アルゴリズムは $ \log(1/\varepsilon) $ に対して期待される多項式時間で実行され、理論的下界に加法的定数の差異を除いて一致する。

ABSTRACT

We give an efficient randomized algorithm for approximating an arbitrary element of $SU(2)$ by a product of Clifford+$T$ operators, up to any given error threshold $ε>0$. Under a mild hypothesis on the distribution of primes, the algorithm's expected runtime is polynomial in $\log(1/ε)$. If the operator to be approximated is a $z$-rotation, the resulting gate sequence has $T$-count $K+4\log_2(1/ε)$, where $K$ is approximately equal to $10$. We also prove a worst-case lower bound of $K+4\log_2(1/ε)$, where $K=-9$, so that our algorithm is within an additive constant of optimal for certain $z$-rotations. For an arbitrary member of $SU(2)$, we achieve approximations with $T$-count $K+12\log_2(1/ε)$. By contrast, the Solovay-Kitaev algorithm achieves $T$-count $O(\log^c(1/ε))$, where $c$ is approximately $3.97$.

研究の動機と目的

• Clifford+T ゲートセットを用いて、誤差許容度 $ \varepsilon $ における任意の SU(2) 演算子を近似するための効率的アルゴリズムを開発すること。
• T-カウントスケーリングを、情報理論的下界に加法的定数の差異を除いて一致させること。
• アルゴリズムが $ \log(1/\varepsilon) $ に対して期待される多項式時間で実行されることを保証し、Solovay-Kitaev アルゴリズムの $ O(\log^{3.97}(1/\varepsilon)) $ の複雑さを上回ること。
• 従来の最適アルゴリズムがリソース状態や特別なアーキテクチャに依存するのとは異なり、アーキテクチャの補助キュービットを一切必要としないソリューションを提供すること。
• z-回転における T-カウントの上界と下界を確立し、アルゴリズムの性能がほぼ最適であることを示すこと。

提案手法

• T-カウントが有界な Clifford+T 回路に対応する代数的整数の構造的グリッド上の確率的探索を用いる。
• 複素整数環 $ \mathbb{Z}[i] $ における素数の分布に基づく数論的技法を用い、$ \varepsilon $-領域内に十分な密度の近似点が存在することを保証する。
• 目標回転角の良い有理近似を見つけるために連分数法の変種を適用し、それを Clifford+T 回路にマッピングする。
• SU(2) 群の幾何構造を活用して、反復的採択サンプリング戦略を実装し、目的のユニタリから $ \varepsilon $ 以内の Clifford+T 回路を効率的に特定する。
• T-カウント $ k $ の Clifford+T ゲートの数が $ 4^k $ のオーダーで増加すること、および $ \varepsilon $-領域の体積が $ \varepsilon^3 $ に比例することを用い、各イテレーションあたりの候補数が定数に保たれることを保証する。
• 素数分布の仮定の下で、反復的に誤差領域を縮小する再帰的精錬戦略を採用し、多項式時間実行を維持する。

実験結果

リサーチクエスチョン

• RQ1 Clifford+T ゲートを用いて、任意の単一キュービットユニタリを近似するための効率的かつ確率的アルゴリズムは、T-カウントスケーリングを $ O(\log(1/\varepsilon)) $ に抑えることができるか。これは情報理論的下界に一致するか。
• RQ2 補助キュービットや特別なリソース状態を必要とせずに、この最適な T-カウントスケーリングを達成することは可能か。
• RQ3 z-回転における T-カウント式の最もタイトな加法的定数は何か。アルゴリズムはそれを達成できるか。
• RQ4 アルゴリズムの実行時間は $ \varepsilon $ の減少に伴いどのようにスケーリングされるか。また、どのような数論的仮定の下で $ \log(1/\varepsilon) $ に対して多項式時間になるか。
• RQ5 アルゴリズムを変更して乗法的オーバークロック（T-カウントにおける定数要因の低減）を扱えるようにできるか。その際、効率性は保たれるか。

主な発見

• z-回転に対しては、T-カウントが $ K + 4\log_2(1/\varepsilon) $ に達し、$ K \approx 10 $ である。これは $ K = -9 $ の下界 $ K + 4\log_2(1/\varepsilon) $ と一致し、性能がほぼ最適であることを示す。
• 一般の SU(2) 演算子に対しては、T-カウントが $ K + 12\log_2(1/\varepsilon) $ に達し、Solovay-Kitaev アルゴリズムの $ O(\log^{3.97}(1/\varepsilon)) $ の複雑さに比べて顕著に改善される。
• 複素整数環 $ \mathbb{Z}[i] $ における素数が十分に良好に分布しているという仮定の下で、期待される実行時間は $ \log(1/\varepsilon) $ に対して多項式時間となり、高精度近似においても効率的である。
• 本アルゴリズムは、補助キュービットや特別な状態準備を必要とせずに、最適な $ O(\log(1/\varepsilon)) $ の T-カウントスケーリングを達成した初のアルゴリズムである。
• 実験的結果は理論的スケーリングを裏付ける：$ \varepsilon = 10^{-1000} $ の場合、T-カウントは 13,300 に達し、実行時間は約 505 秒であり、$ O(\log(1/\varepsilon)) $ の挙動と整合的である。
• アルゴリズムは各イテレーションあたりの候補数が定数に保たれ、平均的な候補処理時間もゆっくりと増加するため、誤差閾値の変化にかかわらず、安定的かつ予測可能な性能を維持している。