Abstract

Accurate channel state information (CSI) is necessary at receiver for coherent detection in amplify-and-forward (AF) cooperative communication systems. To estimate the channel, traditional methods, that is, least squares (LS) and least absolute shrinkage and selection operator (LASSO), are based on assumptions of either dense channel or global sparse channel. However, LS-based linear method neglects the inherent sparse structure information while LASSO-based sparse channel method cannot take full advantage of the prior information. Based on the partial sparse assumption of the cooperative channel model, we propose an improved channel estimation method with partial sparse constraint. At first, by using sparse decomposition theory, channel estimation is formulated as a compressive sensing problem. Secondly, the cooperative channel is reconstructed by LASSO with partial sparse constraint. Finally, numerical simulations are carried out to confirm the superiority of proposed methods over global sparse channel estimation methods.

1. Introduction

Relay-based cooperative communication [16] has been studied in the last decade due to its capability of enhancing the transmission range and providing the spatial diversity for single-antenna receivers by employing the relay nodes as virtual antennas [79]. A typical example of cooperative communication system is shown in Figure 1, where source 𝕊 transmits signal to destination 𝔻 with the help of relay . It is well known that utilizing multiple-inputs multiple-outputs (MIMO) transmission can boost the channel capacity [10, 11] in broadband communication systems. In addition, diversity techniques in MIMO system could mitigate selective fading and hence improve the quality of service (QoS) [12, 13]. However, it poses a practical challenge to integrate multiple antennas onto a small handheld mobile terminal. To deal with the limitation, one could choose relay-based cooperation networks which have been investigated in last decade [15]. The main reason is that the diversity from relay nodes existing in the network could be exploited, where relay can either be provided by operators or be obtained from cooperating mobile terminals of other users.

In the relay-based cooperative communication system (CCS), data transmission is usually divided into two time slots. During the first time slot, the source broadcasts its information to both relay and destination. During the second time slot, the relay could select different protocols and then transmit the signal to the destination. Usually, there are two kinds of protocols in cooperative communication systems; one is to amplify the received signal at the relay and forward it to the destination, which is termed as amplify-and-forward (AF); the second is to decode the received signal, modulate it again, and then retransmit to destination, which is often termed as decode-and-forward (DF). Due to coherent detection in these systems, accurate channel state information (CSI) is required at the destination (for AF) or at both relay and destination (for DF). About DF cooperative communication systems, the channel estimation methods could be borrowed from point-to-point (P2P) communication systems directly. However, extra channel estimation will increase the computational complexity which is a burden at relay, and broadcasting the estimated channel information will result in further interference at the destination. On the other hand, AF cooperative communication technique can avoid this disadvantage and we focus on AF CCS in this study.

As shown in Figure 1, the cooperative channel consists of a direct link 𝕊𝔻 and a cascaded one 𝕊𝔻. Based on the assumption of dense multipath, linear channel estimation for the relay-based AF cooperative networks has been proposed [4]. Even though the proposed method can achieve lower-bound performance, low spectrum efficiency is unavoidable since the training sequence takes a large amount of the bandwidth. Hence, one method to improve the spectral efficiency is by reducing the length of training sequence for channel estimation.

As channel measurement techniques improved in the last decade, broadband wireless channels have been confirmed to exhibit inherent sparse or cluster-sparse structure in delay spread. If we can take advantage of the sparse prior information, then the spectral efficiency can be improved. In allusion to point-to-point (P2P) communication systems, efficient sparse channel estimation methods [1416] have been proposed. To improve the spectral efficient and/or estimation performance in CCS, we have studied channel estimation in CCS and proposed an effective sparse channel estimation method [17].

