Home Performance Analysis for Analog Network Coding with Imperfect CSI in FDD Two Way Channels
Article Publicly Available

Performance Analysis for Analog Network Coding with Imperfect CSI in FDD Two Way Channels

  • Xidan Peng EMAIL logo and Xiangyang Li
Published/Copyright: August 25, 2015
Become an author with De Gruyter Brill

Abstract

A time-division duplex (TDD) two-way channel exploits reciprocity to estimate the forward channel gain from the reverse link. Many previous works explore outage probabilities in the TDD system, based on the reciprocity property. However, a frequency-division duplex (FDD) system has no reciprocity property. In this letter, we investigate the impact of CSI estimation error on the performance of non-orthogonal and orthogonal analog network coding protocols in an FDD two-way system, where channel gains are independent of each other. Considering imperfect CSI, the closed-form expressions of outage probabilities by two protocols are derived in the high signal-to-noise ratio (SNR) regime, respectively. It is shown that the derived outage probabilities match results of Monte Carlo simulations in different communication scenarios. It is interesting that ANC in the FDD two-way channel is proved to outperform that in the TDD channel by the computer simulation.

1 Introduction

Cooperative relaying has been shown to be a practical technique to enhance the communication range of wireless networks. In some practical scenarios where data flows in both directions, a relay improves the performance of both transmission directions simultaneously. This pragmatic approach has been modeled as a two-way relay channel, and has recently attracted significant interests. Of particular interest is an analog network coding (ANC) protocol for this channel, which is a well-known amplify-and-forward (AF)-based two-way relaying protocol[1,2] However, there works assume that receivers have the perfect knowledge of channel state information (CSI). With the impact of system noise and imperfect channel estimation algorithms, receivers hardly have the perfect knowledge of CSI. Therefore, performance analysis that take into account such CSI uncertainties play an important role in the design of practical systems.

Very recently, some related works on ANC have taken into consideration the impact of imperfect CSI[35]. These works consider a time division duplexing (TDD) system, where any given node exploits reciprocity to estimate the forward channel gain from the reverse link. This condition can’t be met in the FDD system since all channel gains are independent of each other. Thereby results of TDD systems in [3-5] aren’t generated to FDD systems either due to more random variables. To the best of our knowledge, a performance analysis in term of outage probability in the FDD two way channel is still an open issue.

In this letter, we investigate the outage performance for ANC with imperfect CSI in the two way channel with FDD. Approximating expressions of outage probabilities for non-orthogonal and orthogonal ANC are derived in the high SNR regime. It is validated that Monte Carlo simulation results are in agreement with the derived outage probabilities.

2 System Model

In this letter, we consider an FDD two-way system with two sources S1, S2and a relay R. Sources S1and S2desire to exchange their information with the help of relay R. We assume that all terminals are equipped with a single antenna and operate in a half-duplex mode. Suppose transmissions in this system suffer from frequency nonselective fading and additive noises. We denote channel gains from S1to R, S2to R, R to S1, and R to S2by hs1r,hs2r,hrs1andhrs2, respectively. They are modeled as zero-mean, circularly symmetric complex Gaussian random variables, denoted by hs1rCN(0,Ωh,s1r),hs2rCN(0,Ωh,s2r),hrs1CN(0,Ωh,rs1)andhrs2CN(0,Ωh,rs2). These channel gains are assumed to be independent of each other, i.e. any given node cannot exploit reciprocity to estimate the forward channel gain from the reverse link in the FDD system. Considering channel estimation errors, we denote the estimations of channel gains by h^s1r,h^s2r,h^rs1andh^rs2,respectively. We model the channel estimation by hab=h^ab+eab,wherea,b{s1,s2,r},h^abCN(0,Ωh^,ab),eabCN(0,Ωe,ab) is estimation error for channel gain hab. We also assume that all channel gains estimation errors are independent of each other. Without loss of generality, the transmit power of each terminal is set to be P, each additive noise power is Ω0. We also assume source node Si transmits with a fixed rate vi bits/Sec/Hz.

