[論文レビュー] A note on quantum algorithms and the minimal degree of epsilon-error polynomials for symmetric functions

Ronald de Wolf|ArXiv.org|Feb 13, 2008

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

ひとこと要約

この論文は、量子アルゴリズムを活用することで、対称ブール関数に対するε誤差多項式の最小次数のより鋭い特徴付けを提供する。Groverのアルゴリズムと対称化技術を用いた量子クエリに基づく構成により、隠れた対数要因を含まずに、degε(f) = Θ(deg₁/₃(f) + √(n log(1/ε))) が成立することを証明する。

ABSTRACT

The degrees of polynomials representing or approximating Boolean functions are a prominent tool in various branches of complexity theory. Sherstov recently characterized the minimal degree deg_{\eps}(f) among all polynomials (over the reals) that approximate a symmetric function f:{0,1}^n-->{0,1} up to worst-case error \eps: deg_{\eps}(f) = ~Θ(deg_{1/3}(f) + \sqrt{n\log(1/\eps)}). In this note we show how a tighter version (without the log-factors hidden in the ~Θ-notation), can be derived quite easily using the close connection between polynomials and quantum algorithms.

研究の動機と目的

• Sherstovの[She08a]の結果、ε誤差多項式次数に関するΩ̃(deg₁/₃(f) + √(n log(1/ε)))の下界から、隠れた対数要因を除去することで、対称関数に対するより鋭い境界を得ること。
• すべてのε ∈ [2⁻ⁿ, 1/3]および非定数対称fに対して、degε(f)のタイトなΘ境界を確立すること。
• 量子クエリアルゴリズムが、対称関数の最適な多項式近似を構築するために用いられることを示すこと。
• 対称関数にとどまらず、ハミング重みが{t, ..., n−t}にある入力で定数となる任意の関数へと結果を拡張し、degε(f) = O(√(tn) + √(n log(1/ε))) を示すこと。

提案手法

• 量子クエリアルゴリズムと多変数線形多項式の既知の対応関係を利用：Tクエリの量子アルゴリズムは、次数が2T以下である多項式を計算する。
• ハミング重みの推定と、|x| < t、|x| ∈ {t, ..., n−t}、|x| > n−t であるかを特定する4段階の量子アルゴリズムを構築。
• 正確なGrover探索（O(√(tn))クエリ）を用いて、|x| ≤ t の場合に最大t個の解（1）を検出。また、ε/2誤差のGrover探索（O(√(n log(1/ε)))クエリ）を用いて、追加の解を検出。
• 0の数に対しても同様の論理を適用し、|x| > n−t であるかを確認することで、極端な場合にxの完全な知識を得る。
• 対称化を用いて、n変数多項式の解析をハミング重みに関する1変数多項式の解析に簡略化する。
• Paturiのdeg₁/₃(f) = Θ(√(tn))のタイトな境界と、OR関数の既知の正確な次数：degε(ORₙ) = Θ(√(n log(1/ε))) を組み合わせる。

実験結果

リサーチクエスチョン

• RQ1 SherstovのΩ̃(deg₁/₃(f) + √(n log(1/ε)))の下界における隠れた対数要因を除去し、タイトなΘ境界を得られるか？
• RQ2 量子クエリアルゴリズムは、対称関数の最適な多項式近似を構築するためにどの程度利用可能か？
• RQ3 degε(f) = Θ(deg₁/₃(f) + √(n log(1/ε))) の境界は、{t, ..., n−t}のハミング重みで定数となる非対称関数へと拡張可能か？
• RQ4 εが指数的以下に小さい場合、対称関数に対するε誤差多項式近似の最小次数は何か？
• RQ5 関数の構造（例：{t, ..., n−t}で定数であること）は、ε近似多項式の最小次数にどのような影響を与えるか？

主な発見

• 本論文は、すべての非定数対称fおよびε ∈ [2⁻ⁿ, 1/3]に対して、タイトなΘ境界を確立：degε(f) = Θ(deg₁/₃(f) + √(n log(1/ε))) であり、先行研究から隠れた対数要因を除去した。
• 上界は、O(√(tn) + √(n log(1/ε)))クエリを用いた量子アルゴリズムによって達成され、tはfが{t, ..., n−t}のハミング重みを持つ入力で定数となる最小の値である。
• アルゴリズムは、1と0の両方のGrover探索（正確およびε/2誤差）を組み合わせることで、|x| < t または |x| > n−t の場合にxの完全な知識を得られ、誤差確率がε以下となるようにfを計算する。
• 下界は、t < n/4 の場合にOR関数をfに埋め込むことで導出され、既知の正確な次数 degε(ORₙ) = Θ(√(n log(1/ε))) を利用する。
• この結果は、{t, ..., n−t}で定数となる非対称関数へと拡張可能であり、このような関数に対して degε(f) = O(√(tn) + √(n log(1/ε))) が成り立つ。
• 本構成は、Cheビシェフ多項式を用いたSherstovとは異なり、量子アルゴリズムを介したε近似多項式の明示的構築法を提供する。