SM Mimo Mod
SM Mimo Mod
SM Mimo Mod
I. I NTRODUCTION
DI RENZO AND HAAS: BIT ERROR PROBABILITY OF SM-MIMO OVER GENERALIZED FADING CHANNELS
Since its introduction, many researchers have been studying the performance of SM-MIMO over fading channels
either through time-consuming Monte Carlo simulations or
through analytical modeling. Despite being more challenging,
analytical modeling is, in general, preferred because of the
following:
1) It allows a deeper understanding of the system performance.
2) It enables a simpler comparison with other competing
transmission technologies.
3) It provides opportunities for system optimization.
A careful look at current state-of-the-art reveals the following contributions. The vast majority of analytical frameworks
are useful for a special case of SM, which is called spaceshift-keying (SSK) modulation [8]. SSK modulation is a lowcomplexity and low-data-rate version of SM where only the
spatial constellation diagram is exploited for data modulation.
This transmission technology is extensively studied in [23]
[29] for various MIMO setups and channel models. The analytical study conducted in [23][29] has highlighted fundamental
properties of the spatial constellation diagram with respect to
fading severity, channel correlation, power imbalance, transmit
diversity, as well as robustness to multiple-access interference
and channel estimation errors. However, these frameworks are
of limited use to understand the performance of SM as the
signal constellation diagram is neglected. On the other hand,
analytical modeling of SM is limited to a very few papers,
which have various limitations. In [5] and [30], the authors
study a suboptimal receiver design, and the symbol error
probability is computed by resorting to numerical integrations,
which are not easy to compute and, in some cases, are numerically unstable. In [6], the authors study the average bit
error probability (ABEP) of the maximum-likelihood (ML) optimum receiver over independent identically distributed (i.i.d.)
Rayleigh fading. The framework is based on the union-bound
method. Due to the absence of a scaling factor in the final
formula [31], this bound is rather weak. Furthermore, and
more importantly, the framework is valid for real-valued signal
constellation points, and thus, it cannot be used, e.g., for PSK
and QAM. In [9], the authors provide a first closed-form framework to compute the ABEP of SM-MIMO over generically
correlated Rician fading and for arbitrary modulation schemes.
In addition, the framework highlights some fundamental behaviors of SM, such as its incapability to achieve transmit diversity [17]. However, [9] has the following important
limitations.
1) The analysis is applicable to Rician fading only.
2) The framework is based on conventional union-bound
methods, whose accuracy degrades for high modulation
orders and small numbers of receive antennas.
3) Signal and spatial constellation diagrams are treated as a
single entity, which does not highlight the role played by
each of them for various fading channels and modulation
schemes.
In this depicted context, this paper is aimed at proposing
a comprehensive analytical framework to study the ABEP of
1125
SM-MIMO over generalized fading channels. More specifically, we are interested in studying the following:
1) the interplay of signal and spatial constellation diagrams
and whether an optimal allocation of the information bits
between them exists;
2) the effect of adding the spatial constellation diagram
on top of the signal constellation diagram, and whether
conventional signal modulation schemes (e.g., PSK and
QAM) are the best choice for SM, or whether new
optimal modulation schemes should be designed to fully
exploit the benefits of this hybrid modulation scheme;
3) the advantages and disadvantages of SM with respect to
conventional single-antenna PSK/QAM and SSK modulations as a function of the MIMO setup and fading
scenario.
To this end, we propose a new analytical framework that
foresees to write the ABEP as the summation of the following
three contributions:
1) a term that mainly depends on the signal constellation
diagram;
2) a term that mainly depends on the spatial constellation
diagram;
3) a joint term that depends on both constellation diagrams
and highlights their interactions.
This new analytical formulation allows us to introduce an
improved union-bound method that is more accurate than
conventional union-bound methods and enables a deeper understanding of the role played by both information carrying
units for various channel models and MIMO setups. Some of
the most important and general results of this paper are as
follows.
1) We show that SM outperforms single-antenna PSK/QAM
schemes only for data rates greater than 2 bits per channel
use (bpcu), and that SM with QAM-modulated points
in the signal constellation diagram is never superior to
single-antenna QAM for single-antenna receivers. On the
other hand, for multi-antenna receivers and higher data
rates, SM can significantly outperform single-antenna
PSK/QAM. Closed-form expressions of this performance
gain over i.i.d. Rayleigh fading are given.
2) Unlike single-antenna systems, where QAM always outperforms PSK, we show that SM with PSK-modulated
points in the signal constellation diagram can outperform
SM with QAM-modulated points. This is due to the
interactions of signal and spatial constellation diagrams,
and for i.i.d. Rayleigh fading, we show analytically that
the ABEP of SM does not depend only on the Euclidean
distance of the points in the signal constellation diagram.
This provides important information on how to conceive
new modulation schemes that are specifically optimized
for SM.
3) By considering, as a case study, Nakagami-m fading, we
show that the fading severity mNak plays an important
role on the performance of SM. More specifically, like
conventional modulation schemes, the ABEP gets worse
for wireless channel with fading more severe (0.5
mNak < 1) than Rayleigh. However, with respect to
1126
A. Notation
Throughout this paper, we use the notation as follows.
1) We adopt
a complex envelope signal representation.
2) j = 1 is the imaginary unit.
3) () is the complex-conjugate operator.
+
4) (x y)(t) = x()y(t )d is the convolution of
x() and y().
5) | | is the absolute value.
6) E{} is the expectation operator.
7) Re{} and Im{} are real and imaginary part operators.
+
8) (x) = 0 x1 exp()d is the Gamma function.
+
9) Q(x) = (1/ 2) x exp(t2 /2)dt is the Q-function.
10) Em is the average energy per transmission.
11) Tm is the transmission time slot of each message.
+
12) w() is the unit energy, i.e., |w(t)|2 dt = 1, elementary transmitted pulse waveform that is nonzero only in
[0, Tm ].
from
13) The signal related to (nt , l ) and transmitted
I 2
2
(R
l ) + (l ) ,
arctan(Il /R
l ).
and l =
15) Pr{} denotes probability.
16) The noise nr at the input of the nr th (nr = 1, 2, . . . , Nr )
receive antenna is a complex additive white Gaussian
noise (AWGN) process with power spectral density N0
per dimension. Across the receive antennas, the noises
nr are statistically independent.
17) We introduce = Em /(4N0 ).
18) () is the Dirac delta function.
19) x is the function that rounds x to the closest integer.
20) is the
function.
floor
)
(a
21) Gm,n
.| p
is the Meijer-G function defined in [32,
p,q
(bq )
Ch. 8, p. 519].
22) MX (s) = E{exp(sX)} is the moment generating
function (MGF) of random variable (RV) X.
d
23) X = Y denotes that the RVs X and Y are equal in
distribution or law, i.e., they have the same probability
density function (pdf).
24) (x!) is the factorial of x.
25) ()1 is the inverse of a square matrix.
26) Iv () is the modified Bessel function of first kind and
v [33, Ch. 9].
order
27) is the binomial coefficient.
28) NH ((
nt , l ) (nt , l )) is the Hamming distance of
messages (
nt , l ) and (nt , l ), i.e., the number of
positions where the information bits are different, with
nt , l ) (nt , l )) log2 (Nt M ).
0 NH ((
B. Channel Model
We consider the frequency-flat slowly-varying fading channel model as follows:
1) hnt ,nr () = nt ,nr ( nt ,nr ) is the channel impulse
response of the wireless link from the nt th transmit
DI RENZO AND HAAS: BIT ERROR PROBABILITY OF SM-MIMO OVER GENERALIZED FADING CHANNELS
2) The delays nt ,nr are assumed to be known at the receiver, i.e., perfect time synchronization is considered. In
addition, we assume 1,1
= 1,2
= ...
= Nt ,Nr , which
is a realistic assumption when the distance between transmitter and receiver is much larger than the spacing of
the antenna elements [24]. Due to these assumptions, the
delays nt ,nr are neglected in the next sections.
C. ML Optimum Detector
Let (
nt , l ) be the transmitted message.1 The signal rent , l ) is transmitted, is
ceived by the nr th receive antenna, if (
nt , l ) + nr (t)
znr (t) = sch,nr t| (
(1)
nt , l )) = (s(|(
nt , l )) hn t ,nr )(t) =
where
sch,nr (t|(
{D(nt , l )}
arg max
for nt =1,2,...,Nt and l=1,2,...,M
arg max
for nt =1,2,...,Nt and l=1,2,...,M
ABEP = E
1127
Nr
nr =1 T
m
Tm
Nr
= E(nt ,nt ) Q
|n t ,nr l nt ,nr l |2 .
(5)
nr=1
Nt
Nt
M
M
1
1
nt , l )
NH (
nt , l ) (nt , l ) Pr (
nt , l ) = (nt , l ) (
Nt M log2 (Nt M ) n =1
(3)
Nt
Nt
1
1
NH (
nt , l ) (nt , l ) APEP (
nt , l ) (nt , l )
Nt M log2 (Nt M ) n =1
(4)
t =1
l=1 n
l=1
ABEP
t =1
l=1 n
l=1
1128
The union bound in (4) has been used in [6],2 [9], and
[24][26]. However, as mentioned in Section I, it has some
limitations, as follows.
1) The roles played by spatial and signal constellation diagrams (and the related bit mapping) are hidden in the
fourfold summation.
2) It is not accurate enough for large M and small Nr [37],
as shown in Section VI.
3) Its computational complexity is the same, irrespective of
modulation scheme and fading channel, when, instead,
simpler formulas can be obtained in several cases.
A. Improved Upper Bound
To avoid the limitations of the conventional union bound
when used for performance analysis of SM, and, more importantly, to get more insights about the expected performance of
SM, we propose an improved upper bound. The new bound is
summarized in Proposition 1.
Proposition 1: The ABEP in (3) can be tightly upper
bounded as follows:
ABEP ABEPsignal + ABEPspatial + ABEPjoint
(6)
Nt
"
log2 (M )
(N
M
)
t
nt =1
M
"
ABEP
= 1 log2 (Nt )
ABEP
(l)
spatial
M log2 (Nt M )
SSK
l=1
Nt "
Nt
M
M
"
"
"
M
)
t
2
nt =1 l=1 n
t =nt =1
l=l=1
NH (
nt nt ) + NH (l l ) (nt , l , n
t , l )
(7)
M
M "
"
1
1
ABEPMOD (nt ) = M
log2 (M )
l=1l=1
NH (l l )E(nt ) Pr l = l |l
(8)
Nt "
Nt
"
1
1
nt =1 n
t =1
[NH (
nt nt )l (nt , n
t )]
and
1) NH (
nt nt ), NH (l l ) are the Hamming distances of the bits transmitted through spatial and signal
constellation diagrams, respectively;
2) E(nt ) {} is the expectation computed over the fading
channels from the nt th transmit antenna to the Nr receive
antennas; "
r
2
3) (nt ,nt ) = N
,n nt ,nr | ;
nr =1 |n
"Nr t r
4) (nt ,l ,nt ,l) = nr =1 |n t ,nr l nt ,nr l |2 ;
/2
t ) = (1/) 0 M(nt ,n t ) (
2l /2 sin2 ())d;
5) l (nt , n
/2
t , l ) = (1/) 0 M(nt , l , n t , ) (
/2
6) (nt , l , n
sin2 ())d.
2 In [6], the scaling factor 1/ log (N M ) is not present, which yields a weak
t
2
upper-bound [31].
DI RENZO AND HAAS: BIT ERROR PROBABILITY OF SM-MIMO OVER GENERALIZED FADING CHANNELS
1129
TABLE I
ABEPMOD () OF PSK AND QAM M ODULATIONS W ITH MRC AT THE R ECEIVER AND G RAY C ODING . F OR QAM M ODULATION , W E C ONSIDER
A
G ENERIC R ECTANGULAR M ODULATION S CHEME W ITH M = IM JM . S QUARE -QAM M ODULATION I S O BTAINED BY S ETTING IM = JM = M .
"Nr
T HE MGF OF (nt ) =
|hnt ,nr |2 , M(nt ) (), I S AVAILABLE IN C LOSED -F ORM IN [34] FOR M ANY C ORRELATED FADING C HANNELS . N OTE
nr =1
T HAT FADING C ORRELATION AT THE T RANSMITTER D OES NOT A FFECT ABEPMOD (), B UT FADING C ORRELATION AT THE R ECEIVER D OES
Let us consider the scenario with identically distributed fading at the transmitter. We study uncorrelated and correlated fading, where in the latter case, the term identically distributed
1130
means that all pairs of wireless links are equicorrelated. In for(s), M(nt ,n t ) (s) =
mulas, this implies M(nt ) (s) = MMOD
(s),
and
M
(s)
=
M
MSSK
(nt ,l ,n
(l ,) (s) for nt =
t ,)
l
l
1, 2, . . . , Nt and n
t = 1, 2, . . . , Nt , which means that the
t ).
MGFs are the same for each nt or for each pair (nt , n
Accordingly, the ABEP in Proposition 1 can be simplified, as
shown in Corollary 1.
Corollary 1: For identically distributed fading, (7) in Proposition 1 simplifies to (9), shown at the bottom of the page,
where ABEPMOD is the error probability in Table I with
(s). If a constant-modulus modulation is
M(nt ) (s) = MMOD
Nt log2 (Nt )
=
2 log2 (Nt M )
/2
2
0
1
MSSK
d .
2 sin2 ()
(10)
/2
2
0
1
MSSK
d . (11)
2 sin2 ()
0
MSSK
(20 s). Thus, the integral in (9) can be replaced by
l=1
l
l=1 NH (
l ) = (M 2 /2) log2 (M ) for any bit mapping. Finally,
some algebraic manipulations lead to (11). This concludes the proof.
Corollary 1 leads to two important considerations about the
performance of SM: 1) ABEPsignal and (9) show that, for
identically distributed fading, the ABEP of SM is independent
of the bit mapping of the spatial constellation diagram. This
result is reasonable and agrees with intuition: If the channels
are statistically identical, on average, the Euclidean distance of
pairs of channel impulse responses is the same. In this case,
the bit mapping has no role in determining the ABEP. On
the other hand, the complex-valued points of the signal constellation diagram have different Euclidean distances, and this
bit mapping plays an important role. 2) Under some realistic
assumptions (i.e., constant-modulus modulation and uniform
channel phases), ABEPjoint in (9), which in the most general
case depends on both spatial and signal constellation diagrams,
depends only on the signal constellation diagram. Thus, since
there are no terms in Table I, (10), and (11) that depend on both
constellation diagrams, we conclude that they can be optimized
individually. In particular, the best bit mapping for the signal
constellation diagram turns out to be the conventional one based
only on the Euclidean distance.
log2 (M )
ABEPsignal = log
ABEPMOD
2 (Nt M )
'
*
(
)
/2
M
2
"
log
(N
)
Nt
ABEP
1
1
t
2
l
MSSK
d
spatial = M log (Nt M ) 2
2 sin2 ()
2
l=1
0
'
*
+
,
(
)
/2
M
M "
"
N
log
(N
)
1
1
1
t
t
2
+ NH (l l )(Nt 1)
M(l ,) 2 sin2 () d
2
ABEPjoint = M log2 (Nt M ) l=1
l
l=l=1
(9)
DI RENZO AND HAAS: BIT ERROR PROBABILITY OF SM-MIMO OVER GENERALIZED FADING CHANNELS
Finally, we notice that, e.g., (10) and (11) are very simple to
compute and avoid the computation of fold summations on Nt
and M . This is an important difference with respect to other
frameworks available in the literature, where fourfold summations are always required, regardless of modulation scheme
and channel model [6], [9]. In addition, Corollary 1 simplifies
the frameworks in [24] and [26] for SSK modulation, as the
twofold summation can be avoided for some fading channels
and modulation schemes. Furthermore, we mention that Corollary 1 provides closed-form results if the MGFs, which depend
on the specific fading channel model, are available in closedform as well as if the related finite integral can be computed explicitly. In Section IV-B and C, we show some fading scenarios
(Nakagami-m and Rice fading with arbitrary fading parameters
and correlation) where the MGFs can be obtained in close-form.
In addition, in Section V, we study the i.i.d. Rayleigh fading
scenario where fold summations can be avoided and integrals
can be computed in closed-form, thus leading to a very simple
analytical framework for system analysis and optimization.
1131
t
E{n2 t ,nr }]2 } and mean square value Nak
(n ,n )
= E{n2 t ,nr }. We
(n ,n )
t
r
t
r
adopt the notation nt ,nr N (mNak
, Nak
). The ampli(nt ,nr ,
nt ,
nr )
tude correlation coefficient Nak
is defined as follows:
(n ,nr ,
nt ,
nr )
t
Nak
M(nt ,n t ) (s) =
(p ,p )
(m
+k +k )
2,2
sp11 sp33
0
0
(p22 ,p44 )
(mNak +k1 +k2 ) (mNak +k3 )
Fk
(s) = (1/4)sp22
sp44
1m
1mNak k1 k2
2
Nak k3
1,2
G2,2 sp ssp
22
44
0
0
(14)
where sp = s + (p/2).
Proof: See Appendix B. Formulas for Nr > 2 can be
obtained as described in Appendix B. For arbitrary Nr , the final
formula is given by the (2Nr 1)-fold series of the product of
(,)
Nr terms Fk ().
1 mNak
trid
2(4mNak 4) (mNak )
'
*
(p ,p )
(p ,p )
+
4
(k1 !)(k2 !)(k3 !)(k1 + mNak )(k2 + mNak )(k3 + mNak )
k1 =0 k2 =0 k3 =0
(13)
1132
(l)
(n ,nr )
t
nt ,nr = l nt ,nr , and nt ,nr N (mNak
(nt ,nr ;l)
(n
,n
)
t
r
Nak
= 2l Nak
.
(l)
(n ,nr ;l)
t
, Nak
2)
3)
) with
(l)
4)
5)
DI RENZO AND HAAS: BIT ERROR PROBABILITY OF SM-MIMO OVER GENERALIZED FADING CHANNELS
(l)
(l)
(l)
1133
(l)
Im{nt ,nr }
ABEPspatial =
ABEPjoint =
1
Nt log2 (Nt M )
1
Nt log2 (Nt M )
Nt "
Nt
"
'
nt =1 n
t =1
Nt
"
Nt
"
nt =1 n
t =nt =1
/2
0
+
MSSK
M log2 (M )
2
20
2 sin2 ()
)
d
,
+ NH (
nt nt )(M 1)
'
1
/2
0
MSSK
20
2 sin2 ()
)
d
(15)
1134
Nt log2 (Nt )
2
2
R 402 20 .
(17)
Proof: ABEPsignal follows from Corollary 1 by using the
known results summarized in Table I. ABEPspatial in (16) can
(s) = (1 + 402 s)Nr
be obtained from Corollary 1 with MSSK
[34, eq. (2.8)] and by computing the related integral with [34,
eq. (5A.4b)]. ABEPjoint in (16) can be computed from Corol" r
2 d
lary 1, i.e., (nt ,l ,nt ,l) = N
t ,nr
nr =1 |n
l nt ,nr l | =
"Nr
2
t ,nr
nr =1 |n
l nt ,nr l | , which for i.i.d. Rayleigh fading leads to M(l ,l) (s) = (1 + 202 (2l + 2l )s)Nr . The final integral can be computed using [34, Eq. (5A.4b)]. Finally,
"Mfollows from (16) with 2l = 0 for l = 1, 2, . . . , M ,
"M (17)
l=1
l l ) = (M /2) log2 (M ), and simple
l=1 NH (
algebraic manipulations. This concludes the proof.
The formulas in (16) and (17) provide important considerations about the performance of SM. For example, (16) shows
that, regardless of the signal constellation diagram, the bit
mapping on the spatial constellation diagram has no influence
on the performance of SM. On the other hand, the bit mapping
on the signal constellation diagram plays an important role
in ABEPjoint . In particular, while conventional bit mappings
(e.g., Gray coding) based on the Euclidean distance of the
signal constellation points turn out to be optimal to minimize
ABEPsignal , additional constraints might be introduced on the
optimal choice of the signal constellation diagram and on the
related bit mapping to minimize ABEPjoint (see Corollary 5 as
well). On the other hand, for a constant-modulus modulation,
1 Nr
Proof:
[40,
eq.
(14.4.18)]
and
some
algebra.
Nr
The high-SNR framework in (18) is simple and accurate and
sheds light on the performance of SM. By using [43], it enables
us to compute coding and diversity gains. In particular, the
diversity gain is Nr , whereas the coding gain depends on the
MIMO setup, i.e., Nt , M , and the spatial constellation diagram.
The impact of the signal constellation diagram comes into play
(M,N )
(M,N )
(M,N ,H)
only through spatialr , joint r , and joint r . More specifically, (18) provides the criterion to choose the points of the
signal constellation diagram, i.e., the moduli 2l that minimize
(M,N )
(M,N )
(M,N ,H)
the ABEP: spatialr , joint r , and joint r
should be kept
as small as possible for a given average energy constraint.
Thus, the Euclidean distance criterion used for ABEPsignal
along with the minimization of the coefficients above give the
cost functions that need to be jointly considered to optimize
the performance of SM. In Section VI, we show the very
log2 (M )
ABEPsignal = log
ABEPRayleigh
MOD
2 (Nt M )
"
1 log2 (Nt ) Nt
ABEPspatial = M
R 402 2l
log2 (Nt M ) 2
l=1
)),
) (
(
M +(
M "
"
Nt log2 (Nt )
1
1
2
2
2
=
+
(N
1)N
(
)
R
2
ABEP
joint
t
H
l
0
l
l
M
log
(N
M
)
2
t
l
2
(16)
l=1
l=l=1
,
+
Nr
1 Nt 1 log2 (Nt ) Nr 2Nr 1 (M,Nr )
ABEPspatial =
402
2
spatial
Nr
2 M log2 (Nt M )
+
2Nr 1 (M,Nr ,H) , 2 Nr
joint
+
joint =
joint
Nr
Nr
2 M log (Nt M )
M log (Nt M )
2
(18)
DI RENZO AND HAAS: BIT ERROR PROBABILITY OF SM-MIMO OVER GENERALIZED FADING CHANNELS
1135
TABLE II
SNR D IFFERENCE ( IN D ECIBELS ) B ETWEEN T RANSMISSION T ECHNOLOGY X AND Y . PSK AND QAM D ENOTE S INGLE -A NTENNA S CHEMES W ITH
G RAY C ODING . SM-PSK AND SM-QAM D ENOTE SM W ITH PSK AND QAM M ODULATION W ITH G RAY C ODING IN THE S IGNAL C ONSTELLATION
QAM
QAM
D IAGRAM. (M, Nt ) I S R EFERRED TO SM, W ITH M = IM JM FOR SM-QAM. M PSK AND M QAM = IM
JM
A RE R EFERRED
SSK
TO PSK AND QAM, R ESPECTIVELY . Nt
I S R EFERRED TO SSK. T HE C OMPARISON I S M ADE BY C ONSIDERING THE
S AME DATA R ATE R FOR E ACH T RANSMISSION T ECHNOLOGY, W HICH I MPLIES log2 (Nt M ) = log2 (M QAM ) =
log2 (M PSK ) = log2 (NtSSK ). OTHER S YMBOLS A RE D EFINED IN TABLE I
1
whereas for SSK, we get ABEPSSK = (Nt /2)R(402 ) =
2Nr 1
Nr
2 Nr
(Nt /2) Nr (40 )
from ABEPspatial in (18).
2
Due to space constraints, we cannot report all the details of
the analytical derivation, but we can only summarize the main
procedure used to compute the formulas in Table II. From (18)
and Table I, for any transmission technology X, the ABEP is
ABEPX = KX (02 X )Nr = KX (SNRX )Nr . Then, for any
pair ABEPX and ABEPY , we have ABEPX = ABEPY
1136
TABLE III
SNR (
IN D ECIBELS ) D IFFERENCE (S EE TABLE II FOR D EFINITION ) B ETWEEN SM-PSK/QAM AND S INGLE -A NTENNA PSK/QAM M ODULATION , AS
W ELL AS SM-QAM AND SSK M ODULATION . SM O UTPERFORMS ( I . E ., I T R EQUIRES L ESS T RANSMIT E NERGY PER S INGLE T RANSMISSION ) THE
(X/Y )
C OMPETING T RANSMISSION T ECHNOLOGY IF SNR > 0. F OR A G IVEN R ATE R IN bpcu, THE C ONSTELLATION S IZE I S 1) M (PSK,QAM) = 2R
FOR S INGLE -A NTENNA PSK/QAM M ODULATION ; 2) NtSSK = 2R FOR SSK M ODULATION ; AND 3) M Nt = 2R FOR SM, W HERE
Nt = 2, 4, 8 IN THE F IRST /S ECOND /T HIRD L INE OF E ACH ROW, R ESPECTIVELY. N.A. M EANS N OT AVAILABLE
DI RENZO AND HAAS: BIT ERROR PROBABILITY OF SM-MIMO OVER GENERALIZED FADING CHANNELS
1137
(M,N )
(M,N )
1138
as this minimizes the ABEP over i.i.d. fading channels. However, the price to pay for this additional improvement is the need
of larger antenna arrays at the transmitter. Therefore, there is
a clear tradeoff between the achievable performance and the
number of antennas that can be put on a transmitter and still
being able to keep the i.i.d. assumption. In any case, these
numerical examples corroborate the potential performance and
energy gain benefits of exploiting SSK for low-complexity
massive MIMO implementations [20].
C. Interplay of Signal- and Spatial-Constellation Diagrams
In this section, we wish to give a deeper look at the performance of SM for various configurations of signal and spatial
DI RENZO AND HAAS: BIT ERROR PROBABILITY OF SM-MIMO OVER GENERALIZED FADING CHANNELS
1139
3) For Nt = 2, SM-PSK outperforms SM-QAM, which substantiates the claims in Section V, whereas there is no
difference between them for Nt 4. In fact, in this latter
case, PSK and QAM lead to the same signal constellation
diagram. Thus, since PSK modulation is, in general,
simpler to be implemented as the power amplifiers at the
transmitter have less stringent linearity requirements [46],
then SM-PSK seems to be preferred to SM-QAM in all
cases.
If R = 5 bpcu, we have the following.
1) Nt = 8 is the best choice to minimize both the
ABEP and the size of the antenna array at the
transmitter.
2) For SM-PSK, the setup Nt = 4 is a very appealing configuration as the ABEP is close to the optimal value, but
the complexity of the transmitter is very low.
3) For Nt = 2, SM-QAM is definitely superior to SM-PSK
as the spatial constellation diagram has a low impact on
the overall performance.
4) For Nt = 4, SM-PSK is much better than SM-QAM, and
in particular, for SM-QAM, the net improvement when
moving from Nt = 2 to Nt = 4 is negligible.
5) For Nt 8, there is no difference between SM-PSK and
SM-QAM since they have the same signal constellation
diagram, and thus, SM-PSK is the best choice because it
is simpler to implement.
In addition, if R = 6 bpcu, we have a behavior similar to
R = 4 bpcu and R = 5 bpcu. Thus, we focus only on two
main aspects: 1) The best ABEP is obtained when Nt = 16.
By comparing the best MIMO setup for different rates, we
conclude that the best Nt increases with the rate, and the rule of
thumb seems to be double the number of transmit antennas for
each 1 bpcu increase of the data rate. Although this increase
of the rate might appear to be small for every doubling of the
number of antennas at the transmitter, this multiplexing gain is
obtained with a single active RF chain and with low (singlestream) decoding complexity. These two features agree with
current trends in MIMO research [20], [22], as mentioned in
Section I. 2) If Nt = 8, SM-PSK is a very appealing choice
to achieve very good performance with low complexity. In
addition, we emphasize the good accuracy of our framework
in all the analyzed scenarios.
Finally, we close this section by mentioning that the good
performance offered by SM-PSK against SM-QAM for some
MIMO setups and rates brings to our attention that SM-PSK
might be a good candidate for energy efficient applications. As
a matter of fact, in [46], it is mentioned that a non-negligible
percentage of the energy consumption at the base stations of
current cellular networks is due to the linearity requirements
of the power amplifiers, which are needed to use high-order
modulation schemes (such as QAM), and which result in
the low power efficiency of the amplifiers. Furthermore, in
[47, p. 12], it is clearly stated that this power inefficiency significantly contributes to the so-called quiescent energy, which is
independent of the amount of transmitted data and thus should
be reduced as much as possible.
Fig. 9. ABEP against Em /N0 over i.i.d. Nakagami-m fading (mNak = 1.0,
i.e., Rayleigh, Nr = 2, and rate R = 6 bpcu). Performance comparison and
accuracy of the analytical framework for SM-QAM, QAM, and SSK.
Fig. 10. ABEP against Em /N0 over i.i.d. Nakagami-m fading (mNak = 0.5
and mNak = 1.5, Nr = 2, and rate R = 6 bpcu). Performance comparison
and accuracy of the analytical framework for SM-QAM, QAM, and SSK.
1140
Fig. 11. ABEP of SM-QAM against Em /N0 over correlated (at the transmitter) and identically distributed Nakagami-m fading (mNak = 0.5 and
mNak = 1.5, Nr = 2, and rate R = 6 bpcu). Performance comparison and
accuracy of the analytical framework for M = 2 and Nt = 32.
Fig. 12. ABEP of SM-QAM against Em /N0 over correlated (at the transmitter) and identically distributed Nakagami-m fading (mNak = 0.5 and
mNak = 1.5, Nr = 2, and rate R = 6 bpcu). Performance comparison and
accuracy of the analytical framework for M = 32 and Nt = 2.
Fig. 13. ABEP of SM-QAM against Em /N0 over correlated (at the receiver)
and identically distributed Nakagami-m fading (mNak = 0.5 and mNak =
1.5, Nr = 2, and rate R = 6 bpcu). Performance comparison and accuracy
of the analytical framework for M = 2 and Nt = 32.
DI RENZO AND HAAS: BIT ERROR PROBABILITY OF SM-MIMO OVER GENERALIZED FADING CHANNELS
1141
Fig. 14. ABEP of SM-QAM against Em /N0 over correlated (at the receiver)
and identically distributed Nakagami-m fading (mNak = 0.5 and mNak =
1.5, Nr = 2, and rate R = 6 bpcu). Performance comparison and accuracy
of the analytical framework for M = 32 and Nt = 2.
In this paper, we have proposed a comprehensive framework for the analysis of SM-MIMO over generalized fading
channels. The framework is applicable to a large variety of
correlated fading models and MIMO setups. Furthermore, and
more importantly, by carefully analyzing the obtained formulas,
we have derived important information about the performance
of SM over fading channels, including the effect of fading
severity, the achievable diversity gain, along with the impact
of the signal constellation diagram. It has been shown that the
modulation scheme used in the signal constellation diagram
significantly affects the performance, and for i.i.d. Rayleigh
fading, closed-form expressions for its optimization have been
proposed. Finally, we have conducted an extensive simulation
campaign to validate the analytical derivation and have showcased important trends about the performance of SM for a large
variety of fading scenarios and MIMO setups. We believe that
our frameworks can be very useful to understand fundamental
behaviors and tradeoffs of SM as well as can be efficiently used
for system optimization.
A PPENDIX A
P ROOF OF P ROPOSITION 1
Before going into the details of the proof, let us analyze
the Hamming distance NH ((
nt , l ) (nt , l )) of messages
nt , l ) (nt , l ))
(
nt , l ) and (nt , l ). In particular, NH ((
is equal to the number of different bits between the messages.
Since a bit error might occur when 1) only the antenna index is wrongly detected; 2) only the signal-modulated point
is wrongly detected; or 3) both antenna index and signalmodulated point are wrongly detected, then we conclude that
nt , l )
the total number of bits in error is given by NH ((
nt nt ) + NH (l l ), where NH (
nt
(nt , l )) = NH (
nt ) and NH (l l ) are defined in Proposition 1. This remark
is used to compute (6)(8), and it is important to highlight the
role played by the bit mapping in each constellation diagram.
Proposition 1 can be obtained as follows:
1) ABEPsignal is obtained from (4) by grouping together
all the terms for which n
t = nt and l = l, and by
noticing the following: a) NH (
nt nt ) = 0 if n
t = nt ;
and b) (5)reduces to APEP((
nt , l ) (nt , l )) =
" r
2
E (nt ) {Q( |l l |2 N
nr =1 |nt ,nr | ) }. Then,
ABEPsignal = ABEPbound
signal in (4) reduces to (19), shown
at the bottom of the next page.
2) It can readily be noticed that ABEPbound
MOD (nt ) is the union
bound of a conventional modulation scheme [34], where
a) only the nt th transmit antenna is active, and b) we have
the same constellation diagram as the signal constellation diagram of SM. More specifically, ABEPbound
MOD (nt )
is the ABEP of a single-inputmultiple-output system
1142
= E exp s
=E
Nr
|n t ,nr nt ,nr |
exp s|n t ,nr nt ,nr |2
= E
Nr
1
Nr
1
exp
nr =1
sn2 t ,nr
Nr
1
exp sn2 t ,nr
nr =1
Nr
1
(21)
nr =1
exp sn2 t ,nr exp sn2 t ,nr
nr =1
(22)
*
2
nr =1
nr =1
nr =1
Nr
1
Nr
1
M(nt ,n t ) (s)
'
in
0 r
E { N
t ,nr nt ,nr cos(n
t ,nr nt ,nr )]}
nr =1 exp[2sn
(20). It can be obtained as
exp 2sn t ,nr nt ,nr
nr =1
cos(n t ,nr nt ,nr )
(20)
bound
ABEPsignal =
1 log2 (M )
Nt log2 (Nt M )
bound
ABEPMOD (nt ) =
Nt
"
ABEPbound
MOD (nt )
'
23
4 *
Nr
M
M "
"
"
|l l |2
|nt ,nr |2
NH (l l )E(nt ) Q
nt =1
1
1
M log2 (M )
l=1
l=1
nr =1
(19)
DI RENZO AND HAAS: BIT ERROR PROBABILITY OF SM-MIMO OVER GENERALIZED FADING CHANNELS
1143
2
2
2
2
M(nt ,n t ) (s) =
exp s1,1
exp s2,1
I0 (2s1,1 2,1 ) exp s1,2
exp s2,2
I0 (2s1,2 2,2 ) f ()d
%
&
mNak
p44 2
|1
trid |
2
2
2
ImNak 1 (|p12 |1,1 1,2 )
f () = 2(mNak 1) (m ) 1,1 2,2 exp 2 2,2 |p12 |(mNak 1) 1,1 exp p211 1,1
Nak
2
ImNak 1 (|p34 |2,1 2,2 )
|p34 |(mNak 1) 2,1 exp p233 2,1
(23)
+
2
+
2mNak +2k1 1 2mNak +2k2 +2k3 1
(p11 ,p33 )
F
(s)
=
1,1
2,1
exp s + p211 1,1
0
0
2
(p ,p )
2mNak +2k1 +2k2 1 2mNak +2k3 1
Fk 22 44 (s) =
1,2
2,2
exp s + p222 1,2
0
0
2
= trid in (23). 1) The pdf in (23) requires the correlation matrix of the Gaussian RVs associated to the fading
envelopes. This matrix can be computed from the amplitude
(nt ,nr ,
nt ,
nr )
by using the procedure in
correlation coefficient Nak
(nt ,nr )
[42, Sec. III]. 2) For arbitrary and unequal values of Nak
,
the Green method in [41], which is given under the assumption
(nt ,nr )
= 1 for nt = 1, 2, . . . , Nt and nr = 1, 2, . . . , Nr ,
that Nak
must be generalized. More specifically, the coefficients ui in
[41, eq. (9)], which are needed to compute trid , take the form
ui = (i, i)/vi , where (i, i) is the entry of located in the
ith row and in the ith column, and vi are the coefficients to
be computed by solving the nonlinear system of equations in
[41, eq. (10)].
R EFERENCES
[1] Y. Chau and S.-H. Yu, Space modulation on wireless fading channels,
in Proc. IEEE Veh. Technol. Conf., Oct. 2001, vol. 3, pp. 16681671.
[2] S. Song, Y. Yang, Q. Xiong, K. Xie, B.-J. Jeong, and B. Jiao, A channel
hopping technique I: Theoretical studies on band efficiency and capacity,
in Proc. IEEE Int. Conf. Commun., Circuits Syst., Jun. 2004, vol. 1,
pp. 229233.
[3] R. Y. Mesleh, H. Haas, C. W. Ahn, and S. Yun, Spatial modulationA
new low complexity spectral efficiency enhancing technique, in Proc.
IEEE Int. Conf. Commun. Netw. China, Oct. 2006, pp. 15.
[4] M. Di Renzo, H. Haas, and P. M. Grant, Spatial modulation for multipleantenna wireless systemsA survey, IEEE Commun. Mag., vol. 49,
no. 12, pp. 182191, Dec. 2011.
[5] R. Y. Mesleh, H. Haas, S. Sinanovic, C. W. Ahn, and S. Yun, Spatial
modulation, IEEE Trans. Veh. Technol., vol. 57, no. 4, pp. 22282241,
Jul. 2008.
[6] J. Jeganathan, A. Ghrayeb, and L. Szczecinski, Spatial modulation:
Optimal detection and performance analysis, IEEE Commun. Lett.,
vol. 12, no. 8, pp. 545547, Aug. 2008.
[7] Y. Yang and B. Jiao, Information-guided channel-hopping for high
data rate wireless communication, IEEE Commun. Lett., vol. 12, no. 4,
pp. 225227, Apr. 2008.
[8] J. Jeganathan, A. Ghrayeb, L. Szczecinski, and A. Ceron, Space shift
keying modulation for MIMO channels, IEEE Trans. Wireless Commun.,
vol. 8, no. 7, pp. 36923703, Jul. 2009.
(24)
1144
[26] M. Di Renzo and H. Haas, Space shift keying (SSK-) MIMO over correlated Rician fading channels: Performance analysis and a new method for
transmit-diversity, IEEE Trans. Commun., vol. 59, no. 1, pp. 116129,
Jan. 2011.
[27] M. Di Renzo and H. Haas, Space shift keying (SSK) modulation: On
the transmit-diversity/multiplexing trade-off, in Proc. IEEE Int. Conf.
Commun., Jun. 2011, pp. 16.
[28] M. Di Renzo and H. Haas, Bit error probability of space shift keying
MIMO over multiple-access independent fading channels, IEEE Trans.
Veh. Technol., vol. 60, no. 8, pp. 36943711, Oct. 2011.
[29] M. Di Renzo, D. De Leonardis, F. Graziosi, and H. Haas,
Space shift keying (SSK-) MIMO with practical channel estimates,
IEEE Trans. Commun., 2012, to be published. [Online]. Available:
http://arxiv.org/pdf/1201.4793v1.pdf
[30] A. Alshamali and B. Quza, Performance of spatial modulation in correlated and uncorrelated Nakagami fading channel, J. Commun., vol. 4,
no. 3, pp. 170174, Apr. 2009.
[31] M. Di Renzo, R. Y. Mesleh, H. Haas, and P. M. Grant, Upper bounds
for the analysis of trellis coded spatial modulation over correlated fading
channels, in Proc. IEEE Veh. Technol. Conf., May 2010, pp. 15.
[32] A. P. Prudnikov, Y. A. Brychkov, and O. I. Marichev, Integrals and Series:
More Special Functions. Moscow, Russia: Fizmatlit, 2003.
[33] M. Abramowitz and I. A. Stegun, Handbook of Mathematical Functions
with Formulas, Graphs, and Mathematical Tables, 9th ed. New York:
Dover, 1972.
[34] M. K. Simon and M.-S. Alouini, Digital Communication over Fading
Channels, 1st ed. Hoboken, NJ: Wiley, 2000.
[35] H. L. Van Trees, Detection, Estimation, and Modulation Theory, Part I.
Hoboken, NJ: Wiley, 2001.
[36] M. Irshid and I. Salous, Bit error probability for coherent M-ary PSK
systems, IEEE Trans. Commun., vol. 39, no. 3, pp. 349352, Mar. 1991.
[37] A. Hedayat, H. Shah, and A. Nosratinia, Analysis of space-time coding in
correlated fading channels, IEEE Trans. Wireless Commun., vol. 4, no. 6,
pp. 28822891, Nov. 2005.
[38] J. Lassing, E. G. Strom, E. Agrell, and T. Ottosson, Computation of the
exact bit-error rate of coherent M-ary PSK with Gray code bit mapping,
IEEE Trans. Commun., vol. 51, no. 11, pp. 17581760, Nov. 2003.
[39] K. Cho and D. Yoon, On the general BER expression of one- and twodimensional amplitude modulations, IEEE Trans. Commun., vol. 50,
no. 7, pp. 10741080, Jul. 2002.
[40] J. Proakis, Digital Communications, 4th ed. New York: McGraw-Hill,
2000.
[41] G. K. Karagiannidis, D. A. Zogas, and S. A. Kotsopoulos, An efficient
approach to multivariate Nakagami- m distribution using Greens matrix
approximation, IEEE Trans. Wireless Commun., vol. 2, no. 5, pp. 883
889, Sep. 2003.
[42] Q. T. Zhang, A decomposition technique for efficient generation of correlated Nakagami fading channels, IEEE J. Sel. Areas Commun., vol. 18,
no. 11, pp. 23852392, Nov. 2000.
[43] Z. Wang and G. B. Giannakis, A simple and general parameterization
quantifying performance in fading channels, IEEE Trans. Commun.,
vol. 51, no. 8, pp. 13891398, Aug. 2003.
[44] M. Di Renzo and H. Haas, Bit error probability of space modulation
over Nakagami- m fading: Asymptotic analysis, IEEE Commun. Lett.,
vol. 15, no. 10, pp. 10261028, Oct. 2011.
[45] J. Cheng and T. Berger, Capacity of a class of fading channels with channel state information (CSI) feedback, in Proc. Allerton Conf. Commun.
Control, Comput., Oct. 2001, pp. 11521160.
[46] Z. Hasan, H. Boostanimehr, and V. K. Bhargava, Green cellular networks: A survey, some research issues and challenges, IEEE Commun.
Surveys Tuts., vol. 13, no. 4, pp. 524540, Fourth Quarter, 2011.
[47] S. D. Gray, Theoretical and practical considerations for the design of
green radio networks, in Proc. IEEE Veh. Technol. Conf., Budapest,
Hungary, May 2011. [Online]. Available: http://www.ieeevtc.org/
conf-admin/vtc2011spring/5.pdf