Feynman rules for real scalar field interacting with electromagnetic field I was wondering if anyone could help guide me in finding the Feynman rules for a real pseudoscalar field ($\phi$) interacting with the electromagnetic field $(F^{\mu\nu})$.
The (effective) interaction Lagrangian is: 
$$ \phi \epsilon^{\alpha\mu\beta\nu} F_{\mu\alpha} F_{\nu\beta} $$
In my textbooks, the interaction with a complex scalar field is taken into account by imposing gauge symmetry and using the covariant derivative. Can I use a similar method for real pseudoscalar fields?
I'm hoping to evaluate the amplitude for an incoming pseudoscalar decaying to 2 photons. Much like the decay of a neutral pion to 2 photons, but using an effective Lagrangian instead of evaluating the triangle diagram.
I'm still fairly new to quantum field theory so apologies if this is ill posed or you need more information.
 A: The S-matrix is given by the equation
$$S=\sum_{n=0}^{\infty}{i^n\over n!}\int\prod_{i=1}^n d^4 x_i T\prod_{i=1}^n \mathcal{L}_{int}(x_j)=\sum_{n=0}^{\infty}S^{(n)}\;,$$
where $T$ stands for the time ordered product. Substitute $\mathcal{L}_{int}=\phi \epsilon^{\alpha\mu\beta\nu} F_{\mu\alpha} F_{\nu\beta}$, so that 
$$\sum_{n=0}^{\infty}S^{(n)}=\sum_{n=0}^{\infty}{i^n\over n!}\int\prod_{i=1}^n d^4 x_i T\prod_{i=1}^n \phi (x_j)\epsilon^{\alpha\mu\beta\nu}(x_j) F_{\mu\alpha}(x_j) F_{\nu\beta}(x_j)$$
For example, for $n=2$, one has
$$S^{(2)}={i^2\over 2}\int d^4 xd^4 x^{'} T \phi (x)\epsilon^{\alpha\mu\beta\nu}(x) F_{\mu\alpha}(x) F_{\nu\beta}(x)T\phi (x^{'})\epsilon^{\alpha\mu\beta\nu}(x^{'}) F_{\mu\alpha}(x^{'}) F_{\nu\beta}(x^{'})$$
Perform a Wick expansion of this term, and then follow the rules below:


*

*Each integration coordinate $x_j$ is represented by a point (sometimes called a vertex);

*A bosonic propagator is represented by a wiggly line connecting two points;

*A fermionic propagator is represented by a solid line connecting two points;

*A bosonic field $A_\mu(x_i)$ is represented by a wiggly line attached to the point $x_i$;

*A scalar field $\phi(x_i)$ is represented by a solid line attached to the point $x_i$ with an arrow toward the point;

*A scalar field $\bar\phi(x_i)$ is represented by a solid line attached to the point $x_i$ with an arrow from the point.
These rules lead one to the Feynman diagrams.
