Open Access

Low-complexity quantize-and-forward cooperative communication using two-way relaying

EURASIP Journal on Wireless Communications and Networking20142014:194

https://doi.org/10.1186/1687-1499-2014-194

Received: 1 August 2014

Accepted: 7 November 2014

Published: 21 November 2014

Abstract

Cooperative communication is used as an effective measure against fading in wireless communication systems. In a classical one-way cooperative system, the relay needs as many orthogonal channels as the number of terminal it assists, yielding a poor spectral efficiency. Efficiency is improved in two-way relaying systems, where a relay simultaneously assists two terminals using only one timeslot. In the current contribution, a two-way quantize-and-forward (QF) protocol is presented. Because of the coarse quantization, the proposed protocol has a low complexity at the relay and can be used with half-duplex devices, making it very suitable for low-complexity applications like sensor networks. Additionally, channel parameter estimation is discussed. By estimating all channel parameters at the destination terminals, relay complexity is kept low. Using Monte Carlo simulations, it is shown that the proposed QF protocol achieves a good frame error rate (FER) performance as compared to two-way amplify-and-forward (AF) and one-way relaying systems. It is further shown that, using the proposed estimation algorithm, the FER degradation arising from the channel parameter estimation is negligible when compared to an (unrealistic) system in which all parameters are assumed to be known.

Keywords

Cooperative communication Two-way relaying Estimation Sensor networks Diversity

1 Introduction

Cooperative telecommunication systems can effectively be used to combat fading by exploiting the broadcast nature of the wireless medium [16]. In a classical cooperative communication system, only unilateral communication is considered: one transmitting terminal communicates to one receiving terminal with the help of a relaying terminal. Many practical applications however require bilateral communication, in which two terminals both send and receive information to/from each other. Using a classical (one-way) cooperative system in this situation would yield a poor spectral efficiency, as this would require four orthogonal channels, i.e., the two transmitting terminals need one channel each, and the relay transmits over two channels that the data received from the first and second terminal, respectively. The spectral efficiency can be improved using a two-way relaying system, in which the relay uses a single channel to simultaneously assist in the information transfer from the first to the second terminal and from the second to the first terminal.

As for one-way cooperative systems, a variety of forwarding protocols have been developed for two-way systems, including, but not limited to, network coding [7, 8], amplify-and-forward (AF) [9], decode-and-forward (DF) [9, 10], and compress-and-forward (CF) [11]. While many of these protocols achieve satisfactory results regarding outage probability and frame error rate (FER), they also impose a (large) burden upon the relay in terms of computational complexity and/or storage space requirements. The DF strategy requires the relay to decode the received data. In the AF protocol, the relay needs to store the analog signals awaiting retransmission, requiring a high-precision analog-to-digital conversion (i.e., many quantization bits per sample) and, therefore, a large memory to store the samples.

Two-way quantize-and-forward (QF) protocols have been studied in [12] and [13]. In [13], the capacity of a two-way relaying channel is maximized using an information theoretical approach. Channel symmetry is assumed, i.e. both users’ channel qualities need to be the same, both in the uplink and downlink. In [12], a two-way QF relaying scheme using space-time block coding (STBC) is proposed. The two transmitting nodes use STBC to simultaneously transmit their signals to the relay, where they are estimated by using minimum mean square error-ordered successive interference cancellation (MMSE-OSIC). The main drawback of the proposed system is the MMSE-OSIC algorithm that needs to be executed at the relay, inevitably raising its complexity. Furthermore, the relay is required to have multiple antenna’s, also raising its hardware cost. Both [12] and [13] also assume that there is no direct link between the two user terminals, making it impossible to exploit cooperative diversity.

These hardware requirements can limit the usefulness of existing two-way relaying strategies in applications requiring a low relay complexity, such as sensor networks and battery powered devices. Therefore, in the current contribution, a low-complexity two-way relaying strategy is presented, based on the QF protocol. The main goal is to keep the relay complexity to a minimum by shifting as much operations as possible to the user terminals, where typically there is more processing power available. While QF protocols with a low relay-side complexity have been developed for one-way relaying systems [14, 15], the adaptation of these protocols to two-way relaying systems is not straightforward. In the current paper, a novel two-way QF protocol is introduced and its performance is analyzed. The proposed protocol exploits cooperative diversity, by assuming there is a direct path between the user terminals. Furthermore, a practical estimation scheme is proposed for the estimation of all the unknown channel parameters. In order to limit the relay complexity to a minimum, all estimation is performed at the destination terminals, with no additional calculations needed at the relay.

The remainder of this paper is organized as follows: The channel model is outlined in Section 2, whereafter the proposed quantization scheme is presented in Section 3. In Section 4, the receiver structure is obtained and in Section 5, the estimation algorithm is discussed. The FER performance of the proposed algorithms is analyzed using Monte Carlo (MC) simulations in Section 6. Finally, conclusions are drawn in Section 7.

Notations

