Extractor (mathematics)


An -extractor is a bipartite graph with nodes on the left and nodes on the right such that each node on the left has neighbors, which has the added property that
for any subset of the left vertices of size at least, the distribution on right vertices obtained by choosing a random node in and then following a random edge to get a node x on the right side is -close to the uniform distribution in terms of total variation distance.
A disperser is a related graph.
An equivalent way to view an extractor is as a bivariate function
in the natural way. With this view it turns out that the extractor property is equivalent to: for any source of randomness that gives bits with min-entropy, the distribution is -close to, where denotes the uniform distribution on.
Extractors are interesting when they can be constructed with small relative to and is as close to as possible.
Extractor functions were originally researched as a way to extract randomness from weakly random sources. See randomness extractor.
Using the probabilistic method it is easy to show that extractor graphs with really good parameters exist. The challenge is to find explicit or polynomial time computable examples of such graphs with good parameters. Algorithms that compute extractor graphs have found many applications in computer science.