Abstract
In this paper, we propose a novel mechanism for spectrum sensing that leads us to exploit the spatio-temporal correlation present in the received signal at a multi-antenna receiver. For the proposed mechanism, we formulate the spectrum sensing scheme by adopting the generalized likelihood ratio test (GLRT). However, the GLRT degenerates in the case of limited sample support. To circumvent this problem, several extensions are proposed that bring robustness to the GLRT in the case of high dimensionality and small sample size. In order to achieve these sample-efficient detection schemes, we modify the GLRT-based detector by exploiting the covariance structure and factoring the large spatio-temporal covariance matrix into spatial and temporal covariance matrices. The performance of the proposed detectors is evaluated by means of numerical simulations, showing important advantages over existing detectors.
Similar content being viewed by others
1 Introduction
For a cognitive radio system, which opportunistically accesses the wireless channel, spectrum sensing becomes a crucial task for detecting the presence of primary user transmissions [1]. Recently, sensors with multiple antennas have become an integral part of many cognitive receivers [2, 3], thus giving us the chance to consider multi-antenna techniques to improve the performance of spectrum sensing. Multiple antennas can offer spatial diversity and improve the spectrum sensing performance [4, 5]. Intuitively, the presence of any primary signal should result in some spatial correlation in the observations received at the multi-antenna receivers [5] and thus, exploiting this correlation improves the primary user detection performance. In addition to being spatially correlated, the received signal samples are usually correlated (wide-sense stationary) in time due to presence of a temporal dispersive channel, oversampling of the received signals or just because the originally transmitted signals are correlated in time [5, 6]. This spatio-temporal correlation is a feature that can be used for detection purposes, since the remaining (i.e. undesired) noise processes at different antennas can be safely assumed statistically independent, both in time and space.
Spectrum sensing methods that only exploit the spatial structure of the received signal covariance matrix have been of great interest in the recent years [5]. The majority of these schemes are based on multivariate statistical inference theory [7, 8], and interested readers can find comprehensive details in ([8], Ch. 9-10), which discusses multivariate detectors for testing the independence of random observations with the help of the generalized likelihood ratio test (GLRT). These GLRT-based detectors typically end up in a simple quotient between the determinant of the sample covariance matrix and the determinant of its diagonal version, and these tests have been widely applied to the detection of signals especially in the context of cognitive radios [2, 9].
Through careful study of various existing spectrum sensing techniques, one can conclude that the signal’s temporal correlation is not fully exploited in most of these techniques. In fact, in most of them, temporal correlation is ignored or considered as a deleterious effect. In the very few works that exploit the temporal correlation, they usually assume some prior knowledge about it [10–14]. One of the reasons for ignoring or only partially exploiting temporal correlation is that it often makes it difficult to achieve tractable solutions. However, the exploitation of temporal correlation jointly with spatial correlation can provide us extra side information to enhance the detection performance. Hence, it will be interesting to find ways to devise detection mechanisms that exploit temporal correlation with tractable solutions. Taking this into account, the main focus of this work is to develop a multi-antenna detector that robustly exploits spatio-temporal correlation. In order to do so, we propose a signal model that leads us to tractable detection schemes while exploiting the temporal correlation jointly with spatial correlation.
In order to achieve the proposed goal, we start with our earlier work in [15], where we derived the GLRT. This detector basically tests whether the covariance matrix is block diagonal or not. To make the discussion and notation simple, for our case, we call this GLRT scheme the spatio-temporal GLRT (ST-GLRT). Compared to the traditional spatial covariance-based GLRT, the ST-GLRT provides some improved performance. The reason for this is that the ST-GLRT scheme exploits temporal correlation as an additional feature on top of spatial correlation and energy. However, since any GLRT involves the estimation of unknown parameters (e.g., covariance matrix), its performance depends on the sample size and the dimensionality of the signal model. In practice, the GLRT is used based on the assumption that the sample size is large compared to the model dimension. When this is not the case, the performance of the GLRT degenerates because the sample covariance matrix becomes singular, and the whole problem becomes ill-conditioned [16, 17]. In the case of the ST-GLRT, we have to deal with both the spatial and temporal dimensions, and hence, the overall data dimension is even larger. Thus, the ST-GLRT has some further limitations when the detection process requires a quick decision, as it is in the case of the detection of primary signals in cognitive radio. Hence, although for the large sample support, the ST-GLRT can certainly achieve an improved detection performance; for small sample support, it has some limitations that deserve a detailed study.
In order to reduce the demand for large sample support and bring robustness to the ST-GLRT, one may assume existence of some underlying structure based on the spatial and temporal components of the covariance matrix. In our earlier work [15, 18], by assuming wide sense stationary (WSS), we exploited the Toeplitz structure of the covariance matrix. Doing so, we proposed an approximated GLRT in the frequency domain that leads to robustness against the small sample support. Contrary to that work, in the present one, we rather focus on exploiting the covariance structures without the GLRT approximation in the frequency domain. In particular, we approximate the block-Toeplitz structure of a multivariate WSS process as persymmetric. Doing so, we will take advantage of the result in [19] which states that by exploiting the persymmetric structure, the number of independent vector measurements required for the covariance matrix estimator can be decreased by up to a factor of two. This will certainly bring down the demand for high sample support required for the ST-GLRT to not degenerate and provide robustness against the repercussions of small sample support and large dimensional data.
Moving one step forward, we also approximate the block-Toeplitz structure of the spatio-temporal correlated multi-antenna measurements with a Kronecker product structure [20, 21]. Recently, exploitation of the Kronecker structure in covariance matrices has received a lot of interest in statistics [22, 23]. Moreover, the maximum likelihood (ML) method for estimating the covariance matrix based on the Kronecker product has been previously discussed in [22, 23]. Similarly, in the cases where the correlation structure is not separable through the Kronecker product, [24] discusses some insightful details about the nearest Kronecker product approximations. In this paper, we use the Kronecker structure to reformulate the ST-GLRT by taking advantage of the inherent spatio-temporal structure of the received observations. In order to do so, we adopt and extend our earlier work [25] by using the Kronecker product to efficiently exploit the space-time correlation in a multi-antenna spectrum sensing scheme. In addition to the Kronecker product-based factorization, we also exploit the fact that the factored matrices could have additional persymmetric structure [21]. Therefore, by exploiting the Kronecker product structure jointly with the persymmetric structure, the performance of the proposed detection scheme can further be improved in terms of the required number of sample to estimate the covariance matrix (i.e. the detector efficiency).
To compare the proposed methods with traditional techniques, numerical simulations are conducted. These results illustrate that the proposed detection schemes indeed outperform the traditional approaches, especially in the case of small sample support.
The remainder of the paper is organized as follows. Section 2 introduces the proposed methodology and the signal model. In Section 3, we solve the problem by using the traditional GLRT formulations. The proposed detection schemes are derived in Sections 4 and 5. Numerical results are provided in Section 6. The conclusion is finally drawn in Section 7.
2 Proposed methodology and signal model
Herein, we address the problem of detecting the presence of a primary user by a single cognitive radio that is equipped with L antennas as shown in Figure 1. We assume no prior knowledge about the primary transmission or the noise processes except that the noise is spatio-temporally independent. We focus on a practical scenario where due to the presence of a primary user (PU) signal, the received signals at the L antennas are correlated in space as well as time. The spatial correlation is due to the proximity between the receiving antennas and the temporal correlation is due to the presence of a temporal dispersive channel, oversampling of the received signal or the time correlation of the transmitted signal [6]. In this work, we consider the temporal correlation to be WSS. Hence, consecutive received samples of the (L × 1) vector x(n), n = 1,…,N T at L antennas of a user are temporally correlated, where and N T is the total number of received vector samples. Exploiting the temporal correlation, jointly with spatial correlation, can provide us extra information to enhance the detection performance. In order to devise detection mechanisms that exploit temporal correlation with tractable solutions, the proposed technique can be described as follows:
-
1.
We split the received block of N T vectors x(n) into M sub-blocks where each block contains N samples of vector x(n), as shown in Figure 2.
-
2.
We assume that the consecutive vector-valued samples within each sub-block are temporally correlated with N × N temporal correlation matrix C t .
-
3.
Independence is assumed between consecutive sub-blocks.
It is clear that the proposed approach does not exploit the correlation among different sub-blocks. However, as it will become clear in the following sections, exploiting such correlation would result in an ill-posed problem. This would make it intractable to derive the ML estimators of the covariance matrices, required for the generalized likelihood ratio test (GLRT). The proposed mechanism could also be motivated from the concept of correlated block-fading channel, which presents correlation in each N-samples block, but independence between consecutive blocks [6, 26].
In order to proceed, we need the distribution of , and we assume it to be zero-mean complex Gaussiana. This assumption is particularly reasonable if the primary network employs orthogonal frequency division multiplexing (OFDM) as modulation format [15, 18]. Similarly, we also assume that the SU collects N T consecutive samples of vector x(n). Based on the proposed three step approach discussed above, the received N T vector samples are divided into M blocks and each block consists of N vector samples, such that MN = N T . The m-th block is defined as:
where the i-th row, for m = 1,…,M, contains N-samples at the i-th antenna. Let us define a vector . The covariance matrix of the L N × 1 vector z (m) under hypothesis is
where the sub-block covariance matrices , 1 ≤ i,l ≤ L in Σ capture all space-time second-order information about the random vector . Thus, the hypothesis testing problem becomes
Now, considering that the noise powers at the L antennas of the user are different and spatially and temporally uncorrelated noise, the covariance matrix under noise-only hypothesis is Σ0 = ΣA,0 ⊗ I N , where
and is noise power at i-th antenna of the array.
3 GLRT based on spatio-temporal correlation
In this section, by adopting the GLRT formulation, we review a spectrum sensing scheme that exploits both the spatial and temporal correlation without exploiting any a-priori structure. This will be done just to provide a reference benchmark to compare the proposed detectors in Sections 4.2 and 5. Since, the parameters {Σ0,Σ} are unknown, we need to adopt the GLRT approach and the test statistic of the ST-GLRT can be formulated as:
where f z (Z,Σ0) and f z (Z;Σ) are the likelihood functions under hypothesis and , respectively. We assume that we have M independent blocks of the data X, or equivalently vector z, available. To solve the GLRT (5), we have to derive the ML estimators of the parameters for each of the hypotheses. Note that under weak conditions, the ML estimator is asymptotically an unbiased and efficient estimator [27]. The expression for the likelihood function f z (Z;Σ) under hypothesis can then be written as:
Taking into account that Σ has no further structure beyond being positive semi-definite, it is easy to prove [7] that its ML estimate is given by the sample covariance matrix i.e. . Under the alternative hypothesis, the expression for f z (Z,Σ0), ignoring constant factors, is
Now, taking into account the Kronecker structure of the covariance matrix, (7) may be rewritten as [25]:
where , as in Figure 2, and the ML estimate of the covariance matrix ΣA,0 becomes [7] and thus . To solve (5), we have to replace Σ0 and Σ by and , respectively. Therefore, the final expression of the ST-GLRT becomes:
Note that the detection scheme in (9) assumes no structure for the covariance matrix, except that the covariance matrix is Hermitian and non-singular.
Before concluding the discussion in this section, as a reference, we present the GLRT that only exploits the spatial correlation, ignoring the temporal correlation. Assuming that the vector samples x(n),n = 1,…,N T are temporally uncorrelated, the GLRT scheme can be formulated as:
where and are the likelihood functions, and ΣA,0 and ΣA,1 represent the covariance matrices under hypothesis and , respectively. Solving (10), the final expression of the detector that does not exploit the temporal structure is
where is a sample covariance matrix. Under the hypothesis , as we have previously shown, the covariance matrix may be estimated as: ΣA,0 = diag(ΣA,1) [7]. The detector (11) only exploits the energy and the spatial correlation across the L antennas of the receiver and it wrongly assumes independence in time the information provided by the temporal correlation. Compared to (11), the ST-GLRT (9) provides improved detection performance since it uses temporal correlation as an additional source of information. However, in the case when M < N L, the ST-GLRT may completely collapse due to the ill-conditioned sample covariance matrix [17]. In order to circumvent this limitation, in the following sections, we propose some modifications in the ST-GLRT by exploiting the presence of some inherent structures in the space-time correlation.
4 Exploiting persymmetric structure
In order to solve the detection problem (3) with unknown covariance matrices, a critical requirement for the detectors based on the GLRT is that the sample covariance matrices must be non-singular [23]. To this end, we have to make sure that the number of available observations given by M, is not smaller than LN (i.e. M ≥ L N). However, in quick spectrum sensing, a number of samples greater than LN is a requirement difficult to fulfill in practice [28]. Hence, the motivation of the remaining discussion is to bring robustness against this small sample support. Note that in (9) we assume no prior knowledge about the spatio-temporal structure of the covariance matrix except that it is positive definite. One way to achieve the robustness against the small sample support is to look for possible a-priori known patterns/structures in the large spatio-temporal covariance matrix.
4.1 Persymmetric structure
In this section, we use the fact that the spatio-temporal covariance matrix Σ has a persymmetric structure. From [15, 18], we know that the multivariate WSS time series has a block-Toeplitz covariance matrix. We remark here that Toeplitz structured matrices belong to a subclass of the persymmetric matrices [19, 21, 29]. Furthermore, considering structured antenna array configurations (i.e., uniform linear arrays) at the SU, the spatio-temporal covariance matrix Σ can be modelled as persymmetric-block-Toeplitz, as shown in [30]. Therefore, we propose to approximate the spatio-temporal covariance matrix Σ, which is block-Toeplitz, as a persymmetric matrix. Obviously, this approximation results in a suboptimal detection scheme, but it is well known that it does not exist in closed-form ML estimators for Toeplitz matrices. Moreover, it provides better detection performance than the unconstrained ML estimate, particularly, in the case of small sample support. Persymmetric covariance matrices fulfill [31]
where the L N × L N counter-identity matrix J LN is
also known as exchange matrix [19]. Based on these ideas, in Section 4.2, we present a modified GLRT that exploits the persymmetric property of the block-Toeplitz covariance matrix.
4.2 Persymmetric GLRT (P-GLRT)
The difference in the formulation of the GLRT that exploits the persymmetry comes due to the constraint (12). Therefore, the formulation of the GLRT based on the persymmetric covariance matrix can be represented as:
Comparing (14) to (5), we can see that the difference lies only in the denominator. In order to exploit the persymmetry of Σ, we need to use the forward-backward (FB) log likelihood [32], which is a combination of the forward-looking and the backward-looking log-likelihood functions. The forward-looking log-likelihood log f z (Z; Σ) can be written as:
where we have ignored constant terms that do not depend on data. Similarly, using the constraint Σ= J LN ΣTJ LN , the backward-looking log-likelihood can be written as [32]:
Adding (15) and (16), it gives us the forward-backward log likelihood as:
where
The covariance matrix estimator (18) is called forward-backward sample covariance matrix, which is the ML estimator of the persymmetric covariance matrix [32]. An exact theory indicating the performance of the estimator as a function of number of independent vector z (m), m = 1,2,…,M, is not available. However, a qualitative discussion reported in [19, 29] shows that the required number of samples decreases by approximately a factor of two. Similarly, it is reported in [33] that has consistently lower variance than the variance of . Finally, solving (14) and using (18), the GLRT becomes
where as before. Compared to the detection scheme in (9), the new one in (19) offers improved performance at small sample support, as the number of independent vector measurements required for the covariance matrix estimator decreases by up to a factor of two [19]. Motivated by these facts, in Section 5, we go one step further and exploit the properties of the Kronecker product to decompose the large covariance matrix into smaller ones, reducing considerably the number of unknown parameters.
5 GLRT based on Kronecker factorization
In Section 3, we presented the ST-GLRT approach for the detection problem in (3) and argued that it performs poorly for M < K N. In Section 4.1, we have (partially) exploited the temporal structure by imposing persymmetry on the covariance matrix. We have also discussed that the spatio-temporal covariance matrix Σ has block-Toeplitz (with Toeplitz blocks) structure. In [34, 35], it is reported that the block-Toeplitz structure can be approximated by the Kronecker product of two matrices. Taking this into account, we therefore approximate the covariance matrix Σ into a purely spatial and a purely temporal component as:
In (20), the matrix ΣA captures the spatial correlation between the observations received at different antennas and matrix ΣT captures the time correlation between N column vectors in X. Herein, we remark that the covariance structure in (20) makes the implicit assumption that the temporal correlation structure remains the same at all spatial locations. Similarly, the spatial correlation structure remains the same for the whole sub-block.
5.1 KR-GLRT
In this section, we consider the Kronecker product-based factorization and derive the GLRT that exploits this structure, which is given by
In order to solve (21), under hypothesis , we need to obtain the ML estimates of the unknown covariance matrices ΣA and ΣT. Under , the likelihood function f z (Z; ΣA ⊗ ΣT), ignoring constant factors, can be written as:
Now, we can write [36], which yields
To find the ML estimates of ΣA and ΣT, we need to take the derivative of , given by
with respect to ΣA(ΣT), keeping ΣT(ΣA) fixed. Equating the result of the derivative to zero and after simple mathematical operations, the estimators under can be written as:
Equations (25) and (26) suggest that and can be obtained using an iterative method such as the Flip-Flop algorithm. The Flip-Flop algorithm maximizes w.r.t. ΣA, keeping the last available estimate of ΣT fixed and vice versa. In [23], numerical experiments show that the Flip-Flop algorithm performs very well and is much faster than a more general purpose optimization algorithm such as Newton–Raphson [23]. In [22], it has been reported that for the case of large enough M, asymptotic efficiency of the ML approach can be achieved without iterating. Moreover, it is reported in [23, 36] that if (M - 1) N ≥ L and (M - 1)L ≥ N, or equivalently M ≥ max (N/L; L/N) + 1, then every iterate in the Flip-Flop algorithm results in positive definite with probability one. Taking into account this fact, in order to get , we adopt a non-iterative Flip-Flop approach and only perform the steps given in Algorithm 1, with an initial value of . On the other hand, under , we have the estimate of Σ0 as: . Having all of the maximum likelihood-based estimates, and solving (21), we can get the expression:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-6180-2014-160/MediaObjects/13634_2014_Article_717_Equa_HTML.gif)
The main advantage of the proposed GLRT (27) over the traditional is that under instead of parameters, it has only parameters to estimate. Furthermore, the dimensions of these two covariance matrices ΣT and ΣA are much smaller than the dimension of full covariance matrix Σ, that is why the computations are much less demanding. Hence, the Kronecker model is a good approximation that captures important information about the correlations, while it is positive definite for M ≥ max (N/L; L/N) + 1, i.e. a much smaller number of samples.
5.2 PK-GLRT
In Section 4, we have assumed that the covariance matrix Σ has a block-Toeplitz (with Toeplitz blocks) structure. Keeping this in mind, in this section, we assess the possible improvement in the detection performance of (27) by exploiting the fact that the factored matrices ΣT and ΣA have persymmetric structures. We show that it is possible to account for the persymmetric structure by a simple modification of the Flip-Flop algorithm. Hence, as we did in Section 4.1, the persymmetric structures are exploited by imposing the constraints [21]:
where JL and JN are the reversal matrices of dimensions (L × L) and (N × N), respectively. The modified version of KR-GLRT (21) that we denoted as PK-GLRT can be written as:
We see that in the expression (30), under hypothesis , the solution is the same as in (14) and (21). The difference lies in the case of hypothesis , where we need to solve
As in Section 4.1, to obtain the ML estimate of a persymmetric covariance matrix, we need the forward-backward (FB) log likelihood, which is the combination of the forward-looking and the backward-looking log likelihoods. In this case, the forward-looking log-likelihood function for estimating ΣT can be written as:
Similarly, the backward-looking log likelihood is
where in (33), . Adding (32) and (33) gives us the Kronecker product-based forward-backward log-likelihood , required for estimating the persymmetric estimate of ΣT. Following similar steps as in (32) and (33), we can find forward- and backward-looking log-likelihood functions for finding the persymmetric estimate of ΣA. To find the ML estimates of the covariance matrices, in the first step, we fix ΣA and find ΣT that maximizes . Taking into account these results, the estimator of the persymmetric ΣT can be found as:
Similarly, by following the same process with fixed ΣT, the estimator of the persymmetric ΣA can be written as:
As it was in the case of expressions (25) and (26), both of the expressions (34) and (35) suggest that and can be estimated using an iterative method such as the Flip-Flop algorithm, as shown in Algorithm 2. Using (34) and (35), the final expression for the GLRT becomes
Compared to (27), (36) provides better detection performance in the small sample support regime. It is because, finding the estimates of ΣT and ΣA, (34) and (35) require smaller M compared to (25) and (26). In conclusion, by exploiting the underlying structure of the covariance matrix Σ via the persymmetric ML estimates of the covariance matrices ΣT and ΣA, it further increases the robustness of (27) at small sample support.
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-6180-2014-160/MediaObjects/13634_2014_Article_717_Equb_HTML.gif)
6 Numerical results
In this section, we present numerical results to evaluate the performance of the proposed detection schemes, presented in the preceding sections. For the analysis to be conducted herein, we use the receiver operating characteristic (ROC) curve and the area under the ROC curve (AUC), which varies between 0.5 (poor performance) and 1 (good performance) [37], as the performance measures. We also evaluate the performance by the probability of detection vs the signal-to-noise ratio for a fixed false alarm probability. For the evaluation, we performed the following two experiments:
6.1 Experiment no. 1: detection of a WSS signal at multiple antennas
In this experiment, we assume that the signal received at the multi-antenna receiver is a vector WSS Gaussian process corrupted by uncorrelated noise. In order to assess the detectors with this assumption, the SNRs (expected) κ l ,l = 1,2,⋯,L are allocated differently, with average SNR of all antennas is: . For a specified received signal power (equal at different antennas) and , we find P n , the mean noise power. Noise powers (expectedb) at L different antennas are kept different while . Moreover, we assume L = 4 antennas and a separable spatio-temporal correlation. The spatial covariance matrix is generated as [ ΣA]i,j= 0.3|i-j|, i,j = 1,…,L, and the temporal covariance matrix is generated as [ ΣT]i,j= 0.9|i-j|, i,j = 1,…,N T . The remaining parameters for each experiment are described in the captions of the corresponding diagrams.
In the first experiment, we obtain the ROC curves using Matlab to compare the performance of the proposed schemes to that of the traditional schemes (GLRT that ignores temporal correlation , the energy detector ) and the ST-GLRT and its frequency-domain approximation for WSS series. In particular, the energy detector can be expressed as:
and the frequency-domain detector is given by (39) in A Approximated GLRT in the frequency domain. It is to be noted that the energy detector assumes known noise power.
In this experiment, we plot ROC curves for two different cases. In the first case, we assume that the unknown noise powers at different antennas are perfectly estimated and there is no noise power uncertainty. The ROC plots are given in Figure 3. In the second part of this experiment, shown in Figure 4, we repeat the same experimental setup for the case with noise power uncertainty. Note that we model the noise power uncertainty by generating the noise power at the l-th antenna as , where α nu ≥ 1, and α nu = 1 means no noise uncertainty [1]. From the results, it is clear that the proposed schemes clearly outperform traditional schemes. Moreover, from the experiment, we can also conclude that the noise power uncertainty slightly deteriorates the performance of all detectors. However, the energy detector completely collapses at α nu =2. To further analyze the effects of the sample support, noise power uncertainty, and shadowing parameters, we need to have a single and quantitative figure of merit. This metric is the area under the ROC curve (AUC), which varies between 0.5 (poor performance) and 1 (good performance). Hence, next, we use AUC curves to see effects of the sample support, noise power uncertainty, and shadowing parameters on the detection performance of the spectrum sensing schemes. We model the shadowing effect by using log-normal random variable as: , where p m is the expected signal power at the receiver (equal for all antennas), p sh is the signal power after shadowing effect, and x σ is Gaussian random variable with 0 mean and standard deviation σSh. The log-normal shadow fading is often characterized by its dB spread, σdB, which has the relationship σSh = 0.1σdB log10 [38].
In Figure 5, we plot the AUC curves to analyze the effects of sample size in the presence of shadowing, with and without the effects of noise power uncertainty. In this figure, the curves with dashed lines represent the case where both shadowing and noise power uncertainty with α nu = 1.5. On the other hand, the curves with solid lines show the case with no noise power uncertainty (i.e. α nu = 1). From these plots, it can be concluded that the proposed schemes ΛKR(Z) and ΛPKR(Z) are robust against the small sample support both in the presence and absence of noise power uncertainty. Particularly, in the region 20 ≤ M ≤ 80, the detectors ΛKR(Z) and ΛPKR(Z) clearly outperform the other detectors. As expected, we can also see that in the small sample regime, ΛPKR(Z) performs better than ΛKR(Z). The obvious reason for this is that under instead of parameters in the case of ΛKR(Z), the detection scheme ΛPKR(Z) has approximately only (2 L - 1) + (2 N - 1) parameters to estimate. In order to confirm this, in Figure 6, we plot the normalized minimum square error (MSE) of the estimator of the covariance matrix under hypothesis , expressed as:
where Σ is the true spatio-temporal covariance matrix, is the estimated covariance for each estimator in the Monte Carlo simulation j, is the Frobenius norm, and Javg is the number of Monte Carlo simulations. The results confirm that for small sample support, estimators of Σ used in the case ΛKR(Z) and ΛPKR(Z) have smaller error.
In Figure 7, we show the AUC plots to analyze the effect of shadowing (i.e. σdB) both in the presence and absence of noise uncertainty, α nu = 1.5 and α nu = 1, respectively. It is clear from these results that the effects of shadowing are very small on the performance of the detection schemes. However, we can see that by incrementing σdB, a slight improvement occurs in the performance of the detection schemes ΛTR(Z), ΛST(Z), and ΛPS(Z). The most obvious reason for this interesting outcome can be the heavy-tailed distribution of the primary signal strength due to the log-normally-distributed shadow fading that behaves in such a way at lower SNR [39].
In Figure 8, we show the AUC plots to analyze the effects of noise power uncertainty. The results show a robust behavior for the detection schemes against the noise power uncertainty. Once again, we observe that the performance of the proposed schemes ΛKR(Z) and ΛPKR(Z) is better than other schemes that do not exploit the underlying structure of the received signal.
Finally, keeping the probability of false alarm P F fixed, we simulate the performance of the detection schemes by plotting P D against different values of average SNR . The simulation results are shown in Figure 9. The results clearly show that for different SNR values, the proposed schemes consistently perform better than the detection schemes that do not exploit the covariance structure.
In conclusion, we can say that the exploitation of inherent structure of covariance matrix both in frequency and time domain leads us to robustness against the small sample support compared to the ST-GLRT in (9).
6.2 Experiment no. 2: cognitive radio
In the previous set of experiments, we analyzed the proposed schemes for detection of a Gaussian signal with separable spatio-temporal covariance matrix in unknown additive uncorrelated noise. In the present set of experiments, we perform simulations to illustrate the application of the proposed detection schemes in cognitive radio, i.e. with an actual communication signal instead of a Gaussian signal and with a non-separable spatio-temporal covariance matrix. For the simulations, we have used an ODFM-modulated DVB-T signal (8-K mode, 64-QAM, guard interval 1/4, and inner code rate 2/3) with a bandwidth of 7.61 MHz. We have considered a 4 × 4 Rayleigh channel with unit power and an exponential power delay profile with length 64 samples (at a sampling frequency of 7.61 MHz). The additive noises at each antenna are generated as a zero-mean complex Gaussian process. We used a noise power different at each antenna with average SNR . To analyze the schemes, we plot ROC curves with N = 15 vector samples per sub-block. The rest of the parameters are given in the captions of the figures.
In Figure 10, we plot the ROC curves for the case when the channel delay spread is 0.779 μ s with and without noise power uncertainty. In this figure, we can easily see that the detectors ΛKR(Z) and ΛPKR(Z) clearly outperform the other detectors, even for this realistic spatio-temporal correlation. In Figure 11, we repeat the experiment of Figure 10 for a channel delay spread 0.097 μ s (almost flat fading channel). Even for channels with low-frequency selectivity, we can see that the detection schemes ΛKR(Z) and ΛPKR(Z) consistently perform better compared to the rest of the detection schemes. However, compared to Figure 10, in Figure 11, we can see interesting results that the detector which ignores temporal correlation outperforms spatio-temporal correlation-based schemes due to the low selectivity of the channel.Before commenting on these interesting results, for further confirmation, we need to have a single and quantitative figure of merit, so we plot AUC curves in Figure 12.
The AUC curves in Figure 12 demonstrate that the proposed detectors have better performance compared to the traditional detection schemes, for different values of sample support. In order to see the effect of delay spreads, we consider two types of channel delay spreads (0.097 and 0.779 μ s). The results in Figure 12 confirm that the proposed schemes ΛKR(Z) and ΛPKR(Z) consistently outperform other schemes in small sample support regime. We can also see that in general, the performance of all schemes is degraded for different values of delay spreads; since the larger the delay spread, the larger the degradation incurred. However, we can see that compared to rest of the detection schemes, ΛKR(Z) and ΛPKR(Z) show more robustness against changes in the delay spread. We can further observe an interesting outcome in the case of the detector that ignores temporal correlation and the frequency-based approximate GLRT, where we can see that the performances of these two detection schemes are quite different for the two channel delay spreads. This is also evident from comparison of ROC curves in Figures 10 and 11. The possible explanation for this can be that for a short channel delay spread (i.e. 0.097 μ s), the multi-tap channel adds negligible temporal correlation. On the other hand, in the case of channel delay spread 0.779 μ s, we have temporal correlation imposed by the channel on the temporally uncorrelated transmitted OFDM signal. Therefore, the inclusion of temporal correlation as an additional detection metric is not helping in the case of delay spread (i.e. 0.097 μ s).
In order to further analyze the detection performance of the proposed schemes, in Figure 13, we compare the results by plotting P D vs average SNR . Once again, we can observe that the proposed schemes outperform the remaining detection schemes presented in this paper.
7 Conclusion
In this paper, we have proposed novel detection schemes that exploit the spatio-temporal correlation present in the received observations at a multi-antenna receiver. When exploiting the spatio-temporal correlation, we have observed that the GLRT performs poorly when the sample support is small. To cope with this problem, we have proposed detectors that are robust against the sample support. The proposed detectors (approximately) exploit the inherent spatio-temporal structure of the received covariance matrix by using the properties of persymmetric matrices and the Kronecker product of the spatial and temporal covariance matrices. The performance of the proposed detectors has been evaluated with the help of numerical simulations, which show important improvements compared to the traditional schemes.
Endnotes
a We begin with the complex base-band signal sampled at the specific Nyquist rate.
b These values are maintained during Monte-Carlo process. In order to create noise power uncertainty, these values are affected by random uncertainty at each run.
Appendix
A Approximated GLRT in the frequency domain
For the interested readers, herein, we reproduce the approximated GLRT in the frequency domain, originally presented in [15]. While considering the case in which the received signals are jointly WSS, the limiting form (L fixed and M,N → ∞) of the the frequency domain GLRT statistic is written as [15]:
where is a quadratic estimator and the Fourier vector is given by
References
Biglieri E, Goldsmith AJ, Greenstein LJ, Mandayam NB, Poor HV: Principles of Cognitive Radio. Cambridge University Press, Cambridge; 2012.
Min AW, Zhang X, Shin KG: Detection of small-scale primary users in cognitive radio networks. IEEE J. Selected Areas Commun 2011, 29: 349-361.
Zhang R, Lim TJ, Liang Y-C, Zeng Y: Multi-antenna based spectrum sensing for cognitive radios: a GLRT approach. IEEE Trans. Commun 2010, 58(1):84-88.
Axell E, Leus G, Larsson EG, Poor HV: Spectrum sensing for cognitive radio: state-of-the-art and recent advances. IEEE Signal Process. Mag 2012, 29(3):101-116.
Zeng Y, Liang Y-C, Hoang AT, Zhang R: A review on spectrum sensing for cognitive radio: challenges and solutions. EURASIP J. Adv. Signal Process. 2010. doi:10.1155/2010/381465
Yang W, Durisiand G, Morgenshtern VI, Riegler E: Capacity pre-log of SIMO correlated block-fading channels. In Proc. ISWCS. Piscataway; 2011:869-873.
Mardia KV, Kent JT, Bibby JM: Multivariate Analysis. Academic Press, Waltham; 1979.
Anderson TW: An Introduction to Multivariate Statistical Analysis. Wiley-Interscience, Hoboken; 2003.
Zeng Y, Liang Y-C: Eigenvalue-based spectrum sensing algorithms for cognitive radio. IEEE Trans. Commun 2009, 57(6):1784-1793.
Vazquez-Vilar C, López-Valcarce R: Spectrum sensing exploiting guard bands and weak channels. IEEE Trans. Signal Process 2011, 59(12):6045-6057.
Quan Z, Zhang W, Shellhammer SJ, Sayed A: Optimal spectral feature detection for spectrum sensing at very low SNR. IEEE Trans. Commun 2011, 59(1):201-212.
Sala-Alvarez J, Vazquez-Vilar G, Lopez-Valcarce R: Multiantenna GLR detection of rank-one signals with known power spectrum in white noise with unknown spatial correlation. IEEE Trans. Signal Process 2012, 60(6):3065-3078.
Perez-Neira A, Lagunas M-A, Rojas MA, Stoica P: Correlation matching approach for spectrum sensing in open spectrum communications. IEEE Trans. Signal Process 2009, 57(12):4823-4836.
Vazquez-Vilar G, Lopez-Valcarce R, Sala J: Multiantenna spectrum sensing exploiting spectral a priori information. IEEE Trans. Wireless Commun 2011, 10(12):4345-4355.
Ramirez D, Via J, Santamaria I, Scharf LL: Detection of Spatially Correlated Gaussian Time Series. IEEE Trans. Signal Process 2010, 58(10):5006-5015.
Ayoub TF, Haimovich AR: Modified GLRT signal detection algorithm. IEEE Trans. Aerospace Electron. Syst 2000, 36(3):810-818. 10.1109/7.869498
Chen Y, Wiesel A, Hero AO: Shrinkage Estimation of High Dimensional Covariance Matrices. In Proc. of IEEE ICASSP. Piscataway; 2009:2937-2940.
Ramírez D, Vazquez-Vilar G, López-Valcarce R, Vía J, Santamaría I: Detection of rank-p signals in cognitive radio networks with uncalibrated multiple antennas. IEEE Trans. Signal Process 2011, 59(8):3764-3774.
Nitzberg R: Application of maximum likelihood estimation of persymmetric covariance matrices to adaptive processing. IEEE Trans. Aerospace Electron. Syst 1980, 16(1):124-127.
Akdemir D, Gupta AK: Array variate random variables with multiway Kronecker delta covariance matrix structure. J. Algebraic Stat 2011, 2(1):98-113.
Wirfalt P, Jansson M: On Toeplitz and Kronecker Structured Covariance Matrix Estimation. In Proc. of Sensor Array and Multichannel Signal Processing Workshop (SAM). Piscataway; 2010:185-188.
Werner K, Jansson M, Stoica P: On estimation of covariance matrices with Kronecker product structure. IEEE Trans. Signal Process 2008, 56(2):478-491.
Lu N, Zimmerman DL: The likelihood ratio test for a separable covariance matrix. Stat. Probab. Lett 2005, 73(5):449-457.
Genton MG: Separable approximations of space-time covariance matrices. Environmetrics 2007, 18(7):681-695. 10.1002/env.854
Ali S, López-Salcedo JA, Seco-Granados G: Exploiting Structure of Spatio-temporal Correlation for Detection in Wireless Sensor Networks. In Proc. of 20th European Signal Processing Conference. Piscataway; 2012:774-778.
Liang Y, Veeravalli VV: Capacity of noncoherent time-selective rayleigh-fading channels. IEEE Trans. Inform. Theory 2004, 50(12):3095-3110. 10.1109/TIT.2004.838113
Kay SM: Fundamentals of Statistical Signal Processing, Volume 2: Detection Theory. Prentice Hall, Upper Saddle River; 1998.
Lu L, Wu H-C, Iyengar SS: A novel robust detection algorithm for spectrum sensing. IEEE J. Selected Areas Commun 2011, 29(2):305-315.
Wax M, Kailath T: Efficient inversion of Toeplitz-block Toeplitz matrix. IEEE Trans. Acoustics, Speech Signal Process 1983, 31(5):1218-1221. 10.1109/TASSP.1983.1164208
Ward J: Space-Time Adaptive Processing for Airborne Radar. Technical Report 1015, Lincoln Laboratory, MIT. Lexington; December 1994.
Huckle TK, Waldherr K, Schulte-Herbrüggen T: Exploiting matrix symmetries and physical symmetries in matrix product states and tensor trains. Linear Multilinear Algebra 2013, 61(1):91-122. 10.1080/03081087.2012.663371
Jansson M, Stoica P: Forward-only and forward-backward sample covariances – a comparative study. Signal Process 1999, 77(3):235-245. 10.1016/S0165-1684(99)00037-7
Armour B: Structured Covariance Autoregressive Parameter Estimation. PhD thesis, Department of Electrical Engineering, McGill Canada, 1989
Kamm J, Nagy J: Optimal Kronecker Product Approximation of Block Toeplitz Matrices. SIAM J. Matrix Anal. Appl 2000, 22(1):155-172. 10.1137/S0895479898345540
Mitchell MW, Genton MG, Gumpertz ML: A likelihood ratio test for separability of covariances. J. Multivar. Anal 2006, 97(5):1025-1043. 10.1016/j.jmva.2005.07.005
Dutilleul P: The MLE algorithm for the matrix normal distribution. J. Stat. Comput. Simul 1999, 64: 105-123. 10.1080/00949659908811970
Fawcett T: ROC graphs: Notes and practical considerations for researchers. Technical Report HPL-2003-4, HP Laboratories. Palo Alto; 2003.
Ghasemi A, Souca ES: Asymptotic performance of collaborative spectrum sensing under correlated log-normal shadowing. IEEE Commun. Lett 2007, 11(1):34-36.
Muetze T, Stuedi P, Kuhn F, Alonso G: Understanding radio irregularity in wireless networks. In Proc. of IEEE SECON, San Francisco. Piscataway; 2008:82-90.
Acknowledgements
This work was supported by the Catalan Government under the grant FIDGR- 2011-FIB0071.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Ali, S., Ramírez, D., Jansson, M. et al. Multi-antenna spectrum sensing by exploiting spatio-temporal correlation. EURASIP J. Adv. Signal Process. 2014, 160 (2014). https://doi.org/10.1186/1687-6180-2014-160
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-6180-2014-160