[論文レビュー] Quantum Approximate Counting, Simplified

Scott Aaronson, Patrick Rall|arXiv (Cornell University)|Aug 28, 2019

Quantum Computing Algorithms and Architecture被引用数 26

ひとこと要約

本稿では、QFTを用いない、簡素化された量子近似カウントングアルゴリズムを提示する。このアルゴリズムは、Grover反復のみを用いて、$O(\varepsilon^{-1}\sqrt{N/K})$ の最適なクエリ複雑度を達成し、元のBHMTアルゴリズムと同等の性能を発揮する。この手法は、Groverの拡散演算子と古典的推定技術に依存し、乗法的誤差 $\varepsilon$ でマークされたアイテム数 $K$ を推定するが、計算オーバーヘッドはたった $O(\log N)$ に抑えられ、近い将来の量子デバイスに特に適している。

ABSTRACT

In 1998, Brassard, Hoyer, Mosca, and Tapp (BHMT) gave a quantum algorithm for approximate counting. Given a list of $N$ items, $K$ of them marked, their algorithm estimates $K$ to within relative error $\varepsilon$ by making only $O\left( \frac{1}{\varepsilon}\sqrt{\frac{N}{K}} ight) $ queries. Although this speedup is of "Grover" type, the BHMT algorithm has the curious feature of relying on the Quantum Fourier Transform (QFT), more commonly associated with Shor's algorithm. Is this necessary? This paper presents a simplified algorithm, which we prove achieves the same query complexity using Grover iterations only. We also generalize this to a QFT-free algorithm for amplitude estimation. Related approaches to approximate counting were sketched previously by Grover, Abrams and Williams, Suzuki et al., and Wie (the latter two as we were writing this paper), but in all cases without rigorous analysis.

研究の動機と目的

• 量子近似カウントングにおける量子フーリエ変換（QFT）の必要性を排除しつつ、最適なクエリ複雑度を維持すること。
• Groverに基づくアルゴリズムの近似カウントングに対する厳密な解析を提供し、Grover、 AbramsおよびWilliamsらの先行ヒューリスティック手法におけるギャップを埋めること。
• 簡素化されたカウントングアルゴリズムを振幅推定に一般化し、量子状態間の内積の大きさを推定可能にする。
• 量子深さを低減し、QFTのような複雑な量子操作（例：制御Grover）への依存を減らすことで、近い将来の量子ハードウェアにおける実用性を高めること。
• 標準Groバーオペレータと古典的統計推定のみを用い、BHMTアルゴリズムの明確で解析的に妥当な代替手法を確立すること。

提案手法

• アルゴリズムは、均一なスーパーポジション状態で初期化された系に対して繰り返しGrover反復を適用し、マークされた状態は最後の2キュービットが |00⟩ である状態として定義される。
• $r$ 回の反復後にマークされた状態を観測する確率 $\sin^2(r\theta)$ を測定することで、Grover角 $\theta = \arcsin(\sqrt{K/N})$ を推定する。
• 古典的推定手順により、観測された最大確率を特定し、これにより $r\theta$ を推定し、さらに $\theta$ および $K$ を推定する。
• 補助キュービットを用いて制御位相反転によりマークされた状態を定義する、拡張されたヒルバート空間に作用する修正されたGrover拡散演算子を適用する。
• 推定プロセスでは信頼区間アプローチを用い、最終的な推定値 $\hat{K}$ が $|\hat{K} - K| \leq \varepsilon K$ を満たす確率が高くなるように保証する。
• 振幅推定に一般化するには、$\theta = \arcsin(a)$ と再定義し、$a = |\langle\psi|\phi\rangle|$ とし、同じ反復的Groバーサイクルを用いて $a$ を推定する。

実験結果

リサーチクエスチョン

• RQ1 量子近似カウントングを、量子フーリエ変換（QFT）を用いずに実装可能であり、最適なクエリ複雑度を維持できるか？
• RQ2 乗法的誤差保証を伴う、Groverに基づく振幅推定の厳密なQFTフリー解析が可能か？
• RQ3 クエリ数と計算オーバーヘッドの観点から、Groverオンliーモデルの性能は、元のBHMTアルゴリズムと比べてどうか？
• RQ4 量子深さが制限された計算環境（qubitが限定的な操作後に測定される）でも、効率的に動作するようにアルゴリズムを適合可能か？
• RQ5 QFTフリーの枠組み内で、並列化されたGroバーオブジェクションを用いて、最適なクエリ複雑度を維持しながら回路の深さを改善できるか？

主な発見

• 提案されたアルゴリズムは、量子フーリエ変換（QFT）を一切使用せず、$O(\varepsilon^{-1}\sqrt{N/K})$ の最適なクエリ複雑度を達成し、BHMTアルゴリズムの性能と一致する。
• 計算複雑度はクエリ複雑度に対してたった $O(\log N)$ の要因しか超過せず、近い将来の量子デバイスにとって効率的かつ実用的である。
• 先行のGrover、AbramsおよびWilliamsらのヒューリスティック手法とは異なり、古典的統計的手法を用いた厳密な解析がなされている。
• 振幅推定に一般化可能であり、$a = |\langle\psi|\phi\rangle|$ の推定値 $\hat{a}$ を、確率 $1-\delta$ 以上で乗法的誤差 $\varepsilon$ を満たすように、$O(a^{-1}\varepsilon^{-1}\log(\delta^{-1}))$ のクエリで得られる。
• 元のバージョンにおける代数的誤りを是正し、証明構造を改善することで、明確さと正しさが向上した。
• 制御ユニタリ操作やQFTを避けるため、BHMTよりも単純で実装に適しており、標準Groバーサイクルと古典的後処理のみに依存する。