Wednesday, 30 September 2020

quantum field theory - Time-ordered product vs path integral


Suppose we have the Green function $$ G(k) \equiv \tag 1\int d^4x e^{ikx}\langle 0| T\left(\partial^{x}_{\mu}A^{\mu}(x)B(0)\right)|0\rangle , $$ which in path integral approach is equal to $$ \tag 2 G(k) \equiv \int d^4x e^{ikx}\int \left[\prod_{i}D\Psi_{i}\right] \partial_{\mu}^{x}A^{\mu}(x)B(0)e^{iS}. $$ Since in Eq. $(2)$ all quantities are classical, then it seems that I can rewrite in a form $$ \tag 3 G(k) \equiv k_{\mu}\Pi^{\mu}(k), $$ where $$ \Pi^{\mu}(k) \equiv \int d^4x e^{ikx} \int \left[\prod_{i}D\Psi_{i}\right]A^{\mu}(x)B(0)e^{iS} \equiv \int d^4x e^{ikx}\langle 0| T(A_{\mu}(x)B(0))|0\rangle. $$ But in Eq. $(1)$ $T$-ordering is present, and quantities $A, B$ are quantum operators. So I can't reduce it to Eq. $(3)$: $$ T(\partial_{\mu}A^{\mu}(x)B(0)) \equiv \theta (x_{0})\partial_{\mu}A^{\mu}(x)B(0) \pm \theta (-x_{0})B(0)\partial_{\mu}A^{\mu}(x) = $$ $$ =\partial_{\mu}T(A^{\mu}(x)B(0)) + \delta (x_{0})[A(0,\mathbf x), B(0)]_{\pm} \Rightarrow $$ $$ G(k) \equiv k_{\mu}\Pi^{\mu}(k) \pm \int d^{3}\mathbf x e^{-i\mathbf k \cdot \mathbf x}\langle 0|[A(0, \mathbf x), B(0)]_{\pm}|0\rangle $$ But I can't see why formally Eq.$(3)$ is incorrect. Moreover, I don't understand how nonzero commutator in path integral approach may appear, since all quantities are classical, and (anti)commutators are always zero. I expect that because path integral contains information about all symmetries of a given theory, the commutators will be automatically replaced on Poisson brackets, but I don't see how.


Could you explain please?




Answer



Well, in a nutshell the issue is the following. Recall that the path integral formulation [with a $\mathbb{Z}_2$-graded (super)commutative integrand] is derived from the non-commutative operator formalism via a time-slicing procedure. This means that there is an implicit time-order prescription in the definition of the path integral, which manifests itself everytime we pull operators in and out of the path integral. In particular, this is so for a time-derivative, because a time-derivative interferes in a non-trivial way with the time-slicing procedure.


See this, this and this Phys.SE posts for related discussions.


No comments:

Post a Comment

Understanding Stagnation point in pitot fluid

What is stagnation point in fluid mechanics. At the open end of the pitot tube the velocity of the fluid becomes zero.But that should result...