MAXIMUM TRANSMISSION DISTANCE OF GEOGRAPHIC TRANSMISSIONS ON RAYLEIGH CHANNELS

Transcription

1 MAXIMUM TRANSMISSION DISTANCE OF GEOGRAPHIC TRANSMISSIONS ON RAYLEIGH CHANNELS Tathagata D. Goswami and John M. Shea Wireless Information Networking Group, 458 ENG Building #33 P.O. Box 63 University of Florida Abstract We consider the use of multiuser diversity to maximize transmission distance in a wireless network. This differs from previous work on multiuser diversity, which focused mainly on increasing the data rate. We analyze the maximum achievable transmission distance in a geocasting scenario, in which any radio in a specified geographical area is an acceptable destination for a packet. Performance results are presented for Rayleigh fading and nonfading channels. To illustrate the benefits of multiuser diversity, we show that higher transmission distances can be achieved over fading channels than over nonfading channels if the density of radios is sufficiently high. We also illustrate one application of our results to protocol design. I. INTRODUCTION In wireless networks, more than one of the neighbors of the transmitter may be an acceptable receiver for a message. For instance, in multi-hop wireless ad hoc networks, radios act as routers to direct packets from the source to the destination. The goal is for the message to reach the destination in an efficient manner. Since there may be many alternative routes available between any source-destination pair, there are many possibilities for intermediate radios between the source and destination. If the channels are changing because of multipath fading, then the neighbors of a radio may change over time even when the positions of the radios have not significantly changed the topology of the network. Techniques to adapt to these channel changes by exploiting the alternative acceptable receivers are called multi-user diversity techniques. Originally multiuser diversity was proposed for application to cellular networks,. Later, however it was investigated for ad hoc networks in 3, 4. In an ad hoc network, the choice of next-hop receiver for a packet is usually determined by a routing algoritm according to various cost metrics. As early as 984, Takagi and Kleinrock proposed routing protocols based on the locations of the nodes in the network 4. The importance of geographic routing geocasting) was well established in 5 where the authors implement an application layer scheme overlayed on the network layer to transport a message to all geographically distributed users. Geographic routing in mobile adhoc networks is based on a multihop packet forwarding mechanism according to which a radio forwards a source packet to one greedy forwarding) or more restricted directional flooding) neighbors of the source according to their location with respect to the source and destination 6. Several geographic routing protocols have been proposed in the literature cf. 7, 6 and references therein). Our work is similar to that on Geographic Random Forwarding GeRaF) 8 in which the authors investigate the use of geographic transmission to route packets in the presence of unknown sleep schedules. Under the GeRaF protocol, when a radio has a packet to send it broadcasts to all radios in the coverage area. Those radios which listen to the transmission will act as intermediate relays), depending on its/their distance from the destination. Finally the authors study the multihop performance of their protocol, in terms of the average number of hops it takes for a packet to reach the destination and the average number of available neighbors. In 8, the authors consider that two neighbors can communicate when they are within the coverage radius of each other. This model although simplistic, fails to capture the propagation in a practical wireless environment. In this work, we focus on a single transmission interval, and we anaylze the performance with random fading channels. Most previous work on geographic transmission focuses on the design of the routing protocol when a specific destination is known. In this work, we focus on a single-hop and analyze the statistics of the maximum distance that can be achieved from the transmitter to a group of receivers. This scenario may arise in several applications. In certain sensor networks 9, a sensing node near the middle of a monitored area must relay their information toward collection nodes around the edges of the area. Previous work on transmission range in wireless networks focussed more on adjusting transmission power in the absence of fading to improve throughput or control network connectivitycf., 3, 4, 5). In fact, 4 showed that the expected progress per transmission is proportional to the transmission radius. In 6, the optimum transmission range was obtained from a graph theoretic point. In 7, the channel model used was based on some fixed parameters and did not account for random fading. In 8, a random graph theoretic framework was used to obtain the critical power required when the number of nodes is large. This paper is organized as follows. The system model considered is presented in Section II, and our analytical results are detailed in Section III. Performance results and an application to protocol design are presented in Section IV, and conclusions are given in Section V. II. SYSTEM MODEL We study a broadcast communication environment in which a single source radio transmitter) transmits information to

