# Optimal resource allocation in wireless communication and networking

- Alejandro Ribeiro
^{1}Email author

**2012**:272

https://doi.org/10.1186/1687-1499-2012-272

© Ribeiro; licensee Springer. 2012

**Received: **20 February 2012

**Accepted: **18 July 2012

**Published: **23 August 2012

## Abstract

Optimal design of wireless systems in the presence of fading involves the instantaneous allocation of resources such as power and frequency with the ultimate goal of maximizing long term system properties such as ergodic capacities and average power consumptions. This yields a distinctive problem structure where long term average variables are determined by the expectation of a not necessarily concave functional of the resource allocation functions. Despite their lack of concavity it can be proven that these problems have null duality gap under mild conditions permitting their solution in the dual domain. This affords a significant reduction in complexity due to the simpler structure of the dual function. The article discusses the problem simplifications that arise by working in the dual domain and reviews algorithms that can determine optimal operating points with relatively lightweight computations. Throughout the article concepts are illustrated with the optimal design of a frequency division broadcast channel.

## Introduction

**p**(

**h**) determine instantaneous allocation of resources like frequencies and transmitted powers as a function of the fading coefficient

**h**. Average variables

**x**capture system’s performance over a large period of time and are related to instantaneous resource allocations via ergodic averages. A generic representation of the relationship between instantaneous and average variables is

where f_{1}(h,p(h)) is a vector function that maps channel **h** and resource allocation **p**(**h**) to instantaneous performance f_{1}(h,p(h)). The system’s design goal is to select resource allocations **p**(**h**) to maximize ergodic variables **x** in some sense.

An example of a relationship having the form in (1) is a code division multiple access channel in which case **h** denotes the vector of channel coefficients, **p**(**h**) the instantaneous transmitted power, f_{1}(h p(h)) the instantaneous communication rate determined by the signal to interference plus noise ratio, and **x** the ergodic rates determined by the expectation of the instantaneous rates. The design goal is to allocate instantaneous power **p**(**h**) subject to a power constraint so as to maximize a utility of the ergodic rate vector **x**. This interplay of instantaneous actions to optimize long term performance is pervasive in wireless systems. A brief list of examples includes optimization of orthogonal frequency division multiplexing[1], beamforming[2, 3], cognitive radio[4, 5], random access[6, 7], communication with imperfect channel state information (CSI)[8, 9], and various flavors of wireless network optimization[10–18].

In many cases of interest the functions f_{1}(h,p(h)) are nonconcave and as a consequence finding the resource allocation distribution p^{∗}(h) that maximizes **x** requires solution of a nonconvex optimization problem. This is further complicated by the fact that since fading channels **h** take on a continuum of values there is an infinite number of p^{∗}(h) variables to be determined. A simple escape to this problem is to allow for time sharing in order to make the range of$\mathbb{E}\left[{\mathbf{f}}_{1}(\mathbf{h},\mathbf{p}(\mathbf{h}\left)\right)\right]$ convex and permit solution in the dual domain without loss of optimality. While the nonconcave function f_{1}(h,p(h)) still complicates matters, working in the dual domain makes solution, if not necessarily simple, at least substantially simpler. However, time sharing is not easy to implement in fading channels.

In this article, we review a general methodology that can be used to solve optimal resource allocation problems in wireless communications and networking without resorting to time sharing[19, 20]. The fundamental observation is that the range of$\mathbb{E}\left[{\mathbf{f}}_{1}(\mathbf{h},\mathbf{p}(\mathbf{h}\left)\right)\right]$ is convex if the probability distribution of the channel **h** contains no points of positive probability (Section “Duality in wireless systems optimization”). This observation can be leveraged to show lack of duality gap of general optimal resource allocation problems (Theorem 1) making primal and dual problems equivalent. The dual problem is simpler to solve and its solution can be used to recover primal variables (Section “Recovery of optimal primal variables”) with reduced computational complexity due to the inherently separable structure of the problem Lagrangians (Section “Separability”). We emphasize that this reduction in complexity, as in the case of time sharing, just means that the problem becomes simpler to solve. In many cases it also becomes simple to solve, but this is not necessarily the case.

We also discuss a stochastic optimization algorithm to determine optimal dual variables that can operate without knowledge of the channel probability distribution (Section “Dual descent algorithms”). This algorithm is known to almost surely converge to optimal operating points in an ergodic sense (Theorem 5). Throughout the article concepts are illustrated with the optimal design of a frequency division broadcast channel (Section “Frequency division broadcast channel” in “Optimal wireless system design”, Section “Frequency division broadcast channel” in “Recovery of optimal primal variables”, and Section “Frequency division broadcast channel” in “Dual descent algorithms”).

One of the best known resource allocation problems in wireless communications concerns the distribution of power on a block fading channel using capacity-achieving codes. The solution to this problem is easy to derive and is well known to reduce to waterfilling across the fading gain, e.g.,[21, p. 245]. Since this article can be considered as an attempt to generalize this solution methodology to general wireless communication and networking problems it is instructive to close this introduction by reviewing the derivation of the waterfilling solution. This is pursued in the following section.

### Power allocation in a point-to-point channel

*h*that it uses to select a transmitted power

*p*(

*h*) to convey information to a receiver. Using a capacity achieving code the instantaneous channel rate for fading realization

*h*is$r\left(h\right)=log(1+\mathrm{hp}(h)/{N}_{0})$ where

*N*

_{0}denotes the noise power at the receiver end. A common goal is to maximize the average rate$r:=\mathbb{E}\left[r\right(h\left)\right]$ with respect to the probability distribution

*m*

_{ h }(

*h*) of the channel gain

*h*—which is an accurate approximation of the long term average rate—subject to an average power constraint

*P*

_{0}. We can formulate this problem as the optimization program

In most cases the fading channel *h* takes on a continuum of values. Therefore, solving (2) requires the determination of a power allocation function$p:{\mathbb{R}}^{+}\to {\mathbb{R}}^{+}$ that maps nonnegative fading coefficients to nonnegative power allocations. This means that (2) is an infinite dimensional optimization problem which in principle could be difficult to solve. Nevertheless, the solution to this program is easy to derive and given by waterfilling as we already mentioned. The widespread knowledge of the waterfilling solution masks the fact that is is rather remarkable that (2) is easy to solve and begs the question of what are the properties that make it so. Let us then review the derivation of the waterfilling solution in order to pinpoint these properties.

*λ*,

Since the objective in (2) is concave with respect to variables *p*(*h*) and the constraint is linear in *p*(*h*) the optimization problem in (2) is convex and as such it has null duality gap in the sense that *P*=*D*.

*h*are denoted as

*p*(

*h*,

*λ*). This function is defined as the one that maximizes the Lagrangian for given dual variable

*λ*

Using the definition of the Lagrangian maximizer function we can write the dual function as$g\left(\lambda \right)=\mathcal{\mathcal{L}}\left(p\right(\lambda ),\lambda )$.

*p*(

*h*,

*λ*) of the Lagrangian maximizer function

*p*(

*λ*) is easy. To see that this is true rewrite the Lagrangian in (3) so that there is only one expectation

That the equality in (8) is true is a consequence of the fact that the expectation operator is linear and that there are no constraints coupling the selection of values *p*(*h*_{1}) and *p*(*h*_{2}) for different channel realizations *h*_{1}≠*h*_{2}. Functional values *p*(*h*) in both sides of (8) are required to be nonnegative but other than that we can select *p*(*h*_{1}) and *p*(*h*_{2}) independently of each other as indicated in the right hand side of (8).

*p*(

*h*) independently of each other, values

*p*(

*h*,

*λ*) of the Lagrangian maximizer function

*p*(

*λ*) defined in (6) are given by

*p*(

*h*,

*λ*) operating from (9) it suffices to solve for the null of the derivative with respect to

*p*(

*h*). Doing this yields the Lagrangian maximizer

where the operator [*x*]^{+} :=max(*x*,0) denotes projection onto nonnegative reals, which is needed because of the constraint *p*(*h*)≥0.

*p*(

*λ*

^{∗}) corresponding to the optimal Lagrange multiplier${\lambda}^{\ast}:=arg\phantom{\rule{0.3em}{0ex}}\underset{\lambda \ge 0}{min}g\left(\lambda \right)$. Returning to the definition of the dual function in (4) we can bound

*D*=

*g*(

*λ*

^{∗}) as

*D*is given by a Lagrangian maximization it must equal or exceed the values of the Lagrangian for any function

*p*, and for the optimal function

*p*

^{∗}in particular. Considering the explicit Lagrangian expression in (3) we can write$\mathcal{\mathcal{L}}({p}^{\ast},{\lambda}^{\ast})$ as

*p*

^{∗}is the optimal power allocation function it must satisfy the power constraint implying that it must be${q}_{0}-\mathbb{E}\left[{p}^{\ast}\left(h\right)\right]\ge 0$. Since the optimal dual variable satisfies

*λ*

^{∗}≥0 their product is also nonnegative allowing us to transform (12) into the bound

*P*and

*p*

^{∗}are the otpimal value and arguments of the primal optimization problem (2). Combining the bounds in (11) and (13) yields

*P*=

*D*of primal and dual optimum values it follows that the inequalities in (13) must hold as equalities. The equality$\underset{p\in \mathcal{P}}{max}\mathcal{\mathcal{L}}(p,{\lambda}^{\ast})=\mathcal{\mathcal{L}}({p}^{\ast},{\lambda}^{\ast})$, in particular, implies that the function

*p*

^{∗}is the Lagrangian maximizing function corresponding to

*λ*=

*λ*

^{∗}, i.e.,

*p*(

*λ*

^{∗}) is easy to compute using the decomposition in (9). By extension, if the optimal multiplier

*λ*

^{∗}is available, computation of the optimal power allocation function

*p*

^{∗}also becomes easy. Indeed, making

*λ*=

*λ*

^{∗}in (9) we can determine values

*p*

^{∗}(

*h*) of

*p*

^{∗}as

which are explicitly given by (10) with *λ*=*λ*^{∗}.

To complete the problem solution we still need to determine the optimal multiplier *λ*^{∗}. We show a method for doing so in Section “Dual descent algorithms”, but it is important to recognize that this cannot be a difficult problem because the dual function is single-dimensional and convex—dual functions of maximization problems are always convex. This has to be contrasted with the infinite dimensionality of the primal problem. By working in the dual domain we reduce the problem of determining the infinite dimensional optimal power allocation function to the determination of the one dimensional optimal Lagrange multiplier *λ*^{∗}.

Recapping the derivation of the optimal power allocation *p*^{∗}, we see that there are three conditions that make (18) simple:

**(C1)** Since the optimization problem is convex it is equivalent to its Lagrangian dual implying that optimal primal variables can be determined as Lagrangian maximizers associated with the optimal multiplier *λ*^{∗}[cf. (11)–(15)].

**(C2)** Due to the separable structure of the Lagrangian, determination of the optimal power allocation function is carried out through the solution of per-fading state subproblems [cf. (6)–(9)].

