Professional Documents
Culture Documents
Keyhole Effect in Dual-Hop MIMO AF Relay Transmission With Space-Time Block Codes
Keyhole Effect in Dual-Hop MIMO AF Relay Transmission With Space-Time Block Codes
3683
AbstractIn this paper, the effect of keyhole on the performance of multiple-input multiple-output (MIMO) amplifyand-forward (AF) relay networks with orthogonal space-time
block codes (OSTBCs) transmission is investigated. In particular,
we analyze the asymptotic symbol error probability (SEP)
performance of a downlink communication system where the
amplifying processing at the relay can be implemented by either
the linear or squaring approach. Our tractable asymptotic SEP
expressions enable us to obtain both diversity and array gains.
Our finding reveals that with condition nS > min(nR , nD ), the
linear approach can provide the full achievable diversity gain of
min(nR , nD ) when only the second hop suffers from the keyhole
effect, i.e., single keyhole effect (SKE), where nS , nR , and nD
are the number of antennas at source, relay, and destination,
respectively. However, for the case that both the source-relay and
relay-destination links experience the keyhole effect, i.e., double
keyhole effect (DKE), the achievable diversity order is only one
regardless of the number of antennas. In contrast, utilizing the
squaring approach, the overall diversity gain can be achieved as
min(nR , nD ) for both SKE and DKE. An important observation
corroborated by our studies is that for satisfying the tradeoff
between performance and complexity, we should use the linear
approach for SKE and the squaring approach for DKE.
Index TermsKeyhole effect, amplify-and-forward relay,
multiple-input multiple-output, orthogonal space-time block
code.
I. I NTRODUCTION
c 2012 IEEE
0090-6778/12$31.00
3684
HSR
HRD
nS antennas
D
nD antennas
R
nR antennas
DUONG et al.: KEYHOLE EFFECT IN DUAL-HOP MIMO AF RELAY TRANSMISSION WITH SPACE-TIME BLOCK CODES
I nD + G2LAHRD HRD
LA =
tr G2LA HRD
Rc nS
HRDHSRHSR
,
(1)
SNR and (1) is obtained
where = Ps /N0 is the average
2
X F = Lc Ps . Given the condition
from the fact that E X
that the relay does not have full channel knowledge of the first
)]1 [10],
hop, GLA can be obtained as G2LA = [nR (1 + 1/
[11]. When the relay is deployed with a single antenna, i.e.,
nR = 1, the channel matrices HSR and HRD for both hops
become vectors hSR and hRD , respectively. The instantaneous
SNR for the linear approach given in (1) can now be simplified
as
2
LA =
hSR F h
hRD F
h
.
2
Rc nS h
hRD F + 1/G2LA
(2)
B. Squaring Approach
Using the squaring approach [12][15] of OSTBC transmission, the received matrix at the relay can be decomposed
HSR 2F xk + k , where k = 1, 2, . . . , N and
as yk = H
HSR 2F N0 . With the decomposed symbols
k CN 0, H
yk at hand, the relay generates an OSTBC matrix and then
amplifies it with an amplifying gain GSA before transmitting
to the destination. For the squaring approach, it is plausible to
assume that the relay operates in the CSI-assisted mode and its
HSR F )2 [13][15]
amplifying gain is defined as GSA = (H
by excluding the effect of the noise. The received signal at the
+ W RD , where X
3685
HSR 2F H
HRD 2F
H
.
Rc nS
HSR 2F + H
HRD 2F
H
(3)
,
(4)
G2LA 1 yySR 2F tr AxSRxSR
LA =
Rc nS
3 In this paper, we apply the general OSTBC construction with the minimum
delay and maximum achievable rate proposed in [20]. The code rates at S
log2 (nS )+1
log2 (nR )+1
and R are given by log
and log
, respectively, where
2 (nS )
2 (nR )
2
2
denotes the ceiling function.
3686
1
I nD + G2LAHRDHRD
where A = HRD
HRD . Owing to
A
the fact that
is a positive definite matrix, we can apply
the eigen-decomposition yielding A = U U where U is
a unitary matrix and is the diagonal
containing
matrix
RD F
LA =
2
HRD 2F
|z|2 yySR F H
1
,
Rc nS
HRD 2F + 1/G2LA
H
(5)
SR = U xSR .
where z is the first element of vector x
SR , with x
(nA )(nB )
(6)
HAB 2F is the product of two RVs, the
Since H
HAB 2F can be written as FH
=
CDF of H
HAB 2F (z)
z
xAB 2F (w) Fy
yAB 2F w dw. Note that the CDF of
0 fx
2
yyAB F can be given in the form of elementary functions by
applying [18, Eq. (8.352.4)]. Then, utilizing the result of [18,
HAB 2F as
Eq. (3.471.9)], we get the CDF of H
(nB +k)/2
n
A 1
z
2
FH
HAB 2F (z) = 1
(nB )k!
k=1
z
.
(7)
KnB k 2
nS
det I nD + G2LAHRDHRD
= EHRD
.
det I + G2 1 + s 1 H H
nD
RD
RD
LA
Rc nS
(8)
nS
G2LA 1 st
)(nR +nD )/2
2(2
MLA (s) =
1 + R n 1+G2 1 t
(nR )(nD )
)
c S(
LA
0
(9)
t(nR +nD )/21 KnD nR 2 t 2 dt.
G2
g
LA
ln R1c n2 sin
2
S
(nR ) + (nS nR ) d,
1
0
nR
g
sin2
(|nD nR |)
min(nR ,nD )
0 M sing2
d,
for nR = nD ,
for nR = nD .
(11)
can be neglected as
.
log
DUONG et al.: KEYHOLE EFFECT IN DUAL-HOP MIMO AF RELAY TRANSMISSION WITH SPACE-TIME BLOCK CODES
1
1
c2
1 2
, where c2 = /G2LA ,
2
HRD 2F . Hence, it is
1 = Rc1nS |z|2 yySR F , and 2 = H
convenient for us to introduce the lower and upper bounds of
LA as
(lo)
LA
1
1 2
1 2
(up)
min(1 ,
) LA min(1 ,
) LA .
2
c2
c2
(12)
where
(13)
Rc nS
c3 =
+
(M 1) sin(2/M )
+
.
(14)
2M
4M
(large
)
3nS nR 1
.
(nS nR )(
)nS nR 1
(16)
Depending on the relationship between nR and nD , the asymptotic SEP expression for MIMO AF relaying with squaring
approach and single keyhole effect can be presented in the
following Theorem.
Theorem 3: When nR = nD , in the high SNR regime, the
asymptotic SEP is written as
min(nR ,nD )
(large
)
(2i 1) (|nD nR |)
i=1
Pe(SRD)
min(nR , nD )
(nR )(nD )
min(nR ,nD )
Rc nS
.
(17)
2g2
3687
(18)
2 g
ln
(19)
(nR ) d.
Rc nS sin2
Proof: See Appendix C.
By combining (17) and (18), we see that when the fixed
relay terminal uses the squaring approach, the full achievable
diversity order is min(nR , nD ).
D. Double Keyhole Effect with Squaring Approach
In this case where both hops are subject to the keyhole
effect, the PDF and CDF of 3 can be obtained from (6) and
(7), respectively, by applying a Jacobian transformation. Since
we consider a downlink communication scenario, i.e., nS >
nR , from (25) the asymptotic f3 () can be derived as
f3 ()
(large
)
(nS nR ) nR 1
.
(nS )(nR ) (1 )nR
(20)
nR
1) (nD nR ) (nS nR )
+
(nR + 1)
(nD )n2 R
(nS )n1 R
nR
Rc nS
.
(22)
2g
(large
)
i=1 (2i
(23)
1
g
ln Rc nS sin2 (nR ) (n n )
S
R
d.
+
n2 R
n1 R
(24)
Proof: See Appendix D.
3688
Fig. 2. SEP of (4, 2, 2) and (5, 4, 3)-MIMO AF relay systems for 8-PSK
modulation versus SNR when only the second hop experiences the keyhole
effect and the relay uses the linear approach.
Fig. 3. SEP of (4, 2, 2) and (5, 4, 3)-MIMO AF relay systems for 8-PSK
modulation versus SNR when both hops experience keyhole effect and the
relay uses the linear approach.
Fig. 4. SEP of (4, 3, 2) and (5, 4, 4)-MIMO AF relay systems for 8-PSK
modulation versus SNR when only the second hop experiences the keyhole
effect and the relay uses the squaring approach.
observed from the plots, the upper bound becomes very tight in
the high SNR regime and can be considered as the asymptotic
SEP. For further comparison, the two systems exhibit the same
diversity gain as expected. We see that as the number of
antennas increases, i.e., from (4, 2, 2) to (5, 4, 3), the slopes of
SEP curves remain unchanged and equal to one, which agrees
with our analytical conclusion in Section III-C.
For the squaring approach, Fig. 4 shows the SEP performance of the two different MIMO AF relay systems, i.e.,
(4, 3, 2) and (5, 4, 4), when only the second hop experiences
the keyhole effect. The SEP performance improves as the
min(nR , nD ) increases. Again, we observe an excellent agreement between the asymptotic and exact curves in the high SNR
regime. In Fig. 5, we plot the average SEP when both hops
DUONG et al.: KEYHOLE EFFECT IN DUAL-HOP MIMO AF RELAY TRANSMISSION WITH SPACE-TIME BLOCK CODES
3689
V. C ONCLUSION
We have investigated the effect of keyhole on the performance of downlink AF relay systems with OSTBC transmission. In particular, we have investigated the effect of keyhole
on the SEP performance when the AF relay operates in either
linear or squaring approaches. Our tractable asymptotic SEP
expressions reveal both diversity and array gains and provide
important insights for radio system designers. For the case
when only the second hop suffers from the keyhole effect, we
have suggested to apply the linear approach at the relay for
obtaining the full achievable diversity gain of min(nR , nD )
while keeping low complexity for the relay. In contrast, for a
more severe scenario where both hops are keyhole channels,
the squaring approach should be used to keep the diversity
order as min(nR , nD ) since the linear approach does not offer
any diversity gain.
A PPENDIX A: P ROOF OF T HEOREM 1
Fig. 6. SEP of (6, nR , 2) and (7, nR , 3)-MIMO AF relay systems for 8-PSK
modulation versus SNR when only the second hop experiences the keyhole
effect. For comparison, SEPs for direct link with keyhole and single antenna
relaying link are also shown.
are subject to keyhole fading. Three specific system configurations, i.e., (5, 4, 4), (5, 4, 3), and (4, 2, 3), corresponding to the
three conditions in the Section III-D (i.e., nR = nD , nR > nD ,
and nR < nD ), are used. In the three cases, our asymptotic
results are seen to converge to the respective exact curves for
relatively high SNR levels (SNR > 20 dB). As expected, the
best performance among the three examples is achieved for
(5, 4, 4).
To further demonstrate the cooperative diversity derived in
the previous section, we plot the SEP for (6, nR , 2) with the
linear approach and varying nR from three to five and for
(7, nR , 3) with the squaring approach and varying nR from
four to six. For comparison, we also plot the SEP for single-
tnR 1 ln(t)
nS dt .
(26)
G2 s
0
1 + RLAc n1S t
3690
1 2 G2LA s
ln
(27)
(nR ) + (nS nR ) .
Rc nS
For the case nR = nD , we can find the MGF of LA as
(2 ) min(nR ,nD )
(nR )(nD )
nS
G2 1 s
tmin(nR ,nD )1 1 + LA
t
dt.
Rc nS
0
MLA (s)
(large
)
(28)
(large
)
1 2 G2LA
s
Rc nS
min(nR ,nD )
By combining the two cases and using the fact that the exact
SEP of M -PSK modulation is given by [11, Eq. (21)]
g
1 M
(SRD)
Pe
=
MLA
d
(30)
0
sin2
, the asymptotic SEP of a dual-hop
where g = sin2 M
channel, i.e., S R D link, when the fixed relay terminal
operates in linear mode can be expressed as (10), which
completes our proof.
A PPENDIX B: P ROOF OF T HEOREM 2
We first derive the upper bound and note that
the derivation of lower bound can be followed
(up)
accordingly. By definition, the CDF of LA is
given by F (up) ()
=
Pr 1 < , 1 < 1c22
+
LA
1 2
1 2
Pr
< ,
< 1 . In addition, we have
c2
c2
%
&'
(
L
+
Pr (1 > , 1 2 < c2),
which then
yields
c2
F (up) () = F1 () + Pr < 1 < 2 . Since further
LA
manipulations of the exact F (up) () is cumbersome, we
LA
asymptotically apply the following identity
(large
)
1 2
<
F (up) () Pr (2 < c2 ) Pr
LA
c2
(31)
+ Pr (2 c2 ) Pr (1 < ) .
f1 (x) =
2xnS /2
(n )[ /(Rc nS )]nS /2
S 1
x
KnS 2
.
1 /(Rc nS )
(32)
F1 (x) = 1
(33)
(large
)
(small z)
1
.
(nS 1)1 s/(Rc nS )
(1b)
(1+ab)
(37)
2
KnD nR 2
d2
2
0
Rc nS
=
,
(38)
2
1 2 GLA (nS 1)(nR 1)(nD 1)
s
where (38) is obtained by making use of [18, Eq. (6.561.16)].
Next, combining (37) and (38) with (35), the high SNR
(up)
expression of the MGF of LA can be rewritten as
Rc nS
M (up) (s) =
+
.
LA
2 G2LA (nR 1)(nD 1)
1 (nS 1)
s
(39)
DUONG et al.: KEYHOLE EFFECT IN DUAL-HOP MIMO AF RELAY TRANSMISSION WITH SPACE-TIME BLOCK CODES
(lo)
(large
)
min(n ,n )1
R
D
(|nD nR |) 2
.
min(n
R ,nD )
(nR )(nD ) (2 )
(40)
i=1 (2i 1)
fZ (0) ,
Pe(SRD)
(d + 1)!
2g
z d
(41)
3
where Z = 22+
. Our main objective now is to study the
3
behavior of fZ (z) in the high SNR regime. Let us write the
PDF of Z as
)
*
F z2 + z f (z + x)
3
2
x
fZ (z) = f2 (z) +
dx.
z
0
(42)
i=0
I1
+
2
+
d + 1 i F3 zx +z ++ d+1i f2 (z + x) ++
i
z
+
+ dx .
i
z d+1i
z=0
z=0
&'
(
d+1
I2
(43)
The first summand I1 can be easily obtained from (40) as
$
(|nD nR |) (min(nR ,nD ))
if d = min(nR , nD ) 1,
(nR )(nD ) (2
)min(nR ,nD )
I1 =
0
if d < min(nR , nD ) 1.
(44)
To calculate the second summand I2 , we use the i-th order
derivative of the composite function [18, Eq. 0.430] which
results in
+
2
i u1
i F3 t = zx + z ++
u (1)v
+
tv (0)
=
+
v
z i
u!
+
u=1 v=0
z=0
+
+
i tuv ++
u F3 (t) ++
. (45)
tu +z=0 z uv +z=0
+
2
+
It is observed that only v = 0 makes tv (0) = ( zx + z)v +
=0
3691
f2 (t) F3 (z) e Rc nS dt
0
st
To proceed, we substitute (7) into (48) and make use of the fact
that 3 is the sum of nS nR independent exponential variates.
(up)
After several manipulations, the MGF of SA can be reexpressed as
st
Af2 (t) e Rc nS dt
M (up) (s) =
SA
%0
&'
(
I3
st
+
Bf3 (t) e Rc nS dt,
(49)
0
%
&'
(
I4
3692
(large
)
nS
nR 1
1
2 k nR k!
(n
)
nR +k
R
1 2
k=0
1
s
2
nR +k1 ( 1 + Rc nS )t
t
e
ln
dt,
t
0
)
*
2
s
nS nR 1
(large
) (nR + k) ln Rc nS (nR + k)
(nR )2 k1 n2 R k!
k=0
n +k
Rc nS R
,
(52)
s
(large
)
(large
)
n
R 1
k=0
(nR k)(nS nR + k)
(nR )(nS nR )k2 n1 S nR k!
Rc nS
s
nS nR +k
.
(53)
nR +k
nS nR +k
Since I3 and I4 are proportional to 1
and 1
with k being an integer, respectively, I4 can be neglected as
compared to I3 . Then by selecting the index k = 0 (higher
values of k can be omitted) for I3 , the asymptotic MGF of
(up)
SA is given by
2
s
n
(large
) ln Rc nS (nR )
Rc nS R
. (54)
M (up) (s)
SA
(nR )n2 R
s
Using (54), the SEP behavior in the high SNR regime pertaining to the case of nR = nD can be given by (18), which
concludes our proof.
A PPENDIX D: P ROOF OF T HEOREM 4
When nR > nD , by following the same approach as in
Section III-C, we can easily obtain (21). For the case nR < nD ,
we can obtain I1 given in (43) as
$
(nD nR )
if d = nR 1,
(nD )(2
)n R
I1 =
(55)
0
if d < nR 1.
In Section III-C, I2 given in (43) is zero. In contrast, I2
now becomes non-zero and the index i can be selected as
i = d + 1 = nR , which then allows us to rewrite the
(nS nR )
right-hand-side of (45) as (n
)nR . In addition, the term
S )(1
+
d+1i f2 (z+x) +
of I2 given in (43) now becomes f2 (x)
+
z d+1i
z=0
(nS nR )
and is given by I2 = (n
)nR . Utilizing this result and
S )(1
pulling (55) together with (43) and (41), the asymptotic SEP
is expressed as (22). The derivation for the case nR = nD
follows the same pattern as in Section III-C and therefore is
omitted for brevity. Specifically, the result of I3 can be shown
as
)
*
1
s
n
ln
(n
)
R
(large
)
Rc nS
Rc nS R
I3
.
(56)
(nR )n2 R
s
DUONG et al.: KEYHOLE EFFECT IN DUAL-HOP MIMO AF RELAY TRANSMISSION WITH SPACE-TIME BLOCK CODES
3693