Approximating Probability Distributions Using Small Sample Spaces

We formulate the notion of a "good approximation" to a probability distribution over a finite abelian group ?. The quality of the approximating distribution is characterized by a parameter ɛ which is a bound on the difference between corresponding Fourier coefficients of the two distributions. It is also required that the sample space of the approximating distribution be of size polynomial in and 1/ɛ. Such approximations are useful in reducing or eliminating the use of randomness in certain randomized algorithms.We demonstrate the existence of such good approximations to arbitrary distributions. In the case of n random variables distributed uniformly and independently over the range , we provide an efficient construction of a good approximation. The approximation constructed has the property that any linear combination of the random variables (modulo d) has essentially the same behavior under the approximating distribution as it does under the uniform distribution over . Our analysis is based on Weil's character sum estimates. We apply this result to the construction of a non-binary linear code where the alphabet symbols appear almost uniformly in each non-zero code-word.

[1]  Theodor Estermann Introduction to modern prime number theory , 1952 .

[2]  Harry Dym,et al.  Fourier series and integrals , 1972 .

[3]  Richard M. Karp,et al.  A fast parallel algorithm for the maximal independent set problem , 1984, STOC '84.

[4]  Paul Erdös,et al.  On a Combinatorial Game , 1973, J. Comb. Theory A.

[5]  Michael Luby Removing randomness in parallel computation without a processor penalty , 1988, [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science.

[6]  Eric Bach,et al.  Explicit bounds for primes in residue classes , 1996, Math. Comput..

[7]  Michael Luby,et al.  A simple parallel algorithm for the maximal independent set problem , 1985, STOC '85.

[8]  W. Schmidt Equations over Finite Fields: An Elementary Approach , 1976 .

[9]  Moni Naor,et al.  The Probabilistic Method Yields Deterministic Parallel Algorithms , 1994, J. Comput. Syst. Sci..

[10]  Michael Luby A Simple Parallel Algorithm for the Maximal Independent Set Problem , 1986, SIAM J. Comput..

[11]  Noga Alon,et al.  Simple Construction of Almost k-wise Independent Random Variables , 1992, Random Struct. Algorithms.

[12]  Noga Alon,et al.  A Fast and Simple Randomized Parallel Algorithm for the Maximal Independent Set Problem , 1985, J. Algorithms.

[13]  Noga Alon,et al.  The Probabilistic Method , 2015, Fundamentals of Ramsey Theory.

[14]  D. R. Heath-Brown Zero-free regions for Dirichlet $L$-functions, and the least prime in an arithmetic progression , 1992 .

[15]  Richard M. Karp,et al.  A fast parallel algorithm for the maximal independent set problem , 1985, JACM.

[16]  O. Antoine,et al.  Theory of Error-correcting Codes , 2022 .

[17]  D. Lieberman,et al.  Fourier analysis , 2004, Journal of cataract and refractive surgery.

[18]  Lowell Schoenfeld Review: T. Estermann, Introduction to modern prime number theory , 1953 .

[19]  W. Ledermann Introduction to Group Characters , 1977 .

[20]  Moni Naor,et al.  Small-Bias Probability Spaces: Efficient Constructions and Applications , 1993, SIAM J. Comput..

[21]  Johan Håstad,et al.  A well-characterized approximation problem , 1993, [1993] The 2nd Israel Symposium on Theory and Computing Systems.

[22]  Oded Goldreich,et al.  On the power of two-point based sampling , 1989, J. Complex..

[23]  Bonnie Berger,et al.  Simulating (logcn)-wise independence in NC , 1991, JACM.

[24]  H. Davenport Multiplicative Number Theory , 1967 .