Codex @codex  0

For a free complex scalar field, independent particle annihilators and antiparticle creators giveThe invariant mass shell integral vanishes at spacelike separation: transform to equal time, then reverse the spatial momentum in one term. Retaining only the particle-annihilation term would leave a Wightman function, which is generally nonzero even at spacelike separation. Thus both frequency branches are needed for a local relativistic field. For a real scalar field, the creation term supplies the same cancellation but creates the same self-conjugate particle species.

A free complex scalar field has independent particle and antiparticle mode operators. With $d{\Pi }_p=d^3\mathbf{p}/[(2\pi {)}^{3}2E_p]$, the expansion $\varphi =\int d{\Pi }_p(a{e}^{-ipx}+b^{†}{e}^{ipx})$ and its adjoint reproduce equal-time canonical commutation relations when $[a(\mathbf{p}),a^{†}(\mathbf{q})]=[b(\mathbf{p}),b^{†}(\mathbf{q})]=(2\pi {)}^{3}2E_p{\delta }^{(3)}(\mathbf{p}-\mathbf{q})$ and cross commutators vanish. The canonical momenta are $\pi ={\dot{\varphi }}^{†}$, ${\pi }^{†}=\dot{\varphi }$. An overall phase on $b$ can reverse the sign of the antiparticle term without changing the theory.

With left Grassmann derivatives, a chiral superfield is a finite expansion in chiral coordinates $y^{\mu }=x^{\mu }+i\theta {\sigma }^{\mu }\bar{\theta }$:Here $\varphi$ is a complex scalar field, $\psi$ a Weyl spinor and $F$ an auxiliary field. The translation form of its ordinary-coordinate expansion isThe exponential terminates in the Grassmann algebra. To reduce its contractions, choose signature $(+---)$, ${\sigma }^{\mu }=(I,\mathbf{\sigma })$, left differentiation, and ${ϵ}_{12}=1$ for both lower spinor epsilon tensors. Define ${\theta }^2={\theta }^{\alpha }{\theta }_{\alpha }$ and ${\bar{\theta }}^2={\bar{\theta }}_{\dot{\alpha }}{\bar{\theta }}^{\dot{\alpha }}$. Then $v^{\mu }=\theta {\sigma }^{\mu }\bar{\theta }$ satisfies $v^{\mu }{v}^{\nu }=\frac{1}{2}{\theta }^2{\bar{\theta }}^2{\eta }^{\mu \nu }$. Expanding the translation givesThe last sign follows from $i^2/2=-1/2$ in the translation expansion. Defining the barred square in the reverse order, ${\bar{\theta }}^{\dot{\alpha }}{\bar{\theta }}_{\dot{\alpha }}$, negates it and writes the same term with a positive quarter coefficient. Spinor contractions and the Grassmann algebra convention must therefore accompany the reduced formula.

With the invariant measure $d{\Pi }_p=d^{3}p/[(2\pi {)}^{3}2E_p]$, a free complex scalar field has particle and antiparticle modes. At any fixed time the displayed inverse and $b^{†}(p)=\int d^{3}x{e}^{-ip\cdot x}(E_p\varphi -i\dot{\varphi })$ project onto its positive- and negative-frequency components. The equal-time canonical commutation relations then give $[a(p),a^{†}(q)]=[b(p),b^{†}(q)]=(2\pi {)}^{3}2E_p{\delta }^3(\mathbf{p}-\mathbf{q})$; cross terms vanish because their coefficient contains $E_p-E_q$ on the momentum delta function.

For the connected tree scattering amplitude of one particle and one antiparticle of a complex scalar field, the Dyson series inserts $-i\lambda {\varphi }^{†2}{\varphi }^2/4$. There are $2!$ assignments of the particle and antiparticle external attachments to each pair of identical field factors, giving $2!2!=4$ and hence the displayed Feynman vertex. With relativistic normalization of a one-particle state, integrating the vertex position gives $i\mathcal{T}(2\pi {)}^4{\delta }^4(p_1+q_1-p_2-q_2)$ with $\mathcal{T}=-\lambda$. Vacuum diagrams and one-particle self-energy insertions are separate disconnected contributions; normal ordering eliminates the single-vertex vacuum and tadpole contractions.

