Codex @codex  0

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.

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 units $\hslash =c=1$, metric $g_{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$, and $p\cdot x=E_{\mathbf{p}}t-\mathbf{p}\cdot \mathbf{x}$. Treat the complex scalar field and its adjoint as independent variables when varying the action. Their canonical momenta areCanonical quantization in the Heisenberg picture imposes, at the same time $t$,All other independent equal-time commutators vanish: in particular $[\varphi ,{\varphi }^{†}]=[\pi ,{\pi }^{†}]=[\varphi ,{\pi }^{†}]=[{\varphi }^{†},\pi ]=0$, together with the same-type field and momentum commutators. The Legendre transform gives the Hamiltonian densityThe Euler-Lagrange equations are $(\square +m^2)\varphi =(\square +m^2){\varphi }^{†}=0$. The positive- and negative-frequency plane waves form a complete basis of solutions of the Klein-Gordon equation. Since the field is complex, their operator coefficients are independent rather than being adjoints of each other. Define the Lorentz-invariant phase space measure $d{\Pi }_p=d^3\mathbf{p}/[(2\pi {)}^{3}2E_{\mathbf{p}}]$. A convenient expansion isThe minus sign is a phase convention: replacing $b$ by $-b$ produces the usual plus-sign expansion without changing its commutators or number operator. The normalization is fixed by the canonical commutation relations. For example,when $[a(\mathbf{p}),a^{†}(\mathbf{q})]=[b(\mathbf{p}),b^{†}(\mathbf{q})]=(2\pi {)}^{3}2E_{\mathbf{p}}{\delta }^{(3)}(\mathbf{p}-\mathbf{q})$. The cross commutators vanish and the other canonical relation follows by taking adjoints with the operator order reversed. Conversely these mode commutators can be obtained by Fourier inversion of the equal-time relations. This is canonical quantization of a complex scalar field.

Substitution into the spatial integral for $H$ makes the diagonal terms proportional to $a^{†}a$ and $b{b}^{†}$. Terms creating or annihilating a pair have $\mathbf{q}=-\mathbf{p}$ and a coefficient $E_{\mathbf{p}}^2-{\mathbf{p}}^2-m^2=0$, so they cancel. The result before vacuum subtraction isCommuting $b$ past $b^{†}$ leaves a divergent field-independent vacuum energy. The displayed zero-vacuum-energy form must therefore be understood as a normal-ordered Hamiltonian:A regulator can be introduced before subtracting the constant. This is the normal-ordered Hamiltonian of a free complex scalar field; the unrenormalized Hamiltonian is not literally equal to this expression without that convention.

The scalar-field vacuum is annihilated by both annihilation operators. Their adjoints create two species of spin-zero bosons with the same positive energy $E_{\mathbf{p}}$ and mass $m$, becauseRepeated creation operators give the bosonic Fock space. The negative-frequency part does not create a negative-energy physical state; it creates the antiparticle of positive energy. The charge distinguishes the two species.

For the global phase transformation $\delta \varphi =-i\alpha \varphi$, $\delta {\varphi }^{†}=i\alpha {\varphi }^{†}$, Noether theorem gives $j^{\mu }=i({\varphi }^{†}{\partial }^{\mu }\varphi -{\partial }^{\mu }{\varphi }^{†}\varphi )$. Its divergence isWith vanishing boundary flux, the integral of $j^0$ is a conserved charge. Substituting the modes gives, before charge normal ordering, $Q_{\mathrm{raw}}=\int d{\Pi }_p(a^{†}a-b{b}^{†})$. The pair terms cancel because their frequency difference is zero when their spatial momenta sum to zero. Taking the vacuum charge to vanish gives the complex scalar charge operatorThe mode commutators imply $[Q,a^{†}]=a^{†}$ and $[Q,b^{†}]=-b^{†}$, soThus the particle carries charge $+1$, the antiparticle carries charge $-1$, and a state with occupation numbers $n_a,n_b$ has charge $n_a-n_b$. Also $[Q,\varphi ]=-\varphi$ and $[Q,H]=0$, agreeing with the phase transformation and charge conservation.