2 mean. Without loss of generality, the SNR at node i can be modeled as! " % $ Fig.. Geographic region considered in the analysis: sector of angle θ of an annular ring with interior radius R and exterior radius R.! # Y i = h i X n i, 3) where n denotes the path-loss exponent. We assume n which is reasonable outside a small neighborhood of the transmitting antenna. We compare the performance of the system with Rayleigh fading to the performance with nonfading AWGN channels. For this scenario, the SNR Y i at the receiver at the end of a transmission, depends only on the random distance X i from the transmitter and can thus be modeled as Y i = X n i. 4) destination radios receivers) that are distributed around the source radio according to a Poisson point process in a twodimensional plane at rate λ radios per unit area. We first consider a sector of angle θ of an annular ring with inner radius R, outer radius R, as shown in Fig.. The probability that there are l radios inside the sector is given by P L = l = exp λa)λa)l, l =,..., ) l! where A = πr R)θ/π) is the area of the sector. Under the Poisson point process, the receivers within such an annular sector are distributed uniform in area, and hence the distribution function for the distance to an arbitrary receiver is given by, x R x F Xi x) = R, R R < x R ) R, x > R. A. Transmission Model We consider transmission in the wireless environment using a fading channel model and a nonfading AWGN channel model. We consider the AWGN channel model to determine in which scenarios) fading can actually improve the transmission distance when multiuser diversity is used. We assume that all radios in the system use identical, omni-directional antennas. A transmission over a single hop is considered successful if the signal-to-noise ratio SNR) at the receiver is greater than or equal to a receiver sensitivity, ρ which we assume is identical for all receivers. We consider a slowly varying, flat Rayleigh fading channel. We also assume that the channel fading gains are constant over each period during which a message is transmitted from a source radio, and we assume that the fading gains are independent between nodes. Thus, the signal power received at an arbitrary mobile receiver depends only on the distance between the base station and that receiver and the fading gain at the receiver during that transmission. Let X i denote the distance from the transmitter to node i and let α i denote the Rayleigh fading coefficient for node i. Then h i = α i is an exponential random variable with III. ANALYSIS A. Maximum Transmission Distance We first consider transmission into a sector of an annular ring, as described in the previous section. A radio can successfully recover a message if Y i ρ, or X i h i /ρ) /n. Again, without loss of generality, we let ρ = and define V i = X i I, h ni X i ), 5) where I A.) is the indicator function given by, x A I A x) =, otherwise. That is, V i = X i if the receiver can successfully recover the message and V i = otherwise. Then conditioned on N randomly located radios in the sector, the maximum distance M to a receiver that can successfully recover a message from the transmitter can be expressed as maxv, V... V N }, N =,... M = 6), N =. Thus, from 6), the conditional distribution of M given that there are N radios in the network is given by F Vi v) N, v F M v N) = 7), v < for N =,,.... We have derived F Vi v) in the Appendix for the Rayleigh fading channel to be F V v) = exp R n ) + v R R exp v n ) R + R γ + n ), R vn γ + ) n, Rn +Rexp v n ) exp R n )} for v R, R, R > R. In the above derivation, γa, x) is the incomplete Gamma function γa, x) = x t a exp t)dt,

