[論文レビュー] Breaking the cubic barrier in the Solovay-Kitaev algorithm

Greg Kuperberg|arXiv (Cornell University)|Jun 22, 2023

Scientific Computing and Data Management被引用数 4

ひとこと要約

本稿は、長年にわたり課題とされてきた3次関数的障壁を打ち破る形で、ソロバ-キタエフアルゴリズムを改善し、$\mathrm{SU}(d)$ およびより一般的な単純なリー群におけるユニタリゲートの近似において、$O((\log 1/\epsilon)^{1.44042\ldots+\delta})$ のワード長を達成した。この改善は、指数的スケーリングと二重指数的スケーリングを組み合わせた新規なマルチスケールフレームワークに起因し、交換子に基づく群要素を用いることで、黄金比 $\phi$ を用いて指数を1.44未塔に低下させた。この結果は、量子回路合成および群生成の分野において著しく効率を向上させた。

ABSTRACT

We improve the Solovay--Kitaev theorem and algorithm for a general finite, inverse-closed generating set acting on a qudit. Prior versions of the algorithm efficiently find a word of length $O(n^{3+δ})$ to approximate an arbitrary target gate to $n$ bits of precision. Using two new ideas, each of which reduces the exponent separately, our new bound on the word length is $O(n^{1.44042\ldots+δ})$. Our result holds more generally for any finite set that densely generates any connected, semisimple real Lie group, with an extra length term in the noncompact case to reach group elements far away from the identity.

研究の動機と目的

• 量子ゲート近似におけるソロバ-キタエフアルゴリズムの長年の $O((\log 1/\epsilon)^3)$ の複雑さの上限を克服すること。
• 改善された上限を、非コンパクトな場合を含む任意の連結で単純な実リー群に一般化すること。
• 指数的スケーリングの効率性と二重指数的収束の精度を組み合わせたマルチスケールアルゴリズムを開発すること。
• 交換子再帰によって生成される群ワードの冪零クラスに対するタイトな境界を確立し、それを黄金比に関連付けること。
• 任意の有限で逆元を含むゲート集合が $\mathrm{SU}(d)$ を生成する場合に、明示的なワード長の上限を備えた構成的アルゴリズムを提供すること。

提案手法

• 2段階のマルチスケールフレームワークを導入：まず交換子再帰により概ね指数的ステップを生成し、次にそれらを高精度の近似に精錬する。
• 群要素の生成に再帰 $\omega_{n+2} = [\omega_{n+1}^{-1}, \omega_n]$ を用い、ワード長 $O(2^n)$ および冪零クラス $\Omega(\phi^n)$ を達成し、ここで $\phi$ は黄金比である。
• 交換子恒等式 $[a,b] = aba^{-1}b^{-1}$ を用いて非アーベル自由部分群を生成し、近似に十分な非可換性を保証する。
• 粗い近似を、以前の段階で得られた短いが高精度なワードを用いて再帰的に精錬するプロセスを採用する。
• $\mathrm{SU}(2)$ におけるパウリ行列の行列表現を用い、標準的な冪零クラスを評価し、ワード複雑度に対するタイトな境界を証明する。
• 黄金比を用いることで、$\alpha > \log_\phi 2 \approx 1.44042$ となるように、ワード長 $\ell = O((\log 1/\epsilon)^\alpha)$ を確立する。

実験結果

リサーチクエスチョン

• RQ1 一般のゲート集合に対して、ソロバ-キタエフワード長の指数を3未満に低下させることは可能か？
• RQ2 マルチスケール群近似において、ステップサイズと精錬コストの最適なトレードオフは何か？
• RQ3 交換子によって生成されるワードの冪零クラスは、そのワード長および近似能力とどのように関係するか？
• RQ4 非コンパクトな単純なリー群に対しても、恒等元からの距離を制御できる形でソロバ-キタエフ定理を一般化できるか？
• RQ5 ワード長の最小達成可能指数としての $\alpha = \log_\phi 2$ は、与えられた構成においてタイトか？

主な発見

• 本稿は、$\mathrm{SU}(d)$ 内の任意のゲートの近似において、$O((\log 1/\epsilon)^{1.44042\ldots+\delta})$ のワード長を達成し、従来の $O((\log 1/\epsilon)^{3+\delta})$ の3次関数的障壁を打ち破った。
• 指数 $\log_\phi 2 \approx 1.44042$ は、交換子ワードの冪零クラスにおけるフィボナッチ再帰に起因し、与えられたマルチスケール構成において最適であることが証明された。
• 任意の連結で単純な実リー群 $G$ に対して、本アルゴリズムは $\ell = O((\log 1/\epsilon)^\alpha + d_G(g,1))$ を達成し、ここで $d_G$ は左不変なフィンスラー計量である。
• 再帰 $\omega_{n+2} = [\omega_{n+1}^{-1}, \omega_n]$ で生成されるワード $\omega_n$ の冪零クラスは、ちょうど $n$ 番目のフィボナッチ数 $f_n$ に等しく、これは $\mathrm{SU}(2)$ においてタイトである。
• ワード長は $n \geq 3$ に対して $\operatorname{len}(\omega_n) = (13 \cdot 2^{n-2} + c)/7$ で正確に与えられ、$c$ は $n \mod 3$ に依存し、指数的成長を確認した。
• 再帰の漸近的挙動から、与えられた構成下では $\alpha < \log_\phi 2$ のより小さい指数は達成不可能であることが示され、この境界がタイトであることが確認された。