 Research
 Open Access
 Published:
Probabilitybased pilot allocation for MIMO relay Distributed compressed sensing channel estimation
EURASIP Journal on Advances in Signal Processing volumeÂ 2018, ArticleÂ number:Â 18 (2018)
Abstract
MultipleInput MultipleOutput (MIMO) relay communication systems are used as an efficient system in spectral efficiency and power allocation view point. In these systems, some of the facilities need channel state information (CSI). Besides, new estimation methods based on compressed sensing (CS) are well known for their spectral efficiency and accuracy. In this paper, we have used a Distributed CSbased channel estimation method to improve the accuracy and spectral efficiency of channel estimation for MIMOOrthogonal Frequency Division Multiplexing relay network. Specifically, using Least Squares (LS) estimation increases the accuracy of wellknown Compressive Sampling Matching Pursuit (CoSaMP) algorithm and proposes Blockverified CoSaMP (BvCoSaMP). To improve the accuracy of estimation, we are encountered with a combinatorial optimization which is dealt with probabilitybased approaches in this paper. More particularly, three probabilitybased optimization methods have been proposed to optimize the mutual coherence of measurement matrix called Sequential CrossEntropy (SCE), Extended Estimating of Distribution Algorithm (EEDA), and Parallel CrossEntropy (PCE). All these methods are based on sampling from a Probability Density Function (PDF) which is updated in each iteration using elite samples of the population. The simulation results represent the accuracy and speed of the proposed methods, and the comparison is expressed as well.
1 Introduction
MultipleInput MultipleOutput (MIMO) relay communication systems make it possible to increase the data rate and coverage area of communication. Different characteristics of MIMOOrthogonal Frequency Division Multiplexing (OFDM) relaying make it an essential technology to conflict with fading and longdistance impairments [1, 2]. There are some features which need channel state information (CSI) to be available such as coherent demodulation, beamforming, relay selection, and so on [3, 4]. Increasing demand for high data rate communication could be accomplished by increasing the bandwidth efficiency of channel estimation methods which could be met by using compressed sensing (CS)based procedures. Since there is a small number of significant scatterers in the wireless environments, and the delay spread is normally large, the wireless channel could be modeled by sparse signal especially when operating in wide bandwidth. Consequently, CSbased channel estimation approaches could be used to increase the bandwidth efficiency and accuracy of channel estimation. Further to sparsity, MIMO communication systems benefit from the joint support of all the channel ensembles, since there are common scatterers in the environment between antennas of a transmitreceive pair [5]. Consequently, the support vector of the different channel groups is distributed identically. Thus, all the channels of MIMO communication between a transceiver pair are jointly sparse and could be represented in a blocksparse form [6]. By taking into account the block sparsity of MIMO channels, we could use the Distributed CS (DCS)based channel estimation approaches instead of CSbased channel estimation methods. DCSSimultaneous Orthogonal Matching Pursuit (SOMP) was one of the first DCSbased approaches which have been used in SingleInput SingleOutput (SISO)OFDM channel estimation [7]. Subsequently, in [8], DCSSOMP was used to estimate the jointly sparse channel vectors in MIMO transmission. Recently, massive MIMO CSI matrices were estimated using the jointOrthogonal Matching Pursuit (OMP) algorithm which has been proposed in [9] using the DCSbased approaches.
In DCSbased channel estimation methods for MIMOOFDM systems, the measurement matrix can be constructed using random pilot patterns. However, it can be optimized to boost the estimation accuracy using Restricted Isometry Property (RIP). Since there is no known polynomial time approach to optimize RIP, alternatively, the mutual coherence is minimized which is more practical [10]. It is shown that the mutual coherence is related to the position of pilots. As a consequence, one may minimize the mutual coherence by exhaustively searching the best positions for pilots which are intractable from the computational point of view. Hence, utilizing computational programs to generate suboptimal pilot patterns are entirely favorable. To this end, some of the papers in the literature perform evolutionary algorithms to create pilot patterns. Specifically, in [11], two different methods are developed for optimizing pilot allocation in CSbased channel estimation including Genetic Algorithm (GA) and minimizing the largest element in mutual coherence set. Moreover, the pilot allocation for DCSbased channel estimation is proposed in [12] using GAbased suboptimal approach. Additionally, Estimating the Distribution Algorithm (EDA) is used as a promising approach to optimize the pilot positions in SISOOFDM systems [13]. For MIMOOFDM systems, in [12], the authors try to optimize the pilot allocation using GAbased approach which was the extension of [14]. Other papers including [15â€“17] focus on the SISOOFDM systems and try to generate pilot sequences to increase the compressed channel estimation accuracy.
In this paper, we have developed a DCSbased approach called Blockverified Compressive Sampling Matching Pursuit (BvCoSaMP). Specifically, we have used the joint sparsity behavior of MIMO channels to produce a block sparse measurement matrix. Fortunately, using a permutation matrix, we have generated the measurement matrix and received pilot subcarriers. Using the measurement matrix and received pilot vectors, we have developed a distributed form of Compressive Sampling Matching Pursuit (CoSaMP) algorithm. To utilize CoSaMP successfully, we have verified it by using Least Squares (LS) estimation on the positions of the channel vectors which are suggested by BlockCoSaMP (BCoSaMP) algorithm. Hence, BCoSaMP is completed by an LS estimation phase, and BvCoSaMP is generated. In fact, by taking into account the sparsity order of the channel, CoSaMP is one of the most successful algorithms to estimate the support. By applying block behavior into the recovery algorithm, BCoSaMP is changed to the more accurate algorithm for estimating the support, as well. Support estimation determines the nonzero paths of channel estimation vector. Furthermore, to increase the accuracy we used LS estimating, as well. Further to estimation algorithm, the pilot allocation approaches are also proposed.
We have proposed three different pilot allocation methods based on probabilitybased mutual coherence optimization for DCSbased MIMO relay channel estimation, as well. The mutual coherence of the measurement matrix is considered as the fitness function in this paper. It is caused by the impact of mutual coherence on the mean square error of estimation in DCSbased approaches which is addressed in the literature. Moreover, orthogonal pilot allocations are considered in channel estimation, i.e., each antenna transmits neutral subcarrier in pilot subcarriers of the other antennas. At first, we have shown that shifting the measurement matrix rows and columns have not affected the mutual coherence. Furthermore, it is proved that mutual coherence of a block measurement matrix can be calculated using smaller and simpler nonblock measurement matrix. Utilizing these phenomena, we have defined the new fitness function for pilot allocation. Modeling the mutual coherence of measurement matrix implies that the fitness function is combinatorial and needs to be optimized using different pilot sequences. Herein, in order to minimize the fitness function, we have used probabilitybased approaches. Specifically, Sequential CrossEntropy (SCE)based pilot allocation, Extended Estimating of Distribution Approximation (EEDA)based pilot allocation, and Parallel CrossEntropy (PCE)based pilot allocation are three different pilot allocation approaches which have been proposed in this paper. SCEbased pilot allocation works based on the sampling from a Probability Density Function (PDF) which is updated in each iteration. Updating the PDF in each iteration is related to the current samples and previous iterationsâ€™ samples, as well. The relation can be controlled using a control constant Ï„. On the other hand, considering the marginal value for control constant (Ï„=1), the algorithm will update the PDF utilizing current samples. This approach is called EEDA which is an extension of [18]. EEDA approach will increase the convergence speed, but it will increase the risk of local minima trapping. Subsequently, to increase the rate of convergence together with the decrease of local minima trapping, we have proposed PCEbased pilot allocation which considers multiple local extrema in the iterations. It will increase the speed of convergence expectedly, moreover decrease the risk of local minima trapping.
The contributions of the paper can be summarized as:

