path-integral formulation