Letter | Published:

The thermodynamic meaning of negative entropy

Nature volume 474, pages 6163 (02 June 2011) | Download Citation

  • An Addendum to this article was published on 24 August 2011

Abstract

The heat generated by computations is not only an obstacle to circuit miniaturization but also a fundamental aspect of the relationship between information theory and thermodynamics. In principle, reversible operations may be performed at no energy cost; given that irreversible computations can always be decomposed into reversible operations followed by the erasure of data1,2, the problem of calculating their energy cost is reduced to the study of erasure. Landauer’s principle states that the erasure of data stored in a system has an inherent work cost and therefore dissipates heat3,4,5,6,7,8. However, this consideration assumes that the information about the system to be erased is classical, and does not extend to the general case where an observer may have quantum information about the system to be erased, for instance by means of a quantum memory entangled with the system. Here we show that the standard formulation and implications of Landauer’s principle are no longer valid in the presence of quantum information. Our main result is that the work cost of erasure is determined by the entropy of the system, conditioned on the quantum information an observer has about it. In other words, the more an observer knows about the system, the less it costs to erase it. This result gives a direct thermodynamic significance to conditional entropies, originally introduced in information theory. Furthermore, it provides new bounds on the heat generation of computations: because conditional entropies can become negative in the quantum case, an observer who is strongly correlated with a system may gain work while erasing it, thereby cooling the environment.

Access optionsAccess options

Rent or Buy article

Get time limited or full article access on ReadCube.

from$8.99

All prices are NET prices.

References

  1. 1.

    Logical reversibility of computation. IBM J. Res. Develop. 17, 525–532 (1973)

  2. 2.

    & Conservative logic. Int. J. Theor. Phys. 21, 219–253 (1982)

  3. 3.

    Dissipation and heat generation in the computing process. IBM J. Res. Develop. 5, 148–156 (1961)

  4. 4.

    The thermodynamics of computation — a review. Int. J. Theor. Phys. 21, 905–940 (1982)

  5. 5.

    & Maxwell’s Demon: Entropy, Information, Computing (Taylor and Francis, 1990)

  6. 6.

    & Maxwell’s Demon 2: Entropy, Classical and Quantum Information, Computing (Taylor and Francis, 2002)

  7. 7.

    & The physics of forgetting: Landauer’s erasure principle and information theory. Contemp. Phys. 42, 25–60 (2001)

  8. 8.

    , & The physics of Maxwell’s demon and information. Rev. Mod. Phys. 81, 1–23 (2009)

  9. 9.

    Notes on Landauer’s principle, reversible computation and Maxwell’s demon. Stud. Hist. Phil. Mod. Phys. 34, 501–510 (2003)

  10. 10.

    , , & Thermodynamics of quantum information systems — Hamiltonian description. Open Syst. Inf. Dyn. 11, 205–217 (2004)

  11. 11.

    Information erasure. Phys. Rev. A 61, 062314 (2000)

  12. 12.

    Heat generation required by information erasure. Phys. Rev. E 52, 3495–3499 (1995)

  13. 13.

    & in Proc. 31st Annu. ACM Symp. Theory Comput. (eds , & ) 322–329 (Association for Computing Machinery, 1999)

  14. 14.

    , & Partial quantum information. Nature 436, 673–676 (2005)

  15. 15.

    , , , & The uncertainty principle in the presence of quantum memory. Nature Phys. 6, 659–662 (2010)

  16. 16.

    The Decoupling Approach to Quantum Information Theory. PhD thesis, Univ. de Montréal. (2009)

  17. 17.

    , , & Inadequacy of von Neumann entropy for characterising extractable work. N. J. Phys.. 13, 053015 (2011)

  18. 18.

    , , & Thermodynamical approach to quantifying quantum correlations. Phys. Rev. Lett. 89, 180402 (2002)

  19. 19.

    , & Separability of mixed states: necessary and sufficient conditions. Phys. Lett. A 223, 1–8 (1996)

  20. 20.

    Einselection and decoherence from an information theory perspective. Ann. Phys. 9, 853–862 (2000)

  21. 21.

    & Quantum discord: a measure of the quantumness of correlations. Phys. Rev. Lett. 88, 017901 (2000)

  22. 22.

    , & Modi, K. Piani, M. & Winter, A. Operational interpretations of quantum discord. Phys. Rev. A 83, 032324 (2011)

  23. 23.

    , , , & Unified view of quantum and classical correlations. Phys. Rev. Lett. 104, 080501 (2010)

  24. 24.

    Quantum discord and Maxwell’s demons. Phys. Rev. A 67, 012320 (2003)

  25. 25.

    & Black holes as mirrors: quantum information in random subsystems. J. High Energy Phys. 09, 120 (2007)

  26. 26.

    Security of Quantum Key Distribution. PhD thesis, ETH Zurich. (2005)

  27. 27.

    , & A fully quantum asymptotic equipartition property. IEEE Trans. Inf. Theory 55, 5840–5847 (2009)

  28. 28.

    , & Duality between smooth min- and max-entropies. IEEE Trans. Inf. Theory 56, 4674–4681 (2010)

Download references

Acknowledgements

We thank R. Colbeck for discussions. We acknowledge support from the Swiss National Science Foundation (L.d.R., J.A., R.R. and O.D.; grant no. 200021-119868 and the NCCR QSIT), the Portuguese Fundação para a Ciência e Tecnologia (L.d.R.; grant no. SFRH/BD/43263/2008), the European Research Council (R.R.; grant no. 258932) and Singapore’s National Research Foundation and Ministry of Education (V.V.).

Author information

Author notes

    • Lídia del Rio
    •  & Johan Åberg

    These authors contributed equally to this work.

Affiliations

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

    • Lídia del Rio
    • , Johan Åberg
    • , Renato Renner
    •  & Oscar Dahlsten
  2. Clarendon Laboratory, University of Oxford, Oxford OX1 3PU, UK

    • Oscar Dahlsten
    •  & Vlatko Vedral
  3. Centre for Quantum Technologies, National University of Singapore, 117543 Singapore

    • Oscar Dahlsten
    •  & Vlatko Vedral
  4. Department of Physics, National University of Singapore, 117542 Singapore

    • Vlatko Vedral

Authors

  1. Search for Lídia del Rio in:

  2. Search for Johan Åberg in:

  3. Search for Renato Renner in:

  4. Search for Oscar Dahlsten in:

  5. Search for Vlatko Vedral in:

Contributions

The main ideas were developed by all authors. L.d.R., J.A. and R.R. formulated and proved the main technical claims. L.d.R. and J.A. wrote the manuscript.

Competing interests

The authors declare no competing financial interests.

Corresponding author

Correspondence to Lídia del Rio.

Supplementary information

PDF files

  1. 1.

    Supplementary Information

    This file contains Supplementary Text and Data 1-5, Supplementary Figures 1-2 with legends and additional references.

About this article

Publication history

Received

Accepted

Published

DOI

https://doi.org/10.1038/nature10123

Further reading

Comments

By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.