The Feynman-Kac formula in deformation quantization

We introduce the Feynman-Kac formula within the deformation quantization program. Constructing on previous work it is shown that, upon a Wick rotation, the ground state energy of any prescribed physical system can be obtained from the asymptotic limit of the phase space integration of the star exponential of the Hamiltonian operator. Some examples of this correspondence are provided showing a novel and efficient way of computing the ground state energy for some physical models.