Codex @codex  0

Take $D_{\mu }X={\partial }_{\mu }X+[A_{\mu },X]$, signature $(+---)$ and the trace Lagrangian density $\mathrm{Tr}(F_{\mu \nu }{F}^{\mu \nu })/4-\mathrm{Tr}(D_{\mu }\Phi D^{\mu }\Phi )/2+m^2\mathrm{Tr}({\Phi }^2)/2$. The variation of the gauge curvature is $D_{\mu }\delta A_{\nu }-D_{\nu }\delta A_{\mu }$. Cyclicity of the trace and covariant integration by parts give gauge coefficient $-D_{\mu }{F}^{\mu \nu }+[D^{\nu }\Phi ,\Phi ]$ and scalar coefficient $D_{\mu }{D}^{\mu }\Phi +m^2\Phi$. Their vanishing gives the displayed Euler-Lagrange field equations. In static temporal gauge at zero mass they reduce to $D_j{F}_{ji}=[\Phi ,D_i\Phi ]$ and $D_i{D}_i\Phi =0$.

// Destination: integrable-systems.bigb

For a real scalar field with Lagrangian density $\mathcal{L}={\dot{\varphi }}^2/2-|\nabla \varphi {|}^2/2-V(\varphi )$, the canonical momentum is $\pi =\dot{\varphi }$. Its Hamiltonian density is the sum of momentum energy, gradient energy and potential energy. Hamilton's equations recover the Euler-Lagrange equation.

A counterterm is a local term added to a regulated Lagrangian density to cancel ultraviolet divergences and impose chosen renormalization conditions. Field-strength, mass and coupling counterterms respectively adjust propagator normalization, pole position and interaction strength.

A Hamiltonian density is a local integrand for the field-theory Hamiltonian. For canonical fields with invertible velocity-momentum relation it is the Legendre transform in mechanics of the Lagrangian density, summing over all conjugate field components. Gauge theories require constraints and multiplier terms as well.

A Lagrangian density is integrated over spacetime to give the action $S=\int d^{d}x\mathcal{L}$ in Lagrangian.

Under CPT, a Hermitian local tensor monomial picks up a minus sign for each Lorentz vector index, including derivative indices. A Lorentz scalar contracts all such indices, so the total sign is positive; charged terms are exchanged with their Hermitian conjugates. Therefore a local Hermitian Lagrangian density obeys $\Theta \mathcal{L}(x){\Theta }^{-1}=\mathcal{L}(-x)$, leaving its action invariant. This field-level argument illustrates the CPT theorem for ordinary scalar, spinor and vector theories; the axiomatic theorem also uses positive energy and microcausality.

The source-free electromagnetic Lagrangian density is quadratic in the electromagnetic field tensor. Its Euler-Lagrange field equation is ${\partial }_{\mu }{F}^{\mu \nu }=0$. Antisymmetry of $F$ makes the density invariant under gauge transformations, and contraction of its indices makes it a Lorentz scalar.

A nonminimal scalar coupling includes an interaction between the field and spacetime curvature, such as $-\xi R{\Phi }^2$ in the Lagrangian density. The Euler-Lagrange field equation for $\mathcal{L}=-\frac{1}{2}(\nabla \Phi {)}^2-\xi R{\Phi }^2$ is $\square \Phi -2\xi R\Phi =0$. The coefficient is convention dependent: an action written with $-\frac{1}{2}\xi R{\Phi }^2$ has $\xi$ instead of $2\xi$.

The real scalar field has canonical momentum $\pi =\dot{\varphi }$. Its Legendre transform givesThe first three terms constitute $H_0$, the free massive Hamiltonian operator. The remaining term is $H_I=\lambda \int {\varphi }^4{d}^{3}x/4!=-\int {\mathcal{L}}_I{d}^{3}x$. This sign is a consequence of having no time derivatives in the interaction: the canonical momentum is unchanged, while the interaction enters the Hamiltonian density with the opposite sign to the Lagrangian density.

