4 views

Uploaded by illusionperpetuelle

save

You are on page 1of 10

**EURASIP Journal on Wireless Communications and Networking
**

Volume 2010, Article ID 721695, 10 pages

doi:10.1155/2010/721695

Research Article

Higher-Order Cyclostationarity Detection for SpectrumSensing

Julien Renard, Jonathan Verlant-Chenet, Jean-Michel Dricot,

Philippe De Doncker, and Francois Horlin

Universit´e Libre de Bruxelles, Avenue F. D. Roosevelt 50, 1050 Brussels, Belgium

Correspondence should be addressed to Julien Renard, jrenard.ulb@gmail.com

Received 30 September 2009; Revised 18 February 2010; Accepted 15 June 2010

Academic Editor: Andr´ e Bourdoux

Copyright © 2010 Julien Renard et al. This is an open access article distributed under the Creative Commons Attribution License,

which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Recent years have shown a growing interest in the concept of Cognitive Radios (CRs), able to access portions of the electromagnetic

spectrum in an opportunistic operating way. Such systems require eﬃcient detectors able to work in low Signal-to-Noise Ratio

(SNR) environments, with little or no information about the signals they are trying to detect. Energy detectors are widely used to

perform such blind detection tasks, but quickly reach the so-called SNR wall below which detection becomes impossible Tandra

(2005). Cyclostationarity detectors are an interesting alternative to energy detectors, as they exploit hidden periodicities present

in man-made signals, but absent in noise. Such detectors use quadratic transformations of the signals to extract the hidden sine-

waves. While most of the literature focuses on the second-order transformations of the signals, we investigate the potential of

higher-order transformations of the signals. Using the theory of Higher-Order Cyclostationarity (HOCS), we derive a fourth-

order detector that performs similarly to the second-order ones to detect linearly modulated signals, at SNR around 0 dB, which

may be used if the signals of interest do not exhibit second-order cyclostationarity. More generally this paper reviews the relevant

aspects of the cyclostationary and HOCS theory, and shows their potential for spectrum sensing.

1. Introduction

Many studies have shown that the static frequency allocation

for wireless communication systems is responsible for the

ineﬃcient use of the spectrum [1]. This is so because the

systems are not continuously transmitting. Cognitive Radios

(CRs) networks try to make use of the gaps that can be found

in the spectrum at a given time. This opportunistic behavior

categorizes CR as secondary users of a given frequency band,

by contrast with the systems that were permanently assigned

this band (primary users) [2]. For the CR concept to be

viable, it is required that it does not interfere with the

primary user services. It means that the system must be able

to detect primary user signals in low signal-to-noise ratio

(SNR) environments fast enough. Eﬀorts are being made to

improve the performance of the detectors [3].

A radiometer (also called energy detector) can be used

to detect completely unknown signals in a determined

frequency band [4]. It is historically the oldest and simplest

detector, and it achieves good performance when the SNR

is strong enough. Unfortunately, since it is based on an

estimation of the in-band noise power spectral density

(PSD), it is aﬀected by the noise level uncertainty (due to

measurement errors or a changing environment), especially

at low SNR [5], where it reaches an absolute performance

limit called the SNR wall. Another type of detector is based

on the spectral redundancy present in almost every man-

made signal. It is called a cyclic feature detector and will be

the kind of detector of interest in this paper.

Cyclic feature detectors make use of the cyclostationarity

theory, which can be divided in two categories: the second-

order cyclostationarity (SOCS) introduced by Gardner in

[6–8] and the higher-order cyclostationarity (HOCS) intro-

duced by Gardner and Spooner in [9, 10]. The SOCS uses

quadratic nonlinearities to extract sine-waves from a signal,

whereas the HOCS is based on nth-order nonlinearities. The

idea behind this theory is that man-made signals possess

hidden periodicities such as the carrier frequency, the symbol

rate or the chip rate, that can be regenerated by a sine-wave

extraction operation which produces features at frequencies

that depend on these hidden periodicities (hence called cyclic

features and cycle frequencies resp.). Since the SOCS is based

on quadratic nonlinearities, two frequency parameters are

used for the sine-wave extraction function. The result is

2 EURASIP Journal on Wireless Communications and Networking

called the spectral correlation density (SCD), and can be

represented in a bifrequency plane. The SCD can be seen

as a generalization of the PSD, as it is equal to the PSD

when the cycle frequency is equal to zero. Therefore, the

SOCS cyclic feature detectors act like energy detectors, but

at cycle frequencies diﬀerent from zero. The advantage of

these detectors comes from the absence of features (at least

asymptotically) when the input signal is stationary (such

as white noise), since no hidden frequencies are present,

or when the input signal exhibits cyclostationarity at cycle

frequencies diﬀerent than the one of interest. The HOCS

cyclic-feature detectors are based on the same principles, but

the equivalent of the SCD is a n-dimensional space (n > 2).

Like SOCS detectors, HOCS detectors have originally been

introduced in the literature to blindly estimate the signal

frequency parameters.

It has been shown that the second-order cyclostationarity

detectors perform better than the energy detectors in low

SNR environments [7], and this has recently triggered a

lot of research on the use of cyclostationarity detectors

for spectrum sensing in the context of cognitive radios

[11, 12]. However the second-order detectors suﬀer from

a higher computational complexity that has just become

manageable. First ﬁeld-programmable gate array (FPGA)

implementations are presented in [13, 14].

Higher-order detectors are generally even more complex,

and since the variance of the features estimators increases

when the order rises, most research results concern second-

order detectors. We will nevertheless demonstrate that

it is possible to derive fourth-order detectors that bear

comparable performances to second-order ones to detect

linearly modulated baseband signals at SNR around 0 dB.

The paper will include a mathematical analysis of the

detection algorithm, the eﬀects of each of its parameters and

its computational complexity. Performance will be assessed

through simulations and compared with the second-order

detector.

After introducing the system model in Section 2, we will

brieﬂy review the basic notions of cyclostationarity theory in

Section 3 in order to understand how second-order detectors

work and identify their limitations. Afterwards, we will move

on to HOCS theory, and present its most relevant aspects

in Section 4, which will be used to characterize the linearly

modulated signals in Section 5 and to derive an algorithm

that may be used for signal detection of linearly modulated

signals in Section 6. We will conclude by a comparison of the

new detector performance with second-order detector and

energy detector performances in Section 7.

2. SystemModel

This paper focuses on the detection of linearly modulated

signals, like pulse amplitude modulation (PAM) or quadra-

ture amplitude modulation (QAM) signals. The baseband

transmitted signal is usually expressed as

s(t) =

∞

_

m=−∞

I

m

p(t −mT

s

), (1)

where I

m

is the sequence of information symbols transmitted

at the rate F

s

= 1/T

s

and p(t) is the pulse shaping ﬁlter

(typically a square-root Nyquist ﬁlter). After baseband-to-

radio frequency (RF) conversion, the RF transmitted signal

is given by:

s

RF

(t) = R[s(t)] cos(ω

c

t) − I[s(t)] sin(ω

c

t), (2)

where ω

c

= 2π f

c

and f

c

is the carrier frequency. In the

PAM case, the symbols I

m

are real and only the cosine is

modulated. In the QAM case, the symbols I

m

are complex

and both the cosine and sine are modulated. A QAM signal

can be seen as two uncorrelated PAM signals modulated in

quadrature.

For the sake of clarity, we assume that the signal propa-

gates through an ideal channel. Our results can nevertheless

be extended to the case of multipath channels, if we consider

a new pulse shape that is equal to the convolution of

square-root Nyquist ﬁlter with the channel impulse response.

However, this would make the new pulse random. Simula-

tions have shown that both second-order and fourth-order

detectors are aﬀected in the same way by a multipath channel

(equivalent degradation of performances). Therefore it does

not seem critical to introduce multipath channels in order to

compare the two, and it allows us to work with a constant

pulse shape. Additive white Gaussian noise (AWGN) of one-

sided PSD equal to N

0

corrupts the signal at the receiver.

Some amount of noise uncertainty can be added to N

0

. The

detection of the signal at the receiver can be either done

directly in the RF domain or in the baseband domain after

RF-to-baseband conversion.

3. Second-Order Cyclostationarity

Two approaches are used to introduce the notion of

cyclostationarity [8]. While the ﬁrst approach introduces

the temporal features of cyclostationary signals, the second

approach is more intuitive and is based on a graphical

representation of spectral redundancy. Both approaches lead

to the same conclusion. This section reviews the main results

of the second-order cyclostationarity theory, which will be

generalized to higher-order cyclostationarity in the next

sections.

3.1. Temporal Redundancy. A wide-sense cyclostationary

signal x(t) exhibits a periodic autocorrelation function [6, 7]

R

x

(t, τ) := E[x(t)x

∗

(t −τ)], (3)

where E[·] denotes the statistical expectation operator. Since

R

x

(t, τ) is periodic, it can be decomposed in a Fourier series

R

x

(t, τ) =

_

α

R

α

x

(τ)e

j2παt

,

(4)

where the sum is over integer multiples of the fundamental

frequencies. The coeﬃcient R

α

x

(τ) is called the cyclic auto-

correlation function, and represents the Fourier coeﬃcient

of the series given by

R

α

x

(τ) =

1

T

0

_

T0/2

t=−T0/2

R

x

(t, τ) e

−j2παt

dt. (5)

EURASIP Journal on Wireless Communications and Networking 3

When the signal is cyclo-ergodic, the expectation in the

deﬁnition of the autocorrelation can be replaced by a time

average so that

R

α

x

(τ) = lim

T →∞

1

T

_

T/2

t=−T/2

x(t) x

∗

(t −τ) e

−j2παt

dt . (6)

The cyclic autocorrelation is therefore intuitively obtained

by extracting the frequency α sine-wave from the time-delay

product x(t) x

∗

(t − τ). The SCD S

α

x

( f ) is deﬁned as the

Fourier transform of R

α

x

(τ) over τ. We notice that the only

cyclic frequencies α for which the SCD will not be null are

the ones corresponding to the Fourier coeﬃcients.

3.2. Spectral Redundancy. Let X( f ) be the Fourier transform

of x(t). The SCD measures the degree of spectral redundancy

between the frequencies f −α/2 and f + α/2 (α being called

the cyclic frequency). It can be mathematically expressed as

the correlation between two frequency bins centered on f −

α/2 and f + α/2 when their width tends toward zero [6, 7]

S

α

x

_

f

_

= lim

T →∞

lim

Δt →∞

1

TΔt

_

Δt/2

t=−Δt/2

X

T

_

t,

f + α

2

_

X

∗

T

_

t,

f −α

2

_

dt,

(7)

where X

T

(t, f ) denotes the short-time Fourier transform of

the signal

X

T

_

t, f

_

=

_

t+T/2

u=t−T/2

x(u) e

−j2π f u

du . (8)

Since the SCD depends on f and α, it can be graphed as a

surface over the bifrequency plane ( f , α). When α = 0, the

SCD reduces to the PSD.

3.3. Baseband and RF Second-Order Features. The perfor-

mance of the cyclic feature detectors will ﬁrst depend on

the strength of the features they are trying to estimate. The

two most common features exploited to detect the linearly

modulated signals are linked with the symbol rate and the

carrier frequency.

(i) The symbol rate feature is usually exploited after RF-

to-baseband conversion at the receiver. As its name

suggests it, it originates from the symbol rate at

the transmitter. Since this is a discrete signal, its

frequency spectrum is periodic, with a period equal

to the inverse of the sample rate (which is equal to the

symbol rate before RF conversion). If there is some

