Randomness extractor

<h2 id="formal-definition-of-extractors">Formal definition of extractors</h2>
The <a href="/facts/Min-entropy/U0j0SNcp">min-entropy</a> of a distribution 
 
 
 
 X
 
 
 {\displaystyle X}
 
 (denoted 
 
 
 
 
 H
 
 ∞
 
 
 (
 X
 )
 
 
 {\displaystyle H_{\infty }(X)}
 
), is the largest real number 
 
 
 
 k
 
 
 {\displaystyle k}
 
 such that 
 
 
 
 Pr
 [
 X
 =
 x
 ]
 ≤
 
 2
 
 −
 k
 
 
 
 
 {\displaystyle \Pr[X=x]\leq 2^{-k}}
 
 for every 
 
 
 
 x
 
 
 {\displaystyle x}
 
 in the range of 
 
 
 
 X
 
 
 {\displaystyle X}
 
. In essence, this measures how likely 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is to take its most likely value, giving a worst-case bound on how random 
 
 
 
 X
 
 
 {\displaystyle X}
 
 appears. Letting 
 
 
 
 
 U
 
 ℓ
 
 
 
 
 {\displaystyle U_{\ell }}
 
 denote the uniform distribution over 
 
 
 
 {
 0
 ,
 1
 
 }
 
 ℓ
 
 
 
 
 {\displaystyle \{0,1\}^{\ell }}
 
, clearly 
 
 
 
 
 H
 
 ∞
 
 
 (
 
 U
 
 ℓ
 
 
 )
 =
 ℓ
 
 
 {\displaystyle H_{\infty }(U_{\ell })=\ell }
 
.
For an n-bit distribution 
 
 
 
 X
 
 
 {\displaystyle X}
 
 with min-entropy k, we say that 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is an 
 
 
 
 (
 n
 ,
 k
 )
 
 
 {\displaystyle (n,k)}
 
 distribution.
Definition (Extractor): (k, ε)-extractor
Let 
 
 
 
 
 Ext
 
 :
 {
 0
 ,
 1
 
 }
 
 n
 
 
 ×
 {
 0
 ,
 1
 
 }
 
 d
 
 
 →
 {
 0
 ,
 1
 
 }
 
 m
 
 
 
 
 {\displaystyle {\text{Ext}}:\{0,1\}^{n}\times \{0,1\}^{d}\to \{0,1\}^{m}}

be a function that takes as input a sample from an 
 
 
 
 (
 n
 ,
 k
 )
 
 
 {\displaystyle (n,k)}
 
 distribution 
 
 
 
 X
 
 
 {\displaystyle X}
 
 and a d-bit seed from 
 
 
 
 
 U
 
 d
 
 
 
 
 {\displaystyle U_{d}}
 
, and outputs an m-bit string.

Ext
 
 
 
 {\displaystyle {\text{Ext}}}
 
 is a (k, ε)-extractor, if for all 
 
 
 
 (
 n
 ,
 k
 )
 
 
 {\displaystyle (n,k)}
 
 distributions 
 
 
 
 X
 
 
 {\displaystyle X}
 
, the output distribution of 
 
 
 
 
 Ext
 
 
 
 {\displaystyle {\text{Ext}}}
 
 is ε-close to 
 
 
 
 
 U
 
 m
 
 
 
 
 {\displaystyle U_{m}}
 
.
In the above definition, ε-close refers to <a href="/facts/Total_variation_distance/agdAvDuW">statistical distance</a>.
Intuitively, an extractor takes a weakly random n-bit input and a short, uniformly random seed and produces an m-bit output that looks uniformly random. The aim is to have a low 
 
 
 
 d
 
 
 {\displaystyle d}
 
 (i.e. to use as little uniform randomness as possible) and as high an 
 
 
 
 m
 
 
 {\displaystyle m}
 
 as possible (i.e. to get out as many close-to-random bits of output as we can).

