The present invention relates to wireless network resource management, and more particularly to a proportional-fair radio resource management technique.
Many challenging wireless network management issues arise with regard to the allocation of two available resource groups. For example, the component carrier (CC) assignment problem in a carrier aggregated network, the resource partition (RP) assignment problem in an interference coordinated network, and the handoff (or cell association) decision problem all typically involve the partitioning or allocation of two resource groups. The definition of a resource group depends upon the network circumstances—for example, a resource group may be a single component carrier (or a set of CCs) in the component carrier assignment problem, or a single resource partition (or a set of RPs) in the resource partition assignment problem, or the radio resource of a single cell in the handoff decision problem.
Regardless of the particular type of resource group being allocated, the allocation depends upon the goals of the network designer. For example, one can design a network so that system capacity is maximized. In that regard, suppose a high quality resource group is being allocated along with a low quality resource group. If there is single wireless terminal in a cell, a trivial solution to allocation is to let the wireless terminal use both resource groups. If there is more than one user, the problem is no longer trivial due to the conflict between system capacity and fairness. For example, the radio quality for a terminal in the cell core is likely better than that for a terminal in the cell edge. Assigning both the high and low quality resource group to the cell core terminal, therefore, maximizes the system capacity. But such a solution makes maximizes unfairness because the edge terminal is not provided with any resource. Conversely, the network designer may stress fairness over system capacity. In such a scenario, one could evenly distribute the high quality and low quality resource groups to all terminals in the cell. If the resource groups are component carriers, however, the power consumption caused by turning on multiple CCs should be avoided (especially for the battery-powered terminals) as much as possible. Moreover, channel feedback and scheduling overhead accompanied by multiple CCs (or RPs) grows as the number of wireless terminals increases. Thus, system capacity would be significantly degraded in a totally fair design.
One can thus readily appreciate that it is a non-trivial problem to balance the competing needs of system capacity and fairness simultaneously. Thus there is a need in the art for improved resource group allocation techniques.
In one embodiment, radio resource management is differentiated by the radio quality difference of two resource groups. First, the unit share rate achievable with a unit share of each of resource groups is determined for each wireless terminal. Alternative rate definitions may also be used. Each terminal would thus have a first unit share rate corresponding to a first resource group and a second unit share rate corresponding to a second resource group. Here, each terminal is required to have an above-zero rate at least at one of the two resource groups (if the rates of a terminal are zero in both of the groups, it is simply excluded from the resource allocation). If there is only one terminal satisfying the requirement, a trivial solution is to allocate all the resource groups with above-zero rate to the single terminal. If there are at least two terminals satisfying the above requirement, then a differentiation factor is determined for each terminal by computing the ratio of the two rates, for example, by computing the ratio of the first unit share rate divided by the second unit share rate. Alternative expressions can be used as discussed further below but the resulting differentiation factors should be calculated in a fashion that addresses the relative sizes of each resource group. Defining the bit rates per unit share of the resource group as discussed further herein conveniently accounts for the relative sizes of the resource groups. If the differentiation factors of the terminals are all zero or all infinity, then all terminals have zero rate in one resource group and (finite) non-zero rates in the other resource group. A trivial solution for such case is to allocate the resource of the resource group with non-zero rate evenly to the terminals. On the other hand if there is at least one terminal with a finite, non-zero differentiation factor, then for each of such terminals, the resource shares of the terminal at the first resource group and the second resource group are determined based on the differentiation factors of the terminal and the other terminals. A terminal is considered as associated with a resource group if the resource share of the terminal at the resource group is above zero.
The resource shares of terminals may be determined by sorting the differentiation factors for the terminals in either a non-decreasing or non-increasing order. It there are N such terminals being sorted, the terminals may be indexed with regard to this ordering according to an index k that ranges from 1 to N. Alternatively, the terminals may be indexed from an integer a to form a sorted group a, a+1, . . . , a+N−1. This alternative indexing is advantageous with regard to implementing the sorting algorithm in software in that it saves memory space for the resulting arrays. The following discussion will first address the case in which the index ranges from 1 to N followed by a discussion of the index ranging from a to a+N−1. There will thus be a total of four proportional fair alternatives in that each index alternative may be solved using either an increasing or decreasing sorting of the differentiation factors as set forth below in Table 1. The first two alternatives concern the indexing from 1 to N and are denoted herein as “algorithm 1” and “algorithm 2.” Algorithm 1 addresses a descending sorting whereas algorithm 2 is directed to an ascending sorting of the differentiation factors. Algorithms 3 and 4 use an indexing from an integer a to an integer a+N−1. Algorithm 3 addresses a descending sorting whereas algorithm 4 is directed to an ascending order of the differentiation factors. It may be seen that algorithm 1 is just a special case of algorithm 3. Similarly, algorithm 2 is a special case of algorithm 4.
In each algorithm, a border determining function may be applied to the sorted differentiation factors to determine a border terminal index (defined with regard to an integer K). Equivalently, an inverse border determining function may be applied to the sorting index as compared to differentiation factors to determine the border terminal index. With regard to the ith sorting index, the ith differentiation factor may be denoted as d(i) such that the border determining function of the ith differentiation factor may be denoted as G(d(i)). The terminals may then be allocated to one resource group or the other depending upon their relationship to the border terminal index. Advantageously, only the border terminal can be allocated to both resource groups, which simplifies implementation. Accordingly, up to one terminal (that is, the border terminal) may associate with both resource groups while the other terminals associate with only one of the two resource groups. The radio resource of a resource group is allocated only to the terminals associated with the resource group. The distribution of the terminal throughputs according to the above resource allocation can be proved to be proportional-fair, which is known to provide a good trade-off between the system capacity and fairness.
Because most of the terminals (i.e. all terminals except for up to one terminal) are associated with only one resource group, overhead involved in the association and allocation of the resource groups is significantly reduced as compared to conventional schemes where terminals are associated with and allocated from both resource groups. If the quality of one resource group is better than that of the remaining resource group for all wireless terminals, then the differentiation factors are either all above one or below one depending on how the ratio for the differentiation factors is computed. The present invention provides a proportional fair resource allocation for such a scenario. Thus, while a strategy that simply selects a high-quality resource group for all wireless terminals wastes the other resource group in that no wireless terminal is allocated to the low-quality resource group, the present invention provides more efficient resource allocation.
When association is of primary interest, it can be determined alternatively without determining the resource group shares. To do so, first the differentiation factors of all the terminals may be sorted in a monotonically decreasing order. The sorted differentiation factors are then tested to find which of the following conditions is satisfied.
1. If there is Kε{1, . . . , N−1} such that G(d(K+1))≦K≦G(d(K))
2. If there is Kε{1, . . . , N−2} such that K<G(d(K+1))<K+1
3. If for K=0, K<G(d(K+1))<K+1
4. If for K=N−1, K<G(d(K+1))<K+1
If the sorted differentiation factor distribution satisfies the condition 1, then the terminals having indices belonging to the set k=1, . . . , K are associated with the first resource group while the remaining terminals whose indices are k=K+1, . . . , N are associated with the second resource group. There is thus no wireless terminal allocated to both resource groups in the case of satisfied condition 1. If the sorted differentiation factor distribution satisfies condition 2, on the other hand, then the terminals whose indices belong to the set k=1, . . . , K, k=K+1, and k=K+2, . . . , N are respectively associated with the first resource group, with the first and the second resource groups, and the second resource group. If the sorted differentiation factor distribution satisfies condition 3, then the terminal whose index is k=1 is associated with the first and the second resource groups while the terminal whose index is k=2, . . . , N is associated with the second resource group. If the sorted differentiation factor distribution satisfies condition 4, then the terminals whose indices belong to the set k=1, . . . , N−1 is associated with the first resource group while the terminal whose index is k=N is associated with the first and the second resource groups.
The present invention is applicable to a network in which two resource groups are allocated to one or more wireless terminals in a proportional fair manner. Turning now to the drawings,
The wireless service of each cell in
Each cell is coupled with a radio resource that is to be allocated to the terminals within the cell. The nature of the radio resource depends upon the particular wireless protocol being implemented to service the cells. For example, in an network implementing carrier aggregation, the radio resource takes the form of a carrier having a certain bandwidth at a frequency or a set of carriers under a carrier aggregation scenario. A carrier in a carrier aggregation scenario is referred as component carrier (CC)).
Regardless of the particular form of the resource group being allocated, many challenging wireless network management problems concern the allocation of two resource groups. For example, in the carrier aggregation scenario having two component carriers, it is necessary to decide for each terminal whether to serve it with either of the two CCs or both. In such a carrier aggregation network, a single CC (or a set of CCs) comprises a resource group. Many factors may need to be considered when allocating component carriers, such as the number of terminals, diversity, power consumption, channel feedback overhead, and so on. If there is only one terminal in the cell, the terminal may be served with both CCs, to increase the peak throughput. However, if there are large number of terminals in the cell, the amount of service assigned to each terminal may be small enough that it can be accommodated by only a single CC. In such a case, a terminal may be served with a single CC in order to decrease the power consumption of the terminal along the associated channel feedback and scheduling overhead. Due to the loss of frequency diversity on the other CC, the terminal throughput may decrease, but it should not be significant if the carrier bandwidth is large enough. If it is decided that each terminal is to be served with only one CC or that the number of terminals served with both CCs is to be minimized to one, the present invention provides a number of ways of deciding with which CC or CCs serve each terminal so that the proportional fairness as a system objective is satisfied.
Note that the resource group of the present invention need not be the same as the physical resource unit. For example, if there are two CCs in the 2 GHz band and one CC in the 3.5 GHz band, the two CCs in the 2 GHz band may be grouped together and form one resource group while the CC in the 3 GHz band may form the other resource group by itself. Thus, the size of the two resource groups may or may not be the same. Conversely, a large radio resource may be split into two smaller resource groups. For example, a CC may be split into two sets of resource partitions (RPs) in the frequency domain, in the time domain, or any other means, where each RP comprises one resource group. In such a case, the resource partition (RP) assignment problem may be also modeled as the radio resource management problem with two resource groups as discussed further herein.
The handoff (or cell association) decision problem can be regarded as yet another example of radio resource management with two resource groups. Here, a resource group is the radio resource of a single cell in the handoff decision problem, and the present invention provides a number of ways of deciding with which cell to serve the terminal so that the proportional fairness as a system objective is to be satisfied. The present invention applies to the above and other radio resource management problems with regard to the allocation of two radio resource groups. Moreover, any resource can be grouped or split to form the two radio resource groups. For the sake of simplicity, the present invention is explained hereinafter, with reference to a generic resource group only, and the specifics of the resource groups is no longer discussed.
The quality of two resource groups may be different due to a number of reasons related to the specifics of the radio environment of the groups. For example, interference coordination is often used to reduce the performance degradation due to inter-cell interference. Such interference coordination is typically performed using different resource groups or, if they use the same resource group, they use it with different transmit power. As a result, the link quality perceived by a wireless terminal can be different depending on the resource group in which it is served and on the specifics of the interference coordination rule that applies to the resource group.
In the example of
Proportional Fairness
In general, a throughput distribution for N terminals, {x(i), i=1, 2, . . . , N}, is proportional fair (PF) if it maximizes the following objective function:
where
x(i)=r1(i)·b1(i)+r2(i)·b2(i) (2)
and r1(i) is the unit share rate achievable by terminal i from a unit share of the first resource group resource, r2(i) is the unit share rate achievable by terminal i from a unit share of the second resource group resource, and b1(i) and b2(i) are the respective shares of the first and second resource group resource allocated to terminal i. By definition,
The equality in equations (3) and (4) holds when resource groups 1 and 2 are fully utilized by the terminals. The inequality in equations (3) and (4) holds when there is any unassigned resource.
If r1(i)=r2(i)=0 and x(i)=0, the objective function (1) goes to negative infinity and is thus plainly not maximized. Furthermore, there is no need to allocate any radio resource to such a terminal for radio efficiency purposes. Hence, a terminal having no achievable rate using either resource group is not considered under the resource group allocations disclosed herein. A zero-rate terminal may have to wait without being scheduled until its radio quality is improved in at least one of the resource groups. Or, the terminal may be handed off to another cell with better radio quality so as to be scheduled from that cell. Accordingly, without loss of generality, the proportional fair allocation techniques disclosed herein assume (unless stated otherwise) that at least one of the rates in the two resource groups of each wireless terminal is greater than zero. That is, for all i=1, . . . , N
r1(i)>0 and r2(i)=0, r1(i)=0 and r2(i)>0, or r1(i)>0 and r2(i)>0, (9)
The disclosed allocation algorithms concern the case of N≧2, since for N=1 there exists a trivial solution, which allocates all resource of both resource groups to the single terminal. Hereinafter it is thus assumed that N≧2.
The throughput x(i) can be formulated in many ways. For example, if B1 and B2 denote the respective sizes of the first and the second resource groups, and {tilde over (b)}1(i) and {tilde over (b)}2(i) denote the respective amount of the first and second resource group resource allocated to terminal i, then
{tilde over (b)}1(i)=B1·b1(i) (10)
{tilde over (b)}2(i)=B2·b2(i) (11)
Also denote, as {tilde over (r)}1(i) and {tilde over (r)}2(i), the respective rates achievable by terminal i from the unit amount of the first resource group resource and the unit amount of the second resource group resource. Then
Hereinafter, we use the throughput description of equation (2). However the present invention can be easily modified to use the throughput description of equation (14). Regardless of how the throughputs are described, it can be seen that the resulting expression for the unit share rates takes into account the respective sizes of the two resource groups. And because the differentiation factor discussed further below is derived from the unit share rates, the differentiation factor also takes into account the respective sizes of the two resource groups. This is quite advantageous in that different-sized resource groups are not uncommon yet existing techniques for allocating resource groups cannot accommodate such variations.
Differentiation Factors
Step 500 of
For example, if the resource groups are time-domain resource partitions as in
The proportional fair resource allocation of the present invention may be applied in any of the unit share rate definitions discussed above. The association and the allocation to be explained later may be executed in line with the time and frequency span of the unit share rate definition. For example, when the unit share rate is instantaneous, the association and the resource allocation of terminals are enforced so that they comply with the association and the resource allocation of the present invention at each instance. If the unit share rate is averaged, the association and the resource allocation of terminals are enforced so that they comply with the association and the resource allocation of the present invention in an average sense.
The differentiation factor determination 500 continues by determining for the ith terminal if both r1(i) and r2(i) equal zero in a step 605. If so, the resulting zero-rate terminal is removed from consideration. The zero-rate terminal may have to wait without being scheduled until its radio quality is improved in at least one of the resource groups. Or, the terminal may be handed off to another cell with better radio quality so as to be scheduled from the new cell. Because both r1(i) and r2(i) equaling zero will thus be ruled out, in other words, because at least one of the unit share rates is greater than zero, the differentiation factor of a terminal can be defined as the ratio of the two rates in a step 610, for example,
If the unit share rate r2(i)=0, then the differentiation factor D(i) goes to (positive) infinity. If the differentiation factor goes to infinity for all terminals, then the trivial solution is to evenly allocate the resource of the second resource group to all terminals (as shown further below with regard to Lemma 2). If the differentiation factor of only some of the terminals goes to infinity, on the other hand, the resource allocation scheme according to the present invention provides non-trivial solutions by appropriately handling those terminals with infinite factor value at the sorting process as discussed further herein. Having thus completed step 500 of
As discussed above, the proportional fair resource allocation disclosed herein may be organized into four different algorithms of Table 1. The following discussion will focus on algorithm 1. Algorithms 2 through 4 may then be discussed more briefly in that these algorithms are performed analogously as discussed with regard to algorithm 1.
Proportional Fair Resource Allocation
Step 505 is further explained with reference to the flowchart of
If step 725 determines that there are two or more such terminals, on the other hand, the proportional fair resource allocation with two resource groups may be obtained according to the procedures of
Then
d(1)≧d(2)≧ . . . ≧d(N) (16)
∀k, ∃i such that k=Π(i) (17)
where Π(i) is a permutation function that re-indexes the terminals according to the sorting. Hereinafter, i shall denote the terminal index before differentiation factor sorting whereas k denotes the terminal index after sorting.
A next step 805 in the procedures of
G(d(K+1))−K<G(d(K)) (18)
where
An alternative to step 805 is discussed below with regard to
where
λ1=max(G(d(K+1)),K) (20)
λ2=N−λ1 (21)
α(K+1)=max(G(d(K+1))−K,0) (22)
Alternatively, the proportional fair resource group allocation can be determined in a step 910 of
where └x┘ is a flooring function, which returns the largest integer no greater than x, and
λ=max(G(d(K+1)),K) (24)
Here, b1(k) and b2(k) are the resource shares at the first and the second resource groups of the kth terminal in the sorted differentiation factor list. These are different, in terms of the terminal indexing, from b1(i) and b2(i), the resource shares at the first and the second resource groups of the terminal in the unsorted differentiation factor list. It is straightforward to convert between those two by equation (17). Therefore, at steps 810 and 910, the resource shares of each terminal in the first and the second resource groups are determined by either equations (19) through (22) or equations (23) and (24), respectively. It will be appreciated that the alternative procedures of
Referring back to
Association may require additional procedures. For example, if a resource group comprises a CC or CCs in a carrier aggregation scenario, a terminal may need to activate the CC or CCs to be associated with the resource group. As another example, in a resource partition assignment problem, association of a terminal with a resource group may involve a configuration of measurement, reporting, and scheduling of the terminal to be performed on the resource partition constituting the associated resource group. Finally, in a handoff scenario, association of a terminal with a resource group may involve a handoff to another cell, unless the associated resource group is the resource of the current cell.
Referring again to
The resource shares of terminals may be enforced in instantaneous sense or in an average manner. For example, in a time-domain resource partition embodiment as in
Depending on the scenario, it may not be appropriate (in terms of complexity and battery consumption, for example) to compute the resource shares when determining the association. In such case, the association can be determined without computing the resource shares as in steps 810 and 910 of
Given these 3 cases, the index k can be determined and the terminals associated accordingly as follows. Referring now to
Referring to
if k=1 and b1(k)=0,
for k=2, . . . , N.
Therefore, if a terminal's index k=1, then the terminal is associated with both the first and the second resource groups; and a terminal is associated with the second resource group if its index k=2, . . . , N.
If the result of test 1105 is false, on the other hand, it is tested in a step 1115 if Kε{1, . . . , N−2}. Then as shown below in equation (130), the resource share of a terminal is above zero in a step 1120 for the first resource group if the terminal's index k=1, . . . , K+1; and the resource share of a terminal for the second resource group is above zero if its index k=K+1, . . . , N. A terminal having sorted index k equaling K+1 is associated with both resource groups. If the result of test 1115 is false again, then a step 1125 tests whether k=N−1. In that case, there is no terminal that is allocated with the second resource group only in a step 1130. More specifically,
b2(k)=0 if k=1, . . . , N−1 and
b2(k)=1 for k=N. Therefore, if a terminal's index belongs to the set k=1, . . . , N−1 then the terminal is associated with the first resource group; and a terminal is associated with the first and the second resource groups if its index satisfies k=N.
The derivation of cases 1 through 3 for the proportional fair allocations schemes will now be discussed.
Mathematical Derivation for Algorithm 1 with Respect to Cases 1 Through 3.
The derivation of the PF schemes uses the Kuhn-Tucker condition as follows. Since the objective function of equation (1) is strictly concave and the feasible region defined by equations (3) through (6) is compact, the optimal solution to the maximization problem exists. Let
The Kuhn-Tucker condition for the maximization problem of equation (1) is:
for all i=1, . . . , N and for all n=1, 2
and for all n=1, 2
where N(≧2) represents the number of terminals, i=1, . . . , N represent the unsorted terminal index and n=1, 2 represent the resource group number.
If the throughput x(i) equals zero, the objective function of equation (1) goes to negative infinity and clearly is not maximized. Thus, for all i=1, . . . , N
x(i)>0 (31)
The derivation of cases 1 through 3 requires the following lemmas.
Lemma 1
If there is iε{1, . . . , N} and nε{1, 2} such that rn(i)>0, then for such n
A proof of lemma 1 begins by letting rn(i)>0 for i=î and n={circumflex over (n)}. Then from equation (25)
Then from equation (31) and the assumption of the lemma,
which proves equation (32). Now plugging equation (32) into equation (30) proves equation (33).
Lemma 2
If rn(1)= . . . =rn(N)=0 for n=n0ε{1, 2}, then the solution to the maximization problem of equations (1) through (8) is as follows:
If n=n0, then bn(i), i=1, . . . , N take any values that satisfies equations (26) and (28).
If n≠n0, then for all i=1, . . . , N,
As a proof of lemma 2, it is first assumed that n=n0. Since rn
∀i=1, . . . ,N, bn
By equation (37), λn
Now it is assumed that n≠n0. For brevity, the following discussion will refer to equations simply using their numbers in parentheticals. By (9),
∀i=1, . . . ,N, rn≠n
Then by Lemma 1
On the other hand, from (2)
x(i)=rn
From (31),
∀i=1, . . . ,N, bn≠n
Then by (42) and (27)
From (41) and (43),
From (40) and (44)
λn≠n
Plugging (45) into (44) gives (36). So the lemma is proven for n≠n0.
Hereinafter, unless stated otherwise, it is assumed that the resource allocation does not concern Lemma 2. In order words, we assume that for all n=1, 2, there is at least one iε{1, . . . , N} such that rn(i)>0. The Kuhn-Tucker condition for the maximization problem of (1) under such an assumption is:
for all i=1, . . . , N and for all n=1, 2
and for all n=1, 2
where N(≧2) represents the number of terminal, i=1, . . . , N represent the terminal index and n=1, 2 represent the resource group number.
Note that b1(i)=b2(i)=0 should be ruled out since then the throughput satisfies x(i)=0, violating (31). Thus, for all i=1, . . . , N, one of the following needs to be satisfied:
b1(i)>0 and b2(i)=0 (50)
b1(i)>0 and b2(i)>0 (51)
b1(i)=0 and b2(i)>0 (52)
If (5) is satisfied, by (2), (47), and (46)
Plugging (53) into (54) and rearranging for the same resource group,
If (52) is satisfied, by symmetry,
Finally, if (51) is satisfied, by (47)
Rearranging (58) and (59) for 1/x(i),
Multiplying (58) and (59) respectively by b1(i) and b2(i) and summing them up,
Note that (53) and (56) can also be represented by (61) by plugging (50) and (52), respectively. Therefore, regardless of the three cases (50) through (52), each terminal should satisfy
λ1·b1(i)+λ2·b2(i)=1 (62)
Also, depending on the cases, one of (54), (57), and (60) should be satisfied.
By distinguishing the equality and the inequality in (54) and (57), each terminal should satisfy (62) and one of the following:
Plugging (63) through (67) into (62) and rearranging,
Lemma 3
If (68) is the solution to the maximization problem of (1) through (8), then.
λ1+λ2=N (69)
To begin the proof, note that if (68) is the solution, it satisfies (3), (4), and (62). Summing up (62) for all i
Plugging (3) and (4) into (70) proves the lemma.
A discussion of the remaining lemmas is prefaced by the following discussion of sorting. With sorted differentiation factors as in (16), the Kuhn-Tucker conditions (68) can be rewritten as
Taking advantage of (16) and rearranging the case of
in (71) gives
where n1 and n2 are integers satisfying 0≦n1<n2≦N+1, n1=0 indicating that there is no k such that b1(k)>0, b2(k)=0, n2=n1+1 indicating that there is no k such that b1(k)>0, b2(k)>0, and n2=N+1 indicating there is no k such that b1(k)=0, b2(k)>0.
A resource allocation scheme where there is at least one terminal whose resource group shares are both non-zero (i.e. b1(k)>0 and b2(k)>0) is referred to herein as an overlapping scheme. Otherwise, the resource allocation scheme is referred as a non-overlapping scheme. By (72) and its definition, for a non-overlapping scheme,
n2=n1+1 (73)
For an overlapping scheme,
n2=n1+m (74)
where m=2, . . . , N−n1. Here we need examine only m=2, because overlapping schemes for other cases exist only for limited instances of differentiation factor distribution and are not desirable in terms of resource allocation overhead issues, such as power consumption and feedback. Here, we are interested in n1, n2, λ1, and λ2 that makes (72) the solution to the maximization problem of (1) through (8). We first prove the following lemma.
Lemma 4
If (72) is the solution to the maximization problem of (1) through (8), then
n1≦λ1 (75)
n2≧λ1+1 (76)
As a proof, first we prove (75). If n1=0, (75) follows immediately from λ1>0. If n1≧1, then there exists k such that 1≦k≦n1 and
Then by (3) and (72),
Hence (75) is proven. Now we prove (76). If n2=N+1, by Lemma 3
n2=N+1=(λ1+λ2)+1 (78)
Then n2>λ1+1 follows from λ2>0 and (78). Now, if n2≦N then there exists k such that n2≦k≦N and b1(k)=0,
Then by (4) and (72):
and
N−n2+1≦N−λ1 (80)
Hence, (80) is proven.
Note that equality in (75) and (76) holds if and only if n2=n1+1.
By Lemma 3, the threshold in (71) can be expressed using a function,
where
is the inverse of G(x). Then the following lemmas hold.
Lemma 5
Let (71) and (72) be the solution to the maximization problem of (1) through (8), then if
for kε{1, 2, . . . , N} then 1≦k≦n1
Lemma 6
Let (71) and (72) be the solution to the maximization problem of (1) through (8), then if
for kε{1, 2, . . . , N} then n2≦k≦N
Lemma 7
Let (71) and (72) be the solution to the maximization problem of (1) through (8), then if n1+1≦k≦n2−1 for kε{1, 2, . . . , N} then
From (71), (72) and (81), it is straightforward to prove Lemmas 5-7; hence their proof is left out for brevity. Here, it is important to note that the converses of the above lemmas are not generally true. The derivation of cases 1 through 3 may now be addressed.
Note that G(x) and its inverse,
are strictly increasing for 0≦x<N. Also the range of G−1(x) is [0,∞) for 0≦x<N. On the other hand, d(k) is monotonically decreasing for k=1, 2, . . . , N and there is at least one finite positive d (k). (Otherwise, the solution is to be handled by Lemma 2.) Therefore, d(N) is always finite. By putting d(0)=∞, G−1(0)<d(0) and G−1(N)>d(N). Therefore, G−1(k)=d(k) for some k=1, 2, . . . , N−1, or there is no k s.t. G−1(k)=d(k) and G−1(k)<d(k) for k=0, 1, . . . , K and G−1(k)>d(k) for k=K+1, . . . , N, where K=0, 1, . . . , N−1. The former is denoted as case 1 as discussed above. The latter is further classified into case 2 and case 3 based on whether or not G−1(K)<d (K+1). Therefore, any differentiation factor distribution {d(k),k=1, 2, . . . , N} falls into one of the following three cases.
Case 1
∃Kε{1, . . . , N−1} s.t.
d(K)=G−1(K) (82)
Case 2
∃Kε{0, . . . , N−1} s.t.
G−1(K)<d(K) and G−1(K+1)>d(K+1) (83)
and in addition
G−1(K)<d(K+1) (84)
Or equivalently,
∃Kε{0, . . . , N−1} s.t.
G(d(K+1))−1<K<G(d(K+1)) (85)
Case 3
∃Kε{0, . . . , N−1} s.t.
G−1(K)<d(K) and G−1(K+1)>d(K+1) (86)
and in addition
G−1(K)≧d(K+1) (87)
Or, equivalently
∃Kε{0, . . . , N−1} s.t.
G(d(K+1))≦K<G(d(K)) (88)
In the subsequent sections, we derive the proportional fair resource allocation for each of the cases.
Case 1
First we prove the following lemma.
Lemma 8
Let (71) and (72) be the solution to the maximization problem of (1) through (8). If the differentiation factor distribution {d(k),k=1, 2, . . . , N} falls into Case 1 with G−1(K)=d(K) for Kε{1, 2, . . . , N−1}, then
λ1=K (89)
We prove it by contradiction. First, assume K<λ1. Because G−1(x) is strictly increasing,
G−1(K)<G−1(λ1) (90)
Since G−1(K)=d(K) from the definition of K
d(K)<G−1(λ1) (91)
Then by lemma 6
n2≦K≦N (92)
By the assumption and (92)
n2≦K<λ1 (93)
However, by lemma 4
n2≧λ1+1 (94)
This contradicts with (93). Therefore,
λ1≦K (95)
Now, assume K>λ1. Because G−1(x) is strictly increasing,
G−1(K)>G−1(λ1) (96)
From definition of K and (96)
d(K)>G−1(λ1) (97)
Then by lemma 5
1≦K≦n1 (98)
By the assumption and (98)
λ1<K≦n1 (99)
However, by lemma 4
n1≦λ1 (100)
This contradicts to (93). Therefore,
K≦λ1 (101)
The lemma follows from (95) and (101).
Now we derive a non-overlapping scheme as the solution to the maximization problem of (1) through (8) for case 1, and then show that an overlapping scheme with n2=n1+2 does not exist for case 1.
Non-Overlapping Scheme
For a non-overlapping scheme, the equality in (75) and (76) is
n1=λ1 (102)
n2=λ1+1 (103)
Because n1 is an integer, from (89) and (102)
n1=λ1=K (104)
and
n2=K+1 (105)
Plugging (104) and (105) into (72) results in a non-overlapping resource allocation scheme as follows:
where Kε{1, . . . , N−1}, and
d(K)=G−1(K) (107)
Overlapping Scheme
We show that an overlapping scheme with n2=n1+2 does not exist for case 1. We prove this by contradiction. Assume there is an overlapping scheme with n2=n1+2 for Case 1. For overlapping scheme, the equality does not hold in lemma 4. Thus
n1<λ1<n1+1 (108)
However, from (89) λ1 is an integer, and no integer satisfies (108). Due to the contradiction, we conclude that an overlapping scheme with n2=n1+2 does not exist for case 1.
Case 2 will now be considered as follows:
Case 2
Derivation of case 2 uses the following lemma.
Lemma 9
Let (71) and (72) be the solution to the maximization problem of (1) through (8). If the differentiation factor distribution {d(k),k=1, 2, . . . , N} falls into case 2 with G(d(K+1))−1<K<G(d(K+1)) for Kε{0, . . . , N−1}, then
λ1=G(d(K+1)) (109)
We prove (109) by the similar technique used in the proof of lemma 8. First, assume G(d(K+1))<λ1. Because K<G(d(K+1)) from the definition of K
K<λ1 (110)
Then by lemma 4,
K<λ1≦n2−1 (111)
and
K+1<n2 (112)
However, because G(d(K+1))<λ1 from lemma 6
n2≦K+1 (113)
But (113) contradicts with (112). Therefore,
G(d(K+1))≧λ1 (114)
So, now assume G(d(K+1))>λ1. Since G(d(K+1))<K+1 from definition of K
λ1<K+1 (115)
Then by lemma 4,
n1≦λ1<K+1 (116)
and
n1<K+1 (117)
However, because G(d(K+1))>λ1, from lemma 5
K+1≦n1 (118)
But (118) contradicts with (117). Therefore,
G(d(K+1))≦λ1 (119)
The lemma thus follows from (114) and (119).
In the following, we show that a non-overlapping scheme does not exist for case 2 and then drive an overlapping scheme with n2=n1+2 as the solution to the maximization problem of (1) through (8) for case 2.
Non-Overlapping Scheme
Assume there is a non-overlapping scheme that is the solution to the maximization problem of (1) through (8), then equality holds in lemma 4:
n1=λ1 (120)
From (109)
n1=λ1=G(d(K+1)) (121)
On the other hand, by the definition of K,
K<G(d(K+1))<K+1 (122)
Because n1 is an integer, G(d(K+1)) should be an integer due to (121). However, from (122), G(d(K+1)) cannot be an integer. Hence, there is a contradiction that proves that a non-overlapping scheme does not exist for case 2.
Overlapping Scheme
In this subsection, we derive an overlapping scheme with n2=n1+2 for case 2. By lemma 4,
n1<λ1<n1+1 (123)
From (109) and the definition of K,
K<G(d(K+1))=λ1<K+1 (124)
Because n1 and K are integers, from (123) and (124)
n1=K (125)
Because n2=n1+2
n2=K+2 (126)
From (3), (72), and (125)
From (127) and (109)
By (62) and (128)
Now, from (72), (128), and (129) we have an overlapping resource allocation scheme as follows:
where Kε{0, . . . , N−1}, and
K<G(d(K+1))<K+1 (131)=
λ1=G(d(K+1)) (132)
λ2=N−λ1 (133)
α(K+1)=G(d(K+1))−K (134)
Finally, case 3 will be addressed as follows:
Case 3
Case 3 relies on the following lemma:
Lemma 10
Let (71) and (72) be the solution to the maximization problem of (1) through (8). If the differentiation factor distribution {d(k), k=1, 2, . . . , N} falls into case 3 with G(d(K+1))≦K<G(d(K)) for Kε{0, . . . , N−1}, then
λ1K (135)
A proof of (135) begins by assuming K<λ1. Because G−1(x) is strictly increasing,
G−1(K)<G−1(λ1) (136)
Since G(d(K+1)) K from the definition of K
d(K+1)≦G−1(K)<G−1(λ1) (137)
Then by lemma 6
n2≦K+1≦N (138)
By the assumption and (138)
n2≦K+1<λ1+1 (139)
However, by lemma 4
n2≧λ1+1 (140)
This contradicts with (139). Therefore,
λ1≦K (141)
Now, assume K>λ1. Because G−1(x) is strictly increasing,
G−1(K)>G−1(λ1) (142)
From definition of K and (142)
d(K)>G−1(λ1) (143)
Then by lemma 5
1≦K≦n1 (144)
By the assumption and (144)
λ1<K≦n1 (145)
However, by lemma 4
n1≦λ1 (146)
This contradicts with (145). Therefore,
K≦λ1 (147)
The lemma follows from (141) and (147)
Now we derive a non-overlapping scheme as the solution to the maximization problem of (1) through (8) for case 3, and then show that overlapping scheme with n2=n1+2 does not exist for case 3.
Non-Overlapping Scheme
For a non-overlapping scheme, the equality holds in lemma 4:
n1=λ1 (148)
n2=λ1+1 (149)
Because n1 is an integer, from (135) and
n1=λ1=K (150)
and
n2=K+1 (151)
Plugging (150) and (151) into (72) results in a non-overlapping resource allocation scheme as follows:
where Kε{1, . . . , N−1}, and
G(d(K+1))≦K<G(d(K)) (153)
Overlapping Scheme
We show that an overlapping scheme with n2=n1+2 does not exist for case 3 by contradiction. Assume there is an overlapping scheme with n2=n1+2 for case 3. For an overlapping scheme, the equality does not hold in lemma 4. Thus
n1<λ1<n1+1 (154)
From (135) λ1 must be an integer. But no integer satisfies (1534). Due to the resulting contradiction, we conclude that an overlapping scheme with n2=n1+2 does not exist for case 3.
Regardless of whether an overlapping or non-overlapping scheme is implemented, the resulting scheme is required to operate in any of the three cases: case 1 to 3. As shown in the previous sections, however, neither the non-overlapping nor the overlapping scheme is capable of meeting that requirement. So, adaptive switching between the two schemes is necessary for implementation.
The following discussion proves the single form of the solution to the maximization problem of (1) through (8) discussed with regard to
where Kε{0, 1, . . . , N−1}, such that
G(d(K+0)−1≦K<G(d(K)) (156)
and
λ1=max(G(d(K+1)),K) (157)
λ2=N−λ1 (158)
α(K+1)=max(G(d(K+0))−K,0) (159)
Case 1
First, note that Case 1 is equivalent to the case where the equality in the LHS of (156) holds. That is, for a Kε{0, . . . , N−1},
G(d(K+1))=K+1 (160)
Plugging (160) into (157) and (159) leads to
λ1=K+1 (161)
α(K+1)=1 (162)
From (155), (161), (158), and (162):
Then (106) and (107) follows from (160) and (163) by putting {circumflex over (K)}=K+1. Thus, (155) through (159) correctly represent the non-overlapping solution to the maximization problem of (1) through (8) for case 1.
Case 2
Case 2 is the case where (84) and the inequalities of (156) hold. Because G−1(K)<d(K+1) by (84), and from (157) and (159)
λ1=max(G(d(K+1)),K)=G(d(K+1)) (164)
α(K+1)=max(G(d(K+1))−K,0)=G(d(K+1))−K (165)
(164) and (165) are respectively the same as (132) and (134). Thus, (155) through (159) correctly represent the overlapping scheme solution to the maximization problem of (1) through (8) for case 2.
Case 3
Case 3 is the case where (87) and the inequalities of (156) hold. Because G−1(K)≧d(K+1) by (87) and from (157) and (159)=
λ1=K (166)
α(K+1)=0 (167)
(152) results from plugging (166) and (167) into (155). Thus, (155) through (159) correctly represent the non-overlapping solution to the maximization problem of (1) through (8) for case 3.
As discussed above with regard to
where └x┘ is a flooring function, which returns the largest integer no greater than x, and
λ=max(G(d(K+1)),K) (169)
and Kε{0, 1, . . . , N−1}, such that
G(d(K+1))−1≦K<G(d(K)) (170)
Showing the equivalence of two representations is straightforward from
Algorithms 2 through 4 will now be discussed in a more summary fashion in that the mathematical analysis to show their proportional fairness is analogous to that discussed above for algorithm 1. Algorithm 3 will be discussed first. Algorithm 3 is simply a more general form of algorithm 1 discussed above in that the indexing of the sorted differentiation factors starts from an arbitrary integer a as opposed to 1 in the case of algorithm 1. Such a re-indexing of the sorted differentiation factors is advantageous in that software solutions will require less memory for the implementation of algorithm 3.
Algorithm 3 also sorts the differentiation factors in a monotonically descending order but indexed from k=α, α+1, . . . , α+N−1. Such an indexing also covers N terminals as discussed with regard to algorithm 1 but does not start from 1 but instead from an arbitrary integer a, which can be positive or negative. The border terminal is then defined with regard to an index Kε{a−1, a, . . . , a+N−2} such that G(d(K+1))−1≦K<G(d(K), where the border determining function G(x) equals (a−1+(N+a−1)x)/(1+x). It can be seen that such a border definition is analogous to act 805 of
In contrast to algorithm 1, algorithm 2 sorts the differentiation factors in a monotonically increasing order as indexed from k equals 1 to N. The border terminal is then defined with regard to an index Kε{2, 3, . . . , N+1} such that G(d(K))<K≦G(d(K−1))+1, where the border determining function G(x) equals (N+1+x)/(1+x). This border definition is also analogous to step 805 of
Algorithm 4 is the general case of algorithm 1 where the sorted differentiation factors are indexed from a to a+N−1 as in algorithm 3. The border terminal is then defined with regard to an index Kε{a+1, a+2, . . . , a+N} such that G(d(K))<K≦G(d(K−1))+1, where the border determining function G(x) equals (N+a+ax)/(1+x). Again, this border definition is analogous to step 805 of
Regardless of which algorithm is implemented, the allocation of resource groups may be applied in either the uplink or the downlink. A base station may measure the uplink data rates directly. However, the downlink data rates are preferably determined by the terminals. Thus step 1200 of
The overhead required for downlink allocation is illustrated in
Association is yet another example which may require the collaboration of terminals and network nodes. Association may require terminals to transmit a certain message to the network based on the knowledge of which resource group or groups the terminals are to be associated. For example, in a carrier aggregation scenario, the CC or CCs to be activated is determined by the network and delivered to the terminals. The terminals then transmit a CC activation message to the network to complete the association. In a resource partition scenario, the network determines on which resource partition or partitions a terminal should monitor and delivers the decision to the terminals. The terminals, in response to this association indication, monitor the corresponding resource partition(s) and send a measurement report on the resource partitions to the network. In a handoff scenario, the network decides which cell for a terminal to handoff. In return, the terminals, transmit handoff related messages to the network.
The above-described embodiments of the present invention are representative of many possible embodiments. It will thus be apparent to those skilled in the art that various changes and modifications may be made to what has been disclosed without departing from this invention. The appended claims encompass all such changes and modifications as falling within the true spirit and scope of this invention.
This application claims the benefit of U.S. Provisional Application No. 61/449,466, filed Mar. 4, 2011.
Number | Name | Date | Kind |
---|---|---|---|
20070070894 | Wang et al. | Mar 2007 | A1 |
20070248048 | Zhu et al. | Oct 2007 | A1 |
20070248178 | Zhu et al. | Oct 2007 | A1 |
20100091798 | Bhushan et al. | Apr 2010 | A1 |
20120020209 | Ghosh et al. | Jan 2012 | A1 |
20130107726 | Hughes et al. | May 2013 | A1 |
Number | Date | Country | |
---|---|---|---|
20120224558 A1 | Sep 2012 | US |
Number | Date | Country | |
---|---|---|---|
61449466 | Mar 2011 | US |