In the interaction picture, operators evolve with $H_0$ and states evolve with $H_I(t)$ constructed from the free interaction-picture field. Their evolution operator satisfiesIntegrating once gives $U_I=I-i{\int }_{t_0}^t{H}_I(t_1)U_I(t_1,t_0)d{t}_1$. Repeated substitution orders the integrations as $t\ge t_1\ge \cdots \ge t_n\ge t_0$. Replacing the ordered simplex by the full integration cube introduces $1/n!$ and a time-ordered product, which proves the Dyson seriesTaking the asymptotic limits with the usual adiabatic or regulated scattering prescription yieldsThe field in this expression is the free field evolving in the interaction picture, not an independently prescribed classical field. For quantum fields the expansion is a regulated perturbation series; the time-ordering symbol cannot be dropped because the operators at different times need not commute.

Use relativistically normalized two-particle states $|p_1,p_2⟩=a^{†}(p_1)a^{†}(p_2)|0⟩$, with $⟨p|q⟩=(2\pi {)}^{3}2E_p{\delta }^3(\mathbf{p}-\mathbf{q})$. The connected first-order scattering contribution isHere the connected S-matrix uses a normalized vacuum and physical external one-particle states. At this order, normal ordering the vertex separates the four-external-leg contribution from vacuum and tadpole pieces; those disconnected or external-mass contributions are not the two-to-two scattering amplitude.

Two fields annihilate the incoming particles and two create the outgoing ones. There are $\left(\genfrac{}{}{0ex}{}{4}{2}\right)$ choices of the annihilating fields, two assignments of the incoming momenta and two assignments of the outgoing momenta. Hence the total factor is $\left(\genfrac{}{}{0ex}{}{4}{2}\right)2!2!=4!$, the external-leg factorial cancellation at a quartic scalar vertex. Each attachment contributes its plane-wave factor, soThe spacetime integral is the four-momentum conservation delta function, givingIn particular, the tree scattering amplitude is independent of angle.

For completeness, derive the relativistic two-body phase space in the centre-of-mass frame. Write $\sqrt{s}=2E_{\ast }$, $p_{\ast }^2=E_{\ast }^2-m^2$. The spatial delta function sets the two final momenta opposite, and the energy delta function is $\delta (\sqrt{s}-2\sqrt{p^2+m^2})$. Its radial Jacobian is $E_{\ast }/(2p_{\ast })$. ThusThe invariant flux factor is $\mathcal{F}=4p_{\ast }\sqrt{s}$ for equal initial masses. Using $d\sigma =|T{|}^{2}d{\Phi }_2/\mathcal{F}$, the labeled angular density is ${\lambda }^2/(64{\pi }^{2}s)$. The outgoing quanta belong to one real scalar field, so they are identical. A full-sphere integration counts each event twice and requires the identical final-state symmetry factor $1/2!$. ConsequentlyEquivalently one may integrate the labeled density over a hemisphere representing each event once. The final-state factor is separate from the vertex factorial: applying it at the vertex instead would give the wrong elastic scattering from a quartic scalar contact interaction cross-section.

Vary the Maxwell Lagrangian with respect to $A_{\nu }$. Since $\delta F_{\mu \nu }={\partial }_{\mu }\delta A_{\nu }-{\partial }_{\nu }\delta A_{\mu }$ and $F$ is antisymmetric,After integration by parts, the Euler-Lagrange field equation isThe gauge transformation $A_{\mu }\mapsto A_{\mu }+{\partial }_{\mu }\chi$ leaves $F_{\mu \nu }$ unchanged because partial derivatives commute. This gauge invariance means that potentials related in this way represent the same electromagnetic field; all four potential components are not independent physical photon degrees of freedom. In particular, the ungauged kinetic operator is singular and its temporal canonical momentum vanishes.