**(C3)** Because there is a finite number of constraints the dual function is finite dimensional even though there is an infinite number of primal variables.

Most optimization problems in wireless systems are separable in the sense of (C2) and have a finite number of constraints as [cf. (C3)] but are typically not convex [cf. (C1)].

*L*communication modes. The

*l*-th mode supports a rate

*α*

_{ l }and is used when the signal to noise ratio (SNR) at the receiver end is between

*β*

_{l−1}and

*β*

_{ l }. Letting

*γ*be the received SNR and$\mathbb{I}\left(\mathcal{E}\right)$ denote the indicator function of the event$\mathcal{E}$, the communication rate function

*C*(

*γ*) for AMC can be written as

*q*

_{0}can now be formulated as

Similar to (2) the dual function of the optimization problem in (18) is one dimensional and its Lagrangian is separable in the sense that we can find Lagrangian maximizers by performing per-fading state maximizations. Alas, the problem is not convex because the AMC rate function *C*(*γ*) is not concave, in fact, it is not even continuous.

Since it does not satisfy (C1), solving (18) in the dual domain is not possible in principle. Nevertheless the condition that allows determination of *p*^{∗}(*h*) as the Lagrangian maximizer *p*(*h*,*λ*^{∗}) [cf. (16)] is not the convexity of the primal problem but the lack of duality gap. We’ll see in Section “Duality in wireless systems optimization” that this problem does have null duality gap as long as the probability distribution of the channel *h* contains no points of strictly positive probability. Thus, the solution methodology in (3)-(16) can be applied to solve (18) despite the discontinuous AMC rate function *C*(*γ*). This is actually a quite generic property that holds true for optimization problems where nonconcave functions appear inside expectations. We introduce this generic problem formulation in the next section.

## Optimal wireless system design

Let us return to the relationship in (1) where **h** denotes the random fading state that ranges on a continuous space$\mathcal{\mathscr{H}}$, **p**(**h**) the instantaneous resource allocation, f_{1}(h,p(h)) a vector function mapping **h** and **p**(**h**) to instantaneous system performance, and **x** an ergodic average. The expectation in (1) is with respect to the joint probability distribution *m*_{
h
}(h) of the vector channel **h**.

It is convenient to think of f_{1}(h,p(h)) as a family of functions indexed by the parameter **h** with **p**(**h**) denoting the corresponding variables. Notice that there is one vector **p**(**h**) per fading state **h**, which translates into an infinite number of resource allocation variables if **h** takes on an infinite number of values. Consequently, it is adequate to refer to the set$\mathbf{p}:={\left\{\mathbf{p}\right(\mathbf{h}\left)\right\}}_{\mathbf{h}\in \mathcal{\mathscr{H}}}$ of all resource allocations as the resource allocation function. The number of ergodic limits **x** of interest, on the other hand, is assumed finite.

**p**(

**h**) are further constrained to a given bounded set$\mathcal{P}\left(\mathbf{h}\right)$. These restrictions define a set of admissible resource allocation functions that we denote as

**p**(

**h**) determine system performance over short periods of times. As such, they are of interest to the system designer but transparent to the end user except to the extent that they determine the value of ergodic variables

**x**. Therefore, we adopt as our design objective the maximization of a concave utility function

*f*

_{0}(x) of the ergodic average

**x**. Putting these preliminaries together we write the following program as an abstract formulation of optimal resource allocation problems in wireless systems

where we added further constraints on the set of ergodic averages **x**. These constraints are in the form of a bounded convex set inclusion$\mathbf{x}\in \mathcal{X}$ and a concave function inequality f_{2}(x)≥**0**. In the problem formulation in (20) the set$\mathcal{X}$ is convex and the functions *f*_{0}(x) and f_{2}(x) are concave. The family of functions f_{1}(h,p(h)) is *not* necessarily concave with respect to **p**(**h**) and the set$\mathcal{P}$ is not necessarily convex. The sets$\mathcal{X}$ and$\mathcal{P}$ are assumed compact to guarantee that **x** and **p**(**h**) are finite. For the expectation in (20) to exist we need to have f_{1}(h,p(h)) integrable with respect to the probability distribution *m*_{
h
}(h) of the vector channel **h**. This imposes a (mild) restriction on the functions f_{1}(h,p(h)) and the power allocation function p. Integrability is weaker than continuity.

^{∗}and p

^{∗}as the arguments that solve (20)

The configuration pair (x^{∗},p^{∗}) attains the optimum value *P*=*f*_{0}(x^{∗}) and satisfies the constraints${\mathbf{x}}^{\ast}\le \mathbb{E}\left[{\mathbf{f}}_{1}\left(\mathbf{h},{\mathbf{p}}^{\ast}\left(\mathbf{h}\right)\right)\right]$ and${\mathbf{f}}_{2}\left({\mathbf{x}}^{\ast}\right)\ge \mathbf{0}$ as well as the set constraints${\mathbf{x}}^{\ast}\in \mathcal{X}$, and${\mathbf{p}}^{\ast}\in \mathcal{P}$. Observe that the pair (x^{∗},p^{∗}) need not be unique. It may be, and it is actually a common occurrence in practice, that more than one configuration is optimal. Thus, (21) does not define a pair of variables but a set of pairs of optimal configurations. As it does not lead to confusion we use (x^{∗},p^{∗}) to represent both, the set of optimal configurations and an arbitrary element of this set.

_{1}≥

**0**is associated with the constraint$\mathbf{x}\le \mathbb{E}\left[{\mathbf{f}}_{1}\left(\mathbf{h},\mathbf{p}\left(\mathbf{h}\right)\right)\right]$ and λ

_{2}≥

**0**with the constraint f

_{2}(x). The Lagrangian of the primal optimization problem in (20) is then defined as

Notice that the optimal dual argument Λ^{∗}is a set as in the case of the primal optimal arguments because there may be more than one vector that achieves the minimum in (24). As we do with the optimal primal variables (x^{∗},p^{∗}), we use Λ^{∗} to denote the set of optimal dual variables and an arbitrary element of this set. A particular example of this generic problem formulation is presented next.

### Frequency division broadcast channel

A common access point (AP) administers a power budget *q*_{0}to communicate with a group of *J* nodes. The physical layer uses frequency division so that at most one terminal can be active at any given point in time. The goal is to design an algorithm that allocates power and frequency to maximize a given ergodic rate utility metric while ensuring that rates are at least *r*_{min} and not more than *r*_{max}.