However, the cascaded channel (𝕊𝔻) may be no longer sparse due to the linear convolutional operation [18]. Relay-based cooperative communication not only reduces the transmission range but also improves the received signal-to-noise ratio (SNR) when comparing with the P2P communication systems. Unlike the previous research under global sparse hypothesis, the cooperative channel consists of two parts: sparse part (𝕊𝔻) and dense part (𝕊𝔻). A simple example is shown in Figure 2. As a result, our previous method will be degraded since it cannot fully take advantage of the prior information. Unlike the previous method, in this paper, we propose a partial sparse channel estimation method by using LASSO [19] (PEL) to improve the performance. Based on this idea, an improved partial sparse channel estimation by using LASSO (IEL) is proposed by utilizing both partial sparse constraint and global sparse constraint. On the one hand, the partial sparse constraint can improve estimation performance in the cooperative communication systems. On the other hand, the global sparse constraint can mitigate noise interference under low SNR regime. To confirm the effectiveness of the two proposed methods, we give various numerical simulation results in Section 4.

Section 2 introduces the system model and problem formulation. In Section 3, two improved channel estimation methods are proposed. The first method is the improved channel estimation method by using partial sparse constraint, and the second one is an improved channel estimation method by using both partial and global sparse constraint. In Section 4, we give some representative numerical simulation results and related discussions. Concluding remarks are presented in Section 5.

Notations. In this paper, we use boldface lower case letters 𝐱 to denote vectors and boldface capital letters 𝐗 to denote matrices. 𝑥 represents the complex Gaussian random variable. 𝔼[] stands for the expectation operation. 𝐗𝑇, 𝐗 denote transpose and conjugated transpose operations of 𝐗, respectively. 𝐱0 is the number of nonzero elements of 𝐱, and 𝐱2 is the Euclidean norm of 𝐱. diag(𝐱) represents a diagonal matrix whose diagonal entries are from vector 𝐱. 𝐱1𝐱2 denotes the convolution of two vectors 𝐱1 and 𝐱2.

2. System Model

Consider a multipath fading AF CCS where the source 𝕊 sends data to destination 𝔻 with the help of relay as shown in Figure 1. The three terminals are assumed to be equipped with a single antenna each. 𝐡𝑆𝐷, 𝐡𝑆𝑅, and 𝐡𝑅𝐷 denote the impulse response of the frequency selective fading channel vectors between three links 𝕊𝔻, 𝕊, and 𝔻, respectively. The three channel vectors are assumed to be zero-mean circularly symmetric complex Gaussian random variables with variance 𝜎2 and are independent of each other. For the time being, we assume perfect synchronization among three terminals. Note that they differ from our previous research in [17], because the impulse response of the cooperative channels, 𝐡𝑆𝑅 and 𝐡𝑅𝐷, is modeled as highly dense channel model due to the fact that the relay can reduce transmission range and improve channel quality. In other words, multipath taps arrive in a very short delay spread. The two channels are assumed to have length 𝐿𝑆𝑅 and 𝐿𝑅𝐷, respectively. For simplicity, we assume that they have same length 𝐿𝑆𝑅=𝐿𝑆𝑅=𝐿/2, and the channel model of 𝐡𝑆𝑅 can be written as 𝐡𝑆𝑅=𝐿/21𝑙=0𝑆𝑅,𝑙𝛿𝑡𝜏𝑆𝑅,𝑙,(1) where 𝑆𝑅,𝑙 and 𝜏𝑆𝑅,𝑙 represent the complex path gain with 𝔼[𝑙|𝑆𝑅,𝑙|2]=1 and symbol spaced time delay of the 𝑙th path, respectively. The training sequence vector 𝐱 is denoted as 𝐱=[𝑥(1),𝑥(2),,𝑥(𝑁)]𝑇 where 𝑁 is the number of training length, and the transmit power is 𝑃𝑆=𝔼[𝐱𝐻𝐱]=𝑁𝑃, where 𝑃 is the symbol power. According to the property of AF cooperative system, one full transmission can be divided into two time slots as shown in Figure 3.