Choose the Lorenz gauge ${\partial }_{\mu }{A}^{\mu }=0$. The field equation then becomes $\boxed{\square A_{\mu }=0}$. Residual gauge transformations with $\square \chi =0$ preserve this condition. The correctly named Lorenz gauge condition concerns the divergence of the potential; Lorentz covariance is the separate transformation property of the equations.

For the alternative quadratic Lagrangian density, direct differentiation givesso its Euler-Lagrange field equation is also $\square A^{\nu }=0$. This density is the Feynman-gauge Maxwell kinetic density after a boundary-term subtraction. Indeed, with $D={\partial }_{\mu }{A}^{\mu }$,The divergence identity follows by expanding ${\partial }_{\mu }{K}^{\mu }$ and commuting its second derivatives. The quadratic density alone describes four wave equations; the gauge constraint must still be incorporated in the physical states. It is not an unconstrained four-positive-polarization replacement for Maxwell equations.

Using this specified boundary-term convention, the canonical momentum conjugate to $A_{\nu }$ isThe canonical commutation relations are thereforewith field-field and momentum-momentum brackets zero. Equivalently $[A_{\mu },{\dot{A}}_{\nu }]=-i{g}_{\mu \nu }{\delta }^3$. The temporal component has the opposite sign to the spatial components; replacing the metric by a positive Euclidean one would destroy these brackets.

The wave equation gives massless frequencies ${\omega }_{\mathbf{k}}=|\mathbf{k}|$. Hermiticity pairs its positive- and negative-frequency solutions, so the Heisenberg picture field has the expansionThis is a real field expansion for each component, but its oscillator metric is indefinite. The assumed brackets, with the dagger's vector index restored, areThey verify the photon oscillator completeness and canonical brackets. Inserting ${\Pi }^{\nu }=-{\dot{A}}^{\nu }$ gives at equal timesThe other brackets cancel between the two frequency contributions. Thus both the $2\omega$ normalization and the sign $-g_{\mu \nu }$ are needed.

The Gupta-Bleuler formalism imposes the Lorenz gauge condition weakly on states:Here $(+)$ is the annihilation, positive-frequency part. Setting the full divergence to zero as an operator would conflict with the four-component canonical commutation relations. The subsidiary condition instead selects a physical pre-space inside the covariant photon Fock space, followed by a quotient of its null states.

Apply it to $|k,ϵ⟩={ϵ}^{\nu }{a}_{\nu }^{†}(k)|0⟩$. Commuting $k^{\mu }{a}_{\mu }$ through the creator gives a multiple of $-k_{\nu }{ϵ}^{\nu }|0⟩$. Hence the allowed photon polarization vectors obeyTake $k=(\omega ,0,0,\omega )$. The complete solution iswith complex coefficients. The last two vectors are transverse linear photon polarizations, and $(0,1,\pm i,0)/\sqrt{2}$ gives the two circular photon polarizations. The first vector is $k/\omega$, the allowed temporal-longitudinal combination. A purely spatial longitudinal vector $(0,0,0,1)$ by itself does not satisfy the subsidiary condition.

The oscillator brackets give, apart from the positive continuum normalization factor,Momentum eigenstates are distributionally normalized; a box or a wave packet makes the norm statement literal. The allowed longitudinal combination has zero norm because $k^2=0$, and it is orthogonal to every constrained state since $k\cdot ϵ=0$. It also gives a pure-gauge field wave: the field strength of $A_{\mu }\propto k_{\mu }{e}^{-ik\cdot x}$ vanishes. Thus $ϵ$ and $ϵ+ck$ represent the same physical photon polarization. The Gupta-Bleuler null-state quotient removes this null direction and leaves two positive-norm transverse photon photon polarizations. The negative-norm temporal oscillator of the unrestricted space is not an extra physical state. This is the transverse one-photon physical quotient.

