- Research
- Open Access

# Compressive cyclostationary spectrum sensing with a constant false alarm rate

- Andreas Bollig
^{1}Email author, - Anastasia Lavrenko
^{2}, - Martijn Arts
^{1}and - Rudolf Mathar
^{1}

**2017**:135

https://doi.org/10.1186/s13638-017-0920-5

© The Author(s) 2017

**Received: **13 October 2016

**Accepted: **19 July 2017

**Published: **3 August 2017

## Abstract

Spectrum sensing is a crucial component of opportunistic spectrum access schemes, which aim at improving spectrum utilization by allowing for the reuse of idle licensed spectrum. Sensing a spectral band before using it makes sure the legitimate users are not disturbed. To that end, a number of different spectrum sensing method have been developed in the literature. *Cyclostationary* detection is a particular sensing approach that takes use of the built-in periodicities characteristic to most man-made signals. It offers a compromise between achievable performance and the amount of prior information needed. However, it often requires a significant amount of data in order to provide a reliable estimate of the cyclic autocorrelation (CA) function. In this work, we take advantage of the inherent sparsity of the cyclic spectrum in order to estimate CA from a low number of linear measurements and enable blind cyclostationary spectrum sensing. Particularly, we propose two compressive spectrum sensing algorithms that exploit further prior information on the CA structure. In the first one, we make use of the joint sparsity of the CA vectors with regard to the time delay, while in the second one, we introduce structure dictionary to enhance the reconstruction performance. Furthermore, we extend a statistical test for cyclostationarity to accommodate *sparse* cyclic spectra. Our numerical results demonstrate that the new methods achieve a near constant false alarm rate behavior in contrast to earlier approaches from the literature.

## Keywords

## 1 Introduction

*x*(

*t*) observed at a secondary system receiver, the two hypotheses can be written as

where *η*(*t*) denotes receiver noise and *s*
^{′}(*t*) stands for a PU signal after propagation effects.

A number of spectrum sensing algorithms have been proposed in the literature [2–4]. Broadly speaking, they can be divided into three major types, namely, energy detection, stochastic feature detection, and matched filter detection, where different types require different amounts of prior knowledge about the PU signal. While matched filter ([5], Ch. 4.3) detectors require the knowledge of the exact waveform of at least a part of the PU signal, energy detection [6] does not require any prior knowledge. Feature detectors are an in-between as they only make assumptions about structural or statistical properties of the signal. One of the stochastic features which lets an SU receiver discriminate between pure stationary noise (\({\mathcal {H}_{0}}\)) and a communication signal contaminated with noise (\(\mathcal {H}_{1}\)) is cyclostationarity. In contrast to pure stationary noise, most man-made signals vary periodically with time [7] and can thus be characterized as cyclostationary. Although the data contained in a modulated signal may be a purely stationary random process, the coupling with sine wave carriers, pulse trains, repeating, spreading, hopping sequences, and cyclic prefixes going along with its modulation causes a built-in periodicity [8].

*time-domain test (TDT)*as introduced in [9]. The test can decide between the presence and absence of cyclostationarity for a pre-specified potential cycle frequency

*α*. It operates on the cyclic autocorrelation (CA), which, given an observed signal

*x*(

*t*), is defined as [7]

*α*and a delay

*τ*. For purely stationary signals, \( {R_{x}^{\alpha }(\tau)} = 0\) for all

*α*≠0, while for cyclostationary signals, \( {R_{x}^{\alpha }(\tau)} \ne 0\) for some

*α*≠0. The

*α*with non-zero CA coefficients are called cycle frequencies. The set of cycle frequencies caused by one of potentially multiple incommensurate second-order periodicities in a cyclostationary signal comprises the periodicity’s fundamental cycle frequency (the reciprocal of the fundamental period) as well as its harmonics. Given the above information, we can rewrite the hypothesis test (1) as

It is important to note that practically, instead of the statistical CA (2), one normally operates on the sample CA obtained from a limited number of signal samples. The coefficients of the sample CA are not constant but rather follow different probability distributions, depending on whether \({\mathcal {H}_{0}}\) or \({\mathcal {H}_{1}}\) is true. To account for this, the hypothesis test (3) is modified by considering different test statistic under \(\mathcal {H}_{0}\) and \(\mathcal {H}_{1}\). As a result, the TDT provides a typical constant false alarm rate (CFAR) performance.

Returning to (3), we note that the CA is zero on its whole support except the set of cycle frequencies and *α*=0. Therefore, it can be called sparse. The exploitation of sparsity in signal processing has a long history [19]. The recent years, however, have seen a vastly accelerated development of the field resulting in a new sampling paradigm called compressive sampling (CS) [20, 21]. It postulates that sparse or compressible signals, i.e., the signals that can be represented or well approximated by only a few non-zero coefficients in some domain, can be sampled and recovered from fewer number of measurements than traditionally required. A crucial observation here is that one can design an effective measurement strategy that is governed by the amount of the signals’ *information content*, rather than its *ambient dimension*. To date, there is a large amount of powerful algorithms available that solve sparse recovery problems in the CS context ranging from optimization approaches to classical pursuits such as the orthogonal matching pursuit (OMP) [22] and more specialized algorithms such as the compressive sampling matching pursuit (CoSaMP) [23] for instance.

