Gravitational-Wave Data Analysis. Formalism and Sample Applications: The Gaussian Case

The article reviews the statistical theory of signal detection in application to analysis of deterministic gravitational-wave signals in the noise of a detector. Statistical foundations for the theory of signal detection and parameter estimation are presented. Several tools needed for both theoretical evaluation of the optimal data analysis methods and for their practical implementation are introduced. They include optimal signal-to-noise ratio, Fisher matrix, false alarm and detection probabilities, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}${\mathcal F}$\end{document}-statistic, template placement, and fitting factor. These tools apply to the case of signals buried in a stationary and Gaussian noise. Algorithms to efficiently implement the optimal data analysis techniques are discussed. Formulas are given for a general gravitational-wave signal that includes as special cases most of the deterministic signals of interest.


Introduction
In this review we consider the problem of detection of deterministic gravitational-wave signals in the noise of a detector and the question of estimation of their parameters. The examples of deterministic signals are gravitational waves from rotating neutron stars, coalescing compact binaries, and supernova explosions. The case of detection of stochastic gravitational-wave signals in the noise of a detector is reviewed in [8]. A very powerful method to detect a signal in noise that is optimal by several criteria consists of correlating the data with the template that is matched to the expected signal. This matched-filtering technique is a special case of the maximum likelihood detection method. In this review we describe the theoretical foundation of the method and we show how it can be applied to the case of a very general deterministic gravitational-wave signal buried in a stationary and Gaussian noise.
Early gravitational-wave data analysis was concerned with the detection of bursts originating from supernova explosions [144]. It involved analysis of the coincidences among the detectors [70]. With the growing interest in laser interferometric gravitational-wave detectors that are broadband it was realized that sources other than supernovae can also be detectable [135] and that they can provide a wealth of astrophysical information [122,77]. For example, the analytic form of the gravitational-wave signal produced during the inspiral phase of a compact binary coalescence is known in terms of a few parameters to a good approximation (see, e.g., [30] and Section 2.4 of [66]). Consequently one can detect such a signal by correlating the data with the predicted waveform (often called the template) and maximizing the correlation with respect to the parameters of the waveform. Using this method one can pick up a weak signal from the noise by building a large signal-to-noise ratio over a wide bandwidth of the detector [135]. This observation has led to rapid development of the theory of gravitational-wave data analysis. It became clear that the detectability of sources is determined by optimal signal-to-noise ratio, which is the power spectrum of the signal divided by the power spectrum of the noise integrated over the bandwidth of the detector.
An important landmark was a workshop entitled Gravitational Wave Data Analysis held in Dyffryn House and Gardens, St. Nicholas near Cardiff, in July 1987 [123]. The meeting acquainted physicists interested in analyzing gravitational-wave data with the basics of the statistical theory of signal detection and its application to detection of gravitational-wave sources. As a result of subsequent studies, the Fisher information matrix was introduced to the theory of the analysis of gravitational-wave data [50,76]. The diagonal elements of the Fisher matrix give lower bounds on the variances of the estimators of the parameters of the signal and can be used to assess the quality of astrophysical information that can be obtained from detections of gravitational-wave signals [41,75,25]. It was also realized that the application of matched-filtering to some sources, notably to continuous sources originating from neutron stars, will require extraordinary large computing resources. This gave a further stimulus to the development of optimal and efficient algorithms and data analysis methods [124].
A very important development was the work by Cutler et al. [43] where it was realized that for the case of coalescing binaries matched filtering was sensitive to very small post-Newtonian effects of the waveform. Thus, these effects can be detected. This leads to a much better verification of Einstein's theory of relativity and provides a wealth of astrophysical information that would make a laser interferometric gravitational-wave detector a true astronomical observatory complementary to those utilizing the electromagnetic spectrum. As further development of the theory, methods were introduced to calculate the quality of suboptimal filters [13], to calculate the number of templates required to do a search using matched-filtering [102], to determine the accuracy of templates required [33], and to calculate the false alarm probability and thresholds [68]. An important point is the reduction of the number of parameters that one needs to search for in order to detect a signal. Namely estimators of a certain type of parameters, called extrinsic parameters, can be found in Living Reviews in Relativity http://www.livingreviews.org/lrr-2012-4 a closed analytic form and consequently eliminated from the search. Thus, a computationallyintensive search need only be performed over a reduced set of intrinsic parameters [76,68,78].
Techniques reviewed in this paper have been used in the data analysis of prototypes of gravitational-wave detectors [100,99,12] and in the data analysis of gravitational-wave detectors currently in operation [133,23,4,3,2].
Living Reviews in Relativity http://www.livingreviews.org/lrr-2012-4 Gravitational-Wave Data Analysis. Formalism and Sample Applications: The Gaussian Case 7 2 Response of a Detector to a Gravitational Wave There are two main methods of detecting gravitational waves currently in use. One method is to measure changes induced by gravitational waves on the distances between freely-moving test masses using coherent trains of electromagnetic waves. The other method is to measure the deformation of large masses at their resonance frequencies induced by gravitational waves. The first idea is realized in laser interferometric detectors (both Earth-based [105,141,53] and space-borne [85,137] antennas) and Doppler tracking experiments [14], whereas the second idea is implemented in resonant mass detectors (see, e.g., [22]).

