[論文レビュー] Lower Bounds for Parallel Quantum Counting

Paul Burchard|arXiv (Cornell University)|Oct 8, 2019

Quantum Computing Algorithms and Architecture参考文献 11被引用数 7

ひとこと要約

この論文は、並列量子カウントが古典的手法に比べて量子的優位性を示さないことを確立しており、p-並列近似量子カウントのクエリ複雑度に対するタイトな下界 Ω(1/ε √(N/pK)) を証明している。著者らは、多値関数へのアドバーザリ法の一般化と並列オラクルクエリの分析を通じて、追加のキュービットが存在しても、並列化によって量子スピードアップが達成できないことを示しており、これはNISQ時代のモンテカルロシミュレーションにおけるNISQ時代の量子アルゴリズムに強く影響を与える。

ABSTRACT

We prove a generalization of the parallel adversary method to multi-valued functions, and apply it to prove that there is no parallel quantum advantage for approximate counting.

研究の動機と目的

• 近似カウントの分野における量子複雑度理論のギャップを埋めるために、並列量子アルゴリズムの下界を証明すること。
• アドバーザリ法を多値関数に拡張し、出力が値の範囲内に収まるような近似量子アルゴリズムの分析を可能にすること。
• NISQ時代における回路深さの短縮が期待されていたが、並列化が近似カウントにおいても量子的優位性をもたらさないことを示すこと。
• 並列実行下でのモンテカルロシミュレーションにおける量子スピードアップの限界を形式的に確立すること。

提案手法

• 出力集合 F(x) と F(y) が重複する場合に限り、アドバーザリ行列 Γ がゼロであることを要請することで、量子アドバーザリ法を多値関数に一般化する。
• p-並列クエリを、p個のインデックスのタプルを扱う単一の直列オラクルとしてモデル化し、並列ケースを直列アドバーザリフレームワークに還元する。
• 異なるオラクル下での状態の区別可能性を追跡するために、重み付き内積和 W^t = ∑_{x,y} Γ_xy δ_x δ_y ⟨ψ_x^t|ψ_y^t⟩ を定義する。
• 異なるクエリ結果を追跡する変更されたアドバーザリ行列 Γ^{i1⋯ip} のスペクトルノルムを用いて、|W^t - W^{t+1}| の変化を束縛する。
• 行と列のスパarsity（h, h', ℓ, ℓ'）を用いた組合せ的バインドを適用し、閉形式の下界を導出する。
• 得られたバインドを用いて、出力のハミング重み範囲が不交和である入力集合 X と Y を構築し、関連する組合せ的項を計算することで、近似カウントを分析する。

実験結果

リサーチクエスチョン

• RQ1 並列量子アルゴリズムは近似カウントにおいて量子的優位性を達成できるか？
• RQ2 量子カウントの並列化は、根本的なクエリ複雑度の上限によって制限されているか？
• RQ3 アドバーザリ法は、並列設定下での近似的・多値関数に対応して一般化可能か？
• RQ4 クエリを並列に実行しても、量子カウントの既知の2乗根のスピードアップが維持されるか？
• RQ5 p-並列近似量子カウントのクエリ複雑度のタイトな下界は何か？

主な発見

• p-並列近似量子カウントのクエリ複雑度は、Ω(1/ε √(N/pK)) で下界づけられており、これは古典的並列カウンタの性能と一致する。
• アドバーザリ行列 Γ を用いて出力集合の直交性を強制することで、一般化されたアドバーザリ法が多値関数に成功裏に拡張された。
• 下界はタイトであり、入力の不交和部分にp個の独立した量子カウンタを実行する上界が一致することによって示された。
• 並列化は回路深さやクエリ複雑度の改善を古典的スケーリングを超えて実現できず、この分野における量子的優位性の期待を否定する。
• この結果は、NISQ時代の量子モンテカルロシミュレーションにおける回路深さの短縮に、インポートランスサンプリングなどの代替手法を用いる必要があることを示唆する。
• 分析により、ブラッサード＝ホイヤー＝タップアルゴリズムが並列クエリアクセス下でも漸近的に最適であることが確認された。