Multiple contributions have been made in the field of compressive cyclostationary spectrum sensing. The authors of [24] for instance formulate the estimation of the cyclic autocorrelation as a sparse recovery problem, which they solve using the OMP [22]. Based on the sparse estimate of the CA, they propose two detection methods that exploit different CA properties. The first one, called slot comparison method (SCM), compares the biggest CA components OMP finds in two consecutive blocks of samples. If for both blocks, the same discrete cycle frequencies are chosen, \(\mathcal {H}_{1}\) is selected; otherwise, \(\mathcal {H}_{0}\) is selected. The second detection algorithm is called symmetry method (SM). It exploits the fact, that for certain types of signals, the CA is symmetric around the direct current (DC) component. Although both of them present blind detectors meaning that they operate without prior knowledge of the cycle frequencies present in the signal, they do not allow for a CFAR performance, which is considered a desired detector feature [4]. Instead of the CA, the authors of [25] use the spectral correlation (SC), which is the Fourier transform of the CA over *τ*, for detecting multiple transmitters in a wideband signal using compressive sampling. In order to estimate the SC from compressed samples via CS, they established a direct linear relation between the compressed samples and the SC. Based on [25], the authors of [26] derive a method for recovering the SC from sub-Nyquist samples using a reduced complexity approach, for which they provide a closed-form solution. In [27], the modulated wideband converter (MWC) [28] is used to obtain the SC from sub-Nyquist samples to then apply cyclostationarity detection. Furthermore, it has been recently shown that under certain conditions, the CA can be efficiently recovered from a low number of samples even without enforcing the sparsity property [29–31]. This can be done by exploiting cross-correlations between different outputs of the compressive sampler. The main drawback of the aforementioned works is that providing the estimate of the entire cyclic spectrum, they still require the knowledge of the cycle frequencies for the detection step.

In this work, we employ a composite approach that combines the sparse recovery of CA from its compressive measurements for blind cycle frequency estimation with a CFAR TDT detection. This said the contribution of this paper is manifold. We propose two novel sparsity-aided CA estimation algorithms, both of which exploit *further* prior information about the CA in addition to its sparsity: the simultaneous OMP-based (SOber) and the dictionary assisted (Dice) compressive CA estimator. The first one exploits the joint sparsity of the CA vectors with regard to the time delay in order to recover the CA matrix for all delays simultaneously, while the second one takes advantage of the signal-induced structure of the CA by introducing structure dictionaries into the recovery process. In order to evaluate the performance of the proposed CA estimators, we derive a closed-form expression of the CA of *sampled* linearly modulated signals with rectangular pulse shape. Furthermore, we show how this expression can be used as prior information in the dictionary assisted approach. Note that the use of sparse recovery in the novel CA estimation approaches results in the automatic detection of signal’s cycle frequencies. This in turn allows *blind* spectrum sensing by eliminating the integral need of the classical TDT for the perfect knowledge of the said cycle frequencies. However, the resulting sparse structure of the compressive CA estimates does not allow for the application of the traditional TDT since the noise statistics are missing. To compensate for this phenomenon, we develop a modified TDT and thus enable blind compressive cyclostationary spectrum sensing. Numerical tests show that the proposed method achieves a near CFAR behavior.

The remainder of this paper is structured as follows. Section 2.1 introduces the signal model and presents the classical method for CA estimation, while Section 2.2 presents the time-domain test based on the classical CA estimation. A CA estimator based on joint sparsity of multiple vectors is introduced in Section 3 and the CA estimator exploiting additional prior knowledge is described in Section 4. An extension of the TDT to accommodate sparse CA estimates is developed in Section 5. The numerical evaluation of the proposed estimation and detection approaches as well as the interpretation of the results is given in Section 6. Section 7 concludes the paper.

## 2 Cyclostationary spectrum sensing

### 2.1 System model and CA estimation

*x*(

*t*) uniformly with a sampling period

*T*

_{ e }. This results in the vector of discrete samples \(\mathbf {x}_{t_{0}} \in {\mathbb {C}}^{N}\), where

Evaluating this function results in the CA coefficient for the cycle frequency \(\alpha = \frac {a}{NT_{e}}\) and the time delay *τ*=*ν*
*T*
_{
e
}, where *a* stands for the discrete cycle frequency and *ν* denotes the discrete time delay. Note that the factor \(e^{-j\pi \frac {a}{N}\nu }\) remains constant throughout the sum. It is a phase shift necessary to maintain compatibility with the symmetric CA (2). The estimator (5) is biased but exhibits a smaller estimation variance than an unbiased one [9].

*N*length CA vector whose

*n*th element is \(\hat {R}_{x, t_{0}}^{n}(\nu)\), i.e.,

*N*element)

*delay product*with time delay

*τ*=

*ν*

*T*

_{ e }, which is given by

*N*samples, \(\mathbf {x}^{\ast }_{t_{0} + \nu T_{e}}\) is zero-padded at the end while \(\mathbf {y}^{\nu }_{N}\) is a vector of length

*N*. The CA vector is now given by

**F**denotes the (

*N*×

*N*) discrete Fourier transform (DFT) matrix. The

*N*×

*n*

_{ ν }CA matrix for time delays \(\nu _{1}T_{e}, \dotsc, \nu _{n_{\nu }}T_{e}\) is given by

with \(\mathbf {Y}_{N} = \left [\mathbf {y}_{N}^{\nu _{1}}, \dotsc, \mathbf {y}_{N}^{\nu _{n_{\nu }}}\right ] {\in \mathbb {C}^{N \times {n_{\nu }}}}\).

### 2.2 The time-domain test (TDT) for cyclostationarity

Given the statistical CA, one could decide between \({\mathcal {H}_{0}}\) and \({\mathcal {H}_{1}}\) by testing it for being non-zero at the signal’s inherent cycle frequencies according to (3). However, as mentioned in Section 1, instead of the statistical CA, we only have access to its estimation, the sample CA (which asymptotically converges to the statistical CA). This hinders the direct applicability of (3) for signal detection as coefficients of the sample CA are not constant anymore. In the seminal work [9], the probability distributions that the sample CA coefficients follow under \({\mathcal {H}_{0}}\) or \(\mathcal {H}_{1}\) have been identified and a test for cyclostationarity based on this knowledge has been designed. The test is briefly described in the following.

*n*

