[論文レビュー] Dual Polynomials for Collision and Element Distinctness

Mark Bun, Justin Thaler|arXiv (Cornell University)|Mar 25, 2015

Complexity and Algorithms in Graphs参考文献 39被引用数 3

ひとこと要約

この論文は、コリジョン関数と要素一意性関数のタイトな近似次数下界を再証明するために、明示的な双対多項式を構築する。それぞれ $\tilde{\bigOmega}(n^{1/3})$ および $\tilde{\bigOmega}(n^{2/3})$ の下界を達成する。著者らは、チェビシェフ多項式と確率的制限を活用し、従来の非構成的対称化手法に代わる、構成的で情報損失のない代替手法を提供する。

ABSTRACT

The approximate degree of a Boolean function $f: \{-1, 1\}^n o \{-1, 1\}$ is the minimum degree of a real polynomial that approximates $f$ to within error $1/3$ in the $\ell_\infty$ norm. In an influential result, Aaronson and Shi (J. ACM 2004) proved tight $ ildeΩ(n^{1/3})$ and $ ildeΩ(n^{2/3})$ lower bounds on the approximate degree of the Collision and Element Distinctness functions, respectively. Their proof was non-constructive, using a sophisticated symmetrization argument and tools from approximation theory. More recently, several open problems in the study of approximate degree have been resolved via the construction of dual polynomials. These are explicit dual solutions to an appropriate linear program that captures the approximate degree of any function. We reprove Aaronson and Shi's results by constructing explicit dual polynomials for the Collision and Element Distinctness functions.

研究の動機と目的

• コリジョンおよび要素一意性関数の近似次数下界を、従来の非構成的対称化手法ではなく、構成的証明で再確認すること。
• 対称化に内在する情報損失を回避する明示的双対多項式法を導入することで、長年の近似次数複雑度に関する未解決問題を解決すること。
• 双対多項式技法の適用範囲を、量子クエリ複雑度および回路複雑度の基本的問題へ拡張すること。
• 双対多項式が、AC⁰に属する関数、特に要素一意性関数についてもタイトな下界を導けることを示し、AC⁰関数の中で最も良い既知の近似次数下界を達成すること。
• コリジョンおよび要素一意性関数に関する先行結果を統一・簡略化し、小範囲ケースでさえも成立する、一様で明示的な構成を提供すること。

提案手法

• 特定の極値的性質を持つ変換されたチェビシェフ多項式 $ A_d $ を用いて、$ p_S(x) = \mathbb{I}_{\operatorname{ED},S}(x) \cdot A_d(\mathsf{cross}_S(x)/r) $ と定義する。
• サイズ $ r = N^{1/3} $ の部分集合 $ S $ を用いた確率的制限により、問題を低次元の近似タスクに還元する。
• チェビシェフ多項式 $ T_d $ の性質、特にその振動挙動とノード分布を活用し、特定の点で値が制御された $ A_d $ を設計する。
• $ r $ 個の要素を持つすべての $ S $ について平均を取ることで、$ p(x) = \mathbb{E}_{|S|=r}[p_S(x)] $ を定義し、結果として得られる多項式の次数が $ O(N^{1/3} \log R) $ となるようにする。
• 集中不等式を用いて、$ k = c i^2 + 1 $ 個の衝突を持つ入力に対して、$ S $ の確率的選択において $ p(x) $ が高確率で高い誤差を示すことを示す。
• $ \mathbb{I}_{\operatorname{ED},S}(x) = 1 $ ならば、2対1入力では $ \mathsf{cross}_S(x) = r $、$ k $ 対1入力では $ \approx c i^2 r $ となることを利用して、誤差のピークを $ A_d $ の極値点と一致させる。

実験結果

リサーチクエスチョン

• RQ1 コリジョンおよび要素一意性関数のタイトな近似次数下界を証明する明示的双対多項式を構築することは可能か？
• RQ2 双対多項式法は、アーロンソンとシの元々の証明で用いられた対称化手法に対する、構成的で情報損失のない代替手段を提供するか？
• RQ3 双対多項式アプローチは、コリジョン問題の小範囲ケースへも拡張可能か？
• RQ4 コリジョン関数の $ \tilde{\Omega}(n^{1/3}) $ 下界を証明する双対多項式の次数は何か？
• RQ5 確率的制限とチェビシェフに基づく構成は、平均化された多項式の最大誤差点を特定するのをどのように支援するか？

主な発見

• 著者らは、コリジョン関数の $ \tilde{\Omega}(n^{1/3}) $ 近似次数下界を証明する明示的双対多項式 $ p $ を、次数 $ O(N^{1/3} \log R) $ で構築した。
• 1対1入力では双対多項式 $ p(x) $ は 1 に評価され、2対1入力では最大で $ -2/3 $ に評価され、定数誤差ギャップが確立された。
• この構成により誤差 $ \varepsilon \leq 1/3 $ が達成され、コリジョンの近似次数が $ \tilde{\Omega}(n^{1/3}) $ であることが確認され、既知の上界と一致した。
• この手法は小範囲ケースへ一般化可能であり、$ R $ が $ N $ よりも線形未満であっても双対多項式が得られ、先行研究を拡張した。
• 要素一意性関数に対しては、双対多項式構成により $ \tilde{\Omega}(n^{2/3}) $ の下界が得られ、タイトな上界と一致し、AC⁰関数の中で最も良い既知の近似次数下界であることが確認された。
• 解析により、$ k = c i^2 + 1 $ 個の衝突を持つ入力は、$ S $ の確率的選択において高確率でほぼ最大誤差を示すことが判明し、チェビシェフ多項式の極値的挙動と整合した。