At the first time slot, complex baseband received signal at 𝔻 and is given by 𝐲𝐷,1=𝐇𝑆𝐷𝐱+𝐳𝐷,1,𝐲𝑅,1=𝐇𝑆𝑅𝐱+𝐳𝑅,1,(2) where 𝐇𝑆𝐷 and 𝐇𝑆𝑅 denote two complex circulant channel matrices with their first columns [𝐡𝑇𝑆𝐷,𝟎1×(𝑁𝐿)]𝑇 and [𝐡𝑇𝑆𝑅,𝟎1×(𝑁𝐿/2)]𝑇 respectively [20]; 𝐳𝐷,1 and 𝐳𝑅,1 are a realization of a complex additive Gaussian white noise vector with zero mean and covariance matrix 𝔼[𝐳𝐷,1𝐳𝐻𝐷,1]=𝔼[𝐳𝑅,1𝐳𝐻𝑅,1]=𝜎2𝑛𝐈𝑁, and 𝐈𝑁 is the 𝑁×𝑁 identity matrix. Then the relay amplifies the received signal 𝐲𝑅,1 and retransmits the signal during the second time slot. The received signal vector at the destination 𝔻 is given by 𝐲𝐷,2=𝛽𝐇𝑅𝐷𝐇𝑆𝑅𝐱+𝐳𝐷,2,(3) where 𝐇𝑅𝐷 is a circulant channel matrix with first column [𝐡𝑇𝑅𝐷,𝟎1×(𝑁𝐿/2)]𝑇; 𝐳𝐷,2=𝛽𝐇𝑅𝐷𝐳𝑅,1+̃𝐳𝐷,2 is a composite noise with zero mean and covariance matrix 𝔼[𝐳𝐷,2𝐳𝐻𝐷,2]=(𝛽2𝐇𝑅𝐷𝐇𝐻𝑅𝐷+𝐈𝑁)𝜎2𝑛, where ̃𝐳𝐷,2 is a realization of a complex additive Gaussian white noise (AWGN) vector with zero mean and covariance matrix ̃𝐳𝔼[𝐷,2̃𝐳𝐻𝐷,2]=𝜎2𝑛𝐈𝑁. Considering long-time averaging, the amplification factor 𝛽 is given by 𝛽=𝑃𝑅𝜎2𝑃𝑆+𝜎2𝑛,(4) where 𝑃𝑅 is the transmit power of relay. Using (2), the effective input-output relation in the AF cooperative communication system can be summarized as ̃𝐲𝐲=𝐷,1𝐲𝐷,2=𝐇𝑆𝐷𝛽𝐇𝑅𝐷𝐇𝑆𝑅𝐱𝐱+𝐳𝐷,1𝐳𝐷,2.(5) According to the matrix theory [21], all circulant matrices can share the same eigenvectors [20]. That is to say, the same unitary matrix can work for all circulant matrices. Hence, the matrices 𝐇𝑆𝐷 and 𝐇𝑅𝐷𝐇𝑆𝑅 in (5) are decomposited as 𝐇𝑆𝐷=𝐅𝐻𝐃𝑆𝐷𝐅 and 𝐇𝑅𝐷𝐇𝑆𝑅=𝐅𝐻𝐃𝑆𝑅𝐷𝐅, respectively, where 𝐃𝑆𝑅𝐷=𝐃𝑅𝐷𝐃𝑆𝑅 denotes a diagonal matrix and 𝐅 is the unitary discrete Fourier transform (DFT) matrix with entries 𝑓𝑚𝑛=[𝐅]𝑚𝑛=1/𝑁𝑒𝑗2𝜋(𝑚1)(𝑛1)/𝑁, 𝑚,𝑛=1,2,,𝑁. At the same time, 𝐅𝐻𝐃𝑆𝑅𝐷𝐅 is the decomposition of a circulant matrix which is constructed from a cascaded channel impulse response 𝐡𝑆𝑅𝐷𝐡𝑅𝐷𝐡𝑆𝑅. Here, both 𝐃𝑆𝐷 and 𝐃𝑆𝑅𝐷 are diagonal matrices which are given by 𝐃𝑆𝐷𝐻=diag𝑆𝐷(0),,𝐻𝑆𝐷(𝑛),,𝐻𝑆𝐷,𝐃(𝑁1)𝑆𝑅𝐷𝐻=diag𝑆𝑅𝐷(0),,𝐻𝑆𝑅𝐷(𝑛),,𝐻𝑆𝑅𝐷(,𝑁1)(6) respectively, where 𝐻𝑆𝐷(𝑛) and 𝐻𝑆𝑅𝐷(𝑛) are given by 𝐻𝑆𝐷(𝑛)=𝐿1𝑙=0𝑆𝐷(𝑙)𝑒𝑗2𝜋𝑛𝑙/𝑁,𝐻𝑆𝑅𝐷(𝑛)=𝐿2𝑙=0𝑆𝑅𝐷(𝑙)𝑒𝑗2𝜋𝑛𝑙/𝑁,(7) respectively, where 𝐡𝑆𝐷=[𝑆𝐷(0),𝑆𝐷(1),,𝑆𝐷(𝐿1)]𝑇 denotes direct link from source 𝕊 to destination 𝔻 at the first time slot and 𝐡𝑆𝑅𝐷=[𝑆𝑅𝐷(0),𝑆𝑅𝐷(1),,𝑆𝑅𝐷(𝐿2)]𝑇 represents cascaded channel from source 𝕊 to destination 𝔻 via help of the relay at the second time slot. Based on the above analysis, (5) can be rewritten as 𝐲=𝐗𝐡+𝐳,(8) where 𝐲=[(𝐅𝐲𝐷,1)𝑇,(𝐅𝐲𝐷,2)𝑇]𝑇 denotes 2𝑁-length received signal vector; 𝐗 denotes equivalent training matrix, and it can be written as 𝐗=𝐅diag(𝐱)𝐅𝑆𝐷𝟎𝑁×(𝐿1)𝟎𝑁×𝐿𝐅diag(𝐱)𝐅𝑆𝑅𝐷,(9) with 2𝑁×(2𝐿1) dimension; 𝐡=[𝐡𝑇𝑆𝐷𝐡𝑇𝑆𝑅𝐷]𝑇 represents (2𝐿1)-length cooperative channel vector; 𝐳=[(𝐅𝐳𝐷,1)𝑇(𝐅𝐳𝐷,2)𝑇]𝑇 denotes 2𝑁-length complex AWGN vector; 𝐅𝑆𝐷 and F𝑆𝑅𝐷 are partial DFT matrices taking the first 𝐿 and (𝐿1) columns of 𝐅, respectively. And the 𝐳 is a realization of a complex Gaussian random vector with zero mean and covariance matrix 𝔼[𝐳𝐳𝐻]=(𝛽2|𝐃𝑆𝑅|2+𝐈2𝑁)𝜎2𝑛.

