Abstract
The pilot design problem in large-scale multi-input-multioutput orthogonal frequency division multiplexing (MIMO-OFDM) system is investigated from the perspective of compressed sensing (CS). According to the CS theory, the success probability of estimation is dependent on the mutual coherence of the reconstruction matrix. Specifically, the smaller the mutual coherence is, the higher the success probability is. Based on this conclusion, this paper proposes a pilot design algorithm based on alternating projection and obtains a nonorthogonal pilot pattern. Simulation results show that applying the proposed pattern gives the better performance compared to applying conventional orthogonal one in terms of normalized mean square error (NMSE) of the channel estimate. Moreover, the bit error rate (BER) performance of the large-scale MIMO-OFDM system is improved.
1. Introduction
Over the past decade, multiple input multiple output (MIMO) wireless communication has gained great popularity due to its substantial capabilities of improving the transmission rate and reliability [1]. With the MIMO transmission scheme being incorporated into the long-term evolution advanced (LTE-A) standard, recent research efforts have been devoted to MIMO systems using more antennas which further improve transmission performance. Inspired by this, large-scale MIMO systems equipped with many antenna elements are of great research interest and considered one of the key enabling technologies for future broadband wireless communications [2].
In MIMO system, channel estimation is of crucial importance to the performance of coherent demodulation. It also helps to obtain channel state information (CSI) to support precoding and resource allocation [3]. However, when the number of antennas becomes large-scale, the conventional channel estimation methods such as the least squares (LS) and the linear minimal mean square error (LMMSE) need a mass of pilots, which seriously waste the bandwidth resources. By taking the inherent sparsity of the wireless channel into account, the compressed sensing (CS) channel estimation methods [4, 5] depend on much less pilots than conventional estimation methods. So, in large-scale MIMO system, this kind of channel estimation obtains more attention [6, 7]. Now, the key challenge of using CS in channel estimation of large-scale MIMO systems lies in the following aspects: seeking the sparsest representation of CSI and designing the optimal pilot pattern to ensure estimation success. Our work concentrates on the latter one and tries to seek an optimal pilot pattern.
As early as the year of 2011, papers [8–10] studied the pilot design problem in CS channel estimation of single input single output (SISO) system and made an explicit research direction, that is, minimizing the mutual coherence of the reconstruction matrix. For the MIMO system, paper [11] proposed a random generation method and paper [12] puts forward two outperforming methods: the first is to minimize the largest element in the mutual coherence set whose elements are the values of mutual coherence corresponding to the pilot patterns for all multiple antennas; the second obtained a pattern in which the pilot of each antenna is orthogonal with others based on genetic algorithm (GA) and shifting mechanism. However, all the three methods above are essentially about the pilot location optimization. And the pilot value optimization is not considered although it is intuitively reasonable that the better pilot pattern can be obtained through joint optimization of pilot location and value. In this paper, inspired by the papers [13–15] which all study how to optimize the measurement matrix of signal reconstruction based on CS, a pilot value optimization method is proposed. Specifically, the main contributions of this paper are listed as follows:(1)Studying an alternating projection method denoted in [13] and solving the proprietary matrix projection problem in MIMO-OFDM system;(2)Using the alternating projection method to obtain a nonorthogonal pilot pattern in MIMO-OFDM system;(3)Proposing a pilot design algorithm based on alternating projection and grouping shifting mechanism for CS channel estimation in large-scale MIMO-OFDM system.
The reminder of this paper is organized as follows. Section 2 gives the channel estimation model and the optimization target of the pilot design. The proposed pilot design algorithm is presented in Section 3. Simulation results are provided in Section 4. Finally, conclusions are drawn in Section 5.
For the notations used in the paper, boldface uppercase and boldface lowercase letters separately represent matrices and column vectors, while , , , , and denote the transpose, the conjugate, the Hermitian transpose, the diagonal matrices, and the trace of the matrix, respectively. Finally, and represent the -order norm and the Frobenius norm of “”, respectively.
2. Problem Statement
2.1. Channel Estimation Model
Consider an OFDM downlink transmission where the base station and the terminal are equipped with transmitting antennas and one single receiving antenna, respectively. The wireless channel between the th transmitter and the receiver is frequency-selective and has the coherence time larger than the OFDM symbol duration. And it can be modeled as length finite impulse response (FIR) filter: where is the complex weight of the th tap and the channel impulse response (CIR) vector has only nonzero elements and is -sparse.
Assume that the MIMO-OFDM system has subcarriers, among which subcarriers are reserved for pilots, the cyclic prefix has the length, , not less than , the parallel stream of th transmitter, , , is modulated with Inverse Fast Fourier Transform (IFFT), and, within the stream, the pilot location index set is .
Let ; then the received signal samples in one OFDM symbol after FFT, , can be represented as follows: where is the additive white Gaussian noise (AWGN) at the receiver distributed with , denotes the partial FFT matrix composed of only the first columns in the standard -order FFT matrix, and all the CIR vectors stack to an aggregate vector .
Let , and the rows in form the . Consequently, the received pilots can be expressed as follows:where denotes the reconstruction matrix and .
Notably, for received pilots model (3), when the number of antennas is large, the number of pilots may be smaller than , the length of the aggregate channel vector, which leads the reconstruction matrix to be undetermined. As a result, it is infeasible to obtain a unique solution of by the conventional channel estimation methods. However, since is -sparse, estimating in (3) can be seen as a typical sparse signal reconstruction problem which can be solved in the framework of the CS theory. And, according to this theory, can be recovered from and the deliberately designing reconstruction matrix by solving the -minimization problem [9]: where denotes the error tolerance of reconstruction. At present, many approaches, that is, orthogonal matching pursuit (OMP) and basis pursuit (BP), have been proposed to solve this problem.
2.2. Mutual Coherence
Now, for the mutual coherence of reconstruction matrix , there are two types of definition: one is the maximum absolute value of normalized inner products between every two columns in [4] as follows: where represents the th column of , and the other named as “-average coherence” is put forward by Elad in paper [13], where the coherence greater than is averaged as follows: where denotes the th row and th column element in the Gram matrix and is the column-normalized version of .
Notably, in order to make these two types of definition have a unified form, in this paper, an alternating way to describe the first definition is shown as follows:
According to the CS theory, the success probability of estimation is highly dependent on the mutual coherence of the reconstruction matrix. Specifically, suppose that is a necessarily sparsest reconstructed signal whose sparsity satisfies the following condition: Then, when and are known, both OMP and BP are guaranteed to succeed in solving problem (4) [16] and the deviation of from can be bounded by where is the variance of noise in (3) and is not necessarily equal to . The aforementioned discussion indicates that, for a -sparse vector , the smaller the is, the better the approximation of can be obtained. And because is determined by the pilots value and the pilots location , the aim of pilot designing is minimizing to improve the performance of CS channel estimation, which can be described mathematically as follows:
Notably, in this paper, we address this problem by optimizing and fixing . The joint optimal solution can be then obtained by traversing all of the pilot location cases.
3. Proposed Pilot Design Scheme
According to the definition of , optimization problem (10) can be transformed into the question of how to construct the Gram matrix with the following properties:(i) has or small enough;(ii) has a special structure that , where is the column-normalized version of .
For solving this matrix construction problem, in this paper, an algorithm named alternating projection is investigated. In the following, this algorithm is introduced; then, based on this algorithm, a pilot design scheme is proposed.
3.1. Statement of Algorithm
The alternating projection algorithm which attempts to construct a matrix that satisfies the properties (i) and (ii) simultaneously can be described in Algorithm 1.
| ||||||||||||||||||||
It is worth noting that Algorithm 1 is globally convergent in a weak sense from the following theorem.
Theorem 1 (see [17]). Let and be closed sets, one of which is bounded. Suppose that alternating projection generates a sequence of iterates , . This sequence has at least one accumulation point: (i)Every accumulation point lies in .(ii)Every accumulation point satisfies (iii)Every accumulation point is a generalized fixed point; namely, Therefore, when the number of iterations, , is large enough, equals and both of them are the matrices that satisfy the properties (i) and (ii) simultaneously.
3.2. Implementation of Algorithm
According to the discussion above, to construct the matrix utilizing alternating projection algorithm, two matrix nearness problems denoted in Step and Step of Algorithm 1 must be solved, respectively.
(1) Find the Nearest Matrix with Property (i). Let and denote the matrix collections which have sufficiently small and , respectively. For the matrix in and , there are two propositions as follows.
Proposition 2. In , the unique matrix closest to an arbitrary -order matrix has unit diagonal entries and the off-diagonal entries satisfying where and denotes the unit direction vector of “”.
Proposition 3. In , the unique matrix closest to an arbitrary -order matrix has unit diagonal entries and the off-diagonal entries satisfying where is a shrunk factor and can be chosen from the interval in practice.
For the details about these two propositions, one can refer to the papers [17] and [13], respectively.
(2) Find the Nearest Matrix with Property (ii). The matrix nearness problem in Step can be expressed essentially as the following optimization question: where is determined by and which have a finite and an infinite number of possible values, respectively, through the description above. Therefore, the has the traversability and the next research is solving the question (15) with fixed , which is still difficult due to the large number of variables in the set . Fortunately, it becomes easy to be solved through the following proposition.
Proposition 4. Given and equal to the unit matrix , where , , and is only related to the elements in .
Proof. Expand the objective function, , as follows: According to Appendix A, According to Appendix B, where is only related to and can be represented by the . So, the proposition is proved.
According to Proposition 4, given , both the first and the third items of (16) are constant, so original problem (15) is equivalent to the problemAnd this problem can be converted into parallel optimization problems each of which has only variables and can be solved by the genetic algorithm (GA) easily.
From the discussion above, a pilot design algorithm is proposed in Algorithm 2.
| ||||||||||||||||||||||||||||||||||||||||
Notably, this algorithm is based on the condition that and . If it is not met when is large, we can firstly divide all the antennas into some groups each of which includes antennas and meets the condition, secondly apply the pilot design algorithm on one group, and then obtain the whole pilot pattern on antennas through a shifting mechanism which is similar to paper [12].
4. Simulation Results
In this section, we carry out three simulations to study the proposed pilot design algorithm in the CS channel estimation of large-scale MIMO-OFDM system.
4.1. The Simulation for the Proposed Algorithm
In Figures 1 and 2, the behavior of the proposed algorithm is illustrated. We assume that the channel model based on FIR filter has taps in which taps are weighted by standard complex Gaussian random variables and the others by zero, which means that the channel is -sparse. As for the OFDM symbol, subcarriers are utilized, among which subcarriers are reserved for pilots. Notably, is related to the sparsity of and fixed to be its double in this simulation.
In Figure 1, we obtain the convergence of in three cases as follows.
Case 1. Let , so the vector has length of and sparsity of .
Case 2. Let , so the vector has length of and sparsity of .
Case 3. Let , so the vector has length of and sparsity of .
On the whole, reduces with the increasing of iteration number in all the three cases. In addition, by comparing all the three cases, it is shown that the more the antennas utilized, the smaller the and the slower the convergence obtained. Specifically, in Case 1, after six iterations, converges to , and, in Case 2, it is after ten iterations. In Case 3, declines to at the thirtieth iterations.
In Figure 2, we obtain the convergence of in the same three cases as in Figure 1. And, for each case, the dashed and solid lines are plotted when and , respectively. As expected, reduces with the increasing of iteration number. In addition, the dashed and solid lines almost overlap in Case 3, which shows that when the number of antennas increases, gets smaller quite effectively.
4.2. The Simulation for the System with 4 Transmitting Antennas
By Figures 3 and 4, the performance of the proposed pilot pattern in the system is assessed. System parameters are set as , , there are two users which configure one receiving antenna individually, and the QPSK modulation with unit amplitude is applied. The channel model used in this simulation is the same as the one in the first simulation.
For evaluating the estimation performance, the per-antenna normalize mean square error (NMSE) is applied, which is computed as follows: where is the number of Monte Carlo iterations and and are the true and estimated channel vectors in the th Monte Carlo iteration, respectively.
Figure 3 demonstrates the NMSE performance of three kinds of pilot pattern, that is, the worst in random patterns, the patterns proposed in [12], and our proposed pattern. As a comparison, the performance of conventional LS channel estimation with all subcarriers being reserved for pilots is also shown. Notably, in order to ensure the contrast fairness, all these four patterns are made to have the equal pilot power. It is shown that as the number of pilots increases, the NMSE performance becomes better. And using the proposed pattern in this paper can obtain the best performance when the number of pilots on each antenna is more than .
Figure 4 illustrates the system BER performance of the four kinds of circumstance mentioned above. Similar to Figure 3, it is shown that the proposed pattern in this paper has the best performance especially when the SNR is more than dB. Notably, in the process of simulation, all subcarriers have been utilized as pilots to activate the conventional LS estimate algorithm, which causes the bandwidth waste. However, in CS-based estimation, the pilots occupy only of bandwidth. As to the computational complexity, the number of complex multiplications in LS channel estimation and CS-based channel estimation is and , respectively, where is the number of iterations in OMP algorithm and it is approximately equal to the sparsity of vector . So, the two methods of channel estimation have the same order of computational complexity. However, the CS-based channel estimation needs the sparsity of and the variance of noise as prior knowledge, which is not needed in LS channel estimation. Consider
4.3. The Simulation for the System with 32 Transmitting Antennas
By Figures 5 and 6, the performance of the proposed pilot pattern in the system is assessed. Let the number of transmitting antennas, , be equal to and the other system parameters are the same in the second simulation. Notably, when , the conditions and are not met. According to the proposed design algorithm, all the transmitting antennas need to be grouped.
Figure 5 demonstrates the NMSE performance of three cases that divide all the transmitting antennas into , , and groups, respectively. As a comparison, the performance of pilot pattern proposed in paper [12] is also shown, which is equivalent to the case that divides into groups. It is shown that the cases with and groups have the similar performance which is better than the others. And the same situation can be shown in Figure 6 which illustrates the system BER performance of the four kinds of circumstance mentioned above. According to the objective function of GA algorithm in Algorithm 2, the number of complex multiplications in the fitness function calculated process of GA algorithm is . Therefore, dividing antennas into groups is more practical because the proposed pilot design algorithm with this has the lower computation complexity.
5. Conclusion
In large-scale MIMO-OFDM system, the CS-based channel estimation can overcome the pilot pollution effectively because of its dramatic improving of the system spectral efficiency. Based on alternating projection, a pilot design method for the CS-based channel estimation in large-scale MIMO-OFDM system is proposed in this paper. Simulations show that the pilot pattern obtained by our method has a better performance in terms of the NMSE and BER compared to the method in [12].
Appendix
A. The Derivation of
Define matrix with the th row and th column block: So, can be expanded as (22) and whereNotably, the second equation is obtained by the singular value decomposition (SVD) of .
Because and any two rows of are orthogonal, , where is a -order unit matrix. Put into formula (A.3), and we can obtain thatBecause , , and , So, it is proven that is a constant value.
B. The Derivation of
Divide the matrix into blocks. The th row and th column block denoted by has the size similar to mentioned above. Then, Expand as follows: Put into it, and we can obtain thatwhere and where size equal to the ’s is the upper left corner block of the matrix . So, it is proven thatSimilarly, we can obtain that
Competing Interests
The authors declare that they have no competing interests.
Acknowledgments
This research is supported in part by China Important National Science and Technology Specific Projects (2014ZX03003013), by National Key Technology Research and Development Program of China (2012BAF14B01), by National Natural Science Foundation of China (61171105 & 61322110), and by 863 Program Project (2015AA01A703) and Doctor Funding Program (201300051100013).