Are there fundamentally random processes in nature? Theoretical predictions, confirmed experimentally, such as the violation of Bell inequalities1, point to an affirmative answer. However, these results are based on the assumption that measurement settings can be chosen freely at random2, so assume the existence of perfectly free random processes from the outset. Here we consider a scenario in which this assumption is weakened and show that partially free random bits can be amplified to make arbitrarily free ones. More precisely, given a source of random bits whose correlation with other variables is below a certain threshold, we propose a procedure for generating fresh random bits that are virtually uncorrelated with all other variables. We also conjecture that such procedures exist for any non-trivial threshold. Our result is based solely on the no-signalling principle, which is necessary for the existence of free randomness.
At a glance
- 1987). Speakable and Unspeakable in Quantum Mechanics Ch. 2 (Cambridge Univ. Press,
- 1987). Speakable and Unspeakable in Quantum Mechanics Ch. 12 (Cambridge Univ. Press,
- La prévision: Ses lois logiques, ses sources subjectives. Ann. de l’Inst. Henri Poincaré 7, 1–68 (1937).
- Symmetry of large physical systems implies independence of subsystems. Nature Phys. 3, 645–649 (2007).
- Experimenter’s freedom in Bell’s theorem and quantum cryptography. Phys. Rev. A 73, 022104 (2006). , &
- Local deterministic model of singlet state correlations based on relaxing measurement independence. Phys. Rev. Lett. 105, 250404 (2010).
- How much measurement independence is needed to demonstrate nonlocality? Phys. Rev. Lett. 106, 100406 (2011). &
- Relaxed Bell inequalities and Kochen-Specker theorems. Phys. Rev. A 84, 022102 (2011).
- http://arxiv.org/abs/1105.1134 (2011). Free will and quantum mechanics. Preprint at
- Hidden-variable example based upon data rejection. Phys. Rev. D 2, 1418–1425 (1970).
- Wringing out better Bell inequalities. Ann. Phys. 202, 22–56 (1990). &
- No extension of quantum theory can have improved predictive power. Nature Commun. 2, 411 (2011). &
- No signalling and quantum key distribution. Phys. Rev. Lett. 95, 010503 (2005). , &
- The free will theorem. Found. Phys. 36, 1441–1473 (2006). &
- The strong free will theorem. Notices AMS 56, 226–232 (2009). &
- 434–440 (IEEE Computer Society, 1984). & in Proc. 25th IEEE Symposium on Foundations of Computer Science (FOCS-84)
- http://arxiv.org/abs/0911.3814. Quantum and Relativistic Protocols For Secure Multi-Party Computation PhD thesis, Univ. Cambridge (2007); available at
- Random numbers certified by Bell’s theorem. Nature 464, 1021–1024 (2010). et al.
- Private randomness expansion with untrusted devices. J. Phys. A 44, 095305 (2011). &
- http://arxiv.org/abs/0912.5514 (2009). , , & Trevisan’s extractor in the presence of quantum side information. Preprint at
- Extractors and pseudorandom generators. J. ACM 48, 860–879 (2001).
- Violation of local realism with freedom of choice. Proc. Natl Acad. Sci. USA 107, 19708 (2010). et al.
- 196–205 (Lecture Notes in Computer Science, IEEE Computer Society, 2004). , , & in Proc. 45th Annual IEEE Symposium on Foundations of Computer Science (FOCS-04)
- Maximally non-local and monogamous quantum correlations. Phys. Rev. Lett. 97, 170409 (2006). , &
- Hidden variable models for quantum theory cannot have any local part. Phys. Rev. Lett. 101, 050403 (2008). &
- Supplementary Information (552kb)