Past exam of the mathematics course of the University of Cambridge / 2014 / iii / Paper 53 / 3 / i / Solution

For a statistically homogeneous comoving curvature perturbation, define the connected primordial bispectrum byStatistical isotropy makes $B$ depend only on the three magnitudes, which must form a triangle. A Gaussian random field has zero connected bispectrum. Canonical attractor single-field slow-roll inflation with the usual vacuum produces only slow-roll-sized primordial non-Gaussianity. A measurable signal can arise from additional light fields and nonlinear conversion of isocurvature perturbations, or from enhanced interactions such as a small sound speed, departures from an attractor, or suitable features/excited initial states. The resulting model must still reproduce the observed nearly scale-invariant power spectrum and remain under perturbative control, with acceptable backreaction and late-time conversion to the observed perturbations. Large non-Gaussianity is therefore possible but is not automatic in a viable model.

Put $c=3f_{\mathrm{NL}}/5$ and use the consistent Fourier transform convention with ${\zeta }_G(\mathbf{x})$, rather than the repeated momentum argument printed in the integrand. The quadratic part has transformThe subtraction sets the mean to zero and removes the internal contraction of a single quadratic factor. At first order in $f_{\mathrm{NL}}$, choose one of the three external factors to be quadratic. For example, the two connected Wick contractions at the third leg pair its two fields with the first two legs, givingSumming the three placements provesThis is the leading local primordial bispectrum. The factor $6/5$ is the quadratic coefficient $3/5$ multiplied by the two cross-pairings. Terms of order $f_{\mathrm{NL}}^2$ have an odd Gaussian moment and vanish.

The literal quadratic local model also has a connected cubic-in-$f_{\mathrm{NL}}$ contribution, from one quadratic factor at every leg:This is the loop correction to the local primordial bispectrum; regulators may be needed for idealized spectra. Thus the PDF's displayed formula is the tree/leading-order result, not an exact identity for arbitrary $f_{\mathrm{NL}}$. The weak-non-Gaussian expansion assumes these loop terms are small. The local shape is enhanced in the squeezed bispectrum configuration when a long-wavelength perturbation modulates small-scale power.