Minimum-energy normalized oscillator mode Created 2026-10-06 Updated 2026-10-07
For a quantum harmonic oscillator with , a complex mode satisfying the Wronskian normalization can be written with . Its vacuum energy is . This is at least , with equality exactly when and . The same argument fixes the subhorizon positive-frequency normalization in the Bunch-Davies vacuum of a canonical cosmological mode.
Mukhanov-Sasaki variable Created 2026-10-06 Updated 2026-10-14
For single-field adiabatic inflation, the Mukhanov-Sasaki variable rescales the comoving curvature perturbation by , where is the reduced Planck mass. Its quadratic bulk action is , after a boundary term is removed. A Fourier transform mode obeys and has canonical Wronskian normalization. The mass scale and sound-speed factors depend on the underlying scalar theory; this definition assumes the canonical single-field action and positive slow-roll kinetic coefficient.
The quantum harmonic oscillator has , with . Using and the canonical commutation relation gives
For , the Wronskian normalization is
Consequently
Equality requires and . The minimum-energy normalized oscillator mode is therefore
The constant phase is irrelevant. This mode also solves the oscillator equation of motion; an arbitrary squeezed mode would have larger vacuum energy.
For inflation, introduce the Mukhanov-Sasaki variable . Since depends only on conformal time,
Integrating the cross term by parts gives the canonical bulk action
up to the boundary term . The resulting Euler-Lagrange field equation and its Fourier transform are
At leading order in the slow-roll approximation, retain a small positive, nearly constant in , while approximating and as constant. Then , so
Strict exact de Sitter spacetime would have and would not supply the nonzero curvature kinetic coefficient assumed here; the calculation is the leading quasi-de Sitter limit, not a substitution of zero into .
For , the expansion correction is negligible and each canonical mode is a quantum harmonic oscillator of conformal frequency . The Bunch-Davies vacuum selects its positive-frequency, minimum-energy mode in that early subhorizon regime. It does not minimize an instantaneous Hamiltonian after the effective squared frequency has become negative outside the horizon.
A basis of exact solutions to the leading mode equation is and its complex conjugate. Write the normalized Bogoliubov transformation combination as
The Bunch-Davies vacuum boundary condition sets and up to phase. Hence
Substitution verifies the equation, and verifies the Wronskian normalization.
Dividing by gives the comoving curvature perturbation variance
This is the dimensional slow-roll curvature power spectrum in the printed normalization, with the reduced Planck mass set to one. The corresponding dimensionless cosmological power spectrum is , which is independent of at this order. Restoring the reduced Planck mass divides both power expressions by . Slowly varying background quantities are evaluated near each mode's horizon exit; their variation generates the small departure from exact scale invariance.
Evaluate the field variance in the zero-occupation Fock vacuum, , with . The canonical commutation relation alone does not specify a quantum state; this vacuum assumption is needed for the requested expression without occupation factors. In the Heisenberg picture, use the position-space mode expansion of a free field
This is the position-space form of the shorthand oscillator expansion in the question; equivalently its Fourier operator uses the creation operator with opposite wavevector. The annihilation operators give , while all other vacuum pairings vanish. The mean field fluctuation is zero, so the two-point function is its coincident-point vacuum field variance. Assuming spatial isotropy, angular integration gives the variance per logarithmic wavenumber interval:
Here the dimensionless power spectrum is denoted , as in the question, rather than the alternative notation . A coincident vacuum field product needs smearing or ultraviolet regulation: the unregulated full vacuum variance is generally divergent. With a specified finite wavenumber band, the same expression holds with those integration limits. This does not affect the mode-by-mode dimensionless power spectrum.
For the leading nonzero slower branch, put and . Since the physical fluctuation is , its dimensionless power spectrum is
For a -independent coefficient , this is a blue spectral tilt, because in the specified mass range. At fixed it decays as , consistently with the field-amplitude decay found above.
To include the other branch explicitly, the general superhorizon expression is
If , it approaches the displayed target spectrum with . A pure faster classical branch would instead have power proportional to . For a normalized quantum mode, however, the Wronskian normalization requires both independent real solutions; its slower coefficient cannot vanish. Thus the target is the leading superhorizon quantum spectrum, while the faster classical solution remains part of the complete mode analysis.
Regulate the zero mode by a soft momentum and write the free modes as
The Wronskian normalization follows from the canonical commutator, while the power spectrum is . Inserting the creation part of on the ket and the annihilation part on the bra, their difference is precisely the Wronskian. For this gives, after taking and setting the irrelevant normalization ,
Equivalently, before removing the regulator, the right-hand side is the soft three-point function divided by .
The positive-frequency solution for is proportional to . Since , its scalar-field mode function has the stated form . The canonical momentum in conformal time is , so the canonical commutation relation requires the Wronskian normalization
Substitution gives . Hence, up to an irrelevant constant phase,
The choice is the Bunch-Davies vacuum condition at early conformal time.
Let . Since ,
For a soft mode and , the vacuum obeys
The mode-function Wronskian normalization
implies
where is the graviton power spectrum per polarization. The equal-time bispectrum is real in this parity-even configuration, and therefore
This turns the charge insertion into the soft-graviton insertion used in the Soft graviton theorem.