Fluctuation theorem for nonunital dynamics

We derive an expression for the fluctuations of the energy in an open quantum system undergoing a nontrivial evolution. The statistics of energy are constructed by means of a two-point measurement process when the system has been evolved by a completely positive and trace-preserving map. The statistics depend only on the state of the system and the dynamical map generating the evolution. In particular, we consider the Tasaki-Crooks fluctuation theorem, where a unitary evolution is replaced by a quantum channel. Our construction of a backward process using an ancilla sheds important light on the mathematical structure at play when nonunital channels are considered in quantum thermodynamics.