[論文レビュー] Exponential Lower Bound for 2-Query Locally Decodable Codes

Iordanis Kerenidis, Ronald de Wolf|arXiv (Cornell University)|Jan 1, 2002

Quantum Computing Algorithms and Architecture被引用数 4

ひとこと要約

この論文は、2クエリの局所的に可読な符号が1量子クエリのみで復号可能であることを示し、1クエリの局所的に量子復号可能な符号に対して指数的下界を証明することで、2クエリの局所的に可読な符号の長さに対する指数的下界を確立する。また、それらの古典的同等物よりも短いqクエリの局所的に量子復号可能な符号を構築し、プライベート情報検索システムのための新たな下界を導出する。

ABSTRACT

We prove exponential lower bounds on the length of 2-query locally decodable codes. Goldreich et al. recently proved such bounds for the special case of linear locally decodable codes. Our proof shows that a 2-query locally decodable code can be decoded with only 1 quantum query, and then proves an exponential lower bound for such 1-query locally quantum-decodable codes. We also exhibit q-query locally quantum-decodable codes that are much shorter than the best known q-query classical codes. Finally, we give some new lower bounds for (not necessarily linear) private information retrieval systems.

研究の動機と目的

• 線形符号に限定されていた既存の結果を超えて、2クエリの局所的に可読な符号の長さに対する指数的下界を確立すること。
• 2クエリの局所的に可読な符号が、唯一1量子クエリで復号可能であることを示し、古典的および量子復号モデルの橋渡しをすること。
• 既存の古典的qクエリ符号よりも著しく短いqクエリの局所的に量子復号可能な符号を構築すること。
• 量子復号の知見を活用して、(非線形の)プライベート情報検索システムのための新たな下界を導出すること。

提案手法

• 量子クエリ複雑度の性質を活用して、2クエリの局所的に可読な符号の問題を1クエリの局所的に量子復号可能な符号の問題に還元する。
• 既知の量子クエリ複雑度の下界を適用し、1クエリの局所的に量子復号可能な符号に対する指数的下界を確立する。
• 量子状態の準備と測定を用いて、古典的復号を量子リソースでシミュレートし、量子復号が指数的に小さいクエリ複雑度で実現可能であることを示す。
• qクエリの局所的に量子復号可能な符号の明示的族を構築し、それらが古典的同等物よりも短い長さを達成することを示す。
• 量子復号フレームワークを適用して、量子復号可能な符号構造と関連付けることで、プライベート情報検索システムのための新たな下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 2クエリの局所的に可読な符号を、量子復号モデルによって特徴づけ、より強い下界を導出可能か？
• RQ2 1クエリの局所的に量子復号可能な符号の最小長は何か？ また、このような符号に対して指数的下界を証明可能か？
• RQ3 qクエリの局所的に量子復号可能な符号の長さは、古典的qクエリ符号の長さと比べてどの程度か？
• RQ4 量子復号の知見を活用して、プライベート情報検索システムのための新たな下界を導出可能か？
• RQ5 線形および非線形の局所的に可読な符号の間には、量子復号の文脈でどのような関係があるか？

主な発見

• 線形符号に限定されない範囲にまで拡張された、2クエリの局所的に可読な符号の長さに対する指数的下界が確立された。
• 2クエリの局所的に可読な符号が、唯一1量子クエリで復号可能であることが示され、クエリ複雑度において量子的優位性が実証された。
• 1クエリの局所的に量子復号可能な符号に対する指数的下界が証明され、その還元により2クエリの古典的符号に対しても同様の下界が成立することが示された。
• 既存の最良の古典的qクエリ符号よりも著しく短いqクエリの局所的に量子復号可能な符号が構築された。
• 量子復号可能な符号の枠組みを用いて、(非線形の)プライベート情報検索システムのための新たな下界が導出された。