Denote as *h*_{
i
} the channel to terminal *i* and define the vector h:=[*h*_{1}…,*h*_{
J
}]^{
T
}grouping all channel realizations. In any time slot the AP observes the realization **h** of the fading channel and decides on suitable power allocations *p*_{
i
}(h) and frequency assignments *α*_{
i
}(h). Frequency assignments *α*_{
i
}(h) are indicator variables *α*_{
i
}(h)∈{0,1} that take value *α*_{
i
}(h)=1 when information is transmitted to node *i* and *α*_{
i
}(h)=0 otherwise. If *α*_{
i
}(h)=1 communication towards *i* ensues at power *p*_{
i
}(h) resulting in a communication rate *C*(*h*_{
i
}*p*_{
i
}(h)/*N*_{0}) determined by the SNR *h*_{
i
}*p*_{
i
}(h)/*N*_{0}. The specific form of the function *C*(*h*_{
i
}*p*_{
i
}(h)/*N*_{0}) mapping channels and powers to transmission rates depends on the type of modulation and codes used. One possibility is to select capacity achieving codes leading to$C\left({h}_{i}{p}_{i}\right(\mathbf{h})/{N}_{0})=log(1+{h}_{i}{p}_{i}(\mathbf{h})/{N}_{0})$. A more practical choice is to use AMC in which case *C*(*h*_{
i
}*p*_{
i
}(h)/*N*_{0})=*C*_{AMC}(*h*_{
i
}*p*_{
i
}(h)/*N*_{0}) with *C*_{AMC}(*h*_{
i
}*p*_{
i
}(h)/*N*_{0}) as given in (17).

*C*(

*h*

_{ i }

*p*

_{ i }(h)/

*N*

_{0}) we can write the ergodic rate of terminal

*i*as

The factor *C*(*h*_{
i
}*p*_{
i
}(h)/*N*_{0}) is the instantaneous rate achieved if information is conveyed. The factor *α*_{
i
}(h) indicates wether this information is indeed conveyed or not. The expectation weights the instantaneous capacity across fading states and is equivalent to the consideration of an infinite horizon time average.

*p*

_{ i }(h) denotes the power allocated for communication with node

*i*, but this communication is attempted only if

*α*

_{ i }(h)=1. Thus, the instantaneous power utilized to communicate with

*i*for channel realization

**h**is

*α*

_{ i }(h)

*p*

_{ i }(h). The total instantaneous power is the sum of these products for all

*i*and the long term average power consumption can be approximated as the expectation

that according to the problem statement cannot exceed the budget *q*_{0}.

*α*

_{ i }(h) are restricted so that at most one of them is 1. Define the vector α(h):=[

*α*

_{1}(h),…,

*α*

_{ J }(h)]

^{ T }corresponding to values of the function$\mathit{\alpha}:={\left[{\alpha}_{1},\dots ,{\alpha}_{J}\right]}^{T}$ and introduce the set of vector functions

We can now express the frequency exclusion constraints as$\mathit{\alpha}\in \mathcal{A}$.

*r*

_{ i }needs to be between

*r*

_{min}and

*r*

_{max}but this is easily modeled as the constraint

*r*

_{min}≤

*r*

_{ i }≤

*r*

_{max}. Defining the vector r=[

*r*

_{1},…,

*r*

_{ J }]

^{ T }this constraint can be written as$\mathbf{r}\in \mathcal{R}$ with the set$\mathcal{R}$ defined as

*U*(

*r*

_{ i }) to measure the value of rate

*r*

_{ i }and formally state our design goal as the maximization of the aggregate utility$\sum _{i=1}^{J}U\left({r}_{i}\right)$. Using the definitions in (26)–(29) the operating point that maximizes this aggregate utility for a frequency division broadcast channel follows from the solution of the optimization problem

where we relaxed the rate expression in (26) to an inequality constraint, which we can do without loss of optimality because the utility *U*(*r*_{
i
}) is monotonic nondecreasing.

The problem formulation in (30) is of the form in (20). The ergodic rates r in (30) are represented by the ergodic variables **x** in (20) whereas the power and frequency allocation functions p and α of (30) correspond to the resource allocation function p of (20). The set$\mathcal{R}$ maps to the set$\mathcal{X}$ and the set$\mathcal{A}$ to the set$\mathcal{P}$. There are no functions in (30) taking the place of the function f_{2}(x) of (20). The function f_{1}(h,p(*h*)) in (20) is a placeholder for the stacking of the functions *α*_{
i
}(h)*C*(*h*_{
i
}*p*_{
i
}(h)/*N*_{0}) for different *i* and the negative of the power consumptions$-\sum _{i=1}^{J}{\alpha}_{i}\left(\mathbf{h}\right){p}_{i}\left(\mathbf{h}\right)$ in (30). The power constraint${q}_{0}\ge \mathbb{E}\left[\sum _{i=1}^{J}{\alpha}_{i}\left(\mathbf{h}\right){p}_{i}\left(\mathbf{h}\right)\right]$ is not exactly of the form in (1) because *q*_{0}is a constant not a variable but this doesn’t alter the fundamentals of the problem. The functions *α*_{
i
}(h)*C*(*h*_{
i
}*p*_{
i
}(h)/*N*_{0}) are not concave and the set$\mathcal{A}$ is not convex. This makes the program in (30) nonconvex but is consistent with the restrictions imposed in (20).

*λ*

_{1},…,

*λ*

_{ J }]

^{ T }associated with the capacity constraints and

*μ*associated with the power constraint. The Lagrangian is then given by

The dual function, dual problem, and optimal dual arguments are defined as in (22)–(25) by replacing$\mathcal{\mathcal{L}}(\mathbf{r},\mathbf{p},\mathit{\alpha},\mathit{\lambda},\mu )$ for$\mathcal{\mathcal{L}}(\mathbf{x},\mathbf{p},\mathit{\Lambda})$. Since (30) is a nonconvex program we do not know if the dual problem is equivalent to the primal problem. We explore this issue in the following section.

## Duality in wireless systems optimization

*D*provides an upper bound for the primal optimum value

*P*. This is easy to see by combining the definitions of the dual function in (23) and the Lagrangian in (22) to write

*g*(Λ) is obtained by maximizing the right hand side of (32), evaluating this expression for arbitrary primal variables yields an upper bound on

*g*(Λ). Using a pair (x

^{∗},p

^{∗}) of optimal primal arguments as this arbitrary selection yields the inequality

^{∗},p

^{∗}is optimal, it is feasible, which means that we must have$\mathbb{E}\left[{\mathbf{f}}_{1}\left(\mathbf{h},{\mathbf{p}}^{\ast}\left(\mathbf{h}\right)\right)\right]-{\mathbf{x}}^{\ast}\ge \mathbf{0}$ and${\mathbf{f}}_{2}\left({\mathbf{x}}^{\ast}\right)\ge \mathbf{0}$. Lagrange multipliers are also nonnegative according to definition. Therefore, the last two summands in the right hand side of (33) are nonnegative from which it follows that

^{∗}in particular. It then follows that the dual optimum

*D*upper bounds the primal optimum

*P*,

as we had claimed. The difference *D-P* is called the duality gap and provides an indication of the loss of optimality incurred by working in the dual domain.

For the problem in (20) the duality gap is null as long as the channel probability distribution *m*_{
h
}(**h**) contains no point of positive probability as we claim in the following theorem which is a simple generalization of a similar result in[20].

### Theorem 1

*P*denote the optimum value of the primal problem (20) and

*D*that of its dual in (24) and assume there exists a strictly feasible point (x

_{0},p

_{0}) that satisfies the constraints in (20) with strict inequality. If the channel probability distribution

*m*

_{ h }(h) contains no point of positive probability the duality gap is null, i.e.,

The condition on the channel distribution not having points of positive probability is a mild requirement satisfied by practical fading channel models including Rayleigh, Rice, and Nakagami. The existence of a strictly feasible point (x_{0},p_{0}) is a standard constraint qualification requirement which is also not stringent in practice.

In order to prove Theorem 1 we take a detour in Section “Lyapunov’s convexity theorem” to define atomic and nonatomic measures along with the presentation of Lyapunov’s Convexity Theorem. The proof itself is presented in Section “Proof of Theorem 1”. The implications of Theorem 1 are discussed in Sections “Recovery of optimal primal variables” and “Dual descent algorithms”.

### Lyapunov’s convexity theorem

The proof of Theorem 1 uses a theorem by Lyapunov concerning the range of nonatomic measures[22]. Measures assign strictly positive values to sets of a Borel field. When all points have zero measure the measure is called nonatomic as we formally define next.

#### Definition 1 (**Nonatomic measure**)

Let *w* be a measure defined on the Borel field$\mathbb{B}$ of subsets of a space$\mathcal{X}$. Measure *w* is nonatomic if for any measurable set${E}_{0}\in \mathbb{B}$ with *w*(*E*_{0})>0, there exist a subset *E* of *E*_{0}; i.e.,$E\subset {E}_{0}$, such that *w*(*E*_{0})>*w*(*E*)>0.

*X*taking values in [0,1] and [2,3]. The probability of landing in each of these intervals is 1/2 and

*X*is uniformly distributed inside each of them; see Figure1. The space$\mathcal{X}$ is the real line, and the Borel field$\mathbb{B}$ comprises all subsets of real numbers. For every subset$E\in \mathbb{B}$ define the measure of

*E*as twice the integral of

*x*, weighted by the probability distribution of

*X*on the set

*E*, i.e.,

Note that, except for the factor 2, the value of *w*_{
X
}(*E*) represents the contribution of the set *E* to the expected value of *X* and that when *E* is the whole space$\mathcal{X}$, it holds${w}_{X}\left(\mathcal{X}\right)=2{\mathbb{E}}_{\mathbf{x}}\left(x\right)$. According to Definition 1, *w*_{
X
}(*E*) is a nonatomic measure of elements of$\mathbb{B}$. Every subset *E*_{0} with *w*_{
X
}(*E*_{0})>0 includes at least an interval (*a*,*b*). The measure of the set *E*:=*E*_{0}−((*a* + *b*)/2,*b*) formed by removing the upper half of (*a*,*b*) from *E*_{0} is *w*_{
X
}(*E*)=*w*_{
X
}(*E*_{0})−(*b*−*a*)/2. The measure of *E* satisfies *w*_{
X
}(*E*)>0 as required for *w*_{
X
}(*E*) to be nonatomic.

*Y*landing equiprobably in [0,1] or 5/2; see Figure2. In this case, the measure${w}_{Y}\left(E\right):=2\underset{E}{\int}\mathrm{ydY}$ is atomic because the set

*E*

_{0}={5/2} has positive measure

*w*

_{ Y }(

*E*)=1. The only set$E\subset {E}_{0}$ is the empty set whose measure is null.

#### Theorem 2 (**Lyapunov’s convexity theorem [**[22]**]**).

Consider nonatomic measures *w*_{1},…,*w*_{
n
}on the Borel field$\mathbb{B}$ of subsets of a space$\mathcal{X}$ and define the vector measure w(*E*):=[*w*_{1}(*E*),…,*w*_{
n
}(*E*)]^{
T
}. The range$\mathcal{W}:=\left\{\mathbf{w}\left(E\right):E\in \mathbb{B}\right\}$ of the measure w is convex. I.e., if w(*E*_{1})=w_{1}and w(*E*_{2})=w_{2}, then for any *α*∈[0,1] there exists${E}_{0}\in \mathbb{B}$ such that w(*E*_{0})=*α* w_{1} + (1−*α*)w_{2}.

The difference between the distributions of *X* and *Y* is that *Y* contains a point of strictly positive probability, i.e., an atom. This implies presence of delta functions in the probability density function of *Y* . Or, in a rather cleaner statement the cumulative distribution function (cdf) of *X* is continuous whereas the cdf of *Y* is not.

Lyapunov’s convexity theorem introduced next refers to the range of values taken by (vector) nonatomic measures.

Returning to the probability measures defined in terms of the probability distributions of the random variables *X* and *Y* , Theorem 2 asserts that the range of *w*_{
X
}(*E*), i.e., the set of all possible values taken by *w*_{
X
} is convex. In fact, it is not difficult to verify that the range of *w*_{
X
}is the convex interval [0,3] as shown in Figure1. Theorem 2 does not claim anything about *w*_{
Y
}. In this case, it is easy to see that the range of *w*_{
Y
} is the (non-convex) union of the intervals [0,1/2] and [5/2,3]; see Figure2.

### Proof of Theorem 1

*P*(Δ) assigns to each (perturbation) parameter set$\mathit{\Delta}:={\left[{\mathit{\delta}}_{1}^{T},{\mathit{\delta}}_{2}^{T}\right]}^{T}$ the solution of the (perturbed) optimization problem

The perturbed problem in (38) can be interpreted as a modified version of (20), where we allow the constraints to be violated by Δ amounts. To prove that the duality gap is zero, it suffices to show that *P*(Δ) is a concave function of Δ; see, e.g.,[23].

*P*(Δ) corresponding to perturbation Δ. Likewise, denote as (x

*′*,p

*′*) a pair that achieves the optimum value

*P*(Δ

*′*) corresponding to perturbation Δ

*′*. For arbitrary

*α*∈[0,1], we are interested in the solution of (38) under perturbation Δ

_{ α }:=

*α*Δ + (1−

*α*)Δ

*′*. In particular, to show that the perturbation function

*P*(Δ) is concave we need to establish that

The set$\mathcal{Y}$ contains all the possible values that the expectation$\mathbb{E}\left[{\mathbf{f}}_{1}\left(\mathbf{h},\mathbf{p}\left(\mathbf{h}\right)\right)\right]$ can take as the resource allocation function p varies over the admissible set$\mathcal{P}$. When the channel distribution *m*_{
h
}(h) contains no points of positive probability, the set$\mathcal{Y}$ is convex as we claim in the following theorem.

#### Theorem 3.

Let$\mathcal{Y}$ be ergodic limit span set in (40). If the channel probability distribution *m*_{
h
}(h) contains no point of positive probability the set$\mathcal{Y}$ is convex.

*α*the point y

_{ α }:=

*α*y + (1−

*α*)y

*′*also belongs to$\mathcal{Y}$. In turn, this means there exists a resource allocation function${\mathbf{p}}_{\alpha}\in \mathcal{P}$ for which

Further define the ergodic limit convex combination x_{
α
}:=*α* x + (1−*α*)x *′*. We first show that the pair (x_{
α
},p_{
α
}) is feasible for the problem for perturbation Δ_{
α
}.

The convex combination satisfies the constraint${\mathbf{x}}_{\alpha}\in \mathcal{X}$ because the set$\mathcal{X}$ is convex. We also have f_{2}(x_{
α
})≥δ_{2,α} because the function f_{2}(x) is concave. To see that this is true simply notice that concavity of f_{2}(x) implies that${\mathbf{f}}_{2}\left({\mathbf{x}}_{\alpha}\right)={\mathbf{f}}_{2}[\alpha \mathbf{x}+(1-\alpha )\mathbf{x}\prime ]\ge \alpha {\mathbf{f}}_{2}\left(\mathbf{x}\right)+(1-\alpha ){\mathbf{f}}_{2}(\mathbf{x}\prime )$. But f_{2}(x)≥δ_{2} and f_{2}(x *′*)≥δ_{2}*′* because **x** and x *′* are feasible in (38) with perturbations Δ and Δ *′*. Substituting these latter two inequalities into the previous one yields${\mathbf{f}}_{2}\left({\mathbf{x}}_{\alpha}\right)\ge \alpha {\mathit{\delta}}_{2}+(1-\alpha ){\mathit{\delta}}_{2}\prime ={\mathit{\delta}}_{2,\alpha}$ according to the definition of Δ_{
α
}.

_{ α },p

_{ α }) satisfies the constraint$\mathbb{E}\left[{\mathbf{f}}_{1}\left(\mathbf{h},\mathbf{p}\left(\mathbf{h}\right)\right)\right]-\mathbf{x}\le {\mathit{\delta}}_{1,\alpha}$. For doing so recall that since (x,p) is feasible for perturbation

*Δ*and (x

*′*,p

*′*) is feasible for perturbation

*Δ′*we must have

_{ α }:=

*α*x + (1−

*α*)x

*′*and${\mathit{\delta}}_{1,\alpha}:=\alpha {\mathit{\delta}}_{1}+(1-\alpha )\mathit{\delta}{\prime}_{1}$ to write

Combining (42) and (44) it follows that$\mathbb{E}\left[{\mathbf{f}}_{1}\left(\mathbf{h},{\mathbf{p}}_{\alpha}\left(\mathbf{h}\right)\right)\right]-{\mathbf{x}}_{\alpha}\le {\mathit{\delta}}_{1,\alpha}$ completing the proof that the pair (x_{
α
},p_{
α
}) is feasible for the problem for perturbation Δ_{
α
}.

*f*

_{0}(x

_{ δ }) which we can bound as

*f*

_{0}(x)=

*P*(Δ) and, likewise,

*f*

_{0}(x

*′*)=

*P*(Δ

*′*). Further noting that the optimal yield

*P*(Δ

_{ α }) for perturbation Δ

_{ α }must exceed the yield

*f*

_{0}(x

_{ α }) of feasible point x

_{ α }we conclude that

The expression in (46) implies that *P*(Δ) is a concave function of the perturbation vector Δ. The duality gap is therefore null as stated in (36).

We proceed now to the proof of Theorem 3.

#### Proof.

*α*the point y

_{ α }:=

*α*y + (1−

*α*)y

*′*also belongs to$\mathcal{Y}$. In turn, this means we need to find a resource allocation function${\mathbf{p}}_{\alpha}\in \mathcal{P}$ for which

where the integrals are over the set *E* with respect to the channel distribution *m*_{
h
}(h). A vector of channel realizations$\mathbf{h}\in \mathcal{\mathscr{H}}$ is a point in the space$\mathcal{\mathscr{H}}$. The set *E* is a collection of vectors **h**. Each of these sets is assigned vector measure w(*E*) defined in terms of the power distributions **p**(**h**) and p *′*(h). The entries of w(*E*) represent the contribution of realizations h∈*E* to the ergodic limits in (48). The first group of entries measure such contributions when the resource allocation is **p**(**h**). Likewise, the second group of entries of w(*E*) denote the contributions to the ergodic limits of the resource distribution p *′*(h).

*E*=

*∅*, and the entire space$E=\mathcal{\mathscr{H}}$. For$E=\mathcal{\mathscr{H}}$, the integrals$\underset{E}{\int}(\xb7)d{m}_{\mathbf{h}}=\underset{\mathcal{\mathscr{H}}}{\int}(\xb7)d{m}_{\mathbf{h}}$ in (49) coincide with the expected value operators$\mathbb{E}(\xb7)$ in (47). We write this explicitly as

For *E*=*∅*, or any other zero-measure set for that matter, we have w(*∅*)=**0**.

The measure w(*E*) is nonatomic. This follows from the fact that the channel distribution contains no points of positive probability combined with the requirement that the resource allocation values **p**(**h**) belong to the bounded sets$\mathcal{P}\left(\mathbf{h}\right)$. Combining these two properties it is easy to see that that there are no channel realizations with positive measure, i.e., w(h)=0 for all$\mathbf{h}\in \mathcal{\mathscr{H}}$. This is sufficient to ensure that w(*E*) is a nonatomic measure.

*E*) nonatomic it follows from Theorem 2 that the range of w is convex. Hence, the vector

*E*

_{0}such that$\mathbf{w}\left({E}_{0}\right)={\mathbf{w}}_{0}=\alpha \mathbf{w}\left(\mathcal{\mathscr{H}}\right)$. Focusing on the entries of w(

*E*

_{0}) that correspond to the resource allocation function p it follows that

The analogous relation holds for the entries of w(*E*_{0}) corresponding to p *′*, i.e., (52) is valid if **p**(**h**) is replaced by p *′*(h) but this fact is inconsequential for this proof.

*second*entries of$\mathbf{w}\left({E}_{0}^{c}\right)$. It therefore follows that

_{ α }(h) coinciding with

**p**(

**h**) for channel realization h∈

*E*

_{0}and with p

*′*(h) when$\mathbf{h}\in {E}_{0}^{c}$, i.e.,

The resource distribution p_{
α
}satisfies the set constraint${\mathbf{p}}_{\alpha}\in \mathcal{P}$ in (19). Indeed, to see that${\mathbf{p}}_{\alpha}\left(\mathbf{h}\right)\in \mathcal{P}\left(\mathbf{h}\right)$ for all$\mathbf{h}\in \mathcal{\mathscr{H}}$ note that **p**(**h**) and p *′*(h) are feasible in their respective problems and as such$\mathbf{p}\left(\mathbf{h}\right)\in \mathcal{P}\left(\mathbf{h}\right)$ and$\mathbf{p}\prime \left(\mathbf{h}\right)\in \mathcal{P}\left(\mathbf{h}\right)$ for all channels$\mathbf{h}\in \mathcal{\mathscr{H}}$. Because for given channel realization **h** it holds that either p_{
α
}(h)=p(h) when h∈*E*_{0} or p_{
α
}(h)=p *′*(h) when$\mathbf{h}\in {E}_{0}^{c}$ it follows that${\mathbf{p}}_{\alpha}\left(\mathbf{h}\right)\in \mathcal{P}\left(\mathbf{h}\right)$ for all channel realizations$\mathbf{h}\in {E}_{0}\cup {E}_{0}^{c}=\mathcal{\mathscr{H}}$. According to the definition in (19) this implies that${\mathbf{p}}_{\alpha}\in \mathcal{P}$.

Let us now ponder the ergodic limit$\mathbb{E}\left[{\mathbf{f}}_{1}(\mathbf{h},{\mathbf{p}}_{\alpha}(\mathbf{h}\left)\right)\right]$ associated with power allocation p_{
α
}(h).

_{ α }(h) can be expressed in terms of

**p**(

**h**), p

*′*(h) as

The first equality in (56) holds becauset the space$\mathcal{\mathscr{H}}$ is divided into *E*_{0} and its complement$\left(\right)close="">{E}_{0}^{c}$. The second equality is true because when restricted to *E*_{0}, p_{
α
}(h)=p(h); and when restricted to$\left(\right)close="">{E}_{0}^{c}$, p_{
α
}(h)=p *′*(h). The third equality follows from (52) and (54).

Comparing (56) with (48) we see that the power allocation p_{
α
} yields ergodic limit y_{
α
}. Therefore${\mathbf{y}}_{\alpha}\in \mathcal{Y}$ implying convexity of$\mathcal{Y}$ as we wanted to show. □

## Recovery of optimal primal variables

Having null duality gap means that we can work in the dual domain without loss of optimality. In particular, instead of finding the primal maximum *P* we can find the dual minimum *D*, which we know are the same according to Theorem 1. A not so simple matter is how to recover an optimal primal pair (x^{∗},p^{∗}) given an optimal dual vector Λ^{∗}. Observe that recovering optimal variables is more important than knowing the maximum yield because optimal variables are needed for system implementation. In this section we study the recovery of optimum primal variables (x^{∗},p^{∗}) from a given optimal multiplier Λ^{∗}.

*g*(Λ) as

Particular important pairs of Lagrangian maximizers are those associated with a given optimal dual variable Λ^{∗}. As we show in the following theorem, these variables are related with the optimal primal variables (x^{∗},p^{∗}).

### Theorem 4.

^{∗}. The optimal argument set$\left({\mathbf{x}}^{\ast},{\mathbf{p}}^{\ast}\right)$ is included in this set of Lagrangian maximizers, i.e.,

### Proof

^{∗},p

^{∗}) as a particular pair of optimal primal arguments. Start by noting that the value of the dual function

*g*(Λ

^{∗}) can be upper bounded by the Lagrangian evaluated at (x,p)=(x

^{∗},p

^{∗})

Indeed, the inequality would be true for any$x\in \mathcal{X}$ and$\mathbf{p}\in \mathcal{P}$ because that is what being the maximum means.

^{∗},p

^{∗}) is an optimal argument of (20) we must have$\mathbb{E}\left({\mathbf{f}}_{1}\left(\mathbf{h},{\mathbf{p}}^{\ast}\left(\mathbf{h}\right)\right)\right)-{\mathbf{x}}^{\ast}\ge \mathbf{0}$ and f

_{2}(x

^{∗})≥

**0**. The multipliers also satisfy${\mathit{\lambda}}_{1}^{\ast}\ge \mathbf{0}$ and${\mathit{\lambda}}_{2}^{\ast}\ge \mathbf{0}$ because they are required to be nonnegative. Thus, the last two summands in (61) are nonnegative from where it follows that

*g*(Λ

^{∗}) and

*P*=

*f*

_{0}(x

^{∗}) yields

*D*=

*P*and the inequalities must hold hold as equalities. In particular, we have

which according to (58) means the pair (p^{∗},Λ^{∗}) is a Lagrangian maximizer associated with Λ=Λ^{∗}. Since this is true for any pair of optimal variables (p^{∗},Λ^{∗}) it follows that the set (p^{∗},Λ^{∗}) is included in the set of Lagrangian maximizers$\left(\mathbf{x}\left({\mathit{\Lambda}}^{\ast}\right),\mathbf{p}\left({\mathit{\Lambda}}^{\ast}\right)\right)$ as stated in (59). □

According to (59) optimal arguments$\left({\mathbf{x}}^{\ast},{\mathbf{p}}^{\ast}\right)$ can be recovered from Lagrangian maximizers$\left(\mathbf{x}\left({\mathit{\Lambda}}^{\ast}\right),\mathbf{p}\left({\mathit{\Lambda}}^{\ast}\right)\right)$ associated with optimal multipliers. One has to take care to interpret this set inclusion properly. Equation (59) does not mean that we can always compute$\left({\mathbf{x}}^{\ast},{\mathbf{p}}^{\ast}\right)$ by finding Lagrangian maximizers and as such it may or may not be a useful result. If the Lagrangian maximizer pair is unique then the set$\left(\mathbf{x}\left({\mathit{\Lambda}}^{\ast}\right),\mathbf{p}\left({\mathit{\Lambda}}^{\ast}\right)\right)$ is a singleton and by extension so is the (included) set$\left({\mathbf{x}}^{\ast},{\mathbf{p}}^{\ast}\right)$ of optimal primal variables. In this case Lagrangian maximizers can be used as proxies for optimal arguments. When the set$\left(\mathbf{x}\left({\mathit{\Lambda}}^{\ast}\right),\mathbf{p}\left({\mathit{\Lambda}}^{\ast}\right)\right)$ is not a singleton this is not possible and recovering optimal primal variables from optimal multipliers Λ^{∗} is somewhat more difficult.

In general, problems in optimal wireless networking are such that the Lagrangian maximizer resource allocation functions p(Λ^{∗}) are unique to within a set of zero measure. The ergodic limit Lagrangian maximizers x(Λ^{∗}), however, are not unique in many cases. This is more a nuisance than a fundamental problem. Algorithms that find primal optimal operating points regardless of the characteristics of the set of Lagrangian maximizers are studied in Section “Dual descent algorithms”.

### Separability

We say that in (22) the Lagrangian is grouped by dual variables because each dual variable appears in only one summand. The expression in (65) is grouped by primal variables because each summand contains a single primal variable if we interpret${f}_{0}\left(\mathbf{x}\right)-{\mathit{\lambda}}_{1}^{T}\mathbf{x}+{\mathit{\lambda}}_{2}^{T}{\mathbf{f}}_{2}\left(\mathbf{x}\right)$ as a single term and the expectation as a weighted sum—which is not true, but close enough for an intuitive interpretation.

**x**and p in (65) we can separate the determination of the pair (x(Λ),p(Λ)) in (57) into the determination of the ergodic limits

**p**(

**h**) of the function p but doesn’t couple the selection of p(h

_{1}) and p(h

_{2}) for different channel realizations h

_{1}≠h

_{2}. Further observing that expectation is a linear operation we can separate (67) into per-fading state subproblems of the form

The absence of coupling constraints in the Lagrangian maximization, which permits separation into the ergodic limit maximization in (66) and the per-fading maximizations in (68), is the fundamental difference between (57) and the primal problem in (20). In the latter, the selection of optimal x^{∗} and p^{∗} as well as the selection of p(h_{1}) and p(h_{2}) for different channel realizations h_{1}≠h_{2} are coupled by the constraint$\mathbf{x}\le \mathbb{E}\left[{\mathbf{f}}_{1}\left(\mathbf{h},\mathbf{p}\left(\mathbf{h}\right)\right)\right]$.

The decomposition in (68) is akin to the decomposition in (16) for the particular case of a point to point channel with capacity achieving codes. It implies that to determine the optimal power allocation p^{∗} it is convenient to first determine the optimal multiplier Λ^{∗}. We then proceed to exploit the lack of duality gap and the separable structure of the Lagrangian to compute values p^{∗}(h) of the optimal resource allocation independently of each other. The computation of optimal ergodic averages is also separated as stated in (66). This separation reduces computational complexity because of the reduced dimensionality of (66) and (68) with respect to that of (20).

For the separation in (66) and (68) to be possible we just need to have a nonatomic channel distribution and ensure existence of a strictly feasible point as stated in the hypotheses of Theorem 1. These two properties are true for most optimal wireless communication and networking problems. A particular example is discussed in the following section.

### Frequency division broadcast channel

This rearrangement is equivalent to the generic transformation leading from (22) to (65). As we observed after (65) the computation of Lagrangian maximizing ergodic limits and resource allocation functions can be separated as can the computation of resource allocation values corresponding to different fading channel realizations. This is the case in this particular example. In fact, there is more separability to be exploited in (69).

*r*

_{ i }(λ,

*μ*) depends only on

*λ*

_{ i }and that we can compute each

*r*

_{ i }(λ,

*μ*)=

*r*

_{ i }(

*λ*

_{ i }) separately as

*U*(

*r*

_{ i }) is a one dimensional concave function. As a particular case consider the identity utility

*U*(

*r*

_{ i })=

*r*

_{ i }. Since the Lagrangian becomes a linear function of

*r*

_{ i }, the maximum occurs at either

*r*

_{max}or

*r*

_{min}depending on the sign of 1−

*λ*

_{ i }. When

*λ*

_{ i }=1 the Lagrangian becomes independent of

*c*

_{ i }. In this case any value in the interval [

*r*

_{min},

*r*

_{max}] is a Lagrangian maximizer. Putting these observations together we have

Notice that the Lagrangian maximizer *r*_{
i
}(*λ*_{
i
}) is not unique if *λ*_{
i
}=1. Therefore, if$\left(\right)close="">{\lambda}_{i}^{\ast}=1$ it is not possible to recover the optimal rate$\left(\right)close="">{r}_{i}^{\ast}$ from the Lagrangian maximizer${r}_{i}\left({\lambda}_{i}^{\ast}\right)$ corresponding to the optimal multiplier. In fact, an optimal multiplier$\left(\right)close="">{\lambda}_{i}^{\ast}=1$ is uninformative with regards to the optimal ergodic rate as it just implies that${r}_{i}^{\ast}\in [{r}_{min},{r}_{max}]$ which we know is true because this is the feasible range of *r*_{
i
}. If you think this is an unlikely scenario because it is too much of a coincidence to have$\left(\right)close="">{\lambda}_{i}^{\ast}=1$, think again. Having$\left(\right)close="">{\lambda}_{i}^{\ast}=1$ is the most likely situation. If${\lambda}_{i}^{\ast}\ne 1$ the optimal rate$\left(\right)close="">{r}_{i}^{\ast}$ is either${r}_{i}^{\ast}={r}_{max}$ or${r}_{i}^{\ast}={r}_{min}$. However, the capacity bounds *r*_{min}and *r*_{max}are selected independently of the remaining system parameters. It is quite unlikely—indeed, not true in most cases—that the optimal power and frequency allocation yields a rate$\left(\right)close="">{r}_{i}^{\ast}$ determined by these arbitrarily selected parameters.

where we opened up the constraint$\mathit{\alpha}\in \mathcal{A}$ into its per-fading state components.

*p*

_{ i }(h,λ,

*μ*) of terminal

*i*is the one that maximizes its potential contribution to the sum in (72), i.e.,

If *α*_{
i
}(h)=1 this contribution *is* added to the sum in (72). If it is multiplied by *α*_{
i
}(h)=0 it *is not* added to the sum in (72). Either way *p*_{
i
}(h,λ,*μ*) as given by (73) is the optimal power allocation for terminal *i*.

*μ*) define the discriminants

Since at most one *α*_{
i
}(h)=1 in (75), the best we can do is to select the terminal with the largest discriminant when that discriminant is positive. If all discriminants are negative the best we can do is to make *α*_{
i
}(h)=0 for all *i*.

The Lagrangian maximizers *p*_{
i
}(h,λ,*μ*) and α(h,λ,*μ*) in (73) and (75) are almost surely unique for all values of Λ and *μ*. In particular, optimal allocations${p}_{i}^{\ast}\left(\mathbf{h}\right)$ and α^{∗}(h) can be obtained by making Λ=Λ^{∗}and μ=μ^{∗} in (73)–(75).

## Dual descent algorithms

Determining optimal dual variables Λ^{∗} is easier than determining optimal primal pairs (p^{∗},x^{∗}) because there are a finite number of multipliers and the dual function is convex. If the dual function is convex descent algorithms are guaranteed to converge towards the optimum value, which implies we just need to determine descent directions for the dual function.

*g*(Λ) is differentiable, the expression in (80) implies that$\stackrel{~}{s}\left(\mathit{\Lambda}\right)=\nabla g\left(\mathit{\Lambda}\right)$ is its gradient. If the dual function is nondifferentiable$\stackrel{~}{s}\left(\mathit{\Lambda}\right)$ defines a subgradient of the dual function. In either case$-\stackrel{~}{s}\left(\mathit{\Lambda}\right)$ is a descent direction of the dual function. This can be verified by substituting M=Λ

^{∗}in (80) to conclude that for any Λ∉Λ

^{∗}it must be

Since the inner product of$\stackrel{~}{s}\left(\mathit{\Lambda}\right)$ and (Λ^{∗}−Λ) is negative the vectors$-\stackrel{~}{s}\left(\mathit{\Lambda}\right)$ and (Λ^{∗}−Λ) form an angle smaller than *Π*/2. This can be interpreted as meaning that standing at Λ, the vector$-\stackrel{~}{s}\left(\mathit{\Lambda}\right)$ points in the direction of Λ^{∗}.

*t*and a stepsize

*ε*

_{ t }to define the dual subgradient descent algorithm as the one with iterates λ(

*t*) obtained through recursive application of

This algorithm is known to converge to optimal dual variables if the stepsize vanishes at a nonsummable rate and to approach Λ^{∗} if the stepsize is constant; see e.g.,[20], Section 6.

A problem in implementing (82) is that computing the subgradient component${\stackrel{~}{s}}_{1}\left(\mathit{\Lambda}\right)$ in (79) is costly. To compute${\stackrel{~}{s}}_{1}\left(\mathit{\Lambda}\right)$, we need to evaluate the expectation$\mathbb{E}\left[{\mathbf{f}}_{1}\left(\mathbf{h},\mathbf{p}(\mathbf{h},\mathit{\Lambda})\right)\right]$ where each of the resource allocations p(h,Λ) follows from the solution of the optimization problem in (68). Therefore, to approximate the expectation$\mathbb{E}\left[{\mathbf{f}}_{1}\left(\mathbf{h},\mathbf{p}(\mathbf{h},\mathit{\Lambda})\right)\right]$ we need to determine p(h,Λ) for a grid of channel values, which gets impractical if **h** has large dimension. A Montecarlo approximation of$\mathbb{E}\left[{\mathbf{f}}_{1}\left(\mathbf{h},\mathbf{p}(\mathbf{h},\mathit{\Lambda})\right)\right]$ could be computed but that is also costly. Furthermore, to compute$\mathbb{E}\left[{\mathbf{f}}_{1}\left(\mathbf{h},\mathbf{p}(\mathbf{h},\mathit{\Lambda})\right)\right]$ we need to know the probability distribution *m*_{
h
}(h) which needs to be estimated from channel observations. To overcome these difficulties we replace the gradient$\stackrel{~}{s}\left(\mathit{\Lambda}\left(t\right)\right)$ in (82) by a stochastic subgradient as we discuss in the following section.

### Stochastic subgradient descent

**h**and given multiplier Λ and define the vector

_{1}(h,Λ) with respect to the channel distribution is the subgradient component${\stackrel{~}{s}}_{1}\left(\mathit{\Lambda}\right)$ in (79). Thus, if we define the vector$\mathbf{s}(\mathbf{h},\mathit{\Lambda})={\left[{\mathbf{s}}_{1}^{T}\right(\mathbf{h},\mathit{\Lambda}),{\mathbf{s}}_{2}^{T}(\mathit{\Lambda}\left)\right]}^{T}$ with s

_{1}(h,Λ) as in (83) and${\mathbf{s}}_{2}\left(\mathit{\Lambda}\right)={\stackrel{~}{s}}_{2}\left(\mathit{\Lambda}\right)={\mathbf{f}}_{2}\left(\mathbf{x}\right(\mathit{\Lambda}\left)\right)$ we have

Formally, (84) implies that s(h,Λ) is a stochastic subgradient of the dual function. Intutively, (84) implies that s(h,Λ) is an average descent direction of the dual function because its expectation is a descent direction. Thus, if we draw independent channel realizations h(*t*) and replace$\stackrel{~}{s}\left(\mathit{\Lambda}\left(t\right)\right)$ for s(h(*t*),Λ(*t*)) in (82) we expect to observe some sort of convergence towards optimum multipliers.

*t*) as our channel sample. These observations motivate the introduction of the following dual stochastic subgradient descent algorithm.

