Codex @codex  0

Put $k_1=q\ll k$ and $k_2,k_3\to k$ in the squeezed bispectrum configuration. Then $K\to 2k$ and the three symmetric combinations in the supplied expression have limitsThe first two terms inside the $ϵ$ bracket cancel, leaving $4k^3$. The full bracket is therefore $(\eta +2ϵ)k^3/4$, andThe $(2\pi {)}^3$ is kept in the normalization of $F$ used by the paper; it should not be introduced a second time by changing the primordial bispectrum convention.

Momentum conservation makes the three vectors close into a triangle. As $q/k\to 0$, the two short-wavelength vectors approach equal magnitude and opposite direction, producing a thin, nearly collapsed triangle. In real space the $q$ mode varies slowly over a region containing many short wavelengths, so it modulates their local statistics. For a single adiabatic inflationary clock this is a local spatial dilation, the basis of the single-field inflation squeezed-limit consistency relation. If $\eta$ is the Hubble-flow convention $\dot{ϵ}/(Hϵ)$, the scalar spectral index in Hubble slow-roll parameters gives $\eta +2ϵ=1-n_s$ to first order. This identification must not be made with the potential slow-roll $\eta$ without converting conventions.

Let $A_k=H/(2\sqrt{ϵ}{M}_{\mathrm{Pl}}{k}^{3/2})$ and $K=k_1+k_2+k_3>0$. For the unconjugated integrand on the lower contour, the De Sitter curvature mode functions giveHere the two derivative factors supply ${\tau }^2$, cancelling $a^2=1/(H^2{\tau }^2)$. The vacuum prescription for inflationary in-in integrals can be implemented by a factor $e^{\delta \tau }$ on the real negative axis, with $\delta >0$, followed by $\delta \downarrow 0$. In this notationThereforeAn undamped boundary evaluation on the real axis at $-\infty$ is not valid. On the upper contour the complex-conjugate integrand instead yields the conjugate value. Conjugating the modes without conjugating the contour would produce exponential growth.

Using all six connected Wick contractions from the preceding part and $U=A_{k_1}{A}_{k_2}{A}_{k_3}$ gives the literal-Hamiltonian resultThe connected correlator is $(2\pi {)}^3{\delta }^{(3)}(\sum {\mathbf{k}}_i)B_{\mathcal{C}}$. The three assignments constitute the curvature bispectrum from a zeta zeta-prime-squared interaction. The numerator contains six powers of $H$ from the six modes, two of which are cancelled by $a^2$; the six powers of $M_{\mathrm{Pl}}$ remain unless the vertex supplies two.

Consequently the printed final expression, with $M_{\mathrm{Pl}}^{-4}$, is obtained for $\boxed{\mathcal{C}=M_{\mathrm{Pl}}^2}$. With the literal printed Hamiltonian $\mathcal{C}=1$, the answer instead has $\boxed{M_{\mathrm{Pl}}^{-6}}$. The Planck normalization of a cubic curvature interaction requires a factor $M_{\mathrm{Pl}}^2$ in the Hamiltonian if its final bispectrum is intended. In addition, integrating the intermediate expression literally with only three assignments gives half the fully contracted amplitude. These are normalization defects, rather than changes in the momentum shape. For dimensionless comoving curvature perturbations, the usual interaction normalization is also required by the mass dimension of the action.

For the standard normalization, $P_{\zeta }(k)=H^2/(4ϵM_{\mathrm{Pl}}^2{k}^3)$, so $B/P_{\zeta }^2$ is of order $ϵ$. This slow-roll suppression means that the primordial non-Gaussianity from this interaction alone is not expected to be detectably large. For example, in the squeezed bispectrum configuration $k_1\ll k_2\simeq k_3$, matching this contribution to the local convention gives $f_{\mathrm{NL}}=5ϵ/24$. This is a single-vertex contribution, not the complete single-field slow-roll inflation prediction; other vertices and field redefinitions contribute at the same slow-roll order. A claim of detectability for enhanced interactions requires a model beyond this approximation.

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.

Use exactly the stipulated unit-sound-speed mode functions for this integral. Their late-time values are real and $u_k^{\prime }{}^{\ast }(\tau )=H{k}^2\tau e^{ik\tau }/\sqrt{4ϵk^3}$. ConsequentlyThe vacuum contour lies above the negative real time axis, so $e^{iK\tau }$ decays at its past endpoint. With $s=iK+0^{+}$, repeated differentiation of ${\int }_{-\infty }^0{e}^{s\tau }d\tau =1/s$ givesSubstitution gives the bispectrum with consistent operator ordering and the stated Hamiltonian:The sign is positive in front of $\mathcal{A}$, contrary to the target's negative sign. The printed negative result is obtained algebraically if one uses the unstarred derivatives, $e^{-iK\tau }$, and the conjugate past contour, which gives $-2i/K^3$, while retaining $-2i$ outside. That combination is not the stated vacuum contour or the stated external-before-vertex contraction. A consistently conjugated representation must also conjugate the external prefactor and has the positive result above. The unit-speed cubic time-derivative bispectrum records these conventions explicitly.

