Professional Documents
Culture Documents
AbstractIn this paper, we propose a minimum-meansquared-error (MMSE)-based lattice-reduction (LR)-aided fixedcomplexity sphere decoder (FSD) for low-complexity nearmaximum-likelihood (near-ML) multiple-input multiple-output
(MIMO) detection. In order for the FSD to achieve optimal
performance, the number of full expansion (FE) stages should
be sufficient, which is the major cause of the increase in the
computational complexity when either a large signal constellation
or a large number of antennas are adopted. However, the
proposed algorithm maintains the near-ML performance with
the aid of the MMSE-based LR algorithm while reducing the
number of FE stages. Although there exists the increase in the
computational complexity for the application of the additional
processing elements, the decrease in the number of FE stages
results in the lower computational complexity of the overall
algorithm. The numerical analysis demonstrates that there is a
considerable decrease in the computational complexity while the
performance degradation is negligible, compared to the optimal
FSD.
Index Termslattice reduction (LR), fixed-complexity sphere
decoder (FSD), multiple-input multiple-output (MIMO)
I. I NTRODUCTION
After the adoption of the IEEE 802.11n standard, multipleinput multiple-output (MIMO) communication system has
become the solution to the considerable demands for higher
data rate and more reliable wireless local area networks
(WLANs). However, the high computational complexity of
its receiver is a major obstacle to the implementation of an
enhanced MIMO system. Although the maximum-likelihood
(ML) decoder (MLD) is known as the optimal solution to the
MIMO symbol detection problem, the exponential increase in
its complexity makes it infeasible when either a large signal
constellation or a large number of antennas are employed.
Hence, it is one of the most challenging issues in MIMO
technique to reduce the complexity of the MIMO reciever
while achieving comparable bit-error-rate (BER) performance
to the MLD.
Some decoders such as sphere decoder (SD) [1],[2] and
semi-definite programming (SDP) [3][5] have been proposed
to achieve the (near-)ML performance with reduced complexity. However, the variable complexity of these receivers is a
major drawback for practical systems where the data should
978-1-4673-6762-2/15/$31.00 2015 IEEE
root
i=2
i=3
i=4
i=8
In this subsection, we briefly introduce the MIMO system model. Consider a flat-fading MIMO system with NT
transmit and NR receive antennas, where NT NR . When
sc = [sc,1 , sc,2 , , sc,NT ]T denotes the transmitted symbol
vector, the NR 1 received symbol vector at one sample time
can be expressed as
yc = Hc sc + nc ,
(1)
s(2NT )
n(R2NR )
Then,
sM L , the MLD solution for (2), is given by
sM L =
i=1
SE
stage
II. P RELIMINARIES
y(R2NR )
FE
stage
min ky Hsk2 .
arg
Fig. 1. The tree structure of the real FSD in a 4 4 MIMO system with
||2 -QAM and p = 2. The tree node which is colored by gray is the one
that contains the FSD solution.
(7)
(8)
(3)
s 2NT
(4)
sZF = GZF y = s + H n = s + n
,
(5)
(9)
(10)
sL
arg
s 2NT
(6)
L = [s1 , s2 , , s||p ],
(11)
where sl = [
sl,1 , , sl,NT ]T and
, i = 2NT ,
, 2NT p + 1
2N
T
X
sl,i =
(12)
Q (qi
ri,j sl,j )/ri,i ,
else,
Constellation Points
j=i+1
where qi and ri,j are the i-th element in q and the (i, j)-th
element in R. In order to achieve the optimal performance, the
channel matrix should be ordered prior to the tree-searching so
that the signals with maximum and minimum post-processing
noise amplifications should be detected at the FE and SE
stages, respectively [7].
-1
-2
-2
(a)
-1
-2
-2
(b)
Fig. 2. An example of the possible integer values in (a) the original domain
and (b) the lattice-reduced domain with 16-QAM.
y = z + H
n = z + w,
LRZF = H
z
(16)
sLRZF = (Td
zLRZF c 1).
(17)
QR Decomposition
i=2
FE Signal Cancellation
SE
Stage
(LRAMMSESIC)
i=3
i=4
i=1
(15)
FE
stage
+ n.
y = HTT1 x + n = Hz
LRA-MMSE
Matrix
1
1
1
(14)
y + H1 = H( s + 1) + n = Hx + n,
where n = 1 n.
Through the lattice basis reduction on H, a near-orthogonal
= HT can be obtained, where H
spans
basis matrix H
the same lattice as H and T is an integer unimodular matrix. Throughout this paper, we consider the Lenstra-LenstraLovasz (LLL) algorithm [13] as the LR algorithm which
Let
is used to acquire the near-orthogonal basis matrix H.
1
z = T x, then the lattice-reduced system model can be
represented as
y ,
Lattice
Reduction
root
1
s + 1,
(13)
Channel Ordering
i=8
l=2NT p+1
0
y(k)
10
10
10
10
10
10
12
14
16
18
20
22
Eb/No [dB]
24
26
28
30
2NR 1
0
y(k)
, H0 s0(k) + n,
s0(k)
10
10
(2NT p)1
0T y 0 = R
0 z(k) n Q
0T z(k) +Q
0T n
0(k) , Q
q
(k)
1
2
1
| {z }
(21)
interference
SD (MLD)
FSD (optimal)
FSD (nonoptimal)
LRAMMSE
LRAMMSESIC
Proposed
BER
2NR (2NT p)
10
(19)
where H ( R
) and
(
)
are the channel matrix and the transmitted signal whose lth (l = 2NT p + 1, , 2NT ) column vectors and elements
are nulled.
Step 3 SE stage (LRA-MMSE-SIC): In this step, LRAMMSE-SIC is performed to the system model in (19) to complete the candidate list. First, the LR algorithm is performed
to the channel matrix, H0 , to obtain the unimodular channel
for lattice-reduced system model, T0 . Then, the system model
to carry out the LRA-MMSE-SIC is formulated as
" 0#
0 0
Q
0
0 0
HT
0,
1 R
=QR =
(20)
H =
0
n T0
Q2
SD (MLD)
FSD (optimal)
FSD (nonoptimal)
LRAMMSE
LRAMMSESIC
Proposed
10
where
( R
) is the received signal in the revised
system model, hl ( R2NR 1 ) is the l-th column vector of the
channel matrix H, and sl(k) ( ) is the k-th FE candidate
signal transmitted from the l-th transmit antenna. Finally, the
system model is transformed to a nulled system model as
BER
10
10
10
16
18
20
22
24
26
28
Eb/No [dB]
30
32
34
36
T
(l) = [
where z
z(l),1 , , z(l),(2NT p)
] and
P2NT p 0
q0(l),i j=i+1
ri,j z(l),j
, i = 2NT p, (23)
z(l),i =
1,
0
ri,i
0(l) and the (i, j)where q0(l),i and r0i,j are the i-th element in q
0.
th element in R
Step 4 Post-processing & ML test: The post-processing
step is performed to the SE candidate signals, which involves
i) the conversion of the candidate vectors to the original
constellation, ii) re-ordering of the detected vector and iii)
slicing. First, the candidate vectors in L are converted back to
the original constellation as in (17), and the candidate vectors
are re-ordered with the order in Step 1 reversed. Then, the
TABLE I
C OMPUTATIONAL COMPLEXITY IN TERMS OF THE NUMBER OF FLOP S .
Algorithm
Operation
No. of FLOPs
FSD
FSD ordering of H
QR decomposition of H
q = QT y
SIC
ML test
2 + 14N + 8N N + 4N + 9)
NR (NT 1)(2NR
R
T R
T
2 + 1 N3 )
4 (NT2 NR + NT NR
3 R
8NT NR
4 (NT p)(NT + p + 1)
8 (NT NR + NT ) ||p
FSD ordering of H
FE signal cancellation
LR of H0
0
QR decomposition of H
0T
y 0
0 = Q
q
2 + 14N + 8N N + 4N + 9)
NR (NT 1)(2NR
R
T R
T
8NT p||p
2 + 1 N3 )
6.4 ((NT p)2 NR + (NT p)NR
3 R
2
4 ((NT p) (2NR ) + (NT p)(2NR )2 + 13 (2NR )3 )
Proposed
(k)
(k)
SIC
ML test
8NT NR ||p
4 (NT p)(NT + p + 1)
8 (NT NR + NT ) ||p
(24)
where s0(l) = [
s0(l),1 , , s0(l),(2NT ) ]T is the l-th candidate
signal.
Finally, the detection algorithm is completed by the ML test
where the symbol vector with the minimum ED is detected as
the solution as
(25)
s0 L
Example for
4 4 MIMO system
with p = 2, p = 1
13, 929 (64-QAM)
44, 649 (256-QAM)
7, 937 (64-QAM)
10, 497 (256-QAM)
V. C ONCLUSION
In this work, we proposed a MMSE-based LRA FSD
algorithm which achieves near-ML performance with reduced
complexity. As the number of tree levels in the FE stage
is decreased, the proposed scheme has far lower computational complexity due to the reduced complexity in the ML
test which dominates the overall computational complexity.
Nevertheless, the proposed scheme achieves the near-ML
performance by performing the LRA-MMSE-SIC in the SE
stage owing to the better-conditioned channel matrix of the
MMSE-based lattice-reduced system model.
ACKNOWLEDGMENT
This work was supported by System LSI Division on
Samsung Electronics Co., LTD. This work was also supported
by the Industrial Core Technology Development Program
(10049009, Development of Main IPs for IoT and Image
Based Security Low-Power SoC) funded by the Ministry of
Trade, Industry & Energy.
R EFERENCES
[1] E. Viterbo and J. Boutros, A universal lattice code decoder for fading
channels, IEEE Trans. Inf. Theory, vol. 45, no. 5, pp. 16391642, Jul.
1999.
[2] M. O. Damen, H. E. Gamal, and G. Caire, On maximum-likelihood
detection and the search for the closest lattice point, IEEE Trans. Inf.
Theory, vol. 49, no. 10, pp. 23892402, Oct. 2003.
[3] P. H. Tan and L. K. Rasmussen, The application of semidefinite
programming for detection in CDMA, IEEE J. Sel. Areas in Commun.,
vol. 19, no. 4, pp. 14421449, Apr. 2001.
[4] W.-K. Ma, T. N. Davidson, K. M. Wong, Z.-Q. Luo, and P. C. Ching,
Quasi-maximum-likelihood multiuser detection using semi-definite relaxation with application to synchronous CDMA, IEEE Trans. Signal
Process., vol. 50, no. 4, pp. 912922, Apr. 2002.
[5] Z.-Q. Luo, W.-K. Ma, A. So, Y. Ye, and S. Zhang, Semidefinite
relaxation of quadratic optimization problems, IEEE Signal Process.
Mag., vol. 27, no. 3, pp. 2034, May 2010.
[6] K. wai Wong, C.-Y. Tsui, R.-K. Cheng, and W.-H. Mow, A VLSI
architecture of a K-Best lattice decoding algorithm for MIMO channels,
in IEEE Int. Symp. Circuits and Syst., 2002, vol. 3, pp. 273276.
[7] L. Barbero and J. Thompson, Fixing the complexity of the sphere
decoder for MIMO detection, IEEE Trans. Wireless Commun., vol. 7,
no. 6, pp. 21312142, Jun. 2008.
[8] H. Yao and G. W. Wornell, Lattice-reduction-aided detectors for MIMO
communication systems, in IEEE Global Telecommun. Conf., Nov. 2002,
vol. 1, pp. 424428.
[9] D. W
ubben, R. B
ohnke, V. K
uhn, and K. D. Kammeyer, Nearmaximum-likelihood detection of MIMO systems using MMSE-based
lattice reduction, in IEEE Int. Conf. Commun., Jun. 2004, vol. 2, pp.
798802.
[10] M. Taherzadeh, A. Mobasher, and A. K. Khandani, LLL reduction
achieves the receive diversity in MIMO decoding, IEEE Trans. Inf.
Theory, vol. 53, no. 12, pp. 48014805, Dec. 2007.
[11] J. Jald
en and P. Elia, DMT optimality of LR-aided linear decoders for
a general class of channels, lattice designs, and system models, IEEE
Trans. Inf. Theory, vol. 56, no. 10, pp. 47654780, Oct. 2010.
[12] D. W
ubben, R. B
ohnke, V. K
uhn, and K. D. Kammeyer, MMSE
extension of V-BLAST based on sorted QR decomposition, in Proc.
IEEE Veh. Technol. Conf., Oct. 2003, vol. 1, pp. 508512.
[13] A. K. Lenstra, H. W. Lenstra, and L. Lov
asz, Factoring polynomials
with rational coefficients, Math. Ann., vol. 261, pp. 515534, 1982.
[14] M. Shabany and P. Gulak, The application of lattice-reduction to the
K-Best algorithm for near-optimal MIMO detection, in IEEE Int. Symp.
Circuits and Syst., May 2008, pp. 316319.
[15] G. H. Golub and C. F. Van Loan, Matrix computations. The Johns
Hopkins University Press, 2013.
[16] K. Zu and R. de Lamare, Low-complexity lattice-reduction-aided regularized block diagonalization for MU-MIMO systems, IEEE Commun.
Lett., vol. 16, no. 6, pp. 925928, Jun. 2012.
[17] X. Ma and W. Zhang, Performance analysis for MIMO systems
with lattice-reduction aided linear equalization, IEEE Trans. Commun.,
vol. 56, no. 2, pp. 309318, Feb. 2008.
[18] E. Perahia, IEEE 802.11n development: history, process, and technology, IEEE Commun. Mag., vol. 46, no. 7, pp. 4855, Jul. 2008.