<h3>Strong extractors</h3>
An extractor is strong if <a href="/facts/Concatenation/1npYg6rc">concatenating</a> the seed with the extractor's output yields a distribution that is still close to uniform.
Definition (Strong Extractor): A 
 
 
 
 (
 k
 ,
 ϵ
 )
 
 
 {\displaystyle (k,\epsilon )}
 
-strong extractor is a function

Ext
        
        :
        {
        0
        ,
        1
        
          }
          
            n
          
        
        ×
        {
        0
        ,
        1
        
          }
          
            d
          
        
        →
        {
        0
        ,
        1
        
          }
          
            m
          
        
        
      
    
    {\displaystyle {\text{Ext}}:\{0,1\}^{n}\times \{0,1\}^{d}\rightarrow \{0,1\}^{m}\,}

such that for every 
 
 
 
 (
 n
 ,
 k
 )
 
 
 {\displaystyle (n,k)}
 
 distribution 
 
 
 
 X
 
 
 {\displaystyle X}
 
 the distribution 
 
 
 
 
 U
 
 d
 
 
 ∘
 
 Ext
 
 (
 X
 ,
 
 U
 
 d
 
 
 )
 
 
 {\displaystyle U_{d}\circ {\text{Ext}}(X,U_{d})}
 
 (the two copies of 
 
 
 
 
 U
 
 d
 
 
 
 
 {\displaystyle U_{d}}
 
 denote the same random variable) is 
 
 
 
 ϵ
 
 
 {\displaystyle \epsilon }
 
-close to the uniform distribution on 
 
 
 
 
 U
 
 m
 +
 d
 
 
 
 
 {\displaystyle U_{m+d}}
 
.

<h3>Explicit extractors</h3>
Using the <a href="/facts/Probabilistic_method/AXKXrzrr">probabilistic method</a>, it can be shown that there exists a (k, ε)-extractor, i.e. that the construction is possible. However, it is usually not enough merely to show that an extractor exists. An explicit construction is needed, which is given as follows:
Definition (Explicit Extractor): For functions k(n), ε(n), d(n), m(n) a family Ext = {Extn} of functions

Ext
          
          
            n
          
        
        :
        {
        0
        ,
        1
        
          }
          
            n
          
        
        ×
        {
        0
        ,
        1
        
          }
          
            d
            (
            n
            )
          
        
        →
        {
        0
        ,
        1
        
          }
          
            m
            (
            n
            )
          
        
      
    
    {\displaystyle {\text{Ext}}_{n}:\{0,1\}^{n}\times \{0,1\}^{d(n)}\rightarrow \{0,1\}^{m(n)}}

is an explicit (k, ε)-extractor, if Ext(x, y) can be computed in <a href="/facts/Polynomial_time/77T62gmf">polynomial time</a> (in its input length) and for every n, Extn is a (k(n), ε(n))-extractor.
By the probabilistic method, it can be shown that there exists a (k, ε)-extractor with seed length

d
        =
        log
        ⁡
        
          (
          n
          −
          k
          )
        
        +
        2
        log
        ⁡
        
          (
          
            
              1
              ε
            
          
          )
        
        +
        O
        (
        1
        )
      
    
    {\displaystyle d=\log {(n-k)}+2\log \left({\frac {1}{\varepsilon }}\right)+O(1)}

and output length

m
 =
 k
 +
 d
 −
 2
 log
 ⁡
 
 (
 
 
 1
 ε
 
 
 )
 
 −
 O
 (
 1
 )
 
 
 {\displaystyle m=k+d-2\log \left({\frac {1}{\varepsilon }}\right)-O(1)}
 
.<a class="footnote-ref" id="fnref:4" href="#fn:4">4</a>
<h3>Dispersers</h3>
A variant of the randomness extractor with weaker properties is the <a href="/facts/Disperser/jdDrBtCp">disperser</a>.

