Ad-Hoc Network Unicast in Time {\cal O}(\log\log n) using Beamforming

Ad-Hoc Network Unicast in Time using Beamforming

Thomas Janson University of Freiburg,
Germany
{janson,schindel}@informatik.uni-freiburg.de
   Christian Schindelhauer University of Freiburg,
Germany
{janson,schindel}@informatik.uni-freiburg.de
Abstract

We investigate the unicast problem for ad-hoc networks in the plane using MIMO techniques. In particular, we use the multi-node beamforming gain and present a self-synchronizing algorithm for the necessary carrier phase synchronization. First, we consider nodes in a grid where the transmission power per node is restricted to reach the neighboring node. We extend the idea of multi-hop routing and relay the message by multiple nodes attaining joint beamforming gain with higher reception range. In each round, the message is repeated by relay nodes at dedicated positions after a fixed waiting period. Such simple algorithms can send a message from any node to any other node in time and with asymptotical energy , the same energy an optimal multi-hop routing strategy needs using short hops between source and target. Here, denotes the wavelength of the carrier. For we prove a tight lower time bound of .

Then, we consider randomly distributed nodes in a square of area and we show for a transmission range of and for a wavelength of that the unicast problem can be solved in rounds as well. The corresponding transmission energy increases to . Finally, we present simulation results visualizing the nature of our algorithms.

Keywords:
Ad-hoc networks, unicast, MIMO, beamforming, signal-to-noise ratio, synchronization

Thomas Janson, Christian Schindelhauer

1 Introduction

Mobile devices reduce their wireless transmission power to prolong battery lifetime. An energy preserving extension of the transmission range is cooperative beamforming. Here, nodes cooperate by sending the same message and produce together a stronger signal than a single node. Without further adaption the different positions of the senders result in a delay skew such that the signals may not be correlated at some receiver positions. When the sending times are coordinated we achieve the so-called beamforming, where the radiant sender beams result in a strongly correlated signal towards a certain direction. In [4], we study fundamental features of phase-synchronized ad-hoc network nodes and show an exponential speedup for the broadcast operation of nodes placed on a line. Here, we are concerned in extending these observations to the two-dimensional plane.

Unicast is defined as transfer of a message from a source node to a target node. For wireless communication the straight-forward solution is a direct transmission by increasing the signal strength at the sender such that the target node can receive the signal. While the message delay is optimal, the necessary transmission power is the drawback, since it quadratically increases with respect to the distance between sender and receiver.

In a power constraint scenario direct communication is not always available. Then, routes with multiple hops must be used. Messages are passed from the source via relay nodes towards the target. Regarding the sum of transmission energy, strategies with many short hops are better than single hop strategies. On the other hand, the delay increases with the number of hops. Here, we consider networks with nodes in the plane placed on a quadratic grid with unit distance between neighbored nodes. The delay or routing time for multi-hop routing with distances each is . The energy consumption compared to direct communication decreases by a factor of .

Multi-hop routing implements time multiplexing, i.e. using several time slots, and spatial multiplexing by blocking a smaller area for communication compared to direct communication. However, the simultaneously sending nodes can do much better when one uses cooperative beamforming. One might expect that doubling the power of two senders increases the transmission range by a factor of . However, the superposition principle for electric fields implies that the signal strengths add up and this strength is proportional to the square root of the transmission energy. Therefore, the reception range of two close phase-synchronized senders increases by a factor of two [4].

This is the beamforming aspect of MIMO (multiple input/multiple output) technology in the line of sight case. Besides beamforming, MIMO allows to establish parallel channels with senders (input) and receivers (output), resulting up to parallel transmission channels. For this it is necessary that signals are reflected from obstacles in the environment, if the sender and receiver antennas are distant. The channel matrix describes for each sender/receiver pair the attenuation and phase shift between them. If this matrix shows many large eigenvalues, then parallel channels enable increased throughput, in addition with suitable encoding and decoding. Therefore, MIMO signal processing is complex and MIMO does not work in the line-of-sight scenario with distant sender and receiver antenna arrays unlike beamforming.

In this paper we consider the line-of-sight model, where the channel matrix does not allow multiple channels. Therefore, beamforming is the focus of this paper. It is achieved by adjusting the sender time points such that the received signal consists of synchronized signals which add up because of the superposition principle. A message can be received if this signal strength is larger than a given value, i.e. the signal-to-noise ratio threshold.

