Exercises
ex-ch05-01
EasyConsider two users with SINRs and , with power budget . Find the max-min fair power allocation.
Set and use the power constraint to solve for and as functions of .
Substitute into the budget constraint and solve for .
Set up equal-SINR conditions
From : , so . From : , so .
Solve the linear system
Substituting the budget constraint and solving the system of two equations in two unknowns (, ): , , , corresponding to bits/s/Hz.
ex-ch05-02
EasyShow that equal power allocation is max-min fair when all users have identical channels (i.e., and for all ).
Under identical channels and equal power, compute the SINR for each user.
By symmetry, all SINRs are equal. Argue that any deviation from equal power must reduce the minimum SINR.
Compute the symmetric SINR
With , . All users achieve the same SINR .
Optimality by symmetry
Suppose we increase by and decrease by . Then decreases (less signal power, more interference from user 1), so . By symmetry, any asymmetric allocation reduces the minimum SINR.
ex-ch05-03
MediumProve that the proportional fairness objective is a Schur-concave function of the rate vector . What does this imply about the relationship between proportional fairness and Lorenz dominance?
A function is Schur-concave if majorizes implies .
Show that is symmetric and concave, which implies Schur-concavity.
Schur-concavity
The function is both symmetric (invariant to permutations of entries) and concave (since is concave). By the SchurβOsgood theorem, any symmetric concave function is Schur-concave.
Lorenz dominance
If rate vector majorizes (more "unequal"), then . This means proportional fairness favors more equitable rate distributions in the Lorenz order.
ex-ch05-04
MediumFor a 3-user system with , , , , , , and path losses , , : compute the spectral radius and the maximum feasible SINR .
Form and with for .
Compute and find its largest eigenvalue.
Form the matrices
, .
Compute $\mathbf{D}^{-1}\mathbf{F}$
. The spectral radius (computed numerically).
Maximum feasible SINR
, corresponding to a max-min rate of bits/s/Hz (before the power constraint may further tighten ).
ex-ch05-05
MediumShow that for the -fairness utility , the KKT conditions imply that at the optimum, the gradient with respect to user 's rate satisfies for all active users (those with ), where is the Lagrange multiplier. Interpret this condition for , , and .
Take the partial derivative and apply the KKT stationarity condition.
For : marginal utility is constant. For : marginal utility is . For : marginal utility is dominated by the smallest .
KKT condition
. At the optimum, all active users satisfy (equal marginal utility), so β all active users have the same rate.
Interpretation
: Marginal utility is always 1 β maximize total rate (no fairness). : so β proportional fairness. : The condition forces equal rates β max-min fairness.
ex-ch05-06
MediumImplement the bisection algorithm (Algorithm 5.1) in Python for a system with , users with path losses . Use MRC combining in the large-antenna limit (interference vanishes). Plot the achieved minimum rate vs. the number of bisection iterations.
In the interference-free limit, , which is linear in .
For each target , the required power is .
Interference-free SINR
With MRC and : . For target : .
Total power
. The max feasible is .
Convergence
Bisection halves the interval at each step. After 20 iterations, the interval width is .
ex-ch05-07
HardDerive the WMMSE transformation: show that where is the MMSE. Then show that maximizing the weighted sum rate is equivalent to minimizing the weighted sum of augmented MSEs.
Take the derivative of with respect to and set to zero.
Use the identity that relates SINR to MMSE.
Optimize over $\mu_k$
, giving . Substituting: .
SINR-MSE identity
The MMSE for user is . Therefore , and .
WMMSE reformulation
The max-over- and min-over- of the augmented MSE can be solved by alternating optimization, which is exactly the WMMSE algorithm.
ex-ch05-08
HardConsider fractional power control with users whose path losses are drawn i.i.d. from . Derive the expected sum rate as a function of for MRC combining with in the interference-free limit, and show that maximizes it.
In the interference-free limit, .
The normalization constant is . Take the expectation over the path-loss distribution.
Expected rate in interference-free limit
. By the law of large numbers for large , .
Optimize over $\alpha$
The expected sum rate becomes where . Differentiating with respect to and using properties of the uniform distribution yields .
ex-ch05-09
MediumShow that the fixed-point iteration is a standard interference function in the sense of Yates (1995): verify positivity, monotonicity, and scalability.
Positivity: all terms in the expression are nonneg. The noise term ensures strict positivity.
Monotonicity: if componentwise, the interference sum increases.
Positivity
since , , .
Monotonicity
If , then since . Hence .
Scalability
For : . The strict inequality holds because is not scaled.
ex-ch05-10
HardIn the BHS framework with MMSE estimation, the estimation quality coefficient is . Show that is a concave increasing function of and that increasing pilot power always improves the achievable rate (all else being equal). What is the limiting value as ?
Compute and .
As , the estimation becomes perfect: .
First derivative
. .
Second derivative
. Hence is strictly concave in .
Limiting behavior
As : . This is the perfect-CSI limit. The rate converges to the perfect-CSI achievable rate.
ex-ch05-11
EasyFor a system with users and rates bits/s/Hz, compute: (a) the sum rate, (b) the proportional fairness utility , (c) the max-min rate, and (d) the geometric mean rate.
The geometric mean is .
Computations
(a) Sum rate: bits/s/Hz. (b) PF utility: . (c) Max-min rate: bits/s/Hz. (d) Geometric mean: bits/s/Hz.
ex-ch05-12
MediumProve that in a system where all users have the same path loss ( for all ), equal power allocation is simultaneously max-min fair, proportionally fair, and sum-rate optimal.
By symmetry, the rate function depends only on and .
Show that any deviation from equal power must reduce at least one user's rate without compensating gains.
Symmetry argument
With identical path losses, the SINR depends only on and the total interference . By symmetry, the unique solution to is .
PF and sum-rate
For proportional fairness: is Schur-concave. Equal power gives equal rates, which is the least majorized vector. Hence it maximizes the PF objective. For sum rate: by the concavity of and symmetry, the sum is maximized at the symmetric point by Jensen's inequality.
ex-ch05-13
HardConsider the SCA approach to sum-rate maximization. Construct a concave surrogate that satisfies the three SCA conditions (tight, matching gradient, lower bound) at the point . Hint: use the first-order Taylor expansion of the interference term.
Write where .
The term is convex. Replace it with its first-order Taylor expansion (a concave upper bound of , hence a lower bound of ).
Decompose the rate
where . The first term is concave in ; the second term is convex.
Linearize the convex part
Replace with its first-order Taylor expansion at : . This is an affine function of β concave by definition.
Verify the three properties
The surrogate is concave (sum of concave and affine). It equals at (tight), has the same gradient at (by Taylor construction), and is a lower bound globally (by convexity of ).
ex-ch05-14
ChallengeFormulate the max-min power control problem for a cell-free massive MIMO system with access points, each with antennas, serving users. Each AP uses local MRC combining. The achievable rate for user under the UatF bound is
where . Show that the max-min problem retains the bisection structure and identify the coupling matrix.
Square the numerator: it involves and cross-terms ... actually it only involves .
The numerator is , so the SINR is still a ratio of linear forms in .
SINR structure
. This has the same ratio-of-linear form as the single-cell case, with , , .
Bisection applies
The coupling matrix has the same structure. Bisection on the target SINR works identically: check if has a nonneg solution with .
ex-ch05-15
EasyIn 5G NR, the fractional power control formula is (in dBm, ignoring closed-loop corrections). For dBm, , resource blocks, and path loss PL dB, compute the UE transmit power. Is it below the maximum dBm?
Simply plug into the formula. All quantities are in dB/dBm.
Computation
dBm. Since , the UE transmits at the capped power dBm.
ex-ch05-16
HardProve that the GP relaxation of the proportional fairness problem is exact (not just an approximation) when the interference coupling matrix has spectral radius and all users operate in the high-SINR regime ( for all ).
In the high-SINR regime, . Show the approximation error is bounded.
Use the spectral radius condition to show all users are indeed in high SINR when is large enough.
Approximation error
for . For : error dB per user.
GP structure
With , the objective is = sum of log-posynomials. This is a standard GP that has a unique global optimum.
Convergence with $\ntn{ntx}$
As , the interference terms , so for all . The GP approximation becomes exact in this limit.
ex-ch05-17
MediumCompare the per-iteration computational cost of: (a) bisection for max-min fairness, (b) one WMMSE iteration, and (c) one step of fractional power control. Express costs in terms of and .
Bisection requires solving a linear system. WMMSE requires MMSE receiver updates. FPC is a simple formula.
Bisection
Each iteration solves : via LU decomposition. With iterations: .
WMMSE
Each iteration: MMSE receiver updates ( each for the inner products) plus a convex QP over variables (). Total: per iteration, iterations: .
Fractional power control
: requires operations (one exponentiation and normalization per user). No iteration needed: total.
ex-ch05-18
ChallengeConsider the weighted sum-rate maximization problem with per-user power constraints: subject to for all . Show that the WMMSE algorithm can be adapted to handle per-user constraints by modifying only the power update step.
The MMSE receiver and weight updates do not depend on the power constraint structure.
The power update step becomes a box-constrained convex program, which has a simple projection-based solution.
MMSE and weight updates unchanged
Steps 3β6 of Algorithm 5.3 (MMSE receiver and weight updates) depend only on the current powers, not on the constraint set. They remain unchanged.
Modified power update
Step 8 becomes: . This is a convex problem over a box constraint. Taking the unconstrained optimum and projecting onto gives the solution: where is the unconstrained KKT solution.
ex-ch05-19
MediumIn a massive MIMO system with , , and ZF combining, the interference between users is completely eliminated. Show that in this case, the max-min, proportional, and sum-rate problems all have closed-form solutions. What is the sum-rate-optimal power allocation?
With ZF and , β no interference.
Without interference coupling, the problem decomposes into independent per-user allocations. The sum-rate solution is water-filling.
Interference-free SINR
. Define .
Water-filling for sum rate
The sum-rate problem s.t. is a classic water-filling: where is chosen so that .
Max-min solution
Equal SINR requires for all , so . With : . Max-min allocates more power to users with weaker effective channels.
ex-ch05-20
HardDerive the dual of the max-min fair power control problem and show that strong duality holds. Use the dual to provide an alternative proof of the bisection optimality.
Reformulate max-min as: s.t. for all , .
Introduce dual variables for the rate constraints and for the power constraint.
Reformulation
Introduce as a variable: s.t. for all , , . For fixed , the constraints are linear in .
Lagrangian
. The dual function is .
Strong duality
The feasible set is convex in for fixed , and Slater's condition holds (any interior feasible ). By convex duality theory, strong duality holds and the bisection algorithm is searching for the primal-dual optimal point.