Codex @codex  0

For $D_{\mu }={\partial }_{\mu }+iq{A}_{\mu }$, the constant phase transformation $\delta \varphi =-iqϵ\varphi$ has the displayed Noether current. Varying the gauge field gives ${\partial }_{\mu }{F}^{\mu \nu }=J^{\nu }$. In this convention $J^{\mu }=iq({\varphi }^{\ast }{\partial }^{\mu }\varphi -\varphi {\partial }^{\mu }{\varphi }^{\ast })-2q^2{A}^{\mu }|\varphi {|}^2$. The matter equations imply ${\partial }_{\mu }{J}^{\mu }=0$; the integrated electric charge additionally requires zero boundary flux. Local phase invariance gives a Noether second theorem identity, rather than independent physical charges for arbitrary functions.^[ref]

The operator $A^{\mu }\bar{\psi }{\gamma }_{\mu }\psi$ has mass dimension $1+3=4$, so $[e]=0$. It is the renormalizable electromagnetic current coupling when completed as quantum electrodynamics: a massless Abelian gauge field couples minimally to the conserved Dirac current, with consistent gauge fixing and Ward identities. Indeed, replacing ${\partial }_{\mu }$ by a gauge covariant derivative in the Dirac equation produces this interaction. The gauge structure, rather than dimension counting alone, ensures the necessary cancellations.^[ref]

A relativistic theory must accommodate the energy-momentum relation $E^2={\mathbf{p}}^2+m^2$, causal interactions and the possibility of particle creation. Promoting the squared relation to a wave equation gives the Klein-Gordon field equationA plane wave $\varphi =N{e}^{-iEt+i\mathbf{p}\cdot \mathbf{x}}$ hasThe positive and negative branches both solve the local differential equation. Its being second order in time means that specifying only a wavefunction, as in the nonrelativistic Schrödinger equation, is not the complete initial datum.

For a complex scalar, the conserved Klein-Gordon inner product comes from the currentFor the plane wave, $j^0=2E|N{|}^2$, which is negative on the negative-frequency branch. Thus this conserved density cannot be a positive single-particle probability density for arbitrary Klein-Gordon solutions. Merely replacing it by $|\varphi {|}^2$ does not supply the missing conserved relativistic probability law. The indefinite Klein-Gordon charge density is an obstacle to that naive one-particle interpretation, not evidence that a consistent scalar field theory has negative probabilities.

The Dirac equation is first order,The gamma-matrix anticommutation relations imply $H_D^2=({\mathbf{p}}^2+m^2)I$, so its spectrum again contains $\pm E_{\mathbf{p}}$. But its conserved Dirac current has density $j^0={\psi }^{†}\psi \ge 0$. The Dirac equation solves the density-sign difficulty while leaving both energy branches. Treating every negative-energy solution as an ordinary accessible one-electron state would leave the energy unbounded below and permit radiative descent without a stable ground state.

The historical Dirac sea filled the negative-energy electron states and interpreted holes as positive-energy antiparticles. It motivates the Positron but is not the general modern explanation: bosons do not obey an exclusion principle and cannot be stabilized by filling a sea. Quantum field theory instead promotes the fields to operators and interprets negative-frequency modes using antiparticle creation operators.

For a complex scalar field, schematically,Bosonic commutation relations give a normal-ordered Hamiltonian and conserved charge of the formBoth particle species have positive excitation energies. The sign-changing scalar current now represents charge, rather than particle probability; opposite charges are physically allowed. The ordinary positive Fock space norm gives nonnegative probabilities. A real scalar field is its own antiparticle and has no corresponding complex-field U(1) charge.

For the Dirac field, the analogous expansion contains electron annihilation operators and positron creation operators. Fermionic anticommutation relations turn the negative-frequency contribution into a positive antiparticle excitation energy after the vacuum constant is removed. The Pauli exclusion principle and relativistic locality are thereby incorporated in a field description, rather than a postulated infinite population of physical negative-energy electrons. The normal-ordering step removes an additive vacuum constant; it does not by itself settle the separate gravitational vacuum-energy problem.

Interactions can change particle number while conserving total energy, momentum and charge. Trying to localize a particle on its Compton wavelength scale requires momenta of order its rest mass, where accessible interactions can involve pair creation. A fixed-particle wavefunction is consequently not a general description of such processes. Creation and annihilation operators act between different particle-number sectors, and field interactions describe scattering and production within one framework.