Bold lower- and uppercase letters are used to denote vectors and matrices, respectively. The absolute value and phase of the complex number x are denoted as |x| and arg(x)(0, 2π), respectively. The Hermitian transpose of x is denoted x H and the suffix mod M is used to denote the modulo-M reduction to the interval [ 0, M). The notation p(x|y;z) refers to the probability density function (pdf) of the random variable x, conditioned on the random variable y, with z denoting a known deterministic parameter of the considered pdf.

2 Channel model

In this contribution, a cooperative two-way relaying scheme is analyzed consisting of two terminals exchanging information, denoted T0 and T1, and one assisting relay, denoted R. At both T0 and T1, the information to be transmitted is divided into frames of K-coded bits, which are obtained by encoding the information bits by means of a channel encoder. The terminals T0, T1, and R transmit in turn using time-division multiple access (TDMA), as depicted in Figure 1. At T1 (T0), the signals received from the relay and from T0 (T1) are combined in order to retrieve the information sent by T0 (T1).
Figure 1

Timeslot assignment.

All channels are modelled as flat Rayleigh fading channels with additive white Gaussian noise. We denote the complex-valued channel gains between T0 and T1, between T0 and R, and between R and T1 as h0, h1, and h2, respectively. The gains of the reciprocal channels are denoted h 0 , h 1 , and h 2 , respectively, as also shown in Figure 1. In order to keep the discussion general, no assumptions are made on the relation between the fading gains of reciprocal channels. Denoting by c0, c1, and c r , the PSK symbol sequences sent by T0 (first slot), T1 (second slot), and R (third slot), respectively, the channel outputs for the information transfer from T0 to T1 are equal to
r 0 = E 0 h 0 c 0 + n 0 r 1 = E 0 h 1 c 0 + n 1 r 2 = E r h 2 c r + n 2 ,

where r0, r1, and r2 denote the signals received by T1 (first slot), R (first slot), and T1 (third slot), respectively. Similar expressions hold for the reciprocal signals. Assuming the normalization condition |c0|2=|c1|2=|c r |2=K, the quantities E0, E1, and E r denote the transmitted energy per symbol at T0, T1, and R, respectively. All channel coefficients are considered to be constant during a frame and have a zero-mean circular symmetric complex Gaussian (ZMCSCG) distribution with variances N h x = 1 / d x n loss , x { 0 , 1 , 2 } . The quantity d x represents the distance between the two considered terminals, while n loss denotes the path loss exponent. The components of the noise vectors n x are also ZMCSCG distributed with variances N x ,x{0,1,2}.

3 Two-way relaying

In the following subsections, the operation performed at the relay is discussed, assuming that the symbols transmitted by T0 and T1 belong to a M1-PSK constellation, with M1 as the constellation size. This operation results in the symbol vector c r transmitted by the relay in the third slot. An AF two-way relaying strategy, to be used for benchmarking the performance of the proposed QF system, is briefly discussed first.

3.1 Amplify-and-forward

In a two-way relaying AF system, the relay simply adds the signals received from T0 and T1 and transmits a scaled version of the resulting sum. This yields the following expression for c r :
c r = β r 1 + r 2 = β E 0 h 1 c 0 + E 1 h 2 c 1 + β n 1 + n 2
In order to satisfy the normalization constraint E [|c r |2]=K, the gain β is chosen as
β = 1 E 0 | h 1 | 2 + E 1 | h 2 | 2 + N 1 + N 2 .

Note that the relay in a two-way AF system needs to know the squared channel magnitudes |h1|2 and |h2|2.

3.2 Quantize-and-forward

A straightforward implementation of a two-way QF relaying system that is similar to the AF relaying system would involve the coarse quantization of the sum of the signals received in the first and second slot from T0 and T1, respectively, and the broadcasting of these quantized samples in the third slot. While the initial purpose of quantization is to avoid the storage of analog samples, this approach however would require the relay to store the analog samples received from T0 in the first slot, until the data from T1 is received in the second slot and the two can be added and quantized. Instead, a quantization scheme that does not necessitate the storage of analog values is proposed, where the relay separately quantizes the signals received in the first and second slot and then properly combines the quantized values. This involves the following operations, which do not require any channel knowledge at the relay.

3.2.1 Quantization

In the first and second slot, the phase of the samples received from T0 and T1, respectively, is quantized uniformly using log2M2 bits. When taking M2≥2M1, this approach has shown to yield a performance close to that of AF for one-way relaying systems [14]. The uniform quantization, with log2M2 bits, of the phases of the signals r1(k) and r 2′(k) received by the relay yields the quantized phases 2π q1(k)/M2 and 2π q 2′(k)/M2, respectively, where
q 1 k = f q r 1 k q 2 k = f q r 2 k ) ) ,
(1)
and the function f Q (x){0, 1, …, M2-1} is defined as
f Q x = 0.5 + M 2 2 π arg x mod M 2 .

