Skip to content

Polarizations, Speeds, and Propagation

Scrollable formula. Use Left and Right arrow keys to reveal hidden content.

Scrollable table. Use Left and Right arrow keys to reveal additional columns.

Scrollable figure. Use Left and Right arrow keys to inspect hidden content.

Radiation content is determined twice: the field equations decide which physical eigenmodes propagate, while matter coupling decides which metric tidal patterns a detector can see. The same theory can also change phase speed, group delay, damping, or mixing during travel. These are logically distinct statements, and none follows merely from counting fields in the action.

Helpful background. Einstein Equations supplies the two tensor-mode baseline; Gravitational Actions and Boundary Terms supplies kinetic normalization; Formulations of General Relativity supplies gauge and constraint reduction; Relativistic Two-Body Dynamics supplies source-frame frequencies; Gravitational Radiation and Waveforms supplies detector response and cosmological redshift; and Gravity Beyond General Relativity supplies the theory-specific mode and matter-coupling record.

For freely falling nearby test masses, the observable is geodesic deviation,

ξ¨i=−Eijξj,Eij=R0i0j.\ddot\xi^i=-\mathcal E^i{}_j\xi^j, \qquad \mathcal E_{ij}=R_{0i0j}.

For a plane wave traveling along +z+z, a symmetric 3×33\times3 tidal matrix has six independent entries. A useful basis is

PatternNonzero tidal componentsMotion
tensor plusExx=−Eyy\mathcal E_{xx}=-\mathcal E_{yy}transverse stretch and squeeze along x,yx,y
tensor crossExy=Eyx\mathcal E_{xy}=\mathcal E_{yx}transverse stretch and squeeze on axes rotated by 45∘45^\circ
vector xxExz=Ezx\mathcal E_{xz}=\mathcal E_{zx}mixed transverse–longitudinal shear
vector yyEyz=Ezy\mathcal E_{yz}=\mathcal E_{zy}orthogonal mixed shear
scalar breathingExx=Eyy\mathcal E_{xx}=\mathcal E_{yy}isotropic transverse expansion and contraction
scalar longitudinalEzz\mathcal E_{zz}motion along the propagation direction

Eardley and collaborators established the polarization classification for null plane waves in metric theories in Eardley et al. 1973, pp. 884–886. Its original null-wave classification must not be imported unchanged for massive dispersion. The six symmetric-matrix patterns above still provide a local tidal basis; they do not assert that every theory propagates six independent modes. GR in vacuum has only plus and cross.

One scalar gives a useful example. On a locally flat background, let the matter metric have the small conformal perturbation δg~μν=2α0δφ ημν\delta\widetilde g_{\mu\nu}=2\alpha_0\delta\varphi\,\eta_{\mu\nu} and let δφ∝e−iωt+ikz\delta\varphi\propto e^{-i\omega t+ikz}. Linearized curvature gives

Eij=α0(∂i∂jδφ−δij∂t2δφ).\mathcal E_{ij}=\alpha_0 \left(\partial_i\partial_j\delta\varphi -\delta_{ij}\partial_t^2\delta\varphi\right).

For ω2=k2+ms2\omega^2=k^2+m_s^2 this yields

Exx=Eyy=α0ω2δφ,Ezz=α0ms2δφ.\mathcal E_{xx}=\mathcal E_{yy}=\alpha_0\omega^2\delta\varphi, \qquad \mathcal E_{zz}=\alpha_0 m_s^2\delta\varphi.

The longitudinal-to-breathing ratio is ms2/ω2m_s^2/\omega^2 when the coupling is nonzero. Both patterns are fixed by the same scalar amplitude. The massless limit is purely breathing, and a vanishing matter coupling makes this scalar invisible to the metric detector even if it propagates.

An interferometer measures a contraction with its detector tensor, schematically hD=Dijhijh_D=D^{ij}h_{ij}, or equivalently the integrated tidal response. A network is needed to separate patterns because antenna functions can be degenerate. More importantly, a polarization seen in the metric need not correspond one-to-one with a fundamental field: kinetic and matter-coupling mixing can rotate the propagation eigenbasis before detection.