Finally verify the two-photon fermion Ward identity directly for electron-positron annihilation into two photons. Define $D(r)=/r-m$ and the reduced Dirac propagatorThe equality follows from the Clifford algebra, since $(/r-m)(/r+m)=(r^2-m^2)I$. The incoming Dirac spinors obey $D(p)u(p)=0$ and $\overline{v}(q)(/q+m)=0$. On replacing one inserted photon polarization vector by $k$, the spinor factor in the two diagrams isAt the electron end, $/k=D(p)-D(p-k)$, soFor the other diagram, four-momentum conservation gives $p-k^{\prime }=k-q$. HenceThe two contributions therefore cancel exactly:Individual diagrams need not vanish; their sum implements the Ward identity. Linearity then gives invariance under $ϵ\mapsto ϵ+ck$, as required by gauge invariance. In particular, the null longitudinal photon polarization proportional to $k$ has zero physical production amplitude. Physical scattering produces the transverse photon classes, not an independent longitudinal massless photon.

Use metric signature $(+,-,\dots ,-)$ and initially set $\hslash =1$. For an internal scalar line with momentum $p$, the Feynman propagator is $i/(p^2-m^2+i0)$. An $r$-leg Feynman vertex, for $r=3,4,6$, contributes $-i{\lambda }_r$, with all incident momenta incoming. Its $1/r!$ in the Lagrangian density is canceled by the permutations of its identical fields. Each vertex conserves momentum and supplies $(2\pi {)}^d{\delta }^{(d)}(\sum p)$. Integrate each independent loop momentum with $d^{d}k/(2\pi {)}^d$, multiply the line and vertex factors, and divide by the Feynman-diagram symmetry factor for labeled external legs. Sum the distinct graphs and external-momentum assignments without counting the same assignment twice.

An unamputated momentum-space correlation function also contains the external propagators. Dividing the generating functional by its zero-source value removes disconnected vacuum bubbles; taking its logarithm selects connected correlation functions. Amputation of external propagators removes the external line factors when computing vertex amplitudes. Translational invariance leaves one overall momentum-conservation delta function for each connected graph.

The loop order is the number of independent graph cycles, equivalently the number of independent momentum integrations left after vertex conservation. A spanning tree through $V$ interaction vertices contains $V-1$ internal edges; hence, with $I$ internal lines,Restoring $\hslash$ in $\exp (iS/\hslash )$ gives $\hslash$ for each internal propagator and ${\hslash }^{-1}$ for each interaction vertex. Thus an amputated connected amplitude hasThe same counting holds for a diagram in $\log Z[J]$ when the external source is coupled as $J\varphi /\hslash$: every external propagator brings $\hslash$, canceled by the source insertion's ${\hslash }^{-1}$. This is Planck-constant loop counting with source normalization. An ordinary connected expectation of $n$ fields, with no such source factors, instead scales as ${\hslash }^{L+n-1}$; multiplying $\log Z$ by $-i\hslash$ to form $W$ shifts its source-kernel counting to ${\hslash }^L$. The normalization must be specified when applying the printed loop rule.

Let $V_r$ count $r$-valent interaction vertices. Counting their incident half-edges gives $2I+n=3V_3+4V_4+6V_6$. Substituting the loop identity yieldsEach coefficient on the right lies between $1/2$ and $2$, proving the vertex-count bounds for bounded scalar valenceThe free two-point term, which has no interaction vertex, separately satisfies the bounds with $V=L=0$ and $n=2$.

A one-particle-irreducible Feynman diagram is connected and remains connected after any single internal line is cut. The left graph below contains two quartic vertices and two parallel internal lines: cutting either line leaves the vertices connected by the other. The right graph contains two cubic vertices joined by one internal line, whose removal disconnects it, so it is a one-particle-reducible Feynman diagram. Both have four external legs.

The quantum effective action generates the one-particle-irreducible vertices. Their ultraviolet divergences and those of their proper divergent subgraphs are removed by local counterterms. Reducible connected graphs are reconstructed by joining these vertices with full propagators; they do not introduce independent local interaction counterterms merely because they contain bridges. This makes the one-particle-irreducible Feynman diagram decomposition useful for organizing renormalization. Overall power counting still has to be supplemented by subtraction of divergent subgraphs.