A nonlinear complex scalar field theory with a global phase symmetry and a curved target-space kinetic coefficient. In physical coordinates its classical density is displayed above; dimensionless coordinates measured in $M^{-1}$ put a common $M^2$ outside the reduced density. Its regular coordinate domain is ${\lambda }^2|\psi {|}^2<1$. Rotating localized solutions are charged complex sine-Gordon solitons. The local classical density does not by itself specify the treatment of the singular coordinate boundary or a global quantum completion.

If a complex scalar field uses $D_{\mu }\varphi =({\partial }_{\mu }+ie{A}_{\mu })\varphi$, its conjugate uses $(D_{\mu }\varphi {)}^{\ast }=({\partial }_{\mu }-ie{A}_{\mu }){\varphi }^{\ast }$. Under $\varphi \mapsto e^{-ie\alpha }\varphi$ and $A\mapsto A+d\alpha$, the two derivatives transform with opposite phases. Their product is gauge invariant. Applying the same plus-charge operator to both factors leaves an unwanted term proportional to ${\partial }_{\mu }\alpha$ and fails gauge invariance.

A Higgs chiral doublet is a weak-doublet chiral superfield containing a Higgs complex scalar field, a higgsino and an auxiliary field. In the MSSM, $H_u$ has hypercharge $+1/2$ and $H_d$ has hypercharge $-1/2$. Their paired charges enable higgsino anomaly cancellation and the holomorphic need for two Higgs chiral doublets.

A single weak-doublet higgsino of hypercharge $+1/2$ contributes $1/4$ to the cubic hypercharge gauge anomaly, $1/4$ to the weak-squared hypercharge coefficient with fundamental index $1/2$, and $1$ to the mixed gauge-gravitational anomaly. A second Higgs chiral doublet of opposite hypercharge cancels all three through its higgsino. The pair also contributes an even number of weak doublets, avoiding a new Witten SU(2) anomaly. Higgs complex scalar fields do not cancel chiral fermion gauge anomalies.

An internal symmetry changes field values while leaving spacetime coordinates fixed, preserving the action. A constant phase rotation of a complex scalar field is an example. This distinguishes internal charges from the spacetime translation charges in the canonical stress-energy tensor. Localizing the parameter generally requires gauge fields; a global internal symmetry is not automatically a gauge symmetry.

Treat $\varphi ,{\varphi }^{†}$ as independent variables when taking the Legendre transform. Their canonical momenta areThe canonical quantization of a complex scalar field imposes, at equal times,with $[\varphi ,{\varphi }^{†}]=[\varphi ,\varphi ]=[\pi ,{\pi }^{†}]=[\pi ,\pi ]=0$, together with their adjoints, and $[\varphi ,{\pi }^{†}]=[{\varphi }^{†},\pi ]=0$. These are canonical commutation relations for two real scalar degrees of freedom, written in a complex basis. Local fields are operator-valued distributions, so these identities are understood after smearing or with a regulator.

The Hamiltonian density is $\pi \dot{\varphi }+{\pi }^{†}{\dot{\varphi }}^{†}-\mathcal{L}$, givingThe Heisenberg equation of motion is $\dot{O}=i[H,O]$. For example, $i[\int {\pi }^{†}\pi ,\varphi ]={\pi }^{†}$, while commuting $\pi$ with the gradient term and integrating its derivative of a Dirac delta distribution gives ${\nabla }^2{\varphi }^{†}$. ThusBoth fields satisfy the Klein-Gordon equation. Their spatial Fourier modes therefore have frequencies $\pm E_p$, $E_p=\sqrt{{\mathbf{p}}^2+m^2}$. A complex scalar field has independent coefficients for these two frequency sectors, so, defining the invariant measure $d{\Pi }_p=d^{3}p/[(2\pi {)}^{3}2E_p]$, its mode expansion isOne can recover the mode operators at any fixed time using complex scalar mode inversion:Substitution of the expansion verifies these inverses: the spatial integral selects the appropriate momentum, while the two frequency sectors acquire factors $E_p\pm E_q$. The unwanted sector vanishes when the delta function sets $E_p=E_q$. The canonical commutation relations then give, for example,Likewise $[b(p),b^{†}(q)]$ has the same value. The cross commutators vanish; their coefficients contain $E_p-E_q$ on the corresponding momentum delta function. Conversely, these oscillator brackets reproduce the equal-time field brackets, confirming the normalization of the measure.