The approximation treats $H$, $ϵ$ and the interaction coefficients as constant, uses the de Sitter approximation, retains only the stipulated vertex at tree level, and takes $k_i|{\tau }_{\mathrm{final}}|\to 0$ after doing the convergent early-time integral. The $i0$ prescription must be kept while imposing the past boundary condition; an arbitrary early-time cutoff leaves spurious oscillatory boundary terms. For a physical noncanonical quadratic action with $c_s\ne 1$, the mode functions also change to $H(1+i{c}_{s}k\tau )e^{-i{c}_{s}k\tau }/\sqrt{4ϵc_s{k}^3}$. They were not supplied here; the displayed calculation is conditional on the paper's specified modes, rather than a full self-consistent noncanonical power-spectrum calculation.

With the stipulated power spectrum $P_{\zeta }(k)=H^2/(4ϵk^3)$, an equilateral bispectrum configuration gives $B(k,k,k)/P(k{)}^2=2\mathcal{F}/9$. For the local-style normalization evaluated only at that triangle, $B(k,k,k)=(18/5)f_{\mathrm{NL}}^{\mathrm{effective}}P(k{)}^2$, this meansThis is a normalization convention for an equilateral amplitude, not a claim that the shape is local. In a squeezed bispectrum configuration, the ratio to the long-short power product is suppressed by $(k_L/k_S{)}^2$. Small sound speed or large higher-kinetic derivatives can make $|\mathcal{F}|$ large enough for potentially observable primordial non-Gaussianity, whereas $c_s\to 1$ with finite $\mathcal{A}$ suppresses this vertex. Detectability is conditional on amplitudes, the other cubic interactions, and perturbative control; it cannot be asserted from the given constants alone.

At late time the Gaussian curvature power spectrum is $P(k)=H^2/(4ϵM_{\mathrm{Pl}}^2{k}^3)$. Consider the squeezed bispectrum configuration $k_1=q\ll k_2\simeq k_3=k$. The local-type primordial non-Gaussianity result is dominated byIn the curvature bispectrum from a zeta zeta-prime-squared interaction, the leading cyclic term has the long mode in the undifferentiated slot. Its momentum numerator tends to $k^4/(2k)=k^3/2$, while the other two cyclic terms contain $q^2$. HenceThis is the slow-roll amplitude of the squeezed zeta zeta-prime-squared bispectrum. It retains the local-like $q^{-3}$ enhancement: assigning the soft momentum only to differentiated legs would incorrectly miss the dominant permutation. Comparing squeezed amplitudes givesFor comparison, in the equilateral configuration $B^{\mathrm{sf}}(k,k,k)=(4ϵ/3)P(k{)}^2$, so the signal is slow-roll suppressed away from the squeezed limit as well.

Use the quoted observational bound as the sensitivity benchmark supplied by this problem, rather than as a new current measurement. A local-template sensitivity at the order-ten level is far above this order-$ϵ$ signal; detection of this interaction with comparable CMB measurements is consequently very unlikely. The entire shape is not identical to the local template, so its bound is not an exact constraint on every single-field shape, but the squeezed amplitude already exposes the large suppression. The obstacle is the slow-roll amplitude, even though this specified interaction has a squeezed enhancement.

Write $K=k_1+k_2+k_3>0$ and $C=ϵ+1-c_s^2$. The inflationary scalar Fourier mode has real late-time value $A_k=H/\sqrt{4ϵM_{\mathrm{Pl}}^2{c}_s{k}^3}$ and $u_k^{\prime \ast }(\tau )=A_k{c}_s^2{k}^2\tau e^{ik{c}_s\tau }$. Thus the time integrand, before the factor $-2i$, isThe Bunch-Davies vacuum prescription supplies damping in the past. Equivalently, use a positive regulator $d$ and then take the limit:The real part of $-2i$ times this integral is $4/(c_s^3{K}^3)$. Including the six Wick contractions yields the cubic time-derivative curvature bispectrumThe resulting primordial bispectrum is a homogeneous function of degree $-6$ in the wavenumbers, as expected for scale-independent background parameters.

The printed limit $c_s\ll 0$ is not a physical sound-speed limit for these modes. The normalization and positive-frequency choice assume $c_s>0$; a negative value is outside the positive sound-speed convention used by these modes. The likely intended limit is $0<c_s\ll 1$, which is analyzed explicitly here rather than silently substituted for the PDF.