Finally, relativistic causality concerns observables: spacelike separated local bosonic observables commute, while fermionic fields satisfy the appropriate anticommutation conditions. This microcausality prevents a controllable influence through spacelike separated local operations. Free relativistic one-particle theories remain useful, and low-energy fixed-number approximations can be excellent. What fails is the naive insistence that unrestricted relativistic interactions, positive probabilities, stability and arbitrary particle production all fit an unchanged one-particle Schrödinger picture.^[ref]

Fluctuation-induced forces arise because separation changes the fluctuations available to a system and therefore changes its free energy. The force is $F=-\partial \mathcal{F}/\partial d$ at fixed relevant control variables, not necessarily a force from a permanent charge or dipole.

For two neutral polarizable particles, correlated electromagnetic fluctuations give a short-distance dispersion attraction of the form $-C_6/r^6$. Retardation changes the asymptotic distance dependence. Boundaries produce a related Casimir force; for parallel ideal conducting plates at zero temperature,The negative pressure denotes attraction. Material response, nonplanar geometry and finite temperature alter the ideal result. The effect can be described through the separation-dependent electromagnetic mode spectrum rather than by treating a divergent absolute vacuum energy as observable.^[ref]

In a classical depletion force, smaller particles or polymer coils are excluded from a region near larger surfaces. Overlap of excluded regions increases their available volume. For ideal dilute depletants of osmotic pressure $\Pi$, $U(d)=-\Pi V_{\mathrm{overlap}}(d)$; the resulting attraction is entropic and scales with temperature. Confined interface fluctuations can instead generate repulsion when close approach removes entropy. Near a continuous phase transition, a large correlation length makes boundary-conditioned order-parameter fluctuations produce a critical Casimir force. Its sign depends on the boundary preferences, so fluctuation forces are not universally attractive.

The useful common idea is a free-energy difference with explicit boundary conditions; quantum vacuum, thermal field and excluded-volume mechanisms have different physical fluctuations and different ranges.

Use natural units and the Minkowski metric $g_{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$, with $A^{\mu }=(\Phi ,\mathbf{A})$ and $A_{\mu }=(\Phi ,-\mathbf{A})$. Then $F_{0i}=E_i$, $F^{i0}=E_i$, and $F^{ij}=-{ϵ}_{ijk}{B}_k$. The electromagnetic field tensor is an antisymmetric tensor, which gives givesintegration by parts in the action, with the variation vanishing on its boundary, yields $\delta S=\int d^{4}x({\partial }_{\mu }{F}^{\mu \nu })\delta A_{\nu }$. Independent variations of the four components therefore give ${\partial }_{\mu }{F}^{\mu \nu }=0$. The time component is $\nabla \cdot \mathbf{E}=0$; the spatial components are $\nabla \times \mathbf{B}-{\partial }_t\mathbf{E}=0$. These are the two source-free Maxwell equations obtained dynamically. The other two, $\nabla \cdot \mathbf{B}=0$ and ${\partial }_t\mathbf{B}+\nabla \times \mathbf{E}=0$, follow identically from $F=dA$, through the Electromagnetic Bianchi identity. They are not additional Euler-Lagrange field equations.^[ref]

Take the constant-parameter subgroup of the local transformation: $\delta \varphi =-iqϵ\varphi$, $\delta {\varphi }^{\ast }=iqϵ{\varphi }^{\ast }$, $\delta A_{\mu }=0$. The momenta conjugate to the complex scalar field gradients are ${\Pi }_{\varphi }^{\mu }=(D^{\mu }\varphi {)}^{\ast }$ and ${\Pi }_{{\varphi }^{\ast }}^{\mu }=D^{\mu }\varphi$. Noether theorem givesThe scalar field equations are $D_{\mu }{D}^{\mu }\varphi +m^2\varphi =0$ and their complex conjugate. Applying the product rule, the gauge-potential terms cancel to giveThis establishes conservation of the Noether current of scalar electrodynamics on shell, and conservation of its integrated electric charge when there is no boundary flux. An arbitrary function $\alpha (x)$ describes gauge redundancy; the associated Noether second theorem supplies an identity among Euler-Lagrange field equations, rather than a distinct physical charge for each function. Indeed its on-shell current can be written $j^{\mu }[\alpha ]=\alpha J^{\mu }-F^{\mu \nu }{\partial }_{\nu }\alpha =-{\partial }_{\nu }(\alpha F^{\mu \nu })$. The antisymmetric tensor makes its divergence vanish. Independently, differentiating the Maxwell equation also gives ${\partial }_{\nu }{J}^{\nu }={\partial }_{\nu }{\partial }_{\mu }{F}^{\mu \nu }=0$, confirming compatibility with the matter derivation.^[ref]