excess bandwidth in the system, or in other words, if

the pulse shaping ﬁlter p(t) does not totally cut oﬀ the

frequency components larger than half the inverse of

the symbol rate, some frequencies will be correlated,

as shown in Figure 1.

(ii) The doubled-carrier frequency feature is directly

exploited in the RF domain. It is based on the

symmetry of the RF spectrum, and it is much

X

T

( f )

f

f

SCD

Figure 1: Baseband signal frequency spectrum (top) and SCD at

the symbol rate (bottom). The frequency spectrum results from the

repetitive discrete signal spectrum and the ﬁlter shaping. The SCD

is measured by the correlation between two frequency bins centered

on f −α/2 and f +α/2 where α is the symbol rate. The symbol rate

feature exists for baseband PAM/QAM signals if there is some excess

bandwidth in the system.

stronger than the symbol rate feature (it is as strong

as the PSD). Since it depends on the symmetry of the

spectrum of the baseband signal, it only exists if the

modulation used has no quadrature components. If

a real PAM scheme is used, the carrier feature exists,

as illustrated in the left part of Figure 2. If a complex

QAM scheme is used, the carrier feature vanishes, as

illustrated in the right part of Figure 2.

Since complex modulations are quite common, it would

not be possible to implement a cyclic feature detector for CRs

based on the doubled-carrier frequency feature. On the other

hand, the symbol rate feature solely depends on the pulse

shaping ﬁlter. Provided that there is some excess bandwidth,

the symbol rate feature will exist, whatever the modulation.

Unfortunately, that feature is relatively small and depends

on the amount of excess bandwidth. We can therefore ask

ourselves if it would not be possible to ﬁnd greater features

using a fourth-order detector.

4. Higher-Order Cyclostationarity

The higher-order cyclostationarity (HOCS) theory is a

generalization of the second-order cyclostationarity theory,

which only deals with second-order moments, to nth-order

moments [9, 10]. It makes use of the fraction-of-time

(FOT) probability framework (based on time averages of the

signals) which is closely related to the theory of high-order

statistics (based on statistical expectations of the signals),

by ways of statistical moments and cumulants. This section

reviews the fundamentals of the HOCS theory and highlights

the metrics that can be used for spectrum sensing.

4.1. Lag-Product. We must always keep in mind that the goal

of the HOCS theory is to extract sine-waves components

4 EURASIP Journal on Wireless Communications and Networking

X

T

RF

( f )

−f

c

f

c

f

f

SCD

(a)

X

T

RF

( f )

−f

c

f

c

f

f

SCD

(b)

Figure 2: RF signal frequency spectrum (top) and SCD at twice the carrier frequency (bottom). The SCD is measured by the correlation

between two frequency bins centered on f −α/2 and f + α/2 where α is the carrier frequency. The doubled-carrier frequency feature exists

for RF PAM signals as the baseband frequency spectrum exhibits a correlation between negative and positive frequencies. In the absence of

any ﬁltering, this correlation produces a symmetric frequency spectrum (left part). The doubled-carrier frequency feature vanishes for RF

QAM signals as the baseband frequency spectrum is uncorrelated (right part).

from a signal, in which they are hidden by random phenom-

ena. To extract, or regenerate, these frequencies, a nonlinear

operation must be called upon. The second-order theory

uses the time-delay product L(t, τ) = x(t) · x

∗

(t − τ) which

will be transformed in the autocorrelation after averaging. A

natural and intuitive generalization of this operation to the

nth-order is called the lag-product and can be expressed as

[9]:

L(t, τ)

n

= x

(∗)

(t + τ

1

)x

(∗)

(t + τ

2

) · · · x

(∗)

(t + τ

n

) (9)

=

n

j=1

x

(∗)

j

_

t + τ

j

_

, (10)

where the vector τ is composed of the individual delays τ

j

( j = 1, . . . , n). The notation x

(∗)

(t) indicates an optional

conjugation of the signal x(t).

4.2. Temporal Moment Function and Cyclic Temporal Moment

Function. If the signal possesses a nth-order sine-wave

of frequency α, then the averaging of the lag-product,

multiplied by a complex exponential of frequency α, must

be diﬀerent from zero [9]:

R

α

x

(τ)

n

= lim

T →∞

1

T

_

T/2

−T/2

L(t, τ)

n

e

−j2παt

dt. (11)

Obviously, R

α

x

(τ)

n

is a generalization of the cyclic auto-

correlation function described in (5). It is called the nth-

order cyclic temporal moment function (CTMF). The sumof

the CTMF (multiplied by the corresponding complex expo-

nentials) over frequency α is called the temporal moment

function (TMF) and is a generalization of the autocorrelation

function described in (3):

R

x

(t, τ)

n

=

_

α

R

α

x

(τ)

n

e

j2παt

.

(12)

Each term of the sum in (12) is called an impure nth-

order sine-wave. This is so because the CTMF may contain

products of lower-order sine-waves whose various orders

sum to n. In order to extract the pure nth-order sine-wave

from the lag-product, it is necessary to subtract the lower-

order products. The pure nth-order sine-wave counter-part

of the CTMF, denoted by C

α

x

(τ)

n

, is called the cyclic temporal

cumulant function (CTCF). The pure nth-order sine wave

counter-part of the TMF, denoted by C

x

(t, τ)

n

, is called the

temporal cumulant function (TCF).

4.3. Temporal Cumulant Function and Cyclic Temporal Cumu-

lant Function. The CTMF and TMF have been computed by

using the FOT probability framework. In order to compute

the CTCF and TCF, it is interesting to make use of the

equivalence between the FOT probability framework and the

high-order statistics theory. More speciﬁcally, the paper [9]

demonstrates that the TMF of a signal can be seen as the

nth-order moment of the signal, and that the TCF of a signal

can be seen as the nth-order cumulant of the signal (hence

their names). By using the conventional relations between

the moments and the cumulants found in the high-order

statistics theory, the TCF takes therefore the form:

C

x

(t, τ)

n

=

_

{P}

⎡

⎣

(−1)

p−1

_

p −1

_

!

p

j=1

R

x

_

t, τ

j

_

nj

⎤

⎦

, (13)

where {P} denotes the set of partitions of the index set

1, 2, . . . n (10), p is the number of elements in the partition

P, and R

x

(t, τ

j

)

nj

is the TMF of the jth-element of order n

j

of the partition P.

EURASIP Journal on Wireless Communications and Networking 5

The CTCFs are the Fourier coeﬃcients of the TCF and

can be expressed in terms of the CTMFs:

C

α

x

(τ)

n

=

_

{P}

⎡

⎢

⎢

⎣

(−1)

p−1

_

p −1

_

!

_

_

β

_

p

j=1

R

βj

x

_

τ

j

_

nj

⎤

⎥

⎥

⎦

, (14)

where {β} denotes the set of vectors of cycle frequencies for

the partition P that sum to α (

p

j=1

β

j

= α), and R

βj

x (τ

j

)

nj

is

the CTMF of the jth-element of order n

j

of the partition P

at the cycle frequency β

j

.

The CTCF is periodic in τ: C

α

x

(τ +1

n

φ)

n

= C

α

x

(τ)

n

e

j2πφα

(1

n

is the dimension-n vector composed of ones, meaning

that φ is added to all elements of τ). Therefore, it is not

absolutely integrable in τ. To circumvent this problem, one

dimension is ﬁxed (e.g., τ

n

= 0), and the CTCF becomes:

C

α

x

(u)

n

= C

α

x

([u 0])

n

. This function is called reduced

dimension-CTCF (RD-CTCF). It is the key metric of the

ensuing algorithms for HOCS detectors. It should be noted

that the equivalent exists for the CTMF and is called the RD-

CTMF (R

α

x

(u)

n

= R

α

x

([u 0])

n

). However the RD-CTMF is

generally not absolutely integrable.

4.4. Cyclic Polyspectrum. The need for integrability comes

from the desire to compute the Fourier transform of the

RD-CTCF, which gives the cyclic polyspectrum (CP). The

CP is a generalization of the SCD plane for cyclostationnary

signals. However it is not necessary to compute the CP of a

signal for sensing applications since detection statistics can

be directly derived from a single slice of the RD-CTCF. For

this reason, and the computational complexity gain, we will

put the spectral parameters aside and devote our attention to

the RD-CTCF.

5. Fourth-Order Features of Linearly

Modulated Signals

We have previously talked about the second-order cyclic

features for communication signals, and we saw that the

carrier frequency features tend to vanish from the SCD plane

if the modulation is complex. We also asked ourselves if

a fourth-order transformation of the signal may suppress

the destructive interferences of quadrature components of a

signal. We now have to gauge the potential of these fourth-

order features. In this section, we compute the RD-CTCF of

the baseband and RF linearly modulated signals and identify

the interesting features that can be used for signal detection.

5.1. Baseband Signals. The TCF of the baseband signal

(1) has been computed in paper [10]. The mathematical

derivation results in:

C

s

(t, τ)

n

= C

I,n

∞

_

m=−∞

n

j=1

p

_

t + mT

s

+ τ

j

_

(15)

in which C

I,n

is the nth-order cumulant of the symbol

sequence I

m

:

C

I,n

=

_

{Pn}

⎡

⎣

(−1)

pn−1

_

p

n

−1

_

!

pn

j=1

R

I,nj

⎤

⎦

, (16)

where {P

n

} is the set of partitions of the set {1, . . . , n}, p

n

is the number of elements in the partition P

n

, and n

j

is the

order of the jth-element in the partition P

n

( j = 1 · · · p

n

).

R

I,n

is the nth-order moment of the symbol sequence I

m

:

R

I,n

= lim

K →∞

1

K

K/2−1

_

k=−K/2

⎡

⎣

n

q=1

I

(∗)

q

k

⎤

⎦

. (17)

The expression of the moment R

I,n

can be understood

this way: given a particular type of modulation, do the

symbol variables I

k

elevated to the power n (with optional

conjugation speciﬁed by the operator (∗)

q

) gives a constant

result? The answer to this question is helpful in assessing if a

given signal may exhibit nth-order features and what kind

of conjugation must be used in the lag-product (10). The

appendix illustrates this result for the binary PAM and the

quaternary QAM constellations (see also [10, 15]).

Computing the Fourier transform of the TCF and

canceling τ

n

reveals the RD-CTCF in the form of:

C

α

s

(u)

n

=

C

I,n

T

s

_

∞

t=−∞

p

(∗)

(t)

n−1

j=1

p

(∗)

_

t + u

j

_

e

−j2παt

dt,

(18)

where the cycle frequencies are integer multiples of the

symbol rate (α = kF

s

with k integer). The RD-CTCF of

the baseband signal is nonzero only for harmonics of the

symbol rate. The amplitude of the features tend to zero as

the harmonic number k increases.

5.2. RF Signals. The RD-CTCF of the RF signal speciﬁed by

(2) can be inferred fromthe RD-CTCF of the baseband signal

s(t) by noting that the RF signal is obtained by modulating

two independent PAM signals in quadrature. We need to

calculate the CTCFs of PAM, sine and cosine signals, and to

combine them using the following rules:

(i) The cumulant of the sum is equal to the sum of the

cumulants if the signals are independent. Therefore,

if y(t) = x(t) + w(t) where x(t) and w(t) are two

independent random signals, we have:

C

y

(t, τ)

n

= C

x

(t, τ)

n

+ C

w

(t, τ)

n

(19)

and, after Fourier transform, we obtain:

C

α

y

(τ)

n

