 Research
 Open access
 Published:
On the achievable rates of multiple antenna broadcast channels with feedbacklink capacity constraint
EURASIP Journal on Wireless Communications and Networking volumeÂ 2011, ArticleÂ number:Â 21 (2011)
Abstract
In this paper, we study a MIMO fading broadcast channel where each receiver has perfect channel state information while the channel state information at the transmitter is acquired by explicit channel feedback from each receiver through capacityconstrained feedback links. Two feedback schemes are considered, i.e., the analog and digital feedback. We analyze the achievable ergodic rates of zeroforcing dirtypaper coding (ZFDPC), which is a nonlinear precoding scheme inherently superior to linear ZF beamforming. Closedform lower and upper bounds on the achievable ergodic rates of ZFDPC with Gaussian inputs and uniform power allocation are derived. Based on the closedform rate bounds, sufficient and necessary conditions on the feedback channels to ensure nonzero and full downlink multiplexing gain are obtained. Specifically, for analog feedback in both AWGN and Rayleigh fading feedback channels, it is sufficient and necessary to scale the average feedback link SNR linearly with the downlink SNR in order to achieve the full multiplexing gain. While for the random vector quantizationbased digital feedback with angle distortion measure in an errorfree feedback link, it is sufficient and necessary to scale the number of feedback bits B per user as where M is the number of transmit antennas and is the average downlink SNR.
Introduction
The multiple antenna broadcast channels, also called multipleinput multipleoutput (MIMO) downlink channels, have attracted great research interest for a number of years because of their spectral efficiency improvement and potential for commercial application in wireless systems. Initial research in this field has mainly focused on the informationtheoretic aspect including capacity and downlinkuplink duality [1â€“4] and transmit precoding schemes [5â€“9]. These results are based on a common assumption that the transmitter in the downlink has access to perfect channel state information (CSI). It is well known that the multiplexing gain of a pointtopoint MIMO channel is the minimum of the number of transmit and receive antennas even without CSIT [10]. On the other hand, in a MIMO downlink with singleantenna receivers and i.i.d. channel fading statistics, in the case of no CSIT, user multiplexing is generally not possible and the multiplexing gain is reduced to unity [11]. As a result, the role of the CSI at the transmitter (CSIT) is much more critical in MIMO downlink channels than that in pointtopoint MIMO channels.
The acquisition of the CSI at the transmitter is an interesting and important issue. For timedivision duplex (TDD) systems, we usually assume that the channel reciprocity between the downlink and uplink can be exploited and the transmitter in the downlink utilizes the pilot symbols transmitted in the uplink to estimate the downlink channel [12]. The impact of the channel estimation error and pilot design on the performance of the MIMO downlink in TDD systems has been studied in [13â€“18]. For frequencydivision duplex (FDD) systems, no channel reciprocity can be exploited, and thus it is necessary to introduce feedback links to convey the CSI acquired at the receivers in the downlink back to the transmitter.
There are generally two kinds of CSI feedback schemes applied for MIMO downlink channels in the literature. The first scheme is called the unquantized and uncoded CSI feedback or analog feedback (AF) in short, where each user estimates its downlink channel coefficients and transmits them explicitly on the feedback link using unquantized quadratureamplitude modulation [12, 19â€“21]. The performance of the downlink linear zeroforcing beamforming (ZFBF) scheme with AF was evaluated through simulations in [19], and analytical results were given later in [20] and [21]. The second feedback scheme is called the vector quantized CSI feedback or digital feedback (DF) in short, where each user quantizes its downlink channel coefficients using some predetermined quantization codebooks and feeds back the bits representing the quantization index [20â€“27]. The MIMO broadcast channel with DF has been considered in [20, 21, 24â€“27]. In [24], a linear ZFBFbased multipleinput singleoutput (MISO) system is firstly considered with random vector quantization (RVQ) limited feedback link, in which the closedform expressions for expected SNR, outage probability, and bit error probability were derived. Then the vector quantization scheme based on the distortion measure of the angle between the codevector and the downlink channel vector was adopted in [20, 21, 25], and a closedform expression of the lower and upper bound on the achievable rate of ZFBF was derived. The results there also showed that the number of feedback bits per user must increase linearly with the logarithm of the downlink SNR to maintain the full multiplexing gain. Further, the authors in [26] pointed out that in the scenario where the number of users is larger than that of the transmit antennas, with simple user selection, having more users reduces feedback load per user for a target performance.
However, the aforementioned literatures [20, 21, 25] both focus on the linear ZFBF scheme, which is not asymptotically optimal compared with nonlinear schemes, such as zeroforcing dirtypaper coding (ZFDPC) [1]. So, it is necessary to investigate the limiting performance for MIMO downlink channels with limited digital feedback link. In [27], the authors analyzed both the linear ZFBF and nonlinear zeroforcing dirtypaper coding (ZFDPC) and derived loose upper bounds of the achievable rates with limited feedback. But different from the distortion measure of the angle in [20, 21, 25], another vector quantization approach based on the distortion measure of meansquare error (MSE) between the codevector and the downlink channel vector was adopted in [27]. Simultaneously, the exact lower bounds of the achievable rates with limited feedback for ZFDPC are not given in [27].
In this paper, we consider both analog and digital feedback schemes and study the achievable rates of a MIMO broadcast channel with these two feedback schemes, respectively. Different from [21, 25] focusing on the ZFBF, the ZFDPC is analyzed in our work which is inherently superior to the ZFBF due to its nonlinear interference precancelation characteristic and is asymptotically optimal [1] as [27]. Specially, for DF, we adopt the vector quantization distortion measure of the angle between the codevector and the downlink channel vector, and perform RVQ [20, 21, 25] for analytical convenience. Our main contributions and key findings in this paper are as follows:

A comprehensive analysis of the achievable rates of ZFDPC with either analog or digital feedback is presented, and closedform lower and upper bounds on the achievable rates are derived. For fixed feedbacklink capacity constraint, the downlink achievable rates of ZFDPC are bounded as the downlink SNR tends to infinity, which indicates that the downlink multiplexing gain with fixed feedbacklink capacity constraint is zero.

In order to achieve full downlink multiplexing gain, it is sufficient and necessary to scale the average feedback link SNR linearly with the downlink SNR for AF in both AWGN and Rayleigh fading feedback channels. While for DF in an errorfree feedback link, it is sufficient and necessary to scale the feedback bits per user as where M is the number of transmit antennas and is the average downlink SNR.
We note that although the ZFDPC with DF has been considered in [27], our work also differs from it in several aspects. First, a different distortion measure for channel vector quantization is applied in our work compared to that in [27] as stated earlier. Actually, for RVQbased DF, the angle distortion measure in [20, 21, 25] seems more reasonable than the MSE distortion measure in [27], which will be discussed in this paper. Second, a more thorough analysis about the downlink achievable rates (including upper and lower bounds) and multiplexing gain is presented in this paper than that in [27] (only upper bounds are given), covering both AF and DF.
The remainder of this paper is organized as follows. We give a brief introduction to the ZFDPC with perfect CSIT in Section 2. Comprehensive analysis of achievable rates and multiplexing gain for both AF and DF are presented in Sections 3 and 4, respectively. A rough comparison of AF and DF is also given in Section 4. Finally, conclusions and discussions for future work are given in Section 5.
Throughout the paper, the symbols (Â·) ^{T} , (Â·)* and (Â·) ^{H} represent matrix transposition, complex conjugate and Hermitian, respectively. [Â·] _{ m, n } denotes the element in the m th row and the n th column of a matrix. Â· represents the Euclidean norm of a vector. Â· and âˆ (Â·) denote the magnitude and the phase angle of a complex number, respectively. represents expectation operator. Var(Â·) is the variance of a random variable. denotes a circularly symmetric complex Gaussian random variable with mean of a and variance of b.
Zeroforcing dirtypaper coding with perfect CSIT
Consider a multiple antenna broadcast channel composed of one base station (BS) with M transmit antennas and K users each with a single receive antenna. Assuming the channel is at and i.i.d. block fading, the received signal at user i in a given block is
where h_{ i } âˆˆ â„‚^{1 Ã— M}is the complex channel gain vector between the BS and user i, x âˆˆ â„‚^{M Ã— 1}is the transmitted signal with a total transmit power constraint P, i.e., , and v_{ i } is the complex white Gaussian noise with variance N_{0}. For analytical convenience, we assume spatially independent Rayleigh fading channels between the BS and the users, i.e., the entries of h_{ i } are i.i.d. , and h _{i}, i = 1, ..., K are mutually independent. Under the assumption of i.i.d. block fading, h_{ i } is constant in the duration of one block and independent from block to block. By stacking the received signals of all the users into y = [y_{1}â‹¯ y_{ K } ] ^{T} , the signal model is compactly expressed as
where and v = [v_{1}v_{2} â‹¯ v_{ k } ]^{T}.
In this paper, we focus on the case K = M. If K < M, there will be a loss of multiplexing gain. The case K > M will introduce multiuser diversity gain and we will leave it for future work.
We first give a brief introduction of ZFDPC under perfect CSIT in this section.
In the ZFDPC scheme, the BS performs a QRtype decomposition to the overall channel matrix H denoted as H = GQ, where G is an M Ã— M lower triangular matrix and Q is an M Ã— M unitary matrix. We let x = Q^{H}d and the components of d are generated by successive dirtypaper encoding with Gaussian codebooks [1], then the resulting signal model with the precoded transmit signal can be written as:
From Equation 3 the received signal at user i is given by
where g_{ ij } = [G] _{ i, j } and d_{ i } , the i th entry of d, is the output of dirtypaper coding for user i treating the term as the âˆ‘_{j < i}g_{ ij }d_{ j } noncausally known interference signal.
From the total transmit power constraint , we have . If the transmit power is uniformly allocated to each user, i.e., , then for i.i.d. Rayleigh flat fading channel, the closedform expression of the achievable ergodic sum rate using the ZFDPC is given by [1, 27]:
and
where is the exponential integral function of order n[28].
The multiplexing gain [10] of ZFDPC under perfect CSIT is M, i.e.,
which is the full multiplexing gain of the downlink [1, 25].
Achievable rates of ZFDPC under analog feedback
In this section, we consider the analog feedback (AF) scheme, where each user estimates its downlink channel coefficients and transmits them explicitly on the feedback link without any quantization or coding. In order to focus on the impact of feedback link capacity constraint, we assume perfect CSI at each user's receiver (CSIR), and no feedback delay, i.e., the downlink CSI is fed back instantaneously in the same block as the subsequent downlink data transmission. For ease of analysis, we also impose two restrictions on the transmission strategy: (1) the total transmit power is equally allocated to the users and (2) independent Gaussian encoding is applied for each user at the transmitter side.
In order to compare the impact of different feedback channels for AF scheme, we first consider the AWGN feedback channels from Sections 3.1 to 3.4, then extend the analysis to the Rayleigh fading channels in Section 3.5.
Analog feedback in AWGN feedback channels
The M users estimate and feed back their complex channel coefficients using orthogonal feedback channels. A simplifying assumption of our work is firstly to consider the AWGN feedback channels, i.e., no fading in the feedback links. Each user takes Î²_{ fb }M (Î²_{ fb } â‰¥ 1 and Î²_{ fb }M is an integer) channel uses to feed back its M complex channel coefficients by modulating them with a group of orthonormal spreading sequences where s_{ m } is a 1 Ã— Î²_{ fb }M vector and , m = 1, ..., M, âˆ€ m â‰ n[12]. Then the received signals of the feedback channel from user i over Î²_{ fb }M channel uses can be written in a compact form:
where denotes the downlink channel gain from the m th transmit antenna of the BS to user i, the 1 Ã— Î²_{ fb }M vector with i.i.d. entries each distributed as denotes the additive white Gaussian noise on the feedback channel and SNR _{ fb } represents the average transmit power (and also the average SNR in the feedback channel).
After despreading, the sufficient statistic for estimating h_{ i, m } is obtained as written below:
where n_{ i, m } is the equivalent noise distributed as . MMSE estimation is performed to estimate h_{ i, m } . We denote the MMSE estimate of h_{ i, m } as and the corresponding estimation error as Î´_{i, m}. Since , and Î´_{i, m}are also circularly symmetric complex Gaussian random variables with zero mean, and their variances are:
Moreover, and Î´_{i, m}are independent from each other.
The vector quantization scheme using the distortion measure of MSE in [27] leads to the same statistics of the channel error as the AF scheme introduced above, so it is equivalent to the AF scheme. Therefore, the following analysis framework developed for AF can be readily applied to the case studied in [27].
Lower bound on the achievable rate of ZFDPC with AF in AWGN feedback channels
The BS collects the channel estimates (i, m = 1, ..., M) to form the estimated channel matrix , then simply we have the following relationship between H and :
where and [Î”]_{i, m}= Î´_{i, m}. Obviously, and Î” are mutually independent.
The BS performs ZFDPC treating the estimated channel matrix as the true one. The QR decomposition of can be written as , where is a lower triangular matrix and is a unitary matrix. The received signal is modeled as:
From the above equation, we can extract the received signal at user i as listed below:
where and Î”_{ i } is the i th row of Î”.
We have the following theorem that gives a lower bound on the achievable ergodic rate of ZFDPC under AF.
Theorem 1. If the downlink channel is i.i.d. Rayleigh fading and the feedback channels are AWGN channels, then the achievable ergodic rate of ZFDPC with AF is lower bounded as:
where
Proof. We first consider the lower bound on the achievable rate under given . Recall Equation 14 and introduce three notations: , and . Then we have the following signal model:
With uniform power allocation among the M users and independent Gaussian encoding , d_{ i } and d_{ j } (i â‰ j) are independent of each other. So x_{ i } and s_{ i } are mutually independent, but n_{ i } is no longer Gaussian and is not independent of x_{ i } , so we cannot directly apply the result of dirtypaper coding in [29] to derive the capacity of this channel.
As s_{ i } is still known at the transmitter, from [30], we know that the achievable rate of this kind of channel can be formulated in the form of mutual information as shown below:
where u_{ i } is an auxiliary random variable. Let u_{ i } = x_{ i } + Î±s_{ i } where Î± is called the inflation factor, then
where the first "â‰¥" follows from the fact that the entropy is larger than the conditional entropy, and the second "â‰¥" follows from the fact that a Gaussian random variable has the largest differential entropy when the mean and variance of a random variable are given.
Since , we have and h(x_{ i } ) = log_{2} (Ï€e Â· var(x_{ i } )). As and Then we can get
Substituting Equation 19 into Equation 18, we have
Choosing maximizes the righthand side (RHS) of the inequality in Equation 21, and thus, we get
The above inequality shows the lower bound on the achievable rate of user i under given . In the following paragraph, we derive closedform expression for the lower bound on the achievable ergodic rate under fading downlink channel.
Since , can be decomposed as where the entries of are i.i.d. and is a diagonal matrix. Denote the QR decomposition of as , then . Therefore, and where ^{.} From Lemma 2 in [1] we know that where denotes the central chisquare distribution with 2k degrees of freedom, whose pdf is f(z) = z^{k 1}e^{z}/(k  1)! Then by taking the means of both sides of the inequality in Equation 22, the achievable ergodic rate of user i is lower bounded as follows:
where
and E_{ j } (x) is the exponential integral function of order j. The closedform expression of the expectation in Equation 23 follows from the results in [31].
Thus, we have completed the proof.
Upper bound on the achievable rate of ZFDPC with AF in AWGN feedback channels
An upper bound of the achievable rate is derived by assuming a genie who can provide the encoders at the BS and the decoders at the users with some extra information. This upper bound is referred to as the genieaided upperbound.
Recall Equation 14 and rewrite it as follows:
where is the i th column of , and . Assume there is a genie who knows the values of and and tells these values to the encoder and decoder for user i, then with i.i.d. channel inputs , n_{ i } is Gaussian distributed with zero mean and variance and is independent of x_{ i } . Hence the channel for user i in Equation 25 will be recognized as a standard dirtypaper channel and its capacity is log_{2} (1 + Var(x_{ i } )/Var(n_{ i } )) [29]. Finally the downlink achievable ergodic rate can be upper bounded by the genieaided upper bound as given in the following theorem.
Theorem 2. If the downlink channel is i.i.d. Rayleigh fading and the feedback channels are AWGN channels, the achievable ergodic rate of ZFDPC is bounded by a genieaided upperbound as follows:
It is difficult to derive a closedform expression for the righthand side (RHS) in Equation 26, so we use Monte Carlo simulations to obtain this upper bound.
We plot the lower and upper bounds on the achievable ergodic sum rates obtained in Theorems 1 and 2 with fixed feedbacklink capacity constraint in Figure 1. We set M = 4, Î²_{ fb } = 1 and SNR _{ fb } = 10, 15, 20 dB. Achievable rate of ZFDPC with perfect CSIT is also plotted. An important observation from Figure 1 is that there is a ceiling effect on the achievable rate of ZFDPC under AF if the feedbacklink capacity constraint is fixed, i.e., the achievable rate is bounded as the downlink SNR tends to infinity. This can be explained intuitively that the power of the interference caused by imperfect CSIT always scales linearly with the signal power. A more rigid explanation is given in the following corollary:
Corollary 1. The achievable ergodic rate of ZFDPC with AF and fixed feedbacklink capacity is upper bounded for arbitrary downlink SNR:
where Î³ is the EulerMascheroni constant [32] and .
The proof of the corollary is in Appendix 1. Although this upper bound is quite loose, it does predict the ceiling effect on the achievable rate with fixed feedbacklink capacity.
Achievable downlink multiplexing gain with AF in AWGN feedback channels
From Corollary 1, it is obvious that the downlink multiplexing gain with fixed feedbacklink capacity is zero. In order to maintain a nonzero multiplexing gain, the feedback channel quality should improve at some rate as the downlink SNR increases, which is given in detail in the following theorem:
Theorem 3. For AF and AWGN feedback channels, and Î²_{ fb } SNR _{ fb } scales as , then a sufficient and necessary condition for achieving the multiplexing gain of M (0 < b_{0} < 1) is that b = b_{0}; a sufficient and necessary condition for achieving the full multiplexing gain of M is that b â‰¥ 1. Moreover, for b > 1, the asymptotic rate gap between the achievable rate of ZFDPC with perfect CSIT and that under AF is zero as the downlink SNR goes to infinity.
The proof of the theorem is in Appendix 2. Figure 2 illustrates the conclusions in Theorem 3. We set M = 4, Î²_{ fb } = 1, a = 0.5 and b = 0.5, 1 and 1.5. The curves coincide with the analytical results in Theorem 3. Note that increasing the value of a can further reduce the rate gap between the perfect CSIT case and the AF case.
Achievable rates and multiplexing gain with AF in Rayleigh fading feedback channels
In this subsection, we will further consider the effects of Rayleigh fading feedback channels to the achievable rates and multiplexing gain with AF. From Equation 11, we notice that D_{ i } is the function of the feedback channel . If the feedback channel is a fading channel, then D_{ i } will become a random variable and thus the lower bound we have obtained in Equation 15 is also random. So we need to take the mean of the RHS of the inequality in Equation 15 with respect to to get the new lower bound for the fading feedback channel case.
First, we introduce a lemma to help us derive the lower bound.
Lemma 1. f(x) = e^{x}E_{ n } (x) (n â‰¥ 1) is a convex and monotonically decreasing function.
The proof of this lemma is in Appendix 3. Then we have the following closedform lower bound on the downlink achievable ergodic rate in the Rayleigh fading feedback channels.
Theorem 4. If both the downlink channel and the feedback channels are i.i.d. Rayleigh fading, then the achievable ergodic rate of ZFDPC with AF and uniform power allocation is lower bounded as:
where
Proof: Taking the mean of the RHS of the inequality in Equation 15 with respect to , we get the lower bound for fading feedback channel:
where . The second "â‰¥" in Equation 30 follows from Lemma 1 and the Jensen inequality for convex functions.
Substituting Equation 11 into Equation 24, we have the following expression for Î²_{ i } :
Given that the entries of are i.i.d. , we have . Then Î³_{ i } can be calculated in a closed form:
This finishes the proof.
The upper bound of the achievable ergodic rate with fading feedback channels can also be derived from Equation 26 as the following corollary, and simulations are still needed to calculate the upper bound:
Corollary 2. The achievable ergodic rate of ZFDPC with AF and Rayleigh fading feedback channels is upper bounded for arbitrary downlink SNR:
where Î³ is the EulerMascheroni constant.
The proof is similar to that of Corollary 2 and thus omitted due to the page limit. From this corollary, we also have the observation for the fading feedback channel that when the downlink SNR goes to infinity while keeping the parameters of the feedback channel constant, there is also a ceiling effect on the achievable ergodic rate of ZFDPC.
Figure 3 illustrates the lower and upper bounds on the achievable ergodic sum rates of ZFDPC with AF in Rayleigh fading feedback channels. We set M = 4, SNR _{ fb } = 5, 10, 15 dB. The curves verify the analytical results in Theorem 4 and Corollary 2.
Figures 4 and 5 compare the achievable ergodic sum rates between ZFDPC and ZFBF schemes, in which we set M = 4, Î²_{ fb } = 1. In Figure 4, the achievable rates under fixed SNR _{ fb } = 5 dB and SNR _{ fb } = 15 dB are compared for ZFDPC and ZFBF schemes over different downlink SNR P/N 0, respectively. Here, the achievable ergodic sum rates of ZFBF are obtained by Monte Carlo simulations as in [19]. From Figure 4 it can be seen that the ZFDPC can outperforms the ZFBF in terms of achievable rates at the same settings of feedback channels. Figure 5 shows the achievable rates comparison under fixed downlink SNR P/N_{0} = 20 dB, from which the same conclusion can be drawn as Figure 4 shows.
From Corollary 2 we can see that the upper bound also tends to a constant. So the multiplexing gain is zero, which is the same as the AWGN feedback channel case. In order to maintain a multiplexing gain of M, the SNR of the feedback channel should scale with the downlink SNR, as shown in the following corollary:
Corollary 3. For AF and i.i.d. Rayleigh fading feedback channel, let Î²_{ fb } SNR _{ fb } scales as , a, b > 0, then if b â‰¥ 1, the multiplexing gain of the downlink will maintain as M;
if b < 1, the multiplexing gain of at least bM can be achieved. Moreover, for b > 1, the asymptotic rate gap between the achievable rate of ZFDPC with perfect CSIT and that under AF is zero as the downlink SNR goes to infinity.
The proof is quite similar to that of Theorem 3 and thus omitted here for brevity. We also notice that the results are the same as those for AWGN feedback channels, so no more simulation results are given here.
Achievable rates of ZFDPC under digital feedback
We now consider digital feedback (DF), where the downlink CSI are estimated and quantized into several bits using a vector quantization codebook at each user and the quantization bits are fed back to the BS. The feedback channel is assumed to be capacityconstrained and errorfree, i.e., as long as the number of feedback bits does not exceed the feedbacklink capacity in terms of the maximum feedback bits per fading block, the feedback transmission will be errorfree [23]. We also assume perfect CSIR and no feedback delay as in Section 3. Moreover, the same restrictions are imposed on the transmission strategy as in Section 3.
Digital feedback
The downlink channel vector h_{ i } of user i can be expressed as , where is the amplitude of h_{ i } and is the direction of h _{i}. Under the assumption that the entries of h_{ i } are i.i.d. , we have and is uniformly distributed on the M dimensional complex unit sphere [24]. Moreover, Î»_{ i } and are independent of each other [24].
The Random Vector Quantization (RVQ) [24, 25] is adopted in our analysis due to its analytical tractability and close performance to the optimal quantization. The quantization codebook is randomly generated for each quantization process, and we analyze performance averaged over all such choices of random codebooks, in addition to averaging over the fading distribution. At the receiver end of user i, is quantized using RVQ. First, a random vector codebook is generated for user i by selecting each of the N vectors independently from the uniform distribution on the M dimensional complex unit sphere, i.e., the same distribution as . The codebooks for different users are also independently generated to avoid the case that multiple users quantize their channel directions to the same quantization vector. The BS is assumed to know the codebooks generated each time by the users. Then the code vector that has the largest absolute square inner product with is picked up as the quantization result, mathematically formulated as follows:
Then the B = log_{2}N quantization bits are fed back to the BS.
We note that Equation 34 is actually based on the distortion measure of the angle between the codevector and the downlink channel vector, which is equivalent to (2) in [25] and (51) in [21]. It is obviously different from the distortion measure of MSE adopted in [27]. We also find out that the MSE distortion measure in [27] is similar to the distortion measure (Equation 12) used in AF in our work; therefore, the analysis based on MSE distortion measure in [27] can be easily incorporated into our AF analysis framework.
Define and , then we introduce two lemmas that are useful for further discussion.
Lemma 2. [24]: The cumulative distribution function of Î½_{ i } is
Lemma 3. [33]: Î¸_{ i } is uniformly distributed in the interval (Ï€, Ï€] and independent from Î½_{ i } .
In the next subsection, we will find that the information of Î¸_{ i } is necessary for phase compensation at user i's receiver. Therefore, we need to store the value of Î¸_{ i } at user i's receiver. Notice that the norm information of the channel vectors is not conveyed to the BS.
Lower bound on the achievable rate of ZFDPC with DF
Under the assumption that the feedback channel is error free, the B bits conveyed by each user can be received by the BS correctly. The BS reconstructs the quantized channel vector using the B bits fed back from user i and treats as the true channel vector. Then the BS performs ZFDPC using the reconstructed channel matrix as did in Section 3.2. The QR decomposition of can be written as , where is a lower triangular matrix and is a unitary matrix. The received signal is modeled as:
where is a diagonal matrix, and .
At each user's receiver, a phase compensation operation is carried out by multiplying to the received signal of user i, written in a compact form as follows:
where is a diagonal matrix, has the same statistics as v.
Denote , then we can rewrite it in a compact form, i.e., , where . Equation 37 can be rewritten as:
From the above equation we can extract the received signal at user i as listed below:
We first give three lemmas useful for deriving the lower bound of the achievable rate of ZFDPC under DF.
Lemma 4. .
Lemma 5. in which
where N = 2 ^{B} , and .
Lemma 6. f(x) = e^{x}E_{ n } (x) (n â‰¥ 1) is a monotonically decreasing function.
The proofs of these three lemmas are in Appendices 46, respectively. Then we have the following theorem on the lower bound of the achievable ergodic rate of ZFDPC under DF.
Theorem 5. If the downlink channel is i.i.d. Rayleigh fading and the feedback channels are errorfree, then the achievable ergodic rate of ZFDPC with DF is lower bounded as:
where Ïˆ(x) is the Euler psi function [28] and is given in Lemma 5.
Proof: Since Î»_{ i } is known by the receiver of user i, the signal model in Equation 39 can be transformed into:
where and . Using the same methodology as in Section 3.2, we arrive at the following inequality for the downlink achievable rate of user i under fixed and Î›:
With Gaussian inputs and uniform power allocation, , then .
In the digital feedback scheme, the channel norm information is not conveyed back to the BS, i.e., Î»_{ i } is not known at the BS, so we are not able to adjust Î± according to Var(x_{ i } ) and Var(n_{ i } ). We just simply choose Î± = 1, then is lower bounded by:
Since , then
Substituting Equation 45 into Equation 44 we finally get the following lower bound under fixed and Î›:
Based on the above results, we can derive the lower bound for the achievable ergodic rate in the Rayleigh fading downlink channel. Taking the mean of both sides of the inequality in Equation 46, we have
where the second "â‰¥" follows from the Jensen inequality of the concave function.
From Lemma 4, we can calculate the closedform expression for :
where Ïˆ(x) is the Euler psi function [28].
Since , the closedform expression for the third term in Equation 47 can be calculated as shown below:
where the closedform expression of has been obtained in Lemma 5.
Substituting Equations 48 and 49 into Equation 47, we finally get the conclusion. â–
Remark: From the above theorem and the monotony of e^{x}E_{ n } (x) shown in Lemma 6, we can see that decreasing will raise the lower bound on the achievable rate. Now we give an explanation on the necessity of the phase compensation operation at each receiver. In the absence of the phase compensation, the channel error vector would be . Then
From Lemma 3, Î¸_{ i } is independent from Î½_{ i } and , then
and thus, the same lower bound remains no matter how many bits are used to quantize . Therefore, the information of Î¸_{ i } and phase compensation plays an important role in the DF scheme, which is different from the case in [25] where no phase compensation is needed.
Upper bound on the achievable rate of ZFDPC with DF
The upper bound on the achievable rate of ZFDPC with DF can be obtained in a similar way as in Section 3.3.
Recall Equation 42 and rewrite it as follows:
where is the i th column of , and . We also assume there is a genie who knows the values of Î»_{ i } , and , then following the methodology in Section 3.3, we can see that the channel for user i is also recognized as a standard dirtypaper channel. Therefore, the downlink achievable ergodic rate can be upper bounded by the genieaided upper bound as shown below:
Theorem 6. The achievable ergodic rate of ZFDPC with DF is bounded by a genieaided upperbound, i.e.,
Simulations are also necessary to calculate the upper bound given in Theorem 6.
The lower and upper bounds on the achievable ergodic sum rate obtained in Theorems 5 and 6 with fixed feedbacklink capacity constraint are plotted in Figure 6. We set M = 4 and calculate three groups of curves where the number of feedback bits per user, i.e., B, is 12, 16 and 20, respectively. Achievable rate of ZFDPC with perfect CSIT is also plotted. The curves in Figure 6 reveal the ceiling effect on the achievable rate which is just the same as the AF case.
From Theorem 6, we also derive a closedform upper bound for the achievable rate with DF as shown below.
Corollary 4. The achievable ergodic rate of ZFDPC with DF and a fixed number of feedback bits per user B is upper bounded for arbitrary downlink SNR:
The proof is similar to those of Corollaries 1 and 2, and thus omitted due to the page limit. Although this upper bound is quite loose, it does also predict the ceiling effect on the achievable rate with fixed feedback bits per user.
Achievable downlink multiplexing gain with DF
The multiplexing gain of the downlink with DF and fixed feedback bits per user is zero due to the ceiling effect. In order to maintain nonzero multiplexing gain, the feedback bits per user should scale with the downlink SNR. With Theorem 5 and Corollary 4, we can derive the following sufficient and necessary conditions on the scaling to ensure nonzero and full multiplexing gain:
Theorem 7. For DF and errorfree feedback channels, assume that the number of feedback bits per user scales according to:
then we have the following conclusions:

