[論文レビュー] Efficient Universal Quantum Compilation: An Inverse-free Solovay-Kitaev Algorithm

Adam Bouland, Tudor Giurgică-Tiron|arXiv (Cornell University)|Dec 3, 2021

Quantum Computing Algorithms and Architecture被引用数 8

ひとこと要約

本稿では、SU(d)およびSL(d,ℂ)における効率的な量子編集を可能にする、逆元を必要としない最初のソロバウ・キタエフアルゴリズムを提示する。逆元閉包を要しない多項対数的ゲートシーケンス近似が可能であり、一般化されたパウリ群近似における自己補正型誤差構造を活用することで、群交換子に基づく誤差抑制を実現する。任意の普遍的ゲートセットに対して、O(polylog(ε⁻¹))のシーケンス長が達成される。

ABSTRACT

The Solovay-Kitaev algorithm is a fundamental result in quantum computation. It gives an algorithm for efficiently compiling arbitrary unitaries using universal gate sets: any unitary can be approximated by short gates sequences, whose length scales merely poly-logarithmically with accuracy. As a consequence, the choice of gate set is typically unimportant in quantum computing. However, the Solovay-Kitaev algorithm requires the gate set to be inverse-closed. It has been a longstanding open question if efficient algorithmic compilation is possible without this condition. In this work, we provide the first inverse-free Solovay-Kitaev algorithm, which makes no assumption on the structure within a gate set beyond universality, answering this problem in the affirmative, and providing an efficient compilation algorithm in the absence of inverses for both $ ext{SU}(d)$ and $ ext{SL}(d, \mathbb{C})$. The algorithm works by showing that approximate gate implementations of the generalized Pauli group can self-correct their errors.

研究の動機と目的

• 逆元閉包を要しない効率的な量子編集が可能かどうかという、長年の未解決問題に取り組む。
• 内部代数的構造が普遍性を除き何らかの制限を受けていなくても、任意の普遍的ゲートセットに対して動作する汎用的量子編集アルゴリズムを開発する。
• 正確な逆元に依存せずに、SU(d) や SL(d,ℂ) などの群にソロバウ・キタエフフレームワークを拡張する。
• 逆元を必要としない編集問題に対する構成的でアルゴリズム的な解決策を提供し、従来の非構成的存在証明が残したギャップを解消する。

提案手法

• 任意のε-近似ユニタリに対してε²精度の逆元を生成する「逆元工場」を構築し、普遍的ゲートセットからのゲートシーケンスのみを用いる。
• 一般化されたパウリ群作用素の自己補正型シーケンスを用いて、群ツイールトによる逆元近似の誤差を抑制する。
• 群交換子構成において正確な逆元の代わりに逆元工場を適用し、再帰ステップごとにO(ε³/²)の誤差低減を維持する。
• 特別ユニタリ性（行列式 = 1）を活用して、一般化されたパウリ群と平行する誤差抑制を実現し、2次誤差補正を可能にする。
• 逆元工場と交換子に基づく精錬を再帰的に適用することで、二重指数的誤差低減と単一指数的シーケンス長増加を達成する。
• SL(d,ℂ)への拡張は、行列式が1である条件と群ツイールトの性質により、同じ誤差抑制および逆元構成メカニズムが適用可能であることに着目することで実現する。

実験結果

リサーチクエスチョン

• RQ1 ゲートセットが逆元閉包を要しない状況でも、効率的なソロバウ・キタエフアルゴリズムを構築することは可能か？
• RQ2 正確な逆元が存在しない状況でも、近似誤差εに対して多項対数的編集オーバーヘッドを達成することは可能か？
• RQ3 一般化されたパウリ群近似における自己補正型誤差構造は、SU(d)およびSL(d,ℂ)における逆元を必要としない編集を可能にするか？
• RQ4 正確な逆元が存在しない状況でも、逆元工場の構成は群交換子における必要な誤差抑制を維持するか？
• RQ5 ソロバウ・キタエフフレームワークは、逆元閉包を要しない普遍的ゲートセットを有するコンact Lie群へどの程度一般化可能か？

主な発見

• 任意のSU(d)を生成する普遍的ゲートセットに対して、シーケンス長がO(log^γ_d(ε⁻¹))のスケーリングを達成し、指数γ_d = log(8d² + 1)/log(3/2)（これはΘ(log d)）となる。
• キュービット（d=2）の場合、指数は約8.62であり、標準S-Kアルゴリズムの約3.97よりは高いが、依然として多項対数的である。
• アルゴリズムの実行時間はO(log^3.97(ε⁻¹))にスケーリングされ、正確な逆元が存在しないにもかかわらず、標準S-Kアルゴリズムと同等の漸近的効率性を達成する。
• 逆元工場は、ε²精度の逆元をε-近似成分のみで構築し、正確な逆元が存在しない状況でも、群交換子における誤差抑制を可能にする。
• フレームワークは自然にSL(d,ℂ)へ拡張可能であり、行列式に基づく誤差抑制により、従来の逆元閉包S-Kアルゴリズムを逆元を必要としない状況に一般化する。
• 本手法は、ソロバウ・キタエフアルゴリズムの主要な再帰的構造を維持し、自己補正型シーケンスを用いて誤差をεからO(ε³/²)に1ステップごとに低減する。