= C

α

x

(τ)

n

+ C

α

w

(τ)

n

. (20)

(ii) The moment of the product is equal to the product

of the moments if the signals are independent.

Therefore, if y(t) = x(t) w(t) where x(t) and w(t)

6 EURASIP Journal on Wireless Communications and Networking

are two independent random signals, we have:

R

y

(t, τ)

n

= R

x

(t, τ)

n

R

w

(t, τ)

n

(21)

and, after Fourier transform, we obtain:

R

α

y

(τ)

n

=

_

γ

R

α−γ

x (τ)

n

R

γ

w(τ)

n

.

(22)

Equation (22) means that we have to multiply all

CTMFs of x(t) and w(t) which sum to α. If one of the

signals is nonrandom (w(t) in our case), the CTMF

of the random signal can be replaced by its CTCF:

C

α

y

(τ)

n

=

_

γ

C

α−γ

x (τ)

n

R

γ

w(τ)

n

.

(23)

The CTCFs of the baseband PAM signals can be com-

puted using (18). The only diﬀerence with a QAM signal

resides in the cumulant of the symbol sequence C

I,n

, which

must be computed for PAM symbols through (16) and (17)

(see the binary PAM case in the appendix).

The CTMF of the sine and cosine signals can easily be

determined from the expression of their lag-products:

R

α

cos

(t, τ)

n

= lim

T →∞

1

T

_

T/2

−T/2

n

j=1

cos

_

ω

c

t + φ

j

_

e

−i2παt

dt

R

α

sin

(t, τ)

n

= lim

T →∞

1

T

_

T/2

−T/2

n

j=1

sin

_

ω

c

t + φ

j

_

e

−i2παt

dt,

(24)

where φ

j

= ω

c

τ

j

. The lag-product can be decomposed into

a sum of cosine signals at various frequencies using Simpson

formulas:

L

cos

(t, τ)

2

=

1

2

cos

_

2ω

c

t + φ

1

+ φ

2

_

+

1

2

cos

_

φ

1

−φ

2

_

L

sin

(t, τ)

2

= −

1

2

cos

_

2ω

c

t + φ

1

+ φ

2

_

+

1

2

cos

_

φ

1

−φ

2

_

(25)

for the second order, and:

L

cos

(t, τ)

4

=

1

8

cos

_

4ω

c

t −φ

1

−φ

2

−φ

3

−φ

4

_

+

1

8

_

cos

_

2ω

c

t + φ

1

+ φ

2

+ φ

3

−φ

4

_

+ cos

_

2ω

c

t + φ

1

+ φ

2

−φ

3

+ φ

4

_

+ cos

_

2ω

c

t + φ

1

−φ

2

+ φ

3

+ φ

4

_

+cos

_

2ω

c

t −φ

1

+ φ

2

+ φ

3

+ φ

4

__

+

1

8

_

cos

_

φ

1

−φ

2

+ φ

3

−φ

4

_

+ cos

_

φ

1

−φ

2

−φ

3

+ φ

4

_

+ cos

_

φ

1

+ φ

2

−φ

3

−φ

4

__

L

sin

(t, τ)

4

=

1

8

cos

_

4ω

c

t −φ

1

−φ

2

−φ

3

−φ

4

_

−

1

8

_

cos

_

2ω

c

t + φ

1

+ φ

2

+ φ

3

−φ

4

_

+ cos

_

2ω

c

t + φ

1

+ φ

2

−φ

3

+ φ

4

_

+ cos

_

2ω

c

t + φ

1

−φ

2

+ φ

3

+ φ

4

_

+cos

_

2ω

c

t −φ

1

+ φ

2

+ φ

3

+ φ

4

__

+

1

8

_

cos

_

φ

1

−φ

2

+ φ

3

−φ

4

_

+ cos

_

φ

1

−φ

2

−φ

3

+ φ

4

_

+ cos

_

φ

1

+ φ

2

−φ

3

−φ

4

__

(26)

for the fourth order. It is clear that the CTMF of sine or cosine

signals is made of Dirac’s deltas at cycle frequencies 4 f

c

, 2 f

c

,

and 0.

Since the real and imaginary parts of s(t) are two

statistically independent PAM signals, the CTCF of s

RF

(t)

is the sum of two CTCFs of modulated PAM signals in

quadrature. The CTCFs of R[s(t)] and I[s(t)] are equal and

denoted by C

α

PAM

(τ)

n

in our next results. We can ﬁnally write:

C

α

s

RF (u)

n

=

_

γ

C

α−γ

PAM

(u)

n

_

R

γ

cos

(u)

n

+ R

γ

sin

(u)

n

_

.

(27)

For n = 2, we observe the destructive interference between

the components of R

γ

cos

(u)

2

and R

γ

sin

(u)

2

at twice the carrier

frequency, as was introduced in Section 3.

For n = 4, we also observe that the components of

R

γ

cos

(u)

4

and R

γ

sin

(u)

4

at twice the carrier frequency cancel

out, just as they do for the second order. There only remain

the features at zero and four times the carrier frequency:

C

0

s

(u)

4

C

0

PAM

(u)

4

_

R

0

cos

(u)

4

+ R

0

sin

(u)

4

_

= 2C

0

PAM

(u)

4

R

0

cos

(u)

4

C

4 fc

s

(u)

4

C

0

PAM

(u)

4

_

R

4 fc

cos

(u)

4

+ R

4 fc

sin

(u)

4

_

= 2C

0

PAM

(u)

4

R

4 fc

cos

(u)

4

.

(28)

Since R

0

cos

(u)

4

is a sum of cosines that depend on u and

R

4 fc

cos

(u)

4

= (1/16)e

jωc

(−)

i

φi

(the notation (−)

i

indicates an

optional sign change according to the expressions (25)-(26)),

the features C

4 fc

s

(u)

4

are six times smaller than the features

C

0

s

(u)

4

(at least when u is null) and are therefore less suited

for sensing scenarios.

5.3. Baseband and RF Fourth-Order Features. We have to

choose between baseband or RF signals and decide on

the cycle frequency that will be used by the detector. We

have seen that baseband QAM signals have features at the

cycle frequencies that are multiples of the symbol rate

(0, F

s

, 2F

s

. . .), whereas RF signals have additional features

EURASIP Journal on Wireless Communications and Networking 7

−30

−20

−10

l

2

0

10

20

30

−30 −20 −10 0

l

1

10 20 30

0.1

0.2

0.3

0.4

0.5

0.6

Figure 3: Fourth-order RD-CTCF of a 4-QAM baseband signal as

a function of the lag parameters l

1

and l

2

for the cycle frequency 0.

The values of l

0

and l

3

have been ﬁxed to 0 and 3 respectively. The

system parameters are: 1 MHz symbol frequency, 10 MHz sample

frequency, normalized square-root Nyquist pulse shaping ﬁlter of

0.2 roll-oﬀ factor.

at cycle frequencies that depend on the carrier frequency

(4 f c + 0, 4 f c + F

s

, 4 f c + 2F

s

. . .). It has been shown that

these additional features are small and that the strongest

feature for both baseband and RF signals is obtained when

the cycle frequency α is equal to zero. Since noise signals

do not have any fourth-order feature (the fourth-order

cumulant of a Gaussian random variable is equal to zero),

even when α = 0. Note that α = 0 is a degenerated

cycle frequency, which is present even in stationary signals.

However, since it gives the strongest 4th-order feature, it is

the frequency that will be preferred for our sensing scenario,

even if the denomination “cyclic-feature detector” becomes

inappropriate in this case.

Simulations made with baseband or RF signals for

α = 0 have shown that the two detectors exhibit similar

performances. From now on, we will focus on the fourth-

order feature detection for baseband signals and let aside the

fourth-order feature detection for RF signals, as it enables

a signiﬁcant reduction of the received signal sampling

frequency. The feature obtained in this situation is illustrated

in Figure 3.

6. Fourth-Order Feature Detectors

6.1. RD-CTCF Estimator. In order to estimate the RD-CTCF

of the baseband QAM signal, we would have to use (14).

Luckily, the signal is complex and the second order features

disappear if we do not use any conjugation in the lag

product (see the quaternary QAM example in the appendix).

Therefore the RD-CTCF is equal to the RD-CTMF:

C

0

s

(u)

4

= R

0

s

(u)

4

= lim

T →∞

1

T

_

T/2

−T/2

L

s

(t, u)

4

dt (29)

In practice, the RD-CTCF is estimated based on a size-

N ﬁnite observation window of the received sequence s[n]

obtained after sampling the received signal.

C

s

[l]

4

=

1

N

N/2−1

_

n=−N/2

L

s

[n, l]

4

(30)

with N > 2 max |l

j

| and l

j

are the elements of the discrete

lag-vector l of size n −1.

6.2. Noise Mean and Variance. When there is only noise in

the system, the mean of the RD-CTCF is equal to 0 since

the fourth-order cumulant of a Gaussian random variable is

null. On the other hand, the variance of the RD-CTCF is a

function of the lag-vector given by:

σ

2

RD-CTCF

=

⎧

⎪

⎪

⎪

⎪

⎪

⎪

⎪

⎪

⎪

⎪

⎪

⎨

⎪

⎪

⎪

⎪

⎪

⎪

⎪

⎪

⎪

⎪

⎪

⎩

1

N

σ

8

n

if all lag values are diﬀerent

2

N

σ

8

n

if two lag values are equal

6

N

σ

8

n

if three lag values are equal

24

N

σ

8

n

if all lag values are equal

(31)

in which σ

2

n

is the variance of AWGN noise samples at the

input of the RD-CTCF estimator. Simulations illustrated in

Figure 4 conﬁrm the result (31). Every discrete lag-vector l

for which two or more values l

i

, l

j

are identical should be

avoided, since it increases the noise variance. However, to

aﬀord the luxury of choosing lag values that are diﬀerent

from zero, we would have to increase the sampling rate at

the receiver, which in turn would increase the noise power.

Simulations have shown that it is better to use the lowest

sampling rate that still satisﬁes Shannon’s theorem, and set

all lag values equal to zero. The RD-CTCF variance also quite

naturally decreases as the observation windowN is increased.

6.3. Detector. The detector has to decide between two

hypotheses: hypothesis H

0

implying that no signal is present,

hypothesis H

1

implying that the linearly modulated signal

is present. The absolute value of the feature (here the RD-

CTCF) is compared to a threshold γ to make a decision:

¸

¸

¸

¸

C

0

s

(l)

4

¸

¸

¸

¸

H

1

≷

H

0

γ. (32)

The threshold is usually ﬁxed to meet a target probability

of false alarm (decide H

1

if H

0

). In order to compute the

threshold level as a function of the probability of false alarm,

we must know the distribution of the RD-CTCF. We already

know its mean and variance values and using the central-

limit theorem, we assume that the output distribution is

Gaussian (see also [16]). As a consequence, the absolute value

of the RD-CTCF takes the form of a Rayleigh distribution

and the threshold level can be found using:

γ =

_

−σ

2

RD-CTCF

lnP

f a

, (33)

where P

f a

is the probability of false alarm.

8 EURASIP Journal on Wireless Communications and Networking

−10

−5

l

2

0

5

10

−10 −5 0

l

1

5 10

1.5

2

2.5

3

3.5

4

4.5

5

5.5

Figure 4: Noise variance at the output of the RD-CTCF estimator

as a function of the lag parameters l

1

and l

2

for the cycle frequency 0.

The values of l

0

and l

3

have been ﬁxed to 0 and 3, respectively. The

