Codex @codex  0

Subtract the homogeneous background equation and linearize the inflaton equation of motion. The field perturbation satisfiesWith $f=a\delta \varphi$, direct differentiation cancels the first-derivative term and givesThe conformal-time quadratic action for an inflaton perturbation, after a boundary term is discarded, isFor the specified de Sitter spacetime background, $a^{\prime \prime }/a=2/{\tau }^2=2a^2{H}^2$. The light-field approximation $|V_{,\varphi \varphi }|\ll 2H^2$ therefore permits dropping the mass term. Taking a spatial Fourier transform yields the Canonically rescaled de Sitter scalar mode equationIts kinetic term is canonical, with momentum ${\pi }_f=f^{\prime }$. Each independent real Fourier component consequently has the canonical coordinate/momentum algebra of a quantum harmonic oscillator, with time-dependent squared frequency ${\omega }_k^2=k^2-a^{\prime \prime }/a$. This is why canonical quantization of a real scalar field proceeds by oscillator creation and annihilation operators. On superhorizon scales the squared frequency is negative: the system is then an inverted time-dependent oscillator, not a stationary oscillator with a positive frequency. The canonical commutation relations remain valid.

Use the Fourier normalization of the PDF. The creation and annihilation operators obeyThere is no $(2\pi {)}^3$ in this commutator because the expansion uses $(2\pi {)}^{-3/2}$. The Bunch-Davies vacuum satisfies ${\hat{a}}_{\mathbf{k}}|0⟩=0$. Write $u_k=f_k^{\ast }$ for the coefficient of the annihilation operator. Only the contraction $⟨0|{\hat{a}}_{\mathbf{k}}{\hat{a}}_{{\mathbf{k}}^{\prime }}^{†}|0⟩={\delta }^3(\mathbf{k}-{\mathbf{k}}^{\prime })$ contributes, soThe given mode hasSince $a^{-2}=H^2{\tau }^2$, the equal-time two-point function of a de Sitter scalar therefore has dimensional power spectrumComparing with the dimensionless power convention in the hint givesEquivalently, angular integration expresses the correlation as ${\int }_0^{\infty }(dk/k){\Delta }_{\delta \varphi }^2\sin (kr)/(kr)$, where $r=|\mathbf{r}|$.

On superhorizon scales, $k\ll aH$ is $|k\tau |\ll 1$, andThis scale-invariant inflationary power spectrum gives equal variance per logarithmic wavenumber interval. It is exactly scale invariant in the massless constant-$H$ approximation here; slow evolution of $H$ and small field mass produce a small spectral tilt. Such quantum primordial perturbations supply the initial fluctuations that subsequently seed cosmological structure after conversion to curvature and density perturbations. The curvature conversion itself requires the metric perturbations excluded from this calculation.

The continuum correlation is understood with the usual infrared regulator, such as finite volume or finite inflationary duration. The strictly massless infinite-volume model has a logarithmic infrared divergence. Coincident products also require ultraviolet regularization or smearing; the finite mode spectrum is unaffected by these qualifications.

Write ${\psi }_0=\psi (0,\mathbf{k})$. For regular adiabatic initial conditions during radiation domination, use ${\Theta }_0=-{\psi }_0/2+O(k\eta )$, ${\Theta }_2=O((k\eta {)}^2)$, and constant potentials. The dipole equation in the neutrino Boltzmann hierarchy givesRegularity removes a constant dipole, and integration yieldsThen the quadrupole equation givesIts regular initial value is zero, soFor the usual regular growing solution, the monopole has no linear correction and parity improves the dipole and quadrupole errors to $O((k\eta {)}^3)$ and $O((k\eta {)}^4)$, respectively. The weaker bounds above already follow from the assumptions explicitly given. Although the quadrupole is small on superhorizon scales, the trace-free Einstein field equations divide its stress by $k^2$, allowing a finite leading potential difference.

Let $\Gamma =-\dot{\tau }=a{\bar{n}}_e{\sigma }_T$ and let $D={\partial }_{\eta }+\mathbf{e}\cdot \nabla$ differentiate along the unperturbed photon trajectory. Use $1+(\mathbf{e}\cdot \hat{\mathbf{m}}{)}^2=4/3+(2/3)P_2(\mathbf{e}\cdot \hat{\mathbf{m}})$ to decompose the Thomson scattering gain term:The Orthogonality of Legendre polynomials identifies $Q$ as a pure photon quadrupole. Dropping $Q$ is an approximation, justified when tight coupling makes the scattering quadrupole small; the supplied unpolarized equation already neglects polarization corrections. The Cosmic microwave background line-of-sight solution requested here omits that quadrupole source.

Set $Y=\Theta +\psi$. Adding $D\psi =\dot{\psi }+\mathbf{e}\cdot \nabla \psi$ to the Photon Boltzmann equation with Thomson scattering yieldsAlong $\mathbf{x}(\eta )={\mathbf{x}}_0-({\eta }_0-\eta )\mathbf{e}$, the integrating factor is $e^{-\tau }$ because $d{e}^{-\tau }/d\eta =\Gamma e^{-\tau }$. ConsequentlyAn early optically thick boundary makes $e^{-\tau }Y$ vanish for finite initial perturbations, and $e^{-\tau ({\eta }_0)}=1$. ThereforeHere $\dot{\varphi }$ and $\dot{\psi }$ are partial time derivatives, not total derivatives along the ray. We work at first order in scalar cosmological perturbations, evaluate sources along the background radial null geodesic in FLRW spacetime, and ignore observer peculiar velocity. Perturbed paths and lensing affect this first-order source solution only at higher perturbative order. A moving observer adds its local Doppler dipole.

