[論文レビュー] Exact quantum query complexity of weight decision problems.

Xiaoyu He, Xiaoming Sun+2 more|arXiv (Cornell University)|Jan 17, 2018

Quantum Computing Algorithms and Architecture参考文献 32被引用数 3

ひとこと要約

この論文は、重み決定問題の正確な量子クエリ複雑度を特定する。具体的には、長さ $ n $ のバイナリ文字列のハミング重みが $ k $ か $ l $ かを区別する問題であり、これをチェビシェフ多項式に結びつけ、新しい量子パディング技術を導入することで、ほとんどの $ (k/n, l/n) $ の比と十分に大きな $ n $ に対して、上界と下界の差がたった1クエリ以内に収まることが示された。これにより、正確なクエリ複雑度がタイトに特徴付けられた。

ABSTRACT

The weight decision problem, which requires to determine the Hamming weight of a given binary string, is a natural and important problem, with applications in cryptanalysis, coding theory, fault-tolerant circuit design and so on. In particular, both Deutsch-Jozsa problem and Grover search problem can be interpreted as special cases of weight decision problems. In this work, we investigate the exact quantum query complexity of weight decision problems, where the quantum algorithm must always output the correct answer. More specifically we consider a partial Boolean function which distinguishes whether the Hamming weight of the length-$n$ input is $k$ or it is $l$. Our contribution includes both upper bounds and lower bounds for the precise number of queries. Furthermore, for most choices of $(\frac{k}{n},\frac{l}{n})$ and sufficiently large $n$, the gap between our upper and lower bounds is no more than one. To get the results, we first build the connection between Chebyshev polynomials and our problem, then determine all the boundary cases of $(\frac{k}{n},\frac{l}{n})$ with matching upper and lower bounds, and finally we generalize to other cases via a new \emph{quantum padding} technique. This quantum padding technique can be of independent interest in designing other quantum algorithms.

研究の動機と目的

• 長さ $ n $ のビット列におけるハミング重み $ k $ と $ l $ を区別する部分ブール関数の正確な量子クエリ複雑度を特定すること。
• 重み決定問題のクエリ複雑度について、既知の上界と下界のギャップを埋めること。
• 十分に大きな $ n $ に対して、ほとんどの $ (k/n, l/n) $ の比についてタイトな境界を確立すること。
• 境界ケースから一般の $ (k/n, l/n) $ の比へと一般化するための新しい量子パディング技術を導入し、適用すること。

提案手法

• 重み決定問題とチェビシェフ多項式の性質との間の数学的関係を確立すること。
• 上界と下界が正確に一致するすべての境界ケース $ (k/n, l/n) $ を特定し、それらを解くこと。
• 量子パディング技術を用いて、境界ケースの解を一般の $ (k/n, l/n) $ の比へと拡張すること。
• 常に正しい答えを返す正確な量子アルゴリズムを構築するために、量子アルゴリズム的手法を適用すること。
• スペクトル法とチェビシェフ多項式から導かれる多項式次数の境界を用いて、クエリ複雑度を分析すること。
• 直交多項式の漸近的挙動と問題の構造的解析を組み合わせることで、タイトな境界を証明すること。

実験結果

リサーチクエスチョン

• RQ1 ハミング重みが $ k $ か $ l $ かを、確実に特定するための、$ n $ ビット文字列に対して必要な正確な量子クエリ数は何か？
• RQ2 どの $ (k/n, l/n) $ の比に対して、既存の技術を用いて正確なクエリ複雑度を明確に特定できるか？
• RQ3 重み決定問題の上界と下界のギャップを最小限に抑えるか、埋めることは可能か？
• RQ4 境界ケースから任意の $ (k/n, l/n) $ の比へと正確なクエリ複雑度の結果を一般化するための一般化手法を開発できるか？
• RQ5 正確性とタイトな境界を達成するための、新しい量子アルゴリズム的技術として何が利用可能か？

主な発見

• ほとんどの $ (k/n, l/n) $ の比と十分に大きな $ n $ に対して、正確な量子クエリ複雑度の上界と下界の差は、たった1クエリ以内に収まる。
• 上界と下界が正確に一致する境界ケース $ (k/n, l/n) $ 全てについて、正確なクエリ複雑度が完全に特徴付けられている。
• 量子パディング技術により、境界ケースからの正確な結果が、任意の $ (k/n, l/n) $ の比へと一般化可能であり、タイトさが保たれている。
• チェビシェフ多項式と重み決定問題との関係は、クエリ境界を導出する強力な分析的枠組みを提供する。
• 研究結果から、ドイチュ＝ジョーズ法とグローバー探索問題は、より一般化された重み決定問題フレームワークの特殊ケースであることが示された。
• 本研究により、重み決定問題の正確な量子クエリ複雑度が、広範なパrameter領域においてタイトに境界づけられていることが確立された。