<h2 id="randomness-extractors-in-cryptography">Randomness extractors in cryptography</h2>
One of the most important aspects of <a href="/facts/Cryptography/e94PEVau">cryptography</a> is random <a href="/facts/Key_generation/WvRkaS6n">key generation</a>.<a class="footnote-ref" id="fnref:5" href="#fn:5">5</a> It is often necessary to generate secret and random keys from sources that are semi-secret or which may be compromised to some degree. By taking a single, short (and secret) random key as a source, an extractor can be used to generate a longer pseudo-random key, which then can be used for public key encryption. More specifically, when a strong extractor is used its output will appear be uniformly random, even to someone who sees part (but not all) of the source. For example, if the source is known but the seed is not known (or vice versa). This property of extractors is particularly useful in what is commonly called Exposure-Resilient cryptography in which the desired extractor is used as an Exposure-Resilient Function (ERF). Exposure-Resilient cryptography takes into account that the fact that it is difficult to keep secret the initial exchange of data which often takes place during the initialization of an <a href="/facts/Encryption/16q29Fdv">encryption</a> application e.g., the sender of encrypted information has to provide the receivers with information which is required for decryption.
The following paragraphs define and establish an important relationship between two kinds of ERF--k-ERF and k-APRF--which are useful in Exposure-Resilient cryptography. 
Definition (k-ERF): An adaptive k-ERF is a function 
 
 
 
 f
 
 
 {\displaystyle f}
 
 where, for a random input 
 
 
 
 r
 
 
 {\displaystyle r}
 
 , when a computationally unbounded adversary 
 
 
 
 A
 
 
 {\displaystyle A}
 
 can adaptively read all of 
 
 
 
 r
 
 
 {\displaystyle r}
 
 except for 
 
 
 
 k
 
 
 {\displaystyle k}
 
 bits, 
 
 
 
 
 |
 
 Pr
 {
 
 A
 
 r
 
 
 (
 f
 (
 r
 )
 )
 =
 1
 }
 −
 Pr
 {
 
 A
 
 r
 
 
 (
 R
 )
 =
 1
 }
 
 |
 
 ≤
 ϵ
 (
 n
 )
 
 
 {\displaystyle |\Pr\{A^{r}(f(r))=1\}-\Pr\{A^{r}(R)=1\}|\leq \epsilon (n)}
 
 for some negligible function 
 
 
 
 ϵ
 (
 n
 )
 
 
 {\displaystyle \epsilon (n)}
 
 (defined below).
The goal is to construct an adaptive ERF whose output is highly random and uniformly distributed. But a stronger condition is often needed in which every output occurs with almost uniform probability. For this purpose Almost-Perfect Resilient Functions (APRF) are used. The definition of an APRF is as follows:
Definition (k-APRF): A 
 
 
 
 k
 =
 k
 (
 n
 )
 
 
 {\displaystyle k=k(n)}
 
 APRF is a function 
 
 
 
 f
 
 
 {\displaystyle f}
 
 where, for any setting of 
 
 
 
 n
 −
 k
 
 
 {\displaystyle n-k}
 
 bits of the input 
 
 
 
 r
 
 
 {\displaystyle r}
 
 to any fixed values, the probability vector 
 
 
 
 p
 
 
 {\displaystyle p}
 
 of the output 
 
 
 
 f
 (
 r
 )
 
 
 {\displaystyle f(r)}
 
 over the random choices for the 
 
 
 
 k
 
 
 {\displaystyle k}
 
 remaining bits satisfies 
 
 
 
 
 |
 
 
 p
 
 i
 
 
 −
 
 2
 
 −
 m
 
 
 
 |
 
 <
 
 2
 
 −
 m
 
 
 ϵ
 (
 n
 )
 
 
 {\displaystyle |p_{i}-2^{-m}|<2^{-m}\epsilon (n)}
 
 for all 
 
 
 
 i
 
 
 {\displaystyle i}
 
 and for some negligible function 
 
 
 
 ϵ
 (
 n
 )
 
 
 {\displaystyle \epsilon (n)}
 
