Deterministic Approximate Counting for Degree-2 Polynomial Threshold Functions

MaRDI QIDQ6246811zbMATH OpenFDO

Authors Anindya De, Ilias Diakonikolas, Rocco A. Servedio

Publication date 27 November 2013

Abstract: We give a {em deterministic} algorithm for approximately computing the fraction of Boolean assignments that satisfy a degree-$2$ polynomial threshold function. Given a degree-2 input polynomial $p(x_1,dots,x_n)$ and a parameter $eps>0$, the algorithm approximates [ Pr_{x sim {-1,1}^n}[p(x) geq 0] ] to within an additive $pmeps$ in time $poly(n,2^{poly(1/eps)})$. Note that it is NP-hard to determine whether the above probability is nonzero, so any sort of multiplicative approximation is almost certainly impossible even for efficient randomized algorithms. This is the first deterministic algorithm for this counting problem in which the running time is polynomial in $n$ for $eps=o(1)$. For "regular" polynomials $p$ (those in which no individual variable's influence is large compared to the sum of all $n$ variable influences) our algorithm runs in $poly(n,1/eps)$ time. The algorithm also runs in $poly(n,1/eps)$ time to approximate $P{r}_{xsimN(0,1{)}^n}[p(x)geq0]$ to within an additive $pmeps$, for any degree-2 polynomial $p$. As an application of our counting result, we give a deterministic FPT multiplicative $(1pmeps)$-approximation algorithm to approximate the $k$-th absolute moment $E_{xsim{-1,1}^n}[|p(x{)}^k|]$ of a degree-2 polynomial. The algorithm's running time is of the form $poly(n)cdotf(k,1/eps)$.

This page was built for publication: Deterministic Approximate Counting for Degree-$2$ Polynomial Threshold Functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6246811)