so that f Q (x)=q when 2 π M 2 q - 1 2 arg x < 2 π M 2 q + 1 2 for q=1, 2, …, M2-1, and f Q (x)=0 when 0 arg x < π M 2 or 2 π - π M 2 arg x < 2 π . In order to be able to exploit circular symmetry at the relay, we impose that M2 is a multiple of M1.

3.2.2 Addition

The quantized phases of r1(k) and r 2 k are added, and the resulting sum determines the symbol c r (k) to be sent by the relay in the third slot. Introducing the mapping function
χ M q = exp j 2 πq M ,
(2)
the symbols sent by the relay can be written as
c r ( k ) = χ M 2 q 1 ( k ) + q 2 ( k ) mod M 2 .

3.2.3 Relay complexity

In the proposed quantization scheme, the storage and processing requirements at the relay are kept low. For each frame, only the vectors q1 and q 2 need to be stored at the relay; the memory requirements are low, because the components of q1 and q 2 are represented by only log2M2 bits. The memory usage can further be lowered in a practical implementation by storing the elements of q1 obtained in the first slot, performing the modulo M2 addition element-wise in the second slot as the values of q 2 become available by quantizing the incoming signal r 2 , and storing the result of the addition back in q1. The latter is then mapped on M2-PSK symbols using Equation 2 and broadcast in the third slot.

The number of computations that the relay needs to perform is also limited. The quantization operation has a low complexity, as only the phase of the incoming signals is quantized, neglecting the amplitude. This complexity is further lowered by only considering uniform quantization. The modulo- M2 addition of the resulting quantization intervals involves the addition of two integers with a limited range and is thus easily implemented in hardware. Channel parameter estimation does not add to the computational burden of the relay, because all channel parameters are estimated at the destination terminals.

4 Likelihood calculation

At T1 (T0), the signals received from the relay and from T0 (T1) need to be combined in order to optimally retrieve the information bits sent by T0 (T1). In this section, we will focus on the calculation of the likelihoods of the received symbols at T1, which are used by the channel decoder at T1 to detect the information bits transmitted by T0. Similar expressions are obtained for the symbol likelihoods at T0, used to detect the information transmitted by T1. The symbol likelihoods at T1 are given by
p ( r 0 , r 2 | c 0 , h 0 , h 1 , h 2 , h 2 ; c 1 ) = p ( r 0 | c 0 , h 0 ) × p r 2 | c 0 , h 1 , h 2 , h 2 ; c 1 ,
(3)
As T1 knows the symbols c1, Equation 3 denotes the likelihood of c0 based on the observations r0 and r2, and c1 is to be considered as a known parameter. Evaluating Equation 3 on a symbol-by-symbol basis and conditioning on the symbols sent by the relay yields
p r 0 , r 2 | c 0 , h 0 , h 1 , h 2 , h 2 ; c 1 = k = 1 K p r 0 ( k ) | c 0 ( k ) , h 0 c r ( k ) p ( r 2 ( k ) | c r ( k ) , h 2 ) × p ( c r ( k ) | c 0 ( k ) , h 1 , h 2 ; c 1 ( k ) ) ,
(4)
with
p ( r 0 ( k ) | c 0 ( k ) , h 0 ) = 1 π N 0 exp - | r 0 ( k ) - h 0 c 0 ( k ) | 2 N 0 p ( r 2 ( k ) | c r ( k ) , h 2 ) = 1 π N 2 exp - | r 2 ( k ) - h 2 c r ( k ) | 2 N 2 .
To determine the factor p c r ( k ) | c 0 ( k ) , h 1 , h 2 ; c 1 ( k ) in Equation 4, further on referred to as the transition probabilities, one has to take into account that due to the modulo M2 addition, there are multiple combinations of q1(k) and q 2 ( k ) that all give rise to the same relay symbol c r (k). This yields the following expression for the transition probabilities:
P c r ( k ) = χ M 2 ( q ) | c 0 ( k ) , h 1 , h 2 ; c 1 ( k ) = q ~ = 0 M 2 - 1 P q 2 ( k ) = q ~ | h 2 ; c 1 ( k ) P q 1 ( k ) = ( q - q ~ ) mod M 2 | h 1 , c 0 ( k ) .
(5)
Let us introduce the function f Θ , describing the pdf of the received phase when a symbol of amplitude 1 and phase 0 is sent over an AWGN channel with a signal-to-noise ratio (SNR) equal to γ[14], which is given by
f Θ ( θ ; γ ) = 1 2 π e - γ + πγ cos θ e - γ sin 2 θ × erfc - γ cos ( θ ) .
Then, the probabilities p q 2 ( k ) | h 2 ; c 1 ( k ) and p(q1(k)|h1,c0(k)) to be used in Equation 5 can be written as
p q 2 k | h 2 ; c 1 k = 2 π q 2 k - 1 2 M 2 2 π q 2 k + 1 2 M 2 × f Θ θ - arg c 1 k h 2 ; | h 2 | 2 N 2 d θ
(6)
p ( q 1 ( k ) | h 1 , c 0 ( k ) ) = 2 π q 1 ( k ) - 1 2 M 2 2 π q 1 ( k ) + 1 2 M 2 × f Θ θ - arg ( c 0 k h 1 ) ; | h 1 | 2 N 1 d θ ,
(7)

which completes the calculation of the symbol likelihoods.

5 Estimation

The likelihoods calculated in the previous section depend on the specific realization of the channel coefficients h0, h1, h2, and h 2 (for the likelihoods calculated at T0) and h 0 , h 1 , h 2 , and h1 (for the likelihoods at T1). As these parameters change between frames and are not a priori known, they need to be estimated before the data decoding can be performed. In the remainder of this section, we will focus on the channel estimation at T1 in order to decode the data sent by T0. Similar expressions are obtained for the channel estimation at T0.

The channel coefficients that need to be estimated can be divided into two groups: the ones that are directly observed by T1 (these are h0 and h2) and the ones that are not (these are h1 and h 2 ). The main difficulty is estimating the parameters that are not directly observed. In order to keep the complexity at the relay terminal low, we deliberately choose not to perform any relay-side estimation. However, due to the quantization performed at the relay, it is quite difficult to estimate the channel coefficients h1 and h 2 at T1. Fortunately, this problem can be circumvented by directly estimating the transition probabilities used in Equation 4, so that we no longer need to know the specific values of h1 and h 2 . Indeed, in [16], it was shown that the source-relay transition probabilities can be estimated at the destination in a one-way quantize-and-forward system. Accurate results were obtained by first estimating the transition probabilities using pilot symbols transmitted by the source and then iteratively refining these pilot-based estimates by also using the a posteriori probabilities of the unknown data symbols in the estimation process.

In the one-way relaying system described in [16], the transition probabilities only depend on the symbols transmitted by T0 and on the channel between T0 and R. However, in the two-way system at hand, they also depend on the symbols sent by T1 and on the channel between T1 and R, which makes the estimation more complex. In order to be able to apply the results from [16] to the considered two-way system, we first group the transition probabilities from Equation 5 into the three-dimensional array T, of which the elements are defined as
T ( q , m , n ) = P [ c r = χ M 2 ( q ) | c 0 = χ M 1 ( m ) , h 1 , h 2 ; c 1 = χ M 1 ( n ) ] .
(8)
The symbol index k is omitted from Equation 8 because, due to the slow fading nature of communication channels, the elements of T do not depend on the position within a frame. Note that T contains a total of M1×M2×M2 elements, all of which need to be estimated. For higher-order mapping constellations, it can be a problem to estimate all elements of T individually, as this would require very long frames and a vast number of pilot symbols. Fortunately, the number of elements from T which actually need to be estimated can be reduced to only M2 by exploiting the inherent circular symmetry of T. Indeed, defining t ̄ ( q ) = T ( q , 0 , 0 ) with q=0,1,…,M2-1, it can be easily shown from Equations 5, 6, and 7 that
T ( q , m , n ) = t ̄ q - M 2 ( m + n ) M 1 mod M 2 ,
(9)

which indicates that, for the given m and n, the elements {T(q,m,n), q=0,1,…,M2-1} are obtained as a cyclic shift of the vector t ̄ = ( t ̄ ( 0 ) , , t ̄ ( M 2 - 1 ) ) over ( m + n ) M 2 M 1 positions.

In order to assist the estimation of h = ( h 0 , h 2 , t ̄ ) , both T0 and T1 transmit pilot symbols which are known to both terminals. These pilot symbols are quantized at the relay using the same quantization method as was used for the data symbols. Hence, the relay operation does not need to distinguish between data symbols and pilot symbols. Using the pilot symbols, an initial estimate of h is be obtained at T1. This pilot-based estimate of h is then iteratively refined using code-aided estimation that exploits also the presence of the unknown data symbols contained in r0 and r2. The reader is referred to Appendix A and [16] for more details regarding this estimation procedure, which makes use of the expectation-maximization (EM) algorithm.

6 Performance results

The frame error rate (FER) performance of the proposed protocol is investigated using Monte Carlo simulations. We consider frames of 1,024 information bits, encoded by means of an (1,13/15)8 RSCC turbo code [17] that is punctured to a rate of 2/3, yielding a total of 1,536 coded bits which are then mapped on binary phase-shift keying (BPSK) symbols (M1=2). At the relay, 2-bit quantization of the phase of the received samples is used, yielding transmitted relay symbols belonging to a quadrature phase-shift keying (QPSK) constellation (M2=4). The path loss exponent equals 4 and the distance between T0 and T1 are considered unity. All symbol energies are considered to be equal (E0=E1=E r ) and all noise variances are also assumed to be equal ( N 0 = N 0 = N 1 = N 1 = N 2 = N 2 ). In the remainder of this section, performance metrics related to the information transfer from T0 to T1 are considered. Results for the communication in the opposite direction are obtained by simply interchanging the positions of T0 and T1.

6.1 Channels and transition probabilities known