.
Kamp and Zuckerman<a class="footnote-ref" id="fnref:6" href="#fn:6">6</a> have proved a theorem stating that if a function 
 
 
 
 f
 
 
 {\displaystyle f}
 
 is a k-APRF, then 
 
 
 
 f
 
 
 {\displaystyle f}
 
 is also a k-ERF. More specifically, any extractor having sufficiently small error and taking as input an oblivious, bit-fixing source is also an APRF and therefore also a k-ERF. A more specific extractor is expressed in this lemma:
Lemma: Any 
 
 
 
 
 2
 
 −
 m
 
 
 ϵ
 (
 n
 )
 
 
 {\displaystyle 2^{-m}\epsilon (n)}
 
-extractor 
 
 
 
 f
 :
 {
 0
 ,
 1
 
 }
 
 n
 
 
 →
 {
 0
 ,
 1
 
 }
 
 m
 
 
 
 
 {\displaystyle f:\{0,1\}^{n}\rightarrow \{0,1\}^{m}}
 
 for the set of 
 
 
 
 (
 n
 ,
 k
 )
 
 
 {\displaystyle (n,k)}
 
 oblivious bit-fixing sources, where 
 
 
 
 ϵ
 (
 n
 )
 
 
 {\displaystyle \epsilon (n)}
 
 is negligible, is also a k-APRF.
This lemma is proved by Kamp and Zuckerman.<a class="footnote-ref" id="fnref:7" href="#fn:7">7</a> The lemma is proved by examining the distance from uniform of the output, which in a 
 
 
 
 
 2
 
 −
 m
 
 
 ϵ
 (
 n
 )
 
 
 {\displaystyle 2^{-m}\epsilon (n)}
 
-extractor obviously is at most 
 
 
 
 
 2
 
 −
 m
 
 
 ϵ
 (
 n
 )
 
 
 {\displaystyle 2^{-m}\epsilon (n)}
 
, which satisfies the condition of the APRF.
The lemma leads to the following theorem, stating that there in fact exists a k-APRF function as described:
Theorem (existence): For any positive constant 
 
 
 
 γ
 ≤
 
 
 1
 2
 
 
 
 
 {\displaystyle \gamma \leq {\frac {1}{2}}}
 
, there exists an explicit k-APRF 
 
 
 
 f
 :
 {
 0
 ,
 1
 
 }
 
 n
 
 
 →
 {
 0
 ,
 1
 
 }
 
 m
 
 
 
 
 {\displaystyle f:\{0,1\}^{n}\rightarrow \{0,1\}^{m}}
 
, computable in a linear number of arithmetic operations on 
 
 
 
 m
 
 
 {\displaystyle m}
 
-bit strings, with 
 
 
 
 m
 =
 Ω
 (
 
 n
 
 2
 γ
 
 
 )
 
 
 {\displaystyle m=\Omega (n^{2\gamma })}
 
 and 
 
 
 
 k
 =
 
 n
 
 
 
 1
 2
 
 
 +
 γ
 
 
 
 
 {\displaystyle k=n^{{\frac {1}{2}}+\gamma }}
 
.
Definition (negligible function): In the proof of this theorem, we need a definition of a <a href="/facts/Negligible_function/yHCYQj4J">negligible function</a>. A function 
 
 
 
 ϵ
 (
 n
 )
 
 
 {\displaystyle \epsilon (n)}
 
 is defined as being negligible if 
 
 
 
 ϵ
 (
 n
 )
 =
 O
 
 (
 
 
 1
 
 n
 
 c
 
 
 
 
 )
 
 
 
 {\displaystyle \epsilon (n)=O\left({\frac {1}{n^{c}}}\right)}
 
 for all constants 
 
 
 
 c
 
 
 {\displaystyle c}
 
.
Proof:
Consider the following 
 
 
 
 ϵ
 
 
 {\displaystyle \epsilon }
 
