- Research Article
- Open Access
Joint Utility-Based Power Control and Receive Beamforming in Decentralized Wireless Networks
© Angela Feistel et al. 2010
- Received: 1 November 2009
- Accepted: 19 April 2010
- Published: 23 May 2010
This paper addresses the problem of joint resource allocation in general wireless networks and its practical implementation aspects. The objective is to allocate transmit powers and receive beamformers to the users in order to maximize a network-wide utility that represents the attained QoS and is a function of the signal-to-interference ratios. This problem is much more intricate than the corresponding QoS-based power control problem. In particular, it is not known which class of utility functions allows for a convex formulation of this problem. In case of perfect synchronization, the joint power and receiver control problem can be reformulated as a power control problem under optimal receivers. Standard gradient projection methods can be applied to solve this problem. However, these algorithms are not applicable in decentralized wireless networks. Therefore, we decompose the problem and propose a convergent alternate optimization that is amenable to distributed implementation. In addition, in real-world networks noisy measurements and estimations occur. Thus, the proposed algorithm has to be investigated in the framework of stochastic approximation. We discuss practical implementation aspects of the proposed stochastic algorithm and investigate its convergence properties by simulations.
- Utility Function
- Power Control
- Stochastic Approximation
- Wireless Mesh Network
- Power Vector
Two central mechanisms for resource allocation and interference management in wireless networks are power control and beamforming. In order to ensure a high utilization of wireless resources, transmit powers and beamformers should be optimized jointly to exploit interdependencies between them. As is widely known the overall network can be optimized with respect to different optimization goals. In general, there exist two main approaches that are typically used. The classical QoS-based approach aims at satisfying a certain quality-of-service (QoS) requirement with minimum power. To circumvent the feasibility problem a related approach is to solve the so-called max-min SIR-balancing problem. In contrast to this stands the utility-based resource allocation problem where the network operator aims at optimizing a weighted aggregate utility so as to maximize the overall network performance. By appropriately choosing the utility function one can trade overall system efficiency against fairness. Widely known are the -fair strictly concave utility functions introduced by .
In decentralized wireless networks, however, in addition to efficiently managing wireless resources the two challenging tasks are to distributedly assign these resources and to apply stochastic algorithms that deal with noisy measurements and estimations. Thus in this paper we focus on the following problem: maximizing an aggregate utility jointly over powers and receive beamformers in real-world decentralized wireless networks.
1.1. Related Work
Classical QoS-based power control has been studied extensively (e.g., [2–4]). It aims at allocating transmit powers to the users such that each user meets its SIR target. Provided that the SIR requirements are feasible there exist iterative distributed algorithms that attain the target SIR [3, 5, 6]. Note, that a closely related approach to the classical approach is to maximize the minimum SIR [7–10]. In contrast to the classical QoS-based power control, the objective of utility-based power control is to optimize the overall network performance with respect to some aggregate utility function [11–18]. Recently distributed utility-based power control algorithms have been developed by [14, 16–18]. In  the problem of joint power control and end-to-end congestion control is addressed where the power control part is a special case of the power control problem in . The approach of  is a game-theoretic one. References [16, 17] apply a flooding protocol to pass locally available quantities to other nodes. The authors of  interpret the utility-based power control problem as a joint optimization of powers and SIR assignment over the feasibility region. They proposed a distributed power control and SIR assignment algorithm for the uplink in a multicell wireless network. In contrast  proposed a distributed utility-based power control algorithm for general wireless networks applying the notion of the adjoint network and thus avoiding to use a relatively expensive flooding protocol. In addition, the authors touched the problem of stochastic approximation and show how to deal with it in practice.
Independently from and simultaneously to our work the authors of  have proposed a distributed utility-based joint power control and receive beamforming algorithm for cellular uplinks applying the scheme of . Apart from that, so far most work on joint power control and beamforming has focused on the QoS-based resource allocation, especially on the so-called max-min SIR-balancing and its related problem. For example in [20–22] the duality between uplink and downlink channels is exploited. Another strategy was proposed by [23, 24] showing that the problem can be embedded in semidefinite and conic optimization programs. The work of  extended the publication  to solve the max-min SIR-balancing problem under general power constraints.
However, apart from  the above set of publications considered only the deterministic case. First works incorporating imprecise knowledge of received waveforms can be found in [26–28]. Recently, stochastic algorithms for joint QoS-based power control and receive beamforming and their convergence analysis have been proposed by [29, 30].
1.2. Summary of Main Results and Paper Organization
In the following we consider the problem of joint power control and receive beamforming in order to maximize a certain aggregate utility function that represents the QoS attained and is a function of the SIR. However, in contrast to the pure power control problem , it is not known which class of utility functions allows a convex formulation of this joint optimization problem and thus enables an efficient global solution in distributed wireless networks. In particular, in case of the logarithmic function, the aggregate utility function appears to have relatively many local maxima.
Now, in this paper, under the assumption of perfect synchronization we first reformulate the joint power and receiver control problem as a pure power control problem under optimal receivers. This follows from the fact that an optimal receiver can be obtained in closed-form solution for any power vector. However, an efficient implementation of the equivalent gradient projection algorithm is notoriously difficult to achieve in decentralized wireless networks. Thus, we decompose the problem into two coupled subproblems and propose an alternating algorithm that converges to a stationary point. If we confine our attention to utility functions whose relative concavity is larger than that of the logarithmic function, numerical experiments suggest that then the proposed algorithm may converge to a global maximum for a large set of initial SIRs.
In contrast to  which touches the problem briefly this paper provides a more detailed analysis. In addition it is devoted to practical implementation aspects that are completely missing so far. As already mentioned, in real-world networks noisy measurements and estimations occur. We embed the proposed alternating algorithm into the framework of stochastic approximation. In particular, we discuss in detail the imprecise knowledge of received waveforms and the influence of step size control on the convergence properties. Finally we provide extensive simulations on the convergence behavior as well as performance comparisons with pure power control schemes.
Potential applications of the resource allocation scheme presented in this paper are envisaged for example in wireless mesh networks to control transmit powers and beamformers of base stations (mesh routers). These base stations create a wireless backbone via multihop ad hoc networking and have practically unlimited energy supply.
2.1. System Model
We consider a general multiple-antenna wireless network with an established network topology, in which all links share a common wireless spectrum. All users are equipped with antennas. Let users compete for access to the wireless links and let denote the index set of all users. Assume that is arbitrary but fixed and define to be the effective transmit vector of transmitter associated with receiver . The effective transmit vector is the product of the channel matrix between transmitter and receiver and its transmit beamformer. It determines the "direction" of the transmit signal. The effective transmit vector is assumed to be arbitrary but fixed, which implies that the channels and transmit beamformers are fixed. In contrast, the receive beamformers acting as linear receivers should be jointly optimized with transmit powers of the users. We use and to denote the receive beamformer and transmit power of user , respectively. The receive beamformers of all users are collected in the receive beamforming matrix and their transmit powers in the power vector (In what follows, and denote the set of nonnegative reals and positive reals, resp.). The transmit powers of the users are subject to individual power constraints so that must hold, where . Furthermore, since the signal-to-interference ratio (SIR) is independent of the norm of the receive beamformers, we can assume that for each , and hence denotes the set of all beamforming matrices. Note that both and are compact sets, so is also their Cartesian product . Finally, we define . In words, is the set of positive power vectors satisfying the power constraints.
where is the variance of independent zero-mean additive Gaussian noise, and is the attenuation of the power from transmitter of user to receiver of user where denotes the inner product of the vectors . Note that the SIR of user depends only on the th receive beamformer .
2.2. Problem Statement
is a twice continuously differentiable, strictly increasing and strictly concave function of the SIR where is an open interval on the real line such that .
is convex on .
Since is an open set, all these assumptions imply that the first derivative is positive on , that is, there are no isolated points such that .
Since the noise variance is strict positive, standard arguments can be used to show that with our choice of the utility functions, the maximum exists. The convexity discussion of this problem, the development of a distributed algorithm, and its implementation in real-world environments with noisy measurements together with the performance evaluation by simulations will be the main tasks of this paper.
Here and hereafter, and are defined component-wise. Since the logarithm is a bijection from onto and , there is a one-to-one relationship between optimal power vectors and optimal logarithmic power vectors . The motivation beyond this substitution is the following fact .
if and only if is concave on .
Since is twice continuously differentiable, is concave if and only if . This in turn holds if and only if , which is equivalent to (11) since for all .
Therefore, for to be concave in , it is sufficient that is a log-concave function of . In economics, the quantity is known as the coefficient of relative risk aversion  and is used to measure the relative concavity of . The larger the value of is, the larger is the relative concavity of at , and therefore a better fairness performance (at the cost of the throughput performance) can be expected. A prominent example of a function that satisfies (4) is the logarithmic function , in which case .
In words, as in , the problem reduces to a power control problem except that now each SIR is assumed to attain its maximum overall receive beamformers.
Unfortunately, the condition (4) is not sufficient for defined by (9) to be a concave function of . A simple counter example is constructed in the appendix for . Numerical experiments show that if then the gradient projection algorithm is not globally convergent, that is, it in general converges to a local maximum which is not global. Given and , the aggregate utility function seems to have relatively many local maxima.
in which case . So, at low values of , the function in (13) behaves like the logarithmic function. In contrast, as increases, it is similar to the negative inverse function. Numerical experiments with the utility function (13) suggest that in this case, the gradient projection algorithm (see Section 4.1) converges to a global maximum for a relatively large set of initial SIR values. When compared with the logarithmic utility function, convergence to a local point was observed in significantly fewer cases. However, we can show that with (13) is not concave in general and the standard gradient projection algorithms are not globally convergent for all initial SIR levels.
An interesting problem is whether a global convergence (if not for all starting points, then at least for most of them) of the gradient projection algorithm can be achieved by requiring that for some sufficiently large constant . Increasing the constant leads to utility functions with larger relative concavities. In particular, as shown below, if there is a utility function for which each addend in (9) is concave on , then is concave for all utility functions with a larger coefficient .
Let be any utility function for which (4) holds, and suppose that each addend in with is concave on . Then, with is concave for any utility function such that for all .
Since and are bijective utility functions, there is a twice continuously differentiable and strictly increasing function such that . So, the observation follows if is concave. Considering the fact that with for all , the second derivative of yields . By , we have , so that . This implies that , and hence one obtains due to the bijectivity of .
Applying this observation to the class in (12) reveals that if there was some such that is concave on for each , then the problem (10) would be a convex problem for all with . Then, as discussed in the following section, we would be able to efficiently and arbitrarily close approximate the max-min fair rate allocation for any power constraints.
3.1. An Arbitrarily Close Approximation of the Max-Min Fair Allocation
Let be arbitrary, and let be given by (12). Then, converges to a max-min fair rate allocation as .
By the observation, with converges to the max-min power allocation as tends to infinity . Moreover, for every , exists and is continuous on so that efficient gradient projection algorithms could be used to approximate the max-min power allocation for any power constraints if the algorithms were global convergent for some sufficiently large (as discussed before).
with appropriately chosen constants .
where and the constant can be neglected as it has no impact on the maximizer.
4.1. Gradient Projection Algorithm
where is defined by (18).
For a sufficiently small step size , the sequence generated by the algorithm (29) with converges to a local stationary point.
By standard results [34, 35], the gradient projection algorithm converges to a stationary point for sufficiently small values of if is bounded above, continuously differentiable on , and the gradient is Lipschitz continuous on any bounded subset of . The first condition is clearly satisfied due to the power constraints. The second condition holds as well since, by assumption, the utility function is twice continuously differentiable. Hence, the Hessian of is bounded in the matrix -norm on any bounded subset of . This implies that is Lipschitz continuous on any bounded subset of [36, page 70].
Note that the maximum feasible step size in the algorithm may depend on the choice of the starting point .
The computation of the gradient in (29) might be too expensive to be implemented in a distributed environment. In this section, we slightly modify the algorithm so that it can be implemented in a distributed manner. The basic idea is to increase the value of the function in the following alternating fashion. For some given receive beamforming matrix and power vector , a new power vector is chosen such that . Then, the beamforming matrix is updated by such that . This alternating process is repeated until convergence.
for some , where, with some abuse of notation, is used to denote a noisy estimation of the gradient vector and with is an appropriately chosen sequence of diminishing step sizes . If is a sequence generated by (30) for some , then we put . Note that the estimate can be computed in a distributed manner using the adjoint network of . This scheme enables each transmitter to estimate its current update direction from the received signal power. This mitigates the problem of global coordination of the transmitters when carrying out gradient-projection algorithms in distributed wireless networks. More precisely, instead of each node sending its message separately as in case of classical flooding protocols, nodes transmit simultaneously (only coarse synchronization is required) over the adjoint network such that each node can estimate its gradient component from the received power. The price for this are possible estimation errors that usually can be dealt with a diminishing step size  as is shortly discussed in the following Section 5.1.
converges to (in some probabilistic sense), provided that the step size with and is chosen suitably .
For fixed and some , each user generates a sequence by carrying out (30) and defines .
For some and with , each user executes iterations of the algorithm (32) to obtain the sequence . It defines .
This implies that the sequence is monotonically increasing, provided that the step sizes are sufficiently small. Moreover, it is bounded since for all . Therefore, the algorithm converges to a stationary point. In addition, verifying the second order sufficiency conditions would show that this stationary point is also a local maximizer for the problem (2).
Due to scarce resources in wireless networks, it is reasonable to choose the number of updates in every frame. In addition, instead of transmitting pilot signals in the intermediate step (ii), the optimal receive beamformers can be estimated during the data transmission using some blind estimation method (see  and references therein). So, at the beginning of every frame, the step (i) is executed only once. Then, the resulting transmit powers are used for data transmission. During this time, the receive beamformers are updated online after each transmitted symbol. However, numerical experiments suggest that the scheme should not exclusively rely on blind methods to estimate the optimal receivers with a sufficient accuracy.
5.1. Stochastic Approximation View
As already mentioned, in real-world networks estimation errors and other distorting factors as quantization noise occur. Now the interesting question is, what is the impact of these stochastic noisy measurements on the convergence properties. Does the proposed algorithm still converge and under what conditions? In the case of such uncertainties, the proposed algorithm has to be analyzed in the context of stochastic approximation theory. In the following we give several interesting insights. However, the topic is too broad to be discussed in all details. We also refer to  as a comprehensive reference.
The estimation noise process depends on the receiver noise process which is assumed to be a martingale difference that is uncorrelated with transmit symbols and has a finite variance.
The estimation noise is zero mean and exogeneous, in the sense that is independent of the iterate value.
Assuming these two conditions one can deal with the estimation noise applying a diminishing step size sequence that satisfies with and . A typical choice for a step size sequence is for instance for some . The choice of the step size is central to the effectiveness of the algorithm as is shown by simulations in the next section.
In the previous algorithm the powers and beamformers are updated in parallel, meaning that the power control algorithm does not wait for the convergence of the receive beamformers and vice versa. Thus the convergence of this practical stochastic algorithm is only verified by simulations presented in the following section. In addition, note that condition ( ) is not necessarily fulfilled by the distributed power control algorithm. Thus the estimates may be biased by some meaning that . Simulation results indicate that the algorithm still converges to a contraction region around the optimal point provided that the bias is bounded by a scaled version of the true gradients.
6.1. Influence of Step Size Control
Summarizing, we state the following. It is important, that the step sizes and are sufficiently small to ensure that the algorithm does not diverge. Besides the decrease of the step sizes adjusted by exponent should be not too small to avoid a very slow convergence speed. In case of a dynamic environment where the channel changes over time, should be chosen to be able to follow the channel changes. This is paid with a more oscillating behavior. Finally note that the length of the pilot sequences also depends on the number of users because the link-specific pilot sequence is typically a pseudo-noise sequence with good autocorrelation properties.
6.2. Influence of Biased Gradient Estimators
6.3. Comparison with Pure Utility-Based Power Control
We proposed a framework for joint power control and receive beamforming in wireless networks, with the goal to maximize some aggregate utility function of the SIRs. The paper is a step to better understand the problem of utility-based power control and receive beamforming. We especially give insights into practical implementation issues and exemplarily show the effects of noisy estimations (unbiased and biased) as well as the influence of step size control on the convergence properties. However, the interesting theoretical issue of global convergence seems to be further unresolved.
This paper was supported in part by the German Ministry for Education and Research (BMBF) under Grant 01BU680 and in part by the Deutsche Forschungsgemeinschaft (DFG) under Grant STA 8653-1. The paper was partly presented at the 2007 Conference on Information Sciences and Systems (CISS), Washington, USA.
- Mo J, Walrand J: Fair end-to-end window-based congestion control. IEEE/ACM Transactions on Networking 2000, 8(5):556-567. 10.1109/90.879343View ArticleGoogle Scholar
- Wu Q: Optimum transmitter power control in cellular systems with heterogeneous SIR thresholds. IEEE Transactions on Vehicular Technology 2000, 49(4):1424-1429. 10.1109/25.875275View ArticleGoogle Scholar
- Bambos N, Chen SC, Pottie GJ: Channel access algorithms with active link protection for wireless communication networks with power control. IEEE/ACM Transactions on Networking 2000, 8(5):583-597. 10.1109/90.879345View ArticleGoogle Scholar
- Feiten A, Mathar R: Optimal power control for multiuser CDMA channels. Proceedings of the IEEE International Symposium on Information Theory (ISIT '05), September 2005, Adelaide, Australia 1903-1907.Google Scholar
- Foschini GJ, Miljanic Z: A simple distributed autonomous power control algorithm and its convergence. IEEE Transactions on Vehicular Technology 1993, 42(4):641-646. 10.1109/25.260747View ArticleGoogle Scholar
- Yates RD: A framework for uplink power control in cellular radio systems. IEEE Journal on Selected Areas in Communications 1995, 13(7):1341-1347. 10.1109/49.414651MathSciNetView ArticleGoogle Scholar
- Zander J: Distributed cochannel interference control in cellular radio systems. IEEE Transactions on Vehicular Technology 1992, 41(3):305-311. 10.1109/25.155977View ArticleGoogle Scholar
- Zander J: Performance of optimum transmitter power control in cellular radio systems. IEEE Transactions on Vehicular Technology 1992, 41(1):57-62. 10.1109/25.120145View ArticleGoogle Scholar
- Bambos N: Toward power-sensitive network architectures in wireless communications: concepts, issues, and design aspects. IEEE Personal Communications 1998, 5(3):50-59. 10.1109/98.683739View ArticleGoogle Scholar
- Koskie S, Gajic Z: A Nash game algorithm for SIR-based power control in 3G wireless CDMA networks. IEEE/ACM Transactions on Networking 2005, 13(5):1017-1026.View ArticleGoogle Scholar
- Goodman D, Mandayam N: Power control for wireless data. IEEE Personal Communications 2000, 7(2):48-54. 10.1109/98.839331View ArticleMATHGoogle Scholar
- Saraydar CU, Mandayam NB, Goodman DJ: Efficient power control via pricing in wireless data networks. IEEE Transactions on Communications 2002, 50(2):291-303. 10.1109/26.983324View ArticleGoogle Scholar
- Xiao M, Shroff NB, Chong EKP: A utility-based power-control scheme in wireless cellular systems. IEEE/ACM Transactions on Networking 2003, 11(2):210-221. 10.1109/TNET.2003.810314View ArticleGoogle Scholar
- Stańczak S, Wiczanowski M, Boche H: Distributed utility-based power control: objectives and algorithms. IEEE Transactions on Signal Processing 2007, 55(10):5058-5068.MathSciNetView ArticleMATHGoogle Scholar
- Stanczak S, Wiczanowski M, Boche H: Fundamentals of Resource Allocation in Wireless Networks. Volume 3. Springer, Berlin, Germany; 2009.MATHGoogle Scholar
- Huang J, Berry RA, Honig ML: Distributed interference compensation for wireless networks. IEEE Journal on Selected Areas in Communications 2006, 24(5):1074-1084.View ArticleGoogle Scholar
- Chiang M: Balancing transport and physical layers in wireless multihop networks: jointly optimal congestion control and power control. IEEE Journal on Selected Areas in Communications 2005, 23(1):104-116.View ArticleGoogle Scholar
- Hande P, Rangan S, Chiang M, Wu X: Distributed uplink power control for optimal SIR assignment in cellular data networks. IEEE/ACM Transactions on Networking 2008, 16(6):1420-1433.View ArticleGoogle Scholar
- Lan T, Hande P, Chiang M: Joint beamforming and power control for optimal SIR assignment in cellular uplinks. Proceedings of the IEEE International Symposium on Information Theory (ISIT '07), June 2007, Nice, France 2436-2440.Google Scholar
- Rashid-Farrokhi F, Tassiulas L, Liu KJR: Joint optimal power control and beamforming in wireless networks using antenna arrays. IEEE Transactions on Communications 1998, 46(10):1313-1324. 10.1109/26.725309View ArticleGoogle Scholar
- Schubert M, Boche H: Solution of the multiuser downlink beamforming problem with individual SINR constraints. IEEE Transactions on Vehicular Technology 2004, 53(1):18-28. 10.1109/TVT.2003.819629View ArticleGoogle Scholar
- Schubert M, Boche H: QoS-based resource allocation and transceiver optimization. Foundations and Trends in Communications and Information Theory 2006, 2(6):383-529.View ArticleMATHGoogle Scholar
- Bengtsson M, Ottersten B: Optimal and suboptimal transmit beamforming. In Handbook of Antennas in Wireless Communications. CRC Press, Boca Raton, Fla, USA; 2001.Google Scholar
- Wiesel A, Eldar YC, Shamai S: Linear precoding via conic optimization for fixed MIMO receivers. IEEE Transactions on Signal Processing 2006, 54(1):161-176.View ArticleGoogle Scholar
- Feistel A, Stanczak S, Kaliszan M: Resource allocation in multiantenna systems under general power constraints. Proceedings of the ITG/IEEE International Workshop on Smart Antennas (WSA '09), February 2009, Berlin, GermanyGoogle Scholar
- Honig M, Madhow U, Verdu S: Blind adaptive multiuser detection. IEEE Transactions on Information Theory 1995, 41(4):944-960. 10.1109/18.391241View ArticleMATHGoogle Scholar
- Ulukus S, Yates RD: Stochastic power control for cellular radio systems. IEEE Transactions on Communications 1998, 46(6):784-798. 10.1109/26.681417View ArticleGoogle Scholar
- Varanasi MK: Nonlinear multiuser receivers with distributed power control in cellular radio networks. Proceedings of the 37th Annual Allerton Conference on Communication, Control and Computing, September 1999, Monticello, Ill, USA 820-830.Google Scholar
- Luo J, Ulukus S, Ephremides A: Standard and quasi-standard stochastic power control algorithms. IEEE Transactions on Information Theory 2005, 51(7):2612-2624. 10.1109/TIT.2005.850105MathSciNetView ArticleMATHGoogle Scholar
- Das D, Varanasi MK: Distributed algorithms for joint optimization of multiuser receivers and power control. IEEE Transactions on Wireless Communications 2007, 6(9):3374-3383.View ArticleGoogle Scholar
- Mas-Colell A, Whinston MD, Green JR: Microeconomic Theory. Oxford University Press, Oxford, UK; 1995.MATHGoogle Scholar
- Viswanath P, Anantharam V, Tse DNC: Optimal sequences, power control, and user capacity of synchronous CDMA systems with linear MMSE multiuser receivers. IEEE Transactions on Information Theory 1999, 45(6):1968-1983. 10.1109/18.782119MathSciNetView ArticleMATHGoogle Scholar
- Meyer CD: Matrix Analysis and Applied Linear Algebra. SIAM, Philadelphia, Pa, USA; 2000.View ArticleGoogle Scholar
- Bertsekas DP: Nonlinear Programming. Athena Scientific, Belmont, Mass, USA; 1995.MATHGoogle Scholar
- Bertsekas DP, Tsitsiklis JN: Parallel and Distributed Computation. Prentice Hall, Englewood Cliffs, NJ, USA; 1989.MATHGoogle Scholar
- Ortega JM, Rheinboldt WC: Iterative Solution of Nonlinear Equations in Several Variables, Classics in Applied Mathematics 30. SIAM, Philadelphia, Pa, USA; 2000.View ArticleMATHGoogle Scholar
- Kushner HJ, Yin GG: Stochastic Approximation and Recursive Algorithms and Applications. Springer, Berlin, Germany; 2003.MATHGoogle Scholar
- Verdu S: Multiuser Detection. Cambridge University Press, Cambridge, UK; 1998.MATHGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.