For a scalar with a two-derivative kinetic term, mass dimensions obeyThe general power-counting criterion used here is that interactions of nonnegative coupling dimension can be included in a perturbatively renormalizable quantum field theory, with all symmetry-allowed required local counterterms included; negative-dimensional couplings generally require an unbounded tower of higher-dimensional counterterms. Indeed, the scalar graph power-counting identity givesfor the superficial degree of divergence. Nonnegative coupling dimensions prevent this degree from increasing indefinitely with the vertex count.

The coupling dimensions areThus all three are power-counting renormalizable in three dimensions; cubic and quartic in four; cubic only in six. Positive-dimensional interactions are super-renormalizable, while the zero-dimensional ones are marginal by classical power counting. Usual kinetic, mass, vacuum and, when no symmetry forbids it, linear counterterms must also be admitted. This conclusion concerns perturbative ultraviolet renormalizability; it does not assert global stability of a cubic scalar potential.

Use natural units and the Minkowski metric $g=\mathrm{diag}(1,-1,-1,-1)$. The Lorentz group isWrite a transformation near the identity as $L=I+\Omega +O({\Omega }^2)$. The defining relation gives ${\Omega }^{T}g+g\Omega =0$, so ${\omega }_{\mu \nu }=g_{\mu \rho }{\Omega }^{\rho }{}_{\nu }$ is antisymmetric. ChooseThere are $\left(\genfrac{}{}{0ex}{}{4}{2}\right)=\boxed{6}$ independent real parameters: three spatial rotations and three Lorentz boosts. Differentiating $(e^{t\Omega }{)}^{T}g{e}^{t\Omega }$ with respect to $t$ shows it is constant and equals $g$. Thus exponentiating these infinitesimal generators gives Lorentz transformations connected to the identity. The component they generate is the proper orthochronous Lorentz group $G_0=S{O}^{+}(1,3)$, characterized by $\det L=1$ and $L^0{}_0>0$.

The local exponential calculation alone establishes products of exponentials. The single-exponential assertion also holds here. Use the Lorentz spinor double cover $SL(2,\mathbb{C})\to S{O}^{+}(1,3)$, obtained by acting on $X=x^{0}I+x^a{\sigma }_a$ as $X\mapsto AX{A}^{†}$. Its determinant is the Minkowski norm. A lift $A$ with distinct eigenvalues $\lambda ,{\lambda }^{-1}$ is diagonalizable and has a traceless logarithm with eigenvalues $z,-z$, where $e^z=\lambda$. With repeated eigenvalues, choose between $A$ and $-A$ so that the lift is $I+N$ with $N^2=0$; its traceless logarithm is $N$. Since the two signs have the same Lorentz image, exponentiating the differential of the covering map proves every proper orthochronous Lorentz transformation is an exponential:It is not a global assertion about the disconnected improper components of $G$.

For Dirac spinors, choose gamma matrices satisfying the Clifford algebra $\{{\gamma }^{\mu },{\gamma }^{\nu }\}=2g^{\mu \nu }I$ and setThe Clifford relations giveThey also give the stipulated Lorentz commutator with every $M$ replaced by $\Sigma$: commute $\Sigma$ through the two gamma factors defining the other generator and collect the four terms. Consequently this is a representation of the Lie algebra of the Lorentz group, and exponentiation yieldsThe Dirac adjoint $\bar{\psi }={\psi }^{†}{\gamma }^0$ transforms as ${\bar{\psi }}^{\prime }=\bar{\psi }{S}^{-1}$, since $S^{†}{\gamma }^{0}S={\gamma }^0$.

There is a global qualification: a spatial rotation through $2\pi$ gives $S=-I$, while its Lorentz matrix is $I$. Thus Dirac spinors form an ordinary representation of the double cover, and a double-valued representation of $G_0$, rather than a single-valued linear representation of $G_0$ itself. Fermion bilinears are unaffected by this sign.

