Abstract

We develop a framework that exploits network coding (NC) and multiple-input/multiple-output (MIMO) techniques, jointly together, to improve throughput of downlink broadcast channels. Specifically, we consider a base station (BS) equipped with multiple transmit antennas that serves multiple mobile stations (MSs) simultaneously by generating multiple signal beams. Given the large number of MSs and the small number of transmit antennas, the BS must decide, at any transmission opportunity, which group of MSs it should transmit packets to, in order to maximize the overall throughput. We propose two algorithms for grouping MSs that take advantage of NC and the orthogonality of user channels to improve the overall throughput. Our results indicate that the proposed techniques increase the achievable throughput significantly, especially in highly lossy environments.

1. Introduction

In recent years, multiple-input/multiple-output (MIMO) has been recognized as a key enabling technology for improving the performance of wireless communication systems. Unlike traditional communications, MIMO techniques rely on multiple antennas to transmit and/or receive signals. The number of antennas that a device can be equipped with can be limited due to spatial constraints. For example, in a cellular network, while there may be no limit on the number of antennas that the base station (BS) can be equipped with, there is a limit on that number when it comes to mobile station (MS) due to size and/or cost constraints. MIMO capabilities can be exploited to enable the spatial division multiple access (SDMA) technique, which basically allows multiple simultaneous transmissions from the BS to multiple MSs, thereby achieving higher overall data throughput [13]. Specifically, the BS exploits MIMO to generate radiation patterns that simultaneously target different groups of MSs [4, 5]; this is known as beamforming (BF). Mathematically, the signal beam from each antenna is coded and multiplied independently by a BF weight vector to control its shape and direction. A BF weight vector is determined by MSs locations as well as the characteristics of channels between the BS and MSs. Assuming that the BF weight vectors are available, an optimal SDMA scheme consists then of selecting the set of MSs whose signal-to-interference plus noise ratios (SINRs) are maximized.

