research28 min studyLesson 869 in Physics

Measure correlations beyond the primordial power spectrum

Fix the curvature sign, local normalization, triangle geometry, and perturbative domain.

On this page

What you’ll understand

  • Define a connected primordial bispectrum with the Fourier delta function removed.
  • Compute a local-ansatz bispectrum and its leading skewness.
  • Explain why a shape template is not a unique microscopic diagnosis.

Two random fields can share the same power spectrum and differ in how triples of modes correlate. A bispectrum measures this additional information and can probe interactions, extra fields, initial states, or later nonlinear evolution. Its amplitude and shape require explicit conventions, especially for the sign of the curvature variable. A fitted template is a statistical summary rather than a uniquely identified Lagrangian. To use it as primordial evidence one must distinguish initial correlations from transfer effects, gravitational nonlinearities, projection, foregrounds, and estimator assumptions.

Define a three-point quantity on closed triangles

Take the positive-spatial-curvature variable ζ, agreeing with the adiabatic ℛ used above in its stated large-scale regime, and subtract its ensemble mean. Translation invariance makes a Fourier three-point function proportional to a delta function enforcing k1+k2+k3=0. The remaining bispectrum depends on the triangle’s side lengths for an isotropic scalar field. The vectors close; three arbitrary positive side lengths that violate the triangle inequality do not define an allowed configuration.

A mean-zero Gaussian field has vanishing connected three-point function, but a zero bispectrum does not prove the full distribution Gaussian. Higher connected moments can remain. The power has volume units in our Fourier convention, and the bispectrum has volume squared; an amplitude quoted without its template normalization can therefore be misleading. Permuting the three identical scalar fields leaves the primordial bispectrum symmetric, although observational estimators can apply nontrivial windows and weights.

⟨ζk1ζk2ζk3⟩c=(2π)3δ3(k1+k2+k3)Bζ(k1,k2,k3)\langle\zeta_{\mathbf k_1}\zeta_{\mathbf k_2}\zeta_{\mathbf k_3}\rangle_c=(2\pi)^3\delta^3(\mathbf k_1+\mathbf k_2+\mathbf k_3)B_\zeta(k_1,k_2,k_3)
The subscript c means connected and the mean is removed. Bζ has length-six units. This is a primordial scalar statistic before an observation-specific transfer and estimator.↔ Scroll wide equations horizontally.

State the local real-space convention

A common local model writes ζ as a Gaussian field plus 3fNL/5 times its squared value minus its ensemble variance. The subtraction keeps the mean zero. Wick contraction gives a leading bispectrum proportional to the sum of three pairwise products of Gaussian powers. The coefficient is 6fNL/5 in this declared curvature convention. Reversing the sign of ζ reverses the corresponding odd-correlation sign, so the same printed fNL symbol is not enough to compare two different potential conventions.

For nearly scale-invariant power, the local template emphasizes squeezed triangles with one side much shorter than the other two. Equilateral or flattened templates describe different momentum patterns and need their own normalization. Multiple mechanisms can project onto similar templates, and a general bispectrum need not equal any one template exactly. The weak local expansion requires the quadratic correction to remain small for the relevant smoothed variance; a large coefficient cannot be assessed without the amplitude and range of the underlying fluctuations.

ζ=ζg+35fNL(ζg2−⟨ζg2⟩),Bζ≃65fNL[Pg(k1)Pg(k2)+Pg(k2)Pg(k3)+Pg(k3)Pg(k1)]\zeta=\zeta_g+\frac35f_{\rm NL}\big(\zeta_g^2-\langle\zeta_g^2\rangle\big),\qquad B_\zeta\simeq\frac65f_{\rm NL}\big[P_g(k_1)P_g(k_2)+P_g(k_2)P_g(k_3)+P_g(k_3)P_g(k_1)\big]
The bispectrum formula is leading order in the local quadratic correction; Pg is the Gaussian-field power. A smoothing/range prescription is needed for its variance and for estimating higher corrections.↔ Scroll wide equations horizontally.

Keep a consistency argument inside its assumptions

In a regular single-clock attractor with an appropriate adiabatic initial state, a sufficiently long curvature mode acts locally as a spatial dilation. This connects the squeezed correlation to how short-scale power changes with scale. Non-attractor evolution, additional light modes, or unsuitable initial-state behavior can invalidate a naive use of that standard argument. A measured squeezed signal must also be compared with projection and late-time effects before claiming a violation of a particular primordial model.