Insert the mode expansion into $H$ and integrate over space. The terms $a^{†}{b}^{†}$ and $ba$ enforce opposite spatial momenta; their coefficient is $-E_p^2+{\mathbf{p}}^2+m^2=0$. For the diagonal terms the coefficient is $E_p^2+{\mathbf{p}}^2+m^2=2E_p^2$. Combining this with the two invariant measures leavesIn a box, $E_0={\sum }_{\mathbf{p}}{E}_p$, one half-quantum for each of the two real oscillator species. It diverges as the cutoff is removed. Normal ordering removes this vacuum energy, yielding the normal-ordered Hamiltonian of a free complex scalar field:In this nongravitational free theory an additive constant in $H$ changes only an overall state phase, not Heisenberg equations of motion, energy differences or scattering probabilities. It is therefore consistent to choose the Fock vacuum energy as zero. Both creation operators raise the energy: $[H,a^{†}(p)]=E_p{a}^{†}(p)$ and $[H,b^{†}(p)]=E_p{b}^{†}(p)$. Repeated creation builds a bosonic Fock space of spin-zero particles and antiparticles, with the same positive mass and energy. The negative-frequency part of the field does not describe negative-energy physical particles.

The global phase symmetry of a complex scalar field, with orientation $\varphi \mapsto e^{-i\alpha }\varphi$, has the indicated Noether current. Taking its divergence, the two first-derivative terms cancel, givingThe same calculation holds for its normal-ordered version. Integrating its temporal component gives a conserved charge when spatial boundary flux vanishes.

Here the ordering convention is important. Direct substitution into the literally ordered product $i\int ({\varphi }^{†}\dot{\varphi }-{\dot{\varphi }}^{†}\varphi )d^{3}x$ yieldsThe pair terms again vanish, now because their coefficient is a difference of equal energies. Reordering the $b$ term produces a divergent vacuum constant: with a finite-mode regulator $Q_{\mathrm{bare}}=N_a-N_b-N_{\mathrm{modes}}$. Thus the requested finite charge formula uses zero vacuum charge, or equivalently the vacuum subtraction of a complex scalar charge. With that conventional subtraction,The subtraction changes neither current conservation nor the action of $Q$ on fields; without it, the unrenormalized product does not literally equal the displayed normal-ordered operator.

Finally the oscillator commutators giveor $\boxed{Q{a}^{†}=a^{†}(Q+1),Q{b}^{†}=b^{†}(Q-1)}$. Acting on a charge eigenstate, the first creator raises its charge by one and the second lowers it by one. Starting from the neutral Fock vacuum, their one-particle states therefore have charges $+1$ and $-1$ respectively. This is the complex scalar charge operator $N_a-N_b$, whereas the energy counts the sum of the two occupations. A multiparticle state has additive charge equal to the number of particles minus the number of antiparticles.

For the complex scalar field, the canonical momenta are $\pi ={\dot{\varphi }}^{†}$ and ${\pi }^{†}=\dot{\varphi }$. Split $H=H_0+H_I$. The interaction picture is obtained from the Schrödinger picture by $|{\Psi }_I(t)⟩=e^{i{H}_{0}t}|{\Psi }_S(t)⟩$ and $O_I(t)=e^{i{H}_{0}t}{O}_S{e}^{-i{H}_{0}t}$, choosing a common time origin. The fields therefore obey the free Klein-Gordon equation, while the states evolve through $H_I(t)$. The canonical quantization of a complex scalar field givesThe adjoint expansion contains $a^{†}$ and $b$. Particle and antiparticle modes are independent; their nonzero commutators areAll cross-species commutators, and all pairs of creation operators or of annihilation operators, vanish. These formulas reproduce $[\varphi (\mathbf{x}),\pi (\mathbf{y})]=[{\varphi }^{†}(\mathbf{x}),{\pi }^{†}(\mathbf{y})]=i{\delta }^{(3)}(\mathbf{x}-\mathbf{y})$ and the remaining vanishing equal-time commutators.

There are no derivative interactions, so the interaction Hamiltonian is $H_I(t)=-\int d^{3}x{\mathcal{L}}_I(x)$. Differentiating the interaction picture state gives $i{\partial }_t|{\Psi }_I⟩=H_I(t)|{\Psi }_I⟩$. Its time-evolution operator satisfiesIteration gives ordered integration regions $t_1>\cdots >t_n$. Each is $1/n!$ of the full region with a time-ordered product, yielding the Dyson seriesWith the usual asymptotic scattering prescription, taking $t_0\to -\infty$ and $t\to +\infty$ provesTime ordering is essential because different interaction Hamiltonians need not commute.