_{ ν }×1 vector

*a*

_{0}. The frequency

*a*

_{0}is the cycle frequency of interest, i. e., the one for the presence of which we want to test the signal. Given this vector, we can formulate the following non-asymptotic hypotheses

where \({\textbf {r}_{xx^{\ast }}}({a_{0}})\phantom {\dot {i}\!}\) is the deterministic but unknown asymptotic counterpart of \({\hat {\mathbf {r}}_{xx^{\ast }}}({a_{0}})\phantom {\dot {i}\!}\) and \(\phantom {\dot {i}\!}{\boldsymbol {\epsilon }_{xx^{\ast }}}({a_{0}})\) is the estimation error. Note that in contrast to the hypotheses from Eq. (3), this formulation considers the presence of cyclostationarity in the received signal for *one fixed* cycle frequency *a*
_{0}.

*n*

_{ ν }×2

*n*

_{ ν }covariance matrix \({\mathbf {\Sigma }_{xx^{\ast }}}({a_{0}})\phantom {\dot {i}\!}\) can be computed as [9]

*m*,

*n*)th entries of the

*n*

_{ ν }×

*n*

_{ ν }matrices

**Q**and

**Q**

^{∗}are given by

where *W* is a normalized spectral window of odd length *L*. Looking at the Eqs. (16) and (17), it becomes clear why the cyclic spectrum is often referred to as the spectral correlation.

The test statistic can be interpreted as a normalized energy. The inverse of the covariance matrix scales \({\hat {\mathbf {r}}_{xx^{\ast }}}({a_{0}})\phantom {\dot {i}\!}\) such that under \({\mathcal {H}_{0}}\), its entries follow a standard normal distribution. Thus, under \({\mathcal {H}_{0}}\), the test statistic asymptotically follows a central chi-squared distribution with 2*n*
_{
τ
} degrees of freedom i. e., \(\phantom {\dot {i}\!}\underset {N\rightarrow \infty }{\lim }\mathcal {T}_{xx^{*}} \overset {\mathrm {D}}{=} \chi _{2n_{\nu }}^{2}\), while under \({\mathcal {H}_{1}}\), the test statistic asymptotically follows a non-central chi-squared distribution with unknown non-centrality parameter *λ*, i. e., \(\phantom {\dot {i}\!}\underset {N\rightarrow \infty }{\lim }\mathcal {T}_{xx^{*}} \overset {\mathrm {D}}{=} \chi _{2n_{\nu }}^{2}(\lambda)\). Based on the above test statistic, we can design a CFAR detector with some false alarm rate *P*
_{fa} by finding the corresponding decision threshold in the \(\chi _{2n_{\nu }}^{2}\) tables. We cannot design a test based on a desired detection rate *P*
_{d} since although \(\phantom {\dot {i}\!}{\textbf {r}_{xx^{\ast }}}({a_{0}})\) is deterministic, it depends on the type of signal emitted by the transmitter as well as the signal to noise ratio (SNR) at the receiver, both of which are assumed to be unknown.

The classical approach for cyclostationary spectrum sensing is to apply the TDT to the CA estimate from (5). However, to do so, one needs to know which cycle frequency to test beforehand, which eliminates the possibility of true *blind* spectrum sensing. One could sequentially test the received signal for all possible cycle frequencies. However, with high probability, the estimation noise at some cycle frequency would have a value above the decision threshold, leading to a false alarm.

## 3 Sparsity-aided CA estimation: simultaneous OMP-based estimator

As discussed in Section 1, for most man-made signals the CA is (asymptotically) sparsely occupied, containing spikes only at the DC component as well as the cycle frequencies of inherent signal periodicities and their harmonics. In this section, we take advantage of this inherent sparsity and cast the CA estimation as a joint sparse recovery problem. Since this method is able to detect the CA’s support, it removes the traditional approach’s requirement of knowing the cycle frequencies beforehand, enabling thus blind cyclostationarity-based spectrum sensing possible.

**F**

^{−1}is the inverse discrete Fourier transform (IDFT) matrix. Now, consider an

*m*×

*N*matrix

**M**, which consists of a selection of

*m*rows of the

*N*×

*N*identity matrix

**I**

_{ N }. It represents the undersampling operation. Applying

**M**to \(\mathbf {x}_{t_{0}}\), we obtain an

*m*×1 vector of compressive samples

^{1}\(\bar {\mathrm {x}}_{t_{0}} = \mathbf {M} \mathrm {x}_{t_{0}}\). Now, we can calculate an

*m*element delay product with time delays

*τ*=

*ν*

_{ i }

*T*

_{ e }, i.e., \(\mathbf {y}_{m}^{\nu } = \bar {\mathbf {x}}_{t_{0}} \circ \bar {\mathbf {x}}_{t_{0} + \nu T_{e}}^{*} \). Stacking all \(\mathbf {y}_{m}^{\nu }\) together into one matrix

**Y**

_{ m }, we finally obtain

where **Y**
_{
m
} contains a selection of *m* coefficients of the delay products for different delays *ν*
_{
i
}
*T*
_{
e
}. Note that *ν*
_{
i
}∈[ 0,*N*−1] are chosen such that \(\bar {\mathrm {x}}{t_{0} + \nu _{i} T_{e}}\) is non-empty. We now want to recover \(\hat {\mathbf {R}}_{x}\) from **Y**
_{
m
} by solving the underdetermined inverse problem (20). To do so, we exploit our knowledge about the CA’s sparsity.

