Decoherence of semiclassical Wigner functions

The Lindblad master equation governs the general Markovian evolution of a density operator for an open quantum system. Semiclassical Wigner functions represent density operators in phase space in terms of chords on a classical manifold, so that the amplitude and phase of each chord contribution is classically defined. Inserting such a Wigner function into a phase space version of the master equation, its explicit evolution is derived in the absence of dissipation. There results a simple extension of the unitary evolution of the semiclassical Wigner function, which does not affect the phase of each chord contribution, while dampening its amplitude exponentially. Projecting the Wigner function on to an orthogonal position or momentum basis, the dampening of long chords emerges as the exponential decay of off-diagonal elements of the density matrix