*(S1) Primal iteration.*Given multipliers λ(

*t*) observe current channel realization h(

*t*) and determine primal Lagrangian maximizers [cf. (66) and (68)]

*(S2) Dual stochastic subgradient.*With the Lagrangian maximizers determined by (85) compute the stochastic subgradient$\mathbf{s}\left(\mathbf{h}\left(t\right),\mathit{\Lambda}\left(t\right)\right)={\left[{\mathbf{s}}_{1}^{T}\left(\mathbf{h}\left(t\right),\mathit{\Lambda}\left(t\right)\right),{\mathbf{s}}_{2}^{T}\left(\mathit{\Lambda}\right(t\left)\right)\right]}^{T}$ of the dual function with components [cf. (83) and (79)]

*(S3) Dual iteration.*With stochastic subgradients as in (86) and given step size

*ε*descend in the dual domain along the direction −s(

*t*) [cf. (82)]

The core of the dual stochastic subgradient descent algorithm is the dual iteration (S3). The purpose of the primal iteration (S1) is to compute the stochastic subgradients in (S2) that are needed to implement the dual descent update in (S3). We can think of the primal variables x(Λ(*t*)) and p(h(*t*),Λ(*t*)) as a byproduct of the descent implementation.

Convergence properties depend on whether constant or time varying step sizes are used. If the stepsizes *ε*_{
t
} form a nonsummable but square summable series, i.e.,$\sum _{t=0}^{\infty}\epsilon \left(t\right)=\infty $ and$\sum _{t=0}^{\infty}{\epsilon}^{2}\left(t\right)<\infty $, then using a simple supermartingale argument it can be shown that λ(*t*) converges to Λ^{∗} almost surely[24]. If constant stepsizes *ε*_{
t
}=*ε* for all *t* are used, λ(*t*) does not converge to Λ^{∗} but it can be shown that λ(*t*) visits a neighborhood of the optimal multiplier set Λ^{∗}[19, Appendix]. Excursions away from this set are possible, but the set is visited infinitely often. The suboptimality of this set is controlled by the step size *ε*.

