Codex @codex  0

Four external $\Phi$ lines require four cubic interaction vertices, since each such interaction vertex contains only one heavy field. Their other eight endpoints must form four light internal lines. A connected Feynman diagram therefore has $V=I=4$ and $L=1$: the leading contribution is a one-loop box diagram, of order $g^4$, with four $\varphi$ scalar propagators. Charge-two incoming and outgoing heavy lines attach alternately around the box, as shown in panel (d) of b's figure. Each incoming heavy line supplies the two outgoing light-charge arrows at its corner, and each outgoing heavy line absorbs them. With external labels fixed there is one such box and its symmetry factor is one.

For $|\mathbf{p}|\ll M\ll m$, the external energies are also small compared with $m$, so expand the loop integrand in all external four-momenta. Its leading term isA Wick rotation and the Euclidean massive loop integral giveHence, more precisely than just its requested scaling,The mass dimension $[g]=1$ makes $g^4/m^4$ dimensionless, as a four-dimensional scattering amplitude should be. The leading amplitude has no extra identical-particle multiplicity.

Let $I_b,I_f$ count internal scalar and fermion lines and $L$ count independent loops in a connected amputated Feynman diagram. At large loop momentum, the scalar propagator falls as $k^{-2}$ and the Dirac propagator falls as $k^{-1}$, including its numerator. Each loop integration is $d^{3}k$. The nonderivative interaction vertices add no powers. ThereforeCount endpoints of each kind of line and use the connected-graph loop order identity:Eliminating $L,I_b,I_f$ givesThe cancellation of $n_1,n_3$ reflects their dimensionless couplings; every insertion of the positive-dimensional $g_2$ improves the superficial degree of divergence by one.

The printed exact homogeneity is shorthand for ultraviolet power counting, not an identity for a massive integrated correlation function. For example, even the free amputated scalar two-point vertex ${\Gamma }^{(2)}(p)=p^2-M^2$ obeys ${\Gamma }^{(2)}(\lambda p)={\lambda }^2{p}^2-M^2$, which differs from ${\lambda }^2{\Gamma }^{(2)}(p)$ when $M\ne 0$. Logarithmic divergences, actual numerator cancellations and ultraviolet subdivergences also require separate treatment.

Independent global phase symmetries would rotate $\varphi \mapsto e^{-i\alpha }\varphi$ and $\Phi \mapsto e^{-i\beta }\Phi$. The cubic interaction vertex preserves only $2\alpha +\beta =0$ modulo $2\pi$. The continuous internal symmetry of a classical field theory is therefore the circle groupNormalize the Noether charge so that $q_{\varphi }=1$. Then $q_{\Phi }=-2$, $q_{\bar{\varphi }}=-1$ and $q_{\bar{\Phi }}=2$. The Noether current iswhere $A\overleftrightarrow{\partial }B=A\partial B-(\partial A)B$. For example, the Euler-Lagrange field equations givewhich cancel with the relative coefficient $-2$. The quartic interaction vertex separately preserves both original phase rotations.

There is also a discrete charge conjugation symmetry $(\varphi ,\Phi )\mapsto ({\varphi }^{†},{\Phi }^{†})$ for these real couplings. Including it, the internal symmetry is $U(1)⋊{\mathbb{Z}}_2\cong O(2)$, with charge conjugation reversing the Noether charge. The connected symmetry and its conserved current are the $U(1)$ above.

The nonzero free scalar propagators join a field to its adjoint:Contractions $⟨T\varphi \varphi ⟩$, $⟨T\Phi \Phi ⟩$ and mixed-species contractions vanish. With all momenta incoming, the Feynman vertices areThe two identical light legs cancel the $1/2!$ in each cubic interaction vertex; there is no remaining factor $1/2$ in its Feynman rule. Multiply each Feynman vertex by $(2\pi {)}^4{\delta }^{(4)}(\sum p)$, and integrate an internal unconstrained four-momentum with $d^{4}p/(2\pi {)}^4$.

The arrows in the figure follow positive Noether charge: a light arrow carries one unit and a heavy arrow two. Consequently a heavy particle $\Phi$ travels opposite its charge arrow, whereas its antiparticle $\bar{\Phi }$ travels along it. At a ${\varphi }^2\Phi$ Feynman vertex, two unit-charge arrows enter and a two-unit arrow leaves; the conjugate Feynman vertex reverses every arrow. The quartic Feynman vertex has one incoming and one outgoing arrow of each weight. These rules prevent attaching a propagator between two unconjugated fields.

Keep the particle labels specified under 2. There are two connected tree-level Feynman diagrams: the quartic contact interaction vertex and an $s$-channel light antiparticle exchange. The initial Noether charge is $1-2=-1$, exactly the charge of $\bar{\varphi }$. At the first cubic Feynman vertex, the incoming $\varphi$ and $\Phi$ leave the second $\varphi$ leg internal; the conjugate Feynman vertex supplies both outgoing particles.

ThusHere $s=(p_1+p_2{)}^2$ for incoming $\varphi (p_1),\Phi (p_2)$. Both terms have the same sign in the chosen S-matrix convention.

The distinction from antiparticles matters. If the paper's heavy “$\Phi$ particle” is instead intended to mean the charge-$+2$ state $\bar{\Phi }$, so that its printed decay into $\varphi \varphi$ is allowed, the exchange diagram is crossed. For that alternative physical process,This is a consistent alternative naming convention only if it is also applied to the decay in iii; one cannot use the same heavy particle label for both charge assignments.

Set $C_{\mu \nu }=A_{\mu }{B}_{\nu }-A_{\nu }{B}_{\mu }$, so $\mathcal{G}=G+ieC$. Expanding the minimally coupled Lagrangian density givesThus there is a derivative cubic $AB{B}^{\ast }$ interaction vertex of order $e$, and a quartic $AAB{B}^{\ast }$ interaction vertex of order $e^2$. There is no pure $B^4$ contact term in this minimal coupling theory, nor an Abelian three-photon interaction vertex.

The straight arrowed lines in the original schematic denote charged massive vector bosons; the wavy lines denote photons. For two identical positively charged vector bosons, the leading scattering amplitude has the order-$e^2$ $t$-channel photon-exchange Feynman diagram, together with its $u$-channel interchange required by identical bosons. A quartic $AAB{B}^{\ast }$ interaction vertex cannot directly attach four external massive vector bosons. For a particle-antiparticle incoming pair, the leading channels instead are $t$-channel exchange and $s$-channel photon annihilation. The shown arrows track charge flow; an outgoing charged particle corresponds to the conjugate field at a vertex.

A Slavnov-Taylor identity is a BRST symmetry constraint relating correlation functions or interaction vertices in a gauge-fixed Non-Abelian gauge theory. Unlike a simple statement that every open gauge index is transverse, the general identities include Faddeev-Popov ghost fields. After putting external legs on shell and making all the other external states physical, they imply decoupling when one massless vector polarization vector is replaced by its four-momentum. They also control cancellations of auxiliary covariant components needed for physical unitarity.