Our main method is to assign rectangular areas for suitable relay nodes. These nodes cooperate for the beamforming of the unicast message. For this, nodes store the received message and resend it at time points depending on the reception times. We restrict the corresponding transmission power such that each node can only reach its neighborhood without beamforming. The overall goal is to minimize the transmission time of a single unicast message.

2 Related Work

Gupta and Kumar [2] analyze the throughput capacity of wireless networks. The throughput capacity of a network node specifies the average data rate to a communication partner multiplied by the communication distance. For the case of nodes positioned independently at random in the plane and random communication pairings, they show that the capacity is in the best case. Here, multiple hop routes using next neighbors turn out to be the best choice. It turns out that the communication bottleneck is a cut through the middle of the network, on which each node has to uphold connections throttling the throughput by a factor of . It is necessary to increase the sending power by to guarantee network connectivity with high probability. By this, the throughput is further reduced by a factor of . In such a model, our beamforming approach reaches only a throughput capacity comparable to direct point-to-point communication. Yet, for a scenario with only one point-to-point communication, where the transmission power is limited to (the best case of [2]), the multi-hop scheme has a throughput of , while our unicast has a throughput of .

In [4] we present broadcasting algorithms for nodes on a line in the line-of-sight case. We prove that broadcasting can be done in rounds for nodes regularly placed on a line, where each node alone can only reach its next neighbor. This is obtained by the beamforming gain and on-the-fly synchronization using only the reception time of the message. This scheme produces only constant factor increase of the energy consumption compared to direct neighbor communication, which needs rounds. Here, we consider the two-dimensional setting for the same model and reuse the one-dimensional variant as a startup sub-routine.

In [3] we analyze beamforming gain for antennas placed in an area. We estimate the angle of the main beam for randomly placed senders in a disk, which has size where is the diameter of the disk and the carrier wavelength. We find side beams within an angle of . Towards other directions, the signal strength is reduced to an expected size of times the sender’s signal strength, while the main beam is times larger than each sender’s signal strength.

In [6, 7] communication schemes are presented that achieve order-optimal throughput by using MIMO techniques. Here, nodes in designated areas cooperate in order to increase the communication capacity resulting in higher bandwidth or increased transmission radius. In [6] the beamforming gain is exploited at designated areas of relay nodes between sender and receiver. In [7] diversity gain of highly parallel MIMO channels is used. An important step in many MIMO protocols is encoding and decoding the transmitted signal, which needs additional communication at the sender and receiver side. In practice, this is achieved by wiring the sender/receiver antennas into one device. For ad-hoc networks this step has to be emulated via wireless communication. The authors use a hierarchical approach, where the communication for the encoding at the sender nodes is organized by a recursive algorithm (and vice versa for the decoding at the receiver nodes). If this step can be done without a substantiate increase of the original message size (which may be doubted), then this achieves a capacity and time gain. The transmission time is , which corresponds to the number of hierarchical steps and the capacity is up to linear depending on the path loss model. However, a minimum message length is required depending on the capacity and the authors assume a channel matrix with large eigenvalues, in contrast to the free-space model underlying this work. Here, we solve unicasting in time and the algorithms presented here are much simpler, since they do not use any MIMO encoding/decoding.

The authors of [5] use a similar approach by using beamforming of rectangular areas. Their algorithm spreads the information to a telescope-like region with increasing adjacent rectangles. Then, a mirrored construction is appended in order to reach the target node. They conclude that the beamforming gain is maximized up to a constant factor at each receiver as long as the area size of beamforming nodes is much smaller than for nodes in the network. The authors cannot give a closed form for the dimensions of the rectangles and refer to a Matlab program computing optimal sizes. An important difference to our approach is that they allow additional transmission power for a short period . Interestingly, their choice is which results in throughput . We show that the choice of adjacent rectangles might be problematic, since our simulation results indicate that some receivers in the adjacent rectangle might not be reached. In this paper, we emphasize the large influence of the carrier wavelength and present a closed-form solution for the placement and dimensions of rectangular beam-forming areas. Furthermore, we present a solution which does not need the full channel state information.

3 Physical Model

The signal quality and the related transmission bandwidth of a communication channel between sender and receiver is difficult to model because of many effects arising in practice, e.g. multi-path propagation, diffraction, changing environment, node movement, etc. We neglect these effects and use the free-space model, where the signal strength as a function of the position of nodes in the network. Following [8], the signal output at the receiver depends on the signal inputs at senders as

(1)