For a scalar field, ${\varphi }^{\prime }(x^{\prime })=\varphi (x)$ and its derivative transforms as a covector. A Lagrangian density must have all Lorentz indices contracted into scalars using invariant tensors; arbitrary scalar potentials are allowed. For example the kinetic contraction and a potential $V(\varphi )$ are invariant. Lorentz invariance by itself does not restrict the potential to quartic order: that restriction would be an additional four-dimensional power-counting requirement.

Define ${\gamma }^5=i{\gamma }^0{\gamma }^1{\gamma }^2{\gamma }^3$. It commutes with all ${\Sigma }^{\rho \sigma }$, so the axial current $j_5^{\mu }=\bar{\psi }{\gamma }^{\mu }{\gamma }^5\psi$ transforms as a vector under $G_0$. Hence all three proposed contractions are invariant under $G_0$. If invariance under parity or the full improper Lorentz group is also required, the distinction is:The axial current is a pseudovector: under an improper Lorentz transformation it has the extra determinant sign. The mixed derivative–axial contraction is therefore a pseudoscalar, while the square of the axial current has two cancelling signs. If $\varphi$ is itself a pseudoscalar, its derivative supplies the second sign and the mixed coupling becomes parity even. This is the axial derivative coupling and parity distinction; parity invariance must not be silently assumed from proper Lorentz invariance.

In four dimensions, $[\varphi ]=1$, $[\psi ]=3/2$ and $[{\partial }_{\mu }]=1$. The three operators have mass dimensions $4,5,6$, respectively. Thus the latter two require dimensionful couplings and are not power-counting renormalizable interactions, but this does not invalidate their Lorentz invariance or their use in an effective field theory.

Use the Minkowski metric convention $\eta =\mathrm{diag}(1,-1,-1,-1)$. On the Adjoint representation, the adjoint covariant derivative is $D_{\mu }X={\partial }_{\mu }X+[A_{\mu },X]$. Set $a_{\mu }=\delta A_{\mu }$ and $\chi =\delta \Phi$. ThenThe trace obeys $\mathrm{Tr}(X[Y,Z])=\mathrm{Tr}([Z,X]Y)$, and covariant integration by parts has the ordinary boundary term because the trace of a commutator is zero. Thus compactly supported variations giveThe trace pairing on $\mathfrak{su}(2)$ is nondegenerate, so the Euler-Lagrange field equations areIn particular the sign of the scalar mass term follows from the plus sign in the supplied trace Lagrangian density; it should not be guessed from a different metric convention. This is the adjoint Yang-Mills-Higgs trace variation.

For the static Bogomolny-Prasad-Sommerfield monopole, take the usual purely magnetic extension ${\partial }_0{A}_i={\partial }_0\Phi =0$ and temporal gauge $A_0=0$. At $m=0$, the equations reduce towith the $\nu =0$ equation identically zero. We now verify both spatial equations from $B_i=D_i\Phi$ without assuming them. The gauge-theory Bianchi identity gives $D_i{B}_i=0$, hence immediately $D_i{D}_i\Phi =0$. Also $F_{ji}={\epsilon }_{jik}{B}_k$, soHere ${\epsilon }_{jik}{\epsilon }_{jk\ell }=-2{\delta }_{i\ell }$. This proves that the Bogomolny equations imply all static zero-mass Yang-Mills equations and the scalar equation. The specification of $A_0$ matters: the spatial Bogomolny equations by themselves do not constrain an arbitrary extra electric potential, so the implication is for their standard purely magnetic static extension.