3 3 Γa) is the Gamma function Γa) = t a exp t)dt, Note that this derivation can be trivially modified to obtain F Vi v) for the nonfading AWGN channel, i.e. h i = ), for which V i = if X i >. Now suppose that the receivers around the transmitter are Poisson distributed in two-dimensional space at rate λ nodes per unit area and the transmission is intended only for radios in an annular sector of area A. Then for v, the distribution of the maximum transmission range, F M v), can be easily obtained from 7) and ) as F M v) = E N F Vi v) N = exp λaf Vi v) λa). 8) For v <, F M v) =. We shall now extend our analysis of the maximum transmission range to infinite networks, assuming that the source is at the origin and that all the radios in the network are awake, i.e R, R. Consider a sequence of random variables M, M, M 3... M i... where M R denotes the maximum transmission range when the radius is R. Let F Mi t) denote the cumulative distribution function of the random variable M i. Let F M t) = lim i F Mi t). Then if the limit exists, M is a random variable with distribution function F M, and the sequence of random variables M i } converges to M in distribution. ) Fading channel model: Putting R =, R = R in the expression for F Vi v) derived in the Appendix and substituting the resulting expression in 8) yields F MR t) = exp λ θ γ + n ), tn + t exp t n ) γ + n ) ), Rn R exp R n ) = exp λθ ) n Γ n, tn, 9) where the last line follows after applying the properties of the incomplete gamma function. The normalized node density λ is defined as the expected number of radios within a circle of radius unity, which is given by, λ = λ θ. Thus, we can rewrite 9) as F M t) = exp λ ) n Γ /n, tn ) ) ) Nonfading channel model: In the AWGN channel, all the radios within a circle of radius unity are able to receive the message correctly. Hence the distribution function of M as R, can be easily derived to be, F M t) = exp λ θ t )), t <, otherwise ) Similar to the fading channel, we have replaced the node density λ with the normalized node density, λ = λ θ. Thus, we can rewrite ) as, exp λ t )), t < F M t) = ), otherwise The expected value of the maximum transmission range for both the fading and nonfading channels is given by, E M = F M x) dx. 3) Since we have not found a closed form expression for this expected value, we have obtained this value numerically. Note that the distribution function for the nonfading channel given by ) does not depend on the path loss exponent n whereas the distribution function for the Rayleigh fading channel given by ) is dependent on n. Thus the expected value of the maximum transmission range for the nonfading channel does not depend on the exponential path loss. B. Outage probability and critical distance for the infinitely large network In many scenarios, it would be desirable that the message at least travel some minimum distance. I.e., we desire that the furthest receiver to successfully recover the message be at least some critical distance d c from the transmitter. We define the outage probability P out, as the probability that the limiting transmission range M is less than d c. Thus, for d c >, we have F M d c ) = P out 4) It is very important to note that the distribution of the limiting transmission range M for both the Rayleigh fading and the nonfading channel model has some mass at zero. I.e., F M d = ). This is in part because there is some nonzero probability that there are no receivers in the network. Thus when there are no receivers in the network, there is some nonzero probability that the broadcast transmission remained at the transmitter. Hence, while choosing the value of P out for d c >, we must be careful to obey the bound given by, P out exp λ n Γ n )) for the fading channel model and P out exp λ ) for the AWGN channel model. We next obtain the expression for d c for the fading and AWGN channel models. ) Fading channel model: For d c > and P out exp λ n Γ n)), by equating ) and 4), we have, exp λ ) n Γ /n, tn ) = P out Taking log on both sides and after some simplification, we end up having to solve the following integral equation for d c, Γ n, dn c ) = n λ log /P out ) 5) We mention here that 5) admits solutions for the path loss exponent n =, 4. We have tight bounds for n = 3, but omit

4 4 them because of length limitations. Case : n = Putting n = on both sides of 5), we have Γ, d c) = λ log /P out ) exp d ) c = log /P out ) λ d c = log λ log /P out ) Case : n = 4 Putting n = 4 on both sides of 5), we have Γ, d4 c) = log /P out ) λ Fig.. Expected Value of the Maximum transmission range vs. the t normalized node density exp t)dt = log /P out ) d λ 4 c ) π erfc d 4 c = log /P out ).6 λ ).4 d c = erfc log /P out ) λ π. where erfc.) is the complementary error function given by erfcx) = exp t ) dt π ) Nonfading channel model: For < d c and exp λ ) P out <, by equating ) and 4), we have, exp λ d c )) = P out d c = x IV. RESULTS + λ log P out In this section, we present results on the expected value of the normalized maximum transmission range, which is found by taking the expected value over the distributions given by ) or ). Here, normalized indicates that we have normalized the maximum transmission range for the AWGN channel to.. So, unit of normalized distance corresponds to the transmission radius of the AWGN channel. We also plot with respect to normalized node density, which is the expected value of the number of radios that lie within that normalized transmission radius. We have plotted the expected value of the normalized maximum transmission range given by 3) vs. the normalized node density in Fig.. For the AWGN channel, the transmission range achieved saturates to the maximum transmission range of as the number of nodes in that transmission range increases. The expected value of the achieved transmission range for the fading channels is larger than for the AWGN channels because of multiuser diversity. With as few as six average neighbors, fading channels along with multiuser diversity results in an increase in the average transmission distance of 5%, 5%, and 87.5% over the distance on the AWGN channel for path-loss exponents of 4, 3, and, respectively. Expected value of Max. transmission range d c.5.5 fading n=) fading n=3) fading n=4) no fading Normalized node density λ fading no fading Normalized node density λ Fig. 3. Critical distance of transmission vs. average number of radios for an outage probability of.5, for a path loss exponent n = To further evaluate the benefits of multiuser diversity, we consider transmission in fading and nonfading channels in terms of the critical transmission distance d c. The results in Figs. 3 and 4 show the normalized critical transmission distance for path loss exponents n = and 4. We have plotted these values by considering an outage probability of 5%. When n =, for radios in the network, 95% of the time, fading improves the critical transmission distance by a factor of.375. Similarly, the diversity gain when there are radios and n = 4 is.9. Note that this indicates that if there are radios in the network, then the nonfading channel outperforms the fading channel. Thus, there is a break-even point in terms of the normalized radio density, after which fading with multiuser diversity outperforms the nonfading channel. We have plotted the break-even points for a range of values of the pathloss exponent n in Fig. 5, for an outage probability of.5. Fig. 5 also indicates the region in which transmission in fading channel is better than the nonfading channel to overcome pathloss and vice versa. Fading offers the best performance in the region above the curve, and nonfading in the region below.