If λ(*t*) approaches or converges to Λ^{∗}it follows as a consequence of Theorem 4 that an optimal primal pair (x^{∗},p^{∗}) can be computed from the Lagrangian maximizers if the latter are unique. Observe that this does not require a separate computation because the Lagrangian maximizers are computed in the primal iteration (S1). One may question that at time *t* we do not compute the Lagrangian maximizer function p(Λ(*t*)) but just the single value p(h(*t*),Λ(*t*)). However, h(*t*) is the channel realization at time *t* which means that p(h(*t*),Λ(*t*)) is the value we need to compute to adapt to the current channel realization.

This permits reinterpretation of (S1)–(S3) as a policy to determine wireless systems’ operating points. At time *t* we observe current channel realization h(*t*) and determine resource allocation p(h(*t*),Λ(*t*)) which we proceed to implement in the current time slot. In this case the core of the algorithm is the primal iteration (S1) and the dual variable λ(*t*) is an internal state that determines the operating point. Steps (S2) and (S3) are implemented to update this internal state so that as time progresses λ(*t*) approaches Λ^{∗}and the policy becomes optimal because it chooses the best possible resource allocation adapted to the current channel realization h(*t*).

The reinterpretation of (S1)–(S3) as a policy to determine resource allocations p(*t*)=p(h(*t*),Λ(*t*)) associated with observed channel realizations h(*t*) motivates a redefinition of the concept of solution to the wireless optimization problem in (20). In principle, solving (20) entails finding the optimal resource allocation p^{∗} and the optimal ergodic average x^{∗} such that the problem constraints are satisfied and$P={f}_{0}\left({\mathbf{x}}^{\ast}\right)$ [cf. (21)]. Heeding the interpretation of dual stochastic subgradient descent as a policy, we are interested in the optimality of the *sequences* of power allocations$\mathbf{p}\left(\mathbb{N}\right):={\left\{\mathbf{p}\right(t\left)\right\}}_{t\in \mathbb{N}}$ and average variables$\mathbf{x}\left(\mathbb{N}\right):={\left\{\mathbf{x}\right(t\left)\right\}}_{t\in \mathbb{N}}$ generated by (S1)–(S3). Further notice that since (S1)–(S3) is a stochastic algorithm the sequences$\mathbf{p}\left(\mathbb{N}\right)$ and$\mathbf{x}\left(\mathbb{N}\right)$ generated in a particular run are instantiations of respective random processes$\mathbf{p}\left(\mathbb{N}\right)$ and$\mathbf{x}\left(\mathbb{N}\right)$. We are therefore interested in the optimality of the processes$\mathbf{p}\left(\mathbb{N}\right)$ and$\mathbf{x}\left(\mathbb{N}\right)$.

