Optimal bounds for single-source Kolmogorov extractors

The rate of randomness (or dimension) of a string a is the ratio C(sigma)/vertical bar sigma vertical bar where C(sigma) is the Kolmogorov complexity of sigma. While it is known that a single computable transformation cannot increase the rate of randomness of all sequences, Fortnow, Hitchcock, Pavan, Vinodchandran, and Wang showed that for any 0 < alpha < beta < 1, there are a finite number of computable transformations such that any string of rate at least a is turned into a string of rate at least beta by one of these transformations. However, their proof only gives very loose bounds on the correspondence between the number of transformations and the increase of rate of randomness one can achieve. By translating this problem to combinatorics on (hyper)graphs, we provide a tight bound, namely: Using k transformations, one can get an increase from rate a to any rate beta < k alpha/(1 (k-1)alpha), and this is optimal.