5 5 d c fading no fading Normalized node density λ region with interior and exterior radii given by d c and d c, respectively. We have compared our protocol with a simpler dumb protocol that transmits to all receivers within a circular transmission radius R d from the transmitter. For a fair comparison between the two protocols, we limit this transmission radius R d such that the average number of radios within d c and d c are the same as that within a circle of radius R d. We compare these two protocols based on the expected value of the maximum transmission range and the probability that not even a single receiver within the transmission range receives a message from the transmitter correctly. We provide results for α =.95 and path loss exponent n = 4. Fig. 4. Critical distance of transmission vs. average number of radios for an outage probability of.5, for a path loss exponent n = 4 Normalized node density λ Average Max. transmission range α protocol dumb protocol Normalized node density λ Path loss exponent n Fig. 6. Expected Value of the Maximum transmission range vs. the normalized node density for a path loss exponent n = 4 Fig. 5. Region marking zones of operation for fading and nonfading channel for an outage probability of.5 Routing Protocol We demonstrate the utility of our analytical results in protocol design by considering the design of a sleeping protocol. We do not claim that this protocol is in any sense optimal, but it does demonstrate how our results can be useful. Consider the receivers distributed in an infinitely large plane around the transmitter according to a Poisson process with normalized node density λ, i.e λ is the average number of radios inside a circle of unit radius. Our protocol limits the number of radios that must turn on to those that are most likely to be at the maximum reception distance. To do this, we sacrifice some reliability in the sense that limiting the set of radios that turn on may occasionally decrease the maximum transmission distance that can be achieved or may cause the message to not be successfully received by any radio. We state that our protocol is α-reliable if we limit the receivers that turn on according to, F M d c M > ) = α 6) F M d c M > ) = + α. Then we limit the radios that turn on to those within an annular Prob. not recd. message correctly 3 α protocol dumb protocol Normalized Node density λ Fig. 7. Probability that not even a single receiver in the transmission range received the message correctly, for a path loss exponent n = 4 The expected value of the maximum transmission range is shown in Fig. 6. Clearly, the α-reliable performs better than the dumb protocol in transmitting the message further. This is because for the dumb protocol, too many radios turn on that are usually short of the maximum transmission distance. The values of P Rx) for various λ is plotted in Fig. 7 on a semilog scale. We see that we are introducing some cost in our α-reliable protocol in that we increase the probability that none

