Abstract
Different forms of fluctuations of the terrestrial gravity field are observed by gravity experiments. For example, atmospheric pressure fluctuations generate a gravitynoise foreground in measurements with superconducting gravimeters. Gravity changes caused by highmagnitude earthquakes have been detected with the satellite gravity experiment GRACE, and we expect highfrequency terrestrial gravity fluctuations produced by ambient seismic fields to limit the sensitivity of groundbased gravitationalwave (GW) detectors. Accordingly, terrestrial gravity fluctuations are considered noise and signal depending on the experiment. Here, we will focus on groundbased gravimetry. This field is rapidly progressing through the development of GW detectors. The technology is pushed to its current limits in the advanced generation of the LIGO and Virgo detectors, targeting gravity strain sensitivities better than 10^{−23} Hz^{−1/2} above a few tens of a Hz. Alternative designs for GW detectors evolving from traditional gravity gradiometers such as torsion bars, atom interferometers, and superconducting gradiometers are currently being developed to extend the detection band to frequencies below 1 Hz. The goal of this article is to provide the analytical framework to describe terrestrial gravity perturbations in these experiments. Models of terrestrial gravity perturbations related to seismic fields, atmospheric disturbances, and vibrating, rotating or moving objects, are derived and analyzed. The models are then used to evaluate passive and active gravity noise mitigation strategies in GW detectors, or alternatively, to describe their potential use in geophysics. The article reviews the current state of the field, and also presents new analyses especially with respect to the impact of seismic scattering on gravity perturbations, active gravity noise cancellation, and timedomain models of gravity perturbations from atmospheric and seismic point sources. Our understanding of terrestrial gravity fluctuations will have great impact on the future development of GW detectors and highprecision gravimetry in general, and many open questions need to be answered still as emphasized in this article.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In the coming years, we will see a transition in the field of highprecision gravimetry from observations of slow lasting changes of the gravity field to the experimental study of fast gravity fluctuations. The latter will be realized by the advanced generation of the USbased LIGO [1] and Europebased Virgo [7] gravitationalwave (GW) detectors. Their goal is to directly observe for the first time GWs that are produced by astrophysical sources such as inspiraling and merging neutronstar or blackhole binaries. Feasibility of the laserinterferometric detector concept has been demonstrated successfully with the first generation of detectors, which, in addition to the initial LIGO and Virgo detectors, also includes the GEO600 [119] and TAMA300 [161] detectors, and several prototypes around the world. The impact of these projects onto the field is twofold. First of all, the direct detection of GWs will be a milestone in science opening a new window to our universe, and marking the beginning of a new era in observational astronomy. Second, several groups around the world have already started to adapt the technology to novel interferometer concepts [60, 155], with potential applications not only in GW science, but also geophysics. The basic measurement scheme is always the same: the relative displacement of test masses is monitored by using ultrastable lasers. Progress in this field is strongly dependent on how well the motion of the test masses can be shielded from the environment. Test masses are placed in vacuum and are either freely falling (e.g., atom clouds [137]), or suspended and seismically isolated (e.g., highquality glass or crystal mirrors as used in all of the detectors listed above). The best seismic isolations realized so far are effective above a few Hz, which limits the frequency range of detectable gravity fluctuations. Nonetheless, lowfrequency concepts are continuously improving, and it is conceivable that future detectors will be sufficiently sensitive to detect GWs well below a Hz [88].
Terrestrial gravity perturbations were identified as a potential noise source already in the first concept laid out for a laserinterferometric GW detector [171]. Today, this form of noise is known as “terrestrial gravitational noise”, “Newtonian noise”, or “gravitygradient noise”. It has never been observed in GW detectors, but it is predicted to limit the sensitivity of the advanced GW detectors at low frequencies. The most important source of gravity noise comes from fluctuating seismic fields [151]. Gravity perturbations from atmospheric disturbances such as pressure and temperature fluctuations can become significant at lower frequencies [51]. Anthropogenic sources of gravity perturbations are easier to avoid, but could also be relevant at lower frequencies [163]. Today, we only have one example of a direct observation of gravity fluctuations, i.e., from pressure fluctuations of the atmosphere in highprecision gravimeters [128]. Therefore, almost our entire understanding of gravity fluctuations is based on models. Nonetheless, potential sensitivity limits of future largescale GW detectors need to be identified and characterized well in advance, and so there is a need to continuously improve our understanding of terrestrial gravity noise. Based on our current understanding, the preferred option is to construct future GW detectors underground to avoid the most dominant Newtoniannoise contributions. This choice was made for the nextgeneration Japanese GW detector KAGRA, which is currently being constructed underground at the Kamioka site [17], and also as part of a design study for the Einstein Telescope in Europe [140, 139]. While the benefit from underground construction with respect to gravity noise is expected to be substantial in GW detectors sensitive above a few Hz [27], it can be argued that it is less effective at lower frequencies [88].
Alternative mitigation strategies includes coherent noise cancellation [42]. The idea is to monitor the sources of gravity perturbations using auxiliary sensors such as microphones and seismometers, and to use their data to generate a coherent prediction of gravity noise. This technique is successfully applied in gravimeters to reduce the foreground of atmospheric gravity noise using collocated pressure sensors [128]. It is also noteworthy that the models of the atmospheric gravity noise are consistent with observations. This should give us some confidence at least that coherent Newtoniannoise cancellation can also be achieved in GW detectors. It is evident though that a modelbased prediction of the performance of coherent noise cancellation schemes is prone to systematic errors as long as the properties of the sources are not fully understood. Ongoing experiments at the Sanford Underground Research Facility with the goal to characterize seismic fields in three dimensions are expected to deliver first data from an underground seismometer array in 2015 (see [89] for results from an initial stage of the experiment). While most people would argue that constructing GW detectors underground is always advantageous, it is still necessary to estimate how much is gained and whether the science case strongly profits from it. This is a complicated problem that needs to be answered as part of a site selection process.
More recently, highprecision gravity strainmeters have been considered as monitors of geophysical signals [83]. Analytical models have been calculated, which allow us to predict gravity transients from seismic sources such as earthquakes. It was suggested to implement gravity strainmeters in existing earthquakeearly warning systems to increase warning times. It is also conceivable that an alternative method to estimate source parameters using gravity signals will improve our understanding of seismic sources. Potential applications must still be investigated in greater detail, but the study already demonstrates that the idea to use GW technology to realize new geophysical sensors seems feasible. As explained in [49], gravitational forces start to dominate the dynamics of seismic phenomena below about 1 mHz (which coincides approximately with a similar transition in atmospheric dynamics where gravity waves start to dominate over other forms of oscillations [164]). Seismic isolation would be ineffective below 1 mHz since the gravitational acceleration of a test mass produced by seismic displacement becomes comparable to the seismic acceleration itself. Therefore, we claim that 10 mHz is about the lowest frequency at which groundbased gravity strainmeters will ever be able to detect GWs, and consequently, modelling terrestrial gravity perturbations in these detectors can focus on frequencies above 10 mHz.
This article is divided into six main sections. Section 2 serves as an introduction to gravity measurements focussing on the response mechanisms and basic properties of gravity sensors. Section 3 describes models of gravity perturbations from ambient seismic fields. The results can be used to estimate noise spectra at the surface and underground. A subsection is devoted to the problem of noise estimation in lowfrequency GW detectors, which differs from highfrequency estimates mostly in that gravity perturbations are strongly correlated between different test masses. In the lowfrequency regime, the gravity noise is best described as gravitygradient noise. Section 4 is devoted to time domain models of transient gravity perturbations from seismic point sources. The formalism is applied to point forces and shear dislocations. The latter allows us to estimate gravity perturbations from earthquakes. Atmospheric models of gravity perturbations are presented in Section 5. This includes gravity perturbations from atmospheric temperature fields, infrasound fields, shock waves, and acoustic noise from turbulence. The solution for shock waves is calculated in time domain using the methods of Section 4. A theoretical framework to calculate gravity perturbations from objects is given in Section 6. Since many different types of objects can be potential sources of gravity perturbations, the discussion focusses on the development of a general method instead of summarizing all of the calculations that have been done in the past. Finally, Section 7 discusses possible passive and active noise mitigation strategies. Due to the complexity of the problem, most of the section is devoted to active noise cancellation providing the required analysis tools and showing limitations of this technique. Site selection is the main topic under passive mitigation, and is discussed in the context of reducing environmental noise and criteria relevant to active noise cancellation. Each of these sections ends with a summary and a discussion of open problems. While this article is meant to be a review of the current state of the field, it also presents new analyses especially with respect to the impact of seismic scattering on gravity perturbations (Sections 3.3.2 and 3.3.3), active gravity noise cancellation (Section 7.1.3), and timedomain models of gravity perturbations from atmospheric and seismic point sources (Sections 4.1, 4.5, and 5.3).
Even though evident to experts, it is worth emphasizing that all calculations carried out in this article have a common starting point, namely Newton’s universal law of gravitation. It states that the attractive gravitational force \(\vec{F}\) between two point masses m_{1}, m_{2} is given by
where G = 6.672 × 10^{−11} N m^{2}/kg^{2} is the gravitational constant. Eq. (1) gives rise to many complex phenomena on Earth such as innercore oscillations [156], atmospheric gravity waves [157], ocean waves [94, 177], and coseismic gravity changes [122]. Due to its importance, we will honor the eponym by referring to gravity noise as Newtonian noise in the following. It is thereby clarified that the gravity noise models considered in this article are nonrelativistic, and propagation effects of gravity changes are neglected. While there could be interesting scenarios where this approximation is not fully justified (e.g., whenever a gravity perturbation can be sensed by several sensors and differences in arrival times can be resolved), it certainly holds in any of the problems discussed in this article. We now invite the reader to enjoy the rest of the article, and hope that it proves to be useful.
2 Gravity Measurements
In this section, we describe the relevant mechanisms by which a gravity sensor can couple to gravity perturbations, and give an overview of the most widely used measurement schemes: the (relative) gravimeter [53, 181], the gravity gradiometer [125], and the gravity strainmeter. The last category includes the largescale GW detectors Virgo [6], LIGO [91], GEO600 [119], KAGRA [17], and a new generation of torsionbar antennas currently under development [13]. Also atom interferometers can potentially be used as gravity strainmeters in the future [62]. Strictly speaking, none of the sensors only responds to a single field quantity (such as changes in gravity acceleration or gravity strain), but there is always a dominant response mechanism in each case, which justifies to give the sensor a specific name. A clear distinction between gravity gradiometers and gravity strainmeters has never been made to our knowledge. Therefore the sections on these two measurement principles will introduce a definition, and it is by no means the only possible one. Later on in this article, we almost exclusively discuss gravity models relevant to gravity strainmeters since the focus lies on gravity fluctuations above 10 mHz. Today, the sensitivity near 10 mHz of gravimeters towards gravity fluctuations is still competitive to or exceeds the sensitivity of gravity strainmeters, but this is likely going to change in the future so that we can expect strainmeters to become the technology of choice for gravity observations above 10 mHz [88]. The following sections provide further details on this statement. Spaceborne gravity experiments such as GRACE [167] will not be included in this overview. The measurement principle of GRACE is similar to that of gravity strainmeters, but only very slow changes of Earth gravity field can be observed, and for this reason it is beyond the scope of this article.
The different response mechanisms to terrestrial gravity perturbations are summarized in Section 2.1. While we will identify the tidal forces acting on the test masses as dominant coupling mechanism, other couplings may well be relevant depending on the experiment. The Shapiro time delay will be discussed as the only relativistic effect. Higherorder relativistic effects are neglected. All other coupling mechanisms can be calculated using Newtonian theory including tidal forces, coupling in static nonuniform gravity fields, and coupling through ground displacement induced by gravity fluctuations. In Sections 2.2 to 2.4, the different measurement schemes are explained including a brief summary of the sensitivity limitations (choosing one of a few possible experimental realizations in each case). As mentioned before, we will mostly develop gravity models relevant to gravity strainmeters in the remainder of the article. Therefore, the detailed discussion of alternative gravimetry concepts mostly serves to highlight important differences between these concepts, and to develop a deeper understanding of the instruments and their role in gravity measurements.
2.1 Gravity response mechanisms
2.1.1 Gravity acceleration and tidal forces
We will start with the simplest mechanism of all, the acceleration of a test mass in the gravity field. Instruments that measure the acceleration are called gravimeters. A test mass inside a gravimeter can be freely falling such as atom clouds [181] or, as suggested as possible future development, even macroscopic objects [72]. Typically though, test masses are supported mechanically or magnetically constraining motion in some of its degrees of freedom. A test mass suspended from strings responds to changes in the horizontal gravity acceleration. A test mass attached at the end of a cantilever with horizontal equilibrium position responds to changes in vertical gravity acceleration. The support fulfills two purposes. First, it counteracts the static gravitational force in a way that the test mass can respond to changes in the gravity field along a chosen degree of freedom. Second, it isolates the test mass from vibrations. Response to signals and isolation performance depend on frequency. If the support is modelled as a linear, harmonic oscillator, then the test mass response to gravity changes extends over all frequencies, but the response is strongly suppressed below the oscillators resonance frequency. The response function between the gravity perturbation δg(ω) and induced test mass acceleration δa(ω) assumes the form
where we have introduced a viscous damping parameter γ, and ω_{0} is the resonance frequency. Well below resonance, the response is proportional to ω^{2}, while it is constant well above resonance. Above resonance, the supported test mass responds like a freely falling mass, at least with respect to “soft” directions of the support. The testmass response to vibrations δα(ω) of the support is given by
This applies for example to horizontal vibrations of the suspension points of strings that hold a test mass, or to vertical vibrations of the clamps of a horizontal cantilever with attached test mass. Well above resonance, vibrations are suppressed by ω^{−2}, while no vibration isolation is provided below resonance. The situation is somewhat more complicated in realistic models of the support especially due to internal modes of the mechanical system (see for example [76]), or due to coupling of degrees of freedom [121]. Large mechanical support structures can feature internal resonances at relatively low frequencies, which can interfere to some extent with the desired performance of the mechanical support [173]. While Eqs. (2) and (3) summarize the properties of isolation and response relevant for this paper, details of the readout method can fundamentally impact an instrument’s response to gravity fluctuations and its susceptibility to seismic noise, as explained in Sections 2.2 to 2.4.
Next, we discuss the response to tidal forces. In Newtonian theory, tidal forces cause a relative acceleration δg_{12}(ω) between two freely falling test masses according to
where \(\psi (\vec{r},\omega)\) is the Fourier amplitude of the gravity potential. The last equation holds if the distance r_{12} between the test masses is sufficiently small, which also depends on the frequency. The term \(\nabla \otimes \nabla \psi (\vec{r}, \, t)\) is called gravitygradient tensor. In Newtonian approximation, the second time integral of this tensor corresponds to gravity strain \({\bf{h}}(\vec{r}, \, t)\), which is discussed in more detail in Section 2.4. Its trace needs to vanish in empty space since the gravity potential fulfills the Poisson equation. Tidal forces produce the dominant signals in gravity gradiometers and gravity strainmeters, which measure the differential acceleration or associated relative displacement between two test masses (see Sections 2.3 and 2.4). If the test masses used for a tidal measurement are supported, then typically the supports are designed to be as similar as possible, so that the response in Eq. (2) holds for both test masses approximately with the same parameter values for the resonance frequencies (and to a lesser extent also for the damping). For the purpose of response calibration, it is less important to know the parameter values exactly if the signal is meant to be observed well above the resonance frequency where the response is approximately equal to 1 independent of the resonance frequency and damping (here, “well above” resonance also depends on the damping parameter, and in realistic models, the signal frequency also needs to be “well below” internal resonances of the mechanical support).
2.1.2 Shapiro time delay
Another possible gravity response is through the Shapiro time delay [19]. This effect is not universally present in all gravity sensors, and depends on the readout mechanism. Today, the best sensitivities are achieved by reflecting laser beams from test masses in interferometric configurations. If the test mass is displaced by gravity fluctuations, then it imprints a phase shift onto the reflected laser, which can be observed in laser interferometers, or using phasemeters. We will give further details on this in Section 2.4. In Newtonian gravity, the acceleration of test masses is the only predicted response to gravity fluctuations. However, from general relativity we know that gravity also affects the propagation of light. The leadingorder term is the Shapiro time delay, which produces a phase shift of the laser beam with respect to a laser propagating in flat space. It can be calculated from the weakfield spacetime metric (see chapter 18 in [124]):
Here, c is the speed of light, ds is the socalled line element of a path in spacetime, and \(\psi (\vec{r}, \, t)/{c^2} \ll 1\). Additionally, for this metric to hold, motion of particles in the source of the gravity potential responsible for changes of the gravity potential need to be much slower than the speed of light, and also stresses inside the source must be much smaller than its mass energy density. All conditions are fulfilled in the case of Earth gravity field. Light follows null geodesics with ds^{2} = 0. For the spacetime metric in Eq. (5), we can immediately write
As we will find out, this equation can directly be used to calculate the time delay as an integral along a straight line in terms of the coordinates \(\vec{r}\), but this is not immediately clear since light bends in a gravity field. So one may wonder if integration along the proper light path instead of a straight line yields additional significant corrections. The socalled geodesic equation must be used to calculate the path. It is a set of four differential equations, one for each coordinate t, \(\vec{r}\) in terms of a parameter λ. The weakfield geodesic equation is obtained from the metric in Eq. (5):
where we have made use of Eq. (6) and the slowmotion condition \(\vert \dot \psi (\vec{r}, \, t)\vert/c \ll \,\vert \nabla \psi (\vec{r}, \, t)\vert\). The coordinates \(\vec{r}\) are to be understood as functions of λ. Since the deviation of a straight path is due to a weak gravity potential, we can solve these equations by perturbation theory introducing expansions \(\vec{r} = {\vec{r}^{(0)}} + {\vec{r}^{(1)}} + \ldots\) and t = t^{(0)} +t^{(1)} + …. The superscript indicates the order in ψ/c^{2}. The unperturbed path has the simple parametrization
We have chosen integration constants such that unperturbed time t^{(0)} and parameter λ can be used interchangeably (apart from a shift by t_{0}). Inserting these expressions into the righthand side of Eq. (7), we obtain
As we can see, up to linear order in \(\psi (\vec{r}, \, t)\), the deviation \({\vec{r}^{(1)}}(\lambda)\) is in orthogonal direction to the unperturbed path \({\vec{r}^{(0)}}(\lambda)\), which means that the deviation can be neglected in the calculation of the time delay. After some transformations, it is possible to derive Eq. (6) from Eq. (9), and this time we find explicitly that the righthandside of the equation only depends on the unperturbed coordinates^{Footnote 1}. In other words, we can integrate the time delay along a straight line as defined in Eq. (8), and so the total phase integrated over a travel distance L is given by
In static gravity fields, the phase shift doubles if the light is sent back since not only the direction of integration changes, but also the sign of the expression substituted for dt/dλ.
2.1.3 Gravity induced ground motion
As we will learn in Section 3, seismic fields produce gravity perturbations either through density fluctuations of the ground, or by displacing interfaces between two materials of different density. It is also wellknown in seismology that seismic fields can be affected significantly by selfgravity. Selfgravity means that the gravity perturbation produced by a seismic field acts back on the seismic field. The effect is most significant at low frequency where gravity induced acceleration competes against acceleration from elastic forces. In seismology, lowfrequency seismic fields are best described in terms of Earth’s normal modes [55]. Normal modes exist as toroidal modes and spheroidal modes. Spheroidal modes are influenced by selfgravity, toroidal modes are not. For example, predictions of frequencies and shapes of spheroidal modes based on Earth models such as PREM (Preliminary Reference Earth Model) [68] are inaccurate if selfgravity effects are excluded. What this practically means is that in addition to displacement amplitudes, gravity becomes a dynamical variable in the elastodynamic equations that determine the normalmode properties. Therefore, seismic displacement and gravity perturbation cannot be separated in normalmode formalism (although selfgravity can be neglected in calculations of spheroidal modes at sufficiently high frequency).
In certain situations, it is necessary or at least more intuitive to separate gravity from seismic fields. An exotic example is Earth’s response to GWs [67, 49, 47, 30, 48]. Another example is the seismic response to gravity perturbations produced by strong seismic events at large distance to the source as described in Section 4. It is more challenging to analyze this scenario using normalmode formalism. The sum over all normal modes excited by the seismic event (each of which describing a global displacement field) must lead to destructive interference of seismic displacement at large distances (where seismic waves have not yet arrived), but not of the gravity amplitudes since gravity is immediately perturbed everywhere. It can be easier to first calculate the gravity perturbation from the seismic perturbation, and then to calculate the response of the seismic field to the gravity perturbation at larger distance. This method will be adopted in this section. Gravity fields will be represented as arbitrary force or tidal fields (detailed models are presented in later sections), and we simply calculate the response of the seismic field. Normalmode formalism can be avoided only at sufficiently high frequencies where the curvature of Earth does not significantly influence the response (i.e., well above 10 mHz). In this section, we will model the ground as homogeneous half space, but also more complex geologies can in principle be assumed.
Gravity can be introduced in two ways into the elastodynamic equations, as a conservative force −∇ψ [146, 169], or as tidal strain The latter method was described first by Dyson to calculate Earth’s response to GWs [67]. The approach also works for Newtonian gravity, with the difference that the tidal field produced by a GW is necessarily a quadrupole field with only two degrees of freedom (polarizations), while tidal fields produced by terrestrial sources are less constrained. Certainly, GWs can only be fully described in the framework of general relativity, which means that their representation as a Newtonian tidal field cannot be used to explain all possible observations [124]. Nonetheless, important here is that Dyson’s method can be extended to Newtonian tidal fields. Without gravity, the elastodynamic equations for small seismic displacement can be written as
where \(\vec{\xi}(\vec{r}, \, t)\) is the seismic displacement field, and \(\sigma (\vec{r}, \, t)\) is the stress tensor [9]. In the absence of other forces, the stress is determined by the seismic field. In the case of a homogeneous and isotropic medium, the stress tensor for small seismic displacement can be written as
The quantity \(\epsilon (\vec{r}, \, t)\) is known as seismic strain tensor, and λ, μ are the Lamé constants (see Section 3.1). Its trace is equal to the divergence of the displacement field. Dyson introduced the tidal field from first principles using Lagrangian mechanics, but we can follow a simpler approach. Eq. (12) means that a stress field builds up in response to a seismic strain field, and the divergence of the stress field acts as a force producing seismic displacement. The same happens in response to a tidal field, which we represent as gravity strain \({\bf{h}}(\vec{r}, \, t)\). A strain field changes the distance between two freely falling test masses separated by \(\vec{L}\) by \(\delta \vec{L}(\vec{r}, \, t) = {\bf{h}}(\vec{r}, \, t) \cdot \vec{L}\)^{Footnote 2}. For sufficiently small distances L, the strain field can be substituted by the second time integral of the gravitygradient tensor \(\nabla \otimes \nabla \psi (\vec{r}, \, t)\). If the masses are not freely falling, then the strain field acts as an additional force. The corresponding contribution to the material’s stress tensor can be written
Since we assume that the gravity field is produced by a distant source, the local contribution to gravity perturbations is neglected, which means that the gravity potential obeys the Laplace equation, \(\Delta \psi (\vec{r}, \, t) = 0\). Calculating the divergence of the stress tensor according to Eq. (11), we find that the gravity term vanishes! This means that a homogeneous and isotropic medium does not respond to gravity strain fields. However, we have to be more careful here. Our goal is to calculate the response of a halfspace to gravity strain. Even if the halfspace is homogeneous, the Lamé constants change discontinuously across the surface. Hence, at the surface, the divergence of the stress tensor reads
In other words, tidal fields produce a force onto an elastic medium via gradients in the shear modulus (second Lamé constant). The gradient of the shear modulus can be written in terms of a Dirac delta function, \(\nabla \mu =  \mu \delta (z){\vec{e}_n}\), for a flat surface at z = 0 with unit normal vector \({\vec{e}_n}\). The response to gravity strain fields is obtained applying the boundary condition of vanishing surface traction, \({\vec{e}_n} \cdot \sigma (\vec{r},t) = 0\):
Once the seismic strain field is calculated, it can be used to obtain the seismic stress, which determines the displacement field \(\vec{\xi}(\vec{r}, \, t)\) according to Eq. (11). In this way, one can for example calculate that a seismometer or gravimeter can observe GWs by monitoring surface displacement as was first calculated by Dyson [67].
2.1.4 Coupling in nonuniform, static gravity fields
If the gravity field is static, but nonuniform, then displacement \(\vec{\xi}(t)\) of the test mass in this field due to a nongravitational fluctuating force is associated with a changing gravity acceleration according to
We introduce a characteristic length λ, over which gravity acceleration varies significantly. Hence, we can rewrite the last equation in terms of the associated testmass displacement ζ
where we have neglected directional dependence and numerical factors. The acceleration change from motion in static, inhomogeneous fields is generally more significant at low frequencies. Let us consider the specific case of a suspended test mass. It responds to fluctuations in horizontal gravity acceleration. The test mass follows the motion of the suspension point in vertical direction (i.e., no seismic isolation), while seismic noise in horizontal direction is suppressed according to Eq. (3). Accordingly, it is possible that the unsuppressed vertical (zaxis) seismic noise ξ_{z}(t) coupling into the horizontal (xaxis) motion of the test mass through the term ∂_{x}g_{z} = ∂_{z}g_{x} dominates over the gravity response term in Eq. (2). Due to additional coupling mechanisms between vertical and horizontal motion in real seismicisolation systems, test masses especially in GW detectors are also isolated in vertical direction, but without achieving the same noise suppression as in horizontal direction. For example, the requirements on vertical testmass displacement for Advanced LIGO are a factor 1000 less stringent than on the horizontal displacement [22]. Requirements can be set on the vertical isolation by estimating the coupling of vertical motion into horizontal motion, which needs to take the gravitygradient coupling of Eq. (16) into account. Although, because of the frequency dependence, gravitygradient effects are more significant in lowfrequency detectors, such as the spaceborne GW detector LISA [154].
Next, we calculate an estimate of gravity gradients in the vicinity of test masses in largescale GW detectors, and see if the gravitygradient coupling matters compared to mechanical verticaltohorizontal coupling.
One contribution to gravity gradients will come from the vacuum chamber surrounding the test mass. We approximate the shape of the chamber as a hollow cylinder with open ends (open ends just to simplify the calculation). In our calculation, the test mass can be offset from the cylinder axis and be located at any distance to the cylinder ends (we refer to this coordinate as height). The gravity field can be expressed in terms of elliptic integrals, but the explicit solution is not of concern here. Instead, let us take a look at the results in Figure 1. Gravity gradients ∂_{z}g_{x} vanish if the test mass is located on the symmetry axis or at height L/2. There are also two additional ∂_{z}g_{x} = 0 contour lines starting at the symmetry axis at heights ∼ 0.24 and ∼0.76. Let us assume that the test mass is at height 0.3L, a distance 0.05L from the cylinder axis, the total mass of the cylinder is M = 5000 kg, and the cylinder height is L = 4 m. In this case, the gravitygradient induced verticaltohorizontal coupling factor at 20 Hz is
This means that gravitygradient induced coupling is extremely weak, and lies well below estimates of mechanical coupling (of order 0.001 in Advanced LIGO^{Footnote 3}). Even though the vacuum chamber was modelled with a very simple shape, and additional asymmetries in the mass distribution around the test mass may increase gravity gradients, it still seems very unlikely that the coupling would be significant. As mentioned before, one certainly needs to pay more attention when calculating the coupling at lower frequencies. The best procedure is of course to have a 3D model of the near testmass infrastructure available and to use it for a precise calculation of the gravitygradient field.
2.2 Gravimeters
Gravimeters are instruments that measure the displacement of a test mass with respect to a noninertial reference rigidly connected to the ground. The test mass is typically supported mechanically or magnetically (atominterferometric gravimeters are an exception), which means that the testmass response to gravity is altered with respect to a freely falling test mass. We will use Eq. (2) as a simplified response model. There are various possibilities to measure the displacement of a test mass. The most widespread displacement sensors are based on capacitive readout, as for example used in superconducting gravimeters (see Figure 2 and [96]). Sensitive displacement measurements are in principle also possible with optical readout systems; a method that is (necessarily) implemented in atominterferometric gravimeters [137], and prototype seismometers [34] (we will explain the distinction between seismometers and gravimeters below). As will become clear in Section 2.4, optical readout is better suited for displacement measurements over long baselines, as required for the most sensitive gravity strain measurements, while the capacitive readout should be designed with the smallest possible distance between the test mass and the noninertial reference [104].
Let us take a closer look at the basic measurement scheme of a superconducting gravimeter shown in Figure 2. The central part is formed by a spherical superconducting shell that is levitated by superconducting coils. Superconductivity provides stability of the measurement, and also avoids some forms of noise (see [96] for details). In this gravimeter design, the lower coil is responsible mostly to balance the mean gravitational force acting on the sphere, while the upper coil modifies the magnetic gradient such that a certain “spring constant” of the magnetic levitation is realized. In other words, the current in the upper coil determines the resonance frequency in Eq. (2).
Capacitor plates are distributed around the sphere. Whenever a force acts on the sphere, the small signal produced in the capacitive readout is used to immediately cancel this force by a feedback coil. In this way, the sphere is kept at a constant location with respect to the external frame. This illustrates a common concept in all gravimeters. The displacement sensors can only respond to relative displacement between a test mass and a surrounding structure. If small gravity fluctuations are to be measured, then it is not sufficient to realize lownoise readout systems, but also vibrations of the surrounding structure forming the reference frame must be as small as possible. In general, as we will further explore in the coming sections, gravity fluctuations are increasingly dominant with decreasing frequency. At about 1 mHz, gravity acceleration associated with fluctuating seismic fields become comparable to seismic acceleration, and also atmospheric gravity noise starts to be significant [53]. At higher frequencies, seismic acceleration is much stronger than typical gravity fluctuations, which means that the gravimeter effectively operates as a seismometer. In summary, at sufficiently low frequencies, the gravimeter senses gravity accelerations of the test mass with respect to a relatively quiet reference, while at higher frequencies, the gravimeter senses seismic accelerations of the reference with respect to a test mass subject to relatively small gravity fluctuations. In superconducting gravimeters, the third important contribution to the response is caused by vertical motion ξ(t) of a levitated sphere against a static gravity gradient (see Section 2.1.4). As explained above, feedback control suppresses relative motion between sphere and gravimeter frame, which causes the sphere to move as if attached to the frame or ground. In the presence of a static gravity gradient ∂_{z}g_{z}, the motion of the sphere against this gradient leads to a change in gravity, which alters the feedback force (and therefore the recorded signal). The full contribution from gravitational, δa(t), and seismic, \(\ddot{\xi}(t) = \delta \alpha (t)\), accelerations can therefore be written
It is easy to verify, using Eqs. (2) and (3), that the relative amplitude of gravity and seismic fluctuations from the first two terms is independent of the testmass support. Therefore, vertical seismic displacement of the reference frame must be considered fundamental noise of gravimeters and can only be avoided by choosing a quiet measurement site. Obviously, Eq. (19) is based on a simplified support model. One of the important design goals of the mechanical support is to minimize additional noise due to nonlinearities and crosscoupling. As is explained further in Section 2.3, it is also not possible to suppress seismic noise in gravimeters by subtracting the disturbance using data from a collocated seismometer. Doing so inevitably turns the gravimeter into a gravity gradiometer.
Gravimeters target signals that typically lie well below 1 mHz. Mechanical or magnetic supports of test masses have resonance frequencies at best slightly below 10 mHz along horizontal directions, and typically above 0.1 Hz in the vertical direction [23, 174]^{Footnote 4}. Well below resonance frequency, the response function can be approximated as \({\omega ^2}/\omega _0^2\). At first, it may look as if the gravimeter should not be sensitive to very lowfrequency fluctuations since the response becomes very weak. However, the strength of gravity fluctuations also strongly increases with decreasing frequency, which compensates the small response. It is clear though that if the resonance frequency was sufficiently high, then the response would become so weak that the gravity signal would not stand out above other instrumental noise anymore. The testmass support would be too stiff. The sensitivity of the gravimeter depends on the resonance frequency of the support and the intrinsic instrumental noise. With respect to seismic noise, the stiffness of the support has no influence as explained before (the test mass can also fall freely as in atom interferometers).
For superconducting gravimeters of the Global Geodynamics Project (GGP) [52], the median spectra are shown in Figure 3. Between 0.1 mHz and 1 mHz, atmospheric gravity perturbations typically dominate, while instrumental noise is the largest contribution between 1 mHz and 5 mHz [96]. The smallest signal amplitudes that have been measured by integrating longduration signals is about 10^{−12} m/s^{2}. A detailed study of noise in superconducting gravimeters over a larger frequency range can be found in [145]. Note that in some cases, it is not fit to categorize seismic and gravity fluctuations as noise and signal. For example, Earth’s spherical normal modes coherently excite seismic and gravity fluctuations, and the individual contributions in Eq. (19) have to be understood only to accurately translate data into normalmode amplitudes [55].
2.3 Gravity gradiometers
It is not the purpose of this section to give a complete overview of the different gradiometer designs. Gradiometers find many practical applications, for example in navigation and resource exploration, often with the goal to measure static or slowly changing gravity gradients, which do not concern us here. For example, we will not discuss rotating gradiometers, and instead focus on gradiometers consisting of stationary test masses. While the former are ideally suited to measure static or slowly changing gravity gradients with high precision especially under noisy conditions, the latter design has advantages when measuring weak tidal fluctuations. In the following, we only refer to the stationary design. A gravity gradiometer measures the relative acceleration between two test masses each responding to fluctuations of the gravity field [102, 125]. The test masses have to be located close to each other so that the approximation in Eq. (4) holds. The proximity of the test masses is used here as the defining property of gradiometers. They are therefore a special type of gravity strainmeter (see Section 2.4), which denotes any type of instrument that measures relative gravitational acceleration (including the even more general concept of measuring spacetime strain).
Gravity gradiometers can be realized in two versions. First, one can read out the position of two test masses with respect to the same rigid, noninertial reference. The two channels, each of which can be considered a gravimeter, are subsequently subtracted. This scheme is for example realized in dualsphere designs of superconducting gravity gradiometers [90] or in atominterferometric gravity gradiometers [159].
It is schematically shown in Figure 4. Let us first consider the dualsphere design of a superconducting gradiometer. If the reference is perfectly stiff, and if we assume as before that there are no crosscouplings between degrees of freedom and the response is linear, then the subtraction of the two gravity channels cancels all of the seismic noise, leaving only the instrumental noise and the differential gravity signal given by the second line of Eq. (4). Even in real setups, the reduction of seismic noise can be many orders of magnitude since the two spheres are close to each other, and the two readouts pick up (almost) the same seismic noise [125]. This does not mean though that gradiometers are necessarily more sensitive instruments to monitor gravity fields. A large part of the gravity signal (the commonmode part) is subtracted together with the seismic noise, and the challenge is now passed from finding a seismically quiet site to developing an instrument with lowest possible intrinsic noise.
The atominterferometric gradiometer differs in some important details from the superconducting gradiometer. The test masses are realized by ultracold atom clouds, which are (nearly) freely falling provided that magnetic shielding of the atoms is sufficient, and interaction between atoms can be neglected. Interactions of a pair of atom clouds with a laser beam constitute the basic gravity gradiometer scheme. Even though the test masses are freely falling, the readout is not generally immune to seismic noise [80, 18]. The laser beam interacting with the atom clouds originates from a source subject to seismic disturbances, and interacts with optics that require seismic isolation. Schemes have been proposed that could lead to a large reduction of seismic noise [178, 77], but their effectiveness has not been tested in experiments yet. Since the differential position (or tidal) measurement is performed using a laser beam, the natural application of atominterferometer technology is as gravity strainmeter (as explained before, laser beams are favorable for differential position measurements over long baselines). Nonetheless, the technology is currently insufficiently developed to realize largebaseline experiments, and we can therefore focus on its application in gradiometry. Let us take a closer look at the response of atominterferometric gradiometers to seismic noise. In atominterferometric detectors (excluding the new schemes proposed in [178, 77]), one can show that seismic acceleration δα(ω) of the optics or laser source limits the sensitivity of a tidal measurement according to
where L is the separation of the two atom clouds, and is the speed of light. It should be emphasized that the seismic noise remains, even if all optics and the laser source are all linked to the same infinitely stiff frame. In addition to this noise term, other coupling mechanisms may play a role, which can however be suppressed by engineering efforts. The noisereduction factor ωL/c needs to be compared with the commonmode suppression of seismic noise in superconducting gravity gradiometers, which depends on the stiffness of the instrument frame, and on contamination from cross coupling of degreesoffreedom. While the seismic noise in Eq. (20) is a fundamental noise contribution in (conventional) atominterferometric gradiometers, the noise suppression in superconducting gradiometers depends more strongly on the engineering effort (at least, we venture to claim that commonmode suppression achieved in current instrument designs is well below what is fundamentally possible).
To conclude this section, we discuss in more detail the connection between gravity gradiometers and seismically (actively or passively) isolated gravimeters. As we have explained in Section 2.2, the sensitivity limitation of gravimeters by seismic noise is independent of the mechanical support of the test mass (assuming an ideal, linear support). The main purpose of the mechanical support is to maximize the response of the test mass to gravity fluctuations, and thereby increase the signal with respect to instrumental noise other than seismic noise. Here we will explain that even a seismic isolation of the gravimeter cannot overcome this noise limitation, at least not without fundamentally changing its response to gravity fluctuations. Let us first consider the case of a passively seismically isolated gravimeter. For example, we can imagine that the gravimeter is suspended from the tip of a strong horizontal cantilever. The system can be modelled as two oscillators in a chain, with a light test mass m supported by a heavy mass M representing the gravimeter (reference) frame, which is itself supported from a point rigidly connected to Earth. The two supports are modelled as harmonic oscillators. As before, we neglect cross coupling between degrees of freedom. Linearizing the response of the gravimeter frame and test mass for small accelerations, and further neglecting terms proportional to m/M, one finds the gravimeter response to gravity fluctuations:
Here, ω_{1}, γ_{1} are the resonance frequency and damping of the gravimeter support, while ω_{2}, γ_{2} are the resonance frequency and damping of the testmass support. The response and isolation functions R(·), S(·) are defined in Eqs. (2) and (3). Remember that Eq. (21) is obtained as a differential measurement of testmass acceleration versus acceleration of the reference frame. Therefore, δg_{1}(ω) denotes the gravity fluctuation at the centerofmass of the gravimeter frame, and δg_{2}(ω) at the test mass. An infinitely stiff gravimeter suspension, ω_{1} → ∞, yields R(ω; ω_{1}, γ_{1}) = 0, and the response turns into the form of the nonisolated gravimeter. The seismic isolation is determined by
We can summarize the last two equations as follows. At frequencies well above ω_{1}, the seismically isolated gravimeter responds like a gravity gradiometer, and seismic noise is strongly suppressed. The deviation from the pure gradiometer response ∼ δg_{2}(ω) − δg_{1}(ω) is determined by the same function S(ω; ω_{1}, γ_{1}) that describes the seismic isolation. In other words, if the gravity gradient was negligible, then we ended up with the conventional gravimeter response, with signals suppressed by the seismic isolation function. Well below ω_{1}, the seismically isolated gravimeter responds like a conventional gravimeter without seismicnoise reduction. If the centers of the masses m (test mass) and M (reference frame) coincide, and therefore δg_{1}(ω) = δg_{2}(ω), then the response is again like a conventional gravimeter, but this time suppressed by the isolation function S(ω; ω_{1}, γ_{1}).
Let us compare the passively isolated gravimeter with an actively isolated gravimeter. In active isolation, the idea is to place the gravimeter on a stiff platform whose orientation can be controlled by actuators. Without actuation, the platform simply follows local surface motion. There are two ways to realize an active isolation. One way is to place a seismometer next to the platform onto the ground, and use its data to subtract ground motion from the platform. The actuators cancel the seismic forces. This scheme is called feedforward noise cancellation. Feedforward cancellation of gravity noise is discussed at length in Section 7.1, which provides details on its implementation and limitations. The second possibility is to place the seismometer together with the gravimeter onto the platform, and to suppress seismic noise in a feedback configuration [4, 2]. In the following, we discuss the feedforward technique as an example since it is easier to analyze (for example, feedback control can be unstable [4]). As before, we focus on gravity and seismic fluctuations. The seismometer’s intrinsic noise plays an important role in active isolation limiting its performance, but we are only interested in the modification of the gravimeter’s response. Since there is no fundamental difference in how a seismometer and a gravimeter respond to seismic and gravity fluctuations, we know from Section 2.2 that the seismometer output is proportional to δg_{1}(ω) − δα(ω), i.e., using a single test mass for acceleration measurements, seismic and gravity perturbations contribute in the same way. A transfer function needs to be multiplied to the acceleration signals, which accounts for the mechanical support and possibly also electronic circuits involved in the seismometer readout. To cancel the seismic noise of the platform that carries the gravimeter, the effect of all transfer functions needs to be reversed by a matched feedforward filter. The output of the filter is then equal to δg_{1}(ω) − δα(ω) and is added to the motion of the platform using actuators cancelling the seismic noise and adding the seismometer’s gravity signal. In this case, the seismometer’s gravity signal takes the place of the seismic noise in Eq. (3). The complete gravity response of the actively isolated gravimeter then reads
The response is identical to a gravity gradiometer, where ω_{2}, γ_{2} are the resonance frequency and damping of the gravimeter’s testmass support. In reality, instrumental noise of the seismometer will limit the isolation performance and introduce additional noise into Eq. (23). Nonetheless, Eqs. (21) and (23) show that any form of seismic isolation turns a gravimeter into a gravity gradiometer at frequencies where seismic isolation is effective. For the passive seismic isolation, this means that the gravimeter responds like a gradiometer at frequencies well above the resonance frequency ω_{1} of the gravimeter support, while it behaves like a conventional gravimeter below ω_{1}. From these results it is clear that the design of seismic isolations and the gravity response can in general not be treated independently. As we will see in Section 2.4 though, tidal measurements can profit strongly from seismic isolation especially when commonmode suppression of seismic noise like in gradiometers is insufficient or completely absent.
2.4 Gravity strainmeters
Gravity strain is an unusual concept in gravimetry that stems from our modern understanding of gravity in the framework of general relativity. From an observational point of view, it is not much different from elastic strain. Fluctuating gravity strain causes a change in distance between two freely falling test masses, while seismic or elastic strain causes a change in distance between two test masses bolted to an elastic medium. It should be emphasized though that we cannot always use this analogy to understand observations of gravity strain [106]. Fundamentally, gravity strain corresponds to a perturbation of the metric that determines the geometrical properties of spacetime [124]. We will briefly discuss GWs, before returning to a Newtonian description of gravity strain.
Gravitational waves are weak perturbations of spacetime propagating at the speed of light. Freely falling test masses change their distance in the field of a GW. When the length of the GW is much larger than the separation between the test masses, it is possible to interpret this change as if caused by a Newtonian force. We call this the longwavelength regime. Since we are interested in the lowfrequency response of gravity strainmeters throughout this article (i.e., frequencies well below 100 Hz), this condition is always fulfilled for Earthbound experiments. The effect of a gravitystrain field \({\bf{h}}(\vec{r}, \, t)\) on a pair of test masses can then be represented as an equivalent Newtonian tidal field
Here, \(\delta {a_{12}}(\vec{r}, \, t)\) is the relative acceleration between two freely falling test masses, L is the distance between them, and \({\vec{e}_{12}}\) is the unit vector pointing from one to the other test mass, and \(\vec{e}_{12}^ \top\) its transpose. As can be seen, the gravitystrain field is represented by a 3 × 3 tensor. It contains the spacecomponents of a 4dimensional metric perturbation of spacetime, and determines all properties of GWs^{Footnote 5}. Note that the strain amplitude h in Eq. (24) needs to be multiplied by 2 to obtain the corresponding amplitude of the metric perturbation (e.g., the GW amplitude). Throughout this article, we define gravity strain as h = ΔL/L, while the effect of a GW with amplitude a_{GW} on the separation of two test mass is determined by a_{GW} = 2ΔL/L.
The strain field of a GW takes the form of a quadrupole oscillation with two possible polarizations commonly denoted × (cross)polarization and +(plus)polarization. The arrows in Figure 5 indicate the lines of the equivalent tidal field of Eq. (24).
Consequently, to (directly) observe GWs, one can follow two possible schemes: (1) the conventional method, which is a measurement of the relative displacement of suspended test masses typically carried out along two perpendicular baselines (arms); and (2) measurement of the relative rotation between two suspended bars. Figure 6 illustrates the two cases. In either case, the response of a gravity strainmeter is obtained by projecting the gravity strain tensor onto a combination of two unit vectors, \({\vec{e}_1}\) and \({\vec{e}_2}\), that characterize the orientation of the detector, such as the directions of two bars in a rotational gravity strain meter, or of two arms of a conventional gravity strain meter. This requires us to define two different gravity strain projections. The projection for the rotational strain measurement is given by
where the subscript × indicates that the detector responds to the ×polarization assuming that the x, yaxes (see Figure 5) are oriented along two perpendicular bars. The vectors \(\vec{e}_1^r\) and \(\vec{e}_2^r\) are rotated counterclockwise by 90° with respect to \({\vec{e}_1}\) and \({\vec{e}_2}\). In the case of perpendicular bars \(\vec{e}_1^r = {\vec{e}_2}\) and \(\vec{e}_2^r = {\vec{e}_1}\). The corresponding projection for the conventional gravity strain meter reads
The subscript + indicates that the detector responds to the +polarization provided that the x, yaxes are oriented along two perpendicular baselines (arms) of the detector. The two schemes are shown in Figure 6. The most sensitive GW detectors are based on the conventional method, and distance between test masses is measured by means of laser interferometry. The LIGO and Virgo detectors have achieved strain sensitivities of better than 10^{−22} Hz^{−1/2} between about 50 Hz and 1000 Hz in past science runs and are currently being commissioned in their advanced configurations [91, 7]. The rotational scheme is realized in torsionbar antennas, which are considered as possible technology for subHz GW detection [155, 69]. However, with achieved strain sensitivity of about 10^{−8} Hz^{−1/2} near 0.1 Hz, the torsionbar detectors are far from the sensitivity we expect to be necessary for GW detection [88].
Let us now return to the discussion of the previous sections on the role of seismic isolation and its impact on gravity response. Gravity strainmeters profit from seismic isolation more than gravimeters or gravity gradiometers. We have shown in Section 2.2 that seismically isolated gravimeters are effectively gravity gradiometers. So in this case, seismic isolation changes the response of the instrument in a fundamental way, and it does not make sense to talk of seismically isolated gravimeters. Seismic isolation could in principle be beneficial for gravity gradiometers (i.e., the acceleration of two test masses is measured with respect to a common rigid, seismically isolated reference frame), but the commonmode rejection of seismic noise (and gravity signals) due to the differential readout is typically so high that other instrumental noise becomes dominant. So it is possible that some gradiometers would profit from seismic isolation, but it is not generally true. Let us now consider the case of a gravity strainmeter. As explained in Section 2.3, we distinguish gradiometers and strainmeters by the distance of their test masses. For example, the distance of the LIGO or Virgo test masses is 4 km and 3 km respectively. Seismic noise and terrestrial gravity fluctuations are insignificantly correlated between the two test masses within the detectors’ most sensitive frequency band (above 10 Hz). Therefore, the approximation in Eq. (4) does not apply. Certainly, the distinction between gravity gradiometers and strainmeters remains somewhat arbitrary since at any frequency the approximation in Eq. (4) can hold for one type of gravity fluctuation, while it does not hold for another. Let us adopt a more practical definition at this point. Whenever the design of the instrument places the test masses as distant as possible from each other given current technology, then we call such an instrument strainmeter. In the following, we will discuss seismic isolation and gravity response for three strainmeter designs, the laserinterferometric, atominterferometric, and superconducting strainmeters. It should be emphasized that the atominterferometric and superconducting concepts are still in the beginning of their development and have not been realized yet with scientifically interesting sensitivities.
Laserinterferometric strainmeters The most sensitive gravity strainmeters, namely the largescale GW detectors, use laser interferometry to read out the relative displacement between mirror pairs forming the test masses. Each test mass in these detectors is suspended from a seismically isolated platform, with the suspension itself providing additional seismic isolation. Section 2.1.1 introduced a simplified response and isolation model based on a harmonic oscillator characterized by a resonance frequency ω_{0} and viscous damping γ^{Footnote 6}. In a multistage isolation and suspension system as realized in GW detectors (see for example [37, 121]), coupling between multiple oscillators cannot be neglected, and is fundamental to the seismic isolation performance, but the basic features can still be explained with the simplified isolation and response model of Eqs. (2) and (3). The signal output of the interferometer is proportional to the relative displacement between test masses. Since seismic noise is approximately uncorrelated between two distant test masses, the differential measurement itself cannot reject seismic noise as in gravity gradiometers. Without seismic isolation, the dominant signal would be seismic strain, i.e., the distance change between test masses due to elastic deformation of the ground, with a value of about 10^{−15} Hz^{−1/2} at 50 Hz (assuming kilometerscale arm lengths). At the same time, without seismically isolated test masses, the gravity signal can only come from the ground response to gravity fluctuations as described in Section 2.1.3, and from the Shapiro time delay as described in Section 2.1.2. These signals would lie well below the seismic noise. Consequently, to achieve the sensitivities of past science runs, the seismic isolation of the largescale GW detectors had to suppress seismic noise by at least 7 orders of magnitude, and test masses had to be supported so that they can (quasi)freely respond to gravitystrain fluctuations in the targeted frequency band (which, according to Eqs. (2) and (3), is achieved automatically with the seismic isolation). Stacking multiple stages of seismic isolation enhances the gravity response negligibly, while it is essential to achieve the required seismicnoise suppression. Using laser beams, longbaseline strainmeters can be realized, which increases the gravity response according to Eq. (4). The price to be paid is that seismic noise needs to be suppressed by a sophisticated isolation and suspension system since it is uncorrelated between test masses and therefore not rejected in the differential measurement. As a final note, the most sensitive torsionbar antennas also implement a laserinterferometric readout of the relative rotation of the suspended bars [155], and concerning the gravity response and seismic isolation, they can be modelled very similarly to conventional strainmeters. However, the suppression of seismic noise is impeded by mechanical crosscoupling, since a torsion bar has many soft degrees of freedom that can interact resonantly within the detection band. This problem spoils to some extent the big advantage of torsion bars to realize a very lowfrequency torsion resonance, which determines the fundamental response and seismic isolation performance. Nonetheless, crosscoupling can in principle be reduced by precise engineering, and additional seismic preisolation of the suspension point of the torsion bar can lead to significant noise reduction.
Atominterferometric strainmeters In this design, the test masses consist of freelyfalling ultracold atom clouds. A laser beam interacting with the atoms serves as a common phase reference, which the testmass displacement can be measured against. The laser phase is measured locally via atom interferometry by the same freelyfalling atom clouds [43]. Subtraction of two of these measurements forms the strainmeter output. The gravity response is fundamentally the same as for the laserinterferometric design since it is based on the relative displacement of atom clouds. Seismic noise couples into the strain measurement through the laser. If displacement noise of the laser or laser optics has amplitude ξ(ω), then the corresponding strain noise in atominterferometric strainmeters is of order ωξ(ω)/c, where c is the speed of light, and ω the signal frequency [18]. While this noise is lower than the corresponding term ξ(ω)/L in laserinterferometric detectors (L being the distance between test masses), seismic isolation is still required. As we know from previous discussions, seismic isolation causes the optics to respond to gravity fluctuations. However, the signal contribution from the optics is weaker by a factor ωL/c compared to the contribution from distance changes between atom clouds. Here, is the distance between two freelyfalling atom clouds, which also corresponds approximately to the extent of the optical system. This signal suppression is very strong for any Earthbound atominterferometric detector (targeting subHz gravity fluctuations), and we can neglect signal contributions from the optics. Here we also assumed that there are no control forces acting on the optics, which could further suppress their signal response, if for example the distance between optics is one of the controlled parameters. Nonetheless, seismic isolation is required, not only to suppress seismic noise from distance changes between laser optics, which amounts to ωξ(ω)/c ∼ 10^{−17} Hz^{−1/2} at 0.1 Hz without seismic isolation (too high at least for GW detection [88]), but also to suppress seismicnoise contributions through additional channels (e.g., tilting optics in combination with laserwavefront aberrations [97]). The additional channels dominate in current experiments, which are already seismicnoise limited with strain noise many orders of magnitude higher than 10^{−17} Hz^{−1/2} [60]. It is to be expected though that improvements of the atominterferometer technology will suppress the additional channels relaxing the requirement on seismic isolation.
Superconducting strainmeters. The response of superconducting strainmeters to gravitystrain fluctuations is based on the differential displacement of magnetically levitated spheres. The displacement of individual spheres is monitored locally via a capacitive readout (see Section 2.2). Subtracting local readouts of testmass displacement from each other constitutes the basic strainmeter scheme [135]. The common reference for the local readouts is a rigid, material frame. The stiffness of the frame is a crucial parameter facilitating the commonmode rejection of seismic noise. Even in the absence of seismic noise, the quality of the reference frame is ultimately limited by thermally excited vibrations of the frame^{Footnote 7} (similar to the situation with torsionbar antennas [88]). However, since strainmeters are very large (by definition), vibrational eigenmodes of the frame can have low resonance frequencies impeding the commonmode rejection of seismic noise. In fact, it is unclear if a significant seismicnoise reduction can be achieved by means of mechanical rigidity. Therefore, seismic isolation of the strainmeter frame is necessary. In this case, each local readout is effectively a gravitystrain measurement, since the gravity response of the test mass is measured against a reference frame that also responds to gravity fluctuations (see discussion of seismically isolated gravimeters in Section 2.3). Another solution could be to substitute the mechanical structure by an optically rigid body as suggested in [88] for a lowfrequency laserinterferometric detector. The idea is to connect different parts of a structure via laser links in all degrees of freedom. The stiffness of the link is defined by the control system that forces the different parts to keep their relative positions and orientations. Optical rigidity in all degrees of freedom has not been realized experimentally yet, but first experiments known as suspension point or platform interferometers have been conducted to control some degrees of freedom in the relative orientation of two mechanical structures [16, 54]. This approach would certainly add complexity to the experiment, especially in fulltensor configurations of superconducting gravity strainmeters, where six different mechanical structures have to be optically linked [125].
The best sensitivities achieved in the past with lowfrequency GW detectors are shown in the left plot in Figure 7. To our best knowledge, a full sensitivity spectrum has not been published yet for atominterferometric strainmeters. Therefore the sensitivity is represented by a single dot at 1 Hz. The current record of a highprecision experiment was set more than 10 years ago with a superconducting strainmeter. Nevertheless, the sensitivity required for GW detection at low frequencies, represented by the MANGO curve in the right plot, still lies 7–9 orders of magnitude below this record sensitivity. Such sensitivity improvement not only relies on substantial technological progress concerning the strainmeter concepts, but also on a novel scheme of Newtoniannoise cancellation capable of mitigating seismic and atmospheric Newtonian noise by about 3 and 5 orders of magnitude, respectively.
2.5 Summary
3 Gravity Perturbations from Seismic Fields
Already in the first design draft of a laserinterferometric GW detector laid out by Rainer Weiss, gravity perturbations from seismic fields were recognized as a potential noise contribution [171]. He expressed the transfer function between ground motion and gravitational displacement noise of a test mass as effective isolation factor, highlighting the fact that gravitational coupling can be understood as additional link that circumvents seismic isolation. The equations that he used already had the correct dependence on ground displacement, density and seismic wavelength, but it took another decade, before Peter Saulson presented a more detailed calculation of numerical factors [151]. He divided the half space below a test mass into volumes of correlated density fluctuations, and assigned a mean displacement to each of these volumes. Fluctuations were assumed to be uncorrelated between different volumes. The total gravity perturbation was then obtained as an incoherent sum over these volumes. The same scheme was carried out for gravity perturbations associated with vertical surface displacement. The sizes of volumes and surface areas of correlated density perturbations were determined by the length of seismic waves, but Saulson did not make explicit use of the wave nature of the seismic field that produces the density perturbations. As a result, also Saulson had to concede that certain steps in his calculation “cannot be regarded as exact”. The next step forward was marked by two papers that were published almost simultaneously by groups from the LIGO and Virgo communities [99, 24]. In these papers, the wave nature of the seismic field was taken into account, producing for the first time accurate predictions of Newtonian noise. They understood that the dominant contribution to Newtonian noise would come from seismic surface waves, more specifically Rayleigh waves. The Rayleigh field produces density perturbations beneath the surface, and correlated surface displacement at the same time. The coherent summation of these effects was directly obtained, and since then, models of Newtonian noise from Rayleigh waves have not improved apart from a simplification of the formalism.
Nonetheless, Newtoniannoise models are not only important to estimate a noise spectrum with sufficient accuracy. More detailed models are required to analyze Newtoniannoise mitigation, which is discussed in Section 7. Especially the effect of seismic scattering on gravity perturbations needs to be quantified. A first analytical calculation of gravity perturbations from seismic waves scattered from a spherical cavity is presented in Sections 3.3.2 and 3.3.3. In general, much of the recent research on Newtoniannoise modelling was carried out to identify possible limitations in Newtoniannoise mitigation. Among others, this has led to two major new developments in the field. First, finiteelement simulations were added to the set of tools [85, 26]. We will give a brief summary in Section 3.5. The advantage is that several steps of a complex analysis can be combined such as simulations of a seismic field, simulations of seismic measurements, and simulations of noise mitigation. Second, since seismic sources can be close to the test masses, it is clear that the seismic field cannot always be described as a superposition of propagating plane seismic waves. For this reason, analytical work has begun to base calculations of gravity perturbations on simple models of seismic sources, which can give rise to complex seismic fields [83]. Since this work also inspired potential applications in geophysics and seismology, we devote Section 4 entirely to this new theory. Last but not least, ideas for new detector concepts have evolved over the last decade, which will make it possible to monitor gravity strain perturbations at frequencies below 1 Hz. This means that our models of seismic Newtonian noise (as for all other types of Newtonian noise) need to be extended to lower frequencies, which is not always a trivial task. We will discuss aspects of this problem in Section 3.6.4.
3.1 Seismic waves
In this section, we describe the properties of seismic waves relevant for calculations of gravity perturbations. The reader interested in further details is advised to study one of the classic books on seismology, for example Aki & Richards [9]. The formalism that will be introduced is most suited to describe physics in infinite or halfspaces with simple modifications such as spherical cavities, or small perturbations of a flat surface topography. At frequencies well below 10 mHz where the finite size of Earth starts to affect significantly the properties of the seismic field, seismic motion is best described by Earth’s normal modes [55]. It should also be noted that in the approximation used in the following, the gravity field does not act back on the seismic field. This is in contrast to the theory of Earth’s normal modes, which includes the gravity potential and its derivative in the elastodynamic equations.
Seismic waves can generally be divided into shear waves, compressional waves, and surface waves. Compressional waves produce displacement along the direction of propagation. They are sometimes given the alternative name “Pwaves”, which arises from the field of seismology. The P stands for primary and means that these waves are the first to arrive after an earthquake (i.e., they are the fastest waves). These waves are characterized by a frequency ω and a wave vector \({\vec{k}^{\rm{P}}}\). While one typically assumes ω = k^{P}α with compressional wave speed α, this does not have to hold in general, and many results presented in the following sections do not require a fixed relation between frequency and wavenumber. The displacement field of a plane compressional wave can be written
The index’ P’ is introduced to distinguish between displacements of shear and compressional waves, and \({\vec{e}_k} \equiv {\vec{k}^{\rm{P}}}/{k^{\rm{P}}}\). In media with vanishing shear modulus such as liquids and gases, compressional waves are also called sound waves. There are many ways to express the Pwave speed in terms of other material constants, but a widely used definition is in terms of the Lamé constants λ, μ:
The Lamé constant μ is also known as shear modulus, and ρ is the density of the medium. Shear waves produce transversal displacement and do not exist in media with vanishing shear modulus. They are also known as “Swaves”, where S stands for secondary since it is the seismic phase to follow the Pwave arrival after earthquakes. The shearwave displacement \({\vec{\xi} ^{\rm{S}}}(\vec{r}, \, t)\) of a single plane wave can be expressed in terms of a polarization vector \({\vec{e}_p}\):
with \({\vec{e}_p} \cdot {\vec{k}^{\rm{S}}} = 0\). The Swave speed in terms of the Lamé constants reads
Both wave types, compressional and shear, will be referred to as body waves since they can propagate through media in all directions. Clearly, inside inhomogeneous media, all material constants are functions of the position vector \(\vec{r}\). Another useful relation between the two seismic speeds is given by
where ν is the Poisson’s ratio of the medium. It should be mentioned that there are situations when a wave field cannot be described as a superposition of compressional and shear waves. This is for example the case in the near field of a seismic source. In the remainder of this section, we will calculate gravity perturbations for cases where the distinction between compressional and shear waves is meaningful. The more complicated case of gravity perturbations from seismic fields near their sources is considered in Section 4.
An elegant way to represent a seismic displacement field \(\vec{\xi}(\vec{r}, \, t)\) is in terms of its seismic or Lamé potentials \({\phi _{\rm{s}}}(\vec{r}, \, t), \, {\vec \psi _{\rm{s}}}(\vec{r}, \, t)\) [9]:
with \(\nabla \cdot \,{\vec \psi _{\rm{s}}}(\vec{r}, \, t) = 0\). The rotation of the first term vanishes, which is characteristic for compressional waves. The divergence of the second term vanishes, which is characteristic for shear waves. Therefore, the scalar potential \({\phi _{\rm{s}}}(\vec{r}, \, t)\) will be called Pwave potential, and \({\vec{\psi}_{\rm{s}}}(\vec{r}, \, t)\) Swave potential. As will become clear in the following, many integrals involving the seismic field \(\vec{\xi}(\vec{r}, \, t)\) simplify greatly when using the seismic potentials to represent the field. It is possible to rewrite the shearwave potential in terms of two scalar quantities in Cartesian coordinates [150]:
This form can lead to useful simplifications. For example, if seismic displacement is relevant only in zdirection, then it suffices to calculate the contribution from the scalar potential \({\vec{\psi}_{\rm{s}}}(\vec{r}, \, t)\).
Next we will introduce the Rayleigh waves. These are surface waves and in fact the only seismic waves that can propagate on surfaces of homogeneous media. In the presence of an interface between two types of media, the set of possible solutions of interface waves is much richer as described in detail in [138]. In this paper, we will not deal specifically with the general solutions of interface waves, but it should be noted that gravity perturbations from at least one of the types, the Stoneley waves, can be calculated using the same equations derived later for the Rayleigh waves. The definition of Rayleigh waves does not require a plane surface, but let us consider the case of a homogeneous half space for simplicity. The direction normal to the surface corresponds to the zaxis of the coordinate system, and will also be called vertical direction. The normal vector is denoted as \({\vec{e}_z}\). Rayleigh waves propagate along a horizontal direction \({\vec{e}_k}\). A wave vector \(\vec{k}\); can be split into its vertical \({\vec{k}_z}\) and horizontal components \({\vec{k}_\varrho}\). The vertical wavenumbers are defined as
Even though Rayleigh waves are surface waves, their displacement field extends evanescently (i.e., with exponential amplitude falloff from the surface) throughout the entire medium. They can be considered as analytical extension of a situation where body waves are reflected from the surface in the sense that we can allow the horizontal wavenumber k_{ϱ} to be larger than k^{P} and k^{S}. In this case, the vertical wavenumbers have imaginary values. Hence, in the case of Rayleigh waves, it is convenient to define new wave parameters as:
Here, k_{ϱ} is the horizontal wavenumber of the Rayleigh wave. Note that the order of terms in the squareroots are reversed with respect to the case of body waves as in Eq. (34). Rewriting the equations in [92] in terms of the horizontal and vertical wavenumbers, the horizontal and vertical amplitudes of the threedimensional displacement field of a Rayleigh wave reads
with \(\zeta ({k_\varrho}) \equiv \sqrt {q_z^{\rm{P}}/q_z^{\rm{S}}}\). The speed c_{R} = k_{ϱ}/ω of the fundamental Rayleigh wave obeys the equation
The realvalued solution to this equation is known as Rayleigh pole since the same function appears in the denominator of surface reflection coefficients. Note that the horizontal and vertical displacements are phase shifted by 90°, which gives rise to elliptical particle motions. Therefore, arbitrary time series of vertical displacement are related to horizontal displacement via the Hilbert transform. The displacement vector is constructed according to
In the case of a stratified medium, this wave type is also known as fundamental Rayleigh wave to distinguish them from higherorder Rayleigh waves that can exist in these media [99]. For this reason, we will occasionally refer to Rayleigh waves as Rfwaves. According to Eqs. (31) & (37), given a shearwave speed β, the compressionalwave speed α and Rayleighwave speed c_{R} are functions of the Poisson’s ratio only. Figure 8 shows the values of the wave speeds in units of β. As can be seen, for a given shearwave speed the Rayleighwave speed (shown as solid line), depends only weakly on the Poisson’s ratio. The Pwave speed however varies more strongly, and in fact grows indefinitely with Poisson’s ratio approaching the value ν = 0.5.
3.2 Basics of seismic gravity perturbations
In this section, we derive the basic equations that describe the connection between seismic fields and associated gravity perturbations. Expressions will first be derived in terms of the seismic displacement field \(\vec \xi (\vec{r},t)\), then in terms of seismic potentials \({\phi _{\rm{s}}}(\vec{r}, \, t), \, {\vec \psi _{\rm{s}}}(\vec{r}, \, t)\), and this section concludes with a discussion of gravity perturbations in transform domain.
3.2.1 Gravity perturbations from seismic displacement
The starting point is the continuity equation, which gives an expression for the density perturbation caused by seismic displacement:
Here it is assumed that the seismic density perturbations are much smaller than the unperturbed density \(\delta \rho (\vec{r}, \, t) \ll \rho (\vec{r})\) so that selfinduced seismic scattering is insignificant. The perturbation of the gravity potential can now be written
Note that in the last step integration by parts did not lead to surface terms since any type of geology can be described as having infinite size. For example, a half space would correspond to an infinite space with vanishing density above surface. Carrying out the gradient operation, we obtain the gravity perturbation in dipole form
and the corresponding perturbation of gravity acceleration reads
with \({\vec{e}_{rro}} \equiv (\vec{r}  {\vec{r}_0})/\vert\vec{r}  {\vec{r}_0}\vert\), and ∇_{0} denotes the gradient operation with respect to \({\vec{r}_0}\). In this form, it is straightforward to implement gravity perturbations in finiteelement simulations (see Section 3.5), where each finite element is given a mass \(\rho (\vec{r})\delta V\). This equation is valid whenever the continuity Eq. (39) holds, and describes gravity perturbations inside infinite media as well as media with surfaces.
Especially in the case of a homogeneous medium with surface, treating bulk and surface contributions to gravity perturbations separately can often simplify complex calculations. The continuity equation with constant (unperturbed) density \({\rho _0} = \rho (\vec{r})\) describes density perturbations inside the medium contained in the volume \(\mathcal{V}\), which directly yields the bulk term:
The surface term can be constructed by noting that it is the displacement normal to the surface that generates gravity perturbations:
Note that also this equation is true only for small displacements since the surface normal is assumed to change negligibly due to seismic waves. The sum of bulk and surface terms is equal to the expression in Eq. (41) with constant mass density.
The same results can also be obtained using an explicit expression of the density \(\rho (\vec{r})\) that includes the density change at the surface in the form of a Heaviside function Θ(·). The surface is solution to an equation \(\sigma (\vec{r}) = 0\), with \(\sigma (\vec{r})\) being normalized such that \(\nabla \sigma (\vec{r})\) is the unit normal vector \(\vec n(\vec{r})\) of the surface pointing from the medium outwards into the empty space. For a homogeneous medium with density ρ_{0}, the density of the entire space can be written as
Inserting this expression into Eq. (40), one obtains
The first part of the infinitespace integral can be rewritten as the integral in Eq. (43) over the volume \(\mathcal{V}\) of the medium, while the second part translates into the surface integral in Eq. (44).
3.2.2 Gravity perturbations in terms of seismic potentials
In the last part of this section, results will be expressed in terms of the seismic potentials. This is helpful to connect this work to geophysical publications where solutions to seismic fields are often derived for these potentials. In many cases, it also greatly simplifies the calculation of gravity perturbations. In order to simplify the notation, the equations are derived for a homogeneous medium. Expressing the displacement field in terms of its potentials according to Eq. (32), the bulk contribution reads
This expression can be transformed via integration by parts into
One integral was solved explicitly by using
The contribution \(\delta\phi_{\rm{surf}}(\vec{r}_0,t)\) from the surface can also be rewritten in terms of seismic potentials
As can be seen, terms in the bulk and surface contributions cancel, and so we get for the gravity potential
The last equation follows from the fact that the boundary of a boundary is zero after application of Stokes’ theorem (the surface S being the boundary of a body with volume V). The seismic potentials vanish above surface, and therefore the gravity perturbation in empty space is the result of a surface integral. This is a very important conclusion and useful to theoretical investigations, but of limited practical relevance since the integral depends on the seismic potential \(\phi_{\rm{s}}(\vec r,t)\), which cannot be measured or inferred in general from measurements. The shearwave potential enters as \(\nabla\times\vec\psi_{\rm{s}}(\vec r,t)\), which is equal to the (observable) shearwave displacement. In the absence of a surface, the solution simplifies to
The latter result is remarkable as it states the proportionality of gravity and seismic potentials in infinite media. If a solution of a seismic field is given for its seismic potentials, then one can immediately write down the gravity perturbation without further calculations. We will make use of it in Section 4 to calculate gravity perturbations from seismic point sources.
3.2.3 Gravity perturbations in transform domain
In certain situations, it is favorable to consider gravity perturbations in transform domain. For example, in calculations of gravity perturbations in a half space, it can be convenient to express solutions in terms of the displacement amplitudes \(\vec\xi(\vec k_\varrho,z,t)\), and in infinite space in terms of \(\vec\xi(\vec{k},t)\). As shown in Section 4.5, it is also possible to obtain concise solutions for the halfspace problem using cylindrical harmonics, but in the following, we only consider planewave harmonics.
The transformdomain equations for gravity perturbations from seismic fields in a half space, with the surface at z = 0, are obtained by calculating the Fourier transforms of Eqs. (43) and (44) with respect to x_{0}, y_{0}. This yields the bulk term
where sgn denotes the signum function. The surface term reads
Hence, the total perturbation of the gravity potential is given by
This equation is valid above surface as well as underground. Expanding the seismic field into plane waves, the integral over the coordinate z is straightforward to calculate.
Using seismic potentials as defined in Eqs. (32) and (33) instead of the displacement field, one obtains
with Φ_{s} (z > 0) = 0, and dependence of the potentials on \(\vec k_\varrho\) and t is omitted. This equation is particularly useful since seismologists often define their fields in terms of seismic potentials, and it is then possible to directly write down the perturbation of the gravity potential in transform domain without solving any integrals.
The corresponding expressions in infinite space are obtained by calculating the Fourier transforms of Eqs. (43) and (44) with respect to x_{0}, y_{0} and z_{0}. Since there are no surface terms, the result is simply
Substituting the displacement field by its seismic potentials, we find immediately the transformdomain version of Eq. (52).
3.3 Seismic gravity perturbations inside infinite, homogeneous media with spherical cavity
Test masses of underground detectors, as for example KAGRA [17], will be located inside large chambers hosting corner and end stations of the interferometer. Calculation of gravity perturbations based on a spherical chamber model can be carried out explicitly and provides at least some understanding of the problem. This case was first investigated by Harms et al. [84]. In their work, contributions from normal displacement of cavity walls were taken into account, but scattering of incoming seismic waves from the cavity was neglected. In this section, we will outline the main results of their paper in Section 3.3.1, and present for the first time a calculation of gravity perturbations from seismic waves scattered from a spherical cavity in Sections 3.3.2 and 3.3.3.
3.3.1 Gravity perturbations without scattering
The first step is to calculate an explicit solution of the integral in Eq. (42) for plane seismic waves. The planewave solution will be incomplete, since scattering of the incident wave from the cavity is neglected. However, as will be shown later, scattering can be neglected assuming realistic dimensions of a cavity. We will start with the gravity perturbation from a plane compressional wave as defined in Eq. (27). Inserting this expression into Eq. (42), which includes bulk as well as surface gravity perturbations, the integral over the infinite medium excluding a cavity of radius a can be solved. The gravity acceleration at the center \(\vec r=\vec 0\) of the cavity is given by
where j_{n}(·) is the spherical Bessel function. In the case that the length of the seismic wave is much larger than the cavity radius, the ratio can be approximated according to
which neglects terms of order \(\mathcal{O}((ka)^4)\), and the result in the limit of vanishing cavity radius simplifies to
Since the gravity perturbation and therefore the seismic displacement is evaluated at the center of the cavity, the seismic displacement cannot be observed strictly speaking. Placing a seismometer at the cavity walls, an error of order (ka)^{2} is made in the modelling of the gravity perturbation. The numerical factor in this equation is smaller by −4π/3 compared to the factor in Eq. (52). This means that the bulk gravity perturbation is partially cancelled by cavitysurface contributions, which can be verified by directly evaluating the surface term:
The longwavelength limit ka → 0 of the expression in brackets is 1/3, which is consistent with Eqs. (60) and (52). If the seismic field consisted only of pressure waves propagating in a homogeneous medium, then Eq. (60) would mean that a seismometer placed at the test mass monitors all information required to estimate the corresponding gravity perturbations.
A concise form of Eq. (58) can still be maintained if shear waves, which produce NN exclusively through surface displacement, are added to the total displacement \(\vec\xi(\vec r,t)=\vec\xi^{\,\rm{P}}(\vec r,t)+\vec\xi^{\,\rm{S}}(\vec r,t)\). Inserting the planewave expression of Eq. (29) into Eq. (42), and adding the solution to the compressionalwave contribution, one obtains
The shearwave contribution has the same dependence on cavity radius as the compressionalwave contribution, even though the shear term is purely due to cavitysurface displacement.
We can take a look at the gravity perturbation as a function of cavity radius. Figure 9 shows the perturbation from Pwaves and Swaves using Eq. (62). It is assumed that Pwaves have a factor 1.8 higher speed than Swaves.
If the cavity has a radius of about 0.4λ, then gravity perturbation is reduced by about a factor 2. Keeping in mind that the highest interesting frequency of Newtonian noise is about 30 Hz, and that compressional waves have a speed of about 4 km/s, the minimal cavity radius should be about 50 m to show a significant effect on gravity noise. Building such cavities would be a major and very expensive effort, and therefore, increasing cavity size does not seem to be a good option to mitigate underground Newtonian noise.
3.3.2 Incident compressional wave
The fact that the shear term in Eq. (62) has the opposite sign of the compressional term does not mean that gravity perturbations are reduced since noise in both components is typically uncorrelated. However, as explained in more detail in Section 3.4.1, compressional and shear waves are partially converted into each other at reflection from interfaces, which leads to correlated shear and compressional displacement. So one may wonder if a detailed calculation of the problem including scattering effects yields different numerical factors due to partial cancellation or coherent enhancement of gravity perturbations. This problem will be solved now and outlined in greater detail since it is algebraically more complex. The calculation is based on an explicit solution of the seismic field for a compressional wave incident on a spherical obstacle [176]. The part of the seismic field that is produced by the spherical cavity has spherical symmetry. Therefore, it can be written in the form:
Since the seismic field can be expressed in terms of scalar potentials, it is possible to expand the incident plane wave according to Eq. (252). The outgoing scattered field is then obtained by fulfilling the boundary conditions at the cavity walls. For hollow cavities, the boundary condition states that the stress tensor produced by the seismic field projected onto the cavity normal, which yields a vector known as traction, must vanish [9]. In spherical coordinates, the potentials of the scattered waves can be expanded according to
where k_{P}, k_{S} are the wave numbers of compressional and shear waves respectively, θ is the angle between the direction of propagation of the scattered wave with respect to the direction of the incident compressional wave, ξ_{0} is the displacement amplitude of the incoming compressional wave, and the origin of the coordinate system lies at the center of the cavity. The spherical Hankel functions of the second kind \(h_n^{(2)}(\cdot)\) are defined in terms of the spherical Bessel functions of the first and second kind as:
The expansion or scattering coefficients A_{l}, B_{l}; need to be determined from boundary conditions at the cavity surface, which was presented in detail in [176]. Here we just mention that for small cavities, i.e., in the Rayleighscattering regime with {k_{P}, k_{S}} · a ≪ 1, the dependence of the scattering coefficients on the cavity radius a is (k_{P}a)^{3} or higher order.
In order to understand the gravity perturbations from shear and compressional components, we consider bulk and surface contributions separately. The bulk contribution of Eq. (43) assumes the form
where we have used the fact that the Pwave potential obeys the Helmholtz equation:
According to Eq. (44), the surface contribution reads
The last expression can be further simplified by making use of the identity
with u ≡ cos(θ). If the gravity perturbations are to be calculated at the center \(\vec r_0=\vec 0\) of the spherical cavity, then the integrals are easily evaluated by substituting powers of cos(θ) according to the righthandside of Table 3, and making use of the orthogonality relation in Eq. (248). We first outline the calculation for the bulk term. Identifying the zaxis with the direction of propagation of the incoming wave, one obtains:
The perturbations along x, y vanish. Also the surface contribution is readily obtained with integration by parts:
Again, perturbations along x, y vanish. Adding the bulk and surface contributions, we finally obtain
This expression can be evaluated in the Rayleigh regime {k_{P}, k_{S}} · a ≪ 1 using the following approximations of the scattering coefficients A_{1}(a), B_{1}(a) given in [176]:
This solution needs to be added to the contribution in Eq. (58) from the unperturbed incident wave. The gravity perturbation associated with the scattered waves is in phase with the perturbation from the incoming compressional wave. The perturbation in Eq. (74) vanishes in the limit a → 0, which may seem intuitive, but notice that the surface contribution of the incoming wave does not vanish in the same limit. Instead, it is a consequence of perfect cancellation of leading order terms from scattered shear and compressional waves. Therefore, this result shows explicitly that neglecting contributions from scattered waves has no influence on leading order terms of the full gravity perturbation, at least if the incident wave is of compressional type.
3.3.3 Incident shear wave
The calculation of the seismic field scattered from a spherical cavity with incident shearwave can be found in [111]. Although it is in principle possible to solve this problem in terms of scalar seismic potentials, we choose to represent the fields directly in vector form using vector spherical harmonics. We assume that the polarization vector of the incident shear wave is \(\vec e_x\), while the propagation direction is along \(\vec e_z\). The explicit expression of the incident field is given in Eq. (269). The scattered field can be expanded according to
We will not further specify the radial functions. The expressions can be found in [111] (after converting their vector spherical harmonics into the ones used here). As for the incident Pwave, we will carry out the calculation of the gravity perturbations at the center of the cavity. Let us first calculate the bulk integral of Eq. (43), using the divergence relations in Eq. (267) and the integral Eq. (265):
where the term in brackets in the third line was defined as \(\mathcal Y_l^m(r)\). The last equation follows from the definition of the coefficients y_{lm}, s_{lm} in Eq. (C.2) of [111], but it should also be clear from symmetry considerations that gravity perturbation can be nonzero only along the displacement direction of the incident wave. The term under the last integral takes the form
The scattering coefficient \(a^{\rm{SP}}_1\) corresponds to the relative amplitude of the l = 1 scattered Pwave to the l = 1 amplitude of the incident Swave. It can be calculated using equations from [111] (note that the explicit solutions given in the appendix are wrong). Inserting this expression into the last equation, we finally obtain
This result is very similar to Eq. (70), just that the scattering coefficients are defined slightly differently. We can now repeat the exercise for the surface term:
As in Section 3.3.1, the surface term contains Pwave contributions quantified by the scattering coefficient \(a_1^{\rm{SP}}\), and Swave contributions quantified by \(b_1^{\rm{SS}}\). Again, the result is formally very similar to Eq. (71) with incident Pwave. Adding the surface and bulk term, we finally obtain
In the Rayleighscattering regime, k^{P}a ≪ 1 and k^{S}a ≪ 1, the scattering coefficients can be expanded according to
Note that the explicit expressions for the scattering coefficients in the appendix of [111] are wrong. However, since the equations in the main part of the paper are correct, it is straightforward to recalculate the scattering coefficients. Finally, we can write down the gravity perturbation in the Rayleighscattering regime
This completes our analysis of scattering effects on gravity perturbations. We found that waves scattered from a spherical cavity with incident Pwaves and Swaves have negligible impact on gravity perturbations if the cavity radius is much smaller than the length of seismic waves. The gravity change according to Eqs. (74) and (82) is quadratic in the cavity radius a. In addition, the gravity perturbation from scattered waves is in phase with gravity perturbations of the incident wave (in the Rayleighscattering regime), which is beneficial for coherent noise cancellation, if necessary.
3.4 Gravity perturbations from seismic waves in a homogeneous half space
In this section, the gravity perturbation produced by plane seismic waves in a homogeneous half space will be calculated. The three types of waves that will be considered are compressional, shear, and Rayleigh waves. Reflection of seismic waves from the free surface will be taken into account. The purpose is to provide equations that can be used to estimate seismic Newtonian noise in GW detectors below and above surface. For underground detectors, corrections from the presence of a cavity will be neglected, but with the results of Section 3.3, it is straightforward to calculate the effect of a cavity also for the halfspace problem.
3.4.1 Gravity perturbations from body waves
As a first step, we will calculate the gravity perturbation from plane shear and compressional waves without taking reflection from the free surface into account. The compressional wave has the form in Eq. (27), and the perturbation of the gravity potential above surface integrated over the half space and including the surface contribution is found to be
with h being the height of the point \(\vec r\) above surface, \(\vec\varrho\) being the projection of \(\vec r\) onto the surface, and \(\vec k_\varrho\) being the horizontal wave vector (omitting superscript’ P’ to ease notation). The solution above surface can be understood as pure surface term characterized by an exponential suppression with increasing height. Also the phase term is solely a function of horizontal coordinates. These are typical characteristics for a surface gravity perturbation, and we will find similar results for gravity perturbations from Rayleigh waves. Below surface, h reinterpreted as (positive valued) depth, the solution reads
It consists of a surface term with exponential suppression as a function of depth, and of the infinitespace solution of Eq. (52). If the point \(\vec r\) is at the surface (h = 0), then the total halfspace gravity perturbation is simply half of the infinitespace perturbation.
The calculation is substantially easier for shear waves. Shear waves being transversal waves can have two different orthogonal polarizations. If the displacement is parallel to the free surface, then the polarization is called SH, otherwise it is called SV. An SH polarized wave cannot produce gravity perturbation, since shear waves do not produce density perturbations inside media, and SH waves also do not displace the surface along its normal. Gravity perturbations can be produced by SV waves through surface displacement. The result valid for gravity perturbations underground and above surface is
where h is the distance to the surface. These solutions can now be combined to calculate the gravity perturbation from an SV or P wave reflected from the surface. An incident compressional wave is partially converted into an SV wave and vice versa. Only waves with the same horizontal wave vector \(\vec k_\varrho\) couple at reflection from a flat surface [9]. Therefore, the total gravity perturbation above surface in the case of an incident compressional wave can be written
The conversion of amplitudes is described by two reflection coefficients PP(k_{ϱ}), PS(k_{ϱ}), as functions of the horizontal wave number. Their explicit form can for example be found in [9], which leads to the gravity perturbation
The gravity perturbation vanishes for horizontally and vertically propagating incident Pwaves: the total Pwave contribution proportional to 1 + PP(k_{ϱ}) vanishes because of interference of the incident and reflected Pwave, while there is no conversion PS(k_{ϱ}) from P to Swaves for these two angles. The gravity amplitude δ(·) depends on the Poisson’s ratio, and the angle of incidence of the Pwave. Its absolute value is plotted in Figure 10 for three different angles of incidence 10°, 45°, 80° of the Pwave with respect to the surface normal. Important to note is that above surface, the gravity perturbation produced by shear and body waves assumes the form of a surface density perturbation with exponential suppression as a function of height above ground, determined by the horizontal wavenumber. The expression for an incident Swave can be constructed analogously.
3.4.2 Gravity perturbations from Rayleigh waves
The results for body waves can be compared with gravity perturbations from fundamental Rayleigh waves. There are two options to calculate the gravity perturbation. One is based on a representation of the Rayleigh wave in terms of seismic potentials (explicit expression can be found in [130]), and using the last line in Eq. (51). In the following, we choose to calculate gravity based on the displacement field since it is more intuitive, and not significantly more difficult. The Rayleigh displacement field can be written as [92]
The parameters H_{i}, V_{i}, h_{i}, v_{i} are real numbers, see Eq. (36), and so there is a constant 90° phase difference between horizontal and vertical displacement leading to elliptical particle motion. The surface displacement and the density change inside the medium caused by the Rayleigh wave lead to gravity perturbations. The surface contribution valid below and above ground is given by
As before, the distance of the test mass to the surface is denoted by h. The density perturbations in the ground are calculated from the divergence of the Rayleighwave field:
and therefore the bulk contribution to the gravity perturbation above surface reads:
Inserting the definitions of H(z), V(z) from Eq. (88) into the last equation, we finally obtain
Adding bulk and surface contributions, one obtains the full gravity perturbation from a Rayleigh wave:
where in the last line the parameters H_{i}, V_{i}, h_{i}, v_{i} have been substituted by the expressions in Eq. (36) for fundamental Rayleigh waves. The gravity perturbation underground contains an additional contribution from the compressionalwave content of the Rayleigh field:
where \(q_z^{\rm{P}}\) is the vertical wavenumber of evanescent compressional waves defined in Section 3.1, and h is the depth of the test mass. Contributions from a cavity wall need to be added, which is straightforward at least for a very small cavity, by using results from Section 3.3.1 and amplitudes of shear and compressional waves dependent on depth as given in Eq. (36).
Comparing with Eq. (87), one can see that the analytical expressions of gravity perturbations above ground produced by incident compressional waves or by Rayleigh waves are very similar. Only the wavenumberdependent amplitude term, either in the form of wavereflection coefficients or Rayleighwave amplitude coefficients, is different. In order to plot the results, it is convenient to substitute the amplitude A by vertical surface displacement:
Inserting this expression into Eq. (93), and applying the gradient operator to both sides of the equation (which yields an expression for \(\delta\vec a(\vec r_0,t)\)), we obtain a unitless factor that depends on the elastic properties of the halfspace:
The wavenumbers of shear, compressional, and Rayleigh waves all have fixed proportions determined by the Poisson’s ratio ν of the halfspace medium (see Section 3.1). Therefore, γ itself is fully determined by ν. A plot of γ(ν) is shown in Figure 10. The maximum value of γ(ν) is equal to 1, which also corresponds to the case of gravity perturbations from pure surface displacement. This means that the density perturbations generated by the Rayleigh wave inside the medium partially cancel the surface contribution for ν < 0.5.
3.5 Numerical simulations
Numerical simulations have become an important tool in seismic Newtoniannoise modelling. There are two types of numerical simulations. The first will be called “kinematic” simulation. It is based on a finiteelement model where each element is displaced according to an explicit, analytical expression of the seismic field. These can be easily obtained for individual seismic surface or body waves. The main work done by the kinematic simulation is to integrate gravity perturbations from a complex superposition of waves over the entire finiteelement model according to Eq. (42). Today, we have explicit expressions for all types of seismic waves produced by all types of seismic sources, in infinite and halfspace media. While this means in principle that many interesting kinematic simulations can be carried out, some effects are very hard to deal with. The kinematic simulation fails whenever it is impossible to provide analytical expressions for the seismic field. This is generally the case when heterogeneities of the ground play a role. Also deviations from a flat surface may make it impossible to run accurate kinematic simulations. In this case, a “dynamical” simulation needs to be employed.
A dynamical simulation only requires accurate analytical models of the seismic sources. The displacement field evolves from these sources governed by equations of motion that connect the displacement of neighboring finite elements. Even though the dynamical simulation can be considered more accurate since it does not rely on guessing solutions to the equations of motion, it is also true that not a single simulation of Newtonian noise has been carried out so far that could not have been done with a kinematic simulation. The reasons are that dynamical simulations are computationally very expensive, and constructing realistic models of the medium can be very challenging. It is clear though dynamical simulations will play an important role in future studies when effects from heterogeneities on gravity signals are investigated in detail.
Since kinematic simulations are easy to set up from scratch, we will focus on the discussion of dynamical simulations. Two tools have been used in the past for Newtoniannoise simulations. The first one is the commercial software COMSOL. It interfaces with Matlab, which facilitates analyzing sometimes complex results. Simulation results for a seismic field produced by a point force at the origin are shown in Figure 11.
The results were presented in [26]. A snapshot of the displacement field is plotted on the left. The Pwavefront is relatively weak and has already passed half the distance to the boundaries of the grid. Only a spherical octant of the entire finiteelement grid is shown. The true surface in this simulation is the upper face of the octant. Consequently, a strong Rayleighwave front is produced by the point force. Slightly faster than the Rayleigh waves, an Swavefront spreads underground. Its maximum is close to the red marker located underground. This seismic field represents a wellknown problem in seismology, the socalled Lamb’s problem, which has an explicit timedomain solution [142]. The plots on the right show the gravity perturbations evaluated at the two red markers. The Pwave, Swave and Rfwave arrival times are t_{P}, t_{S} and t_{R} respectively. The gravity perturbations are also divided into contributions from density perturbations inside the medium according to Eq. (43) and surface contributions according to Eq. (44).
A second simulation package used in the past is specfem3d. It is a free software that can be downloaded at http://www.geodynamics.org/cig/software/specfem3d. It is one of the standard simulation tools in seismology. It implements the spectral finite element method [109, 108]. Recently, Eq. (42) has been implemented for gravity calculations [83]. specfem3d simulations typically run on computer clusters, but it is also possible to execute simple examples on a modern desktop. Simulations of wave propagation in heterogeneous ground and based on realistic source models such as shear dislocations are probably easier to carry out with specfem3d than with commercial software. However, it should be noted that it is by no means trivial to run any type of simulation with specfem3d, and a large amount of work goes into defining a realistic model of the ground for specfem3d simulations.
Nonetheless, this is the realm of dynamical simulations, and simplifying geological models one should always check if a kinematic simulation can be used. An example of a gravity simulation using specfem3d is shown in Figure 12. The contour plots are snapshots of the gravity field after 5 s of rupture on a strikeslip fault. The length of the vertical fault is 30 km with hypocenter located 7.5 km underground. The plots show the gravity perturbation on a horizontal plane that includes the hypocenter. Gravity perturbations in the vicinity of the fault are dominated by the lasting gravity change. The transient perturbation carried by seismic waves is invisible in these plots simply because of their small amplitudes compared to the lasting gravity change. An explicit timedomain expression of the gravity field does not exist, but it could be constructed with a kinematical simulation using the results of Section 4.5. In conclusion, while dynamical simulations are required to represent seismic fields in complex geologies and surface topographies, one should always favor kinematic simulations when possible. Kinematic simulations are faster by orders of magnitude facilitating systematic studies of gravity perturbations.
3.6 Seismic Newtoniannoise estimates
The results of the analytical calculations can be used to estimate seismic Newtonian noise in GW detectors above surface and underground. The missing steps are to convert testmass acceleration into gravity strain, and to understand the amplitudes of perturbation as random processes, which are described by spectral densities (see Section A.5). For a precise noise estimate, one needs to measure the spectrum of the seismic field, its twopoint spatial correlation or anisotropy. These properties have to be known within a volume of the medium under or around the test masses, whose size depends on the lengths of seismic waves within the relevant frequency range. Practically, since all these quantities are then used in combination with a Newtoniannoise model, one can apply simplifications to the model, which means that some of these quantities do not have to be known very accurately or do not have to be known at all. For example, it is possible to obtain good Newtoniannoise estimates based on the seismic spectrum alone. All of the published Newtoniannoise estimates have been obtained in this way, and only a few conference presentations showed results using additional information such as the anisotropy measurement or twopoint spatial correlation. In the following, the calculation of Newtoniannoise spectra is outlined in detail.
3.6.1 Using seismic spectra
We start with the simplest approach based on measured spectra of the ambient seismic field, all other quantities are represented by simple analytical models. At the LIGO Hanford site, it was found by array measurements that the main contribution to the vertical seismic spectrum at frequencies relevant to Newtonian noise comes from Rayleigh waves [64]. Even if the wave composition of a seismic field at a surface site is unknown, then it would still be reasonable to assume that Rayleigh waves dominate the vertical spectrum since they couple most strongly to surface or nearsurface sources [126, 36]. We emphasize that this only holds for the vertical displacement since horizontal displacement can contain strong contributions from Love waves, which are shear waves with purely horizontal displacement trapped in surface layers. This means that we can use Eq. (93) to obtain an estimate of seismic Newtonian noise. We first rewrite it to give the Cartesian components of gravity acceleration:
where Φ is the angle of propagation with respect to the xaxis. Note that all three components of acceleration are determined by vertical surface displacement. This is possible since vertical and horizontal displacements of Rayleigh waves are not independent. As we will argue in Section 7, expressing Newtonian noise in terms of vertical displacement is not only a convenient way to model Newtonian noise, but it is also recommended to design coherent cancellation schemes at the surface based on vertical sensor data, since horizontal sensor data can contain contributions from Love waves, which do not produce Newtonian noise. Hence, horizontal channels are expected to show lower coherence with Newtonian noise. Assuming that the Rayleighwave field is isotropic, one can simply average the last equation over all propagation directions. The noise spectral density of differential acceleration along a baseline of length L parallel to the xaxis reads
The vector contains the three directionaveraged response functions of horizontal and vertical gravity perturbations. Rayleigh Newtonian noise in one direction is uncorrelated with Newtonian noise in the other two directions independent of the value of L. Introducing λ_{r} ≡ 2π/k_{ϱ}, the response functions, i.e., the square roots of the components of the vector in Eq. (98), divided by L/λ_{R} are shown in Figure 13.
Gravity perturbations at the two locations x = {0, L}, y = z = 0 are uncorrelated for sufficiently large distances, and therefore the strain response decreases with increasing L. In other words, increasing the length of largescale GW detectors would decrease Newtonian noise. Rayleigh Newtonian noise is independent of L for short separations. This corresponds to the regime relevant to lowfrequency GW detectors [88]. Eq. (98) is the simplest possible seismic surface Newtoniannoise estimate. Spatial correlation of the isotropic seismic field is fully determined by the fact that all seismic waves are assumed to be Rayleigh waves. Practically one just needs to measure the spectral density of vertical surface displacement, and also an estimate of the Poisson’s ratio needs to be available (assuming a value of ν = 0.27 should be a good approximation in general [179]). In GW detectors, the relevant noise component is along the xaxis. Taking the squareroot of the expression in Eq. (98), and using a measured spectrum of vertical seismic motion, we obtain the Newtoniannoise estimate shown in Figure 14. Virgo’s arm length is L = 3000 m, and the test masses are suspended at a height of about h = 1 m (although, it should be mentioned that the ground is partially hollow directly under the Virgo test masses). In order to take equal uncorrelated noise contributions from both arms into account, the singlearm strain noise needs to be multiplied by \(\sqrt{2}\). The seismic spectrum falls approximately with 1/f in units of \(\rm{m/s/\sqrt{Hz}}\) within the displayed frequency range, which according to Eq. (98) means that the Newtoniannoise spectrum falls with 1/f^{4} (two additional divisions by f from converting differential acceleration noise into differential displacement noise, and another division by f from converting the seismic spectrum into a displacement spectrum). Note that the knee frequency of the response curve in Figure 13 lies well below the frequency range of the spectral plots, and therefore does not influence the frequency dependence of the Newtoniannoise spectrum.
Since seismic noise is nonstationary in general, and therefore can show relatively large variations in spectra, it is a wise idea to plot the seismic spectra as histograms instead of averaging over spectra. The plots can then be used to say for example that Newtonian noise stays below some level 90% of the time (the corresponding level curve being called 90th percentile). In the shown example, a seismic spectrum was calculated each 128 s for 7 days. Red colors mean that noise spectra often assume these values, blue colors mean that seismic spectra are rarely observed with these values. No colors mean that a seismic spectrum has never assumed these values within the 7 days of observation. Interesting information can be obtained in this way. For example, it can be seen that between about 11 Hz–12 Hz a persistent seismic disturbance increases the spectral variation, which causes the distribution to be wider and therefore the maximum value of the histogram to be smaller.
Generally, seismic spectra at the Virgo and LIGO sites show a higher grade of stationarity above 10 Hz than at lower frequencies. For example, between 1 Hz and 10 Hz, seismic spectra have pronounced diurnal variation from anthropogenic activity, and between 0.05 Hz and 1 Hz seismic spectra follow weather conditions at the oceans. These features are shown in Figure 15. The white curves mark the 10th, 50th and 90th percentiles of the histogram. The histogram is based on a full year of 128 s spectra. Strong disturbances during the summer months from logging operations near the site increase the width of the histogram in the anthropogenic band. In general, a 90th percentile curve exceeding the global highnoise model is almost certainly a sign of anthropogenic disturbances. At lowest frequencies, strong spectra far above the 90th percentile are frequently being observed due to earthquakes. Additional examples of Newtoniannoise spectra evaluated in this way can be found in [66, 27].
3.6.2 Corrections from anisotropy measurements
Anisotropy of the seismic field can be an important factor in Newtoniannoise modelling. According to Eq. (93), Rayleigh waves that propagate perpendicularly to the relevant displacement direction of a test mass (which is along the arm of a GW detector), do not produce Newtonian noise. The chances of the Rayleighwave field to show significant anisotropy at Newtoniannoise frequencies are high since the dominant contribution to the field comes from nearby sources, probably part of the detector infrastructure. At one of the end stations of the LIGO Hanford detector, an array of 44 vertical seismometers was used to show that indeed the main seismic source of waves around 10 Hz lies in the direction of an exhaust fan [82]. Coincidentally, this direction is almost perpendicular to the direction of the detector arm.
Figure 16 shows the anisotropy measurement at 10 Hz and Newtoniannoise suppression of a single test mass obtained from anisotropy measurements over a range of frequencies. The seismic array was used to triangulate the source of dominant seismic waves over a period of a few hours. As shown in the left plot of Figure 16, the waves at 10 Hz almost always come from a preferred direction approximately equal to 100°. The same is true at almost all frequencies between 5 Hz and 30 Hz. Using the mean azimuth of waves within this range of frequencies, the Newtoniannoise suppression was calculated using Eq. (97) inserting the mean azimuth at each frequency as direction of propagation ϕ of the Rayleigh waves. An azimuth of 90½ corresponds to a direction perpendicular to the arm, which means that one expects Newtonian noise to be lower compared to the isotropic case. The suppression factor is plotted on the right of Figure 16 with a typical value of about 2. If the situation is the same at the other end station at LIGO Hanford (which is a reasonable assumption, also for the Livingston site), and conservatively assuming that the field is isotropic in the central station, then Newtonian noise would be reduced overall by about a factor \(\sqrt{2}\).
3.6.3 Corrections from twopoint spatial correlation measurements
A calculation of Newtonian noise based on seismic twopoint spatial correlation was first presented in [29]. In this section, we will outline the main part of the calculation focussing on gravity perturbations of a single test mass. The goal is to provide the analytical framework to make optimal use of array data in Newtoniannoise estimation. We will also restrict the analysis to surface arrays and Rayleigh waves. It is straightforward though to extend the analysis to 3D arrays, and as explained below, it is also in principle possible to integrate contributions from other wave types. Assuming that surface displacement is dominated by Rayleigh waves, the most general form of the single testmass surface gravity perturbation is given by
If the Rayleigh field is homogeneous, then the last equation can be simplified to
If in addition the field is isotropic, one obtains
Eq. (100) is probably the most useful variant since one should always expect that isotropy does not hold, and at the same time, it is practically unfeasible to characterize a seismic field that is inhomogeneous (corrections from inhomogeneities are probably minor as well). Nevertheless, the wavenumber spectra in all three equations can be measured in principle with seismic arrays as Fourier transforms of twopoint spatial correlation measurements. In general, the correlation function and wavenumber spectrum are related via
For a homogeneous field, we have
We can first insert this expression into Eq. (100), and integrate over wavenumbers to obtain the Newtonian noise spectrum in terms of the twopoint spatial correlation \(C(\xi_z;\vec\varrho,\omega)\) of the seismic field:
For isotropic and homogeneous fields, the wavenumber spectrum can be calculated as
Together with Eq. (101), we can express the gravity spectrum in terms of the isotropic twopoint correlation:
This result can also be obtained directly from Eq. (104) by integrating over the azimuth. The fraction inside the integral can be understood as the kernel of an integral transformation of the spatial correlation function with the two variables ϱ, h. For vanishing testmass height h, the kernel is to be substituted by the Deltadistribution δ(ϱ). This means that for negligible testmass height, the gravity perturbation from a homogeneous and isotropic field is determined by the seismic spectral density S(ξ_{z}; ω) = C(ξ_{z}; 0, ω).
Eq. (106) also states that for a homogeneous, isotropic field, the values of ϱ that are most relevant to the Newtoniannoise estimate lie around \(\varrho=\sqrt{2}h\) where the kernel assumes its maximum. The kernel is plotted as solid curve in Figure 17. For example, LIGO test masses are suspended 1.5 m above ground. Spatial correlation over distances much longer than 5 m are irrelevant to estimate Newtonian noise at the LIGO sites from homogeneous and isotropic fields. Consequently a seismic experiment designed to measure spatial correlations to improve Newtoniannoise estimates does not need to cover distances longer than this. Of course, in reality, fields are neither homogeneous nor isotropic, and seismic arrays should be designed conservatively so that all important features can be observed. The kernel of the integral transform in Eq. (101) is a function of the variables k_{ϱ}, h with maximum at k_{ϱ} = 1/(2h). It is displayed in Figure 17 as dashed curve. The behavior of the two kernels with changing h is intuitive. The higher the test mass above ground, the larger the scales of the seismic field that dominate the gravity perturbation, which means larger values of ϱ and smaller values of k_{ϱ}. Kernels in higher dimension can also be calculated for homogeneous seismic fields, and for the general case. The calculation is straightforward and will not be presented here.
The isotropic, homogeneous case is further illustrated for the Rayleigh field. A homogeneous, isotropic Rayleigh wave field has a twopoint spatial correlation given by [66]
which gives rise to a wavenumber spectrum equal to
where we used the closure relation in Eq. (244). According to Eq. (101) or (106), the corresponding Newtonian noise of a single test mass is
This result is consistent with our previous solution (the limit L → ∞ of Eq. (98) is twice as high). As mentioned already, in the form given here with the numerical factor γ(ν), the results are strictly only valid for Rayleigh waves. Contributions from other types of waves to \(C(\xi_z;\vec \varrho,\omega)\) could potentially be integrated separately with different numerical factors, but then one needs some prior information helping to distinguish wave types in these spectra (e.g., based on estimated seismic speeds).
In Figure 18, wavenumber spectra measured at the LIGO Hanford site are shown for three different frequencies. The maxima in all three spectra correspond to Rayleigh waves (since the corresponding speeds are known to be Rayleighwave speeds). However, the 50 Hz spectrum contains a second mode with significant amplitude that lies much closer to the origin, which is therefore much faster than a Rayleigh wave. It can only be associated with a body wave. One can now split the integration of this map into two parts, one for the Rayleigh wave, and one for the body wave, using a different numerical factor in each case. This can work, but with the information that can be extracted from this spectrum alone, it is not possible to say what type of body wave it is. So one can either study particle motion with threeaxes sensors to characterize the body wave further (which was not possible in this case since the array consisted of vertical sensors only), or instead of γ(ν) < 1 one can use the conservative numerical factor equal to 1 to calculate at least the corresponding gravity perturbation from pure surface displacement. The latter method would neglect subsurface density perturbations produced by a Pwave. It should be noted that one can obtain a model independent estimate of Newtonian noise with a 3D array. The numerical factor γ(ν) came from a calculation of subsurface gravity perturbations based on surface displacement. With information about the entire 3D displacement field, this step is not necessary and the noise estimate becomes model independent and does not require any other prior knowledge. An example of calculating Newtonian noise based on a 3D spatial correlation function is given in Section 5.2.
3.6.4 Lowfrequency Newtoniannoise estimates
There are qualitative differences between low and highfrequency Newtonian noise that are worth being discussed more explicitly. First of all, we need to provide a definition of what should be considered low frequencies. There are two length scales relevant to Newtoniannoise estimates. The first is the size L of the GW detector. The second is the depth h of the detector. In this section, we will consider the scenario where both length scales are much shorter than the reduced length of seismic waves: h, L ≪ λ/(2π). This should typically be the case below about 1 Hz.
If the detector is much smaller than the reduced wavelength, then gravity perturbations along the same directions are significantly correlated over the extent of the detector. We can see this by expanding Eq. (98) rewritten into units of strain acceleration for small L:
The next order is proportional to L^{2}, and we recall that the test masses are separated by L along the xcoordinate. The first important observation is that the strain noise is independent of the detector size. The commonmode rejection of the differential acceleration, which is proportional to L^{2} with respect to noise power, exactly compensates the 1/L^{2} from the conversion into strain. This also means that Newtoniannoise is significantly weaker at low frequencies consistent with Figure 13, which shows that gravity gradient response saturates below some testmass distance.
Next, we discuss the role of detector depths. It should be emphasized that Eq. (110) is valid only above surface. As we have seen in Eq. (84), density changes below surface give rise to additional contributions if the test mass is located underground. We have not explicitly calculated these contributions for Rayleigh waves in this article. The point that we want to make though is that if the length of the Rayleigh wave is much longer than the depth of the detector, then the surface model in Eq. (110) is sufficiently accurate. It can be used with the parameter h set to 0. This is not only true for Newtonian noise from Rayleigh waves, but for all forms of seismic Newtonian noise. It should be noted though that these conclusions are not generally true in the context of coherent Newtoniannoise cancellation. If a factor 1000 noise reduction is required (as predicted for lowfrequency GW detectors, see [88]), then much more detail has to be included into the noise models, to be able to predict cancellation performance. Here, not only the depth of the detector could matter, but also the finite thickness of the crust, the curvature of Earth, etc.
Estimates of seismic Newtonian noise at low frequencies were presented with focus on atominterferometric GW detectors in [166]. The interesting aspect here is that atom interferometers in general have a more complicated response to gravity perturbations. A list of gravity couplings for atom interferometers can be found in [61]. So while atominterferometric GW detectors would also be sensitive to gravity strain only, the response function may be more complicated compared to laser interferometers depending on the detector design.
3.7 Summary and open problems
In this section on Newtonian noise from ambient seismic fields, we reviewed basic analytical equations to calculate density perturbations in materials due to vibrations, to calculate the associated gravity perturbations, and to estimate Newtonian noise based on observations of the seismic field. Equations were given for gravity perturbations of seismic body waves in infinite and half spaces, and for Rayleigh waves propagating on a free surface. Newtonian noise above a half space can be fully characterized by surface displacement, even for body waves. It was found that analytical expressions for gravity perturbations from body and Rayleigh waves have the same form, just the numerical, material dependent conversion factor between seismic and gravity amplitudes has different values also depending on the propagation direction of a body wave with respect to the surface normal. In practice, this means that prior information such as seismic speeds of body waves is required to calculate gravity perturbations based on surface data alone. Another important difference between body and Rayleigh gravity perturbations is that the conversion factor has a material and propagationdirection dependent complex phase in the bodywave case. This has consequences on the design of a seismic surface array that one would use to coherently cancel the gravity perturbations, which will be discussed further in Section 7.
Scattering of body waves from spherical cavities was calculated concluding that gravity perturbations on a test mass inside a cavity are insignificantly affected by seismic scattering from the cavity. Here, “insignificantly” is meant with respect to Newtoniannoise estimates. In coherent noise cancellation schemes, scattering could be significant if the subtraction goals are sufficiently high. An open problem is to understand the impact of seismic scattering on gravity perturbations in heterogeneous materials where scattering sources are continuously distributed. This problem was studied with respect to its influence on the seismic field [129, 116], but the effect on gravity perturbations has not been investigated yet.
We also showed that the calculation of simple Newtoniannoise estimates can be based on seismic spectra alone, provided that one has confidence in prior information (e.g., that Rayleigh waves dominate seismic noise). In general, seismic arrays help to increase confidence in Newtoniannoise estimates. It was shown that either simple anisotropy measurements or measurements of 2D wavenumber spectra can be used to improve Newtoniannoise estimates. In this section, we did not discuss in detail the problem of estimating wavenumber spectra. Simply carrying out the Fourier transform in Eq. (103) is prone to aliasing. A review on this problem is given in [112]. Estimation of wavenumber spectra has also become an active field of research in GW groups, using data from the LIGO Hanford array deployed between April 2012 and February 2013, and the surface and underground arrays at the Sanford Underground Research Facility, which are currently being deployed with data to be expected in 2015. The problem of Newtoniannoise estimation using seismic arrays needs to be separated though from the problem of Newtoniannoise cancellation. The latter is based on Wiener filtering. From an information theory perspective, the Wiener filtering process is easier to understand than the noise estimation since Wiener filters are known to extract information from reference channels in an optimal way for the purpose of noise cancellation (under certain assumptions). There is no easy way to define a cost function for spectral estimation, which makes the optimal estimation of wavenumber spectra rather a philosophical problem than a mathematical or physical one. The optimal choice of analysis methods depends on which features of the seismic field are meant to be represented most accurately in a wavenumber spectrum. For example, some methods are based on the assumption that all measurement noise is stationary and effectively interpreted as isotropic seismic background. This does not have to be the case if the seismic field itself acts as a noise background for measurements of dominant features of the field. Nonetheless, designs of seismic arrays used for noise cancellation need to be based on information about wavenumber spectra. Initially, array data are certainly the only reliable sources of information, but also with Newtoniannoise observations, optimization of noisemitigation schemes will be strongly guided by our understanding of the seismic field.
4 Gravity Perturbations from Seismic Point Sources
In Section 3, we have reviewed our understanding of how seismic fields produce gravity perturbations. We did, however, not pay attention to sources of the seismic field. In this section, gravity perturbations will be calculated based on models of seismic sources, instead of the seismic field itself. This can serve two purposes. First, a seismic source can be easier to characterize than the seismic field itself, since characterization of a seismic field requires many seismometers in general deployed in a 3D array configuration. Second, it is conceivable to obtain information about a seismic source based on observations of gravity perturbations. For example, it was suggested to promptly detect and characterize fault ruptures leading to earthquakes using lowfrequency gravity strain meters [83]. In this case, the analysis of gravity data from highprecision gravity strain meters can be understood as a new development in the field of terrestrial gravimetry. Until today, observation of only very slow changes in the terrestrial gravity field (slower than about 1 mHz) were possible using networks of groundbased gravimeters [52] or the satellite mission GRACE [167] with applications in hydrology, seismology and climate research. Also coseismic gravity changes, i.e., changes following large earthquakes, were observed with gravimeters [100] as well as with GRACE (see for example [168, 40]). These observations were predicted based on a theory of static gravity perturbations from fault rupture first developed by Okubo in [132, 133, 134]. Only lasting gravity changes can be detected with these instruments, and it is to be expected that highprecision gravity strain meters will contribute significantly to this field by opening a window to gravity changes at higher frequencies. New models need to be constructed that describe timevarying gravity changes from seismic fields produced by various seismic sources. The first steps thereof are outlined in the following. We also want to point out that the same formalism can be applied to point sources of sound waves as shown in Section 5.3. We emphasize that all known timedomain models of gravity perturbations from seismic sources are for infinite media. The inclusion of surface effects, which is not always necessary, is one of the important calculations that needs to be done still. We will give some ideas how to approach this problem in Section 4.6. According to the title of this section, the models presented here are for point sources only. It is, however, numerically trivial to combine point source solutions to represent an extended source. Also certain analytical calculations of gravity perturbations from extended sources should be feasible.
4.1 Gravity perturbations from a point force
Point forces can be a good model of various real sources such as vibrating engines or impacts of small objects on ground. A point force is modelled as force density according to
with source function F(t) = 0 for t < 0, and \({\vec{e}_f}\) being the normal vector pointing along the direction of the force. Such a force generates a complicated seismic field that is composed of a near field, and shear and compressional waves propagating in the intermediate and far field [9], all components with different radiation patterns (explicit expressions for a point shear dislocation are given in Section 4.2). However, Eq. (52) can be applied here, which means that we only need to know the potential of compressional waves in infinite media to simply write down the corresponding gravity perturbation. It is not too difficult to calculate the seismic potential, but one can also find the solution in standard text books [9]. The solution for the perturbed gravity acceleration reads
with the source being located at the origin. This perturbation is based on the full seismic field produced by the point force. The solution consists of a component proportional to an integral over the source function, and another component proportional to the retarded source function. At early times, when t < r_{0}/α, i.e., when the seismic waves produced by the source have not yet reached the location \({\vec r_0}\), the second term vanishes while the integral can be rewritten as double time integral
The acceleration simplifies to
Interestingly, the earlytime solution is independent of any geophysical parameters such as ground density and seismic speeds (assuming that the ground is homogeneous). The gravity perturbation from a point force can be used to model the contribution of local sources to Newtonian noise based on a measured source time function F(t). In this section, we use it to present another interesting result. It has often been conjectured that a transient source of seismic vibrations would be a problem to coherent mitigation schemes since the gravity perturbation starts to be significant before any of the seismometers can sense the first ground motion produced by this source. Therefore, it would be impossible to coherently remove a significant contribution to Newtonian noise using seismic data. Some evidence speaking against this conjecture was already found in numerical simulations of approaching wavefronts from earthquakes [84], but there was no analytical explanation of the results. We can make up for this now. Let us make the following Gedankenexperiment. Let us assume that all seismic noise is produced by a single source. Let us assume that this source is switched on at time t = 0. Before this time, the entire seismic field is zero. Now the source starts to irradiate seismic waves. The waves do not reach the test mass before t = r_{0}/α, where r_{0} is the distance between the source and the test mass. The situation is illustrated in Figure 19. The dashed line marks the arrival of seismic waves. From that time on, we have the usual Newtonian noise from ambient seismic fields. Interesting however is what happens before arrival. The Newtonian noise is hardly visible. Therefore, an inset plot was added to show gravity perturbations before wave arrival. Not only is the rms of the gravity perturbation much lower, but as expected, it evolves much slower than the Newtonian noise from ambient seismic fields. Eq. (114) says that the source function is filtered by a double integrator to obtain the gravity acceleration. Another double integrator needs to be applied to convert gravity acceleration into testmass displacement. Therefore, whatever the source function is, and the corresponding source spectrum F(ω), gravity perturbations will be strongly suppressed at high frequencies. Due to the transient character of this effect, it is difficult to characterize the problem in terms of Newtoniannoise spectra, but it should be clear that a seismic source would have to be very peculiar (i.e., radiating very strongly at high frequencies and weakly at low frequencies), to cause a problem to coherent Newtoniannoise cancellation, without causing other problems to the detector such as a loss of cavity lock due to lowfrequency ground disturbances.
4.2 Density perturbation from a point shear dislocation in infinite homogeneous media
In this subsection, we briefly review the known solution of the seismic field produced by a shear dislocation. The shear dislocation is modelled as a double couple, which consists of two perpendicular pairs of forces pointing against each other with infinitesimal offset. The coordinate system used in the following is shown in Figure 20. Its origin coincides with the location of the shear dislocation, with the zaxis being parallel to the slip direction, and the xaxis perpendicular to the fault plane. Spherical coordinates r, θ, ϕ will be used in the following that are related to the Cartesian coordinates via x = r sin(θ) cos(ϕ), y = r sin(θ) sin(ϕ), z = r cos(θ), with 0 < θ < π, and 0 < ϕ < 2π. The double couple drives a displacement field that obeys conservation of linear and angular momenta. Its explicit form is given in Aki & Richards [9]. It consists of a nearfield component:
an intermediatefield component
and a farfield component
which have to be added to give the total displacement field \(\vec \xi (\vec{r},t)\). The source function M_{0}(t) of the double couple is called moment function. As for the point force, we assume again that the source function is zero for t < 0. If a double couple is used to represent fault ruptures, than the source function increases continuously as long as the fault rupture lasts.
In contrast to the intermediate and farfield terms, the nearfield term does not describe a propagating seismic wave. The far field is the only component that generally vanishes for t → ∞. According to Eq. (39), density perturbations in infinite, homogeneous media can only be associated with compressional waves, since the divergence of the shear field is zero. This is confirmed by inserting the total displacement field into Eq. (39). One obtains the density change
The density perturbation assumes a much simpler form than the seismic field. The perturbation propagates with the speed of compressional waves, and has a quadrupole radiation pattern. A lasting density change is built up proportional to the final moment M_{0}(t → ∞) of the shear dislocation. In Figure 21, the gravity perturbation is shown for θ = π/4, ϕ = 0. The source function is M_{0}(t) = M_{0} tanh(t/τ) for t > 0 and zero otherwise. A logmodulus transform is applied to the density field since its value varies over many orders of magnitude [103]. This transform preserves the sign of the function it is applied to. A transient perturbation carried by compressional waves propagates parallel to the line t = r/α. A lasting density change, which quickly decreases with distance to the source, forms after the transient has passed.
4.3 Gravity perturbations from a point shear dislocation
Fault slip generates elastodynamic deformation (static and transient), including compression and dilation that induce local perturbations of the material density. These in turn lead to global perturbations of the gravity field. In this section, we consider an elementary problem: we develop an analytical model of timedependent gravity perturbations generated by a pointshear dislocation in an infinite, elastic, and homogeneous medium. We are interested in frequencies higher than 0.01 Hz, for which we can ignore the effects of selfgravitation [55]: we compute the gravity changes induced by mass redistribution caused by elastic deformation, but ignore the effect of gravity force fluctuations on the deformation. The results in this subsection were published in [83]. The gravity perturbation can either be obtained analogously to the case of a point force by seeking for a known solution of the Pwave potential and rewriting it as gravity potential, or by attempting a direct integration of density perturbations. First, we will show how to carry out the direct integration.
The density perturbation \(\delta \rho (\vec{r},t)\) caused by the displacement field \(\vec{\xi}(\vec{r}, \, t)\) was presented in Eq. (118). The perturbation of the gravity potential at some point \({\vec r_{0}}\) is obtained by integrating over the density field according to
The integration can be carried out using a multipole expansion of the gravity potential. This requires us to divide the integration over the radial coordinate r into two intervals: 0 < r < r_{0} and r_{0} < r. Over the first interval, one obtains the exterior multipole expansion:
The corresponding expression for the interior multipole expansion is given by
where we used the solid spherical harmonics defined in Eq. (273). The two integrals in Eqs. (120) and (121) are readily solved by expressing the radiation pattern in Eq. (118) in terms of the surface spherical harmonics (see Table 4),
and subsequently making use of the orthogonality relation in Eq. (259). For example, inserting the density perturbation into the exterior multipole expansion of the gravity potential we have
The integral over angles can be carried out using Eq. (260). The result is again a quadrupole radiation pattern. The integral over the radius can be simplified considerably by integration by parts. The solution \(\delta \psi ({\vec{r}_0},t) = \delta {\psi _{{\rm{ext}}}}({\vec{r}_0},t) + \delta {\psi _{{\rm{int}}}}({\vec{r}_0},t)\) for the gravity potential perturbation can then be written in the form
The second, more elegant approach to solve Equation (119) is again based on Eq. (52). Given the known solution for seismic potentials from a point force in infinite media [9], one can derive the corresponding expression for a doublecouple by applying derivatives to the gravity potential with respect to the source coordinates along two orthogonal directions, and rescale it according to Eq. (119) to obtain the expression of the perturbed gravity potential given in Eq. (124).
As for the point force, the gravity potential perturbation from a double couple has a particularly simple structure at early times, t < r_{0}/α, i.e. before the arrival of P waves at \({\vec{r}_{0}}\):
The early gravity potential perturbation appears to emerge from the acausal component of the Pwave potential, whose contribution to the seismic wavefield is cancelled out by a similar contribution from the Swave potential. Finally, we also give the earlytime solution for the gravity acceleration:
Written in this form, the expression becomes frame independent. The directions \(\vec e_x,\vec e_z\) are physical directions denoting fault normal and slip direction. They can be reexpressed in any other coordinate system, as for example an Earth coordinate system.
4.3.1 Gravitygradient tensor
The gravitygradient tensor \(\ddot h(\vec r_0\,,t)\), whose components can be measured by torsionbar antennas or atom interferometers, is obtained by calculating
where’ ⊗’ denotes the Kronecker product (also known as dyadic or tensor product). For arbitrary t, the result is a symmetric tensor that can be divided into four distinct parts. The first part is proportional to the density perturbation at \(\vec r_0\):
It is the only contribution with nonvanishing trace. Using \({\rm{Tr}}(\vec{a} \otimes \vec{b}) = \vec{a}\, \cdot \, \vec{b}\), one obtains
consistent with the Poisson equation. The second part can be cast into the form
where
Here \((\vec a\otimes\vec b)_{\rm{sym}}\equiv\vec a\otimes\vec b+\vec b\otimes\vec a\). The third part is given by
and the last part is proportional to the moment function
Note that the unit vectors \(\vec e_x, \, \vec e_z\) are not arbitrary coordinate axes, but have a physical interpretation being normal to the shear plane, and along shear direction respectively. The full gravity gradient is simply the sum of these four contributions.
The first and last two contributions vanish for αt < r_{0} since M_{0}(t) = 0 for t < 0, and the integral of the second contribution can be rewritten into
None of the four contributions vanishes for t → ∞. Instead the time derivatives of the moment function go to zero, and the moment function itself can be substituted by its final value M_{0}(t → ∞). The result is a gravitygradient tensor whose components decrease with \(1/r_0^3\). In addition, the gravity gradient for t → ∞ is identical to the static gravity perturbation found by [132] for shear dislocations in a half space, provided that his result is evaluated for an event far from the surface (so that surface effects are suppressed).
For small times αt < r_{0}, the gravitygradient perturbation is not delayed by r_{0}/α. This delay only emerges once the P waves have reached the point \(\vec r_0\). In other words, the pointshear dislocation behaves as a point source of gravity perturbations for αt < r_{0} even though the actual source is an expanding wavefront of seismic compressional waves. In this case, the effective (point) source function of gravitygradient perturbations is the fourth time integral of the moment function, which also entails that contributions to the gravity gradient from higherfrequency components of the moment spectrum are strongly suppressed.
4.4 Gravity perturbation from the Tohoku earthquake
In this section, the specific example of the 2011 Tohoku earthquake will be used to estimate gravity perturbations. The Tohoku event had a magnitude of 9.0, and ruptured a fault of width and length of several hundred kilometers [12]. The hypocenter was located at latitude N37.52 and longitude E143.05. The estimate of the gravity perturbation will be based on the earlytime approximation given in Eq. (125). The result should not be expected to be accurate, since the source cannot be approximated as a point source, and the influence of the surface on the gravity perturbation may be substantial, but nonetheless, it serves as an orderofmagnitude estimate.
With these simplifications, the main work is to understand specifications of focal mechanisms published by seismological institutions such as USGS^{Footnote 8}, and translate them into the faultslip oriented coordinate system of Section 4.3. The focal mechanisms can be specified by three angles: the strike angle γ_{S}, the dip angle γ_{d}, and the rake angle γ_{r}. The strike angle is subtended by the intersection of the fault plane with the horizontal plane, and the North cardinal direction. The dip is the angle between the fault plane and the horizontal plane. Finally, the rake is subtended by the slip vector and the horizontal direction on the fault plane. The fault geometry is displayed in Figure 22. For the Tohoku earthquake, the angles are γ_{S} = 3.54, the dip angle γ_{d} = 0.17, and the rake angle γ_{r} = 1.54. In the coordinate system shown in Figure 20, the normal vector of the fault defines the direction of the xaxis, and the slip vector defines the direction of the zaxis. In this coordinate system, the gravity perturbation is given by:
Now vectors are to be expressed in a new coordinate system whose axes correspond to the cardinal directions \(\vec e_{\rm{E}}, \, \vec e_{\rm{N}}\), and the normal vector of Earth’s surface \(\vec e_{\rm{V}}\). Based on the geometry shown in Figure 22, the following relations can be found
and \(\vec e_y=\vec e_z\times\vec e_x\). A matrix \(R(\vec a,\alpha)\) describes a rotation around axis \(\vec a\) by an angle α. Sensors designed to monitor changes in gravity acceleration are called gravimeters. For example, networks of gravimeters have been used in the past to detect coseismic gravity changes following large earthquakes [100]. However, these were prepost event comparisons of DC gravity changes. A prompt detection of a coseismic gravity perturbation using gravimeters has not been achieved yet.
The results of this and the previous subsection can be used to make quantitative predictions of gravity perturbations from earthquakes. Since the model of Eq. (124) is valid for fault ruptures in infinite space, a prediction of gravity perturbations for sources buried in half spaces can only be valid as long as the seismic waves have not reached the surface. In reality, this typically allows us to model up to a few seconds of time series of an earthquake, but it was shown in [83] using numerical simulations that the duration of the modelled gravity perturbation can be extended for some time without causing major deviations from the halfspace signal. It would of course be useful to have the analytical halfspace solution in hand. This said, it should nevertheless be true that the infinite space solution provides a useful orderofmagnitude estimate of the gravity perturbation, even beyond the duration validated by numerical simulations, at least as long as seismic waves have not yet reached the location of the gravity sensor. Figure 23 shows the result for the perturbation of gravity acceleration in vertical direction. The first 60 s of the signal are simulated for a gravimeter at the Kamioka station at latitude N36.42 and longitude E137.31, about 500 km away from the hypocenter of the earthquake. The curve uses the estimated source function of the Tohoku earthquake^{Footnote 9}, which had a total rupture duration of about 300 s, with almost all of the total seismic moment, 5 × 10^{22} Nm, already released after 120 s. After 68 s, the first seismic waves reach the gravimeter, which makes gravity measurements impossible for more than a day. A signal of about −6 × 10^{−9} m/s^{2} is substantial. The rms of the data between 2 mHz and 0.5 Hz is about 5 × 10^{−9} m/s^{2} during relatively quiet times, and gravimeter data are highly nonstationary (mostly due to direct seismic perturbation of the instrument). It may be possible to detect this signal before arrival of the seismic waves, based on a fit to the predicted gravity perturbation and integrating over the available 68 s of data.
4.5 Seismic sources in a homogeneous half space
We now consider the case of gravity perturbations above surface produced by seismic fields in a homogeneous half space. There are two major differences to the case of infinite space. First, the explicit solution of the seismic field produced by point sources contains an integral, which is impossible to solve except for the easiest source time functions. Sophisticated analytical techniques known as Cagniardde Hoop methods had to be invented to obtain these solutions [58, 9]. Second, even when the seismic field is left unspecified, the explicit solution of the gravity perturbation involves other integrals, while the infinite space solution of Eq. (52) was free of integrals. This is at least the conclusion of the preliminary investigation presented in the following. The purpose of this section is to introduce a suitable theoretical framework and to simplify the expression for the gravity perturbation as much as possible. The starting point is Eq. (51) without the last term since it vanishes above surface. The zaxis is chosen as surface normal: \(\vec n=(0,0,1)\). The goal is to calculate a gravity perturbation directly above the free surface at z = 0. In general, the gravity potential above surface takes the form
Seismic fields in half spaces can be elegantly represented as expansion into cylindrical harmonics (see Section A.1). A good review of the theory with application to seismology can be found in [107]. Looking at Eq. (137), we see that in addition to an expansion of the seismic potentials, one also needs an expansion of the inverse distance into cylindrical harmonics. Evaluating seismic fields on the surface z = 0, and gravity above surface so that z_{0} > 0, the inverse distance can be expanded according to
The expansion of the scalar potential components in Eq. (137) are given by [107]
The integration variable p can be interpreted as horizontal wavenumber of the harmonics that constitute the seismic field, while the vertical wavenumbers \(k_z^{\rm{P}}(p), \, k_z^{\rm{S}}(p)\) have the form in Eq. (34). Explicit expressions of the amplitudes \(a_m^x(p), \, a_m^y(p), \, b_m(p)\), b_{m}(p) depend on the nature of the seismic source, and can be found for a few important cases in [107]. They also depend on the depth z_{S} of the seismic source. The evaluation of the surface integrals is analogous for the three potentials. We outline the calculation for the Pwave potential ϕ_{S}:
The last equation has strong similarity with the expansion in Eq. (139) of the Pwave potential itself. The important difference is that the vertical wavenumber \(k_z^{\rm{P}}(p)\) is now substituted by the horizontal wavenumber k. We have seen this already happening in the explicit solutions for Rayleigh and plane body waves, where the seismic amplitude changes with depth z in terms of a vertical wavenumber, but the gravity perturbation changes with the horizontal wavenumber (see Sections 3.4.1 and 3.4.2). For this reason, it is unfortunately impossible to express the Pwave contribution to the gravity potential directly in terms of the Pwave potential. However, the solution simplifies if the gravity field is to be calculated directly above surface at z_{0} = 0:
The gravity perturbation contributed by the Pwave potential consists of a part that has the same form as the infinitespace solution in Eq. (52), and a second part that is a simple integral involving only the zeroorder Bessel function. It may be possible to carry out the remaining integral for specific seismic sources, and possibly also to carry out the inverse Fourier transform explicitly to obtain a full timedomain solution. It should be kept in mind also that the seismic potentials in half space are considerably more complicated than in infinite space, and therefore the solution in Eq. (141) has only formal similarity with the infinitespace solution. We leave it to the reader to repeat the exercise for the components of the shear potential, which can be simplified by realizing that the horizontal components of the shear potential can be obtained from a single scalar potential using the identity \(\vec\psi_{\rm{S}}(\vec r)=\nabla\times(0,0,\Lambda_{\rm{S}}(\vec r))+(0,0,\psi_{\rm{S}}^z(\varrho,\phi))\). As a final note, in order to translate the gravity model into a gravimeter signal, one also needs to take into account the selfgravity effect described in Section 2.1.3, which means that gravity fluctuations induce surface motion. Whether corrections from selfgravity effects are significant depends on the distance of the gravimeter to the source as well as on the spectrum of the gravity fluctuations [146, 169].
4.6 Summary and open problems
We have shown how to calculate gravity perturbations based on models of seismic sources. The general expressions for these perturbations can be complicated, but especially when neglecting surface effects, the gravity perturbations assume a very simple form due to a fundamental equivalence between seismic and gravity potentials according to Eq. (52). We have seen demonstrations of this principle in Section 4.1 for point forces, and in Section 4.3 for point shear dislocations.
The solution of the point force was used to highlight the difference between locally generated gravity perturbations, i.e., at the test mass, and perturbations from an incident seismic wavefront. It was shown that due to the strong lowpass filtering effect of gravity perturbations from distant seismic wavefronts, seismic sources need to have very peculiar properties to produce significant, instantaneous gravity perturbations at the test mass. Consequently, gravity perturbations from distant seismic wavefronts are more likely to play a role in subHz GW detectors, and also there the seismic event producing the wavefront needs to be very strong. As an example, we have presented the formalism to estimate perturbations from earthquakes in Sections 4.2 and 4.4.
These results also have important implications for coherent Newtoniannoise cancellation schemes. It was argued in the past that seismic sensors deployed around the test mass can never provide information of gravity perturbations from incident seismic disturbances that have not yet reached the seismic array. Therefore, there would be a class of gravity perturbations that cannot be subtracted with seismic sensors. While the statement is generally correct, we now understand that the gravity perturbations are significant only well below the GW detection band (of any > 1 Hz GW detector), unless the source of the seismic wavefront has untypically strong highfrequency content.
The theory of gravity perturbations from seismic point sources has just begun to be explored. Especially a thorough analysis of surface effects is essential for future developments. In Section 4.5, a first calculation of gravity perturbations from point sources in half spaces was outlined. The full solution still needs to be analyzed in detail. Open questions are how the Rayleigh waves generated in half spaces affect gravity perturbations at larger distances, and also how the contribution of body waves is altered by reflection from the surface. In light of the possible applications of lowfrequency GW detectors in geophysics, further development of the theory may significantly influence future directions in this field.
5 Atmospheric Gravity Perturbations
The properties of the atmosphere give rise to many possible mechanisms to produce gravity perturbations. Sound fields are one of the major sources of gravity perturbations. Typically, sound is produced at boundaries between air and solid materials, but in general, one also needs to consider the internal production of sound via the Lighthill process. The models of gravity perturbations from sound fields are very similar to perturbations from seismic compressional waves as given in Section 3. The main difference in the models is related to the fact that the two fields are observed by different types of sensors. Additional mechanisms of producing atmospheric gravity noise are related to the fact that air can flow. This can lead to the formation of vortices or convection, and turbulence can always play a role in these phenomena. The NavierStokes equations directly predict density perturbations in these phenomena [57]. Also static density perturbations produced by nonuniform temperature fields can be transported past a gravity sensor and cause gravity noise. One goal of Newtoniannoise modelling is to provide a strategy for noise mitigation. For this reason, it is important to understand the dependence of each noise contribution on distance between source and test mass, and also to calculate correlation functions. The former determines the efficiency of passive isolation schemes, such as constructing detectors underground, the latter determines the efficiency of coherent cancellation using sensor arrays.
Atmospheric gravity perturbations have been known since long to produce noise in gravimeter data [128], where they can be observed below about 1 mHz. At these frequencies, they are modelled accurately as a consequence of pressure fluctuations and loading of Earth’s surface. Atmospheric gravity perturbations are generally expected to be the dominant contribution to ambient Newtonian noise below 1 Hz [88]. In contrast, Creighton showed that atmospheric Newtonian noise can likely be neglected above 10 Hz in largescale GW detectors [51]. His paper is until today the only detailed study of atmospheric Newtonian noise at frequencies above the sensitive band of gravimeters, and includes noise models for infrasound waves, quasistatic temperature fluctuations advected in various modes past test masses, and shockwaves. His results will be reviewed in the following with the exception that a new solution is given for gravity perturbations from shockwaves based on the pointsource formalism of Section 4. Preliminary work on modelling gravity perturbations from turbulence was first published in [39], and is reviewed and improved in Section 5.4.
5.1 Gravity perturbation from atmospheric sound waves
Sound waves are typically understood as propagating perturbations of the atmosphere’s mean pressure p_{0}. The pressure change can be translated into perturbation of the mean density ρ_{0}. The relation between pressure and density fluctuations depends on the adiabatic index γ ≈ 1.4 of air [175]
The classical explanation for γ > 1 is that the temperature increases when the sound wave compresses the gas sufficiently slowly, and this temperature increase causes an increase of the gas pressure beyond what is expected from compression at constant temperature. Note that in systems whose size is much smaller than the length of a sound wave, the statement needs to be reversed, i.e., fast pressure fluctuations describe an adiabatic process, not slow changes. An explanation of this counterintuitive statement in terms of classical thermodynamics is given in [71]. It can also be explained in terms of the degrees of freedom of gas molecules [93]. At very high frequencies (several kHz or MHz depending on the gas molecule), vibrations and also rotations of the molecules cannot follow the fast sound oscillation, and their contribution to the specific heat freezes out (thereby lowering the adiabatic index). At low audio frequencies, sound propagation in air is adiabatic^{Footnote 10}.
Let us return to the calculation of gravity perturbations from sound fields. Assuming that a sound wave incident on the surface is reflected without loss such that its horizontal wavenumber is preserved, one obtains the gravity perturbation as the following integral over the half space z > 0:
Here, the Heaviside function Θ(·) has the value 1 at z_{0} = 0. The gravity potential and acceleration are continuous across the surface. We neglect the surface term here, but this is mostly to simplify the calculation and not fully justified. Part of the energy of a sound wave is transmitted into the ground in the form of seismic waves. Intuitively, one might be tempted to say that only a negligible amount of the energy is transmitted into the ground, but at the same time the density of the ground is higher, which amplifies the gravity perturbations. Let us analyze the case for a sound wave incident at a normal angle to the surface. In this case, the sound wave is transmitted as pure compressional wave into the ground. We denote the air medium by the index “1” and the ground medium by “2”. Multiplying the seismic transmission coefficient (see [9]) by ρ_{2}/ρ_{1}, the relative amplitude of gravity perturbations is
where α_{1} is the speed of sound, and α_{2} the speed of compressional waves. The sum in the denominator can be approximated by ρ_{2}α_{2}, which leaves 2α_{1}/α_{2} as gravity ratio. The ratio of wave speeds does not necessarily have to be small at the surface. We know that the Rayleighwave speed at the LIGO sites is about 250 m/s [87], which we can use to estimate the compressionalwave speed to be around 600 m/s (by making a guess about the Poisson’s ratio of the ground medium). This means that the effective transmissivity with respect to gravity perturbations could even exceed a value of 1! Therefore, it is clear that the physics of infrasound gravity perturbations is likely more complicated than outlined in this section. Nonetheless, we will keep this for future work and proceed with the simplified analysis assuming that sound waves are fully reflected by the ground.
The gravity acceleration caused by infrasound waves is shown in Figure 24 for two different angles of incidence with respect to the surface normal. Note that the infrasound field modelled in Eq. (143) consists of two plane waves propagating in opposite directions with respect to the normal, and along the same direction with respect to the horizontal. Therefore, the pressure and consequently gravity field have the form of a standing wave along the normal direction. Below surface, the gravity perturbation falls off exponentially. The decrease is faster when the infrasound wave propagates nearly horizontally. The length scale that determines the exponential fall off becomes infinite if the wave propagates vertically, but at the same time the projection of gravity acceleration onto a horizontal direction vanishes. This is why underground construction of GW detectors is an efficient means to mitigate infrasound Newtonian noise. Creighton also considered the case of a shield against infrasound disturbances around the test masses of surface detectors, which in its simplest form is already given by the buildings hosting the test masses [51]. A detailed investigation of noisereduction techniques is given in Section 7.
5.2 Gravity perturbations from quasistatic atmospheric temperature perturbations
In this section, we review the rather complex calculation of gravity perturbations from a temperature field presented as appendix in [51]. The calculation is also instructive to solve similar problems in the future. The basic idea is the following. Temperature fluctuations in the atmosphere lead to density changes. In terms of the mean temperature T_{0} and density ρ_{0} of the atmosphere, and according to the ideal gas law at constant pressure, small fluctuations in the temperature field cause perturbations of the density:
Pressure fluctuations also cause density perturbations, but as we have seen in the previous section, they result in quickly propagating infrasound waves. The effect that we want to study here is the Newtonian noise from slowly changing density fields, transported past a test mass by air flow. These are predominantly associated with slow temperature fluctuations. The gravity perturbation produced by such a temperature field is given by
Trying to obtain an explicit expression of the temperature field, inserting it into this integral, and solving the integral is hopeless here. What one can do instead is to work with the statistical properties of the temperature field. If the temperature field is stationary, then we can calculate the spectral density as
where we have used Eq. (285). The vectors \(\vec r, \, \vec r\,{\prime}\) point from the test mass to temperature fluctuations in the atmosphere. The next step is to characterize the temperature field. Temperature fluctuations in the vicinity of Earth surface are distributed by turbulent mixing. As shown in [113], temperature inhomogeneities of the surface play a minor role in the formation of the temperature field at frequencies above a few tens of a mHz. Therefore, at sufficiently high frequencies, one can approximate the temperature perturbations as homogeneous and isotropic. In this case, the secondorder noise moments of \(\delta T(\vec r,t)\) can be characterized by the temperature structure function D(δT;r):
The structure function can typically be approximated as a power law
provided that the distance Δr is sufficiently small. This relation also breaks down at distances similar to and smaller than the Kolmogorov length scale, which is about 0.4 mm for atmospheric surface layers [14]. Turbulent mixing enforces power laws with p ∼ 2/3 [14]. Applying Taylor’s hypothesis, the distance Δr can be substituted by the product of wind speed v with time τ, and Eq. (148) can be reformulated as
The parameter c_{T} depends on the dissipation rate of turbulent kinetic energy and the temperature diffusion rate, and σ_{T} is the standard deviation of temperature fluctuations. Since Taylor’s hypothesis is essential for the following calculations, we should make sure to understand it. Qualitatively it states that turbulence is transported as frozen pattern with the mean wind speed. More technically, it links measurements in Eulerian coordinates, i.e., at points fixed in space, with measurements in Lagrangian coordinates, i.e., that are connected to fluid particles. The practical importance is that twopoint spatial correlation functions such as Eq. (148) can be estimated based on a measurement at a single location when carried out over some duration τ as in Eq. (150). In either case, the hypothesis can be expected to fail over sufficiently long periods τ or distances Δr, which are linked to the maximal scale of turbulent structures [56]. In any case, we assume that Taylor’s hypothesis is sufficiently accurate for our purposes. The Fourier transform of Eq. (150) yields the spectral density of temperature fluctuations
The Fourier transform cannot be calculated without employing an upper cutoff on the variable τ. This means that the spectral density given here only holds at sufficiently high frequencies (at the same time not exceeding the Kolmogorov limit defined by the size l of the smallest turbulence structures, ω < υ/l, which is of the order kHz). Technically, the Fourier transform can be calculated by multiplying an exponential term exp(−ϵτ) to the integrand, and subsequently taking the limit ϵ → 0.
The next step is to calculate the temperature correlation that appears in Eq. (147). Using Taylor’s hypothesis to convert Eq. (150) back into a twopoint spatial correlation, we see that correlations over large distances are negligible. In terms of the frequency of temperature fluctuations, correlations are significant over distances of the order v/ω (which is shown in the following). Consider the scenario displayed in Figure 25. Two air pockets are shown at locations \(\vec r, \, \vec r\,{\prime}\) and times t, t′ on two steam lines that we denote by S and S′.
If τ = t − t′ is sufficiently small, then the separation of the two pockets can be written (s^{2} + (vτ)^{2})^{1/2}, where the distance s of the two streamlines S, S′ and v are evaluated at \(\vec r\). Together with Taylor’s hypothesis, temperature fluctuations between the two pockets are significant if τ is sufficiently close to the time τ_{0} it takes for the pocket at \(\vec r{\prime}\) to reach the reference plane, and also s must be sufficiently small. The temperature correlation can then be written as
This allows us to carry out the integral over τ in Eq. (147):
where K_{n}(·) is the modified Bessel function of the second kind, and v, s are functions of \(\vec r\). Again, the integral can only be evaluated if an exponential upper cutoff on the variable τ is multiplied to the integrand, which means that we neglect contributions from largescale temperature perturbations. The correlation spectrum is plotted in Figure 26.
At frequencies above v/s, the spectrum falls exponentially since \(K_\nu(x)\rightarrow \sqrt{\pi/(2x)}\exp(x)\) for x ≫ ∣ν^{2} − 1/4∣. This means that the distance between streamlines contributing to the twopoint spatial correlation must be very small to push the exponential suppression above the detection band. The integral over V′ in Eq. (147) can be turned into an integral over streamlines S′ that lie within a bundle s ≲ υ/ω of streamline S, which allows us to approximate the volume element as cylindrical bundle \({\rm{d}}V{\prime} = 2\pi s{\rm{d}}s\,{\rm{d}}{\tau _0}v(\vec r)\). The form of the volume element is retained over the whole extent of the streamline since the air is nearly incompressible for all conceivable wind speeds, i.e., changes in the speed of the cylindrical pocket are compensated by changes in the radius of the pocket to leave the volume constant. Hence, the speed in the volume element can be evaluated at \(\vec r\). With this notation, the integral can be carried out over 0 < s <∞ since the modified Bessel function automatically enforces the longdistance cutoff necessary for our approximations, which yields
Here the vector \(\vec r\) is parameterized by τ_{0}. This result can be interpreted as follows. We have two streamlines S, S′, whose contributions to this integral are evaluated in terms of the duration τ_{0} it takes for the pocket at \(\vec r{\prime}\) to reach the reference plane that goes through all streamlines, and contains the test mass at \({\vec{r}_{0}}\) and location \(\vec{r}\) (as indicated in Figure 25). Since we consider the pocket on streamline S to be at the reference plane at time t, we can set τ_{0} = t − t′, and integrating contributions from all streamlines over the reference plane with area element dA, with wind speed \(\upsilon(\vec\varrho)\), and \(\vec{\varrho}\) pointing from the test mass to streamlines on the reference plane, we can finally write
In this equation, \(\vec{r}{\prime} = \vec{r}{\prime}(\vec{\varrho}, t{\prime})\), and \(\vec{r}= \vec{r}(\vec{\varrho}, \, t)\) are the parameterized streamlines. For uniform airflow we have v = const, and the remaining integrals can be solved with the results given in Section 6.2. Other examples have been calculated by Creighton [51].
5.3 Gravity perturbations from shock waves
In [51], an estimate of gravity perturbations from a shock wave produced in air was presented based on the infrasound perturbation in Eq. (143). The goal was to estimate the transient gravity perturbation produced when the shock wave reaches the test mass. It did not address the question whether significant gravity perturbations can be produced before the arrival of the shock wave. A timedomain description may give further insight into this problem. As we have seen for seismic point sources, a time domain solution can reveal important characteristics of the gravity perturbation, such as the distinction between gravity perturbations from a distant wavefront, and from a wavefront that has reached the test mass. In the following, we will provide a full timedomain solution for an explosive point source of an atmospheric shock wave. It is assumed that the shock wave is produced sufficiently close to the test mass so that the pressure field can be approximated as spherical at the time the shock wave reaches the test mass. Reflections from the surface and upper atmospheric layers need to be considered for a more refined model applicable to distant sources. A shock wave from an explosive source is isotropic (which is rather a definition of what we mean by explosive source). The pressure change is built up over a brief amount of time initially involving an air mass M = Vρ_{0} determined by the source volume V. In the theory of moment tensor sources, an explosion in air at t_{0} = 0 can be represented by a diagonal moment tensor according to
where α is the speed of sound, γ is the adiabatic coefficient of air, p_{0} the mean air pressure, Δp(t) the pressure change, and 1 the unit matrix. Since shockwave generation is typically nonlinear [172], the source volume should be chosen sufficiently large so that wave propagation is linear beyond its boundary. This entails that the pressure change Δp is also to be evaluated on the boundary of the source volume. Note that in comparison to solitons, shock waves always show significant dissipation, which means that there should not be a fundamental problem with this definition of the source volume. Alternatively, if nonlinear wave propagation is significant over long distances, then one can attempt to linearize the shockwave propagation by introducing a new nonlinear wave speed, which needs to be used instead of the speed of sound [172]. In general, a sudden increase of atmospheric pressure by an explosive source must relax again in some way, which means that Δp(t → ∞) = 0.
Next, we need an expression to obtain the acoustic potential in terms of the moment tensor. The acoustic potential is analogous to the seismic Pwave potential for a medium with vanishing shear modulus, and we can calculate the corresponding perturbation of the gravity potential using Eq. (52). The coupling of a tensor source to the acoustic field can be expressed in terms of the Green’s matrix
where we assume that the shock wave is linear and propagates with the speed of sound outside the source volume, i.e., the amplitude of the shock wave has decreased to a level where nonlinear propagation effects can be neglected. The acoustic potential can now be written
and together with Eq. (52), we find the gravity potential perturbation
where \(\vec r_0\) points from the source to the test mass. This result is of very different nature compared to the gravity potentials for point forces and point shear dislocations presented in Section 4. Due to spherical symmetry of the source, the instantaneous gravity perturbation far away from the source vanishes. If the diagonal components of the source tensor had different values, then the integral contribution in Eq. (157) would remain, which gives rise to instantaneous gravity perturbations at all distances. Source symmetry plays an important role.
The corresponding perturbation of gravity acceleration reads
The gravity perturbation in the far field is dominated by the derivative of the pressure change. One of the examples given in [51] was a sonic boom from a supersonic aircraft. In this case, the source location changes with time along the trajectory of the aircraft. This amounts to an integral of Eq. (160) over the trajectory. It is convenient in this case to introduce r_{0} as distance at closest approach of the air craft to the test mass. The source volume is replaced by the rate V → Av (A being the crosssectional area of the “source tube” around the aircraft trajectory, and v the speed of the aircraft). In the case of uniform motion of the aircraft, the calculation of the integral over the trajectory is straightforward.
The result is shown in Figure 27 for three different ratios of aircraft speed over speed of sound. The pressure change is modelled as Nprofile [51]
which consists of two positive pressure changes by ∇p at times t = 0 and t = ∇t = 0.1r_{0}/α, and a linear pressure fall between these two times. The aircraft trajectory is assumed to be horizontal and passing directly above the test mass. Time t = 0 corresponds to the moment when the aircraft reaches the point of closest approach. If v < α, then sound waves reach the test mass well before the aircraft reaches the closest point of approach. In the case of supersonic flight, α < v, the first sound waves reach the test mass at t = r_{0}/α. Inserting the pressure change into Eq. (160), we see that the farfield gravity perturbation is characterized by two δpeaks. The derivative of the linear pressure change between the peaks cancels with a contribution of the nearfield term. As can be understood from the left plot in Figure 27, the gravity perturbation falls gradually after the initial peak since a test mass inside the cone still responds to pressure changes associated with two propagating wavefronts.
5.4 Gravity perturbations in turbulent flow
In this section, we review the calculation of gravity perturbations from turbulent flow [39]. While in Section 5.2, the problem was to calculate gravity perturbations from an advected temperature field whose spectrum is determined by turbulent mixing, we are now interested in the gravity perturbations from pressure fluctuations produced in turbulent flow. Generation of pressure fluctuations (sound) in air is a nonlinear phenomenon known as Lighthill process [114, 115]. Lighthill found that the NavierStokes equations can be rearranged into equations for the propagation of sound,
where \(\tau_{ij}=\rho v_iv_j+\sigma_{ij}c_{\rm{s}}^2\rho\delta_{ij}\) is an effective stress field, and c_{s} is the speed of sound in the uniform medium. The terms in the effective stress tensor are the fluctuating Reynolds stress ρv_{i}v_{j}, the compressional stress tensor σ_{ij}, and the stress \(c_{\rm{s}}^2\rho\delta_{ij}\) of a uniform acoustic medium at rest. In other words, the effective stress tensor acting as a source term of sound is the difference between the stresses in the real flow and the stress of a uniform medium at rest. Eq. (162) is exact.
In order to calculate the associated gravity perturbations, we introduce some approximations. First, we consider viscous stress contributions to σ_{ij} unimportant (we neglect viscous damping in sound propagation), and therefore the temperature field can be assumed to be approximately uniform. This means that the difference \(\sigma_{ij}c_{\rm{s}}^2\rho\delta_{ij}\) is negligible with respect to the fluctuating Reynolds stress. Furthermore, we will assume that the root mean square of the velocities v_{i} are much smaller than the speed of sound c_{s} (i.e., the turbulence has a small Mach number), and consequently the relative pressure fluctuations \(\delta p(\vec r,t)/p_0\) produced by the Reynolds stress is much smaller than 1. In this case, we can rewrite the Lighthill equation into the approximate form
with \((\nabla \otimes \nabla):(\vec{\upsilon} \otimes \vec{\upsilon}) \equiv \partial_{x_i}\partial_{x_j}\upsilon_{i}\upsilon_{j}\) (summing over indices i, j). This equation serves as a starting point for the calculation of the pressure field. It describes the production of sound in turbulent flow through conversion of shear motion into longitudinal motion. The Reynolds stress represents a quadrupole source, which means that sound production is less efficient in turbulent flow than for example at vibrating boundaries where the source has dipole form. The remaining task is to characterize the velocity fluctuations in terms of spatial correlation functions, translate these into a twopoint correlation function of the pressure field using Eq. (163), and finally obtain the spectrum of gravity fluctuations from these correlations. The last step is analogous to the calculation carried out in Section 5.2, specifically Eq. (147), for the perturbed temperature field. The calculation of gravity perturbations will be further simplified by assuming that the velocity field is stationary, isotropic, and homogeneous. These conditions can certainly be contested, but they are necessary to obtain an explicit solution to the problem (at least, solutions for a more general velocity field are unknown to the author).
Since the source term is quadratic in the velocity field, it is clear that the problem of this section is rather complicated. For example, the relation between temperature perturbations and gravity fluctuations was linear. For this reason, the authors of [39] decided to carry out the calculation in Fourier space (with respect to time and space). From Eq. (163), we can calculate the Fourier transform of the autocorrelation of the pressure field, which yields (see Section A.5)
Note that the convention in turbulence theory used here to normalize the Fourier transform by 1/(2π)^{4} is different from the convention used elsewhere in this article, where the inverse Fourier transform obtains this factor. The fact that noise amplitudes at different wave vectors and frequencies do not couple is a consequence of homogeneity and stationarity of the velocity field. Once the spectral density of pressure fluctuations is known, we can use it to calculate the gravity perturbation according to
which is given in tensor form to describe spectral densities of the three acceleration components including their crossspectral densities. This equation is obtained by taking the negative gradient of the first line in Eq. (40), and subsequently calculating its spatial Fourier transform.
We can now focus on the calculation of the source spectrum. According to Isserlis’ theorem, the ensemble average in Eq. (164) can be converted into a product of secondorder moments in case that the velocity fluctuations are Gaussian. We assume this to be the case (one of the less disputable assumptions), and write:
The secondorder moments are determined by turbulence theory. An isotropic turbulence has the wavenumber spectrum [57]
where \(\mathcal E(k)=\mathcal K_0\epsilon^{2/3}k^{5/3}\) is the Kolmogorov energy spectrum, \(\mathcal K_0\) the Kolmogorov number, and ϵ the total (specific) energy dissipated by viscous forces
Here, ν is the fluid’s viscosity. The Kolmogorov energy spectrum holds for the inertial regime \(\mathcal{I}\) (viscous forces are negligible), i.e., for wavenumbers between \(k_0=2\pi/\mathcal R\) and k_{ν} = (ϵ/ν^{3})^{1/4}, where \(\mathcal R\) is the linear dimension of the largest eddy in the turbulent flow. In Eq. (167), we have only written the equaltime correlations (the first following from the second equation). The velocities in the second equation should however be evaluated at two different times t, t + τ. In [105], we find that for k ≫ k_{0}
with \(\tau _0^2(k) = 1/({k^2}\langle \upsilon _i^2\rangle)\), where v_{i} is any of the components of the velocity vector. The first term in Eq. (166) is independent of time for a stationary velocity field (both expectation values are equaltime). Therefore, its energy only contributes to frequency ω = 0, and we can neglect it. The Fourier transform in Eq. (164) of the second and third terms in Eq. (166) with respect to τ can be carried out easily using Eq. (169). Also integrating over the angular coordinates of the spatial Fourier transform in Eq. (164), the gravity spectrum can be written
Probably the best way to proceed is to carry out the integral over the radius r. The integrands are products of three spherical Bessel functions. An analytic solution for this type of integral was presented in [123] where we find that the integral is nonzero only if the three wavenumbers fulfill the triangular relation ∣k′ − k″∣ ≤ k ≤ k′ + k″ (i.e., the sum of the three corresponding wave vectors needs to vanish), and the orders of the spherical Bessel functions must fulfill ∣n′ − n″∣ ≤ n ≤ n′+ n″. Especially the last relation is useful since many products can be recognized by eye to have zero value. In each case, the result of the integration is a rational function of the three wavenumbers if the triangular condition is fulfilled, and zero otherwise. While it may be possible to solve the integral analytically, we will stop the calculation at this point. Numerical integration as suggested in [39] is a valuable option. The squareroots of the noise spectra normalized to units of GW amplitude, \(2S(\delta\vec a;\vec k,\omega)/(L\omega^2)^2\), are shown in Figure 28 for k = 0.1 m^{−1}, k = 0.67 m^{−1}, k = 1.58 m^{−1}, k = 3.0 m^{−1}, where L = 3000 m is the length of an interferometer arm.
Each spectrum is exponentially suppressed above the corner frequency 1/τ_{0}(k) with τ_{0} = 3.5s, 0.52s, 0.22s, 0.12s. Below the corner frequency, the spectrum is proportional to 1/ω^{2}. In order to calculate the dissipation rate ϵ, a measured spectrum was used [10], which has a value of about 1 m^{3} s^{−2} at k = 1m^{−1}, and wavenumber dependence approximately equal to the Kolmogorov spectrum. In this way, we avoid the implicit relation of the dissipation rate in Eq. (168), since ϵ also determines the Kolmogorov energy spectrum. Solving the implicit relation for ϵ gave poor numerical results, and also required us to extend the energy spectrum (valid in the inertial regime) to higher wavenumbers (the viscous regime). It is also worth noting that the energy spectrum and the scale \(\mathcal{R}\) (we used a value of 150 m) are the only required model inputs related to properties of turbulence. Any other turbulence parameter in this calculation can be calculated from these two (and a few standard parameters such as air viscosity, air pressure, …). The resulting spectra show that Newtonian noise from the Lighthill process is negligible above 5 Hz, but it can be a potential source of noise in lowfrequency detectors. In the future, it should be studied how strongly the Lighthill gravity perturbation is suppressed when the detector is built underground.
5.5 Atmospheric Newtoniannoise estimates
In the following, we present the strainnoise forms of gravity perturbations from infrasound fields and uniformly advected temperature fluctuations. While the results of the previous sections allow us in principle to estimate noise at the surface as well as underground, we will only calculate the surface noise spectra here. Newtonian noise from advected temperature perturbations decreases strongly with depth and should not play a role in underground detectors. Suppression of infrasound gravity noise with depth depends strongly on the isotropy of the infrasound field. Using Eq. (143), it is straightforward to modify the results of this section to include noise suppression with depth once the infrasound field is characterized.
We start with the infrasound Newtonian noise. According to Eq. (143), the gravity acceleration of a single test mass at z_{0} = 0 due to an infrasound wave is given by
Averaging over all propagation directions, the strain noise measured between two test masses separated by a distance L along \(\vec{e}_x\) reads
The gravitystrain amplitude response is plotted in Figure 29 expressing the distance between the two test masses in units of sound wavelength λ_{IS} = 2π/k.
For short distances between the test masses, the response is independent of L, and at large distances, the response falls with 1/L. The longdistance response follows from the fact that gravity noise is uncorrelated between the two test masses, while the smalldistance response corresponds to the regime where the two test masses sense gravitygradient fluctuations.
The strain noise spectrum from uniformly advected temperature fluctuations is calculated from Eq. (155) using the solution of the integrals given in Section 6.2:
where the modified Bessel functions were approximated according to Eq. (178). We assume that both test masses experience gravity perturbations characterized by the same spectral densities. The integral over stream lines in Eq. (155) was carried out over a semiinfinite disk with a diskshaped excision of radius r_{min} around the test mass. The excision enforces a minimum distance between stream lines and test masses, for example because of buildings hosting the test masses. Due to the exponential suppression, this noise contribution can be expected to be insignificant deep underground. The integration includes an average over streamline directions. If the expression is to be converted into a GW strain sensitivity of a twoarm interferometer, then it is not fully accurate to simply multiply the strain noise by 2 due to gravity correlations between the two inner test masses of the two arms. Nonetheless, for the noise budget presented in this section, we will use the factor 2 conversion.
Figure 30 shows the Newtoniannoise spectra together with a reference sensitivity of the Advanced Virgo detector.
The Newtonian noise from advected temperature fields is evaluated using a wind speed of v = 15 m/s, and a minimum distance of 5 m to the test masses. With respect to the advanced GW detectors LIGO/Virgo, atmospheric Newtonian noise will be insignificant according to these results.
The slope of infrasound Newtonian noise is steeper than of seismic Newtonian noise (see Figure 35), which can be taken as an indication that there may be a frequency below which atmospheric Newtonian noise dominates over seismic Newtonian noise. This has in fact been predicted in [88]. Using measured spectra of atmospheric pressure fluctuations and seismic noise, the intersection between seismic and infrasound Newtonian noise happens at about 1 Hz for a test mass at the surface. From Section 7.1.5, we also know that Newtonian noise from atmospheric pressure fluctuations is the dominant ambient noise background around 1 mHz. One might be tempted to conclude that gravity perturbations from advected temperature fields may be an even stronger contribution at low frequencies. However, one has to be careful since the noise prediction cannot be extended to much below a few Hz without modifying the model. The quasistatic approximation of the temperature field will fail at sufficiently low frequencies, and the temperature field cannot be characterized anymore as a result of turbulent mixing [113]. Also, the part of the model shown in Figure 30 is characterized by an exponential suppression (effective above 3 Hz).
5.6 Summary and open problems
In this section, we reviewed models of atmospheric gravity perturbations that are either associated with infrasound waves, or with quasistationary temperature fields advected by wind. We have seen that atmospheric Newtonian noise will very likely be insignificant in GW detectors of the advanced generation. For surface detectors, atmospheric Newtonian noise starts to be significant below 10 Hz according to these models.
According to Eqs. (172) and (173), and comparing with seismic Newtonian noise (see Figure 35), we see that atmospheric spectra are steeper and therefore potentially the dominating gravity perturbation in lowfrequency detectors. However, both models are based on approximations that may not hold at frequencies below a few Hz. A summary of approximations applied to the infrasound Newtonian noise model can be found in [88], including modelling of a halfspace atmosphere, neglecting wind, etc. Also the noise model of advected temperature fluctuations likely does not hold at low frequencies since it is based on the assumption that the temperature field is quasistationary. In addition, at low frequencies, nearsurface temperature spectra can be affected by variations of ground temperature in addition to turbulent mixing.
As we have seen, few timevarying atmospheric noise models have been developed so far, which leaves plenty of space for future work in this field. For example, convection may produce atmospheric gravity perturbations, and only very simple models of gravity perturbations from turbulence have been calculated so far. While these yet poorly modelled forms of atmospheric noise are likely insignificant in GW detectors sensitive above 10 Hz, they may become important in lowfrequency detectors. Another open problem is to study systematically the decrease in atmospheric Newtonian noise with depth in the case of underground GW detectors. Especially, it is unclear how much atmospheric noise is suppressed in subHz underground detectors. We have argued that seismic Newtonian noise does not vary significantly with detector depth in lowfrequency GW detectors, but some forms of atmospheric Newtonian noise depend strongly on the minimal distance between source and test mass. So the conclusion might be different for atmospheric noise. Finally, the question should be addressed whether atmospheric disturbances transmitted in the form of seismic waves into the ground can be neglected in Newtoniannoise models. As we outlined briefly in Section 5.1, even though transmission coefficients of sound waves into the ground are negligible with respect to their effect on seismic and infrasound fields, it seems that they may be relevant with respect to their effect on the gravity field.
6 Gravity Perturbations from Objects
In the previous sections, Newtoniannoise models were developed for density perturbations described by fields in infinite or halfinfinite media. The equations of motion that govern the propagation of disturbances play an important role since they determine the spatial correlation functions of the density field. In addition, gravity perturbations can also be produced by objects of finite size, which is the focus of this section. Typically, the objects can be approximated as sufficiently small, so that excitation of internal modes do not play a role in calculations of gravity perturbations. The formalism that is presented can in principle also be used to calculate gravity perturbations from objects that experience deformations, but this scenario is not considered here. In the case of deformations, it is advisable to make use of a numerical simulation. For example, to calculate gravity perturbations from vibrations of vacuum chambers that surround the test masses in GW detectors, Pepper used a numerical simulation of chamber deformations [136]. A first analytical study of gravity perturbations from objects was performed by Thorne and Winstein who investigated disturbances of anthropogenic origin [163]. The paper of Creighton has a section on gravity perturbations from moving tumbleweeds, which was considered potentially relevant to the LIGO Hanford detector [51]. Interesting results were also presented by Lockerbie [117], who investigated corrections to gravity perturbations related to the fact that the test masses are cylindrical and not, as typically approximated, point masses.
Section 6.1 presents rules of thumb that make it possible to estimate the relevance of perturbations from an object “by eye” before carrying out any calculation. Sections 6.2 and 6.3 review wellknown results on gravity perturbations from objects in uniform motion, and oscillating objects. A generic analytical method to calculate gravity perturbations from oscillating and rotating objects based on multipole expansions is presented in Sections 6.5 and 6.6.
6.1 Rules of thumb for gravity perturbations
From our modelling effort so far, we conclude that seismic fields produce the dominant contribution to Newtonian noise above a few Hz. In terms of testmass acceleration, seismic Newtonian noise is proportional to the displacement ξ, and ground density ρ:
This relation is true for any type of seismic field, underground and above surface, with or without scattering, and to make this equation exact, a numerical factor needs to be multiplied, which, in the cases studied so far, should realistically lie within the range 1–10. This was one of the results of Section 3. Other forms of Newtonian noise would be deemed relevant if they lay within a factor 10 to seismic Newtonian noise (this number can increase in the future with improving noisecancellation performance). The question that we want to answer now is under which circumstances an object would produce gravity perturbations comparable to perturbations from seismic fields. Intuitively, one might think that an object only needs to be close enough to the test mass, but this is insufficient unless the object almost touches the test mass, as will be shown in the following.
Let us consider the gravity perturbation from a small mass of volume δV and density ρ_{0} at distance r to the test mass that oscillates with amplitude ξ(t) ≪ r. We can use the dipole form in Eq. (42) to calculate the gravity perturbation at \(\vec r_0=\vec 0\):
Acceleration produced by a point mass scales similarly to acceleration from seismic fields according to Eq. (174), but the amplitude is reduced by δV/r^{3}. In numbers, a solid object with 1 m diameter at a distance of 5 m oscillating with amplitude equal to seismic amplitudes, and equal density to the ground would produce Newtonian noise, which is about a factor 100 weaker than seismic Newtonian noise. Infrastructure at GW detectors near test masses include neighboring chambers, which can have diameters of several meters, but the effective density is low since the mass is concentrated in the chamber walls.
If the distance r is decreased to its minimum when the test mass and the perturbing mass almost touch, then the factor δV/r^{3} is of order unity. It is an interesting question if there exist geometries of disturbing mass and test mass that minimize or maximize the gravitational coupling of small oscillations. An example of a minimization problem that was first studied by Lockerbie [117] is presented in Section 6.4. The maximization of gravitational coupling by varying object and testmass geometries could be interesting in some experiments. Maybe it is possible to base a general theorem on the multipole formalism for small oscillations introduced in Section 6.5.
One mechanism that could potentially boost gravity perturbations from objects are internal resonances. It is conceivable that vibration amplitudes are amplified by factors up to a few hundred on resonance, and therefore it is important to investigate carefully the infrastructure close to the test mass. There is ongoing work on this for the Virgo detector where handles attached to the ground are located within half a meter to the test masses. While the rule of thumb advocated in this section rules out any significant perturbation from the handles, handle resonances may boost the gravity perturbations to a relevant level. Finally, we want to emphasize that the rule of thumb only applies to perturbative motion of objects. An object that changes location, or rotating objects do not fall under this category.
6.2 Objects moving with constant speed
Objects moving at constant speed produce gravity perturbations through changes in distance from a test mass. It is straightforward to write down the gravitational attraction between test mass and object as a function of time. The interesting question is rather what the perturbation is as a function of frequency. While gravity fluctuations from random seismic or infrasound fields are characterized by their spectral densities, gravity changes from moving objects need to be expressed in terms of their Fourier amplitudes, which are calculated in this section. Since the results should also be applicable to lowfrequency detectors where the test masses can be relatively close to each other, the final result will be presented as strain amplitudes.
We consider the case of an object of mass m that moves at constant speed v along a straight line that has distance r_{1}, r_{2} to two test masses of an arm at closest approach. The vectors \(\vec r_1, \, \vec r_2\) pointing from the test mass to the points of closest approach are perpendicular to the velocity \(\vec v\). The closest approach to the first test mass occurs at time t_{1}, and at t_{2} to the second test mass.
As a function of time, the acceleration of test mass 1 caused by the uniformly moving object reads
The Fourier transform of \(\delta \vec a_1(t)\) can be directly calculated with the result
with K_{n} (x) being the modified Bessel function of the second kind. This equation already captures the most important properties of the perturbation in frequency domain. The ratio v/r_{1} marks a threshold frequency. Above this frequency, the argument of the modified Bessel functions is large and we can apply the approximation
which is valid for x ≫ ∣n^{2} − 1/4∣. We see that the Fourier amplitudes are exponentially suppressed above v/r_{1}. The expression in Eq. (177) has the same form for the second test mass. We can however eliminate t_{2} in this equation since the distance travelled by the object between t_{1} and t_{2} is \(L({\vec e_{12}}\, \cdot \, \vec \upsilon)/\upsilon\), where L is the distance between the test masses, and \(\vec e_{12}\) is the unit vector pointing from test mass 1 to test mass 2, and so \(t_2=t_1+L(\vec e_{12}\, \cdot \, \vec \upsilon)/\upsilon^2\). Another substitution that can be made is
The strain amplitude is then simply given by
Let us consider a simplified scenario. The test masses are assumed to be underground at depth D, and a car is driving directly above the test masses with \(\vec v\) parallel \(\vec e_{12}\) and perpendicular to \(\vec r_1\). Therefore, \(\vec r_1=\vec r_2\), and t_{2} − t_{1} = L/v. The corresponding strain amplitude is
Notice that the strain amplitude is independent of the test mass separation L at frequencies ω ≪ v/L. The plots in Figure 31 show the strain amplitudes with varying speeds v and arm lengths L. In the former case, the arm length is kept constant at L = 500 m, in the latter case, the speed is kept constant at v = 20 m/s. The mass of the car is 1000 kg, and the depth of the test masses is 300 m.
While this form of noise is irrelevant to largescale GW detectors sensitive above 10 Hz, lowfrequency detectors could be strongly affected. According to the left plot, one should better enforce a speed limit on cars to below 10 m/s if the goal is to have good sensitivity around 0.1 Hz. Another application of these results is to calculate Newtonian noise from uniformly advected atmospheric temperature fields as discussed in Section 5.2. For uniform airflow, the remaining integrals in Eq. (155) are the Fourier transform of Eq. (176), whose solution was given in this section.
6.3 Oscillating point masses
Oscillating masses can be a source of gravity perturbations, where we understand oscillation as a periodic change in the position of the center of mass. As we have seen in Section 6.1, it is unlikely that these perturbations are dominant contributions to Newtonian noise, but in the case of strongly reduced seismic Newtonian noise (for example, due to coherent noise cancellation), perturbations from oscillating objects may become significant. For an accurate calculation, one also needs to model disturbances resulting from the reaction force on the body that supports the oscillation. In this section, we neglect the reaction force. Oscillation is only one of many possible modes of object motion that can potentially change the gravity field. A formalism that can treat all types of object vibrations and other forms of motion is presented in Section 6.4.
The goal is to calculate the gravity perturbation produced by an oscillating point mass m as strain noise between two test masses at distance L to each other separated along the direction of the unit vector \(\vec e_{12}\).
While the direction of oscillation is assumed to be constant, the amplitude is random and therefore characterized by a spectral density. As usual, we will denote the amplitudes of oscillation by ξ(ω) keeping in mind that these only have symbolic meaning and need to be translated into spectral densities. We only allow for small oscillations, i.e., with ξ being much smaller than the distance of the object to the two test masses. The acceleration of the first test mass has the wellknown dipole form
where \(\vec e_{r_1}\) is the unit vector pointing from the first test mass to the object, and r_{1} is the distance between them. The acceleration of the second test mass has the same form, and we can substitute \(\vec e_{r_2}=(\vec e_{r_1}+\lambda\vec e_{12})/\delta\) and r_{2} = r_{1}δ with \(\delta\equiv(1+\lambda^22\lambda(\vec e_{r_1}\cdot\vec e_{12}))^{1/2}\) and λ ≡ L/r_{1}.
Let us consider the case of an object oscillating along the direction \(\vec e_{12}\), and \(\vec e_{12}\) being perpendicular to \(\vec e_{r_1}\). Then we can write for the strain noise
Changing the direction of oscillation from \(\vec e_{12}\) to \(\vec e_{r_1}\), the strain noise reads
While h_{∥}(ω) becomes arbitrarily small with decreasing λ, h_{⊥}(ω) approaches a constant value. Towards high frequencies, h_{⊥} falls rapidly since there is no force along \(\vec e_{12}\) on the first test mass, and the distance of the object to the second test mass increases with growing λ, and also the projection of the gravity perturbation at the second test mass onto \(\vec e_{12}\) becomes smaller.
Figure 33 shows the gravity strain response to an oscillating object for oscillations parallel to \(\vec e_{12}\) (left) and perpendicular to \(\vec e_{12}\) (right). The position of the object is parameterized by the angle \(\phi=\arccos(\vec e_{12}\cdot\vec e_{r_1})\) (which we call polar angle). Eqs. (183) and (184) correspond to the response on the lines ϕ = π/2. The response grows to infinity for λ = 1 and polar angle ϕ = 0 since the object is collocated with the second test mass. Note that λ > 1 and ϕ = 0 means that the object lies between the two test masses.
6.4 Interaction between mass distributions
In the following, we discuss gravitational interaction between two compact mass distributions. We consider the case where the distance R_{AB} between the two centers of mass is greater than the object diameters at largest extent. The socalled bipolar expansion allows us to express the gravitational force in terms of mass multipole moments. The idea is to split the problem into three separate terms. One term depends on the vector \(\vec R_{\rm{AB}}\) that points from the center of mass A to the center of mass B. Each individual mass is expanded into its multipoles according to Eq. (274) calculated in identically oriented coordinate systems, but with their origins corresponding to the two centers of mass. The situation is depicted in Figure 34.
Technically, the origins do not have to be the centers of mass, but in many cases it is certainly the preferred choice. The calculation of the bipolar expansion of the interaction energy between two charge distributions is outlined [158]. The result can either be expressed in terms of the Wigner 3j symbols or ClebschGordan coefficients. We will use ClebschGordan coefficients (see Appendix A.4):
where \(I_L^M(\cdot)\) are the interior solid spherical harmonics defined in Eq. (273), and L ≡ l_{1} + l_{2}, M ≡ m_{1} + m_{2}. It is not very difficult to generalize this equation for arbitrary mass distributions (one object inside another hollow object, etc), but we will leave this for the reader. The method is essentially an exchange of irregular and regular solid spherical harmonics in Eq. (185) together with Eqs. (274) and (275). Also, in general it may be necessary to divide the multipole integral in Eq. (274) into several integrals over regular and irregular harmonics. A practical method to calculate the ClebschGordan coefficients 〈l_{1},m_{1}; l_{2}, m_{2}∣L, M〉 is outlined in Section A.4.
As a first example, we apply the formalism to calculate the gravity force between a point mass and a cylindrical mass. This scenario has been first considered by Lockerbie [117] to investigate whether the typical approximation of the test mass as a point mass is valid. The only nonvanishing multipole moment of a point mass M in a coordinate system centered on its position is \(X_0^0=M\). Therefore the interaction energy can be written
Let us consider the specific example of a point mass interacting with the quadrupole moment of a cylindrical mass of uniform density (the dipole moment of the cylinder is zero). The cylinder of mass M has a radius R and a height H. Aligning the zaxis of the coordinate system with the symmetry axis of the cylinder, the only nonvanishing moments of the cylinder have m = 0 due to axial symmetry. Therefore, the relevant solid spherical harmonic expressed in cylindrical coordinates is given by
According to Eq. (274), the corresponding quadrupole moment with respect to the center of mass is
Since the zaxis is defined parallel to the symmetry axis of the cylinder, the spherical angular coordinate θ in \(I_2^0(\vec R_{AB})\) represents the angle between the symmetry axis and the separation vector \(\vec R_{AB}\). The interaction energy of the quadrupole term can be written
Next we outline briefly how to calculate a gravitational force between two bodies based on the bipolar expansion involving one point mass m. The gravitational force is the negative gradient of the interaction energy, which can be calculated using Eq. (266)
which involves the vector spherical harmonics defined in Eq. (263). Interestingly, the quadrupole moment of the cylinder, and the associated interaction energy and force, are zero when \(H=\sqrt{3}R\). Since the quadrupole moment can be considered describing the lowestorder correction of the monopole gravitational force, a cylinder with vanishing quadrupole moment behaves very much like a point mass in interactions with nearby point masses. An interesting application of this result is presented in [118].
The interaction of the point mass with the monopole and quadrupole moments of the cylinder can also lead to a cancellation of certain components of the force. For example, calculating the sum of the monopole and quadrupole terms of the last equation in radial direction, we have
Obviously, cancellation is impossible if \(H=\sqrt{3}R\). Conversely, the quadrupole moment can also lead to an enhancement of components of the gravitational force relative to the monopole term.
6.5 Oscillating objects
In the previous section, we introduced the formalism of bipolar expansion to calculate gravitational interactions between two bodies. However, what we typically want is something more specific such as the change in gravity produced by translations and rotations of bodies. Translations in the form of small oscillations will be studied in this section, rotations in the following section. We emphasize that the same formalism can also be used to describe changes in the gravity field due to arbitrary vibrations of bodies by treating these as changes in the coefficients of a multipole expansion.
In this section, we assume that the orientation of the two bodies does not change, while the separation between them changes. This can either be incorporated into the formalism as a change of \(\vec R_{\rm{AB}}\), which, according to Eq. (185), requires a transformation rule for the irregular solid spherical harmonics under translation. Alternatively, we could also treat \(\vec R_{\rm{AB}}\) as constant, but translate one of the bodies inside its own coordinate system leading to changes in its multipole moments. In either case, the effect of translation can be accounted for using the transformation rules on the regular or irregular solid spherical harmonics in the form of addition theorems. In the case of regular solid spherical harmonics, the result can be written in terms of ClebschGordan coefficients
The addition theorem for the irregular solid spherical harmonics reads
where \(\vec r_>\) is the longer of the two vectors \(\vec r_1, \, \vec r_2\) and \(\vec r_<\) is the shorter one. These addition theorems can be found in different forms [160, 41]. We chose the ClebschGordan variant since it bears some similarity to the bipolar expansion.
In the following, we describe oscillations of a body as a small change in \(\vec R_{\rm{AB}}\), which means that we need to apply the addition theorem of irregular harmonics. In Eq. (193), we set \(\vec r_1=\vec R_{\rm{AB}}\) and \(\vec r_2=\vec \xi\). Since the oscillation amplitude ξ is assumed to be small, we only keep terms up to linear order in ξ:
Let us illustrate this result with an example. We apply the linearized addition theorem to the case of an interaction between a quadrupole moment of a cylinder and an oscillating point mass. The cylinder is meant to represent a test mass of a GW detector, the point mass can represent part of a larger vibrating object in the vicinity of the test mass. Using the notation of the example in the previous section, the perturbed interaction energy can be written as
where \(\vec e_z\) is the symmetry axis of the cylinder, \(\vec e_{\rm{AB}}\equiv \vec R_{AB}/R_{AB}\), and \(\vec e_\xi\equiv\vec \xi/\xi\) In the case of a point mass being displaced along the radial direction, parallel to \(\vec R_{AB}\), the perturbed interaction potential simplifies to
This result can also be derived directly from Eq. (189). For displacements perpendicular to the radial direction \(\vec R_{AB}\), the interaction potential simplifies to
In this scenario, the displacement \(\vec \xi\) of the point mass should be considered a function of time. The result describes the lowest order correction of the monopolemonopole timevarying interaction between a point mass and a cylinder. We see that the quadrupole contribution is suppressed by a factor ξ/R_{AB} (the vibration amplitude is at most a few millimeters). Therefore it is clear that corrections from higherorder moments only matter if gravitational interaction is measured very precisely, or the vibrating point mass is very close to the cylinder.
6.6 Rotating objects
Gravity perturbations can be generated by rotating objects such as exhaust fans or motors. We will again use the formalism of the bipolar expansion to calculate the gravitational interaction. In analogy to the previous section, a transformation rule is required for solid spherical harmonics under rotations. For this, we need to work in two coordinate systems. One coordinate system is body fixed. When the body rotates, this coordinate system rotates with it. For the bipolar expansion, we also need to define a coordinate system of the “laboratory frame”, and the purpose of the rotation transformation is to describe the relative orientation of a bodyfixed coordinate system to the laboratory frame. Rotations are easier to describe since we have chosen to work with spherical multipole expansions in this article. According to Eq. (273), if we understand the transformation of scalar surface spherical harmonics under rotations, then we automatically have the transformation of solid spherical harmonics. The transformation of surface spherical harmonics under rotations can be written in terms of the Wigner Dmatrices [143, 160]:
and since the transformation is unitary:
Primed coordinates stand for the bodyfixed system, while coordinates without prime belong to the laboratory frame. Rotations preserve the degree l of spherical harmonics.
The rotation is defined in terms of the Euler angles α, β, γ around three axes derived from the bodyfixed system. The first rotation is by α around the zaxis of the bodyfixed system, then by β around the y′axis of the once rotated coordinate system (following the convention in [160]), and finally by γ around the z″axis of the twice rotated coordinate system. Rotations around the zaxes lead to simple complex phases being multiplied to the spherical harmonics. The rotation around the y′axis is more complicated, and the general, explicit expressions for the components \(D_{m,m{\prime}}^{(l)^{\ast}}(\alpha,\beta,\gamma)\) of the rotation matrix are given by[160]:
where the sum is carried out over all values of k that give nonnegative factorials in the two binomial coefficients: max(0, m − m′) ≤ k ≤ min(l − m′,l + m). In the remainder of this section, we apply the rotation transformation to the simple case of a rotating ring of N point masses. Its multipole moments have been calculated in Section A.3. The goal is to calculate the gravity perturbation produced by the rotating ring, assumed to have its symmetry axis pointing towards the test mass that is now modelled as a point mass. In this case, we can take Eq. (186) as starting point. The rotation transforms the exterior multipole moments \(X_l^{m,\rm{B}}\). We have seen that multipole moments of the ring vanish unless m = 0, N, 2N,… and l + m must be even. Only the first (or last) Euler rotation by an angle α = ωt is required, which yields
This result is obtained immediately using \(d_{m{\prime},m}^{(l)}(0)=\delta_{m{\prime},m}\). This result could have been guessed directly by noticing that the azimuthal angle ϕ_{k} that determines the position of a point mass on the ring appears in the spherical harmonics as phase factor exp(im(imϕ_{k}). When the ring rotates, all azimuthal angles change according to ϕ_{k}(t) = ϕ_{k}(0) − ϕt.
Since \(X_l^m\) vanishes unless m = 0, N, 2N, …, only specific multiples of the rotation frequency ω can be found in the timevarying gravity field. The number N of point masses on the ring quantifies the level of symmetry of the ring, and acts as an upconversion factor of the rotation frequency. Therefore, if gravity perturbations are to be estimated from rotating bodies such as a rotor, then the level of symmetry is important. However, the higher the upconversion, the stronger is the decrease of the perturbation with distance from the ring. It would of course be interesting to study the effect of asymmetries of the ring on gravity perturbations. For example, the point masses can be slightly different, and their distance may not be equal among them. It is not a major effort to generalize the symmetric ring study to be able to calculate the effect of these deviations.
6.7 Summary and open problems
In this section, we reviewed the theoretical framework to calculate gravity perturbations produced by finitesize objects. Models have been constructed for uniformly moving objects, oscillating objects, as well as rotating objects. In all examples, the object was assumed to be rigid, but expanding a mass distribution into multipole moments can also facilitate simple estimates of gravity perturbations from excited internal vibration modes. An “external” vibration in the sense of an isolated oscillation does not exist strictly speaking since there must always be a physical link to another object to compensate the momentum change, but it is often possible to identify a part of a larger object as main source of gravity perturbations and to apply the formalism for oscillating masses.
Many forms of object Newtonian noise have been estimated [136, 66]. So far, none of the potential sources turned out to be relevant. In Section 6.1, we learned why it is unlikely that object Newtonian noise dominates over seismic Newtonian noise. Still, one should not take these rules of thumb as a guarantee. Strong vibration, i.e., with amplitudes much larger than ground motion, can in principle lead to significant noise contributions, especially if the vibration is enhanced by internal resonances of the objects. Any form of macroscopic motion including rotations (in contrast to smallamplitude vibrations) should of course be avoided in the vicinity of the test masses.
A Newtoniannoise budget based on an extensive study of potential sources at the LIGO sites was published in [66]. The result is shown in Figure 35.
The curves are based on seismic, sound, and vibration measurements. The seismic Newtonian noise curves are modelled using Eq. (97), the sound Newtonian noise using Eq. (172), and estimates of gravity perturbations from wall panels, the buildings, and fans are modelled using equations from this section. Gravity perturbations from the buildings assume a rocking motion of walls and roof. The exhaust fan strongly vibrates due to asymmetries of the rotating parts, which was taken as source of gravity perturbations. Finally, panels attached to the structure of the buildings show relatively high amplitudes of a membrane like vibration. Nonetheless, these sources, even though very massive, do not contribute significantly to the noise budget.
Greater care is required when designing future GW detectors with target frequencies well below 10 Hz. These will rely on some form of Newtoniannoise mitigation (passive or active), which increases the relative contribution of other forms of gravity perturbations. Also, in some cases, as for the uniform motion discussed in Section 6.2, there is a link between the shape of the gravity perturbation spectrum and the distance between object and test mass. These classes of gravity perturbations (and we have identified only one of them so far), can be much stronger at lower frequencies.
Future work on object Newtonian noise certainly includes a careful study of this problem for lowfrequency GW detectors. In general, it would be beneficial to set up a catalogue of potential sources and corresponding gravity models to facilitate the process of estimating object Newtonian noise in new detector designs. Another interesting application of the presented formalism could be in the context of experiments carried out with the intention to be sensitive to gravity perturbations produced by an object (such as the quantumgravity experiment proposed by Feynman [180]). The formalism presented in this section may help to optimize the geometrical design of such an experiment.
7 NewtonianNoise Mitigation
In early sensitivity plots of GW detectors, Newtonian noise was sometimes included as infrastructure noise. It means that it was considered a form of noise that cannot be mitigated in a straightforward manner, except maybe by changing the detector site or applying other major changes to the infrastructure. Today however, some form of Newtoniannoise mitigation is part of every design study and planning for future generations of GW detectors, and it is clear that mitigation techniques will have a major impact on the future direction of groundbased GW detection. The first to mention strategies of seismic Newtoniannoise mitigation “by modest amounts” were Hughes & Thorne [99]. Their first idea was to use arrays of dilatometers in boreholes, and seismometers at the surface to monitor the seismic field and use the sensor data for a coherent subtraction of Newtonian noise. The seismic channels serve as input to a linear filter, whose output is then subtracted from the target channel (i.e., the data of a GW detector). The output of an optimal filter can be interpreted as the best possible linear estimation of gravity perturbations based on seismic data. This method will be discussed in Section 7.1. The second idea was to construct narrow moats around the test masses that reflect incoming Rf waves and therefore reduce seismic disturbances and associated gravity perturbations. As they already recognized in their paper, and as will be discussed in detail in Section 7.3, moats must be very deep (about 10 m for the LIGO and Virgo sites). They are also less effective to reduce Newtonian noise from body waves.
The idea of coherent cancellation of seismic Newtonian noise has gained popularity in the GW community, probably because it is based on techniques that have already been implemented successfully in GW detectors to mitigate other forms of noise [74, 65, 59]. These techniques are known as active noise mitigation. It is mostly considered as a means to reduce seismic Newtonian noise, but the same scheme may also be applied to atmospheric Newtonian noise (see especially Section 7.1.5) and possibly also other forms of gravity perturbations. While for example active seismic isolation cancels seismic disturbances before they reach the final suspension stages of a test mass, gravity perturbations have to be cancelled in the data of the GW detector. Coherent cancellation comes without (known) ultimate limitations, which means that in principle any level of noise reduction can be achieved provided that the environmental sensors are sufficiently sensitive, and one can deploy as many senors as required. The prediction by Hughes & Thorne of a modest noise reduction rather follows from a vision of a practicable solution at the time the paper was written. The first detailed study of coherent Newtoniannoise cancellation was carried out by Cella [42]. He studied the Wienerfilter scheme. Wiener filters are based on observed mutual correlation between environmental sensors and the target channel. The Wiener filter is the optimal linear solution to reduce variance in a target channel as explained in Section 7.1.1. The goal of a cancellation scheme can be different though, e.g., reduction of a stationary noise background in nonstationary data. The focus in Section 7.1 will also lie on Wiener filters, but limitations will be demonstrated, and the creation of optimal filters using real data is mostly an open problem.
Techniques to mitigate Newtonian noise without using environmental data are summarized under the category of passive Newtoniannoise mitigation. Site selection is the best understood passive mitigation strategy. The idea is to identify the quietest detector site in terms of seismic noise and possibly atmospheric noise, which obviously needs to precede the construction of the detector as part of a siteselection process. The first systematic study was carried out for the Einstein Telescope [27] with European underground sites. Other important factors play a role in site selection, and therefore one should not expect that future detector sites will be chosen to minimize Newtonian noise, but rather to reduce it to an acceptable level. Current understanding of site selection for Newtoniannoise reduction is reviewed in Section 7.2. Other passive noisereduction techniques are based on building shields against disturbances that cause density fluctuations near the test masses, such as moats and recess structures against seismic Newtonian noise, which are investigated in Section 7.3.
7.1 Coherent noise cancellation
Coherent noise cancellation, also known as active noise cancellation, is based on the idea that the information required to model noise in data can be obtained from auxiliary sensors that monitor the sources of the noise. The noise model can then be subtracted from the data in real time or during post processing with the goal to minimize the noise. In practice, cancellation performance is limited for various reasons. Depending on the specific implementation, nonstationarity of data, sensor noise, and also signal and other noise in the target channel can limit the performance. Furthermore, the filter that represents the noise model, which in the context of Newtoniannoise cancellation is a multipleinputsingleoutput (MISO) filter with reference channels providing the inputs, and the noise model being the output, also maps sensor noise into the noise model, which means that sensor noise is added to the target channel. It follows that the auxiliary sensors must provide information about the sources with sufficiently high signaltonoise ratio.
The best way to understand the noisecancellation problem is to think of it as an optimization of extraction of information, subject to constraints. Constraints can exist for the maximum number of auxiliary sensors, for the possible array configurations, and for the amount of data that can be used to calculate the optimal filter. Also the type of filter and the algorithm used to calculate it can enforce constraints on information extraction. There is little understanding of how most of these constraints limit the performance. A wellexplored cancellation scheme is based on Wiener filters [165]. Wiener filters are linear filters calculated from correlation measurements between reference and target channels. They are introduced in Section 7.1.1. In the context of seismic or atmospheric Newtoniannoise cancellation, the auxiliary sensors monitor a field of density perturbations, which means that correlation between auxiliary sensors is to be expected. In this case, if the field is widesense stationary (defined in Section 7.1.1), if the target channel is widesense stationary, and if all forms of noise are additive, then the Wiener filter is known to be the optimal linear filter for a given configuration of the sensor array [141]. In Sections 7.1.2 to 7.1.4, the problem is described for seismic and infrasound Newtonian noise. The focus lies on gravity perturbations from fluctuating density fields. Noise cancellation from finitesize sources is mostly a practical problem, and trivial from the theory perspective. The optimization of array configurations for noise cancellation is a separate problem, which is discussed in Section 7.1.6.
7.1.1 Wiener filtering
A linear, timeinvariant filter that produces an estimate of a random stationary (target) process minimizing the deviation between target and estimation is known as Wiener filter [32]. It is based on the idea that data from reference channels exhibit some form of correlation to the target channel, which can therefore be used to provide a coherent estimate of certain contributions to the target channel. Strictly speaking, the random processes only need to be widesense stationary, which means that noise moments are independent of time up to second order (i.e., variances and correlations). Without prior knowledge of the random processes, the Wiener filter itself needs to be estimated. In this section, we briefly review Wiener filtering, and discuss some of its limitations.
Two main modes of Wiener filtering exist: filtering in time domain (realvalued) or frequency domain (complexvalued). Let us start with the timedomain filter. Wiener filter require random processes as inputs that are assumed to be correlated with the target process. We will call these reference channels, and collect them as components of a vector \(\vec x_n\). The subindex n represents time t_{n} = t_{0} + n∇t, where ∇t is the common sampling time of the random processes. With discretely sampled data, a straightforward filter implementation is the convolution with a finiteimpulse response filter (FIR). These filters are characterized by a filter order N. Assuming that we have M reference channels, the FIR filter w is a (N + 1) × M matrix with components w_{nm}. The convolution assumes the form
where the dotproduct is with respect to the M reference channels. This equation implies that there is only one target channel y_{n}, in which case the FIR filter is also known as multipleinputsingleoutput (MISO) filter. We have marked the filter output with a hat to indicate that it should be interpreted as an estimate of the actual target channel. The coefficients of the Wiener filter can be calculated by demanding that the meansquare deviation 〈(y_{n} − ŷ_{n})^{2}〉 between the target channel and filter output is minimized, which directly leads to the WienerHopf equations:
The WienerHopf equations are a linear system of equations that determine the filter coefficients. Here, \(\vec w(:)\) is the N Mdimensional vector that is obtained by concatenating the M columns of the matrix w. The (N + 1)M × (N + 1)M matrix C_{xx} is the crosscorrelation matrix between reference channels. Correlations must be evaluated between all samples of all reference channels where sample times differ at most by N∇t. It contains the autocorrelations of each reference channel as (N + 1) × (N + 1) blocks on its diagonal:
with c_{k} ≡ 〈x_{n}x_{n+k}〉 for each of the M reference channels. In this form it is a symmetric Toeplitz matrix. The (N + 1)Mdimensional vector \(\vec C_{xy}\) is a concatenation of correlations between each reference channel and the target channel. The components contributed by a single reference channel are
with s_{k} ≡ 〈x_{n}y_{n+k}〉. Note that we do not assume independence of noise between different reference channels. This is important since there can be forms of noise correlated between reference channels, but uncorrelated with the target channel (e.g., shear waves in Newtoniannoise cancellation, see Section 7.1.3). In general, the correlations that determine the WienerHopf equations are unknown and need to be estimated from measurements using data from reference and target channels. An elegant implementation of the code that provides these estimates and solves the WienerHopf equations can be found in [136].
The residual of the target channel after subtraction of y_{n} is given by
This equation summarizes the concept of coherent noise cancellation. In the context of Newtonian noise subtraction, the target channel y_{n} corresponds to the GW strain signal contaminated by Newtonian noise, and y_{n} is the estimate of Newtonian noise provided by the Wiener filter using reference data from seismometers or other sensors. Timedomain Wiener filters were successfully implemented in GW detectors for the purpose of noise reduction [65, 59]. Results from a timedomain simulation of Newtoniannoise cancellation using Wiener filters was presented in [66]. Not all coherent cancellation schemes are necessarily implemented as Wiener filters. For example in [74], noise cancellation was optimized by solving a systemidentification problem.
A frequencydomain version of the Wiener filter can be obtained straightforwardly by dividing the data into segments and calculating their Fourier transforms. Eq. (206) translates into a segmentwise noise cancellation where n stands for a double index to specify the segment and the discrete frequency (also known as frequency bin). For stationary random processes, correlations between noise amplitudes at different frequencies are zero (keep in mind that amplitudes of stationary, random processes do not exist as Fourier amplitudes, and therefore this statement needs a suitable definition of these amplitudes, see Section A.5 and [144]). This means that coherent noise cancellation in frequency domain can be done on each frequency bin separately, which is numerically much less demanding, and more accurate since the dimensionality of the system of equations in Eq. (203) is reduced from NM to M (for N different frequency bins). In contrast, timedomain correlations c_{k}, s_{k}. can be large for small values of k. This can cause significant numerical problems to solve the WienerHopf equations, and as observed in [50], FIR filters of lower order can be more effective (even though theoretically, increasing the filter order should not make the cancellation performance worse).
It should be noted that coherence between channels needs to be very high even for “modest” noise cancellation. The ideal suppression factor s(ω) as a function of frequency in the case of a single reference channel is related to the referencetarget coherence c(ω) via
where the coherence is defined in terms of the spectral densities (see Section A.5):
If coherence between reference and target channels at some frequency is {0.9, 0.99, 0.999}, then the residual amplitude spectrum at that frequency will ideally be reduced by factors {2.3, 7.1, 22}, respectively. These numbers clearly do not pose a limit to cancellation with multiple reference sensors. Trivially, cancellation using M collocated, identical sensors leads at least to a \(\sqrt{M}\) reduction of the sensor noise limit. If the M sensors monitor a field whose values at nearby points are dynamically correlated (i.e., the twopoint spatial correlation is not just a δpeak), then further gain is to be expected for example by being able to distinguish between modes of the field that produce correlation with the target channel, and modes that do not. This will be discussed in detail in Section 7.1.3 and Section 7.1.6.
7.1.2 Cancellation of Newtonian noise from Rayleigh waves
As we have seen in Section 7.1.1, the correlations between reference channels and the target channel determine the Wiener filter. For seismic fields, correlations between reference channels (seismometers) can be measured, but we still need a model consistent with the seismic correlations that provides the correlation with the gravity channel. Obviously, as long as 2D arrays are used for the characterization of the seismic field, the predicted correlation with the gravity channel can be subject to systematic errors. For example, we will have to guess the types of seismic waves that contribute to the seismic correlations. In this section, the problem will be solved assuming that all seismic waves are Rayleigh waves. Here, we will also discuss the cancellation problem in lowfrequency detectors explicitly since it is qualitatively different.
It is assumed that the seismic correlation is known, and the problem is to calculate the correlation with the gravity channel. We will consider the case of a homogeneous, but not necessarily isotropic seismic field. In this case, we can choose to evaluate the gravity acceleration at \(\vec\varrho_0=\vec 0\), and its correlation with the vertical surface displacement at \(\vec \varrho=(x,y)\). For the gravity acceleration along the xaxis measured at height h above surface, the correlation is given by (see Section 3.6.3 for spectral representation of noise)
The two dimensional kernel of the integral in the second line is plotted in Figure 36. The important coordinate range of the correlation function lies around the two extrema at \(x{\prime}=x\pm h/\sqrt{2}\) and y′ = y. Next, we will consider the explicit example of an isotropic Rayleigh wave field. The easiest way to obtain the result is to insert the known solution of the wavenumber spectrum, Eq. (108), into the first line in Eq. (209), which gives:
Interestingly, the correlation between vertical displacement and the gravity perturbation vanishes for ϱ = 0. This is a consequence of the fact that any elastic perturbation of the ground must fulfill the wave equation. If instead the ground were considered as a collection of infinitely many point masses without causal link, then the correlation of displacement of point masses nearest to the test mass with the gravity perturbation would be strongest.
Since the purpose of this section is to evaluate and design a coherent noise cancellation of gravity perturbations in xdirection, one may wonder why the correlation with the vertical surface displacement is used, and not the displacement along the direction of the xaxis. The reason is that in general horizontal seismic motion of a flat surface correlates weakly with gravity perturbations produced at the surface. Other waves such as horizontal shear waves can produce horizontal surface displacement without perturbing gravity. Vertical surface displacement always perturbs gravity, no matter by what type of seismic wave it is produced. The situation is different underground as we will see in Section 7.1.3.
Notice that the results so far can only be applied to the case where Newtonian noise is uncorrelated between different test masses. In future GW detectors that measure signals below 1 Hz, correlation of seismic Newtonian noise between two test masses can be very high since the seismic wavelength is much larger than the dimension of the detector. Since the only position dependence in Eq. (93) is the phase term \(\exp({\rm{i}} \vec k_\varrho\cdot\vec\varrho_0)\), the differential acceleration between two test masses is governed by the difference of phase terms at the two test masses, which simplifies to \({\rm{i}} \vec k_\varrho \, \cdot \, \vec L\) when the distance between the test masses is much smaller than the length of the Rayleigh wave. Considering the case that direction of acceleration and direction of separation are the same, the correlation is given by
The maximum of the kernel lies at the origin x′ = x, y′ = y independent of testmass height. Now, for the homogeneous and isotropic field, the solution with respect to the strain acceleration reads
Here, correlation does not vanish in the limit ϱ → 0. Also notice that the result is independent of the distance L. This is the typical situation for strain quantities at low frequencies since the differential signal is proportional to the distance, which then cancels in the strain variable when dividing by L. We have seen this already in Section 3.6.4.
At this point, we have the required analytical expressions to evaluate the performance of Wiener filters. The goal is to derive equations that allow us to calculate the performance of the Wiener filter, given a specific array configuration and seismometer self noise. We also want to know whether it is possible to use the results to design optimal array configurations based on seismic correlation measurements alone. First, we continue with the specific example of a homogeneous and isotropic field, and a single test mass. Since the Wiener filter is based on measured correlations between seismometers and a gravity channel, we need to introduce the seismometer self noise. It is convenient to express the noise in terms of the signaltonoise ratio σ(ω) with respect to measurements of seismic displacement. According to Eq. (107), the correlation between two seismometers at locations \(\vec\varrho_i, \, \vec\varrho_j\) can then be written
Seismometer self noise is assumed to be uncorrelated among different seismometers and with the gravity channel. The correlations between all seismometers form (a frequencydomain version of) the correlation matrix C_{xx} in Eq. (203). The correlation of each seismometer with the gravity perturbation will be denoted as
Subtracting the output of a Wiener filter leaves a residual, whose spectrum relative to the original gravity spectrum C_{NN}(ω) = S(δa_{x}; ω) is [42]
A simple question to answer is where a single seismometer should be placed to minimize the residual. In this case, the residual spectrum is given by
Since the fraction is always positive and smaller than 1, it needs to be maximized. This means that ϕ_{1} = 0 or π, and ϱ_{1} is chosen to maximize the value of the Bessel function. In the presence of N > 1 seismometers, the optimization problem is nontrivial. The optimal array configuration fulfills the relation
where ∇^{N} contains 2N derivatives with respect to the two horizontal coordinates of N seismometers. Already with a few seismometers, it becomes very challenging to find numerical solutions to this equation (see Section 7.1.6). An easier procedure that we want to illustrate now is to perform a stepwise optimal placement of seismometers. In other words, one after the other, seismometers are added at the best locations, with all previous seismometers having fixed positions. The procedure can be seen in Figure 37. The first seismometer must be placed at x_{1} = ±0.3λ^{R} and y_{1} = 0. We choose the side with positive xcoordinate. Assuming a signaltonoise ratio of σ = 10, the single seismometer residual would be 0.38. The second seismometer needs to be placed at x_{2} = − 0.28λ^{R} and y_{2} = 0, with residual 0.09. The third seismometer at x_{3} = 0.75λ^{R} and y_{3} = 0, with residual 0.07. The stepwise optimization described here works for a single frequency since the optimal locations depend on the length λ^{R} of a Rayleigh wave. In reality, the goal is to subtract over a band of frequencies, and the seismometer placement should be optimized for the entire band. The result is shown in the left of Figure 38 for a suboptimal spiral array, and seismometers with frequencyindependent σ = 100. Rayleighwave speed is constant c_{R} = 250 m/s. There are three noteworthy features. First, the minimal relative residual lies slightly below the value of the inverse seismometer signaltonoise ratio. It is a result of averaging of self noise from different seismometers. Second, residuals increasing with at low frequencies is a consequence of the finite array diameter. An array cannot analyze waves much longer than its diameter. Third, the residuals grow sharply towards higher frequencies. The explanation is that the array has a finite seismometer density, and therefore, waves shorter than the typical distance between seismometers cannot be analyzed. If the seismic speed is known, then the array diameter and number of seismometers can be adjusted in this way to meet a subtraction goal in a certain frequency range.
Residuals are also shown in the right plot of Figure 38 after subtraction of gravitygradient noise (i.e., the lowfrequency case). The sensor signaltonoise ratio is the same as before. As we have seen in Section 3.6.4, Newtonian noise is suppressed at low frequencies in gravity strainmeters due to commonmode rejection of correlated gravity perturbations between two test masses. However, as soon as coherent cancellation is required, one has to pay the price for this gain. Each seismometer measures seismic displacement that is similarly correlated with gravity perturbations at both test masses. This means that the dominant part of the seismic data is useless since the corresponding gravity perturbations are rejected as common mode. Therefore, the data provided by the seismic array must make it possible to distinguish between the commonmode and differential noise. The Wiener filter needs to cancel the commonmode noise in the seismic data by combining data from different seismometers. An underlying weak correlation with the differential gravity signal then needs to be sufficient to optimize the Wiener filter for noise cancellation. It can be seen that the commonmode rejection causes the residuals to be higher, but only if the number of seismometers lies below a critical value. With the N = 20 arrays it is possible to distinguish the commonmode noise from differential noise, and subtraction residuals are similar to the standard Newtoniannoise cancellation. However, in all cases, suppression of commonmode noise becomes less efficient at long wavelengths. For this reason, the lowfrequency slope of the residual spectra has an additional 1/ω, which causes the cancellation to be less broadband. Further results from this analysis can be found in [82]. In the future, it should be analyzed if an inherently differential seismic sensor, such as a seismic strainmeter, naturally provides the required commonmode rejection of seismic data, leading to more efficient noise subtraction.
7.1.3 Cancellation of Newtonian noise from body waves
In this section, the focus lies on noise subtraction in infinite media. As we have seen in Sections 3.2 and 3.4, any gravity perturbation can be divided into two parts, one that has the form of gravity perturbations from seismic fields in infinite space, and another that is produced by the surface. Subtraction of the surface part follows the scheme outlined in Section 7.1.2 using surface arrays. The additional challenge is that body waves can have a wide range of angles of incidence leading to a continuous range of apparent horizontal speeds, which could affect the array design. In this section, we will investigate the properties of coherent noise cancellation of the bulk contribution. Therefore, this section is without purpose to lowfrequency GW detectors. The reason is that a lowfrequency detector (i.e., subHz detector) can always be considered to be located at the surface with respect to seismic Newtonian noise, since feasible detector depths are only a small fraction of the length of seismic waves. In other words, surface perturbations will always vastly dominate bulk contributions. Since we consider the highfrequency case, we can assume here that Newtonian noise is uncorrelated between test masses. In order to simplify the analysis, only homogeneous and isotropic bodywave fields are considered, without contributions from surface waves.
The evaluation of Wienerfilter performance requires the calculation of twopoint spatial correlation functions between seismic measurements and gravity measurements. Since gravity perturbations are assumed to be uncorrelated between test masses, we can focus on gravity perturbations at a single test mass. The test mass is assumed to be located underground inside a cavity. We know from Section 3.3.1 that gravity perturbations are produced by compressional waves through density perturbations of the medium, and by shear and compressional waves due to displacement of cavity walls. From the theory perspective, cancellation of noise from cavity walls is straightforward and will not be discussed here. More interesting is the cancellation of noise from density perturbations in the medium. A seismic measurement is represented by the projection \(\vec e_n \, \cdot \, \vec \xi(\vec r,\omega)\) where \(\vec e_n\) is the direction of the axis of the seismometer, and the gravity measurement by a similar projection \(\vec e_n \, \cdot \, \delta\vec a(\vec r,\omega)\). Therefore, the general twopoint correlation function depends on the directions \(\vec e_1, \, \vec e_2\) of two measurements, and the unit vector \(\vec e_{12}\) that points from one measurement location at \(\vec r_1\) to the other at \(\vec r_2\).
The correlation functions are calculated using the formalism presented in [70, 11], developed for correlations between measurements of strain tensors representing gravitational waves. The first step is to obtain an expression of correlations from single plane waves characterized by a certain polarization and direction of propagation, and then to average over all directions. Here our goal is to calculate separate solutions for compressional and shear waves, which means that we only average over the two transversal polarizations for the case of shear waves. We first calculate the twopoint spatial correlation between two seismic measurements of a field composed of Pwaves:
where \(\vec e_k\) is the direction of propagation of a Pwave. The factor 3 accounts for the isotropic distribution of Pwave energy among the three displacement directions: \(S(\xi_n^{\rm{P}};\omega)=S(\xi^{\rm{P}};\omega)/3\) The integral is carried out easily in spherical coordinates θ, ϕ by choosing the zaxis parallel to \(\vec e_{12}\) so that \(\vec e_k \, \cdot \, \vec e_{12}=\cos(\theta)\) Instead of writing down the explicit expression of \(\vec e_k\otimes\vec e_k\) and evaluating the integral over all of its independent components, one can reduce the problem to two integrals only. The point is that the matrix that results from the integration can in general be expressed in terms of two “basis” matrices 1 and \(\vec e_{12}\otimes \vec e_{12}\) For symmetry reasons, it cannot depend explicitly on any other combination of the coordinate basis vectors \({\vec e_x} \otimes {\vec e_x},{\vec e_x} \otimes {\vec e_y}, \ldots\) Expressing the integral as linear combination of basis vectors, \(P_1(\Phi_{12})\mathbf 1+P_2(\Phi_{12})(\vec e_{12}\otimes \vec e_{12})\) with \(\Phi_{12}\equiv k^{\rm{P}}\vert\vec r_2\vec r_1\vert\) solutions for P_{1}(Φ_{12}), P_{2}(Φ_{12}) can be calculated as outlined in [70, 11], and the correlation function finally reads
A great advantage of this expression is that it is coordinate independent. Pwave correlation is zero only if the two measurement directions are orthogonal to each other and to the separation vector. For small distances of the two seismometers, correlation is significant only when the two measurement directions are similar.
For compressional waves, one also needs to calculate the correlation with gravity perturbations. For the bulk contribution, we can use the gradient of Eq. (52). The analytic form of the correlation is identical to Eq. (219) since the gravity acceleration is simply a multiple of the seismic displacement. Therefore we can immediately write
Consequently, also here, correlation does not necessarily vanish if gravity acceleration is measured in orthogonal direction to the seismic displacement. In contrast to the Rayleighwave correlation in Eq. (210), correlation between gravity perturbation and compressional wave displacement is maximal when \(\vec r_1=\vec r_2\) assuming that \(\vec e_1=\vec e_2\). Nonetheless, due to the more complex form of correlation functions of body fields, there are more choices to make when optimizing array configurations. For example, should singleaxis seismometers all measure along the relevant direction of gravity perturbations? What do we gain from multiaxis seismometers? These questions still need to be investigated in detail.
Next, the Swave correlation is calculated. Since shear waves can be polarized in two orthogonal transverse directions, we form two polarization matrices in terms of basis vectors of the spherical coordinate system, \({\vec e_\theta} \otimes {\vec e_\theta}, \, {\vec e_\phi} \otimes {\vec e_\phi}\), and average the integrals over these two matrices. The result is
Since shear waves do not produce gravity perturbations, they act as noise contribution correlated between seismometers. A mixing ratio p needs to be introduced that parameterizes the ratio of energy in the Pwave field over the total energy in P and Swaves. The correlation between seismometers depends on p:
with \(S(\xi_n;\omega)=S(\xi_n^{\rm{P}};\omega)+S(\xi_n^{\rm{S}};\omega)\) All required quantities are calculated now to evaluate the Wiener filter. In the case of a single seismometer, the residual spectrum defined in Eq. (215) is given by
The optimal placement of a single seismometer is independent of the mixing ratio. The minimal residual is achieved for Φ_{12} = 0, i.e., when the seismometer is placed at the test mass. The residual is solely limited by the mixing ratio and signaltonoise ratio. The case was different for Rayleigh waves, see Eq. (216), where a limitation was also enforced by the correlation pattern of the seismic field. This is a great advantage of underground detectors. In fact, if the mixing ratio is p = 1 (only Pwaves), then it can be shown that the optimal placement of all seismometers would be at the test mass. With a single seismometer, a residual of ≈ 1/σ^{2} would be achieved over all frequencies (assuming that σ is constant). However, the case is different for mixing ratios smaller than 1. Assuming a conservative mixing ratio of p = 1/3 (Pwaves are one out of three possible bodywave polarizations), the singleseismometer residual is about 2/3 provided that σ ≫ 1.
As in Section 7.1.2, we consider the stepwise optimized array configuration, which is illustrated in Figure 39. The array is designed for cancellation of gravity perturbations along the xaxis. The plot only shows a plane of possible seismometer placement, and all seismometers measure along the relevant direction of gravity acceleration. Ideally, optimization should be done in three dimensions, but for the first three seismometers, the 2D representation is sufficient. In theses calculations, the Pwave speed is assumed to be a factor 1.8 higher than the Swave speed. The mixing ratio is 1/3, and the signaltonoise ratio is 100. The optimal location of the second seismometer lies in orthogonal direction at x_{2} = z_{2} = 0 and y_{2} = α0.33λ^{P}. We choose the positive ycoordinate. In this case, the third seismometer needs to be placed at x_{3} = z_{3} = 0 and y_{3} = −0.33λ^{P}. With three seismometers, a residual of 0. 44 can be achieved.
The left plot in Figure 41 shows the subtraction residuals of bulk Newtonian noise using a 3D spiral array with all seismometers measuring along the relevant direction of gravity acceleration. The mixing ratio is 1/3. The ultimate limit enforced by seismometer self noise, \(1/(\sigma\sqrt{N})\), is not reached. Nonetheless, residuals are strongly reduced over a wide range of frequencies. Note that residuals do not approach 1 at highest and lowest frequencies, since a single seismometer at the test mass already reduces residuals to 0.67 at all frequencies assuming constant σ = 100.
Another idea is to use seismic strainmeters instead of seismometers. Seismic strainmeters are instruments that measure the diagonal components of the seismic strain tensor [8]. Offdiagonal components are measured by seismic tiltmeters. Strainmeters are also to be distinguished from dilatometers, which are volumetric strainmeters measuring the trace of the seismic strain tensor. The advantage would be that strainmeters are ideally insensitive to shear waves. This means that the optimization of the array is independent of the mixing ratio p. The seismic strain field \(\mathbf{h}(\vec r, \, t)\) produced by a compressional wave can be written as
which is a 3 × 3 strain tensor. A seismic strainmeter measures differential displacement along a direction that coincides with the orientation of the strainmeter, which rules out any type of rotational measurements. In this case, the correlation between two seismic strainmeters measuring strain along direction \(\vec e_1, \, \vec e_2\) is given by
The factor 5 accounts for the isotropic distribution of strainwave energy among the five strain degrees of freedom: \(S(h_n^{\rm{P}};\omega)=S(h^{\rm{P}};\omega)/5\), with \(h^{\rm{P}}\equiv k^{\rm{P}}\xi^{\rm{P}}\). There are five degrees of freedom since the strain tensor is symmetric and its trace is a constant (note that any symmetric tensor with constant trace can be diagonalized, in which case the resulting tensor only has two independent components, but here we also need to include the three independent rotations).
This integral can be solved fully analogously to the tensor calculation given in [70, 11], or more specifically, using the generalized result in [48]. The required steps are to define a 4D polarization tensor \(\vec e_k\otimes\vec e_k\otimes\vec e_k\otimes\vec e_k\) so that the projection along directions \(\vec e_1, \, \vec e_2\) can be applied outside the integral, solve the integral, and then project the solution. As for the vector fields, due to symmetry, we can express the 4D matrix resulting from the integral as a sum over a relatively small number of basis matrices (in this case 5), and solve for the five expansion coefficients. It turns out (in the case of seismic strain measurements) that only 3 expansion coefficients are different, which means that the final solution can be expressed as a linear combination of three coefficients T_{1}(Φ_{12}), T_{2}(Φ_{12}), T_{3}(Φ_{12}). The result is the following:
Even though this expression looks rather complicated, it is numerically straightforward to implement it in Wienerfilter calculations. Spherical plots of the twopoint spatial correlation are shown in Figure 40. The vector \(\vec e_1\) is kept constant, while the vector \(\vec e_2\) is expressed in spherical coordinates θ, ϕ. For each value of these two angles, the resulting correlation between the two strainmeters corresponds to the radial coordinate of the plotted surfaces. Since the focus lies on the angular pattern of the correlation function, each surface is scaled to the same maximal radius. It can be seen that there is a rich variety of angular correlation patterns, which even includes near spherically symmetric patterns (which means that the orientation of the second strainmeter weakly affects correlation).
A similar calculation yields the correlation between seismic strainmeter and gravity perturbation:
The Wienerfilter cancellation using seismic strainmeters is independent of the mixing ratio. However, in contrast to the seismometer case, a strainmeter located at the test mass has zero correlation with the gravity perturbation. Therefore, a strainmeter located near the test mass can only have an indirect effect on the Wiener filter, such as improving the ability of a sensor array to disentangle shear and compressional waves. Without other seismic sensors, a strainmeter near the test mass is fully useless for the purpose of Newtoniannoise cancellation. The subtraction residuals from a strainmeter array are shown in the right of Figure 41. The array configuration is the same 3D spiral array used for the seismometer array in the left plot, but with twice as large extent to have peak performance at similar frequencies. All strainmeters are oriented parallel to the relevant direction of gravity perturbations. Apparently, there is no advantage in using strainmeter arrays even though the subtraction performance is independent of shearwave content. It should be emphasized though that subtraction performance of 3D arrays depends strongly on the array configuration. Therefore, optimized array configurations may perform substantially better, and it is also possible that orienting sensors along different directions, and combining strainmeters with seismometers leads to lower subtraction residuals. This needs to be investigated in the future.
7.1.4 Cancellation of Newtonian noise from infrasound
Coherent cancellation of Newtonian noise from infrasound is substantially different from the seismic case. Seismic sensors are substituted by microphones, which have more complicated antenna patterns. Here we will assume that a microphone measures the pressure fluctuations at a point without being able to distinguish directions. This is an important difference to seismic sensing. Furthermore, it is unfeasible to deploy a 3D array of microphones in the atmosphere. There may be other methods of sensing pressure fluctuations (e.g., some type of light/radar tomography of the atmosphere around the test masses), but it is unclear if they can be used to resolve the fast, relatively smallscale fluctuations produced by infrasound. So for now, we assume that pressure fluctuations can only be measured on surface. We also want to stress that we have not succeeded yet to calculate the correlation functions for the Wiener filtering in the case of a test mass underground. One can probably make progress in this direction starting with the scalar planewave expansion in Eq. (252) and using the halfspace integral in Eq. (262), but we will leave this as future work. In the following, we consider the test mass and all microphones to be located on the surface. In this case, the twopoint spatial correlation is found to be
This can be calculated starting with the planewave expansion in Eq. (252), and using Eqs. (271) and (259). Note that it makes no difference for microphones at z_{0} = 0 that sound waves are reflected from the surface (apart from a doubling of the amplitude). This also means that the direction average can be carried out over the full solid angle. For z_{0} > 0, one has to be more careful, explicitly include the reflection of sound waves, and only average over propagation directions incident “from the sky” (assuming also that there are no sources of infrasound on the surface).
The correlation between pressure fluctuations and resulting gravity perturbations at the surface can be calculated using the negative gradient of Eq. (143). Since the projection of \(\delta \vec a\) onto the xcoordinate can be technically obtained by calculating the derivative ∂_{x}, with x ≡ x_{2} − x_{1} and Eq. (228), we find
The correlation vanishes for microphones collocated with the test mass. For this reason, the optimization of a microphone array is similar to the optimization of a surface seismometer array for Rayleighwave Newtoniannoise cancellation. Formally, the difference is that spherical Bessel functions determine correlations of the infrasound field instead of ordinary Bessel functions since the infrasound field is three dimensional. This results in a slightly weaker correlation of microphones near the test mass with gravity perturbations. The residual spectra using spiral surface arrays of microphones can be seen in Figure 42. The sensors have a signaltonoise ratio of 100. Important to realize is that the arrays are very small, and therefore located completely or partially inside the buildings hosting the test masses. In this case, the assumptions of an isotropic and homogeneous infrasound field may not be fulfilled. Nonetheless, based on detailed studies of infrasound correlation, it is always be possible to achieve similar noise residuals, potentially with a somewhat increased number of microphones.
As a final remark, infrasound waves have properties that are very similar to compressional seismic waves, and the result of Section 7.1.2 was that broadband cancellation fo Newtonian noise from compressional waves can be achieved with primitive array designs, provided that the field is not mixed with shear waves. Air does not support the propagation of shear waves, so one might wonder why subtraction of infrasound Newtonian noise does not have these nice properties. The reason lies in the sensors. Microphones provide different information. In a way, they are more similar in their response to seismic strainmeters. According to Eq. (227), correlations between a strainmeter and gravity perturbations also vanishes if the strainmeter is located at the test mass. What this means though is that a different method to monitor infrasound waves may make a big difference. It is a “game with gradients”. One could either monitor pressure gradients, or the displacement of air particles due to pressure fluctuations. Both would restore correlations of sensors at the test mass with gravity perturbations.
7.1.5 Demonstration: Newtonian noise in gravimeters
The problem of coherent cancellation of Newtonian noise as described in the previous sections is not entirely new. Gravimeters are sensitive to gravity perturbations caused by redistribution of air mass in the atmosphere [128]. These changes can be monitored through their effect on atmospheric pressure. For this reason, pressure sensors are deployed together with gravimeters for a coherent cancellation of atmospheric Newtonian noise [20]. In light of the results presented in Section 7.1.4, it should be emphasized that the cancellation is significantly less challenging in gravimeters since the pressure field is not a complicated average over many sound waves propagating in all directions. This does not mean though that modelling these perturbations is less challenging. Accurate calculations based on Green’s functions are based on spherical Earth models, and the model has to include the additional effect that a change in the mass of an air column changes the load on the surface, and thereby produces additional correlations with the gravimeter signal [78]. Nonetheless, from a practical point of view, the full result is more similar to the coherent relations such as Eq. (143), which means that local sensing of pressure fluctuations should yield good cancellation performance.
This is indeed the case as shown in Figure 43. The original median of gravity spectra is shown as red line. Using a very simple filter, which is based on direct proportionality of local pressure and gravity fluctuations, gravity noise can be reduced by about a factor 5 at 0.1 mHz. The subtraction residuals are close to the instrumental noise of the gravimeters, which means that the simple scheme based on proportionality of the data is already very effective at these frequencies. Especially at lower frequencies, the filter design needs to be more complicated to achieve good broadband cancellation performance. Typically, a frequency domain version of Wiener filtering is applied in standard subtraction procedures [128]. Due to nonGaussianity and nonstationarity of the data, timedomain FIR Wiener filters as discussed in Section 7.1.1 are less effective. We want to stress though that cancellation results are not this good in all gravimeters. Sometimes it can be explained by data quality of the pressure sensors, but often it is not clear what the reasons are. It may well be that detailed knowledge of the gravimeter sites can provide ideas for explanations.
7.1.6 Optimizing sensor arrays for noise cancellation
In the previous sections, we focussed on the design and performance evaluation of an optimal noisecancellation filter for a given set of reference sensors. In this section, we address the problem of calculating the array configuration that minimizes noise residuals given sensor noise of a fixed number of sensors. The analysis will be restricted to homogeneous fields of density perturbations. The optimization can be based on a model or measured twopoint spatial correlations \(C(\delta\rho;\vec r,\omega)\). We start with a general discussion and later present results for the isotropic Rayleighwave field.
The optimization problem will be formulated as a minimization of the noise residual R defined in Eq. (215) as a function of sensor locations \(\vec r_i\) Accordingly, the optimal sensor locations fulfill the equation
where the derivatives are calculated with respect to the coordinates of each of the M sensors, i.e., k ∈ 1,…, M. In homogeneous fields, the Newtoniannoise spectrum and seismic spectrum are independent of sensor location,
which allows us to simplify Eq. (230) into
where we have introduced the Wiener filter \(\vec w=\vec C^{\,\rm{T}}_{\rm{SN}}\cdot {\mathbf C}^{1}_{\rm{SS}}\). For the following steps, let us use a slightly different notation. We will write the sensor crosscorrelation matrix \(\mathbf C_{\rm{SS}}=\mathbf C(\vec s;\vec s)\) and the correlations between sensor and target channels as \(\vec C_{\rm{SN}}=\vec C(\vec s;n)\). Only the component k of the vector \(\vec C(\vec s;n)\) and the kth row and column of \(\mathbf C(\vec s;\vec s)\) depend on the coordinates of the sensor k. This means that the derivative ∇_{k} produces many zeros in the last equation, which allows us to simplify it into the following form:
The optimal array fulfills this equation for derivatives with respect to the coordinates of all M sensors. Solutions to this equation need to be calculated numerically. Optimization of arrays using Eq. (233) produces accurate solutions more quickly than traditional optimization methods, which directly attempt to find the global minimum of the residual R. Traditional codes (nested sampling, particle swarm optimization) produce solutions that converge to the ones obtained by solving Eq. (233).
In the following, we will we present optimization results for a homogeneous and isotropic Rayleighwave field. The correlation functions are given in Eq. (107) and (210). The filled contour plot in Figure 44 shows the residual R as a function of sensor coordinates for a total of 1 to 3 sensors, from left to right. In the case of a single sensor, the axes represent its x and y coordinates. For more than one sensor, the axes correspond to the x coordinates of two sensors. All coordinates not shown in these plots assume their optimal values.
The green and orange curves represent Eq. (233) either for the derivatives ∂_{x}, ∂_{y} or ∂_{x1}, ∂_{x2}. These curves need to intersect at the optimal coordinates. It can be seen that they intersect multiple times. The numerical search for the optimal array needs to find the intersection that belongs to the minimum value of R. For the isotropic case, it is not difficult though to tune the numerical search such that the global minimum is found quickly. The optimal intersection is always the one closest to the test mass at the origin. While it is unclear if this holds for all homogeneous seismic fields, it seems intuitive at least that one should search intersections close to the test mass in general.
In order to find optimal arrays with many sensors, it is recommended to build these solutions gradually from optimal solutions with one less sensor. In other words, for the initial placement, one should use locations of the M − 1 optimal array, and then add another sensor randomly nearby the test mass. The search relocates all sensors, but it turns out that sensors of an optimal array with a total of M − 1 sensors only move by a bit to take their optimal positions in an optimal array with M sensors. So choosing initial positions in the numerical search wisely significantly decreases computation time, and greatly reduces the risk to get trapped in local minima.
Figure 45 shows the noise residuals of Newtonian noise from an isotropic Rayleighwave field using optimal arrays with 1 to 6 sensors and sensor SNR = 100. The residuals are compared with the sensornoise limit \(1/\rm{SNR}/\sqrt{M}\) (dashed curve). Arrays with M > 3 yield residuals that are close to a factor \(\sqrt{2}\) above the sensornoise limit. The origin of the factor \(\sqrt{2}\) has not been explained yet. It does not appear in all noise residuals, for example, the noise residual of a Wiener filter using a single reference channel perfectly correlated with the target channel, see Eq. (207), is given by 1/SNR.
In many situations, it will not be possible to model the correlations C_{ss} and \(\vec C_{\rm{SN}}\). In this case, observations of seismic correlations C_{ss} can be used to calculate \(\vec C_{\rm{SN}}\), see Eq. (209), and also C_{NN}, see Eq. (104). Seismic correlations are observed with seismometer arrays. It is recommended to choose a number of seismometers for this measurement that is significantly higher than the number of seismometers foreseen for the noise cancellation. Otherwise, aliasing effects and resolution limits can severely impact the correlation estimates. Various arrayprocessing algorithms are discussed in [112].
Table 2 summarizes the noise residuals from optimized arrays of 1 to 6 sensors with SNR = 100, which may serve as reference values for alternative optimization methods. The N = 7 array is the first optimal array that requires two seismometers placed on top of each other. Consequently, the broadband performance of the N = 6 array is similar to the N = 7 array. Residuals of optimal arrays can be compared with the stepwise optimized arrays as discussed in Section 7.1.2, taking into account that SNR= 10 was used in Section 7.1.2.
The noise residuals of the stepwise optimization were R = 0.38, 0.09, and 0.07 for the first three seismometers, while the fully optimized residuals are R = 0.38, 0.014 and 0.0074, i.e., much lower for N ≥ 2.
7.1.7 Newtonian noise cancellation using gravity sensors
In the previous sections, we have investigated Newtoniannoise cancellation using auxiliary sensors that monitor density fluctuations near the test masses. An alternative that has been discussed in the past is to use gravity sensors instead. One general concern about this scheme is that a device able to subtract gravity noise can also cancel GW signals. This fact indeed limits the possible realizations of such a scheme, but it is shown in the following that at least Newtonian noise in largescale GW detectors from a Rayleighwave field can be cancelled using auxiliary gravity sensors. However, it will become clear as well that it will be extremely challenging to build a gravity sensor with the required sensitivity.
In the following discussion, we will focus on cancellation of gravity noise from isotropic Rayleighwave fields. Most of the results can be obtained from the twopoint spatial correlation of gravity fluctuations,
evaluated at a specific frequency. Here, \(\vec\varrho=\varrho(\cos(\phi),\sin(\phi))\) and k_{ϱ} is the wavenumber of a Rayleigh wave. This result turns into Eq. (109) for ϱ → 0.
The only (conventional) type of gravity sensor that can be used to cancel Newtonian noise in GW detectors is the gravity strainmeter or gravity gradiometer^{Footnote 11}. As we have discussed in Section 2.2, the sensitivity of gravimeters is fundamentally limited by seismic noise, and any attempt to mitigate seismic noise in gravimeters inevitably transforms its response into a gravity gradiometer type. So in the following, we will only consider gravity strainmeters/gradiometers as auxiliary sensors.
Let us first discuss a few scenarios where noise cancellation cannot be achieved. If two identical largescale GW detectors are sidebyside, i.e., with test masses approximately at the same locations, then Newtoniannoise cancellation by subtracting their data inevitably means that GW signals are also cancelled. Let us make the arms of one of the two detectors shorter, with both detectors’ test masses at the corner station staying collocated. Already one detector being shorter than the other by a few meters reduces Newtoniannoise correlation between the two detectors substantially. The reason is that correlation of gravity fluctuations between the end test masses falls rapidly with distance according to Eq. (234). It can be verified that subtracting data of these two detectors to cancel at least gravity perturbations of the inner test masses does not lead to sensitivity improvements. Instead, it effectively changes the arm length of the combined detector to ΔL, where ΔL is the difference of arm lengths of the two detectors, and correspondingly increases Newtonian noise.
If Newtonian noise is uncorrelated between two test masses of one arm, then decreasing arm length increases Newtonian strain noise. However, as shown in Figure 13, if the detector becomes shorter than a seismic wavelength and Newtonian noise starts to be correlated between test masses, Newtonian strain noise does not increase further. Compared to the Newtonian noise in a largescale detector with arm length L, Newtonian noise in the short detector is greater by (up to) a factor k_{ϱ}L. In this regime, the small gravity strainmeter is better described as gravity gradiometer. The commonmode suppression of Newtonian noise in the gradiometer due to correlation between test masses greatly reduces Newtoniannoise correlation between gradiometer and the inner test masses of the largescale detector. Consequently, a gravity gradiometer cannot be used for noise cancellation in this specific configuration.
It turns out though that there is a class of gravity gradiometers, known as fulltensor gradiometers, that can be used for cancellation of Newtonian noise from Rayleigh waves. The key is to understand that gravity gradients δ_{z}δa_{x} = δ_{x}δa_{z}, where \(\delta\vec a\) are the fluctuations of gravity acceleration, and x points along the arm of the largescale detector, are perfectly correlated with δa_{x}. This can be seen from Eq. (97), since derivatives of the acceleration δa_{x} with respect to z, i.e., the vertical direction, does not change the dependence on directions ϕ. The coherence (normalized correlation) between δa_{x} and δ_{z} δa_{x} is shown in the left of Figure 46 making use of \(\langle\delta a_x(\vec 0),\partial_z\delta a_x(\vec \varrho)\rangle_{\rm{norm}}=\langle\delta a_x(\vec 0),\delta a_x(\vec \varrho)\rangle_{\rm{norm}}\).
The idea is now to place one fulltensor gravity gradiometer at each test mass of the largescale detector, and to cancel Newtonian noise of each mass. In this way, it is also impossible to cancel GW signals since GW signals of the gradiometers cancel each other. The limitations of this scheme are determined by the distance between the test mass of the largescale detector and testmasses of the gravity gradiometer. The smaller the distance, the better the correlation and the higher the achievable noise reduction. Using Eq. (207), the maximal noise reduction can be calculated as a function of the coherence. In Figure 46, right plot, the achievable noise suppression is shown as a function of distance between test masses. For example, at 10 Hz, and assuming a Rayleighwave speed of 250 m/s, the distance needs to be smaller than 1 m for a factor 5 noise reduction. This also means that the size of the gradiometer must be of order 1 m.
Let us calculate what the required sensitivity of the gradiometer has to be. From Eqs. (207) and (234), we find that the maximal noisesuppression factor is given by
where r ≪ λ is the distance between test masses of the largescale detector and the gradiometer, which one can also interpret as maximal size of the gradiometer to achieve a suppression s. A numerical factor of order unity is omitted. Given a Newtonian strain noise h_{NN} of the largescale detector with arm length L, the gradiometer observes
Here, ξ_{NN} denotes the relative displacement noise in the largescale detector. Now, the relative displacement noise in the gradiometer is
While the gravity gradiometer observes much stronger Newtonian noise in units strain, its displacement sensitivity needs to match the displacement sensitivity of the largescale detector, and even exceed it by a factor s. One could raise welljustified doubts at this point if a meterscale detector can achieve displacement sensitivity of largescale GW detectors. Nonetheless, the analysis of this section has shown that Newtoniannoise cancellation using gravity sensors is in principle possible.
7.2 Site selection
An elegant way to reduce Newtonian noise is to select a detector site with weak gravity fluctuations. It should be relatively straightforward to avoid proximity to anthropogenic sources (except maybe for the sources that are necessarily part of the detector infrastructure), but it is not immediately obvious how efficient this approach is to mitigate seismic or atmospheric Newtonian noise. With the results of Sections 3 and 5, and using numerous past observations of infrasound and seismic fields, we will be able to predict the possible gain from site selection. The aim is to provide general guidelines that can help to make a siteselection process more efficient, and help to identify suitable site candidates, which can be characterized in detail with followup measurements. These steps have been carried out recently in Europe as part of the design study of the Einstein Telescope [27, 28], and promising sites were indeed identified.
Already with respect to the minimization of Newtonian noise, site selection is a complicated process. One generally needs to divide into site selection for gravity measurements at low and high frequencies. The boundary between these two regimes typically lies at a few Hz. The point here is that at sufficiently low frequencies, gravity perturbations produced at or above surface are negligibly suppressed at underground sites with respect to surface sites. At higher frequencies, a detailed sitespecific study is required to quantify the gain from underground construction since it strongly depends on local geology. In general, sources of gravity perturbations have different characteristics at lower and higher frequencies. Finally, to complicate the matter even further, one may also be interested to identify a site where one can expect to achieve high noise cancellation through Wiener filtering or similar methods.
7.2.1 Global surface seismicity
We start with the assessment of ambient seismicity. Today this can be done systematically and easily for many surface locations since publicly available data from a global network of seismometers is continuously recorded and archived on servers. For example, Coughlin and Harms have characterized thousands of sites worldwide in this way, processing years of data from broadband seismometers [45]. Among others, the data are provided by the USbased IRIS Data Management Service^{Footnote 12} (archiving global seismic data), and the Japanese seismic broadband network FNet^{Footnote 13} operated by NIED. Seismic data cannot be easily obtained from countries that have not signed the Comprehensive NuclearTestBan Treaty (which are few though). The results of their analysis were presented in the form of spectral histograms for each site, accessible through a Google Earth kmz file. An example is shown in Figure 47 for a seismic station in the US.
The colors of the markers on the map signify the median of the spectral histograms at a specific frequency. The frequency can be changed with a video slider. Clicking on a marker pops up additional sitespecific information. Studying these maps gives an idea where to find quiet places on Earth, and helps to recognize generic patterns such as the influence of mountain ranges, and the proximity to oceans. A more detailed analysis based on these data can be found in [45]. It should be noted that especially in Japan, many seismic stations used in this study are built a few meters underground, which may lead to substantial reduction of observed ambient seismicity above a few Hz with respect to surface sites. Nonetheless, there are regions on all continents with very low surface seismicity above 1 Hz, approaching a global minimum often referred to as global lownoise model [33, 45]. This means that one should not expect that a surface or underground site can be found on Earth that is significantly quieter than the identified quietest surface sites. Of course, underground sites may still be attractive since the risk is lower that seismicity will change in the future, while surface sites can in principle change seismicity over the course of many years, because of construction or other developments. For the same reason, it may be very challenging to find quiet surface sites in densely populated countries. As a rule of thumb, a site that is at least 50 km away from heavy traffic and seismically active faults, and at least 100 km away from the ocean, has a good chance to show low ambient seismicity above a few Hz. To be specific here, ambient seismicity should be understood as the quasistationary noise background, which excludes for example the occasional strong earthquake. Larger distances to seismically active zones may be necessary for reasons such as avoiding damage to the instrument.
Below a few Hz, ambient seismicity is more uniform over the globe. Oceanic microseisms between 0.1 Hz and 1 Hz are stronger within 200 km to the coast, and then decreasing weakly in amplitude towards larger distances. This implies that it is almost impossible to find sites with a low level of oceanic microseisms in countries such as Italy and Japan. At even lower frequencies, it seems that elevated seismic noise can mostly be explained by proximity to seismically active zones, or extreme proximity to cities or traffic. Here one needs to be careful though with the interpretation of data since quality of lowfrequency data strongly depends on the quality of the seismic station. A less protected seismometer exposed to wind and other weather phenomena can have significantly increased lowfrequency noise. In summary, the possibility to find lownoise surface sites should not be excluded, but underground sites are likely the only seismically quiet locations in most densely populated countries (which includes most countries in Europe).
7.2.2 Underground seismicity
Seismologists have been studying underground seismicity at many locations over decades, and found that highfrequency seismic spectra are all significantly quieter than at typical surface sites. This can be explained by the exponential fall off of Rayleighwave amplitudes according to Eq. (36), combined with the fact that highfrequency seismicity is typically generated at the surface, and most surface sites are covered by a lowvelocity layer of unconsolidated ground. The last means that amplitude decreases over relatively short distances to the surface. Seismic measurements have been carried out in boreholes [63, 153], and specifically in the context of site characterization for future GW detectors at former or still active underground mines [89, 27, 127, 28]. There are however hardly any underground array measurements to characterize the seismic field in terms of mode composition. This is mostly due to the fact that these experiments are very costly, and seismic stations have to be maintained under unusual conditions (humidity, temperature, dust,…). Currently, a larger seismic array is being deployed for this purpose as part of the DUGL (Deep Underground Gravity Laboratory) project at the former Homestake mine, now known as the Sanford Underground Research Facility, equipped with broadband seismometers, stateoftheart data acquisition, and auxiliary sensors such as infrasound microphones. As a consequence of the high cost, the effort could only be realized as collaboration between several groups involving seismologists and GW scientists.
The picture seems to be very simple. Underground seismicity above a few Hz is generally very small approaching the global lownoise model. Variations can however be observed, and have in some cases been identified as anthropogenic noise produced underground [89]. Therefore, it is important to evaluate how much noise is produced by the underground infrastructure that is either already in place, or is brought to the site for the underground experiment itself. Pumps and ventilation are required for the maintenance of an underground site, which may lead to excess noise. Measurements were carried out in the context of the design study of the Einstein Telescope in Europe [3]. Some of the collected seismic spectra were presented in [27], which is shown again here in Figure 48.
The underground sites have similar seismic spectra above about 1 Hz, which are all lower by orders of magnitude compared to the surface spectrum measured inside one of the Virgo buildings. The Virgo spectrum however shows strong excess noise even for a surface site. This can be seen immediately since the spectrum exceeds the global highnoise model drawn as dashed curve between 1 Hz and 3 Hz, which means that there is likely no natural cause for the seismic energy in this range. The Virgo infrastructure may have enhanced response to ambient noise at these frequencies, or the seismic sources may be part of the infrastructure. The Netherland spectrum is closer to spectra from typical surface locations, with somewhat decreased noise level though above a few Hz since the measurement was taken 10 m underground. Nevertheless, the reduction of seismic Newtonian noise to be expected by building a GW detector underground relative to typical surface sites is about 2 orders of magnitude, which is substantial. Whether the reduction is sufficient to meet the requirements set by the ET sensitivity goal is not clear. It depends strongly on the noise models. While results presented in [25] indicate that the reduction is sufficient, results in [81] show that further reduction of seismic Newtonian noise would still be necessary.
The plot presented in [81] is shown in Figure 49. Seismic Newtonian noise from the surface, Eq. (98), and also infrasound Newtonian noise, Eq. (143), are sufficiently suppressed according to these results. The bodywave Newtonian noise however lies above the targeted noise level (according to the ETC model). In addition, spectra are shown for gravity perturbations from a car passing right above one test mass of the detector with 180 km/h using Eq. (177). Finally, based on the first 5 s of the simple model in Eq. (134), a signal spectrum of a magnitude 5 earthquake is also plotted. It may be possible to find underground sites that are seismically quieter than Homestake, but not by a large factor. According to these results, it is likely that some form of noise cancellation is still required, but only by a modest factor, which, according to Section 7.1.3, should be easier to achieve underground than at surface sites.
7.2.3 Site selection criteria in the context of coherent noise cancellation
An important aspect of the site selection that has not been considered much in the past is that a site should offer the possibility for efficient coherent cancellation of Newtonian noise. From Section 7.1 we know that the efficiency of a cancellation scheme is determined by the twopoint spatial correlation of the seismic field. If it is well approximated by idealized models, then we have seen that efficient cancellation would be possible. However, if scattering is significant, or many local sources contribute to the seismic field, then correlation can be strongly reduced, and a seismic array consisting of a potentially large number of seismometers needs to be deployed. The strongest scatterer of seismic waves above a few Hz is the surface with rough topography. This problem was investigated analytically in numerous publications, see for example [75, 5, 98, 131]. If the study is not based on a numerical simulation, then some form of approximation needs to be applied to describe topographic scattering. The earliest studies used the Born approximation, which means that scattering of scattered waves is neglected. In practice, it leads to accurate descriptions of seismic fields when the seismic wavelength is significantly longer than the topographic perturbation, and the slope of the topography is small in all directions.
With this approximation, a systematic evaluation of sites in the US was carried out [46]. A topographic map of the US was divided into 10 km × 10 km squares. The elevation rms was calculated for each square. The rms map is shown in Figure 50. The hope was that flat squares can be found in lowseismicity regions, which would combine the requirements on scattering and seismicity. High elevation sites typically show weak seismic noise (above a few Hz), mostly likely because of smaller population density.
Combining the rms map with knowledge of ambient seismicity, it was in fact possible to find many sites fulfilling the two requirements. Figure 50 shows the scattering coefficients for incident Rayleigh waves at a highrms site in Montana. Excluding the RayleightoRayleigh scattering channel (which, as explained in the study, does not increase the complexity of a coherent cancellation), a total integrated scatter of 0.04 was calculated. Including the fact that scattering coefficients for body waves are expected to be higher even, this value is large enough to influence the design of seismic arrays used for noise cancellation. Also, it is important to realize that the seismic field in the vicinity of the surface is poorly represented by the Born approximation (which is better suited to represent the far field produced by topographic scattering), which means that spatial correlation at the site may exhibit more complicated patterns not captured by their study. As a consequence, at a highrms site a seismic array would likely have to be 3D and relatively dense to observe sufficiently high correlation between seismometers. Heterogeneous ground may further add to the complexity, but we do not have the theoretical framework yet to address this problem quantitatively. For this, it will be important to further develop the scattering formalism introduced in Section 3.3.
Underground sites that were and are being studied by GW scientists are all located in highrms regions. This is true for the sites presented in the ET design study, for the Homestake site that is currently hosting the R&D efforts in the US, and also for the Kamioka site in Japan, which hosts the KAGRA detector. Nonetheless, a careful investigation of spatial correlation and Wiener filtering in highrms sites has never been carried out, and therefore our understanding of seismic scattering needs to be improved before we can draw final conclusions.
7.3 Noise reduction by constructing recess structures or moats
Hughes and Thorne suggested that one way to reduce Newtonian noise at a surface site may be to dig moats at some distance around the test masses [99]. The purpose is to reflect incident Rayleigh waves and thereby create a region near the test masses that is seismically quieter. The reflection coefficient depends on the depth of the moat [120, 73, 35]. If the moat depth is half the length of a Rayleigh wave, then the wave amplitude behind the moat is weakened by more than a factor 5. Only if the moat depth exceeds a full length of a Rayleigh wave, then substantially better reduction can be achieved. If the distance of the moat to the test mass is sufficiently large, then the reduction factor in wave amplitude should translate approximately into the same reduction of Newtonian noise from Rayleigh waves. There are two practical problems with this idea. First, the length of Rayleigh waves at 10 Hz is about 20 m (at the LIGO sites), which means that the moat needs to be very deep to be effective. It may also be necessary to fill moats of this depth with a light material, which can slightly degrade the isolation performance. The second problem is that the scheme requires that Rayleigh waves are predominantly produced outside the protected area. This seems unlikely for the existing detector sites, but it may be possible to design the infrastructure of a new surface site such that sources near the test masses can be avoided. For example, fans, pumps, building walls set into vibration by wind, and the chambers being connected to the arm vacuum pipes are potential sources of seismicity in the vicinity of the test masses. The advantage is that the moats do not have to be wide, and therefore the site infrastructure is not strongly affected after construction of the moats. Another potential advantage, which also holds for the recess structures discussed below, is that the moat can host seismometers, which may facilitate coherent cancellation schemes since 3D information of seismic fields is obtained. This idea certainly needs to be studied quantitatively since seismic scattering from the moats could undo this advantage.
Another approach is to dig recess structures around the test masses [86]. Here the primary goal is not to reflect Rayleigh waves, but to remove mass around the test masses that would otherwise be perturbed by seismic fields to produce Newtonian noise. A sketch of how a recess structure may look like at a detector site is shown in Figure 51. A central pillar needs to be left to support the testmass chambers. The recess should have a depth of about 4 m, provided that the speed of Rayleigh waves is about 250 m/s at 10 Hz [87]. If the speed is higher by a factor 2, then recess dimensions in all three directions need to be increased by a factor 2 to maintain the same noise reduction. This means that it is infeasible to construct effective recesses at sites with much higher Rayleighwave speeds (at Newtoniannoise frequencies). For a 4 m deep recess and horizontal dimensions as shown in Figure 51, the reduction factor is plotted in the left of Figure 52.
Even though the primary purpose of the recess is not to reflect Rayleigh waves, seismic scattering can be significant. Due to the methods chosen by the authors, scattering could not be simulated, and validity of this approximation had to be explained. Above some frequency, the wavelength is sufficiently small so that scattering from a 4 m deep recess is significant. This regime is marked red in the plot, and the prediction of noise reduction may not be accurate. Above 20 Hz it can be seen that reduction gets weaker. This is because the gravity perturbation starts to be dominated by density perturbations of the central pillar. It is possible that the recess already acts as a moat at these frequencies, and that the central pillar has less seismic noise than simulated in their study. A detailed simulation of scattering from the recess structure using dynamical finiteelement methods is necessary to estimate the effect (see Section 3.5 for details). The Newtoniannoise spectrum calculated from the reduction curve is shown in the right of Figure 52. The green curve models the sensitivity of a possible future version of a LIGO detector. Without noise reduction, it would be strongly limited by Newtonian noise. With recess, Newtonian noise only modestly limits the sensitivity and implementation of coherent noise cancellation should provide the missing noise reduction. It is to be expected that the idea of removing mass around test masses only works at the surface. The reason is that seismic speeds are much larger underground (by a factor 10 at least compared to 250 m/s). The idea would be to place test masses at the centers of huge caverns, but Figure 9 tells us that the radius of such a cavern would have to be extremely large (of the order 100 m for a factor 2 Newtoniannoise reduction at 10 Hz).
7.4 Summary and open problems
In this section, we have described Newtoniannoise mitigation schemes including coherent noise cancellation using Wiener filters, and passive mitigation based on recess structures and site selection. While some of the mitigation strategies are well understood (for example, coherent cancellation of Rayleighwave Newtonian noise, or site selection with respect to ambient seismicity), others still need to be investigated in more detail. Especially the coherent cancellation of Newtonian noise from seismic body waves depends on many factors, and in this section we could only develop the tools to address this problem systematically. The role of Swaves as coherent noise contribution among seismic sensors serving as reference channels in Wiener filtering has been described in Section 7.1.3. Since the cancellation performance presented in Figure 41 is relatively poor and possibly insufficient for future GW detectors that rely on substantial reduction of Newtonian noise, it can be said that developing an effective scheme is one of the top priorities of future investigations in this field. Possible solutions may be to combine seismometers and strainmeters in sensor arrays, and to use multiaxes sensors instead of the singleaxis sensors modelled here. Nonetheless, it is remarkable that a simple approach does not lead to satisfactory results as we have seen for the cancellation of Rayleighwave and infrasound Newtonian noise in Figures 38 and 42. However, we have also been conservative with the bodywave modelling in the sense that we assumed isotropic fields and relatively low Pwave content. Since Pwaves experience weaker damping compared to Swaves, it may well be possible that Pwave content is higher in seismic fields. We have also reviewed our current understanding of sitedependent effects on coherent noise cancellation in Section 7.2.3, which adds to the complexity of the siteselection process. In this context, sites should be avoided where significant seismic scattering can be expected. This is generally the case in complex topographies typical for mountains. It should be emphasized though that a extensive and conclusive study of the impact of scattering on coherent cancellation has not been carried out so far.
Concerning passive mitigation strategies, site selection is the preferred option and should be part of any design study of future GW detectors. The potential gain in lowfrequency noise can be orders of magnitude, which cannot be guaranteed with any other mitigation strategy. This fact is of course well recognized by the community, as demonstrated by the detailed siteselection study for the Einstein Telescope and the fact that it was decided to construct the Japanese GW detector KAGRA underground. Alternative passive mitigation schemes such as the construction of recess structures around test masses are likely effective at surface sites only as explained in Section 7.3. The impact of these structures strongly depends on the ratio of structure size to seismic wavelength. Newtonian noise at underground sites is dominated by contributions from body waves, which can have lengths of hundreds of meters even at frequencies as high as 10 Hz. At the surface, smallerscale structures may turn out to be sufficient since Rayleighwave lengths at 10 Hz can be a factor 10 smaller than the lengths of body waves underground. Results from finiteelement simulations are indeed promising, and more detailed followup investigations should be carried out to identify possible problems with this approach.
Notes
It should be emphasized that in general, the null constraint given by Eq. (6) cannot be obtained from the geodesic equation since the geodesic equation is valid for all freely falling objects (massive and massless). The reason that the null constraint can be derived from Eq. (9) is that we used the null constraint together with the geodesic equation to obtain Eq. (9), which is therefore valid only for massless particles.
Multiplying h by 2 yields the corresponding metric perturbation.
According to pages 2 and 25 of second attachment to https://alog.ligowa.caltech.edu/aLOG/index.php?callRep=6760
Winterflood explains in his thesis why vertical resonance frequencies are higher than horizontal, and why this does not necessarily have to be so [173].
In order to identify components of the metric perturbation with tidal forces acting on test masses, one needs to choose specific spacetime coordinates, the socalled transversetraceless gauge [124].
In reality, the dominant damping mechanism in suspension systems is not viscous damping, but structural damping characterized by the socalled loss angle Φ, which quantifies the imaginary part of the elastic modulus [152].
It should not be forgotten that thermal noise also plays a role in the other two detector designs, but it is a more severe problem for superconducting gravimeters since the mechanical structure supporting the thermal vibrations is much larger. Any method to lower thermal noise, such as cooling of the structure, or lowering its mechanical loss is a greater effort.
Only at really low frequencies, below 10 mHz, where the finite size of the atmosphere starts to matter, pressure oscillations can be isothermal again.
Here, we do not consider using seismic data from a gravimeter for Newtoniannoise cancellation.
Abbreviations
 c = 299792458 m/s:

speed of light
 G = 6.674 × 10^{−11} Nm^{2}/kg^{2}:

gravitational constant
 \(\vec{r}, \, {\vec{e}_r}\) :

position vector, and corresponding unit vector
 x, y, z:

Cartesian coordinates
 r, θ, Φ:

spherical coordinates
 ϱ, Φ, z:

cylindrical coordinates
 dΩ ≡ dΦ dθ sin(θ):

solid angle
 δ_{ij}:

Kronecker delta
 δ(·):

Dirac δ distribution
 ℜ:

real part of a complex number
 \(\partial _x^n\) :

nth partial derivative with respect to x
 ∇:

nabla operator, e.g., (∂_{x}, ∂_{y}, ∂_{z})
 \(\vec{\xi} (\vec{r}, \, t)\) :

displacement field
 \({\phi _{\rm{s}}}(\vec{r}, \, t)\) :

potential of seismic compressional waves
 \({\vec{\psi}_{\rm{s}}}(\vec{r}, \, t)\) :

potential of seismic shear waves
 ρ _{0} :

timeaveraged mass density
 α, β:

compressionalwave and shearwave speed
 μ:

shear modulus
 ⊗:

dyadic product
 M, \(\vec{\upsilon}\) s:

matrix/tensor, vector, scalar
 P_{l}(x):

Legendre polynomial
 \(P_l^m(x)\) :

associated Legendre polynomial
 \(Y_l^m(x)\) :

scalar surface spherical harmonics
 J_{n}(x):

Bessel function of the first kind
 K_{n}(x):

modified Bessel function of the second kind
 j_{n}(x):

spherical Bessel function of the first kind
 Y_{n}(x):

Bessel function of the second kind
 y_{n}(x):

spherical Bessel function of the second kind
 H_{n}(x):

Hankel function or Bessel function of the third kind
 \(h_n^{(2)}(x)\) :

spherical Hankel function of the second kind
 \(X_l^m\) :

exterior spherical multipole moment
 \(N_l^m\) :

interior spherical multipole moment
References
Aasi, J. et al. (LIGO Scientific Collaboration), “Advanced LIGO”, Class. Quantum Grav., 32, 074001 (2015). [DOI]. (Cited on pages 8 and 27.)
Abbott, R. et al., “Seismic isolation enhancements for initial and Advanced LIGO”, Class. Quantum Grav., 21, S915 (2004). [DOI], [ADS]. (Cited on page 22.)
Abernathy, M. et al. (ET Science Team), Einstein gravitational wave Telescope conceptual design study, ET0106C10, (EGO, Cascina, 2011). URL (accessed 27 October 2015): https://tds.egogw.it/ql/?c=7954. (Cited on page 117.)
Abramovici, A. and Chapsky, J., Feedback Control Systems: A FastTrack Guide for Scientists and Engineers, (Kluwer Academic, Boston, 2000). [DOI]. (Cited on page 22.)
Abubakar, I., “Scattering of plane elastic waves at rough surfaces. I”, Math. Proc. Camb. Phil. Soc., 58, 136–157 (1962). [DOI]. (Cited on page 119.)
Accadia, T. et al. (Virgo Collaboration), “Status of the Virgo project”, Class. Quantum Grav., 28, 114002 (2011). [DOI]. (Cited on page 11.)
Acernese, F. et al. (Virgo Collaboration), “Advanced Virgo: a secondgeneration interferometric gravitational wave detector”, Class. Quantum Grav., 32, 024001 (2015). [DOI]. (Cited on pages 8, 25, and 27.)
Agnew, D. C., “Strainmeters and tiltmeters”, Rev. Geophys., 24, 579–624 (1986). [DOI]. (Cited on page 105.)
Aki, K. and Richards, P. G., Quantitative Seismology, (University Science Books, Sausalito, CA, 2009), 2nd edition. (Cited on pages 15, 30, 31, 38, 43, 57, 59, 62, 65, 70, and 130.)
Albertson, J. D., Parlange, M. B., Kiely, G. and Eichinger, W. E., “The average dissipation rate of turbulent kinetic energy in the neutral and unstable atmospheric surface layer”, J. Geophys. Res., 102, 13423–13432 (1997). [DOI]. (Cited on page 79.)
Allen, B. and Romano, J. D., “Detecting a stochastic background of gravitational radiation: Signal processing strategies and sensitivities”, Phys. Rev. D, 59, 102001, (1999). [DOI], [grqc/9710117]. (Cited on pages 103, 106, and 137.)
Ammon, C. J., Lay, T., Kanamori, H. and Cleveland, M., “A rupture model of the 2011 off the Pacific coast of Tohoku Earthquake”, Earth Planets Space, 63, 693, (2011). [DOI]. (Cited on page 63.)
Ando, M., Ishidoshiro, K., Yamamoto, K., Yagi, K., Kokuyama, W., Tsubono, K. and Takamori, A., “TorsionBar Antenna for LowFrequency GravitationalWave Observations”, Phys. Rev. Lett., 105, 161101 (2010). [DOI]. (Cited on page 11.)
Antonia, R. A. and Van Atta, C. W., “Structure functions of temperature fluctuations in turbulent shear flows”, Journal of Fluid Mechanics, 84, 561–580 (1978). [DOI]. (Cited on page 72.)
Arfken, G. B. and Weber, H. J., Mathematical Methods For Physicists, (Elsevier, Boston, 2005), 6th edition. (Cited on page 126.)
Aso, Y., Ando, M., Kawabe, K., Otsuka, S. and Tsubono, K., “Stabilization of a FabryPerot interferometer using a suspensionpoint interferometer”, Phys. Lett. A, 327, 1–8, (2004). [DOI]. (Cited on page 27.)
Aso, Y., Michimura, Y., Somiya, K., Ando, M., Miyakawa, O., Sekiguchi, T., Tatsumi, D. and Yamamoto, H. (The KAGRA Collaboration), “Interferometer design of the KAGRA gravitational wave detector”, Phys. Rev. D, 88, 043007, (2013). [DOI]. (Cited on pages 8, 11, and 36.)
Baker, John G. and Thorpe, J. I., “Comparison of Atom Interferometers and Light Interferometers as SpaceBased Gravitational Wave Detectors”, Phys. Rev. Lett., 108, 211101 (2012). [DOI]. (Cited on pages 21 and 26.)
Ballmer, S., Márka, S. and Shawhan, P., “Feasibility of measuring the Shapiro time delay over meterscale distances”, Class. Quantum Grav., 27, 185018 (2010). [DOI]. (Cited on page 12.)
Banka, D. and Crossley, D., “Noise levels of superconducting gravimeters at seismic frequencies”, Geophys. J. Int., 139, 87–97 (1999). [DOI]. (Cited on page 109.)
Barrera, R. G., Estevez, G. A. and Giraldo, J., “Vector spherical harmonics and their application to magnetostatics”, European J. Phys., 6, 287 (1985). [DOI]. (Cited on page 130.)
Barton, M., Robertson, N., Fritschel, P., Shoemaker, D. and Willems, P., Cavity Optics Suspension Subsystem Design Requirements Document, Technical Notes, T010007, (LIGO, Pasadena, CA, 2013). URL (accessed 27 October 2015): https://dcc.ligo.org/LIGOT010007/public. (Cited on page 16.)
Beccaria, M. et al., “Extending the VIRGO gravitational wave detection band down to a few Hz: metal blade springs and magnetic antisprings”, Nucl. Instrum. Methods A, 394, 397–408, (1997). [DOI]. (Cited on page 19.)
Beccaria, M. et al., “Relevance of Newtonian seismic noise for the VIRGO interferometer sensitivity”, Class. Quantum Grav., 15, 3339–3362 (1998). [DOI]. (Cited on page 29.)
Beker, M., “Newtonian noise simulations and subtraction for ET and Advanced Virgo”, Presented at GWADW on 14 May 2012, Hawaii, conference paper, (2012). URL (accessed 27 October 2015): https://dcc.ligo.org/LIGOG1200567/public. LIGO DCC, G1200567. (Cited on page 118.)
Beker, M. G., van den Brand, J. F. J., Hennes, E. and Rabeling, D. S., “Towards time domain finite element analysis of gravity gradient noise”, J. Phys.: Conf. Ser., 228, 012034 (2010). [DOI]. (Cited on pages 29, 46, and 47.)
Beker, M. G., van den Brand, J. F. J., Hennes, E. and Rabeling, D. S., “Newtonian noise and ambient ground motion for gravitational wave detectors”, J. Phys.: Conf. Ser., 363, 012004 (2012). [DOI]. (Cited on pages 8, 51, 95, 115, 117, and 118.)
Beker, M. G., van den Brand, J. F. J. and Rabeling, D. S., “Subterranean ground motion studies for the Einstein Telescope”, Class. Quantum Grav., 32, 025002 (2015). [DOI]. (Cited on pages 115 and 117.)
Beker, M. G. et al., “Improving the sensitivity of future GW observatories in the 1–10Hz band: Newtonian and seismic noise”, Gen. Relativ. Gravit., 43, 623–656 (2011). [DOI]. (Cited on page 52.)
BenMenahem, A., “Excitation of the Earth’s eigenvibrations by gravitational radiation from astrophysical sources”, Nuovo Cimento C, 6, 49–71, (1983). [DOI]. (Cited on page 14.)
BenMenahem, A. and Singh, S. J., Seismic Waves and Sources, (Springer, Berlin; New York, 1981). [DOI]. (Cited on page 130.)
Benesty, J., Huang, Y. and Chen, J., “Wiener and Adaptive Filters”, in Benesty, J., Sondhi, M. M. and Huang, Y., eds., Springer Handbook of Speech Processing, pp. 103–120, (Springer, Berlin; New York, 2008). [DOI]. (Cited on page 96.)
Berger, J., Davis, P. and Ekström, G., “Ambient Earth noise: A survey of the Global Seismographic Network”, J. Geophys. Res.