2.1 Non-orthogonal ANC

Due to the half-duplex constraint and the complete separation between the two source nodes, the communication process of non-orthogonal ANC is organized into two transmission phases in Figure 1, where two different transmission phases work in different frequency bands.

Figure 1 The two-way system where sources S1 and S2 desire to exchange their information via a relay R
Figure 1

The two-way system where sources S1 and S2 desire to exchange their information via a relay R

In the first phase, both source nodes transmit simultaneously. The received signal at the relay R is expressed as Yr=i=12hsirPXi+nr,where Xi is the unit energy transmit symbol from Si and nr ~ 𝓒 𝓝(0, Ω0) is an additive noise at relay R. In the other phase, the relay amplifies its received symbol Yr and then broadcasts toward both source nodes. The received signal at the source node Si is given by Yi=hrsiαnYr+ni,where αn is a power-scaled gain at relay R and ni ~ 𝓒𝓝(0, Ω0)is an additive noise at source Si. We consider the short-term power constraint at the relay node R, and thus the power-scaled gain, αn, is written as

αn=P|h^s1r|2P+|h^s2r|2P+Ωe,s1rP+Ωe,s2rP+Ω0(1)

The signal Yi can be rewritten as

Yi=h^sjrh^rsiαnPXj+h^sirh^rsjαnPXi(Selfinterferenceterm)+(h^sjrersiαn+h^rsiesjrαn+esjrersiαn)PXj+(h^sirersiαn+h^rsiesirαn+esirersiαn)PXi+h^rs1nrαn+ersinrαn+ni(2)

where j is the other element in set 𝓐 = {1, 2}, with a given element i ∈ 𝓐 (e.g., if i = 1, then j = 2). Note that the definitions of i and j are used throughout this letter. Here we assume that the estimation of channel gains h^s1r,h^s2r,h^rsi,are obtained at source Si by using some channel estimation techniques. We assume both sources simultaneously transmit pilot symbols, and the relay amplifies and forwards the symbols to both sources. Source Si simultaneously estimates h^s1r,h^s2randh^rsiby using the received pilot symbols (Alternatively, the relay estimates h^s1randh^s2r by using pilot symbols, then forwards them to both sources[2]. Source Si also obtains hrsiby using pilot symbols from the relay). The power scaled gain αn is also derived according to (1). Therefore the self-interference term h^sirh^rsjαnPXi in (2) can be known and canceled at source Si. Therefore, the mutual information per transmission from source Sj to Si is given by

Isjsin=12log1+|h^sjr|2|h^rsi|2P2b1i(|h^sir|2+|h^sjr|2)+b2i|h^rsi|2+b3i(3)

where parameters b1i, b2i and b3i are denoted by

b1i=Ωe,rsiP2+Ω0Pb2i=Ωe,sjrP2+Ωe,sirP2+Ω0Pb3i=Ωe,sjrΩe,rsiP2+Ωe,sirΩe,rsiP2+Ωe,rsiΩ0P+Ωe,sirΩ0P+Ωe,sjrΩ0P+Ω02(4)

2.2 Orthogonal ANC

The communication of Orthogonal ANC consists of three transmission phases in Figure 1. In the first two transmission phases, two sources transmit signal, respectively. When source Sj transmits symbol Xj, signal Ysjr overheard at relay R and signal Ysjsi at source Si are expressed as

Ysjr=(h^sjr+esjr)PXj+njrYsjsi=(h^sjsi+esjsi)PXj+nji(5)

where njr ~ 𝓒𝓝(0, Ω0)and nji ~ 𝓒𝓝 (0, Ω0) are additive noises at relay R and source Si, respectively. In the third transmission phase, relay R amplifies sum of signals Ys1randYs2r, and forwards two sources. Source Si receives

