[論文レビュー] A Pseudorandom Generator for Polynomial Threshold Functions of Gaussian with Subpolynomial Seed Length

Daniel M. Kane|arXiv (Cornell University)|Oct 4, 2012

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

ひとこと要約

本稿では、ガウス分布上の次数-$d$多項式しきい値関数（PTF）のための擬似乱数生成機（PRG）を提示する。任意の固定された $d$ および $
> 0$ に対して、$O_{c,d}(\log n \cdot \epsilon^{-c})$ の部分多項式的種子長を達成する。この生成機は、徐々に小さくなる重みをもつ $k$-様に独立なガウス設計の重み付き和として構成され、小さな摂動における多項式期待値の滑らかさを活用して、高精度で PTF をだます。

ABSTRACT

We develop a pseudorandom generator that fools degree-$d$ polynomial threshold functions in $n$ variables with respect to the Gaussian distribution and has seed length $O_{c,d}(\log(n) ε^{-c})$.

研究の動機と目的

• $n$ 次元ガウス分布上での次数-$d$多項式しきい値関数（PTF）を誤差 $\epsilon$ 以内でだます明示的擬似乱数生成機の構築。
• 種子長を $\epsilon^{-1}$ に対して部分多項式的とし、従来の $\epsilon^{-1}$ に対して多項式的であった境界を改善すること。
• $k$-様に独立性の限界を克服すること。$k = \Omega(d^2 \epsilon^{-2})$ のとき、PTF をだますことができない。
• 任意の $d$ および $n$ に対して動作する生成機の構築。明示的構成と誤差境界の定量的評価を含む。
• $c > 0$ に対して、種子長 $O_{c,d}(\log n \cdot \epsilon^{-c})$ を達成し、従来の指数的または多項式的依存関係と比べて顕著な改善を示すこと。

提案手法

• 種子長が小さい $\ell$ 個の独立な $k$-様に独立なガウス設計の重み付き和として生成機を構成：$Y = \frac{\sum_{i=1}^{\ell} \sqrt{1-\delta^2}^{i-1} Y_i}{\sqrt{\sum_{i=1}^{\ell} (1-\delta^2)^i}}$、ここで $\delta = \epsilon^{1/3}$。
• 次数 $d$ の多項式 $p$ に対して、期待値 $\mathbb{E}[\mathrm{sgn}(p(X))]$ が $X$ の小さな摂動に対して安定であるという事実を用いる。特に $p$ がほぼ線形のとき顕著。
• 摂動の議論を適用：$\epsilon Y + \sqrt{1 - \epsilon^2} X$ は分布的に真のガウス分布 $X$ を $O_{d,k}(\epsilon^k)$ の誤差で近似する。
• 反復的精錬を用いる：鎖の最終段階の $X$ を $k$-様に独立な変数の重み付き和に置き換えることで、真のガウス分布への依存度を低減する。
• ガウス＝アーベルの四角形法を用いて、小さなサポートを持つ明示的 $k$-様に独立な分布を構築し、低種子長を実現する。
• モーメント近似を用いる：$\mathbb{E}[f(\epsilon Y + \sqrt{1 - \epsilon^2} X)]$ が $p$ の係数に関する多項式でよく近似できることを示し、$k$-様に独立性によって誤差を制御可能とする。

実験結果

リサーチクエスチョン

• RQ1 次数-$d$ PTF をガウス分布上で $O_{c,d}(\log n \cdot \epsilon^{-c})$ の部分多項式的種子長を有する擬似乱数生成機が誤差 $\epsilon$ 以内でだますことができるか？
• RQ2 $k$-様に独立性の限界を、非一様な重みと反復的合成を用いて克服できるか？
• RQ3 ガウス入力下での次数-$d$多項式の符号の期待値を、低次のモーメントマッチングのみで近似可能か？
• RQ4 種子長に $\epsilon^{-2^{O(d)}}$ または同様の指数的項が現れない生成機を構築可能か？
• RQ5 $n$ 次元ガウス分布上での $d$ 次 PTF を $\epsilon$-だますために必要な最小種子長は何か？

主な発見

• 本稿では、$n$ 次元ガウス分布上での次数-$d$ PTF に対して、任意の $c > 0$ に対して種子長 $O_{c,d}(\log n \cdot \epsilon^{-c})$ を達成する明示的擬似乱数生成機を構築した。
• 生成機は、任意の次数-$d$ PTF の期待値を $O_{d,k}(\epsilon^k)$ の誤差でだすことができ、$k$-様に独立性が構成に用いられている。
• $\delta = \epsilon^{1/3}$ として $\ell = \delta^{-2} \log(\epsilon^{-k(2d+1)})$ を設定することで、最終的なガウス項の誤差は $O_{d,k}((1 - \delta^2)^{\ell / (2d+1)})$ に低減される。
• 最終的な生成機は $\ell$ 個の独立な $10d(3k+3)$-設計から構成され、それぞれの種子長は $O_{d,k}(\log(n/\epsilon))$ で構築可能であり、合計種子長は $O_{d,k}(\log n \cdot \epsilon^{-1})$ となる。
• この結果から、任意の $c > 0$ に対して、種子長 $O_{c,d}(\log n \cdot \epsilon^{-c})$ の生成機が、すべての次数-$d$ PTF を $\epsilon$-だますことができると示された。
• 主な技術的洞察は、$\mathrm{sgn}(p(X))$ の期待値が $p$ の係数に対して滑らかに依存することであり、これにより生成機の出力に関する低次の多項式による近似が可能となる。