没有合适的资源?快使用搜索试试~ 我知道了~
首页通信系统中的非凸优化(普林斯顿大学) .pdf
资源详情
资源评论
资源推荐
Nonconvex Optimization for
Communication Systems
Mung Chiang
Electrical Engineering Department
Princeton University, Princeton, NJ 08544, USA
chiangm@princeton.edu
Summary. Convex optimization has provided both a powerful tool and an intrigu-
ing mentality to the analysis and design of communication systems over the last
few years. A main challenge today is on nonconvex p roblems in these app lication.
This paper presents an overview of some of the important nonconvex optimization
problems in point-to-point and networked communication systems. Three typical ap-
plications are covered: Internet congestion control through nonconcave network util-
ity maximization, wireless network power control through geometric and sigmoidal
programming, and DS L spectrum management through distributed nonconvex op-
timization. A variety of nonconvex optimization techniques are showcased: from
standard dual relaxation to sum-of-squares programming through successive SDP
relaxation, signomial programming through successive GP relaxation, and leveraging
the specific structures in problems for efficient and distributed heuristics.
Key words: Nonconvex optimization, Geometric programming, Semidefi-
nite progr amming, Sum of squares, Duality, Network utility maximization,
TCP/IP, Wireless network, Power control.
1 Introduction
There has been two major “waves” in the history o f optimization theory: the
first started with linear programming and simplex method in late 1940s, and
the second with convex optimization and interior point method in late 1980s.
Each has been followed by a transforming period of appreciation-application
cycle: as more people appreciate the use of LP/convex optimization, more
look for their fo rmulations in various applications; then more work on its the-
ory, efficient algorithms and softwares; the more powerful the tools become;
then more p e ople appreciate its usag e . Communication sys tems benefit sig-
nificantly from bo th waves, including multicommodity flow solutions (e.g.,
Bellman Ford algorithm) from LP, and basic network utility maximization
and robust transceiver design from convex optimization.
2 Chiang: Nonconvex Optimization for Communication Systems
Much of the c urrent research frontier is about the potential of the third
wave, on nonconvex optimization. If one word is used to differentiate be-
tween easy and hard problems, convexity is probably the “watershed”. But if
a longer description length is allowed, much useful conclusions can be drawn
even for nonco nvex optimization. Indeed, convexity is a very disturbing wa-
tershed, since it is not a topological invariant under change of variable (e.g.,
see geometric programming) or higher-dimension embedding (e.g., see sum of
squares method). A variety of approaches have been prop osed, from nonlinear
transformation to turn an apparently nonconvex problem into a convex prob-
lem, to characterization of attraction regions and systematica lly jumping out
of a local optimum, from successive convex approximation to dualization, from
leveraging the specific structures of the problems (e.g., Difference of Convex
functions, concave minimization, low rank nonconvexity) to developing more
efficient branch-and-bound procedures.
Researchers in communications and networking have been examining non-
convex optimization using domain-specific structures in important problems
in the areas of wireless networking, Internet engineering, and communication
theory. Perhaps four typical topics best illustrate the variety of challenging
issues a rising from nonconvex optimization in communication systems:
• Nonconvex objective to be minimized. An example is cong e stion control
for inelastic applications.
• Nonconvex constraint set. An example is power control in low SIR regimes.
• Integer constraints. Two important examples are single path routing and
multiuser detection.
• Constraint sets that are convex but require an exponential number of
inequalities to explicitly describe. An example is optimal scheduling.
This chapter overviews the latest results in recent publications about the
first two topics, with a particular focus on showing the connections between
the engineering intuitions about important problems in communication sys-
tems and the state-of-the-art algorithms in nonconvex optimization theory.
2 Internet Congestion Control
2.1 Introduction
Basic network utility maximization
Since the publication of the seminal paper [24] by Kelly, Maulloo, and Tan in
1998, the framework of Network Utility Maximizatio n (NUM) has found many
applications in network rate allocation algorithms and Internet congestion
control protocols (e.g., surveyed in [32, 47]). It has also lead to a systematic
understanding the entire network protocol sta ck in the unifying framewo rk
(e.g., surveyed in [1 1, 31]). By allowing nonlinear concave utility objective
Special Volume 3
functions, NUM substantially expands the scope of the cla ssical LP-based
Network Flow Problems.
Consider a communication network w ith L links, each with a fixed capacity
of c
l
bps, and S sources (i.e., end users), each transmitting at a source rate
of x
s
bps. Each source s emits one flow, using a fixed set L(s) of links in its
path, and has a utility function U
s
(x
s
). Each link l is shared by a set S(l)
of sour c e s. Networ k Utility Maximization (NUM), in its basic version, is the
following problem of maximizing the total utility of the networ k
P
s
U
s
(x
s
),
over the source rates x, subject to linear flow constraints
P
s:l∈L(s)
x
s
≤ c
l
for
all links l:
maximize
P
s
U
s
(x
s
)
subject to
P
s∈S(l)
x
s
≤ c
l
, ∀l,
x 0
(1)
where the variables are x ∈ R
S
.
There are many nice properties of the basic NUM model due to several
simplifying assumptions of the utility functions and flow constr aints, which
provide the mathematical tractability of problem (1) but also limit its ap-
plicability. In particular, the utility functions {U
s
} are often assumed to be
increasing and stric tly concave functions.
Assuming that U
s
(x
s
) becomes concave for large enough x
s
is reasonable,
because the law of diminishing marginal utility eventually will be effective.
However, U
s
may not be concave throughout its domain. In his s eminal paper
published a decade ago, Shenker [45] differentiated inelastic netwo rk traffic
from elastic traffic. Utility functions for elastic traffic were modeled as strictly
concave functions. While inelastic flows with nonconcave utility functions rep-
resent important applications in practice, they have received little attention
and rate allocation among them have scarcely any mathematical foundation,
except three recent publications [28, 12, 15] (see also earlier work in [54, 29, 30]
related to the approach in [2 8])
In this section, we investigate the extension of the basic NUM to max-
imization of nonconcave utilities , as in the approach of [15]. We provide a
centr alized algorithm for off-line analysis and establishment of a performance
benchmark for nonconcave utility maximization when the utility function is a
polynomial or signomial. Based on the semialgebraic approach to polynomial
optimization, we employ convex sum-of-squares (SOS) relaxatio ns solved by
a sequence of semidefinite programs (SDP), to obtain increasingly tighter up-
per bounds on total achievable utility for polynomial utilities. Surprisingly, in
all our experiments, a very low order and often a minimal order relaxation
yields not just a bound on attainable network utility, but the globally maxi-
mized network utility. When the bound is exact, which can b e proved using
a sufficient test, we can also recover a globally optimal rate allocation.
4 Chiang: Nonconvex Optimization for Communication Systems
Canonical distributed algorithm
A reason that the the assumption o f utility function’s concavity is upheld in
almost all papers on NUM is that it leads to three highly desirable mathe-
matical properties of the basic NUM:
• It is a convex optimization problem, therefore the global minimum can be
computed (at least in centralized algorithms) in worst-case polynomial-
time co mplexity [5].
• Strong duality holds for (1) and its Lagrange dual problem. Zero duality
gap enables a dual approach to solve (1).
• Minimization of a separable objective function over linear constraints can
be conducted by distributed algorithms based on the dual approach.
Indeed, the basic NUM (1) is such a “nice” optimization problem that
its theoretical and computational properties have been well studied since the
1960s in the field of monotropic programming, e.g., as summarized in [41].
For network rate allocation problems, a dual-base d distributed algorithm has
been widely studied (e.g., in [24, 32]), and is summarized below.
Zero duality gap for (1) states that the solving the Lagrange dual problem
is equivalent to solving the primal pro blem (1). The Lagrange dual problem
is readily derived. We first form the Lagrangian of (1):
L(x, λ) =
X
s
U
s
(x
s
) +
X
l
λ
l
c
l
−
X
s∈S(l)
x
s
where λ
l
≥ 0 is the Lagrange multiplier (link congestion price) associated with
the linear flow co nstraint on link l. Additivity of total utility and linearity
of flow constraints lead to a Lagrangian dual decomposition into individual
source terms:
L(x, λ) =
X
s
U
s
(x
s
) −
X
l∈L(s)
λ
l
x
s
+
X
l
c
l
λ
l
=
X
s
L
s
(x
s
, λ
s
) +
X
l
c
l
λ
l
where λ
s
=
P
l∈L(s)
λ
l
. For each source s, L
s
(x
s
, λ
s
) = U
s
(x
s
) − λ
s
x
s
only
depends on loc al x
s
and the link prices λ
l
on those links used by source s.
The Lagrange dual function g(λ) is defined as the maximized L (x, λ) over
x. This “ net utility” maximization obviously can be conducted distributively
by the each source, as long as the aggregate link price λ
s
=
P
l∈L(s)
λ
l
is
available to so urce s, where source s maximizes a str ictly concave function
L
s
(x
s
, λ
s
) over x
s
for a given λ
s
:
x
∗
s
(λ
s
) = argmax [U
s
(x
s
) − λ
s
x
s
] , ∀s. (2)
Special Volume 5
The Lagrange dual problem is
minimize g(λ) = L(x
∗
(λ), λ)
subject to λ 0
(3)
where the optimization variable is λ. Any algorithms that find a pair of pr imal-
dual variables (x, λ) that satisfy the KKT optimality condition would solve
(1) and its dual problem (23 ). One possibility is a distributed, iterative sub-
gradient method, which updates the dual variables λ to solve the dual problem
(23):
λ
l
(t + 1 ) =
λ
l
(t) − α(t)
c
l
−
X
s∈S(l)
x
s
(λ
s
(t))
+
, ∀l (4)
where t is the iteration number and α(t) > 0 are step sizes. Certain choices of
step siz e s, such as α(t) = α
0
/t, α
0
> 0, guarantee that the sequence of dual
var iables λ(t) will converge to the dual optimal λ
∗
as t → ∞. The primal
var iable x(λ(t)) will also converge to the primal optimal variable x
∗
. For a
primal problem that is a convex optimization, the convergence is towards the
global optimum.
The sequence of the pair of alg orithmic steps (2,4) forms a canonical dis-
tributed algorithm that globally solves network utility optimization problem
(1) and the dual (23) and computes the optimal rates x
∗
and link prices λ
∗
.
Nonconcave Network Utility Maximization
It is known that for many multimedia applications, user satisfaction may
assume non-concave sha pe as a function of the allocated rate. For example, the
utility for stre aming applications is be tter described by a sigmoidal function:
with a convex par t at low rate and a concave part at high rate, and a single
inflexion p oint x
0
(with U
′′
s
(x
0
) = 0) separating the two parts. The concavity
assumption on U
s
is also related to the elasticity assumption on rate demands
by users. When demands for x
s
are not perfectly elastic, U
s
(x
s
) may not be
concave.
Suppose we remove the critical assumption that {U
s
} are concave func-
tions, and allow them to be any nonlinear functions. The res ulting NUM
becomes nonconvex optimization and significantly harder to be analyzed and
solved, even by centralized computational methods. In particular, a local op-
timum may not be a global optimum and the duality gap can be strictly
positive. The standard distributive algorithms tha t so lve the dual problem
may produce infeasible or suboptimal rate allocation.
Despite such difficulties, there have been two very recent publications on
distributed algorithm for nonconcave utility maximization. In [28], a “self-
regulation” heuristic is proposed to avoid the resulting oscillation in rate
allocation and shown to converges to an optimal rate allocation asymptot-
ically when the proportion of nonconcave utility sources vanishes. In [12], a
剩余47页未读,继续阅读
今年什么都要有
- 粉丝: 35
- 资源: 1
上传资源 快速赚钱
- 我的内容管理 收起
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
会员权益专享
最新资源
- 27页智慧街道信息化建设综合解决方案.pptx
- 计算机二级Ms-Office选择题汇总.doc
- 单链表的插入和删除实验报告 (2).docx
- 单链表的插入和删除实验报告.pdf
- 物联网智能终端项目设备管理方案.pdf
- 如何打造品牌的模式.doc
- 样式控制与页面布局.pdf
- 武汉理工Java实验报告(二).docx
- 2021线上新品消费趋势报告.pdf
- 第3章 Matlab中的矩阵及其运算.docx
- 基于Web的人力资源管理系统的必要性和可行性.doc
- 基于一阶倒立摆的matlab仿真实验.doc
- 速运公司物流管理模式研究教材
- 大数据与管理.pptx
- 单片机课程设计之步进电机.doc
- 大数据与数据挖掘.pptx
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功
评论0