(1)
A sufficient and necessary condition for achieving the downlink multiplexing gain of Î± _{0} M (0 < Î± _{0} < 1) is that Î± = Î± _{0}.

(2)
A sufficient and necessary condition for achieving the full downlink multiplexing gain of M is that Î± â‰¥ 1.

(3)
If Î± > 1, then
(56)
The proof of Theorem 7 is similar to that of Theorem 3 and thus omitted due to the page limit here. Note that the same conclusion has been drawn for ZFBF in [25]. Figure 7 illustrates the conclusions in Theorem 7. We set M = 4 and Î± = 0.5, 1, 1.5. The curves coincide with the analytical results in Theorem 7.
Comparison of AF and DF
In order to compare DF with AF, we need to relate the number of feedback bits B per user with SNR _{ fb } and the number of channel uses in the feedback link, or equivalently Î²_{ fb } . In this paper, we make an idealistic assumption that the AWGN feedback link can operate errorfree at its capacity, i.e., it can reliably transmit log2 (1 + SNR_{fb}) bits per channel use. This assumption describes the maximum possible number of bits that can ever be conveyed correctly through the AWGN feedback channel. In [21], the authors have pointed out that for fair comparison, Î²_{ fb }M feedback channel uses in AF should correspond to Î²_{ fb } (M  1) feedback channel uses in DF, since no channel norm information is fed back in DF and a system using DF could use one feedback channel symbol to transmit the norm information. Thus, the number of feedback bits per user in the AWGN feedback channel is B = Î²_{ fb } (M  1) log_{2} (1 + SNR_{fb}).
Now we can make a comparison about the performance of AF and DF. Assume for DF, the feedback bits per user scale as , then from Theorem 7, we know that the multiplexing gain of M can be achieved. Using the relationship between B and SNR _{ fb } obtained above, we can derive the connection of SNR _{ fb } to the downlink SNR:
Then from Theorem 3, we can see that as long as Î²_{ fb } > 1, only a multiplexing gain of less than M can be achieved for AF. This means the DF scheme is asymptotically superior to the AF scheme when Î²_{ fb } > 1. Figure 8 compares the achievable rates under AF and DF for Î²_{ fb } = 1 and 2. As analyzed above, the asymptotic performance of DF is superior to AF when Î²_{ fb } = 2. The conclusion is, however, somewhat optimistic since we assume the AWGN feedback channel can operate errorfree at its capacity. The true performance of DF may degrade when some specific coding scheme is used. A thorough comparison when using practical coding schemes for DF, such as uncoded QAM modulation discussed in [21], is for future work.
Conclusion and future work
We have investigated the performance of ZFDPC in the multiuser MIMO downlink of a FDD system where the CSIT is obtained through capacityconstrained feedback channels. Two CSI feedback schemes, i.e., the analog and digital feedback schemes, are considered in our work. Closedform expressions for lower and upper bounds on the achievable ergodic rates of ZFDPC with Gaussian inputs and uniform power allocation are derived. Based on the closedform rate bounds, sufficient and necessary conditions on the feedback channels to ensure nonzero and full downlink multiplexing gain are obtained. Our primary results show that for AF in both AWGN and Rayleigh fading feedback channels, it is both sufficient and necessary to scale the average feedback link SNR linearly with the downlink SNR in order to achieve full downlink multiplexing gain. While for the RVQbased DF with angle distortion measure in an errorfree feedback link, it is both sufficient and necessary to scale the feedback bits per user as where M is the number of transmit antennas and is the average downlink SNR.
We also mention that there are several issues not considered in our current work. In this paper, we have assumed perfect CSI at the users' receivers. In a practical system, however, there are always channel estimation errors due to finite number of training symbols, which will further degrade the performance of ZFDPC. The impact of the feedback delay of the downlink CSI on the achievable rates is also not considered, which could be significant when the downlink channel is fast fading. For DF scheme, we apply the RVQ for quantization of the channel vector in order to make the analysis easier. Generalization to arbitrary vector quantization codebooks is an interesting issue and we expect the same conclusions could be drawn. In the analysis of DF scheme, we made an optimistic assumption that the AWGN feedback link can operate errorfree at its capacity. This assumption can be removed by considering practical feedback transmission schemes, such as the uncoded QAM modulation discussed in [21]. Throughout the paper, we have assumed that the number of users is equal to the number of transmit antennas. We conjecture that when the number of users is larger than that of transmit antennas and we properly design the user selection scheme, the feedback link quality (average feedback SNR for AF and the number of feedback bits for DF) per user could be less stringent while keeping the same performance. Finally, the analysis of the achievable ergodic rates are carried out with the restrictions of Gaussian inputs and uniform power allocation. Determining whether Gaussian input is optimal and the optimal power allocation scheme under imperfect CSIT is a challenging problem.
Appendix 1: Proof of Corollary 1
From Theorem 2 we have:
From the proof of Theorem 1, we know that
Since Î” is independent of , Î”_{ i } is also independent of and , so
As for the term , because the entries of Î”_{ i } are i.i.d. as and , we have and thus where . Then we have:
where Î³ is the EulerMascheroni constant [32]. Substituting Equations A2, A3 and A4 into Equation A1, we arrive at the conclusion.
Appendix 2: Proof of Theorem 3
Sufficient Condition
Denote the RHS of the inequalities in Theorem 1 and Corollary 1 as and respectively, then we have:
Let , a, b_{0} > 0. Then the expression of Î²_{ i } is expanded as:
Then we can find out that if 0 < b_{0} < 1 and Î²_{ i } ~ O(N_{0}/P) if b_{0} â‰¥ 1.
We now introduce two results about the exponential integral functions in [34]:
where Î³ is the EulerMascheroni constant. From Theorem 1 and Equations B3 and B4, the lower bound of will have the following asymptotic behavior:
Therefore,
From Corollary 1 we have:
Substitute Equations B6 and B7 into Equation B1 and notice that the downlink multiplexing gain cannot exceed M, then the following holds:
For the case b_{0} > 1, the following holds:
Therefore, the asymptotic rate gap, i.e., the limit of is:
Necessary Condition
If where 0 < b_{0} â‰¤ 1, then
Let , a, b > 0. From Equations B6, B7 and B11, we have min(b, 1) â‰¤ b_{0} â‰¤ b. So for the case 0 < b_{0} < 1, we have b â‰¤ b_{0} â‰¤ b and thus b = b_{0}; while for the case b_{0} = 1, we have b â‰¥ 1. â–
Appendix 3: Proof of Lemma 1
Using the fact that [28], we can calculate the firstorder derivative as shown below:
Using the definition of E_{ n } (x), we can expand the term E_{ n } (x)  E_{n  1}(x) as:
And thus f'(x) < 0 which indicates that f(x) = e^{x}E_{ n } (x) is a monotonically decreasing function.
Further, the secondorder derivative is calculated as follows:
Since f"(x) > 0, we can conclude that f(x) is convex. â–
Appendix 4: Proof of Lemma 4
Since we use RVQ, has the same distribution as , i.e., . Therefore, , i.e., the entries of are i.i.d. . Note that is the QR decomposition of where is a lower triangular matrix and is a unitary matrix. Since is the i th diagonal element of , then from [1] we can conclude that .
Appendix 5: Proof of Lemma 5
From the definition of Î” _{i}, we have
where â„œ(Â·) stands for the real part of a complex number. We also have
Therefore, the following holds:
Using Lemma 2, we can derive the closedform expressions for as follows:
Let x = 1  Î½, then
(1  x^{M  1}) ^{N} can be expanded as . Moreover, we have the following integral [28]:
Substituting the above results into Equation E4, we finally get
Thus, we have completed the proof. â–
Appendix 6: Proof of Lemma 6
Using the fact that [28], we can calculate the firstorder derivative as shown below:
Using the definition of E_{ n } (x), we can expand the term E_{ n } (x)  E_{n  1}(x) as:
So f'(x) < 0 which indicates that f(x) = e^{x}E_{ n } (x) is a monotonically decreasing function.
References
Caire G, Shamai (Shitz) S: On the achievable throughput of a multiantenna Gaussian broadcast channel. IEEE Trans Inf Theory 2003, 49(7):16911706. 10.1109/TIT.2003.813523
Vishwanath S, Jindal N, Goldsmith A: Duality, achievable rates, and sumrate capacity of Gaussian MIMO broadcast channels. IEEE Trans Inf Theory 2003, 49(10):26581668. 10.1109/TIT.2003.817421
Yu W, Cioffi JM: Sum capacity of Gaussian vector broadcast channels. IEEE Trans Inf Theory 2004, 50(9):18751892. 10.1109/TIT.2004.833336
Weingarten H, Steinberg Y, Shamai (Shitz) S: The capacity region of the Gaussian multipleinput multipleoutput broadcast channel. IEEE Trans Inf Theory 2006, 52(9):39363964.
Wiesel A, Eldar YC, Shamai S: Linear precoding via conic optimization for fixed MIMO receivers. IEEE Trans Signal Process 2006, 54(1):161176.
Codreanu M, Tolli A, Juntti M, Latvaaho M: Joint design of txrx beamformers in MIMO downlink channel. IEEE Trans Signal Process 2007, 55(9):46394655.
Windpassinger C, Fischer RFH, Vencel T, Huber JB: Precoding in multiantenna and multiuser communications. IEEE Trans Wirel Commun 2004, 3(4):13051316. 10.1109/TWC.2004.830852
Hochwald BM, Peel CB, Swindlehurst AL: A vectorperturbation technique for nearcapacity multiantenna multiuser communication. Part II: perturbation. IEEE Trans Commun 2005, 53(3):537544. 10.1109/TCOMM.2004.841997
Lin S, Su H: Practical vector dirty paper coding for MIMO Gaussian broadcast channels. IEEE J Sel Areas Commun 2007, 25(7):13451357.
Zheng L, Tse D: Diversity and multiplexing: a fundamental tradeoff in multipleantenna channels. IEEE Trans Inf Theory 2003, 49(5):10731096. 10.1109/TIT.2003.810646
Jafar SA, Goldsmith A: Isotropic fading vector broadcast channels: the scalar upper bound and loss in degrees of freedom. IEEE Trans Inf Theory 2005, 51(3):848857. 10.1109/TIT.2004.842621
Marzetta T, Hochwald B: Fast transfer of channel state information in wireless systems. IEEE Trans Signal Process 2006, 54(4):12681278.
Piantanida P, Duhamel P: Achievable rates for the fading MIMO broadcast channel with imperfect channel estimation. Proceedings of Allerton Conference on Communication, Control, and Computing, 2729 Sept 2006
Dana AF, Sharif M, Hassibi B: On the capacity region of multiantenna Gaussian broadcast channels with estimation error. ISIT 2006, Seattle, USA, 914 July, 2006 18511855.
Marzetta T: How much training is required for multiuser MIMO? 40th Asilomar Conference on Signals, Systems and Computers, 2006 (ACSSC'06) 2006, 359363.
Ding P, Love D, Zoltowski M: On the sum rate of multiantenna broadcast channels with channel estimation error. 39th Asilomar Conference on Signals, Systems and Computers 2005, 15241528.
Shi J, Ho M: MIMO broadcast channels with channel estimation. Proceedings of IEEE International Conference on Communication (ICC) 2007, 10421047.
Samardzija D, Mandayam N: Impact of pilot design on achievable date rates in multiple antenna multiuser TDD systems. IEEE J Sel Areas Commun 2007, 25(7):13701379.
Samardzija D, Mandayam N: Unquantized and uncoded channel state information feedback in multipleantenna multiuser systems. IEEE Trans Commun 2006, 54(7):13351344.
Caire G, Jindal N, Kobayashi M, Ravindran N: Quantized vs. analog feedback for the MIMO downlink: a comparison between zeroforcing based achievable rates. IEEE International Symposium on Information Theory, 2007 (ISIT 2007) 2007, 20462050.
Caire G, Jindal N, Kobayashi M, Ravindran N: Multiuser MIMO downlink made practical: achievable rates with simple channel state estimation and feedback schemes. IEEE Trans Inf Theory 2007, in press.
Dabbagh AD, Love DJ: Feedback ratecapacity loss tradeoff for limited feedback MIMO systems. IEEE Trans Inf Theory 2006, 52(5):21902202.
Lau V, Liu Y, Chen T: On the design of MIMO blockfading channels with feedbacklink capacity constraint. IEEE Trans Commun 2004, 52(1):6270. 10.1109/TCOMM.2003.822171
AuYeung CK, Love DJ: On the performance of random vector quantization limited feedback beamforming in a MISO system. IEEE Trans Wirel Commun 2007, 6(2):458462.
Jindal N: MIMO broadcast channels with finiterate feedback. IEEE Trans Inf Theory 2006, 52(11):50455060.
Yoo T, Jindal N, Goldsmith A: Multiantenna downlink channels with limited feedback and user selection. IEEE J Sel Areas Commun 2007, 25(7):14781491.
Ding P, Love D, Zoltowski M: Multiple antenna broadcast channels with shape feedback and limited feedback. IEEE Trans Signal Process 2007, 55(7):34173428.
Gradshteyn IS, Ryzhik IM: Table of Integrals, Series, and Products. 6th edition. Academic Press; 2000.
Costa M: Writing on dirty paper. IEEE Trans Inf Theory 1983, 29(3):439441. 10.1109/TIT.1983.1056659
Gelfand S, Pinsker M: Coding for channel with random parameters. Probl Control Inf Theory 1980, 9(1):1931.
Shin H, Lee JH: Closedform formulas for ergodic capacity of MIMO Rayleigh fading channels. Proceedings of IEEE International Conference on Communication (ICC'2003) 2003, 29963000.
Finch SR: Mathematical Constants. Cambridge University Press, Cambridge, England; 2003.
Zeng E, Zhu S, Liao X, Zhong Z: Impact of limited feedback on the performance of MIMO macrodiversity transmission. IEEE Wireless Communication Networking Conference, Las Vegas, USA, 2008
Abramowitz M, Stegun IA: Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, 9th printing. Dover, New York; 1972.
Acknowledgements
This work was supported by China's 863 ProjectNo. 2009AA011501, National Natural Science Foundation of ChinaNo. 60832008, China's National S&T Major ProjectNo. 2008ZX03003004, Program for Changjiang Scholars and Innovative Research Team in University (PCSIRT), National Science and Technology Pillar Program No. 2008BAH30B09 and National Basic Research Program of China No. 2007CB310608.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authorsâ€™ original submitted files for images
Below are the links to the authorsâ€™ original submitted files for images.
Rights and permissions
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.
About this article
Cite this article
Chen, X., Miao, W., Li, Y. et al. On the achievable rates of multiple antenna broadcast channels with feedbacklink capacity constraint. J Wireless Com Network 2011, 21 (2011). https://doi.org/10.1186/16871499201121
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/16871499201121