3. Sparse Channel Estimation

In this section, we discuss the sparse channel estimation for AF CCS. Firstly, we review briefly CS theory and restricted isometry property (RIP) of training signal matrix. Then, sparse channel estimation method [17] is introduced. Finally, we propose improved sparse channel estimators by using partial sparse constraint to take full advantage of prior information in AF CCS.

3.1. Review of the CS

In a typical complex sparse identification system, one can use known matrix 𝐔𝑁×𝐿 to estimate an 𝐿-length unknown sparse signal vector 𝐚 based on the observation linear system model: 𝐛=𝐔𝐚+𝐜,(10) where 𝐛𝑁 is a complex observation signal vector, 𝐜𝑁 is a noise vector, and 𝐚 is 𝐾 sparse vector which means the number of dominant entries is no more than 𝐾, that is, 𝐚0𝐾𝐿. The position of dominant entries is randomly distributed. In addition, 𝐿𝑁 according to CS assumption. The optimal sparse solution 𝐚opt can be obtained uniquely by solving minimization problem: 𝐚opt=argmin𝐚12𝐛𝐔𝐚22+𝜆0𝐚0,(11) where 𝜆0 is regularized parameter which trades off the mean square error (MSE) and sparsity. However, solving 0 norm is NP hard and cannot be utilized in practical applications [22].

