quantum field theory - Derivative interaction: $mathcal{H}_mathrm{int}neq - mathcal{L}_mathrm{int}$. Question about Feynman Rules

As we known, if there is time derivative interaction in $\mathcal L_\mathrm{int}$, then $\mathcal{H}_\mathrm{int}\neq -\mathcal{L}_\mathrm{int}$. For example, Scalar QED,

$$\begin{aligned} \mathcal{L}_\mathrm{int}&= -ie \phi^\dagger(\partial_\mu \phi) A^\mu+ie(\partial_\mu \phi^\dagger) \phi A^\mu +e^2\phi^\dagger \phi A_\mu A^\mu \\ \mathcal{H}_\mathrm{int}&=-\mathcal{L}_\mathrm{int} -e^2 \phi^\dagger\phi (A^0)^2 \end{aligned}$$ There is the last term breaking Lorentz invariance.

Derivation:

$$\begin{eqnarray} \mathcal{L}&=&(\partial_\mu+i e A_\mu)\phi (\partial^\mu-i e A^\mu)\phi^\dagger-m^2\phi^\dagger \phi\\ &=&\mathcal{L}_0^\mathrm{KG}+\mathcal{L}_\mathrm{int} \end{eqnarray}$$ where $$\mathcal{L}_0^\mathrm{KG}=\partial_\mu\phi \partial^\mu\phi^\dagger-m^2\phi^\dagger \phi$$ $$\mathcal{L}_\mathrm{int}= -ie \phi^\dagger(\partial_\mu \phi) A^\mu+ie(\partial_\mu \phi^\dagger) \phi A^\mu +e^2\phi^\dagger \phi A_\mu A^\mu$$

$$\pi=\frac{\partial \mathcal{ L}}{\partial(\partial_0 \phi)}=\partial^0\phi^\dagger-i e A^0 \phi^\dagger$$

$$\pi^\dagger=\frac{\partial \mathcal{ L}}{\partial(\partial_0 \phi^\dagger)}=\partial^0\phi+i e A^0 \phi$$

$$\begin{eqnarray} \mathcal{H}&=&\pi \dot\phi+\pi^\dagger \dot\phi^\dagger-\mathcal{L} \\ &=&\pi \dot\phi+\pi^\dagger \dot\phi^\dagger-(\dot\phi^\dagger\dot\phi-\nabla\phi^\dagger \cdot\nabla\phi-m^2 \phi^\dagger\phi)-\mathcal{L}_\mathrm{int} \\ &=&\pi(\pi^\dagger-ieA^0\phi)+\pi^\dagger (\pi +ieA^0\phi^\dagger)-((\pi^\dagger-ieA^0\phi)(\pi +ieA^0\phi^\dagger)-\nabla\phi^\dagger \cdot\nabla\phi-m^2 \phi^\dagger\phi)-\mathcal{L}_\mathrm{int}\\ &=&(\pi^\dagger \pi + \nabla\phi^\dagger \cdot\nabla\phi+m^2 \phi^\dagger\phi)-\mathcal{L}_\mathrm{int} -e^2 \phi^\dagger\phi (A^0)^2 \\ &=&\mathcal{H}_0^\mathrm{KG}+\mathcal{H}_\mathrm{int} \end{eqnarray}$$

My questions:

1. 
   

   The Feynman Rules for Scalar QED is here. But we see there is an extra term in interaction Hamitonian $-e^2 \phi^\dagger\phi (A^0)^2$, according to Wick's theorem, it should have some contribution to Feynman Rule which does not occur in this textbook. I've computed this vertex and I find it's nonzero. Why there is no Feynman rules for such Lorentz breaking term?

   
   



2. 
   

   As we known, for path integral quantization, the coordinate space path integral:

   $$Z_1= \int D q\ \exp\left(\int dt\ L(q,\dot q) \right)$$ And phase space path integral: $$Z_2= \int D p\, D q\ \exp\left(\int dt\ p\dot q -H(p,q) \right)$$ Only for this type Lagrangian $L=\dot q^2-V(p)$, then $Z_1=Z_2$. (The Feynman Rules for Scalar QED in textbook is same as what is derived by coordinate space path integral. ) I consider the 2nd method of path integral quantization is always equivalent to canonical quantization. So for Scalar QED, are these two kinds of path integral quantization same? How to prove?
   
   


3. For non-abelian gauge theory, there is derivative interaction even in gauge field itself. It seems that all textbooks use $Z_1$ to get the Feynman rules. Are these two kinds of path integral quantization same in non-abelian gauge field? If not same, why we choose the coordinate space path integral? It's the axiom because it coincides with experiment?

Answer