*m*

_{ h }(h). Suppose we are also given a sequence of variables$\mathbf{x}\left(\mathbb{N}\right):={\left\{\mathbf{x}\right(t\left)\right\}}_{t\in \mathbb{N}}$ drawn from a stochastic process$\mathbf{x}\left(\mathbb{N}\right)$ and a resource allocation function

**p**(

**h**) that dictates allocation of resources p(h(

*t*)) for channel realization h(

*t*). Assuming that the process$\mathbf{x}\left(\mathbb{N}\right)$ is ergodic, the constraint$\mathbf{x}\le \mathbb{E}\left[{\mathbf{f}}_{1}\left(\mathbf{h},\mathbf{p}\left(\mathbf{h}\right)\right)\right]$ is equivalent to

Indeed, since$\mathbf{x}\left(\mathbb{N}\right)$ and$\mathbf{h}\left(\mathbb{N}\right)$ are ergodic processes the limit$\underset{t\to \infty}{lim}\frac{1}{t}\sum _{u=1}^{t}\mathbf{x}\left(u\right)$ is a constant that we could denote by **x** and the limit$\underset{t\to \infty}{lim}\frac{1}{t}\sum _{u=1}^{t}{\mathbf{f}}_{1}\left(\mathbf{h}\left(u\right),\mathbf{p}\left(\mathbf{h}\right(u\left)\right)\right)$ is equivalent to the expectation$\mathbb{E}\left[{\mathbf{f}}_{1}\left(\mathbf{h},\mathbf{p}\left(\mathbf{h}\right)\right)\right]$.

Writing the constraint$\mathbf{x}\le \mathbb{E}\left[{\mathbf{f}}_{1}\left(\mathbf{h},\mathbf{p}\left(\mathbf{h}\right)\right)\right]$ in the more cumbersome form shown in (88) has the advantage that the latter can be generalized to cases in which we are given stochastic processes$\mathbf{p}\left(\mathbb{N}\right)$ and$\mathbf{x}\left(\mathbb{N}\right)$ in which$\mathbf{x}\left(\mathbb{N}\right)$ is not necessarily ergodic and realizations p(*t*) of the process$\mathbf{p}\left(\mathbb{N}\right)$ are more general than just functions of the channel state h(*t*). This concept of solution is formally defined next.

#### Definition 2

*m*

_{ h }(h). We say the stochastic processes${\mathbf{p}}^{\u2021}\left(\mathbb{N}\right)$ and${\mathbf{x}}^{\u2021}\left(\mathbb{N}\right)$ with realizations${\mathbf{p}}^{\u2021}\left(\mathbb{N}\right):={\left\{{\mathbf{p}}^{\u2021}\right(t\left)\right\}}_{t\in \mathbb{N}}$ and${\mathbf{x}}^{\u2021}\left(\mathbb{N}\right):={\left\{{\mathbf{x}}^{\u2021}\right(t\left)\right\}}_{t\in \mathbb{N}}$ problem in (20) if (i) Instantaneous feasibility. Sequence values satisfy the set constraints${\mathbf{x}}^{\u2021}\left(t\right)\in \mathcal{X}$,${\mathbf{p}}^{\u2021}\left(t\right)\in \mathcal{P}\left(\mathbf{h}\right(t\left)\right)$ for all times

*t*. (ii) Almost sure average feasibility. Ergodic limits of sequences${\mathbf{x}}^{\u2021}\left(\mathbb{N}\right)$ and${\mathbf{p}}^{\u2021}\left(\mathbb{N}\right)$ are feasible with probability 1, i.e.,

If the stochastic process${\mathbf{x}}^{\u2021}\left(\mathbb{N}\right)$ is ergodic and the process${\mathbf{p}}^{\u2021}\left(\mathbb{N}\right)$ is such that realizations p^{
‡
}(*t*)=p^{
‡
}(h(*t*)) are functions of current channel states, Definition 2 is equivalent to (21) with${\mathbf{x}}^{\ast}=\underset{t\to \infty}{lim}\frac{1}{t}\sum _{u=1}^{t}{\mathbf{x}}^{\u2021}\left(u\right)$ and p^{∗}(h(*t*))=p^{
‡
}(h(*t*)). Definition 2 is more general because it allows correlation between values of$\mathbf{x}\left(\mathbb{N}\right)$ and lets p(*t*) be more complex than just a function of the current channel realization h(*t*). This added generality is needed because processes$\mathbf{p}\left(\mathbb{N}\right)$ and$\mathbf{x}\left(\mathbb{N}\right)$ defined as per (S1)–(S3) yield correlated processes$\mathbf{p}\left(\mathbb{N}\right)$ and$\mathbf{x}\left(\mathbb{N}\right)$ in which p(*t*) is a function of the current channel realization h(*t*) and the current Lagrange multiplier λ(*t*). Processes$\mathbf{p}\left(\mathbb{N}\right)$ and$\mathbf{x}\left(\mathbb{N}\right)$ are close to optimal in the sense of Definition 2 as we describe in the following theorem.

#### Theorem 5 (**Ergodic stochastic optimization [**[19]**]**)

*t*) almost surely converges to a value with optimality gap smaller than$\epsilon {\u015c}^{2}/2$, i.e,