-extractor: The function 
 
 
 
 f
 
 
 {\displaystyle f}
 
 is an extractor for the set of 
 
 
 
 (
 n
 ,
 δ
 n
 )
 
 
 {\displaystyle (n,\delta n)}
 
 oblivious bit-fixing source: 
 
 
 
 f
 :
 {
 0
 ,
 1
 
 }
 
 n
 
 
 →
 {
 0
 ,
 1
 
 }
 
 m
 
 
 
 
 {\displaystyle f:\{0,1\}^{n}\rightarrow \{0,1\}^{m}}
 
. 
 
 
 
 f
 
 
 {\displaystyle f}
 
 has 
 
 
 
 m
 =
 Ω
 (
 
 δ
 
 2
 
 
 n
 )
 
 
 {\displaystyle m=\Omega (\delta ^{2}n)}
 
, 
 
 
 
 ϵ
 =
 
 2
 
 −
 c
 m
 
 
 
 
 {\displaystyle \epsilon =2^{-cm}}
 
 and 
 
 
 
 c
 >
 1
 
 
 {\displaystyle c>1}
 
.
The proof of this extractor's existence with 
 
 
 
 δ
 ≤
 1
 
 
 {\displaystyle \delta \leq 1}
 
, as well as the fact that it is computable in linear computing time on the length of 
 
 
 
 m
 
 
 {\displaystyle m}
 
 can be found in the paper by Jesse Kamp and David Zuckerman (p. 1240).
That this extractor fulfills the criteria of the lemma is trivially true as 
 
 
 
 ϵ
 =
 
 2
 
 −
 c
 m
 
 
 
 
 {\displaystyle \epsilon =2^{-cm}}
 
 is a negligible function.
The size of 
 
 
 
 m
 
 
 {\displaystyle m}
 
 is:

m
        =
        Ω
        (
        
          δ
          
            2
          
        
        n
        )
        =
        Ω
        (
        n
        )
        ≥
        Ω
        (
        
          n
          
            2
            γ
          
        
        )
      
    
    {\displaystyle m=\Omega (\delta ^{2}n)=\Omega (n)\geq \Omega (n^{2\gamma })}

Since we know 
 
 
 
 δ
 ≤
 1
 
 
 {\displaystyle \delta \leq 1}
 
 then the lower bound on 
 
 
 
 m
 
 
 {\displaystyle m}
 
 is dominated by 
 
 
 
 n
 
 
 {\displaystyle n}
 
. In the last step we use the fact that 
 
 
 
 γ
 ≤
 
 
 1
 2
 
 
 
 
 {\displaystyle \gamma \leq {\frac {1}{2}}}
 
 which means that the power of 
 
 
 
 n
 
 
 {\displaystyle n}
 
 is at most 
 
 
 
 1
 
 
 {\displaystyle 1}
 
. And since 
 
 
 
 n
 
 
 {\displaystyle n}
 
 is a positive integer we know that 
 
 
 
 
 n
 
 2
 γ
 
 
 
 
 {\displaystyle n^{2\gamma }}
 
 is at most 
 
 
 
 n
 
 
 {\displaystyle n}
 
.
The value of 
 
 
 
 k
 
 
 {\displaystyle k}
 
 is calculated by using the definition of the extractor, where we know:

(
        n
        ,
        k
        )
        =
        (
        n
        ,
        δ
        n
        )
        ⇒
        k
        =
        δ
        n
      
    
    {\displaystyle (n,k)=(n,\delta n)\Rightarrow k=\delta n}

and by using the value of 
 
 
 
 m
 
 
 {\displaystyle m}
 
 we have:

m
        =
        
          δ
          
            2
          
        
        n
        =
        
          n
          
            2
            γ
          
        
      
    
    {\displaystyle m=\delta ^{2}n=n^{2\gamma }}