AccidentalFourierTransform has already given a good answer. Here we will provide more details & justifications for a class of non-gauge derivative interactions.

1. 
   

   We start from a Lagrangian action,

   $$S[Q]~=~\int\! dt~ L~=~S_0[Q]+S_{\rm int}[Q], \qquad L~=~ L_0(Q,\dot{Q})+L_{\rm int}(Q,\dot{Q}),$$ $$S_0[Q]~=~\int\! dt~ L_0(Q,\dot{Q}), \qquad L_0(Q,\dot{Q})~=~\frac{1}{2}\dot{Q}^2~=~\frac{1}{2} \dot{Q}^i G_{ij} \dot{Q}^j,$$ $$S_{\rm int}[Q]~=~\int\! dt~ L_{\rm int}(Q,\dot{Q}), \qquad L_{\rm int}(Q,\dot{Q})~=~A_i\dot{Q}^i - V,$$ $$G_{ij}~=~G_{ij}(Q), \qquad A_i~=~A_i(Q), \qquad V~=~V(Q), \tag{1}$$ which is quadratic in velocities. We shall assume that the Lagrangian action (1) is manifestly Lorentz covariant. [We are using DeWitt condensed notation$^1$ to suppress spatial (but not temporal) dimensions, which may superficially obscure the manifest Lorentz covariance. So e.g. the $\frac{1}{2}\dot{Q}^2$ term in $L_0$ is implicitly accompanied by a $\frac{1}{2}(\nabla Q)^2$ term in $V$, and so forth.] The canonical momentum read $$P_i~=~G_{ij}\dot{Q}^j+A_i.\tag{2}$$ We stress that the corresponding Hamiltonian action is also Lorentz covariant, $$S_H[Q,P]~=~\int\! dt~ L_H~=~S_{H,0}[Q,P]+S_{H,{\rm int}}[Q,P],$$ $$L_H~=~P_i \dot{Q}^i-H(Q,P), \qquad H(Q,P)~=~H_0(Q,P)+H_{\rm int}(Q,P),$$ $$S_{H,0}[Q,P]~=~\int\! dt~ L_{H,0}, \qquad L_{H,0} ~=~P_i \dot{Q}^i-H_0(Q,P), \qquad H_0(Q,P)~=~\frac{1}{2}P^2~=~\frac{1}{2}P_i G^{ij}P_j,$$ $$S_{H,{\rm int}}[Q,P] ~=~-\int\! dt~H_{\rm int}(Q,P), \qquad H_{\rm int}(Q,P)~=~ -A^iP_i + \color{red}{\frac{1}{2} A^2}+V,\tag{3}$$ despite the non-covariant term $A^2:=A_iG^{ij}A_j$ marked in red in eq. (3).
   
   
   

   We mention (for a later instructive comparison with eq. (6) below) that

   $$L_{\rm int}(Q,\dot{Q})+H_{\rm int}(Q,P) ~\stackrel{(2)}{=}~ - \color{red}{\frac{1}{2} A^2(Q)},\tag{4}$$ although eq. (4) will not be used in what follows. Eq. (4) corresponds to OP's second formula.
   
   

   So far we have only discussed the classical theory. In the corresponding quantum mechanical operator formulation, the operators $\hat{Q}^i$ and $\hat{P}_j$ are in the Heisenberg picture.

   
   


2. 
   

   We next consider the interaction picture. Here velocity and momentum are related via

   $$\dot{q}^i~=~\frac{\partial H_0(q,p)}{\partial p_i}~=~G^{ij}p_j,\tag{5}$$ which should be compared with the corresponding relation (2) in the Heisenberg picture. Eq. (5) has two consequences.
   
   

   Firstly, we derive the somewhat surprising relation

   $$L_{\rm int}(q,\dot{q})+H_{\rm int}(q,p)~\stackrel{(5)}{=}~\color{red}{\frac{1}{2} A^2(q)},\tag{6}$$ which has the opposite sign of eq. (4)! This sign of eq. (6) will be important in what follows.
   
   

   Secondly, eq. (5) implies the equal-time CCR

   $$[\hat{q}^i(t),\dot{\hat{q}}^j(t)]~\stackrel{(5)}{=}~i\hbar~ G^{ij} {\bf 1}. \tag{7}$$ We derive that the covariant time-ordering is $$T_{\rm cov} \{\dot{\hat{q}}^i(t_1)\dot{\hat{q}}^j(t_2)\}~\equiv~\frac{d}{dt_1}\frac{d}{dt_2} T \{\hat{q}^i(t_1)\hat{q}^j(t_2)\}~\stackrel{(7)}{=}~T \{\dot{\hat{q}}^i(t_1)\dot{\hat{q}}^j(t_2)\} +\color{red}{i\hbar~ G^{ij} {\bf 1} \delta(t_1\!-\!t_2)}. \tag{8}$$ We have marked the non-covariant term in red.
   
   

   Consider next a Wilson line

   $$\exp\left\{ \frac{i}{\hbar}\int\!dt~ A_i(q)\dot{q}^i \right\}. \tag{9}$$ From Wick's theorem, eq. (8) exponentiates to $$T_{\rm cov} \exp\left\{ \frac{i}{\hbar}\int\!dt~ A_i(\hat{q})\dot{\hat{q}}^i \right\}~\stackrel{(8)}{=}~ T \exp\left\{ \frac{i}{\hbar}\int\!dt\left( A_i(\hat{q})\dot{\hat{q}}^i -\color{red}{\frac{1}{2} A^2(\hat{q})} \right)\right\} . \tag{10}$$
   
   