Yrsi=h^sjrh^rsiαoPXj+h^sirh^rsiαoPXi(Selfinterferenceterm)+(h^sjrersiαo+h^rsiesjrαo+ersiesjrαo)PXj+(h^sirersiαo+h^rsiesirαo+ersiesirαo)PXi+h^rsinirαo+h^rsinjrαo+ersinirαo+ersinjrαo+nir(6)

where α0 is the power scaled gain with the short-power constraint, denoted by

αo=P|h^s1r|2P+|h^s2r|2P+Ωe,s1rP+Ωe,s2rP+2Ω0(7)

Similar to non-orthogonal ANC, the self-interference term can be canceled at source Si to obtain residual signal Yrsic. Jointly proceeding signals YsjsiandYrsic with the maximum combine ratio technique, orthogonal ANC achieves the mutual information per transmission as

Isjsio=13log1+|h^sjsi|2PΩe,sjsiP+Ω0+|h^sjr|2|h^rsi|2P2c1i(|h^sir|2+|h^sjr|2)+c2ih^rsi+c3i(8)

where parameters c1i, c2i and c3i are shown as

c1i=Ωe,rsiP2+Ω0P,c2i=Ωe,sjrP2+Ωe,sirP2+2Ω0P,c3i=Ωe,sjrΩe,rsiP2+Ωe,sirΩe,rsiP2+2Ωe,rsiΩ0P+Ωe,sirΩ0P+Ωe,sjrΩ0P+2Ω02(9)

3 Outage Probability Analysis

As clearly shown in (3) and (8), the forms of mutual information per transmission are not easily tractable due to the existence of imperfect channel gains and thus we approximately analyze their outage probabilities.

We define the system suffers from an outage if there exists one of both source nodes which decodes its received signals with error, and denote outage probabilities achieved by non-orthogonal ANC and orthogonal ANC by PoutnandPouto, respectively. The outage probability is expressed as

Poutz=1Pri=1,2Isjsizvj(10)

where x ∈ {o, n} and vj denotes the transmission rate of source node Sj. In the high SNR regime, system outage probability is approximated by its upper bound[6], i.e.,

Poutz=i=12PrIsjsiz<vj(11)

3.1 Non-orthogonal ANC

For convenience, we set parameters as follows

u=b1iΩ0b3iP|h^sjr|2v=b2iΩ0b3iP|h^rsi|2w=b1iΩ0b3iP|h^sir|2δ=Ω0Ph(δ)=(4vj1)b1ib2iP2b3iΩ0P(12)

With these parameters and (3), probability Pr(Isjsin<vj) can be expressed as

Pr(Isjsin<vj)=Pruvu+v+w+δ<h(δ)(13)

Theorem 1

If h(δ) is continuous with h(δ)→ 0 as δ0, and variables u, v, w are exponentially distributed with parameters λu, λv, λw respectively, then

limδ01h(δ)Pruvu+v+w+δ<h(δ)=λu+λvc+lnλuλvh(δ)λwλuλvλw(14)

where c ≈ 0.577 is the Euler Lorenzo Mascheroni constant.

Proof Let Pe=Pruvu+v+w+δ<h(δ)The probability density function (PDF) of x is written as

f(x)=λueλu[x+h(δ)],xh(δ)0,x<h(δ)(15)

Then it is given by

limδ0Peh(δ)==limδ01h(δ)Prx0+limδ01h(δ)Prv<(u+w+δ)h(δ)x,x>0=limδ01h(δ)1eλuh(δ)+g1(16)

Setting g2=h(δ)+[w+δ+h(δ)]h(δ)x,g3=λux+δh(δ)+h2(δ)x,then

g1=limδ01h(δ)Prv<(u+w+δ)h(δ)x,x>0=limδ01h(δ)001eλvg2f(x)f(w)dxdw=limδ01h(δ)[eλvh(δ)λue(λu+λv)h(δ)×0λwλw+λvh(δ)x1eg3dx](17)

