From the results presented in the previous sections, the
colored noise problem was found to be
pervasive, but required a computationally difficult detector.The simplest detector structure occurs when the additive noise
is white; this notion leads to the idea of whitening theobservations, thereby transforming the data into a simpler form
(as far as detection theory is concerned). However, therequired whitening filter is often time-varying and can have a
long-duration unit-sample response. Other, more computationallyexpedient, approaches to whitening are worth considering. An
only slightly more complicated detection problem occurs when wehave a diagonal noise covariance matrix, as in the white noise
case, but unequal values on the diagonal. In terms of theobservations, this situation means that they are contaminated by
noise having statistically independent, but unequal variancecomponents: the noise would thus be non-stationary. Few
problems fall directly into this category; however, the colorednoise problem can be recast into the white, unequal-variance
problem by calculating the discrete Fourier Transform (DFT) ofthe observations and basing the detector on the resulting
spectrum. The resulting
spectral detectors greatly
simplify detector structures for discrete-time problems
if the qualifying assumptions described in
sequel hold.
Let
be the
so-called
"DFT matrix"
where
is the elementary complex
exponential
. The discrete Fourier Transform of the sequence
, usually written as
, can be written in matrix form as
. To analyze the effect of evaluating the DFT of the
observations, we describe the computations in matrix form foranalytic simplicity. The first critical assumption has been
made: take special note that the length of the transform
equals the duration of the observations.
In many signal processing applications, thetransform length can
differ from the data length, being either longer or shorter.The statistical properties developed in the following discussion
are critically sensitive to the equality of these lengths. Thecovariance matrix
of
is given by
. Symmetries of these matrices - the Vandermonde form
of
and the
Hermitian, Toeplitz form of
- leads to many simplifications in
evaluating this product. The entries no the main diagonal aregiven by
The curious index
on the matrix arises because rows and columns of
matrices are traditionally indexed beginning with one insteadof zero.
The
variance of the
term in the discrete Fourier Transform of the noise thus equals
the discrete Fourier Transform of the
windowed covariance function. This window has a triangular shape;
colloquially termed the "rooftop" window, its technical name isthe
Bartlett window and it occurs frequently in
array processing and spectral estimation. We have found thatthe variance equals the smoothed noise power spectrum evaluated
at a particular frequency. The off-diagonal terms of
are not easily written; the complicated result is
The complex exponential terms indicate that each off-diagonal
term consists of the sum of two Fourier Transforms: one at thefrequency index
and the other negative index
. In addition, the transform is evaluated only
over non-negative lags. The transformed quantity again equals awindowed version of the noise covariance function, but with a
sinusoidal window whose frequency depends
on the indices
and
. This window can be negative-valued! In contrast to
the Bartlett window encountered in evaluating the on-diagonalterms, the maximum value achieved by the window is not large
(
compared to
).
Furthermore, this window is
always zero at
the origin, the location of the maximum value of any covariancefunction. The largest magnitudes of the off-diagonal terms tend
to occur when the indices
and
are nearly equal. Let their difference be one; if the
covariance function of the noise tends toward zero well withinthe number of observations,
,
then the Bartlett window has little effect on the covariancefunction while the sinusoidal window greatly reduces it. This
condition on the covariance function can be interpretedphysically: the noise in this case is wideband and any
correlation between noise values does not extend oversignificant portion of the observation record. On the other
hand, if the width of the covariance function is comparable to
, the off-diagonal terms will be
significant. This situation occurs when the noise bandwidth issmaller than or comparable to the reciprocal of the observation
interval's duration. This condition on the duration of theobservation interval relative to the width of the noise
correlation function forms the second critical assumption ofspectral detection. The off-diagonal terms will thus be much
smaller than corresponding terms on the main diagonal
.
In the simplest case, the covariance matrix of the discrete
Fourier Transform of the observations can be well approximatedby a diagonal matrix.
The non-zero components
of this matrix constitute the noise power spectrum at
the various frequencies. The signal component of thetransformed observations
is represented by
, the DFT of the signal
, while the noise component has this diagonal
covariance matrix structure.
In the
frequency domain, the colored noise problem can be approximatelyconverted to a white noise problem where the components of the
noise have unequal variances.
To recap, the critical
assumptions of spectral detection are
- The transform length equals that of the observations.
In particular, the observations cannot be "padded" to forcethe transform length to equal a "nice" number (like a power of
two).
- The noise's correlation structure should be much less
than the duration of the observations. Equivalently, a narrowcorrelation function means the corresponding power spectrum
varies slowly with frequency. If either condition fails tohold, calculating the Fourier Transform of the observations
will not necessarily yield a simpler noise covariance matrix.
The optimum spectral detector computes, for each possible
signal, the quantity
The real part in the statistic
emerges because
and
are complex quantities.
. Because of the covariance
matrix's simple form, this sufficient statistic for the spectraldetection problem has the simple form
Each term in the dot product between the discrete Fourier
Transform of the observations and the signal is weighted by thereciprocal of the noise power spectrum at that frequency. This
computation is much simpler than the equivalent time domainversion and, because of algorithms such as the fast Fourier
Transform, the initial transformation (the multiplication by
or the discrete
Fourier Transform) can be evaluated expeditiously.
Sinusoidal signals are particularly well-suited to the spectral
detection approach.
If the signal's
frequency equals one of the analysis frequencies in the FourierTransform (
for some
), then the
sequence
is non-zero only at this frequency index, only one
term in the sufficient statistic's summation need be computed,and the noise power is no longer explicitly needed by the
detector (it can be merged into the threshold).
If the signal's frequency does not correspond to one of the
analysis frequencies, spectral energy will be maximal at thenearest analysis frequency but will extend to nearby frequencies
also. This effect is termed "leakage" and has been wellstudied. Exact formulation of the signal's DFT is usually
complicated in this case; approximations which utilize only themaximal-energy frequency component will be sub-optimal
(
i.e. , yield a smaller detection
probability). The performance reduction may be small, however,justifying the reduced amount of computation.