where \(\left \| \cdot \right \|{~}_{\ell _{0}}\) denotes the *ℓ*
_{0} “norm” [20], which is the number of non-zero entries in a vector, and vec{·} stands for the vectorization of a matrix, i. e., the concatenation of its columns to a single vector. Eq. 21 is known to be a non-convex combinatorial problem [20]. One way to solve it within a practically feasible amount of time is to substitute the *ℓ*
_{0}-“norm” by its tightest convex relaxation, the *ℓ*
_{1} norm. With high probability, this produces the same result since for most large underdetermined systems of linear equations, the minimal *ℓ*
_{1}-norm solution is also the sparsest solution [33]. Another way of solving (21) efficiently is by applying one of the many greedy sparse recovery algorithms that have been developed in the field of CS, such as, e.g., *orthogonal matching pursuit (OMP)* [22].

*ν*. Instead, we notice that the vectors \(\left. {\hat {\mathbf {r}}_{x}^{\nu }} \right |{~}_{\nu = \nu _{1}}^{\nu _{n_{\nu }}}\) are jointly sparse with regard to the time delay. Therefore, stacking \({\hat {\mathbf {r}}_{x}^{\nu }}\) in \(\hat {\mathbf {R}}_{x}\) results in a row-sparse matrix whose rows are (asymptotically) non-zero only at the indices corresponding to the cycle frequencies. In order to exploit this additional structure, we propose to use an extension of OMP called simultaneous orthogonal matching pursuit (SOMP) [34] to recover the CA matrix \(\hat {\mathbf {R}}_{x}\) at once. The CA estimation based on SOMP is summarized in Algorithm 1, which we further refer to as SOber.

The goal of SOber is to find the indices of the atoms contained in **Y**
_{
m
}, i. e., the support of the columns of \(\hat {\mathbf {R}}_{x}\), and subsequently recover the identified non-zero rows of \(\hat {\mathbf {R}}_{x}\) by solving least-square problems. We start with an empty support *S*
_{0}. Each iteration, one atom (a column of the matrix **A**=*N*
**M**
**F**
^{−1}) index is added to the support. The index is selected according to the sum of the absolute correlation values between the corresponding atoms and the delay products of different time delays (lines 3–4). Using the new support set *S*
_{
i
}, a least-square problem is solved for each column in \(\hat {\mathbf {R}}_{x}\) (lines 5–6). In each iteration, the atom index to be added to the index set is chosen according to the correlation between the residuum of **Y**
_{
m
} and the atom set. Since every iteration adds one index to the support set, one usually chooses *n*
_{iter} greater than or equal to the sparsity of the signal to be recovered. The difference between OMP (used in, e. g., [24]) and SOMP can be found in line 4, where SOMP jointly considers the amount of correlation between atoms and the delay products of *multiple* delays, while OMP would select the support of \(\left.{\hat {\mathbf {r}}_{x}^{\nu }}\right |{~}_{l=1}^{n_{\nu }}\) for each *l* individually.

## 4 Sparsity-aided CA estimation: dictionary-assisted estimator

In Section 3, we have described a SOMP-based algorithm that estimates the cycle frequencies and the CA from fewer samples than required using the classic approach by taking into consideration the inherent sparsity of the CA. In this section, we develop an algorithm that makes use of additional prior knowledge about the signal’s structure in the form of structure dictionaries to further enhance the cycle frequency and CA estimation. Like SOber, the new algorithm does not require the prior knowledge about the cycle frequencies contained in the signal.

One fact about the CA that could be exploited is that using a rectangular pulse shape, a linearly modulated signal’s CA exhibits spikes not only at the signal’s fundamental cycle frequency but also at the harmonics thereof. Another one is the symmetry of the CA around the DC component. First steps in this direction showing promising results have been taken in [35]. The drawback of the solution proposed in [35] is that the convex optimization problem used to recover the CA becomes huge for practical parameter choices, which results in a prohibitively large computational complexity. To circumvent this, we propose an OMP-based greedy algorithm that takes advantage of the additional prior knowledge while featuring a much smaller complexity than the optimization problem.

The proposed Dice algorithm (Algorithm 2) follows the same idea as the SOber algorithm (Algorithm 1) in that, it iteratively determines the support of the sparse CA and subsequently recovers it by solving an overdetermined least-square problem. However, in contrast to SOber, Dice facilitates the use of further prior knowledge in addition to the CA’s sparsity in the recovery process. Thus, in addition to the inputs received by SOber, Dice needs a set of structure dictionaries \({\overset {\circ }{\mathbf {D}}^{\left (\frac {N}{2}\right)}_{l}|{~}_{l=1}^{n_{\nu }}}\), one dictionary for each delay value *ν*
_{
l
} that is to be considered in the recovery process. Since the structure dictionaries do not necessarily model the DC component of the CA, it is added to the support set in the initialization phase in Dice (line 1). Instead of working with the amount of correlation between the residuum and the atoms directly as in SOber, the Dice algorithm computes combinations of these as dictated by the structure dictionaries in use (lines 3, 4). This way, the decision about the non-zero cycle frequencies (line 5) takes into account the structure of the CA. Additionally, instead of adding a single element to the support set per iteration, Algorithm 2 adds all indices to the support set that have a non-zero value in the selected dictionary word. The recovery step (cf. lines 6, 7) remains unchanged. Note that in Algorithm 2, the abs(·) operator stands for the element-wise absolute value of a matrix, while the selection operator [ ·]_{
l:} denotes the *l*th row of a matrix.

In the following, we introduce two particular structure dictionaries that can be used with the proposed algorithm: (i) the dictionary that accounts for the symmetry of the CA and (ii) the dictionary that describes the harmonic structure of the CA as well as its shape.

### 4.1 Symmetry dictionary

*N*−1. The symmetry dictionary is simply given by the identity matrix, i. e., \({\mathbf {D}^{(\frac {N}{2})}_{\text {sym}}} = {\mathbf {I}_{\frac {N}{2}}}\). To model the whole vector \( {\hat {\mathbf {r}}_{x}^{\nu }} \), the dictionary is extended to include the DC component, which is set to zero, as well as the negative cycle frequencies. Note that the DC component is set to zero because its value is independent of the presence of cyclostationarity. The resulting

