[論文レビュー] Stochastic Simulation of Grover's Algorithm

L. R. U. MANSSUR, Renato Portugal|ArXiv.org|Jan 16, 2003

Quantum Computing Algorithms and Architecture参考文献 9被引用数 3

ひとこと要約

本稿では、Hubbard-Stratonovich分解を用いてnキュービットゲートを補助場に結合した1キュービットゲートに写像することで、Groverのアルゴリズムの確率的シミュレーションを提案する。この手法により問題はランジュバン微分方程式の解法に還元される。この方法ではマップルプログラムを用いてランジュバン方程式を自動生成し、数値的に解いて固定点を求める。その結果、期待されるGroverの結果とは乖離した値が得られ、この特定のアルゴリズムに対しては手法の限界が示唆される。

ABSTRACT

We simulate Grover's algorithm in a classical computer by means of a stochastic method using the Hubbard-Stratonovich decomposition of n-qubit gates into one-qubit gates integrated over auxiliary fields. The problem reduces to finding the fixed points of the associated system of Langevin differential equations. The equations are obtained automatically for any number of qubits by employing a computer algebra program. We present the numerical results of the simulation for a small search space.

研究の動機と目的

• 指数的リソーススケーリングを回避する古典的確率的シミュレーション手法をGroverの量子アルゴリズムに開発すること。
• CerfとKooninの確率的手法を、ユニバーサルゲートへの分解を回避する形で任意のnキュービットゲートに一般化すること。
• この確率的アプローチが、ランジュバンダイナミクスを用いてGroverのアルゴリズムにおける正しい振幅の時間発展を再現できるかどうかをテストすること。
• このフレームワーク下でのシミュレーションにおいて生じる数値的および収束性の問題を特定・分析すること。

提案手法

• Groverのアルゴリズムにおけるnキュービットユニタリ発展演算子は、Hubbard-Stratonovich変換を用いて補助場に結合した1キュービットゲートに分解される。
• この手法は、多キュービットゲートを単一キュービット演算子のテンソル積の指数関数として表現し、補助場にわたる確率的平均化を可能にする。
• 補助場のダイナミクスは、量子回路の作用 functional から導かれたランジュバン微分方程式系によって支配される。
• コンピュータ代数システム（Maple）を用いて、任意のキュービット数に対してランジュバン方程式を自動生成し、体系的なシミュレーションを可能にする。
• 数値解は、最終状態の振幅に対応する固定点を求めるためにランジュバン方程式を統合することで得られる。
• 非収束する補助場に対処するために正規化制約が導入されるが、これは根本的な解決策ではなく、一時的な措置と見なされる。

実験結果

リサーチクエスチョン

• RQ1 Hubbard-Stratonovich分解をnキュービットゲートに一般化することで、量子回路の確率的シミュレーションが可能になるか？
• RQ2 得られるランジュバン系は、古典的確率的枠組みにおいてGroverのアルゴリズムの振幅発展演算を正確に再現できるか？
• RQ3 Groverのアルゴリズムにおけるランジュバンダイナミクスの補助場の収束性および安定性の性質は何か？
• RQ4 なぜシミュレートされた測定確率が期待されるGroverの結果（例：|11⟩に対して約1ではなく0.21）と顕著に乖離しているのか？
• RQ5 対数的場の振る舞いのような数値的アーティファクトを是正することで、正しい量子結果を回復できるか？

主な発見

• シミュレーションでは|00⟩に対して約0.28、|01⟩に対して約0.24、|10⟩に対して約0.24、|11⟩に対して約0.21の測定確率が得られ、|11⟩がほぼユニット確率を取るべき期待されるGroverの結果とは顕著に乖離している。
• いくつかの補助場は安定値に収束せず、この系におけるランジュバンダイナミクスの数値的不安定性を示している。
• 一部の場は対数的時間依存性を示しており、固定点への収束を複雑にする非自明な長時間挙動を示唆している。
• 対数的挙動に適合させ、無限時間極限を取ったとしても、この手法は正しい量子結果を再現できないため、Groverのアルゴリズムに対する有効性に疑問が呈される。
• 全確率を1に保つために正規化制約を用いる必要があるが、これは根本的な欠陥を示すものであり、この場合における手法の整合性に問題があることを示している。
• 著者らは、継続的な数値的および収束性の問題があるため、この手法はGroverのアルゴリズムのシミュレーションには適さない可能性があると結論づける。一方で、他の回路に対しては依然として有用である可能性がある。