The sequences$\mathbf{p}\left(\mathbb{N}\right)$ and$\mathbf{x}\left(\mathbb{N}\right)$ satisfy the constraints in (89) and (90) almost surely and the objective function evaluated at the ergodic limit$\stackrel{\u0304}{\mathbf{x}}:=(1/t)\sum _{u=1}^{t}\mathbf{x}\left(u\right)$ is within$\epsilon {\u015c}^{2}/2$ of optimal. Since$\mathcal{X}$ and$\mathcal{P}$ are compact sets it follows that the bound${\u015c}^{2}$ is finite. Therefore, reducing *ε* it is possible to make${\mathbf{f}}_{0}\left(\stackrel{\u0304}{\mathbf{x}}\right)$ arbitrarily close to *P* and as a consequence the sequences$\mathbf{p}\left(\mathbb{N}\right)$ and$\mathbf{x}\left(\mathbb{N}\right)$ arbitrarily close to optimal. It follows that the processes$\mathbf{p}\left(\mathbb{N}\right)$ and$\mathbf{x}\left(\mathbb{N}\right)$ generated by (S1)–(S3) are arbitrarily close to processes${\mathbf{p}}^{\u2021}\left(\mathbb{N}\right)$ and${\mathbf{x}}^{\u2021}\left(\mathbb{N}\right)$ that are optimal in the sense of Definition 2.

Variables p^{∗} and x^{∗} optimal in the sense of (21) are not computed by (S1)–(S3). Rather, (89) implies that, asymptotically, (S1)–(S3) is drawing resource allocation realizations p(*t*)=p(h(*t*),Λ(*t*)) and variables x(*t*):=x(Λ(*t*)) that are close to optimal as per Definition 2. The important point here is that having a procedure to generate stochastic processes close to optimal in the sense of Definition 2 is sufficient for practical implementation.

An example application of the dual stochastic subgradient descent algorithm (S1)–(S3) is discussed in the next section.

### Frequency division broadcast channel

*r*

_{ i }we make

*λ*

_{ i }=

*λ*

_{ i }(

*t*) in (70) to conclude that the primal iterate

*r*

_{ i }(

*t*)=

*r*

_{ i }(

*λ*

_{ i }(

*t*)) is

*p*

_{ i }(

*t*)=

*p*

_{ i }(h(

*t*),λ(

*t*),

*μ*(

*t*)) and the frequency assignments α(

*t*)=α(h(

*t*),λ(

*t*),

*μ*(

*t*)) we need to set the multipliers to λ=λ(

*t*) and

*μ*=

*μ*(

*t*) and also set the value of the channel to its current state h=h(

*t*). This substitution in (73) yields the power allocation

*t*) we first substitute λ=λ(

*t*),

*μ*=

*μ*(

*t*), and h=h(

*t*) in (74) to compute the discriminants

*d*

_{ i }(

*t*)=

*d*

_{ i }(h(

*t*),λ(

*t*),

*μ*(

*t*))

*t*)=α(h(

*t*),λ(

*t*),

*μ*(

*t*)) is given by the solution of [cf. (75)]

Recall that since at most one *α*_{
i
}(h)=1 in (96), the optimal frequency allocation is to make *α*_{
i
}(h)=1 for the terminal with the largest discriminant when that discriminant is positive. If all discriminants are negative we make *α*_{
i
}(h)=0 for all *i*.

