A simple observation that any insertions within the path integral are classical variables (Not operators) and hence, objects inside the path integral "commute" (is symmetric under exchange). Hence, any correlation function computed via the path integral procedure must be time ordered in nature.
My question is two-fold:
Is there any method which allows us to compute OTOC's using the path integral formalism?
Are there any examples in which path integral has been used to study Thermalization or Non-equilibrium Thermodynamics?