Using this value of 
 
 
 
 m
 
 
 {\displaystyle m}
 
 we account for the worst case, where 
 
 
 
 k
 
 
 {\displaystyle k}
 
 is on its lower bound. Now by algebraic calculations we get:

δ
          
            2
          
        
        n
        =
        
          n
          
            2
            γ
          
        
      
    
    {\displaystyle \delta ^{2}n=n^{2\gamma }}

⇒
        
          δ
          
            2
          
        
        =
        
          n
          
            2
            γ
            −
            1
          
        
      
    
    {\displaystyle \Rightarrow \delta ^{2}=n^{2\gamma -1}}

⇒
        δ
        =
        
          n
          
            γ
            −
            
              
                1
                2
              
            
          
        
      
    
    {\displaystyle \Rightarrow \delta =n^{\gamma -{\frac {1}{2}}}}

Which inserted in the value of 
 
 
 
 k
 
 
 {\displaystyle k}
 
 gives

k
 =
 δ
 n
 =
 
 n
 
 γ
 −
 
 
 1
 2
 
 
 
 
 n
 =
 
 n
 
 γ
 +
 
 
 1
 2
 
 
 
 
 
 
 {\displaystyle k=\delta n=n^{\gamma -{\frac {1}{2}}}n=n^{\gamma +{\frac {1}{2}}}}
 
,
which proves that there exists an explicit k-APRF extractor with the given properties. 
 
 
 
 ◻
 
 
 {\displaystyle \Box }

<h2 id="examples">Examples</h2>
<h3>Von Neumann extractor</h3>
Further information: <a href="/facts/Bernoulli_sequence/AF9E3jpu">Bernoulli sequence</a>
Perhaps the earliest example is due to <a href="/facts/John_von_Neumann/aUk6urof">John von Neumann</a>. From the input stream, his extractor took bits, two at a time (first and second, then third and fourth, and so on). If the two bits matched, no output was generated. If the bits differed, the value of the first bit was output. The Von Neumann extractor can be shown to produce a uniform output even if the distribution of input bits is not uniform so long as each bit has the same probability of being one and there is no <a href="/facts/Correlation/egkluAEm">correlation</a> between successive bits.<a class="footnote-ref" id="fnref:8" href="#fn:8">8</a>
Thus, it takes as input a <a href="/facts/Bernoulli_sequence/AF9E3jpu">Bernoulli sequence</a> with p not necessarily equal to 1/2, and outputs a Bernoulli sequence with 
 
 
 
 p
 =
 1
 
 /
 
 2.
 
 
 {\displaystyle p=1/2.}

More generally, it applies to any <a href="/facts/Exchangeable_random_variables/tHvmhbRy">exchangeable sequence</a>—it only relies on the fact that for any pair, 01 and 10 are equally likely: for independent trials, these have probabilities 
 
 
 
 p
 ⋅
 (
 1
 −
 p
 )
 =
 (
 1
 −
 p
 )
 ⋅
 p
 
 
 {\displaystyle p\cdot (1-p)=(1-p)\cdot p}
 
, while for an exchangeable sequence the probability may be more complicated, but both are equally likely. To put it simply, because the bits are <a href="/facts/Conditional_probability/QcN2UERV">statistically independent</a> and due to the <a href="/facts/Commutative_property/WaYxJLxd">commutative property</a> of multiplication, it would follow that 
 
 
 
 P
 (
 A
 ∩
 B
 )
 =
 P
 (
 A
 )
 P
 (
 B
 )
 =
 P
 (
 B
 )
 P
 (
 A
 )
 =
 P
 (
 B
 ∩
 A
 )
 
 
 {\displaystyle P(A\cap B)=P(A)P(B)=P(B)P(A)=P(B\cap A)}
 
. Hence, if pairs of 01 and 10 are mapped onto bits 0 and 1 and pairs 00 and 11 are discarded, then the output will be a uniform distribution.
Iterations upon the Von Neumann extractor include the Elias and Peres extractor, the latter of which reuses bits in order to produce larger output streams than the Von Neumann extractor given the same size input stream.<a class="footnote-ref" id="fnref:9" href="#fn:9">9</a>

