TY - GEN
T1 - On the impossibility of extracting classical randomness using a quantum computer
AU - Dodis, Yevgeniy
AU - Renner, Renato
PY - 2006
Y1 - 2006
N2 - In this work we initiate the question of whether quantum computers can provide us with an almost perfect source of classical randomness, and more generally, suffice for classical cryptographic tasks, such as encryption. Indeed, it was observed [SV86, MP91, DOPS04] that classical computers are insufficient for either one of these tasks when all they have access to is a realistic imperfect source of randomness, such as the Santha- Vazirani source. We answer this question in the negative, even in the following very restrictive model. We generously assume that quantum computation is error-free, and all the errors come in the measurements. We further assume that all the measurement errors are not only small but also detectable, namely, all that can happen is that with a small probability p⊥ ≤ δ the (perfectly performed) measurement will result in some distinguished symbol ⊥ (indicating an "erasure"). Specifically, we assume that if an element x was supposed to be observed with probability px, in reality it might be observed with probability p′x ∈ [(1 -δ)px,p x], for some small δ > 0 (so that p⊥ = 1 - σx p′x ≤ δ).
AB - In this work we initiate the question of whether quantum computers can provide us with an almost perfect source of classical randomness, and more generally, suffice for classical cryptographic tasks, such as encryption. Indeed, it was observed [SV86, MP91, DOPS04] that classical computers are insufficient for either one of these tasks when all they have access to is a realistic imperfect source of randomness, such as the Santha- Vazirani source. We answer this question in the negative, even in the following very restrictive model. We generously assume that quantum computation is error-free, and all the errors come in the measurements. We further assume that all the measurement errors are not only small but also detectable, namely, all that can happen is that with a small probability p⊥ ≤ δ the (perfectly performed) measurement will result in some distinguished symbol ⊥ (indicating an "erasure"). Specifically, we assume that if an element x was supposed to be observed with probability px, in reality it might be observed with probability p′x ∈ [(1 -δ)px,p x], for some small δ > 0 (so that p⊥ = 1 - σx p′x ≤ δ).
UR - http://www.scopus.com/inward/record.url?scp=33746379606&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=33746379606&partnerID=8YFLogxK
U2 - 10.1007/11787006_18
DO - 10.1007/11787006_18
M3 - Conference contribution
AN - SCOPUS:33746379606
SN - 3540359079
SN - 9783540359074
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 204
EP - 215
BT - Automata, Languages and Programming - 33rd International Colloquium, ICALP 2006, Proceedings
PB - Springer Verlag
T2 - 33rd International Colloquium on Automata, Languages and Programming, ICALP 2006
Y2 - 10 July 2006 through 14 July 2006
ER -