The Fading Number of a Multiple-Access Rician Fading Channel Intermediate Report of NSC Project Capacity Analysis of Various Multiple-Antenna Multiple-Users Communication Channels with Joint Estimation and Detection Date: 31 May 9 Project-Number: NSC 96-1-E-9-1-MY3 Project Duration: 1 August 7 31 July 1 Funded by: National Science Council, Taiwan Author: Stefan M. Moser Organization: Information Theory Laboratory Department of Communication Engineering National Chiao Tung University Address: Engineering Building IV, Office 77 11 Ta Hsueh Rd. Hsinchu 31, Taiwan E-mail: stefan.moser@ieee.org
Abstract The fading number of a noncoherent two-user Rician fading channel is derived. The fading number is the second term in the high-snr expansion of the sum-rate capacity of this multiple-access channel. It is shown that the fading number is identical to the fading number of the single-user Rician fading channel that is obtained when the user seeing the worse channel is switched off. Keywords: Channel capacity, fading number, flat fading, high signal-to-noise ratio SNR), multiple-access. 1
Contents 1 Introduction Channel Model and Previous Results 3 Main Result 4 4 Proof of Main Result 5 5 Conclusions 8 A Proof of Proposition 3 8 Bibliography 9 1 Introduction In a noncoherent fading channel where neither transmitter nor receiver know the fading realization, it has been shown in [1] that the capacity at high SNR behaves fundamentally different from the usual asymptotics seen in AWGN channels or in coherent fading channels: instead of a logarithmic growth in the SNR, the capacity only grows double-logarithmically. In detail, we have Csnr) = log1 + log1 + snr)) + χ + o1) 1) where o1) denote terms that tend to zero as the SNR tends to infinity; and where χ is a constant independent of the SNR that is denoted fading number. The value of χ depends on the exact specifications of the fading law. Note that even though the fading number is defined only in the limit when the available SNR tends to infinity, it has practical relevance also for finite SNR because it is a good estimator for the threshold where the capacity changes from the normal logarithmic growth to the highly inefficient double-logarithmic growth. In the situation of single-user fading channels with multiple antennas both at transmitter and receiver and with a fading process that may contain memory, a formula for the fading number has been derived in []. The present paper is a first step towards extending the setup to a multiple-user situation. Channel Model and Previous Results We consider a multiple-access channel with two independently transmitting users and one receiver. All terminals are assumed to have only one antenna, and the two fading channels from each user to the receiver are assumed to suffer from independent Rician fading. The channel output Y C can then be written as Y = H 1 x 1 + H x + Z ) = d 1 x 1 + H 1 x 1 + d x + H x + Z, 3)
where x i C denotes the input of user i, i = 1, ; where the random variables H i describe Rician fading H i + d i = H i N C d i, 1), i = 1,, 4) hence, H i are zero-mean, circularly symmetric, complex Gaussian random variables with variance 1) and are assumed to be independent H 1 H ; 5) and where Z N C, σ ) denotes additive, zero-mean, circularly symmetric Gaussian noise, independent from the fading vector H 1, H ) T. We assume a noncoherent situation, i.e., neither transmitter nor receiver have knowledge of the current fading realization, they only know the fading distributions. Moreover we assume two different types of input constraints: a peak-power constraint and an average-power constraint. We use E to denote the maximum allowed total instantaneous power in the former case, and to denote the allowed total average power in the latter case. This total power then still must be split and distributed among the users. The sum-rate capacity CE) of the channel 3) is given by CE) = IX 1, X ; Y ) 6) where the remum is over the set of all probability distributions on X = X 1, X ) T for which both components are independent and satisfy the input constraint, i.e., for a peak-power constraint, or X 1 + X E, almost surely 7) E [ X 1 + X ] E 8) for an average-power constraint. Note that the difference of this multiple-access channel MAC) to the multipleinput single-output MISO) fading channel with two transmit antennas and one receive antenna is that in the latter both transmit antennas can cooperate, while in the former they are assumed to be independent. Hence, it immediately follows from this that the MAC sum-rate capacity can be upper-bounded by the MISO capacity: C MAC E) C MISO E). 9) On the other hand, obviously the sum rate cannot be smaller than the single-user rate that can be achieved if the weaker of the two users is switched off, i.e., C MAC E) max i=1, C SISO,iE). 1) Using this and specializing [1, Theorem 4.] and [4, Theorem 6.1] to memoryless MISO and SISO fading, respectively, we get {C MAC E) log log Eσ } <. 11) lim We now define the MAC fading number accordingly see [1, Definition 4.6], [4, Definition 6.13]) as χ MAC lim {C MAC E) log log Eσ }. 1) 3
Prima facie the MAC fading number depends on whether a peak-power constraint 7) or an average-power constraint 8) is imposed on the input. However, it will turn out that the MAC fading number is identical for both cases. From [1, Corollary 4.8] we know that χ MISO = log d 1 + d ) Ei d 1 + d ) 1 13) were Ei ) is the exponential integral function defined as Hence, from 9) we have Ei x) e t x t dt, x >. 14) χ MAC χ MISO = log d 1 + d ) Ei d 1 + d ) 1. 15) On the other hand from 1) χ MAC max i χ i,siso = max i { log di ) Ei d i ) 1 }. 16) Using the monotonicity of ξ logξ) Ei ξ) we therefore see that χ MAC = log d MAC) Ei d MAC ) 1 17) where we have introduced d MAC to be a nonnegative real number satisfying max { d 1, d } d MAC d 1 + d. 18) In the following we will evaluate the exact value of d MAC. Note that from [5] we actually know that with strict inequality. 3 Main Result d MAC < d 1 + d 19) Theorem 1. Assume a Rician fading channel as defined in Section. Then the sum-rate fading number is given by where χ MAC = log d MAC) Ei d MAC ) 1, ) This shows that the lower bound in 18) is tight. d MAC = max { d 1, d }. 1) Note that if the magnitude of the line-of-sight component of one user is strictly smaller than of the other user, then this sum rate can only be achieved if the user with the weaker d i is switched off. If both line-of-sight components have identical magnitudes, then the sum rate can be achieved by time-sharing. Remark. Note that Theorem 1 continues to hold even if we do not allow power optimization over the users, i.e., if we constrain the inputs to satisfy X i E, almost surely, i. ) 4
4 Proof of Main Result The proof of Theorem 1 consists of two parts. The first part is given already in 18). There it is shown that max{ d 1, d } is a lower bound to d MAC. Note that this lower bound can be achieved using an input that satisfies the peak-power constraint. The second part will be to prove that max{ d 1, d } is also an upper bound. We will prove this under the assumption of an average-power constraint. Since a peak-power constraint is more stringent than an average-power constraint, the result follows. The proof of this upper bound relies strongly on a generalization of the concept of input distributions that escape to infinity as introduced in [1] and in [6]. Proposition 3. Let {Q E } E> be a family of joint input distributions of the two-user MAC given in 3) parameterized by the available power E, E >, satisfying the average-power constraint 8) and IQ E, W) lim = 1. 3) log log E Then at least one user s input distribution must escape to infinity, i.e., for any E >, { lim Q E X 1 E } { X E }) = 1. 4) Proof. See the appendix. Using [1, Eq. 5)] for our channel model we get after some steps the bound IX 1, X ; Y ) ν [ β 1 + E log d 1X 1 + d X ] [ X 1 + X E Ei d 1X 1 + d X )] X 1 + X + ǫ ν + log Γ α, ν β ) + αlog β log σ + γ) + 1 β 1 + d max ) E + σ ) 5) which with the right choice of the free parameters α, β, and ν leads to the upper bound { [ d1 X 1 + d X ] χ MAC lim Q E A log E X 1 + X Ei E [ d1 X 1 + d X X 1 + X ]) } 1. 6) Here we define A be the set of joint input distributions such that X 1 X and the input distribution of at least one user escapes to infinity when the available power E tends to infinity, i.e., { { A X 1, X X 1 X, lim Q E X1 E / } { X E / }) = 1 } for any fixed E >. 7) 5
In the following we will only prove the special case where d 1 = d = d. The proof of the case of general d 1, d is omitted. Noting that ξ logξ) Ei ξ) is monotonically increasing and writing X i = R i e iφ i, we see that our problem becomes [ dx1 + dx ] [ d X 1 + X ] E Q E A X 1 + X = E Q E A = E Q E A X 1 + X 8) [ d 1 + X )] 1 X cosφ 1 Φ ) X 1 + X 9) [ ] ) X1 X cosφ 1 Φ ) X 1 + X 3) ] ), 31) = d 1 + E Q E A [ d 1 R1 R + E Q E A R1 + R where in the last inequality we upper-bounded cosφ 1 Φ ) 1. The result now follows once we can show that [ ] lim R1 R E Q E A R1 + =. 3) R where To that goal let E [ X 1 ] E 1 33) E [ X ] E 34) E 1 + E = E. 35) Note that from Proposition 3 we know that if E then E 1 or E or both. Without loss of generality assume that E 1. Note further that r 1 r r 1 + r 1 36) and that r 1 r 1r is monotonically decreasing in r r1 1 if r 1 > r. Hence, for an +r arbitrary choice of a > 1, [ ] lim R1 R E Q E A R1 + R [ ] lim R1 R E Q R1 A 1 R1 + 37) R = lim r 1 r Q R1 A 1 r1 + dq R1 r 1 )d r ) 38) r ar lim r 1 r Q R1 A 1 r1 + dq R1 r 1 )d r ) r + lim Q R1 A 1 r 1 r ar r1 + r dq R1 r 1 )d r ). 39) Here in the first inequality we define A 1 as the set of all input distributions of the first user that escape to infinity, we use that from E we know that E 1 and take the remum over all without any constraint on the average power 6
and no dependence on Q R1. The last inequality then follows from splitting the integration into two parts and from the property that the remum of a sum is always upper-bounded by the sum of the rema. Next, let s look at the first term in 39): lim Q R1 A 1 lim ar Q R1 A 1 lim = = lim r 1 r r 1 + r }{{} 1 ar ar Q R1 A 1 ar Q R1 A 1 dq R1 r 1 )d r ) dq R1 r 1 )d r ) 4) dq R1 r 1 )d r ) 41) dq R1 r 1 )d r ) 4) d r ) 43) =. 44) Here, 43) follows because Q R1 escapes to infinity; and in 4) we exchange the limit and the integration which can be justified as follows: let Then note that g E1 r ) ar Q R1 A 1 Q R1 A 1 dq R1 r 1 ) 45) dq R1 r 1 ) 46) = 1 g upper r ). 47) g upper r )d r ) = d r ) = 1, 48) i.e., g upper ) is independent of E 1 and integrable. Hence by the Dominated Convergence Theorem DCT) [7, Ch. 14] we are allowed to swap limit and integration. Hence, we continue with 39) as follows: [ ] lim R1 R E Q E A R1 + R lim lim = lim lim Q R1 A 1 Q R1 A 1 Q R1 A 1 Q R1 A 1 r 1 r ar r1 + r ar dq R1 r 1 )d r ) 49) ar )r ar ar ) + r dq R1 r 1 )d r ) 5) a a + 1 dq R 1 r 1 )d r ) a a + 1 dq R 1 r 1 )d r ) 7 51) 5)
= a a + 1 lim Q R1 A 1 dq R1 r 1 )d r ) 53) = a a < ǫ + 1 if a large enough. 54) Here 5) follows because r 1 r 1 r /r 1 + r ) is monotonically decreasing in r 1 if r 1 > r. Since a is arbitrary, the result follows. 5 Conclusions We have shown that at very high SNR, the sum-rate capacity of a noncoherent multiple-access Rician fading channel is limited by the capacity of the better of the two users. This rather pessimistic result fits to the very pessimistic behavior of noncoherent fading channels at high SNR. Currently we are working on an extension of this result to more than two users where each user is allowed to use several antennas. We believe that the stated theorem generalizes accordingly, i.e., the MAC fading number corresponds to the MISO fading number if only the user seeing the best channel is allowed to transmit. A Proof of Proposition 3 In the following we will prove Proposition 3. From 9) we know that Moreover note that lim { µ,µ ] C MAC E) lim = 1. 55) log log E µlog log E µ log log E } < 1, < µ < 1. 56) Fix some E > and let E { 1 if X 1 E / or X 1 E /, if X 1 < E / and X 1 < E /. 57) and Then µ Pr[E = 1]. 58) IQ X1, Q X, W) = I X 1, X ; Y ) 59) = I X 1, X, E; Y ) 6) = IE; Y ) + I X 1, X ; Y E) 61) = IE; Y ) + I X 1, X ; Y E = ) Pr[E = ] + I X 1, X ; Y E = 1) Pr[E = 1] 6) log + I X 1, X ; Y E = ) + µi X 1, X ; Y E = 1) 63) ) E log + CE ) + µc, 64) µ 8
where the first inequality follows because E is a binary random variable and because Pr[E = ] 1; the subsequent inequality follows because conditional on E =, E [ X 1 + X ] < E and E [ X 1 + X ] = µe [ X 1 + X E = 1 ] + 1 µ)e [ X 1 + X E = ] 65) }{{} µe [ X 1 + X ] E = 1 66) from which follows that E [ X 1 + X E = 1 ] E[ X 1 + X ] E µ µ. 67) To show µ 1, let E n be a sequence with E n. Let Q En be a family of joint input distributions on the MAC channel 3) such that and define IQ En, W) lim = 1 68) n log log E n { µ n Q En X 1 E } { X E }). 69) By contradiction, assume µ n µ < 1. Then µ < 1 such that From 64) we have IQ En, W) log log E n }{{} 1 µ n < µ, n sufficiently large. 7) log + CE ) log log E n } {{ } + C En µ n ) log log En µ n }{{} 1 µn log log En µ n log log E n. 71) Here the limiting behavior of the LHS follows from 68); the limiting behavior of the first term on the RHS is because CE ) < ; the second term on the RHS tends to one because E n implies E n /µ n and because of 55). Hence, when n we obtain the contradiction 1 lim n lim µ n log log En µ n 7) log log E n { µ,µ ] µlog log E µ log log E } 73) < 1, 74) where the first inequality follows from 71); the second inequality follows from 7); and the last inequality follows from 56). References [1] A. Lapidoth and S. M. Moser, Capacity bounds via duality with applications to multiple-antenna systems on flat fading channels, IEEE Transactions on Information Theory, vol. 49, no. 1, pp. 46 467, October 3. 9
[] S. M. Moser, The fading number of multiple-input multiple-output fading channels with memory, IEEE Transactions on Information Theory, vol. 55, no. 6, pp. 716 755, June 9. [3] G.-R. Lin and S. M. Moser, The fading number of a multiple-access Rician fading channel, March 9, submitted to IEEE Information Theory Workshop ITW). [4] S. M. Moser, Duality-based bounds on channel capacity, Ph.D. dissertation, Swiss Federal Institute of Technology ETH), Zurich, October 4, Diss. ETH No. 15769. [Online]. Available: http://moser.cm.nctu.edu.tw/ [5] A. Lapidoth and S. M. Moser, On the Ricean fading multi-access channel, in Proceedings Winter School on Coding and Information Theory, Monte Verità, Ascona, Switzerland, February 4 7, 3. [6], The fading number of single-input multiple-output fading channels with memory, IEEE Transactions on Information Theory, vol. 5, no., pp. 437 453, February 6. [7] H. A. Priestley, Introduction to Integration. Oxford University Press, 1997. 1