The principal symbol decides what propagates

Section titled “The principal symbol decides what propagates”

Linearize the complete equations about a declared background, fix gauge, solve nondynamical constraints, and retain physical amplitudes aAa^A. Their high-frequency equation has principal symbol

PABμνkμkνaB=0,det⁡Pphys(k)=0.P_{AB}^{\mu\nu}k_\mu k_\nu a^B=0, \qquad \det P_{\rm phys}(k)=0.

Gauge zeros must be removed before interpreting the determinant. On a homogeneous isotropic background, an eigenmode may have

ω2=cA2k2+μA2+O(k4/Λ2).\omega^2=c_A^2k^2+\mu_A^2+O(k^4/\Lambda^2).

The phase speed is ω/k\omega/k. At leading two-derivative order, with locally constant coefficients, the group speed is

vg,A=∂ω∂k=cA2kω,v_{g,A}=\frac{\partial\omega}{\partial k}=\frac{c_A^2k}{\omega},

and the front speed is a high-frequency property of the complete theory. They coincide only for a nondispersive massless mode. Real ω\omega is not enough: the kinetic matrix must have the correct sign, the reduced system must be hyperbolic, and k/Λk/\Lambda must remain small. Concrete tensor, vector, and scalar mode speeds in Einstein–æther and khronometric gravity illustrate the background- and coupling-dependent spectrum in Berti, Yagi, and Yunes 2018, § 2.4 and Table 1, pp. 10–11.

With the site’s Fourier convention e−iωte^{-i\omega t}, propagation over a static distance DD contributes eik(ω)De^{ik(\omega)D}. Relative to a luminal massless wave,

ΔΨprop(ω)=D [k(ω)−ω],Δtg=D(1vg−1).\Delta\Psi_{\rm prop}(\omega)=D\,[k(\omega)-\omega], \qquad \Delta t_g=D\left(\frac1{v_g}-1\right).

For cA=1c_A=1 and ω≫μA\omega\gg \mu_A,

k=ω2−μA2=ω−μA22ω+O(μA4/ω3),k=\sqrt{\omega^2-\mu_A^2} =\omega-\frac{\mu_A^2}{2\omega}+O(\mu_A^4/\omega^3),

so

ΔΨprop=−DμA22ω+⋯ ,Δtg=DμA22ω2+⋯ .\Delta\Psi_{\rm prop}=-\frac{D\mu_A^2}{2\omega}+\cdots, \qquad \Delta t_g=\frac{D\mu_A^2}{2\omega^2}+\cdots.

The phase derivative gives the positive delay, providing an independent sign check. Berti, Yagi, and Yunes give the generic modified dispersion relation, group velocity, and cosmological distance mapping in Berti, Yagi, and Yunes 2018, § 3.2, eqs. (20)–(22), pp. 17–18.

On an expanding background, use the leading luminal redshift ω(z)≃2πfobs(1+z)\omega(z)\simeq2\pi f_{\rm obs}(1+z) when evaluating a first-order small dispersion correction. For a substantially massive mode the exact frequency instead follows its dispersion law at redshifting comoving momentum. To first order in a small delay,

Δtg,obs=∫0zsdzH(z)[1vg(ω(z),z)−1].\Delta t_{g,\rm obs} =\int_0^{z_s}\frac{dz}{H(z)} \left[\frac1{v_g(\omega(z),z)}-1\right].

Using detector-frame frequency in a source-frame dispersion law without the factor 1+z1+z is a dimensional-looking but physically wrong substitution.

Damping and mode mixing on cosmological backgrounds

Section titled “Damping and mode mixing on cosmological backgrounds”

A useful propagation equation in conformal time is

hA′′+(2+νA)HhA′+(cA2k2+a2μA2)hA+∑B≠AMABhB=0.h_A''+(2+\nu_A)\mathcal H h_A' +\left(c_A^2k^2+a^2\mu_A^2\right)h_A +\sum_{B\ne A}\mathcal M_{AB}h_B=0.