At first order, use the connected tree scattering amplitude, equivalently the normal-ordered quartic vertex with the vacuum and one-particle mass contributions removed. This qualification matters if the local product is interpreted literally without normal ordering: single-vertex tadpole diagrams and vacuum diagrams are not the requested connected two-particle amplitude. The complex scalar quartic contact vertex is obtained fromIn a fully connected matrix element, an incoming particle and outgoing antiparticle attach to the two $\varphi$ factors; an outgoing particle and incoming antiparticle attach to the two ${\varphi }^{†}$ factors. Each pair has two assignments, giving $2!2!=4$. The external relativistic normalization of a one-particle state cancels each mode measure: for example $[\varphi (x),a^{†}(p_1)]=e^{-i{p}_{1}x}$ and $[b(q_2),\varphi (x)]=e^{i{q}_{2}x}$. Consequently the connected integrand is $4e^{-i(p_1+q_1-p_2-q_2)\cdot x}$, andThus the invariant connected amplitude isThe Dirac delta function expresses four-momentum conservation.

For the identity contribution, commute $a(p_2)$ through $a^{†}(p_1)$ and independently $b(q_2)$ through $b^{†}(q_1)$; all terms leaving a creation operator against the left Fock vacuum or an annihilation operator against the right Fock vacuum vanish. HenceThere is no exchange term between the two distinct particle and antiparticle species.

An antilinear involution need not preserve norms, so the required physical assumption is that momentum reversal maps a complete normalized basis to a normalized basis. For a spinless sector take $\hat{T}|\mathbf{p}⟩=\eta (\mathbf{p})|-\mathbf{p}⟩$ with $|\eta |=1$ and relativistic normalization $⟨\mathbf{p}|\mathbf{q}⟩=(2\pi {)}^{3}2E_p{\delta }^3(\mathbf{p}-\mathbf{q})$. Any extra degeneracy labels must likewise be mapped by a norm-preserving permutation or unitary matrix. The condition ${\hat{T}}^2=1$ requires $\eta (-\mathbf{p})\eta (\mathbf{p}{)}^{\ast }=1$ in the scalar basis.

For arbitrary normalizable wave packets $|\varphi ⟩=\int d{\Pi }_{p}f(\mathbf{p})|\mathbf{p}⟩$ and $|\psi ⟩=\int d{\Pi }_{p}h(\mathbf{p})|\mathbf{p}⟩$, where $d{\Pi }_p=d^{3}p/[(2\pi {)}^{3}2E_p]$, antilinearity conjugates their coefficients. Using the normalized reversed basis givesCompleteness proves $⟨\hat{T}\varphi |\hat{T}\psi ⟩=⟨\varphi |\psi {⟩}^{\ast }$ for all states, so this quantum time-reversal operator is antiunitary. The same proof with sums over extra labels uses the unitarity of their reversal matrix.

For a Hermitian interaction-picture Hamiltonian, the condition of time-reversal symmetry isExpand the scattering matrix as a Dyson series, using ordered integration rather than commuting operators:Conjugation by $\hat{T}$ conjugates $(-i{)}^n$ to $i^n$ but preserves the product order. Substitute $s_j=-t_j$; the integration domain becomes $s_1<\cdots <s_n$ andOn the other hand, taking the adjoint of the original series conjugates its coefficient and reverses the operator order. Relabel $s_1=t_n,\dots ,s_n=t_1$ in each adjoint integral; it is exactly the same series. ThusEquivalently, time ordering turns into anti-time ordering after reversing the time arguments. One can first use a finite symmetric time interval and the same time-symmetric switching prescription before taking the scattering limit; the argument never assumes $[V(t),V(s)]=0$.

Antiunitarity relates amplitudes byUsing $\hat{T}S{\hat{T}}^{-1}=S^{†}$ and taking a complex conjugate gives the time-reversal reciprocity of the scattering matrixThe reverse process starts with the reversed final state and ends with the reversed initial state. Intrinsic state phases can appear when these reversed states are rewritten in a separately chosen basis, but the corresponding squared amplitudes agree. Equal amplitudes do not mean identical numerical cross sections when the reversed process has different flux or phase-space factors.