A BS with transmit antennas can form and transmit a signal with at most beams [6, 7]. Therefore, assuming that one beam is allocated for each MS, when the number of MSs, , exceeds the number of transmit antennas, , the BS selects the best MSs, that is, those whose SINRs are maximized [8]. An efficient scheduling algorithm is then required at the BS to map the MSs with these beams. For example, given 10 MSs ( and one BS equipped with 2 antennas, an efficient scheduler may select () in the first time slot for transmission, () in the second time slot, () in the third time slot, and so on. After five time slots, the BS completes then transmitting all packets to their intended MSs. The key challenge in designing these scheduling algorithms lies in grouping the MSs in such a way that interference among MSs is minimized; that is, a transmitted beam intended for one MS should create no or minimal interference to any other MSs in the group. One way to achieve this objective is to group together MSs whose channel vectors are somewhat orthogonal to one another.

Network coding (NC) is another effective technique that is also well recognized for its great network throughput potentials and has received a considerable attention due to its practical simplicity [9]. In single-hop wireless networks, such as cellular networks, NC can be used to significantly reduce the number of transmission/retransmission attempts required to successfully deliver data packets [10]. Consider the example of Figure 1 for the purpose of illustration. Instead of immediately retransmitting a lost packet for an MS, for example, , the BS waits until there is another lost packet for another MS, for example, . Due to spatial proximity of and , it is possible that , although intended for , may be received and cached successfully by ; likewise, may also be cached successfully by . In that case, the BS only needs to retransmit a single packet , which is a bitwise exclusive-OR (XOR) of packets and . (Here, all packets are assumed to have the same bit length so as to be able to perform the XOR operation.) If this packet is successfully received by both and , then can recover as and can recover as . Thus, one retransmission allows both MSs to recover their lost packets, resulting in a reduced number of retransmissions or, equivalently, in an increased throughput efficiency.

In this paper, we develop scheduling algorithms that exploit NC and BF techniques jointly together to maximize the overall throughput achievable on a wireless broadcast downlink channel. Specifically, we consider a BS with multiple transmit antennas that simultaneously serves multiple MSs by generating multiple signal beams with well-defined beamforming weight vectors, where each MS corresponds to a particular beam. Given a large number of MSs and a small number of transmit antennas, the BS must decide, at any transmission opportunity, which group of MSs it should transmit packets to, in order to maximize the overall throughput. In this work, we prove that the group formation problem is NP-hard and propose two scheduling heuristics that take advantage of NC capabilities and the orthogonality of user channels to improve the overall throughput on broadcast transmissions. Our simulation results show that the proposed techniques achieve greater throughput than that achievable under existing techniques, especially in highly lossy environments.

The outline of our paper is as follows. First, we present a literature review in Section 2. Then, we overview NC techniques and discuss our joint BF-NC framework in Sections 3 and 4, respectively. In Section 5, we describe our proposed joint BF-NC-based scheduling algorithms. We show the simulation results for the proposed techniques in Section 6 and conclude the paper in Section 7.

Simultaneous service support of multiple MSs through BF techniques can be very challenging due to interference incurred by different active signal beams. Therefore, several efficient scheduling algorithms and proper BF strategies have been proposed to reduce interference among multiple beams. To maximize the sum capacity, the scheduled MSs are typically selected through an exhaustive search, which can be very costly or even infeasible for a large MS pool. For example, Shad et al. [11] proposed an algorithm for selecting the MSs for each time slot over SDMA/TDMA networks by considering the largest SINR margin of scheduled MSs with respect to some SINR thresholds. Choi et al. [12] provided a scheduling algorithm, which relies on the feedback from MSs during each time slot to determine a subset of MSs in such a way to maximize the sum capacity. Ravindran et al. [13] studied the performance of zero-forcing BF techniques under limited channel feedback in line of sight (LOS) channels. Their results show that a zero-forcing BF technique performs well especially when the system has reliable channel state information (CSI) from MSs. Furthermore, Yoo and Goldsmith [7] considered the orthogonality of CSIs among the MSs to schedule the MSs while minimizing the overall interference. In particular, their technique greedily selects a set of MSs while assuming that the BS knows CSIs of all MSs in the system.

Another traditional technique, yet efficient, is to use a BF codebook containing a set of all possible coefficients (or codewords) to form a BF beam. In general, the codebook is generated offline and consists of a fixed number of codewords, which do not depend on statistical characteristics of channel conditions [14]. Most codebooks are fixed and designed for a specific transmitter. For example, Love and Heath [15] proposed a way to generate a codebook that cannot adaptively change as the channel changes. By using their technique, both BS and MSs have full knowledge of a codebook. Amiri et al. [16] provided an efficient algorithm to adaptively change a codebook based on new feedback information at the BS. However, their technique is complex because the BS needs to frequently evaluate new feedback information, and, hence, the technique may not be suitable for systems with a large number of MSs. Huang et al. [17] showed the performance of orthogonal BF techniques by selecting a codeword for each MS in such a way to reduce the interference among all active beams. More specifically, their technique consists of finding a set of codewords from a fixed codebook for all active beams by relying on MSs CSIs.

Most of these reported works consider associating/allocating one BF beam for each intended MS. However, MSs within a close proximity often experience similar channel conditions and have similar SINR levels. Therefore, considering grouping and associating these MSs together under one BF beam not only allows to support more MSs but also enables effective use of NC techniques, thus improving throughput even further. This work proposes a framework that takes into consideration the proximity in SINRs and CSI orthogonality when grouping MSs and forming BF beams. We first prove that the group formation problem is NP-hard (the proof is given in the appendix) and then propose two heuristic techniques: a greedy-selection-based technique and a codebook-based technique, which are described later in Section 5.

3. Network Coding and Broadcasting

For notational convenience, throughout this paper, uppercase boldface letters are used for matrices and lowercase boldface letters are used for vectors, and , , , , and denote conjugate transpose, transpose, normalized, size or magnitude, and L-2 norm of , respectively.

In this section, we briefly describe the use of NC technique over wireless broadcast channels. We consider MSs (as receivers) and one BS (as the sender). Without loss of generality, we assume that each data packet can be transmitted in one time slot (all time slots are of a fixed duration). We also assume that MSs use either positive or negative acknowledgements (ACK/NAK) to let the BS know about the status of receiving each packet. Traditionally, an MS immediately sends a NAK if the packet is not successfully received. When using an XOR NC technique, instead of immediately retransmitting a lost packet to a certain MS right after receiving a NAK, the BS waits for a fixed interval of time (in time slots) before retransmitting starts. With NC enabled, the BS then retransmits an XOR-coded packet for each set of multiple lost packets. For this to happen, the BS maintains a list of all lost packets as well as their corresponding MSs for some time (i.e., waiting period) during retransmission phase. The number of lost packets that can be coded at once is then at most equal to the number of MSs, , one lost packet from each MS. Any successful packets received by any of the MSs will not be included in the coded packet to be retransmitted. The BS keeps retransmitting coded packets of lost packets until all MSs receive all packets successfully.

Consider a broadcast transmission example of a cellular network, where all BS packet transmissions are assumed to reach all MSs. For a system with two MSs, that is, and , we consider the pattern of lost packets shown in Figure 2 as an example, where a cross and an oval , respectively, represent a lost and a coded packet. Since , the coded packets generated by the BS and intended for the two MSs, and , are , , and . Packet is only intended for MS because MS has already received it successfully. Note that if some coded packets cannot be correctly received by any of the intended MSs, the BS will update the lost packet table and determine the best coded packet for the next retransmission opportunity.

Without loss of generality, for a system with MSs, we assume that if for any where is the packet error rate for MS . Recall that the BS will generate a coded packet combining as many lost packets as possible, and the MS with the highest dominates the performance of the system. Let be this MS. Let be a random variable representing the number of lost packets of MS after a certain number , transmissions. When approaches infinity and each transmission follows a Bernoulli trial, will follow the Binomial random variable. Therefore, we have With transmitted packets to MSs, the expected number of transmissions can be written as Note that the NC technique described in this section considers that packets will be broadcast to all MSs. Thus, packets sent by the BS can be heard either by all MSs or by none.

4. Joint Beamforming and Network Coding

In this work, we consider broadcast transmissions in a downlink channel of a cellular network, where data packets sent by the BS are intended for and reach all MSs in the network. When data packet transmission is not successful, the BS keeps retransmitting until the lost/unsuccessful packet is delivered to all MSs successfully. We assume that the BS needs to broadcast packets to the MSs.

After the first transmission, one or more MSs may not receive the packets. When this happens, one simple way to ensure successful delivery of packets is for the BS to retransmit/broadcast each lost packet to all MSs again (e.g., Figure 3(a)). Another retransmission technique is to use beamforming to retransmit the lost packets only to those MSs that did not receive the packets. In this paper, we investigate and develop techniques that rely on MIMO to form BF beams so as to direct transmission towards a set of MSs only, that is, those MSs that did not receive the packets (e.g., Figure 3(b)). In addition to BF techniques, our proposed techniques rely on and incorporate network coding (NC) to further improve throughput performances of broadcast channels.

Simply broadcasting lost packets to all MSs, instead of using BF technique, can be very inefficient for the following reasons. First, MSs are often located at different positions with various distances from the BS, leading to high variations of MSs received signal strengths. With this, different MSs are likely to experience different packet success rates. Second, without directing the transmitted signals, power could be wasted when signals are sent in directions/regions that happen to have no MSs. Let us consider the example shown in Figure 3, where there are 3 groups of MSs: , , and . In this example, transmitting packets to a location that does not contain any of the groups will be a waste of energy resources. By using a BF technique as in Figure 3(b), the BS can direct BF beams in such a way to increase the signal quality reaching the intended MSs. Note that the BS may use multiple time slots for transmitting a packet to everyone if all MSs are located apart from each other. The challenge as well as the novelty of the proposed BF technique lies in grouping all MSs into multiple clusters each corresponding to one beam in such a way to enhance broadcast throughput while minimizing power consumption.

We now describe how to combine NC and BF to further improve broadcast network throughput. Figures 4(a) and 4(b) illustrate the use of NC to broadcast a stream of packets in the network, respectively, shown in Figure 3(a) (without beamforming) and Figure 3(b) (with beamforming). In this example, there are 4 MSs (i.e., ). The BS needs to deliver 7 packets (i.e., ) to all MSs and can generate at most 3 beams at once. Recall that the best strategy to generate a coded packet is to maximize the number of lost packets that can be coded at once. Therefore, we use 3 time slots to generate and send coded packets. In the first time slot, when not using a BF technique, the coded packet to be sent to all MSs is , whereas, when using a BF technique, the three coded/uncoded packets, , , and , are to be sent on beams 1, 2, and 3, respectively. In the second time slot, the BS generates coded packets that combine the lost packets and a6 and sends them to MSs , , and . When not using a BF technique, the coded packet is then to be sent to all MSs. Whereas, when using a BF technique, the coded packet and uncoded packet are to be transmitted through beams 1 (for and ) and 3 (for ), respectively. In the third time slot, the BS needs to transmit only packet to MS . In this case, it is obvious that there is no need to broadcast a packet to everyone. Hence, when using a BF technique, the signal quality sent to MS can be improved by allocating all transmit power to beam 3, thereby increasing the packet success rate and/or reducing energy consumption.

In the first time slot, note that the coded packet combining the first 4 lost packets (i.e., without BF) when sent to all MSs exactly suffices as it enables each of the 4 MSs to recover its lost packet (i.e., for ). Thus, this may seem to be the best strategy. Likewise, the BF technique also suffices; that is, sending , , and on three different beams 1, 2, and 3, respectively, also enables all MSs to recover their lost packets. The difference between the two techniques lies, however, on the fact that the BF technique can make received signals stronger, thus decreasing the packet error rates by increasing the chance of correctly decoding received packets.

Note that there is a tradeoff in grouping MSs when using a BF technique. Grouping a large number of MSs under the same beam may reduce the number of coded packets but this would also lead to lesser chances of successfully receiving coded packets by an intended MS. Let us consider the example with 4 MSs as shown in Figure 5. As can be seen in Figure 5(a), with one beam, the BS can simply use one coded packet for all 4 intended MSs. On the other hand, forming multiple groups of MSs (e.g., 2 MSs per beam as in this example) requires generating more coded packets, but MSs are more likely to receive higher signal quality, resulting in higher chances to successfully receive coded packets. Referring to Figure 5(b) again for illustration, the BS uses 2 coded packets: one for MSs and and the other for MSs and . Note that the BS here can transmit 2 coded packets at the same time or at two successive time slots. One strategy to determine the sizes/groups of MSs for BF techniques is to minimize the variance of MSs lost packets in each group. This would allow the BS to efficiently generate coded packets while all MSs in each group can successfully receive all required packets at the same time. Therefore, efficient grouping algorithms that can determine the best sizes/groups are needed. In this paper, we develop and propose two efficient algorithms for grouping MSs.

We assume that the BS is equipped with multiple antenna systems that enable it to simultaneously generate multiple transmitted beams. We also assume that the BS knows all channel vectors associated with each MS for all through feedback channels. Let be the power allocated to beam by the BS. For each beam , we assign a group of MSs where , for any , and is a set of all MSs. Groups are formed in such a way that all MSs belonging to the same group are likely to experience the same packet losses, reducing then the number of transmissions at the BS via bitwise XOR operations.

The objective is to minimize the time for the BS to successfully deliver all packets to each MS. Note that minimizing the time is equivalent to maximizing the overall throughput under some fairness constraints. However, if a particular MS is far away from the BS such that it cannot receive packets, then clearly . In this work, we do not consider this degenerated case, and such an MS is likely to be serviced by a neighboring BS. Furthermore, we assume that the BS uses a round-robin transmission style and the channels at MSs are stationary. Thus, each MS will receive a fair share of transmission packets and the expected achievable throughput would reflect the performance of the considered system.

Recall that the signal quality at MSs can be assessed/quantified via SINR. In particular, for MS in beam can be computed as where , , , , and are transmit power, weight vector for beam , channel vector for MS , noise power, and number of beams, respectively. If all transmitted beams are pairwise orthogonal such that and (assume that is normalized as so as to check its orthogonality), where , then . Thus, (3) would reduce to (signal-to-noise ratio (SNR)). If all scheduled MSs have high SINR (or SNR), the equal power allocation is close to an optimal water-filling method [17]. Thus, the allocated transmit powers for all beams are all equal. Given a fixed total transmit power at the BS, this implies that the transmit power allocated for each beam is where is the number of active beams during that time.

Let be a set of lost packets for MS . The number of transmissions for broadcast schemes over a group depends on the combination of all lost packets from all MSs in . Therefore, a set of coded and uncoded lost packets in can be considered as , where belongs to and . Each group is independent of any other group for . This implies that the combination process of group is totally independent of that of group . Within each beam, the MS with the highest packet error rate would dominate the performance of that beam. For each beam , the expected number of transmissions can be formulated as where is a set of coded/uncoded lost packets based on the NC technique applied to beam , is packet error rate for MS in beam , and is an assignment binary variable for MS in beam defined as

Furthermore, each MS can only belong to one beam; that is, . For simplicity of analysis, we do not use any error correcting code. Therefore, can be computed in terms of bit error rate () such that , where is a packet size in bits. Assume BPSK is used. Thus,

where and [18]. The expected number of transmissions for this system is the time that the BS spends until all MSs successfully receive all of their required packets.

Without lost of generality, (4) can be written as where is the index of sets of BF beams. For each set , the BS requires to successfully transmit all lost packets over a set of all BF beams before moving forward to the next set of BF beams, that is, . Assume there are sets of BF beams to be used at the BS. By taking into account all sets of BF beams, our goal is then to minimize the total number of transmissions; that is, where . The solution to this optimization problem will be assignments that minimize the total number of transmissions. However, we prove that this assignment problem is NP-hard (we provide the proof of NP-hardness in the appendix), and, instead, we propose two heuristics/techniques that solve this group formation problem by taking advantage of NC capabilities and the orthogonality of user channels. One proposed technique uses greedy selection based on SINR levels, whereas the other technique uses a predefined codebook to generate a set of orthogonal BF beams. Let denote the sets of orthogonal beams. For example, means the BS uses the set of orthogonal beams in a codebook, otherwise . Next, we describe our two proposed scheduling techniques.

5. Proposed Scheduling Algorithms

Because our assignment problem is NP-hard, we propose to use two techniques to design heuristic algorithms that efficiently solve it. The first technique schedules and groups MSs based on their SINRs, and the second one uses a predefined codebook that first generates multiple sets of orthogonal BF beams and then assigns each MS to the beam whose SINR is maximized. The details of the proposed techniques will be described next.

5.1. Technique 1: Greedy-Selection-Based Scheduler

We first describe and formulate the group formation problem, which basically tries to find the optimal set of MSs that maximizes the overall throughput and then proposes a scheduling algorithm that solves it. The scheduling algorithm improves overall throughput through joint exploitation of both BF and NC techniques. Given an -transmit antenna BS and one-receive antenna MSs located within the communication range of the BS, the BS can choose to transmit packets to a selected set of MSs that are located far apart from each other and whose quality levels are above a certain threshold. Note that the use of linear, equally spaced antenna arrays limits the number of concurrent signal beams to a certain number. We denote this number by , where .

When the number of MSs, , exceeds , the BS chooses the best (or fewer) MSs with the highest SINRs. We consider spatial separation among MSs by using the orthogonality in channel vectors, described in [7]. Below, we describe our greedy-selection-based scheduling algorithm.

The details of our proposed algorithm are described as follows: in step 1, is a set of all available MSs and is a set of scheduled MSs where represents the current iteration number. Thus, is initially empty and is equal to . In step 2, we compute , the component of channel vector for each in , orthogonal to previously determined subspace spanned by . Note that when , we assume for each MS . In step 3, we select the MS, denoted by , whose norm is maximized (i.e., best MS) over each . After that we update the values of , , and , consecutively. In step 4, after finding the best MS , we further determine a cluster of MSs whose SINRs are greater than some threshold . We denote this cluster by . Note that the value of depends on MSs channel gain as well as their spatial distribution within a BS coverage area. Finally, in step 5, we determine for next iteration by eliminating all MSs in and all MSs whose channel vectors are not semiorthogonal to within a certain threshold . If is not an empty set and , then go to step 2. Otherwise, the algorithm terminates and returns a set of with their corresponding cluster .

Note that Algorithm 1 requires two thresholds and . In practice, one can try multiple thresholds in order to select/determine the one that minimizes the number of total transmissions. We now propose our second technique.

step 1: Initialization
   
   
   
step 2: For each MS , compute where is determined by semiorthogonal to the subspace
  
{Note that when , assume
step 3: Select the MS such that
   
   
   
   
step 4: Find a cluster of MSs whose SINRs are greater than some threshold . We denote that cluster
by where and
step 5: If , compute as follows:
   
where , and
    
{Note that if and then go to step 2. Otherwise, the algorithm terminates and
returns a set of scheduled MSs}

5.2. Technique 2: Codebook-Based Scheduler

The second technique, as described in the pseudocode shown below, uses two algorithms: Algorithm 2, which determines the best beam for each MS whose SINR is maximized and Algorithm 3, which further minimizes the number of transmissions. The outcome will be a set of MSs in , an optimized codebook , and the expected number of transmissions . Pseudocode for technique 2begin  Run Algorithm 2  {determine the best beam for each MS}  Run Algorithm 3  {further minimize the number of transmissions}endreturn a set of MSs in , an optimized codebook , and the expected number of transmissions .

step 1: Initialization
   
   
step 2: For each MS in , compute over all possible beams. Then, assign MS
to beam that maximizes such that
   
{Note that if MS is assigned to beam in set of a codebook, the interference will come from
all other beams in set , except beam
step 3: Update
   
   
step 4: If then go to step 2. Otherwise, the algorithm terminates and returns a set of MSs in
.

step 1: Initialization
   
   Given
   compute
step 2: For each set of a codebook where , compute the maximum value of PERs
over all MSs assigned to a set such that
   
step 3: Eliminate a set over all existing sets such that
   
step 4: For each MS in a set , compute over all existing beams except all beams in
a set . Then, assign MS to beam that maximizes such that
   
step 5: Compute
step 6: If ,
   update
   
   
    then go to step 2
step 7: The algorithm terminates, then returns a set of MSs in , an optimized codebook
, and the expected number of transmissions .

Algorithm 2 is described as follows: in step 1, represents the set of all MSs and represents the number of all possible beams in a codebook. is the set of all assigned MSs in beam and is initially empty where . In step 2, we select beam for MS whose SINR is maximized (the best assigned beam) over all possible beams. In step 3, we update the value of and . Finally, in step 4, if is not an empty set, then go to step 2. Otherwise, the algorithm terminates, and returns a set of MSs in . If some set of MSs (e.g., for beam ) is an empty set, this implies that the BS will not transmit any packets over that beam whose power allocation is zero. Note that Algorithm 2 minimizes the variance of SINRs of all MSs in each beam.

Using all sets, a codebook may not be the best solution. In other words, using a large number of sets of a codebook implies that the BS spends an amount of time to successfully retransmit all lost packets while all MSs most likely have high SINR levels. However, when we lower SINR values for a certain set of MSs by eliminating some sets of a codebook and assigning these MSs to the remaining sets, the overall number of transmissions can be reduced. Therefore, we propose an algorithm to further minimize the number of transmissions as shown in Algorithm 3.

Algorithm 3 works as follows: in step 1, we have the original sets of a codebook and the groups of MSs in each . Then, we compute the expected number of transmissions where is the number of sets of a codebook. In step 2, we determine the maximum PER over all MSs assigned to each set of a codebook denoted by . The best set of a codebook (), that is, the set that has the lowest value of the maximum PERs among all sets of a codebook, is determined in step 3. Because the set with the highest value of maximum PERs dominates the transmission performance in the system, when we eliminate the set , the number of transmissions is likely to decrease. Then, we assign all MSs in the set to all other existing sets as done in step 4. In step 5, we compute the expected number of transmissions after eliminating the set . In step 6, if , then we go to step 2 for further codebook optimization. Otherwise, the algorithm returns the optimized codebook together with a set of MSs in and the expected number of transmissions as described in step 7.

6. Performance Evaluation

We consider a downlink channel consisting of one BS and multiple MSs. The BS and each MS are, respectively, equipped with 4-transmit antenna elements and a 1-receive antenna element. The system parameters are set as follows: maximum number of concurrent signal beams is ; operation frequency is 5 GHz; antenna array spacing at the BS is where is the wavelength; noise power is ; packet size is 1000 Bytes; number of transmitted packets per MS is 100 packets; modulation technique is BPSK. To be fair to all MSs, we assume that the BS adopts the round-robin transmission scheduling policy. The simulation is implemented with MATLAB.

In broadcast scenarios, the BS transmits a packet to all MSs at once. One example of broadcast transmissions is digital TV broadcasting, where all MSs watch the same TV channel at the same time. Therefore, the BS needs only to transmit data packets omnidirectionally, which makes them reach all MSs. We assume that the BS uses one antenna to do so, and there is no need for applying BF techniques during data transmissions.

For the purpose of evaluating the performance of our proposed scheduling algorithms, we consider evaluating four retransmission schemes: 1-Omni ARQ (i.e., traditional retransmission technique), 1-Omni NC (i.e., traditional with NC only), BF-ARQ (i.e., BF with traditional retransmission technique), BF-NC with SINR (proposed technique 1: greedy-selection-based scheduler), and BF-NC with codebook (proposed technique 2: codebook-based scheduler). Both 1-Omni ARQ- and 1-Omni NC-based retransmission schemes use one transmit antenna element, and retransmissions of lost packets are respectively done with ARQ and NC techniques only. BF-ARQ-based retransmission scheme is to use BF to retransmit lost packets to a group of MSs with ARQ techniques. The group formation for BF-ARQ is based on technique 1 (Algorithm 1). The proposed BF-NC-based retransmission schemes use either technique 1 (Algorithm 1) or technique 2 (Algorithms 2 and 3). A graphical illustration of these schemes is given in Figure 6.

6.1. Uniform MS Distribution on a Circle

First, we study the broadcast scenario shown in Figure 7(a), where there are 120 uniformly distributed MSs, all having the same channel gain.

Recall that the BS uses one transmit antenna during the data transmission phase, making signals/packets (transmitted omnidirectionally) reach all MSs. In Figure 8(a), we show the average loss rate of packet transmissions during these omnidirectional transmissions as a function of the transmit power. Figures 8(b) and 8(c) show the total number of transmitted packets and throughput gain, respectively, as a function of power for all simulated retransmission schemes.

Figure 8(b) shows that 1-Omni NC-based retransmission scheme performs the best in this network scenario when compared with all the other retransmission schemes, followed by the BF-NC with codebook, the BF-NC with SINR, the 1-Omni ARQ, and then the BF-ARQ. The achieved performances of the 1-Omni NC scheme are expected in this network topology, since all MSs experience the same channel gain and signal strength. We will see later that this is no longer the case when considering more realistic scenarios where MSs may experience different gains. For the BF-NC with SINR (i.e., with greedy selection) scheme, SINR thresholds are set to 3 levels (6.75, 7.25, and 8.00) for grouping MSs in each beam. For completeness and to assess the impact of incorporating the NC technique, we also measure and plot in Figure 8(c) the throughput gains of the 1-Omni NC, the BF-ARQ, the BF-NC with SINR, and the BF-NC with codebook over the 1-Omni ARQ-based retransmission scheme. In all figures, a throughput gain of ratio 1 means that both retransmission schemes use the same number of total transmissions. The figure shows that the 1-Omni NC- and the BF-NC-based retransmission schemes reach throughput gains of ratio 2.2 (i.e., 120% gain) and 1.5 (i.e., 50% gain), respectively. Even though both of the proposed BF-NC-based retransmission schemes have similar results, we lean towards the codebook-based one since it does not require multiple levels of SINR thresholds while still achieving similar performances.

6.2. Clustered MS Distribution on a Circle

In this section, we consider studying a network topology with a clustered MS distribution. Specifically, we consider the network topology scenario of Figure 7(b), where 60 MSs are grouped into 3 clusters each having 20 MSs.

All MSs in each cluster are close to one another, and the channel gains for all MSs belonging to the same cluster are the same (or close). Figure 9(a) shows the average loss rate of omnidirectional packet transmissions (without including retransmissions) as function of the transmit power. In Figure 9(b), we show the number of total transmissions (including retransmissions) under each of the studied retransmission schemes as function of the transmit power. First, observe that unlike the case when MSs are uniformly distributed (as illustrated in Section 6.1), when MSs are not uniformly distributed, the proposed retransmission schemes (both BF-NC with SINR and BF-NC with codebook) outperform not only the traditional retransmission scheme (i.e., 1-Omni ARQ and BF-ARQ), but also the traditional scheme with NC (i.e., 1-Omni NC scheme). The total number of transmissions needed under the proposed schemes is substantially lesser than that needed under the 1-Omni ARQ and the 1-Omni NC, especially for low transmit power levels. This is because the BS can now efficiently allocate the power to a set of active BF beams instead of spreading the power in all directions, strengthening then the signals received at intended MSs, and as a consequence, increasing MSs SINRs.

The second observation that we can draw from the figure is that both proposed techniques achieve very similar performances in terms of the total number of transmissions. This is because when all MSs in the same cluster have similar channel gain, each coded packet most likely comes from all MSs whose packet loss rates are similar. In other words, this maximizes the number of lost packets to be coded at once.

We now plot the throughput gains of the proposed schemes and the 1-Omni NC scheme when compared with the traditional scheme (i.e., 1-Omni ARQ). As shown in Figure 9(c), the throughput gains for the 1-Omni NC- and the BF-NC-based retransmission schemes can reach up to 120% (ratio of 2.2) and 175% (ratio of 2.75), respectively. Note that the incorporation of NC into the 1-Omni scheme results in almost halving the number of total transmissions, whereas the incorporation of these same NC techniques into BF-based schemes (whether SINR or codebook based) reduces the number of total transmissions by almost a third.

6.3. Random MS Distribution inside the Circle

Finally, we study a network topology with a random MS distribution. In particular, we consider the network topology scenario of Figure 7(c), where 120 MSs are randomly distributed at distances from the base station such that their channel gains are uniformly distributed between 0.7 and 1.3. Furthermore, the angles are normally distributed with the mean of 90 and standard deviation of 30 degrees. Any station located outside the range of degrees ignored.

The average loss rate of packet transmissions during these omnidirectional transmissions is shown in Figure 10(a). The performance of BF-based retransmission schemes in this case is under that of the 1-Omni NC scheme as in Figure 10(b). Specifically, the 1-Omni NC scheme has the best result followed by NC-based retransmissions (i.e., BF-NC with SINR or codebook), the 1-Omni ARQ, and the BF-ARQ, respectively. Finally, Figure 10(c) shows the throughput gain with respect to the 1-Omni ARQ scheme. This is intuitively plausible as when mobile stations are dispersed too much, beamforming becomes less effective. In this case, omnitransmission makes sense and NC provides additional benefit with fewer retransmissions. Thus, 1-Omni NC transmission scheme performs the best.

6.4. Impact of Number of MSs

In this section, we want to study the impact of the number of MSs on the performance behaviors. In this simulation, we use the network topology of Figure 7(a), where the number of MSs is varied from 120 to 300. In all scenarios, all MSs have the same channel gains. Figure 11(a) shows how the number of transmissions changes as the number of MSs is varied for each of the proposed retransmission schemes. As expected, when increasing the number of MSs, the BS tends to spend more time to successfully retransmit all lost packets to all corresponding MSs. The number of transmissions when using the BF-NC with codebook retransmission scheme is less than that of the BF-NC with greedy selection (with SINR) retransmission scheme. Note that the number of MSs affects the throughput gain of both BF-NC-based retransmission schemes; this is shown in Figure 11(b). The higher the number of MSs, the higher the chances of combining more lost packets before retransmitting, thus leading to higher throughput gains (lesser transmissions).

7. Conclusion

This paper proposes two joint BF/NC-based scheduling algorithms for wireless broadcast downlink channels. The first algorithm relies on greedy selection of MSs based on their SINRs, whereas the second algorithm uses codebook to group and schedule MSs. The greedy selection approach consists of using MSs orthogonality and their physical locations to maximize their signal quality over a wireless network. The codebook-based approach, on the other hand, uses a predefined codebook to generate multiple sets of orthogonal beams.

Our results show that both of the proposed techniques/algorithms increase the overall throughput by minimizing the number of transmission attempts.

Our simulations indicate that our techniques reduce the number of retransmission attempts significantly, resulting in achieving high throughput gain of up to 175% of broadcast transmissions when compared to that of traditional ARQ retransmission approaches.

Appendix

In this section, we prove that our BF-NC scheduling problem is NP-hard. First of all, we know that the well-known problem “scheduling unrelated parallel machines (SUPM)” is NP-hard [19]. To prove that our BF-NC-based scheduling problem is NP-hard, we need to show the reduction from the SUPM problem to our problem. In the SUPM problem, there is a set of jobs denoted by and a set of parallel machines with their related speed factors denoted by . For generalization of identical machines, they can run at different speeds but do so uniformly. For each machine with a speed factor , the processing time for job () on machine denoted by can be computed as . Note that each machine can process only one job at a time. Therefore, the total time on machine is . The goal is to find a scheduler that minimizes the makespan such that where and . Formally, an instance of an SUPM problem is a 3-tuple problem as follows:

Given an instance of an SUPM problem, we can construct the following version of our BF-NC-based scheduling problem by reduction as follows. All MSs are in a set . A set of lost packets belonging to MS is . In particular, the job in original problem is reducible to our problem as a set of lost packets for MS (i.e, ). For each beam , we randomly assign MS with a set of lost packets to a group of MSs over all groups as shown in Figure 12, where and . In this case, we set for assigning a set of lost packets to a group (for beam ). Note that this reduction is the special case of our BF-NC-based scheduling problem when all lost packets in each group cannot be combined. Therefore, the reduction for variables to can be done in .

Suppose we have the optimal solution to solve a BF-NC-based scheduling problem. To be complete, we can show that the optimal solution to our BF-NC-based scheduling problem is the optimal solution to an SUPM problem as follows. First, we use only one set of orthogonal BF beams from a given codebook. For example, the BS uses only the set, then we set and in (8) where . Therefore, we have where and are a set of coded/uncoded lost packets based on an NC technique in beam and packet error rate for MS in beam , respectively. Recall that all lost packets in each beam cannot be combined in this special case. Thus, a set of lost packets for MS strictly depends on , where . In such case, we can rewrite (A.3) as follows: In (A.4), the time to successfully retransmit all lost packets in is the summation of the time to retransmit all where .

Comparing (A.1) to (A.4) and assuming there exists a function for reduction from to , all instances of an SUPM problem are correctly reducible to our BF-NC-based scheduling problem. That is The solution to (A.4) is a set of for all and . From (A.5), both objective functions can be reducible to each other and vice versa. That means the optimal solution to our BF-NC-based scheduling problem in (A.4) is the optimal solution to an SUPM problem in (A.1). Furthermore, the SUPM problem can be reducible to our problem in polynomial time. This concludes that our problem is NP-hard.