Fortunately, alternative suboptimal sparse recovery methods have been studied if the known measurement matrix 𝐔 satisfies RIP [23]. Let 𝐔Ω, Ω{1,2,,𝑁} be the 𝑁×|Ω| submatrix extracting those columns of 𝐔 that are indexed by the elements of Ω. Then the 𝐾-restricted isometry constant (RIC) of 𝐔 is defined as the smallest parameter 𝛿𝐾(0,1) such that ||||𝐔Ω𝐚Ω22𝐚Ω22𝐚Ω22||||𝛿𝐾,(12) for all Ω with |Ω|𝐾 and all vector 𝐚Ω|Ω|. Assume that 𝐔 is an 𝑁×𝐿 random measurement matrix that satisfies the RIP of order 𝐾 with RIC 𝛿𝐾, that is, 𝐔RIP(𝐾,𝛿𝐾). Consider an arbitrary sparse vector 𝐚 in observation model 𝐛=𝐔𝐚+𝐜, where 𝐜2𝜉, by solving 1 minimization problem, and suboptimal sparse solution ̂𝐚sub is obtained by ̂𝐚sub=argmin𝐚12𝐛𝐔𝐚22+𝜆sub𝐚1,(13) where 𝜆sub=𝐶0𝜎𝑛log𝑁 and 𝐶0 is a parameter which is decided by the noise level and RIC of 𝐔. Hence, the estimator ̂𝐚sub satisfies sparse recovery performance with ̂𝐚sub𝐚2𝐶11max𝜉,𝐾𝐚𝐚𝐾1,(14) where 𝐶1 is a parameter which is also decided by noise level and RIC of 𝐔. Let us recall the channel estimation problem for AF cooperative systems in (8); if the equivalent training matrix 𝐗 satisfies RIP, then accurate sparse channel estimation can be achieved. In the next, we will present improved sparse channel estimation methods by using LASSO algorithm [19].

3.2. Sparse Channel Estimation

Channel estimation is done on sparse channel 𝐡 by sending the training symbols. Conventional sparse channel estimation method using LASSO algorithm (SEL) has been proposed for deriving sparse impulse response for AF CCS [17]. According to the system model in (8), the global sparse channel estimator ̂𝐡SEL can be achieved by ̂𝐡SEL=argmin𝐡12𝐲𝐗𝐡22+𝜆SEL𝐖SEL𝐡1,(15) where 𝐖SEL=𝐈(2𝐿1)×(2𝐿1),(16) is an identity matrix and 𝜆SEL=0.02𝜎𝑛𝑁 is a regularization parameter which controls the tradeoff between square error 𝐲𝐗𝐡22 and sparse constrained 𝐖SEL𝐡1. However, the proposed method can only solve global sparse solution well while neglecting the inherent partial sparse structure. In the next, we propose a method to fully exploit the prior information in AF CCS.

3.3. Partial Sparse Channel Estimation

From signal processing perspective, extra prior information of partial sparse can be further utilized. In this situation, partial sparse channel estimation by using LASSO (PEL) ̂𝐡PEL could be achieved by ̂𝐡PEL=argmin𝐡12𝐲𝐗𝐡22+𝜆PEL𝐖PEL𝐡1,(17) where 𝐖PEL=𝐈𝐿×𝐿𝟎𝐿×(𝐿1)𝟎(𝐿1)×𝐿𝟎(𝐿1)×(𝐿1)(18) is a diagonal weighted matrix and 𝜆PEL=0.2𝜎𝑛𝑁 is a regularization parameter which controls the tradeoff between square error 𝐲𝐗𝐡22 and local partial sparse constrained 𝐖PEL𝐡1.

Based on the partial sparse constraint on cooperative channel impulse response, we propose an improved PEL (IEL) estimator. On the one hand, the local sparse constrain can improve estimation performance. On the other hand, the global sparse constraint can mitigate noise interference in the low SNR regime. The IEL estimator ̂𝐡IEL can be obtained by ̂𝐡IEL=argmin𝐡12𝐲𝐗𝐡22+𝜆SEL𝐖SEL𝐡1+𝜆PEL𝐖PEL𝐡1,(19) where the regularization parameters 𝜆SEL and 𝜆PEL are given by the (15) and (18), respectively. In the following, we will give representative simulation results to confirm the effectiveness of the improved sparse channel estimation methods.

4. Numerical Simulations

