[論文レビュー] Deterministic Approximate Counting for Juntas of Degree-$2$ Polynomial Threshold Functions

Anindya De, Ilias Diakonikolas+1 more|arXiv (Cornell University)|Nov 27, 2013

Markov Chains and Monte Carlo Methods参考文献 42被引用数 5

ひとこと要約

本稿では、2次多項式閾値関数（PTF）のジャンパ構造からなる深さ3のブール回路の充足割当数を近似的に数える最初の決定的多項式時間アルゴリズムを提示する。著者らは、2次ガウス分布に関する新規の多次元中心極限定理と、k個のd次PFTの組に対する一般化された正則性補題を導入することで、単一のPFTからより複雑なジャンパ構造への決定的近似数え上げを拡張した。

ABSTRACT

Let $g: \{-1,1\}^k o \{-1,1\}$ be any Boolean function and $q_1,\dots,q_k$ be any degree-2 polynomials over $\{-1,1\}^n.$ We give a \emph{deterministic} algorithm which, given as input explicit descriptions of $g,q_1,\dots,q_k$ and an accuracy parameter $\eps>0$, approximates \[\Pr_{x \sim \{-1,1\}^n}[g(\sign(q_1(x)),\dots,\sign(q_k(x)))=1]\] to within an additive $\pm \eps$. For any constant $\eps > 0$ and $k \geq 1$ the running time of our algorithm is a fixed polynomial in $n$. This is the first fixed polynomial-time algorithm that can deterministically approximately count satisfying assignments of a natural class of depth-3 Boolean circuits. Our algorithm extends a recent result \cite{DDS13:deg2count} which gave a deterministic approximate counting algorithm for a single degree-2 polynomial threshold function $\sign(q(x)),$ corresponding to the $k=1$ case of our result. Our algorithm and analysis requires several novel technical ingredients that go significantly beyond the tools required to handle the $k=1$ case in \cite{DDS13:deg2count}. One of these is a new multidimensional central limit theorem for degree-2 polynomials in Gaussian random variables which builds on recent Malliavin-calculus-based results from probability theory. We use this CLT as the basis of a new decomposition technique for $k$-tuples of degree-2 Gaussian polynomials and thus obtain an efficient deterministic approximate counting algorithm for the Gaussian distribution. Finally, a third new ingredient is a for \emph{$k$-tuples} of degree-$d$ polynomial threshold functions. This generalizes both the regularity lemmas of \cite{DSTW:10,HKM:09} and the regularity lemma of Gopalan et al \cite{GOWZ10}. Our new regularity lemma lets us extend our deterministic approximate counting results from the Gaussian to the Boolean domain.

研究の動機と目的

• 2次多項式の符号評価から構成されるブール関数が充足されるブール入力の割合を近似的に求める決定的多項式時間アルゴリズムを開発すること。
• 単一の2次PFTに関する先行研究を、それらの関数のk個の組からなるより複雑な構造（ジャンパ構造に類似）への拡張すること。
• ガウス分布とブール領域を新規の正則性および分解ツールを介して接続することで、ブール超立方体上での決定的近似数え上げの一般枠組みを確立すること。

提案手法

• 独立同一分布に従うガウス変数におけるk個の2次多項式の組に対する、新規の多次元中心極限定理（CLT）を、Malliavin微積分法の技術を活用して構築する。
• 新規のガウス分布CLTを用いて、ガウス測度下でのk個の2次多項式の組の分布を近似する分解技術を設計する。
• 分解とCLT近似に基づき、ガウス領域における決定的近似数え上げアルゴリズムを構築する。
• k個のd次PFTの組に対する一般化された正則性補題を導入し、単一PFTおよびDSTWおよびGOWZの正則性補題の先行結果を拡張する。
• 新規の正則性補題を用いて、ガウス領域の数え上げアルゴリズムをブール領域に転送し、加法的誤差が±ε以内に収まるように保証する。
• すべての構成要素を統合し、任意の定数ε > 0と固定されたk ≥ 1に対して、nの固定多項式時間内に実行される単一の決定的アルゴリズムを構成する。

実験結果

リサーチクエスチョン

• RQ1 単一の2次PFTに限らない、複数の関数を含むより複雑な回路へ、決定的近似数え上げを拡張することは可能か？
• RQ2 ガウス空間上での複数の2次多項式の同時分布を解析するために、どのような新規の確率的ツールが必要か？
• RQ3 ガウス領域からブール領域への結果の転送を可能にするために、k個のd次PFTの組に対する正則性補題をどのように構築できるか？
• RQ4 効率的な決定的数え上げを可能にするために、入力関数に必要な最小限の構造的仮定は何か？
• RQ5 Malliavin微積分法などの現代の確率解析のツールを用いて、2次多項式の多次元CLTを証明できるか？

主な発見

• 本稿では、任意の定数ε > 0と固定されたkに対して、nの多項式時間内でk個の2次PFTのジャンパ構造の充足測度を±εの誤差内で近似的に求める決定的アルゴリズムを提示する。
• ガウス変数における2次多項式の組に対する新規の多次元中心極限定理が確立され、同時分布の正確な近似が可能になった。
• k個のd次PFTの組に対する一般化された正則性補題により、効果的な分解とガウス領域からブール領域への結果の転送が可能となった。
• 任意の定数ε > 0と固定されたkに対して、nの固定多項式時間内に実行されるアルゴリズムが得られ、単一PFTに関する先行研究を著しく超える重要な一歩を踏み出した。
• このフレームワークにより、従来不可能であった、2次PFTの構造的ジャンパを含む、より広範な深さ3の回路クラスへの決定的数え上げが可能になった。
• 本研究の結果は、非自明な深さ3のブール回路クラスについて、決定的近似数え上げが実現可能であることを示し、分野における主要な未解決問題を解決した。