[論文レビュー] Variations on Quantum Adversary

Aleksandrs Belovs|arXiv (Cornell University)|Apr 27, 2015

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

ひとこと要約

本稿は、量子アドバーザリー法を任意のユニタリオラクルおよびユニタリ変換タスクに一般化し、状態変換や関数評価を超えて、タイトな双対アドバーザリー境界を拡張する。Exactな変換に対して下界を提供し、近似変換に対して上界を提供する半タイトな境界を導入し、タイトな合成性質を保ちながら、一般の入力オラクルを伴う関数や関係に関する新しい量子クエリ複雑度下界を可能にする。

ABSTRACT

The (negative-weighted) quantum adversary bound is a tight characterisation of the quantum query complexity for any partial function. We analyse the extent to which this bound can be generalised. Ambainis et al. [arXiv:1012.2112] and Lee et al. [arXiv:1011.3020] generalised this bound to the state generation and state conversion problems, respectively. Using the ideas by Lee et al., we get even further generalisations of the bound. We obtain a version of the bound for general input oracles, which are just arbitrary unitaries. We also generalise the bound to the problem of implementing arbitrary unitary transformations. Similarly to the bound by Lee et al., our bound is a lower bound for exact transformation and an upper bound for approximate transformation. This version of the bound possesses the tight composition property. Using this construction, we also obtain lower bounds on the quantum query complexity of functions and relations with general input oracles.

研究の動機と目的

• 関数評価や状態変換を超えて、一般のユニタリオラクルおよび任意のユニタリ変換タスクにまで負の重み付き量子アドバーザリー境界を拡張すること。
• 量子クエリ複雑度におけるタイトな合成性質を維持する統一的枠組みを構築すること。
• Exactな変換に対して下界を、近似変換に対して上界を果たす半タイトな境界を提供すること。
• 重ね合わせ状態や一般の入力オラクルを伴う問題における、量子クエリ複雑度の新しい下界を可能にすること。
• 有効なプローブ器が存在する条件を探索し、近似ケースへの境界の拡張を可能にする可能性を検討すること。

提案手法

• フィルタードγ₂ノルムを用いた半定値計画法として定式化することで、任意のユニタリ入力オラクルに対する双対アドバーザリー境界の一般化を行う。
• Leeら[34]の有効スペクトルギャップ補題を適応し、証明を簡略化するとともに、双対変数に対するアルゴリズム的洞察を提供する。
• ユニタリ実装のためのアドバーザリー境界の新しい定式化を導入し、状態変換バージョンよりもより正確である。
• 双対問題の構造を用いて、Exactな変換に対する下界と近似変換に対する上界を導出する。
• 入力が基底状態ではなく重ね合わせであるような、一般の入力オラクルを伴う関係や関数に境界を適用する。
• 入力ルールに関連するベクトルの内積に制約を課した具体的な半定値計画問題(34)を導出し、クエリ複雑度の境界を可能にする。

実験結果

リサーチクエスチョン

• RQ1 量子アドバーザリー法は、関数や状態のクエリオラクルに限らず、任意のユニタリオラクルを含む問題に対しても一般化可能か？
• RQ2 ユニタリ実装のための半タイトなアドバーザリー境界は、元の双対アドバーザリー境界のタイトな合成性質を保持するか？
• RQ3 近似変換に対しても下界として機能するための条件は何か？Exactな変換に限定されるのではなく。
• RQ4 重ね合わせ状態を入力とする関係のクエリ複雑度は、標準的な関数と比較してどのように異なるか？また、アドバーザリー法はこの差を捉えることができるか？
• RQ5 乗法的アドバーザリー法は、Leeら[34]のスタイルの量子アルゴリズムの緩和として再解釈可能か？

主な発見

• 本稿は、関数評価や状態変換を超えて、任意のユニタリ入力オラクルに適用可能な双対アドバーザリー境界の一般化を導入する。
• 新しい境界はタイトな合成性質を維持しており、合成されたユニタリタスクの複雑度が個々の複雑度の積として計算可能であることを保証する。
• ユニタリ実装において、アドバーザリー境界は状態変換バージョンよりもより正確であるため、表現力の階層が存在する可能性を示唆する。
• 境界は半タイトである：Exactな変換に対して下界を提供し、近似変換に対して上界を提供する。後者は、近隣のターゲット状態の最小化によって回復可能である。
• 一般の入力オラクル（入力が部分集合または重ね合わせ）を伴う関係に対して、具体的な半定値計画問題(34)を導出し、関数のルールから直接境界を計算可能にする。
• この枠組みにより、重ね合わせや関係的入力を伴う問題における、量子クエリ複雑度の新しい下界を導出可能となり、たとえばルールに基づく入力条件を伴う一般化されたOR関数のような例にも適用可能である。