This establishes the physical input-output-model of a MISO channel (Multiple Input Single Output). Inputs and outputs are seen from the communication channel and not from the senders or receivers. We assume that all nodes emit the same input signal with the same transmission power but with a time shift in order to correlate the phases resulting in a beamforming gain at the target with output . We denote by the imaginary number (). The baseband channel gain for the -th sender node is

(2)

The attenuation factor describes the path loss depending on the distance between the nodes at positions and . Since the power is proportional to the square of the signal strength this corresponds to the standard energy path loss model for line-of-sight and the far-field assumption with where the energy decreases proportional to . The wavelength of the carrier frequency plays an important role for the beamforming. We denote by the speed of light. In [3] we show that the sender geometry and the wavelength determine the width of the main beam, as well as the size of side beams. The distance between sender and receiver also results in a phase shift described by a rotation of the signal in complex space.

This signal value describes the electric field produced by the sender, and by the superposition principle the resulting field is the sum of the signals in Equation (1).

Interfering radio signals and errors occurring during the modulation and demodulation are modeled as being uncorrelated to the line-of-sight signal as additive white Gaussian noise , which is Gaussian distributed with variance . So, the received signal is described by .

A signal can be received if the signal to noise ratio is larger than a threshold , i.e. where is the energy of the noise.

We restrict the transmission power for each node in the grid such that only the vertical and horizontal neighbors in distance can be reached, if only a single sender is active. The received signal power is modeled by .

So, we choose and to describe the situation in the grid. We also consider the random placement model, where we randomly position nodes into a grid of area . In [1] it is shown that the minimum transmission distance for achieving connectivity in this model is . Therefore, we increase the maximum size of the signal and let for some constant .

According to the Shannon-Hartley theorem, it is possible to achieve an information rate of . So, a higher signal-to-noise ratio can increase the information rate. This effect is not used in this work, since at the relevant receiver antennas the received signal power is close to the SNR threshold.

4 Loglog n Unicast

The basic idea of our unicast algorithm is a multi-hop algorithm with relays between sender and receiver shown in Figure 1(a), but with the special property that each relay consists of multiple nodes which cooperate to perform joint sender beamforming, see Figure 1(b).

(a) Multi-hop between rectangles of beamforming senders.
(b) Beamforming from sender to receiver rectangle
Figure 1: Scheme of the -Unicast algorithm.

With beamforming gain, the hop distance increases double exponentially such that this unicast algorithm needs hops from the source to the target.

We use beamforming for sending111 We make no use of receiver beamforming (SIMO). It requires that cooperative nodes exchange the received signals as quantized data for signal processing. For large sets of receivers, multi-hop transmissions of the signals are necessary, and more over, the message size grows exponentially if receiver beamforming is applied recursively since quantizing the signal has to be applied recursively. (MISO) which requires, when performed with several senders in parallel, the distribution of the message to all senders and phase synchronization between all senders. As Figure 1(b) indicates, we will show that we can broadcast a message from a sender to a receiver area with rectangular shape such that all nodes in the receiver area have the same message for cooperated sender beamforming in the next round. For synchronizing the sender phases, we present two algorithms. Algorithm 1 corrects the phase at the relay nodes using the position of the nodes, whereas Algorithm 2 is self-synchronizing. Algorithm 1 outperforms Algorithm 2 regarding the transmission time by a constant factor.

We first describe the -unicast algorithm in a network with nodes placed in a grid. For unit grid distance we assume to meet the far-field assumption. We start to describe the algorithm for a message transmission along the -axis in the middle of the grid and generalize it for other coordinates, later on. The source node is at and the target node at . The algorithm consists of two phases, an initial phase (Fig. 1(a) 1st hop) where we broadcast the message from the source to the first rectangle of relay nodes, and a second phase where we perform multi-hop with distributed beamforming (Fig. 1(a), 2nd, 3rd hop). The required rectangular area to be informed in phase 1 follows from the requirements of phase two, and thus we present phase 2 first.

We first describe how to set up phases for distributed beamforming when the senders are placed on a line along the -axis (see Fig. 2) and extend that for rectangles in the plane, later on.

Figure 2: Synchronization in the one-dimensional case

Assume we have senders placed at with performing beamforming to a receiver at with . To attain full beamforming gain, the senders start the transmission with a delay of for propagation speed such that all transmissions arrive exactly at the same time and consequently in the same phase. We synchronize all senders with the initial signal containing the message. It is received at a node placed at at time and if each node resends the message immediately, it sends the message with delay , which is the desired beamforming setup to receiver . Hence, broadcasting along a line achieves self-synchronization for distributed beamforming.

