Past exam of the mathematics course of the University of Cambridge / 2018 / iii / Paper 311 / 4 / iii

The Klein-Gordon inner product satisfies $(\overline{\alpha },\overline{\beta })=-(\beta ,\alpha )$, so $({\overline{\psi }}_i,{\overline{\psi }}_j)=-{\delta }_{ij}$. Orthogonality of positive and negative modes in the field expansion therefore gives $({\psi }_i,\Phi )=a_i$ and $({\overline{\psi }}_i,\Phi )=-a_i^{†}$.

Extracting the primed coefficient in the same way, and using antilinearity in the first entry,Consequently the Bogoliubov transformation of the creation and annihilation operators isThe minus sign comes from the negative norm of the conjugate modes, and the complex conjugates come from the first argument of the Hermitian pairing.

Use the canonical commutation relation for the creation and annihilation operators and the transformation derived above. Directly,Requiring these to equal ${\delta }_{ik}$ and zero, respectively, and conjugating the equations yields the canonical identities for a bosonic Bogoliubov transformation:The commutator of the primed creation operators then vanishes by taking adjoints. These are exactly the corresponding positive-mode norm and positive-negative orthogonality conditions for the Bogoliubov transformation. They are sufficient for these algebraic commutators whenever the sums are well defined. Infinitely many modes introduce further questions of convergence and whether the two choices admit a common bosonic Fock space representation; the matrix identities alone do not settle unitary implementability.

Choose the unprimed modes as the inertial positive-frequency modes in the far past, and the primed modes as those in the far future. In the in-vacuum and out-vacuum construction, $|0_{\mathrm{in}}⟩$ is annihilated by every $a_j$. The number of late-time quanta in mode $i$ is measured by $N_i^{\prime }=a_i^{\prime }{}^{†}{a}_i^{\prime }$. Expanding using the Bogoliubov transformation, the only surviving vacuum contraction is $⟨0_{\mathrm{in}}|a_j{a}_k^{†}|0_{\mathrm{in}}⟩={\delta }_{jk}$. Thus the particle number from Bogoliubov coefficients isIf $B\ne 0$, at least one row has positive norm and late-time observers detect particles. If $B=0$, each $a_i^{\prime }$ is a linear combination of past annihilation operators and annihilates the same state, so all these occupation numbers vanish. The intervening nonstationary geometry can mix positive and negative frequencies, realizing vacuum ambiguity in a nonstationary spacetime even though the asymptotic inertial choices are unambiguous.

For infinitely many modes, the expressions are understood with suitable convergence or wave-packet regularization. The total expected number is ${\sum }_{ij}|B_{ij}{|}^2$, finite precisely when $B$ is a Hilbert-Schmidt operator in the specified orthonormal mode spaces. A divergent sum is not a finite occupation number in a common vacuum representation; it signals the extra infinite-dimensional issue rather than changing the finite-mode calculation.