[論文レビュー] Quantum Oracle Classification - The Case of Group Structure

Mark Zhandry|arXiv (Cornell University)|Oct 28, 2015

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

ひとこと要約

この論文は、関数出力がアーベル群に属する群構造をもつオラクルを含む広範な問題クラスについて、量子クエリ複雑性を完全に特徴づけている。成功確率が正確にカウント問題の解法に依存することを確立し、パリティ、オラクル評価、多項式補間の結果を統一的に扱い、これらの設定における量子クエリ複雑性のタイトな境界を示している。

ABSTRACT

The Quantum Oracle Classification (QOC) problem is to classify a function, given only quantum black box access, into one of several classes without necessarily determining the entire function. Generally, QOC captures a very wide range of problems in quantum query complexity. However, relatively little is known about many of these problems. In this work, we analyze the a subclass of the QOC problems where there is a group structure. That is, suppose the range of the unknown function A is a commutative group G, which induces a commutative group law over the entire function space. Then we consider the case where A is drawn uniformly at random from some subgroup A of the function space. Moreover, there is a homomorpism f on A, and the goal is to determine f(A). This class of problems is very general, and covers several interesting cases, such as oracle evaluation; polynomial interpolation, evaluation, and extrapolation; and parity. These problems are important in the study of message authentication codes in the quantum setting, and may have other applications. We exactly characterize the quantum query complexity of every instance of QOC with group structure in terms of a particular counting problem. That is, we provide an algorithm for this general class of problems whose success probability is determined by the solution to the counting problem, and prove its exact optimality. Unfortunately, solving this counting problem in general is a non-trivial task, and we resort to analyzing special cases. Our bounds unify some existing results, such as the existing oracle evaluation and parity bounds. In the case of polynomial interpolation and evaluation, our bounds give new results for secret sharing and information theoretic message authentication codes in the quantum setting.

研究の動機と目的

• オラクルがアーベル群に倣って値を出力する問題における量子クエリ複雑性を理解すること。
• オラクル評価、パリティ、多項式補間といった既知の結果を、一つの枠組みで統一・一般化すること。
• 群構造上のカウント問題に帰着させることで、正確な量子クエリ複雑性の境界を確立すること。
• 秘密分散やメッセージ認証コードといった設定における量子優位性の限界を分析すること。
• 多項式外挿やクエリ数が限られた補間といった具体的なインスタンスについて、タイトな上界および下界を提供すること。

提案手法

• 関数空間を点ごとの加法に関して群としてモデル化し、終域を有限アーベル群 G とする。
• オラクル A が関数空間の部分群 A から一様にランダムに選ばれ、A 上のホモモルフィズム f に対して f(A) を計算することが目的である。
• 量子アルゴリズムの成功確率を、有限体上の一次方程式系の解に対するカウント問題に還元する。
• 線形代数、有限体上の性質、バーデルンデ行列の性質を用いてホモモルフィズムの出力の相異なる値の数を分析する。
• 双対性および対称性の議論を用いて、出力の相異なる z 値の数が量子アルゴリズムの成功確率に一致することを示す。
• 明示的なオラクル構成を提示することで、下界がタイトであることを構成的に示す。

実験結果

リサーチクエスチョン

• RQ1 関数空間の部分群 A から一様にランダムに選ばれた関数 A に対して、アーベル群 G に倣う関数 A に対してホモモルフィズム f を計算する際の、正確な量子クエリ複雑性は何か？
• RQ2 量子クエリ複雑性は、群 G の構造およびホモモルフィズム f にどのように依存するか？
• RQ3 パリティ、オラクル評価、多項式補間といった問題における量子アルゴリズムの成功確率は、有限体上のカウント問題として正確に特徴づけられるか？
• RQ4 Z2 上のパリティにおける量子スピードアップ（2倍）は、非二値群へ一般化可能か？また、群のサイズに応じてどのように変化するか？
• RQ5 クエリ数が限られ、多項式の次数がクエリ数を上回る場合、多項式外挿および補間のタイトな境界は何か？

主な発見

• 群構造をもつ QOC 問題における任意の量子アルゴリズムの成功確率は、有限体上のカウント問題の相異なる解の数によって正確に決定され、これが特徴づけの核心である。
• 多項式外挿の d = 2q - 1 の場合、最大成功確率は (|F| - 1)/q 未満であり、q が |F| - 1 を割り切るとき、この境界はタイトである。
• d < 2q - 1 の場合、多項式は高い確率で補間可能であり、成功確率は 1 - ((d/2 + 1)! + d + 1)/|F| 以上に達する。
• Z2 上のパリティにおける量子クエリ複雑性は、完全な成功確率を得るためには正確に ⌈|X|/2⌉ クエリを要し、これは最適である。
• N 個の出力をもつオラクル評価では、N が定数のとき成功確率は k の定数倍に抑えられるが、N ≫ k のときには O(k/N) に低下し、この領域では量子優位性が限定的であることが示された。
• これらの結果は、オラクル評価、パリティ、多項式補間の既存の境界を統一・一般化し、それらがすべて同一のカウント問題の特殊ケースであることを示している。