 Research
 Open Access
 Published:
Lower bounds on the estimation performance in low complexity quantizeandforward cooperative systems
EURASIP Journal on Wireless Communications and Networking volume 2015, Article number: 231 (2015)
Abstract
Cooperative communication can effectively mitigate the effects of multipath propagation fading by using relay channels to provide spatial diversity. A relaying scheme suitable for halfduplex devices is the quantizeandforward (QF) protocol, in which the information received from the source is quantized at the relay before being forwarded to the destination. In this contribution, the CramerRao bound (CRB) is obtained for the case where all channel parameters in a QF system are estimated at the destination. The CRB is a lower bound (LB) on the mean square estimation error (MSEE) of an unbiased estimate and can thus be used to benchmark practical estimation algorithms. Additionally, the modified CramerRao bound (MCRB) is also presented, which is a looser but computationally less complex bound. An importance sampling technique is developed to speed up the computation of the MCRBs, and the MSEE performance of a practical estimation algorithm is compared with the (M)CRBs. We point out that the parameters of the sourcedestination and relaydestination channels can be accurately estimated but that inevitably the sourcerelay channel estimate is poor when the instantaneous SNR on the relaydestination channel is low; however, in this case, the decoder performance is not affected by the inaccurate sourcerelay channel estimate.
Introduction
In wireless communication, multipath signal propagation can cause destructive interference at the receiving antenna, giving rise to fading and limiting the maximum throughput of the system [1, 2]. This phenomenon can be combatted by introducing diversity into the system, such as frequency diversity provided by orthogonal frequencydivision multiplexing (OFDM) [3] or spacial diversity provided by multipleinput multipleoutput (MIMO) systems [4, 5]. A novel means of providing diversity is cooperative communication, in which relays provide spatial diversity by creating multiple signal paths between the source and the destination [6]. Cooperative communication systems take advantage of the broadcast nature of the wireless medium. The information broadcast by the source terminal is received not only by the destination but also by other terminals nearby. Instead of ignoring this signal as is the case in a classical communication system, in a cooperative system, these nearby terminals act as relays, forwarding to the destination the information received from the source and thus creating additional signal paths [7, 8].
Different strategies can be used to implement the information forwarding, including amplifyandforward (AF) [9], quantizeandforward (QF) [10], decodeandforward (DF) [11], and coded cooperation [12]. The AF protocol, in which the relay amplifies the signal received from the source before sending it to the destination, is well known for its seemingly lowcomplexity implementation. However, when using halfduplex terminals which cannot send and receive data simultaneously, the information received from the source needs to be stored with high precision at the relay awaiting retransmission to the destination, requiring a large memory at the relay terminal. While this memory requirement might not be a concern for highend mobile terminals, it can be of importance in low complexity applications such as sensor networks, where the sensor hardware complexity should be kept low in order to minimize production cost and to maximize battery life [13]. In order to meet these complexity demands, the QF protocol has been introduced. In the QF protocol, the data received from the source is coarsely quantized at the relay before being stored into memory, requiring significantly less memory space as compared to the AF protocol. Despite its low complexity, it has been shown that the QF protocol can achieve a very satisfactory error performance that is very close to that of AF [10, 14].
The majority of the research on cooperative systems has been performed under the assumption of perfect channel state information (CSI). While this is useful for obtaining various informationtheoretical results, the reallife situation of imperfect CSI presents new challenges that need to be tackled. In contrast to a noncooperative communication system where only the sourcedestination channel needs to be estimated, cooperative communication systems must also acquire the state of the sourcerelay and the relaydestination channels. Channel parameter estimation for QF has been discussed in [14, 15] for a protocol in which the relay estimates the sourcerelay (SR) channel and forwards its estimate to the destination, while [16] describes a QF system in which all channel parameters are estimated at the destination. The latter system benefits from the decreased relayside complexity. However, it poses a more complex estimation problem, as the sourcerelay channel is not directly observed by the destination. In order to tackle this estimation problem, in [16], the sourcerelay channel is abstracted to be a discrete channel, characterized by a finite set of transition probabilities. In doing so, the estimation of the sourcerelay channel is greatly simplified, and the computational complexity at the destination is reduced. Furthermore, this makes the estimation of the estimation of the sourcerelay channel transition probabilities independent of the channel model and quantization method, making the results applicable to a large variety of systems.
Once an estimation algorithm has been obtained for a certain estimation problem, different approaches exist to benchmark the performance of the considered algorithm. A first approach is to compare the decoding error rate of a system in which the channel parameters are estimated to that of a system in which the channel parameters are considered to be known. The difference between the two error rates provides an indication about the performance of the estimation algorithm. A more fundamental way of studying the performance of an estimation algorithm is provided by the CramerRao bound (CRB), which is a lower bound (LB) on the error variance of an unbiased estimate [17]; when an estimate exhibits an error variance that is close to the CRB, there is little room to improve the accuracy of the considered estimate. The opposite holds for an estimate having an error variance that is much higher as compared to the CRB. The CRB for the estimation of the channel parameters in a oneway AF cooperative system using flatfading channels has been obtained in [18], while in [19], the CRB is obtained for an AF and DF system in which multiple frequency offsets are considered. Lower bounds for the twoway relaying channel, in which two terminals aided by a relay communicate with one another, have been obtained in [20–23] for the AF protocol.
In this contribution at hand, the (CRB) is obtained for a QF system in which all relevant channel parameters are jointly estimated at the destination. It is identified which channels are the most difficult to accurately estimate and to which degree the different channel estimates are coupled. By interpreting the cascade of the sourcerelay channel and the quantization operation as a single discreteinput discreteoutput channel, the results obtained in this contribution can be used to benchmark a wide variety of cases with minimal adjustments, such as a multihop QF relaying scheme often found in sensor networks. Because the CRB is difficult to evaluate in some cases, the modified CramerRao bound (MCRB) is also considered, which has a lower complexity compared to the CRB and converges to the latter at high SNR [24, 25]. The MCRB for a similar system has been obtained in [26]. However, because the MCRB is not a tight bound at low SNR values, obtaining the value of the CRB is important in order to be able to benchmark the estimation performance over the complete SNR range. Moreover, the comparison between the CRB and MCRB also provides valuable insights.
The remainder of this contribution is organized as follows. In Section 2, the system model is introduced. In Section 3, an expression is obtained for the CRB, whereafter the MCRB is derived in Section 4. Next, in Section 5, the use of importance sampling (IS) is outlined, a technique that can be used to drastically shorten numerical simulation times [28], without affecting the accuracy of the obtained bounds. Finally, numerical results are presented in Section 6, whereafter conclusions are drawn in Section 7.
Channel model
In this contribution, a cooperative network is analyzed consisting of a direct path and a onehop relaying channel, as depicted in Fig. 1. The relay is considered to be a halfduplex device, meaning that it cannot send and receive information simultaneously. In a first frame, the source broadcasts a sequence of K M _{1}PSK symbols, denoted c _{ s }, which are received by both the relay and the destination. The relay quantizes the angle of the received samples using log2(M _{2}) bits. These quantized samples, represented by a sequence of K M _{2}PSK symbols denoted c _{ r }, are then forwarded to the destination in a second frame. At the destination, maximumratio combining (MRC) is used to combine the signals received from the source and relay.
Sourcedestination and relaydestination channels
The sourcedestination (SD) and relaydestination (RD) channels are modeled as flat Rayleigh fading channels with additive white Gaussian noise. The SD and RD channel coefficients are denoted h _{0} and h _{2}, respectively. The signals received by the destination from the source and the relay, denoted r _{0} and r _{2}, respectively, are equal to
Assuming the normalization c _{ s }^{2}=c _{ r }^{2}=K, the quantities E _{ s } and E _{ r } denote the transmitted energy per symbol at the source and the relay, respectively. The channel coefficients h _{0} and h _{2} are considered to be constant during a frame and have a zero mean circular symmetric complex gaussian (ZMCSCG) distribution with variances \(N_{h_{0}}=1/{d_{0}}^{n_{\text {loss}}}\) and \(N_{h_{2}}=1/{d_{2}}^{n_{\text {loss}}}\), respectively. The quantities d _{0} and d _{2} represent the distance between the source and the destination and between the relay and the destination, while n _{loss} denotes the path loss exponent. The components of the noise vectors n _{0} and n _{2} are also ZMCSCG distributed with respective variances N _{0} and N _{2}.
Equivalent sourcerelay channel
Due to the quantization operation, both the source and the relay transmit discrete symbols from a PSK constellation. Hence, the cascade of the sourcerelay (SR) channel and the quantization operation at the relay can be interpreted as an equivalent discreteinput discreteoutput communication channel with M _{1} input values and M _{2} output values. Assuming that the actual SR channel and the quantizer are memoryless and timeinvariant over a frame, this equivalent SR channel is fully characterized by M _{2}×M _{1} transition probabilities π _{ q,m }, which determine the probability of a symbol sent by the relay conditioned on the symbol sent by the source in the corresponding symbol interval, i.e., for q=0,⋯,M _{2}−1 and m=0,⋯,M _{1}−1,
with \(\chi _{M}(x)=e^{\frac {j 2 \pi x}{M}}\). Denoting by r _{1}(k) the kth sample at the input of the relay, the transition probabilities π _{ q,m } can be computed from the SR channel likelihoods \(p\left (r_{1}(k) \,\, c_{s}(k)=\chi _{M_{1}}(m)\right)\) and the quantization rule that maps r _{1}(k) to \(\chi _{M_{2}}(q)\). Results in this paper will be derived in terms of the transition probabilities, without specifying the underlying SR channel likelihood and quantization rule.
It is further assumed that M _{2}/M _{1} is integer and that the quantization operation exhibits circular symmetry with respect to the symbols sent by the source, so that
Hence, the equivalent SR channel is characterized by the transition probabilities {τ _{ q }, q=0,⋯,M _{2}−1}.
The CramerRao bound
The CRB is a lower bound (LB) on the mean square error (MSE) of an unbiased estimate. In the current system model, the SD and RD channel coefficients, h _{0} and h _{2}, as well as the SR transition probabilities τ _{ q } are unknown and need to be estimated before the information transmitted by the source can be reliably detected at the destination. In order to keep the complexity of the relay terminal low, it is imposed that all parameters are estimated at the destination. It is further assumed that the destination does not posses any a priori information on the different channel parameters.
The unknown channel parameters are grouped into the realvalued vector θ, which is given by
with \(\boldsymbol {\tau } = (\tau _{0}, \tau _{1}, \cdots, \tau _{M_{2}2})^{T}\phantom {\dot {i}\!}\). Note that \(\tau _{M_{2}1}\phantom {\dot {i}\!}\) is not contained in θ, because it is not an independent parameter (\(\tau _{M_{2}1} = 1  \tau _{0}  \ldots  \tau _{M_{2}2}\phantom {\dot {i}\!}\)). In order to obtain the CRB, the Fisher information matrix (FIM) J(θ) is introduced, the elements of which are defined as [17]
with r=(r _{0},r _{2}). It is shown in Appendix A that the elements of the FIM can be expressed as
where the expression for X _{ x }(r;θ) is given in (23). In order to evaluate X _{ x }(r;θ), the a posteriori probabilities p(c _{ s }(k)  r;θ) of the source symbols are needed. These depend on the structure of the channel code and are obtained at the destination using a soft decoder that operates on r. Using the notation \(\hat {x}\) to represent an unbiased estimate of x, it follows from [17] that
where A≥B implies that A−B is positivesemidefinite matrix. Using (5), a LB can be obtained on the mean square estimation error (MSEE) of the various channel parameters as is shown in the next subsections. Note that the value of this LB depends on the specific realization of θ. In order to obtain a LB that is independent of θ, the obtained expressions need to be averaged over θ, as will be done numerically in Section 6.
SD and RD channel coefficients
Once the elements of the FIM have been calculated, a LB on the MSEE of the SD and RD channel coefficients is obtained by noting that h _{0} and h _{2} can be expressed in terms of θ as h _{0}=u θ and h _{2}=w θ, with \(\boldsymbol {u}=(1,j,\boldsymbol {0}_{M_{2}+1})\) and \(\boldsymbol {w}=(\boldsymbol {0}_{M_{2}+1},1,j)\), where j ^{2}=−1. This yields the following CRB on the MSE arising from the estimation of h _{0}:
The CRB on the MSE arising from the estimation of h _{2} is obtained by substituting u for w in (6).
SR transition probabilities
Considering that τ=V θ with
the CRB on the MSE arising from the estimation of τ is given by
Known parameter subset
It will be useful to also consider the CRB related to the estimation of a parameter subset {θ _{ i },i∈C} under the assumption that the complementary parameter set \(\{\theta _{j}, j \in \tilde {C}\}\) is known, in order to evaluate the impact, on the estimation of the former subset, of whether or not the latter subset is known. The corresponding FIM is obtained by removing from the original FIM the jth rows and jth columns that correspond to \(j \in \tilde {C}\), leaving only the rows and columns that correspond to the unknown parameters {θ _{ i },i∈C}.
The modified CramerRao bound
As shown in Appendix A, the calculation of the elements of the FIM involves the computation of the a posteriori probabilities of the source symbols, making it difficult to obtain a closedform expression for the CRB. Therefore, when using nontrivial channel codes, the CRB needs to be obtained using numerical simulations methods (see Section 5) that are quite timeconsuming. In order to avoid the computational complexity associated with the CRB, we also consider the modified CRB (MCRB), which does not need the a posteriori probabilities of the source symbols (the MCRB assumes the source symbols are known by the receiver). The MCRB is a looser bound compared to the CRB; the CRB approaches the MCRB at high signal to noise ratios, where p(c _{ s }(k)  r,θ)≈1 for c _{ s }(k) equal to the symbol actually transmitted. Due to the less complex mathematics of the MCRB, simulation times are greatly reduced and in some cases closedformed expressions can be found. The MCRB is obtained by substituting in (6) and (7) the inverse of the FIM with the inverse of the modified Fisher information matrix (MFIM), defined as [25]
It follows from (2) that
so that in (8) the conditional expectation \(\mathbb {E}_{\boldsymbol {r} \,\, \boldsymbol {c}_{s}}[.]\) does not depend on the particular realization of c _{ s }. Hence, the outer expectation in (8) can be omitted, yielding
As shown in Appendix B, J _{ M } is a blockdiagonal matrix equal to
where \(\boldsymbol {J}_{M,\text {SD}} = \left (\frac {2 K E_{s}}{N_{0}}\right)\boldsymbol {\mathrm {I}}_{2}\) and J _{ M,SRD} are the MFIMs related to the estimation of the SD channel parameters {θ _{0},θ _{1}} and the sourcerelaydestination (SRD) channel parameters \(\boldsymbol {\bar {\theta }} = \{\theta _{i},i > 1\}\), respectively. It is shown in Appendix B that the elements of J _{ M,SRD} can be expressed as
where \(\bar {X}_{i}(r_{2},c_{s};{\boldsymbol {\bar {\theta }}})\) is given by (35). The expression for the components of J _{ M,SRD} is given in (37) and (38). Because of the blockdiagonal nature of J _{ M }, the SD channel parameters are decoupled from the SRD channel parameters: the MCRB corresponding to the SD (the SRD) channel parameters does not depend on whether or not the parameters of the SRD (the SD) channel are known.
SD channel
Given the value of J _{ M,SD}, the MCRB corresponding to the estimation of the SD channel coefficient h _{0} becomes
SRD channel
In order to obtain the MCRB for the parameters (τ,h _{2}) of the SRD channel, the expectation in (10) must be computed using MonteCarlo (MC) methods (see Section 5). However, in a few special cases considered below, closedform expressions can be obtained.
Perfect RD channel
When the RD channel is perfect, the destination receives the message from the relay unaltered, i.e., r _{2}=c _{ r }. In this case, the estimation of the SRD channel parameters reduces to the estimation of the transition probabilities of the equivalent SR channel. Introducing \(\boldsymbol {\tilde {\theta }} = \left (\tau _{0},\tau _{1},\ldots,\tau _{M_{2}2}\right)^{T}\), the resulting FIM has dimension (M _{2}−1) × (M _{2}−1), and is equal to
Using (37), (11) can be written as
where δ _{ x } denotes the Kronecker delta function. Hence, the MFIM can be represented as:
with D a diagonal matrix with diagonal elements equal to \((\tau _{0}, \tau _{1}, \ldots, \tau _{M_{2}2})\phantom {\dot {i}\!}\). Using the Woodbury matrix identity [27] to calculate the inverse of the MFIM yields
The MCRB corresponding to the estimation of τ is obtained by substituting (13) into (7) with \(\boldsymbol {V} = \left ({\mathbf {I}}_{M_{2}1}, \mathbf {1}_{M_{2}1}^{T}\right)^ T\), yielding
Perfect equivalent SR channel
When the equivalent SR channel is perfect, a symbol transmitted by the relay is completely determined by the corresponding symbol transmitted by the source; stated differently, all but one transition probabilities are zero, and the nonzero transition probability equals one. In this case, the estimation of the SRD parameters reduces to the estimation of the RD channel coefficient h _{2}. It can be shown that one obtains \(\mathbf {J}_{M,\text {RD}} = \left (\frac {2 K E_{r}}{N_{2}}\right) \mathbf {I}_{2}\), and subsequently
Importance sampling
In general, the evaluation of the FIM (4) and the MFIM (9) involves expectations that cannot be obtained in closed form, so that we must resort to MC techniques. However, when some of the transition probabilities of the SR channel are very small, the computational effort required to obtain an accurate value for the (M)CRB can be very high. This can be understood by calculating the MCRB corresponding to the case of a perfect RD channel and using a MC approach instead of an analytical one. A straightforward MC approach to obtain \(\textit {\textbf {J}}_{M,\text {SR}}(\boldsymbol {\tilde {\theta }})_{i,j}\) involves the following approximation of (12):
where \(I_{q}^{(n)} = 1\) if \(c_{r}^{(n)} = c_{s} e^{\frac {j 2 \pi q}{M_{2}}}\) and 0; otherwise, c _{ s } is an arbitrary symbol from the M _{1}PSK constellation (say, c _{ s }=1), and \(\left \{c_{r}^{(n)}, n=1,2,\ldots,N\right \}\) is a sequence of i.i.d random variables, generated according to \(\text {Pr}\left [c_{r}^{(n)} = c_{s} e^{\frac {j 2 \pi q}{M_{2}}} \right ] = \tau _{q}, q = 0,1,\ldots,M_{2}1\). Suppose that for given N, τ _{ i1} and τ _{ i2} are both much smaller than 1/N, so that it is likely to have \(I^{(n)}_{i1} = I^{(n)}_{i2} = 0\) for n=1,2,…,N. In this case, the estimate (16) of the MFIM is singular (it has identical i _{1}th and i _{2}th rows), so that its inverse does not exist. Hence, to obtain meaningful results using (16), very large values of N (and, therefore, long simulation times) are required when some of the transition probabilities are very small.
These simulation times can significantly be shortened by the use of importance sampling (IS) [28]. For the example of the perfect RD channel, this involves generating \(\left \{c_{r}^{(n)}, n=1,2,\ldots,N\right \}\) according to a biased distribution \(\text {Pr}\left [c_{r}^{(n)} = c_{s} e^{\frac {j 2 \pi q}{M_{2}}} \right ] = \kappa _{q}, q = 0,1,\ldots,M_{2}1\), and replacing (16) by
with i,j=0,1,…,M _{2}−2. We select all κ _{ q } to be much larger than 1/N, so that it is unlikely for any q to have \(I_{q}^{(n)} = 0\) for n=1,2,…,N. This yields \(\frac {1}{N} \sum _{n=1}^{N} I_{q}^{(n)} \approx \kappa _{q}\) for all q, so that (17) is close to the analytical result (12). By using IS, we have thus
In the general case, J(θ)_{ i,j } from (3) and \(\boldsymbol {J}_{M,\text {SRD}} (\boldsymbol {\bar {\theta }})_{i,j}\) from (10) are approximated as
where {r ^{(n)},n=1,2,…,N} and \(\left \{r_{2}^{(n)},n=1,2,\ldots,N\right \}\) are N independent realizations generated according to the biased distributions p(r ^{(n)};ζ) and \(p\left (r_{2}^{(n)}\,\, c_{s};\boldsymbol {\eta }\right)\), with
Note that the expression (18) of the FIM is much more timeconsuming to evaluate than the expression (19) of the MFIM; indeed, the former requires the generation of observation vectors of K components and the computation of the a posteriori source symbol probabilities, whereas for the latter the observations to be generated are scalar, and no a posteriori source symbol probabilities are needed.
Numerical results
In this section, the value of the CRBs and MCRBs related to the various channel parameters is obtained for different SNRs. The IS technique from Section 5 has been applied to evaluate the MCRBs. No IS is used when computing the CRBs, due to the complexity involved in evaluating the factor p(r ^{(n)};θ)/p(r ^{(n)};ζ) in (18).
In this section, the value of the CRB and MCRB is obtained for different SNR ratios using the IS technique from Section 5. First, the simulation parameters are specified, whereafter the LBs on the MSEE of the different channel parameters are discussed. The tightness of the obtained LBs is evaluated by comparing the latter with the MSEE of the estimation algorithms from [16], which are briefly discussed in Appendix C.
System parameters
The SD and RD channels are as described in Section 2.1. The actual SR channel is modeled as a flat Rayleigh fading channel with additive white Gaussian noise, characterized by the channel coefficient h _{1}. The latter is constant during a frame and has a ZMCSCG distribution with variance \(N_{h_{1}}=1/{d_{1}}^{n_{\text {loss}}}\), with d _{1} the distance between the source and the relay terminal. The noise on the SR channel also has a ZMCSCG distribution with variance N _{1}.
The instantaneous SNRs on the SD, SR, and RD channels are γ _{0}=E _{ s }h _{0}^{2}/N _{0}, γ _{1}=E _{ s }h _{1}^{2}/N _{1}, and γ _{2}=E _{ r }h _{2}^{2}/N _{2}, respectively; the corresponding average SNRs are E _{ s }/N _{0}, E _{ s }/N _{1} and E _{ r }/N _{2}. The source, relay, and destination terminals are located at the vertices of an equilateral triangle with normalized edge length, i.e., d _{0}=d _{1}=d _{2}=1, yielding \(\mathbb {E}[h_{n}^{2}]=1\) for n=0,1,2. All noise variances are taken equal (i.e., N _{0}=N _{1}=N _{2}). The source symbols and the relay symbols have the same energy (i.e., E _{ s }=E _{ r }).
The source broadcasts BPSK symbols (i.e., M _{1}=2). The samples received by the relay are quantized to QPSK symbols (i.e., M _{2}=4) without knowledge of the SR channel, i.e., \(c_{r}(k) = e^{j\frac {\pi }{2}\lfloor {0.5+\frac {2}{\pi }\arg (r_{1}(k))\rfloor }}\) with r _{1}(k) denoting the kth sample received by the relay. The corresponding transition probabilities of the equivalent SR channel are obtained as function of the SR channel parameters h _{1} and E _{ s }/N _{1} using the techniques described in [10, 16]. For the calculation of the CRB, channel encoding is performed using a (1,13/15)_{8} RSCC turbo code [29] that is punctured to a rate of 2/3. A frame contains 1024 information bits, which corresponds to 1536 data symbols after channel encoding and BPSK mapping. In addition to these BPSK data symbols, 12 pilot symbols are added to each frame, to help the destination to obtain estimates for the various channel parameters; this yields a total frame size of K=1548 BPSK symbols.
The CRB for a given realization of θ is obtained by performing the averaging in (4) by means of a MC simulation involving N=5000 independent realizations of r; this corresponds to the generation of 2K·N≈1.5·10^{7} scalar observations. Subsequently, 10^{4} realizations of θ are used to average the CRB over θ.
The calculation of the MCRB for a given realization of θ is performed using MC simulation with IS. The biased transition probabilities κ to be used in (19) are generated by assuming that γ _{1} is always equal to 0 dB, irrespective of the actual value of γ _{1}. In doing so, only 5000 realizations of the scalar observation r _{2} that corresponds to c _{ s }=1 are generated to compute the conditional average over r _{2} in (10). When compared to the 1.5·10^{7} iterations required for the CRB where no IS is used, IS reduces the simulation time by a factor of 3000. While the calculation of the (M)CRB is typically not a timecritical application, the simulation time reduction can prove very valuable when prototyping a system, where the changes applied to it can be rapidly benchmarked by means of the MCRB. After averaging over r _{2}, 10^{4} realizations of θ are used to average the MCRB over θ.
Estimation of the SD channel
The MSEE of the SD channel coefficient is analyzed as a function of E _{ s }/N _{0}, while keeping the instantaneous SNR on the SR channel, represented by γ _{1}, fixed. We set E _{ r }/N _{2} equal to E _{ s }/N _{0}. Figure 2 shows the MSE resulting from the EM algorithm, the CRB and the MCRB related to the estimation of h _{0} for various values of γ _{1}. The MCRB is independent of γ _{1}, as was pointed out in Section 4. However, the CRB is affected by the value of γ _{1}, because γ _{1} determines the transition probabilities τ, which in turn impact the a posteriori source symbol probabilities that are used in the computation of the CRB.
As the figure shows, the state of the SR channel, represented by γ _{1}, has only little impact on the MSEE of the SD channel coefficient. As expected, this effect further diminishes at high SNRs, where the CRB approaches the MCRB.
Estimation of the SR channel
We consider the bounds on the MSEE of the equivalent SR channel transition probabilities τ, as a function of E _{ s }/N _{1}, with the SD channel being characterized by E _{ s }/N _{0}=E _{ s }/N _{1}. We take fixed values for γ _{2}, the instantaneous SNR of the RD channel. Figures 3, 4, and 5 show the CRB, the MCRB, and the MSEE resulting from the EM algorithm, for various γ _{2}. In order to evaluate the impact of an imperfect RD channel estimate \(\hat {h_{2}}\) on the estimation performance of the SR channel transition probabilities τ, the aforementioned figures also show the results corresponding to the estimation of τ when h _{2} is known to the destination. As a LB on the obtained results, the MCRB corresponding to the case of a perfect RD channel (see Section 4.2.1) is also plotted.
Several key observations can be made from the aforementioned figures. At high γ _{2} values, shown in Fig. 5, the CRB converges to the MCRB for moderate and high E _{ s }/N _{1} when all channels are unknown and, at high E _{ s }/N _{1}, both the CRB and MCRB converge to the MCRB corresponding to a perfect RD channel. Assuming the RD channel is known to the destination when estimating, the SR channel yields only a slight decrease in MSE. Figure 5 also shows that at high γ _{2} values, the CRB is a tight LB on the MSE of the actual estimation algorithm.
For lower γ _{2} (see Figs. 3 and 4), the CRB still approaches the MCRB at high E _{ s }/N _{1} when all channels are unknown, but there remains a substantial (especially at very low γ _{2} values) gap in MSE as compared to the case where the RD channel is known to the destination; a still larger gap occurs as compared to the case of a perfect RD channel. The former gap is caused by the poor accuracy of \(\hat {h_{2}}\) at low γ _{2}, which in turn deteriorates the estimate of τ, even at large E _{ s }/N _{1}; this indicates a considerable coupling between the estimates \(\hat {h_{2}}\) and \(\hat {\boldsymbol {\tau }}\). The difference in MSE between the cases of known RD channel and perfect RD channel is caused by the noise on the RD channel, and therefore increases with decreasing γ _{2}.
Next, we observe a MSE floor that occurs at high E _{ s }/N _{1} when γ _{2} is low. This phenomenon is explained by calculating the MCRB corresponding to the estimation of the SR channel transition probabilities at the high SNR limit. For very high E _{ s }/N _{1}, the transition probabilities τ satisfy τ _{ k }≈1 for a certain index k=⌊0.5+(2/π) arg(h _{1})⌋ and τ _{ l }≈0 for l≠k. Under this assumption, (37) can be written as
Using (20) when evaluating (9) yields Fig. 6, in which the high E _{ s }/N _{1} limit of the MCRB related to estimating τ is plotted as a function of γ _{2}. As the figure shows, the value of the MSE floor observed on Figs. 3 and 4 is determined by the instantaneous RD channel quality γ _{2}. The figure also shows that this MSE floor drops very steeply when γ _{2}>0 dB, explaining the apparent absence of an MSE floor on Fig. 5.
Figures 3, 4 and 5 indicate that the MSEE resulting from the EM algorithm does not approach the CRB at low values of γ _{2}. This is due to the fact that the estimation scheme described in [16] fails to obtain accurate estimates for the SR transition probabilities at low γ _{2}, accounting for the gap between the MSEE of the EM algorithm and the (M)CRB.
It should be noted that the inability to accurately estimate the SR transition probabilities at low γ _{2} has only a minor effect on the error performance of the decoder at the destination, as observed in [16]. Indeed, at low γ _{2}, the decoder basically ignores the signal r _{2} received from the relay and exploits only the SD signal r _{0}; in this case, the error performance of the decoder is essentially independent of the quality of the SR channel estimate.
Estimation of the RD channel
The MSE resulting from the estimation of the RD channel coefficient is shown in Figs. 7, 8 and 9 as a function of E _{ r }/N _{2}. We take E _{ s }/N _{0}=E _{ r }/N _{2}, while keeping fixed values for γ _{1}, the instantaneous SNR on the SR channel. As a reference, the figures also show the results for a known SR channel (i.e., \(\boldsymbol {\hat {\tau }}= \boldsymbol {\tau }\)) and for a perfect SR channel (in which case the relay symbols are deterministically determined by the source symbols).
As the aforementioned figures show, the CRB converges to the MCRB at high E _{ r }/N _{2}, and this irrespective of γ _{1}. Unlike the LBs associated with the estimation of the SR channel transition probabilities, the CRB and MCRB of the RD channel coefficient do not exhibit an MSE floor and, for any γ _{1}, both converge to the (M)CRB corresponding to a known SR channel (\(\boldsymbol {\hat {\tau }} = \boldsymbol {\tau }\)), and also to the MCRB corresponding to a perfect SR channel. This can be understood by considering \(p(c_{r}(k) \,\, c_{s}(k),r_{2}(k) ; \boldsymbol {\bar {\theta }})\) from (38) for very small γ _{1}, so that \(\tau _{q}\approx \frac {1}{M_{2}},\forall q\); this yields
For large E _{ r }/N _{2}, we obtain \(p(c_{r}(k)\:\: c_{s}(k),r_{2}(k) ; {\boldsymbol {\bar {\theta }}}) \approx 1\) when c _{ r }(k) equals the relay symbol actually transmitted. This indicates that, in spite of the very small γ _{1}, the relay symbols can be considered known at the destination for large E _{ r }/N _{2}. This also enables the estimation algorithms discussed in [16] to obtain accurate estimates of h _{2}, making the CRB a tight LB on the estimation performance, especially so at high E _{ r }/N _{2} ratios. Hence, seen from an estimation point of view, it is advantageous to place the relay terminal close to the destination, as this enables the latter to obtain a good estimate of both the SR channel (due to a high average γ _{2} value) and the RD channel (due to the robustness of the estimate of h _{2} with respect to low γ _{1} values).
Comparison of the results obtained in this subsection to the bounds obtained for the SD channel in Subsection 6.2 indicates that due to the presence of the SR link, the RD channel is more difficult to accurately estimate. This effect diminishes as the SR channel quality is increased and especially if the SR channel is assumed to be known. In the case of a perfect SR channel, the MCRB related to the estimation of the RD channel corresponds to that of the SD channel, as is to be expected.
Conclusions
In this contribution, the CRB was obtained for all channels in a QF cooperative system. By maintaining a general description of the SR channel and the quantization operation, the obtained results can be applied to a wide variety of cases such as a Rice fading SR channel or a cascade of different channels. In order to reduce the complexity associated with the CRB, we also presented the MCRB, which is a looser bound compared to the CRB but which converges to the latter at high SNR. Except for a few special cases in which closedformed expressions were found for the MCRB, the CRB and MCRB were obtained using numerical simulation methods. By using the proposed IS technique in the numerical computation of the MCRB, the simulation times were substantially reduced, allowing for fast benchmarking when making variations on a system under investigation.
The presented results show that it is possible to obtain accurate estimates of the SD and RD channels, irrespective of the state of the other channels. On the other hand, accurately estimating the SR proves more difficult. The (M)CRB corresponding the estimation of the SR channel exhibits high MSEE values when the RD channel quality is poor. Furthermore, the MSEE of the SR channel parameters is bounded by an error floor, the value of which depends on the state of the RD channel. Fortunately, the decoder performance is virtually unaffected by the accuracy of the SR channel estimate when the RD channel quality is poor.
Notations

■■
a Scalar

■■
a Column vector

■■
A Matrix

■■
0 _{ N } Row vector of length N with all elements equal to 0

■■
1 _{ N } Row vector of length N with all elements equal to 1

■■
I_{ N } Identity matrix of rank N

■■
(.)^{T},(.)^{H} Transpose and Hermitian transpose

■■
T r(.) Matrix trace

■■
(.)^{∗} Complex conjugate

■■
. Absolute value

■■
\(\mathfrak {R}(.)\), \(\mathfrak {I}(.)\) Real and imaginary part

■■
\(\mathbb {E}_{\mathbf {x}}{[.]}\) Expectation with respect to the random vector x
Appendix A: Calculation of the FIM
In the following section, the calculation of the elements of the FIM is outlined. These elements are obtained by evaluating
with \(X_{i}({\boldsymbol {r}};{\boldsymbol {\theta }})={\frac {\partial }{\partial \theta _{i}}}\ln p({\boldsymbol {r}};{\boldsymbol {\theta }})\). By conditioning on the symbols c _{ s } and c _{ r } sent by the source and the relay, X _{ i } can be written as
where
Taking into account that
and p(c _{ r }  c _{ s };θ) depends only on the transition probabilities of the equivalent SR channel, we obtain
These expressions can be expanded as
where the summations over c _{ s }(k) and c _{ r }(k) run over all points in their respective constellations. In (25), the a posteriori probabilities p(c _{ s }(k)  r;θ) of the source symbols depend on the structure of the channel code, and are obtained from a soft decoder that operates on r. The joint a posteriori probabilities p(c _{ s }(k),c _{ r }(k)  r;θ) in (25) can be decomposed as
The probabilities p(c _{ r }(k)  c _{ s }(k),r _{2}(k);θ) are obtained as
The derivative in the first line of (25) reduces to
and a similar expression holds for the derivative in the third line of (25). The derivative in the second line of (25) is expressed as
Based on the above expressions, the quantities X _{ i }(r;θ) can be evaluated for any ( r , θ ); the associated computational complexity is rather high, because the calculation of the a posteriori source symbol probabilities p(c _{ s }(k)  r;θ) requires a soft decoding operation.
Appendix B: Calculation of the MFIM
The elements of the MFIM are defined by (9) and are equal to
with \(X_{i}({\boldsymbol {r}}, {\boldsymbol {c}}_{s} ; {\boldsymbol {\theta }}) = {\frac {\partial }{\partial \theta _{i}}}\ln p({\boldsymbol {r}} \,\, {\boldsymbol {c}}_{s} ; {\boldsymbol {\theta }})\). As p(r  c _{ r },c _{ s };θ)=p(r _{0}  c _{ s };θ)p(r _{2}  c _{ r };θ), X _{ i } can be written as
As p(r _{0}  c _{ s };θ) and p(r _{2}  c _{ r },c _{ s };θ) depend only on h _{0} and (τ,h _{2}), respectively, the first term in (29) is zero for i>1, and the second term is zero for i≤1. Substituting (29) in (28) and evaluating the terms for which θ _{ i } is a parameter of the SD channel and θ _{ j } is a parameter of the SRD channel (i.e., i≤1,j>1) yields
so that J _{ M }(θ) is a blockdiagonal matrix which we represent as
It can be shown from (27) that \({\boldsymbol {J}}_{M,\text {SD}} = \left (\frac {2KE_{s}}{N_{0}}\right) {\boldsymbol {\mathrm {I}}}_{2}\). By grouping the parameters from the SRD channel into the vector \({\boldsymbol {\bar {\theta }}} = \{\theta _{i}, i > 1\}\) we obtain
with
where the summation over c _{ r }(k) runs over points of the M _{2}PSK constellation. Using (31), the elements of J _{ M,SRD} can be written as
Evaluation of the terms for which \(k\neq \tilde {k}\) yields
with
Substituting (33), (34) into (32) yields
where
and r _{2} and c _{ s } are shorthand notations for r _{2}(0) and c _{ s }(0). The functions \(\bar {X}_{i}(r_{2},c_{s};\boldsymbol {\bar {\theta }})\) can further be expressed as
for 0<i≤M _{2}−2 and
for i>M _{2}−2. Having obtained closedform expressions for \(\bar {X}_{i}(r_{2},c_{s};{\boldsymbol {\bar {\theta }}})\), the expectation in (35) is evaluated by means of the importance sampling method outlined in Section 5.
Appendix C: Estimation of the unknown channel parameters
In order to evaluate the tightness of the obtained lower bounds, the latter are compared to the MSE results from the estimation algorithms described in [16], where maximum likelihood (ML) pilotbased estimates of the various channel parameters are refined using the expectationmaximization (EM) algorithm. In this section, we will briefly outline the estimation process. The reader is referred to [16] for further reading. When using the channel model outlined in Section 6.1, the likelihood of the symbols received at the destination is equal to
with
The ML estimates of the parameters h _{0}, h _{2} and τ are calculated in two steps. In a first step, pilotbased estimates of these parameters are obtained. To this purpose, K _{ p } pilot symbols are added to data symbols broadcast by the source in the first timeslot, resulting in frames consisting of K+K _{ p } symbols. These pilot symbols are received by the destination, where they are used to calculate an estimate of h _{0}. They are also received by the relay, where they are quantized together with the data symbols, and are broadcast to the destination in the second timeslot. The destination uses the pilot symbols received from relay to calculate an estimate of τ and h _{2}. Using c _{ sp } to denote the pilot symbols transmitted by the source, and r _{0p } and r _{2p } to denote the part of r _{0} and r _{2}, respectively, that corresponds to the received pilot symbols, the pilotbased ML estimates of the unknown channel parameters are obtained by solving the following equations:
The first equation from (39) can be solved analytically, while the second is solved using the EM algorithm, where the quantized pilot symbols transmitted by the relay are considered to be nuisance parameters. The reader is referred to [16], section IIIC, for a detailed resolution of (39).
After pilotbased estimates of h _{0}, h _{2} and τ are obtained, they are refined using a codeaided EM approach. To this purpose, the data symbols transmitted by the source and the quantized symbols transmitted by the relay are considered to be nuisance parameters. Each EM iteration i, refined estimates of h _{0}, h _{2} and τ are obtained by solving the following equation:
with
The reader is referred to [16], section IIIB, for the solution of (40). Using the results from [16], it can easily be shown that the obtained estimates of h _{0}, h _{2} and τ are unbiased, so that the CRB is indeed a LB for the considered estimates.
References
 1
B Sklar, Rayleigh fading channels in mobile digital communication systems part I: characterization. IEEE Commun. Mag. 35(7), 90–100 (1997).
 2
TM Cover, JA Thomas, Elements of Information Theory (Wiley, New York, 1991).
 3
LJ Cimini Jr, Analysis and simulation of a digital mobile channel using orthogonal frequencydivision multiplexing. EEE Trans. on Commun. 33(7), 665–675 (1985).
 4
GJ Foschini, MJ Gans, On limits of wireless communications in a fading environment when using multiple antennas. Wirel. Pers. Commun. 6(3), 311–335 (1998).
 5
G Foschini, Layered space time architecture for wireless communication in a fading environment when using multielement antennas. Bell Labs. Tech. 1(2), 41–59 (1996).
 6
A Sendonaris, E Erkip, B Aazhang, User cooperation diversity  part I:system Description. IEEE Trans. Commun. 51(11), 1927–1938 (2003).
 7
TM Cover, A El Gamal, Capacity theorems for the relay channel. IEEE Trans. Inf. Theory. 25(5), 572–584 (1979).
 8
A El Gamal, M Mohseni, S Zahedi, Bounds on capacity and minimum energyperbit for AWGN relay channels. IEEE Trans. Inf. Theory. 52(4), 1545–1561 (2006).
 9
JN Laneman, Cooperative Diversity in Wireless networks: Algorithms and Architectures (Ph.D. dissertation, Massachusetts Institute of Technology, Cambridge, MA, 2002).
 10
M Souryal, H You, in WCNC 2008. QuantizeandForward Relaying with Mary Phase Shift Keying (IEEE Wireless Communications and Networking ConferenceLas Vegas, United, States, 31 Mar. –3 Apr 2008), pp. 42–47.
 11
JN Laneman, DNC Tse, GW Wornell, Cooperative diversity in wireless networks: efficient protocols and outage behavior. IEEE Trans. Inf. Theory. 50(12), 3062–3080 (2004).
 12
TE Hunter, S Sanayei, A Nosratinia, Outage analysis of coded cooperation. IEEE Trans. Inf. Theory. 52(2), 375–391 (2006).
 13
YW Hong, WJ Huang, FH Chiu, CCJ Kuo, Cooperative communications in resourceconstrained wireless networks. IEEE Signal Process. Mag. 24(3), 47–57 (2007).
 14
I Avram, N Aerts, D Duyck, M Moeneclaey, A Novel QuantizeandForward Cooperative System: Channel Estimation and MPSK Detection Performance. EURASIP J. Wirel. Commun. Netw. Article, ID 415438, 11 pages (2010).
 15
I Avram, N Aerts, M Moeneclaey, A Novel QuantizeandForward Cooperative System: Channel Parameter Estimation Techniques (Future Network & Mobile Summit 2010, Florence, Italy, 16–18 Jun 2010).
 16
I Avram, N Aerts, H Bruneel, M Moeneclaey, Quantize and forward cooperative communication: channel parameter estimation. IEEE Trans. Wireless Commun. 11(3), 1167–1179 (2012).
 17
CR Rao, Information and the accuracy attainable in the estimation of statistical parameters. Bulletin of Cal. Math. Soc. 37(3), 81–91 (1945).
 18
S Zhang, F Gao, J Li, M Sheng, Online and offline Bayesian Cramer–Rao bounds for timevarying channel estimation in oneway relay networks. IEEE Trans. Signal Process. 63(8), 1977–1992 (2015).
 19
H Mehrpouyan, SD Blostein, Bounds and algorithms for multiple frequency offset estimation in cooperative networks. IEEE Trans. Wireless Commun. 10(4), 1300–1311 (2011).
 20
Z Jiang, H Wang, Z Ding, A Bayesian algorithm for joint symbol timing synchronization and channel estimation in twoway relay networks. IEEE Trans. Wireless Commun. 61(10), 4271–4283 (2013).
 21
