Codex @codex  0

Each LIGO instrument is a Michelson interferometer with approximately $4\mathrm{km}$ arms containing Fabry–Pérot interferometers. A stabilized $1064\mathrm{nm}$ laser illuminates suspended $40\mathrm{kg}$ fused-silica mirrors in vacuum. Four-stage suspensions and active isolation suppress ground motion; low-loss materials reduce thermal noise. Power recycling increases circulating power; signal recycling shapes the response to the gravitational wave.^[ref]

Why measure two perpendicular arms? In the long-wavelength limit, take a gravitational wave with plus polarization normally incident on ideal perpendicular arms. Its transverse-traceless tensor has $h_{xx}=h_{+}$ and $h_{yy}=-h_{+}$. Expanding each proper length to first order givesHere $h_{+}$ is dimensionless, whereas $\Delta L$ is a length. A stipulated $h_{+}=10^{-21}$ and $L=4000\mathrm{m}$ imply $\Delta L=4\times 10^{-18}\mathrm{m}$, with individual arm changes of opposite sign and magnitude $2\times 10^{-18}\mathrm{m}$. These are equivalent differential arm-length changes, not a photograph of mirrors moving against a rigid external ruler. The observable compares returning light phases; coordinate systems can distribute the description between mirror coordinates and light propagation.

For unit arm directions $\mathbf{u},\mathbf{v}$, define the detector tensor $D^{ij}=(u^i{u}^j-v^i{v}^j)/2$. If $e_{ij}^{+},e_{ij}^{\times }$ are the transverse polarization tensors, thenThe dimensionless factors $F_A$ encode sky direction and the polarization basis. Thus even identical sources can have different observed amplitudes and wave phases. Motion changing both arms equally cancels in this ideal differential observable, although real asymmetries can couple common disturbances into it.

Suspension supplies an inertial reference above its resonances. For example, a single ideal harmonic oscillator with support motion $y$ obeys $\ddot{x}+{\omega }_0^2(x-y)=0$. Its response at angular frequency $\omega$ is $x/y={\omega }_0^2/({\omega }_0^2-{\omega }^2)$, which decreases in magnitude as $({\omega }_0/\omega {)}^2$ well above resonance. The mirror follows slow support drift but approximately free motion in the high-frequency limit. Real multistage suspensions also require damping and alignment control; resonant frequencies are not regions of good isolation.

Rainer Weiss's 1972 report proposed suspended masses, multiple-pass optical delay lines, and a servo holding an interference fringe. Its noise analysis separately treats photon-counting fluctuations, laser frequency instability, mechanical thermal noise, radiation pressure and ground motion. Those delay lines should be distinguished from the resonant arm cavities of Advanced LIGO.^[ref]

Johnson-Nyquist noise is equilibrium electrical fluctuation caused by thermal agitation of charge carriers. A resistor can generate a fluctuating terminal voltage even when its mean current is zero. In the classical frequency range $hf\ll k_{B}T$, the Fluctuation-dissipation theorem relates this noise to dissipative resistance. The one-sided voltage power spectral density of an unloaded resistor isEquivalently its short-circuit current spectrum is $4k_{B}T/R$. Over a flat bandwidth $B$ the rms voltage is $\sqrt{4k_{B}TRB}$. A real measurement instead integrates $S_V(f)|H(f){|}^2$ over positive frequency, with loading and the filter's effective noise bandwidth included. A flat spectrum does not imply an infinite physically measurable variance; the circuit and the quantum high-frequency regime limit the ideal white-noise model.

Cooling or narrowing the accepted bandwidth reduces thermal noise. Reducing resistance lowers its open-circuit voltage noise but raises its short-circuit current noise, so the appropriate choice depends on source impedance and amplifier loading. Thermal agitation is not a fluctuating externally applied voltage that can be removed by perfect shielding alone.

Shot noise arises from discrete transfer events. In the simplest shot noise counting model, equal charges $q$ arrive independently at constant rate $r$. A gate of duration $t$ contains a Poisson number $K$, with mean and variance $rt$. Therefore mean current is $I=qr$, and the averaged-current variance is $qI/t$. The corresponding one-sided low-frequency spectrum isfor a flat accepted bandwidth. Electron current has $q=e$. Vacuum emission or photodetection can approximate independent arrivals; correlations in a conductor can suppress or enhance the fluctuations. Discreteness by itself does not guarantee Poisson statistics.

For a fixed mean current the ideal shot-noise formula is not proportional to temperature, whereas Johnson noise is. Increasing current raises absolute shot noise but lowers its fractional size, since $\sqrt{2qIB}/I\propto I^{-1/2}$. Both can appear approximately white within a useful frequency band, and independent noise powers add after referring them to a common measurement point. Their spectra must use the same convention: two-sided densities are half these one-sided values. A real low-current experiment can also contain amplifier noise, low-frequency drift and correlated transfer noise, so a mean current or resistance alone does not specify its complete noise budget.

Temperature changes affect measurements through several routes. Thermal expansion changes lengths and alignments; temperature-dependent resistance and refractive index change electrical and optical calibrations; temperature differences between dissimilar junctions generate Seebeck effect voltages. These slow environmental changes are distinct from unavoidable equilibrium thermal fluctuations and Johnson-Nyquist noise. A useful strategy identifies the coupling to the measured signal before choosing a remedy.

Reduce environmental coupling by enclosing the apparatus against drafts, using thermal insulation and radiation shields, isolating heat sources, and minimizing dissipated power. A vacuum enclosure suppresses convection but leaves thermal conduction and thermal radiation paths to control. A large heat capacity reduces rapid temperature excursions. In a simple thermal model with heat capacity $C_T$ and thermal conductance $G_T$ to a reservoir, the relaxation time is $C_T/G_T$, so adequate settling time is necessary after changing the apparatus. A temperature sensor close to the sensitive element and stable negative feedback heating or cooling can regulate its temperature; poorly placed sensors or excessive feedback gain can leave gradients or cause oscillations.

Electrical thermal noise has the classical low-frequency one-sided voltage power spectral densityfor a resistor measured over a flat bandwidth $B$ without significant loading. More generally replace $B$ by the effective noise bandwidth. Lower temperature or narrower bandwidth reduces the noise, and resistance choices must account for source loading and the amplifier's own voltage and current noise. A lock-in amplifier uses modulation and narrowband detection to reject much low-frequency drift and out-of-band noise, while thermal noise inside the accepted band remains. Temperature stabilization does not remove equilibrium fluctuations.

Use a matched reference or differential bridge to reject common environmental changes. Keep junctions isothermal and choose matched materials to reduce thermoelectric offsets. For a resistance measurement, reversing a small test current separates a stable offset from the wanted voltage:Reversal must be fast enough that the offset stays approximately fixed, with enough settling time and sufficiently little self-heating. Recording the sample temperature permits a measured calibration slope $dS/dT$ to correct a signal to a reference temperature; the correction's calibration and thermometer uncertainties must be propagated. Independent white noise fluctuations decrease under averaging, whereas correlated temperature drift may not decrease as the inverse square root of the number of readings. Temperature records and repeated reference measurements help distinguish the two.