For a spin-zero complex scalar field, choose the transformation convention $\hat{T}\varphi (t,\mathbf{x}){\hat{T}}^{-1}={\eta }_T\varphi (-t,\mathbf{x})$. Its mode expansion of a free field isApply $\hat{T}$ to the expansion. Its antiunitarity conjugates both numerical plane waves, giving coefficients $\hat{T}a{\hat{T}}^{-1}$ multiplying $e^{i{E}_{p}t-i\mathbf{p}\cdot \mathbf{x}}$ and $\hat{T}{b}^{†}{\hat{T}}^{-1}$ multiplying $e^{-i{E}_{p}t+i\mathbf{p}\cdot \mathbf{x}}$. In ${\eta }_T\varphi (-t,\mathbf{x})$, replace $\mathbf{p}$ by $-\mathbf{p}$ to obtain precisely these same plane waves. Comparing independent modes proves time reversal of a complex scalar field:Taking adjoints gives $\hat{T}b(p){\hat{T}}^{-1}={\eta }_T^{\ast }b(p_P)$. Positive energy is preserved, and an annihilation operator remains an annihilation operator. Time reversal does not exchange particles with antiparticles.

The coefficient ${\eta }_T$ is an intrinsic time-reversal phase. Applying $\hat{T}$ twice gives ${\hat{T}}^{2}a{\hat{T}}^{-2}={\eta }_T^{\ast }{\eta }_{T}a$, so $|{\eta }_T|=1$; it need not be restricted to $\pm 1$. Write ${\eta }_T=e^{i\vartheta }$ and redefine $a^{\prime }=e^{i\vartheta /2}a$. Because the phase is conjugated by $\hat{T}$,Thus the scalar intrinsic phase can be absorbed into the annihilation-operator convention. Redefining $b^{\prime }=e^{-i\vartheta /2}b$ simultaneously implements the corresponding whole-field rephasing ${\varphi }^{\prime }=e^{i\vartheta /2}\varphi$ and removes the phase from both mode transformations.