3. 
   
   

   We are now ready to consider$^2$ the Hamiltonian phase space path integral/partition function

   $$Z_H~\sim~\int\! {\cal D}Q~{\cal D}P~ \exp\left\{ \frac{i}{\hbar} S_H[Q,P]\right\}$$ $$~\sim~\langle \Omega | T_{\rm cov} \exp\left\{ - \frac{i}{\hbar}\int\!dt~ H(\hat{Q},\hat{P})\right\}| \Omega \rangle$$ $$~=~\langle \Omega | T \exp\left\{ - \frac{i}{\hbar}\int\!dt~ H(\hat{Q},\hat{P})\right\}| \Omega \rangle$$ $$~\sim~\langle \omega | T_{\rm cov} \exp\left\{ - \frac{i}{\hbar}\int\!dt~ H_{\rm int}(\hat{q},\hat{p})\right\}| \omega \rangle$$ $$~=~\langle \omega | T \exp\left\{ - \frac{i}{\hbar}\int\!dt~ H_{\rm int}(\hat{q},\hat{p})\right\}| \omega \rangle$$ $$~\stackrel{(6)}{=}~\langle \omega | T \exp\left\{ \frac{i}{\hbar}\int\!dt\left( L_{\rm int}(\hat{q},\dot{\hat{q}})-\color{red}{\frac{1}{2} A^2(\hat{q})} \right)\right\}| \omega \rangle$$ $$~\stackrel{(10)}{=}~\langle \omega | T_{\rm cov} \exp\left\{ \frac{i}{\hbar}\int\!dt~ L_{\rm int}(\hat{q},\dot{\hat{q}})\right\}| \omega \rangle ,\tag{11}$$ where the $\sim$ symbol denotes equality up to a constant normalization factor. We find that two effects cancel, the non-covariant term in the interaction Hamiltonian (6) and the Wick's theorem (10), so that the partition function (11) is Lorentz covariant.
   
   


4. 
   

   We mention for completeness an interaction picture phase space path integral

   $$Z_H~\stackrel{(11)}{\sim}~ \int\! {\cal D}q~{\cal D}p~ \exp\left\{ \frac{i}{\hbar} \left(S_{H,0}[q,p] +\int\!dt~ L_{\rm int}(\hat{q},\dot{\hat{q}}) \right)\right\} .\tag{12}$$
   
   


5. 
   

   The naive Lagrangian path integral

   $$Z_L~\sim~\int\! {\cal D}Q \exp\left\{ \frac{i}{\hbar} S[Q]\right\} \tag{13}$$ may differ from the Hamiltonian phase space path integral (11) because it lacks the determinant from the Gaussian integration over momenta $P_j$. In practice, it is often implicitly implied that the path integral measure ${\cal D}Q$ in eq. (13) contains this determinant factor by definition. In other words, the definition of $Z_L$ is tweaked to agree with $Z_H$. See also this related Phys.SE post.
   
   

References:

1. 
   

   M.D. Schwartz, QFT and the Standard Model, 2014; Section 9.2.

   
   


2. 
   

   C. Itzykson & J.B. Zuber, QFT, 1985; Subsection 6-1-4.

   
   


3. 
   

   S. Weinberg, Quantum Theory of Fields, Vol. 1, 1995; Sections 7.2, 7.5 & 9.3.

   
   

--

$^1$ Notation: We will suppress spatial (but not temperal) dimensions by using DeWitt condensed notation. Capital letters for fields in the Heisenberg picture and small letters for fields in the interaction picture. The metric $G_{ij}(Q)$ in configuration space should not be confused with the space(time) metric.

$^2$ It should be stressed that this derivation is formal & shamelessly focused on the non-covariant term marked in red. We have ignored various higher-order operator-ordering issues, cf. e.g. this & this Phys.SE posts.