You are on page 1of 5

Optimal Power Control for Multiuser

CDMA Channels
Anke Feiten Rudolf Mathar
Institute of Theoretical Information Technology Institute of Theoretical Information Technology
RWTH Aachen University RWTH Aachen University
52056 Aachen, Germany 52056 Aachen, Germany
Email: feiten@ti.rwth-aachen.de Email: mathar@ti.rwth-aachen.de

Abstract— In this paper, we define the power region as the feasible region, adequate power control algorithms and their
set of power allocations for K users such that everybody convergence are investigated in [6], [12], [13], [14], [15], [16].
meets a minimum signal-to-interference ratio (SIR). The SIR is
In this paper, we investigate properties of the power region
modeled in a multiuser CDMA system with fixed linear receiver
and signature sequences. We show that the power region is and the existence of energy minimal power settings assuming
convex in linear and logarithmic scale. It furthermore has a known channel information and fixed signature and linear
componentwise minimal element. Power constraints are included receiver sequences in CDMA systems. To summarize, the main
by the intersection with the set of all viable power adjustments. contributions are as follows.
In this framework, we aim at minimizing the total expended
power by minimizing a componentwise monotone functional. If In Section II we first define the power region for K users
the feasible power region is nonempty, the minimum is attained. as the set of power settings 0 ≤ p ∈ RK , such that in a
Otherwise, as a solution to balance conflicting interests, we community of K users each user i encounters a signal-to-noise
suggest the projection of the minimum point in the power region ratio above a certain threshold γi . The power region is shown
onto the set of viable power settings. Finally, with an appropriate to be convex in linear and logarithmic scale. It furthermore
utility function, the problem of minimizing the total expended
power can be seen as finding the Nash bargaining solution, which
contains a componentwise minimal element p∗ that can be
sheds light on power assignment from a game theoretic point of explicitly determined.
view. Convexity and componentwise monotonicity are essential In Section III energy efficient power allocation is formalized
prerequisites for this result. as minimizing a componentwise monotone function h over
the power region. In practice, however, power is limited. This
I. I NTRODUCTION is included in our model by introducing the feasible power
region as the intersection with a convex and downward closed
In interference limited wireless communication systems, set of viable power adjustments. In the case that there is no
like code division multiple access (CDMA), mobile users feasible power allocation, we suggest the projection of p∗ onto
regulate transmission power to adapt to varying radio channel the viable power adjustments as a solution which balances
and propagation conditions. The main purpose is to minimize between conflicting interests of users. The solution can be
interference to other users while maintaining ones own data computed by applying cyclic projections onto simple affine
rate at the lowest possible energy consumption. A number of subsets.
recent papers is dealing with the intertwining effect of power
Finally, by use of an appropriate utility function we show
adjustment and feasible data rates per user in wireless net-
in Section IV how optimal power allocation can be interpreted
works, hence defining a concept of overall network capacity,
as a cooperative game. It turns out that the Nash bargaining
see e.g., [1], [2], [3], [4], [5], and references therein.
solution coincides with the solution of the original power
A companion problem is the design of efficient power minimization problem.
control algorithms, preferably such that each user needs only
local information to update his power settings, but global
II. S YSTEM M ODEL
convergence is assured, see [6], [7], [8].
A game-theoretic approach to power control has been In a synchronous multiuser CDMA communication system
studied in a number of papers, see e.g., [9], [10], [11]. with K users and processing gain N let si ∈ RN , i =
Non-cooperative games have been used to derive a Nash 1, . . . , K, denote the N -dimensional signature sequence of
equilibrium. Our approach applies cooperative game theory user i. Let Gij denote the fixed path gain from user j to
and results in a Nash Bargaining solution. the assigned base station of user i. Usually Gij is subject to
Refined models also include stochastic fading effects of slow fading effects which are assumed to be known to the
the channel. The usual approach here is to minimize power transmitter. Suppose the symbol of user i is decoded using a
consumption subject to certain outage probability constraints. linear receiver represented by some vector ci ∈ RN . By ·  we
Appropriate models, structural properties of the corresponding denote the transpose of some vector or matrix. The signal-to-

