Quantum fluctuation theorem: Can we go from micro to meso?

Quantum extensions of the Gallavotti-Cohen fluctuation theorem (FT) for the entropy production have been discussed by several authors. There is a practical gap between microscopic forms of FT and mesoscopic (i.e. not purely Hamiltonian) forms for open systems. In a microscopic setup, it is easy to state and to prove FT. In a mesoscopic setup, it is difficult to identify fluctuations of the entropy production. (This difficulty is absent in the classical case.) We discuss a particular mesoscopic model: a Lindblad master equation, in which we state FT and, more importantly, connect it rigorously with the underlying microscopic FT. We also remark that FT is satisfied by the Lesovik-Levitov formula for statistics of charge transport.