Dimension,pseudorandomness and extraction of pseudorandomness 1

Abstract

In this paper we propose a quantification of ensemble of distributions on a set of strings, in terms of how close to pseudorandom a distribution is. The quantification is an adaptation of the theory of dimension of sets of infinite sequences introduced by Lutz. Adapting Hitchcock’s work, we also show that the logarithmic loss incurred by a predictor on an ensemble of distributions is quantitatively equivalent to the notion of dimension we define. Roughly, this captures the equivalence between pseudorandomness defined via indistinguishability and via unpredictability. Later we show some natural properties of our notion of dimension. We also do a comparative study among our proposed notion of dimension and two well known notions of computational analogue of entropy, namely HILL-type pseudo min-entropy and next-bit pseudo Shannon entropy.

Further, we apply our quantification to the following problem. If we know that the dimension of an ensemble of distributions on the set of n-length strings is $\mathit{s}\in \mathrm{(}0\mathrm{,}1]$ , can we extract out $\mathit{O}\mathrm{(}\mathit{s}\mathit{n}\mathrm{)}$ pseudorandom bits out of the distribution? We show that to construct such extractor, one needs at least $\mathrm{\Omega }\mathrm{(}log\mathit{n}\mathrm{)}$ bits of pure randomness. However, it is still open to do the same using $\mathit{O}\mathrm{(}log\mathit{n}\mathrm{)}$ random bits. We show that deterministic extraction is possible in a special case – analogous to the bit-fixing sources introduced by Chor et al., which we term nonpseudorandom bit-fixing source. We adapt the techniques of Gabizon, Raz and Shaltiel to construct a deterministic pseudorandom extractor for this source.

By the end, we make a little progress towards P vs. BPP problem by showing that existence of optimal stretching function that stretches $\mathit{O}\mathrm{(}log\mathit{n}\mathrm{)}$ input bits to produce n output bits such that output distribution has dimension $\mathit{s}\in \mathrm{(}0\mathrm{,}1]$ , implies $\mathrm{P}=\mathrm{BPP}$ .