For beamforming senders in a rectangle, we use the same synchronization setup, and each node at coordinates sends at time which only depends on the -coordinate and offset time has to be chosen such that the sender with smallest sends at time without delay. If it holds , which is the case for nodes along the -axis, the synchronization is perfect. But for a rectangular area of nodes with width and height , the reception delay depends also on the -coordinate. The delay function computes for a receiver at coordinates the delay to attain synchronization, which is phase angle .

(3)

When applying delay at each receiver , all nodes are synchronized for beamforming such that each node sends with a delay of . By a proper choice of the dimensions of the rectangles , we can assure that the phase shift is less than and thus (compare Lemma 1).

This leads to Algorithm 1 where the delay is used in line 3 in order to synchronize the receivers in the -th round for the -receiver area. The if-condition in Line 2 assures that only receivers in the correct receiver area process the message.

1:procedure receive(receiver , message , time )
2:     if  isInRectangle(, r) then only process in active rectangle
3:         wait() phase correction
4:         send(m) coordinated beamforming sending      
5:function isInRectangle(round , position ) true for active receivers
6:     return
Algorithm 1 Unicast I

The following Lemmas 1-3 specify the dimensions and distances between rectangles of relay nodes where the multi-hop procedure of Algorithm 1 with distributed sender beamforming is possible.

Lemma 1

If a single sender sends a signal to a rectangular area in a distance of at least (see Figure 3), then the phase shift with respect to the phase is at any receiver node inside the area at most if .

Figure 3: Broadcast of an single sender (red) to receivers in the green area.
Proof.

Let denote the signal of the sender and the signal at . Then,

Thus, the phase shift is described by . The difference of phase shifts is therefore

We can apply Lemma 10 given in the Appendix and get

This phase difference is maximized for and . Then,

From it follows that . ∎

Note that the difference between the signal and the offset is so small, e.g. for , that it is less than one wavelength. So, if we repeat the message transmission after a fixed time offset in the next round, then the message modulated upon the carrier wave is in sync with all the other sender nodes provided by using the same time offset.

Lemma 2

A -rectangular area of beamforming senders can reach any node in a rectangle at distance if

(4)
(5)
(6)
(7)
(8)
Proof.

Remember that all sending nodes of a vertical column in the grid have the same phase. The received signal at node is

And from Lemma 1 we get () for

from and inequality (8)

(9)

We want to prove that . For this it suffices to prove that for the real part of , i.e. that , since .

Using, we get

Figure 4 illustrates the relation between the sender and the receiver area. The delay illustrates the largest possible value in the range of Eq. (9).

Figure 4: Area growth during broadcast step.

If the sender and the receiver are at the margin of the grid, we cannot expand the height of the relay node areas symmetrically along the line of sight between sender and receiver. To apply the algorithm also at the margin of the network, we only expand the height of the rectangle in one direction, i.e. towards the center of the network. This has been already addressed in Equation (8).

This leads to the double exponential growth of the rectangles given in closed form in the following lemma.

Lemma 3

The equations

(10)
(11)

for satisfy inequalities (4-8) for , and .

Proof.
  1. : Merging Inequality (6) with (8) gives . Then, follows from .

  2. : is true if .

  3. :

    Now , which implies . Therefore,

  4. : The following equations finalize the proof.

So far, we assume that after the receipt of a message the relay node calculates the received phase from the senders’ positions and readjusts the phase such that all vertical nodes are in phase. This step is not necessary, if the dimensions of the rectangles are chosen according to Lemma 4. Then, the received signal can be sent without phase correction from each relay node. The algorithm then reduces to two steps: If a message has been received, relay nodes check from the message header whether they are in the correct rectangles. Then, each relay node repeats the messages after the same time offset.

1:procedure receive(receiver , message , time )
2:     if isInRectangle(, r) then only process in active rectangle
3:         send(m) coordinated beamforming sending      
Algorithm 2 Unicast II
Lemma 4

If the phase errors are not corrected in this routing, then the correct signal can be received if the following inequalities for the dimensions and of the relay rectangles are satisfied.

(12)
(13)
(14)
(15)
(16)

The main idea is that the phase shifts in each round form a convergent series , such that the sum of all phases can be bound. The proof is otherwise analogous to Lemma 2 and is combined with the proof of Lemma 5.

