Skip to content

Probability Density Problems

A conserved density is not automatically a probability density. The Klein–Gordon current gives a sharp example: even a superposition containing only positive frequencies can have negative local density while its integrated norm stays positive. The difficulty concerns a particular local Born interpretation, not the consistency of the scalar wave equation or the existence of a positive-energy scalar-particle Hilbert space.

Required background. The Klein–Gordon Equation supplies the scalar current; Relativistic Currents separates conservation and positivity.

Helpful background. The Covariant Dirac Equation provides the contrasting positive spinor density.

For an ordinary position measurement, probabilities assigned to disjoint regions must be nonnegative and add to one over all space. A proposed local density must therefore answer more than the conservation question.

QuestionMathematical testWhat it does not establish
Is the integral conserved?A continuity equation and controlled boundary fluxPointwise positivity
Is it locally nonnegative?Nonnegative density for every allowed stateIts transformation law
Is it a relativistic current?A four-vector current and hypersurface integralA particle-number interpretation
Does it describe one particle?A justified fixed-particle sector and measurement ruleValidity when pairs are produced

The current geometry explains why a local probability current should be future causal. Here the focus is a worked scalar counterexample and its interpretation.

Positive frequencies can give negative local KG density

Section titled “Positive frequencies can give negative local KG density”

For m>0m>0 the density associated with the standard KG current is

ρKG=iℏ2mc2(ϕ∗∂tϕ−(∂tϕ∗)ϕ).\rho_{\mathrm{KG}}= \frac{i\hbar}{2mc^2} \left(\phi^*\partial_t\phi-(\partial_t\phi^*)\phi\right).

A single positive-frequency plane wave has positive density. For two such modes with real positive amplitudes A,BA,B and a relative phase θ\theta, the density is instead

ρKG=1mc2[E1A2+E2B2+(E1+E2)ABcos⁡θ].\rho_{\mathrm{KG}}= \frac{1}{mc^2}\left[ E_1A^2+E_2B^2+(E_1+E_2)AB\cos\theta\right].

At destructive phase cos⁡θ=−1\cos\theta=-1, the numerator factors:

E1A2+E2B2−(E1+E2)AB=(A−B)(E1A−E2B).E_1A^2+E_2B^2-(E_1+E_2)AB =(A-B)(E_1A-E_2B).

For E2>E1E_2>E_1, this is negative whenever E1/E2<B/A<1E_1/E_2<B/A<1. The time derivative weights the two modes by different energies; the interference term cannot be reorganized into a nonnegative absolute square.

Use c=ℏ=m=1c=\hbar=m=1 in this example. Choose a periodic box of volume VV whose xx period is 2π/152\pi/\sqrt{15}, and a field independent of the transverse coordinates:

ϕ(t,x)=12V(e−it−12e−4it+i15x).\phi(t,x)=\frac{1}{\sqrt{2V}} \left(e^{-it}-\frac12e^{-4it+i\sqrt{15}x}\right).

The energies 11 and 44 obey the positive mass shell for momenta 00 and 15\sqrt{15}. Direct substitution gives

ρKG(t,x)=12V[2−52cos⁡(3t−15x)].\rho_{\mathrm{KG}}(t,x) =\frac1{2V}\left[2-\frac52\cos(3t-\sqrt{15}x)\right].

At t=x=0t=x=0 it equals −1/(4V)-1/(4V) and is negative in a neighborhood. Yet the cosine averages to zero over the box, so ∫VρKGd3x=1\int_V\rho_{\mathrm{KG}}d^3x=1 at every time. This is a normalized, finite-volume positive-frequency counterexample. Plane waves in infinite volume would need wave-packet or distributional normalization; the box avoids that distraction.

Why a positive integrated inner product survives

Section titled “Why a positive integrated inner product survives”

Orthogonality removes interference between distinct momentum modes when integrating over a complete spatial slice. On the free positive-frequency subspace, the KG norm is consequently a sum or integral of positive energy-weighted mode coefficients. On the full solution space the negative frequency sector contributes with the opposite sign.

Global positivity on the restricted subspace does not imply positivity of its pointwise integrand. Nor can one set ρ↦∣ρ∣\rho\mapsto|\rho| without changing the theory: the absolute value generally destroys the conservation law and changes normalization in a state-dependent way.

The alternative ∣ϕ∣2|\phi|^2 is nonnegative, but its integral is not conserved for arbitrary two-branch KG data. For example a spatially constant mode in a finite periodic box, ϕ(t)=cos⁡(mc2t/ℏ)\phi(t)=\cos(mc^2t/\hbar) has oscillating ∣ϕ∣2|\phi|^2 and zero KG charge. Within the free positive-frequency subspace, an equal-time L2L^2 norm can be conserved under the square-root Hamiltonian. This equal-time L2L^2 norm is not the invariant KG norm, and ∣ϕ∣2|\phi|^2 is not the time component of the KG current. A positive-norm position representation needs separately specified transformation and localization rules. This qualification prevents an overly strong claim that no positive norm can exist.

Dirac positivity and the particle-number boundary

Section titled “Dirac positivity and the particle-number boundary”

For the first-quantized Dirac equation, ρD=ψ†ψ\rho_D=\psi^\dagger\psi is nonnegative and its current is conserved. It includes contributions from either free energy sector with the same norm sign. This solves the local-density problem for its one-particle description, but does not make that description sufficient for pair creation.

Electric charge and particle number are also different. In field theory a particle–antiparticle pair can have total charge zero while contributing two excitations. Conserving signed charge does not conserve the number of particles. The scalar charge-current interpretation and the Dirac probability-current interpretation must therefore be stated at their respective levels of description.

  1. For E1=2mc2E_1=2mc^2 and E2=5mc2E_2=5mc^2, determine the interval of B/AB/A that makes the destructive-phase KG density negative.
Solution

The condition is 2/5<B/A<12/5<B/A<1. At the endpoints the density is zero. Equal energies do not admit this interval; their interference can be written as an energy times an absolute square.

  1. In the normalized box example, find the minimum and maximum local density. Does either bound alter its integrated norm?
Solution

The minimum is −1/(4V)-1/(4V) and the maximum is 9/(4V)9/(4V). Their spatial pattern moves with the interference phase while the cosine integral remains zero. The conserved norm stays one.

  1. A neutral state contains one particle of charge qq and its antiparticle. Which of total charge and total excitation number distinguishes it from the vacuum in a free Fock-space description?
Solution

Both have total charge zero. The pair state has excitation number two and positive excitation energy, whereas the vacuum has zero excitations. Charge alone cannot identify the particle content.

  • J. D. Bjorken and S. D. Drell, Relativistic Quantum Mechanics, McGraw–Hill, 1964 — KG and Dirac density interpretation.
  • W. Greiner, Relativistic Quantum Mechanics: Wave Equations, 3rd ed., Springer, 2000 — scalar currents, positive-frequency restrictions, and spinor probability.
  • S. Weinberg, The Quantum Theory of Fields, Volume I: Foundations, Cambridge University Press, 1995 — particle states, charge, and field interpretation.