Redondo Beach, California
Nov. 12, 2000 to Nov. 14, 2000
O. Reingold , AT&T Labs.-Res., Florham Park, NJ, USA
S. Vadhan , AT&T Labs.-Res., Florham Park, NJ, USA
A. Wigderson , AT&T Labs.-Res., Florham Park, NJ, USA
The main contribution is a new type of graph product, which we call the zig-zag product. Taking a product of a large graph with a small graph, the resulting graph inherits (roughly) its size from the large one, its degree from the small one, and its expansion properties from both. Iteration yields simple explicit constructions of constant-degree expanders of every size, starting from one constant-size expander. Crucial to our intuition (and simple analysis) of the properties of this graph product is the view of expanders as functions which act as "entropy wave" propagators-they transform probability distributions in which entropy is concentrated in one area to distributions where that concentration is dissipated. In these terms, the graph product affords the constructive interference of two such waves. A variant of this product can be applied to extractors, giving the first explicit extractors whose seed length depends (poly)logarithmically on only the entropy deficiency of the source (rather than its length) and that extract almost all the entropy of high min-entropy sources. These high min-entropy extractors have several interesting applications, including the first constant-degree explicit expanders which beat the "eigenvalue bound".
entropy; graph theory; eigenvalues and eigenfunctions; probability; entropy waves; zig-zag graph product; constant-degree expanders; constant-degree extractors; probability distributions; constructive interference; explicit extractors; high min-entropy sources; eigenvalue bound
O. Reingold, S. Vadhan, A. Wigderson, "Entropy waves, the zig-zag graph product, and new constant-degree expanders and extractors", FOCS, 2000, 2013 IEEE 54th Annual Symposium on Foundations of Computer Science, 2013 IEEE 54th Annual Symposium on Foundations of Computer Science 2000, pp. 3, doi:10.1109/SFCS.2000.892006