<h3>Chaos machine</h3>
Another approach is to use the output of a <a href="/facts/Chaos_machine/mAPWkphK">chaos machine</a> applied to the input stream. This approach generally relies on properties of <a href="/facts/Chaotic_systems/LTC17vsF">chaotic systems</a>. Input bits are pushed to the machine, evolving orbits and trajectories in multiple dynamical systems. Thus, small differences in the input produce very different outputs. Such a machine has a uniform output even if the distribution of input bits is not uniform or has serious flaws, and can therefore use weak <a href="/facts/Entropy_(computing)/Ds8396El">entropy sources</a>. Additionally, this scheme allows for increased complexity, quality, and security of the output stream, controlled by specifying three parameters: time cost, memory required, and secret key.
Note that while true chaotic systems are mathematically sound for 'amplifying' entropy, this is predicated on the availability of real numbers with an infinite precision. When implemented in digital computers with finite precision number representation, as in chaos machines using <a href="/facts/IEEE_754/dD3e7zAl">IEEE 754 Floating-Point</a>, the periodicity has been shown to fall far short of the full space for a given bit length. <a class="footnote-ref" id="fnref:10" href="#fn:10">10</a>

<h3>Cryptographic hash function</h3>
It is also possible to use a <a href="/facts/Cryptographic_hash_function/cuxkgbST">cryptographic hash function</a> as a randomness extractor. However, not every hashing algorithm is suitable for this purpose.

<h2 id="applications">Applications</h2>
Randomness extractors are used widely in cryptographic applications, whereby a <a href="/facts/Cryptographic_hash/cuxkgbST">cryptographic hash</a> function is applied to a high-entropy, but non-uniform source, such as disk drive timing information or keyboard delays, to yield a uniformly random result.
Randomness extractors have played a major role in recent <a href="/facts/Quantum_cryptography/FPqPdNXT">quantum cryptography</a> developments, for example, distilling the raw output from a quantum random number generators into a shorter, secure and uniformly random output. <a class="footnote-ref" id="fnref:11" href="#fn:11">11</a>
Randomness extraction is also used in some branches of <a href="/facts/Computational_complexity_theory/etHuVF3U">computational complexity theory</a> and in the construction of list-decodable <a href="/facts/Error_correcting_code/cLUTUJrA">error correcting codes</a>.

<h2 id="see-also">See also</h2>
<ul><li><a href="/facts/Decorrelation/w3qol960">Decorrelation</a></li>
<li><a href="/facts/Hardware_random_number_generator/Kc7HIkgJ">Hardware random number generator</a></li>
<li><a href="/facts/Randomness_merger/c8KShC17">Randomness merger</a></li>
<li><a href="/facts/Fuzzy_extractor/zNcovm4k">Fuzzy extractor</a></li></ul>

