Work fluctuation theorem for a classical circuit coupled to a quantum conductor

We propose a setup for a quantitative test of the quantum fluctuation theorem. It consists of a quantum conductor, driven by an external voltage source, and a classical inductor-capacitor circuit. The work done on the system by the voltage source can be expressed by the classical degrees of freedom of the LC circuit, which are measurable by conventional techniques. In this way, the circuit acts as a classical detector to perform measurements of the quantum conductor. We prove that this definition is consistent with the work fluctuation theorem. The system under consideration is effectively described by a Langevin equation with non-Gaussian white noise. Our analysis extends the proof of the fluctuation theorem to this situation.