 Euclidean path integral

A path integral with weight $e^{-S_E}$ uses the Euclidean action obtained by Wick rotation. Bosonic convergence requires appropriate positivity and boundary conditions.