A perturbation shifts the time at which the rolling inflaton reaches a fixed value by . The corresponding perturbation in local expansion is , which is the comoving curvature perturbation up to the stated sign convention:
Therefore
Using gives the slow-roll curvature power spectrum
For each , the slowly varying quantities on the right are evaluated at cosmological horizon exit, .
For the P(X, phi) scalar field theory, the background pressure is and the energy density is . Differentiating at fixed gives and , so the Sound speed of a P(X, phi) scalar perturbation is
This is the propagation speed of the scalar fluctuation; the derivative is taken at fixed field, rather than along an arbitrary background trajectory.
On the fixed expanding metric,
Write the comoving curvature perturbation in the paper's convention as . Neglecting slow-roll derivatives of and yields
With and , the only cubic terms are
The identities and give the cubic curvature action for a P(X, phi) scalar field
If , the unfactored expression above supplies the regular limiting result.
For the requested primordial bispectrum, define and . The cubic Hamiltonian and combine to give
Here the positive sign comes from the two spatial derivatives and at cubic order. Wick theorem gives two contractions for each choice of which external leg meets . At the external time zero,
Thus, after removing the momentum-conserving delta function, the Hamiltonian contraction is
Put . Then and . The cancels the in ; moreover,
Inserting these expressions into the in-in formalism and conjugating the expression inside the real part gives
where . Conjugating the integrand also conjugates the contour: the original positive-frequency-product integral has lower limit , whereas the negative exponential displayed here requires . This supplies the convergent interpretation of the paper's integral.
The supplied superhorizon evolution equation is
For an adiabatic cosmological perturbation, , so and the comoving curvature perturbation is conserved on superhorizon scales.
For photons and cold dark matter, put , , and use , , and . Then
The cosmological entropy perturbation implies , so the adiabatic part cancels and
Since , the curvature evolves as
In the sign convention requested in the question, , this means
The single-field inflation squeezed-limit consistency relation for the comoving curvature perturbation is
Equivalently, . The scalar shift in parts a--c is an internal symmetry and leaves the hard fields unchanged, so its right-hand side vanishes. A long adiabatic curvature mode instead acts as a spatial dilation of the hard coordinates, and its response is the scale dependence measured by the scalar spectral index.
The comoving curvature perturbation is dimensionless. With spatial coordinates and time carrying inverse mass dimensions, the cubic interaction needs a mass-squared coefficient. Its standard gravitational normalization is . Six De Sitter curvature mode functions supply ; this vertex then supplies , leaving the physical curvature primordial bispectrum. The Wick-pairing multiplicity for a zeta zeta-prime-squared vertex is independently six: three choices of undifferentiated external leg times two differentiated-leg assignments.
For the conformal metric with and trace-free scalar spatial shear , the passive coordinate change , gives the displayed rules and . The combination changes by , while changes by . Hence is the comoving curvature perturbation in this sign convention.
For a single-clock adiabatic inflationary background, a long comoving curvature perturbation acts on short modes as a spatial dilation. The squeezed bispectrum therefore obeys
at leading order in .
The uniform-density curvature perturbation is the spatial scalar curvature measured on density-defined hypersurfaces, with an explicitly chosen sign convention. If the spatial scalar potentials are , one convention is . Its two time-shift terms cancel under a cosmological gauge transformation. The density derivative must be nonzero. This is a different slicing from the comoving curvature perturbation, although the variables are related for regular adiabatic long-wavelength modes, with signs depending on convention.