The characteristic function of the work performed by an external time-dependent force on a Hamiltonian quantum system is identified with the time-ordered correlation function of the exponentiated system's Hamiltonian. A similar expression is obtained for the averaged exponential work which is related to the free energy difference of equilibrium systems by the Jarzynski work theorem

In 1961, Rolf Landauer argued that the erasure of information is a dissipative process. A minimal quantity of heat, proportional to the thermal energy and called the Landauer bound, is necessarily produced when a classical bit of information is deleted. A direct consequence of this logically irreversible transformation is that the entropy of the environment increases by a finite amount. Despite its fundamental importance for information theory and computer science, the erasure principle has not been verified experimentally so far, the main obstacle being the difficulty of doing single-particle experiments in the low-dissipation regime. Here we experimentally show the existence of the Landauer bound in a generic model of a one-bit memory. Using a system of a single colloidal particle trapped in a modulated double-well potential, we establish that the mean dissipated heat saturates at the Landauer bound in the limit of long erasure cycles. This result demonstrates the intimate link between information theory and thermodynamics. It further highlights the ultimate physical limit of irreversible computation.

We derive a Margolus-Levitin-type bound on the minimal evolution time of an arbitrarily driven open quantum system. We express this quantum speed limit time in terms of the operator norm of the nonunitary generator of the dynamics. We apply these results to the damped Jaynes-Cummings model and demonstrate that the corresponding bound is tight. We further show that non-Markovian effects can speed up quantum evolution and therefore lead to a smaller quantum speed limit time.