system parameters are: 1 MHz symbol frequency, 10 MHz sample

frequency, σ

2

n

= 10. The number of noise realizations is 1000.

7. Detector Comparison

We will now brieﬂy review the principles of all detectors

previously mentioned in this paper, and compare their

performance and computational complexity. We assume that

second-order and fourth-order detectors work only at a

single location of the feature they exploit (the second-order

detector works at most favorable frequency, the fourth-order

detector works at the most favorable value of the discrete lag-

vector l). Monte-Carlo simulations were used, each of which

used 5000 iterations.

7.1. Energy Detector. This is the most widely used detector

in wireless communication systems. It averages the square

modulus of the received sequence over time:

ρ

ED

=

1

N

N/2−1

_

n=−N/2

|s[n]|

2

. (34)

Its advantages are its simplicity and its ability to perform

blind detection (since it does not require any information

about the signal it is trying to detect). Unfortunately, it

has been demonstrated that it cannot be used in low-SNR

environments due to its sensitivity to noise uncertainty [6].

7.2. Second-Order Detector. This detector computes an esti-

mation of the SCD by averaging, over time and frequency

domains, the cyclic periodogram of the signal spectrum

S

k

( f ) computed for a ﬁnite time window at time k:

ρ

CF2

=

1

K

1

F

K/2−1

_

k=−K/2

F/2−1

_

u=−F/2

S

k

_

f + u −

α

2

_

S

∗

k

_

f + u +

α

2

_

,

(35)

where K is the number of time windows and F is the number

of frequency bins. It is a much more complex and less

eﬃcient detector, which requires some characteristics of the

signal in order to work (e.g., the symbol rate must be known

in advance). Its advantage resides in the absence of features

(at least asymptotically) when the input signal is a white

noise, which results in the output mean of the detector always

being equal to zero in presence of noise, therefore shielding

the detector fromnoise uncertainty eﬀects. Its computational

complexity evolves as N · log

2

(1024) = N.10 if the FFTs

used to evaluate the cyclic periodogram [6] have a length of

1024 samples, and the total number of samples is equal to

N.

7.3. Fourth-Order Detector. This detector averages the lag-

product of the received sequence over time:

ρ

CF4

=

1

N

N/2−1

_

n=−N/2

s[n]s[n + l

1

]s[n + l

2

]s[n + l

3

]. (36)

This detector is simpler to implement than the previous

one (no Fourier transform of the signal is required since we

work in the time domain), which results in a computational

complexity evolving as N, the total number of samples. It

beneﬁts from the same immunity to noise uncertainty, and

is therefore suited for operations at low SNR.

7.4. Performance Comparison. We may now take a look at

the performance of the diﬀerent detectors. Figure 5 illustrates

the probability of missed detection (decide H

0

if H

1

) curves

as a function of the SNR for the three detectors under

consideration. The threshold has been set in the three cases

to achieve a target probability of false alarm equal to 10

−1

.

These curves have been obtained without adding any noise

uncertainty to the signal. In such conditions, the energy

detector is the optimal detector for blind detection, and can

be considered as a reference. It appears that the second-

order detector and the fourth-order detector, have similar

performances when the SNR is around zero dB: for the same

complexity, (that leads to an observation time ten times

longer for the fourth-order detector), both detectors exhibit

the same probability of missed detection (roughly 1 percent)

at an SNR of −0.8 dB. However, when we consider an SNR

of −4 dB, the fourth-order detector requires much more

samples, which makes it more complex than the second-

order. Besides, the detection-time constraints that are part of

the cognitive radios reglementation would not be met if the

observation time is too long.

If we add some amount of noise uncertainty, the

energy detector cannot perform reliable detections and must

be discarded, whereas the cyclic feature detectors remain

unaﬀected. In order to verify this assumption, we computed

the receiver operating characteristics (ROC) curves of the

fourth-order detector for two situations, one without any

noise uncertainty, and one with 0 dB of noise uncertainty.

The results are illustrated in Figure 6. We observe that the

energy detector, which had the best ROC curve in the ﬁrst

case is a lot more aﬀected by the noise uncertainty than

the fourth-order detector. ROC curves for the second-order

detector can be found in [7], and show the same immunity

to noise uncertainty than the fourth-order.

EURASIP Journal on Wireless Communications and Networking 9

10

−4

10

−3

P

f

a

a

n

d

P

m

d

10

−2

10

−1

10

0

−20 −16 −14 −18

4th order detector Energy detector

Pfa 2nd order detector

−12 −10

SNR

−8 −6 −4 −2 0

T = 10000 μs T = 500 μs

T = 50 μs

Figure 5: Energy, second-order and fourth-order detector proba-

bility of missed detection (the solid lines) for a ﬁxed probability

of false alarm (the points at 10

−1

). The system parameters are:

baseband QPSK signal with 20 MHz symbol frequency, 40 MHz

sample frequency, square-root Nyquist pulse shaping ﬁlter of 0.2

roll-oﬀ factor. No noise uncertainty added. The second-order

detector is set to detect the symbol-rate feature (cf = 20 MHz), and

the fourth-order detector works with the feature at four-times the

carrier frequency, which is equal to zero in the present situation

(cf = 0 MHz).Two observation times are considered for the three

detectors: 50 and 500 μs. An observation time of 10 ms has been

added for the fourth-order detector

8. Conclusion

This paper has started from the need for robust detectors

able to work in low SNR environments. A brief review of

the second-order cyclostationarity and second-order cyclic

feature detectors has exposed the advantages and drawbacks

of such detectors, and explained the intuition that lead to

the study of higher-order cyclostationarity (HOCS). The

main guideline is to identify features of suﬃcient strength

and to design a detector able to extract it from the signal.

The most relevant aspects of HOCS theory have then been

analyzed and we have derived a new fourth-order detector

that can be used for the detection of linearly modulated

signals. Simulation results have shown that fourth-order

cyclic feature detectors may be used as a substitute for

second-order detectors at SNR around zero dB, which could

be needed if the received signals do not exhibit second-order

cyclostationarity.

Appendices

A. Cumulants of the Binary PAM

This section computes the second- and fourth-order cumu-

lants of a binary PAM sequence. The symbols take the values

I

m

= {±1}.

0

0.1

0.2

0.3

0.4

0.5

0.6

P

d

0.7

0.8

0.9

1

0 0.1

eng (-inf dB) eng (0 dB)

cf4 (0 dB) cf4 (-inf dB)

0.2

Pfa

0.3 0.4 0.5

Figure 6: Energy (eng) and fourth-order detector (cf4) ROC

curves for two values of the noise uncertainty (no uncertainty, 0 dB

uncertainty). The system parameters are: 1 MHz symbol frequency,

4 MHz sample frequency, square-root Nyquist pulse shaping ﬁlter

of 0.2 roll-oﬀ factor, SNR = −2 dB.

A.1. Second-Order Cumulant. There are 2 possible partitions

of the set {1, 2}: {1, 2} and {1}{2}. Since the binary PAM

constellation is symmetric, only the ﬁrst partition has a

chance to give a product of moments diﬀerent from 0. We

will limit our investigations to the ﬁrst partition.

The partition {1, 2} gives R

I,2

= 1 for its single element,

so that C

I,2

= 1.

A.2. Fourth-Order Cumulant. There are 14 possible parti-

tions of the set {1, 2, 3, 4}, but only the ones that group I

k

by two or four have a chance to give a product of moments

diﬀerent from 0, which reduces the number of interesting

partitions to four: {1, 2, 3, 4}; {1, 2}{3, 4}; {1, 3}{2, 4} and

{1, 4}{2, 3}.

The ﬁrst partition {1, 2, 3, 4} gives R

I,4

= 1 for its single

element, and the three last partitions {1, 2}{3, 4}; {1, 3}{2, 4}

and {1, 4}{2, 3} give R

I,2

= 1 for their two elements, so that

C

I,4

= −2.

B. Cumulants of the Quaternary QAM

This section computes the second- and fourth-order cumu-

lants of a 4-QAM sequence. The symbols take the values

I

m

= {±1/

√

2 ± j/

√

2}.

B.1. Second-Order Cumulants. There are 2 possible parti-

tions of the set {1, 2}: {1, 2} and {1}{2}. Since the 4-QAM

constellation is symmetric, only the ﬁrst partition has a

chance to give a product of moments diﬀerent from 0. We

limit therefore our investigations to the ﬁrst partition.

Diﬀerent results are obtained according to the number of

conjugations in the lag-product (10):

10 EURASIP Journal on Wireless Communications and Networking

(i) When no conjugation or two conjugations are used

in the lag-product, the partition {1, 2} gives R

I,2

= 0

for its single element, so that C

I,2

= 0.

(ii) When one conjugation is used in the lag-product, the

partition {1, 2} gives R

I,2

= 1 for its single element,

so that C

I,2

= 1.

B.2. Fourth-Order Cumulant. There are 14 possible parti-

tions of the set {1, 2, 3, 4}, but only the ones that group I

k

by two or four have a chance to give a product of moments

diﬀerent from 0, which reduces the number of interesting

partitions to four: {1, 2, 3, 4}; {1, 2}{3, 4}; {1, 3}{2, 4} and

{1, 4}{2, 3}.

Diﬀerent results are obtained according to the number of

conjugations in the lag-product (10):

(i) When no conjugation or four conjugations are used

in the lag-product, the ﬁrst partition {1, 2, 3, 4} gives

R

I,4

= −1 for its single element, and the three last

partitions {1, 2}{3, 4}; {1, 3}{2, 4} and {1, 4}{2, 3}

give R

I,2

= 0 for their two elements, so that C

I,4

= −1.

(ii) When two conjugations are used in the lag-product,

arbitrary placed for this example on the second

and fourth element of the lag-product, the partition

{1, 2, 3, 4} gives R

I,4

= 1 for its single element, the two

partitions {1, 2}{3, 4} and {1, 4}{2, 3} give R

I,2

= 1

for their two elements, and the partition {1, 3}{2, 4}

gives R

I,2

= 0 for its two elements, so that C

I,4

= −1.

(iii) When one or three conjugations are used in the

lag-product, the partition {1, 2, 3, 4} gives R

I,4

= 0

for its single element, and the three last partitions

{1, 2}{3, 4}; {1, 3}{2, 4} and {1, 4}{2, 3} give R

I,2

= 0

for at least one of their two elements, so that C

I,4

= 0.

References

[1] F. C. Commission, “FCC-03-322: Facilitating Opportunities

for Flexible, Eﬃcient, and Reliable Spectrum Use Employing

Cognitive Radio Technologies,” December 2003.

[2] I. F. Akyildiz, W.-Y. Lee, M. C. Vuran, and S. Mohanty, “NeXt

generation/dynamic spectrum access/cognitive radio wireless

networks: a survey,” Computer Networks, vol. 50, no. 13, pp.

2127–2159, 2006.

[3] A. Sahai and D. Cabric, “Spectrum sensing: fundamental

limits and practical challenges,” in Proceedings of IEEE Inter-

national Symposium on New Frontiers in Dynamic Spectrum

Access Networks (DySPAN ’05), Baltimore, Md, USA, Novem-

ber 2005.

[4] H. Urkowitz, “Energy detection of unknown deterministic

signals,” Proceedings of the IEEE, vol. 55, no. 4, pp. 523–531,

1967.

[5] R. Tandra, Fundamental limits on detection in low SNR, M.S.

thesis, Berkeley, Calif, USA, 2005.

[6] W. A. Gardner, “Signal interception: a unifying theoretical

