Title:Quantum-proof randomness extractors via operator space theory

Abstract:Quantum-proof randomness extractors are an important building block for classical and quantum cryptography as well as for device independent randomness amplification and expansion. It is known that some constructions are quantum-proof whereas others are provably not [Gavinsky {\it et al.}, STOC'07]. We argue that the theory of operator spaces offers a natural framework for studying to what extent extractors are secure against quantum adversaries: we first phrase the definition of extractors as a bounded norm condition between normed spaces, and then show that the presence of quantum adversaries corresponds to a completely bounded norm condition between operator spaces. Using semidefinite program relaxations of this completely bounded norm, we recover all known stability results for extractors (including the short seeded Trevisan based constructions). Moreover, we show that very high min-entropy extractors as well as extractors with small output are always (approximately) quantum-proof. In contrast to these stability results, we find that probabilistic extractor constructions based on random functions give rise to large values of the semidefinite program. We understand this as a hint that even an approximate, but generic stability result for extractors might not be possible.