A comparison of analytic calculations and FINESSE simulations of interferometer responses to gravitational wave strain. The response to a gravitational wave is gradually built up from the effect of modulating a space by a gravitational wave to Sagnac
and Michelson interferometers with and without arm cavities. This document details the steps necessary to perform such simulations in FINESSE and explicitly derives the interferometer response equations.
Finesse is a fast interferometer simulation program. For a given optical setup, it computes the light field amplitudes at every point in the interferometer assuming a steady state. To do so, the interferometer description is translated into a set of
linear equations that are solved numerically. For convenience, a number of standard analyses can be performed automatically by the program, namely computing modulation-demodulation error signals, transfer functions, shot-noise-limited sensitivities, and beam shapes. Finesse can perform the analysis using the plane-wave approximation or Hermite-Gauss modes. The latter allows computation of the properties of optical systems like telescopes and the effects of mode matching and mirror angular positions.
All-reflective interferometer configurations have been proposed for the next generation of gravitational wave detectors, with diffractive elements replacing transmissive optics. However, an additional phase noise creates more stringent conditions for
alignment stability. A framework for alignment stability with the use of diffractive elements was required using a Gaussian model. We successfully create such a framework involving modal decomposition to replicate small displacements of the beam (or grating) and show that the modal model does not contain the phase changes seen in an otherwise geometric planewave approach. The modal decomposition description is justified by verifying experimentally that the phase of a diffracted Gaussian beam is independent of the beam shape, achieved by comparing the phase change between a zero-order and first-order mode beam. To interpret our findings we employ a rigorous time-domain simulation to demonstrate that the phase changes resulting from a modal decomposition are correct, provided that the coordinate system which measures the phase is moved simultaneously with the effective beam displacement. This indeed corresponds to the phase change observed in the geometric planewave model. The change in the coordinate system does not instinctively occur within the analytical framework, and therefore requires either a manual change in the coordinate system or an addition of the geometric planewave phase factor.
Several km-scale gravitational-wave detectors have been constructed world wide. These instruments combine a number of advanced technologies to push the limits of precision length measurement. The core devices are laser interferometers of a new kind;
developed from the classical Michelson topology these interferometers integrate additional optical elements, which significantly change the properties of the optical system. Much of the design and analysis of these laser interferometers can be performed using well-known classical optical techniques; however, the complex optical layouts provide a new challenge. In this review we give a textbook-style introduction to the optical science required for the understanding of modern gravitational wave detectors, as well as other high-precision laser interferometers. In addition, we provide a number of examples for a freely available interferometer simulation software and encourage the reader to use these examples to gain hands-on experience with the discussed optical methods.