Authorized licensed use limited to: CENTRE FOR ADVANCED STUDIES IN ENGINEERING. Downloaded on July 20, 2009 at 06:05 from IEEE Xplore. Restrictions apply.
interference ratio of user i is then given as III. E NERGY E FFICIENT P OWER A LLOCATION
Gii (ci si )2 pi For convenience of notation we quote the following result
SIRi (p) =   2 2  2
, from [3]. It deals with solutions of the equation
j=i Gij (ci sj ) pj + σ (ci ci )

where σ 2 denotes the variance of the additive Gaussian noise [I − A]x = c (3)
and p = (p1 , . . . , pK ) the vector of transmit powers. In the when A is a non-negative but not necessarily irreducible
following we assume that the receiver sequences ci are fixed. matrix, as is reqired in Perron-Frobenius theory.
Summarizing the known channel and receiver effects into
Aij = Gij (ci sj )2 we obtain the following SIRi of user i Proposition 2 Let A ∈ Rn×n be non-negative.
Aii pi a) If there are x > 0 , c > 0 satisfying (3), then ρ(A) < 1.
SIRi (p) =  2
. b) If ρ(A) < 1, then I − A is non-singular and for every
j=i ij pj + Cii σ
A
c > 0, the unique solution x ∈ Rn of (3) is positive.
with Cii = (ci ci )2 . Now given quality-of-service requirements c) If ρ(A) < 1, then for every c ≥ 0, the unique solution
γ1 , . . . , γK for each user, we define the power region PSIR as x ∈ Rn of (3) is non-negative.
the set of power settings p ∈ RK such that each user i meets d) If c > 0 and there exists y > 0 such that [I − A]y ≥ c,
his minimum SIR requirement γi , i.e., then (3) has a unique solution x and 0 < x ≤ y.
 
PSIR = p ≥ 0 | SIRi (p) ≥ γi , i = 1, . . . , K . (1) The above is now applied to PSIR . The inequalities defining
Here and in the following orderings ’<’ and ’≤’ between (1) can be rewritten as a system of linear inequalities. For this
vectors are always meant componentwise. Obviously it may purpose write B = (bij )K i,j=1 , with
happen that not all requirements γi can be simultaneously

Aij /Aii , i = j,
satisfied in which case PSIR is empty. bij =
We now prove convexity and log-convexity of the power 0, i = j,
region PSIR . The set PSIR is called log-convex, if for any and τ = (τ1 , . . . , τK ) , where τi = Cii σ 2 /Aii > 0. Then for
p(1) , p(2) ∈ PSIR and any 0 ≤ α ≤ 1 the point p(α) = every p > 0 it holds that p ∈ PSIR if and only if
α 1−α
p(1) p(2) ∈ PSIR , where powers pα = (pα α
1 , . . . , pK )
are applied componentwise. Taking logarithms componentwise [I − diag(γ)B] p ≥ diag(γ)τ , (4)
gives log p(α) = α log p(1) + (1 − α) log p(2) , which means where diag(γ) denotes the matrix with diagonal entries γi and
that the set PSIR is convex in logarithmic scale. nondiagonal entries equal to zero.
In general, neither log-convexity of some set implies con- If system (4) has a solution p > 0, then there is a unique
vexity nor vice versa. solution p∗ ≤ p satisfying [I − diag(γ)B] p∗ = diag(γ)τ , as
follows from Proposition 2. Moreover, for any given γ > 0,
Proposition 1 The power region PSIR is convex and log- the equation [I − diag(γ)B] p = diag(γ)τ has a positive
convex. solution p if and only if the spectral radius ρ(diag(γ)B) < 1,
Proof: Consider the sets and in that case, the solution is unique. Denote it by π(γ) =
   (π1 (γ), . . . , πK (γ)) . Thus
Pi = p | Aii pi − γi Aij pj ≥ γi Cii σ 2 , i = 1, . . . , K, −1
j=i π(γ) = [I − diag(γ)B] diag(γ)τ (5)

which areK closed convex affine halfspaces in RK . Obviously, with all components positive.
PSIR = i=1 Pi , and from Theorem C in Section III of [17] Summarizing our results so far, we have the following
it follows that PSIR is a closed and convex polytope.
To prove log-convexity we show that Proposition 3 If PSIR = ∅, then there is a unique power
 α  1−α allocation p∗ = π(γ) such that SIRi (p∗ ) = γi for all i =
