[論文レビュー] Pseudorandomness via the discrete Fourier transform

Parikshit Gopalan, Daniel M. Kane+1 more|arXiv (Cornell University)|Jun 14, 2015

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

ひとこと要約

本稿では、近似的に対数的であるシード長 $ O(\text{polyloglog}(n/\varepsilon) \times \log(n/\varepsilon)) $ を用いて、フーリエ形状—有界な複素数値関数の積として定義される関数—を欺く、新たな擬似乱数生成子（PRG）を提示する。この構成は、離散フーリエ解析と新しい解析的枠組みを活用することで、半空間、モジュラー試験、一般ドメイン上の組合せ形状を含むクラスに対して、これまでの研究を統合・改善し、シード長がほぼ最適である初めての非条件的PRGを達成した。

ABSTRACT

We present a new approach to constructing unconditional pseudorandom generators against classes of functions that involve computing a linear function of the inputs. We give an explicit construction of a pseudorandom generator that fools the discrete Fourier transforms of linear functions with seed-length that is nearly logarithmic (up to polyloglog factors) in the input size and the desired error parameter. Our result gives a single pseudorandom generator that fools several important classes of tests computable in logspace that have been considered in the literature, including halfspaces (over general domains), modular tests and combinatorial shapes. For all these classes, our generator is the first that achieves near logarithmic seed-length in both the input length and the error parameter. Getting such a seed-length is a natural challenge in its own right, which needs to be overcome in order to derandomize RL - a central question in complexity theory. Our construction combines ideas from a large body of prior work, ranging from a classical construction of [NN93] to the recent gradually increasing independence paradigm of [KMN11, CRSW13, GMRTV12], while also introducing some novel analytic machinery which might find other applications.

研究の動機と目的

• 入力の線形結合を含む関数クラスに対して、近似的に最適なシード長を有する非条件的擬似乱数生成子を構築すること。
• 離散フーリエ変換に基づく単一の枠組みにおいて、半空間、モジュラー試験、組合せ形状の解析を統合・一般化すること。
• ローカルスペースの確率的帰納法において長年の障壁であった $ O(\text{log}^2 n) $ シード長を克服し、特に $ \mathsf{RL} = \mathsf{L} $ の解決に向け進展させること。
• 擬似乱数性の分野を越えて、複雑性理論や確率論の他の問題へ応用可能な、新たな解析的道具立てを開発すること。

提案手法

• 著者らは、$ f_j: [m] \to \mathbb{C}_1 $ を満たす関数 $ f(x_1,\dots,x_n) = \prod_{j=1}^n f_j(x_j) $ として定義されるフーリエ形状を導入し、半空間やモジュラー試験などのクラスを一般化する。
• このような関数を欺く問題を、一様分布と擬似乱数分布のフーリエ変換間の $ L^1 $-距離を制御することに還元する。
• コア技術は、段階的独立性パラダイムと、有界モーメントおよびフーリエ集中に基づく新しい解析的枠組みを組み合わせることである。
• 線形関数 $ w(x) = \sum w_j x_j $ を $ \phi_\alpha(w(x)) = \exp(2\pi i \alpha w(x)) $ として表現し、これは自身がフーリエ形状である。
• 生成子は、古典的構成（例：[NN93]）と最近の独立性に基づくPRGフレームワーク（例：[KMN11, CRSW13, GMR+12]）のハイブリッドによって構築される。
• 主な革新点は、統計的距離を制御するためのフーリエ変換への有界モーメント条件の使用であり、これにより近似的に対数的シード長が達成可能になった。

実験結果

リサーチクエスチョン

• RQ1 半空間やモジュラー試験を含む、複数の自然なローカルスペース計算可能関数クラスを、近似的に対数的シード長で欺く、単一の擬似乱数生成子を構築可能か？
• RQ2 組合せ形状やモジュラー試験といった多様な関数クラスの解析を、離散フーリエ変換に基づく共通の枠組みで統合可能か？
• RQ3 離散フーリエ変換を用いて、$ O(\log(n/\varepsilon)) $ に近い最適なシード長を達成するPRGを構築可能か？
• RQ4 有界モーメントを有する積分布のフーリエ変換を制御するための、新たな解析的道具立ては何か？これにより、近似的に最適な擬似乱数性が実現可能か？
• RQ5 この枠組みは、$ \mathsf{RL} $ の確率的帰納法に拡張可能か？それにより、中心的な未解決問題 $ \mathsf{RL} = \mathsf{L} $ が解決可能か？

主な発見

• 本稿では、$ O(\text{polyloglog}(n/\varepsilon) \cdot \log(n/\varepsilon)) $ のシード長を有する明示的擬似乱数生成子を構築し、すべての $ (m,n) $-フーリエ形状を欺くことに成功した。これは、$ n $ および $ \varepsilon $ に対してほぼ対数的依存を達成した。
• この生成子は、一般ドメイン上での半空間、モジュラー試験、組合せ形状を含む複数のクラスに対して、このようなシード長を達成した最初のものである。
• この結果により、ガウス分布下での半空間に対するPRGが、$ O(\log(n/\varepsilon) \cdot (\log\log(n/\varepsilon))^2) $ のシード長で構築可能であり、$ \log\log $ 要素を除いて、これまでに得られた最良の結果にほぼ一致する。
• この枠組みにより、$ O(\log(mn/\varepsilon) \cdot (\log\log(mn/\varepsilon))^2) $ のシード長を有するチェルノフ不等式の確率的帰納法が可能となり、従来の境界を改善した。
• 有界モーメントとフーリエ集中に基づく、新たな解析的技術が構築され、擬似乱数性や確率論の分野における広範な応用が期待される。
• 本研究は、半空間、モジュラー試験、組合せ形状を欺く既存の結果を統一的に捉え、1つの汎用的生成子によって改善する枠組みを提供した。