Almost Chor-Goldreich Sources and Adversarial Random Walks

A Chor-Goldreich (CG) source is a sequence of random variables Chi = Chi(1) ..... -Chi(t), where each Chi(i) similar to {0, 1}(d) and Chi(i) has delta d min-entropy conditioned on any fixing of Chi = Chi(1) ..... -Chi(i-1). The parameter 0 < delta <= 1 is the entropy rate of the source. We typically think of 3 as constant and C as growing. We extend this notion in several ways, defining almost CG sources. Most notably, we allow each Chi(i) to only have conditional Shannon entropy delta d. We achieve pseudorandomness results for almost CG sources which were not known to hold even for standard CG sources, and even for the weaker model of Santha-Vazirani sources: We construct a deterministic condenser that on input -, outputs a distribution which is close to having constant entropy gap, namely a distribution Z similar to {0, 1}(m) for m approximate to delta dt with min-entropy m-O(1). Therefore, we can simulate any randomized algorithm with small failure probability using almost CG sources with no multiplicative slowdown. This result extends to randomized protocols as well, and any setting in which we cannot simply cycle over all seeds, and a "one-shot" simulation is needed. Moreover, our construction works in an online manner, since it is based on random walks on expanders. Our main technical contribution is a novel analysis of random walks, which should be of independent interest. We analyze walks with adversarially correlated steps, each step being entropy-deficient, on good enough lossless expanders. We prove that such walks (or certain interleaved walks on two expanders), starting from a fixed vertex and walking according to Chi = Chi(1) ..... -Chi(t),, accumulate most of the entropy in Chi