SIRi (p(α) ) ≥ SIRi (p(1) ) SIRi (p(2) ) 1, . . . , K and p∗ ≤ p for all p ∈ PSIR .
(2)
≥ γiα γi1−α = γi
Energy efficient power allocation can be formalized with
for all i = 1, . . . , K, which entails p(α) ∈ PSIR . The first the help of some function h : RK + → R as the following
inequality in (2) follows from Hölder’s inequality since optimization problem.
 (1) α (2) 1−α
Aij pj pj + Cii σ 2 minimize h(p) over all p ∈ PSIR (6)
j=i From Proposition 3 it is clear that for any componentwise
 α   1−α

(1)
Aij pj + Cii σ 2 (2)
Aij pj + Cii σ 2
, monotone function h the minimum is attained at π(γ) when-
j=i j=i
ever PSIR = ∅. Examples of such functions h are
   α  1−α 
K 1/q
hence yielding SIRi p(α) ≥ SIRi (p(1) ) SIRi (p(2) ) h(p) = pq = |pi |q ,
resembling the method in [18]. i=1

Authorized licensed use limited to: CENTRE FOR ADVANCED STUDIES IN ENGINEERING. Downloaded on July 20, 2009 at 06:05 from IEEE Xplore. Restrictions apply.
K
the q -norms, q ≥ 1, with the special case h(p) = i=1 pi
for q = 1.
In practice, however, power is limited. Hence, mobiles may
select their power adjustment only from a bounded set Pmax ,
say. In the following we assume that Pmax is convex and
closed under simultaneous decrease of power (see [3]), i.e.,
if p ∈ Pmax and 0 < q ≤ p, then q ∈ Pmax . (7) u0
Typical examples of structure (7) are individual power con-
straints U
0 ≤ pi ≤ pi,max , i = 1, . . . , K, (8)
or a limited total power budget as
K
 Fig. 1. A Nash bargaining problem
pi ≤ pmax , pi ≥ 0, i = 1, . . . , K, (9)
i=1

or a combination hereof by intersecting both sets.


Under constraints (8) a relevant example of a component- we obtain the projection onto the set (8). The choice a =
wise monotone function is (1, . . . , 1) and β = pmax yields the projection onto (9).
K
We proceed by interpreting optimal power allocation as a
 pi,max  cooperative game, and by embedding this approach into the
h(p) = − e − epi (10)
i=1
above framework.
Its meaning will be clear from a game theoretic interpretation IV. P OWER A LLOCATION AS A COOPERATIVE GAME
of power allocation with certain utility functions in Section
We start by reviewing some basic concepts of cooperative
IV.
bargaining theory [21]. A K-person bargaining problem is a
Energy efficient feasible power allocation can now be writ-
pair (U, u0 ), where U ⊂ RK is a nonempty convex, closed
ten as
and upper bounded set and u0 = (u01 , . . . , u0K ) ∈ RK such
minimize h(p) over all p ∈ PSIR ∩ Pmax , that u ≥ u0 componentwise for some u = (u1 , . . . , uK ) ∈ U,
see Fig. 1.
where by assumption PSIR ∩ Pmax is a convex subset of RK .
The elements of U are called outcomes and u0 is the
If PSIR ∩ Pmax = ∅ it follows from Proposition 2 and (7)
disagreement outcome. The interpretation of such a problem
that π(γ) from (5) is the optimal power allocation for any
is as follows. A community of K bargainers is faced with the
componentwise monotone function h.
problem to negotiate for a fair point in the convex set U. If no
In the important case that PSIR = ∅ but PSIR ∩ Pmax = ∅
agreement can be achieved by the bargainers, the disagreement
there exists no feasible power allocation to satisfy all SIR
utilities u01 , . . . , u0K will be the outcome of the game. Let BK
requirements simultaneously. A solution p̂ ∈ Pmax which
denote the family of all K-person bargaining problems.
balances the conflicting interests of users is the projection of
A bargaining solution is a function F : BK → RK such
π(γ) onto the convex set Pmax ,
  that F (U, u0 ) ∈ U for all (U, u0 ) ∈ BK . Nash suggested a
