Codex @codex  0

The source-free Maxwell Lagrangian gives $S=-\frac{1}{4}\int F_{\mu \nu }{F}^{\mu \nu }{d}^{4}x$ in mostly-minus Lorentzian signature. Its Euclidean action is the displayed positive quadratic functional of the electromagnetic field tensor. Variation, with boundary terms vanishing, yields ${\partial }_{\mu }{F}_{\mu \nu }=0$.

The trace of the Euclidean evolution kernel identifies its initial and final positions. Thus the Euclidean worldline path integral is over periodic paths $x(\tau +\beta )=x(\tau )$, with $\tau \in [0,\beta ]$:The circle has circumference $\beta$, not an arbitrary unit length. The Euclidean action follows by Wick rotation of the unit-mass oscillator action. Equivalently, integration by parts with periodic boundary conditions gives $S_E=\frac{1}{2}⟨x,L_{\omega }x⟩$ for $L_{\omega }=-{\partial }_{\tau }^2+{\omega }^2$. The path integral measure is formal until a regularization and its normalization are specified; the next part supplies a finite-dimensional version.

Write $F[A]={\partial }_{\mu }{A}_{\mu }+i{A}_{\mu }{A}_{\mu }$ and choose the U(1) gauge symmetry convention $A_{\mu }\mapsto A_{\mu }+{\partial }_{\mu }\alpha$. Its infinitesimal variation isA formal BRST symmetry construction uses $s{A}_{\mu }={\partial }_{\mu }c$, $sc=0$, $s\bar{c}=ih$, $sh=0$ and the gauge-fixing fermion $\Psi =\int \bar{c}(F-i\xi h/2)d^{4}x$. Acting with the odd differential givesFor a real admissible gauge functional, integration over $h$ gives $F^2/(2\xi )$ in the Euclidean action, and $\xi \to 0$ imposes the gauge condition. Overall constant phases in the Faddeev-Popov determinant can be absorbed in the measure convention. Here nonlinear Abelian gauge fixing makes ${\mathcal{O}}_A$ depend on $A$. The action for the Faddeev-Popov ghost fields contains the interaction $-2i\bar{c}{A}_{\mu }{\partial }_{\mu }c$, so the Faddeev-Popov ghost fields cannot be discarded as in a linear Abelian gauge, even though the $U(1)$ Adjoint representation is trivial.

There is a genuine reality obstruction for a complex Euclidean gauge condition in the source. For a Hermitian $U(1)$ gauge field, each Euclidean component $A_{\mu }$ is real. The real and imaginary parts of $F=0$ separately require $\partial \cdot A=0$ and ${\sum }_{\mu }{A}_{\mu }^2=0$, hence $A=0$. For example $A_2=B{x}_1$, with other components zero and $B\ne 0$, has curvature $F_{12}=B$; no gauge transformation can put it on this slice because curvature is gauge invariant. Thus the stated condition is not a gauge fixing of general real Euclidean configurations. The boxed action is the intended formal complex-gauge construction. A legitimate complexified contour prescription would be additional data, not an ordinary real delta-functional enforcing this printed condition.

For a connected Feynman diagram with cubic vertices with four external legs and one loop, $3V=2I+4$ and $1=I-V+1$ give $V=I=4$. In a one-particle-irreducible Feynman diagram, every internal edge lies on the single cycle. Each of the four cubic vertices therefore has two internal and one external leg, giving a box Feynman diagram. With labelled external momenta there are three inequivalent cyclic orderings, modulo rotation and reversal, represented by $1234$, $1243$ and $1324$:

Take all momenta incoming with ${\sum }_i{p}_i=0$. The Feynman rules for the Euclidean action give a propagator $(q^2+m^2{)}^{-1}$ and a cubic insertion $-g$. For order $1234$, the amputated connected insertion iswhere $\chi (q)=1_{\{\Lambda <|q|<{\Lambda }_0\}}$ is the high-mode projector for a strict Wilsonian effective action. Each labelled box has Feynman-diagram symmetry factor one. A common fixed-loop-cutoff convention instead restricts only the chosen $q$ integration to the shell; both prescriptions give the same zero-external-momentum value. The effective-action vertex has the opposite sign to this connected insertion. Thus $\boxed{\text{three labelled boxes, with one cyclic topology}.}$