In this subsection, the FER performance of the proposed two-way relaying system is analyzed under the assumption that the relevant channels and transition probabilities are known at the receiving terminal. This FER performance is compared to that of a non-cooperative system and a classical one-way relaying system. For a fair comparison, we require the three systems to operate at the same spectral efficiency R b /R s , with R b and R s denoting the average information bitrate and the symbol rate, respectively. This is achieved by dimensioning the systems as indicated in Figure 2:

  • In the two-way relay system, we use three slots to send 1,024 information bits in each direction (2,048 information bits in total), yielding a total transmission time of 2,048/ R b and a duration of 2,048/ (3R b ) per slot. As stated in the introduction, the turbo code is punctured to a rate of 2/3, yielding 1,536 coded bits (1,536 BPSK symbols) in the first slot and in the second slot and 1,536 QPSK symbols in the third slot (i.e., 3 × 1536 = 4,608 symbols in total). The resulting spectral efficiency is R b /R s = 4/9 information bits per channel use.

Figure 2

Timeslot assignment for one-way and two-way relaying systems.

  • In the non-cooperative system, there are only two slots as no relay is involved in the communication process. Each slot has a duration of 1,024/ R b , which is 3/2 times the slot duration of the two-way relay system. The spectral efficiency of R b /R s = 4/9 is obtained by puncturing the turbo code to a rate of 4/9 (instead of 6/9 for the two-way relaying systems), yielding 2,304 coded bits (2,304 BPSK symbols) per slot (i.e., 2 × 2,304 = 4,608 symbols in total).

  • In the one-way relay system, the relay uses two slots, to forward the information from T0 to T1 and from T1 to T0, requiring a total of four slots, each of duration 512/ R b . The turbo code is punctured to a rate of 8/9 (instead of 6/9 for the two-way relaying systems), yielding 1,152 coded bits (1,152 BPSK symbols) in the first and the third slot and 1,152 QPSK symbols in the second and in the fourth slot (i.e., 4 × 1,152 = 4,608 symbols in total), again resulting in a spectral efficiency of R b /R s = 4/9.

Also note that, while the above three communication systems yield the same spectral efficiency, the relay in a one-way relaying system needs to transmit more symbols (and thus consume more energy) as compared to the relay in a two-way relaying system. Indeed, in a one-way relaying system, the relay is active during two slots, transmitting a total of 2,034 symbols. In a two-way relaying system, the relay is only active during one slot, transmitting a total of 1,536 symbols. This favors the two-way relaying system in applications where low relay energy consumption is required, such as battery-powered sensor networks and on-body relaying networks.

The FER performance of the considered relaying protocols is shown in Figure 3 as a function of the E b /N0 ratio. The quantity E b is used to represent the energy needed to transmit (and relay) 1 information bit from T0 to T1. The relay position is varied uniformly on a line connecting T0 and T1 (i.e. in each frame, a random relay position is selected). The figure shows that the proposed two-way QF system achieves a good FER performance that is only slightly worse than for the two-way AF system. Both two-way systems outperform their one-way counterparts and due to the increased diversity, all the cooperative systems clearly outperform the non-cooperative system.
Figure 3

FER as function of the E b / N 0 ratio. FER of a one-way and a two-way QF and AF protocol along with the FER of a non-cooperative system as function of the E b /N0 ratio for a relay position that is uniformly distributed on a line connecting T0 and T1.

In Figure 4, the position of the relay is varied on a line connecting T0 and T1, while the E b /N0 ratio is kept fixed at 9 dB. The resulting FER values are shown as a function of the normalized distance between T0 and the relay. In order to better understand the FER behavior of the two-way protocols shown in Figure 4, the FER performance of a two-way AF and QF system in which the relay ignores the signal from T1 is also shown. These configurations will be referred to as non-interfering AF and non-interfering QF, respectively. Because the relay ignores the contribution from T1, the sole contribution in the signal transmitted by the relay stems from T0. In the non-interfering QF (AF) system, the first and third slot support a one-way QF (AF) protocol between T0 and T1 in which the relay only assists T0, while the second slot supports a single-diversity information transfer from T1 to T0. The following observations can be made from the aforementioned figure:

  • In the one-way AF protocol, the FER curve is symmetrical with regard to the relay position. Assuming that E0|h1|2N1 and taking into account the operation of the AF relay, it can easily be verified that signal received from the relay is characterized by an instantaneous SNR given by
    SNR = N 1 E 0 | h 1 | 2 + N 2 E r | h 2 | 2 - 1 .
    (10)
Figure 4