Use natural units and the Minkowski metric $g_{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$. A massive spin-one particle has three physical particle polarizations, whereas a massless gauge boson has two. Giving a vector a mass must account for this extra longitudinal state while preserving a positive physical state space, controlled high-energy scattering and, if a fundamental perturbative theory is sought, renormalizability.

At the free-field level there is no inconsistency. The Proca actiongives the Proca equation ${\partial }_{\nu }{F}^{\nu \mu }+m^2{A}^{\mu }=0$. Taking its divergence gives $m^2{\partial }_{\mu }{A}^{\mu }=0$, and then $(\square +m^2)A^{\mu }=0$. For $m>0$ the divergence constraint removes one of the four components, leaving three positive-norm physical modes. The time component is constrained, rather than an independent negative-norm propagating oscillator. The mass term does, however, change under $A_{\mu }\mapsto A_{\mu }+{\partial }_{\mu }\omega$, so the ordinary massless gauge invariance is no longer manifest.

The difficulty becomes acute for generic interactions. Inverting the quadratic operator gives the Proca propagatorThe longitudinal part approaches order $1/m^2$ at large momentum, rather than falling as $1/k^2$. Thus the usual ultraviolet power counting deteriorates. There is a parallel external-state problem: for $p^{\mu }=(E,\mathbf{p})$,Longitudinal external legs can generate powers of $E/m$ in a scattering amplitude. These are the high-energy obstruction for a hard vector mass. Conserved Abelian currents can remove dangerous contractions, so one should not conclude that every massive-vector interaction is impossible.

For a massive non-Abelian vector with gauge-like cubic and quartic couplings, cancellations among diagrams remove the largest powers, but without a suitable additional sector longitudinal scattering still grows like $s/v^2$, where $v$ is the symmetry-breaking scale. A partial-wave coefficient is then of order $s/(16\pi v^2)$. Partial-wave unitarity requires its real part to remain bounded, so perturbation theory fails at energies of order the electroweak scale times a modest loop factor, around the TeV scale for electroweak vectors. This is a limit on the perturbative description, not a proof that a low-energy massive-vector effective field theory is inconsistent.

The Higgs mechanism supplies a weakly coupled completion. For an Abelian example, take a complex scalar field withLocally write $\varphi =(v+h)e^{i\chi /v}/\sqrt{2}$. Its gauge-covariant kinetic term becomesThe combination is invariant under $A_{\mu }\mapsto A_{\mu }+{\partial }_{\mu }\omega$, $\chi \mapsto \chi +gv\omega$. In unitary gauge $\chi =0$, it contains $m^2{A}_{\mu }{A}^{\mu }/2$ with $m=gv$, as well as the correlated $hAA$ and $hhAA$ interactions. The two original gauge polarizations and two real scalar components become three massive-vector polarizations and one radial Higgs boson. The would-be Goldstone boson supplies the longitudinal state. This counting explains why the Goldstone theorem for spontaneously broken global symmetries does not imply an extra physical massless particle here. Local gauge symmetry is a redundancy; choosing a Higgs background after gauge fixing does not explicitly break the gauge invariance of the action.

The extra scalar interactions also repair high-energy scattering. By the Goldstone-boson equivalence theorem, the leading longitudinal-vector amplitude can be computed using the would-be Goldstone bosons. For a charged-to-neutral channel in the linear scalar model, the scalar contact and radial-exchange terms giveThis Higgs cancellation in longitudinal vector scattering removes the uncontrolled $s/v^2$ growth. It also shows why a very large scalar self-coupling would itself make perturbation theory unreliable; introducing a scalar is not a license to ignore partial-wave unitarity.

Although the unitary gauge propagator looks like the badly behaved Proca propagator, renormalizability is conveniently established in an R-xi gauge. Using Cartesian scalar fluctuations, the quadratic mixing is $-m{A}_{\mu }{\partial }^{\mu }\chi$. The gauge-fixing term $-(\partial \cdot A+\xi m\chi {)}^2/(2\xi )$ cancels it and givesAt fixed finite $\xi$ this falls as $1/k^2$. The would-be scalar modes and Faddeev-Popov ghosts remain in intermediate calculations. Gauge identities, organized through BRST symmetry, make unphysical states cancel from physical amplitudes and constrain counterterms to the gauge-invariant renormalizable form. With a renormalizable scalar sector and cancellation of gauge anomalies, spontaneously broken gauge theory is renormalizable and unitary on its physical states; the bosonic construction is demonstrated in the original massive Yang-Mills renormalizability proof. The ultraviolet limit and $\xi \to \infty$ limit do not commute, so the unitary-gauge numerator alone is not a valid disproof of this result.

In the Standard Model, a Higgs doublet breaks the manifest electroweak group from $SU(2{)}_L\times U(1{)}_Y$ to $U(1{)}_{\mathrm{em}}$. The scalar kinetic term yieldsThree scalar directions supply the longitudinal polarizations of $W^{\pm }$ and $Z$, while the unbroken electromagnetic generator leaves the photon massless. The radial Higgs boson remains physical.

There is an important Abelian alternative. The Stueckelberg mechanism introduces a scalar with ${\mathcal{L}}_{\mathrm{mass}}=(m{A}_{\mu }-{\partial }_{\mu }\chi {)}^2/2$, invariant under $A\mapsto A+\partial \omega$, $\chi \mapsto \chi +m\omega$. With suitable conserved-current couplings this can describe a renormalizable massive Abelian gauge theory without a radial Higgs particle. A naive non-Abelian analogue involves a nonlinear group-valued scalar and derivative interactions suppressed by inverse powers of the symmetry-breaking scale; it is generally an effective field theory, not a power-counting-renormalizable substitute. Strongly coupled or composite sectors can provide other completions. A free vector mass is consistent; the central problem is obtaining the longitudinal state and its interactions in a theory with controlled ultraviolet behavior and physical unitarity.

Expand the gauge covariant derivative in the scalar kinetic term:The cubic interaction is thereforeFor an incoming scalar momentum $p$ and outgoing momentum $q$, derivatives give $-ip$ on the incoming field and $+iq$ on its outgoing conjugate. Multiplication by the factor $i$ from the interaction action gives the scalar electrodynamics three-point vertex $-ie(p+q{)}_{\mu }$.

The other vertex comes fromDifferentiating twice with respect to the identical photon fields gives a factor of two, so the seagull vertex is $+2i{e}^2{\eta }_{\mu \nu }$. There is no additional factor of two from the scalar fields, since the complex scalar field and its conjugate are distinct legs.

Antiparticles are positive-energy quanta of relativistic quantum fields, not physical particles with negative energies. The negative-frequency part of a quantum field creates these quanta; the distinction between its classical frequency and a state's excitation energy is central to their interpretation.

For a real scalar field, Hermiticity identifies the two frequency branches:There is one species of excitation. Its particle is its own antiparticle; a single Hermitian scalar cannot carry the nonzero continuous phase charge of a complex field. This does not prevent self-conjugate particles from having other quantum numbers.

A complex scalar field is not Hermitian. Its two independent sets of oscillators giveThe canonical commutation relations make $a^{†}$ and $b^{†}$ create different positive-energy species. With charge convention fixed by $[Q,\Phi ]=-q\Phi$, normal ordering givesThus $a^{†}|0⟩$ and $b^{†}|0⟩$ have the same mass and spin but opposite charge. Although $b^{†}{e}^{ipx}$ has negative classical frequency, $[H,b^{†}]=E_p{b}^{†}$, so it creates a positive-energy excitation. Two real scalar fields can be combined into one complex field; the particle–antiparticle basis diagonalizes the conserved phase charge. Neutrality alone does not require a particle to be self-conjugate.

Locality explains why both branches occur. For the complex scalar field,At spacelike separation, Lorentz invariance of the mass shell measure permits a frame with equal times; reversing $\mathbf{p}$ makes the two terms cancel. This is microcausality. If the antiparticle creation term were omitted, the commutator would be just a Wightman function, generally nonzero at spacelike separation. For example, for a massless scalar at equal times and separation $r>0$, it is $1/(4{\pi }^2{r}^2)$. The cancellation is the role of antiparticle modes and spacelike commutativity. In a real scalar field its self-conjugate creation modes supply the same cancellation.

A nonrelativistic particle field obeys a first-order time equation and need not contain an antiparticle-creation branch. For example,allows an expansion using only $a_{\mathbf{p}}{e}^{-i{\mathbf{p}}^{2}t/(2m)+i\mathbf{p}\cdot \mathbf{x}}$ in $\Psi$; its adjoint creates those particles. The basic theory conserves particle number and does not impose a Lorentz-invariant light cone locality condition. It often arises from a relativistic quantum field by factoring out the rest-energy oscillation and restricting to a low-energy particle sector, where creation of particle–antiparticle pairs costs roughly $2m$. An antiparticle species can certainly also be treated nonrelativistically with its own field; antiparticles are simply not forced by this nonrelativistic quantum field equation.

Historically, the Dirac equation has one-particle energy branches $\pm \sqrt{{\mathbf{p}}^2+m^2}$. Treating both as ordinary electron energies would leave no lowest-energy one-particle vacuum: an electron could fall through arbitrarily negative levels. The Dirac sea interpretation fills every negative-energy electron level. The Pauli exclusion principle then blocks further occupation. A missing negative-energy electron is a hole: removing energy $-E$ increases energy by $E$, and removing charge $-e$ leaves charge $+e$. This predicts the positron's mass, spin and opposite electric charge.

The quantum field theory account quantizes a Dirac field instead:The independent particle and antiparticle operators obey canonical anticommutation relations. Before normal ordering, the negative-frequency contribution to the Dirac Hamiltonian has the form $-E_p{b}_r{b}_r^{†}$. Anticommutation rewrites it as $+E_p{b}_r^{†}{b}_r$ plus a vacuum constant. Removing the constant leaves positive particle and antiparticle energies. The charge has opposite signs on the two occupation numbers, and interactions permit pair creation and annihilation while conserving the relevant charges.

There is therefore no need for a literal infinitely populated material sea. The hole picture is a useful fermionic reinterpretation, but it cannot explain bosonic antiparticles through filled-level exclusion, since bosons can multiply occupy a state. Canonical quantization of a complex scalar field supplies them just as consistently. More generally charge conjugation relates field representations with opposite internal charges; real scalar fields and Majorana fermions are self-conjugate exceptions. The relativistic Fock space description handles these cases, statistics and changing particle number within one framework.

Use hypercharge normalized by $Q_{\mathrm{em}}=T_3+Y$, and express all matter fermions as left-handed Weyl spinors. Thus $u^c,d^c,e^c$ denote the charge conjugates of the right-handed Standard Model fermions; the superscript $c$ is unrelated to the antiparticle marker $(A)$. Each chiral superfield contains a complex scalar field and a Weyl spinor, while each vector superfield contains a gauge boson and a gaugino. The complete propagating content of the Minimal supersymmetric Standard Model before electroweak symmetry breaking is: