Ramaiyan 2007
Ramaiyan 2007
Abstract-We consider a dense, ad hoc wireless network con- scheme is used in order to schedule transmissions; for example,
fined to a small region, such that direct communication is possible the CSMA/CA based distributed coordination function (DCF)
between any pair of nodes. The physical communication model is of the IEEE 802.11 standard for wireless local area networks
that a receiver decodes the signal from a single transmitter, while
treating all other signals as interference. Data packets are sent be- (WLANs). We assume that all nodes can decode all the con-
tween source-destination pairs by multihop relaying. We assume tention control transmissions (i.e., there are no hidden nodes),
that nodes self-organise into a multihop network such that all hops and only one successful transmission takes place at any time in
are of length d meters, where d is a design parameter. There is a the network. In this sense we say that we are dealing with a sin-
contention based multiaccess scheme, and it is assumed that every gle cell scenario. Thus our work in this paper can be viewed as
node always has data to send, either originated from it or a transit
packet (saturation assumption). In this scenario, we seek to maxi- an extension of the performance analysis presented in [2] and
mize a measure of the transport capacity of the network (measured extended in [1]. We further assume that, during the exchange
in bit-meters per second) over power controls (in a fading environ- of contention control packets, pairs of communicating nodes
ment) and over the hop distance d, subject to an average power are able to estimate the channel fading between themselves and
constraint. are thus able to perform power control per transmission.
We first argue that for a dense collection of nodes confined to a
small region, single cell operation is efficient for single user decod- There is a natural tradeoff between using high power and
ing transceivers. Then, operating the dense ad hoc network (de- long hop lengths (single hop direct transmission between
scribed above) as a single cell, we study the optimal hop length and the source-destination pair), versus using low power and
power control that maximizes the transport capacity for a given shorter hop lengths (multihop communication using interme-
network power constraint. More specifically, for a fading channel
and for a fixed transmission time strategy (akin to the IEEE 802.11 diate nodes), with the latter necessitating more packets to be
TXOP), we find that there exists an intrinsic aggregate bit rate transported in the network. The objective ofthe present paper is
(Oopt bits per second, depending on the contention mechanism and to study optimal routing, in terms ofthe hop length, and optimal
the channel fading characteristics) carried by the network, when power control for a fading channel, when a single cell network
operating at the optimal hop length and power control. The op- (such as that studied in [1]) is used in a multihop mode. Our
timal transport capacity is of the form dopt(Pt) x Oopt with dopt
_ 1 _ objective is to maximise a certain measure of network transport
scaling as Pt 7, where Pt is the available time average transmit capacity (measured in bit-meters per second; see Section IV),
power and q1 is the path loss exponent. Under certain conditions
on the fading distribution, we then provide a simple characterisa- subject to a network power constraint. A network power con-
tion of the optimal operating point. straint determines, to a first order, the lifetime of the network.
Index Terms-Multihop Relaying, Optimal Power Control, Self- Situations and considerations such as those that we study
Organisation, Fixed Transmission Time could arise in a dense ad hoc sensor network. Ad hoc sen-
sor networks are now being studied as possible replacements
for wired measurement networks in large factories. For exam-
I. INTRODUCTION
ple, a distillation column in a chemical plant could be equipped
We consider a scenario in which there is a large number of with pressure and temperature sensors and valve actuators. The
stationary nodes (e.g., hundreds of nodes) confined to a small sensors monitor the system and communicate the pressure and
area (e.g., spatial diameter 30m), and organised in to a multi- temperature values to a central controller which in turn actu-
hop ad hoc wireless network. Source-destination pairs are cho- ates the valves to operate the column at the desired operating
sen randomly and we assume that the traffic in the network is point. Direct communication between the sensors and actuators
homogeneous. We assume that data packets are sent between is also a possibility. Such installations could involve hundreds
source-destination pairs by multihop relaying with single user of devices, organised into a single cell ad hoc wireless network
decoding and forwarding of packets, i.e., we assume that sig- because of the physical proximity of the nodes. There would be
nals received from nodes other than the intended transmitter many flows within the network and there would be multihop-
are treated as interference. A distributed multiaccess contention ping. We wish to address the question of optimal organisation
*This research was supported by the Indo-French Centre for the Promotion of such an ad hoc network so as to maximise its transport capac-
of Advanced Research (IFCPAR), under project 2900-IT ity subject to a power constraint. The power constraint relates
to the network life-time and would depend on the application. (with single user decoding receivers) is bounded, i.e., SINR <
In a factory situation, it is possible that power could be sup- (NK( ))where IK(n,) denotes the interference at a node due
plied to the devices, hence large power would be available. In to spatial reuse. Using the finite (and fixed) area assumption, we
certain emergencies, "transient" sensor networks could be de- bound the minimum interference by any simultaneous transmis-
ployed for situation management; we use the term "transient" sion by P(K(n) Hence, SINR < (K(n))
as these networks are supposed to exist for only several minutes (v2A)7 N±(K(n) l1)P(K(-)).Th
(2A) 2
or hours, and the devices could be disposable. Such networks aggregate capacity (bits/slot) achieved in such a network is now
need to have large throughputs, but, being transient networks, bounded above by
the power constraint could again be loose. On the other hand
sensor networks deployed for monitoring some phenomenon in
a remote area would have to work with very small amounts of C(K(n)): K((n) log ± N ± (K(n)-1)P )
power, while sacrificing transport capacity. Our formulation
aims at providing insights into optimal network operation in a
range of such scenarios. Clearly, C(K(n)) is uniformly bounded for any K(n). Since
r(K(n)) < 2A, we see that the transport capacity (in bit-
A. Preview ofContributions metres per second, see Section IV) achieved in the network,
bounded above by C(K(n))r(K(n)), is also finite, indepen-
We motivate the definition of the transport capacity of the dent of the number of nodes and power P. Also, we ex-
network as the product of the aggregate throughput (in bits per pect that the transmitter-receiver separation (bounded above by
second) and the hop distance (in meters). For random spatio- r(K(n))) would decrease to 0 as K(n) increases to oc (finite
temporal fading, we seek the power control and the hop dis- area assumption). Hence, limK(n), C(K(n))r(K(n)) = 0.
tance that jointly optimise the transport capacity, subject to a This implies that there exists an optimal K(n), 1 < K(n) <
network average power constraint. For a fixed data transmis- oo, which maximises the transport capacity in the network, i.e.,
sion time strategy (discussed in Section III-B), we show that the optimum spatial reuse is finite. However, we note that, with-
the optimal power allocation function has a water pouring form out spatial reuse, a simple TDMA scheme with direct trans-
(Section V-A). At the optimal operating point (power control missions between the source and the destination with transmit
and hop distance) the network throughput (O opt, in bits per sec- power nP (and hence, an average power P), achieves log(n)
ond) is shown to be a fixed quantity, depending only on the con- order transport capacity. As seen above, with spatial reuse, the
tention mechanism and fading model, but independent of the system becomes interference limited, and hence, becomes inef-
network power constraint (Section V-B). Further, we show that ficient both for large n and for large P. Thus, we conclude that
the optimal transport capacity is of the form dopt (Pt) x (0opt, single cell operation (as defined earlier) is efficient for dense
with dopt scaling as Pt , where Pt is the available time average networks with single user decoding. In the context of sen-
transmission power, and Ti is the power law path loss exponent sor networks, log(n) scaling has been achieved with maximum
(Theorem V.2). Finally, we provide a condition on the fading node power constraints as well, using cooperative transmission
density that leads to a simple characterisation of the optimal techniques ([6]).
hop distance (Section V-C). With the above motivation, in this work, we study the trans-
port capacity of power constrained dense ad hoc networks op-
II. MOTIVATION FOR SINGLE CELL OPERATION erated as a single cell. More recently, El Gamal and Mam-
In this context, the seminal paper by Gupta and Kumar [4] men [7] have shown that, if the transceiver energy at each hop
would suggest that each node should communicate with neigh- is factored in, then the operating regime studied in [4] is nei-
bours as close as possible while maintaining network connec- ther energy efficient nor delay optimal. Fewer hops between
tivity. This maximises network transport capacity (in bit-metres the transmitter and receiver (and hence, less spatial reuse) re-
per second), while minimising network average power. It has duce the energy consumption and lead to a better throughput-
been observed by Dousse and Thiran [5], however, that if, un- delay tradeoff. While optimal operation of the network might
like [4], the practical model of bounded received power for fi- suggest using some spatial reuse (finite, as discussed above),
nite transmitter power is used, then the increasing interference coordinating simultaneous transmissions (in a distributed fash-
with an increasing density of simultaneous transmitters is not ion), in a constrained area, is extremely difficult and the asso-
consistent with a minimum SINR requirement at each receiver. ciated time, energy and synchronisation overheads have to be
The following discussion motivates a single cell operation in accounted for. In view of the above discussions, in this paper,
our framework, i.e., only one transmission exists in the network we assume that the multiple access control (MAC) is such that
at any time. only one transmitter-receiver pair communicate at any time in
Consider a dense planar wireless network with n nodes in a the network.
square of fixed area A. Let K(n) denote the spatial reuse in the
network (number of simultaneous transmissions) with r(K(n)) A. Outline of the Paper
bounding the transmitter-receiver separation. Let P(K(n)) be In Section III we describe the system model and in Section IV
the transmitter power per node (with a network average power we motivate the objective. We study the transport capacity of
P, as in Section V) and let N be the receiver noise power. a single cell multihop wireless network, operating in the fixed
The maximum SINR achievable per link in such a network transmission time mode, in Section V. Section VI concludes
the paper and discusses future work. The proofs of all lemmas to transmission, but remains constant over any packet transmis-
and theorems, if not in the paper, are provided in [10]. sion duration. Since successive transmissions can take place
between randomly selected pairs of nodes (as per the outcome
of the distributed contention mechanism) we are actually mod-
III. THE NETWORK MODEL
eling a spatio-temporal fading process. We assume that this
There is a dense collection of immobile nodes that use mul- fading process is stationary in space and time with some given
tiaccess multihop radio communication with single user decod- marginal distribution H. Let the cumulative distribution of
ing and packet forwarding to transport packets between various H be A(h) (with a p.d.f. a(h)), which by our assumption
source-destination pairs. of spatio-temporal stationarity of fading is the same for all
* All nodes use the same contention mechanism with the transmitter-receiver pairs and for all transmissions. We assume
same parameters (e.g., all nodes use IEEE 802.11 DCF a flat and slow fading channel with additive white Gaussian
with the same back-off parameters). noise of power ca2. And, Tc, the channel coherence time ap-
* We assume that nodes send control packets (such as plicable to all the links in the network, upper bounds the time
RTS/CTS in IEEE 802.11) with a constant power (i.e., taken to complete any data transmission in the network. We
power control is not used for the control packets) during assume that H and Tc are independent of the hop distance d.
contention, and these control packets are decodable by ev- When a node transmits to another node at a distance d (in
ery node in the network. As in IEEE 802.11, this can be the transmitting antenna's far field), using transmitter power P,
done by using a low rate, robust modulation scheme and by with channel power gain due to fading, h, then we assume that
restricting the diameter of the network. This is the "single the transmission rate given by Shannon's formula is achieved
cell" assumption, also used in [1], and implies that there over the transmission burst; i.e., the transmission rate is given
can be only one successful ongoing transmission at any by
time.
* During the control packet exchange, each transmitter hPa
c=wlog(1±cT2d)
C
Proof:
1) Let dopt be optimal for Pt' > 0. We claim that, for x >
I >f2d7 a(h)P(h)dh = Pt 0, x n dopt is optimal for the power constraint xPt'. For
suppose this was not so, it would mean that there exists
The optimal power allocation is a nonrandomized policy, where d > 0 such that
a node transmits with power P(h) every time the channel is in
state h (whenever P(h) > 0), or leaves the channel idle for h
such that P(h) = 0.
1
tz T7dopt F
( -Ptp
x
)
17 d JtJ7 dr(xPt'
< dF t~ )
~ ~ ~.
works, Proc IEEE Infocom, 2004.
5
[6] Hesham El Gamal, On the scaling laws of dense wireless sensor networks:
the data gathering channel, ToIT, 2005.
4
[7] Abbas El Gamal and James Mammen, Optimal Hopping in Ad hoc Wire-
less Networks, Proc IEEE Infocom, 2006.
.,
,.. ... ... .,,,,_.....
3 ,+ . . .. , ,,, , ,,.. . . ~4 [8] T.S. Rappaport, Wireless Communications: Principles & Practice, Pren-
...... , , , , ,., .,.,., .,-., -.E
, ,+-.,._~~~~~~~~tt
, .,,.,.... 41Y tice Hall, 2002.
2 [9] J.P. Aubin, Applied Functional Analysis, John Wiley & Sons, 2000.
[10] V. Ramaiyan et al., Jointy Optimal Power Control and Routing
for a single Cell, Dense, Ad hoc Wireless Network, Tech Rep. at,
http://ece.iisc.ernet.in/anurag/papers/anurag/ramaiyan-etalo6singlecell-
u
-2
;
10-1 100
;
101
;;;;;
102
multihop.pdf.gz, 2006.
APPENDIX
Fig. 2. Plot of d x F (d) (linear scale) vs. Xr (= d ) (log scale) for a fading A. Stationary Points of d x F (7r (d))
channel (with exponential distribution). We consider 3 power levels (Pt', 4Pt'
and 9Pt') and 2. The function has a unique optimum 'JUvpt (iTvpt 0.2)
Recall that we defined -r(d) : P= t . Further, F(wr(d)) was
for all the 3 cases. defined by
Oc):la ( 2 P(h)
)ah
VI. CONCLUSION
F(F()):=maxj log (I+ a(h)dh
2 d (7)
In this paper we have studied a problem of jointly optimal where the maximum is over all power controls {P(h) } satisfy-
power control and self-organisation in a single cell, dense, ad ing the constraint
hoc multihop wireless network. The self-organisation is in
terms of the hop distance used when relaying packets between aO(h)Odh < 7r(d)
J(h) (8)
source-destination pairs.
We formulated the problem as one of maximising the trans- For ease of notation, let us use the substitution := 'h. Write x
physical bit rate in each fading state is invariant with the power This optimisation problem is one of maximising a convex func-
constraint. In Theorem V.4 we provide a characterisation of tional of { (x)}, subject to a linear constraint. The optimal so-
the optimal hop distance in cases in which the fading density lution of the problem has water-pouring form, and the optimal
satisfies a certain monotonicity condition. solution is given by,
One motivation for our work is the optimal operation of sen-
sor networks. If a sensor network is supplied with external +
power, or if the network is not required to have a long life- where (ibai A("w) I
J
time, then the value of the power constraint, P, can be large, where A (w) is obtained from
and a long hop distance will be used, yielding a large transport 00
1
capacity. On the other hand, if the sensor network runs on bat- I) f (x)dx:
teries and needs to have a long life-time then P would be small, X(7) VA(T)
yielding a small hop length. In both cases the optimal aggregate Further, the derivative of the optimum value F(wF), w.r.t. IF, i.e.,
bit rate carried by the network would be the same. ar(w) = A(wF) (see Aubin [9]).
Future work on this topic will include developing a dis- B7r
REFERENCES
a
17(1 0
X ctH
For t(.) of the random variable Z, define the oper-
a function
ators El(.) and Gi(.) as Recall that I is actually I (wF). We now find that wF appears in the
equation only as I(wF). Hence we can view this as an equation
fo t(z)g(z)dz in the variable I (= X ). Rearranging terms, we get
El (t(Z))
fog(z)dz
1 -log( El (Z)) ±17El (Z) -(b1-TI)
G1 (t(Z)) a t(z) g(z) dz
Exponentiating both sides, and substituting back for bl, yields
Lemma A. 1. The roots of(10) are equivalentto obtaining the
roots of the equation El (Z) El (Z)
El(Z)c- El (log (Z)) C-77
rTG 1 (AZ - 1) = G 1 (log(AZ)) (15)
On cancelling El (Z), and transposing terms, we next obtain
with 7 then being given by
( El (Z) _i) c- El Oog( 'i ))
= -)f (x)dx
or,
Proof: Using the definitions of El(.) and Gi(.), (13) and e O(El ( 1
)) c- El Oog( zi ))
(14) simplify to
Taking log on both sides, we have,
F (w) = log(l) P(Z < l) - G1 (log(Z)) (16)
z I
7w = IP(Z < I) - G1(Z) (17) Ti El
I El (log (h))
In terms of G, (.), this is equivalent to Hence,
0
0
T z
)- o( z)) Z/d
In this last equation change the variable to y := Az, yielding
1
A2 (A d
(log(y) rjI(y 1))-yf A-Jdy 0 (18)
y2 \y
Define c(y) := (log(y) -i(y -1)) y and bx(y) : A
8)
Thus, we are interested in a positive A that solves
1
c(y)bA (y)dy = °
Observe that limy-o c(y) =-oc and c(1) = 0. Further, there
exists a unique y' such that c(y) < 0 for all 0 < y < y' and
c(y) > 0 for all y' < y < 1. Since bx(y) > 0 for all y and A,
we have c(y)bA(y) < 0 for all 0 < y < y' and c(y)bA(y) > 0
for all y' < y < 1.
Consider A1, A2 such that A1 > A2 > 0. By hypothesis,
bA2 (y) iS a strictly monotone decreasing function of y. Hence,
bcl(y)b()
c(y)bA2 (y) is also a strictly monotone decreasing function of y.
We then have,
bx2 (y')
>bx, (yl)'
And,
f,
c(y)bx2 (y)dy , c(y) 6j {8} blx (y)dy
f, c(y)bx1 (y)dy f, c(y)bx1 (y)dy
bx2 (y')
bx1 (yl)