Increasing the output length of zero-error dispersers
Article first published online: 8 FEB 2011
Copyright © 2011 Wiley Periodicals, Inc.
Random Structures & Algorithms
Volume 40, Issue 1, pages 74–104, January 2012
How to Cite
Gabizon, A. and Shaltiel, R. (2012), Increasing the output length of zero-error dispersers. Random Struct. Alg., 40: 74–104. doi: 10.1002/rsa.20359
- Issue published online: 23 NOV 2011
- Article first published online: 8 FEB 2011
- Manuscript Accepted: 28 JUL 2010
- Manuscript Received: 13 JAN 2010
- DARPA. Grant Number: HR0011-08-1-0069
- Binational US-Israel Science Foundation (BSF). Grant Number: 2004329
- Israel Science Foundation (ISF). Grant Number: 686/07
- Ramsey graphs
Let be a class of probability distributions over a finite set Ω. A function is a disperser for with entropy threshold and error if for any distribution X in such that X gives positive probability to at least elements we have that the distribution gives positive probability to at least elements. A long line of research is devoted to giving explicit (that is polynomial time computable) dispersers (and related objects called “extractors”) for various classes of distributions while trying to maximize m as a function of k. For several interesting classes of distributions there are explicit constructions in the literature of zero-error dispersers with “small” output length m.
In this paper we develop a general technique to improve the output length of zero-error dispersers. This strategy works for several classes of sources and is inspired by a transformation that improves the output length of extractors (which was given by Shaltiel (CCC'06; Proceedings of the 21st Annual IEEE Conference on Computational Complexity, (2006) 46–60.) building on earlier work by Gabizon, Raz and Shaltiel (SIAM J Comput 36 (2006) 1072–1094). Our techniques are different than those of Shaltiel (CCC'06; Proceedings of the 21st Annual IEEE Conference on Computational Complexity (2006) 46–60) and in particular give non-trivial results in the errorless case.
Using our approach we construct improved zero-error 2-source dispersers. More precisely, we show that for any constant there is a constant such that for sufficiently large n there is a poly-time computable function such that for every two independent distributions over each with support size at least , the output distribution has full support. This improves the output length of previous constructions by Barak, Kindler, Shaltiel, Sudakov and Wigderson (Proceedings of the 37th Annual ACM Symposium on Theory of Computing (2005) 1–10) and has applications in Ramsey theory and in improved constructions of certain data structures from the work of Fiat and Naor [SIAM J Comput 22 (1993)].
We also use our techniques to give explicit constructions of zero-error dispersers for bit-fixing sources and affine sources over polynomially large fields. These constructions improve the best known explicit constructions due to Rao (unpublished data) and Gabizon and Raz [Combinatorica 28 (2008)] and achieve for bit-fixing sources and for affine sources over polynomial size fields. © 2011 Wiley Periodicals, Inc. Random Struct. Alg., 2011