[論文レビュー] A Framework for Approximating Qubit Unitaries

Vadym Kliuchnikov, Alex Bocharov+2 more|arXiv (Cornell University)|Oct 13, 2015

Quantum Computing Algorithms and Architecture被引用数 12

ひとこと要約

本稿では、完全定値クaternion代数から導かれるゲート集合に対して、単一キュービットユニタリを効率的に近似する一般枠組みを提示する。ε-近似は、長さ O(log(1/ε)) の回路を用いて達成され、漸近的に最適である。アルゴリズムは、数論的予想に従って、log(1/ε) に対して平均多項式時間で実行され、Clifford+T、Vベース、Clifford+√T を含む広範なフォールトトレラントゲート集合に適用可能である。

ABSTRACT

We present an algorithm for efficiently approximating of qubit unitaries over gate sets derived from totally definite quaternion algebras. It achieves $\varepsilon$-approximations using circuits of length $O(\log(1/\varepsilon))$, which is asymptotically optimal. The algorithm achieves the same quality of approximation as previously-known algorithms for Clifford+T [arXiv:1212.6253], V-basis [arXiv:1303.1411] and Clifford+$π/12$ [arXiv:1409.3552], running on average in time polynomial in $O(\log(1/\varepsilon))$ (conditional on a number-theoretic conjecture). Ours is the first such algorithm that works for a wide range of gate sets and provides insight into what should constitute a "good" gate set for a fault-tolerant quantum computer.

研究の動機と目的

• フォールトトレラント量子計算で用いられる広範なユニバーサルゲート集合のクラスに対して、一般的かつ効率的な単一キュービットユニタリ近似アルゴリズムを開発すること。
• どのような数学的性質が、ゲート集合を効率的な近似アルゴリズムに適したものにするかという未解決の問いに答えること。
• Clifford+T、Vベース、Clifford+π/12 といった特定のゲート集合に対して既存のアルゴリズムを統一的かつ一般化し、一つの数学的枠組みに統合すること。
• 近似の効率が、基礎となるゲート集合の数論的性質に依存しているという理論的および実験的証拠を提供すること。
• Clifford+√T やその他の「ゴールデンゲート」構成を含む、新たなゲート集合へのフレームワークの適用を示すこと、および既知の結果を再現すること。

提案手法

• 完全定値クォータニオン代数の代数的構造を活用し、SU(2) 内のユニバーサルゲート集合をモデル化することで、ユニタリ近似の数論的解析を可能にする。
• ユニタリの近似問題を、クォータニオン代数の最大順序における乗法的群内の短い因数分解を見つける問題に還元する。
• 縮約ノルムと単元群の構造を用いて、等価なユニタリ（Clifford同値性の意味で）を分類・グループ化し、回路コストを最小化する。
• ゲート集合からの生成子を用いて、反復的にターゲットユニタリとの距離を小さくする再帰的近似手順を採用する。
• log(1/ε) における平均的多項式時間実行を証明するために、数論的予想（[63, 8, 9] における先行予想を一般化）に依存する。
• Magma コンピュータ代数システムにアルゴリズムを実装し、Clifford+T+V や Clifford+√T を含む複数のゲート集合で検証した。

実験結果

リサーチクエスチョン

• RQ1 どのようなゲート集合の構造的性質が、長さ O(log(1/ε)) の回路を用いた任意の単一キュービットユニタリの効率的近似を可能にするか？
• RQ2 Clifford+T や Vベースといった特定のゲート集合に対して効率的近似アルゴリズムが存在する理由を説明する統一的数学的枠組みを構築できるか？
• RQ3 ゲート集合の生成子の成分の数論的性質は、近似アルゴリズムの効率にどのように関係するか？
• RQ4 本フレームワークは、Clifford+√T やその他の「ゴールデンゲート」構成を含む、既知のゲート集合を超えてどの程度一般化可能か？
• RQ5 アルゴリズムが log(1/ε) に対して平均多項式時間で実行されることを支持する証拠は何か？ また、これは計算数論分野の既存結果とどのように関係するか？

主な発見

• アルゴリズムは、任意の単一キュービットユニタリを、長さ O(log(1/ε)) の回路で ε-近似可能であり、これは漸近的に最適である。
• 数論的予想に従えば、アルゴリズムは log(1/ε) に対して平均多項式時間で実行され、先行の特殊化されたアルゴリズムと同等の効率を達成する。
• フレームワークは、Clifford+T、Vベース、Clifford+π/12 ゲート集合について既知の結果をうまく再現し、その一般性を検証した。
• Clifford+T+V における数値実験では、低コストのベクトルを持つ回路が生成され、ε = 10⁻⁶ の場合、1回の近似あたり平均実行時間が1秒未塔であった。
• Clifford+T+V セットから、縮約ノルムが5である26種類の異なるゲートが同定され、そのうち20個がTとVゲートの組み合わせで表現可能であり、コスト削減の可能性を示唆した。
• これらの結果は、効率的合成に根ざす数論的予想が、既知のゲート集合を超えてより広範な「ゴールデンゲート」構成のクラスへ拡張可能であるという間接的証拠を提供している。