多数決関数と低次数多項式の相関に指数的上界

この論文をやさしく読む

ひとことで言うと

多数決を組み合わせた関数と低次数の多項式がどれほど似られるかに、指数的な上限を証明します。

何に役立つ？

低次数多項式や特定の回路に対する擬似乱数生成器の理論的構成につながります。

この研究の面白いところ

相関の上限が、ブロック数kに応じて(2d/√ℓ)のk乗という形で与えられます。

どこまで分かった？

上界は互いに重ならないℓビットのブロック上の多数決の排他的論理和と、F₂上の次数dの多項式を対象とします。一般の関数や回路全体への主張ではありません。

v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。

アブストラクトの日本語訳

互いに重ならない、各ℓビットのブロックに対するk個の多数決関数の排他的論理和について、二元体F₂上の任意の次数dの多項式との相関が、(2d/√ℓ)のk乗以下であることを証明する。既知の手法を用いると、この結果から、F₂上の低次数多項式、およびパリティゲートを含む交互回路に対し、シード長が対数の多項式程度である擬似乱数生成器が得られる。

v1の要旨から自動生成。本文の精読・人による確認は未実施。