framework for feature detection,” IEEE Transactions on Com-

munications, vol. 36, no. 8, pp. 897–906, 1988.

[7] W. A. Gardner and C. M. Spooner, “Signal interception:

performance advantages of cyclic-feature detectors,” IEEE

Transactions on Communications, vol. 40, no. 1, pp. 149–159,

1992.

[8] W. A. Gardner, Statistical Spectral Analysis: A Nonprobabilistic

Theory, Prentice-Hall, Englewood Cliﬀs, NJ, USA, 1987.

[9] W. A. Gardner and C. M. Spooner, “Cumulant theory of cyclo-

stationary time-series, part I: foundation,” IEEE Transactions

on Signal Processing, vol. 42, no. 12, pp. 3387–3408, 1994.

[10] C. M. Spooner and W. A. Gardner, “Cumulant theory of cyclo-

stationary time series, part II: development and applications,”

IEEE Transactions on Signal Processing, vol. 42, no. 12, pp.

3409–3429, 1994.

[11] K. Kim, I. A. Akbar, K. K. Bae, J.-S. Um, C. M. Spooner, and

J. H. Reed, “Cyclostationary approaches to signal detection

and classiﬁcation in cognitive radio,” in Proceedings of the 2nd

IEEE International Symposium on New Frontiers in Dynamic

Spectrum Access Networks (DySPAN ’07), pp. 212–215, Dublin,

Ireland, April 2007.

[12] P. D. Sutton, K. E. Nolan, and L. E. Doyle, “Cyclostationary

signatures in practical cognitive radio applications,” IEEE

Journal on Selected Areas in Communications, vol. 26, no. 1, pp.

13–24, 2008.

[13] A. Tkachenko, D. Cabric, and R. W. Brodersen, “Cyclostation-

ary feature detector experiments using reconﬁgurable BEE2,”

in Proceedings of the 2nd IEEE International Symposiumon New

Frontiers in Dynamic Spectrum Access Networks (DySPAN ’07),

pp. 216–219, Dublin, Ireland, April 2007.

[14] V. Turunen, M. Kosunen, A. Huttunen et al., “Implementation

of cyclostationary feature detector for cognitive radios,” in

Proceedings of the 4th International Conference on Cogni-

tive Radio Oriented Wireless Networks and Communications

(CROWNCOM ’09), Hannover, Germany, June 2009.

[15] O. A. Dobre, Y. Bar-Ness, and W. Su, “Higher-order cyclic

cumulants for high order modulation classiﬁcation,” in Pro-

ceedings of IEEE Military Communications Conference (MIL-

COM ’03), pp. 112–117, October 2003.

[16] A. V. Dandawate and G. B. Giannakis, “Statistical tests for

presence of cyclostationarity,” IEEE Transactions on Signal

Processing, vol. 42, no. 9, pp. 2355–2369, 1994.

