title: Random numbers certified by Bell's theorem.
abstract: Randomness is a fundamental feature of nature and a valuable resource for applications ranging from cryptography and gambling to numerical simulation of physical and biological systems. Random numbers, however, are difficult to characterize mathematically, and their generation must rely on an unpredictable physical process. Inaccuracies in the theoretical modelling of such processes or failures of the devices, possibly due to adversarial attacks, limit the reliability of random number generators in ways that are difficult to control and detect. Here, inspired by earlier work on non-locality-based and device-independent quantum information processing, we show that the non-local correlations of entangled quantum particles can be used to certify the presence of genuine randomness. It is thereby possible to design a cryptographically secure random number generator that does not require any assumption about the internal working of the device. Such a strong form of randomness generation is impossible classically and possible in quantum systems only if certified by a Bell inequality violation. We carry out a proof-of-concept demonstration of this proposal in a system of two entangled atoms separated by approximately one metre. The observed Bell inequality violation, featuring near perfect detection efficiency, guarantees that 42 new random numbers are generated with 99 per cent confidence. Our results lay the groundwork for future device-independent quantum information experiments and for addressing fundamental issues raised by the intrinsic randomness of quantum theory.
authors.affiliation: Laboratoire d'Information Quantique, CP 225, Université Libre de Bruxelles, Bvd Du Triomphe, 1050 Bruxelles, Belgium.
authors.forename: S
authors.initials: S
authors.lastname: Pironio
authors.forename: A
authors.initials: A
authors.lastname: Acín
authors.forename: S
authors.initials: S
authors.lastname: Massar
authors.forename: A Boyer
authors.initials: AB
authors.lastname: de la Giroday
authors.forename: D N
authors.initials: DN
authors.lastname: Matsukevich
authors.forename: P
authors.initials: P
authors.lastname: Maunz
authors.forename: S
authors.initials: S
authors.lastname: Olmschenk
authors.forename: D
authors.initials: D
authors.lastname: Hayes
authors.forename: L
authors.initials: L
authors.lastname: Luo
authors.forename: T A
authors.initials: TA
authors.lastname: Manning
authors.forename: C
authors.initials: C
authors.lastname: Monroe
references.citation: Phys Rev Lett. 2007 Jun 8;98(23):230501
references.pmid: 17677888
references.citation: Phys Rev Lett. 2009 Apr 10;102(14):140501
references.pmid: 19392420
references.citation: Phys Rev Lett. 2008 Apr 18;100(15):150404
references.pmid: 18518088
references.citation: Phys Rev Lett. 1991 Aug 5;67(6):661-663
references.pmid: 10044956
references.citation: Phys Rev Lett. 2005 Jul 1;95(1):010503
references.pmid: 16090597
references.citation: Nature. 2001 Feb 15;409(6822):791-4
references.pmid: 11236986
references.citation: Phys Rev Lett. 2007 Jan 5;98(1):010401
references.pmid: 17358458