FER as function of the normalized distance between transmitting terminal and relay. FER of a one-way and a two-way QF and AF protocol, along with the FER of a non-interfering two-way QF and AF system as function of the normalized distance between transmitting terminal and relay for a fixed E b /N0 ratio of 9dB.

  • Because N1/E0=N2/E r , as specified in the beginning of this section, Equation 10 is symmetrical with respect to |h1|2 and |h2|2, implying the symmetry of the FER curve.

  • Due to the coarse quantization at the relay, the one-way QF protocol is outperformed by one-way AF. The degradation of the former with regard to the latter is negligible when the relay is located close to T0, but increases when their distance gets larger, because of the decreasing SNR on the h1 channel.

  • In the two-way AF protocol, the relay transmits a scaled version of the sum of the signals received from T0 and T1, such that the sum signal has a given energy per symbol interval. As the resulting contribution from T0 to the transmitted relay symbols is smaller than in the case of non-interfering AF (in which the contribution from T0 is the sole contribution), two-way AF is outperformed by non-interfering AF. The degradation of the two-way AF system with regard to the non-interfering AF system decreases when the relay moves in the direction of T0, because in the former system the weight of the signal from T0 to the transmitted relay signal increases. When the relay is very close to T0, the signal from T1 has a negligible contribution to the relay symbols, so the FER performance of the two-way AF system approaches that of the non-interfering AF system.

  • In the two-way QF protocol, the symbols transmitted by the relay depend on the phases of the noisy signals received from T0 and T1 but not on their amplitudes. As the transmitted relay symbols are function of the noise on both the h1 and h 2 channels, they are less reliable than in the non-interfering QF system; therefore, non-interfering QF outperforms two-way QF. The degradation of the two-way QF system with regard to the non-interfering QF system decreases when the relay gets closer to T1, because of the increasing SNR on the h 2 channel. When the distance between the relay and T1 is very small, the noise on the h 2 channel can be ignored, yielding the same situation, and thus the same FER performance, as the non-interfering QF system.

The FER plots from Figure 4 show that, depending on the position of the relay with respect to T0 and T1, two-way QF clearly outperforms two-way AF and vice versa. When sufficient relay resources are available to support a two-way AF protocol, the results from Figure 4 can be used to determine which protocol is best suited to yield the lowest FER (on average) for the information transfer from T0 to T1 for a given relay position. Of course, for the same relay position, the selected protocol may not be optimal for the information transfer from T1 to T0, so trade-offs will have to be made. When we have the freedom to select the position of the relay, we achieve maximum fairness (information transfer from T1 to T0 and from T0 to T1 yield the same FER) when the relay is located halfway between T0 and T1; for this relay position, the two-way QF system slightly outperforms the two-way AF system when E b /N0 = 9 dB.

6.2 Channels and transition probabilities estimated

Here, we consider the FER performance of the two-way QF relaying system, when the relevant channel gains and transition probabilities are estimated by the destination terminal. In order to assist the estimation, 20 pilot symbols are added to the data frames at both T0 and T1, so that each slot now consists of 1,556 symbols. The pilot symbols added by T0 do not need to equal those added by T1, but both pilot symbol sequences need to be known to both terminals. The pilot-based estimates of the transition probabilities and of h2 are computed using five EM iterations, while the code-aided refining is executed using eight EM iterations. In the code-aided approach, the EM iterations and turbo decoding iterations are merged as explained in [18]. Using this technique, the increase in complexity induced by the code-aided estimation process is minimal. Figure 5 shows the FER performance of the proposed QF system resulting from pilot-aided estimation and code-aided estimation.
Figure 5

FER performance of a two-way QF system with estimated channel parameters. FER performance of a two-way QF system in which the unknown channel parameters are estimated using different estimation techniques, as function of the E b /N0 ratio for a relay position that is uniformly distributed on a line connecting T0 and T1.

We observe that pilot-based estimation yields a significant degradation with respect to the reference system in which all channel parameters are assumed to be known. This degradation is however almost completely mitigated using the code-aided approach, yielding essentially the same FER performance as the reference system. These results prove that the proposed two-way relaying QF system is suitable to be used in real-life systems, because efficient estimation of the unknown channel parameters can be achieved.

7 Conclusions

In this contribution, an implementation has been proposed for a two-way QF relaying system. The computational complexity at the relay has been kept low, in order to make the proposed algorithm suitable for relaying networks with hardware constraints at the relay, such as sensor networks. After presenting a closed-form expression for the symbol likelihoods at the receivers, the estimation of the unknown channel parameters was discussed. In order to keep the relay complexity low, all parameters are estimated at the destination, requiring no additional operations from the relay. The performance of the proposed algorithms for a relay position that is uniformly distributed between the transmitting and receiving terminal was subsequently evaluated using Monte Carlo simulations. It was shown that the considered two-way QF system clearly outperforms both one-way systems and non-cooperative ones. It was further shown that the FER degradation with respect to a two-way AF system, which has a much higher relay-side complexity, is very low through the full SNR range. In order to gain more insight into the proposed algorithm, the effect of the relay position was also investigated and the results were explained. Finally, it was shown that the proposed estimation algorithms yield only a negligible degradation in FER as compared to an (unrealistic) system in which all channel parameters are assumed to be known, making the presented QF protocol and estimation algorithms suitable to be used in real-life networks that require a low relay-side complexity.

Appendix A