S Abdallah, IN Psaromiligkos, Partiallyblind estimation of reciprocal channels for af twoway relay networks employing MPSK modulation. IEEE Trans. Wireless Commun. 11(5), 1649–1654 (2012).
 22
S Abdallah, IN Psaromiligkos, Blind channel estimation for amplifyandforward twoway relay networks employing MPSK modulation. IEEE Trans. Signal Process. 60(7), 3604–3615 (2012).
 23
S Zhang, F Gao, CX Pei, Optimal training design for individual channel estimation in twoway relay networks. IEEE Trans. Signal Process. 60(9), 4987–4991 (2012).
 24
AD Andrea, U Mengali, R Reggiannini, The modified CramerRao bound and its application to synchronization problems. IEEE Trans. Commun. 42, 1391–1399 (1994).
 25
M Moeneclaey, On the True and the modified CramerRao bounds for the estimation of a scalar parameter in the presence of nuisance parameters. IEEE Trans. Commun. 46(11), 1536–1544 (1998).
 26
I Avram, M Moeneclaey, in WCNC 2013. The Modified CramerRao Bound for Channel Estimation in QuantizeandForward Cooperative Systems (IEEE Wireless Communications and Networking Conference (WCNC)Shanghai, China, 7–10 Apr 2013), pp. 2862–2867.
 27
M Woodbury, Inverting modified matrices (Memorandum Rept. 42, Statistical, Research Group, Princeton University, Princeton, NJ, 1950).
 28
JM Hammersley, DC Handscomb, Monte Carlo Methods (Methuen & Co., London, and John Wiley & Sons, New York, 1964).
 29
S Lin, D Costello, Error Control Coding. (Pearson Education Inc., second edition, 2004).
Acknowledgements
The authors wish to acknowledge the Agency for Innovation by Science and Technology Flanders (IWT Belgium) that motivated this work. This research has been funded by the Interuniversity Attraction Poles Programme initiated by the Belgian Science Policy Office.
Author information
Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
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
Avram, I., Aerts, N. & Moeneclaey, M. Lower bounds on the estimation performance in low complexity quantizeandforward cooperative systems. J Wireless Com Network 2015, 231 (2015). https://doi.org/10.1186/s1363801504618
Received:
Accepted:
Published:
Keywords
 Cooperative communication
 Estimation
 CramerRao bound
 Modified CramerRao bound