# Quantum Thermodynamics II: The second law of thermodynamics

The second law of thermodynamics is one of the oldest and most tested physical laws. Unfortunately, it prevents us from doing very useful things, like creating a perpetual motion machine of the second kind. This law is extremely important for both theoretical and practical purposes and, because of that, it has been broadly studied since Clausius first formalized it in 1854. His formulation is now know as the Clausius statement:

“Heat can never pass from a colder to a warmer body without some other change, connected therewith, occurring at the same time”.

A different formulation comes from Lord Kelvin:

“It is impossible, by means of inanimate material agency, to derive mechanical effect from any portion of matter by cooling it below the temperature of the coldest of the surrounding objects”.

These two formulations can look different, but it is very easy to probe that a violation of one of them leads to a violation of the other one (see 1 or any other book on basic thermodynamics).

As usual in quantum thermodynamics, the relation between the second law of thermodynamics and quantum mechanics can be divided in two different problems. First, as quantum mechanics is the theory that describes the behavior of atoms and molecules the second law should be derivable from it. Second, it is not clear if a law stated from macroscopic principles is applicable to quantum systems at all.

The derivation of the second law from quantum mechanical principles has been attempted almost since quantum mechanics was born. In this direction, Von Neumann proved that if one basic principle of quantum mechanics, the uncertainty principle, is fully violated the second law can also be. The uncertainty principle states a limit to the knowledge that we can obtain for certain magnitudes of quantum systems. Von Neumann proved that if our knowledge about quantum systems is perfect we can create a machine that violates the second law 2. This derivation assumes a full capacity to distinguish quantum states, but this condition can be relaxed. More recently3, Hänggi and Wehner showed that any theory that allows more information than that allowed by the uncertainty principle, even an infinitesimal improvement, violates the second law. Again, the demonstration is based on the construction of a machine that creates an impossible process by separating two states beyond what quantum mechanics allows.

Even if the second law can be related to the uncertainty principle the second question remains. Can it be applied to quantum systems? Recently, there have been some attempts to use quantum mechanical resources to improve the efficiency of thermal machines beyond classical constrains. One example is the use of quantum coherence, which is the property of quantum systems of being in a superposition of different states, as a resource. Scully et al. describe 4 a revolutionary method to extract energy from a single heat bath was presented. This method apparently violates Clausius statement, but in fact it does not because the device requires an external energy input in order to create the coherence. Once it is created, coherence acts as the fuel of the machine (it is sometimes called “phaesonium”) and it allows extracting heat from the reservoir more efficiently and faster than a classical engine.

Different methods for using quantum properties in thermodynamic machines have been proposed during the last years56, but at the moment the second law is always preserved. On the other hand, a prove of its validity for quantum systems is lacking, and the possibility of creating a “quantum perpetual mobile of second kind” is still there.

## References

1. H. Callen. Thermodynamics and an introduction of thermostatistics. John Wiley and Sons (1960)
2. J. Von Neumann. Mathematical foundations of quantum mechanics. Princeton University Press. (1955)
3. Hänggi E. & Wehner S. (2013). A violation of the uncertainty principle implies a violation of the second law of thermodynamics, Nature Communications, 4 1670. DOI:
4. M.O. Scully, M.S. Zubairy, G.S Agarwal and H. Walther. Extracting work from a single heat bath via vanishing quantum coherence. Science 299 862 (2003)
5. H.T. Quan, Y.X. Liu, C.P. Sun and F. Nori. Quantum thermodynamic cycles and quantum heat engines. Physical Review E 76 031105 (2007)
6. K. Maruyama, F. Nori and V. Vedral. Colloquium: The physics of Maxwell’s demon and information. Reviews of Modern Physics 81 1 (2009)

## Written by

### Daniel Manzano

Daniel Manzano holds a PhD in Physics (Universidad de Granada). After a postdoc at the Institute for Quantum Optics and Quantum Information (Innsbruck) of the Austrian Academy of Sciences, he worked also as a postdoc at the Chemistry department of the Massachusetts Institute of Technology (Cambridge). He is now Talent Hub researcher at the University of Granada.

## Related Articles

“The derivation of the second law from quantum mechanical principles has been attempted almost since quantum mechanics was born..”

The two examples you cite here do not seem to derive the 2nd law from qm, but rather the othery way around. They follow the logical scheme

!p => !q

which is equivalent to

q => p

where p = uncertainty principle, q = second law

Hi David.

A derivation of the second law from quantum mechanical principles is still lacking. What is probed until now is that if you can violate the uncertainty principle you can therefore violate the second principle. On the other hand it is not probed that a violation of the second law give rise to a violation of the uncertainty principle.

Also, as the second law is a macroscopical law it is natural to think that it should come from microscopical principles, no the other way around. In any case the door is still open.

“On the other hand it is not probed that a violation of the second law give rise to a violation of the uncertainty principle.”

This is precisely my point about the logical scheme of argument.

Regarding microscopical principles, I’m not sure I agree with you here. My take on the 2nd law is that simple probability (and possibly assumptions about a low entropy early universe, see eg Loschmidt’s paradox) arguments are a sufficient condition