*full*dictionary is exemplarily given by

The circle above the symbol indicates that it is the full version of the dictionary, i. e., the one spanning the whole Fourier range. The *ones* in the matrix specify the locations of the non-zero coefficients in the CA fitting the format of (9). Note that in the case of the symmetry dictionary, all of \(\overset {\circ }{\mathbf {D}}^{(\frac {N}{2})}_{l}|{~}_{l=1}^{n_{\nu }}\) in Algorithm 2 are identical i. e., \(\overset {\circ }{\mathbf {D}}_{l}^{(\frac {N}{2})}|{~}_{l=1}^{n_{\nu }} = \overset {\circ }{\mathbf {D}}^{(\frac {N}{2})}_{\text {sym}}\).

### 4.2 Asymptotic CA and asymptotic dictionary

The symmetry structure dictionary exploits one of the facts we know about the CA. In order to explore an extreme in terms of prior knowledge, we create a dictionary that contains the maximum possible amount of prior information about the CA, i. e., the one containing the asymptotic CA itself. This requires knowledge of the analytic expression for the discrete asymptotic CA vector, which we derive in the following.

*T*

_{ s }as described by the following equation ([7], Eq. 73)

Here, *p*(*t*) is a deterministic finite-energy pulse, *ϕ* represents a fixed pulse-timing phase parameter and *c*
_{
n
} stands for the *n*th symbol to be transmitted. We are now interested in an expression for the discrete asymptotic CA vector of the above signal type.

The symbol \({\mathbb {Z}}\) denotes the set of integers, i. e., *k*∈{…,−2,−1,0,1,2,…}.

*c*

_{ n }is a purely stationary random sequence. Thus, its autocorrelation \( {R_{c}(n T_{s})} = {R_{c}^{0}(n T_{s})}\) is non-zero only at

*n*=0 (cf. (2)), reducing (25) to

*c*

_{ n }. In the following, we assume a rectangular pulse shape of length

*T*

_{ s }, i. e., \({p(t)} = \text {rect}(\frac {t}{T_{s}})\), which leads to \(p({t + \frac {\tau }{2}})p^{*}({t - \frac {\tau }{2}}) = \text {rect}\left (\frac {t}{T_{s} - |\tau |}\right)\). Thus, applying the Fourier transform to (26) yields

for |*τ*|≤*T*
_{
s
} where \(\text {sinc}(x) = \frac {\text {sin}(\pi x)}{\pi x}\). Note that the use of the absolute value of the delay stems from the fact that for a real symmetric pulse shape *p*(*t*), the expression \(p({t + \frac {\tau }{2}})p^{*}({t - \frac {\tau }{2}})\) is symmetric with respect to *τ*.

The derivation of this expression can be found in the appendix.

*a*are arranged in a vector \(\mathbf {r}^{\nu }_{s,n_{s}}[\!{a}]\) matching the format of the DFT matrix, such that

Note that adding purely stationary noise to the signal *s*(*t*) does not change its asymptotic CA (with the exception of (*a*,*ν*)=(0,0), at which point the CA’s value is the average power of signal and noise, cf. (2)) since the noise exhibits no inherent periodic behavior. Due to this fact, (30) can also be used as a reference for the CA of signals contaminated with additive white Gaussian noise (AWGN) with the exception mentioned.

Note that in contrast to the single symmetry dictionary, there is a whole set of asymptotic dictionaries, one for each delay value of interest. The columns of the dictionaries correspond to actual symbol lengths i. e., actual cycle frequencies. Thus, each column contains the absolute value of the normalized asymptotic CA of a cycle frequency candidate where the discrete symbol lengths \(n_{s} \in \left \{ \frac {N}{1}, \dotsc, \frac {N}{{N}/{2}} \right \}\) correspond to the discrete cycle frequencies *a*∈{1,…,*N*/2}. It is worth noting that in addition to its role as the basis of the second structure dictionary for Algorithm 2, the expression (30) serves as a reference for the direct comparison of different CA estimation methods in Section 6.

## 5 Cyclostationarity detection from sparse cyclic spectra

Both the SOMP-based (Algorithm 1) and the dictionary-assisted CA estimation (Algorithm 2) are able to recover the CA without knowing which cycle frequencies are contained in the signal beforehand. Furthermore, since the the (row) support of \(\hat {\mathbf {R}}_{x}\) corresponds to the candidate cycle frequencies, its identification in Algorithm 1 (line 4) or in Algorithm 2 (line 5) can be interpreted as blind cyclostationary spectrum sensing by itself. However, under practical limitations on the number of samples available for CA estimation and attainable SNR levels, the support estimate is likely to contain errors, e.g., missed and/or falsely identified support entries. This calls for a further testing of the candidate cyclofrequencies that can be performed by applying the TDT method described in Section 2.2. However, the obtained sparse CA is not directly compatible with the traditional TDT because, since only few of the coefficients of \(\hat {\mathbf {R}}_{x}\) are recovered and all other coefficients are set to zero, it is not possible to reliably estimate the covariance matrix \({{\hat {\mathbf {\Sigma }}_{xx^{\ast }}}}\phantom {\dot {i}\!}\) under \(\mathcal {H}_{0}\). To tackle this problem, we present a modification of the traditional TDT.

The traditional TDT is a CFAR detector, i. e., the probability density function (PDF) of its test statistic under \({\mathcal {H}_{0}}\) is asymptotically independent of any signal parameters like, e. g., the noise power. To achieve this, the TDT first estimates the CA noise covariance and then rescales the original CA by this estimate so that the scaled CA follows a *standard* Gaussian distribution. This is where the problem occurs. Although, we are ultimately only interested in the CA coefficients that are located at the signal’s cycle frequencies, for the estimation of the noise covariance, we need the coefficients lying between the cycle frequencies, which only carry estimation noise. SOber and Dice do not recover these. Thus, we propose an extension to the TDT, the sparse TDT, to bridge this gap in the following.

