Iterative Soft Decision Based Complex K-Best MIMO Decoder
Iterative Soft Decision Based Complex K-Best MIMO Decoder
Choi
Department of ECE
Texas A&M University
College Station, Tx- 77840, USA
Gwan S. Choi
Department of ECE
Texas A&M University
College Station, Tx- 77840, USA
Abstract
This paper presents an iterative soft decision based complex multiple input multiple output
(MIMO) decoding algorithm, which reduces the complexity of Maximum Likelihood (ML) detector.
We develop a novel iterative complex K-best decoder exploiting the techniques of lattice
reduction for 8 8 MIMO. Besides list size, a new adjustable variable has been introduced in
order to control the on-demand child expansion. Following this method, we obtain 6.9 to 8.0 dB
improvement over real domain K-best decoder and 1.4 to 2.5 dB better performance compared to
iterative conventional complex decoder for 4th iteration and 64-QAM modulation scheme. We
also demonstrate the significance of new parameter on bit error rate. The proposed decoder not
only increases the performance, but also reduces the computational complexity to a certain level.
Keywords: Complex K-best Algorithm, MIMO, Lattice Reduction, Iterative Soft Decoding, SE
Enumeration.
1. INTRODUCTION
With the advancement of wireless system, MIMO has been acclaimed by different wireless
standards such as IEEE 802.11n, IEEE 802.16e to achieve high data rates and performance with
ML or near-ML algorithms. Most of these standards have a specified minimum error rate to
guarantee quality of service (QoS), which is either in bit error rate (BER) or packet error rate
(PER) (e.g., 10 is specified as maximum tolerable BER according to IEEE 802.11n standard
[1]).
The main challenge behind MIMO system is maintaining the performance of the receiver with low
complexity. Several algorithms have been proposed to address the issue, offering different
tradeoffs between complexity and performance. The ML detector minimizes BER performance
through exhaustive search. However, with increased number of transmitting and receiving
antennas, and bits in modulation, the complexity grows exponentially [2, 3]. In contrast, suboptimal detectors with polynomial complexity such as zero forcing (ZF), minimum mean square
error (MMSE) detectors etc. have been developed with significant performance loss.
Recently, lattice reduction (LR) has been proposed in order to achieve high performance, yielding
much less complexity than the conventional K-best decoder [4, 5, 6]. LR-aided detector can
achieve the same diversity as of ML at the cost of some performance loss [7, 8]. Later, it is
implemented in complex domain [9]. All of these suboptimal detectors mentioned above were
based on hard decision. Therefore, soft input-soft output (SISO) detectors, suitable for
subsequent iterative decoding are introduced in [10].
Signal Processing: An International Journal (SPIJ), Volume (9) : Issue (5) : 2015
54
Researchers further improved these SISO detectors with low density parity check (LDPC)
decoder [10, 11]. The output of LDPC decoder is fed back to the detector for updating the soft
value in order to achieve better performance. This is called iterative decoding. It can achieve near
Shannon performance with less computational complexity compared to other near Shannon
decoders [12].
This paper presents an iterative soft decision based complex K-best decoder, which enables the
utility of lattice reduction and complex SE enumeration in MIMO decoder. For soft decoding, the
log likelihood ratio (LLR) values for LDPC decoder are first computed from the K best candidates
and then, they are fed back to LLR update unit as inputs to the next iteration. This process of
iterations is continued until the gain of subsequent iteration becomes saturated. Then, the last
updated LLR values are forwarded to the LDPC decoder for final detection. Besides list size K, a
new tunable parameter Rlimit is introduced in order to enable adaption of the computation of ondemand child expansion for choosing the list candidates.
We compare the results of our proposed decoder with those of iterative conventional complex
decoder in [11] and LR-aided real decoder in [13]. For 8 8 MIMO, it achieves 6.9 to 8.0 dB
improvement over real domain K-best decoder and 1.4 to 2.5 dB better performance comparing
to conventional complex K-best decoder for 4th iteration and 64 QAM modulation scheme. If we
consider only 1st iteration, the gain increases to more than 9.0 dB and 2.9 dB comparing with
iterative real and complex decoder respectively. This provides significant gain in terms of practical
execution. The effect of Rlimit is also analyzed to achieve the maximum performance. The
introduction of Rlimit also leads to complexity reduction significantly.
The rest of the paper is organized as follow. In Section II we introduce soft decision based
complex MIMO decoding algorithm. Then, Section III presents the results of our studied cases
and Section IV concludes this paper with a brief overview.
Let us consider a MIMO system operating in M-QAM modulation scheme and having N transmit
antenna and N
receiving antenna as:
2. SYSTEM MODEL
= + ,
(1)
where s = [s , s , . s ] is the transmitted complex vector,
is complex channel matrix and
y = [y , y , . y ] is the symbol of N
dimensional received complex vector. Noise is a
N
dimensional complex additive white Gaussian noise (AWGN) with variance and power and
respectively. Noise can be represented by = [n , n , . n ] .
The detector solves for the transmitted signal by solving non-deterministic hard problem:
s! = arg %&() miny Hs& .
(2)
Here, s& is the candidate complex vector, and s! is the estimated transmitted vector [8]. In the
expression, . denotes 2-norm. This MIMO detection problem can be represented as the closest
point problem in [14], which is an exhaustive tree search through all the set of all possible lattice
points in S for the global best in terms of Euclidean distance between and
. Each
transmit antenna offers two level of search for real-domain MIMO detection: one for real and the
other for imaginary part. However, in complex domain detection method, only one level of search
is required for each antenna.
Signal Processing: An International Journal (SPIJ), Volume (9) : Issue (5) : 2015
55
ML detector performs a tree search through the set of all possible branches from root to node,
thereby achieves the best performance. However, its complexity increases exponentially with the
number of antennas and constellation bits. Therefore, suboptimal detectors such as LR-aided
detector comes into consideration.
2.1 LR-aided Decoder
Lattice reduction provides more orthogonal basis with short basis vector from a given integer
lattice. Hence, it effectively reduces the effects of noise and mitigates error propagation in MIMO
detection. Since lattice reduction is most effective for unconstrained boundary, the following
change is made to (2) to obtain a relaxed search.
s! = arg %&2 ) miny Hs& ,
(3)
: = < N
H
@,
= I
2
y
y; = A0
B,
(4)
where 0 is a N 1 zero matrix and I is a N N complex identity matrix [17, 18]. Then,
Eq. (3) can be represented as:
(5)
: s& .
s! = arg %&2 ) miny; H
: to obtain
C=
:D , where D is a unimodular matrix. Eq. (5)
Hence, lattice reduction is applied to
then become:
C z&H + 81 + j9 J,
s! = T arg minF&2 ) GHy& H
(6)
s! = Tz& + 81 + j9 .
(7)
: 81 + j9 9/2 is the complex received signal vector and 1 is a 2N 1
where y& = 8y; H
K
one matrix. After shifting and scaling, (6) became the following one.
Signal Processing: An International Journal (SPIJ), Volume (9) : Issue (5) : 2015
56
where Q is a 8N
+ N 9 8N
+ N 9 orthonormal matrix and R is a 8N
+ N 9 N upper
triangular matrix. Then (6)) is reformulated as
s! = T arg minF&2 ) RyQ Rz& + 81 + j9 S,
(8)
where yQ = Q y& . The error at each step is measured by the partial Euclidean distance (PED),
which is an accumulated errorr at a given level of the tree. For each level,, the K best nodes are
selected and passed to the next lev
level for consideration. At the end, all the K paths through the
tree are evaluated to find the one with minimum PED. The number of valid children for each
parent in LR-aided K-best
best algorithm is infinite. Hence, in our proposed algorithm
lgorithm, the infinite
children issue is addressed by calculating K best candidates using complex on-demand child
expansion.
2.3 Complex On-demand Expansion
Complex on-demand
demand expansion ex
exploits the principle of Schnorr-Euchner (SE) enumeration [9,
[
20]. The strategy employs expanding of a node (child) if and only if all of itits better siblings have
already been expanded and chosen as the partial candidates [21, 22].. Hence, in an order of strict
non-decreasing
decreasing error, K candidates are selected. In conventional complex SE enumeration,
expansion of a child can be of two types: Type I, where the expanded child has same imaginary
part as its parent, i.e. enumerating along the real axis; and Type II for allll other cases. The
example of conventional complex on
on-demand SE enumeration is shown in Fig. 1.
First received symbol is rounded to the nearest integer as shown in Fig. 1(a), which includes
quantizing of both real and imaginary components of the signal to the nearest integer. Type-I
Type
candidate will be expanded two times along real and imaginary axis u
using
sing SE enumeration, and
the two expanded nodes are considered candidates, as demonstrated in Fig. 1(b). Then, the one
with the minimum PED is chosen, and expanded for further calculation depending on the type. As
in Fig. 1(c), the chosen node is of type II,, it will be expanded to 2 more nodes. If the chosen node
is of Type II, as shown in Fig. 1(d), it will be expanded only along imaginary axis.
The number of nodes needs expanded at any level of the tree is considered as measurement of
complexity analysis. The worst case scenario will be if all the nodes chosen are of type I. Then, at
an arbitrary level of tree, the number of expanded nodes is bounded by K + 28K 19.
1 Taken over
the entire tree, the complexity for the search becomes 3N K 2N . Comparing with the real
Signal Processing:: An International Journal (SPIJ), Volume (9) : Issue (5) : 2015
57
domain detection algorithm in [13], the number of the expanded nodes is 4N K 2N . For
instance, with K as 4 and N equal to 8, the number of expanded node is 80 and 112 considering
complex and real decoder respectively. Hence, complex SE enumeration requires less
calculation, thereby reduces hardware complexity.
In this paper, we introduce another parameter, Rlimit while performing the complex on demand
child expansion. In contrast with the conventional one, the type of a child is not considered for
further expansion. The example of improved complex SE enumeration with Rlimit as 3 is given in
Fig. 2.
As shown in Fig. 2, after rounding the received symbol to the nearest integer, first real SE
enumeration is performed to calculate Rlimit candidates. Hence, it means that, all the calculated
nodes up to Rlimit will have same imaginary value, as demonstrated in Fig. 2(b). Then, the one
with minimum PED is selected and expanded only along the imaginary axis using imaginary
domain SE enumeration. This process is continued till K nodes are selected at that level of tree
as presented in Fig. 2(c)-(d).
The complexity analysis of the improved child expansion proceeds as follows. At any level of tree
search, first KRlimit nodes need to be expanded. After that, only imaginary domain SE
enumeration will be performed. Hence, considering the worst case, the total number of nodes
calculated at each level is KRlimit + 8K 19. For N levels, the complexity becomes
N K 8Rlimit + 19 N . Therefore, introduction of Rlimit may increase the complexity as
evidenced in result section, although offers better BER performance comparing to the
conventional one. However, comparing with the real domain detection, the total complexity is still
less. We have used improved complex on demand expansion to perform the list calculation and
then the chosen K paths are passed to the iterative soft input soft output (SISO) decoder.
2.4 Iterative Soft Decoding
LDPC decoder in [12] calculates approximate LLR from the list of possible candidates using (9).
LY 8x[ |Y9
max
x X[, ` a bc y Hs + x[[] . Ld,[[] e
x[[]
. Ld,[[] e,
max
x X[, abc y Hs +
(9)
here f h[g] and ij,[g] are the candidates values {-1 or 1} and LLR values except k-th candidate
respectively. In order to perform the soft decoding, the LLR values are first computed at the last
Signal Processing: An International Journal (SPIJ), Volume (9) : Issue (5) : 2015
58
layer of K-best search. Then, the soft values are fed into the iterative decoder for the subsequent
iteration. This process continues until the difference in error levels between the last two iterations
becomes negligible. Lastly, the updated LLR values are used for hard decision.
From the perspective of hardware design as proposed in [16, 23], the LLR calculation unit takes
one of the candidates at a given time and computes the LLR value. Then, the new LLR is
compared to the maximum of previous LLRs. Hence, this unit has to keep track of 2 values for
each LLR; one for those whose k-th bit of the candidate list is 1 (Lambda-ML), and the other for 0
(Lamda-ML-bar). After that, the LLR values are calculated as the subtraction of Lambda-ML and
Lambda-ML-bar divided by 2.
The total number of the nodes expanded for 8 8 MIMO is considered as measurement of the
complexity analysis. For iterative real decoder, as shown in [13] the improvement gained from 3rd
to 4th iteration is limited and negligible for iterations beyond that. Hence, we consider BER versus
SNR curve up to four iterations in order to perform comparison among maximum performance.
3.1 Simulation and Analysis
The performance of four iterations of our proposed soft decision based complex decoder for
QPSK modulation scheme is presented in Fig. 3.
FIGURE 3: BER vs SNR curve of the first 4 iterations of iterative complex decoder for 8 x 8 MIMO system
with K as 4 and QPSK modulation scheme.
Signal Processing: An International Journal (SPIJ), Volume (9) : Issue (5) : 2015
59
As shown in Fig. 3, for QPSK modulation with list size, K of 4 and Rlimit of 4, we observe 0.4 dB
improvement in BER due to the 2nd iteration at the BER of 10 . When we compare the
performance of 1st iteration with 3rd and 4th one, the improvement increases to 0.7 dB and 1.0
dB respectively.
(a) 16 QAM
(b) 64 QAM
FIGURE 4: BER vs SNR curve of the first 4 iterations of iterative complex decoder for 8 x 8 MIMO system
with K as 4.
Next, Fig. 4 represents the performance curve of 4th iteration for 16 QAM and 64 QAM
modulation scheme. As demonstrated in Fig. 4(a), the performance of 2nd iteration is
approximately 0.4 dB better than the 1st one with K as 4 and Rlimit set to 4 for 16 QAM
modulation scheme. When increasing the iteration, the performance improves by 0.8 dB for the
3rd and 1.1 dB for the 4th iteration compared to the 1st one.
For 64QAM having same K as 16QAM, the improvement due to the 2nd iteration is 0.4 dB, as
shown in Fig. 4(b). If we then compare the 3rd and 4th iteration with respect to the 1st one, the
improvements are 0.8 dB and 1.0 dB respectively. By extensive simulation, we observe that the
performance does not improve beyond 4th iteration. Therefore, with iteration number, the
performance between i-th and (i+1)-th iteration gets saturated.
3.2 Effect of Rlimit on BER
The effect of Rlimit, as discussed in section 3.2 for proposed complex on demand child expansion
is shown in Fig. 5. It represents BER performance for the 4th iteration over different SNR
considering 8 8 MIMO and 64 QAM modulation scheme with list size, K as 4.
Signal Processing: An International Journal (SPIJ), Volume (9) : Issue (5) : 2015
60
FIGURE 5: BER vs SNR curve of the 4th iteration of iterative complex decoder for 8 x 8 MIMO with 64QAM
modulation scheme having K as 4.
Signal Processing:: An International Journal (SPIJ), Volume (9) : Issue (5) : 2015
61
(a)
(b)
(c)
FIGURE 6: BER vs SNR curves of proposed iterative complex decoder, conventional complex and
real decoder for 8 x 8 MIMO with 64QAM modulation scheme having K as 4. For proposed
Signal Processing: An International Journal (SPIJ), Volume (9) : Issue (5) : 2015
62
Proposed
Conv. Complex
K
Rlimit
Node
Node
1st vs 1st
4th vs 4th
1st vs 4th
56
80
2.9
1.4
0.8
88
80
3.0
2.2
1.0
152
80
3.4
2.5
1.5
Real
K
Rlimit
Node
Node
1st vs 1st
4th vs 4th
1st vs 4th
56
112
9.0
6.9
6.1
88
112
9.1
7.7
6.5
152
112
9.5
8.0
6.8
As shown in Table 2, the number of the nodes need to be expanded for LR-aided real decoder
[14] for list size 4 is equal to 112. Considering the same list size, proposed complex decoder
requires 56, 88 and 152 node expansion for Rlimit set to 1, 2 and 4 respectively. Hence,
proposed decoder can achieve 6.9 dB to 7.7 dB better performance even with less computational
complexity comparing with the iterative real one. Allowing more complexity, can increase the
performance to 8.0 dB. If we consider the performance of only 1st iteration, with same level of
complexity the proposed decoder can attain 9.0 to 9.5 dB improvement comparing with the real
one.
Therefore, our iterative soft complex decoder with Rlimit offers a trade-off between performance
and complexity for different iteration. It not only increases the performance, but also can reduce
complexity to a certain level.
Signal Processing: An International Journal (SPIJ), Volume (9) : Issue (5) : 2015
63
4. CONCLUSION
In this paper, an iterative soft decision based complex domain K-best decoder is proposed
exploiting the improved complex on-demand child expansion. It includes the use of LR algorithm
in order to achieve orthogonality among the constellation points reducing the effect of noise. An
additional parameter, Rlimit is introduced to tune the complexity of computation with improvement
in BER performance. Reduction of computational complexity directly results to less power
consumption of the decoder as well.
We also compare the result of 4th iteration of our proposed decoder with iterative conventional
complex decoder and obtain 1.4 to 2.5 dB improvement at the BER of 10 for 8 8 MIMO and
64 QAM modulation scheme with comparable complexity. Comparing with iterative LR-aided real
domain decoder, the improvement increases more than 7.0 dB with less computational
complexity. Although more than 2.9 dB and 9.0 dB gain can be achieved with same level of
complexity comparing 1st iteration of proposed decoder with that of conventional iterative
complex and real decoder respectively.
Future work of this proposed decoder includes evaluating the detector performance using
additional channel and simulation environment and also implementing the algorithm on FPGA
and so on.
5. REFERENCES
[1]
"IEEE Standard for Information Technology- Local and Metropolitan Area NetworksSpecific Requirements- Part 11: Wireless LAN Medium Access Control (MAC) and Physical
Layer (PHY) Specifications Amendment 5: Enhancements for Higher Throughput." IEEE
Standard 802.11n-2009 (Amendment to IEEE Standard 802.11-2007 as amended by IEEE
Standard 802.11k-2008, IEEE Standard 802.11r-2008, IEEE Standard 802.11y-2008, and
IEEE Standard 802.11w-2009), pp. 1-565, Oct. 2009.
[2]
[3]
[4]
[5]
[6]
Q. Zhou and X. Ma. An Improved LR-aided K-Best Algorithm for MIMO Detection.
Proceeding IEEE International Conference on Wireless Communication and Signal
Processing (WCSP), Oct. 2012, pp. 1-5.
[7]
X. Qi and K. Holt. A Lattice-Reduction-Aided Soft Demapper for High-Rate Coded MIMOOFDM Systems. IEEE Signal Processing Letters, vol. 14, no. 5, pp. 305-308, May 2007.
[8]
Signal Processing: An International Journal (SPIJ), Volume (9) : Issue (5) : 2015
64
[9]
[10]
M. Rahman, E. Rohani and G. Choi. "An Iterative Soft Decision Based Adaptive K-Best
Decoder Without SNR Estimation." Asilomer Conference on Signals, Systems and
Computers, Nov. 2014, pp. 1016-1020.
[11]
[12]
[13]
M. Rahman, E. Rohani and G. Choi. "An Iterative LR-Aided MMSE Extended Soft MIMO
Decoding Algorithm." International Conference on Computing, Networking and
Communications, California, Feb. 2015.
[14]
E. Agrell, T. Eirksson, A. Vardy and K. Zeger. Closest Point Search in Lattices. IEEE
Transaction on Information Theory, vol. 48, no. 8, pp. 2201-2214, Aug. 2002.
[15]
J. Jalden and P. Elia. "DMT Optimality of LR-Aided Linear Decoders for a General Class of
Channels, Lattice Designs, and System Models." IEEE Transaction on Information Theory,
vol. 56, no. 10, pp. 4765-4780, Oct 2010.
[16]
M. Rahman, E. Rohani, J. Xu and G. Choi. "An Improved Soft Decision Based MIMO
Detection Using Lattice Reduction." International Journal of Computer and Communication
Engineering, vol. 3, no. 4, pp. 264-268, Apr. 2014.
[17]
J. Jalden and P. Elia. DMT Optimality of LR-Aided Linear Decoders for a General Class of
Channels, Lattice Designs, and System Models. IEEE Transaction on Information Theory,
vol. 56, no. 10, pp. 4765-4780, Oct. 2010.
[18]
M. Taherzadeh and A. Khandani. "On the Limitations of the Naive Lattice Decoding." IEEE
Transaction on Information Theory, vol. 56, no. 10, pp. 4820-4826, Oct. 2010.
[19]
[20]
[21]
[22]
C. P. Schnorr and M. Euchner. Lattice basis reduction: Improved practical algorithms and
solving subset sum problems. Mathematical Programming, vol. 66, pp. 181191, Aug.
1994.
[23]
M. Rahman and Gwan S. Choi. "Fixed Point Realization of Iterative LR-Aided Soft MIMO
Decoding Algorithm." An International Journal on Signal Processing, vol. 9, issue 2, pp. 1424, May 2015.
Signal Processing: An International Journal (SPIJ), Volume (9) : Issue (5) : 2015
65