Free randomness can be amplified

Journal name:
Nature Physics
Volume:
8,
Pages:
450–453
Year published:
DOI:
doi:10.1038/nphys2300
Received
Accepted
Published online

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

Figures

  1. Illustration of the bipartite set-up.
    Figure 1: Illustration of the bipartite set-up.

    Spacelike-separated measurements are carried out using devices denoted D. The choices of measurement, A and B, are derived from bits generated by two sources of weak randomness, denoted S. These bits are only partially free; that is, they may be correlated (represented by the dashed line) with each other and with some other variables W (to be interpreted as parameters provided by a possible higher theory), which may also influence the supply of states being measured. By exploiting correlations between the outcomes, X and Y, we show that, in spite of the lack of perfectly free randomness to choose settings, the outcome X is arbitrarily close to being uniform and uncorrelated with W.

  2. Typical causal structure of a protocol.
    Figure 2: Typical causal structure of a protocol.

    A randomness amplification protocol for generating a random bit R may be initiated at a particular location and time represented by a spacetime point E. Depending on the protocol, information correlated to R may be generated at various locations within the causal future of E, depicted by the blue region. Any point in this region may therefore potentially be in the causal future of R. The bit R satisfies our definition of being free if it is uncorrelated with anything outside this region, indicated by the variable W. The protocol may invoke sources of random bits S1 and S2 at many locations. Technically, the only requirement on the causal structure is that the causal futures of each of these source bits (pink regions) lie in the blue region.

References

  1. Bell, J. S. Speakable and Unspeakable in Quantum Mechanics Ch. 2 (Cambridge Univ. Press, 1987).
  2. Bell, J. S. Speakable and Unspeakable in Quantum Mechanics Ch. 12 (Cambridge Univ. Press, 1987).
  3. De Finetti, B. La prévision: Ses lois logiques, ses sources subjectives. Ann. de l’Inst. Henri Poincaré 7, 168 (1937).
  4. Renner, R. Symmetry of large physical systems implies independence of subsystems. Nature Phys. 3, 645649 (2007).
  5. Kofler, J., Paterek, T. & Brukner, C. Experimenter’s freedom in Bell’s theorem and quantum cryptography. Phys. Rev. A 73, 022104 (2006).
  6. Hall, M. J. W. Local deterministic model of singlet state correlations based on relaxing measurement independence. Phys. Rev. Lett. 105, 250404 (2010).
  7. Barrett, J. & Gisin, N. How much measurement independence is needed to demonstrate nonlocality? Phys. Rev. Lett. 106, 100406 (2011).
  8. Hall, M. J. W. Relaxed Bell inequalities and Kochen-Specker theorems. Phys. Rev. A 84, 022102 (2011).
  9. Lorenzo, A. D. Free will and quantum mechanics. Preprint at http://arxiv.org/abs/1105.1134 (2011).
  10. Pearle, P. M. Hidden-variable example based upon data rejection. Phys. Rev. D 2, 14181425 (1970).
  11. Braunstein, S. L. & Caves, C. M. Wringing out better Bell inequalities. Ann. Phys. 202, 2256 (1990).
  12. Colbeck, R. & Renner, R. No extension of quantum theory can have improved predictive power. Nature Commun. 2, 411 (2011).
  13. Barrett, J., Hardy, L. & Kent, A. No signalling and quantum key distribution. Phys. Rev. Lett. 95, 010503 (2005).
  14. Conway, J. & Kochen, S. The free will theorem. Found. Phys. 36, 14411473 (2006).
  15. Conway, J. H. & Kochen, S. The strong free will theorem. Notices AMS 56, 226232 (2009).
  16. Santha, M. & Vazirani, U. V. in Proc. 25th IEEE Symposium on Foundations of Computer Science (FOCS-84) 434440 (IEEE Computer Society, 1984).
  17. Colbeck, R. Quantum and Relativistic Protocols For Secure Multi-Party Computation PhD thesis, Univ. Cambridge (2007); available at http://arxiv.org/abs/0911.3814.
  18. Pironio, S. et al. Random numbers certified by Bell’s theorem. Nature 464, 10211024 (2010).
  19. Colbeck, R. & Kent, A. Private randomness expansion with untrusted devices. J. Phys. A 44, 095305 (2011).
  20. De, A., Portmann, C., Vidick, T. & Renner, R. Trevisan’s extractor in the presence of quantum side information. Preprint at http://arxiv.org/abs/0912.5514 (2009).
  21. Trevisan, L. Extractors and pseudorandom generators. J. ACM 48, 860879 (2001).
  22. Scheidl, T. et al. Violation of local realism with freedom of choice. Proc. Natl Acad. Sci. USA 107, 19708 (2010).
  23. Dodis, Y., Ong, S. J., Prabhakaran, M. & Sahai, A. in Proc. 45th Annual IEEE Symposium on Foundations of Computer Science (FOCS-04) 196205 (Lecture Notes in Computer Science, IEEE Computer Society, 2004).
  24. Barrett, J., Kent, A. & Pironio, S. Maximally non-local and monogamous quantum correlations. Phys. Rev. Lett. 97, 170409 (2006).
  25. Colbeck, R. & Renner, R. Hidden variable models for quantum theory cannot have any local part. Phys. Rev. Lett. 101, 050403 (2008).

Download references

Author information

Affiliations

  1. Institute for Theoretical Physics, ETH Zurich, 8093 Zurich, Switzerland

    • Roger Colbeck &
    • Renato Renner
  2. Perimeter Institute for Theoretical Physics, 31 Caroline Street North, Waterloo, Ontario N2L 2Y5, Canada

    • Roger Colbeck

Contributions

Both authors contributed equally to this work.

Competing financial interests

The authors declare no competing financial interests.

Corresponding author

Correspondence to:

Author details

Supplementary information

PDF files

  1. Supplementary Information (552kb)

    Supplementary Information

Additional data