**A**with minimum structure, i. e., the selection of the

*m*entries of the delay product would be completely random. However, to tackle the aforementioned problem, we choose a combination of consecutive and random delay product elements. The consecutive part comprises the first ⌈

*β*

*m*⌉ rows of

**Y**

_{ m }, where

*β*∈ [ 0.01,0.5] and ⌈·⌉ denotes the ceiling operation. The remainder of the rows of

**Y**

_{ m }is a random selection of the remaining rows of

**Y**

_{ N }. The first step of the sparse TDT is to determine the classical CA estimation of the consecutive block of delay product elements. In the next step, the cycle frequency of interest

*a*

_{0}is determined using either Algorithm 1 or Algorithm 2. Next, the covariance matrix for the cycle frequency

*a*

_{0}corresponding to the

*N*size CA \(\left ({{\hat {\mathbf {\Sigma }}_{xx^{\ast }} }}^{(N)}(a_{0})\right)\phantom {\dot {i}\!}\) needs to be determined, where the superscript (

*N*) indicates the corresponding CA size. It is obtained as

*β*

*m*⌉ size CA estimated from the consecutive samples in the first step. The test statistic is subsequently evaluated as (cf. (18))

The consecutive sample ratio *β* is a trade-off parameter. The optimal sparse recovery performance is to be expected for the case that **A**=*N*
**M**
**F**
^{−1} has the smallest possible amount of structure, which here corresponds to the case where the set of known delay product elements is chosen completely at random i. e., for *β*=0. Contrarily, the best estimation quality for the CA covariance matrix \(\hat {\mathbf {\Sigma }}_{xx^{\ast }}\) is achieved when all known delay product elements are consecutive i. e., for *β*=1.

## 6 Numerical evaluation

System parameters

Parameter | Symbol | Value(s) |
---|---|---|

Size of the CA vector - CS methods |
| 4000 |

No. of known delay product elements |
| 1000 |

Size of the CA vector - classic method |
| 1000 |

Discrete time delays |
| {1,2,3,4} |

Modulation type | BPSK | |

Discrete symbol length |
| 8 |

Signal to noise ratio | SNR | {−4,…,4}dB |

No. of Monte Carlo instances | 10000 | |

Consecutive sample ratio |
| {0.01,…,0.5} |

Covariance estimation window type |
| Kaiser |

Kaiser window parameter |
| 10 |

Kaiser window length |
| 201 |

*β*on the spectrum sensing performance. Figure 1 shows how the detection rate changes with

*β*for an SNR of 0 dB and different false alarm rates. For all methods but the OMP,

*β*=0.15 seems to be a good choice. For the OMP, the detection rate increases monotonically with

*β*. However, as can be seen below, even for the OMP, a high

*β*is no good choice regarding other performance categories.

*β*, of the different detectors is plotted over the receiver SNR for different false alarm rates. The term

*oracle*expresses that a method has prior knowledge about the exact cycle frequencies contained in the signal. The classic method depends on this knowledge while for the sparse recovery, it reduces the CA recovery to solving the overdetermined least-square problem for the given support (cf. lines 5 and 6 in Algorithm 1 or lines 6 and 7 in Algorithm 2). As expected, the oracle methods outperform the methods which have to determine the CA support themselves by a large margin. Regarding the case of missing support knowledge, the Dice algorithm clearly outperforms the SOber algorithm as well as OMP. It is to be noted that both, Fig. 1 as well as Fig. 2 do not show a significant performance advantage of exploiting the full knowledge of the asymptotic CA (Dice (asy)) over just exploiting its symmetry property (Dice (sym)) for a sensible choice of

*β*.

*β*=0.15. While the two Dice methods roughly keep within a 1% offset, OMP, and SOber show a decreasing degree of equivalence for an increasing false alarm rate. This indicates that using the chi-squared distribution for setting the decision threshold of the Dice algorithm is viable, which is an important observation. It means that in contrast to many other spectrum sensing algorithms, Dice approximately possesses a desirable feature called constant false alarm rate i. e., its test statistic is independent of system parameters like the receiver noise power.

where ∥·∥*s*
_{
F
} is the Frobenius norm. The sparse recovery method has a much lower *overall* MSE. This is caused by the fact that it sets all CA coefficients but the detected support to zero while the classical method results in a CA that features estimation noise between the spikes. Regarding the *spike* MSE, both methods seem to perform roughly equivalently.

## 7 Conclusions

Blind operation and constant false alarm rate (CFAR) are desirable characteristics of spectrum sensing algorithms. Unfortunately, cyclostationarity-based approaches typically only feature either one or the other. We showed that this can be changed by using sparse recovery methods in the CA estimation. Subsequently, we developed a way to use further prior knowledge in addition to sparsity for superior CA estimation. We derived a closed-form expression of the CA of *sampled* linearly modulated signals with rectangular pulse shape to be used both as prior information for the CA estimation and as a reference for comparison. Finally, we extended a well-known statistical test for cyclostationarity to accommodate sparse input. The results allow us to conclude that the proposed Dice algorithm in combination with the symmetric structure dictionary constitutes a viable alternative to the classical TDT for the case of missing prior information about the cycle frequencies contained in the signal.

## 8 Endnote

^{1} Note that although we use the vector of Nyquist rate samples \(\mathrm {x}_{t_{0}}\) to calculate \(\bar {\mathrm {x}}_{t_{0}}\), we do so for notational convenience only. In practice, one can directly obtain the sub-Nyquist samples \(\bar {\mathrm {x}}_{t_{0}}\) by means of non-uniform sampling for instance.

## 9 Appendix

