- Open Access
Statistical covariance-matching based blind channel estimation for zero-padding MIMO–OFDM systems
EURASIP Journal on Advances in Signal Processing volume 2012, Article number: 139 (2012)
We propose a statistical covariance-matching based blind channel estimation scheme for zero-padding (ZP) multiple-input multiple-output (MIMO)–orthogonal frequency division multiplexing (OFDM) systems. By exploiting the block Toeplitz channel matrix structure, it is shown that the linear equations relating the entries of the received covariance matrix and the outer product of the MIMO channel matrix taps can be rearranged into a set of decoupled groups. The decoupled nature reduces computations, and more importantly guarantees unique recovery of the channel matrix outer product under a quite mild condition. Then the channel impulse response matrix is identified, up to a Hermitian matrix ambiguity, through an eigen-decomposition of the outer product matrix. Simulation results are used to evidence the advantages of the proposed method over a recently reported subspace algorithm applicable to the ZP-based MIMO–OFDM scheme.
Orthogonal frequency division multiplexing (OFDM) combined with guard intervals, in the form of cyclic prefix (CP) or zero-padding (ZP), is an effective transmission scheme through frequency selective fading channels . By further leveraging the spatial resource, the multiple-input multiple-output (MIMO)–OFDM system has been the key technique for realizing high-rate transmission in modern wireless communications . Toward reliable coherent symbol decoding in MIMO–OFDM systems, accurate channel state information is crucial. Blind channel estimation is a technique that alleviates the need for training sequences to identify the unknown channel impulse response from the received signal. Since the requirement of extra bandwidth for training overhead is reduced, this technique has received great research interest  and many blind estimation algorithms have been developed for various transmission systems [3–21]. In this article, we will focus on blind estimation of ZP-based MIMO–OFDM systems.
For ZP-based single-input single-output (SISO) OFDM systems, a subspace algorithm is proposed to blindly identify the channels in , and is then generalized to MIMO cases . However, this approach is known to suffer a sever performance degradation when the signal-to-noise ratio (SNR) is low or moderate . To solve this problem, a statistical covariance-matching (SCM) based method which exploits some priori knowledge of the signal structure to improve channel estimation/equalization performances against harsh SNR conditions, is developed for SISO cases . In this article we will propose an SCM based blind channel estimation for ZP-based MIMO–OFDM systems. By exploiting the block Toeplitz channel matrix structure, we show that the linear equations relating the entries of the received covariance matrix and the products of the channel matrix taps can be rearranged into decoupled groups. The outer product of the MIMO channel matrices can be obtained by solving these decoupled linear equation groups. The channel impulse response is then identified, up to a Hermitian matrix ambiguity, through an eigen-decompostion of the computed outer product matrix. The proposed approach has the following distinctive features: (i) The identifiability condition is very simple and is more relaxed than the irreducible or column reduced condition ; (ii) It can apply to the more transmit antennae case under a certain condition; (iii) Through numerical simulation, it yields improved BER performance in the low-to-moderate SNR region. The rest of this article is organized as follows. Section 2. is the system model and basic assumptions. In Section 3., we propose a blind channel estimation method for the ZP based MIMO–OFDM systems. Simulation results are given in Section 4.. Section 5. concludes this article.
Notations used in this article are quite standard: Bold uppercase is used for matrices, and bold lowercase is used for vectors. AT represents transpose of the matrix A, and A∗ represents conjugate transpose of the matrix A. I M is the identity matrix of dimension M×M, and A⊗B is the Kronecker product of matrices A and B. In addition, we define the following operations that will be used in the derivation of the main result. First, for any m×m matrix A=[ak,l]0≤k,l≤m−1, define for 0≤j≤m−1, i.e., Γ j (A) is the vector formed from the jth super-diagonal of A. Second, for any Jn×Jn matrix B=[Bk,l]0≤k,l≤n−1, where Bk,l is a block matrix of dimension J×J, define for 0≤j≤n−1, i.e., Υ j (B) is the matrix formed from the jth block super-diagonal of B.
System model and basic assumptions
Consider the K-input J-output discrete time ZP-OFDM baseband model shown in Figure 1. At the transmitter, for , each input signal s k (n) is stacked as a block , which is multiplied by the inverse FFT matrix F∗, and then padded with P trailing zero entries to form the N=M + P dimensional vector . The zero-padded is parallel-to-serial converted to obtain u k (n), which is then transmitted through the MIMO finite-impulse-response (FIR) channel. At the receiver, the j th received signal is for , where w j (n) is the channel noise seen at the j th receiver, and is the impulse response from the k th transmitter to the j th receiver.
Let , and be the channel coefficient matrix for , where is the order of the MIMO channel. Assume P≥L and group the sequence of x(n) as . Then due to zero padding, the input-output channel characteristics can be expressed in the following form :
where is similarly defined as , and is a block Toeplitz matrix with being its first block column and being its first block row. with being similarly defined as x(n).
The problem we study in this article is blind estimation of the MIMO channel matrix taps H(m), 0≤m≤L, by using second-order statistics of the received data. The following assumptions hold throughout the article.
The source signal is a zero mean white sequence with E[s(m) s (n)∗] =δ(m − n)I K , where δ(·) is the Kronecker delta function. The noise is white zero mean with . In addition, the source signal is uncorrelated with the noise w(n), i.e., , ∀m,n.
The concatenated channel impulse response matrix is full column rank, i.e., rank(H)=K.
Blind channel estimation
We first introduce the proposed method, assuming the noise is absent in Section 3.1; the case when noise is present and some distinctive features regarding the proposed method are discussed in Section 3.2.
Proposed approach: noiseless case
When noise is absent, (2.1) can be expressed as . By further defining the block source signal , we have , which is a zero mean vector with according to assumption (A). Then taking expectation of , we get
Let be a circulant matrix with the first row equal to and . Then the block Toeplitz structure of H f allows us to write , and hence
The following proposition, whose proof is given in Appendix 1, shows that the matrix JkS ST(JT)l has special structures that allows for the decomposition of (3.2) into a group of decoupled equations.
: Let 0≤k,l≤L be two non-negative integers. For l=k + j, where 0≤j≤L−k, the upper triangular part of JkS ST(JT)lis zero with only the j th upper diagonal nonzero and is given by
where , 0≤k≤L−j, and .
Since ⊗H(k)H(l)∗, it follows from (3.2) and (3.3) that for 0≤j≤L, can be described as follows:
where is formed from the products of channel matrix taps of the form H(k)H(k + j)∗, and .
Since N>L + 1, the (L + 1) equations in (3.4) are overdetermined and consistent. Since it can be checked that M j is full column rank for (see Appendix 2), the solution F j can be obtained as
Let Q be the Hermitian matrix defined by Q=HH∗. Then we obtain Q from (3.5) since Q is Hermitian and Υ j (Q)=F j for . Since rank(H)=K by assumption (B), Q has rank K. Since Q is Hermitian and positive semidefinite, Q has K positive eigenvalues, say, . We can expand Q as
where d j is a unit norm eigenvector of Q associated with λ j >0. We can thus choose the channel impulse response matrix to be
The noisy case: When noise is present, the received covariance matrix becomes based on (2.1). Since the matrix is of full column rank, the rank of is KM. This implies that the assoicated smallest (JN−KM) eigenvalues of R f are equal to the noise variances . Hence, in practice we can obtain the estimated noise variance as the average of the smallest (JN−KM) eigenvalues of the sample covariance matrix . Then the proposed channel estimation algorithm can directly apply by substracting from . Alternatively, can also be estimated via the method given in .
Channel identifiability: For the proposed method, the channel identifiability condition is assumption ( B ), i.e., rank(H)=K. Hence the channel needs not be irreducible, column reduced , or full column rank of H(0) required in the subspace method (, p. 1422). Thus the channel identifiability of the proposed method is more relaxed than that of the subspace method.
Application to the more-input case: A necessary condition for the concatenated channel matrix H to be of full column rank (assumption ( B )) is(3.8)
i.e., the product of the number of receive antennae (J) and the channel length (L + 1) should be no less than the number of transmit antennae (K). Hence, unlike the subspace method , which is exclusive for the more-output case, the proposed method is also capable of identifying more-input channels (K>J), as long as the condition (3.8) is fulfilled.
Computational complexity: Compared with the subspace method , the proposed method requires fewer computations. Detailed flop counts for these two methods are given in Appendix 3.
Algorithm: We now summarize the proposed approach as the following algorithm:
Collect the received data as , and then estimate the covariance matrix R f via the following time average(3.9)
where S is the number of symbol blocks.
Use the method given in this subsection to eliminate the noise component imposing on to get .
Form the matrix M j and compute F j using (3.5) for . (Here we use R c instead of R f in (3.5).)
Form the matrix Q using F0, , and obtain the channel impulse response matrix (3.7) by computing the K largest eigenvalues and the associated eigenvectors of Q.
In this section, we use several numerical simulations to demonstrate the performance of the proposed method. We first consider two 2-input 2-output test channels, both with L=2. Channel A is shown as follows:
and channel B is the same as channel A except . The length of symbol blocks is M=18, which is zero padded to blocks of length M + P=20. It means P=2(=L) and transmission efficiency is 90%. The number of symbol blocks is S=100. The channel normalized mean-square error (NMSE) is defined as , where I=200 is the number of Monte Carlo runs, and ∥·∥ F denotes the Frobenius norm. is the i th estimate of the channel impulse response matrix H after removing the unitary matrix ambiguity by the least squares method . The input source symbols are i.i.d. QPSK signals. The SNR at the output is defined as . The channel noise is zero mean, temporally and spatially white Gaussian.
In the first experiment, we compare the performance of the proposed method with that of the subspace method . Figures 2 and 3 are the simulation results of zero-forcing equalization for channels A and B, respectively. Figure 2 shows that the proposed method outperforms the subspace method from low to medium SNR, whereas the subspace method gives better performance for high SNR; and Figure 3 shows that the performance of the proposed method is better than that of the subspace method. From Figures 2 and 3, we observe that the performance of the subspace method deteriorates for channel B. This is expected since by computation, the condition number of H(0) for channel B(=47.18) is larger than that of channel A(=12.69), which means H(0) for channel B is closer to singularity (rank deficiency) and tends to violate the identifiability condition of the subspace method (, p. 1422).
In the second experiment, we generate 100 3-input 2-output random channels with L=2 to illustrate the estimation performance of the proposed method for channels with more transmitters than receivers. We use M=18 and P=2. Each channel coefficient in the channel matrix is generated according to the independent complexed-valued Gaussian distribution with zero mean and unit variance. Figure 4 shows that for different numbers of symbol blocks, the proposed method is capable of identifying the more-input channels. In addition, the NMSE decreases as SNR increases and is roughtly constant for high SNR. A possible explanation is that for sufficiently high SNR, the channel NMSE is contributed mainly due to numerical error than by channel noise. The existence of the error floor at high SNR due to numerical error is a well-known result, and this common phenomenon can also be observed in some previous works related to blind channel estimation [9–14].
In the third experiment, we apply the proposed method to 200 2-input 4-out random channels with L=4 to demonstrate the performance. We use M=36 and P=4 to maintain the transmission efficiency at 90%. Each channel coefficient in the channel matrix is still generated according to the independent complexed-valued Gaussian distribution with zero mean and unit variance. Figures 5 and 6 show that as the number of symbol blocks (used to obtain the covariance matrix ) increases from 200 to 400, the BER approaches to the ideal case. In addition, these two figures also show that the proposed method outperforms the subspace method from low to medium SNR, and the subspace method performs better for high SNR.
In the literature of blind channel estimation, it is well-known that subspace methods, such as [18, 21], enjoy the so-called “finite sample convergence” property [15–19, 21], that is, in the noiseless case (or sufficicently high SNR), the channels can be almost exactly identified by using a finite number of samples for covariance estimation. This is the reason why the subspace-based solution can yield improved channel estimation accuracy and the resultant BER in the high SNR region. The proposed method, like most of other solution branches, e.g., [9–14], can be classified as the “SCM” approach, by which exact channel identification is achieved whenever the exact covariance matrix is available. Hence, it is not unexpected that our method is susceptible to finite-sample errors in covariance matrix estimation, which leads to an MSE floor in the high SNR region. Such a phenomenon is not uncommon in the literature, and has been seen in many studies, e.g., [9–14]. Despite this, the proposed method can outperform the subspace algorithm in the low SNR region, and hence could be a potential candidate in harsh communication environments.
We propose an SCM based blind channel estimation method for zero padding MIMO–OFDM systems. By exploiting the block Toeplitz channel matrix structure, we solve the channel product matrices from a series of decoupled linear equations obtained from the covariance matrix of the received data. Then the channel impulse response matrix can be obtained by taking eigen-decomposition of a Hermitian matrix formed from the channel product matrices. The identifiability condition is more relaxed than that of the subspace method . Unlike most of existing solutions that are only applicable for the more-output channels, the proposed approach can also identify the more-input channels under a quite mild condition. Simulation results are used to demonstrate the performance of the proposed method. Compared with the subspace method , the proposed method is shown to have better performance form low to medium SNR or when H(0) tends to be singular.
Appendix 1: Proof of Proposition 3.1
Let e n be the n th column of the identity matrix I N . Then for k=0 case,
Hence for 0≤j≤L.
For k=1 case,
Hence for 0≤j≤L.
Following the same process, we can obtain the cases for , through some straightforward manipulation, and assert the result given in Proposition 3.1.
Appendix 2: Proof of full column rank of M j
Let for . We note that P0 is a Toeplitz matrix with q0 being its first column and being its first row. Hence P0is full column rank.
Also we observe that for , P j is obtained from P0 by deleting its last j rows and the last j columns, i.e., P j is a Toeplitz matrix with q0(1:N−j,1) being its first column and being its first row. Thus, for , P j is full column rank.
Since P j is full column rank, M j =P j ⊗I J is full column rank for .
Appendix 3: Complexity evaluation
The proposed method is compared with the subspace method  in terms of flops, where a “flop” is defined to be a single complex multiplication or addition . Proposed method: Estimate the (Hermitian) covariance matrix R f using (3.9); this requires flops. Estimate and eliminate the noise variance to obtain R c needs 3JN flops. Solving (L + 1) least square problems using QR factorization (, p. 254) requires flops. Eigen-decomposition of a J(L + 1)×J(L + 1) requires 12J3(L + 1)3flops. Subspace method: Estimate the covariance matrix requires flops. Eigen-decomposition of a J(L + M)×J(L + M) matrix requires 12J3(L + M)3flops. Singular value decomposition of a (JN−KM)N×J(L + 1) matrix (, p. 240) requires 4J2(L + 1)2J(2L + 2 + N2)−KMN flops.
According to the above flop computation, for the first experiment simulation in Section 4., the proposed method and the subspace method require about 1.7×105flops and 9.44×105flops, respectively. For experiment 3 using 200 symbol blocks, the proposed method and the subspace method require about 5.5×106 flops and 5.99×107flops, respectively.
Wang Z, Giannakis GB: Wireless multicarrier communications: where Fourier meets Shannon. IEEE Signal Process. Mag 2000, 17(3):29-48. 10.1109/79.841722
Stüber GL, Barry JR, Mclaughlin SW, Li Y, Ingram MA, Pratt TG: Broadband MIMO–OFDM wireless communications. Proc. IEEE 2004, 92(2):271-294. 10.1109/JPROC.2003.821912
Giannakis GB, Hua Y, Stoica P, Tong L: Signal Processing, Advances in Wireless and Mobile Communications Volume I: Trends in Channel Identification and Equalization. (Prentice Hall, PTR, Upper Saddle River, 2001)
Chen YS, Lin CA: Blind-channel identification for MIMO single-carrier zero-padding block-transmission systems. IEEE Trans. Circ. Syst.–I: Regular Papers 2008, 55(6):1571-1579.
Zhuang X, Ding Z, Swindlehurst AL: A statistical subspace method for blind channel identification in OFDM communications. Proc. IEEE Int. Conf. Acoust. Speech Signal Process, 5, 2005, 2493-2496. (Philadelphia, Pennsylvania, USA)
Backx FD, Vinhozaand TTV, Sampaio-Neto R: Blind channel estimation for zero-padded OFDM systems based on correlation matching. Proc. IEEE Vehicular Technology Conference – Fall 2007, 1308-1311. (Baltimore, Maryland, USA)
Chen YS, Lin CA: Blind identification of MIMO channels in zero padding block transmission systems. IEEE Trans. Signal Process 2007, 55(2):764-772.
Ding Z: Matrix outer-product decomposition method for blind multiple channel identification. IEEE Trans. Signal Process 1997, 45(12):3053-3061. 10.1109/78.650264
Shin C, Heath Jr. RW, Powers EJ: Non-redundant precoding-based blind and semi-blind channel estimation for MIMO block transmission with a cyclic prefix. IEEE Trans. Signal Process 2008, 56(6):2509-2523.
Ding Z, Qiu L: Blind MIMO channel identification from second order statistics using rank deficient channel convolution matrix. IEEE Trans. Signal Process 2003, 51(2):535-544. 10.1109/TSP.2002.806986
Gao F, Nallanathan A: Blind channel estimation for MIMO OFDM systems via nonredundant linear precoding. IEEE Trans. Signal Process 2007, 55(2):784-789.
Gao F, Nallanathan A: Blind channel estimation for OFDM systems via a generalized precoding. IEEE Trans. Veh. Technol 2007, 56(3):1155-1164.
Simois FJ, Murillo-Fuentes JJ, Boloix-Tortosa R, Salamanca L: Near the Cramér-Rao bound precoding algorithms for OFDM blind channel estimation. IEEE Trans. Veh. Technol 2012, 61(2):651-661.
Khanagha V, Khanagha A, Vakili VT: Modified particle swarm optimization for blind deconvolution and identification of multichannel FIR filters. EURASIP J. Avd. Signal Process 2010, 2010: 716862.
Tong L, Zhao Q: Joint order detection and blind channel estimation by least squares smoothing. IEEE Trans. Signal Process 1999, 47(9):2345-2355. 10.1109/78.782179
Zhao Q, Tong L: Adaptive blind channel estimation by least squares smoothing. IEEE Trans. Signal Process 1999, 47(12):3000-3012.
Yu X, Tong L: Joint channel and symbol estimation by oblique projections. IEEE Trans. Signal Process 2001, 49(12):3074-3083. 10.1109/78.969515
Moulines E, Duhamel P, Cardoso JF, Mayrargue S: Subspace methods for the blind identification of multichannel FIR filters. IEEE Trans. Signal Process 1995, 43(2):516-525. 10.1109/78.348133
Xu G, Liu H, Tong L, Kailath T: A least-squares approach to blind channel identification. IEEE Trans. Signal Process 1995, 43(12):2982-2993. 10.1109/78.476442
Scaglione A, Giannakis GB, Barbarossa S: Redundant filter bank precoders and equalizers—Part II: blind channel estimation, synchronization, and direct equalization. IEEE Trans. Signal Process 1999, 47(7):2007-2022. 10.1109/78.771048
Zeng Y, Ng T-Y: A semi-blind channel estimation method for multiuser multiantenna OFDM systems. IEEE Trans. Signal Process 2004, 52(5):1419-1429. 10.1109/TSP.2004.826183
Golub GH, Van Loan CF: Matrix Computions,. 3rd edn. (The Johns Hopkins University Press, Baltimore, 1996)
The research was sponsored by the National Science Council of Taiwan under grant NSC 99-2221-E-035-056-.
The authors declare that they have no competing interests.
Authors’ original submitted files for images
About this article
Cite this article
Chen, YS., Wu, JY. Statistical covariance-matching based blind channel estimation for zero-padding MIMO–OFDM systems. EURASIP J. Adv. Signal Process. 2012, 139 (2012). https://doi.org/10.1186/1687-6180-2012-139
- Blind channel estimation
- Zero padding