Our paper discussed in the previous blog post might prompt this question: Is there still a way to use Landauer’s principle to convert the free energy of a system to its bit erasure capacity? The answer is “yes”, which we can demonstrate with a simple argument.
Summary: The correct measure of bit-erasure capacity N for an isolated system is the negentropy, the difference between the system’s current entropy and the entropy it would have if allowed to thermalize with its current internal energy. The correct measure of erasure capacity for a constant-volume system with free access to a bath at constant temperature is the Helmholtz free energy (divided by , per Landauer’s principle), provided that the additive constant of the free energy is set such that the free energy vanishes when the system thermalizes to temperature . That is,
where and are the internal energy and entropy of the system if it were at temperature . The system’s negentropy lower bounds this capacity, and this bound is saturated when .
Traditionally, the Helmholtz free energy of a system is defined as , where and are the internal energy and entropy of the system and is the constant temperature of an external infinite bath with which the system can exchange energy.a (I will suppress the “Helmholtz” modifier henceforth; when the system’s pressure rather than volume is constant, my conclusion below holds for the Gibbs free energy if the obvious modifications are made.)
However, even in the case of fixed bath temperature, we cannot naively use Landauer’s principle to divide the free energy by to get the erasure capacity. Indeed, the free energy definition of above is only meaningful up to an additive constant, and most traditional results are about free-energy differences as the properties of the system change. More specifically, when the system evolves from one state to the next, the free energy difference tells us how much work must have been done by the systemb : .
In order to fix the absolute value of the free energy, we want to set it to zero when when the system has equilibrated to the same temperature as the bath, i.e., when the system has ceased to be useful for powering erasures by exploiting either internal system resources or the system-bath differential. (Recall that generically the free energy is well defined even when the system isn’t internally thermalized and therefore doesn’t have a well-defined temperature.) Thus we want to define
where and are the energy and entropy of the system if it were thermalized to temperature . (Note that and cannot be trivially inferred from macroscopic variables of the system when it’s in an arbitrary state since they depend on material properties like the heat capacity.) In particular, this free energy does not vanish when the system is in its ground state, which you might have thought if you took the common definition to be meaningful in absolute value rather than just for differences. This makes sense because we can extract work (and hence perform bit erasures) when the system is hotter or colder than the bath.
With our new definition it’s easy to check directly from the 1st and 2nd law that Landauer’s principle can be used to determine the erasure capacity of the system-bath combination. When brought from some initial state to a final (bath-thermalized) state, the system’s entropy increases by . If bit erasures are made on a memory tape, the tape’s entropy changes by bits. So the total amount of entropy pushed into the bath is (at least) by the 2nd law, requiring minimum energy . The latter quantity lower bounds , the system’s internal energy change, by the 1st law. Re-arranging that bound defines the erasure capacity: .
To see this achieved explicitly in the case of a system initially thermalized to some different temperature, just
- insert a Carnot engine between the system and the bath;
- insert a bit eraser (Szilard engine) that uses the resulting work to pump entropy from the memory tape to the systemc ; and
- run the engine and eraser until the system thermalizes to the bath temperature .
(↵ returns to text)
- Here, there is a factor of Boltzmann’s constant in front of because I am measuring the (absolute) entropy in dimensionless bits rather than in units of energy per temperature. That way we can write things like .↵
- Or on the system, depending on the sign.↵
- Or from the memory tape to the bath — it doesn’t matter.↵