### 9.1 Discrete asymptotic CA

*s*(

*t*), and its sampled counterpart {

*s*(

*n*

*T*

_{ e })} is given by ([36], Ch. 11, Sec. C, Eq. (111))

*l*reflects the infinite aliasing caused by the sampling. In the next step, we insert (28) into (35). Also, we express quantities in terms of the sampling period

*T*

_{ e }, i. e., \(T_{s} \rightarrow n_{s} T_{e}, \alpha \rightarrow \frac {a}{ N T_{e}}, \phi \rightarrow d_{\phi } T_{e}\), with \(n_{s}, a, N \in {\mathbb {Z}}\). This leads to

for |*ν*|≤*n*
_{
s
}, where *n*
_{
s
} is the oversampling factor. In this step, we used the fact that for our assumptions all aliases of the fundamental cycle frequency and its harmonics lie on top of the actual fundamental cycle frequency and its harmonics, i. e., \((\alpha + \frac {l}{T_{e}}) T_{s} \in \mathbb {Z}\) iff \(\alpha T_{s} \in \mathbb {Z}\). Inserting the discrete quantities given above, we get \((\frac {a}{N} + l) n_{s} \in {\mathbb {Z}}\) iff \(\frac {a}{N} n_{s} \in \mathbb {Z}\). Since \(n_{s} \in {\mathbb {Z}}\) and \(l \in {\mathbb {Z}}\), this always holds. To rule out any spectral leakage, we choose *N* as an integer multiple of *n*
_{
s
}, since then, \(a = k \frac {N}{n_{s}}\) is also an integer and thus the fundamental discrete cycle frequency and its harmonics hit center frequencies of frequency bins.

To obtain (37) we used the definition of the sinc and exploited the facts that *e*
^{
j
π
k
}=(−1)^{
k
} for \(k \in \mathbb {Z}\) and that sin(*x*+*k*
*π*)=(−1)^{
k
}sin(*x*) for \(k \in \mathbb {Z}\). The pulse timing phase parameter *d*
_{
ϕ
} was set to \(\frac {n_{s} + 1}{2}\). This has the following reason. In order to simplify the numerical evaluation, we want to choose *ϕ* such that the beginning of the observed receiver signal is aligned with the rectangular pulse shapes, i. e., we would set \(\phi = \frac {T_{s}}{2}\). However, doing so would lead to the need to sample at the discontinuities caused by the instant change in amplitudes at the transition between symbols. To avoid this, we choose \(\phi = \frac {T_{s}}{2} + \epsilon \), where *ε*∈(0,*T*
_{
e
}). Note that (37) is the same for any *ε*∈(0,*T*
_{
e
}). In order to ease the derivation, we can thus choose \(\epsilon = \frac {T_{e}}{2}\), i. e., \(d_{\phi } = \frac {n_{s} + 1}{2}\).

*ψ*(

*z*), possesses a series expansion given by ([37], Eq. (6.3.16))

*γ*denotes the Euler-Mascheroni constant. We can thus simplify (38) by expressing it in terms of the digamma function as

Finally, substituting (45) into (37) gives us the expression (29).

## Declarations

### Funding

This work was partly supported by the Deutsche Forschungsgemeinschaft (DFG) projects CoCoSa (grant MA 1184/26-1) and CLASS (grant MA 1184/23-1).

### Competing interests

The authors declare that they have no competing interests.

### Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided 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.

## Authors’ Affiliations

## References