The compressed channel estimation using proposed BvCoSaMP algorithm which uses block representation of the channel vectors to increase the accuracy of support estimation and excess LS estimation stage in the positions determined by estimated support to enhance the channel coefficients accuracy.

The pilot allocation is optimized using proposed SCEbased sequence determination algorithm and extended to MIMO pilot allocation.

In order to increase the speed of convergence of SCEbased pilot allocation, a special case is used called EEDAbased pilot allocation.

To increase the accuracy together with the speed of convergence for pilot allocation, PCEbased pilot allocation algorithm is proposed in which multiple PDFs are used to generate the pilot sequences.
The remainder of the paper is as follows. The system model is represented in Section 2. Section 3 covers channel estimation approach using BvCoSaMP, and pilot allocation scheme for SISO and MIMO systems and proposed pilot allocation methods are described in Sections 4 and 5, respectively. Numerical results are expressed in Section 6. Eventually, concluding remarks are demonstrated in Section 7.
Notations: Matrices and vectors are denoted by uppercase and lowercase boldfaced letters, respectively. . and (.)^{âˆ—} denote the complex modulus and the conjugate of a complex number. For a given matrix A, A^{T} and A^{H} denote its transpose and conjugate transpose, respectively, and A_{i,j} denotes the (i,j)th element of A. For a given vector x with its element denoted by x_{ l }, \(\\mathbf {x}\_{2} = \sqrt {\mathbf {x}^{H}\mathbf {x}}\) represents the Euclidean norm, \(\\mathbf {x}\_{1} = \sum _{l}x_{l}\) is the l_{1}norm, and diag(x) denotes a diagonal matrix with x on its main diagonal. For two vectors x and y, <x,y> denotes their inner product. For a given set Î›, n(Î›) is the number of elements in Î›. \(\mathbb {C}^{m~\times ~ n}\) stands for the set of all complexvalued m Ã— n matrices, and âˆ… denotes the null set.
2 System model
Consider an AmplifyandForward (AF) oneway relay network consisting of MIMO terminals (Fig. 1). The network consists of a source node (\(\mathbb {S}\)), a relay node (\(\mathbb {R}\)), and a destination node (\(\mathbb {D}\)), i.e., totally there are three MIMO nodes in a oneway AF network. Besides, source, relay, and destination terminals are equipped by \(N_{\mathbb {S}}\), \(N_{\mathbb {R}}\), and \(N_{\mathbb {D}}\) transceiver antennas, respectively. The channel between mth antenna of \(\mathbb {S}\) and qth antenna of \(\mathbb {R}\) is denoted by f_{ mq }=[f_{ mq }(0),f_{ mq }(1),â€¦,f_{ mq }(L âˆ’ 1)]^{T} and between qth antenna of \(\mathbb {R}\) and nantenna of \(\mathbb {D}\) is denoted by g_{ qn }=[g_{ qn }(0),g_{ qn }(1),â€¦,g_{ qn }(L âˆ’ 1)]^{T} for \(m = 1,2,\ldots, N_{\mathbb {S}}\), \(q = 1, 2, \ldots, N_{\mathbb {R}}\) and \(n = 1, 2, \ldots, N_{\mathbb {D}}\). All the channel ensembles are independent static linear selective channels. Taking into account the distance between transmitting and receiving antenna and the conveying distance of light which is extremely small, the channel delay profile is independent of transmitreceive antenna pairs. Consequently, the antenna spacing can be modeled by a phase rotation into the delay profile. Hence, all the channel pairs in network share common delay profile where there are L scatterers. Among these L scatterers, there are K significant scatterers where the channel coefficients are nonzero. These K significant scatterers are assumed to be \(\mathcal {CN}(0,\sigma ^{2})\) since each path contains multiple zero mean independent identically distributed (i.i.d.) subpaths.
Without loss of generality, we consider OFDM transmission in MIMO terminals. Consider OFDM system with N subcarriers where N_{ p } of them are selected as pilot subcarriers. Besides, to omit the interference of other antennaâ€™s pilots on each other, we consider to utilize the orthogonal pilot allocation, i.e., not only N_{ p } subcarriers are allocated to pilot subcarriers, but also pilot subcarriers assigned to other \(N_{\mathbb {S}} ~~ 1\) transmit antennas are reserved to be zero [19]. Thus, the number of data subcarriers on each of the transmit antenna is equal to \(N ~~ N_{\mathbb {S}}N_{p}\), assuming \(\mathbf {x}_{m} \in \mathbb {C}^{N\times 1}\) as the OFDM symbol before Cyclic Prefix (CP) adding to be transmitted on the mth transmit antenna of \(\mathbb {S}\). In the first time slot of the TimeDivisionDuplexing (TDD), the received signal r_{ q } for \(q = 1, 2, \ldots, N_{\mathbb {R}}\) is formulated as
where X_{ m } is the diagonal matrix with x_{ m } as its main diagonal, \(\mathbf {F}_{m}^{L}\) is the partial Discrete Fourier Transform (DFT) matrix with N_{ p } rows corresponding to the N_{ p } pilot subcarriers of mth transmit antenna and first L columns of N Ã— N DFT matrix, and v_{ q } is the zero mean Additive White Gaussian Noise (AWGN) vector with variance \(\sigma _{v}^{2}\) in the qth antenna of relay \(\mathbb {R}\). In the second time slot, relay \(\mathbb {R}\) amplifies and retransmits the received signal to the destination node \(\mathbb {D}\). As a consequence, the received pilots in the nth antenna of destination \(\mathbb {D}\) could be formulated as
where \(\mathbf {h}_{mn} = \sum _{q = 1}^{N_{\mathbb {R}}} \beta \mathbf {f}_{mq} \ast \mathbf {g}_{qn}\) is the overall channel between \(\mathbb {S}\) and \(\mathbb {D}\) passing by \(\mathbb {R}\) and Î² is the relay power factor which is selected as \(\beta = \sqrt {\frac {P_{\mathbb {R}}}{K\sigma ^{2}P_{\mathbb {S}}+\sigma _{v}^{2}}}\) which is selected to keep the longterm observation relay power as \(P_{\mathbb {R}}\) and \(\mathbf {F}_{m}^{2L1}\) is the partial DFT matrix with N_{ p } rows corresponding to the N_{ p } pilot subcarriers of mth transmit antenna and first 2L âˆ’ 1 columns of N Ã— N DFT matrix. Moreover, z_{ n } is the zero mean AWGN noise vector with variance \(\sigma _{z}^{2}\). Collecting all the received pilots corresponding to all the antennas as \(\mathbf {y} = \big [\mathbf {y}_{1}^{T}, \mathbf {y}_{2}^{T}, \ldots, \mathbf {y}_{N_{\mathbb {D}}}^{T}\big ]^{T}\), we can represent Eq. (2) using matrix representation as
where Î¦ is the overall measurement matrix defined as Eq. (4), \(\mathbf {h} \in \mathbb {C}^{N_{\mathbb {S}}N_{\mathbb {D}}(2L1) \times 1}\) is the overall channel vector defined as \(\mathbf {h} = \big [\mathbf {h}_{11}^{T}, \ldots, \mathbf {h}_{1N_{\mathbb {D}}}^{T}, \mathbf {h}_{21}^{T}, \ldots, \mathbf {h}_{N_{\mathbb {S}}N_{\mathbb {D}}}^{T}\big ]^{T}\), and \(\mathbf {z} \in \mathbb {C}^{N_{\mathbb {D}}N_{p} \times 1}\) is the overall zeromean noise vector.
In order to represent the channel vectors in Eq. (3) in a block sparse form, we used a permutation matrix called W with w_{ j } as its columns where w_{ j } is a \(N_{\mathbb {S}}N_{\mathbb {D}}(2L~~1) ~\times ~ 1\) zero vector except on the jth position which is equal to one..2Since the different paths of different channels should be positioned beside each other, we define permutation matrix W={w_{ j }} with j=s(2L âˆ’ 1) + l for \(s = 0, 1, \ldots, N_{\mathbb {S}}N_{\mathbb {D}}  1\) and l=1,2,â€¦,2Lâˆ’1 where s is increased first and after \(s~ =~ N_{\mathbb {S}}N_{\mathbb {D}}  1\) then l is increased one unit and s begins again from the first value. Besides, WW^{T}=I. As an example, for the case of \(N_{\mathbb {S}} = 2\), \(N_{\mathbb {D}} = 2\), and L=2, permutation matrix is defined as \(\mathbf {W}=\left [\mathbf {w}_{1}^{T}, \mathbf {w}_{4}^{T}, \mathbf {w}_{7}^{T}, \mathbf {w}_{10}^{T}, \mathbf {w}_{2}^{T}, \mathbf {w}_{5}^{T}, \mathbf {w}_{8}^{T}, \mathbf {w}_{11}^{T}, \mathbf {w}_{3}^{T}, \mathbf {w}_{6}^{T}, \mathbf {w}_{9}^{T}, \mathbf {w}_{12}^{T}\right ]^{T}\). Consequently, using permutation matrix we can reformulate the received pilot as follows;
where Î¨=Î¦W and e=W^{T}h.
3 Distributed compressed sensing channel estimation
CSbased approaches try to estimate channels individually while DCSbased channel estimation tries to estimate jointly sparse channels altogether. There are different channels in MIMO systems between the various transmitting and receiving antennas. Since all the transmit antennas gathered near each other and receive antennas as well, the significant scatterers which are encountered by the transmitted signals are the same. As a consequence, the sparsity pattern of different transmitreceive pairs would be the same while the channel coefficient would be completely different. Thus, utilizing DCS would be very useful. As a result, we have used the CoSaMP method and define it in a distributed manner to estimate MIMO channels.
3.1 BvCoSaMP algorithm
In this subsection, we represent the BvCoSaMP. Apparently, the CoSaMP algorithm utilizes the channel sparsity. Here, we used BCoSaMP algorithm to estimate the joint support of the channel responses. Finally, after calculating the support of the channels, the channel impulse responses are estimated using LSbased estimation. The algorithm is represented in Algorithm 1.
Obviously, exchanging the formation of the vectors between DCS and CS are repeated in Algorithm 1. Consequently, we try to explain it here. As explained before, e=[e_{1},e_{2},â€¦,e_{Q(2Lâˆ’1)}]^{T} is the DCSformed channel model where \(Q = N_{\mathbb {S}}N_{\mathbb {D}}\). Actually, e_{ i } for i=1,2,â€¦,Q are related to the first path of different channel pairs and i=Q + 1,Q + 2,â€¦,2Q are related to the second path of different channel pairs. Consequently, we can represent it by e_{ i } for i=(l âˆ’ 1)Q + [1:Q] and l=[1:2L âˆ’ 1] to clarify the DCSformed representation. Hence, in Algorithm 1, to sum up all the paths in one vector, we should sum every Qelement of DCSformed vector and consider it as the corresponding paths. This reformation is represented in Step 2 of Algorithm 1. Actually, in Step 2, we try to accumulate the calculated measurements coherently in order to organize the proxy. Moreover, to represent the DCS form into CS form, we should extend the DCS form selections by using \((\hat {T}~~1)Q ~+~ [\!1:Q]\), where \(\hat {T}\) is selected path from DCS form representation.
We consider the BCoSaMP algorithm to represent the support of the vectors. Actually, support estimation determines the nonzero paths of channel estimation vector. To improve the accuracy of support estimation, block representation helps CoSaMP algorithm. Consequently, using BCoSaMP we determine the significant paths of all the channel pairs in the network. Besides, at the end of the algorithm, we decide to calculate channel coefficients by LS equation to improve the accuracy of the estimation. LS equation is solved based on the support of the algorithm which is extracted from BCoSaMP. In other words, BCoSaMP represented that LS estimation should be solved only on the significant paths which are determined. Hence, we combine LS channel estimation and BCoSaMP together and generate the BvCoSaMP. We should consider that in the LS part of the channel estimation, the LS equation is only solved for K indices of the measurement matrix which are estimated by BCoSaMP. In fact, we used two interactive tools called block representation and LS estimation to increase the accuracy of estimation. Block representation enhances the precision of support estimation, and LS estimation improves the accuracy of coefficient estimation. Accordingly, two main features of channel estimation are increased attractively by exploiting the block representation and LS estimation. Consequently, in simulation results, the performance is developed expectedly.
3.2 Complexity analysis
Here, we discuss the complex multiplications which are loaded in each of the states in Algorithm 1 to represent the complexity of the algorithm. Firstly, in Step 1 of Algorithm 1, the number of complex multiplications to proceed the proxy is \(N_{\mathbb {D}}N_{p}\). Furthermore, in Step 6\(N_{\mathbb {D}}N_{p}\) complex multiplications are performed. Besides, \(N_{\mathbb {S}}N_{\mathbb {D}}(2L~~1)\) complex numbers are multiplied in Step 9 and finally in Step 11 number of complex multiplications is \(N_{\mathbb {D}}N_{p}\). Hence, the overall complexity of the proposed algorithm is of order \(3N_{\mathbb {D}}N_{p} ~+~ N_{\mathbb {S}}N_{\mathbb {D}}(2L~~1)\).
4 Pilot allocation for compressed channel estimation
CSbased approaches try to estimate channels individually while DCSbased channel estimation tries to determine jointly sparse channels altogether. As a result of adjacent antenna sitting, the sparsity pattern of different transmitreceive pairs would be the same while the channel coefficient would be completely different. Thus, utilizing DCSbased channel estimation would be very useful. The measurement matrix could be generated using random pilot subcarriers to estimate the channels. Moreover, increasing the accuracy and bandwidth efficiency of channel estimation could be guaranteed using optimal pilot allocation based on RIP optimization. As stated, since there is no polynomial time approach to evaluating RIP, instead, mutual coherence is used which is computationally tractable. Hence, we introduce the mutual coherence at first and then minimize it using proposed populationbased algorithms.
Here, we consider the SISOOFDM system for simplicity and then extend the results to MIMO case. The mutual coherence of measurement matrix is the orthogonality between the columns of it and can be defined as
where Î¦ is the measurement matrix and Ï•_{ i } is the ith column of it. According to the previous section, the measurement matrix is \(\boldsymbol {\Phi } = \mathbf {X}_{m} \mathbf {F}^{2L1}_{m}\). Consequently, by considering equal energy pilot symbols and unit energy partial Fourier transform matrix \(\mathbf {F}^{2L1}_{m}\), we can define the mutual coherence using
where Î»_{ i } and Î»_{ j } are pilot subcarriers among N available subcarriers. In other words, mutual coherence can be expressed as the maximum offdiagonal entry of Gram matrix G{Î¦}=Î¦^{H}Î¦ if Î¦ is orthonormal [20]. Obviously, to minimize the mutual coherence, we have to choose pilot subcarriers which minimize Eq. (7). Moreover, in this equation, the pilot positions Î»_{ i } and Î»_{ j } are selectable and could be considered as the design criteria. Besides, this problem is combinatorial and should be optimized using iterative search methods. Here we use probabilitybased methods to minimize Eq. (7). In the following section, the proposed algorithms are explained. To estimate channel using DCSbased approach, we should extend the mutual coherence to MIMO case.
4.1 Extension to MIMO
In order to design optimal pilot sequences for different transmit antennas in MIMOOFDM relay networks, we should define the mutual coherence for measurement matrix Î¨ in Eq. (5). Since Î¨ is a columnwise permutation of Î¦, at first, we should consider the impact of permutation of columns on the mutual coherence.
Theorem 1.
Assuming Î¦as an orthonormal measurement matrix and its columns as Ï•_{ i } for i=1,2,â€¦,n. We define \(\bar {\boldsymbol {\Phi }}\) as a columnwise permutation of Î¦. Then, it can be demonstrated that
We consider Î¦= [Ï•_{1},Ï•_{2},Ï•_{3},â€¦,Ï•_{ n }] and without loss of generality consider \(\bar {\boldsymbol {\Phi }}\) as the substitution of the second and third columns of Î¦; consequently, it can be expressed as \(\bar {\boldsymbol {\Phi }} = \left [\phi _{1}, \phi _{3}, \phi _{2}, \ldots, \phi _{n}\right ]\). According to the definition of mutual coherence, we should calculate G{Î¦}=Î¦^{H}Î¦ as below:
Thus, \(\mu \{ \boldsymbol {\Phi }\} = \max _{i\neq j, 1 \leq i,j \leq n} \phi _{i}^{H} \phi _{j}\). On the other hand, it can be represented that
Consequently, \(\mu \{ \bar {\boldsymbol {\Phi }} \} = \max _{i\neq j, 1 \leq i,j \leq n} \phi _{i}^{H} \phi _{j} = \mu \{ \boldsymbol {\Phi }\}\) which indicates the equality of both mutual coherence. Therefore, the permutation of measurement matrix columns will not effect the mutual coherence value.
Considering Theorem 1, one can deduce that instead of calculating Î¼{Î¨}, it is enough to calculate Î¼{Î¦} since Î¨ is the columnwise permutation of Î¦. According to Eq. (4), we can represent Î¦ as
where
is \(N_{P} \times N_{\mathbb {S}}(2L1)\) complex matrix with \(\boldsymbol {\Gamma }_{i} = \beta \mathbf {X}_{i}\mathbf {F}_{i}^{2L1}\) for \(i = 1,2, \ldots, N_{\mathbb {S}}\) as the submatrices. Moreover, we consider 2Lâˆ’1 columns of Î“_{ i } as Î³_{i,j} for j=1,2,â€¦,2Lâˆ’1. Hence, Î“_{ i }=[Î³_{i,1},Î³_{i,2},â€¦,Î³_{i,2Lâˆ’1}]. In order to calculate the mutual coherence of Î¦, we should consider its Gram matrix G{Î¦}=Î¦^{H}Î¦. Accordingly, using Eqs. (11) and (12), we can formulate it as in Eq. (13) where 0 is (2Lâˆ’1) Ã— (2Lâˆ’1) zero matrix.
Therefore, the mutual coherence of measurement matrix in DCSbased channel estimation for MIMOOFDM system consists of mutual coherence of different SISOOFDM systems two by two. Consequently, we can consider the mutual coherence using measurement matrix Î¨ or calculating the following:
where Î¼{Î“_{ i },Î“_{ i }}=Î¼{Î“_{ i }} and Î¼{Î“_{ i },Î“_{ j }} is the largest offdiagonal absolute value of \( \boldsymbol {\Gamma }_{i}^{H} \boldsymbol {\Gamma }_{j}\). Hence, in order to calculate the mutual coherence of the MIMOOFDM mutual coherence, it is sufficient to calculate all the available SISOOFDM pairs and consider the largest value as the mutual coherence.
Another important consideration is the orthogonality of the pilot sequences for each of the transmit antennas. In fact, to omit the interference of the different pilot sequences, we generate orthogonal pilot sequences and then transmit zero subcarriers in the other antennasâ€™ pilot subcarriers. Consequently, in creating different pilot sequences, we should consider orthogonality of the pilot sequences. The pilot allocation for a N=16 subcarrier MIMOOFDM system utilizing orthogonal pilot placement and \(N_{\mathbb {S}} = 2\) transmit antennas depicted in Fig. 2. In the following, we would consider algorithms to design pilot sequences.
5 Proposed pilot allocation algorithms
In this section, we will propose three algorithms based on the population and probability, to optimize the combinatorial problem in Eq. (6). As mentioned, these algorithms work based on the probability function and try to sample the PDF using different populations and do this until convergence of the PDF to the steady state. Here, \(\max _{i,j; i\neq j} \left  \sum _{l=0}^{2L2}e^{j2\pi (\lambda _{m}  \lambda _{n})l / N} \right \) is the fitness function which should be optimized. In order to decrease the computational complexity in fitness function we used Eq. (14). Evidently, there are lots of zero elements in matrix Î¨ which are unnecessary to be multiplied. Hence, we used Eq. (14) to optimize the computations in fitness function evaluation. Moreover, this optimization is done over the search space \(\mathcal {S}\) which is composed of \(\binom {N}{N_{p}}\) candidate. Since the exhaustive search over search space \(\mathcal {S}\) is intractable, we consider probabilitybased approaches to optimize it using initial generation \(\mathcal {G}^{0}\) where I different individuals are found in each generation.
5.1 Sequential CrossEntropybased pilot allocation approach
As discussed, this method is a probabilitybased approach which constructs each generation towards better objective function. In fact, SCE samples from a PDF and learns the new population from J best individuals in the current generation. Since sampling from PDF is used as the primary approach in producing different generations, the SCE will be more robust than other populationbased algorithms which work by mutation and crossover in trapping into a local minimum. Here, we need a PDF called \(\mathcal {P}\) to generate individuals by sampling it. At first, we consider the fitness function, generation, and individuals as before. In this approach, to construct each generation the PDF \(\mathcal {P}\) is used. This PDF represents the probability of selection of each element of the individual. Construction of this PDF is based on J elite individuals with best objective function and the PDF of the previous iteration. Mathematically, we assume each generation individuals by a vector of probability
where \(p_{g}(\mathcal {G}_{i})\) refers to the probability of obtaining a value of 1 in the ith element of \(\mathcal {G}\). At each generation, using the probability vector, \(p_{g}(\mathcal {G})\), I individuals are obtained. In order to do random sampling by the PDF of \(p_{g}(\mathcal {G})\), we first generate the Cumulative Density Function (CDF) (\(\mathbb {P}\)), and then, using a random number between 0 and 1 and the inverse of CDF \(\mathbb {P}\), the sample is randomly generated. Each of these I individuals are evaluated and J best of them (J â‰¤ I) are selected. We denote them by \(\mathcal {G}^{g}_{1:I}, \mathcal {G}_{2:I}^{g}, \ldots, \mathcal {G}_{J:I}^{g}\). These selected individuals are used to update the probability vector by
where Ï„âˆˆ(0,1] is a parameter of algorithm. Since the probability behavior of populations is evident, possibility of getting stuck in a local minimum is lower. The stagebystage algorithm is represented in Algorithm 2. The stop criteria is based on the PDF, and when the probability function contains zero and \(1/N_{\mathbb {S}}N_{p}\), it means that the best possible value for pilot allocation is obtained.
5.2 Special case of SCE (Ï„=1)â€”extension of [18]
Considering PDF update criteria in Eq. (16), if we assume Ï„=1, the update process will not be affected by the previous generation, i.e.,
As a result, the memory of PDF will be omitted. Wang et. al. in [18] proposed this approach called as the EDA for the SISOOFDM system. Here, we extend the EDAbased algorithm for generating \(N_{\mathbb {S}}\) different orthogonal sequences for the MIMOOFDM system. In [18], it is noted that matching the sequences with the best sequence in every stage is mandatory, but in the following theorem, it is proved that matching to the sequence is not mandatory at all, since matching the sequences is obtained using circular shifting of the unmatched sequences. This phenomenon is considered in the following Theorem.
Theorem 2.
Assuming Î¦as an orthonormal measurement matrix and defining \(\bar {\boldsymbol {\Phi }}\) as a rowwise permutation of Î¦. Then, it can be demonstrated that
Here, we consider Î¦=[Ï•_{1};Ï•_{2};Ï•_{3};â€¦;Ï•_{ n }] where Ï•_{ i } is 1 Ã— L complex vector. On the other hand, we assume \(\bar {\boldsymbol {\Phi }} = \left [ \phi _{1}; \phi _{3}; \phi _{2}; \ldots ; \phi _{n} \right ]\), then mutual coherence for both of the measurement matrices can be calculated as the maximum offdiagonal entry of \(\sum _{i = 1}^{n}\phi _{i}^{H}\phi _{i}\). Consequently, the mutual coherence for both of the matrices are the same and rowwise permutation does not change the mutual coherence.
Specifically, in the EDAbased algorithm which is represented in [18], after circular shifting J best sequences, the PDF of the current stage is calculated by counting the number of used subcarriers in J selected placements. Obviously, the counting process is independent of the circular shifting. Another drawback of the algorithm can be considered as trapping in the local minima, since the current PDF is considered without taking into account previous ones. Apparently, the PDF is stuck in local minima more rapidly, and thus, the algorithm would be terminated. Although the speed of convergence is more than SCE algorithm, the accuracy is less since local minima trapping has occurred more rapidly. This algorithm is considered in Algorithm 3.
5.3 Parallel CrossEntropybased pilot allocation algorithm
As mentioned, in SCEbased pilot allocation algorithm, the risk of trapping in local minima is lower than the EEDAbased approach. But, the convergence speed is absolutely inferior to the other EEDAbased approach. In order to improve the convergence speed of the SCEbased algorithm, we have proposed PCEbased pilot allocation plan. PCE considers Î± number of points in search space \(\mathcal {S}\) and tries to converge the PDF of these points to steady state, simultaneously. Hence, since Î± points are considered simultaneously, trapping in one local minimum is lowered than before. Moreover, working on a different number of PDFs at the same time accelerates the convergence of the proposed method. This algorithm is represented in Algorithm 4.
As demonstrated in Algorithm 4, the difference of the PCE and SCE is considered in pipelining the update PDF and generations. In other words, in each iteration of the algorithm, generation update is performed on Î± pipelined branches. Moreover, these Î± pipelined branches are utilized to update Î± different PDFs. As a consequence, the random sampling is done over Î± different PDFs, where Î± different generations are constructed. This approach uses more computational calculations in each iteration which can be handled by parallelprocessing supporting hardware. In the other hand, we obtain two significant advantages including conservative behavior in impacting by local minima trapping and lower number of iterations in convergence. Thus, utilizing PCEbased pilot allocation will confirm two critical aspects of pilot allocation algorithms.
6 Numerical results
In this section, the numerical results are collected to represent the performance of the proposed SCE, EEDA, and PCEbased pilot allocation algorithms. In all the simulations, the number of OFDM subcarriers is N=512, and 16ary quadrature amplitude modulation (16QAM) with Gray coding is utilized. Among N available subcarriers, there are N_{ p } subcarriers as pilot subcarriers. Various values are assigned to N_{ p } in different simulations. Without loss of generality, in MIMO scenarios the number of transmitting and receiving antennas for all the nodes are 2, i.e., \(N_{\mathbb {S}} = N_{\mathbb {R}} = N_{\mathbb {D}} = 2\). Sparse Rayleigh fading channels in the networks are modeled using Finite Impulse Response (FIR) filters with L taps where K number of taps are nonzero and are i.i.d. using zero mean and unit variance complex Gaussian distribution. Furthermore, all the results are averaged over 1000 independent channel ensembles.
6.1 Comparison of the proposed algorithms
In this part, we compare the performance of the proposed algorithms in view of decreasing Î¼. To evaluate the performance, we consider N_{ p }=25 pilot subcarriers for each antenna which distributed orthogonally using SCE, EEDA, and PCE approaches and L = 25 channel taps with K=3 significant nonzero. As a comparison standard, we consider the optimized pilot allocation in [11] where GA was utilized to generate orthogonal pilot sequences. The comparison is evaluated using the minimal mutual coherence Î¼ and distribution of Î¼. Distribution of Î¼ is illustrated in Fig. 3. Specifically, in EEDAbased approach (Fig. 3b), the convergence is acquired in 52nd iteration, where it is acquired for PCEbased approach (Fig. 3a) and SCEbased approach (Fig. 3c) in 123rd and 186th, respectively. Expectedly, the distribution of Î¼ in each iteration is getting closer in all the three methods. It is caused by the convergence of probability function which is sampled in each iteration. As can be seen, the value of minimum Î¼ in the last iteration is better for the case of PCEbased approach, since the algorithm examines some of the local minimum points together through the global minimum while in the other approaches the algorithm examines just one point. Specifically, the Î¼ values are with a sample pilot sequence which is obtained in each algorithm and are compared with each other in Table 1. GAbased approach algorithm is used to generate the pilot sequence, as well. As represented in Table 1, the minimum achieved mutual coherence is 0.2227 reported by PCEbased approach which was expected for the sake of multiple point examining. Moreover, the supremacy of the proposed SCEbased approach to the EEDAbased approach is represented by the difference between 0.2360 and 0.2439. Finally, the obtained value by GAbased approach in [11] is the worse approach. Hence, three proposed methods can be ordered as PCE, SCE, and EEDAbased approaches from minimum mutual coherence approach while all of them are better than GAbased approach. In the following section, we will consider the performance of the proposed pilot sequences utilizing the Normalized Mean Square Error (NMSE) and Bit Error Rate (BER) performance metrics.
6.2 Evaluating MSE and BER performance
Here, we consider the applicability of the proposed algorithm and the obtained pilot sequences utilizing two main characteristics of channel estimator called NMSE and BER. The channel is characterized by L=25 taps where K=3 of them are significant nonzero taps. NMSE is calculated using
where h is the complete channel vector and \(\hat {\mathbf {h}}\) is its estimation. Moreover, N_{ MC } is the Monte Carlo iteration which is 1000. BER is evaluated using Monte Carlo simulation using N_{ MC } individual simulation.
In Fig. 4 these two performance metrics are compared. Apparently, decreasing the mutual coherence will cause a better NMSE metric and BER performance. As illustrated in Fig. 4a, the MSE of PCE enjoys from the mutual coherence approximately 1 and 2.5 dB rather than SCE and EEDAbased approaches, respectively. Moreover, from BER point of view, the BER gain caused by mutual coherence supremacy is approximately 3 and 6 dB for BER=2 Ã— 10^{âˆ’2} to SCE and EEDAbased approaches, respectively. The BER for the case of Full CSI is represented as a comparison metric. Evidently, by utilizing N_{ p }=25 optimized pilots on each antenna, the performance is almost 3 dB away from the optimal performance which could be compensated using other facilities. Actually, using optimized pilots will lead to 90% spectral efficiency which is one of the most critical characteristics of the system.
In order to compare the results with previous approaches in the literature, we have done the simulations using GAbased pilot allocation approach together with PCEbased approach. Hence, these two methods could be compared from spectral efficiency point of view utilizing NMSE and BER performance metrics (Fig. 5). For the simulations, the number of N_{ p }=30 is selected. The performance comparison represents the superiority of the proposed method from NMSE and BER performance metric overview. Apparently, in NMSE and BER the PCEbased approach outperforms the GAbased algorithm almost 4 dB, quantitatively. Furthermore, comparing Figs. 4 and 5, the performance of GAbased algorithm for N_{ p }=30 is identical to the SCEbased approach for N_{ p }=25 pilot numbers. Hence, utilizing the proposed methods, the spectral efficiency will increase more than 1% rather than other spectral efficient DCSbased approaches.
6.3 Performance comparison with the other estimation method
In this part of simulation results, the simulations are performed in comparison to the wellknown CoSaMP algorithm in order to evaluate the benefits of the proposed method. In this simulation, the number of channel path is considered to be L=30, where K=3 of them are significant nonzero paths. Moreover, the number of pilot subcarriers for each transmitting antenna is considered to be N_{ p }=40. To evaluate the performance merits of the proposed methods, we considered two different scenarios. In the first scenario the pilot allocation is performed randomly, while in the second scenario the pilot is allocated using the proposed PCEbased algorithm. The BER results of them are represented in Fig. 6. As illustrated in Fig. 6a, using the random pilots together with the CoSaMPbased channel estimation method, results in irreducible BER around 10^{âˆ’1} while this is not encountered in case of proposed BvCoSaMPbased channel estimation method until 10^{âˆ’2}. Moreover, utilizing proposed PCEbased pilot allocation which is shown in Fig. 6b, the BER is decreased in both cases but the proposed method is still better than the other method and approximately 2 dB away from the ideal case.
6.4 The effect of significant paths of channel
The last simulation results are devoted to the impact of channel significant paths on the channel estimation performance. In order to evaluate the performance, we change the significant paths from K=2 to K=4. The BER performance is compared using random pilot allocation and optimized PCEbased pilot allocation. The channel paths are again L=30 and the pilot number is N_{ p }=40 for each of the transmitting antennas. Expectedly, increasing the number of significant path will decrease the sparsity order of the channel which makes its estimation harder. As a consequence, using N_{ p }=40 random orthogonal pilots, will not be applicable in case of K=4 significant paths (BER is shown in Fig. 7). Moreover, for the case of K=3, utilizing optimized PCEbased pilots will improve the performance while it is comparable with the case of K=2 and approximately 1 dB away from K=2, while this gap is around 3.5 dB in case of random pilot allocation.
7 Conclusions
In this paper, we have considered the channel estimation problem in AF MIMOOFDM relay networks using DCSbased approaches. Firstly, the channel estimation method proposed is called BvCoSaMP where the channel estimation is improved utilizing block sparsity of MIMO channels and LS estimation. In order to improve the performance of the estimation, we design three different algorithms to minimize the mutual coherence of the resultant channel estimation measurement matrix. The proposed methods are based on the CrossEntropy optimization and include SCE, EEDA, and PCEbased approaches. Utilizing just one local minimum point in SCE and EEDA, the performance is worse than PCEbased approach. Multipoint tracking ability of PCE makes it possible to increase the accuracy and speed of the pilot sequence determination algorithm.
References
D Hu, X Wang, L He, A new sparse channel estimation and tracking method for timevarying ofdm systems. IEEE Trans. Veh. Technol.62(9), 4648â€“4653 (2013).
E SoleimaniNasab, A Kalantari, M Ardebilipour, Performance analysis of multiantenna df relay networks over nakagamim fading channels. IEEE Commun. Lett.15(12), 1372â€“1374 (2011).
C Qi, G Yue, L Wu, N Arumugam, Pilot design for sparse channel estimation in ofdmbased cognitive radio systems. IEEE Trans. Veh. Technol.63(2), 982â€“987 (2014).
P Cheng, L Gui, Y Rui, YJ Guo, X Huang, W Zhang, Compressed sensing based channel estimation for twoway relay networks. IEEE Wirel. Commun. Lett.1(3), 201â€“204 (2012).
Z Gao, L Dai, W Dai, B Shim, Z Wang, Structured compressive sensingbased spatiotemporal joint channel estimation for fdd massive mimo. IEEE Trans. Commun.64(2), 601â€“617 (2016).
MF Duarte, S Sarvotham, D Baron, MB Wakin, RG Baraniuk, in Proc. Asilomar Conf. Signals, Syst., Comput. Distributed compressed sensing of jointly sparse signals (IEEEPacific Grove, 2005), pp. 1537â€“1541.
P Cheng, Z Chen, Y Rui, YJ Guo, L Gui, M Tao, QT Zhang, Channel estimation for ofdm systems over doubly selective channels: a distributed compressive sensing based approach. IEEE Trans. Commun.61(10), 4173â€“4185 (2013).
L Xu, K Niu, Z He, W Xu, Z Zheng, in Proc. 9th ICICS. Mimo channel estimation based on distributed compressed sensing for lteadvanced (IEEETainan, 2013), pp. 1â€“5.
X Rao, VKN Lau, Distributed compressive csit estimation and feedback for fdd multiuser massive mimo systems. IEEE Trans. Signal Process.62(12), 3261â€“3271 (2014).
J Tropp, Greed is good: algorithmic results for sparse approximation. IEEE Trans. Inf. Theory. 50(10), 2231â€“2242 (2004).
X He, R Song, WP Zhu, Pilot allocation for sparse channel estimation in mimoofdm systems. IEEE Trans. Circuits Syst. II, Exp. Briefs. 60(9), 612â€“616 (2013).
X He, R Song, WP Zhu, Pilot allocation for distributedcompressedsensingbased sparse channel estimation in mimoofdm systems. IEEE Trans. Veh. Technol.65(5), 2990â€“3004 (2016).
C Qi, G Yue, L Wu, Y Huang, A Nallathan, Pilot design schemes for sparse channel estimation in ofdm systems. IEEE Trans. Veh. Technol.64(4), 1493â€“1505 (2015).
X He, R Song, WP Zhu, Pilot allocation for sparse channel estimation in mimoofdm systems. IEEE Trans. Circuits Syst. II, Exp. Briefs. 60(9), 612â€“616 (2013).
C Qi, L Wu, A study of deterministic pilot allocation for sparse channel estimation in ofdm systems. IEEE Commun. Lett.16(5), 742â€“744 (2012).
C Qi, L Wu, Optimized pilot placement for sparse channel estimation in ofdm systems. IEEE Signal Process. Lett.18(12), 749â€“752 (2011).
X He, R Song, in Proc. IEEE Int. Conf. WCSP. Pilot pattern optimization for compressed sensing based sparse channel estimation in ofdm systems (IEEESuzhou, 2010), pp. 1â€“5.
H Wang, Q Guo, G Zhang, G Li, W Xiang, Pilot pattern optimization for sparse channel estimation in ofdm systems. IEEE Commun. Lett.19(7), 1233â€“1236 (2015).
A AkbarpourKasgari, M Ardebilipour, F Afghah, in Proc. 49th CISS. Mimoofdm nonregenerative relay channel estimation using compressed sensing (IEEEBaltimore, 2015), pp. 1â€“5.
JM DuarteCarvajalino, G Sapiro, Learning to sense sparse signals: simultaneous sensing matrix and sparsifying dictionary optimization. IEEE Trans. Image Proc.18(7), 1395â€“1408 (2009).
Acknowledgements
The authors want to acknowledge the help of all the people who influenced the paper. Specifically, they want to acknowledge the anonymous reviewers for their reasonable comments.
Funding
There is no source of funding for this paper.
Availability of data and materials
Not applicable.
Author information
Authors and Affiliations
Contributions
AA and MA carried out the mathematical parts of the paper and simulations were done by AA. Both of authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Consent for publication
Not applicable.
Competing interests
The authors declare that they have no competing interests.
Publisherâ€™s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
AkbarpourKasgari, A., Ardebilipour, M. Probabilitybased pilot allocation for MIMO relay Distributed compressed sensing channel estimation. EURASIP J. Adv. Signal Process. 2018, 18 (2018). https://doi.org/10.1186/s1363401805397
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1363401805397
Keywords
 Blockverified compressive sampling matching pursuit
 Crossentropy
 Distributed compressed sensing
 MIMOOFDM relay channel estimation
 Pilot allocation