Professional Documents
Culture Documents
Massive MIMO Performance With Imperfect Channel Reciprocity and Channel Estimation Error
Massive MIMO Performance With Imperfect Channel Reciprocity and Channel Estimation Error
net/publication/313838842
CITATIONS READS
30 268
5 authors, including:
De Mi Lei Zhang
University of Surrey University of Glasgow
20 PUBLICATIONS 258 CITATIONS 124 PUBLICATIONS 667 CITATIONS
Rahim Tafazolli
University of Surrey
880 PUBLICATIONS 8,782 CITATIONS
SEE PROFILE
Some of the authors of this publication are also working on these related projects:
SPEED: Enabling Technologies for High-Speed Visible Light Communication Systems View project
where A and ϕ denote amplitude and phase RF responses, to be static, e.g., αbt,0 , σbt2 , at and bt of Abt,i in (6) remain
respectively. Similarly, M × M diagonal matrix Hbt can be constant within the considered coherence time of the channel.
denoted as Notice that the truncated Gaussian distributed phase error
in (7) and (9) becomes a part of exponential functions
Hbt = diag(h bt,1 , · · · , h bt,i , · · · , h bt,M ), (3)
in (2) and (4), whose expectations can not be obtained easily.
with i -th diagonal entry h bt,i given by Thus, we provide a generic result for these expectations in the
following Proposition 1.
h bt,i = Abt,i exp( j ϕbt,i ). (4)
Proposition 1: Given x ∼ NT (μ, σ 2 ), x ∈ [a, b], and
In practice, there might be differences between the Tx front the probability density function f (x, μ, σ ; a, b) as (59) in
and the Rx front in terms of RF responses. We define the Appendix A. Then the mathematical expectation of exp( j x)
RF mismatch between the Tx and Rx frontends at the BS by can be expressed as
calculating the ratio of Hbt to Hbr , i.e., E {exp( j x)}
h h h
E Hbt Hbr −1
= diag(
bt,1
,··· ,
bt,i
,··· ,
bt,M
), (5) σ2
h br,1 h br,i h br,M = exp − + jμ
2
⎛ ⎞
where the M × M diagonal matrix E can be regarded as the erf √b−μ2 − j √σ − erf √a−μ2 − j √σ
×⎝
2 2 ⎠
compound RF mismatch error, in the sense that E combines 2σ
2σ .
b−μ a−μ
Hbt and Hbr . In (5), the minimum requirement to achieve the erf √ 2 − erf √ 2
2σ 2σ
perfect channel reciprocity is E = cI M with a scalar2 c ∈ C=0 .
(10)
The scalar c does not change the direction of the precoding
beamformer [15], hence no impact on MIMO performance. Proof: See Appendix B.
Contrary to the case of the perfect reciprocity, in realistic Then
the
phase-error-related
parameters
g
t
scenarios, the diagonal entries of E may be different from E exp j ϕbt,i and gr E exp j ϕbr,i can be
each other, which introduces the RF mismatch caused channel given in Appendix C by specialising Proposition 1. Also,
reciprocity errors into the system. Particularly, considering based on (6), (8)
and
Appendix
A,
the amplitude-error-related
the case with the hardware uncertainty of the RF frontends parameters E Abt,i , E Abr,i , var(Abt,i ) and var(Abr,i )
caused by the various of environmental factors as discussed can be given by αt , αr , σt2 and σr2 respectively in Appendix C.
in [2], [16], and [23], the entries become independent random Note that these parameters can be measured from engineering
variables. However, in practice, the response of RF hardware points of view, for example, by using the manufacturing
components at the Tx front is likely to be independent of that datasheet of each hardware component of RF frontends in the
at the Rx front, which cannot be accurately represented by the real system [24].
compound error model E in (5). Hence, the separate modelling
for Hbt and Hbr is more accurate from a practical point of B. Downlink Transmission With Imperfect
view. Therefore, we focus our investigation in this work on Channel Estimation
the RF mismatch caused reciprocity error by considering this In TDD massive MIMO systems, UTs first transmit the
separate error model. orthogonal UL pilots to BS, which enables BS to estimate the
Next we model the independent random variables Abr,i , UL channel. In this paper, we model the channel estimation
ϕbr,i , Abt,i and ϕbt,i in (2) and (4) to reflect the randomness error as the additive independent random error term [10], [12].
of the hardware components of the Rx and Tx RF frontends. By taking the effect of H into consideration, the estimate Ĥ
br u
Here, in order to capture the aggregated effect of the mismatch of the actual uplink channel response H can be given by
u
on the system performance, the phase and amplitude errors can
be modelled by the truncated Gaussian distribution [20], [21], Ĥu = 1 − τ 2 Hbr H + τ V, (11)
which is more generalised and realistic comparing to the
where two M × K matrices H and V represent the propa-
uniformly distributed error model in [17] and [18]. The
gation channel and the channel estimation error, respectively.
preliminaries of the truncated Gaussian distribution are briefly
We assume the entries of both H and V are independent iden-
presented in Appendix A, and accordingly the amplitude and
tically distributed (i.i.d.) complex Gaussian random variables
phase reciprocity errors of the Tx front Abt,i , ϕbt,i and the Rx
with zero mean and unit variance. In addition, the estimation
front Abr,i , ϕbr,i can be modelled as
variance parameter τ ∈ [0, 1] is applied to reflect the accuracy
Abt,i ∼ NT (αbt,0 , σbt2 ), Abt,i ∈ [at , bt ], (6) of the channel estimation, e.g., τ = 0 represents the perfect
ϕbt,i ∼ NT (θbt,0 , σϕ2t ), ϕbt,i ∈ [θt,1, θt,2 ], (7) estimation, whereas τ = 1 corresponds to the case that the
2 channel estimate is completely uncorrelated with the actual
Abr,i ∼ NT (αbr,0 , σbr ), Abr,i ∈ [ar , br ], (8) channel response.
ϕbr,i ∼ NT (θbr,0 , σϕ2r ), ϕbr,i ∈ [θr,1 , θr,2 ], (9) The UL channel estimate Ĥu is then exploited in the DL
where, without loss of generality, the statistical magnitudes transmission for precoding. Specifically, by considering the
of these truncated Gaussian distributed variables are assumed channel reciprocity within the channel coherence period, the
BS predicts the DL channel as
2 Particularly, the case with E = I is equivalent to that with H = H ,
M bt br
which means that the Tx/Rx RF frontends have the identical responses. Ĥd = ĤuT = 1 − τ 2 HT Hbr + τ VT . (12)
MI et al.: MASSIVE MIMO PERFORMANCE WITH IMPERFECT CHANNEL RECIPROCITY AND CHANNEL ESTIMATION ERROR 3737
While the UL and DL propagation channels are reciprocal, while wi and si , i = k for other UTs, respectively. Specifying
the Tx and Rx frontends are not, due to the reciprocity error. the received signal y by substituting hk , wk and wi into (14),
By taking the effect of Hbt into the consideration, the actual we rewrite the received signal for the k-th UT as
DL channel Hd can be denoted as
√ √ K
Hd = HT Hbt . (13) yk = ρd λhkT Hbt wk sk + ρd λ hkT Hbt wi si + n k .
i=1,i =k
Then, the BS performs the linear precoding for the DL Desired Signal Noise
transmission based on the DL channel estimate Ĥd instead Inter-user Interference
of the actual channel Hd , and the received signal y for the K (16)
UTs is given by
√ √ The first term of the received signal yk in (16) is related to the
y = ρd λHd Ws + n = ρd λHT Hbt Ws + n, (14) desired signal for the k-th UT, and the second term represents
where W represents the linear precoding matrix, which is the inter-user interference among other K − 1 UTs. Then, the
a function of the DL channel estimate Ĥd instead of the desired signal power Ps and the interference power PI can be
actual DL channel Hd . The parameter ρd denotes the average expressed as
transmit power at the BS, and note that the power is equally √
allocated to each UT in this work. The vector s denotes Ps = | ρd λhkT Hbt wk sk |2 , (17)
the symbols to be transmitted to K UTs. We assume that 2
K
the symbols for different users are independent, and con- √
PI = ρd λhk Hbt wi si ,
T
(18)
strained with the normalised symbol power per user. To offset i=1,i=k
the impact of the precoding matrix on the transmit power,
it
is multiplied
by a normalisation parameter λ, such that respectively. Considering (17), (18) and the third term in (16)
E tr λ2 WW H = 1. This ensures that the transmit power which is the AWGN, the output SINR for the k-th UT in
after precoding
√ remains
equal to the transmit power budget the presence of the channel reciprocity error can be given as
that E ρd λWs2 = ρd . In addition, n is the additive in [25]
white Gaussian noise (AWGN) vector, whose k-th element
is complex Gaussian distributed with zero mean and covari- Ps 1
ance σk2 , i.e., n k ∼ CN (0, σk2 ). We assume that σk2 = 1, SINRk = E ≈ E {Ps } E , (19)
PI + σk2 PI + σk2
k = 1, 2, · · · , K . Therefore, ρd can also be treated as the DL
transmit signal-to-noise ratio (SNR). thus we can
approximate the
output SINR by calculating
By comparing the channel estimate Ĥd for the precoding E {Ps } and
E 1/(PI + σ
k2 ) separately. In order to derive
matrix in (12) with the actual DL channel Hd in (13), we the term E 1/(PI + σk2 ) and pursue the calculation of (19),
have we provide one generalised conclusion as in the following
1 −1 proposition.
Hd = √ (Ĥd − τ VT ) · Hbr Hbt , (15)
1−τ 2 Proposition 2: Let variable X 1 ∈ C and X 1 = 0,
a random
reciprocity errors ∃ E{X 1 }, var(X 1 ), E X11 ∈ C, and E{X 1 } = 0, then
−1
where the term Hbr Hbt stands for the reciprocity errors, and
is equivalent to E defined in (5) (also corresponds to the 1 1 var(X 1 )
E = +O . (20)
error model Eb in [20]). The expression (15) reveals that the X1 E{X 1 } E{X 1 }3
channel reciprocity error is multiplicative, in the sense that
−1
the corresponding error term Hbr Hbt is multiplied with the Proof: Consider the Taylor series of E 1
X1 , we have
channel estimate Ĥd and the estimation error V. Based on the
discussion followed by (5), Hd and Ĥd can have one scale
−1
1 1 1
difference in the case that Hbr Hbt = cI M , thus no reciprocity E =E − (X 1 − E{X 1 })
X1 E{X 1 } E{X 1 }2
error caused in this case. On the contrary, in the presence of
the mismatch between Hbr and Hbt , the channel reciprocity 1 2
+ (X 1 − E{X 1 }) − · · · . (21)
error can be introduced into the system. From (15), it is E{X 1 }3
also indicated that the integration between the multiplicative
reciprocity error and the additive estimation error brings a Then one can easily arrive at (20).
compound effect on the precoding matrix calculation. We shall From Proposition 2, it is expected that the approximation
analyse this effect in the following Section III. in (19) can be more precise than the widely-used approximate
In order to investigate the effect of reciprocity errors on the SINR expressions in the literatures, e.g., [18, eq. (6)] and
performance of the linearly precoded system in terms of the [26, eq.
(6)],
which are based on SINRk ≈
output SINR for a given k-th UT, let M × 1 vectors hk and vk E {Ps } /E PI + σk2 that is not accurate when the value
be the k-th column of the channel matrix H and the estimation of var(X 1 )/E{X 1 }3 is not negligible. We will verify the
error matrix V respectively, as well as wk and sk represent the accuracy of (19) in the analytical results in the following
precoding vector and the transmit symbol for the k-th UT, section.
3738 IEEE TRANSACTIONS ON COMMUNICATIONS, VOL. 65, NO. 9, SEPTEMBER 2017
III. SINR FOR M AXIMUM -R ATIO T RANSMISSION AND Based on (23), (26), (27) and (19) with Proposition 2, the
Z ERO -F ORCING P RECODING S CHEMES analytical expression of the output SINR for the k-th UT with
In this section, we formulate and discuss the effect of the MRT precoder can be obtained as in the following theorem.
reciprocity error on the performance of MRT and ZF precoding Theorem 1: Consider a massive MIMO system with K UTs
schemes, in terms of the output SINR, by considering the reci- and M BS antennas, and the propagation channel follows
procity error model with the truncated Gaussian distribution. the i.i.d. standard complex Gaussian random distribution.
The channel estimation error is modelled as the additive
independent Gaussian variables. The MRT precoding scheme
A. Maximum-Radio Transmission is used at the BS. The channel reciprocity error is brought
Recall (12) and (14), for MRT, the precoding matrix W can by the mismatch between the RF frontends matrices of the
be given by Tx-front Hbt and the Rx-front Hbr , where both amplitude and
phase components of the diagonal entries are followed the
∗
Wmrt = ĤdH = 1 − τ 2 Hbr H ∗ + τ V∗ . (22) truncated Gaussian random distribution. Then the closed-form
Let λmrt represent the normalisation parameter of the MRT expression of the output SINR for the k-th UT is given by
precoding scheme to meet the power constraint, which can be
1
calculated as SINRk,mrt ≈ E Ps,mrt E (28)
PI,mrt + σk2
1 1 (1 − τ 2 )Ar ((M − 1)A I + 2) + τ 2
λmrt =
= . = ρ d A t
E tr Wmrt Wmrt H M K (1 − τ 2 )Ar + τ 2 (1 − τ 2 )Ar + τ 2
2
(23) K + ρd K (K − 1)(ρd A2t + 2 At )
× , (29)
(ρd (K − 1)At + K )3
The proof of (23) is briefed in Appendix D. For the sake
of simplicity, we define the amplitude-error-related factors Ar where A I is given by (25), and At as well as Ar are defined
in (23) and At as in (24).
1,mrt PI,mrt + σk , and the term
2
Proof: Let X
Ar αr2 + σr2 , At αt2 + σt2 , (24) E 1/(PI,mrt + σk2 ) can be calculated based on Proposition 2.
Specifically, in our case, we have
and we assume the small deviation of the amplitude
K −1
errors [15], i.e., At , Ar ≈ 1. In addition, let A I be the E{X } = E P + E σk2 = ρd At + 1, (30)
1,mrt I,mrt
aggregated reciprocity error factor, which can be given by K
and
αt2 αr2 2 2
AI 2 |g t | |g r | , (25)
(αt + σt2 )(αr2 + σr2 ) var(X 1,mrt )
= var(PI,mrt ) + var(σk2 ) (31)
where αt2 , αr2 , σr2 and σt2 as well as gt and gr are given ⎛ 2 ⎞
⎜ √
following Proposition 1, and detailed in Appendix C. Based on K
⎟
the values of αt , αr , σt2 , σr2 , gt and gr , we have 0 < A I ≤ 1. = var ⎝ ρd λmrt hkT Hbt ( 1 − τ 2 Hbr hi + τ vi∗ )si ⎠
∗ ∗
From
(36) in Theorem 1, it is expected that the value Theorem 2: In a ZF precoded system, by assuming that the
of var(X 1,mrt )/E{X 1,mrt }3 can be negligible in the case same conditions are held as in Theorem 1, the output SINR
with the large number of UTs or in the high SNR regime, for the k-th UT under the effect of the reciprocity error, can
and based on (20) in Proposition 2, the result (29) can be formulated as
be simplified to [26, eq. (13)] in the absence of reci-
SINRk,zf
procity error and estimation error. However, in the low
1
SNR regime
or K
is small, the approximation SINRk ≈ ≈ E Ps,zf E (42)
E {Ps } /E PI + σk2 becomes less accurate due to the sig- PI,zf + σk2
nificant value of var(X 1,mrt )/E{X 1,mrt }3 . Hence, we use the ≈ ρd (M − K )B I
2
approximate SINR expression in (19) in this paper, for more K + ρd K (K − 1)(At − B I )(ρd (At − B I ) + 2)
generic cases of TDD massive MIMO systems. In addition, × ,
(ρd (K − 1)(At − B I ) + K )3
more detailed discussions of (26), (27) and (29) will be (43)
provided at the end of this section.
where B I is defined in (40), and At can be found in (24).
Proof: Consider the same method as shown in the proof
B. Zero-Forcing
of Theorem 1 based on Proposition 2, let X 1,zf = PI,zf + σk2
Similar to MRT, the precoding matrix for the ZF precoded and we have
system can be written as K −1
−1 E{X 1,zf } = E{PI,zf } + E{σk2 } ≈ ρd (At − B I ) + 1,
Wzf = ĤdH Ĥd ĤdH , (37) K
(44)
where Ĥd is given in (12). The corresponding normalisation based on (41). Following the discussions of E{PI,zf }
parameter can be given as in Appendix E, we have
#
1 M−K K −1
λzf =
≈ (1 − τ 2 )A + τ 2 ,
r
var(X 1,zf ) = var(PI,zf ) + var(σk2 ) ≈ ρd2 2
(At − B I )2 .
E tr Wzf Wzf H K K
(45)
(38)
Substituting (44) and (45) into (20), E 1/(PI,zf + σk2 ) can
and be used to satisfy the power constraint. The proof of (38) be obtained. Together with (39), we have (43).
is given in Appendix E. Then two propositions can be provided Similar to the discussion following Theorem 1, the expres-
to present the performance of the desired signal power and the sion (43) can be simplified into the corresponding result
interference power as follows. in [10, eq. (44)] by considering the perfect channel reciprocity
Proposition 3: Let the similar assumptions be held as in and the large number of UTs. Furthermore, our expression
Theorem 1, and ZF precoding scheme be implemented in the in (43) can be applied in more generic cases, e.g., K is small.
system. For a given UT k, the expectation of the signal power To this end, the analytical expressions of the output
in the presence of the reciprocity error can be expressed as SINR in the MRT and ZF precoded systems are provided
√
E{Ps,zf } = E | ρd λzf hkT Hbt wk,zf sk |2 in (29) and (43) respectively. Note that the deduction from
the results in the Theorem 1 and Theorem 2 to specialised
M−K
≈ ρd BI , (39) cases such as the general Gaussian distributed errors can
K be straightforward, simply by setting the truncated ranges to
where the error parameter B I can be defined by infinity. We shall provide the analysis and comparison of these
expressions in the following discussions.
(1 − τ 2 )A I At Ar
BI . (40)
(1 − τ 2 )Ar + τ 2
C. Discussions
Proof: See Appendix E in detail.
We first consider the impact of the reciprocity error
Proposition 4: Let the same conditions be assumed as in
on the desired signal power and interference power sepa-
Proposition 3. For a given UT k, the expectation of the
rately. For the MRT precoded system, it can be observed
inter-user-interference power can be given as
⎧ 2 ⎫ from (26) and (27) that both Tx/Rx-front phase errors degrade
⎪
⎨ ⎪⎬ the desired signal power, but neither of them contributes to the
K
√
E{PI,zf } = E
ρd λzf hk Hbt wi,zf si
T interference power since non-coherent adding of the precoder
⎪
⎩ ⎭⎪ and the channel for the interference. Move on to the amplitude
i=1,i =k
errors, only the Tx-front error exists in (27), and amplifies the
K −1
≈ ρd (At − B I ) . (41) interference power, which is unlike the impact on the signal
K power, where both Tx/Rx front amplitude errors are present.
Proof: See Appendix E. Recall (39) and (41) for the ZF precoded system, apparently,
Combine the results in Proposition 3 and 4, we can derive both the desired signal power and the inter-user interference
the theoretical expression of the output SINR for the k-th UT power are affected by the amplitude and phase reciprocity
in the ZF precoded system as following. errors at both Tx/Rx frontends.
3740 IEEE TRANSACTIONS ON COMMUNICATIONS, VOL. 65, NO. 9, SEPTEMBER 2017
We then take the channel estimation error into account. In the high region of transmit SNR, by assuming M → ∞
Based on (29) and (43), an intuitive conclusion can be drawn and At ≈ 1 as mentioned in (24), the asymptotic expression
that the increase of the estimation error results in the perfor- of (46) can be given as
mance degradation of the output SINR, for both MRT and ZF. M
Furthermore, it is expected that the effect of the estimation ˜ k,mrt =
lim SINR AI , (49)
M→∞, K
error may be amplified by the reciprocity error, in the sense K 1
that the estimation error is multiplied with the reciprocity error where A I can be found in (25). As discussed in the paragraph
as shown in (15). following (25), we have A I = 1 in the case with perfect
Note that the focus of this paper is to investigate the effect channel reciprocity, whereas A I → 0 when the level of
of imperfect channel reciprocity on the performance of MRT reciprocity errors increases.
and ZF precoding schemes. We remove the channel estimation From (49), several conclusions can be given for MRT. First,
error from (29) in Theorem 1 with (43) in Theorem 2, i.e., let τ the asymptotic expression in (49) can be simplified to the result
be zero, and obtain in [9, Table 1] in the case with the perfect channel reciprocity
˜ k,mrt ≈ ρd (((M − 1)A I At + 2 At ))
SINR and high transmit SNR, and the output SINR of MRT is upper-
2 bounded by the ratio M/K due to the inter-user interference.
K + ρd K (K − 1)(ρd A2t + 2 At )
× , (46) Second, when the significant reciprocity error is introduced
(ρd (K − 1)At + K )3
into the system, we have A I → 0, and consequently, the larger
and number of M or increasing ratio of M/K may not lead to the
˜ k,zf
SINR better system performance, due to the error ceiling limited
by the reciprocity error, which corresponds the multiplicative
≈ ρd (M − K )A I At
2 term (i.e., A I ) that in (49).
K +ρd K (K − 1)At (1 − A I )(ρd At (1 − A I ) + 2) 2) Zero Forcing Precoding: Similar to (49), we update the
× ,
(ρd (K − 1)At (1 − A I ) + K )3 analytical results of the output SINR for ZF, asymptotically
(47) with M → ∞ and K 1. Recall (47), we have
where SINR˜ k,mrt and SINR ˜ k,zf represent the output SINR ρd (M − K )A I At
˜ k,zf =
lim SINR . (50)
under the effect of the reciprocity error only. Comparing M→∞, K (ρd At (1 − A I ) + 1)
(46) with (47), first, we observe that the effects of the Tx and K 1
Rx front amplitude errors are not equivalent for both MRT and In the case with the perfect channel reciprocity, we have
ZF, thus it is meaningful to model Hbr and Hbt separately. A I = 1, then (50) can be transformed to the result
Second, it can be claimed that the ZF precoding scheme is in [9, Table 1]. Since (1 − A I ) = 0 in this case, it is unlikely
likely to be more sensitive to the phase errors compared to to directly simplify (50) to the noise-free case (as (49) of
MRT. For example, Due to the phase error involving in the MRT) even in the high region of transmit SNR. When the
ZF precoded system, the power of the desired signal decreases level of the reciprocity error increases, we have (1 − A I ) > 0.
and the power of the interference increases, whereas no effect Consider a case with ρd (1 − A I ) 1, which may be achieved
of the phase error on the interference power when MRT is with the high region of transmit SNR and the nontrivial
implemented. Hence, more impact of the phase errors on the value of (1 − A I ), the denominator in (50) is dominated by
ZF precoder can be expected than that on the MRT precoder. Kρd At (1 − A I ). Assuming the large ratio of M/K , (50) can
be further simplified as
IV. A SYMPTOTIC SINR A NALYSIS $ %
˜ k,zf = M 1
In this section, we simplify the closed-form expressions in lim SINR , (51)
M→∞,MK 1, K A−1 I −1
Theorem 1 and Theorem 2, by considering the case when M ρd (1−A I )1
goes to infinity, which leads to several implications for the
massive MIMO systems. with A−1I > 1 in this case. From (50), again, we can conclude
that the ZF precoded system performance can be hindered due
to the impact of both amplitude and phase reciprocity errors,
A. Without Channel Estimation Error
even with the infinite number of BS antennas. Also, when the
˜ k,mrt and SINR
We first focus on the expressions of SINR ˜ k,zf ,
higher level of the reciprocity error is introduced, the variation
and analyse the effect of the reciprocity error on the MRT of the output SINR can be independent of the transmit SNR,
and ZF precoded systems without considering the channel and the error ceiling, which corresponds to the reciprocity-
estimation error. error-related multiplicative component (1/(A−1 I − 1)), can be
1) Maximum Ratio Transmission: Recall (46), two multi- observed in (51).
plicative terms are corresponded to the desired signal power 3) Comparison: From (49) and (51), we observe that the
and interference
power. When
K 1, the second term channel reciprocity errors causes the random multiplicative
becomes E 1/(PI,mrt + σk2 ) ≈ 1/(ρd At +1), thus SINR ˜ k,mrt
distortions. One aspect of the error effects is the error
can be approximated by
ceilings, e.g., A I in (49) for MRT and 1/ A−1 I − 1
K 1 ρd ((M − 1)A I + 2)
˜ k,mrt −
SINR −−→ . (48) in (51) for ZF. Besides the previous discussions followed
K (ρd + A−1
t ) by (49) and (51), several implications can be provided by
MI et al.: MASSIVE MIMO PERFORMANCE WITH IMPERFECT CHANNEL RECIPROCITY AND CHANNEL ESTIMATION ERROR 3741
comparing the performance of MRT and ZF. Consider the Therefore, the conclusion following (52) still holds when the
same assumption for (51), in the high region of the transmit channel estimation error is introduced into the system.
SNR, we have
˜ k,zf
SINR 1 V. S IMULATION R ESULTS
C˜I lim = > 1, (52)
˜ k,mrt
M→∞,MK 1, SINR 1 − AI In this section, we present simulation results to compare
ρd (1−A I )1
the performance of ZF and MRT precoders in massive MIMO
where the term C˜I denotes the ratio of the asymptotic SINR systems with reciprocity errors, and validate the analytical
expressions of ZF and MRT. Under the conditions of (52), expressions of the output SINR in Section III and asymp-
it can be concluded that the performance preponderance of totic results of Section IV. Unless specified otherwise, the
using ZF over MRT is only conditioned on the level of number of BS antennas M = 500, the number of single-
reciprocity errors. In the case that A I → 1, the lower level antenna UTs K = 20, and the transmit SNR, ρd = 10 dB
of the reciprocity error is introduced into the systems, and ZF (note that equal power allocation is considered for K UTs).
outperforms MRT in terms of the output SINR. On contrary, We model the random variables Abr,i , Abt,i , ϕbr,i and ϕbt,i
when A I → 0, corresponding to the significantly high level of as independent truncated Gaussian distribution. In order to
the reciprocity errors, the ZF precoded system is more affected clarify the combinations of the parameters for each random
by the channel reciprocity errors than the MRT system, and variable, e.g., the expected value αbr,0 , variance σbr 2 and
consequently, the performance degradation of both systems truncated ranges [ar , br ] for Abr,i , we use quadruple notations,
results in the almost identical output SINR, which can be e.g., (αbr,0 , σbr
2 , [a , b ]), and similar terms apply for A
r r bt,i ,
represented by ϕbr,i and ϕbt,i . These parameters that related to amplitude
A I →0
and phase errors are measured in dB and in degrees (denoted
C˜I −−−→ 1. (53) by (·)°), respectively.
This leads to a useful guidance of precoding schemes selection
for the massive MIMO systems in the presence of channel A. Channel Reciprocity Error Only
reciprocity errors in practice. The focus of this paper is on the effect of the reci-
procity errors on the system performance; hence, we
B. Imperfect Channel Estimation first present the simulation results corresponding to the
We extend the prior analysis in (49) and (51) by consider- expressions (46) and (47).
ing the channel estimation error. Recall (29) in Theorem 1 1) SINR Analysis for MRT and ZF: To verify the theo-
and (43) in Theorem 2, and consider the same conditions retical results of SINR ˜ k,mrt and SINR ˜ k,zf , we first consider
for (49) and (50), we obtain the asymptotic expressions as a special case where only the amplitude mismatch error
$ % is present. Here, since the effects of ϕbr,i and ϕbt,i are
M ρd B˜I equivalent on (46) and (47), we introduce the constant phase
lim SINRk,mrt = , (54)
M→∞, K ρd + A−1 t error with (θbr,0 , σϕ2r , [θr,1 , θr,2 ]) = (θbt,0 , σϕ2t , [θt,1, θt,2 ]) =
K 1
(0°, 0.5, [−20°, 20°]) following [20]. Let the amplitude error
and variances σbr 2 = σ 2 = σ 2 be the x-axis, the effect of the
$ % bt A
M−K ρd B˜I amplitude errors Abr,i and Abt,i on MRT and ZF can be
lim SINRk,zf = , (55)
M→∞, K ρd (1 − B˜I ) + A−1
t
given in Fig. 2 and Fig. 3 respectively, where we consider
K 1 the following scenarios:
where B˜I B I A−1
t . Note that we have assumed that Case 1: Considering certain parameters, e.g., changing
At ,Ar ≈ 1 in the discussion following (24), hence we the truncated range [ar , br ] and the variance σ A2
approximate in Fig. 2(a) and Fig. 3(a).
Case 2: Comparing the impacts of Tx and Rx frontends,
B˜I ≈ (1 − τ 2 )A I . (56) e.g., for MRT, Fig. 2(b) vs Fig. 2(d); for ZF, Fig. 3(b)
From (56), it is expected that B˜I → 0 when A I → 0, vs Fig. 3(d).
irrespective of the existence of the estimation error. Then, Case 3: Comparing the error impacts on ZF and MRT,
similar to (52), we can define e.g., Fig. 2(a) vs Fig. 3(a).
SINRk,zf 1 By considering the various amplitude error parameters (as
C I lim = ≥ 1, (57) Case 1) in Fig. 2 and Fig. 3, our analytical results exactly
M→∞, SINRk,mrt 1 − B˜I
MK 1 match the simulated results for both MRT and ZF. Addi-
tionally, considering the above scenarios, we observe the
where C I is the generalised expression of C˜I , by taking the
following:
imperfect channel estimation into the consideration. Note that
in (57), the case with C I = 1 corresponds to that the channel OB1. For both ZF and MRT, the impact of the Tx front
estimate and actual channel are uncorrelated, i.e., τ = 1. amplitude errors is different from that of the Rx front.
In addition, we can conclude that For example, in Case 2, the results of Fig. 2(a) and
Fig. 2(c) show a slight difference between the truncated
A I →0
C I −−−→ 1. (58) ranges of amplitude errors [ar , br ] and [at , bt ], while
3742 IEEE TRANSACTIONS ON COMMUNICATIONS, VOL. 65, NO. 9, SEPTEMBER 2017
Fig. 2. Output SINR with MRT precoding in the presence of fixed phase Fig. 4. Output SINR with MRT precoding in the presence of fixed amplitude
errors and different combinations of amplitude errors. errors and different combinations of phase errors.
Fig. 3. Output SINR with ZF precoding in the presence of fixed phase errors
and different combinations of amplitude errors. Fig. 5. Output SINR with ZF precoding in the presence of fixed amplitude
errors and different combinations of phase errors.
Fig. 2(b) vs Fig. 2(d) demonstrate a greater impact from OB3. From Fig. 5, the phase errors can cause significant
the expected value of Tx front amplitude errors αbt,0 degradation of the ZF precoded system, e.g., with
than that from Rx front αbr,0 . (0°, 0.5, [−40°, 40°]), almost 6 dB loss in terms
OB2. It can be revealed from Case 3 that ZF is much of SINR, whereas the less severe SINR degradation
more sensitive to the amplitude errors than MRT, as (around 2 dB loss) can be seen from Fig. 4 for the
we discussed in Section IV. For example, comparing MRT system.
Fig. 3(a) and Fig. 2(a), with the same parameters, ZF OB4. The main factors of the phase error are likely to be
experiences nearly 3 dB SINR loss compared to less the error variance σ P2 and the relative truncated range,
than 1 dB loss in MRT. i.e., (θ2 − θ1 ), rather than the expected values θ0 (see
Moving on to the phase reciprocity error, we fix the ampli- the closed curves between which the only difference
tude errors to (αbr,0 , σbr 2 , [a , b ]) = (α
r r bt,0 , σbt , [at , bt ]) =
2 is the increased expected values 0°, 10° and 20° in
(0 dB, 0.5, [−1 dB, 1 dB]) as in [20]. As shown in (46) Fig. 4, and similar in Fig. 5) and the absolute values
and (47), the phase errors ϕbr,i and ϕbt,i have similar of θ1 and θ2 (see the closed curves with truncated
effect on SINR, hence, we assume (θbr,0 , σϕ2r , [θr,1 , θr,2 ]) = ranges [−30°, 10°] and [−20°, 20°] in Fig. 4, and
(θbt,0 , σϕ2t , [θt,1, θt,2 ]) = (θ0 , σ P2 , [θ1 , θ2 ]) as shown in Fig. 4 with [−10°, 30°] and [−20°, 20°] in Fig. 5).
and Fig. 5. To summarise, it can be observed that the MRT precoded
The perfect match between the simulation results and our system is more tolerant to both amplitude and phase reci-
analytical results can be observed from Fig. 4 and Fig. 5. procity errors compared with ZF, which is consistent with the
We also draw the following observations: theoretical analysis in Section III-C.
MI et al.: MASSIVE MIMO PERFORMANCE WITH IMPERFECT CHANNEL RECIPROCITY AND CHANNEL ESTIMATION ERROR 3743
Fig. 6. Output SINR versus M in the presence of different levels of channel Fig. 7. Output SINR versus SNR in the presence of different levels of
reciprocity errors. channel reciprocity errors.
A PPENDIX A 1 σ2
= exp − + jμ
P RELIMINARIES ON THE T RUNCATED 2Z 2
G AUSSIAN D ISTRIBUTION $ $√ √ %
2 b−μ 2 jσ
A brief of the truncated Gaussian distribution is given here. × erf −
2 σ 2
Consider that X is normally distributed with mean μ and
$√ √ %%
variance σ 2 , and lies within a truncated range [a, b], where 2 a−μ 2 jσ
−∞ < a < b < ∞, then X conditional on a ≤ X ≤ b is − erf − . (66)
2 σ 2
treated to have truncated Gaussian distribution, which can be
denoted by X ∼ NT (μ, σ 2 ), X ∈ [a, b]. For a given x ∈ [a, b], By invoking (62) and (64) into (66), we arrive at the result
the probability density function can be given as [28] in Proposition 1.
1 x −μ
f (x, μ, σ ; a, b) = φ . (59) B. Remarks
σZ σ
Based on the Proposition 1 that demonstrates a generic case
The revised expected value and variance conditioned on the
for the given x ∼ NT (μ, σ 2 ), x ∈ [a, b], useful remarks can
truncated range [a, b] can be written as
be given as follows.
φ(α) − φ(β) Remark 1: Let μ = 0 in Proposition 1, then E {exp( j x)} of
E{X} = μ + σ, (60) x ∼ NT (0, σ 2 ), x ∈ [a, b] can be rewritten as
& Z
2 '
αφ(α) − βφ(β) φ(α) − φ(β) E {exp( j x)}
var (X) = σ 2 1+ − , ⎛ ⎞
Z Z σ σ
σ 2 ⎝ erf √2σ 2 − j √2 − erf √2σ 2 − j √2 ⎠
b a
(61) = exp − .
2 erf √ b − erf √ a
where 2σ 2 2σ 2
(67)
a−μ b−μ
α= ,β = , Z = (β) − (α), (62) Remark 2: Let μ = 0 and a = −b in Proposition 1, then
σ σ
1 1 2 E {exp( j x)} of x ∼ NT (0, σ 2 ), x ∈ [−b, b] can be given as
φ(·) = √ exp − (·) , (63) 2
2π 2 exp − σ2
b σ
1 1 E {exp( j x)} = erf √ ± j√ .
(·) = 1 + erf √ (·) . (64) erf √ b 2σ 2 2
2 2 2σ 2
(68)
A PPENDIX B
A PPENDIX C
U SEFUL E XTENSIONS
U SEFUL R ESULTS
A. Proof of Proposition 1
Recall (6), (8), (7) and (9), the random variables Abt,i ,
In general, given a random variable x and its probability Abr,i , ϕbt,i and ϕbr,i can be regarded as truncated Gaussian
function f (x), the expected value of a function of x can be variables, whose relative parameters can be given here. Specif-
calculated by ically, based on the preliminaries on the truncated Gaussian
( ∞ distribution in Appendix A, the amplitude-error-related para-
E {g(x)} = f (x)g(x) dx. (65) meters can be expressed as
−∞
φ(aˆt ) − φ(bˆt )
In this case, f (x) is given by (59) with x ∈ [a, b], and g(x) = αt = αbt,0 + σbt , (69)
exp( j x), thus we formulate E {g(x)} as Zt
⎛ $ %2 ⎞
2 2 ⎝ aˆt φ(aˆt ) − bˆt φ(bˆt ) φ(aˆt ) − φ(bˆt ) ⎠
( b
σt = σbt 1 + − ,
Zt Zt
E {exp( j x)} = f (x, μ, σ ; a, b)exp( j x) dx
a (70)
( $ 2 % ˆ
1 b 1 x −μ φ(aˆr ) − φ(br )
= √ exp − + jx dx αr = αbr,0 + σbr , (71)
σ ⎛ Zr
2πσ Z a 2 $ %2 ⎞
⎛ 2 ⎞ 2 ⎝ aˆr φ(aˆr ) − bˆr φ(bˆr ) φ(aˆr ) − φ(bˆr ) ⎠
μ σr2 = σbr 1+ − ,
1 π ⎜ μ2 j+ σ2 ⎟ Zr Zr
= √ exp ⎝− + ⎠
2πσ Z 4 2σ1 2 2σ 2 4 2σ1 2 (72)
⎛# ⎞b where aˆt = (at − αbt,0 )/σbt , bˆt = (bt − αbt,0 )/σbt , aˆr =
1 j + σμ2 (ar − αbr,0 )/σbr , bˆr = (br − αbr,0 )/σbr , Z t = (bˆt ) − (aˆt ),
× erf ⎝ x− ) ⎠
2σ 2 and Z r = (bˆr ) − (aˆr ). The functions φ(·) and (·) are
2 2σ 2
1
given in (63) and (64) respectively.
a
3746 IEEE TRANSACTIONS ON COMMUNICATIONS, VOL. 65, NO. 9, SEPTEMBER 2017
+ h j1 ,k h j2 ,k h j1 ,i h j2 ,i h bt, j1 h ∗br, j1 h ∗bt, j2 h br, j2 }
B. E Ps,mrt j2 =1, j2 = j1
Considering the normalised symbol power of (83)
sk as
mentioned in
Section II, partial E Ps,mrt , = M(αt2 + σt2 )(αr2 + σr2 ). (84)
i.e., E |hkT Hbt wk,mrt |2 , can be computed as
And E |hkT Hbt vi∗ |2 can be obtained as in (81). Then apply-
E |hkT Hbt wk,mrt |2 ing ρd , λmrt in (23) and the completed result in (82), the
expectation of PI,mrt can be given as in (27).
∗ ∗
= E |hkT Hbt ( 1 − τ 2 Hbr hk + τ vk∗ )|2
A PPENDIX E
P ROOFS OF P ROPOSITION 3 AND 4
∗ ∗ 2
= (1 − τ 2 )E |hkT Hbt Hbr hk | + τ 2 E |hkT Hbt vk∗ |2 , To formulate the signal and interference power as well as
the output SINR in the case of ZF precoded system, the
(77) normalisation parameter λzf can be calculated first.
MI et al.: MASSIVE MIMO PERFORMANCE WITH IMPERFECT CHANNEL RECIPROCITY AND CHANNEL ESTIMATION ERROR 3747
−1 By using the technique in [29, eq. (14)], and considering the
∗ ∗ ∗
× ( 1 − τ Hbr H + τ V )
2 (86) the independence between H, Hbt , Hbr and V, we have
−1
(a) T 2
∗
≈ E tr (1 − τ )H Hbr Hbr H + τ V V
2 T ∗ 2 T ∗
(87) E |hk H bt w k,zf |
−1
+ $ %,
−1 ≈ E | − τ 2 (1 − τ 2 )tr H H∗ + τ 2 M
(b) 1 − τ2 ∗
1 br br
≈ E tr HT tr(Hbr Hbr )H∗ + τ 2 VT V∗
M ∗ ∗ 2
× hkT Hbt Hbr hk | (94)
(88)
1 (1 − τ 2 )αt2 αr2 |gt |2 |gr |2
(c) −1
= E tr Wsum (89) ≈ 2 . (95)
(1 − τ )(αr + σr ) + τ
2 2 2 2
(1 − τ 2 )(αr2 + σr2 ) + τ 2
(d) K
= , (90)
(M − K )((1 − τ 2 )(αr2 + σr2 ) + τ 2 ) Therefore, by introducing (38) and (95) into E Ps,zf , we can
obtain (39) in Proposition 3.
where (a) is obtained due to the independence between the
propagation channel H and the additive estimation error V.
Recall the assumption that M is large, the term HT Hbr Hbr ∗ H∗
C. E PI,zf
tends to be diagonal, thus we can have (b) based on [29,
eq. (14)]. Let Wsum represent the sum of HT H∗ and VT V∗ , Based on the complete result of E Ps,zf in Proposition 3
which are two independent Wishart matrices, then Wsum has and λzf in *(38),
K
the expected value of partial PI,zf omitting si
√
a Wishart distribution whose the degree of freedom is the sum (i.e., E{| i=1,i =k ρd λzf hk Hbt wi,zf | }) can be derived as
T 2
K √
B. E Ps,zf = E | ρd λzf hkT Hbt wi,zf |2 (96)
Consider the expectation of the signal i=1,i =k
power−1 in (17) and
(e)
recall wk,zf as the k-th column of ĤdH Ĥd ĤdH , we first = ρd λ2zf E hkT Hbt Wzf 2 − E |hkT Hbt wk,zf |2 (97)
T
compute the partial E Ps,zf , i.e., E |hk Hbt wk,zf |2 , as = ρd λ2zf E hkT Hbt ĤdH (Ĥd ĤdH )−1 2
follows,
− ρd λ2zf E |hkT Hbt wk,zf |2 (98)
E |hkT Hbt wk,zf |2 $
(f) ρd λ2zf (K − 1) αt2 + σt2 ((1 − τ 2 ) αr2 + σr2 + τ 2 )
= E |hkT Hbt [ĤdH (Ĥd ĤdH )−1 ]k |2 ≈ 2
M −K +1 (1 − τ 2 )(αr2 + σr2 ) + τ 2
∗ %
= E |hkT Hbt [( 1 − τ 2 Hbr H∗ + τ V∗ ) ( 1 − τ 2 HT Hbr (1 − τ 2 )αt2 αr2 |gt |2 |gr |2
−1 − 2 (99)
T ∗
+ τ V )( 1 − τ Hbr H + τ V )
2 ∗ ∗
]k | 2
(91) (1 − τ 2 )(αr2 + σr2 ) + τ 2
(g) ρd (K − 1) (1 − τ 2 )αt2 αr2 |gt |2 |gr |2
≈ E |hkT Hbt [( 1 − τ 2 Hbr ∗
H ∗ + τ V∗ ) ≈ αt2 + σt2 − ,
K (1 − τ 2 )(αr2 + σr2 ) + τ 2
−1
∗ ∗ 2 T ∗
(100)
× (1 − τ )H Hbr Hbr H + τ V V
2 T
]k | ,
2
(92)
where (e) is due to the property of the ZF precoding scheme
where [·]k represents the k-th column of the matrix inside, as in [10]. Based on Proposition 3 and [10], (f) is obtained
and (92) can be achieved by applying (a) in deriving λzf . by considering the diversity order of ZF, and (g) can be
Consider
T the discussion
−1 following (90),
when M is large,
−1 achieved under the assumption of the large ratio of M/K
∗
H Hbr Hbr H ∗ becomes (M/tr Hbr Hbr ) H H∗
∗ T
in the massive MIMO system. To this end, we reach the
asymptotically, and additionally, both HT H∗ and VT V∗ tend approximated expression of E{PI,zf } in Proposition 4.
3748 IEEE TRANSACTIONS ON COMMUNICATIONS, VOL. 65, NO. 9, SEPTEMBER 2017
Sami Muhaidat (M’08-SM’11) received the Ph.D. Rahim Tafazolli is currently a Professor and the
degree in electrical and computer engineering from Director of the Institute for Communication Systems
the University of Waterloo, Waterloo, ON, Canada, and 5G Innovation Center, University of Surrey,
in 2006. From 2007 to 2008, he was an NSERC U.K. He has authored over 500 research papers
Post-Doctoral Fellow with the Department of Elec- in refereed journals, international conferences and
trical and Computer Engineering, University of as Invited Speaker. He is the Editor of two books
Toronto, Canada. From 2008 to 2012, he was an Technologies for Wireless Future, Vol. 1 (Wiley,
Assistant Professor with the School of Engineering 2004) and Technologies for Wireless Future, Vol. 2
Science, Simon Fraser University, BC, Canada. He (Wiley, 2006). He also is Head of one of Europe’s
is currently an Associate Professor with Khalifa Uni- largest research groups. He was appointed as a
versity and also a Visiting Reader with the Faculty Fellow of Wireless World Research Forum in 2011,
of Engineering, University of Surrey, U.K. He is also a Visiting Professor in recognition of his personal contribution to the wireless world.
with the Department of Electrical and Computer Engineering, University
of Western Ontario, Canada. His research focuses on advanced digital sig-
nal processing techniques for communications, cooperative communications,
vehicular communications, MIMO, and machine learning. He has authored or
co-authored over 130 technical papers on these topics. He currently serves
as a Senior Editor of the IEEE C OMMUNICATIONS L ETTERS , an Editor
of the IEEE T RANSACTIONS ON C OMMUNICATIONS, and an Associate
Editor of the IEEE T RANSACTIONS ON V EHICULAR T ECHNOLOGY. He was
a recipient of several scholarships during his undergraduate and graduate
studies. He was also a recipient of the 2006 NSERC Post-doctoral Fellowship
Competition.