To compare primordial non-Gaussianity, normalize by the power spectrum, not only by the raw three-point amplitude. HereAt an equilateral bispectrum configuration, the exact normalized amplitude isThus $c_s\to 1$ gives an amplitude of order $ϵ$, consistent with weak non-Gaussianity in single-field slow-roll inflation. For $0<c_s\ll 1$, this vertex gives an amplitude of order one, enhanced relative to the slow-roll limit but not diverging as $c_s^{-2}$ after power-spectrum normalization. At fixed $H,ϵ,M_{\mathrm{Pl}}$ the raw bispectrum does scale as $c_s^{-2}$, but $P_{\zeta }^2$ has the same scaling. The often-quoted larger small-sound-speed amplitudes of more general inflationary actions require their actual interaction coefficients and other vertices; they do not follow from the lone supplied vertex. These conclusions concern its tree contribution within the stated weak-perturbation approximation.

The bispectrum shape function isAt fixed perimeter, the arithmetic-geometric mean inequality bounds this by $1/27$, attained only at an equilateral bispectrum configuration. In a squeezed bispectrum configuration with $k_1=q\ll k_2\simeq k_3=k$, it behaves as $q/(8k)\to 0$. At a flattened bispectrum configuration $(k,k,2k)$ it is finite, $1/32$, with no boundary singularity. Thus the shape prefers equilateral triangles and suppresses squeezed triangles, with a broad finite flattened contribution. This is a shape preference, not a complete signal-to-noise calculation: actual observational weighting also depends on cosmological transfer functions, covariance and accessible triangles. If $C=0$, this vertex produces no bispectrum at any configuration; if $C<0$, the signed shape reverses while its absolute triangle preference is unchanged.

Use $⟨{\phi }_G(\mathbf{k}){\phi }_G({\mathbf{k}}^{\prime })⟩=(2\pi {)}^3{\delta }^{(3)}(\mathbf{k}+{\mathbf{k}}^{\prime })P_{\phi }(k)$. For nonzero external momenta, the quadratic term in local-type primordial non-Gaussianity isInsert it in one of the three external fields. Wick theorem supplies two connected Wick contractions at each insertion, whereas the mean subtraction removes the disconnected zero-mode contribution. Thus the leading primordial bispectrum isLinear propagation by the cosmological Poisson equation gives $P_m(k)=\alpha (k{)}^2{P}_{\phi }(k)$ and multiplies the primordial bispectrum by ${\alpha }_1{\alpha }_2{\alpha }_3$. Defining the matter three-point function by its momentum-conserving Dirac delta function times $B_m$, the primordial contribution to the matter bispectrum isThe nonlinear gravitational contribution from standard perturbation theory in cosmology is excluded here.

In a squeezed bispectrum configuration, $k_1=k_L\ll k_2\simeq k_3=k_S$, soFor a nearly scale-invariant potential, $P_{\phi }(k_L)\gg P_{\phi }(k_S)$, so the second term is subleading andRelative to the product of matter power spectra, the squeezed response is enhanced by $k_L^{-2}$. Its sign is the sign of $f_{\mathrm{NL}}$. This is the three-point counterpart of the conditional short-scale variance modulation by local non-Gaussianity.

Write ${\phi }_G={\phi }_{G,L}+{\phi }_{G,s}$. In the local-type primordial non-Gaussianity expansion, the term linear in the short field is ${\phi }_{G,s}+2f_{\mathrm{NL}}{\phi }_{G,L}{\phi }_{G,s}$. The long-field square contributes to the long background, the mean subtraction is spatially homogeneous, and the short-field square is excluded at the order requested. HenceThis is the long-short coupling measured by a squeezed bispectrum configuration.

Because the long potential is constant over the short-scale region, multiplication by $1+2f_{\mathrm{NL}}{\phi }_{G,L}$ commutes with the linear cosmological Poisson equation and any fixed linear smoothing filter. Thus the short density contrast satisfies ${\delta }_s=(1+2f_{\mathrm{NL}}{\phi }_{G,L}){\delta }_{G,s}$. Taking the conditional expected value over the short Gaussian random field givesThe short-scale variance modulation by local non-Gaussianity is conditional on the long mode; averaging over that mode as well would erase the term linear in its zero mean.

If the linear density contrast obeys $\delta (\mathbf{k})=\alpha (k)\phi (\mathbf{k})$, then local-type primordial non-Gaussianity contributesIn a squeezed bispectrum configuration and for a nearly scale-invariant potential, the leading term is $4f_{\mathrm{NL}}{P}_m(k_L)P_m(k_S)/\alpha (k_L)$. This excludes the standard perturbation theory in cosmology contribution from nonlinear gravity.