The probability lab illustrates a change in one-point distribution only. Reset and set success probability 0.5,trials 10; predict count mean 5 and variance 2.5, with symmetric bars. Reset and set probability 0.7,trials 10; predict mean 7 and variance 2.1, with asymmetric bars. These are exact binomial masses, not simulated observations. The lab has no spatial wave vectors, connected field correlator, primordial interaction, or bispectrum estimator; one-point asymmetry alone is not a measurement of cosmological triangle correlations.

⟨ζ3⟩≃185fNLσg4,σg2=⟨ζg2⟩,∣fNL∣σg≪1\langle\zeta^3\rangle\simeq\frac{18}{5}f_{\rm NL}\sigma_g^4,\qquad \sigma_g^2=\langle\zeta_g^2\rangle,\qquad |f_{\rm NL}|\sigma_g\ll1
The leading skewness follows from Gaussian moments of the stated local model. It depends on the chosen smoothed variance; the inequality is a perturbative diagnostic, not a complete model-consistency test.↔ Scroll wide equations horizontally.

Evaluate a local triangle amplitude

A permitted closed momentum triangle has Gaussian powers P1=2V0,P2=3V0,P3=4V0, where V0 is a fixed volume unit. In the declared local model let fNL=5/6. Find the leading bispectrum and compare it with an equilateral triangle whose three powers are all 2V0.

  1. The prefactor is (6/5)(5/6)=1. The three pair products for the first triangle are 6V0²,12V0² and 8V0².

  2. Adding them gives B=26V0². No extra factor of three should be applied after the three distinct cyclic products have already been included.

  3. For the equal-power triangle, the sum is 4+4+4=12 in units V0², so B=12V0². The ratio 26/12=13/6 reflects the supplied powers and local template; it is not a general ratio between all squeezed and equilateral configurations.

The result

The two leading bispectra are 26V0² and 12V0², with ratio 13/6 in this stipulated local example.

Explore the model

Interactive lab

Interactive lab · probability

Compare symmetric and asymmetric counts

Reset and set p=0.5,n=10; predict mean 5,variance 2.5. Reset and set p=0.7,n=10; predict mean 7,variance 2.1.

Compare symmetric and asymmetric countsThese are exact binomial probabilities for independent trials with one fixed success probability. Playback tours the distribution; it does not resample outcomes. Current readings: Mean · np: 5; Variance · np(1−p): 2.5; Total probability: 1. All parameters are adjustable with the labeled controls below.03581000.070.150.220.3Successes kP(X = k)k = 0 · P = 9.77e-4
Exact probabilityHighlighted outcomeMean np
Mean · np
5
Variance · np(1−p)
2.5
Total probability
1
t = 0 s

These are exact binomial probabilities for independent trials with one fixed success probability. Playback tours the distribution; it does not resample outcomes. Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.

Look forExact binomial bars illustrate one-point asymmetry only. They contain no spatial modes, primordial three-point function, or cosmological bispectrum inference.

Check your understanding

Why does the primordial bispectrum involve only closed momentum triangles?

Try it yourself

For the weak local model take smoothed Gaussian standard deviation σg=0.010 and fNL=1. Estimate the leading third central moment and its ratio to σg³. Check the simple expansion parameter.

Take a moment to make a prediction or work it out on paper. Open a hint when you need one.

Give me a hint

Use the displayed leading Gaussian-moment contraction and distinguish variance σg² from standard deviation σg.

Compare with the solution

The third moment is (18/5)×1×(0.010)⁴=3.6×10⁻⁸. Dividing by σg³=10⁻⁶ gives leading standardized skewness 0.036. The local expansion parameter is |fNL|σg=0.010, small in this diagnostic. This smoothed one-point calculation does not replace the full momentum-dependent bispectrum or its observation-specific projection, and higher corrections still depend on the specified model and range.

Take it with you

  • A bispectrum is an additional connected field statistic with a fixed Fourier normalization.
  • Curvature sign and template normalization determine the meaning of fNL.
  • Shape patterns and squeezed-limit arguments require physical and observational assumptions.

Read further

Original sources and deeper explanations to follow at your own pace.

Optional progress, saved in this browser when available. Revisit any lesson at any time.

Lesson not marked complete.