In this paper, we investigate a robust joint precoder-decoder design scheme for a multiple-input multiple-output physical layer network coding (PNC)-based two-way relay system. An orthogonal training sequence is used to estimate the channels. The estimate is imperfect, and a robust design is proposed to find precoders at the source nodes and decoder at the relay node to facilitate PNC operations during multiple-access stage. Both channel estimation error and antenna correlations are used to formulate the optimization problem to minimize the weighted mean square error (WMSE) under a total power constraint. The problem becomes non-convex, and we propose an algorithm to solve it optimally. During the broadcast stage, an algorithm is proposed to find a precoder at the relay node and decoders at source nodes. The system performance is evaluated with estimation error and antenna correlation parameters. The effect of weighting parameters, relay location, and number of antennas at nodes are also considered in the numerical analysis. Numerical results confirm that our joint precoder-decoder algorithms provide the optimal solution to the minimization of WMSE with the total available power.
Cooperative relay communication is introduced to improve the throughput, extend the coverage area, and reduce the energy consumption at the transmitter in wireless communication systems. Relaying information through several hops reduces the need to use large power at the transmitter, which in turn results in a lower level of interference . However, even with these advantages, the relay alone has a disadvantage, which is due to half-duplex signaling, i.e., the node cannot transmit and receive signals simultaneously without complicated interference canceling techniques. This reduces the spectral efficiency to a considerable degree.
A significant amount of research effort has been focused on this weakness, and new methods are proposed to overcome the problem. In [2, 3], various system models have been studied to provide solutions on this drawback, and more suitable schemes are considered in [4, 5] with network coding. The authors in  proposed a two-way relaying scheme to avoid this problem which requires only two time slots to exchange information between two source nodes as opposed to four in a traditional relaying scheme. In these two-way relaying systems, the first time slot is known as the multiple access (MA) stage, where both source nodes transmit to the relay at the same time. The second time slot is the broadcasting (BC) stage, where the relay broadcasts the message. Different signal processing methods can be used at the relay node. The most common approach is to employ the amplify-forward (AF) technique at the relay. Recently, new approaches have been investigated using physical layer network coding (PNC) [5, 7–9]. The PNC treats interference as useful information. Therefore, PNC improves the capacity of the system and overcomes the shortcomings mentioned earlier in the use of relays. In [7, 9], the authors performed exclusive-or (XOR) operation at the relay and transmitted a modulated signal version of that during the second time slot. Another approach was used in , where the relay estimates the sum of two transmitted messages and forwards it during the next time slot. This is less complex and valid for most modulation schemes, and the carrier phase offset between the signals will not affect the performance. Further studies on PNC-based relaying are discussed in [5, 9, 10], and it is found that PNC results in rate improvements of wireless relay systems. Multiple-input multiple-output (MIMO) communication is another spectrally efficient technique that can be used to improve the wireless system performance. MIMO systems have significant performance enhancements over the single-input single-output counterpart , and they also provide higher spectral efficiency in the presence of multi-path fading channels [12–14].
Both MIMO and PNC are considered together in some recent research efforts and are identified as potential capacity enhancement techniques for future wireless systems. In most of these studies, it is required to find a relation between two transmitted signals to perform PNC mapping at the relay node. Even though the PNC mapping is well established for single antenna scenarios, there are no such models to handle MIMO PNC mapping. The authors in [15–18] have used MIMO two-way relaying schemes and discussed the detection mechanisms and performances of such systems. Most of these need complex processing at the relay to estimate the XOR of two received signal vectors. A precoder before transmission is proposed in , and that reduces the complexity of the receiver at the relay node. The MIMO two-way relaying system can then be shown to produce spatial multiplexing streams; hence, the PNC operation at the relay becomes less complex. In , power allocation is considered with zero-forcing precoders at the source nodes to reduce the complexity of PNC operation at the relay node.
Moreover, a joint precoder-decoder design can be thought of as an effective way to reduce the inter-data-stream interference that lowers the complexity of the PNC operation further by placing signal processing capabilities at both transmitters and the receiver. Previous studies on AF two-way relaying suggest that the joint precoder and decoder design can achieve more effective capacity enhancements and decoding performances [20–22]. The focus is mainly on minimizing the weighted mean square error (WMSE) in an AF two-way relay system. In PNC-based two-way relaying systems, the summation of the transmitted signal vectors is needed to map it to either of the XOR version or to transmit the estimated summation. Therefore, MSE is a good measure to design precoders and decoders in PNC-based two-way relaying.
In most of these related cases, channel state information (CSI) is assumed to be known perfectly in all nodes[19, 21–23]. Precoder design at nodes with ideal channel information is not a practical scenario in general. Channel estimation has errors, and it will affect the system performance in a significant manner. Several research studies are carried out by considering various models of imperfect CSI and their impact on the performance of wireless systems. In [24, 25], the authors considered an imperfect CSI model with estimation errors in channel parameters, and they used a training sequence to estimate the channel. In [25–27], transceiver designs for AF MIMO relaying systems are discussed based on this imperfect CSI model. The authors in  studied the impact of imperfect CSI in a two-way relaying system. However, their work is limited to a single antenna with expressions for bit error rate (BER) of BPSK scheme. Another imperfect CSI model is discussed in [29–31] for a scenario where the channel parameters are estimated at the receiver and fed to the information to the transmitter and relay node. This can cause feedback delays, and the main concern is the difference between the actual CSI and the outdated CSI. However, the feedback delay of CSI estimates has a similar model as for the imperfect estimation. In all these models, consideration of imperfect CSI is very important since focusing only on the perfect information is not sufficient for practical implementations. Having been motivated with these facts, we concentrate our research on robust precoder and decoder designs for MIMO PNC two-way relay system. We also consider the correlation among antennas, which is practical to be assumed in modern compact devices which have sophisticated features. The proposed system design is compared with other alternatives. Similar studies are not considered in the open literature, to the best of our knowledge.
In this paper, our main focus is to design robust precoders and decoders for source and relay nodes to minimize the WMSE. A channel estimation method is proposed for two-way relaying systems using already-known orthogonal sequence transmission techniques. Errors in the estimation are illustrated, and those are considered in the joint precoder-decoder design problems. Both MA and BC stages are considered in the design of precoders and decoders. Unfortunately, WMSE-based optimization problems become non-convex, and we present methods of solving those by suitable reformulation. Different scenarios are investigated to find the impact of the estimation error, antenna correlation, weighting parameters, relay location, and number of antennas to the design. Performance differences are highlighted, comparing joint precoder-decoder designs with other possibilities.
The rest of the paper is organized as follows. In Section 2, we describe the system model, channel estimation, and the basic problem formulation. In Section 3, we study the optimum design for precoders and the decoder, and Section 4 gives the numerical results. Finally, conclusions are given in Section 5.
Notations: denotes an m×n matrix with elements in the complex field. Capital bold letters represent matrices, simple bold letters represent vectors, and simple letters represent scalar variables. Tr(·), (·)−1, (·)T, (·)∗, and (·)H indicate trace, inverse, transpose, conjugate, and hermitian of a matrix, respectively. and ℜ(z) denote the expectation of a random variable and real part of z. vec(·) gives matrix vectorization operator, and ⊗ represents the Kronecker operator. denotes a complex Gaussian random variable with mean x and variance y. A similar notation with mean vector and covariance matrix is valid when the variable is a vector.
2 System model and problem formulation
A basic two-way communication system model is considered as shown in Figure 1. The system operates in the time division duplex mode. Source 1 and source 2 are required to exchange data between themselves with the assistance of a relay node. All three nodes have N antennas. The relay is located at a normalized distance d from source 1. Source 1-to-relay and source 2-to-relay transmissions undergo Rayleigh fading with and , respectively. Entries of H1 are assumed to be approximately , and entries of H2 are assumed to be approximately , where α is the path loss exponent and d is the normalized distance. The distance between any node to the midpoint of two nodes is considered as the reference distance.
We consider as the antenna correlation matrix at source i(=1,2), and is the antenna correlation matrix at the relay node. We consider these matrices to be symmetric. We denote and to be the channel matrices from source 1-to-relay and source 2-to-relay. During the BC stage, channel matrices are denoted as and .
During the MA stage, the source nodes transmit their signals and the summation of two signals are received at the relay node. The relay node estimates the sum of the two signals, which is the general scheme of PNC mapping . However, a problem arises due to channel fading. With fading, the estimation at the relay node becomes exceedingly complex. Therefore, we consider designing precoders at the source nodes and a decoder at the relay node to overcome this problem. Source nodes use precoders and before their transmissions. The relay node receives both signals at the same time and uses the decoder prior to performing any PNC operation as in  to estimate the XOR or the summation of two transmitted symbol vectors.
Next, we consider the BC stage of two-way communication. The relay node retransmits the estimated summation during this stage. The source nodes estimate the summation at their nodes and find the respective symbol transmitted by the other node with the help of its own symbol. Here, we consider the precoder at the relay node and decoders at the source nodes. The relay uses the precoder . Both sources 1 and 2 use decoders and , and each reconstructs the required symbol with the help of their own information. All nodes dynamically adjust their precoder and decoder matrices with the channel information.
Both stages require CSI knowledge to design the precoders and the decoder, and the following procedure is used to estimate channels prior to their data transmission.
2.1 Channel estimation
We assume channel reciprocity and a quasi-static channel environment. The relay transmits an orthogonal sequence to estimate channels at the end of the BC time slot. Both source nodes receive this signal, and they find optimum precoder and decoder matrices. The source nodes then send optimum G and Fr to the relay node via dedicated feedback link. We assume that the channel estimation and relay feedback time durations are very small compared to the channel coherence time. Once the two-way relaying system is established with optimum precoders and decoders, the source nodes transmit data that are required to exchange between them. Antenna correlations are also assumed to be known.
The relay broadcasts Xt training sequence, where Xt is an N×N matrix. The received signal at source 1 is given by the following:
where N1 is an N×N matrix with entries independent and identically distributed (i.i.d.) . As commonly used in orthogonal sequence channel estimation , we use , where X is a unitary N×N matrix with multiplication factor with the relay transmit power Pt. Source 1 pre-multiplies the received signal matrix by and post-multiplies it by X−1. Therefore, the received channel matrix is given by the following:
where is an N×N matrix with entries i.i.d. and . The minimum MSE (MMSE) criterion is used to obtain the channel estimate from . The MMSE estimate is presented as follows:
The estimation error can be obtained  as , where E1 is an N×N matrix with entries i.i.d. . Therefore, the channel matrix now consists of MMSE estimation and the estimation error part as
A similar result is valid for the estimation of , and it is given by , where E2 is an N×N matrix with entries i.i.d and .
Since we assume the channel reciprocity, using (3) and (4), we can write the source-to-relay channels Hmi as follows:
Correlation matrices are symmetric, and for simplicity, we denote and , where these represent each channel matrix with a mean part and an estimation error part. We use these estimated channels to design precoders and decoder.
2.2 Physical layer network coding
During data transmission, modulated symbol vectors are fed into sources 1 and 2, with each given as x1=(x11, x12, x13,…,x1N)T and x2=(x21, x22, x23,…,x2N)T, where and (i=1,2). The relay node estimates the summation of modulated signals (x1+x2) and transmits it during the next time slot. This is more general and a valid PNC scheme for any modulation alphabet. For simple modulation schemes like QPSK, this summation of two signals can be mapped to XOR of two transmitted unmodulated information . During the next time slot, the modulated symbol of XOR version will then be transmitted. In summary, we can carry out PNC for any case if we design the precoders and decoders to minimize the MSE between received signal and summation of modulated signals.
During the first time slot, the received signal vector at the relay is given by the following:
where . The relay node estimates the x1+x2, and this leads us to consider N number of separate spatial streams. Therefore, the received signal at i th stream yi can be used to obtain an estimate corresponding to x1i+x2i. This scheme reduces the complexity of the PNC mapping at the relay . We denote the estimation of x1i+x2i as x3i, and x3i broadcasts to other nodes during the next time slot.
During the second time slot, the received signal vector at the source 1 is given as follows:
where x3=(x31, x32, x33,…,x3N)T and . Similarly, received signal vector at the source 2 is given as follows:
where . A source node estimates x3 and filter out its transmitted symbol. This gives the desired symbol, which is transmitted by the other source node. Here, the PNC operation can be considered independently at each relay antenna. In the case of nodes with different number of antennas, the maximum number of independent flows is limited to the minimum number of antennas at all nodes. The PNC operation is then considered in a similar manner as for the case where there are equal number of antennas at the nodes.
Accuracy of the PNC mapping is dependent on the estimated summation of two symbols. Therefore, it is evident that the optimum joint design is required to have accurate estimation process. Problem formulation and the solving method for designing optimum precoders and decoders are described in the next sections of the paper.
2.3 Problem formulation
As two-way communications have two phases, we can consider the analysis separately for both phases. For each phase, the total power can be limited, which can occur in many practical scenarios. Therefore, we consider Pt as the maximum total transmitted power available in each time slot. A similar problem formulation and solving procedure is valid for individual power constraints of nodes.
2.3.1 Multiple-access stage
In this stage, both source nodes transmit to relay, and the transmitted powers of source nodes should satisfy the following constraint:
The received signal (6) during the MA stage is used to estimate x1+x2. The estimation error vector em can be defined as follows:
Data streams may need different quality of service (QoS). We facilitate this by introducing weights for different streams. A diagonal N×N positive definite weight matrix W is used for that purpose. We express WMSE at the MA stage as follows:
where is given by the following:
We use , , , , and to obtain (12).
We need to minimize WMSEm during the MA stage subject to the total power constraint to find optimum precoders and decoders. However, for given channel instances of Hm 1 and Hm 2, the estimation error becomes a random variable. We have to consider this channel estimation error with WMSEm. The error has a Gaussian distribution, and we focus on the expected value of WMSEm, given as follows:
Channel estimates in (5) consist of the MMSE value and the error part as for i=1,2. Therefore, expanding (13) into the following:
since (14) reduces to the following:
Moreover, we can expand the following term with the expectation as follows:
where we use and Next, we use relationships between trace and vectors to simplify (16) into the following:
We know that and using the relation Tr((Qi⊗Pi))=Tr(Qi)Tr(Pi), we can find the following expression for (15):
Next, we formulate the optimization problem to minimize expected value of WMSEm under a limited available transmit power at source nodes as presented in Problem 1:
This is a non-convex optimization problem. In Section 3, we propose an algorithm to solve this optimally.
2.3.2 Broadcasting stage
Estimated x1+x2, i.e., x3 broadcasts during this time slot. Relay uses Fr precoder and transmits x3 to both source nodes. Sources 1 and 2 now have G1 and G2 decoders, respectively. At source i (=1,2), it estimates x3 and uses that to find desired symbol.
Similar to the MA stage, the joint design is considered to minimize the WMSE of received signals. We considered all nodes to satisfy a total power constraint for their transmission. Therefore, during the BC stage, transmit power at the relay node should satisfy the following constraint:
This constraint becomes PT/2 because is now equal to 2IN; ebi is the estimation error vector at i th source. It is given as follows:
We use the similar weights for different streams as in multiple-access analysis. WMSE at source i is denoted as WMSEi and is given by the following:
Hbi has an error component. Therefore, the expected value of WMSEi is considered in the optimum precoder-decoder design. A similar procedure as in the MA stage is valid to find the expected value of WMSEi. We find WMSEi as follows:
where and .
Both source nodes are trying to minimize expected values of the WMSE1 and WMSE2 during the BC stage. We are not considering a greedy approach, i.e., every node is trying to minimize its own WMSE component. Equal proportions of WMSE are considered to find optimum precoder and decoders. Therefore, we consider the sum of two components, and the problem is formulated in Problem 2
This problem is a non-convex problem, and we propose solutions in the next section.
3 Optimum joint designs
Here, we propose optimum algorithms to solve the non-convex optimization Problems 1 and 2. We can prove that both problems have global minimums (Appendix), and we can achieve those in our proposed algorithms.
3.1 Optimum precoder-decoder design for MA stage
Here, we propose an algorithm to solve Problem 1 by dividing it into two sub-problems. Mainly, we can find two different sets of variables in this problem. Precoders can be categorized into one set of variables and the decoder into the other. With these observations, we proceed with the following method.
First, we consider precoders F1 and F2 to be fixed. We find G to minimize expected value of WMSEm. Next, we consider G to be fixed and F1 and F2 to be variables. These are identified as the two sub-problems of the original problem. The solutions of these two sub-problems are used in the next iteration. The problem is solved iteratively until G, F1, and F2 converge to become fixed matrices.
3.1.1 Sub-problem 1A
We consider F1 and F2 as fixed. Therefore, the problem is reduced to the following form:
The power constraint is independent of G. Therefore, we take derivative of the objective function and make that equal to zero. The solution for G is the optimum one during that iteration and is given as a function of F1, F2, and other parameters:
We considered complex-valued matrix function differentiation as in  to obtain the results.
3.1.2 Sub-problem 1B
We consider a similar problem as in (19) and keep G as fixed. Therefore, we have two variables, F1 and F2. Optimization problem can be reformulated as follows:
A variable transformation is considered before solving this problem. We define new matrix variables as F=(F10N×N ; 0N×NF2). We also define the following matrices A and C to simplify the other parameters, where and
The reformulated optimization problem is then given as follows:
where AHA is a positive semi-definite matrix. This is convex and is known as the quadrature matrix programming problem. We transpose this into a quadratically constrained quadratic programming (QCQP) problem which is given by the following:
where z=vec(F) and cm=Tr(2W+σ2WGGH). This can be easily solved with QCQP solvers, which ultimately give optimum matrices of F1 and F2 in that iteration. In the numerical analysis, we used interior point method to solve this sub-problem.
We solve Problem 1 using the two sub-problems mentioned. First, we start by fixing F1 and F2, giving initial values. Next, we solve sub-problem 1A to find the optimum G. We then use G to solve sub-problem 1B, which gives F1 and F2. These F1 and F2 will be used again to solve the sub-problem 1A, which updates the optimum G. We solve iteratively until the problem gives convergent solutions. The final algorithm is given as follows:
Algorithm 1 Algorithm for solving Problem 1
The proposed algorithm converges rapidly with a small number of iterations. Initialization point does not have any effect on the final convergence point. We find that this always reaches the global optimum.
3.2 Optimum precoder-decoder design for BC stage
During the BC stage, the requirement is that source nodes should find decoders and the relay node should find the precoder. Those can be found by solving Problem 2. Similar to the previous stage, we can use an iterative algorithm to find the optimum design. First, we consider the fixed Fr matrix, and find G1 and G2. Next, we fix G1 and G2 and find Fr. These can be identified as two sub-problems of the original Problem 2.
3.2.1 Sub-problem 2A
We consider Fr as fixed, and Problem 2 reduces to the following:
The power constraint is independent of G1 and G2. Therefore, we can derive the objective function with G1 and G2 and make those equal to zero. Solutions are given as follows:
3.2.2 Sub-problem 2B
In here, we consider G1 and G2 as fixed. Therefore, we have one variable Fr. The second sub-problem can be found as follows:
We can transform this problem into QCQP, which is given by the following:
where z=vec(Fr), , , , and . This is a convex problem and can be solved with any QCQP solver. We used interior point method to solve this in our numerical analysis. Finally, Problem 2 can be solved with the following algorithm.
Algorithm 2 Algorithm for solving Problem 2
The proposed algorithm converges with a small number of iterations, and initial point does not have any effect on the final solution. As we explain in the Appendix, this reaches global optimum.
We use these two algorithms to find precoders and decoders in both MA and BC stages. These precoder and decoder matrices are dependent on the instantaneous channel information, and nodes dynamically adjust according to the CSI.
4 Numerical results
We use proposed algorithms to design precoders and decoders and to identify effects of channel estimation error, correlation coefficients, relay location, and weight parameters on error probability. Rayleigh fading channels are considered, and relay location is normalized from the source 1-to-relay distance. Numerical simulations are also assume that the transmitted symbols be uniformly distributed with unit magnitude. During the MA stage, the relay receiver estimates the summation of symbols. During the BC stage, source nodes estimate the broadcast symbol by the relay node (estimated sum of two symbols). We have considered WMSE minimization problems at both MA and BC stages. Therefore, we focus on the error analysis after a complete cycle. Antenna correlation of source 1 is defined by , where ρS 1 is the correlation coefficient. A similar definition is used for R2 and Rr with correlation coefficients ρS 2 and ρR, respectively.
Figure 2 shows the average BER (ABER) performance with the transmit signal-to-noise ratio (SNR) (γ) of a modulated symbol. Performance metric ABER considers average error rates at both source nodes after a complete cycle. The weighting matrix is considered as , the relay is located at midpoint (d = 1), the number of antennas is N=2, convergence constant ε=0.0001, and the total transmit power Pt is selected such that PT/σ2=8γ. We consider both perfect and imperfect channel estimation scenarios with different relay correlation coefficients ρR. Here, the estimation error part Emi of channel estimation is considered as in (5), and the error variance is used to quantify the contribution of the error. The error variance is obtained with . In the simulations, we change to vary the . As seen in the Figure 2, the joint precoder-decoder design with the perfect channel knowledge performs better than the rest. When the estimation error increases, the performance reduces. This figure also shows the relay antenna correlation effect on the average BER. The joint design for the perfect channels is highly sensitive to antenna correlation of the relay. When the estimation error becomes higher, the antenna correlation has less effect, which can be seen from the case having . is considered as 21.2 and 20.2 dB for cases ρR=0.5 and ρR=0.2, respectively. Here, the difference in the error performance is very small. Similarly, Figure 3 presents the case when all nodes have antenna correlation. It is clear that when all nodes have some amount of correlation, the performances become degraded. A significant variance is visible with a small channel estimation error (or perfect estimation).
Next, we consider two other design schemes to compare the benefits of the proposed scheme. The first scheme considers signal processing at the source nodes during both MA and BC stages. During the MA stage, the optimum precoder design is considered to minimize WMSE at the source nodes. Here, the decoder is not taken into account. Similarly, at the BC stage, the decoder design is considered to minimize WMSE, where the precoder at the relay is not considered. The second scheme is the opposite of the first scheme. During the MA stage, the decoder design is considered at the relay node. During the BC stage, only the precoder design is considered. These two schemes are useful to find how beneficial the joint design is compared to other possible designs. Figure 4 shows the ABER variation of these three schemes with the transmit SNR. We consider , N=2, ε=0.0001, PT/σ2=8γ, and d=1. It shows that the joint design scheme performs better than the rest. In the low SNR region, the first design scheme gives a small variation in ABER performance, whereas when SNR increases, the joint design has a significant performance improvement. This difference is reduced when the error variance becomes high.
In Figure 5, we considered the ABER variation with normalized distance d. We consider error rates of bidirectional transmissions and also their corresponding average. We consider N=2, ε=0.0001, γ=4 dB, and PT/σ2=32 dB. It can be seen that the joint design performs better than the rest for all relay locations. However, when the relay is near one source, the precoder design also gives better results.
We consider different weight parameters to observe their effect on MSE. Figure 6 shows the average MSE (AMSE) of the received signal at the first antenna of the relay (during MA stage) with the transmit SNR. We consider each node to have two antennas N=2, ε=0.0001, and the total transmit power PT/σ2=8γ. Antenna correlation is not considered; it focuses only on the channel estimation errors. Two data streams are considered with three possible weight values (0.25,0.50,0.75) for stream 1. AMSE reduces with the transmit SNR for every weight scenario. Also, when the weight parameter is higher, it further reduces the AMSE. This is therefore suitable to provide specific QoS requirements for multiple streams. Figure 7 shows a similar numerical analysis for the BC stage. The received signal at source 2 is used to find AMSE. In addition to the previous case, we assume the antenna correlation at the nodes, and it can be seen that the correlation has less impact on the performance compared to channel estimation errors.
Figure 8 shows the average number of iterations required for Algorithms 1 and 2 to converge with the number of antennas. We use , γ=4 dB, σ1=σ2=0.02, ρS 1=ρS 2=ρR=0.5, ε=0.0001 and PT/σ2=4Nγ. When the system has a higher number of antennas, more iterations are needed for Algorithm 1. These are realistic numbers, which can be used in practice with large MIMO systems. Algorithm 2 converges with a fewer number of iterations, and the variation with the initial point is extremely low.
We proposed a robust joint precoder-decoder design scheme for the PNC-based MIMO two-way relaying system when the perfect CSI is not available. In this design, minimizing weighted MSE problems are considered at both MA and BC stages. In the MA stage, PNC mapping is considered at the relay node. During the BC stage, joint design was needed to assist the decoding of the sum of two symbols at source nodes. The joint design problems became non-convex, and we divided those into sub-problems and solved them iteratively. Numerical results are presented by considering the BER performance, MSEwith different weight matrices, relay location, and the number of antennas. Our research demonstrated that the joint precoder-decoder design performs better than the other schemes. The weight matrix can be used to provide QoS requirements of multiple data streams in MIMO two-way channels. The midpoint is seen to be the best location for the relay node to assist two-way communication. The proposed algorithm converges in a fewer iterations, and the number of iterations increases slowly with the number of antennas. These findings can help to have less complex PNC operation, improve the error performances, and mitigate the half-duplex issue of cooperative relays.
5.1 Existence of a global solution
5.1.1 Problem 1
As in , p. 133, Sec. 4.1.3), an optimization problem with several variables can always be minimized by initially minimizing some of the variables and then minimizing the remaining ones. Therefore, the optimization problem given in (19) can be reformulated as follows:
where G=G[F1,F2] is a function of F1 and F2. Inner optimization in problem (36) has no constraints, and the solution for G[F1,F2] is given as follows:
Then, we can replace G with that, and the final objective function becomes variables of F1 and F2:
We can see that the feasible set of the optimization problem (38) is closed and bounded as in , p. 30, Sec. 2.2.3). Since this is closed and bounded, the feasible set is compact according to (, p. 653, A.6 (g)). Additionally, the objective function (39) is continuous at all points of the feasible set. Therefore, according to the theorem in (, p. 654, A.8), there exists a global minimum for the problem (38). Finally, we can conclude that in (, p. 130, Sec. 4.1.3), there exists a global minimum for the original problem.
5.1.2 Problem 2
A similar procedure is valid to show the existence of a global minimum for Problem 2. However, for the sake of completeness, we describe it as given in this section. Optimization problem in (24) can be reformulated as follows (, p. 133, Sec. 4.1.3):
where both G1=G1[Fr], and G2=G2[Fr] are functions of variable Fr. Inner optimization problem has two parts, which are independent with Fr which is fixed. Also, the problem has no constraints. Therefore, the problem can be solved by taking derivatives and making those equal to zero.
Next, we can replace G1[Fr] and G2[Fr] with above-mentioned solutions to find the following optimization problem:
Similar to the previous case, we can see that the feasible set of optimization problem (42) is closed and bounded as in (, p. 30, Sec. 2.2.3), and it becomes compact according to (, p. 653, A.6 (g)). The objective function (43) is continuous at all points of the feasible set. Therefore, according to the theorem (, p. 654, A.8), there exists a global minimum for the problem (42). Finally, we can conclude that by (, p. 130, Sec. 4.1.3), there exists a global minimum for the original problem.
Laneman JN, Wornell GW: Energy-efficient antenna sharing and relaying for wireless networks. Proc. IEEE, Wireless Commun. Networ. Confe 2000, 1: 7-12.
Scutari G, Barbarossa S, Ludovici D: Cooperation diversity in multihop wireless networks using opportunistic driven multiple access. In Proceedings of 4th IEEE Workshop on Signal Processing Advances in Wireless Communications SPAWC 2003 Rome. Piscataway: IEEE; 2003:170-174.
Zhang S, Liew SC, Lam PP: Hot topic: physical-layer network coding. In Proceedings of the 12th Annual International Conference on Mobile Computing and Networking (MobiCom ’06). New York: ACM; 2006:365-365.
Zhang S, Liew SC, Lu L: Physical layer network coding schemes over finite and infinite fields. In Proceedings of IEEE Global Telecommunications Conference (GLOBECOM), Los Angeles. Piscataway: IEEE; 2008:1-6.
Xu S, Hua Y: Source-relay optimization for a two-way MIMO relay system. In Proceedings of IEEE International Conference on Acoustics Speech and Signal Processing (ICASSP), Texas. Piscataway: IEEE; 2010:3038-3041.
Kim S, Chun J: Network coding with linear MIMO pre-equalizer using modulo in two-way channel. In Proceedings of IEEE Wireless Communications and Networking Conference (WCNC), Las Vegas. Piscataway: IEEE; 2008:517-521.
Jayasinghe LKS, Rajatheva N, Latva-aho M: Energy efficient MIMO two-way relay system with physical layer network coding. In Proceedings of IEEE Wireless Communications and Networking Conference (WCNC), Paris. Piscataway: IEEE; 2012:1-5.
Suraweera HA, Tsiftsis TA, Karagiannidis GK, Faulkner M: Effect of feedback delay on downlink amplify-and-forward relaying with beamforming. In Proceedings of IEEE GLOBECOM 2009 Hawaii. Piscataway: IEEE; 2009:1-6.
The authors would like to acknowledge the support of the European Commission by partially funding this work, under project FP7-ICT-2009-4-247733-EARTH, Finnish Funding Agency for Technology and Innovation (Tekes), Renesas Mobile, Nokia Siemens Networks, Elektrobit.
Authors and Affiliations
Centre for Wireless Communications (CWC), Department of Communications Engineering, University of Oulu, Oulu, 90570, Finland
Laddu Keeth Saliya Jayasinghe, Nandana Rajatheva & Matti Latva-Aho
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.