p̂ = Proj π(γ) | Pmax . solution that is based on four axioms, as given below.
As follows from the classical projection theorem for Hilbert (WPO) Weak Pareto optimality:
spaces (see [19]), p̂ is unique. It represents the feasible power F : BK → RK is called weakly Pareto optimal, if for all
adjustment coming closest to the required but infeasible p∗ = (U, u0 ) ∈ BK there exists no u ∈ U satisfying u > F (U, u0 ).
π(γ). (SYM) Symmetry:
For the above constraints (8) and (9) p̂ can be computed F : BK → RK is symmetric if Fi (U, u0 ) = Fj (U, u0 )
by a convergent cyclic projection algorithm as investigated in for all (U, u0 ) ∈ BK that are symmetric with respect to a
[20]. In this approach, starting with p∗ , points are iteratively subset J ⊆ {1, . . . , K} for all i, j ∈ J (i.e., u0i = u0j and
projected onto convex sets whose intersection forms the set (u1 , u2 , . . . , ui−1 , uj , ui+1 , . . . , uj−1 , ui , uj+1 , . . . . . . , uK ) ∈
where the projection onto is sought. Here only projections U for all i < j ∈ J, u ∈ U ).
onto affine halfspaces of the form H = {p | a p ≤ β} are (SCI) Scale covariance:
needed. The general solution in this case is given by F : BK → RK is scale covariant if F (ϕ(U ), ϕ(u0 )) =
1  + ϕ(F (U, u0 )) for all ϕ : RK → RK , ϕ(u) = ū with ūi =
Proj(p | H) = p −  a p − β a,
aa ai ui + bi , ai , bi ∈ R, ai > 0, i = 1, . . . , K.
where x+ = max{0, x} denotes the positive part of x ∈ R. (IIA) Independence of irrelevant alternatives:
By selecting a = ei (the i-th unit vector) and β = pi,max F : BK → RK is independent of irrelevant alternatives, if

Authorized licensed use limited to: CENTRE FOR ADVANCED STUDIES IN ENGINEERING. Downloaded on July 20, 2009 at 06:05 from IEEE Xplore. Restrictions apply.
u2 with Pmax = {p > 0 | pi ≤ pi,max }, as defined in (1) and
(u1 − u01 )(u2 − u02 ) = const (8).
Our aim is to single out one element of the power region P.
There are different concepts to select a particular candidate of
P like bargaining theory, proportional fairness, and max-min
u∗ = (u∗1 , u∗2 )
fairness. Because of its clear axiomatic foundation we follow
bargaining theory and derive the NBS as an optimum point.
Transmit power of each mobile station is bounded by pi,max .
Due to limited battery power each user aims at using the lowest
power possible. Hence we introduce a utility function fi for
U each mobile station 1 ≤ i ≤ K as follows
u1 fi : P → R, p → epi,max − epi .
Fig. 2. The Nash Bargaining Solution
The task now is to find an element of the feasible power region
such that the utility of each player is maximized. This task
however is impossible to solve. As an alternative, we need to
F (U, u0 ) = F (Ū , ū0 ) for all (U, u0 ), (Ū , ū0 ) ∈ BK with find an element in the utility set f (P) that is superior to other
u0 = ū0 , U ⊆ Ū and F (Ū , ū0 ) ∈ U . elements. The utility set is defined as the image of the utility
functions
Remark. Weak Pareto optimality means that no bargainer can
gain over the solution outcome. Symmetry, scale covariance f (P) = {epmax − ep | p ∈ P},
and independence of irrelevant alternatives are the so called
axioms of fairness. The symmetry property states that the where ep = (ep1 , . . . , epK ) is defined componentwise and
solution does not depend on the specific label, i.e., users with epmax = (ep1,max , . . . , epK,max ) accordingly.
both the same initial points and objectives will obtain the same Clearly we should choose a Pareto optimal element. The
performance. Scale covariance requires the solutions to be question arises at which of the infinitely many Pareto optimal
covariant under positive affine transformations. Independence points the system should be operated. From the perspective of
of irrelevant alternatives demands that the solution outcome resource sharing, one of the natural criteria is the notion of
does not change when the set of possible outcomes shrinks fairness. This, in general is a loose term and there are many
but still contains the original solution. notions of fairness. One of the commonly used notions is that
These four axioms imply Pareto optimality which means of max-min fairness which penalizes large users. Max-min
that it is impossible to increase any player’s utility without fairness corresponds to a Pareto optimal point, see [23]. How-
decreasing another player’s utility. ever, it is not easy to take into account that users might have
different requirements. A much more satisfactory approach is
The Nash bargaining solution is defined as follows. the use of fairness from game theory as introduced above.
Another common solution concept of fairness is proportional
Defi nition 4 A function N : BK → RK is said to be a Nash fairness. Proportional fairness leads in fact to the NBS, as
bargaining solution (NBS) if can be easily seen by the definition of proportional fairness.
   Therefore we confine ourselves to a game theoretic approach