<ul><li><a href="http://www.cs.washington.edu/homes/anuprao/pubs/thesis.pdf">Randomness Extractors for Independent Sources and Applications</a>, Anup Rao</li>
<li><a href="http://www.cs.haifa.ac.il/~ronen/online_papers/survey.ps">Recent developments in explicit constructions of extractors</a>, Ronen Shaltiel</li>
<li><a href="http://people.csail.mit.edu/dodis/ps/hmac.ps">Randomness Extraction and Key Derivation Using the CBC, Cascade and HMAC Modes</a>, Yevgeniy Dodis et al.</li>
<li><a href="http://eprint.iacr.org/2005/061.pdf">Key Derivation and Randomness Extraction</a>, Olivier Chevassut et al.</li>
<li><a href="http://www.cs.utexas.edu/users/diz/pubs/erf.pdf">Deterministic Extractors for Bit-Fixing Sources and Exposure-Resilient Cryptography</a>, Jesse Kamp and David Zuckerman</li>
<li><a href="http://www.eecs.harvard.edu/~michaelm/coinflipext.pdf">Tossing a Biased Coin (and the optimality of advanced multi-level strategy) (lecture notes)</a>, Michael Mitzenmacher</li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1">Extracting randomness from sampleable distributions. Portal.acm.org. 12 November 2000. p. 32. ISBN 9780769508504. Retrieved 2012-06-12. <a href="9780769508504" target="_blank">9780769508504</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></li>
<li id="fn:2">David K. Gifford, Natural Random Numbers, MIT/LCS/TM-371, Massachusetts Institute of Technology, August 1988. <a href="/wiki/MIT" target="_blank">/wiki/MIT</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></li>
<li id="fn:3">Luca Trevisan. "Extractors and Pseudorandom Generators" (PDF). Retrieved 2013-10-21. <a href="http://theory.stanford.edu/~trevisan/pubs/extractor-full.pdf" target="_blank">http://theory.stanford.edu/~trevisan/pubs/extractor-full.pdf</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></li>
<li id="fn:4">Ronen Shaltiel. Recent developments in explicit construction of extractors. P. 5. <a href="#fnref:4" class="footnote-back-ref">↩</a></li>
<li id="fn:5">Jesse Kamp and David Zuckerman. Deterministic Extractors for Bit-Fixing Sources and Exposure-Resilient Cryptography., SIAM J. Comput., Vol. 36, No. 5, pp. 1231–1247. <a href="#fnref:5" class="footnote-back-ref">↩</a></li>
<li id="fn:6">Jesse Kamp and David Zuckerman. Deterministic Extractors for Bit-Fixing Sources and Exposure-Resilient Cryptography. P. 1242. <a href="#fnref:6" class="footnote-back-ref">↩</a></li>
<li id="fn:7">Jesse Kamp and David Zuckerman. Deterministic Extractors for Bit-Fixing Sources and Exposure-Resilient Cryptography. P. 1242. <a href="#fnref:7" class="footnote-back-ref">↩</a></li>
<li id="fn:8">John von Neumann. Various techniques used in connection with random digits. Applied 
Math Series, 12:36–38, 1951. <a href="#fnref:8" class="footnote-back-ref">↩</a></li>
<li id="fn:9">Prasitsupparote, Amonrat; Konno, Norio; Shikata, Junji (October 2018). "Numerical and Non-Asymptotic Analysis of Elias's and Peres's Extractors with Finite Input Sequences". Entropy. 20 (10): 729. Bibcode:2018Entrp..20..729P. doi:10.3390/e20100729. ISSN 1099-4300. PMC 7512292. PMID 33265818. <a href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7512292" target="_blank">https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7512292</a> <a href="#fnref:9" class="footnote-back-ref">↩</a></li>
<li id="fn:10">Persohn, Kyle; Povinelli, Richard. "Analyzing Logistic Map Pseudorandom Number Generators for Periodicity Induced by Finite Precision Floating-Point Representation". Marquette University. Retrieved 3 January 2024. <a href="https://epublications.marquette.edu/cgi/viewcontent.cgi?article=1103&context=electric_fac" target="_blank">https://epublications.marquette.edu/cgi/viewcontent.cgi?article=1103&context=electric_fac</a> <a href="#fnref:10" class="footnote-back-ref">↩</a></li>
<li id="fn:11">Ma, Xiongfeng; Xu, Feihu; Xu, He; Tan, Xiaoqing; Qi, Bing; Lo, Hoi-Kwong (June 2013). "Postprocessing for quantum random-number generators: Entropy evaluation and randomness extraction". Physical Review A. 87 (6). arXiv:1207.1473. doi:10.1103/PhysRevA.87.062327. <a href="/wiki/ArXiv_(identifier)" target="_blank">/wiki/ArXiv_(identifier)</a> <a href="#fnref:11" class="footnote-back-ref">↩</a></li>
</ol>

Randomness extractor open-in-new

Randomness extractor