Implementations of Signal-Processing Algorithms for OFDM SystemsView this Special Issue
Research Article | Open Access
Loop-Reduction LLL Algorithm and Architecture for Lattice-Reduction-Aided MIMO Detection
We propose a loop-reduction LLL (LR-LLL) algorithm for lattice-reduction-aided (LRA) multi-input multioutput (MIMO) detection. The LLL algorithm is an iterative algorithm that contains many check and process operations; however, the traditional LLL algorithm itself possesses a lot of redundant check operations. To solve this problem, we propose a look-ahead check technique that not only reduces the complexity of the LLL algorithm but also produces the lattice-reduced matrix which obeys the original LLL criterion. Simulation results show that the proposed LR-LLL algorithm reduces the average number of loops or computation complexity. Besides, it also shortens the latency of clock cycles about 19.4%, 29.1%, and 46.1% for , , and MIMO systems, respectively.
To increase the transmission capacity, multiple-input multiple-output (MIMO) system has been proposed for the next generation wireless communication systems, and therefore the need for a high-performance and low-complexity MIMO detector becomes an important issue. The maximum likelihood (ML) detector is known to be an optimal detector; however, it is impractical for realization owing to its great computational complexity. Addressing this problem, researchers have proposed tree-based search algorithms, such as sphere decoding  and K-Best decoding , to reduce the complexity with near-optimal performance. On the other hand, channel matrix preprocessing technique, such as lattice-reduction-aided (LRA) detection , has been proposed to improve the MIMO detection performance.
The lattice reduction transforms the channel matrix into a more orthogonal one by finding a better basis for the same lattice so as to improve the diversity gain of the MIMO detector. The Lenstra-Lenstra-Lovász (LLL) algorithm is a well-known lattice reduction algorithm for its polynomial execution time. In the literature , the LLL algorithm is widely employed to improve the lattice-reduction MIMO detection or to reduce the MIMO detection complexity. However, the LLL algorithm has many redundant check operations that have never been addressed in the literature. These redundant operations lead to many unnecessary computations and thus increase the processing latency and complexity. Therefore, we propose a look-ahead check technique to detect and avoid the unnecessary check operations in the LLL algorithm. This technique not only generates the lattice-reduced matrix which obeys the size reduction and LLL reduction in the original LLL algorithm but also applies to real- and complex-value LLL algorithm .
The remainder of this paper is organized as follows. Section 2 briefly describes the signal model for MIMO detection. In Section 3, we introduce the lattice-reduction-aided MIMO detection and the LLL algorithm. In Section 4, we demonstrate the proposed LR-LLL algorithm, and in Section 5 we present the simulation and analysis results. The corresponding hardware architecture and processing cycle counts estimation is shown in Section 6. Finally, we summarize our conclusions in Section 7.
2. System Model
A narrow-band MIMO system consisting of transmitters and receivers can be modeled by where is the transmitted signal vector, is the received signal vector, represents a flat-fading channel matrix, and is the white Gaussian noise with variance . All the vectors are independent and identically distributed complex Gaussian random vectors with zero means and unity variances. Set consists of the constellation points of the QAM modulation. Then, we re-formulate the equivalent real channel matrix as follows: Then, the dimension of becomes , where and . The vectors and belong to and .
The QR decomposition is often applied in the pre-processing of the MIMO detection because it provides decoding efficiency. Then, the channel matrix can be expressed by where is an orthogonal matrix and is an upper triangular matrix. By multiplying on both sides of (2), we can obtain where is white Gaussian. In addition, we adopt column-norm-based sorted QR decomposition (SQRD)  because it not only enhances detection performance but also reduces the computational complexity of the lattice reduction .
3. Lattice Reduction
A lattice is defined as , where are the basis vectors. The lattice reduction algorithm aims to find a unimodular matrix and all elements of are integers) such that a more orthogonal has the same lattice as . Then, the signal model becomes If , . In practice, the transmitted signals do not belong to an integer set; however, we can still transform the signals into an integer set by linear operations such as scaling and shifting.
Several lattice-reduction algorithms are described in the literature, and the LLL algorithm  is the most popular approach. Because QR preprocessing is often employed in the MIMO detector, the LLL algorithm is then modified for and matrices , as shown in Algorithm 1. In the literature, lines to (19) are often defined as a loop that can be decomposed into two parts: lines to (10) deals with the size reduction operations; and lines (11) to (19) handle LLL reduction operations. The number of iterations performed in the size reduction depends on the index , and the LLL reduction operation may increase or decrease the index depending on the result of the LLL reduction check (). Therefore, the number of loops certainly depends on the values in the matrix, and thus the processing latency varies for different channel matrices. Moreover, we find that most of the computational complexity is contributed by the operations when the check conditions ( for size reduction and for LLL reduction check) are satisfied; that is, the size and LLL reduction constraints are violated. Most important of all, redundant check operations occur very often when the index decreases. Thus, the decrease of is not always necessary because the size and LLL reductions have been checked in the last loop. We calculate the percentage of the redundant decreases of and list them in the Table 1. We can see that the percentage of the redundant decrease of achieves 67% for lattice reduction and converge to 28% if the MIMO dimension is larger than . Therefore, we propose a look-ahead check technique to modify index and avoid unnecessary check operations in the original LLL algorithm.
4. Look-Ahead Check
The number of loops is often treated as a benchmark for computation complexity and latency in the literature on LRA MIMO detection . In order to eliminate the redundant check operations in the LLL algorithm, we propose a look-ahead check technique by classifying the original loops to forward loop and back loop. And the loop reduction LLL algorithm is shown in Algorithm 2. The corresponding flow chart of the proposed algorithm and each loop is shown in Figure 1.
4.1. Back Loop
We define the back loop as the loop that only contains LLL reduction check and LLL violation processing as shown in Figure 1. We find that the size reduction constraint will not be violated after the is decreased because the has already been size reduced in the previous processing and is not changed in the column-swapping operation. And the givens rotation will only change the and row while the row value above row remains size reduced. That means only LLL reduction check is required in the back loop. This LLL reduction check is named as -state LLL reduction check to differentiate with the origin one. Because only the LLL reduction part needs to be executed in this back loop, we use a while loop in our algorithm to avoid the redundant size reduction operation. Nonetheless, there is still one case that the size reduction will process. If the division result exactly equals 0.5, the original LLL algorithm will do the size reduction operation in the back loop. But our algorithm will skip. This will produce a different lattice-reduced matrix at last. However, to do the size reduction or not to do in this case will both produce the matrix that obeys the LLL lattice reduction criterion. Although, we cannot prove the performance is the same mathematically, we will show that their performance is the same through the Monte-Carlo simulation in latter section. So the lattice reduction performance will not suffer any degradation. Using the look-ahead check technique, we can more precisely determine the next value at the end of each loop.
4.2. Forward Loop
Forward loop is just like the original loop defined in the previous section except once the LLL reduction is violated, it will enter the back loop. If -state LLL reduction constraint is not violated, we enter the -state size reduction check to predict the next index . Notice that if the -state size reduction constraint () is not violated, the LLL reduction constraint must not be violated because the has already been LLL reduced in the previous processing and all values remain unchanged. Therefore, we can also perform the -state size reduction check ahead. If the -state size-reduction constraint is not violated, we can simply increase the index by 2 to skip a redundant LLL reduction and enter the forward loop.
5. Simulation Results
To verify the proposed LLL algorithm, we simulate the LLL-aided MIMO detections based on the MIMO system described in Section 2, and we employ sorted QR decomposition in all MIMO detectors. The LLL-reduction parameter equals 0.75, as suggested in . Table 2 shows the average loop numbers of the original and the proposed LLL algorithms for different antenna numbers. Forward loop and back loop are all counted as a loop in our algorithm. The proposed LLL algorithm can reduce the average number of loops to 93%~94% of the original LLL algorithm. The BER versus SNR curve is shown for and MIMO systems in Figures 2 and 3, respectively. The performance is exactly the same for our algorithm and the original LLL algorithm.
We also analyze the computational complexity and latency of our algorithm. The results for and MIMO systems are listed in Tables 3 and 4. The computation is divided to four operations such as addition, multiplication, division, and givens rotation. Our algorithm is lower in total computational complexity and especially in the division which tends to cost more time for computation. The lower ratio is just like the loop-reduced ration. But only average computational complexity cannot clearly show the advantage of our algorithm. Since the original LLL algorithm contains lots of redundant checks operation which are unable to process in parallel, it will result in long average processing time to complete the lattice reduction operation. We try to simulate the latency by parallelizing all the possible operations. The latency counts are as follows: the line (5) to line (9) in our algorithm is counted as one division, one addition and one multiplication. The LLL reduction check operation contains four multiplications and two additions. The column swap operation is counted as no operation delay. The givens rotation counts one at each back loop. And the -state size reduction is counted as a division operation. The latency is shown in the Table after the dashed line. The saving is about 22%~29% and grows with antenna number.
6. Hardware Architecture
6.1. Top Structure
In this paper, we proposed a very intuitive structure for our LR-LLL algorithm in Figure 4. The center controller counts the index by the LLL violation results. And it will send control signals to choose the specific matrix element to the input of the combinational circuit. We can also call size reduction part as size reduction loop and LLL reduction part as LLL reduction loop, respectively. The update circuit for the remaining matrix, matrix, and matrix are omitted for simplification. In this architecture, CORDIC circuit has two pipelined stages. So it required one cycle for size reduction loop and four cycles for a LLL reduction loop. The traditional LLL algorithm always processes the forward loop which contains the execution of the whole circuit. While using LR-LLL algorithm, some forward loops will replace by back loops. The average cycle counts for the LLL algorithm, and our LR-LLL algorithm is listed in Table 5. We can find out that as the antenna number grows, the reduction of average cycle grows. And the FPGA results are shown in Table 6. In , the complex-valued LLL lattice reduction algorithm is proved to have lower computational complexity than real-valued system. This is mainly due to the double sized of the real number system comparing to complex number. So the hardware or cycle counts may be larger than the previous two complex number works.
6.2. Other Blocks
The divr block executes the divide and round operation which can be easily designed by long division architecture. In Figure 5, we show a four-stage long-division architecture for five bits output divr circuit. The size reduction update circuit is composed of multiplication and addition circuit. Instead of calculating the square norm to do the LLL reduction comparison, we choose the CORDIC vector mode circuit to calculate the square root of the norm which may also be the output if the LLL check violates. The square root of is set to 0.875 to approximate the square root of 0.7. CORDIC rotation mode is used to do the Givens rotation of the algorithm. The output of the comparison circuit is the LLL reduction violation check results which will control the center controller and also enable the update circuits. The LLL reduction update block contains multiple CORDIC rotation circuits to do the givens rotation of remaining row element of and matrix. It also contains a swap circuit for matrix.
In this paper, we propose a look-ahead check technique to eliminate unnecessary check operation in the LLL algorithm. The proposed algorithm not only reduces the average number of loops in the LLL algorithm but also reduces the computation complexity and latency of LLL algorithm. We also proposed a very intuitive architecture to estimate the clock cycle saving of our algorithm. The saving is dramatically increased while the antenna number grows. Therefore, we believe that the proposed loop reduction LLL algorithm benefits the lattice-reduction-aided MIMO detection.
- E. Agrell, T. Eriksson, A. Vardy, and K. Zeger, “Closest point search in lattices,” IEEE Transactions on Information Theory, vol. 48, no. 8, pp. 2201–2214, 2002.
- M. Shabany and P. G. Gulak, “The application of lattice-reduction to the K-Best algorithm for near-optimal MIMO detection,” in Proceedings of the IEEE International Symposium on Circuits and Systems (ISCAS '08), pp. 316–319, May 2008.
- H. Yao and G. Wornell, “Lattice-reduction-aided detectors for MIMO communication systems,” in Proceedings of the IEEE Global Telecommunications Conference, vol. 1, pp. 424–428, November 2002.
- W. Zhang, X. Ma, B. Gestner, and D. V. Anderson, “Designing low-complexity equalizers for wireless systems,” IEEE Communications Magazine, vol. 47, no. 1, pp. 56–62, 2009.
- Y. H. Gan, C. Ling, and W. H. Mow, “Complex lattice reduction algorithm for low-complexity full-diversity MIMO detection,” IEEE Transactions on Signal Processing, vol. 57, no. 7, pp. 2701–2710, 2009.
- P. Luethi, A. Burg, S. Haene, D. Perels, N. Felber, and W. Fichtner, “VLSI implementation of a high-speed iterative sorted MMSE QR decomposition,” in Proceedings of the IEEE International Symposium on Circuits and Systems (ISCAS '07), pp. 1421–1424, May 2007.
- M. Sandell, A. Lillie, D. McNamara, V. Ponnampalam, and D. Milford, “Complexity study of lattice reduction for MIMO detection,” in Proceedings of the IEEE Wireless Communications and Networking Conference (WCNC '07), pp. 1088–1092, March 2007.
- L. Bruderer, C. Studer, M. Wenk, D. Seethaler, and A. Burg, “VLSI implementation of a low-complexity LLL lattice reduction algorithm for MIMO detection,” in Proceedings of the IEEE International Symposium on Circuits and Systems (ISCAS '10), pp. 3745–3748, May 2010.
- B. Gestner, Z. Wei, X. Ma, and D. V. Anderson, “Lattice reduction for MIMO detection: from theoretical analysis to hardware realization,” IEEE Transactions on Circuits and Systems—Part I: Regular Papers, vol. 58, no. 4, pp. 813–826, 2011.
- C. F. Liao and Y. H. Huang, “Power-saving 4x4 lattice-reduction processor for MIMO detection with redundancy checking,” IEEE Transactions on Circuits and Systems—Part II: Express Briefs, vol. 58, no. 2, pp. 95–99, 2011.
- A. K. Lenstra, H. W. Lenstra, and L. Lovasz, “Factoring polynomials with rational coefficients,” Mathematische Annalen, vol. 261, no. 4, pp. 515–534, 1982.
- D. Wubben, R. Bohnke, V. Kuhn, and K.-D. Kammeyer, “MMSE-based lattice-reduction for near-ML detection of MIMO systems,” in Proceedings of the ITG Workshop on Smart Antennas, pp. 106–113, May 2004.
Copyright © 2012 Chun-Fu Liao et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.