[論文レビュー] Quantum linear systems algorithm with exponentially improved dependence on precision

Andrew M. Childs, Robin Kothari+1 more|arXiv (Cornell University)|Nov 7, 2015

Quantum Computing Algorithms and Architecture被引用数 30

ひとこと要約

この論文は、量子位相推定をフーリエ／チェビシェフ多項式に基づく作用素実装に置き換えることで、精度依存性に指数的改善を達成する線形方程式のための量子アルゴリズムを提示する。このアルゴリズムは log(1/ε) に対して多項式時間で実行され、従来の手法と比較して ε スケーリングを顕著に低減する一方で、N や条件数のスケーリングは同様に保たれる。

ABSTRACT

Harrow, Hassidim, and Lloyd showed that for a suitably specified $N imes N$ matrix $A$ and $N$-dimensional vector $\vec{b}$, there is a quantum algorithm that outputs a quantum state proportional to the solution of the linear system of equations $A\vec{x}=\vec{b}$. If $A$ is sparse and well-conditioned, their algorithm runs in time $\mathrm{poly}(\log N, 1/\epsilon)$, where $\epsilon$ is the desired precision in the output state. We improve this to an algorithm whose running time is polynomial in $\log(1/\epsilon)$, exponentially improving the dependence on precision while keeping essentially the same dependence on other parameters. Our algorithm is based on a general technique for implementing any operator with a suitable Fourier or Chebyshev series representation. This allows us to bypass the quantum phase estimation algorithm, whose dependence on $\epsilon$ is prohibitive.

研究の動機と目的

• 量子線形方程式アルゴリズムの精度逆数 ε 依存性を低減すること。これは従来、量子位相推定のため、スケーリングが悪かった。
• 精度に poly(log N, κ) スケーリングを維持しつつ、精度に poly(log(1/ε)) 依存性を達成する手法を開発すること。
• 位相推定を排除し、シリーズベースの作用素実装技術を用いることで、線形方程式の量子解法をより高速に実現すること。

提案手法

• アルゴリズムは、行列 A の逆行列を近似するためにフーリエまたはチェビシェフ級数表現を用い、A⁻¹ の効率的な量子シミュレーションを可能にする。
• 位相推定を必要としない、級数展開を介した作用素 A⁻¹ の実装を実現する量子回路を構築する。
• 滑らかなフーリエまたはチェビシェフ展開を持つ関数は、低深さの量子回路で実装可能であるという事実を活用する。
• 級数近似は、望ましい精度 ε を達成するために切り捨てられ、誤差境界は古典的近似理論から導出される。
• 出力状態が A|x⟩ = |b⟩ の解 |x⟩ に比例し、高い忠実度を持つことを保証する。
• 全体の実行時間は poly(log N, κ, log(1/ε)) にスケーリングされ、精度依存性が指数的に改善されている。

実験結果

リサーチクエスチョン

• RQ1 量子線形方程式アルゴリズムの精度依存性を、poly(1/ε) から poly(log(1/ε)) に低減できるか？
• RQ2 位相推定を置き換える級数ベースの手法が、低回路深さと高い正確性を維持できるか？
• RQ3 N や条件数 κ に同じ依存性を保ちつつ、ε スケーリングに指数的改善を達成できるか？
• RQ4 どのような作用素が、量子環境下でフーリエまたはチェビシェフ級数を用いて効率的に実装可能か？
• RQ5 級数近似の誤差が、最終的な解の状態忠実度にどのように影響するか？

主な発見

• アルゴリズムは、poly(log N, κ, log(1/ε)) の実行時間スケーリングを達成しており、従来手法と比較して精度依存性に指数的改善がなされている。
• ε 依存性が多項式から対数に低減され、具体的には poly(1/ε) から poly(log(1/ε)) に改善されており、これは主要な理論的進展である。
• 量子位相推定を回避することで、精度スケーリングの主なボトルネックが解消された。
• フーリエまたはチェビシェフ級数の使用により、量子コンピュータ上での A⁻¹ の正確かつ効率的な実装が可能になった。
• アルゴリズムは、元の HHL アルゴリズムと同様に、N や条件数 κ に同じ依存性を保っている。
• このアプローチは一般性を持ち、適切な滑らかな級数表現を持つ任意の作用素に適用可能であり、線形方程式に限らない。