At T1, the channel coefficients h0 and h2 and the transition probabilities t ̄ need to be estimated. In [16], channel parameter estimation using the EM algorithm was discussed for a one-way QF system. These results will now be extended to a two-way QF system. The EM algorithm is an iterative algorithm that, besides using the known pilot symbols, also uses the unknown data symbols in the estimation process. These unknown variables are referred to as nuisance parameters. In the case at hand, data symbols transmitted by T0 and the symbols transmitted by the relay are considered to be nuisance parameters.

One EM iteration consists of an expectation step and a maximization step. In the expectation step, the estimates from the previous iteration are used to compute the a posteriori expectation of the nuisance parameters. In the maximization step, these expectations are used to update the channel estimates. Introducing h = h 0 , h 2 , t ̄ , the expectation step during iteration i consists of calculating the following Q-function
Q h , h ̂ ( i - 1 ) = E c s , c r ln p ( r 0 , r 2 , c 0 , c r | h ; c 1 ) r 0 , r 1 , h ̂ ( i - 1 ) ,
with h ̂ ( i - 1 ) denoting an estimate of h obtained in the (i-1)-th EM iteration. The maximization step involves finding the value of h that maximizes this Q function, yielding
h ̂ ( i ) = arg max h Q h , h ̂ ( i - 1 ) ,
(11)

where the value of h ̂ ( 0 ) is initialized using the pilot-based estimates.

Using a similar reasoning as in [16], it can be shown that the elements of h ̂ ( i ) are equal to
h 0 ̂ ( i ) = r 0 u 0 ( i - 1 ) H K + K p E 0 h 2 ̂ ( i ) = r 2 u r ( i - 1 ) H K + K p E r t ̂ ( i ) ( q ) = Γ ( i - 1 ) ( q ) q ~ = 0 M 2 - 1 Γ ( i - 1 ) ( q ~ ) ,
with K p the number of pilot symbols and
u 0 ( i - 1 ) ( k ) = m = 0 M 1 - 1 χ M 1 ( m ) F m , n 0 ( k ) ( i - 1 ) ( k ) u r ( i - 1 ) ( k ) = q = 0 M 2 - 1 m = 0 M 1 - 1 χ M 2 ( q ) F m , n 0 ( k ) ( i - 1 ) ( k ) .P c r ( k ) = χ M 2 ( q ) c 0 ( k ) , r 2 , h ̂ ( i - 1 ) ; c 1 ( k ) Γ ( i - 1 ) ( q ) = k = 1 K + K p m = 0 M 1 - 1 F m , n 0 ( k ) ( i - 1 ) ( k ) .P c r ( k ) = χ M 2 q + M 2 ( m + n 0 ) M 1 c 0 ( k ) = χ M 1 ( m ) , r 2 , h ̂ ( i - 1 ) ; c 1 ( k )
where n0(k) is the integer that satisfies the relation c 1 ( k ) = χ M 1 ( n 0 ( k ) ) , and F m , n 0 ( k ) ( i - 1 ) ( k ) is a short-hand notation for the a posteriori probability of the symbol c0(k) based on the estimate h ̂ ( i - 1 ) , i.e.,
F m , n ( i - 1 ) ( k ) = P c 0 ( k ) = χ M 1 ( m ) r 0 , r 2 , h ̂ ( i - 1 ) ; c 1 ( k ) = χ M 1 ( n )

These a posteriori probabilities are provided by the channel decoder at T1.

The code-aided EM algorithm is initialized using pilot-based estimates of ĥ 0 , ĥ 2 , and t ̂ , denoted as ĥ 0 p , ĥ 2 p , and t ̂ p , respectively, so that ĥ 0 ( 0 ) = ĥ 0 p , ĥ 2 ( 0 ) = ĥ 2 p , and t ̂ ( 0 ) = t ̂ p . These pilot-based estimates are also obtained using the EM algorithm, where only the symbols transmitted by the relay are considered to be nuisance parameters. Denoting the part of the vectors c0, c1, r0, and r2 that corresponds to the pilot symbol positions as c0p, c1p, r0p, and r2p, respectively, the pilot-based estimates in the i-th EM iteration are given by
ĥ 0 p = r 0 p c 0 p H K p E 0 ĥ 2 p ( i ) = r 2 p u rp ( i - 1 ) H K p E r t ̂ p ( i ) ( q ) = Γ p ( i - 1 ) ( q ) q ~ = 0 M 2 - 1 Γ p ( i - 1 ) ( q ~ ) ,
with
u rp ( i - 1 ) ( k ) = q = 0 M 2 - 1 χ M 2 ( q ) P c rp ( k ) = χ M 2 ( q ) r 2 p , h 2 p ̂ ( i - 1 ) , Γ p ̂ ( i - 1 ) ; c 0 p ( k ) , c 1 p ( k ) Γ p ( i - 1 ) ( q ) = k = 1 K p P c rp k = χ M 2 q + M 2 m 0 p + n 0 p M 1 r 2 p , h 2 p ̂ ( i - 1 ) , Γ p ̂ ( i - 1 ) ; c 0 p ( k ) , c 1 p ( k )