Let δh(δ) + h2(δ) = 0 due to δh(δ) + h2(δ) = 𝓞(δ2). It becomes

limδ0Peh(δ)=limδ01h(δ)1e(λu+λv)h(δ)0λueg3dx+e(λu+λv)h(δ)0λuλvh(δ)λwx+λvh(δ)eλuxdx=limδ01h(δ)1e(λu+λv)h(δ)0λueg3dx=λu+λv(Please see Lemma 1.2 in [7])+limh(δ)0λuλvλw1h(δ)1xexdxλuλvλw=Eiλuλvh(δ)λwλuλvλw (Please see Equation 4.331.2 in [9])(18)

With Eq 4.331.2 in [9] and Lemma 1.2 in [7], it holds.

With (11), (13) and Theorem 1, probability Poutn is derived in (19) in the high SNR regime (δ → 0).

Poutn=i=12(4vj1)b1ib2iΩ0b3iP3b3iPb1iΩ0Ωh^,sjr+b3iPb2iΩ0Ωh^,rsic+ln(4vj1)b1iΩh^,sirP2Ωh^,sjrΩh^,rsib3iPΩh^,sirb2iΩ0Ωh^,sjrΩh^,rsi(19)
Pouto=i=12(8vj1)2c1ic2iΩ0(Ωe,sjsiP+Ω0)2c3iΩh^,sjsiP4c3iPc1iΩ0Ωh^,sjr+c3iPc2iΩ0Ωh^,rsic+ln(8vj1)c1iΩh^,sirP2Ωh^,sjrΩh^,rsic3iPΩh^,sirc2iΩ0Ωh^,sjrΩh^,rsi(20)

3.2 Orthogonal ANC

Here some parameters are denoted by

x=c1ic2iΩ0|h^sjsi|2c3i(Ωe,sjsiP+Ω0)P2,u=c1iΩ0c3iP|h^sjr|2v=c2iΩ0c3iP|h^rsi|2,w=c1iΩ0c3iP|h^sir|2δ=Ω0P,h(δ)=(8vj1)c1ic2iP2c3iΩ0P(21)

Then we have

Pr(Isjsio<vj)=Prx+uvu+v+w+δ<h(δ)(22)

Lemma 1

Let x be an exponential random variable with mean 1/λx, δ be a small positive number, and h(δ) be a continuous function that h(δ)→ 0 as δ → 0. Let rδ be a multi-variate function that is independent of variable x, and it satisfies the condition thatlimδ0Pr[rδ<h(δ)]h(δ)=A,where A is a positive constant. Then

limδ01h2(δ)Prx+rδ<h(δ)=Aλx2(23)

Lemma 1.3 in [7] is a special form of Lemma 1, in which rδ=yzy+z+δ,with y and z being two independent exponentially-distributed random variables. We observe that Lemma 1 holds even if the constraint on rδ in Lemma 1.3 is relaxed and the proof of Lemma 1 is the same as Lemma 1.3 in [7], and will not be repeated here. With Lemma 1 and Theorem 1, probability Pouto is derived in (20).

4 Simulation Results

Consider a two-way network topology where the distance between two sources is 100m, and the relay node is located on the line segment between two source nodes. We assume that the distance from source S1 to the relay node is Lm, and thus the distance from source S2 to the relay is (100 - L)m. The signal fading follows the quasi-static Rayleigh distribution and the average channel gain equals d–β[8], where d denotes the distance from transmitter to receiver and β is the path loss index. Let the path loss index β be 3 and the additive noise power Ω0 be –70 dbm. We also assume that ratio Ωh^,abΩh,ab=0.995 for transmitter a and receiver b where a ∈ {S1, S2, R} and b ∈ {S1, S2, R} in this channel.

