Quantum version of free-energy-irreversible-work relations

We give a quantum version of the Jarzynski relation between the distribution of work done over a certain time-interval on a system and the difference of equilibrium free energies. The main ingredient is the identification of work depending on the quantum history of the system and the proper definition of various quantum ensembles over which the averages should be made. We also discuss a number of different regimes that have been considered by other authors and which are unified in the present set-up. In all cases, quantum or classical, it is a general relation between heat and time-reversal that makes the Jarzynski relation so universally valid.