Wigner distribution functions for complex dynamical systems: A path integral approach

► We construct the propagator for the Wigner function using path integrals. ► We show how to calculate the reduced Wigner function of a system coupled to a bath. ► We explicitly solve the propagator in the Caldeira-Leggett model.