Figure 2 shows the system outage performance (OP) versus distance L for non-orthogonal and orthogonal ANC, where P = 20dbm and v1 = v2 = 0.5 bits/Sec/Hz. It is shown that the derived OP for the two protocols match the simulated results, which validates the accuracy of our derived expressions. We also observe that orthogonal ANC outperforms non-orthogonal ANC due to higher diversity gain by using the link between source Si to Sj , and FDD system achieves lower OP than TDD for both the protocols. Figure 3 shows OP versus transmission power P in different transmission-rate scenarios, where L = 50m. Our derived curves are in agreement with the Monte Carlo simulation results. It is feasible to achieve the lower OP with smaller transmission rates. We also observe that OP reaches a fixed level, called error floor, due to the imperfection in the channel estimation.

Figure 2 OP versus distance L for non-orthogonal and orthogonal ANC, where P = 20dbm and v1 = v2 = 0.5 bits/Sec/Hz
Figure 2

OP versus distance L for non-orthogonal and orthogonal ANC, where P = 20dbm and v1 = v2 = 0.5 bits/Sec/Hz

Figure 3 OP versus transmission power P in different transmission-rate scenarios, where L = 50m
Figure 3

OP versus transmission power P in different transmission-rate scenarios, where L = 50m

5 Conclusion

We have investigated the impact of imperfect CSI on the performance of non-orthogonal and orthogonal ANC in the FDD two way channel. The closed-formed expressions of outage probabilities achieved by non-orthogonal and orthogonal ANC have been derived in the high SNR regime. By using Monte Carlo simulation, it validates that the simulation results are in agreement with the derived results, and FDD system outperforms TDD in terms of OP.

References

[1] Katti S, Gollakota S, Katabi D. Embracing wireless interference: Analog network coding, ACM Sigcom, Kyoto Japan, Aug 2007.10.1145/1282380.1282425Search in Google Scholar

[2] Ding Z, Leung K, Goeckol D, et al. On the study of network coding with diversity. IEEE Transactions on Wireless Communications, 2009, 8: 1247–1259.10.1109/TWC.2009.07051022Search in Google Scholar

[3] Wang L, Cai Y M, Yang W W. On the finite-SNR DMT of twoway AF relaying with imperfect CSI. IEEE Wireless Commumnications Letters, 2012, 1(3): 161–164.10.1109/WCL.2012.030512.110156Search in Google Scholar

[4] Wu Y, Patzold M. Outage probability and power allocation of twoway amplify-and-forward relaying with channel estimation errors. IEEE Transactions on Wireless Communications, 2012, 11(6): 1985–1990.10.1109/TWC.2012.040412.110693Search in Google Scholar

[5] Wang C Y, Lui T C K, Dong X D. Impact of channel estimation error on the performance of amplify-and-forward two-way relaying. IEEE Transactions on Vehicular Technology, 2012, 61(3): 1197–1207.10.1109/TVT.2012.2185964Search in Google Scholar

[6] Zhan A, He C, Jiang L G. A channel statistic based power allocation in a butterfly wireless network with network coding. Workshop on CoConet IEEE ICC’10, Cape Town, South Africa, 2010.10.1109/ICCW.2010.5503953Search in Google Scholar

[7] Avestimehr A, Tse D N C. Outage capacity of the fading relay channel in the low-SNR regime. IEEE Transactions on Inform Theory, 2007, 53(4): 1401–1415.10.1109/TIT.2007.892773Search in Google Scholar

[8] Chen C J and Wang L C. Enhancing coverage and capacity for multiuser MIMO system by utilizing scheduling. IEEE Transactions on Wireless Communications, 2006, 5(5): 1148–1157.10.1109/TWC.2006.1633368Search in Google Scholar

[9] Gradshteyn I S, Ryzhik I M. Table of integrals, series and products. 6th ed. Academic Press, 2000.Search in Google Scholar

Received: 2014-10-28
Accepted: 2014-11-18
Published Online: 2015-8-25

© 2015 Walter de Gruyter GmbH, Berlin/Boston

Downloaded on 14.9.2025 from https://www.degruyterbrill.com/document/doi/10.1515/JSSI-2015-0357/html
Scroll to top button