- Q Zhao, BM Sadler, A survey of dynamic spectrum access. IEEE Signal Process. Mag.
**24**(3), 79–89 (2007).View ArticleGoogle Scholar - T Yücek, H Arslan, A survey of spectrum sensing algorithms for cognitive radio applications. IEEE Commun. Surv. Tutorials.
**11**(1), 116–130 (2009).View ArticleGoogle Scholar - Y Zeng, Y-C Liang, AT Hoang, R Zhang, A review on spectrum sensing for cognitive radio: challenges and solutions. EURASIP J. Adv. Signal Process. 2010: (2010).Google Scholar
- E Axell, G Leus, EG Larsson, HV Poor, Spectrum sensing for cognitive radio: state-of-the-art and recent advances. IEEE Signal Process. Mag.
**29**(3), 101–116 (2012).View ArticleGoogle Scholar - SM Kay,
*Fundamentals of Statistical Signal Processing, Vol, II: Detection Theory*(Prentice Hall, Upper Saddle River, 1998).Google Scholar - H Urkowitz, Energy detection of unknown deterministic signals. Proc. IEEE.
**55**(4), 523–531 (1967).View ArticleGoogle Scholar - WA Gardner, Exploitation of spectral redundancy in cyclostationary signals. IEEE Signal Process. Mag.
**8**(2), 14–36 (1991).View ArticleGoogle Scholar - WA Gardner, Signal interception: a unifying theoretical framework for feature detection. IEEE Trans. Commun.
**36**(8), 897–906 (1988).View ArticleGoogle Scholar - AV Dandawate, GB Giannakis, Statistical tests for presence of cyclostationarity. IEEE Trans. Signal Process.
**42**(9), 2355–2369 (1994).View ArticleGoogle Scholar - WA Gardner, A Napolitano, L Paura, Cyclostationarity: half a century of research. Signal Process.
**86**(4), 639–697 (2006).View ArticleMATHGoogle Scholar - K Kim, IA Akbar, KK Bae, J-S Um, CM Spooner, JH Reed, in
*New Frontiers in Dynamic Spectrum Access Networks, 2007. DySPAN 2007. 2nd IEEE International Symposium On*. Cyclostationary approaches to signal detection and classification in cognitive radio (IEEEDublin, 2007), pp. 212–215.View ArticleGoogle Scholar - J Chen, A Gibson, J Zafar, in
*Cognitive Radio and Software Defined Radios: Technologies and Techniques, 2008 IET Seminar On*. Cyclostationary spectrum detection in cognitive radios (IETLondon, 2008), pp. 1–5.Google Scholar - PD Sutton, KE Nolan, LE Doyle, Cyclostationary signatures in practical cognitive radio applications. IEEE J. Selected Areas Commun.
**26**(1), 13–24 (2008).View ArticleGoogle Scholar - CM Spooner, RB Nicholls, Spectrum sensing based on spectral correlation. Cogn. Radio Technol.
**2:**, 593–634 (2009).View ArticleGoogle Scholar - Z Khalaf, A Nafkha, J Palicot, in
*Circuits and Systems (MWSCAS), 2011 IEEE 54th International Midwest Symposium On*. Blind cyclostationary feature detector based on sparsity hypotheses for cognitive radio equipment (IEEESeoul, 2011), pp. 1–4.Google Scholar - A Napolitano, Cyclostationarity: new trends and applications. Signal Process.
**120:**, 385–408 (2016).View ArticleGoogle Scholar - J Lundén, V Koivunen, A Huttunen, HV Poor, Collaborative cyclostationary spectrum sensing for cognitive radio systems. IEEE Transa. Signal Process.
**57**(11), 4182–4195 (2009).MathSciNetView ArticleGoogle Scholar - M Derakhshani, T Le-Ngoc, M Nasiri-Kenari, Efficient cooperative cyclostationary spectrum sensing in cognitive radios at low SNR regimes. IEEE Trans. Wireless Commun.
**10**(11), 3754–3764 (2011).View ArticleGoogle Scholar - DL Donoho, Scanning the technology. Proc. IEEE.
**98**(6), 910–912 (2010).View ArticleGoogle Scholar - DL Donoho, Compressed sensing. IEEE Trans. Inf. Theory.
**52**(4), 1289–1306 (2006).MathSciNetView ArticleMATHGoogle Scholar - EJ Candès, MB Wakin, An introduction to compressive sampling. IEEE Signal Proc. Mag.
**25**(2), 21–30 (2008).View ArticleGoogle Scholar - JA Tropp, AC Gilbert, Signal recovery from random measurements via orthogonal matching pursuit. IEEE Trans. Inf. Theory.
**53**(12), 4655–4666 (2007).MathSciNetView ArticleMATHGoogle Scholar - D Needell, JA Tropp, CoSaMP: iterative signal recovery from incomplete and inaccurate samples. Commun. ACM.
**53**(12), 93–100 (2010).View ArticleMATHGoogle Scholar - Z Khalaf, J Palicot, in
*Cognitive Communication and Cooperative HetNet Coexistence*. New blind free-band detectors exploiting cyclic autocorrelation function sparsity (SpringerBerlin, 2014), pp. 91–117.View ArticleGoogle Scholar - Z Tian, Y Tafesse, BM Sadler, Cyclic feature detection with sub-Nyquist sampling for wideband spectrum sensing. IEEE J. Selected Topics Signal Process.
**6**(1), 58–69 (2012).View ArticleGoogle Scholar - E Rebeiz, V Jain, D Cabric, in IEEE International Conference on Communications (ICC). Cyclostationary-based low complexity wideband spectrum sensing using compressive sampling (Ottawa, 2012), pp. 1619–1623.Google Scholar
- D Cohen, E Rebeiz, V Jain, YC Eldar, D Cabric, in IEEE International Workshop on Computational Advances in Multi-Sensor Adaptive Processing (CAMSAP). Cyclostationary feature detection from sub-Nyquist samples (San Juan, 2011), pp. 333–336.Google Scholar
- M Mishali, YC Eldar, From theory to practice: sub-Nyquist sampling of sparse wideband analog signals. IEEE J. Selected Topics Signal Process.
**4**(2), 375–391 (2010).View ArticleGoogle Scholar - G Leus, Z Tian, in
*Computational Advances in Multi-Sensor Adaptive Processing (CAMSAP), 2011 4th IEEE International Workshop On*. Recovering second-order statistics from compressive measurements (IEEESan Juan, 2011), pp. 337–340.View ArticleGoogle Scholar - DD Ariananda, G Leus, in
*Acoustics, Speech and Signal Processing (ICASSP), 2014 IEEE International Conference On*. Non-uniform sampling for compressive cyclic spectrum reconstruction (IEEEFlorence, 2014), pp. 41–45.View ArticleGoogle Scholar - D Cohen, YC Eldar, Sub-Nyquist cyclostationary detection for cognitive radio. IEEE Trans. Signal Process.
**65**(11), 3004–3019 (2017).MathSciNetView ArticleGoogle Scholar - A Napolitano,
*Generalizations of Cyclostationary Signal Processing: Spectral Analysis and Applications*(John Wiley & Sons, Hoboken, 2012).View ArticleMATHGoogle Scholar - DL Donoho, For most large underdetermined systems of linear equations the minimal
*ℓ*_{1}-norm solution is also the sparsest solution. Commun. Pure Appl. Math.**59:**, 797–829 (2004).MathSciNetView ArticleMATHGoogle Scholar - JA Tropp, AC Gilbert, MJ Strauss, Algorithms for simultaneous sparse approximation. Part I: Greedy pursuit. Signal Process.
**86**(3), 572–588 (2006).View ArticleMATHGoogle Scholar - A Bollig, R Mathar, in IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). Dictionary-based reconstruction of the cyclic autocorrelation via ℓ 1-minimization for cyclostationary spectrum sensing (Vancouver, 2013).Google Scholar
- WA Gardner,
*Statistical Spectral Analysis: A Nonprobabilistic Theory*(Prentice-Hall, New Jersey, 1986).MATHGoogle Scholar - M Abramowitz, IA Stegun,
*Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables*(Courier Corporation, New York, 1964).MATHGoogle Scholar