Use Minkowski spacetime with $g_{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$ and units $\hslash =c=1$. The transformation rotates the two components in their internal plane. In particular,Thus both terms in the Lagrangian density are invariant: this is an internal rotation symmetry of two real scalar fields, rather than a transformation of spacetime. The equal masses are essential to this symmetry.

The Noether theorem gives the Noether currentIndeed, the cross terms in its divergence cancel, and the two Klein-Gordon equations implyFor fields decaying sufficiently at spatial infinity, there is no outward current flux. The conserved Noether charge is therefore

In canonical quantization, the canonical momenta are ${\pi }_k={\dot{\varphi }}_k$, with equal-time canonical commutation relationsConsequently $Q=\int d^{3}x({\pi }_1{\varphi }_2-{\pi }_2{\varphi }_1)$. Operators of different components commute, so this expression is Hermitian without an ordering correction. Write ${\int }_{\mathbf{p}}=\int d^{3}p/(2\pi {)}^3$, $E_{\mathbf{p}}=\sqrt{{\mathbf{p}}^2+m^2}$ and $a_{k\mathbf{p}}=a_{\mathbf{p}}^k$. Substituting the oscillator expansions and using the Dirac delta function from the spatial integral givesThe terms with two annihilation operators cancel after $\mathbf{p}\mapsto -\mathbf{p}$; the terms with two creation operators cancel in the same way. In the remaining terms useThere is no commutator constant between the distinct components. The result is already in normal ordering:

For the charged oscillator basis of a scalar doublet, computeIt follows that $[Q,b_{\pm \mathbf{p}}^{†}]=\pm b_{\pm \mathbf{p}}^{†}$. The Fock vacuum satisfies $Q|0⟩=0$, so $b_{+\mathbf{p}}^{†}|0⟩$ has charge $+1$, and $b_{-\mathbf{p}}^{†}|0⟩$ has charge $-1$. To obtain a normalized one-particle state, replace the sharp momentum by ${\int }_{\mathbf{p}}f(\mathbf{p})b_{\pm \mathbf{p}}^{†}|0⟩$, where ${\int }_{\mathbf{p}}|f(\mathbf{p}){|}^2=1$. The charge is unchanged. Equivalently,The generator convention is $\delta {\varphi }_k=i\alpha [Q,{\varphi }_k]$, which reproduces the original rotation signs.

For stability of a two-scalar quartic potential, the relevant potential energy density isAlong either axis boundedness requires $\lambda \ge 0$; along ${\varphi }_1={\varphi }_2$ it requires $\lambda +\mu \ge 0$. Conversely the displayed sum is nonnegative whenever both conditions hold. With $m^2>0$ the origin is then the unique global minimum, including the equality cases. Hence the stable-vacuum conditions areStrict positivity of the quartic term away from the origin would instead require $\lambda >0$ and $\mu >-\lambda$. That stronger condition is unnecessary for a positive mass term. If $m=0$, the same non-strict conditions give boundedness, but the equality cases have flat directions and do not give an isolated classical vacuum.

Finally, the interaction changes the variation of the potential energy byThe interacting Euler-Lagrange equations consequently giveThus the same Noether charge is conserved for all field configurations precisely when $\mu =\lambda$. Then $V_4=\lambda ({\varphi }_1^2+{\varphi }_2^2{)}^2$ preserves the internal rotation symmetry of two real scalar fields; imposing stability additionally requires $\lambda \ge 0$.

In quantum electrodynamics, gauge invariance connects local phase freedom, electric-charge conservation and the restrictions on photon interactions. For definiteness takeThe gauge transformationhas $D_{\mu }\psi \mapsto e^{-ie\alpha }{D}_{\mu }\psi$: the derivative of the local phase cancels the added gauge potential. Also $F_{\mu \nu }$ is unchanged because mixed partial derivatives commute. Consequently every term in the Lagrangian density is invariant. This derives the minimal electromagnetic coupling of a Dirac field, including the interaction $-e\bar{\psi }{\gamma }^{\mu }\psi A_{\mu }$. A fermion mass is compatible with the symmetry, whereas a local Proca photon mass $m_{\gamma }^2{A}_{\mu }{A}^{\mu }/2$ is not.

The classical Maxwell equations are ${\partial }_{\mu }{F}^{\mu \nu }=j^{\nu }$, with $j^{\nu }=e\bar{\psi }{\gamma }^{\nu }\psi$. Taking a divergence gives ${\partial }_{\nu }{j}^{\nu }=0$ because $F^{\mu \nu }$ is antisymmetric. The same conservation law follows directly from the charged Dirac equation and its adjoint. For vanishing flux at spatial infinity, $Q=\int d^{3}x{j}^0$ is conserved. Gauss law identifies this charge with the electric flux through a surrounding surface. Particle-antiparticle creation is allowed, but its net electric charge is zero.

Local gauge invariance is also a redundancy in the potentials, rather than an extra propagating degree of freedom. The canonical momentum of $A_0$ vanishes, and its field equation enforces the Gauss law constraint in gauge theory, $\nabla \cdot \mathbf{E}=j^0$. After imposing the constraint and quotienting gauge freedom, a massless photon has two transverse physical polarizations. Gauge transformations vanishing at the boundary identify equivalent descriptions; constant phase transformations at infinity can act on charged states and generate their conserved charge. This distinction explains why gauge redundancy and electric charge are compatible.

In perturbative QED, the quadratic photon operator cannot be inverted before gauge fixing. Adding $-({\partial }_{\mu }{A}^{\mu }{)}^2/(2\xi )$ gives the covariant gauge propagatorThis propagator contains longitudinal and timelike components, but these are not external physical photon states. A Gupta-Bleuler null-state quotient, or the equivalent BRST construction, removes them. In linear Lorenz gauge, $\delta ({\partial }_{\mu }{A}^{\mu })=\square \alpha$, so the Faddeev-Popov determinant is independent of $A_{\mu }$ and the Faddeev-Popov ghost fields decouple. This last statement concerns the linear gauge; Abelian gauge groups alone do not guarantee decoupling in a nonlinear gauge condition.

At the quantum level, the vector symmetry gives a Ward identity. One way to obtain it is to change variables by a localized phase in a time-ordered correlation function containing $\psi (y)$ and $\bar{\psi }(z)$. The action variation becomes a current divergence; the two field insertions contribute opposite contact terms, since their charges are opposite. Fourier transformation turns the divergence into the photon momentum, and amputating the external fermion propagators turns the two contact terms into the difference of their inverse propagators. With the charge removed from the proper vertex and the overall propagator factor $i$ removed from its inverse, the result is the proper-vertex Ward-Takahashi identity in QEDAt tree level this is simply $k_{\mu }{\gamma }^{\mu }=(/p+/k-m)-(/p-m)$. Between on-shell external spinors, the inverse propagators vanish, so the full physical scattering amplitude satisfies $k_{\mu }{\mathcal{M}}^{\mu }=0$. Therefore replacing a photon polarization vector by ${\epsilon }_{\mu }+c{k}_{\mu }$ leaves the amplitude unchanged. The identity applies to the complete required sum of diagrams, not necessarily each diagram separately. It also ensures cancellation of the gauge parameter from physical observables when all terms at the chosen perturbative order are included.

For the photon two-point function, the Ward identity implies transverse photon vacuum polarization:Thus ultraviolet subtraction renormalizes the gauge-invariant kinetic term, rather than requiring a local photon-mass counterterm. Perturbative unbroken QED retains a massless photon. Transversality by itself would not exclude a nonlocal massless pole in a different theory; the assertion here includes the perturbative QED setting.

Taking $k\to 0$ in the proper-vertex identity gives ${\Gamma }^{\mu }(p,p)=\partial S^{-1}(p)/\partial p_{\mu }$. Matching the divergent coefficients of the derivative and vertex terms yields the Ward identity for QED renormalization constants, $Z_1=Z_2$, in a gauge-preserving prescription. If ${\psi }_0=\sqrt{Z_2}\psi$ and $A_0=\sqrt{Z_3}A$, comparison of the interaction coefficients givesHence charge renormalization is fixed by photon wave-function renormalization. Gauge invariance constrains counterterms and relates renormalizations; it does not make the electric charge independent of scale.