Doppler shift between freely falling particles
We start by describing the change of a photon's frequency caused by a passing gravitational wave and registered by particles (representing different parts of a gravitational-wave detector) freely falling in the field of the gravitational wave. The detailed derivation of the formulae we show here can be found in Chapter 5 of [66] (see also [47,15,120]). An equivalent derivation of the response of test masses to gravitational waves in the local Lorentz gauge (without making use of the long-wavelength approximation) is given in [113].
We employ here the transverse traceless (TT) coordinate system (more about the TT gauge can be found, e.g., in Section 35.4 of [91] or in Section 1.3 of [66]). A spacetime metric describing a plane gravitational wave traveling in the + direction of the TT coordinate system (with coordinates 0 ≡ , 1 ≡ , 2 ≡ , 3 ≡ ), is described by the line element where ℎ + and ℎ × are the two independent polarizations of the wave. We assume that the wave is weak, i.e., for any instant of time , We will neglect all terms of order ℎ 2 or higher. The form of the line element (1) implies that the functions ℎ + ( ) and ℎ × ( ) describe the wave-induced perturbation of the flat Minkowski metric at the origin of the TT coordinate system (where = = = 0). It is convenient to introduce the three-dimensional matrix of the spatial metric perturbation produced by the gravitational wave (at the coordinate system's origin), Let two particles freely fall in the field (1) of the gravitational wave, and let their spatial coordinates remain constant, so the particles' world lines are described by equations where ( , , ) are spatial coordinates of the th particle and is its proper time. These two particles measure, in their proper reference frames, the frequency of the same photon traveling along a null geodesic = ( ), where is some affine parameter. The coordinate time, at which the photon's frequency is measured by the th particle, is equal to ( = 1, 2); we assume that 2 > 1 . Let us introduce the coordinate time duration 12 of the photon's trip and the Euclidean coordinate distance 12 between the particles: Living Reviews in Relativity http://www.livingreviews.org/lrr-2012-4 Let us also introduce the 3-vector n of unit Euclidean length directed along the line connecting the two particles. We arrange the components of this vector into the column 3 × 1 matrix n (thus, we distinguish here the 3-vector n from its components being the elements of the matrix n; the same 3-vector can be decomposed into components in different spatial coordinate systems): where the superscript T denotes matrix transposition. If one neglects the spacetime curvature caused by the gravitational wave, then , , and are the angles between the path of the photon in the 3-space and the coordinate axis , , or , respectively (obviously, , , ∈ ⟨0; ⟩ and cos 2 + cos 2 + cos 2 = 1). Let us denote the value of the frequency registered by the th particle by ( = 1, 2) and let us finally define the relative change of the photon's frequencies, Then, it can be shown (see Chapter 5 of [66] for details) that the frequency ratio 12 can be written [making use of the quantities introduced in Eqs. (3) and (5) - (6)] as follows (the dot means here matrix multiplication): It is convenient to introduce the unit 3-vector k directed from the origin of the coordinate system to the source of the gravitational wave. In the coordinate system adopted by us the wave is traveling in the + direction. Therefore, the components of the 3-vector k, arranged into the column matrix k, are k = (0, 0, −1) T .
The positions of the particles with respect to the origin of the coordinate system we describe by the 3-vectors x ( = 1, 2), the components of which we put into the column matrices x : Making use of Eqs. (9) -(10) we rewrite the basic formula (8) in the following form To obtain the response for all currently working and planned detectors it is enough to consider a configuration of three particles shown in Figure 1. Two particles model a Doppler tracking experiment, where one particle is the Earth and the other is a distant spacecraft. Three particles model a ground-based laser interferometer, where the masses are suspended from seismicallyisolated supports or a space-borne interferometer, where the three test masses are shielded in satellites driven by drag-free control systems. In Figure 1 we have introduced the following notation: O denotes the origin of the TT coordinate system related to the passing gravitational wave, x ( = 1, 2, 3) are 3-vectors joining O and the particles, n and ( = 1, 2, 3) are, respectively, 3-vectors of unit Euclidean length along the lines joining the particles and the coordinate Euclidean distances between the particles, where is the label of the opposite particle. We still assume that the spatial coordinates of the particles do not change in time.
Living Reviews in Relativity http://www.livingreviews.org/lrr-2012-4 Gravitational-Wave Data Analysis. Formalism and Sample Applications: The Gaussian Case 9 Let us denote by 0 the frequency of the coherent beam used in the detector (laser light in the case of an interferometer and radio waves in the case of Doppler tracking). Let the particle 1 emit the photon with frequency 0 at the moment 0 towards the particle 2, which registers the photon with frequency ′ at the moment ′ = 0 + 3 / + (ℎ). The photon is immediately transponded (without change of frequency) back to the particle 1, which registers the photon with frequency at the moment = 0 + 2 3 / + (ℎ). We express the relative changes of the photon's frequency The total frequency shift 121 := ( − 0 )/ 0 of the photon during its round trip can be computed from the one-way frequency shifts 12 and 21 given above:

Long-wavelength approximation
Let be the size of the detector and¯:= /(2 ) be the reduced wavelength of the gravitational wave impinging on the detector. In the long-wavelength approximation the condition¯≫ is fulfilled. The angular frequency of the wave equals = /¯. Time delays caused by the finite speed of the wave propagating across the detector are of order Δ ∼ / , but so time delays across the detector are much shorter than the period of the gravitational wave and can be neglected. It means that with a good accuracy the gravitational-wave field can be treated as being uniform (but time-dependent) in the space region that covers the entire detector. To Living Reviews in Relativity http://www.livingreviews.org/lrr-2012-4 detect gravitational waves with some dominant angular frequency one must collect data over time intervals longer (sometimes much longer) than the gravitational-wave period. This implies that in Eq. (8) for the relative frequency shift, the typical value of the quantity¯:= 1 − 1 / will be much larger than the retardation time Δ := 12 / . Therefore, we can expand this equation with respect to Δ and keep terms only linear in Δ . After doing this one obtains (see Section 5.3 in [66] for more details): where overdot denotes differentiation with respect to time. For the configuration of particles shown in Figure 1, the relative frequency shifts 12 and 21 given by Eqs. (12) can be written, by virtue of the formula (15), in the form so that they are equal to each other up to terms (︀ ℎ 2 , Δ 2 )︀ . The photon's total round-trip frequency shift 121 [cf. Eq. (13)] is thus equal to There are important cases where the long-wavelength approximation is not valid. These include satellite Doppler tracking measurements and the space-borne LISA detector for gravitational-wave frequencies larger than a few mHz.

Solar-system-based detectors
Real gravitational-wave detectors do not stay at rest with respect to the TT coordinate system related to the passing gravitational wave, because they also move in the gravitational field of the solar system bodies, as in the case of the LISA spacecraft, or are fixed to the surface of the Earth, as in the case of Earth-based laser interferometers or resonant bar detectors. Let us choose the origin O of the TT coordinate system employed in Section 2.1 to coincide with the solar system barycenter (SSB). The motion of the detector with respect to the SSB will modulate the gravitational-wave signal registered by the detector. One can show that as far as the velocities of the particles (modeling the detector's parts) with respect to the SSB are non-relativistic, which is the case for all existing or planned detectors, Eqs. (12) can still be used, provided the 3-vectors x and n ( = 1, 2, 3) will be interpreted as made of the time-dependent components describing the motion of the particles with respect to the SSB.
It is often convenient to introduce the proper reference frame of the detector with coordinates (^). Because the motion of this frame with respect to the SSB is non-relativistic, we can assume that the transformation between the SSB-related coordinates ( ) and the detector's proper reference frame coordinates (^) has the form where the functions^̂︀( ) describe the motion of the origin̂︀ of the proper reference frame with respect to the SSB, and the functions O ( ) account for the different orientations of the spatial axes of the two reference frames. One can compute some of the quantities entering Eqs. (12) in the detector's coordinates rather than in the TT coordinates. For instance, the matrix̂︀ H of the wave-induced spatial metric perturbation in the detector's coordinates is related to the matrix H Living Reviews in Relativity http://www.livingreviews.org/lrr-2012-4 Gravitational-Wave Data Analysis. Formalism and Sample Applications: The Gaussian Case 11 of the spatial metric perturbation produced by the wave in the TT coordinate system through equation̂︀ See [31,54,68,78] for more details. For a ground-based laser-interferometric detector, the long-wavelength approximation can be employed (however, see [27,115,114] for a discussion of importance of high-frequency corrections, which modify the interferometer response function computed within the long-wavelength approximation). In the case of an interferometer in a standard Michelson and equal-arm configuration (such configurations can be represented by Figure 1 with the particle 1 corresponding to the corner station of the interferometer and with 2 = 3 = ), the observed relative frequency shift Δ ( )/ 0 is equal to the difference of the round-trip frequency shifts in the two detector's arms [136]: Let ( d , d , d ) be the components (with respect to the TT coordinate system) of the 3-vector r d connecting the origin of the TT coordinate system with the corner station of the interferometer. Then and, making use of Eq. (17), the relative frequency shift (21) can be written as The difference Δ ( ) of the phase fluctuations measured, say, by a photo detector, is related to the corresponding relative frequency fluctuations Δ ( ) by One can integrate Eq. (22) to write the phase change Δ ( ) as where the dimensionless function ℎ, is the response function of the interferometric detector to a plane gravitational wave in the longwavelength approximation. To get Eqs.  (25) can also be used in the case when those quantities are time dependent, provided the velocitiesẋ of the detector's parts with respect to the SSB are non-relativistic. The error we make in such cases is on the order of (ℎ ), where is a typical value of the velocitiesẋ . Thus, the response function of the Earth-based interferometric detector equals Living Reviews in Relativity http://www.livingreviews.org/lrr-2012-4 where all quantities here are computed in the SSB-related TT coordinate system. The same response function can be written in terms of a detector's proper-reference-frame quantities as follows where the matricesĤ and H are related to each other by means of formula (20). In Eq. (27) the proper-reference-frame componentsn 2 andn 3 of the unit vectors directed along the interferometer arms can be treated as constant (i.e., time independent) quantities. From Eqs. (26) and (3) it follows that the response function ℎ is a linear combination of the two wave polarizations ℎ + and ℎ × , so it can be written as The functions + and × are the interferometric beam-pattern functions. They depend on the location of the detector on Earth, the position of the gravitational-wave source in the sky, and the polarization angle of the wave (this angle describes the orientation, with respect to the detector, of the axes relative to which the plus and cross polarizations of the wave are defined, see, e.g., Figure 9.2 in [135]). Derivation of the explicit formulae for the interferometric beam patterns + and × can be found, e.g., in Appendix C of [66].
In the long-wavelength approximation, the response function of the interferometric detector can be derived directly from the equation of geodesic deviation [126]. Then the response is defined as the relative difference between the wave-induced changes of the proper lengths of the two arms, i.e., ℎ( ) := (Δ^2( ) − Δ^3( ))/^0, where^0 + Δ^2( ) and^0 + Δ^3( ) are the instantaneous values of the proper lengths of the interferometer's arms and^0 is the unperturbed proper length of these arms.
In the case of an Earth-based resonant-bar detector the long-wavelength approximation is very accurate and the dimensionless detector's response function can be defined as ℎ( ) := Δ^( )/^0, where Δ^( ) is the wave-induced change of the proper length^0 of the bar. The response function ℎ can be computed in terms of the detector's proper-reference-frame quantities from the formula (see, e.g., Section 9.5.2 in [135]) where the column matrixn consists of the components (computed in the proper reference frame of the detector) of the unit vector n directed along the symmetry axis of the bar. The response function (29) can be written as a linear combination of the wave polarizations ℎ + and ℎ × , i.e., the formula (28) is also valid for the resonant-bar response function but with some bar-pattern functions + and × different from the interferometric beam-pattern functions. Derivation of the explicit form of the bar patterns can be found, e.g., in Appendix C of [66].

General form of the response function
In many cases of interest the response function of the detector to a plane gravitational wave can be written as a linear combination of waveforms ℎ ( ; ) [which all depend on the same set of parameters = ( 1 , . . . , )] with constant amplitudes ( = 1, . . . , ), Living Reviews in Relativity http://www.livingreviews.org/lrr-2012-4 Gravitational-Wave Data Analysis. Formalism and Sample Applications: The Gaussian Case 13 where the vector collects all the signal's parameters. It is convenient to introduce column matrices Then one can briefly write = (a, ) and the response (30) can be written as The functions ℎ ( = 1, . . . , ) are independent of the parameters a. The parameters a are called extrinsic (or amplitude) parameters whereas the parameters are called intrinsic.
Eq. (32) with = 4 is a model of the response of the space-based detector LISA to gravitational waves from a binary system [78]. Also for = 4 the same equation models the response of a groundbased detector to a continuous source of gravitational waves like a rotating neutron star [68]. For ground-based detectors the long-wavelength approximation can be applied and within this approximation the functions ℎ ( = 1, . . . , 4) are given by where 0 and 0 are constant amplitude and initial phase, respectively, and ( ; ) is a slowly varying function of time. Eq. (34) is a good model for the response of a detector to the gravitational wave from a coalescing compact binary system [135,30]. We would like to stress that not all deterministic gravitational-wave signals may be cast into the general form (32).

Statistical Theory of Signal Detection
The gravitational-wave signal will be buried in the noise of the detector and the data from the detector will be a random (or stochastic) process. Consequently, the problem of extracting the signal from the noise is a statistical one. The basic idea behind signal detection is that the presence of the signal changes the statistical characteristics of the data , in particular its probability distribution. When the signal is absent the data have probability density function (pdf) 0 ( ), and when the signal is present the pdf is 1 ( ).
A thorough introduction to probability theory and mathematical statistics can be found, e.g., in [51,130,131,101]. A full exposition of statistical theory of signal detection that is only outlined here can be found in the monographs [147,74,143,139,87,58,107]. A general introduction to stochastic processes is given in [145] and advanced treatment of the subject can be found in [84,146]. A concise introduction to the statistical theory of signal detection and time series analysis is contained in Chapters 3 and 4 of [66].

Hypothesis testing
The problem of detecting the signal in noise can be posed as a statistical hypothesis testing problem. The null hypothesis 0 is that the signal is absent from the data and the alternative hypothesis 1 is that the signal is present. A hypothesis test (or decision rule) is a partition of the observation set into two subsets, ℛ and its complement ℛ ′ . If data are in ℛ we accept the null hypothesis, otherwise we reject it. There are two kinds of errors that we can make. A type I error is choosing hypothesis 1 when 0 is true and a type II error is choosing 0 when 1 is true. In signal detection theory the probability of a type I error is called the false alarm probability, whereas the probability of a type II error is called the false dismissal probability. 1−(false dismissal probability) is the probability of detection of the signal. In hypothesis testing theory, the probability of a type I error is called the significance of the test, whereas 1 − (probability of type II error) is called the power of the test.
The problem is to find a test that is in some way optimal. There are several approaches to finding such a test. The subject is covered in detail in many books on statistics, for example, see [72,51,80,83].

Bayesian approach
In the Bayesian approach we assign costs to our decisions; in particular we introduce positive numbers , , = 0, 1, where is the cost incurred by choosing hypothesis when hypothesis is true. We define the conditional risk of a decision rule for each hypothesis as where is the probability distribution of the data when hypothesis is true. Next, we assign probabilities 0 and 1 = 1 − 0 to the occurrences of hypotheses 0 and 1 , respectively. These probabilities are called a priori probabilities or priors. We define the Bayes risk as the overall average cost incurred by the decision rule : Finally we define the Bayes rule as the rule that minimizes the Bayes risk ( ).

Minimax approach
Very often in practice we do not have control over or access to the mechanism generating the state of nature and we are not able to assign priors to various hypotheses. In such a case one criterion Living Reviews in Relativity http://www.livingreviews.org/lrr-2012-4 Gravitational-Wave Data Analysis. Formalism and Sample Applications: The Gaussian Case 15 is to seek a decision rule that minimizes, over all , the maximum of the conditional risks, 0 ( ) and 1 ( ). A decision rule that fulfills that criterion is called a minimax rule.

Neyman-Pearson approach
In many problems of practical interest the imposition of a specific cost structure on the decisions made is not possible or desirable. The Neyman-Pearson approach involves a trade-off between the two types of errors that one can make in choosing a particular hypothesis. The Neyman-Pearson design criterion is to maximize the power of the test (probability of detection) subject to a chosen significance of the test (false alarm probability).

Likelihood ratio test
It is remarkable that all three very different approaches -Bayesian, minimax, and Neyman-Pearson -lead to the same test called the likelihood ratio test [44]. The likelihood ratio Λ is the ratio of the pdf when the signal is present to the pdf when it is absent: We accept the hypothesis 1 if Λ > , where is the threshold that is calculated from the costs , priors , or the significance of the test depending on which approach is being used.

The matched filter in Gaussian noise
Let ℎ be the gravitational-wave signal we are looking for and let be the detector's noise. For convenience we assume that the signal ℎ is a continuous function of time and that the noise is a continuous random process. Results for the discrete-in-time data that we have in practice can then be obtained by a suitable sampling of the continuous-in-time expressions. Assuming that the noise is additive the data can be written as The autocorrelation function of the noise is defined as where E denotes the expectation value. Let us further assume that the detector's noise is a zero-mean and Gaussian random process. It can then be shown that the logarithm of the likelihood function is given by the following where ⟨0; o ⟩ is the time interval over which the data was collected and the function is the solution of the integral equation For stationary noise, its autocorrelation function (39) depends on times and ′ only through the difference − ′ . It implies that there exists then an even function of one variable such that Living Reviews in Relativity http://www.livingreviews.org/lrr-2012-4 Spectral properties of stationary noise are described by its one-sided spectral density, defined for non-negative frequencies ≥ 0 through relation For negative frequencies < 0, by definition, ( ) = 0. The spectral density can also be determined by correlations between the Fourier components of the detector's noise For the case of stationary noise with one-sided spectral density , it is convenient to define the scalar product ( | ) between any two waveforms and , where ℜ denotes the real part of a complex expression, the tilde denotes the Fourier transform, and the asterisk is complex conjugation. Making use of this scalar product, the log likelihood function (40) can be written as From the expression (46) we see immediately that the likelihood ratio test consists of correlating the data with the signal ℎ that is present in the noise and comparing the correlation to a threshold. Such a correlation is called the matched filter. The matched filter is a linear operation on the data. An important quantity is the optimal signal-to-noise ratio defined by By means of Eq. (45) it can be written as We see in the following that determines the probability of detection of the signal. The higher the signal-to-noise ratio the higher the probability of detection. An interesting property of the matched filter is that it maximizes the signal-to-noise ratio over all linear filters [44]. This property is independent of the probability distribution of the noise.

Parameter estimation
Very often we know the waveform of the signal that we are searching for in the data in terms of a finite number of unknown parameters. We would like to find optimal procedures of estimating these parameters. An estimator of a parameter is a function^( ) that assigns to each data set the "best" guess of the true value of . Note that because^( ) depends on the random data it is a random variable. Ideally we would like our estimator to be (i) unbiased, i.e., its expectation value to be equal to the true value of the parameter, and (ii) of minimum variance. Such estimators are rare and in general difficult to find. As in the signal detection there are several approaches to the parameter estimation problem. The subject is exposed in detail in [81,82]. See also [149] for a concise account.

Bayesian estimation
We assign a cost function ( ′ , ) of estimating the true value of as ′ . We then associate with an estimator^a conditional risk or cost averaged over all realizations of data for each value of the parameter : where is the set of observations and ( , ) is the joint probability distribution of data and parameter . We further assume that there is a certain a priori probability distribution ( ) of the parameter . We then define the Bayes estimator as the estimator that minimizes the average risk defined as where E is the expectation value with respect to an a priori distribution , and Θ is the set of observations of the parameter . It is not difficult to show that for a commonly used cost function the Bayesian estimator is the conditional mean of the parameter given data , i.e., where ( | ) is the conditional probability density of parameter given the data .

Maximum a posteriori probability estimation
Suppose that in a given estimation problem we are not able to assign a particular cost function ( ′ , ). Then a natural choice is a uniform cost function equal to 0 over a certain interval of the parameter . From Bayes theorem [28] we have where ( ) is the probability distribution of data . Then, from Eq. (50) one can deduce that for each data point the Bayes estimate is any value of that maximizes the conditional probability ( | ). The density ( | ) is also called the a posteriori probability density of parameter and the estimator that maximizes ( | ) is called the maximum a posteriori (MAP) estimator. It is denoted by^M AP . We find that the MAP estimators are solutions of the following equation which is called the MAP equation.

Maximum likelihood estimation
Often we do not know the a priori probability density of a given parameter and we simply assign to it a uniform probability. In such a case maximization of the a posteriori probability is equivalent to maximization of the probability density ( , ) treated as a function of . We call the function ( which is called the ML equation.

Fisher information and Cramèr-Rao bound
It is important to know how good our estimators are. We would like our estimator to have as small a variance as possible. There is a useful lower bound on variances of the parameter estimators called the Cramèr-Rao bound, which is expressed in terms of the Fisher information matrix Γ( ). For the signal ℎ( ; ), which depends on parameters collected into the vector = ( 1 , . . . , ), the components of the matrix Γ( ) are defined as The Cramèr-Rao bound states that for unbiased estimators the covariance matrix C( ) of the estimators fulfills the inequality (The inequality A ≥ B for matrices means that the matrix A − B is nonnegative definite.) A very important property of the ML estimators is that asymptotically (i.e., for a signal-tonoise ratio tending to infinity) they are (i) unbiased, and (ii) they have a Gaussian distribution with covariance matrix equal to the inverse of the Fisher information matrix.
In the case of Gaussian noise the components of the Fisher matrix are given by where the scalar product (·|·) is defined in Eq. (45).

Maximum-likelihood Detection in Gaussian Noise
In this section, we study the detection of a deterministic gravitational-wave signal ℎ( ; ) of the general form given by Eq. (32) and the estimation of its parameters using the maximum-likelihood (ML) principle. We assume that the noise ( ) in the detector is a zero-mean, Gaussian, and stationary random process. The data in the detector, in the case when the gravitational-wave signal ℎ( ; ) is present, is ( ; ) = ( ) + ℎ( ; ). The parameters = (a, ) of the signal (32) split into extrinsic (or amplitude) parameters a and intrinsic ones .

The ℱ-statistic
For the gravitational-wave signal ℎ( ; a, ) of the form given in Eq. (32) the log likelihood function (46) can be written as where the components of the column × 1 matrix N and the square × matrix M are given by The ML equations for the extrinsic parameters a, log Λ[ ; a, ]/ a = 0, can be solved explicitly to show that the ML estimatorsâ of the parameters a are given bŷ Replacing the extrinsic parameters a in Eq. (59) by their ML estimatorsâ, we obtain the reduced log likelihood function, that we call the ℱ-statistic. The ℱ-statistic depends nonlinearly on the intrinsic parameters of the signal, it does not depend on the extrinsic parameters a. The procedure to detect the gravitational-wave signal of the form (32) and estimate its parameters consists of two parts. The first part is to find the (local) maxima of the ℱ-statistic (62) in the intrinsic parameters space. The ML estimators^of the intrinsic parameters are those values of for which the ℱ-statistic attains a maximum. The second part is to calculate the estimatorsâ of the extrinsic parameters a from the analytic formula (61), where the matrix M and the correlations N are calculated for the parameters replaced by their ML estimators^obtained from the first part of the analysis. We call this procedure the maximum likelihood detection. See Section 4.6 for a discussion of the algorithms to find the (local) maxima of the ℱ-statistic.

Targeted searches
The ℱ-statistic can also be used in the case when the intrinsic parameters are known. An example of such an analysis called a targeted search is the search for a gravitational-wave signal from a known pulsar. In this case assuming that gravitational-wave emission follows the radio timing, the phase of the signal is known from pulsar observations and the only unknown parameters of the signal are the amplitude (or extrinsic) parameters a [see Eq. (30)]. To detect the signal one calculates the ℱ-statistic for the known values of the intrinsic parameters and compares it to a threshold [67]. When a statistically-significant signal is detected, one then estimates the amplitude parameters from the analytic formulae (61).
Living Reviews in Relativity http://www.livingreviews.org/lrr-2012-4 In [109] it was shown that the maximum-likelihood ℱ-statistic can be interpreted as a Bayes factor with a simple, but unphysical, amplitude prior (and an additional unphysical sky-position weighting). Using a more physical prior based on an isotropic probability distribution for the unknown spin-axis orientation of emitting systems, a new detection statistic (called the ℬ-statistic) was obtained. Monte Carlo simulations for signals with random (isotropic) spin-axis orientations show that the ℬ-statistic is more powerful (in terms of its expected detection probability) than the ℱ-statistic. A modified version of the ℱ-statistic that can be more powerful than the original one has been studied in [20].

Signal-to-noise ratio and the Fisher matrix
The signal-to-noise ratio for the signal (32) can be written as )︃ , where Γ aa is an × matrix with components ( ℎ/ | ℎ/ ) ( , = 1, . . . , ), Γ a is an × matrix with components ( ℎ/ | ℎ/ ) ( = 1, . . . , , = 1, . . . , ), and finally Γ is × matrix with components ( ℎ/ | ℎ/ ℬ ) ( , ℬ = 1, . . . , ). We introduce two families of the auxiliary × square matrices F ( ) and S ( ℬ) ( , ℬ = 1, . . . , ), which depend on the intrinsic parameters only (the indexes , ℬ within parentheses mean that they serve here as the matrix labels). The components of the matrices F ( ) and S ( ℬ) are defined as follows: Making use of the definitions (60) and (66) The notation introduced above means that the matrix Γ a can be thought of as a 1 × row matrix made of × 1 column matrices F ( ) · a. Thus, the general formula for the component of the matrix The general component of the matrix Γ is given by The covariance matrix C, which approximates the expected covariances of the ML estimators of the parameters , is defined as Γ −1 . Applying the standard formula for the inverse of a block matrix [90] to Eq. (65), one gets where the matrices C aa , C a , and C can be expressed in terms of the matrices Γ aa = M, Γ a , and Γ as follows: C (a, ) = Γ(a, ) −1 .
In Eqs. (74) - (76) we have introduced the × matrix: We call the matrix Γ (which is the Schur complement of the matrix M) the projected Fisher matrix (onto the space of intrinsic parameters). Because the matrix Γ is the inverse of the intrinsicparameter submatrix C of the covariance matrix C, it expresses the information available about the intrinsic parameters that takes into account the correlations with the extrinsic parameters. The matrix Γ is still a function of the putative extrinsic parameters. We next define the normalized projected Fisher matrix (which is the × square matrix) where is the signal-to-noise ratio. Making use of the definition (77) and Eqs. (71)-(72) we can show that the components of this matrix can be written in the form Living Reviews in Relativity http://www.livingreviews.org/lrr-2012-4 where A ( ℬ) is the × matrix defined as From the Rayleigh principle [90] it follows that the minimum value of the component (Γ (a, )) ℬ is given by the smallest eigenvalue of the matrix M −1 · A ( ℬ) . Similarly, the maximum value of the component (Γ (a, )) ℬ is given by the largest eigenvalue of that matrix.
Because the trace of a matrix is equal to the sum of its eigenvalues, the × square matrix︀ Γ with components expresses the information available about the intrinsic parameters, averaged over the possible values of the extrinsic parameters. Note that the factor 1/ is specific to the case of extrinsic parameters. We shall call̃︀ Γ the reduced Fisher matrix. This matrix is a function of the intrinsic parameters alone. We shall see that the reduced Fisher matrix plays a key role in the signal processing theory that we present here. It is used in the calculation of the threshold for statistically significant detection and in the formula for the number of templates needed to do a given search. For the case of the signal the normalized projected Fisher matrix Γ is independent of the extrinsic parameters 0 and 0 , and it is equal to the reduced matrix̃︀ Γ [102]. The components of̃︀ Γ are given bỹ︀ where Γ 0 is the Fisher matrix for the signal ( ; ) cos ( ( ; ) − 0 ).

False alarm and detection probabilities for known intrinsic parameters
We first present the false alarm and detection probabilities when the intrinsic parameters of the signal are known. In this case the ℱ-statistic is a quadratic form of the random variables that are correlations of the data. As we assume that the noise in the data is Gaussian and the correlations are linear functions of the data, ℱ is a quadratic form of the Gaussian random variables. Consequently the ℱ-statistic has a distribution related to the 2 distribution. One can show (see Section III B in [65]) that for the signal given by Eq. (30), 2ℱ has a 2 distribution with degrees of freedom when the signal is absent and noncentral 2 distribution with degrees of freedom and non-centrality parameter equal to the square of the signal-to-noise ratio when the signal is present. As a result the pdfs 0 and 1 of the ℱ-statistic, when the intrinsic parameters are known and when respectively the signal is absent or present in the data, are given by Living Reviews in Relativity http://www.livingreviews.org/lrr-2012-4 Gravitational-Wave Data Analysis. Formalism and Sample Applications: The Gaussian Case 23 where is the number of degrees of freedom of 2 distribution and /2−1 is the modified Bessel function of the first kind and order /2 − 1. The false alarm probability F is the probability that ℱ exceeds a certain threshold ℱ 0 when there is no signal. In our case we have The probability of detection D is the probability that ℱ exceeds the threshold ℱ 0 when a signal is present and the signal-to-noise ratio is equal to : The integral in the above formula can be expressed in terms of the generalized Marcumfunction [132,58], D ( , ℱ 0 ) = ( , √ 2ℱ 0 ). We see that when the noise in the detector is Gaussian and the intrinsic parameters are known, the probability of detection of the signal depends on a single quantity: the optimal signal-to-noise ratio .

False alarm probability for unknown intrinsic parameters
Next we return to the case in which the intrinsic parameters are not known. Then the statistic ℱ[ ; ] given by Eq. (62) is a certain multiparameter random process called the random field (see monographs [5,6] for a comprehensive discussion of random fields). If the vector has one component the random field is simply a random process. For random fields we define the autocovariance function just in the same way as we define such a function for a random process: where and ′ are two values of the intrinsic parameter set, and E 0 is the expectation value when the signal is absent. One can show that for the signal (30) the autocovariance function is given by where Q is an × matrix with components Q( , ′ ) := (︀ ℎ ( ; )|ℎ ( ; ′ ) )︀ , , = 1, . . . , .
Obviously Q( , ) = M( ), therefore ( , ) = /2. One can estimate the false alarm probability in the following way [68]. The autocovariance function tends to zero as the displacement Δ = ′ − increases (it is maximal for Δ = 0). Thus we can divide the parameter space into elementary cells such that in each cell the autocovariance function is appreciably different from zero. The realizations of the random field within a cell will be correlated (dependent), whereas realizations of the random field within each cell and outside of the cell are almost uncorrelated (independent). Thus, the number of cells covering the parameter space gives an estimate of the number of independent realizations of the random field.
We choose the elementary cell with its origin at the point to be a compact region with boundary defined by the requirement that the autocovariance ( , ′ ) between the origin and any point ′ at the cell's boundary equals half of its maximum value, i.e., ( , )/2. Thus, the elementary cell is defined by the inequality Living Reviews in Relativity http://www.livingreviews.org/lrr-2012-4 Piotr Jaranowski and Andrzej Królak with at the cell's center and ′ on the cell's boundary.
To estimate the number of cells we perform the Taylor expansion of the autocovariance function up to the second-order terms: As attains its maximum value when − ′ = 0, we have Let us introduce the symmetric matrix G with components Then, the inequality (91) for the elementary cell can approximately be written as It is interesting to find a relation between the matrix and the Fisher matrix. One can show (see [78], Appendix B) that the matrix is precisely equal to the reduced Fisher matrixΓ given by Eq. (81).
If the components of the matrix G are constant (i.e., they are independent of the values of the intrinsic parameters of the signal), the above equation defines a hyperellipsoid in -dimensional ( is the number of the intrinsic parameters) Euclidean space R . The -dimensional Euclidean volume cell of the elementary cell given by Eq. (95) equals where Γ denotes the Gamma function. We estimate the number cells of elementary cells by dividing the total Euclidean volume of the -dimensional intrinsic parameter space by the volume cell of one elementary cell, i.e., we have The components of the matrix G are constant for the signal ℎ( ; 0 , 0 , ) = 0 cos ( ( ; ) − 0 ), provided the phase ( ; ) is a linear function of the intrinsic parameters .
To estimate the number of cells in the case when the components of the matrix G are not constant, i.e., when they depend on the values of the intrinsic parameters , one replaces Eq. (97) by This formula can be thought of as interpreting the matrix G as the metric on the parameter space. This interpretation appeared for the first time in the context of gravitational-wave data analysis in the work by Owen [102], where an analogous integral formula was proposed for the number of templates needed to perform a search for gravitational-wave signals from coalescing binaries.

Gravitational-Wave Data Analysis. Formalism and Sample Applications: The Gaussian Case 25
The concept of number of cells was introduced in [68] and it is a generalization of the idea of an effective number of samples introduced in [46] for the case of a coalescing binary signal.
We approximate the pdf of the ℱ-statistic in each cell by the pdf 0 (ℱ) of the ℱ-statistic when the parameters are known [it is given by Eq. (84)]. The values of the ℱ-statistic in each cell can be considered as independent random variables. The probability that ℱ does not exceed the threshold ℱ 0 in a given cell is 1 − F (ℱ 0 ), where F (ℱ 0 ) is given by Eq. (86). Consequently the probability that ℱ does not exceed the threshold ℱ 0 in all the cells cells is [1 − F (ℱ 0 )] cells . Thus, the probability F that ℱ exceeds ℱ 0 in one or more cells is given by By definition, this is the false alarm probability when the phase parameters are unknown. The number of false alarms F is given by A different approach to the calculation of the number of false alarms using the Euler characteristic of level crossings of a random field is described in [65]. It was shown (see [39]) that for any finite ℱ 0 and cells , Eq. (99) provides an upper bound for the false alarm probability. Also in [39] a tighter upper bound for the false alarm probability was derived by modifying a formula obtained by Mohanty [92]. The formula amounts essentially to introducing a suitable coefficient multiplying the number cells of cells.

Detection probability for unknown intrinsic parameters
When the signal is present in the data a precise calculation of the pdf of the ℱ-statistic is very difficult because the presence of the signal makes the data's random process non-stationary. As a first approximation we can estimate the probability of detection of the signal when the intrinsic parameters are unknown by the probability of detection when these parameters are known [it is given by Eq. (87)]. This approximation assumes that when the signal is present the true values of the intrinsic parameters fall within the cell where the ℱ-statistic has a maximum. This approximation will be the better the higher the signal-to-noise ratio is.

Number of templates
To search for gravitational-wave signals we evaluate the ℱ-statistic on a grid in parameter space. The grid has to be sufficiently fine such that the loss of signals is minimized. In order to estimate the number of points of the grid, or in other words the number of templates that we need to search for a signal, the natural quantity to study is the expectation value of the ℱ-statistic when the signal is present.
Thus, we assume that the data contains the gravitational-wave signal ℎ( ; ) defined in Eq. (32), so ( ; ) = ℎ( ; ) + ( ). The parameters = (a, ) of the signal consist of extrinsic parameters a and intrinsic parameters . The data will be correlated with the filters ℎ ( ; ′ ) ( = 1, . . where the matrices M and N are defined in Eqs. (60). The expectation value of the ℱ-statistic (101) is Living Reviews in Relativity http://www.livingreviews.org/lrr-2012-4 where the matrix Q is defined in Eq. (90). Let us rewrite the expectation value (102) in the following form, where is the signal-to-noise ratio and where we have introduced the normalized correlation function n , From the Rayleigh principle [90] it follows that the minimum value of the normalized correlation function is equal to the smallest eigenvalue of the matrix M( whereas the maximum value is given by its largest eigenvalue. We define the reduced correlation function as As the trace of a matrix equals the sum of its eigenvalues, the reduced correlation function is equal to the average of the eigenvalues of the normalized correlation function n . In this sense we can think of the reduced correlation function as an "average" of the normalized correlation function. The advantage of the reduced correlation function is that it depends only on the intrinsic parameters , and thus is suitable for studying the number of grid points on which the ℱ-statistic needs to be evaluated. We also note that the normalized correlation function precisely coincides with the autocovariance function of the ℱ-statistic given by Eq. (89). As in the calculation of the number of cells in order to estimate the number of templates we perform a Taylor expansion of up to second order terms around the true values of the parameters, and we obtain an equation analogous to Eq. (95), where G is given by Eq. (94). By arguments identical to those in deriving the formula for the number of cells we arrive at the following formula for the number of templates: When 0 = 1/2 the above formula coincides with the formula for the number cells of cells, Eq. (98). Here we would like to place the templates sufficiently closely so that the loss of signals is minimized. Thus 1 − 0 needs to be chosen sufficiently small. The formula (107) for the number of templates assumes that the templates are placed in the centers of hyperspheres and that the hyperspheres fill the parameter space without holes. In order to have a tiling of the parameter space without holes we can place the templates in the centers of hypercubes, which are inscribed in the hyperspheres. Then the formula for the number of templates reads For the case of the signal given by Eq. (34) our formula for the number of templates is equivalent to the original formula derived by Owen [102]. Owen [102] has also introduced a geometric approach to the problem of template placement involving the identification of the Fisher matrix with a metric on the parameter space. An early study of the template placement for the case of coalescing binaries can be found in [121,45,26]. Applications of the geometric approach of Owen to the case of spinning neutron stars and supernova bursts are given in [33,16].

Covering problem
The problem of how to cover the parameter space with the smallest possible number of templates, such that no point in the parameter space lies further away from a grid point than a certain distance, is known in mathematical literature as the covering problem [38]. This was first studied in the context of gravitational-wave data analysis by Prix [111]. The maximum distance of any point to the next grid point is called the covering radius . An important class of coverings are lattice coverings. We define a lattice in -dimensional Euclidean space R to be the set of points including 0 such that if and are lattice points, then also + and − are lattice points. The basic building block of a lattice is called the fundamental region. A lattice covering is a covering of R by spheres of covering radius , where the centers of the spheres form a lattice. The most important quantity of a covering is its thickness Θ defined as Θ := volume of one -dimensional sphere volume of the fundamental region .
In the case of a two-dimensional Euclidean space the best covering is the hexagonal covering and its thickness ≃ 1.21. For dimensions higher than 2 the best covering is not known. However, we know the best lattice covering for dimensions ≤ 23. These are * lattices, which have thicknesses Θ * equal to where is the volume of the -dimensional sphere of unit radius. The advantage of an * lattice over the hypercubic lattice grows exponentially with the number of dimensions.
For the case of gravitational-wave signals from spinning neutron stars a 3-dimensional grid was constructed [18]. It consists of prisms with hexagonal bases. Its thickness is around 1.84, which is much better than the cubic grid with a thickness of approximately 2.72. It is worse than the best 3-dimensional lattice covering, which has a thickness of around 1.46.
In [19] a grid was constructed in the 4-dimensional parameter space spanned by frequency, frequency derivative, and sky position of the source, for the case of an almost monochromatic gravitational-wave signal originating from a spinning neutron star. The starting point of the construction was an * 4 lattice of thickness ≃ 1.77. The grid was then constrained so that the nodes of the grid coincide with Fourier frequencies. This allowed the use of a fast Fourier transform (FFT) to evaluate the maximum-likelihood ℱ-statistic efficiently (see Section 4.6.2). The resulting lattice is only 20% thicker than the optimal * 4 lattice. Efficient 2-dimensional banks of templates suitable for directed searches (in which one assumes that the position of the gravitational-wave source in the sky is known, but one does not assume that the wave's frequency and its derivative are a priori known) were constructed in [104]. All grids found in [104] enable usage of the FFT algorithm in the computation of the ℱ-statistic; they have thicknesses 0.1 -16% larger than the thickness of the optimal 2-dimensional hexagonal covering. In the construction of grids the dependence on the choice of the position of the observational interval with respect to the origin of time axis was employed. Also the usage of the FFT algorithms with nonstandard frequency resolutions achieved by zero padding or folding the data was discussed.
The above template placement constructions are based on a Fisher matrix with constant coefficients, i.e., they assume that the parameter manifold is flat. The generalization to curved Riemannian parameter manifolds is difficult. An interesting idea to overcome this problem is to use stochastic template banks where a grid in the parameter space is randomly generated by some algorithm [89,57,86,119].

Suboptimal filtering
To extract gravitational-wave signals from the detector's noise one very often uses filters that are not optimal. We may have to choose an approximate, suboptimal filter because we do not know the exact form of the signal (this is almost always the case in practice) or in order to reduce the computational cost and to simplify the analysis. In the case of the signal of the form given in Eq. (32) the most natural and simplest way to proceed is to use as detection statistic the ℱstatistic where the filters ℎ ′ ( ; ) ( = 1, . . . , ) are the approximate ones instead of the optimal ones ℎ ( ; ) ( = 1, . . . , ) matched to the signal. In general the functions ℎ ′ ( ; ) will be different from the functions ℎ ( ; ) used in optimal filtering, and also the set of parameters will be different from the set of parameters in optimal filters. We call this procedure the suboptimal filtering and we denote the suboptimal statistic by ℱ s . It is defined as [see Eq. (62)] where the data-dependent ×1 column matrix N s and the square × matrix We need a measure of how well a given suboptimal filter performs. To find such a measure we calculate the expectation value of the suboptimal statistic ℱ s in the case where the data contains the gravitational-wave signal, i.e., when ( ; a, ) = ( ) + ℎ( ; a, ). We get where we have introduced the matrix Q s with components s ( , ) := (︀ ℎ ( ; )|ℎ ′ ( ; ) )︀ , , = 1, . . . , .
Let us rewrite the expectation value (113) in the following form, where is the optimal signal-to-noise ratio [given in Eq. (64)]. This expectation value reaches its maximum equal to ( + 2 )/2 when the filter is perfectly matched to the signal. Therefore, a natural measure of the performance of a suboptimal filter is the quantity FF defined by We call the quantity FF the generalized fitting factor. From the Rayleigh principle, it follows that the generalized fitting factor is the maximum of the largest eigenvalue of the matrix M( ) −1 · Q s ( , ) · M s ( ) −1 · Q s ( , ) T over the intrinsic parameters of the signal.

Gravitational-Wave Data Analysis. Formalism and Sample Applications: The Gaussian Case 29
The fitting factor is the ratio of the maximal signal-to-noise ratio that can be achieved with suboptimal filtering to the signal-to-noise ratio obtained when we use a perfectly matched, optimal filter. We note that for the signal given by Eq. (117), FF is independent of the value of the amplitude 0 . For the case of a signal of the form where 0 is a constant phase, the maximum over 0 in Eq. (118) can be obtained analytically. Moreover, assuming that over the bandwidth of the signal the spectral density of the noise is constant and that over the observation time cos ( ; ) oscillates rapidly, the fitting factor is approximately given by In designing suboptimal filters one faces the issue of how small a fitting factor one can accept. A popular rule of thumb is accepting FF = 0.97. Assuming that the amplitude of the signal and consequently the signal-to-noise ratio decreases inversely proportionally to the distance from the source this corresponds to 10% loss of the signals that would be detected by a matched filter.
Proposals for good suboptimal (search) templates for the case of coalescing binaries are given in [35,134] and for the case-spinning neutron stars in [65,18] In order to detect signals we search for threshold crossings of the ℱ-statistic over the intrinsic parameter space. Once we have a threshold crossing we need to find the precise location of the maximum of ℱ in order to estimate accurately the parameters of the signal. A satisfactory procedure is the two-step procedure. The first step is a coarse search where we evaluate ℱ on a coarse grid in parameter space and locate threshold crossings. The second step, called a fine search, is a refinement around the region of parameter space where the maximum identified by the coarse search is located.
There are two methods to perform the fine search. One is to refine the grid around the threshold crossing found by the coarse search [94,92,134,127], and the other is to use an optimization routine to find the maximum of ℱ [65,78]. As initial values to the optimization routine we input the values of the parameters found by the coarse search. There are many maximization algorithms available. One useful method is the Nelder-Mead algorithm [79], which does not require computation of the derivatives of the function being maximized.

Evaluation of the ℱ -statistic
Usually the grid in parameter space is very large and it is important to calculate the optimum statistic as efficiently as possible. In special cases the ℱ-statistic given by Eq. (62) can be further simplified. For example, in the case of coalescing binaries ℱ can be expressed in terms of convolutions that depend on the difference between the time-of-arrival (TOA) of the signal and the TOA parameter of the filter. Such convolutions can be efficiently computed using FFTs. For continuous sources, like gravitational waves from rotating neutron stars observed by ground-based Living Reviews in Relativity http://www.livingreviews.org/lrr-2012-4 detectors [65] or gravitational waves form stellar mass binaries observed by space-borne detectors [78], the detection statistic ℱ involves integrals of the general form where˜are the intrinsic parameters excluding the frequency parameter , is the amplitude modulation function, and mod the phase modulation function. The amplitude modulation function is slowly varying compared to the exponential terms in the integral (121). We see that the integral (121) Thus, in order to compute the integral (121), for each set of the intrinsic parameters˜we multiply the data by the amplitude modulation function , resample according to Eq. (122), and perform the FFT. In the case of LISA detector data when the amplitude modulation depends on frequency we can divide the data into several band-passed data sets, choosing the bandwidth for each set to be sufficiently small so that the change of exp( mod ) is small over the band. In the integral (121) we can then use as the value of the frequency in the amplitude and phase modulation function the maximum frequency of the band of the signal (see [78] for details).

Fisher-matrix-based assessments
Fisher matrix has been extensively used to assess the accuracy of estimation of astrophysicallyinteresting parameters of different gravitational-wave signals. For ground-based interferometric detectors, the first calculations of the Fisher matrix concerned gravitational-wave signals from inspiralling compact binaries (made of neutron stars or black holes) in the leading-order quadrupole approximation [50,76,63] and from quasi-normal modes of Kerr black hole [48].
Cutler and Flanagan [41] initiated the study of the implications of the higher-order post-Newtonian (PN) phasing formula as applied to the parameter estimation of inspiralling binary signals. They used the 1.5PN phasing formula to investigate the problem of parameter estimation, both for spinning and non-spinning binaries, and examined the effect of the spin-orbit coupling on the estimation of parameters. The effect of the 2PN phasing formula was analyzed independently by Poisson and Will [106] and Królak, Kokkotas and Schäfer [75]. In both cases the focus was to understand the leading-order spin-spin coupling term appearing at the 2PN level when the spins were aligned perpendicularly to the orbital plane. Compared to [75], [106] also included a priori information about the magnitude of the spin parameters, which then leads to a reduction in the rms errors in the estimation of mass parameters. The case of a 3.5PN phasing formula was studied in detail by Arun et al. [17]. Inclusion of 3.5PN effects leads to an improved estimate of the binary parameters. Improvements are relatively smaller for lighter binaries. More recently the Fisher matrix was employed to assess the errors in estimating the parameters of nonspinning black-hole binaries using the complete inspiral-merger-ring-down waveforms [7].
Various authors have investigated the accuracy with which the LISA detector can determine binary parameters including spin effects. Cutler [40] determined LISA's angular resolution and evaluated the errors of the binary masses and distance considering spins aligned or anti-aligned with the orbital angular momentum. Hughes [60]  can be estimated (if the cosmological parameters are derived independently), and considered the black-hole ring-down phase in addition to the inspiralling signal. Seto [128] included the effect of finite armlength (going beyond the long wavelength approximation) and found that the accuracy of the distance determination and angular resolution improve. This happens because the response of the instrument when the armlength is finite depends strongly on the location of the source, which is tightly correlated with the distance and the direction of the orbital angular momentum. Vecchio [140] provided the first estimate of parameters for precessing binaries when only one of the two supermassive black holes carries spin. He showed that modulational effects decorrelate the binary parameters to some extent, resulting in a better estimation of the parameters compared to the case when spins are aligned or antialigned with orbital angular momentum. Hughes and Menou [61] studied a class of binaries, which they called "golden binaries," for which the inspiral and ring-down phases could be observed with good enough precision to carry out valuable tests of strong-field gravity. Berti, Buonanno and Will [29] have shown that inclusion of non-precessing spin-orbit and spin-spin terms in the gravitational-wave phasing generally reduces the accuracy with which the parameters of the binary can be estimated. This is not surprising, since the parameters are highly correlated, and adding parameters effectively dilutes the available information.
Extensive study of accuracy of parameter estimation for continuous gravitational-wave signals from spinning neutron stars was performed in [64]. In [129] Seto used the Fisher matrix to study the possibility of determining distances to rapidly rotating isolated neutron stars by measuring the curvature of the wave fronts.

Comparison with the Cramèr-Rao bound
In order to test the performance of the maximization method of the ℱ-statistic it is useful to perform Monte Carlo simulations of the parameter estimation and compare the simulated variances of the estimators with the variances calculated from the Fisher matrix. Such simulations were performed for various gravitational-wave signals [73,26,65,36]. In these simulations one observes that, above a certain signal-to-noise ratio, called the threshold signal-to-noise ratio, the results of the Monte Carlo simulations agree very well with the calculations of the rms errors from the inverse of the Fisher matrix. However, below the threshold signal-to-noise ratio they differ by a large factor. This threshold effect is well known in signal processing [139]. There exist more refined theoretical bounds on the rms errors that explain this effect, and they were studied in the context of the gravitational-wave signals from coalescing binaries [98].
Use of the Fisher matrix in the assessment of accuracy of the parameter estimation has been critically examined in [138], where a criterion has been established for the signal-to-noise ratio above which the inverse of the Fisher matrix approximates well covariances of the parameter estimators. In [148,142] the errors of ML estimators of parameters of gravitational-wave signals from nonspinning black-hole binaries were calculated analytically using a power expansion of the bias and the covariance matrix in inverse powers of the signal-to-noise ratio. The first-order term in this covariance matrix expansion is the inverse of the Fisher information matrix. The use of higher-order derivatives of the likelihood function in these expansions makes the errors prediction sensitive to the secondary lobes of the pdf of the ML estimators. Conditions for the validity of the Cramèr-Rao lower bound are discussed in [142] as well, and some new features in regions of the parameter space so far not explored are predicted (e.g., that the bias can become the most important contributor to the parameters errors for high-mass systems with masses 200 ⊙ and above).
There exists a simple model that explains the deviations from the covariance matrix and reproduces well the results of the Monte Carlo simulations (see also [25]). The model makes use of the concept of the elementary cell of the parameter space that we introduced in Section 4.3.2. The calculation given below is a generalization of the calculation of the rms error for the case of a Living Reviews in Relativity http://www.livingreviews.org/lrr-2012-4 Piotr Jaranowski and Andrzej Królak monochromatic signal given by Rife and Boorstyn [116].
When the values of parameters of the template that correspond to the maximum of the functional ℱ fall within the cell in the parameter space where the signal is present, the rms error is satisfactorily approximated by the inverse of the Fisher matrix. However, sometimes, as a result of noise, the global maximum is in the cell where there is no signal. We then say that an outlier has occurred. In the simplest case we can assume that the probability density of the values of the outliers is uniform over the search interval of a parameter, and then the rms error is given by where Δ is the length of the search interval for a given parameter. The probability that an outlier occurs will be higher the lower the signal-to-noise ratio is. Let be the probability that an outlier occurs. Then the total variance 2 of the estimator of a parameter is the weighted sum of the two where CR is the rms errors calculated from the covariance matrix for a given parameter. One can show [65] that the probability can be approximated by the following formula: where 0 and 1 are the pdfs of the ℱ-statistic (for known intrinsic parameters) when the signal is absent or present in data, respectively [they are given by Eqs. (84) and (85)], and where cells is the number of cells in the intrinsic parameter space. Eq. (125) is in good but not perfect agreement with the rms errors obtained from the Monte Carlo simulations (see [65]). There are clearly other reasons for deviations from the Cramèr-Rao bound as well. One important effect (see [98]) is that the functional ℱ has many local subsidiary maxima close to the global one. Thus, for a low signal-to-noise ratio the noise may promote the subsidiary maximum to a global one.

Upper limits
Detection of a signal is signified by a large value of the ℱ-statistic that is unlikely to arise from the noise-only distribution. If instead the value of ℱ is consistent with pure noise with high probability we can place an upper limit on the strength of the signal. One way of doing this is to take the loudest event obtained in the search and solve the equation for signal-to-noise ratio UL , where D is the detection probability given by Eq. (87), ℱ L is the value of the ℱ-statistic corresponding to the loudest event, and is a chosen confidence [23,2]. Then UL is the desired upper limit with confidence . When gravitational-wave data do not conform to a Gaussian probability density assumed in Eq. (87), a more accurate upper limit can be obtained by injecting the signals into the detector's data and thereby estimating the probability of detection D [4].

Network of Detectors
Several gravitational-wave detectors can observe gravitational waves from the same source. For example a network of bar detectors can observe a gravitational-wave burst from the same supernova explosion, or a network of laser interferometers can detect the inspiral of the same compact binary system. The space-borne LISA detector can be considered as a network of three detectors that can make three independent measurements of the same gravitational-wave signal. Simultaneous observations are also possible among different types of detectors. For example, a search for supernova bursts can be performed simultaneously by resonant and interferometric detectors [21].
Let us consider a network consisting of gravitational-wave detectors and let us denote by the data collected by the th detector ( = 1, . . . , ). We assume that noises in all detectors are additive, so the data is a sum of the noise in the th detector and eventually a gravitationalwave signal ℎ registered by the th detector, It is convenient to collect all the data streams, all the noises, and all the gravitational-wave signals into column × 1 matrices denoted respectively by x, n, and h, then Eqs. (127) can shortly be written as If additionally all detectors' noises are stationary, Gaussian, and continuous-in-time random processes with zero means, the network log likelihood function is given by where the scalar product ( · | · ) is defined by Here S is the one-sided cross spectral density matrix of the noises of the detector network, which is defined by (here E denotes the expectation value) The analysis is greatly simplified if the cross spectrum matrix S is diagonal. This means that the noises in various detectors are uncorrelated. This is the case when the detectors of the network are in widely separated locations, like, for example, the two LIGO detectors. However, this assumption is not always satisfied. An important case is the LISA detector where the noises of the three independent responses are correlated. Nevertheless for the case of LISA one can find a set of three combinations for which the noises are uncorrelated [108,112]. When the cross spectrum matrix is diagonal the network log likelihood function is just the sum of the log likelihood functions for each detector.
Derivation of the likelihood function for an arbitrary network of detectors can be found in [49]. Applications of optimal filtering for observations of gravitational-wave signals from coalescing binaries by networks of ground-based detectors are given in [63,41,62,103], and for the case of stellar-mass binaries observed by LISA space-borne detector in [78,118]. The single-detector ℱstatistic for nearly monochromatic gravitational waves from spinning neutron stars was generalized to the case of a network of detectors (also with time-varying noise curves) in [42] (in this work the ℱ-statistic was also generalized from the usual single-source case to the case of a collection of known sources). The reduced Fisher matrix [defined in Eq. (81)] for the case of a network of interferometers observing spinning neutron stars has been derived and studied in [110].
Network searches for gravitational-wave burst signals of unknown shape are often based on maximization of the network likelihood function over each sample of the unknown polarization waveforms ℎ + and ℎ × and over sky positions of the source [52,95]. A least-squares-fit solution for the estimation of the sky location of the source and the polarization waveforms by a network of three detectors for the case of a broadband burst was obtained in [56].
There is also another important method for analyzing the data from a network of detectors -the search for coincidences of events among detectors. This analysis is particularly important when we search for supernova bursts, the waveforms of which are not very well known. Such signals can be easily mimicked by the non-Gaussian behavior of the detector noise. The idea is to filter the data optimally in each of the detectors and obtain candidate events. Then one compares parameters of candidate events, like, for example, times of arrivals of the bursts, among the detectors in the network. This method is widely used in the search for supernovae by networks of bar detectors [24]. A new geometric coincident algorithm of combining the data from a network of detectors was proposed in [117]. This algorithm employs the covariances between signal's parameters in such a way that it associates with each candidate event an ellipsoidal region in parameter space defined by the covariance matrix. Events from different detectors are deemed to be in coincidence if their ellipsoids have a nonzero overlap. The coincidence and the coherent strategies of multidetector detection of gravitational-wave signals from inspiralling compact binaries have been compared in [96,97,32]. [96] considered detectors in pairs located in the same site and [97] pairs of detectors at geographically separated sites. The case of three detectors (like the network of two LIGO detectors and the Virgo detector) has been considered in detail in [32], where it was demonstrated that the hierarchical coherent pipeline on Gaussian data has a better performance than the pipeline with just the coincident stage.
A general framework for studying the effectiveness of networks of interferometric gravitationalwave detectors has been proposed in [125]. Using this framework it was shown that adding a fourth detector to the existing network of LIGO/VIRGO detectors can dramatically increase, by a factor of 2 to 4, the detected event rate by allowing coherent data analysis to reduce the spurious instrumental coincident background.
Living Reviews in Relativity http://www.livingreviews.org/lrr-2012-4 Gravitational-Wave Data Analysis. Formalism and Sample Applications: The Gaussian Case 35 6 Non-stationary, Non-Gaussian, and Non-linear Data Eqs. (61) and (62) provide maximum likelihood estimators only when the noise in which the signal is buried is Gaussian. There are general theorems in statistics indicating that the Gaussian noise is ubiquitous. One is the central limit theorem, which states that the mean of any set of variables with any distribution having a finite mean and variance tends to the normal distribution. The other comes from the information theory and says that the probability distribution of a random variable with a given mean and variance, which has the maximum entropy (minimum information) is the Gaussian distribution. Nevertheless, analysis of the data from gravitational-wave detectors shows that the noise in the detector may be non-Gaussian (see, e.g., Figure 6 in [22]). The noise in the detector may also be a non-linear and a non-stationary random process.
The maximum likelihood method does not require that the noise in the detector be Gaussian or stationary. However, in order to derive the optimum statistic and calculate the Fisher matrix we need to know the statistical properties of the data. The probability distribution of the data may be complicated, and the derivation of the optimum statistic, the calculation of the Fisher matrix components and the false alarm probabilities may be impractical. However, there is one important result that we have already mentioned. The matched-filter, which is optimal for the Gaussian case is also a linear filter that gives maximum signal-to-noise ratio no matter what the distribution of the data. Monte Carlo simulations performed by Finn [49] for the case of a network of detectors indicate that the performance of matched-filtering (i.e., the maximum likelihood method for Gaussian noise) is satisfactory for the case of non-Gaussian and stationary noise.
Allen et al. [10,11] derived an optimal (in the Neyman-Pearson sense, for weak signals) signal processing strategy, when the detector noise is non-Gaussian and exhibits tail terms. This strategy is robust, meaning that it is close to optimal for Gaussian noise but far less sensitive than conventional methods to the excess large events that form the tail of the distribution. This strategy is based on a locally optimal test [71] that amounts to comparing a first non-zero derivative of the likelihood ratio with respect to the amplitude of the signal with a threshold instead of the likelihood ratio itself. The non-stationarity in the case of Gaussian and uncorrelated noise can be easily incorporated into matched filtering (see Appendix C of [1]). Let us assume that a noise sample in the data has a Gaussian pdf with a variance 2 and zero mean ( = 1, . . . , , where is the number of data points). Different noise samples may have distributions with different variances. We also assume that the noise samples are uncorrelated, then the autocorrelation function ( , ′ ) of the noise is given by [see Eq. (39)] where ′ is the Kronecker delta function. In the case of a known signal ℎ and additive noise the optimal filter is the solution of the following equation [which is a discrete version of the integral Eq. (41)]: Thus, we have the following equation for the filter : Living Reviews in Relativity http://www.livingreviews.org/lrr-2012-4 and the following expression for the log likelihood ratio: Thus, we see that for non-stationary, uncorrelated Gaussian noise the optimal processing is identical to matched filtering for a known signal in stationary Gaussian noise, except that we divide both the data and the signal ℎ by time-varying standard deviation of the noise. This may be thought of as a special case of whitening the data and then correlating it using a whitened filter.
In the remaining part of this section we review some statistical tests and methods to detect non-Gaussianity, non-stationarity, and non-linearity in the data. A classical test for a sequence of data to be Gaussian is the Kolmogorov-Smirnov test [37]. It calculates the maximum distance between the cumulative distribution of the data and that of a normal distribution, and assesses the significance of the distance. A similar test is the Lillifors test [37], but it adjusts for the fact that the parameters of the normal distribution are estimated from the data rather than specified in advance. Another test is the Jarque-Bera test [69], which determines whether sample skewness and kurtosis are unusually different from their Gaussian values.
A useful test to detect outliers in the data is Grubbs' test [55]. This test assumes that the data has an underlying Gaussian probability distribution but it is corrupted by some disturbances. Grubbs' test detects outliers iteratively. Outliers are removed one by one and the test is iterated until no outliers are detected. Grubbs' test is a test of the null hypothesis: 1. H 0 : There are no outliers in the data set .
against the alternate hypothesis: 2. H 1 : There is at least one outlier in the data set .
The Grubbs' test statistic is the largest absolute deviation from the sample mean in units of the sample standard deviation, so it is defined as where and denote the sample mean and the sample standard deviation, respectively. The hypothesis of no outliers is rejected if where /(2 ), −2 denotes the critical value of the t-distribution with − 2 degrees of freedom and a significance level of /(2 ). Grubbs' test has been used to identify outliers in the search of Virgo data for gravitational-wave signals from the Vela pulsar [1]. A test to discriminate spurious events due to non-stationarity and non-Gaussianity of the data from genuine gravitational-wave signals has been developed by Allen [9]. This test, called the 2 time-frequency discriminator, is applicable to the case of broadband signals, such as those coming from compact coalescing binaries.
Let now and be two discrete-in-time random processes (−∞ < , < ∞) and let be independent and identically distributed (i.i.d.) random variables. We call the process linear if it can be represented by Living Reviews in Relativity http://www.livingreviews.org/lrr-2012-4 Gravitational-Wave Data Analysis. Formalism and Sample Applications: The Gaussian Case 37 where are constant coefficients. If is Gaussian (non-Gaussian), we say that is linear Gaussian (non-Gaussian). In order to test for linearity and Gaussianity we examine the thirdorder cumulants of the data. The third-order cumulant of a zero mean stationary process is defined by The bispectrum 2 ( 1 , 2 ) is the two-dimensional Fourier transform of . The bicoherence is defined as where ( ) is the spectral density of the process . If the process is Gaussian, then its bispectrum and consequently its bicoherence is zero. One can easily show that if the process is linear then its bicoherence is constant. Thus, if the bispectrum is not zero, then the process is non-Gaussian; if the bicoherence is not constant then the process is also non-linear. Consequently we have the following hypothesis testing problems: 1. H 1 : The bispectrum of is nonzero.

H 0 :
The bispectrum of is zero.
If Hypothesis 1 holds, we can test for linearity, that is, we have a second hypothesis testing problem: 3. H ′ 1 : The bicoherence of is not constant.

H ′′ 1 :
The bicoherence of is a constant.
If Hypothesis 4 holds, the process is linear.
Using the above tests we can detect non-Gaussianity and, if the process is non-Gaussian, nonlinearity of the process. The distribution of the test statistic ( 1 , 2 ), Eq. (142), can be calculated in terms of 2 distributions. For more details see [59].
It is not difficult to examine non-stationarity of the data. One can divide the data into short segments and for each segment calculate the mean, standard deviation and estimate the spectrum. One can then investigate the variation of these quantities from one segment of the data to the other. This simple analysis can be useful in identifying and eliminating bad data. Another quantity to examine is the autocorrelation function of the data. For a stationary process the autocorrelation function should decay to zero. A test to detect certain non-stationarities used for analysis of econometric time series is the Dickey-Fuller test [34]. It models the data by an autoregressive process and it tests whether values of the parameters of the process deviate from those allowed by a stationary model. A robust test for detecting non-stationarity in data from gravitational-wave detectors has been developed by Mohanty [93]. The test involves applying Student's t-test to Fourier coefficients of segments of the data. Still another block-normal approach has been studied by McNabb et al. [88]. It identifies places in the data stream where the characteristic statistics of the data change. These change points divide the data into blocks in characteristics are stationary.

Acknowledgments
One of us (AK) acknowledges support from the National Research Council under the Resident Research Associateship program at the Jet Propulsion Laboratory, California Institute of Technology and from Max-Planck-Institut für Gravitationsphysik. This research was supported in part by the MNiSzW grants nos. 1 P03B 029 27 and N N203 387237.