[論文レビュー] A Direct Reduction from the Polynomial to the Adversary Method

Aleksandrs Belovs|arXiv (Cornell University)|Apr 23, 2012

graph theory and CDMA systems参考文献 13被引用数 10

ひとこと要約

本稿は、負重み adversary 法を用いて、要素の相異なる問題に対する明示的な最適 adversary 行列を構築し、アルファベットサイズ q = Ω(n²) のとき、Ω(n^{2/3}) の下界を達成する。この手法は、スペクトル射影と関連スキームを用いて行列をより大きな構造へ埋め込み、不正な行と列を削除した後も、ノルムが still Ω(n^{2/3}) であることを証明する。これにより、多項式法の下界と adversary 法の下界を直接的に結びつける構成的還元が可能となる。

ABSTRACT

In this note we construct an explicit optimal (negative-weight) adversary matrix for the element distinctness problem, given that the size of the alphabet is sufficiently large.

研究の動機と目的

• 量子クエリ複雑性下界における多項式法と adversary 法の間のギャップを埋める。
• 要素の相異なる問題における多項式法の下界を adversary 法へ直接的かつ構成的還元する。
• 負重み adversary 法が間接的還元に依存せずに、タイトな下界を達成できることを示す。
• 他の関数について adversary 下界を証明するための枠組みを構築し、明示的かつ最適な行列を構成する。

提案手法

• 各ペア {a,b} ⊂[n] に対して、位置 a,b に一意の衝突を持つ入力に対応するブロック Ga,b を積み重ねることで、行列 Γ′ を構築する。
• [q]^n 上のハミング関連スキームを用い、重み k の固有空間へ射影する E(n)_k を用いて、行列構造を定義する。
• 位置 a,b における演算子 F0 と F1 を定義し、F0 は一様性を、F1 は値の不一致をモデル化する。
• G1,2 を ∑αk F ⊗ E(n−2)_k の線形結合として表現し、スペクトルノルムと ∆i の相互作用を制御する。
• Γ′ に要素ごとのハダマード積による変換 ∆1 を適用し、E0, E1, F0, F1 における作用を分析して ∥Γ′ ◦∆1∥ を評価する。
• 補題 3 を用いて、切り詰めた E(k)_1 行列の要素の和が非負であることを示し、不正な行・列を削除した後もノルムが保存されることを保証する。

実験結果

リサーチクエスチョン

• RQ1 量子クエリ下界における多項式法から adversary 法への直接的還元を構築できるか？
• RQ2 アルファベットサイズが大きい場合に、要素の相異なる問題で最適な Ω(n^{2/3}) 下界を達成する明示的な adversary 行列は何か？
• RQ3 adversary 法において、不正な行・列の削除後に構造的行列のスペクトルノルムをどのように保てるか？
• RQ4 負重み adversary 法を構成的かつ実用的なものとし、単純なケースを超えた明示的関数に対しても適用可能か？

主な発見

• アルファベットサイズ q = Ω(n²) の要素の相異なる問題に対して、明示的な adversary 行列が構築され、Ω(n^{2/3}) の下界が達成された。
• adversary 行列 ∥Γ∥ のスペクトルノルムは Ω(n^{2/3}) であり、既知の量子クエリ複雑性下界と一致する。
• 不正な行・列を削除した後も、ノルム ∥Γ′∥ が still Ω(n^{2/3}) であることは、切り詰めた E(k)_1 行列の寄与が非負であるため保証される。
• 構成は、係数 αk を選んで Fℓ ⊗ E(n−2)_k の線形結合として行われ、∥Γ′∥ と ∥Γ′ ◦∆i∥ の最適なトレードオフを達成する。
• 多項式法の証明の最初の2ステップを1つの adversary 行列に直接統合することで、間接的還元を回避した。
• 削減された行列 eG1,2 の要素の和は定数倍の範囲で保存され、ノルムが著しく低下しないことが保証された。