[論文レビュー] Multidimensional Quantum Walks, with Application to $k$-Distinctness

Stacey Jeffery, Sebastian Zur|arXiv (Cornell University)|Aug 29, 2022

Quantum Computing Algorithms and Architecture被引用数 4

ひとこと要約

この論文は、電気ネットワークフレームワークを拡張することで、$k$-distinctnessの最良の既知のクエリ複雑度 $\widetilde{O}(n^{\frac{3}{4}-\frac{1}{4}\frac{1}{2^{k}-1}})$ と一致する時間計算量を達成する、新しい多次元量子ウォークフレームワークを導入する。これは10年間にわたり未解決のままであった問題を解決し、$k$-distinctnessに対して時間的に最適な量子アルゴリズムを構築するとともに、溶接された木構造問題において指数的加速を示した。

ABSTRACT

While the quantum query complexity of $k$-distinctness is known to be $O\left(n^{3/4-1/4(2^k-1)} ight)$ for any constant $k \geq 4$, the best previous upper bound on the time complexity was $\widetilde{O}\left(n^{1-1/k} ight)$. We give a new upper bound of $\widetilde{O}\left(n^{3/4-1/4(2^k-1)} ight)$ on the time complexity, matching the query complexity up to polylogarithmic factors. In order to achieve this upper bound, we give a new technique for designing quantum walk search algorithms, which is an extension of the electric network framework. We also show how to solve the welded trees problem in $O(n)$ queries and $O(n^2)$ time using this new technique, showing that the new quantum walk framework can achieve exponential speedups.

研究の動機と目的

• 10年間未解決のままであった、$k$-distinctness問題におけるクエリ複雑度と時間計算量のギャップを埋める。
• 従来のフレームワークが二次的加速に限られるのに対し、指数的加速を達成可能な新しい量子ウォークフレームワークを開発する。
• Belovsのクエリ複雑度上界を実現する、時間的に効率的な$k$-distinctness用の量子アルゴリズムを構築する。
• 溶接された木構造問題を$O(n)$回のクエリと$O(n^2)$の時間で解くことで、新フレームワークの強力さを実証する。

提案手法

• 電気ネットワークフレームワークの拡張として、より複雑で効率的な量子ウォーク構成を可能にする多次元量子ウォークフレームワークを提案する。
• 位相推定と構造的グラフ分解を用いて、時間と誤差を厳密に制御した複数次元における量子ウォークのシミュレーションを行う。
• 各レベル$\ell$が$k$-タプル候補の段階に対応する$k$層のレイヤードグラフ構造$G$を定義し、各レベル間の遷移写像を定義する。
• 誤差$\epsilon_{u,v} = O(n^{-\kappa})$（$\kappa > 2$）を制御する遷移サブルーチンを導入し、誤差の累積を無視できるほど小さく保証する。
• 定理3.10を適用して、重み付きウォークコスト$\mathcal{W}^T$と抵抗$\mathcal{R}^T$を用いて総時間計算量を評価し、$\widetilde{O}(n^{\frac{3}{4}-\frac{1}{4}\frac{1}{2^{k}-1}})$の時間計算量を達成する。
• クエリコストと時間コストのバランスを取るために、各レベルでのパラメータ$t_\ell$を最適化し、$t_\ell = n^{\frac{3}{4}-\frac{1}{4}\frac{1}{2^{k}-1}-\sum_{\ell'=2}^{\ell}\frac{2^{k-1-\ell'}}{2^{k}-1}}$とする。

実験結果

リサーチクエスチョン

• RQ1 $k$-distinctnessの時間計算量を、$O(n^{\frac{3}{4}-\frac{1}{4}\frac{1}{2^{k}-1}})$ という最良の既知のクエリ複雑度と一致させることは可能か？
• RQ2 従来のフレームワークが二次的加速に限られるのに対し、指数的加速を達成可能な量子ウォークフレームワークを設計することは可能か？
• RQ3 Belovsの二重敵対的アプローチに基づくクエリ境界を実現する、時間的に効率的な$k$-distinctness用の量子アルゴリズムを構築することは可能か？
• RQ4 新規の多次元量子ウォークフレームワークは、古典的に困難とされる問題（例：溶接された木構造問題）を効率的に解けるか？

主な発見

• $k$-distinctnessの時間計算量は、$\widetilde{O}(n^{\frac{3}{4}-\frac{1}{4}\frac{1}{2^{k}-1}})$ で抑えられ、多対数因子を除いて最良の既知のクエリ複雑度と一致する。
• 新規の多次元量子ウォークフレームワークは、溶接された木構造問題において指数的加速を達成し、$O(n)$回のクエリと$O(n^2)$の時間で解ける。
• このフレームワークは、電気ネットワークフレームワークを多次元・多段階のウォーク構造をサポートするように拡張することで、制御された誤差と抵抗を伴う構造を実現する。
• 各レベルが$k$-タプル候補生成の段階に対応するレイヤードグラフを構築し、合計時間を最小化するように最適化されたパラメータ$t_\ell$を用いる。
• 従来の量子ウォークモデルが有する二次的加速の壁を打ち破るために、複雑な依存関係を捉える非局所的かつ多次元的遷移を許容することで達成される。
• 構成は完全に構成的であり、効率的な状態準備と遷移サブルーチンを備えた明示的な量子回路を提供し、$k$-distinctnessの時間効率に関する長年の未解決問題を解決した。