Energy conservation and fluctuation theorem are incompatible for quantum work

Abstract: Characterizing fluctuations of work in coherent quantum systems is notoriously problematic. Here we reveal the ultimate source of the problem by proving that ($\mathfrak{A}$) energy conservation and ($\mathfrak{B}$) the Jarzynski fluctuation theorem cannot be observed at the same time. Condition $\mathfrak{A}$ stipulates that, for any initial state of the system, the measured average work must be equal to the difference of initial and final average energies, and that untouched systems must exchange deterministically zero work. Condition $\mathfrak{B}$ is only for thermal initial states and encapsulates the second law of thermodynamics. We prove that $\mathfrak{A}$ and $\mathfrak{B}$ are incompatible for work measurement schemes that are differentiable functions of the state and satisfy two mild structural constraints. This covers all existing schemes and leaves the theoretical possibility of jointly observing $\mathfrak{A}$ and $\mathfrak{B}$ open only for a narrow class of exotic schemes. For the special but important case of state-independent schemes, the situation is much more rigid: we prove that, essentially, only the two-point measurement scheme is compatible with $\mathfrak{B}$.