Professional Documents
Culture Documents
Chapter 4
Chapter 4
In this chapter, we derive the optimum receiver structures for the modu-
lation schemes introduced in Chapter 3 and analyze their performance.
Problem Formulation
We first consider memoryless linear modulation formats. In
symbol interval 0 t T , information is transmitted using
one of M possible waveforms sm (t), 1 m M .
The received passband signal r(t) is corrupted by realvalued
AWGN n(t):
r(t) = sm (t) + n(t), 0 t T.
n(t), N0/2
sm(t) r(t)
z(t), N0
sbm(t) rb(t)
r(t) r Decision
Demodulator Detector
4.1.1 Demodulation
= smk + nk , 1kN
f1 (t)
RT
0 () dt r1
f2 (t)
RT
0 () dt r2
r(t)
...
...
fN (t)
RT
0 () dt rN
Since n (t) does not lie in the signal space spanned by the basis
functions of sm (t), it is irrelevant for detection of sm (t). There-
fore, without loss of optimality, we can estimate the transmitted
waveform sm(t) from r instead of r(t).
Properties of nk
nk is a Gaussian random variable (RV), since n(t) is Gaussian.
Mean:
T
Z
E{nk } = E n(t)fk(t) dt
0
ZT
= E{n(t)}fk(t) dt
0
= 0
Covariance:
T T
Z Z
E{nk nm } = E n(t)fk (t) dt n(t)fm(t) dt
0 0
ZT ZT
= E{n(t)n( )} fk (t)fm( ) dt d
| {z }
0 0 N0
2 (t )
ZT
N0
= fm (t)fk(t)dt
2
0
N0
[k m]
=
2
where [k] denotes the Kronecker function
1, k=0
[k] =
0, k 6= 0
We conclude that the N noise components are zeromean, mu-
tually uncorrelated Gaussian RVs.
Conditional pdf of r
r can be expressed as
r = sm + n
with
sm = [sm1 sm2 . . . smN ]T ,
n = [n1 n2 . . . nN ]T .
Therefore, conditioned on sm vector r is Gaussian distributed and
we obtain
p(r|sm) = pn(r sm)
YN
= pn(rk smk ),
k=1
where pn(n) and pn(nk ) denote the pdfs of the Gaussian noise
vector n and the components nk of n, respectively. pn(nk ) is
given by
1 n2k
pn(nk ) = exp
N0 N0
since nk is a realvalued Gaussian RV with variance n2 = N20 .
Therefore, p(r|sm ) can be expressed as
N
Y 1 (rk smk )2
p(r|sm ) = exp
N0 N0
k=1
XN
(rk smk )2
1
k=1
= exp , 1mM
(N0)N/2 N0
p(r|sm ) will be used later to find the optimum estimate for sm (or
equivalently sm (t)).
Role of n(t)
We consider the correlation between rk and n(t):
E{n(t)rk} = E{n(t)(smk + nk )}
= E{n(t)} smk + E{n(t)nk }
| {z }
=0
N
X
= E n(t) nj fj (t) nk
j=1
ZT N
X
= E{n(t)n ( )} fk ( ) d E{nj nk } fj (t)
| {z } | {z }
0 N0 j=1 N0
2 (t ) 2 [jk]
N0 N0
= fk (t) fk (t)
2 2
= 0
We observe that r and n(t) are uncorrelated. Since r and n(t)
are Gaussian distributed, they are also statistically independent.
Therefore, n(t) cannot provide any useful information that is rele-
vant for the decision, and consequently, r forms a sufficient statis-
tic for detection of sm (t).
y1(t)
f1 (T t) r1
y2(t)
r(t) f2 (T t) r2
...
...
yN (t)
fN (T t) rN
sample at
t=T
Example:
s(t) h(t)
A A
T t T t
y(t)
y(T )
T 2T t
Problem Formulation:
Solution:
m = argmax {p(r|sm)}
m
The above MAP and ML decision rules are very general. They can be
applied to any channel as long as we are able to find an expression for
p(r|sm ).
= argmax {ln(p(r|sm))}
m
( N
)
N 1 X
= argmax ln(N0) |rk smk |2
m 2 N0
k=1
( N )
X
= argmin |rk smk |2
m k=1
2
= argmin ||r sm ||
m
Interpretation:
We select that vector sm which has the minimum Euclidean dis-
tance
Example:
4QAM
m = 2 m = 1
m = 3 m = 4
Alternative Representation:
Using the expansion
||r sm ||2 = ||r||2 2Re{r sm} + ||sm||2,
we observe that ||r||2 is independent of sm. Therefore, we can
further simplify the ML decision rule
2
m = argmin ||r sm||
m
= argmin 2Re{r sm } + ||sm ||2
m
2
= argmax 2Re{r sm} ||sm ||
m
T
Z 1
= argmax Re r(t)sm(t) dt Em ,
m 2
0
with
ZT
Em = |sm (t)|2 dt.
0
If we are dealing with passband signals both r(t) and sm (t) are
realvalued, and we obtain
T
Z 1
m = argmax r(t)sm(t) dt Em
m 2
0
s1 (t) 1
2
E1
RT
0 () dt
s2 (t) 1
2
E2 select m
RT
() dt that
0
corresponds
r(t) ... m
...
to maximum
sN (t) 1 input
2
EN
RT
0 () dt
Example:
T t
z(t), N0
Am sbm(t) rb m
g(t) Demodulation Detection
1. Demodulator
Energy of transmit pulse
ZT
Eg = |g(t)|2 dt = a2T
0
Correlation demodulator
ZT
rb = rb (t)f (t) dt
0
ZT
1
= rb (t) dt
T
0
ZT ZT
1 1
= sbm (t) dt + z(t) dt
T T
0 0
| {z } | {z }
sbm z
= sbm + z
sbm is given by
ZT
1
sbm = Am g(t) dt
T
0
ZT
1
= Am a dt
T
0 p
= a T Am = Eg Am.
On the other hand, the noise variance is
z2 = E{|z|2}
ZT ZT
1
= E{z(t)z ( )} dt d
T | {z }
0 0 N0 (t )
= N0
pdf p(rb|Am):
p !
2
1 |rb Eg Am |
p(rb|Am ) = exp
N0 N0
2. Optimum Detector
The ML decision rule is given by
m = argmax {ln(p(rb|Am ))}
m
p
= argmax {|rb Eg Am|2}
m
p
= argmin {|rb Eg Am |2}
m
m = 1 m = 2 m = 3 m = 4
1. Binary PAM (M = 2)
From the example in the previous section we know that the
detector input signal in this case is
p
rb = Eg Am + z, m = 1, 2,
where the noise variance of the complex baseband noise is z2 =
N0.
Decision Regions
m = 1 m = 2
p p
Eg d Eg d
Therefore, we get
Z p 2
!
1 (rR ( Eg d))
P (e|s1) = exp drR
N0 N0
0
Z
1 x2
= exp dx
2 r 2
2Eg
N0 d
r !
2Eg
= Q d
N0
p
where we have used the substitution x = 2(rR + Eg d)/ N0
and the Qfunction is defined as
Z 2
1 t
Q(x) = exp dt
2 2
x
Note that binary PSK (BPSK) yields the same BEP as 2PAM.
Decision Rule
The ML decision rule is given by
m = argmax 2r sm ||sm||2
m
= argmax {r sm } ,
m
1
10
2
10
3
10
2FSK
BER
4
10
5
10
2PAM
6
10
0 2 4 6 8 10 12 14
Eb/N0 [dB]
Signal Space
2PAM 2FSK
d12 Eb
d12
Eb Eb Eb
Rule of Thumb:
In general, for a given average energy of the signal points,
the BEP of a linear modulation scheme is larger if the min-
imum Euclidean distance of the signals in the signal space
is smaller.
m = 1 m = 2 m = M
0
10
1
M = 64
10
2
M = 32
10
3
10
4
10 M = 16
5
SEP
10
6
10
7
10
M =2 M =4 M =8
8
10
0 2 4 6 8 10 12 14 16 18 20 22
Eb/N0 [dB]
1
M = 64
10
10
2 M = 32
3
10
10
4
M =4
10
5 M = 16
SEP
10
6 M =8
7
10
M =2
8
10
0 2 4 6 8 10 12 14 16 18 20 22
Eb/N0 [dB]
0
10
1
10
2
10
3
10
10
4 M = 64
10
5 M = 16
SEP
10
6 M =4
7
10
8
10
0 2 4 6 8 10 12 14 16 18 20 22
Eb/N0 [dB]
Although exact (and complicated) expressions for the SEP and BEP of
most regular linear modulation formats exist, it is sometimes more con-
venient to employ simple bounds and approximation. In this sections,
we derive the union upper bound valid for arbitrary signal constella-
tions and a related approximation for the SEP.
We consider an M ary modulation scheme with M signal points
sm, 1 m M , in the signal space.
We denote the pairwise error probability of two signal points s
and s , 6= by
PEP(s s ) = P (s transmitted, s , detected)
M M
1 XX
PM PEP(s s )
M =1 =1
6=
M =4
0
10
1
10
2
10
3
10
4
10
10
5 4PAM
SEP
6
10 4PSK
4QAM
7
10
8
10
0 2 4 6 8 10 12 14 16
Eb/N0 [dB]
M = 16
0
10
1
10
2
10
3
10
4
10
5
10
SEP
6
10
10
7
16QAM 16PSK 16PAM
8
10
6 8 10 12 14 16 18 20 22 24 26
Eb/N0 [dB]
M = 64
0
10
1
10
2
10
3
10
4
10
64PAM
5
10
SEP
6
64PSK
10
10
7
64QAM
8
10
10 15 20 25 30 35
Eb/N0 [dB]
Passband Signal
We assume that the received passband signal can be modeled as
r(t) = 2Re ejsbm (t) + z(t) ej2fct ,
where z(t) is complex AWGN with power spectral density zz (f ) =
N0 , and is an unknown, random but constant phase.
may originate from the local oscillator or the transmission
channel.
is often modeled as uniformly distributed, i.e.,
1
2
, <
p() =
0, otherwise
p()
1/(2)
Baseband Signal
The received baseband signal is given by
rb (t) = ejsbm (t) + z(t).
Optimal Demodulation
Since the unknown phase results just in the multiplication of the
transmitted baseband waveform sbm (t) by a constant factor ej,
demodulators that are optimum for = 0 are also optimum for
6= 0. Therefore, both correlation demodulation and matched
filter demodulation are also optimum if the channel phase is un-
known. The demodulated signal in interval kT t (k + 1)T
can be written as
rb [k] = ejsbm [k] + z[k],
where the components of the AWGN vector z[k] are mutually
independent, zeromean complex Gaussian processes with variance
z2 = N0 .
ej z(t)
ej z[k]
ej()
Phase
Estimation
ej z[k]
T ()
ej
T ()
SEPCD CD
DPSK 2SEPPSK
where zeff [k] denotes the effective noise in the decision vari-
able d[k]. It can be shown that zeff [k] is a white process with
variance
z2eff = 2z2 + z4
2
N0 N0
= 2 +
Eg Eg
For high SNRs we can approximate z2eff as
z2eff 2z2
N0
= 2 .
Eg
Comparison
We observe that the variance z2eff of the effective noise in the
decision variable for DD is twice as high as that for CD. How-
ever, for small M the distribution of zeff [k] is significantly dif-
ferent from a Gaussian distribution. Therefore, for small M
a direct comparison of DD and CD is difficult and requires a
detailed BEP or SEP analysis. On the other hand, for large
M 8 the distribution of zeff [k] can be well approximated
as Gaussian. Therefore, we expect that at high SNRs DPSK
with DD requires approximately a 3 dB higher Eb /N0 ratio to
achieve the same BEP as CD. For M = 2 and M = 4 this dif-
ference is smaller. At a BEP of 105 the loss of DD compared
to CD is only about 0.8 dB and 2.3 dB for M = 2 and M = 4,
respectively.
0
10
1
10
2
10
3
10
4
10
4DPSK
BEP
5
10
6
10
2PSK
7 4PSK
10 2DPSK
8
10
0 5 10 15
Eb/N0 [dB]
we finally obtain
1 ||rb||2 + ||sbm ||2 2
p(rb|sbm ) = exp I0 |r b sbm |
(N0)N N0 N0
4.5
3.5
2.5
I0(x)
1.5
0.5
0
0 0.5 1 1.5 2 2.5 3
ML Detection
With the above expression for p(rb |sbm ) the noncoherent ML de-
cision rule becomes
m = argmax {p(r|sbm )}.
m
Simplification
The above ML decision rule depends on N0, which may not be
desirable in practice, since N0 (or equivalently the SNR) has to be
estimated. However, for x 1 the approximation
ln[I0(x)] x
holds. Therefore, at high SNR (or small N0 ) the above ML metric
can be simplified to
2
m = argmax ||sbm || + 2|rb sbm | ,
m
we obtain
2 2
rb1 E b rb1 0
rb2
>
0 rb2 Eb
|r1|2 > |r2|2.
In other words, the ML decision rule can be simplified to
m = 1 if |r1|2 > |r2|2
m = 2 if |r1|2 < |r2|2
Example:
Binary FSK
In this case, in the interval 0 t T we have
r
Eb
sb1 (t) =
rT
Eb j2f t
sb2 (t) = e
T
If sb1(t) and sb2(t) are orthogonal, the basis functions are
(
1 , 0tT
f1 (t) = T
0, otherwise
(
1 ej2f t , 0tT
f2 (t) = T
0, otherwise
Receiver Structure
rb1
f1 (T t) | |2
rb(t) m = 1
d>
<
0
rb2 m = 2
f2 (T t) | |2
sample
at
t=T
0
10
1
10
2
10
10
3 noncoherent
4
10
coherent
BEP
5
10
6
10
7
10
8
10
0 2 4 6 8 10 12 14 16
Eb/N0 [dB]
ML Detection
The ML decision rule is
|sbm|2 2
m = argmax + ln I0 |rbsbm |
m N0 N0
We decide for m = 1 if
2Eb 2 p
+ ln I0 | 2Eb rb | > ln(I0(0))
N0 N0
p
2 2Eb
ln I0 2Eb |rb | >
N0 N0
| {z }
N2 2Eb |rb |
0
r
Eb
|rb | >
2
Therefore, the (approximate) ML decision rule can be simplified
to
q
m = 1 if |rb | > E2b
q
m = 2 if |rb | < E2b
m = 1
m = 2
with
d[k] = rb [k]rb[k 1].
Obviously, for N = 2 the ML (MSDD) decision rule is identical to
the heuristically derived conventional differential detection decision
rule. For N > 2 the gap to coherent detection becomes smaller.
Disadvantage of MSDD
The trial vector a has N 1 elements and each element has M
possible values. Therefore, there are M N1 different trial vectors
a. This means for MSDD we have to make M N1 /(N 1) tests
per (scalar) symbol decision. This means the complexity of MSDD
grows exponentially with N . For example, for M = 4 we have to
make 4 and 8192 tests for N = 2 and N = 9, respectively.
Alternatives
In order to avoid the exponential complexity of MSDD there are
two different approaches:
1. The first approach is to replace the above bruteforce search
with a smarter approach. In this smarter approach the trial
vectors a are sorted first. The resulting fast decoding algorithm
still performs optimum MSDD but has only a complexity of
N log(N ) (Mackenthun, 1994). For fading channels a similar
approach based on sphere decoding exists (Pauli et al.).
2. The second approach is suboptimum but achieves a similar
performance as MSDD. Complexity is reduced by using de-
cision feedback of previously decided symbols. The resulting
scheme is referred to as decisionfeedback differential detection
(DFDD). The complexity of this approach is only linear in N
(Edbauer, 1992).
CPM Modulation
CPM Transmit Signal
Recall that the CPM transmit signal in complex baseband rep-
resentation is given by
r
E
sb (t, I) = exp(j[(t, I) + 0]),
T
where I is the sequence {I[k]} of information bearing symbols
I[k] {1, 3, . . . , (M 1)}, (t, I) is the information
carrying phase, and 0 is the initial carrier phase. Without
loss of generality, we assume 0 = 0 in the following.
Information Carrying Phase
In the interval kT t (k + 1)T the phase (t, I) can be
written as
L1
X
(t, I) = [k] + 2h I[k ]q(t [k ]T )
=1
+2hI[k]q(t kT ),
where [k] represents the accumulated phase up to time kT , h
is the socalled modulation index, and q(t) is the phase shaping
pulse with
0, t<0
q(t) = monotonic, 0 t LT
1/2, t > LT
Trellis Diagram
If h = q/p is a rational number with relative prime integers
q and p, CPM can be described by a trellis diagram whose
number of states S is given by
pM L1, even q
S=
2pM L1, odd q
Received Signal
The received complex baseband signal is given by
rb (t) = sb (t, I) + z(t)
with complex AWGN z(t), which has a power spectral density of
ZZ (f ) = N0 .
ML Detection
Since the CPM signal has memory, ideally we have to observe
the entire received signal rb (t), t , in order to
make a decision on any I[k] in the sequence of transmitted
signals.
The conditional pdf p(rb(t)|sb(t, I)) is given by
Z
1
p(rb(t)|sb(t, I)) exp |rb (t) sb(t, I)|2 dt ,
N0
Viterbi Algorithm
The exponential complexity of bruteforce search can be avoided
using the socalled Viterbi algorithm (VA).
Introducing the definition
(k+1)T
Z
[k] = Re{rb (t)sb (t, I)} dt,
we observe that the function to be maximized for ML detection
is []. On the other hand, [k] may be calculated recursively
as
ZkT (k+1)T
Z
[k] = Re{rb (t)sb (t, I)} dt + Re{rb(t)sb (t, I)} dt
kT
(k+1)T
Z
[k] = [k 1] + Re{rb(t)sb (t, I)} dt
kT
[k] = [k 1] + [k],
where we use the definition
(k+1)T
Z
[k] = Re{rb (t)sb (t, I)} dt.
kT
(k+1)T ( "
Z L1
X
= Re rb (t) exp j [k] + 2h ]
I[k
=1
kT
#!)
q(t [k ]T ) + 2hI[k]q(t kT ) dt.
The above steps are carried out for all symbol intervals and at
the end of the transmission, a decision is made on the trans-
mitted sequence. Alternatively, at time kT we may use the
k0] corresponding to the surviving path with the
symbol I[k
largest accumulated metric as estimate for I[k k0]. It has
been shown that as long as the decision delay k0 is large enough
(e.g. k0 5 log2(S)), this method yields the same performance
as true ML detection.
The complexity of the VA is exponential in the number of
states, but only linear in the length of the transmitted se-
quence.
Remarks:
At the expense of a certain loss in performance the complexity
of the VA can be further reduced by reducing the number of
states.
Alternative implementations receivers for CPM are based on
Laurents decomposition of the CPM signal into a sum of PAM
signals