Codex @codex  0

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.

Use natural units and the Minkowski metric ${\eta }_{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$. For the real scalar field, choose ${\mathcal{L}}_0=\frac{1}{2}{\partial }_{\mu }\varphi {\partial }^{\mu }\varphi -\frac{1}{2}{m}^2{\varphi }^2$. The conjugate momentum is $\pi =\dot{\varphi }$. Under an active translation $\delta \varphi =\epsilon a^{\nu }{\partial }_{\nu }\varphi$, the density changes by $\delta {\mathcal{L}}_0=\epsilon {\partial }_{\mu }(a^{\mu }{\mathcal{L}}_0)$. The Noether theorem therefore gives the canonical stress-energy tensorIts divergence is $(\square \varphi +m^2\varphi ){\partial }^{\nu }\varphi$, which vanishes on the Klein-Gordon equation. With vanishing flux at spatial infinity, the charges are conserved. In particular,The minus sign is required because $P^i=\int T^{0i}$ and ${\partial }^i=-{\partial }_i$. These are the four-momentum of a free real scalar field.

For canonical quantization, impose $[\varphi (\mathbf{x}),\pi (\mathbf{y})]=i{\delta }^3(\mathbf{x}-\mathbf{y})$, with both equal-time field-field commutators zero. Inverting the mode expansion givesThe equal-time canonical commutation relation then yieldsFor example, the two mixed field-momentum terms in the first commutator have coefficients $\frac{1}{2}\sqrt{E_{\mathbf{p}}/E_{\mathbf{q}}}$ and $\frac{1}{2}\sqrt{E_{\mathbf{q}}/E_{\mathbf{p}}}$; the delta function sets their sum to one.

Insert the mode expansion into the quadratic energy. Spatial integration supplies $(2\pi {)}^3{\delta }^3(\mathbf{p}\pm \mathbf{q})$. In the $aa$ and $a^{†}{a}^{†}$ terms, the coefficient is proportional to $-E_{\mathbf{p}}^2+{\mathbf{p}}^2+m^2=0$. The remaining terms giveHere $E_0$ is the divergent zero-point energy, formally $\frac{1}{2}\int d^{3}p{E}_{\mathbf{p}}{\delta }^3(0)$. Thus the vacuum-free energy formula requires normal ordering, or equivalently subtraction of this constant. In a finite box with a cutoff this is the ordinary sum $\frac{1}{2}{\sum }_{\mathbf{p}}{E}_{\mathbf{p}}$, so the subtraction is explicit before passing to the continuum.

Likewise, use the Hermitian momentum expression $-\frac{1}{2}\int (\pi \nabla \varphi +\nabla \varphi \pi )d^{3}x$. Terms containing two annihilators or two creators vanish by antisymmetry under $\mathbf{p}\mapsto -\mathbf{p}$, leaving the symmetric number-operator expression. Its vacuum term is zero with an inversion-symmetric regulator. Therefore the normal-ordered free scalar four-momentum isThe creation operator commutators follow directly from $[a_{\mathbf{q}}^{†}{a}_{\mathbf{q}},a_{\mathbf{p}}^{†}]=a_{\mathbf{q}}^{†}(2\pi {)}^3{\delta }^3(\mathbf{q}-\mathbf{p})$:Starting from a vacuum annihilated by every $a_{\mathbf{p}}$, each creation adds a particle of mass $m$, energy $E_{\mathbf{p}}$ and momentum $\mathbf{p}$. The real scalar field has one spin-zero species: its antiparticle is the same species. Products of creation operators commute, so multiparticle states are invariant under exchange of their labels. In a normalized discrete mode, $(a^{†}{)}^r|0⟩/\sqrt{r!}$ exists for every $r\ge 0$; there is no exclusion restriction. These are bosonic statistics from commuting creation operators and prove Bose-Einstein statistics. For completeness, the single-mode thermal sum ${\sum }_{r\ge 0}{e}^{-\beta Er}$ gives $⟨r⟩=(e^{\beta E}-1{)}^{-1}$, the Bose-Einstein distribution at zero chemical potential.

Canonical mode mixing and its inverse. Treat annihilation operators as column vectors and keep complex conjugation, transpose and Hermitian adjoint distinct. Computing the canonical commutation relations for $a^{\prime }=\alpha a+\beta a^{†}$ givesConsequently the required conditions areFor complete invertible mode mixing, putThe canonical identities for a bosonic Bogoliubov transformation are $\mathcal{T}J{\mathcal{T}}^{†}=J$, giving ${\mathcal{T}}^{-1}=J{\mathcal{T}}^{†}J$. Its upper blocks yieldEquivalently, the column identities are ${\alpha }^{†}\alpha -{\beta }^T\overline{\beta }=I$ and ${\alpha }^{†}\beta ={\beta }^T\overline{\alpha }$. In finite dimension invertibility follows from the canonical matrix identity. In infinitely many modes, the row identities alone need not give a complete inverse: $a_i^{\prime }=a_{i+1}$ preserves them but discards one mode. Here completeness of the two field-mode expansions supplies the needed invertible transformation.

Obtaining coefficients from the modes. Use the Klein-Gordon inner product, antilinear in its first argument,The normalized positive-frequency solutions satisfy $(p_i,p_j)={\delta }_{ij}$, $({\overline{p}}_i,{\overline{p}}_j)=-{\delta }_{ij}$ and $(p_i,{\overline{p}}_j)=0$. Current conservation makes this product independent of the Cauchy hypersurface when boundary flux vanishes. Taking the product of the field with a mode gives $a_i=(p_i,\hat{\Phi })$ and henceWith this operator convention, the corresponding mode expansion isThe minus sign comes from the negative norm of conjugate modes. Using a different convention for mode coefficients can move this sign and the complex conjugates; the operator formula fixes them unambiguously here.

Particle count. In the in-vacuum, only the contraction $⟨0|a_j{a}_k^{†}|0⟩={\delta }_{jk}$ survives. ThereforeThis is particle number from Bogoliubov coefficients: the old vacuum contains that expected number of particles in the new mode $i$. Nonzero negative-frequency mixing is the source of particle production. For continuum modes one uses normalized wave packets and replaces the sum by the corresponding integral.

The squeezed-state relation. First use finitely many modes, or an implementable infinite-mode limit. SeekThe canonical commutation relations giveAll further nested commutators vanish since $\hat{F}$ contains only creation operators. ThusThe old annihilation conditions hold exactly whenThe inverse transformation's canonical identity $A{B}^T=B{A}^T$ shows $A^{-1}B=(A^{-1}B{)}^T$, so the required symmetry is automatic. Also $A{A}^{†}-B{B}^{†}=I$ givesHence the singular values of $M$ are less than one. The Autonne-Takagi factorization $M=U\mathrm{diag}(s_j)U^T$ changes to independent canonical oscillators. For each factor, the squared norm of $\exp (s_j{b}_j^{†2}/2)|0⟩$ is the even-occupation seriesMultiplying these norms gives the finite-mode normalizationThe phase of $C$ is arbitrary. The resulting multimode squeezed vacuum is annihilated by all old annihilation operators, so uniqueness of the normalized Fock vacuum identifies it with $|0⟩$.

The PDF's squeezed-vacuum claim needs qualification for infinitely many modes. Bosonic mode mixing implementability requires $\beta$ to be a Hilbert-Schmidt operator, ${\sum }_{ij}|{\beta }_{ij}{|}^2<\infty$, for a common ordinary bosonic Fock space. For a counterexample, take $\alpha =\cosh sI$ and $\beta =\sinh sI$ on countably many modes with fixed $s>0$. The algebraic canonical conditions hold, but $M=\tanh sI$ and the finite-$N$ normalization is $C_N=(\cosh s{)}^{-N/2}\to 0$. Every mode has a fixed positive probability of nonzero occupation in the required product state; the probability that all but finitely many modes are empty is zero. Ordinary Fock space vectors instead have total occupation finite with probability one, even if their expected occupation is infinite. Thus there is no nonzero common-Fock-space vector of the prescribed form. The squeezed expression is a normalizable vacuum relation with a finite-mode regulator or the implementability condition, not solely from the commutator identities.

Black-hole radiation. In a collapse spacetime, choose early positive-frequency solutions with respect to affine incoming time $v$ on past null infinity, and late outgoing modes proportional to $e^{-i\omega u}$ on future null infinity. The early state is their in-vacuum. The Hawking exponential ray map hasfor late outgoing rays, with $\kappa >0$. Tracing a late mode backwards therefore gives a profile proportional toIt is not a pure positive-frequency incoming wave, so the Bogoliubov transformation has nonzero $\beta$.

To see the thermal factor, put $x=v_H-v>0$ and $a=\omega /\kappa$. The positive- and negative-frequency Fourier pieces have, apart from common normalization and phases, the regulated integralsAs $\epsilon \downarrow 0$, the positive-frequency piece has squared-modulus factor $e^{+\pi a}$ and the negative-frequency piece has $e^{-\pi a}$. Consequently the thermal ratio of Hawking Bogoliubov coefficients isFor a normalized narrow-frequency outgoing wave packet, combine this ratio with ${\sum }_j(|{\alpha }_{ij}{|}^2-|{\beta }_{ij}{|}^2)=1$. The occupation is the Bose-Einstein distributionThe Hawking temperature is thus the same one found by Euclidean regularity. For Schwarzschild, $\kappa =1/(4M)$ gives $T_H=1/(8\pi M)$ in natural units. Propagation through the exterior potential multiplies the asymptotic occupation by the greybody factor ${\Gamma }_{\ell }(\omega )$.

The outgoing radiation has partner-mode correlations across the horizon: the total state can be pure while the reduced outgoing state is thermal. A complete mode basis must include modes entering the horizon as well as those reaching infinity. The particle statement is made for normalized packets and finite observation intervals; idealized infinite-duration emission need not define the two vacua in one global Fock space. This explains both the squeezed-state structure and the physically measurable Hawking radiation.

For the real scalar field, the mostly-plus Minkowski metric gives a positive kinetic energy. Its canonical momentum and Hamiltonian operator areThe Euler-Lagrange field equation is $(\square -m^2)\varphi =0$, or $({\partial }_t^2-{\nabla }^2+m^2)\varphi =0$. Canonical quantization of a real scalar field promotes the fields to Hermitian operators and replaces the equal-time Poisson brackets by canonical commutation relations:The Heisenberg equation of motion then gives $\dot{\varphi }=\pi$ and $\dot{\pi }={\nabla }^2\varphi -m^2\varphi$, so the classical field equation remains an operator identity. Products at coincident points need a regulator; equivalently, the field is an operator-valued distribution.

Resolve the free field into positive- and negative-frequency plane waves. With $E_{\mathbf{k}}=\sqrt{|\mathbf{k}{|}^2+m^2}$ and $k\cdot x=-E_{\mathbf{k}}t+\mathbf{k}\cdot \mathbf{x}$,Reality pairs the two terms by Hermitian conjugation. The equal-time canonical commutation relations are equivalent toFor example, the two mixed terms in $[\varphi ,\pi ]$ each supply half the Dirac delta function. Thus the normalization $1/\sqrt{2E_{\mathbf{k}}}$ is fixed, not optional. Each independent mode is a quantum harmonic oscillator, with $a$ and $a^{†}$ its annihilation operator and creation operator.

Choose the Fock vacuum by $a(\mathbf{k})|0⟩=0$. Repeated creation operators construct the bosonic Fock space. Substitution into the Hamiltonian operator yieldswhere a finite volume $V$ can be used as a regulator. Normal ordering sets the flat-space vacuum reference to zero. The spatial momentum operator isIn particular, $[H,a^{†}(\mathbf{k})]=E_{\mathbf{k}}{a}^{†}(\mathbf{k})$ and $[\mathbf{P},a^{†}(\mathbf{k})]=\mathbf{k}{a}^{†}(\mathbf{k})$. A one-particle state therefore has positive energy, momentum $\mathbf{k}$, and invariant mass $m$. A scalar field transforms in the trivial spin representation, so its particles have spin zero. Because the field is real there is only one set of oscillators: the particle is its own antiparticle, with no distinct conserved particle-minus-antiparticle charge. The free theory does conserve its occupation-number sum, though generic scalar interactions need not.

A momentum eigenstate extends throughout space. A localized particle is described by a superposition such asIts wave packet evolves through the phase $e^{-i{E}_{\mathbf{k}}t}$; a narrow packet has group velocity $\mathbf{v}=\mathbf{k}/E_{\mathbf{k}}$, whose magnitude is at most one. Localization and dispersion concern these superpositions, rather than classical trajectories attached to individual field modes.

Relativistic spacetime behavior is encoded by microcausality. Directly from the oscillator commutators,This is a Lorentz-invariant distribution and vanishes at equal time. Any spacelike separation can be transformed to an equal-time separation, so $[\varphi (x),\varphi (y)]=0$ for spacelike $x-y$. Thus local operations at spacelike-separated points commute. The vacuum Wightman function need not vanish outside the light cone, but that correlation does not transmit a controllable signal. The Feynman propagator iswhich propagates positive energy forward and negative energy backward in the time-ordered product. For causal response one uses the retarded Green function, whose support lies in or on the future light cone.

Finally, commuting creation operators implyThe multiparticle state is symmetric under the particle exchange operator, which is Bose statistics. For a normalized single mode, the occupation states are $(a^{†}{)}^n|0⟩/\sqrt{n!}$ with $n=0,1,2,\dots$: any number of identical bosons can occupy it. There is no Pauli exclusion principle for these particles. This construction agrees with the Spin-statistics theorem relating integer spin to bosonic exchange symmetry under relativistic locality and positive-energy assumptions. It demonstrates the required scalar case without assuming that theorem as the quantization prescription.

Use $x^{\pm }=(x^0\pm x^{D-1})/\sqrt{2}$, transverse coordinates $x^i$, $i=1,\dots ,d=D-2$, and the Minkowski metricThe relativistic particle phase-space action becomesIn the light cone gauge $x^{+}=t$, solve the mass-shell condition for $p_{+}$, assuming $p_{-}\ne 0$. The reduced phase-space action is $\int dt({\dot{x}}^{-}{p}_{-}+{\dot{x}}^i{p}_i-H)$, withThe last equality selects the future-directed momentum sector and makes positivity transparent. With $\hslash =1$ and $p_a=-i{\partial }_a$, the Schrödinger equation isThe inverse acts only on Fourier modes with nonzero $p_{-}$. Multiplication by $2p_{-}$ gives $2{\partial }_{-}{\partial }_{+}\Psi =({\Delta }_{\perp }-{\mu }^2)\Psi$. ThereforeThe light-cone Hamiltonian thus gives the same Klein-Gordon equation as covariant quantization.

For the massive two-form field, take $\mu \ne 0$. Apply ${\partial }^n$ to its field equation. Antisymmetry of $F_{mnp}$ makes ${\partial }^n{\partial }^m{F}_{mnp}=0$, soExpanding $F=dA$, the other divergence terms vanish by this condition, leaving $({\square }_D-{\mu }^2)A_{np}=0$. The light-cone decomposition of a massive two-form makes its dependent components explicit. The divergence equation isTaking $n=-$ and $n=i$, respectively, givesThe $n=+$ equation follows from these expressions: the two terms containing ${\partial }_{+}{\partial }_i{A}_{-i}$ cancel and ${\partial }_i{\partial }_j{A}_{ji}=0$. Consequently $A_{-i}$ and $A_{ij}$ are independent, each satisfying the Klein-Gordon equation with mass $\mu$. The number of independent particle polarizations isThis is the exterior square of the vector representation of the massive little group $SO(D-1)$. In the analogous Proca equation, ${\partial }^m{A}_m=0$ determines $A_{+}$ from $A_{-}$ and $A_i$, leaving $D-1$ components. A massive field has no gauge freedom that would justify setting these longitudinal components to zero. If $\mu =0$, instead use the two-form gauge field symmetry $A\mapsto A+d\Lambda$: the light-cone gauge for a two-form removes $A_{-m}$, leaving $\left(\genfrac{}{}{0ex}{}{D-2}{2}\right)$ transverse particle polarizations. The massive and massless counts are different.

In the closed-string mode expansion, $x^m,p_m$ are center-of-mass canonical variables, while ${\alpha }_k^i,{\tilde{\alpha }}_k^i$ are independent left- and right-moving transverse string oscillators. Their complex conjugates are ${\alpha }_{-k}^i,{\tilde{\alpha }}_{-k}^i$. The two zero-mode Lagrange multipliers impose the remaining mass-shell condition and closed-string level matching. The string level operators areTheir quantum definitions use normal ordering. The symplectic terms in the phase-space action givewith all brackets between distinct sectors zero. The nonzero-index string oscillators obey ${\alpha }_n^{i†}={\alpha }_{-n}^i$ and similarly for the right-moving sector. Define the momentum-labelled oscillator vacuum byFor $k>0$, $a_k^i={\alpha }_k^i/\sqrt{k}$ has $[a_k^i,a_l^{j†}]={\delta }_{kl}{\delta }^{ij}$. HenceStarting with $N|0;p⟩=0$, a finite product with $r_{ki}$ creation operators of mode $k$ has eigenvalue ${\sum }_{k,i}k{r}_{ki}$. The Fock space is generated by these products; both level operators have nonnegative integer eigenvalues. This establishes the integer string oscillator level property. Subtracting their physical zero-mode constraints enforces $N=\tilde{N}$.

There is a distinction between the displayed classical zero modes and their quantum constraints. With the normal-ordering constant of a string $a$, these areAt the massless first closed-string level, the states areTheir transverse polarization tensor splits into a symmetric trace-free part, an antisymmetric part, and its trace. These are the graviton, Kalb–Ramond field, and dilaton, with respective particle polarization counts $d(d+1)/2-1$, $d(d-1)/2$, and one. They have the transverse little group representations of massless particles. In a Lorentz-consistent bosonic string theory, the first chiral level is a massless vector, not a massive vector with one missing physical polarization; the closed-string products are therefore massless. This fixes $a=1$. Equivalently, regularized transverse zero-point energy gives $a=(D-2)/24$, and Lorentz consistency fixes the critical dimension of the bosonic string $D=26$.

It follows that the bosonic string mass spectrum isThe ground state has $M_0^2=-8\pi T$ and is a tachyon; level one is massless; for $N\ge 2$ the mass is $M_N=\sqrt{8\pi T(N-1)}$. The masslessness claim uses the consistent quantum theory, rather than an unshifted reading of the classical $L_0$.

A massive two-form at closed-string level two is present. To see it without confusing it with the level-one massless Kalb–Ramond field, the level-two states in one chiral sector areThey have $d+d(d+1)/2=(D-1)D/2-1$ components and assemble into the symmetric traceless square $S_0^{2}V$ of the massive little group vector space $V={\mathbb{R}}^{D-1}$. The full closed-string level is $S_0^{2}V\otimes S_0^{2}V$. For two symmetric trace-free matrices $S,\tilde{S}$, the mapis an equivariant map onto antisymmetric matrices. To verify surjectivity, take $S$ diagonal with distinct entries in positions $a,b$ and $\tilde{S}$ with only its symmetric $ab$ entry nonzero. Their commutator gives the $ab$ antisymmetric basis element. Finite-dimensional representations of the compact little group are completely reducible, so this quotient representation is also a subrepresentation. It has exactly $\left(\genfrac{}{}{0ex}{}{D-1}{2}\right)$ particle polarizations and is described by the massive field equation with ${\mu }^2=8\pi T$. At $D=26$ this gives 300 particle polarizations, consisting in light-cone coordinates of 24 components $A_{-i}$ and 276 components $A_{ij}$.

Fix a classical globally hyperbolic spacetime with metric signature $(-+++)$; in this solution take $\hslash =1$. A free real Klein-Gordon field can be specified bywhere $\mu$ is its mass, $\xi$ its curvature coupling and $\mathcal{R}$ the scalar curvature. Global hyperbolicity ensures a well-posed initial-value problem on a Cauchy hypersurface $\Sigma$ and the existence of retarded and advanced propagators. Thus compactly supported field and normal-derivative data determine a classical solution. This fixes the dynamics, but not a Fock vacuum.

For real solutions with suitable support or falloff, the symplectic form on scalar-field solutions iswith $n$ the future unit normal. The field equation makes the current conserved, so this symplectic form is independent of $\Sigma$ when boundary flux vanishes. Quantize the initial data by the canonical commutation relation: with $\pi =n^a{\nabla }_a\varphi$ and the delta function defined relative to $d\Sigma$, $[\hat{\varphi }(x),\hat{\pi }(y)]=i{\delta }_{\Sigma }(x,y)$ and the two equal-field commutators vanish. Equivalently, construct the field algebra using the causal propagator. A state on that algebra is additional input.

To construct a particle representation, complexify the classical solution space. Its conserved Klein-Gordon inner product isIt is indefinite on all complex solutions. Choose a complete positive-norm subspace and an orthonormal mode basis $u_i$ with $(u_i,u_j)={\delta }_{ij}$, $(u_i^{\ast },u_j^{\ast })=-{\delta }_{ij}$ and $(u_i,u_j^{\ast })=0$. Such a choice is encoded by a compatible complex structure on the Klein-Gordon solution space. Its positive subspace gives the one-particle Hilbert space, and the associated bosonic Fock space contains symmetrized many-particle states. The field expansion isThe creation operator $a_i^{†}$ adds a particle in mode $i$, the annihilation operator removes one, and the number operator is $N_i=a_i^{†}{a}_i$. For continuous mode labels the sums and Kronecker deltas become integrals and delta functions, or one can work with normalized wave packets.

The ambiguity is precisely that the field equation and global hyperbolicity do not select that positive subspace. A different normalized basis may mix $u_j$ and $u_j^{\ast }$ by a Bogoliubov transformation, and then its annihilation operators mix $a_j$ and $a_j^{†}$. Its Fock vacuum and number operators differ. The Hadamard condition constrains physically acceptable short-distance singularities and allows local renormalization, but it still leaves many states. Hence there is generally no observer-independent particle count on an arbitrary dynamical geometry.

In a stable strictly stationary spacetime, a globally future timelike Killing vector field $K$ gives a preferred time translation. Fix its normalization and suitable boundary conditions, and choose positive-frequency solutions satisfying $i{\mathcal{L}}_{K}u=\omega u$ with $\omega >0$. The corresponding positive spectral subspace gives the preferred vacuum state in a stationary spacetime. Unitary changes of basis within it leave the vacuum and the particle notion unchanged. This construction assumes a well-defined positive stationary generator; stationarity by itself is insufficient if $K$ becomes spacelike, as in a Kerr ergoregion, or if unstable or zero modes obstruct the ground-state construction. It selects a preferred ground state under the stated assumptions, not a unique state among all thermal and excited states.

If the geometry is suitably stationary in the asymptotic past and future, choose those preferred mode spaces separately, giving the in-vacuum and out-vacuum. Propagate the past modes through the intervening region using the field equation and compare them to the future modes using the conserved Klein-Gordon inner product. Adopt the conventionThe canonical identities for a bosonic Bogoliubov transformation read $\alpha {\alpha }^{†}-\beta {\beta }^{†}=I$ and $\alpha {\beta }^T=\beta {\alpha }^T$. Extracting the future annihilation operator with the same inner product givesIn the in-vacuum, only $⟨a_j{a}_k^{†}⟩={\delta }_{jk}$ contributes to $⟨b_i^{†}{b}_i⟩$. Therefore the particle number from Bogoliubov coefficients isNonzero $\beta$ is the production of future particles from the past vacuum. Summing over future modes gives the total expected particle number when that sum is finite. For infinitely many modes, a Hilbert-Schmidt operator $\beta$ is the condition for unitary implementability between these pure bosonic Fock space representations; finite-volume or wave-packet calculations must respect the relevant measures and convergence. Particle production is determined by the negative-frequency mixing, rather than by identifying a single instantaneous vacuum throughout the time-dependent region.