where m0p(k) and n0p(k) are the integers that satisfy the relation c 0 p ( k ) = χ M 1 ( m 0 p ( k ) ) and c 1 p ( k ) = χ M 1 ( n 0 p ( k ) ) , respectively. The initial conditions for the pilot-based EM algorithm are set to h 2 p ( 0 ) = 1 and Γ p ( 0 ) ( q ) = 1 / M 2 , q .

Declarations

Acknowledgements

The authors wish to acknowledge the Agency for Innovation by Science and Technology Flanders (IWT) that motivated this work. This research has been funded by the Interuniversity Attraction Poles Programme initiated by the Belgian Science Policy Office.

Authors’ Affiliations

(1)
Department of Telecommunications and Information Processing (TELIN, UGent)

References

  1. Sklar B: Rayleigh fading channels in mobile digital communication systems part I: characterization. IEEE Commun. Mag 1997, 35(7):90-100. 10.1109/35.601747View ArticleGoogle Scholar
  2. Cover TM, Thomas JA: Elements of Information Theory. Wiley, New York; 1991.View ArticleMATHGoogle Scholar
  3. Sendonaris A, Erkip E, Aazhang B: User cooperation diversity - part I: system description. IEEE Trans. Commun 2003, 51(11):1927-1938. 10.1109/TCOMM.2003.818096View ArticleGoogle Scholar
  4. Cover TM: A El Gamal, Capacity theorems for the relay channel. IEEE Trans. Inf. Theory 1979, 25(5):572-584. 10.1109/TIT.1979.1056084MathSciNetView ArticleMATHGoogle Scholar
  5. El Gamal A, Mohseni M, Zahedi S: Bounds on capacity and minimum energy-per-bit for AWGN relay channels. IEEE Trans. Inf. Theory 2006, 52(4):1545-1561.MathSciNetView ArticleMATHGoogle Scholar
  6. Laneman JN: Ph.D. thesis, Cooperative diversity in wireless networks: algorithms and architectures. Massachusetts Institute of Technology 2002.Google Scholar
  7. Larsson P, Johansson N, Sunell K: Coded bi-directional relaying. IEEE Vehic. Technol. Conf. (VTC 2oo6-Spring) 2006, 2: 851-855.Google Scholar
  8. Popovski P, Yomo H: Physical network coding in two-way wireless relay channels. In Proc. IEEE ICC. Glasgow; 2007.Google Scholar
  9. Rankov B, Wittneben A: Spectral efficient protocols for half-duplex fading relay channels. IEEE J. Sel. Areas Commun 2007, 25: 379-389.View ArticleGoogle Scholar
  10. Bagheri S, Verde F, Darsena D, Scaglione A: Randomized decode-and-forward strategies for two-way relay networks. IEEE Trans. Wireless Commun 2011, 10(12):4214-4225.View ArticleGoogle Scholar
  11. Zhong P, Vu M: Compress-forward without Wyner-Ziv binning for the one-way and two-Way relay channels,. In Proc. Allerton Conference on Communication, Control, Computing and Urbana-Champaign,. IL, USA; Sep. 2011:426-433.Google Scholar
  12. Legnain RM, Hafez RHM, Marand ID, Legnain AM: Two-way quantize-and-forward relaying with STBC,. In Proc. IEEE Canadian Conference on Electrical & Computer Engineering (CCECE),. Montreal, Canada; 2012:1-5.Google Scholar
  13. Heindlmaier M, Iscan O, Rosanka C: Scalar quantize-and-forward for symmetric half-duplex two-way relay channels,. In Proc. IEEE International Symposium on Information Theory (ISIT),. Istanbul, Turkey; 2013:1322-1326.Google Scholar
  14. Souryal M, You H: Quantize-and-forward relaying with M-ary phase shift keying. IEEE Wireless Commun. Netw. Conf 2008, 42-47. doi:10.1109/WCNC.2008.13Google Scholar
  15. Avram I, Aerts N, Duyck D, Moeneclaey M: A novel quantize-and-forward cooperative system: channel estimation and m-psk detection performance. EURASIP J. Wireless Commun. Netw. Article ID 415438 2010, 11.Google Scholar
  16. Avram I, Aerts N, Bruneel H, Moeneclaey M: Quantize and forward cooperative communication: channel parameter estimation. IEEE Trans. Wireless Commun 2012, 11(3):1167-1179.View ArticleGoogle Scholar
  17. Lin S, Costello D: Error Control Coding. Pearson Education Inc.; 2004.MATHGoogle Scholar
  18. Noels N, Herzet C, Dejonghe A, Lottici V, Steendam H, Moeneclaey M, Luise M, Vandendorpe L: Turbo-synchronization: an EM algorithm approach,. In Proc. IEEE ICC,. Anchorage; 2003.Google Scholar

Copyright

© Avram et al.; licensee Springer. 2014

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.