The original PDF, unlike the transcribed TeX, also asks for the instantaneous-last-scattering limit and its interpretation. For $g(\eta )={\delta }^{(D)}(\eta -{\eta }_{\ast })$ with no later scattering, and a matter-era growing mode with constant $\varphi$ and $\psi$, the Integrated Sachs-Wolfe effect vanishes. HenceThe four terms are the intrinsic emission temperature, the gravitational potential at emission, the observer's potential, and the Doppler CMB anisotropy. The two potentials describe the gravitational redshift; the observer term is independent of direction and is absorbed into the measured temperature monopole. The intrinsic temperature and emission potential form the Sachs-Wolfe combination. On superhorizon scales for adiabatic initial conditions in matter domination, ${\Theta }_0=-2\psi /3$, giving the ordinary Sachs-Wolfe effect ${\Theta }_0+\psi =\psi /3$. The Doppler sign is positive with the paper's propagation direction $\mathbf{e}$; the viewing direction is $-\mathbf{e}$.

With the symmetric Fourier normalization displayed in the question, the creation and annihilation operators obey the canonical commutation relationSince $\delta \hat{\varphi }=\hat{f}/a$, its vacuum two-point correlation function isComparison with the definition in the question givesUsing $|f_k{|}^2=(1+1/(k^2{\tau }^2))/(2k)$ and $a=-1/(H\tau )$,On superhorizon scales, $k\ll aH$ or $|k\tau |\ll 1$, so the scale-invariant inflationary power spectrum freezes to

The exact mode functions satisfy the Wronskian normalizationUsing the Dirac delta function generated by the ladder-operator commutator therefore gives the exact canonical commutation relationThis remains true on superhorizon scales, so the exact operators do not literally commute. A claim of classical behavior must instead compare this fixed commutator with the growing statistical fluctuations, or appeal to quantum decoherence.

At leading order in $|k\tau |$, the inflationary Fourier mode and its derivative areThus the leading parts of $\hat{f}$ and $\hat{\pi }$ contain the same quadrature of the creation and annihilation operators and satisfyTheir commutator consequently vanishes in this leading approximation. The exact nonzero result in part b is carried by the subleading decaying mode. Relative to the rapidly growing anticommutator, its effect is suppressed by powers of $|k\tau |$, which is the squeezing captured by the classicality parameter of a cosmological perturbation. The perturbation can therefore be treated as an effectively classical stochastic field on superhorizon scales even though its exact quantum commutator is unchanged.

The supplied superhorizon evolution equation isFor an adiabatic cosmological perturbation, $\delta P=({\bar{P}}^{\prime }/{\bar{\rho }}^{\prime })\delta \rho$, so $\delta P_{\mathrm{nad}}=0$ and the comoving curvature perturbation $\mathcal{R}$ is conserved on superhorizon scales.

For photons and cold dark matter, put $A={\bar{\rho }}_{\gamma }$, $C={\bar{\rho }}_c$, and use $\bar{P}=A/3$, $A^{\prime }=-4\mathcal{H}A$, and $C^{\prime }=-3\mathcal{H}C$. ThenThe cosmological entropy perturbation $S={\delta }_c-3{\delta }_{\gamma }/4$ implies ${\delta }_c=S+3{\delta }_{\gamma }/4$, so the adiabatic part cancels andSince $\bar{\rho }+\bar{P}=C+4A/3$, the curvature evolves asIn the sign convention requested in the question, $d\mathcal{R}/d\ln a=-fS$, this means

The creation and annihilation operators obey the canonical commutation relationsSince $\delta \hat{\varphi }=\hat{f}/a$, the vacuum two-point function identifiesOn superhorizon scales, $|k\tau |=k/(aH)\ll 1$, so

The creation and annihilation operators obey the canonical bosonic commutation relationsSince $\delta \varphi =\hat{f}/a$, the vacuum two-point correlation function isForone has $|f_k{|}^2=(1+1/(k^2{\tau }^2))/(2k)$. Comparison with the definition of the dimensionless power spectrum giveswhere $a=-1/(H\tau )$. On superhorizon scales, $k\ll aH$ or $|k\tau |\ll 1$, and therefore

For regular adiabatic initial conditions on superhorizon scales during radiation domination, the unweighted neutrino Boltzmann hierarchy gives ${\Theta }_1=\psi k\eta /2$ and ${\Theta }_2=\psi (k\eta {)}^2/6$. With $f_{\nu }={\bar{\rho }}_{\nu }/({\bar{\rho }}_{\nu }+{\bar{\rho }}_{\gamma })$ and neutrinos the only source of scalar anisotropic stress, the trace-free Einstein field equations gives $\varphi =(1+2f_{\nu }/5)\psi$. For the sign convention $\mathcal{R}=-\varphi -\psi /2$,

With the convention $\zeta =\Phi -\delta \rho /[3(\bar{\rho }+\bar{P})]$, energy conservation gives ${\zeta }^{\prime }=\mathcal{H}\delta P_{\mathrm{nad}}/(\bar{\rho }+\bar{P})+(\nabla \cdot \mathbf{v})/3$. The non-adiabatic pressure perturbation vanishes for adiabatic cosmological perturbations, and regular velocity gradients are suppressed on superhorizon scales. Curvature is then conserved to leading gradient order, allowing primordial initial conditions to be propagated between cosmological eras.