Abstract
We present a study of semiblind (SB) estimation for a frequency-selective (FS) multiple-input multiple-output (MIMO) wireless channel using a novel Fisher-information matrix (FIM) based approach. The frequency selective MIMO system is modeled as a matrix finite impulse response (FIR) channel, and the transmitted data symbols comprise of a sequence of pilot symbols followed by the unknown blind symbols. It is demonstrated that the FIM for this system can be expressed as the sum of the blind FIM Jb and pilot FIM Jp. We present a key result relating the rank of the FIM to the number of blindly identifiable parameters. We then present a novel maximum-likelihood (ML) scheme for the semiblind estimation of the MIMO FIR channel. We derive the Cramer-Rao Bound (CRB) for the semiblind scheme. It is observed that the semi-blind MSE of estimation of the MIMO FIR channel is potentially much lower compared to an exclusively pilot-based scheme. Finally, we derive a lower bound for the minimum number of pilot symbols necessary for the estimation of an FIR MIMO channel for any general semi-blind scheme. Simulation results are presented to augment the above analysis.
1. Introduction
Multiple-input multiple-output (MIMO) communication systems [1] have gained widespread popularity as technology solutions for current and future wireless systems such as 3G/4G, WBA (wireless broadband access), and 802.11n for high-speed WLAN (wireless local area network) applications amongst others. The detection performance of the designed MIMO receivers depends on the accuracy of the available channel estimate. Accurate estimates are also valuable for feedback-based schemes such as water-filling power allocation to enhance capacity [2] or design optimum precoders for MIMO transmission [3]. Channel estimation thus plays a key role in the performance gains achievable through deployment of MIMO systems.
In current signal processing research, there are two dominant and widely prevalent approaches for channel estimation. The first one is termed as pilot-based estimation [4, 5] and employs exclusively pilot symbols. These schemes have a low complexity of implementation and are robust in nature which makes them amenable for implementation in wireless systems. A downside to the employment of pilot-based schemes is that they cause a significant bandwidth overhead since pilot symbols convey no information. This overhead is higher in MIMO systems where the number of channel parameters to be estimated grows as the product of the number of receive and transmit antennas, requiring the transmission of an increasing number of pilot symbols, thus reducing the effective spectral efficiency (defined as the ratio of information bearing bits to total bits per unit bandwidth). The alternative to pilot-based estimation, is blind estimation [6, 7] which employs exclusively the statistical information available about the input symbols and channel. Since, in principle, it employs no training symbols, blind schemes have maximum effective spectral efficiency (ratio of information to total bits equals unity). However, blind schemes are computationally complex and typically identify a channel only up to a scaling, phase or permutation indeterminacy. To avoid the shortcomings of the above schemes, semi-blind (SB) techniques [8–10], which utilize both pilot and blind symbols (Figure 1), have gained popularity. These schemes utilize the statistical information available in the data symbols, thus enhancing the accuracy of the channel estimate, while employing a few pilot symbols to greatly reduce overhead and improve robustness. For instance, in the context of a SIMO wireless channel, it has been shown that with just one pilot symbol placed anywhere in the transmitted data block, the channel can be estimated without any residual indeterminacy [11]. Other interesting semi-blind schemes can be found in works such as [12, 13].
The focus of this work is to present a new semi-blind MIMO estimation scheme and quantify the improvements in bandwidth efficiency and robustness of SB estimation schemes in general. For this purpose, it is necessary to address multiple aspects of SB estimation. The problem of identifiability from blind symbols forms a cornerstone of SB estimation, since SB schemes rely on estimating a significant component of the wireless channel from the blind symbols. Thus, by leveraging the blind statistical information to the greatest extent, they reduce the dependence on pilots or, in other words, achieve a greater accuracy of estimation from the limited pilot data. Therefore, we present a novel approach based on the Fisher information matrix (FIM) to characterize the blind identifiability of the MIMO channel. In a key result presented in this work, we demonstrate that the number of blindly identifiable parameters of the MIMO FIR system is equal to the rank of the FIM. This observation has been employed intuitively in literature without formal justification, such as in [14] where the authors make this observation in the context of a SIMO channel. Identifiability results in the context of SIMO and MIMO channels have been presented in works such as [11, 15], respectively. Such results in the context of systems employing space-time block codes (STBC) can be found in works such as [16, 17]. Our general FIM result can be employed as a unifying framework in such a wide variety of scenarios to characterize the identifiability of the underlying system.
Further, most works on identifiability such as [18] and others consider the transmitted blind symbols to be deterministically unknown in nature, due to the relative ease of analysis of such models. However, in our analysis, we assume that the blind symbols are stochastic in nature for the following reason. In the context of direction of arrival (DOA) estimation, it has been demonstrated in [19] that if denote the Cramer-Rao bounds (CRB) on the covariance matrices of the stochastic and deterministic estimation schemes, then . In other words, the stochastic model is statistically more efficient and has a lower mean square error (MSE) of estimation than its deterministic counterpart since the stochastic signal model has the advantage that the number of unknown parameters in the system no longer grows with the number of transmitted data symbols. Hence, our estimation schemes which are based on stochastic rather than deterministic blind symbols achieve a lower MSE of estimation by exploiting the statistical information available in the blind symbols.
For the context of MIMO frequency selective channel estimation, consider an MIMO system ( = no. of receive antennas, = no. of transmit antennas) with channel taps. This system has real parameters (i.e., complex parameters) to be estimated. The FIM-based approach can be used to demonstrate the result that the above MIMO FIR system has parameters that cannot be identified from exclusively employing blind data. This is a central result for the estimation of MIMO FIR matrices and is derived from the MIMO identifiability results in [15, 20], wherein it has been shown that these blindly unidentifiable parameters correspond to a unitary matrix indeterminacy. Motivated by this observation, we present an SB estimation scheme for a FIR MIMO channel, which achieves the dual objective of robustness and spectral efficiency. This scheme employs a whitening-rotation-like decomposition of the FIR MIMO channel, where the whitening matrix is frequency selective. We then utilize the work in [7] where Tugnait and Huang have elaborated a blind algorithm based on linear prediction for the estimation of the frequency-selective whitening matrix of the MIMO frequency selective channel. Utilizing this scheme, in conjunction with an orthogonal pilot sequence-based maximum-likelihood (ML) scheme for the estimation of the unitary matrix indeterminacy [21], we describe a scheme for the semi-blind estimation of a MIMO FIR channel. Thus, we present a novel procedure for SB estimation of the MIMO FIR channel.
The final concern in this endeavor of SB channel estimation is to quantify the estimation accuracy of such schemes for a given number of pilot symbols. Once again, using the FIM-based approach above, a concise result can be found for the MSE of estimation of the SB scheme. We demonstrate that asymptotically, as the block length of data symbols becomes very large, the MSE of SB estimation is directly proportional to the number of blindly unidentifiable parameters or . Hence, while for exclusively pilot-based estimation the MSE grows proportional to the total number of parameters , the MSE bound for SB estimation is only related to a much smaller set of blindly unidentifiable parameters. Thus, in summary, by exploiting the available blind symbols to the greatest possible extent, that is, by estimating all but a small fraction of the total parameters from the blind symbols, one can achieve a much lower MSE performance compared to exclusively pilot-based schemes. Finally, we consider the issue of minimum number of pilot symbols necessary for the estimation of the FIR MIMO channel. Indeed, the answer to this question is inherently related to the question of identifiability of the MIMO FIR channel, and, using the FIM approach, we demonstrate the key result that at least pilot symbols are necessary for the estimation of the MIMO FIR channel.
The rest of the paper is organized as follows. The MIMO FIR estimation problem is formulated in Section 2. In Section 3, we present results on the SB-FIM followed by Sections 4 and 5 which describe the semi-blind scheme for channel estimation and MSE analysis, respectively. Simulation results are presented in Section 7 followed by conclusions in Section 8. In what follows, represents , where denotes the set of natural numbers, is the rank of a matrix, and represents the null space of a matrix.
2. Problem Formulation
Consider an tap frequency-selective MIMO channel. The system input-output relation can be expressed as where are the received and transmitted symbol vectors, respectively. is spatiotemporally white additive Gaussian noise of variance , that is, , where if and 0 otherwise. Let be the number of transmitters, receivers, and, therefore, and . Each is the MIMO channel matrix corresponding to the th lag. Also, we assume , that is, the number of receivers is greater than the number of transmitters. Let be a burst of transmitted pilot symbols. The subscript in the above notation represents pilots. Let be defined as Let the unknown blind information symbols (which yield only statistical information at the receiver) be stacked as transmitted symbol vectors in described by the system model given below as where the matrix is the standard block Sylvester channel matrix often employed for the analysis of MIMO FIR channels [14] and is given as The input vector is the data symbol block, where the length of each input block of data is symbols long. Such a stacking of the input/output symbols into blocks results in loss of a small number of output information symbols ( symbols per block) due to interblock interference (IBI). This model is frequently employed in FIR system studies such as in [22] and is adapted because eliminating the IBI makes the analysis tractable by yielding simplistic-likelihood expressions. Let the transmitted data symbols be spatiotemporally white, that is, and the normalized source power . Hence, the covariance of the block input vector is given as . The MIMO transfer function of the FIR channel being defined as is assumed to satisfy the following conditions. (A.1) is irreducible, that is, has full column rank for all (including ). It follows that if is irreducible, the leading coefficient matrix has full column rank (substitute in ). (A.2) is column reduced, that is, the trailing coefficient matrix has full column rank.
In practical applications, since the fading coefficients of the wireless channel matrices arise from the random scattering effects of the ambient propagation environment, the above assumptions are satisfied with very high probability. For a discussion about special scenarios where the above conditions are not satisfied, the reader is referred to works [7, 23]. Next, we present insights into the nature of the above estimation problem.
3. Semiblind Fisher Information Matrix (FIM)
In this section, we formally setup the complex FIM for the estimation of the channel matrix and provide insights into the nature of semi-blind estimation. The parameter vector to be estimated is defined by stacking the complex parameter vector and its conjugate as suggested in [21, 24] as and denotes the standard matrix vector operator which represents a column-wise stacking of the entries of a matrix into a single column vector. In what follows, . Observe also that . Let blocks of data symbols be transmitted. In addition, let the data symbol vectors be Gaussian. Then, , the correlation matrix of the output defined in Section 2 is given as where . Hence, employing the zero IBI assumption as defined in the section above, the log-likelihood expression for the semi-blind scenario is given by a sum of the blind and pilot log-likelihoods as where , the Gaussian log-likelihood of the blind symbols, is given as and , the least-squares log-likelihood of the pilot part, is given as Hence, the FIM for the sum likelihood is given as where are the FIMs for the blind and pilot symbol bursts, respectively, which are defined by the likelihoods [21, 25]. This splitting of the FIM into pilot and blind components is similar to the approaches employed in [26, 27] and can be considered as representing the blind and pilot information components available for the estimation of the wireless channel. In the semi-blind scheme, we wish to make complete use of the blind and pilot information for channel estimation, as against an exclusively pilot-based scheme which employs only pilot information. This forms the central basis for the development of semi-blind estimation schemes. Next, we present a general result on the properties of the FIM before we apply it to the problem at hand in the succeeding sections.
3.1. FIM: A General Result
In this section, we present an interesting property of an FIM-based analysis by demonstrating a relation between the rank of the FIM and the number of unidentifiable parameters. Let be the complex parameter vector of interest. As described in [21, 24], for estimation of complex parameters, we employ a stacking of as where . Let be the pdf of the observation vector parameterized by , where is a function of the parameter vector . Similar to stacking , let the function be defined as Given the log-likelihood , the FIM is given [25] as Let be an identifiable function of the parameter , that is, the FIM with respect to has full rank. We then have the following result.
Lemma 1. Let , be the pdf of the observation vector , and let be a function of the parameter vector satisfying the following conditions. (C.1)Let itself be an identifiable function of the parameter , that is, the FIM with respect to has full rank. (C.2)Let , or, in other words, the dimension of the null space of is . Under the above conditions, the FIM is rank deficient and, moreover,
Proof. Let be the pdf of the observations . The derivative of the log-likelihood with respect to the parameter vector is given as The unconstrained FIM for the estimation of the parameter vector is given asHence, from the condition C.2 above, it follows that .
Thus, the rank of the FIM is deficient by , which is the number of unidentifiable parameters. We now provide a deeper insight into the above result that connects the nature of the FIM to the number of unidentifiable parameters. Explicitly, let be reparameterized by the real parameter vector , as . Let satisfy the property or, in other words, the function remains unchanged as the parameter vector varies over the dimensional constrained manifold , and thus has at least a dimensional null space. The parameter vector is the unconstrained parameterization of the constraint manifold and represents the unidentifiable parameters. This implies that each parameter in is identifiable only up to degrees of freedom owing to the unidentifiability of the component which is of dimension . This result has interesting applications, especially in the investigation of identifiability issues in the context of blind and semi-blind wireless channel estimation. The implications of this result in the context of semi-blind MIMO channel estimation are explored in the next section where we examine the rank of the semi-blind FIM and derive further insights into the nature of the estimation problem.
3.2. Blind FIM
We now apply the above result to our problem of MIMO FIR channel estimation. We start by investigating the properties of the blind FIM . Let the block Toeplitz parameter derivative matrix be defined employing complex derivatives as From the results for the Fisher information matrix of a complex Gaussian stochastic process [28], defined in (10) above is given as where denotes its )th element. We can now apply the result in Lemma 1 above to this FIM matrix , and we have the following result on the rank of the blind FIM for the MIMO FIR channel. Under the assumptions above, it is known [15, 20] that can be identified up to a constant unitary matrix from second-order statistical information. Such a unitary matrix has real parameters, [21]. Hence, from Lemma 1 above, we have the following result.
Theorem 2. Let the MIMO FIR channel transfer function satisfy (A.1) and (A.2) above. Then, the rank upper-bound on the blind FIM defined in (18) above is given as In fact, a basis for the null space is given by as where the matrix function for the matrix is defined as
Proof. See Appendix A.
Thus, it is clear that MIMO FIR impulse response of the channel can be estimated up to an indeterminacy of real parameters from the statistical or blind information. This result has significant implications for estimation of the MIMO channel. As increase, the number of real parameters in the system, which is equal to (the dimension of matrix ), increases manyfold. However, the number of parameters that cannot be identified from blind symbols may be as small as implying that a wealth of data can be identified from the blind symbols without any need for pilots. This reduction in the number of parameters to be estimated from pilots results in a significant decreases in the MSE of estimation, a result which will be rigorously justified in Section 5. Next, we present an algorithm for the SB estimation of the MIMO FIR channel matrix.
4. Semiblind Estimation: Algorithm
As shown above, since only (of the total ) parameters cannot be identified from blind data, they can be identified from the pilot symbols. These parameters correspond to a unitary matrix. More precisely, Let be the irreducible channel transfer matrix. let the input-output system model be as shown in Section 2. Then, can be identified up to a unitary matrix from the blind statistical information, that is, without the aid of any pilots. In the following discussion, let denote the estimate of the quantity . The matrix can be expressed as From the above result, the matrices can be estimated from the blind second-order statistical information, that is, from the correlation lags , without the aid of pilot symbols. In the flat fading channel case (), this can be done by a simple Cholesky decomposition of the instantaneous output correlation matrix (as ). However, for the case of frequency selective channels, estimating the matrices is not straight forward and a scheme based on designing multiple delay linear predictors is given in [7] (Set and it follows that ). It thus remains to compute the unitary matrix , that is, is such that and has very few parameters ( real parameters, [21]). In the next section, we present algorithms for the estimation of this unitary indeterminacy from the transmitted pilot symbols.
4.1. Orthogonal Pilot ML (OPML) for Estimation
We now describe a procedure to estimate the unitary matrix from an orthogonal pilot symbol sequence . Let be defined as . Let the pilot matrix be defined as The least squares cost function for the constrained estimation of the unitary matrix can then be written as Let the pilot matrix be orthogonal, that is, . The cost minimizing is then given as
Proof. It follows from an extension of the result in [21].
Finally, is given as . It now remains to demonstrate a scheme to construct the orthogonal pilot matrix which is treated next.
4.2. Orthogonal Pilot Matrix Construction
An orthogonal pilot matrix in the context of MIMO FIR channels can be constructed by employing the Paley Hadamard (PH) orthogonal matrix structure shown in Figure 2, and such a scheme has been described in [29]. Another scheme based on signal constellations derived from the roots of unity is presented in [5]. The PH matrix has blocks of shifted orthogonal rows (illustrated with the aid of rectangular boundaries), thus giving it the block Sylvester structure. Each transmit stream of orthogonal pilots for the FIR system can be constructed by considering the “L”-shaped block shown in the figure and removing the prefix of (channel length) symbols at the receiver. Thus, the pilot matrix for orthogonal pilots is given as Orthogonal pilots have shown to be optimally suited for MIMO channel estimation in studies such as [30, 31]. However, the Sylvester structure of FIR pilot matrices further constrains the set of orthogonal pilot symbol streams compared to flat-fading channels. As the number of channel taps increases, employing a PH matrix to construct an orthogonal pilot symbol stream implies choosing a PH matrix with a large dimension. This in turn implies an increase in the length of the pilot symbol sequence and hence a larger overhead in communication. This problem can be alleviated by employing a nonorthogonal pilot symbol sequence which results in slightly suboptimal estimation performance but enables the designer to choose any pilot length desired. This iterative general maximum-likelihood (IGML) scheme for channel estimation using nonorthogonal pilots is described in [21] for flat-fading channels and can be extended to FIR channels in a straight forward manner. Experimental results have shown its performance to be comparable to the above OPML scheme.
5. Semiblind MSE of Estimation
Consider now the asymptotic performance of the semi-blind scheme from an FIM perspective. As the amount of blind information increases (which does not increase the pilot overhead of the system), the variance of estimation of the the covariance matrices progressively decreases to zero, implying that the blindly identifiable parameters (such as the whitening matrix) can be estimated accurately. Thus, intuitively, the SB estimation problem reduces to the constrained estimation of the blindly unidentifiable parameters from the pilot symbols, a proposition which is rigorously justified below. Hence, the limiting MSE is equal to the MSE for the complex constrained estimation of the blindly unidentifiable parameters. SB techniques can therefore yield a far lesser MSE of estimation than an exclusively pilot-based scheme as illustrated by the following result.
Theorem 3. Let , which is achieved by the orthogonal pilot matrix . Then, as the number of blind symbol transmissions increases ( ), the semi-blind CRB approaches the CRB for the exclusive estimation of the blindly unidentifiable parameters. Further, the semi-blind MSE bound, given by the trace of the CRB matrix, converges to which depends only on , the number of blindly unidentifiable parameters.
Proof. Given the fact that , the semi-blind FIM can be expressed as where is the blind FIM corresponding to a single observed blind symbol block and is given as , where the blind FIM is defined in (18). From Lemma 1, it can be seen that is rank deficient and . Let the eigen-decomposition of be given as , where is a diagonal matrix. Then, Hence, the CRB is given as As the number of blind symbols , the diagonal matrix in the above expression. Thus the semi-blind bound approaches the complex constrained Cramer-Rao bound (CC-CRB) [21] given as In fact, the bound on the MSE is clearly seen to be given as which is the constrained bound for the estimation of the MIMO channel matrix .
Thus, the bound for the MSE of estimation and hence the asymptotic MSE of the maximum-likelihood estimate of the channel matrix with the aid of blind information, are directly proportional to .
Contrast this result with the MSE of estimation exclusively using an exclusively pilot-based scheme (i.e., a scheme which does not leverage the blind data like the semi-blind scheme). This MSE is given as and is proportional to , the total number of real parameters. Hence, the SB estimate which has an asymptotic MSE lower by a factor of can potentially be very efficient compared to exclusive pilot only channel estimation schemes. For instance, in a MIMO system with , and channel taps, the potential reduction in MSE by employing a semi-blind estimation procedure is dB as demonstrated in Section 7. Thus, the SB estimation scheme can result in significantly lower MSE. Finally, it is worth mentioning that the above results, which are derived employing the Gaussian data symbol distribution in Section 3, are in close agreement with the performance of a system employing a discrete signal constellation such as quadrature phase-shift keying (QPSK), as illustrated in the simulation results of Section 7.
6. Pilots and FIM
In this section, we obtain a lower bound for the minimum number of pilot symbols necessary to achieve regularity or a full rank FIM , that is, for the SB identifiability of the MIMO channel . Recall that are the transmitted pilot symbols. Then, the FIM of the pilot symbols is given as , where is the FIM contribution from the pilot symbol transmission. Given complex vectors in , let the matrix function be defined as and if or . After some manipulations, it can be shown that the FIM contribution is given as The following result bounds the rank of the semi-blind (pilot + blind) FIM .
Theorem 4. Let pilot symbols be transmitted and let the matrix be full column rank as assumed above. A rank upper bound of the sum (pilot + blind) FIM defined in (10) above is given as or, in other words, a lower bound on the rank deficiency is given as .
Proof. See Appendix B.
The above result gives an expression for the rank upper bound of the MIMO FIR Fisher information matrix for each transmitted pilot symbol. Since identifiability requires a full rank FIM, it thus presents a key insight into the number of pilot symbols needed for identifiability of the MIMO FIR system as shown next.
6.1. Pilots and Identifiability
From the above result, one can obtain a lower bound on the number of pilot symbols necessary for SB identifiability of the MIMO channel. This result is stated below.
Lemma 5. The number of pilot symbol transmissions should at least equal the number of transmit antennas for the FIM to be full rank and hence the MIMO FIR system in (1) to be identifiable.
Proof. It is easy to see from (35) that, for , that is, strictly less than full rank. As the number of pilot symbols increases, for , , where is the dimension of and therefore represents full rank. Hence, at least pilot symbols are necessary for the identifiability of the MIMO FIR wireless channel.
Thus at least pilot symbols are necessary for the system to become identifiable. One has to observe that in the case of semi-blind estimation potentially fewer number () of parameters need to be estimated. Hence, even though semi-blind schemes necessitate the transmission of pilot symbols, the accuracy of estimation of such a scheme can be higher owing to the fact that they estimate fewer parameters from the limited pilot symbols. This improvement in MSE performance has been quantified in Section 5 where we presented results about the asymptotic performance of the SB estimator using the above FIM framework. Next, we present results of simulation studies.
7. Simulation Results
In this section, we present results of simulation experiments to illustrate the salient aspects of the work described above. In a majority of our simulations below, we consider a MIMO FIR channel with 2 taps, that is, , , and . Each of the elements of is generated as a zero-mean circularly symmetric complex Gaussian random variables of unit variance, that is, a Rayleigh fading wireless channel. The orthogonal pilot sequence is constructed from Paley Hadamard matrices by employing the scheme in Section 4.1. The transmitted symbols, both pilot and blind (data), are assumed to be drawn from a quadrature phase shift keying (QPSK) symbol constellation [32].
Experiment 1. In Figure 3, we plot the rank deficiency of the FIM of a MIMO FIR system () with channel taps as a function of the number of transmitted pilot symbols . The rank was computed for 100 realizations of randomly generated Rayleigh fading MIMO channels, and the rank deficiency observed was precisely for transmitted pilot symbols, respectively. Hence, rank deficiency 25 for verifies that the assumptions (A.1), (A.2) (in turn Lemma 1) hold with overwhelming probability in the case of randomly generated MIMO channels. Further, for , the rank deficiency is given as which additionally verifies the bound in (35) for FIM rank deficiency as a function of number of pilot symbols.
Experiment 2. In Figure 4, we plot the MSE versus SNR when the whitening matrix is estimated from blind received symbols employing the linear prediction-based scheme from [7]. The matrix is estimated from orthogonal pilot symbols employing the semi-blind scheme in Section 4.1. For comparison, we also plot the MSE when is estimated exclusively from training using least-squares [21, 25], the asymptotic complex constrained CRB (CC-CRB) given by (27), and the MSE of estimation with the genie-assisted case of perfect knowledge of . It can be observed that the MSE progressively decreases towards the complex constrained CRB as the number of blind symbols increases. Also observed as illustrated in Theorem 3, the asymptotic SB estimation error is dB lower than the pilot-based scheme as illustrated in Section 5.
In Figure 5(a), we plot the MSE performance of the competing estimation schemes above for different transmitted pilot symbol lengths and 5000 transmitted QPSK data symbols (blind received symbols). As illustrated in Section 4.1, we employ Paley Hadamard matrices to construct the orthogonal pilot sequences. Since such matrices exist only for certain lengths , we plot the performance for pilot symbols. The asymptotic semi-blind performance is 9 dB lower in MSE as seen above. Also, for a given number of blind symbols, the performance gap in MSE of performance of the semi-blind scheme with estimation and that of the training scheme progressively decreases. This is due to the fact that more blind symbols are required to accurately estimate the whitening matrix for the MSE performance of the semi-blind scheme to be commensurate with the performance improvement of the pilot-based scheme. Finally, in Figure 5(b), we plot the performance of the competing schemes for different number of blind symbols in the range 1000–5000 QPSK symbols and pilot symbols. The performance of the SB scheme with estimated can be seen to progressively improve as the number of received blind symbols increases.
(a)
(b)
Experiment 3. We compare the symbol error rate (SER) performance of the training and semi-blind channel estimation schemes. At the receiver, we employ a stacking as in (3) of 7 received symbol vectors followed by a MIMO minimum mean-square error (MMSE) detector [1] constructed from the MIMO channel matrix . In Figure 6, we plot the SER of detection of the transmitted QPSK symbols versus SNR in the range 2–16 dB. It can be seen that the asymptotic semi-blind estimator has a 1-2 dB improvement in detection performance over the exclusive training-based scheme. The SER drops from around at 2 dB to at 16 dB. Thus, an SB-based estimation scheme can potentially yield significant throughput gains when employed for the estimation of the wireless MIMO frequency-selective channel.
8. Conclusion
In this work, we have investigated the rank properties of the semi-blind FIM of a tap () MIMO FIR channel. The MIMO channel transfer function can be decomposed as , where the whitening transfer function can be estimated from the blind symbols alone. A constrained semi-blind estimation scheme has been presented to estimate the unitary matrix from pilot symbols along with an algorithm to achieve an orthogonal pilot matrix structure for MIMO frequency selective channels using Paley Hadamard matrices. From an asymptotic MSE analysis, it has been demonstrated that the semi-blind scheme achieves a significantly lower MSE than an exclusively pilot-based scheme. It has also been demonstrated that at least pilot symbol transmissions are necessary to achieve a full-rank FIM (and hence identifiability). Simulation results demonstrate the performance of the proposed semi-blind scheme.
Appendices
A. Proof of Theorem 2
Proof. Consider the result for the simpler case of the flat fading channel, that is, . Then, . Let the system be parameterized as and, hence, from the discussion above,
From the system model described in (1), the pdf of the observation vector is given by , where is the output correlation defined as . Consider a reparameterization of the channel matrix by the real parameter vector as , where is also known as a whitening matrix and is a unitary matrix. is now a many to one mapping since and
which is independent of the parameter vector . Hence, it is a many to one mapping since for all unitary matrices we have
since ( is the number of real parameters to characterize a unitary matrix). Hence, , and, from Lemma 1, the first result follows. The proof for the general frequency selective case follows from the result in [15].
For the second result, let . Let the blind FIM be block partitioned as
It can be verified from (18) that and . The block components of the FIM are given as
which can be written succinctly as . Similarly, is given as
where . It can now be seen that , where is as defined in (21). For instance, the top elements of (where we employ MATLAB notation and denotes the first column of ) are given as , and so on. The structure of the FIM for the most general case of arbitrary is complex, but the result can be seen to hold by employing a symbolic manipulation software tool such as the MATLAB symbolic toolbox package.
It can be seen that the top part of the null space basis matrix is . As assumed earlier, . Now it is easy to see that if is rank deficient, is rank deficient, and, from its structure, is rank deficient violating the assumption. Hence, .
B. Proof of Theorem 4
Proof. and are positive semidefinite (PSD) matrices. We use the following property: if are PSD matrices, . Therefore, . In other words, Let . Then, from the null space structure of in (21), it follows that , where . Also, From Lemma 6, this implies that , where is as defined in (33). Let the matrix be defined as Recall that is assumed to have full column rank. Then, from the structure of given in (21), it can be shown that the relation above holds if and only if, , where the matrix is given as It can then be seen that matrix forms a basis for the left nullspace of , that is, , where Thus, , and, therefore, right nullity (or nullity) of is . And, therefore, .
Lemma 6. Let , where . Then, , where is as defined in (33).
Proof. Consider , the FIM contribution of the first transmitted pilot symbol. It can be seen clearly that is given as Hence, implies that . Further, from the properties of the matrix Kronecker product, one has . Substituting , one can then obtain that Since (and hence ) is full rank, after some manipulation it can be shown that the above condition implies . Now consider the contribution of the second pilot transmission . implies that Since and have the same structure, it can be shown that , and, hence, it follows from the above equation that which in turn implies that and hence , and so on. This proves the lemma.
Acknowledgment
This work was supported by UC Discovery Grant com04-10176.