[논문 리뷰] Deterministic Approximate Counting for Juntas of Degree-$2$ Polynomial Threshold Functions

Anindya De, Ilias Diakonikolas외 1명|arXiv (Cornell University)|2013. 11. 27.

Markov Chains and Monte Carlo Methods참고 문헌 42인용 수 5

한 줄 요약

이 논문은 2차 다항식 임계함수의 조합으로 이루어진 깊이-3 부울 회로의 만족 가능한 할당 수를 근사적으로 세는 최초의 결정적 다항시간 알고리즘을 제시한다. 2차 가우시안에 대한 새로운 다차원 중심극한정리와 k개의 2차 다항식 임계함수의 일반화된 규칙성 보조정리를 도입함으로써, 저자들은 단일 PTF에서의 결정적 근사 세기 기법을 부울 초입방에서 복잡한 조합 유사한 구조로 확장한다.

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차 PTF에 대한 연구를 더 복잡한 구조인 k개의 이러한 함수로 이루어진 조합 유사한 구조로 확장하는 것.
• 가우시안 도메인과 부울 도메인을 연결하기 위해 새로운 규칙성 및 분해 도구를 활용하여 부울 초입방에서의 결정적 근사 세기의 일반적 프레임워크를 수립하는 것.

제안 방법

• 독립 동일분포 가우시안 변수에서의 k개의 2차 다항식에 대한 새로운 다차원 중심극한정리(CLT)를 개발하며, Malliavin 미적분 기법을 활용한다.
• 새로운 가우시안 CLT를 활용해, 가우시안 측도 하에서 k개의 2차 다항식의 분포를 근사하는 분해 기법을 설계한다.
• 분해 및 CLT 근사를 기반으로 가우시안 도메인에 대한 결정적 근사 세기 알고리즘을 구축한다.
• k개의 d차 다항식 임계함수의 일반화된 규칙성 보조정리를 도입하여, 이전의 단일 PTF 및 DSTW와 GOWZ의 규칙성 보조정리 결과를 확장한다.
• 새로운 규칙성 보조정리를 사용해 가우시안 세기 알고리즘을 부울 도메인으로 이전하며, ±ε 이내의 덧셈 오차를 보장한다.
• 모든 구성 요소를 하나의 결정적 알고리즘으로 통합하여, 임의의 상수 ε > 0 및 고정된 k ≥ 1에 대해 n에 대해 다항식 시간이 되는 고정된 런타임을 확보한다.

실험 결과

연구 질문

• RQ1 단일 2차 PTF를 초월하여, 다수의 이러한 함수를 포함하는 더 복잡한 회로로 결정적 근사 세기 기법을 확장할 수 있는가?
• RQ2 다양한 2차 다항식의 공동 분포를 가우시안 공간에서 분석하기 위해 어떤 새로운 확률 도구가 필요한가?
• RQ3 가우시안 도메인에서의 결과를 부울 도메인으로 이전하기 위해 k개의 d차 PTF에 대한 규칙성 보조정리를 어떻게 구성할 수 있는가?
• RQ4 효율적인 결정적 세기 기법이 가능하게 하는 입력 함수에 대한 최소한의 구조적 가정은 무엇인가?
• RQ5 Malliavin 미적분과 같은 현대 확률 분석 도구를 사용해 2차 다항식에 대한 다차원 중심극한정리를 증명할 수 있는가?

주요 결과

• 논문은 임의의 상수 ε > 0 및 고정된 k에 대해 n에 대해 다항식 시간 내에 k개의 2차 PTF로 이루어진 조합의 만족 측도를 ±ε 이내로 근사하는 결정적 알고리즘을 제시한다.
• 가우시안 변수에서의 2차 다항식에 대한 새로운 다차원 중심극한정리를 확립하여 공동 분포의 정확한 근사가 가능해졌다.
• k개의 d차 다항식 임계함수에 대한 일반화된 규칙성 보조정리는 효과적인 분해 및 가우시안 도메인에서 부울 도메인으로의 결과 이전을 가능하게 한다.
• 임의의 상수 ε > 0 및 고정된 k에 대해 n에 대해 다항식 시간이 되는 고정된 런타임을 확보하여, 기존의 단일 PTF 연구를 크게 초월하는 중요한 진전을 이룬다.
• 기존에 가능했던 것보다 더 넓은 깊이-3 회로의 클래스로 결정적 세기 기법을 확장하였으며, 이는 2차 PTF의 구조적 조합을 포함한다.
• 결과는 결정적 근사 세기 기법이 비트리버스 클래스의 깊이-3 부울 회로에 대해 가능함을 보여주며, 분야 내 핵심 열린 문제를 해결한다.