[論文レビュー] Comparing EQP and MOD_{p^k}P using Polynomial Degree Lower Bounds

Mart de Graaf, Paul Valiant|ArXiv.org|Nov 27, 2002

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

ひとこと要約

この論文は、Z_{p^k} 上の関数の多項式次数を分析することで、量子計算複雑度クラス EQP と古典的カウントクラス MOD_{p^k}P の相対的分離を確立する。m = p^k が素数べきのとき、重み n/4 で非ゼロで、重み 3n/4 でゼロとなる関数を表す多項式の次数に線形下界が示され、EQP が特定のオракルに関して MOD_{p^k}P に含まれないことが示される。平方因子を持たない合成数 m で最大素因数が p である場合、次数に O(n^{1/log_p m}) の上界が示され、素数べきから合成数に移行する際の次数の著しい低下が明らかになる。

ABSTRACT

We show that an oracle A that contains either 1/4 or 3/4 of all strings of length n can be used to separate EQP from the counting classes MOD_{p^k}P. Our proof makes use of the degree of a representing polynomial over the finite field of size p^k. We show a linear lower bound on the degree of this polynomial. We also show an upper bound of O(n^{1/log_p m}) on the degree over the ring of integers modulo m, whenever m is a squarefree composite with largest prime factor p.

研究の動機と目的

• オラクル分離を用いて、量子計算複雑度クラス EQP と古典的カウントクラス MOD_{p^k}P の関係を調査すること。
• ハミング重み n/4 で 1、3n/4 で 0 となるブール関数を表す Z_{m} 上の多項式の最小次数を特定すること。
• m が素数べきから合成数に移行する際、そのような多項式の次数が著しく低下するかどうかを同定すること。
• 多項式表現の次数の境界を用いて、EQP と MOD_{p^k}P の相対的分離を確立すること。

提案手法

• f(x) = 1 if |x| = n/4 かつ f(x) = 0 if |x| = 3n/4 を表す多項式 q: Z_m^n → Z_m の次数を用いる。
• Lucas の定理と中国剰余定理を用いて、素数べきおよび合成数における二項係数の法を分析する。
• m = p^k が素数べきのとき、m^b と 3m^b の二進表現の性質を用いて、そのような多項式の次数に線形下界を確立する。
• 最大素因数が p である平方因子を持たない合成数 m に対して、am + c と 3am + 3c の二進表現における最初の異なるビットを分析し、次数 O(n^{1/log_p m}) の多項式を構成する。
• n/4 ≡ 0 mod m かどうかに基づくケース分析を行い、それぞれのケースで異なる多項式構成を適用する。
• 多項式の次数が EQP 内の量子アルゴリズムのクエリ複雑度に対応することを活用し、オラクル分離を可能にする。

実験結果

リサーチクエスチョン

• RQ1 多項式次数の分析を用いて、オラクルに関して EQP と MOD_{p^k}P を分離できるか？
• RQ2 Z_{p^k} 上で、重み n/4 で 1、3n/4 で 0 となる関数を表す多項式の最小次数は何か？
• RQ3 m が平方因子を持たない合成数である場合、そのような多項式の次数は素数べきの場合と比べて著しく低下するか？
• RQ4 平方因子を持たない合成数 m に対して、次数の上界 O(n^{1/log_p m}) はタイトか？

主な発見

• m = p^k が素数べきのとき、f(x) = 1 if |x| = n/4 かつ f(x) = 0 if |x| = 3n/4 を表す Z_{p^k} 上の任意の多項式の次数に Ω(n) の線形下界が示された。
• 最大素因数が p である平方因子を持たない合成数 m に対して、そのような多項式の次数に O(n^{1/log_p m}) の上界が確立された。
• 素数べきでは n に関して線形の次数から、平方因子を持たない合成数では n に関して多項式より小さい次数にまで低下するため、表現複雑度に顕著な構造的差が生じる。
• この次数のギャップにより、相対的分離が示される：オラクルが各長さの全文字列の 1/4 または 3/4 を含む場合、EQP は MOD_{p^k}P に含まれない。
• n/4 ≢ 0 mod m かつ m が平方因子を持たない場合、f(x) = 1 at weight n/4 かつ f(x) = 0 at weight 3n/4 は、Z_m 上で定数次数の多項式で表現可能であり、その次数は剰余類に依存する。
• この結果は、Z_m 上でのブール関数の表現が、m が素数べきから合成数に移行する際、次数複雑度に急激な遷移を示すことを示している。