N (U, u0 ) = argmax uj − u0j u ∈ U, u ≥ u0 , here.
1≤j≤K In our cooperative game, players are formed by mobile
uj =u0j
stations, and they have to agree upon some element of the
whenever U \{u0} = ∅ and N (U, u0 ) = u0 , otherwise. utility set f (P). The bargaining set U is now obtained by
extending f (P) to
The NBS aims at maximizing the product of the users’  
gain from cooperation, see Fig. 2. In addition it is uniquely U = u ∈ RK | ∃ p ∈ P s.t. u ≤ f (p) . (11)
characterized by the four axioms stated above. The proof of As is shown in [24] the convexity of U follows since fi are
the following theorem can be found in [22]. concave functions. Fig. 3 generically depicts the utility set
and its extension. Observe that the outcome of the cooperative
Theorem 5 Let F : BK → RK be a bargaining solution. game lies in f (P), so that the enlargement to U is mainly of
Then the following two statements are equivalent: technical reasons to assure convexity.
(a) F = N. Moreover
(b) F satisfies WPO, SYM, SCI, IIA.
u0 = −epmax (12)
In the following we consider the feasible power region
represents the disagreement outcome, where each user has
P = PSIR ∩ Pmax to transmit with its maximum power if the mobile stations

Authorized licensed use limited to: CENTRE FOR ADVANCED STUDIES IN ENGINEERING. Downloaded on July 20, 2009 at 06:05 from IEEE Xplore. Restrictions apply.
R EFERENCES
[1] H. Boche and S. Stanczak, “Log-convexity of the minimum total power
in CDMA systems with certain quality-of-services guaranteed,” To
appear: IEEE Transactions on Information Theory, 2005.
f (P) [2] L. Imhof and R. Mathar, “Capacity regions and optimal power allocation
for CDMA cellular radio,” To appear: IEEE Transactions on Information
Theory, vol. 51, no. 6, June 2005.
[3] ——, “The geometry of the capacity region for CDMA systems with
general power constraints,” To appear: IEEE Transactions on Wireless
Communications, 2005.
U [4] D. Tse and S. Hanly, “Linear multiuser receivers: effective interference,
effective bandwidth and user capacity,” IEEE Transactions on Informa-
tion Theory, vol. 45, no. 2, pp. 641–657, March 1999.
[5] P. Viswanath, V. Anantharam, and D. Tse, “Optimal sequences, power
control, and user capacity of synchronous CDMA systems with linear
Fig. 3. The extension U of the utility set f (P) MMSE multiuser receivers,” IEEE Transactions on Information Theory,
vol. 45, no. 6, pp. 1968–1983, September 1999.
[6] D. Catrein, L. Imhof, and R. Mathar, “Power control, capacity, and du-
ality of up- and downlink in cellular CDMA radio,” IEEE Transactions
fail to achieve an agreement. In summary, (U, u0 ) is a K- on Communications, vol. 52, no. 10, pp. 1777–1785, October 2004.
[7] S. Hanly, “An algorithm for combined cell-site selection and power
person bargaining game. In the following the NBS of this game control to maximize cellular spread spectrum capacity,” IEEE Journal
is determined. It turns out that the NBS coincides with the on Selected Areas in Communications, vol. 13, no. 7, pp. 1332–1340,
previously defined minimum power solution under function h September 1995.
[8] R. Yates, “A framework for uplink power control in cellular radio
in (10). The proof follows easily from Definition 4. systems,” IEEE Journal on Selected Areas in Communications, vol. 13,
no. 7, pp. 1341–1348, September 1995.
Proposition 6 The unique NBS to the bargaining problem [9] C. U. Saraydar, N. B. Mandayam, and D. J. Goodman, “Effi cient power
(U, u0 ) defined in (11) and (12) is the solution to the following control via pricing in wireless data networks,” IEEE Transactions on
Communications, vol. 50, no. 2, pp. 291–303, February 2002.
optimization problem: [10] F. Meshkati, M. Chiang, S. C. Schwartz, H. V. Schwartz, and N. B.
K Mandayam, “A non-cooperative power control game for multi-carrier
CDMA systems,” in Proceedings IEEE Wireless Communications and
max (epi,max − epi ) (13) Networking Conference, WCNC05, New Orleans, 2005.
i=1 [11] F. Meshkati, H. V. Poor, S. C. Schwartz, and N. B. Mandayam, “Linear
multiuser receivers and power control in wireless data networks: A
such that game-theoretic approach,” in Proceedings Conference on Information
Sciences and Systems, CISS03, Baltimore, 2003.
SIRi (p) ≥ γi , [12] S. Kandukuri and S. Boyd, “Optimal power control in interference-
pi ≥ 0, limited fading wireless channels with outage-probability specifi cations,”
IEEE Transactions on Wireless Communications, vol. 1, no. 1, pp. 46–
pi,max − pi ≥ 0, 1 = 1, . . . , K. 55, January 2002.
[13] J. Papandriopoulos, J. Evans, and S. Dey, “Outage-based optimal power
control for generalized multiuser fading systems,” To appear: IEEE
Problem (13) is equivalent to minimizing function (10) Transactions on Communications, 2005.
subject to constraints (8). If the constraining set is nonempty, [14] ——, “Optimal power control for Rayleigh-faded multiuser systems
with outage constraints,” To appear: IEEE Transactions on Wireless
the solution is given by p∗ = π(γ) from (5), as is shown in Communications, 2005.
Section III. [15] S. Ulukus and R. Yates, “Stochastic power control for cellular radio
systems,” IEEE Transactions on Communications, vol. 46, no. 6, pp.
V. C ONCLUSION 784–798, June 1998.
[16] M. Varanasi and D. Das, “Fast stochastic power control algorithms for
This paper deals with the power control problem for a nonlinear multiuser receivers,” IEEE Transactions on Communications,
multiuser CDMA channel. It is shown that the power region vol. 50, no. 11, pp. 1817–1827, November 2002.
is both convex and log-convex. It furthermore contains a [17] A. Roberts and D. Varberg, Convex Functions. New York: Academic
Press, 1973.
uniformly minimal element p∗ , at which any componentwise [18] C. Sung, “Log-convexity property of the feasible SIR region in power-
montone function attains its minimum. If there is no feasible controlled cellular systems,” IEEE Communciations Letters, vol. 6, no. 6,
power allocation we suggest the point of minimum distance pp. 248–249, June 2002.
[19] D. Luenberger, Optimization by Vector Space Methods. New York:
to p∗ in the viable power region as a solution to the feasible Wiley, 1969.
minimum power problem. This point can be easily computed [20] N. Gaffke and R. Mathar, “A cyclic projection algorithm via duality,”
by a cyclic projection algorithm. The paper concludes with Metrika, vol. 36, pp. 29–54, 1989.
[21] A. Muthoo, Bargaining Theory with Application. Cambridge: Cam-
showing that for an appropriate utility function the minimum bridge University Press, 1999.
power problem with restricted power budget is obtained as the [22] A. Stefanescu and M. Stefanescu, “The arbitrated solution for multi-
Nash bargaining solution for an adaptively defined cooperative objective convex programming,” Rev. Roumaine Math. Pures Appl.,
vol. 29, pp. 593–598, 1984.
game. [23] C. Touati, E. Altman, and J. Galtier, “On fairness in bandwidth alloca-
tion,” INRIA, Tech. Rep. RR 4269, 2001.
ACKNOWLEDGMENT [24] A. Feiten and R. Mathar, “A game theoretic approach to capacity sharing
This work was supported by DFG grant Ma 1184/11-3. in CDMA radio networks,” in Proceedings Australian Telecommunica-
tions and Applications Conference, ATNAC04, Sydney, 2004.

Authorized licensed use limited to: CENTRE FOR ADVANCED STUDIES IN ENGINEERING. Downloaded on July 20, 2009 at 06:05 from IEEE Xplore. Restrictions apply.

You might also like