The dimensions of these rectangles can be chosen as follows.

Lemma 5

The following recursions satisfy equations (12-16) for for , and .

(17)
(18)

The recursions are satisfied by the following equations.

(19)
(20)
(21)

Remember that we reach the constant length in a logarithmic number of rounds and therefore for a moderate expansion with basis .

Proof.

The recursions follow from combining Inequality (14) with (16).

The equations (12-16) can be proven as follows:

  1. : To prove we insert into Eq. (18)

    Both factors and are monotonous increasing, in particular the derivation of the latter is which is positive for . Thus, if then it holds that .

  2. : To proof let us substitute in Eq. (17).

    Here are the first values of :

    A closed-form solution for Equation (17) is

    (22)

    for a constant fulfilling the inequation

    When substituting we get

    where can be upper-bounded with

    which converges to and we get for the constant

    (23)
    Figure 5: Constant in approximated closed solution of in Eq. (22) for width .

    Figure 5 shows a plot of for recursion step with convergence to and a lower bound is also marked for with

    (24)

    To satisfy we have to assure in Eq. (22) that the initial value compensates from the beginning the limiting factors with and . Thus,

    (25)
  3. : Here are the first values from the recursion of the height in Eq. (18) with the constant

    The closed-form solution for is therefore

  4. :

    Now , which implies . Inserting of Equation (17) gives

  5. We can show the inequation by comparing the closed solutions of and . Insertion of the lower bound for in Eq. (22) gives

    (26)

    Insertion of into Eq. (21) gives

    (27)

    For it follows which is true.

  6. For proving , we insert the the closed solutions of (Eq. (26)) and (Eq. (27)).

    This inequality cannot be solved for in closed form and therefore we compute a lower bound for the constant by analyzing the following function:

    (28)

    and setting the derivation for variable equals zero gives

    Here, the function is the inverse function of . The value is the location of the minimum and to find the minimum it needs to be substituted into Inequality (28). So, this implies

    (29)

    since .

It remains to show how to inform the first rectangle. For this, we use the broadcast algorithm of [4].

Lemma 6

A start phase of rounds allows to inform an initial area of nodes with , , , and .

Figure 6: In an initial phase, a broadcast on a line with nodes is performed followed by a last hop of cooperative beamforming from the line of senders to the first rectangle with dimensions .
Proof.

To inform the first rectangle with dimensions , we first inform subsequent nodes placed on a line which together can inform and synchronize all nodes in the first rectangle with cooperative beamforming (compare Fig. 6). To initially inform a line of senders, we use the exponential broadcast algorithm of [4], which informs nodes placed on a line in rounds. Note that the exponential broadcast algorithm has informed at least nodes after round . We choose large enough that this line can inform a rectangle of dimensions in distance . We choose which results in a runtime rounds for some constant . Then, nodes are in phase to inform not only the next nodes on the line but also all other nodes in the beam including a rectangle with dimensions . However, there will be a phase shift for the nodes of the rectangle, which are not on the line. By Lemma 1 this offset attenuates the signal by a factor of at most . Therefore, all nodes of this initial rectangle receive the message. Analogous to Equation (3), we can compute the delay error for each node in the first rectangle placed at with

(30)

The above lemmas lead to our main result of unicast.

Theorem 4.1

Given nodes in a grid equipped with a transceiver with wavelength , placed within unit distance and possessing a transmission power only to reach each neighbor, any node can send a message to any other node in rounds.

Proof.

The basic idea is, first to route on the -axis until the correct -coordinate has been reached and then to relaunch the algorithm orthogonally on the -axis. Then, the claim follows by the above lemmas. ∎

The energy is given by the sum of sending nodes, i.e. for rounds, since each node sends with constant energy. Now, , where and grows double exponentially. So, for the sum of transmission energy the last term asymptotically bounds the sum.

Corollary 1

The overall transmission energy consumed by the unicast algorithm for sending a message over distance is .

Now, we apply this observation to randomly placed nodes in the grid. First, we establish a bound on the minimum number of nodes in some area.

Lemma 7

Given nodes randomly distributed in a square of area with transmission range for some constant . In every geometric object inside a square of an area of at least lie at least nodes with high probability, i.e. for some constant .

Proof.

This follows from a straight-forward application of the Chernoff bound. Let denote the number of nodes in the square. Then, the probability for a node lying in it is . The expected number of nodes is . Now, we use for .

(31)

For we have

(32)

For we have