[論文レビュー] Bounds on quantum ordered searching

Peter Høyer, Jan Neerbek|ArXiv.org|Sep 8, 2000

Quantum Computing Algorithms and Architecture参考文献 15被引用数 4

ひとこと要約

本稿は、正確な量子順序探索における新しい下界 $rac{1}{/pi}(ackslash ext{ln} N - 1)$ を確立し、従来の境界を改善した。また、複数のバイナリサーチのインスタンスが量子並列性と知識共有を可能にする仕組みを用いて、$ackslash ext{log}_3 N + O(1)$ クエリ（約 $0.631ackslash ext{log}_2 N$）で動作する新しい量子アルゴリズムを提示した。この手法は、下界の証明に重み付き全ペア内積の議論を、重ね合わせ状態の基底状態間の通信メカニズムを用いる。

ABSTRACT

We prove that any exact quantum algorithm searching an ordered list of N elements requires more than \frac{1}π(\ln(N)-1) queries to the list. This improves upon the previously best known lower bound of {1/12}\log_2(N) - O(1). Our proof is based on a weighted all-pairs inner product argument, and it generalizes to bounded-error quantum algorithms. The currently best known upper bound for exact searching is roughly 0.526 \log_2(N). We give an exact quantum algorithm that uses \log_3(N) + O(1) queries, which is roughly 0.631 \log_2(N). The main principles in our algorithm are an quantum parallel use of the classical binary search algorithm and a method that allows basis states in superpositions to communicate.

研究の動機と目的

• 正確な順序探索の量子クエリ複雑度に対するより厳しい下界を確立すること。
• 古典的バイナリサーチよりクエリ複雑度で優れる新しい量子アルゴリズムを考案すること。
• 重ね合わせ状態に存在する量子状態同士の知識共有という、量子アルゴリズムの効率を向上させるための新技術を導入すること。
• 非対称的かつ非ブール型の量子関数に対する下界を証明するための道具として、重み付き全ペア内積の議論を一般化すること。

提案手法

• 本稿は、Bennett らおよび Ambainis の先行研究を拡張し、量子ブラックボックスモデルにおいて下界を証明するための重み付き全ペア内積の議論を導入した。
• この議論を適用して、正確な量子順序探索における下界が $\frac{1}{\pi}(\ln N - 1)$ クエリであることを導出した。
• 提案されたアルゴリズムは、入力の異なるセグメントに焦点を当てた複数の古典的バイナリサーチのインスタンスを量子並列に実行することで、$\log_3 N + O(1)$ クエリを実現した。
• 主な革新点は、重ね合わせ状態の基底状態が知識を共有できるメカニズムを提供することである。具体的には、入力についてより多くの情報を得た状態が、他の状態にその知識を伝えることで、集団的学習を可能にする。
• 各クエリで、知識のビット数を約3倍に近づけるように、ユニタリ演算子 $\mathsf{U}^{(s)}$ と $\mathsf{V}^{(s)}$ を繰り返し適用する。
• この方法により、1イテレーションあたりのビット知識の拡大係数 $F = \frac{m'}{m} \geq 3 - O\left(\frac{\log m}{m}\right)$ を達成し、指数的知識獲得を実現した。

実験結果

リサーチクエスチョン

• RQ1 サイズ $N$ の順序付きリストを正確に探索するための最小クエリ数は何か？
• RQ2 重み付き全ペア内積の議論は、非対称な量子関数に対しても、より厳しい下界を導出できるか？
• RQ3 重ね合わせ状態に存在する状態同士の知識共有を活用することで、対数未満のクエリ複雑度を達成できる量子アルゴリズムを構築できるか？
• RQ4 この新アルゴリズムの性能は、$\approx 0.526\log_2 N$ クエリを要する既存の最良の量子アルゴリズムと比べてどうか？

主な発見

• 本稿は、正確な量子順序探索における新しい下界 $\frac{1}{\pi}(\ln N - 1)$ を確立し、以前の下界 $\frac{1}{12}\log_2 N - O(1)$ よりも改善した。
• 新しい下界は約 $0.221\log_2 N$ であり、古典的 $\lceil \log_2 N \rceil$ に対して定数倍の量子加速（1.9〜4.6倍）を示している。
• 正確な量子アルゴリズムを構築し、$\log_3 N + O(1)$ クエリ（およそ $0.631\log_2 N$）を実現した。これは古典的バイナリサーチより優れているが、最良の既存アルゴリズムほど効率的ではない。
• アルゴリズムは、複数のバイナリサーチのインスタンスを重ね合わせ状態で実行し、基底状態間の通信メカニズムにより知識を共有することで、その効率を達成した。
• 1クエリあたりの知識ビット数の増幅係数は3に近づき、拡大係数 $F \geq 3 - O\left(\frac{\log m}{m}\right)$ を達成した。
• 重み付き全ペア内積の議論は、非対称的および部分関数に対する量子クエリ複雑度の下界を証明する強力で汎用性の高いツールであることが示された。