[論文レビュー] One-Way Ticket to Las Vegas and the Quantum Adversary

Aleksandrs Belovs, Duyal Yolcu|arXiv (Cornell University)|Jan 5, 2023

Quantum Computing Algorithms and Architecture被引用数 4

ひとこと要約

この論文は、量子アドバーザリー最適化問題の妥当解を量子クエリアルゴリズムへ変換する単純な変換を用いて、量子ラスベガスクエリ複雑度の新しい定義を導入している。この定義は、量子アドバーザリー境界と厳密に等しく、誤差パラメータに依存せず、合成が明確な自然で一般的な量子ラスベガスクエリ複雑度の概念を提供する。このアプローチは、一方向アクセス、複数のオラクル、非ユニタリオラクルに対しても一般化可能であり、自然なユニタリ置換反転問題において、一方向アクセスと双方向アクセスの間で分離を示している。

ABSTRACT

We propose a new definition of quantum Las Vegas query complexity. We show that it is exactly equal to the quantum adversary bound. This is achieved by a new and very simple way of transforming a feasible solution to the adversary optimisation problem into a quantum query algorithm. This allows us to generalise the bound to include unidirectional access, multiple input oracles, and input oracles that are not unitary. As an application, we demonstrate a separation between unidirectional and bidirectional access to an input oracle for a rather natural unitary permutation inversion problem.

研究の動機と目的

• 誤差パラメータに依存せず、合成が明確な自然で一般的な量子ラスベガスクエリ複雑度の概念を定義すること。
• 量子ラスベガス複雑度と量子アドバーザリー境界の間の正確な同等性を確立し、長年の未解決問題を解決すること。
• アドバーザリー境界を、一方向アクセス、複数の入力オラクル、非ユニタリオラクルを含むように一般化すること。
• 自然な問題としてのユニタリ置換反転問題において、量子クエリ複雑度における一方向アクセスと双方向アクセスの間の分離を示すこと。
• 今後の正確な量子アルゴリズムとその合成に関する研究の基盤を築くこと、特に状態変換と関数評価の分野において。

提案手法

• ゼロエラーのアルゴリズムが常に正しい答えを返す場合の、クエリの期待数として量子ラスベガスクエリ複雑度の新しい定義を提示する。
• 量子アドバーザリー最適化問題の任意の妥当解から、有効な量子クエリアルゴリズムへの単純で直接的な変換を導入する。
• この変換を用いて、量子アドバーザリー境界（負の重み付き形）が量子ラスベガス複雑度を正確に特徴づけることを証明する。
• アドバーザリー行列と関連する進行関数の構造を変更することで、一方向アクセスを扱うフレームワークを一般化する。
• ユニタリ置換反転問題にこの手法を適用し、一方向アクセスでは双方向アクセスよりも高い複雑度が生じることを示す。
• 半定形計画法の強い双対性を活用して、変換がアドバーザリー境界と定数倍以内に一致する複雑度を持つアルゴリズムを生成することを保証する。

実験結果

リサーチクエスチョン

• RQ1 誤差低減を回避でき、合成が明確な、明確で正確な量子ラスベガス複雑度モデルを定義できるか？
• RQ2 非ユニタリオラクルや一方向アクセスが存在する状況でも、量子アドバーザリー境界が量子ラスベガス複雑度と正確に等しいか？
• RQ3 自然な量子問題としてのユニタリ置換反転問題において、一方向アクセスと双方向アクセスの間の複雑度ギャップは何か？
• RQ4 アドバーザリー境界を非ユニタリオラクルと複数の入力オラクルに拡張しても、タイトさが保たれるか？
• RQ5 一方向入力オラクルを用いた近似的かつ非コherent関数評価の真の複雑度は何か？

主な発見

• 量子ラスベガスクエリ複雑度は、量子アドバーザリー境界と厳密に等しく、両者の間のタイトな対応関係を確立した。
• アドバーザリー解から量子アルゴリズムへの変換は単純かつ一般性に富んでおり、非ユニタリや一方向オラクルへの応用が可能である。
• ユニタリ置換反転問題において、一方向アクセスと双方向アクセスの間の分離が示された。一方向アクセスでは、より高い複雑度が生じることを示した。
• フレームワークにより、誤差増幅を伴わずに量子アルゴリズムの合成が明確に可能である。これはモンテカルロモデルとは対照的である。
• この手法により、アドバーザリー境界は複数のオラクルや非ユニタリオラクルを含むように一般化され、適用範囲が拡大された。
• 結果から、先行研究におけるピュリファイアは再解釈するとラスベガスアルゴリズムとして解釈可能であり、正確な量子アルゴリズムはアドバーザリー境界から直接構築可能である可能性が示唆された。