Since Rx (t. x (4) where the sum is over integer multiples of the fundamental frequencies. However the second-order detectors suﬀer from a higher computational complexity that has just become manageable. Our results can nevertheless be extended to the case of multipath channels. m=−∞ (1) Rx (t. 7] Rx (t. τ) e− j2παt dt. as it is equal to the PSD when the cycle frequency is equal to zero. The HOCS cyclic-feature detectors are based on the same principles. τ) = α 2. However. The SCD can be seen as a generalization of the PSD. System Model This paper focuses on the detection of linearly modulated signals. 3. since no hidden frequencies are present. Afterwards. While the ﬁrst approach introduces the temporal features of cyclostationary signals. Simulations have shown that both second-order and fourth-order detectors are aﬀected in the same way by a multipath channel (equivalent degradation of performances). or when the input signal exhibits cyclostationarity at cycle frequencies diﬀerent than the one of interest. the second approach is more intuitive and is based on a graphical representation of spectral redundancy. This section reviews the main results of the second-order cyclostationarity theory. (3) where E[·] denotes the statistical expectation operator. Therefore it does not seem critical to introduce multipath channels in order to compare the two. Like SOCS detectors. Additive white Gaussian noise (AWGN) of onesided PSD equal to N0 corrupts the signal at the receiver. (5) . HOCS detectors have originally been introduced in the literature to blindly estimate the signal frequency parameters. We will conclude by a comparison of the new detector performance with second-order detector and energy detector performances in Section 7. The coeﬃcient Rα (τ) is called the cyclic autox correlation function. The detection of the signal at the receiver can be either done directly in the RF domain or in the baseband domain after RF-to-baseband conversion. the symbols Im are real and only the cosine is modulated. It has been shown that the second-order cyclostationarity detectors perform better than the energy detectors in low SNR environments [7]. the RF transmitted signal is given by: sRF (t) = R[s(t)] cos(ωc t) − I[s(t)] sin(ωc t). τ) is periodic. τ) := E[x(t)x∗ (t − τ)]. (2) where ωc = 2π fc and fc is the carrier frequency. and can be represented in a bifrequency plane. Temporal Redundancy. and this has recently triggered a lot of research on the use of cyclostationarity detectors for spectrum sensing in the context of cognitive radios [11.2 EURASIP Journal on Wireless Communications and Networking where Im is the sequence of information symbols transmitted at the rate Fs = 1/Ts and p(t) is the pulse shaping ﬁlter (typically a square-root Nyquist ﬁlter). 12]. We will nevertheless demonstrate that it is possible to derive fourth-order detectors that bear comparable performances to second-order ones to detect linearly modulated baseband signals at SNR around 0 dB. Second-Order Cyclostationarity Two approaches are used to introduce the notion of cyclostationarity [8]. and since the variance of the features estimators increases when the order rises. we will move on to HOCS theory. this would make the new pulse random. it can be decomposed in a Fourier series Rx (t. A QAM signal can be seen as two uncorrelated PAM signals modulated in quadrature. and it allows us to work with a constant pulse shape. we assume that the signal propagates through an ideal channel. which will be generalized to higher-order cyclostationarity in the next sections. but the equivalent of the SCD is a n-dimensional space (n > 2). The paper will include a mathematical analysis of the detection algorithm. The baseband transmitted signal is usually expressed as ∞ Rα (τ)e j2παt . called the spectral correlation density (SCD). After baseband-toradio frequency (RF) conversion. In the QAM case. 3. The advantage of these detectors comes from the absence of features (at least asymptotically) when the input signal is stationary (such as white noise). A wide-sense cyclostationary signal x(t) exhibits a periodic autocorrelation function [6. we will brieﬂy review the basic notions of cyclostationarity theory in Section 3 in order to understand how second-order detectors work and identify their limitations. the symbols Im are complex and both the cosine and sine are modulated. if we consider a new pulse shape that is equal to the convolution of square-root Nyquist ﬁlter with the channel impulse response. Both approaches lead to the same conclusion. most research results concern secondorder detectors.1. After introducing the system model in Section 2. which will be used to characterize the linearly modulated signals in Section 5 and to derive an algorithm that may be used for signal detection of linearly modulated signals in Section 6. and present its most relevant aspects in Section 4. Some amount of noise uncertainty can be added to N0 . In the PAM case. the SOCS cyclic feature detectors act like energy detectors. First ﬁeld-programmable gate array (FPGA) implementations are presented in [13. like pulse amplitude modulation (PAM) or quadrature amplitude modulation (QAM) signals. Performance will be assessed through simulations and compared with the second-order detector. and represents the Fourier coeﬃcient of the series given by Rα (τ) = x 1 T0 T0 /2 t =−T0 /2 s(t) = Im p(t − mTs ). Higher-order detectors are generally even more complex. 14]. the eﬀects of each of its parameters and its computational complexity. Therefore. but at cycle frequencies diﬀerent from zero. For the sake of clarity.

As its name suggests it. 1 T → ∞ Δt → ∞ TΔt Δt/2 t =−Δt/2 XT t. f +α ∗ f −α XT t. 10]. f = t+T/2 u=t −T/2 x(u) e− j2π f u du . Provided that there is some excess bandwidth. It is based on the symmetry of the RF spectrum. We must always keep in mind that the goal of the HOCS theory is to extract sine-waves components . 2 2 (7) where XT (t. If a real PAM scheme is used. 3. with a period equal to the inverse of the sample rate (which is equal to the symbol rate before RF conversion). We notice that the only x cyclic frequencies α for which the SCD will not be null are the ones corresponding to the Fourier coeﬃcients.EURASIP Journal on Wireless Communications and Networking When the signal is cyclo-ergodic. This section reviews the fundamentals of the HOCS theory and highlights the metrics that can be used for spectrum sensing. Since it depends on the symmetry of the spectrum of the baseband signal. as shown in Figure 1. dt. (ii) The doubled-carrier frequency feature is directly exploited in the RF domain. The SCD measures the degree of spectral redundancy between the frequencies f − α/2 and f + α/2 (α being called the cyclic frequency). it originates from the symbol rate at the transmitter. Spectral Redundancy. the carrier feature vanishes. its frequency spectrum is periodic. Let X( f ) be the Fourier transform of x(t). f ) denotes the short-time Fourier transform of the signal XT t. it only exists if the modulation used has no quadrature components.3. some frequencies will be correlated. 4. Since complex modulations are quite common. If there is some excess bandwidth in the system. The symbol rate feature exists for baseband PAM/QAM signals if there is some excess bandwidth in the system. Since this is a discrete signal. the expectation in the deﬁnition of the autocorrelation can be replaced by a time average so that Rα (τ) = lim x 1 T →∞T T/2 t =−T/2 3 XT ( f ) x(t) x∗ (t − τ) e− j2παt dt . The SCD Sα ( f ) is deﬁned as the x Fourier transform of Rα (τ) over τ. The SCD is measured by the correlation between two frequency bins centered on f − α/2 and f + α/2 where α is the symbol rate. Unfortunately. Lag-Product. as illustrated in the right part of Figure 2. Since the SCD depends on f and α. to nth-order moments [9. (6) f SCD The cyclic autocorrelation is therefore intuitively obtained by extracting the frequency α sine-wave from the time-delay product x(t) x∗ (t − τ). (8) stronger than the symbol rate feature (it is as strong as the PSD). the SCD reduces to the PSD. (i) The symbol rate feature is usually exploited after RFto-baseband conversion at the receiver. or in other words. it would not be possible to implement a cyclic feature detector for CRs based on the doubled-carrier frequency feature. It can be mathematically expressed as the correlation between two frequency bins centered on f − α/2 and f + α/2 when their width tends toward zero [6. which only deals with second-order moments. the symbol rate feature solely depends on the pulse shaping ﬁlter. it can be graphed as a surface over the bifrequency plane ( f . the carrier feature exists. α). The two most common features exploited to detect the linearly modulated signals are linked with the symbol rate and the carrier frequency. that feature is relatively small and depends on the amount of excess bandwidth. The performance of the cyclic feature detectors will ﬁrst depend on the strength of the features they are trying to estimate. 7] Sα f x = lim lim f Figure 1: Baseband signal frequency spectrum (top) and SCD at the symbol rate (bottom). We can therefore ask ourselves if it would not be possible to ﬁnd greater features using a fourth-order detector. 3. and it is much 4. the symbol rate feature will exist.2. by ways of statistical moments and cumulants. if the pulse shaping ﬁlter p(t) does not totally cut oﬀ the frequency components larger than half the inverse of the symbol rate. as illustrated in the left part of Figure 2. It makes use of the fraction-of-time (FOT) probability framework (based on time averages of the signals) which is closely related to the theory of high-order statistics (based on statistical expectations of the signals). Baseband and RF Second-Order Features. whatever the modulation. If a complex QAM scheme is used.1. When α = 0. Higher-Order Cyclostationarity The higher-order cyclostationarity (HOCS) theory is a generalization of the second-order cyclostationarity theory. On the other hand. The frequency spectrum results from the repetitive discrete signal spectrum and the ﬁlter shaping.

is called the cyclic temporal cumulant function (CTCF). must be diﬀerent from zero [9]: Rα (τ)n = lim x 1 T →∞T T/2 −T/2 L(t. The doubled-carrier frequency feature vanishes for RF QAM signals as the baseband frequency spectrum is uncorrelated (right part). and Rx (t. Temporal Cumulant Function and Cyclic Temporal Cumulant Function. In order to extract the pure nth-order sine-wave from the lag-product.3. x (12) (9) (10) = j =1 x(∗) j t + τ j . To extract. 4. n (10). it is necessary to subtract the lowerorder products. τ)n . from a signal. The notation x(∗) (t) indicates an optional conjugation of the signal x(t). this correlation produces a symmetric frequency spectrum (left part). τ)n = {P } ⎣(−1) p−1 p − 1 ! p ⎤ Rx t.2. (13) where {P } denotes the set of partitions of the index set 1. (11) Obviously. . The sum of the CTMF (multiplied by the corresponding complex exponentials) over frequency α is called the temporal moment function (TMF) and is a generalization of the autocorrelation Cx (t. τ) = x(t) · x∗ (t − τ) which will be transformed in the autocorrelation after averaging. The pure nth-order sine wave counter-part of the TMF. A natural and intuitive generalization of this operation to the nth-order is called the lag-product and can be expressed as [9]: L(t. The doubled-carrier frequency feature exists for RF PAM signals as the baseband frequency spectrum exhibits a correlation between negative and positive frequencies. in which they are hidden by random phenomena. . The pure nth-order sine-wave counter-part α of the CTMF. multiplied by a complex exponential of frequency α. τ)n = α Rα (τ)n e j2παt . the TCF takes therefore the form: ⎡ where the vector τ is composed of the individual delays τ j ( j = 1. p is the number of elements in the partition P. it is interesting to make use of the equivalence between the FOT probability framework and the high-order statistics theory. More speciﬁcally. the paper [9] demonstrates that the TMF of a signal can be seen as the nth-order moment of the signal. . τ j j =1 nj ⎦. n). τ)n = x(∗) (t + τ1 )x(∗) (t + τ2 ) · · · x(∗) (t + τn ) n function described in (3): Rx (t. . . Each term of the sum in (12) is called an impure nthorder sine-wave. By using the conventional relations between the moments and the cumulants found in the high-order statistics theory. The second-order theory uses the time-delay product L(t. Rα (τ)n is a generalization of the cyclic autox correlation function described in (5).4 XT RF ( f ) − fc EURASIP Journal on Wireless Communications and Networking XT RF ( f ) fc − fc fc f SCD SCD f f (a) (b) f Figure 2: RF signal frequency spectrum (top) and SCD at twice the carrier frequency (bottom). or regenerate. denoted by Cx (τ)n . and that the TCF of a signal can be seen as the nth-order cumulant of the signal (hence their names). τ j )n j is the TMF of the jth-element of order n j of the partition P. 4. is called the temporal cumulant function (TCF). This is so because the CTMF may contain products of lower-order sine-waves whose various orders sum to n. Temporal Moment Function and Cyclic Temporal Moment Function. The CTMF and TMF have been computed by using the FOT probability framework. 2. If the signal possesses a nth-order sine-wave of frequency α. . It is called the nthorder cyclic temporal moment function (CTMF). In the absence of any ﬁltering. In order to compute the CTCF and TCF. . denoted by Cx (t. τ)n e− j2παt dt. . then the averaging of the lag-product. a nonlinear operation must be called upon. these frequencies. The SCD is measured by the correlation between two frequency bins centered on f − α/2 and f + α/2 where α is the carrier frequency.

This function is called reduced dimension-CTCF (RD-CTCF). The appendix illustrates this result for the binary PAM and the quaternary QAM constellations (see also [10.n = (14) ⎣(−1) {Pn } pn −1 pn ⎤ pn − 1 ! j =1 RI. meaning that φ is added to all elements of τ). The RD-CTCF of the baseband signal is nonzero only for harmonics of the symbol rate. τn = 0). Therefore. However the RD-CTMF is x generally not absolutely integrable.n 1 ⎣ I (∗)q ⎦. We need to calculate the CTCFs of PAM. The CP is a generalization of the SCD plane for cyclostationnary signals. 15]). and Rx (τ j )n j is the CTMF of the jth-element of order n j of the partition P at the cycle frequency β j . (18) where the cycle frequencies are integer multiples of the symbol rate (α = kFs with k integer). For this reason.n is the nth-order cumulant of the symbol sequence Im : ⎡ ⎤ p β j =1 ⎢ ⎢(−1) p−1 p − 1 ! ⎣ Rx τ j βj ⎥ ⎥. It should be noted that the equivalent exists for the CTMF and is called the RDα CTMF (Rx (u)n = Rα ([u 0])n ).EURASIP Journal on Wireless Communications and Networking The CTCFs are the Fourier coeﬃcients of the TCF and can be expressed in terms of the CTMFs: ⎡ α Cx (τ)n = {P } 5 in which CI. which gives the cyclic polyspectrum (CP). The amplitude of the features tend to zero as the harmonic number k increases.n p t + mTs + τ j m=−∞ j =1 (15) (ii) The moment of the product is equal to the product of the moments if the signals are independent.2. However it is not necessary to compute the CP of a signal for sensing applications since detection statistics can be directly derived from a single slice of the RD-CTCF. Baseband Signals. Computing the Fourier transform of the TCF and canceling τn reveals the RD-CTCF in the form of: C s (u)n = α CI. The RD-CTCF of the RF signal speciﬁed by (2) can be inferred from the RD-CTCF of the baseband signal s(t) by noting that the RF signal is obtained by modulating two independent PAM signals in quadrature. τ)n + Cw (t.. To circumvent this problem. sine and cosine signals.n is the nth-order moment of the symbol sequence Im : RI. and to combine them using the following rules: (i) The cumulant of the sum is equal to the sum of the cumulants if the signals are independent. α α The CTCF is periodic in τ: Cx (τ + 1n φ)n = Cx (τ)n e j2πφα (1n is the dimension-n vector composed of ones. if y(t) = x(t) + w(t) where x(t) and w(t) are two independent random signals. and the CTCF becomes: α α C x (u)n = Cx ([u 0])n . 5. pn is the number of elements in the partition Pn . it is not absolutely integrable in τ. Cyclic Polyspectrum. . if y(t) = x(t) w(t) where x(t) and w(t) .g. Therefore. we compute the RD-CTCF of the baseband and RF linearly modulated signals and identify the interesting features that can be used for signal detection. we have: C y (t. Fourth-Order Features of Linearly Modulated Signals We have previously talked about the second-order cyclic features for communication signals. In this section.1. Therefore. = lim k K →∞K k=−K/2 q=1 K/2−1 ⎡ n ⎤ (17) The expression of the moment RI. τ)n and. τ)n = CI. . The need for integrability comes from the desire to compute the Fourier transform of the RD-CTCF. do the symbol variables Ik elevated to the power n (with optional conjugation speciﬁed by the operator (∗)q ) gives a constant result? The answer to this question is helpful in assessing if a given signal may exhibit nth-order features and what kind of conjugation must be used in the lag-product (10). and n j is the order of the jth-element in the partition Pn ( j = 1 · · · pn ). we obtain: α α C α (τ)n = Cx (τ)n + Cw (τ)n . 4. . p βj where {Pn } is the set of partitions of the set {1. The TCF of the baseband signal (1) has been computed in paper [10]. n}. we will put the spectral parameters aside and devote our attention to the RD-CTCF. one dimension is ﬁxed (e.4. after Fourier transform. and the computational complexity gain.n Ts ∞ t =−∞ p(∗) (t) n−1 j =1 p(∗) t + u j e− j2παt dt. We also asked ourselves if a fourth-order transformation of the signal may suppress the destructive interferences of quadrature components of a signal.n j ⎦. We now have to gauge the potential of these fourthorder features.n can be understood this way: given a particular type of modulation. (16) where {β} denotes the set of vectors of cycle frequencies for the partition P that sum to α ( j =1 β j = α). The mathematical derivation results in: ∞ (19) (20) n Cs (t. RI. τ)n = Cx (t. RF Signals. 5. and we saw that the carrier frequency features tend to vanish from the SCD plane if the modulation is complex. It is the key metric of the ensuing algorithms for HOCS detectors. nj ⎦ CI. . y 5.

the CTMF of the random signal can be replaced by its CTCF: C α (τ)n = y γ Cx (τ)n Rw (τ)n . as was introduced in Section 3. we have: R y (t. Baseband and RF Fourth-Order Features. 2Fs . 4f the features C s c (u)4 are six times smaller than the features 0 C s (u)4 (at least when u is null) and are therefore less suited for sensing scenarios. which must be computed for PAM symbols through (16) and (17) (see the binary PAM case in the appendix). and 0. Fs . τ)n = lim cos 1 T →∞T T/2 n −T/2 j =1 cos ωc t + φ j e−i2παt dt C PAM (u)n Rcos (u)n + Rsin (u)n . we obtain: Rα (τ)n = y γ EURASIP Journal on Wireless Communications and Networking Lsin (t. The only diﬀerence with a QAM signal resides in the cumulant of the symbol sequence CI.3. we observe the destructive interference between γ γ the components of Rcos (u)2 and Rsin (u)2 at twice the carrier frequency. the CTCF of sRF (t) is the sum of two CTCFs of modulated PAM signals in quadrature. α−γ γ (23) + cos φ1 + φ2 − φ3 − φ4 (26) for the fourth order. We can ﬁnally write: C sRF (u)n = γ α The CTCFs of the baseband PAM signals can be computed using (18).). τ)2 = − cos 2ωc t + φ1 + φ2 + cos φ1 − φ2 2 2 for the second order. We have to choose between baseband or RF signals and decide on the cycle frequency that will be used by the detector. We have seen that baseband QAM signals have features at the cycle frequencies that are multiples of the symbol rate (0. τ)4 = (21) 1 cos 4ωc t − φ1 − φ2 − φ3 − φ4 8 − 1 cos 2ωc t + φ1 + φ2 + φ3 − φ4 8 + cos 2ωc t + φ1 + φ2 − φ3 + φ4 Rx (τ)n Rw (τ)n . Since the real and imaginary parts of s(t) are two statistically independent PAM signals.n . There only remain the features at zero and four times the carrier frequency: C s (u)4 0 C PAM (u)4 Rcos (u)4 + Rsin (u)4 = 2C PAM (u)4 Rcos (u)4 0 0 0 0 0 1 1 Lsin (t. α−γ γ γ (27) 1 Rα (t. τ)2 = 1 1 cos 2ωc t + φ1 + φ2 + cos φ1 − φ2 2 2 For n = 2. after Fourier transform. τ)n = lim sin T →∞T T/2 n −T/2 j =1 sin ωc t + φ j e−i2παt dt. The CTCFs of R[s(t)] and I[s(t)] are equal and α denoted by CPAM (τ)n in our next results. τ)n Rw (t. just as they do for the second order. 0 4 fc Since Rcos (u)4 is a sum of cosines that depend on u and 4 fc Rcos (u)4 = (1/16)e jωc (−)i φi (the notation (−)i indicates an optional sign change according to the expressions (25)-(26)). α−γ γ (22) + cos 2ωc t + φ1 − φ2 + φ3 + φ4 + cos 2ωc t − φ1 + φ2 + φ3 + φ4 + 1 cos φ1 − φ2 + φ3 − φ4 8 + cos φ1 − φ2 − φ3 + φ4 Equation (22) means that we have to multiply all CTMFs of x(t) and w(t) which sum to α. (24) where φ j = ωc τ j . It is clear that the CTMF of sine or cosine signals is made of Dirac’s deltas at cycle frequencies 4 fc . we also observe that the components of γ γ Rcos (u)4 and Rsin (u)4 at twice the carrier frequency cancel out. τ)n = Rx (t. For n = 4. and: 1 Lcos (t. . . whereas RF signals have additional features 0 .6 are two independent random signals. τ)n and. The lag-product can be decomposed into a sum of cosine signals at various frequencies using Simpson formulas: Lcos (t. 2 fc . If one of the signals is nonrandom (w(t) in our case). The CTMF of the sine and cosine signals can easily be determined from the expression of their lag-products: Rα (t. 5. τ)4 = cos 4ωc t − φ1 − φ2 − φ3 − φ4 8 + 1 cos 2ωc t + φ1 + φ2 + φ3 − φ4 8 + cos 2ωc t + φ1 + φ2 − φ3 + φ4 + cos 2ωc t + φ1 − φ2 + φ3 + φ4 + cos 2ωc t − φ1 + φ2 + φ3 + φ4 1 + cos φ1 − φ2 + φ3 − φ4 8 + cos φ1 − φ2 − φ3 + φ4 + cos φ1 + φ2 − φ3 − φ4 (25) C s c (u)4 4f c C PAM (u)4 Rcos (u)4 + Rsinc (u)4 0 4f 4f (28) = 2C PAM (u)4 Rcos (u)4 .

we would have to increase the sampling rate at the receiver. to aﬀord the luxury of choosing lag values that are diﬀerent from zero. since it increases the noise variance. We already know its mean and variance values and using the centrallimit theorem.3. 6. the variance of the RD-CTCF is a function of the lag-vector given by: ⎧ ⎪ 1 σ8 ⎪ ⎪ ⎪N n ⎪ ⎪ ⎪ ⎪ ⎪2 8 ⎪ σ ⎪ ⎨ n 0. On the other hand. 4 f c + 2Fs . The detector has to decide between two hypotheses: hypothesis H0 implying that no signal is present. we would have to use (14). Detector. However.6 20 0. (33) 0 C s (u)4 = 0 Rs (u)4 1 = lim T →∞T Ls (t. C s [l]4 = 1 Ls [n.3 −10 7 In practice. In order to compute the threshold level as a function of the probability of false alarm. Note that α = 0 is a degenerated cycle frequency. Every discrete lag-vector l for which two or more values li . Simulations made with baseband or RF signals for α = 0 have shown that the two detectors exhibit similar performances. .2 −20 −30 −30 0. even when α = 0. we must know the distribution of the RD-CTCF. the absolute value of the RD-CTCF takes the form of a Rayleigh distribution and the threshold level can be found using: γ = 2 −σRD-CTCF ln P f a . the RD-CTCF is estimated based on a sizeN ﬁnite observation window of the received sequence s[n] obtained after sampling the received signal. the mean of the RD-CTCF is equal to 0 since the fourth-order cumulant of a Gaussian random variable is null. It has been shown that these additional features are small and that the strongest feature for both baseband and RF signals is obtained when the cycle frequency α is equal to zero. which in turn would increase the noise power. 10 MHz sample frequency.1. it is the frequency that will be preferred for our sensing scenario. From now on. u)4 dt (29) where P f a is the probability of false alarm.).5 10 0.EURASIP Journal on Wireless Communications and Networking 30 0. Noise Mean and Variance. we assume that the output distribution is Gaussian (see also [16]).2. RD-CTCF Estimator. However. The values of l0 and l3 have been ﬁxed to 0 and 3 respectively. and set all lag values equal to zero. normalized square-root Nyquist pulse shaping ﬁlter of 0. Fourth-Order Feature Detectors 6. even if the denomination “cyclic-feature detector” becomes inappropriate in this case. 4 f c + Fs . H0 (32) 6.1 −20 −10 0 l1 10 20 30 Figure 3: Fourth-order RD-CTCF of a 4-QAM baseband signal as a function of the lag parameters l1 and l2 for the cycle frequency 0. The feature obtained in this situation is illustrated in Figure 3. In order to estimate the RD-CTCF of the baseband QAM signal. . l j are identical should be avoided. as it enables a signiﬁcant reduction of the received signal sampling frequency. if all lag values are diﬀerent if two lag values are equal (31) if three lag values are equal if all lag values are equal 2 σRD-CTCF = ⎪ N ⎪6 8 ⎪ σn ⎪ ⎪N ⎪ ⎪ ⎪ ⎪ 24 ⎪ ⎪ ⎩ σ8 N n at cycle frequencies that depend on the carrier frequency (4 f c + 0. l]4 N n=−N/2 N/2−1 (30) l2 with N > 2 max |l j | and l j are the elements of the discrete lag-vector l of size n − 1. As a consequence. Luckily. The RD-CTCF variance also quite naturally decreases as the observation window N is increased. Simulations have shown that it is better to use the lowest sampling rate that still satisﬁes Shannon’s theorem. Simulations illustrated in Figure 4 conﬁrm the result (31). . we will focus on the fourthorder feature detection for baseband signals and let aside the fourth-order feature detection for RF signals. 6. Therefore the RD-CTCF is equal to the RD-CTMF: T/2 −T/2 The threshold is usually ﬁxed to meet a target probability of false alarm (decide H1 if H0 ). hypothesis H1 implying that the linearly modulated signal is present. the signal is complex and the second order features disappear if we do not use any conjugation in the lag product (see the quaternary QAM example in the appendix).4 0 0. The system parameters are: 1 MHz symbol frequency. since it gives the strongest 4th-order feature. When there is only noise in the system.2 roll-oﬀ factor. The absolute value of the feature (here the RDCTCF) is compared to a threshold γ to make a decision: C s (l)4 0 H1 ≷ γ. Since noise signals do not have any fourth-order feature (the fourth-order cumulant of a Gaussian random variable is equal to zero). which is present even in stationary signals. 2 in which σn is the variance of AWGN noise samples at the input of the RD-CTCF estimator.

g.10 if the FFTs used to evaluate the cyclic periodogram [6] have a length of 1024 samples. The values of l0 and l3 have been ﬁxed to 0 and 3. the detection-time constraints that are part of the cognitive radios reglementation would not be met if the observation time is too long. 7. Its advantage resides in the absence of features (at least asymptotically) when the input signal is a white noise. one without any noise uncertainty. This detector computes an estimation of the SCD by averaging. The system parameters are: 1 MHz symbol frequency. Its computational complexity evolves as N · log2 (1024) = N. over time and frequency domains. ROC curves for the second-order detector can be found in [7]. (36) 7.5 4 0 l2 3. These curves have been obtained without adding any noise uncertainty to the signal. therefore shielding the detector from noise uncertainty eﬀects. Monte-Carlo simulations were used. 10 MHz sample 2 frequency. In order to verify this assumption.2. both detectors exhibit the same probability of missed detection (roughly 1 percent) at an SNR of −0.8 10 EURASIP Journal on Wireless Communications and Networking eﬃcient detector. whereas the cyclic feature detectors remain unaﬀected. each of which used 5000 iterations. and can be considered as a reference. when we consider an SNR of −4 dB. the fourth-order detector requires much more samples. It beneﬁts from the same immunity to noise uncertainty.8 dB. (34) Its advantages are its simplicity and its ability to perform blind detection (since it does not require any information about the signal it is trying to detect). However. Energy Detector. This detector averages the lagproduct of the received sequence over time: ρCF4 = 1 s[n]s[n + l1 ]s[n + l2 ]s[n + l3 ]. which had the best ROC curve in the ﬁrst case is a lot more aﬀected by the noise uncertainty than the fourth-order detector. In such conditions. the fourth-order detector works at the most favorable value of the discrete lagvector l). Unfortunately. which makes it more complex than the secondorder. Detector Comparison We will now brieﬂy review the principles of all detectors previously mentioned in this paper.5 2 1. and is therefore suited for operations at low SNR. 7. which results in a computational complexity evolving as N. which requires some characteristics of the signal in order to work (e. This is the most widely used detector in wireless communication systems. the total number of samples. 2 (35) where K is the number of time windows and F is the number of frequency bins. N n=−N/2 N/2−1 This detector is simpler to implement than the previous one (no Fourier transform of the signal is required since we work in the time domain).1.5 −10 −10 −5 0 l1 5 10 Figure 4: Noise variance at the output of the RD-CTCF estimator as a function of the lag parameters l1 and l2 for the cycle frequency 0.3. the symbol rate must be known in advance). and show the same immunity to noise uncertainty than the fourth-order. Performance Comparison. It appears that the secondorder detector and the fourth-order detector. It is a much more complex and less . and one with 0 dB of noise uncertainty. N n=−N/2 N/2−1 5. Second-Order Detector. We assume that second-order and fourth-order detectors work only at a single location of the feature they exploit (the second-order detector works at most favorable frequency. We observe that the energy detector. the energy detector cannot perform reliable detections and must be discarded. Besides. it has been demonstrated that it cannot be used in low-SNR environments due to its sensitivity to noise uncertainty [6]. we computed the receiver operating characteristics (ROC) curves of the fourth-order detector for two situations. which results in the output mean of the detector always being equal to zero in presence of noise. (that leads to an observation time ten times longer for the fourth-order detector). and compare their performance and computational complexity. have similar performances when the SNR is around zero dB: for the same complexity. If we add some amount of noise uncertainty. Figure 5 illustrates the probability of missed detection (decide H0 if H1 ) curves as a function of the SNR for the three detectors under consideration.5 5 5 4. Fourth-Order Detector. 7. respectively. It averages the square modulus of the received sequence over time: ρED = 1 2 |s[n]| .4. The results are illustrated in Figure 6. the energy detector is the optimal detector for blind detection. and the total number of samples is equal to N. 7. The threshold has been set in the three cases to achieve a target probability of false alarm equal to 10−1 . σn = 10. the cyclic periodogram of the signal spectrum Sk ( f ) computed for a ﬁnite time window at time k: ρCF2 = 1 1 α Sk f + u − K F k=−K/2 u=−F/2 2 K/2−1 F/2−1 S∗ f + u + k α .. The number of noise realizations is 1000.5 3 −5 2. We may now take a look at the performance of the diﬀerent detectors.

B.9 10−1 P f a and Pmd T = 50 μs Pd 10−2 T = 10000 μs T = 500 μs 0. 3} give RI. which is equal to zero in the present situation (cf = 0 MHz). Since the binary PAM constellation is symmetric. The symbols take the values Im = {±1}.4 = −2.1. 4} and {1.1 −10 −8 −6 −4 −2 −20 −18 −16 −14 −12 9 10−3 0 0 0 0. so that CI. 40 MHz sample frequency.7 0. 4} gives RI. The partition {1.Two observation times are considered for the three detectors: 50 and 500 μs.2. which reduces the number of interesting partitions to four: {1.4 0. which could be needed if the received signals do not exhibit second-order cyclostationarity. Diﬀerent results are obtained according to the number of conjugations in the lag-product (10): Appendices A. Second-Order Cumulant. 3. Conclusion This paper has started from the need for robust detectors able to work in low SNR environments. The symbols take the values √ Im = {±1/ 2 ± j/ 2}. 2}: {1.5 0.2 10−4 0. 4}.2 Pfa eng (0 dB) cf4 (0 dB) 0. 4}.and fourth-order cumulants of a binary PAM sequence.and fourth-order cumulants of a √ 4-QAM sequence. square-root Nyquist pulse shaping ﬁlter of 0.6 0.2 roll-oﬀ factor. and explained the intuition that lead to the study of higher-order cyclostationarity (HOCS). . 3. square-root Nyquist pulse shaping ﬁlter of 0. 3}{2. Simulation results have shown that fourth-order cyclic feature detectors may be used as a substitute for second-order detectors at SNR around zero dB. No noise uncertainty added. 4}. 2. Second-Order Cumulants. 2} gives RI. Since the 4-QAM constellation is symmetric. The most relevant aspects of HOCS theory have then been analyzed and we have derived a new fourth-order detector that can be used for the detection of linearly modulated signals. {1. {1.3 0. Cumulants of the Binary PAM This section computes the second. There are 14 possible partitions of the set {1. 3. and the three last partitions {1.2 = 1 for its single element. 2}: {1. B. and the fourth-order detector works with the feature at four-times the carrier frequency. An observation time of 10 ms has been added for the fourth-order detector Figure 6: Energy (eng) and fourth-order detector (cf4) ROC curves for two values of the noise uncertainty (no uncertainty. SNR = −2 dB. {1.8 0. The ﬁrst partition {1.2 = 1.4 = 1 for its single element.3 0. 4}. 2. The main guideline is to identify features of suﬃcient strength and to design a detector able to extract it from the signal. A.EURASIP Journal on Wireless Communications and Networking 100 1 0. A brief review of the second-order cyclostationarity and second-order cyclic feature detectors has exposed the advantages and drawbacks of such detectors. so that CI. 4 MHz sample frequency. second-order and fourth-order detector probability of missed detection (the solid lines) for a ﬁxed probability of false alarm (the points at 10−1 ). 2. A. 4} and {1.5 SNR 4th order detector 2nd order detector Energy detector Pfa Figure 5: Energy. There are 2 possible partitions of the set {1. 2}{3. The system parameters are: 1 MHz symbol frequency. 3}.2 roll-oﬀ factor.4 0.1. 2} and {1}{2}. The second-order detector is set to detect the symbol-rate feature (cf = 20 MHz). 8. The system parameters are: baseband QPSK signal with 20 MHz symbol frequency. 0 dB uncertainty). We will limit our investigations to the ﬁrst partition. but only the ones that group Ik by two or four have a chance to give a product of moments diﬀerent from 0. 4}{2. There are 2 possible partitions of the set {1. 2}{3. We limit therefore our investigations to the ﬁrst partition.1 eng (-inf dB) cf4 (-inf dB) 0. 4}{2. 2} and {1}{2}. Fourth-Order Cumulant. Cumulants of the Quaternary QAM This section computes the second.2 = 1 for their two elements. only the ﬁrst partition has a chance to give a product of moments diﬀerent from 0. only the ﬁrst partition has a chance to give a product of moments diﬀerent from 0. 3}{2.

Calif. pp.2 = 0.2 = 0 for their two elements. Ireland. 2. M.-S. K. 3. Gardner.” Proceedings of the IEEE. . vol. pp. I. Akyildiz. References [1] F.4 = −1. Y. the two partitions {1. USA. vol. Giannakis. C. Ireland.4 = 0.-Y. pp. 1. but only the ones that group Ik by two or four have a chance to give a product of moments diﬀerent from 0. 13–24. Vuran. 2. [12] P. M. A. Hannover. pp. the partition {1. Md. [2] I. [3] A. Tandra. “FCC-03-322: Facilitating Opportunities for Flexible. 55. There are 14 possible partitions of the set {1. A. 4} and {1. 2008. Gardner and C. June 2009. “Implementation of cyclostationary feature detector for cognitive radios. {1. [4] H. Mohanty. B. Lee. 1994. 4}{2. pp.” in Proceedings of the 2nd IEEE International Symposium on New Frontiers in Dynamic Spectrum Access Networks (DySPAN ’07). vol. 2} gives RI. 212–215. 3} give RI.2 = 1 for their two elements. Gardner. arbitrary placed for this example on the second and fourth element of the lag-product. the partition {1.2 = 0 for its two elements. Diﬀerent results are obtained according to the number of conjugations in the lag-product (10): (i) When no conjugation or four conjugations are used in the lag-product. 3409–3429. W. Germany. “Signal interception: performance advantages of cyclic-feature detectors. A. 4}. so that CI. 3}{2. 4}. vol.” IEEE Journal on Selected Areas in Communications. [14] V. 42. A. the partition {1. 4. no. which reduces the number of interesting partitions to four: {1. 4} and {1. and Reliable Spectrum Use Employing Cognitive Radio Technologies. “Cumulant theory of cyclostationary time-series. K. April 2007. 42. 3. A. April 2007. vol. and the three last partitions {1. Kosunen.4 = 1 for its single element.10 EURASIP Journal on Wireless Communications and Networking (i) When no conjugation or two conjugations are used in the lag-product. 2006. and L. pp. 4} gives RI. D. Bar-Ness. and J. 13. Reed. Sahai and D. (ii) When two conjugations are used in the lag-product.” IEEE Transactions on Signal Processing. Kim. “Cumulant theory of cyclostationary time series. J. K. 3}{2. H. and R. [6] W. no. M. no.” Computer Networks. [5] R. Bae. [10] C. 3387–3408. B. [13] A.” IEEE Transactions on Signal Processing. Su. Turunen. [9] W. 9. 36.4 = −1. no. pp. part II: development and applications. A. so that CI. “Spectrum sensing: fundamental limits and practical challenges.” IEEE Transactions on Communications. C. 2}{3. 149–159. 3. E. 4} gives RI. Akbar. {1.. Statistical Spectral Analysis: A Nonprobabilistic Theory. 3}. 1994.” in Proceedings of the 2nd IEEE International Symposium on New Frontiers in Dynamic Spectrum Access Networks (DySPAN ’07). 2}{3. “Cyclostationary approaches to signal detection and classiﬁcation in cognitive radio. 897–906. 3}{2. 1988. Baltimore. 3. pp. Spooner. Tkachenko.2 = 1. vol. 523–531. Dandawate and G. 2005. D. so that CI. 42. 4}. 40. 1992. 4}{2. “Signal interception: a unifying theoretical framework for feature detection. Commission. 112–117. F. 4}{2. no. “NeXt generation/dynamic spectrum access/cognitive radio wireless networks: a survey. NJ. “Cyclostationary feature detector experiments using reconﬁgurable BEE2. 4} and {1. pp. E. Um. 3} give RI. and S. {1. 3} give RI. M. 4} gives RI. the partition {1.2. 1967. [8] W. C. Berkeley. A. 2. USA. (iii) When one or three conjugations are used in the lag-product. Fundamental limits on detection in low SNR.4 = −1 for its single element. 50.4 = 0 for its single element. 2. 8. Prentice-Hall. Englewood Cliﬀs. 1987. October 2003. [16] A. and the three last partitions {1. [11] K. part I: foundation. (ii) When one conjugation is used in the lag-product. “Energy detection of unknown deterministic signals. Urkowitz. 3. and the partition {1. Eﬃcient. V. Gardner and C. Dublin. 4}{2.” IEEE Transactions on Signal Processing.2 = 0 for at least one of their two elements. Spooner and W. Dobre. 2127–2159. so that CI. “Cyclostationary signatures in practical cognitive radio applications. “Statistical tests for presence of cyclostationarity. 4}. 2. USA. November 2005.S.” in Proceedings of IEEE Military Communications Conference (MILCOM ’03). pp. {1. Brodersen. 12. vol. Cabric. 2}{3. so that CI. Fourth-Order Cumulant. [7] W. 4} and {1. no. Huttunen et al.” December 2003. 1994. Cabric.” in Proceedings of the 4th International Conference on Cognitive Radio Oriented Wireless Networks and Communications (CROWNCOM ’09). Spooner. and W. 2355–2369.” in Proceedings of IEEE International Symposium on New Frontiers in Dynamic Spectrum Access Networks (DySPAN ’05). 3}{2. 1. 26. M. M. vol. 216–219. 12. M. Dublin. W.2 = 1 for its single element. 4} gives RI. the ﬁrst partition {1. Nolan. thesis. Gardner.” IEEE Transactions on Communications. “Higher-order cyclic cumulants for high order modulation classiﬁcation. no. no. Doyle. pp. Sutton. Spooner.2 = 0 for its single element. 2} gives RI. 2}{3. [15] O. A. 4}.

- Berangi 1998 CompressedUploaded byjavadasadi78
- IJAIEM-2013-05-31-100Uploaded byAnonymous vQrJlEN
- Data EncodingUploaded byVishal4u
- 3.pdfUploaded byabdulsahib
- Digital Modulation 1Uploaded byWilliam Lopez Jaramillo
- Data Transmission ExercisesUploaded bySubash Pandey
- mobile computing cdmaUploaded byLuke Kenny
- ireless transmission in mobile computingUploaded bySuganya257
- C02 Wireless TransmissionUploaded bySenthil R
- C02 Wireless TransmissionUploaded bygskaswinth
- Questions 4Uploaded byBobeth Tubig
- Coded_OFDM_in_Hybrid_Radio_over_Fiber_Li.pdfUploaded byeng2011tech
- Analog Modulation.pdfUploaded byfiraszeki
- LiteBeam DSUploaded bynacho201444
- Data Signal AnalysisUploaded bymarcusandree
- Digital ModulationUploaded byJaddie Lorzano
- CMX869dsUploaded byRodrigo M. Arnhold
- COMMS 9 - Digital & DatacomUploaded bydjun033
- 4.21-TE-EXTC.pdfUploaded byBharathi Molleti
- Us 3879671Uploaded bybiswa217
- [24]Uploaded byeng2011tech
- 04CH456Uploaded byswatagoda
- Function Reference (Communications Toolbox™)Uploaded byAhmed Ali Nafe
- data comm lab manualUploaded byAman Patil
- Eija c It 120053Uploaded bybavar88
- 1Uploaded byDante Pangan Satur Jr.
- rfUploaded bypaulorpsy
- next wave tech.pptUploaded byjuhi993
- m-ary pamUploaded byswatiagrawal_ec
- About Hart Part 1Uploaded byjosevazxo

- table transformée en ZUploaded byillusionperpetuelle
- InTech-Cyclostationary Approach to Signal Detection and Classification in Cognitive Radio SystemsUploaded byillusionperpetuelle
- Formula IreUploaded byillusionperpetuelle
- Rapport MDFUploaded byillusionperpetuelle
- Weather Station GitHubUploaded byillusionperpetuelle
- How to Do Research at the MIT AI LabUploaded byillusionperpetuelle
- Revue Mediterr Des TelecomUploaded byillusionperpetuelle
- exposéeUploaded byillusionperpetuelle
- Femmes en MathsUploaded byillusionperpetuelle
- Les Fibres Optiques PresentUploaded byillusionperpetuelle
- cours_asm_68000_microproceseurUploaded byillusionperpetuelle
- Le Plan d'AffaireUploaded byillusionperpetuelle
- RAPPORT PROJET Apprroximation Des Equa Diff Adams-moultonUploaded byillusionperpetuelle