νA\nu_A changes amplitude damping, while MAB\mathcal M_{AB} can convert or birefringently rotate modes. For the tensor mode in the same matter frame and field normalization used in Cosmological Gravitational-Wave Propagation, νT=αM=dln⁡M∗2/dln⁡a\nu_T=\alpha_M=d\ln M_*^2/d\ln a. The present chapter supplies the emitted amplitudes and generic mode-resolved propagation data; that cosmology page derives the FLRW transfer from its quadratic tensor action. In the subhorizon, unmixed, luminal, massless case,

dLGW(z)dLEM(z)=exp⁡[12∫0zν(z′)1+z′ dz′].\frac{d_L^{\rm GW}(z)}{d_L^{\rm EM}(z)} =\exp\left[\frac12\int_0^z\frac{\nu(z')}{1+z'}\,dz'\right].

Belgacem and collaborators use 2H[1−δ]2\mathcal H[1-\delta] instead, so ν=−2δ\nu=-2\delta and their exponent is −∫δ dz/(1+z)-\int\delta\,dz/(1+z). The derivation and sign appear in Belgacem et al. 2018, § II, eqs. (9)–(13), pp. 1–2. This luminosity-distance formula does not apply unchanged when modes mix, leave the WKB regime, or have different characteristic cones.

The GR propagation limit is two tensor modes with cA=1c_A=1, μA=0\mu_A=0, νA=0\nu_A=0, and MAB=0\mathcal M_{AB}=0. The dimensions are [Dk]=1[Dk]=1, [μA]=[ω]=L−1[\mu_A]=[\omega]=L^{-1}, and the delay has dimension LL. A subluminal massive wave has k<ωk\lt\omega, hence negative relative phase and positive group delay in the chosen convention.

Polarization counting alone does not establish kinetic stability, causality, source excitation, or detector distinguishability. An arrival-time relation also requires an emission-time model; an electromagnetic counterpart or two frequency components do not automatically share the same intrinsic launch time. Cosmological damping must be matched to the same background and Planck-mass convention used in waveform generation.

Massive-mode sign diagnostic. A mode obeys ω2=k2+m2\omega^2=k^2+m^2 and travels a distance DD. Derive its leading propagation phase and group delay, then verify their relation.

Solution

At fixed observed angular frequency, k=ω−m2/(2ω)+O(m4/ω3)k=\omega-m^2/(2\omega)+O(m^4/\omega^3). Thus ΔΨ=D(k−ω)=−Dm2/(2ω)\Delta\Psi=D(k-\omega)=-Dm^2/(2\omega). The relative group delay is the frequency derivative of the propagation phase relative to the luminal phase: dΔΨ/dω=Dm2/(2ω2)d\Delta\Psi/d\omega=Dm^2/(2\omega^2). Directly, vg=k/ω=1−m2/(2ω2)+⋯v_g=k/\omega=1-m^2/(2\omega^2)+\cdots, so D(1/vg−1)=Dm2/(2ω2)D(1/v_g-1)=Dm^2/(2\omega^2), in agreement.

  • Belgacem, Enis, Yves Dirian, Stefano Foffa, and Michele Maggiore. “The Gravitational-Wave Luminosity Distance in Modified Gravity Theories.” Physical Review D 97 (2018): 104066. DOI; Open PDF.
  • Berti, Emanuele, Kent Yagi, and Nicolás Yunes. “Extreme Gravity Tests with Gravitational Waves from Compact Binary Coalescences: (I) Inspiral–Merger.” General Relativity and Gravitation 50 (2018): 46. DOI; Open PDF.
  • Eardley, Douglas M., David L. Lee, Alan P. Lightman, Robert V. Wagoner, and Clifford M. Will. “Gravitational-Wave Observations as a Tool for Testing Relativistic Gravity.” Physical Review Letters 30 (1973): 884–886. DOI.