In this section, we will compare the performance of the proposed estimators, that is, PEL and IEL, with SEL estimator and LS estimator. To achieve average estimation performance, 1000 independent Monte-Carlo runs are adopted. The length of training sequence is 𝑁=36. The length of direct link 𝐡𝑆𝐷 is 𝐿=32 with the number of dominant channel taps 𝐾1=2,4,8. The two cooperative links 𝐡𝑆𝑅 and 𝐡𝑅𝐷 have fixed length of 𝐿/2 with the number of dominant channel taps 𝐾2=4,8,16. All of the nonzero channel taps are generated following Rayleigh distribution and set to 𝔼[𝐡𝑆𝑅2]=𝔼[𝐡𝑅𝐷2]=𝔼[𝐡𝑆𝐷2]=1. Transmit power and AF relay power are fixed as 𝑃𝑆=𝑃𝑅=𝑁𝑃, where 𝑃 is the symbol power. The received SNR is defined as 𝑃𝑆/𝜎2𝑛.

Channel estimator ̂𝐡 is evaluated by normalized mean square error (NMSE) which is defined by ̂𝐡=𝔼̂𝐡NMSE𝐡22𝐡2,(20) where 𝐡 and ̂𝐡 denote cooperative channel vector and its estimator, respectively. At first, we compare their estimation performance with different number of dominant channel taps 𝐾1 and 𝐾2. As shown in Figure 4, when 𝐾1=2 and 𝐾2=4, the direct link 𝐡𝑆𝐷 is sparse channel impulse response, and the cascaded link 𝐡𝑆𝑅𝐷 may not be sparse since the linear convolution between 𝐡𝑆𝑅 and 𝐡𝑅𝐷. It can be observed from Figure 4 that the two proposed channel estimators are better than both SEL estimator and LS-based linear channel estimator. It is worth nothing that the IEL estimator has a better performance than PEL one, since the IEL takes not only advantage of partial sparse prior information but also utilizes global sparse constraint to mitigate noise interference. The same performance advantage can also be seen in other scenarios with different number of dominant channel taps as shown in Figures 5 and 6. When 𝐾1=4 and 𝐾2=8, we can also find that IEL estimator has a better performance than PEL under low SNR (less than 15dB). On the other hand, if the direct link 𝐡𝑆𝐷 is highly sparse, for example, 𝐾1=2, while the cooperative links 𝐡𝑆𝑅 and 𝐡𝑅𝐷 are highly dense, for example, 𝐾2=16, the two proposed channel estimators have a more significant performance advantage over traditional methods. In addition, IEL estimator is worse than PEL estimator when the SNR is higher than 15dB. According to these results, we can conclude the following: if direct and cooperative links are highly sparse channel, then IEL can achieve obvious better estimation performance than PEL; if the direct link is highly sparse channel while cooperative link is highly dense channel, the estimation performance of the two proposed methods is very close. It is worth mentioning that estimation performance of IEL is better than PEL due to the fact that IEL utilizes global sparse constraint to mitigate noise interference and partial sparse constraint to take advantage of channel sparsity. However, the computational complexity of IEL is higher than PEL. That is to say, IEL uses higher computational complexity than PEL to obtain performance advantage. Hence, to use IEL or PEL will be decided by the requirement of practical communication systems. In addition, when the number of dominant channel taps is very small, for example, 𝐾1=2 and 𝐾2=4, the estimation performance is close to the SEL estimator. However, if the direct link is sparse, for example, 𝐾1=2 and cooperative link is highly dense, for example, 𝐾2=16, then the two proposed channel estimators are close to CRLB. According to the previous analysis, we can find that the proposed methods are generalized from both LS-based linear estimation method and SEL, since they are either based on dense or sparse channel assumption. Hence, our proposed methods can work well in different channel environments.

5. Conclusion

Accurate CSI is indispensable for coherent detection in AF CCS. Traditional channel estimation methods are based on assumptions of either dense channel model or sparse channel model in AF CCS. In this paper, the two kinds of channel models have been generalized as a partial sparse channel model. By means of compressive sensing and partial sparse constraint, we have proposed improved sparse channel estimation methods to fully exploit channel prior information. Numerical simulations have confirmed the performance superiority of the proposed method over the conventional global sparse channel estimation method and traditional linear LS method. The proposed method can also be extended to other cooperative communication systems such as MIMO AF CCS.

Acknowledgment

The authors would like to thank Professor Guan Yong Liang for helpful discussions and appreciate the constructive comments of the anonymous reviewers.