As per Theorem 5 iterative application of (93)–(97) yields sequences *r*_{
i
}(*t*), *α*_{
i
}(*t*) and *p*_{
i
}(*t*) such that: (i) The sum utility for the ergodic limits of *r*_{
i
}(*t*) is almost surely within a small constant of optimal; (ii) The power constraint in (27) and the rate constraints in (26) are almost surely satisfied in an ergodic sense. This result is true despite the presence of the non-convex integer constraint$\mathit{\alpha}\in \mathcal{A}$, the non-concave function *C*(*h*_{
i
}*p*_{
i
}(*t*)/*N*_{0}), the lack of access to the channel’s probability distribution, and the infinite dimensionality of the optimization problem.

#### Numerical results

The dual stochastic subgradient descent algorithm for optimal resource allocation in frequency division broadcast channels defined by (93)–(97) is simulated for a system with *J*=16 nodes. Three AMC modes corresponding to capacities 1, 2 and 3 bits/s/Hz are used with transitions at SINR 1, 3 and 7. Fading channels are generated as i.i.d. Rayleigh with average powers 1 for the first four nodes, i.e., *j*=1,…,4, and 2, 3 and 4 for subsequent groups of 4 nodes. Noise power is *N*_{0}=1 and average power available is *q*_{0}=3. Rate of packet acceptance is constrained to be 0≤*r*_{
i
}(*t*)≤2 bits/s/Hz. The optimality criteria is proportional fair scheduling, i.e.,${U}_{i}\left({r}_{i}\right)=log\left({r}_{i}\right)$ for all *i*. Steps size is *ε*=0*.* 1.

*λ*

_{ i }(

*t*) and corresponding rates

*r*

_{ i }(

*t*) for representative nodes

*i*=1 with average channels$\mathbb{E}{h}_{1}\left(t\right)=1$ and

*i*=9 with$\mathbb{E}{h}_{9}\left(t\right)=3$. The time average rate${\stackrel{\u0304}{r}}_{i}\left(t\right):=(1/t)\sum _{u=1}^{t}{r}_{i}\left(u\right)$ is also shown. Neither multipliers

*λ*

_{ i }(

*t*) nor rates

*r*

_{ i }(

*t*) converge, but ergodic rates${\stackrel{\u0304}{r}}_{i}\left(t\right)$ do converge. Multiplier

*λ*

_{1}(

*t*) associated with node 1 is larger than multiplier

*λ*

_{9}(

*t*) of node 9. This improves fairness of resource allocation by increasing the chances of allocating user 1 even when the channel

*h*

_{1}(

*t*) is smaller than

*h*

_{9}(

*t*)—recall that channel

*h*

_{9}(

*t*) is stronger on average. Convergence of the algorithm is ratified by Figures4 and5. Figure4 shows evolution of the objective$\sum _{i=1}^{J}{U}_{i}\left({\stackrel{\u0304}{r}}_{i}\right(t\left)\right)$ and the dual function value

*g*(

*t*):=

*g*(λ(

*t*),

*μ*(

*t*)). Notice that the objective value is decreasing towards the maximum objective. This is not a contradiction, because variables${\stackrel{\u0304}{r}}_{i}\left(t\right)$ are infeasible but approach feasibility as

*t*grows. The dual function’s value is an upper bound on the maximum utility and it can be observed to approach the objective as

*t*grows. Eventually, the objective value becomes smaller than the dual value as expected. Figure5 corroborates satisfaction of the power constraint in (27) and the rate constraints in (26). The amount by which the power constraint (27) is violated is shown in the top. In the bottom we show the corresponding figure for the rate constraint in (26). Since there are

*J*of these constraints we show the minimum and maximum violation. All constraints are satisfied as

*t*grows. Resulting power allocations appear in Figure6 for a channel with average power$\mathbb{E}{h}_{\mathrm{if}}\left(t\right)=1$ and for a channel with$\mathbb{E}{h}_{\mathrm{if}}\left(t\right)=2$. Power allocation is opportunistic in that power is allocated only when channel realizations are above average.

## Conclusions

This article reviews recent results which state that problems of the form in (20) in which nonconcave functions appear inside expectations have null duality gap as long as the probability distribution of the fading coefficient **h** contains no points of strictly positive probability. Lack of duality gap permits solution in the dual domain leading to a substantial reduction in the computational cost of determining optimal operating points of the wireless system. Working in the dual domain leads to a solution methodology that can be interpreted as a generalization of the derivation of the waterfilling power allocation in point to point channels reviewed in Section “Power allocation in a point-to-point channel”.

Specifically, the problem of determining the optimal resource allocation function p^{∗} in (20) is challenging due to its infinite dimensionality and lack of convexity. However, in the dual domain we need to determine the optimal multiplier Λ^{∗}that minimizes the dual function in (23). This is simpler because the dual function is convex and finite dimensional. Once we have found an optimal dual variable we can determine optimal operating points as Lagrangian maximizers. In doing so we can exploit the separable structure of the Lagrangian to decompose the optimization problem into the per fading state subproblems in (68). We emphasize that solving the optimization programs in (68) is not necessarily easy if the dimensionality of **h** is large. Nevertheless solving (68) is always simpler than solving (20) and in some cases plain simple. Lack of duality gap and Lagrangian separability are further exploited to propose the dual stochastic subgradient descent algorithm (S1)–(S3) which converges to an optimal operating point with probability 1 in an ergodic sense.

There are three key points that permit the development of the solution methodology outlined in the previous paragraph: *Nonatomic fading distribution.* A nonatomic fading distribution leads to the lack of duality gap. The fact that *P*=*D*, i.e., that primal and dual optimal values are the same, is what allows us to work in the dual domain without loss of optimality. In formal terms, lack of duality gap is the tool that we used to recover the optimal primal variables (x^{∗},p^{∗}) from the optimal dual variable Λ^{∗}by determining the primal Lagrangian maximizers for$\mathcal{\mathcal{L}}(\mathbf{x},\mathbf{p},{\mathit{\Lambda}}^{\ast})$ [cf. Theorem 4]. It is important to distinguish between convexity of the optimization problem and lack of duality gap. Null duality gap may follow from convexity, but convexity is rare in wireless communications systems. Lack of duality gap can also follow from a nonatomic fading distribution, which is a common occurrence in wireless systems. *Lagrangian Separability.* According to Theorem 4 null duality gap permits computation of the optimal pair (x^{∗},p^{∗}) as the Lagrangian maximizers (x(Λ^{∗}),p(Λ^{∗})). This is not a simplification per se but leads to a simplification because the computation of the Lagrangian maximizer function p(Λ^{∗}) can be separated into per fading state problems whose solution determines values p(h,Λ^{∗}) of this function [cf. (66)–(68)]. The Lagrangian is separable in this sense because neither the constraints nor the objective function involve a nonlinear function coupling the selection of values p(h_{1}) and p(h_{2}) for different channel realizations h_{1}≠h_{2}. Whenever p(h_{1}) and p(h_{2}) appear as part of the same constraint they appear as different terms of an expectation operation. This absence of coupling is what permits exchanging the order of maximization and expectation in going from (67) to (68). *Finite number of constraints.* Working in the dual domain is simpler than working in the primal domain because the dual function is finite dimensional whereas the primal problem is infinite dimensional. We have a finite dimensional dual function as long as the original optimization problem has a finite number of constraints.

Nonatomic fading distributions, Lagrangian separability, and having a finite number of constraints are properties that appear in many, indeed most, problems in optimal design of wireless systems. In such cases the methodology described in this article can be applied to their solution.

## Further reading

The use of dual problems as a shortcut to solve optimization problems in communications has a rich history[25–28]; see also[29] for a comprehensive treatment. Lack of duality gap in non-convex optimization problems has also been observed in the context of asymmetric digital subscriber lines[30, 31]. In network optimization lack of duality gap leads to the optimality of layered architectures which renders the complexity of wireless networking essentially identical to the complexity of physical layer optimization[32–35]. For the use of techniques discussed here in the solution of specific problems we refer the reader to[36–42]. For further details on dual stochastic sub gradient descent, the literature on convergence of subgradient descent algorithms[43–45], and stochastic subgradient descent[46–49] is of interest.

## Declarations

### Acknowledgements

Work in this article is supported by the Army Research Office grant W911NF-10-1-0388 and the National Science Foundation award CAREER CCF-0952867. Part of the results in this article were derived while the author was at the University of Minnesota. The work presented here has benefited from discussions with Yichuan Hu, Dr. Nikolaos Gatsis, and Prof. Georgios B. Giannakis. The Associate Editor, Dr. Deniz Gunduz, provided valuable corrections to a draft version of this article.

## Authors’ Affiliations

## References

- Wang X, Giannakis GB: Resource allocation for wireless multiuser OFDM networks.
*IEEE Trans. Inf. Theory*2011, 57(7):4359-4372.MathSciNetView ArticleGoogle Scholar - Ntranos V, Sidiropoulos N, Tassiulas L: On multicast beamforming for minimum outage.
*IEEE Trans. Wirel. Commun*2009, 8(6):3172-3181.View ArticleGoogle Scholar - Sidiropoulos ND, Davidson TN, Luo ZQ: Transmit beamforming for physical-layer multicasting.
*IEEE Trans. Signal Process*2006, 54(6):2239-2251.View ArticleGoogle Scholar - Bazerque JA, Giannakis GB: Distributed scheduling and resource allocation for cognitive OFDMA radios.
*Mobile Nets. Apps*2008, 13(5):452-462. 10.1007/s11036-008-0083-zView ArticleGoogle Scholar - Quan Z, Cui S, Sayed AH: Optimal linear cooperation for spectrum sensing in cognitive radio networks.
*IEEE J. Sel. Topics Signal Process*2008, 2: 28-40.View ArticleGoogle Scholar - Hu Y, Ribeiro A: Optimal wireless networks based on local channel state information.
*IEEE Trans. Signal Process*60(9):4913-4929. (September 2012)Google Scholar - Hu Y, Ribeiro A: Adaptive distributed algorithms for optimal random access channels.
*IEEE Trans. Wirel. Commun*2011, 10(8):2703-2715.View ArticleGoogle Scholar - Hu Y, Ribeiro A: A Optimal wireless multiuser channels with imperfect channel state information.
*Proc. Int. Conf. Acoustics Speech Signal Process, vol. 1,*(Kyoto Japan, 2012), pp. 1–4Google Scholar - Hu Y, Ribeiro A: Optimal transmission over a fading channel with imperfect channel state information.
*Global Telecommun. Conf., vol. 1,*(Houston, TX, 2011), pp. 1–5Google Scholar - Chen L, Low SH, Chiang M, Doyle JC: Cross-layer congestion control, routing and scheduling design in ad hoc wireless networks.
*Proc. IEEE INFOCOM, vol. 1,*(Barcelona, Spain, 23–29 April 2005), pp. 1–13Google Scholar - Chiang M, Low SH, Calderbank RA, Doyle JC: Layering as optimization decomposition.
*Proc IEEE*2007, 95: 255-312.View ArticleGoogle Scholar - Eryilmaz A, Srikant R: Joint congestion control, routing, and MAC for stability and fairness in wireless networks.
*IEEE J. Sel. Areas Commun*2006, 24(8):1514-1524.View ArticleGoogle Scholar - Georgiadis L, Neely MJ: Resource allocation and cross-layer control in wireless networks.
*Found Trends Netw*2006, 1: 1-144.View ArticleMATHGoogle Scholar - Lee JW, Mazumdar RR, Shroff NB: Opportunistic power scheduling for dynamic multi-server wireless systems.
*IEEE Trans. Wirel. Commun*2006, 5(6):1506-1515.View ArticleGoogle Scholar - Lin X, Shroff NB, Srikant R: A tutorial on cross-layer optimization in wireless networks.
*IEEE J. Sel. Areas Commun*2006, 24(8):1452-1463.View ArticleGoogle Scholar - Neely MJ, Modiano E, Rohrs CE, Dynamic power allocation and routing for time-varying wireless networks:
*IEEE J. Sel. Areas Commun*. 2005, 23: 89-103.View ArticleGoogle Scholar - Wang X, Kar K: Cross-layer rate optimization for proportional fairness in multihop wireless networks with random access.
*IEEE J. Sel. Areas Commun*2006, 24(8):1548-1559.View ArticleGoogle Scholar - Yi Y, Shakkottai S: Hop-by-hop congestion control over a wireless multi-hop network.
*IEEE/ACM Trans. Netw.*2007, 15(133–144):1548-1559.Google Scholar - Ribeiro A: Ergodic stochastic optimization algorithms for wireless communication and networking.
*IEEE Trans. Signal Process*2010, 58(12):6369-6386.MathSciNetView ArticleGoogle Scholar - Ribeiro A, Giannakis G: Separation principles in wireless networking.
*IEEE Trans. Inf. Theory*2010, 56(9):4488-4505.MathSciNetView ArticleGoogle Scholar - Boyd S, Vandenberghe L:
*Convex Optimization*. (Cambridge University Press, Cambridge, 2004)View ArticleMATHGoogle Scholar - Lyapunov AA: Complètement, Sur les, Fonctions-vecteur, URSS, Additives.
*Bull. Acad. Sci. Sèr. Math*1940, 4: 465-478.Google Scholar - Rockafellar RT:
*Convex Analysis*. (Princeton University Press, Princeton, NJ, 1970)View ArticleMATHGoogle Scholar - Shor NZ:
*Minimization Methods for Non-Differentiable Functions*. (Springer, Berlin, 1985)View ArticleMATHGoogle Scholar - Kelly FP, Maulloo A, Tan D: Rate control for communication networks: shadow prices, proportional fairness and stability.
*J. Oper. Res. Soc*1998, 49(3):237-252.View ArticleMATHGoogle Scholar - Low SH, Lapsley DE: Optimization flow control, I: basic algorithm and convergence.
*IEEE/ACM Trans. Netw*1998, 7(6):861-874.View ArticleGoogle Scholar - Low SH: A duality model of TCP and queue management algorithms.
*IEEE/ACM Trans. Netw*2003, 11(4):525-536. 10.1109/TNET.2003.815297MathSciNetView ArticleGoogle Scholar - Low SH, Paganini F, Doyle JC: Internet congestion control.
*IEEE Control Syst. Mag*2002, 22: 28-43.View ArticleMATHGoogle Scholar - Srikant R:
*The Mathematics of Internet Congestion Control*. (Birkhauser, 2004)View ArticleMATHGoogle Scholar - Luo ZQ, Zhang S: Dynamic spectrum management: complexity and duality.
*IEEE J. Sel. Topics Signal Process*2008, 1(2):57-73.Google Scholar - Yu W, Lui R: Dual methods for nonconvex spectrum optimization of multicarrier systems.
*IEEE Trans. Commun*2006, 54(7):1310-1322.View ArticleGoogle Scholar - Berry RA, Yeh EM: Cross-layer wireless resource allocation.
*IEEE Signal Process. Mag*2004, 21(5):59-68. 10.1109/MSP.2004.1328089View ArticleGoogle Scholar - Neely MJ: Energy optimal control for time-varying wireless networks.
*IEEE Trans. Inf. Theory*2006, 52(7):2915-2934.MathSciNetView ArticleMATHGoogle Scholar - Neely MJ, Modiano E, Li CP: Fairness and optimal stochastic control for heterogeneous networks.
*Proc. IEEE INFOCOM, vol 3*(Miami, FL 13–17, March 2005), pp. 1723–1734Google Scholar - Ribeiro A, Giannakis G: Layer separability of wireless networks.
*Proc. Conf. on Info. Sciences and Systems, vol. 1*(Princeton Univ. Princeton, NJ, 2008), pp. 821–826Google Scholar - Gatsis N, Ribeiro A, Giannakis G: A class of convergent algorithms for resource allocation in wireless fading networks.
*IEEE Trans. Wirel. Commun*2010, 9(5):1808-1823.View ArticleGoogle Scholar - Gatsis N, Ribeiro A, Giannakis G: Cross-layer optimization of wireless fading ad-hoc networks.
*Proc. Int. Conf. Acoustics Speech Signal Process, vol. 1*(Taipei, Taiwan, 2009), pp. 2353–2356Google Scholar - Hu Y, Ribeiro A: Optimal wireless networks based on local channel state information.
*Proc. Int. Conf. Acoustics Speech Signal Process, vol. 1*(Prague Czech Republic, 2011), pp. 3124–3127Google Scholar - Hu Y, Ribeiro A: Adaptive distributed algorithms for optimal random access channels.
*Proc. Allerton Conf. on Commun. Control Computing, vol. 1*(Monticello, 2010), pp. 1474–1481Google Scholar - Ribeiro A, Giannakis G: Optimal FDMA over wireless fading mobile ad-hoc networks.
*Proc. Int. Conf. Acoustics Speech Signal Process, vol. 1*(Las Vegas, NV, 2008), pp. 2765–2768Google Scholar - Ribeiro A, Luo T, Sidiropoulos N, Giannakis G: Modelling and optimization of stochastic routing for wireless multihop networks.
*Proc. IEEE Int. Conf. on Computer Commun, vol. 1*(Anchorage, AK, 2007), pp. 1748–1756Google Scholar - Ribeiro A, Sidiropoulos N, Giannakis G: Optimal distributed stochastic routing algorithms for wireless multihop networks.
*IEEE Trans. Wirel. Commun*2008, 7(11):4261-4272.View ArticleGoogle Scholar - Juditsky A, Lan G, Nemirovski A, Shapiro A: Stochastic approximation approach to stochastic programming.
*SIAM J. Optim*2009, 19(4):1574-1609. 10.1137/070704277MathSciNetView ArticleMATHGoogle Scholar - Larsson T, Patriksson M: A Str omberg, Ergodic primal convergence in dual subgradient schemes for convex programming.
*Math. Progr*1999, 86(2):283-312. 10.1007/s101070050090MathSciNetView ArticleMATHGoogle Scholar - Nedic A, Ozdaglar A: Approximate primal solutions and rate analysis for dual subgradient methods.
*SIAM J. Optim*2009, 19(4):1757-1780. 10.1137/070708111MathSciNetView ArticleMATHGoogle Scholar - Polyak BT, Autom Newstochasticapproximationtypeprocedures:
*Remote Control*. 1990, 51: 937-946.Google Scholar - Polyak BT, Juditsky AB: Acceleration of stochastic approximation by averaging.
*SIAM J. Control Optim*1992, 30(4):838-855. 10.1137/0330046MathSciNetView ArticleMATHGoogle Scholar - Ribeiro A: Stochastic learning algorithms for optimal design of wireless fading networks.
*Proc. IEEE Workshop on Signal Process. Advances in Wireless Commun vol. 1*(Marakech, Morocco, 2010), pp. 1–5Google Scholar - Ribeiro A: Ergodic stochastic optimization algorithms for wireless communication and networking.
*Proc. Int. Conf. Acoustics Speech Signal Process, vol. 1,*(Dallas, TX, 2010), pp. 3326–3329Google Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.