6 6 of the receivers successfully recovers the message. However, as the receivers in these cases are close to the transmitter, this is generally not a significant loss. V. CONCLUSION AND FUTURE WORK In this paper, we derived the distribution function of the maximum transmission distance achievable for a geographic transmission over a channel exposed to exponential path loss and Rayleigh fading. We used this distribution function to obtain the critical transmission range, given some outage probability. We provide expressions for the critical transmission range for path loss exponents n =, 4 and provide tight bounds for n = 3. To obtain the scenarios) where fading is beneficial we also provided results for transmission in a nonfading channel. Our results indicate that when there are a large number of radios in the network, then fading is beneficial to transport the message from the source to the destination. We have also obtained the region of operation, in terms of the normalized node density, when fading overcomes signal loss due to exponential path decay. Though not the focus of this paper, we have provided an example of a very simple routing protocol that utilizes the maximum transmission distance as a metric. APPENDIX F V v) = P V i v) = P X i I v Xi h n i ) = E hi P X i I v Xi h n h i i ) = E hi P X i minv, h n i } h i ) + E hi P X i > h ni h i Substituting into ) yields, ) F V v) = E hi min h n i, v R R R +E hi I min v,h ni + >R ) I R<min v,h n i R h n E i R hi R I + I R R<h n i R h ni >R Now we shall consider the various intervals in which v lies. For v, R, R >, R > R. F V v) = exp R n ) R γ + ) R n, Rn γ + ) n, Rn Rexp R n ) exp R n )} For v R, R, F V v) = exp R n ) + v R R exp v n ) + R ) R R Here, γa, x) is the incomplete Gamma function: γa, x) = x and Γa) is the Gamma function: Γa) = t a exp t)dt t a exp t)dt REFERENCES R. Knopp and P. A. Humblet, Information capacity and power control in single-cell multiuser communications, in Proc. 995 IEEE Int. Conf. Commun., vol., Seattle), pp , June 995. P. Black, M. Grob, R. Padovani, N. Sindhushyana, and S. Viterbi, CDMA/HDR : a bandwidth efficient high speed wireless data service for nomadic users, IEEE Communications Magazine, vol. 38, pp. 7 77, July. 3 P. Larsson, Selection diversity forwarding in a multihop packet radio network with fading channel and capture, in ACM SIGMOBILE Mobile Computing and Communication Review, pp , Oct.. 4 W. H. Wong, J. M. Shea, and T. F. Wong, Cooperative diviersity slotted ALOHA, in Proc. nd Int. Conf on Quality of Service in Heterogeneous Wired/Wireless Networks QShine), Orlando, Florida), pp , Aug J. C. Navas and T. Imielinski, Geocast - geographic addressing and routing, in Proc. of the 3 rd Annual ACM/IEEE Intl. Conf. on Mobile Computing and Networking,MOBICOM 97), M. Mauve, J. Widmer, and H. Hartenstein, A survey on position-based routing in mobile ad hoc networks, IEEE Network Magazine, vol. 5, pp. 3 39, Nov.. 7 I. Stojmenovic, Position-based routing in ad hoc networks, IEEE Commun. Mag., vol. 4, pp. 8 34, Jul. 8 M. Zorzi and R. R. Rao, Geographic random forwarding GeRaF) for ad hoc and sensor networks : Multihop performance, IEEE Trans. Mobile Computing, vol., pp , Oct.-Dec I. F. Akyildiz, W. Su, Y. Sankarsubramaniam, and E.Cayirci, A survey on sensor networks, IEEE Commun. Mag., vol. 4, pp. 4, Aug.. D. C. Verma, Content Distribution Networks, An Engineering Approach. New York: Wiley,. R. R. Choudhury and N. H. Vaidya, Mac-layer anycasting in ad hoc networks, SIGCOMM Comput. Commun. Rev., vol. 34, no., pp. 75 8, 4. L. Kleinrock and J. A. Silvester, Optimum transmission radii for packet radio networks or why six is a magic number, in Proc. Conf. Rec. Nat. Telecommun. Conf, L. Kleinrock and J. A. Silvester, Spatial reuse in multihop packet radio networks, in Proc. IEEE, vol. 75, pp. 6 34, Jan H. Takagi and L. Kleinrock, Optimum transmission ranges for randomly distributed packet radio terminals, IEEE Trans. Commun., vol. 3, pp , Mar T. C. Hou and V. O. K. Li, Transmission range control in multihop packet radio networks, IEEE Trans. Commun, vol. 34, pp , Jan M. Sanchez, P. Manzoni, and Z. Haas, Determination of critical transmission range in adhoc networks, in Proc. of Multiaccess Mobility and Teletraffic for Wireless Communications Workshop MMT 99), J. Deng, Y. S. Han, P. Chen, and P. K. Varshney, Optimum transmission range for wireless ad hoc networks, in Proc. IEEE Wireless Communications and Networking Conf.WCNC 4), 4. 8 P. Gupta and P. R. Kumar, Critical power for asymptotic connectivity, in Proc. IEEE Conf. on Decision and Control, 998. γ + n ), vn γ + ) n, Rn + Rexp v n ) exp R n )}