Revised: August 30, 2020
Published: December 24, 2020
Abstract: [Plain Text Version]
We study the extent of independence needed to approximate the product of bounded random variables in expectation. This natural question has applications in pseudorandomness and min-wise independent hashing.
For random variables with absolute value bounded by $1$, we give an error bound of the form $\sigma^{\Omega(k)}$ when the input is $k$-wise independent and $\sigma^2$ is the variance of their sum. Previously, known bounds only applied in more restricted settings, and were quantitively weaker. Our proof relies on a new analytic inequality for the elementary symmetric polynomials $S_k(x)$ for $x \in \R^n$. We show that if $|S_k(x)|,|S_{k+1}(x)|$ are small relative to $|S_{k-1}(x)|$ for some $k> 0$ then $|S_\ell(x)|$ is also small for all $\ell > k$. We use this to give a simpler and more modular analysis of a construction of min-wise independent hash functions and pseudorandom generators for combinatorial rectangles due to Gopalan et al., which also improves the overall seed-length.