Professional Documents
Culture Documents
AbstractThis study presents novel methods for computing optimization of networks based on the orthogonal frequency
fixed points of positive concave mappings and for characterizing division multiple access (OFDMA) technology [4][10]. In
the existence of fixed points. These methods are particularly im- many of these applications, the mappings are positive concave
portant in planning and optimization tasks in wireless networks. mappings, which are a strict subclass of standard interference
For example, previous studies have shown that the feasibility of
mappings [7].
a network design can be quickly evaluated by computing the
fixed point of a concave mapping that is constructed based on
For example, by using standard interference coupling mod-
many environmental and network control parameters such as els that are widely used in the literature [11], the studies in [4]
the position of base stations, channel conditions, and antenna and [6] consider a very particular case of a positive concave
tilts. To address this and more general problems, given a positive mapping for the problem of load estimation in long-term
concave mapping, we show two alternative but equivalent ways evolution (LTE) networks. The fixed point of that mapping,
to construct a matrix that is guaranteed to have spectral radius if it exists, indicates the bandwidth required by each base
strictly smaller than one if the mapping has a fixed point. This station to satisfy the data rate requirements of users. With
matrix is then used to build a new mapping that preserves
this knowledge, we can evaluate the feasibility of a network
the fixed point of the original positive concave mapping. We
design by verifying whether the required bandwidth does not
show that the standard fixed point iterations using the new
exceed the available bandwidth. However, especially in large-
mapping converges faster than the standard iterations applied
to the original concave mapping. As exemplary applications of scale planning, computation of the fixed point may require
the proposed methods, we consider the problems of power and time-consuming iterative methods. Therefore, the development
load estimation in networks based on the orthogonal frequency of fast tools to ensure the existence of a fixed point before
division multiple access (OFDMA) technology. starting a time-consuming iterative process is of high practical
relevance to network designers and to algorithms for self-
I. I NTRODUCTION organizing networks.
Problems that can be posed as that of finding fixed points In the above-mentioned load estimation problem, existence
of standard interference mappings are ubiquitous in commu- of a fixed point is fully characterized by the spectral radius
nication systems [1][9], and, in particular, in planning and of a matrix that is easily constructed from the associated
concave mapping [6]. We can also use this matrix to build
This work was partially supported by the Deutsche Forschungsgemeinschaft an affine mapping having as its fixed point a vector that gives
(DFG) under Grant STA 864/9-1. Copyright (c) 2015 IEEE. Personal use of
a lower bound of the network load. The main advantage of
this material is permitted. However, permission to use this material for any
other purposes must be obtained from the IEEE by sending a request to pubs- working with affine mappings in finite dimensional spaces is
permissions@ieee.org that computation of their fixed points reduces to solving simple
2
systems of linear equations, so we may easily obtain in this points of general positive concave mappings. We also pro-
way a certificate that the current network configuration is not pose novel low-complexity iterative methods that improve the
able to serve the demanded traffic. convergence speed of the standard fixed point algorithm. In
The first objective of this study is to show that, by using the Sect. V we revisit the problems of load and power estimation in
concept of recession or asymptotic functions in convex analysis OFDMA-based networks, and we show how the novel results
[12], [13], the technique used in [6] for the construction of and algorithms proposed here can be used in these concrete
the above-mentioned matrices (hereafter called lower bounding applications.
matrices) admits a simple extension to general positive concave
mappings. This extension has been motivated by recent results II. P RELIMINARIES
in power estimation in LTE networks [8], [9], which deal with
mappings different from that considered in [4], [6]. Concave In this study, we use the following standard definitions. By
mappings are also common in many applications in different hx, yi for arbitrary x RN and y RN , we denote the
fields [14], so the results of this study are relevant for appli- standard inner product hx, yi := xt y. Its induced norm is
p
cations outside of the wireless domain. We show alternative given by kxk := hx, xi. The set I := {1, . . . , N } is the
construction methods for lower bounding matrices that are set of indices of the components of vectors in RN . The -
very simple in many applications, including those originally norm of a vector x = [x1 , . . . , xN ] is the norm given by
considered in [6]. We also prove that the spectral radius of kxk := maxiI |xi |. We define by ek the kth standard
lower bounding matrices of general concave mappings gives basis vector of RN . Vector inequalities should be understood
a necessary condition for the existence of fixed points. For as component-wise inequalities, and we define RN + := [0, [
N
1
domain of f . Definition 4 (Recession or asymptotic functions) Let f :
RN R {} be upper semicontinuous, proper, and
Concave functions f : C R {} with C RN
concave. We define as its recession or asymptotic function at
for which there exists at least one vector x C satisfying
y RN the function given by (see [12, Ch. 2.5] [13, p. 152]
f (x) > are called proper concave functions. If for every
for the standard definition for convex f ):
sequence {xn }nN C converging to an arbitrary vector x
f (x + hy) f (x)
C, we have lim supn f (xn ) f (x), then we say that the (x domf ) f (y) := lim .
h h
function f is upper semicontinuous (on C).
(NOTE: The above limit is always well defined. We assume
Every concave function f : C R {} can be related
that it can take the value .)
to a convex function by f : C R {} (f takes the
value whenever f takes the value ), so the following Fact 2 If f : RN R {} is a proper, upper semicon-
results on concave functions can be directly deduced from tinuous, and concave function, then for every y domf we
standard results on convex functions found in the literature have [12, Corollary 2.5.3]
[12], [13].
f (y) = lim+ hf (h1 y), (1)
h0
Definition 3 (Superdifferentials and supergradients) Let and the above is valid for every y RN if 0 dom f .
f : C R {} be a concave function with
6= C RN . The superdifferential of f at x dom f is the Fact 3 Let f : RN R {} be proper, upper semicon-
set given by tinuous, and concave. Then [12, Proposition 6.5.1]
f (x) := u RN | (y C) hy x, ui + f (x) f (y) . f (y) = inf{hg, yi | g f (x), x dom f }.
If x / dom f , then we define f (x) := . A vector g Many estimation and optimization tasks in communication
f (x) is called a supergradient of f at x. The domain of networks can often be posed as systems coupled by standard
the superdifferential f is the set given by dom f := {x interference functions, which we define below.
RN | f (x) 6= }.
Definition 5 (Standard interference functions and mappings
In this study, if the point at which a supergradient is [1]) A function f : RN + R++ is said to be a standard
selected needs to be explicitly known, then we often use the interference function if the following properties hold:
notation g(x) f (x) to denote an arbitrary choice of the (Scalability) (x RN
1) + ) ( > 1) f (x) > f (x).
supergradient at x. (Monotonicity) (x1 RN N
2) + ) (x2 R+ ) x1 x2
As a particular case of [13, Corollary 16.15], we have the f (x1 ) f (x2 ).
following: Given N standard interference functions fi : RN + R++ ,
i = 1, . . . , N , we call the mapping T : R+ RN
N
++ : x 7
Fact 1 Let f : RN + R++ be concave. Then the superdiffer-
[f1 (x), . . . , fN (x)] a standard interference mapping.
ential f (x) is nonempty for every x RN
++ .
Fact 4.3 If Fix(T ) 6= , then it is the limit of the sequence conclude that
{xn }nN generated by xn+1 = T (xn ), where x1 RN + is ar- 1
2
f (x2 ) lim f (x1 ) f (x1 ) = f (x1 ).
bitrary. If x1 satisfies T (x1 ) x1 (resp. T (x1 ) x1 ), then
the sequence is monotonically increasing (resp. monotonically
decreasing) in each component. In particular, monotonically As every result stated in this section, Proposition 1 can
increasing sequences are produced with x1 = 0. be considered standard (see [7] and the references therein).
Nevertheless, we have decided to include a simple proof of this
The focus of this study is on (positive) concave functions,
proposition because similar statements can often be found in
which as shown below are a subclass of standard interference
the literature without proof. Furthermore, some partial proofs
functions.
available in the literature make implicit assumptions such as
the existence of the supergradients on the boundary of the
Proposition 1 Concave functions f : RN
+ R++ are
domain RN + and/or the strict concavity of the functions. We
standard interference functions:
emphasize that these assumptions are not required. As an
Proof: We need to prove that concave functions f : RN
+ example of a positive concave function (and hence a standard
R++ satisfy the scalability and monotonicity properties in interference function) not satisfying these two assumptions, we
Definition 5. have
(Scalability) Let > 1 and x RN + be arbitrary. By 1, if x = 0,
concavity of f , for every ]0, 1[, we have f (x) = f : R+ R++ : x 7
2, otherwise.
f (x+ (1 )0) f (x)+ (1 )f (0). In particular, for
= 1/, we conclude from the last inequality and positivity To characterize the existence of fixed points of affine stan-
of f that dard interference mappings, we can use the following fact:
1 1 1
f (x) f (x) + 1 f (0) > f (x), Fact 5 [2, Theorem A.16] For an arbitrary matrix M
P
RN N , if (M ) < 1, then k
k=1 M converges and (I
which proves the scalability property. P
M )1 = I + k=1 M k .
(Monotonicity) Let (x1 , x2 ) RN N
+ R+ satisfy x2 x1 .
As a result, x1 + (x2 x1 ) RN + for every 0. From N
Fact 6 [2, Theorem A.51] Let M RN + be a non-
the definition of concavity, we also have N
negative matrix, and let p R++ be arbitrary. A sufficient
( ]0, 1[)( 0) and necessary condition for the system x = p + M x to have
a (strictly) positive solution x RN
++ is (M ) < 1.
f ((1 )x1 + (x1 + (x2 x1 )))
(1 )f (x1 ) + f (x1 + (x2 x1 )) . We end this section with a very simple statement that is
used later to clarify an argument in Sect. V.
In particular, for an arbitrary > 1 and for = 1/, we
obtain from the positivity of f that Remark 1 Let M RN N be arbitrary and D RN N be
1 1 an invertible matrix. Then the eigenvalues of the matrices M
f (x2 ) 1 f (x1 ) + f (x1 + (x2 x1 ))
and DM D 1 are the same (which in particular implies that
1
> f (x1 ) f (x1 ). (M ) = (DM D1 )).
The inequality f (x2 ) > f (x1 ) (1/)f (x1 ) is valid for Proof: Assume that x is a right eigenvector associated
every > 1, so we can take the limit as goes to infinity to with an eigenvalue , and define y := Dx. As a consequence,
2 In finite dimensional spaces, all norms are equivalent. Therefore, conver- M x = x M D1 y = D 1 y DM D 1 y = y,
gence of a sequence {xn }nN RN to a point x RN does not depend
on the choice of the norm; i.e., limn kxn x ka = 0 for any norm and the result follows.
k ka .
5
III. C OMPONENT- WISE INFIMUM OF SUPERGRADIENTS OF Lemma 1.3 As in Lemma 1.2, let x RN + and k I be
POSITIVE CONCAVE FUNCTIONS arbitrary and assume that x+hek dom f for every h 0.
The main objective of this section is to propose two simple Then
techniques for computing the component-wise infimum of
(h > 0)(g(x + hek ) f (x + hek ))
supergradients of concave functions (c.f. Proposition 2 and
f (x + hek ) f (x)
Proposition 3). These techniques are motivated by the fol- gk (x + hek ) , (2)
h
lowing application. In load estimation problems in wireless
where [g1 (x + hek ), . . . , gN (x + hek )]t := g(x + hek ).
networks, the values taken by partial derivatives of functions
related to the load coupling among base stations attain their Proof:
infimum asymptotically as we move to infinity in the direction 1) We prove the result by contradiction. Assume that there
of a basis vector [4], [15]. This observation has given rise to exists a supergradient g =: [g1 , . . . , gN ]t f (x ) at
efficient techniques for the computation of lower bounds for some point x dom f such that gi < 0 for an
the load in that very particular application domain [15], and arbitrary i {1, . . . , N }. We know from the definition
extending these results to a more general class of concave of supergradients that
functions is highly desirable for other applications such as
power estimation in networks. (y RN t
+ ) f (y) f (x ) + g (y x ).
S
Proposition 2 Let S := xRN f (x) be the set of all for any choice of x and k satisfying the assumptions of the
+
supergradients of an upper semicontinuous concave function lemma. Using (2) in Lemma 1.3 and the definition of recession
f : RN
+ R++ . For each k I, define functions, we deduce
Proof: Let k I be arbitrary. It follows from Lemma 1.2 P1) Verify whether T has a fixed point by using computa-
that, irrespective of the criterion we use to select a super- tionally efficient algorithms.
gradient g(x + hek ) f (x + hek ), its kth component P2) Improve the convergence speed of the standard iteration
gk (x + hek ) should be monotonically non-increasing as h in Fact 4.3 to obtain the fixed point of T (if it exists).
increases (and lower bounded by 0). As a result, the limit
limh gk (x + hek ) exists. By definition, gk is the infimum A. Conditions for the existence of fixed points of positive
of the kth component of all supergradients, hence we have that concave mappings
To address problem P1), we use the concept of lower
gk lim gk (x + hek )
h bounding matrices, which we define as follows:
7
Definition 7 The lower bounding matrix of a positive concave Lemma 2 Let M be the lower bounding matrix of a positive
mapping T : RN N t
+ R++ : x 7 [f1 (x), . . . , fN (x)] is the concave mapping T : RN N
+ R++ in accordance with
N
non-negative matrix M RN + with its ith row and kth Definition 7. Then
column given by
(y RN N
+ )(x R+ ) x y T (x) T (y) + M (x y).
which implies the existence of the (unique) fixed point of the Proposition 5 Let T : RN N
+ R++ be a positive concave
mapping TL by Fact 4.2. In other words, there exists a unique mapping with lower bounding matrix M satisfying (M ) < 1.
positive vector xb RN b = T (0) + M x
++ satisfying x b , and we In addition, assume that
know by Fact 6 that there exists a positive vector satisfying this
(y RN N
++ )(x R+ ) T (x) y + M x. (13)
last equality if and only if (M ) < 1 (recall that T (0) > 0
N
and that M RN + by construction). Then the mapping T has a fixed point.
An immediate consequence of Fact 5 and Proposition 4 is
the following useful result: Proof: Let y RN ++ be a vector satisfying T (x)
y + M x for every x RN + . By Fact. 6, we know that x :=
Corollary 1 Let T : RN N
+ R++ be a positive concave (I M )1 y is a strictly positive vector. Therefore,
N
mapping with Fix(T ) 6= , and denote by M RN + its
T (x ) y + M x = (I M )x + M x = x ,
existing lower bounding matrix given by Definition 7. Then
(I M )1 exists, and it is a non-negative matrix. and the above implies that Fix(T ) 6= by Fact. 4.2.
Proof: Recalling that the matrix I M is invertible as a are estimates of the power allocation or of the load at the base
direct consequence of Fact 5, we deduce: stations [4][9]. Therefore, even if the mapping has a fixed
point, the network design is invalid if the power or load of any
TA (x) = (I M )1 (T (x) x) + x
base station exceeds its physical limit. If the iterative algorithm
(I M )TA (x) = T (x) x + (I M )x produces a monotonically increasing sequence, we obtain a
(I M )TA (x) = T (x) M x certificate that the design is invalid as soon as any element of
TA (x) = (I M )1 (T (x) M x). the vector sequence exceeds its limit. It is particularly in these
cases that the standard iteration with the accelerated mapping
TA converges faster than the standard iteration with the original
Positive concave mappings and their corresponding ac-
mapping T , in the following sense:
celerated mappings have many common characteristics. In
particular, they are both standard interference mappings, and Definition 9 (Faster convergence) Let {xn }nN RN and
they have the same fixed point, as shown below. {y n }nN RN be two sequences converging to the same
vector u RN . We say that the sequence {xn }nN RN
Lemma 4 Assume that T : RN N
+ R++ is a positive concave converges faster than {yn }nN RN if kxn u k ky n
mapping with lower bounding matrix M satisfying (M ) <
u k for every n N.
1. Then the accelerated mapping TA : RN N
+ R++ of T
is a standard interference mapping. Furthermore, Fix(T ) = With the above definition, we can now formally state the
Fix(TA ). improvement obtained by using TA instead of T with the
standard iteration in Fact 4.3.
Proof: By (M ) < 1, the matrix inverse (I M )1
exists, and it is a non-negative matrix (Fact 5). As a result, Proposition 6 Assume that T : RN N
+ R++ is a positive
each component of the mapping T (x) := (I M )1 T (x) concave mapping with lower bounding matrix M RN N
(x RN + ) is a positive sum of concave functions, hence satisfying (M ) < 1. Let TA : RN N
+ R++ be the accel-
the resulting function is also concave. Observing that linear erated mapping of T . Consider the following two sequences:
functions are both concave and convex, we verify that each {xn+1 := T (xn )}nN and {xn+1 := TA (xn )}nN . Assume
component of TA (x) = T (x) (I M )1 x + x > 0 is that both sequences start from the same vector u RN +;
a positive sum of concave functions, hence TA is a positive i.e., u = x1 = x1 . If {xn }nN is monotonically increasing
concave mapping. Proposition 1 now shows that TA is a (resp. monotonically decreasing) in each component, then the
standard interference mapping. Consequently, TA has a unique following holds:
fixed point, if it exists (Fact 4.1). If x Fix(T ), then
TA (x ) = (I M )1 (T (x ) M x ) = (I M )1 (x Proposition 6.1 {xn }nN is monotonically increasing (resp.
M x ) = (I M )1 (I M )x = x . The converse is monotonically decreasing) in each component.
also immediate. Note that T (x) = (I M )TA (x) + M x,
hence T (x ) = x if TA (x ) = x , and we conclude that Proposition 6.2 xn xn (resp. xn xn ) for every n N.
Fix(T ) = Fix(TA ).
Proposition 6.3 If the mapping T has a fixed point (which,
The practical implication of Lemma 4 is that, to compute the
in particular, it is automatically guaranteed if {xn }nN is
fixed point of a positive concave mapping T , we can instead
monotonically decreasing in each component), then {xn }nN
compute the fixed point of its accelerated version TA by using
converges faster than {xn }nN to x Fix(T ), in the sense
the standard iteration xn+1 = TA (xn ) shown in Fact 4. In
of Definition 9.
many applications, having a monotone sequence {xn }nN is
desirable, and a sequence of this type can be constructed with Proof: We prove the proposition only for monotonically
the standard fixed point iteration by starting the iterations from increasing sequences (in each component). The proof for
x1 = 0 (see Fact 4.3). For example, in network planning and monotonically decreasing sequences can be obtained in a
optimization tasks, the fixed points of the concave mappings similar fashion by reversing all inequalities.
10
(We can also obtain (19) by constructing the lower bounding 107
104
M =
limx0+ xh,1 (x1 e1 ) limx0+ xh,1 (x1 eM ) 105
.. .. .. 0 50 100 150 200
. Iteration
. .
limx0+ xh,M (x1 e1 ) 1
limx0+ xh,M (x eM ) Fig. 2. NME of the power estimate as a function of the number of iterations.
1 Confidence intervals (95%) have been computed, but they are not visible in
= diag() M diag(),
the figure.
where M is the same matrix defined in (19). (The same result
can be obtained by using Proposition 3 to construct the lower provides us with clear advantages over the standard iterative
bounding matrix, but here applying Proposition 2 is easier than approach, in accordance to the analysis in Sect. IV-B.
applying Proposition 3.)
From Proposition 4 and the definition of M , we conclude
VI. C ONCLUSIONS
that a necessary condition for existence of the fixed point of
T is (M ) < 1, which is the same requirement for the We have shown that the results in [6] for the construction
existence of the fixed point of Tp in (18). However, there of lower bounding matrices in a very particular application
is a fundamental difference between these two mappings. As domain can be generalized to a large class of positive concave
proved in [16], (M ) < 1 (note: this spectral radius does not mappings where even differentiability is not required. More
depend on ) is both a sufficient and necessary condition for specifically, we proved that positive concave mappings with
the existence of the fixed point of Tp . In contrast, the study nonempty fixed point set can be associated with a non-negative
in [8] has shown that the existence of the fixed point of T lower bounding matrix having spectral radius strictly smaller
also depends on . Therefore, T is an example of a mapping than one. By imposing additional assumptions on the mapping,
proving that the converse of Proposition 4 does not hold in having spectral radius strictly smaller than one also implies
general. the existence of the fixed point of the concave mapping.
We now turn the attention to the acceleration schemes in this We also demonstrated that the lower bounding matrix can
particular application. We use the same network considered be constructed with two simple and equivalent methods, and
in the load estimation task. The desired load is obtained this matrix can be combined with its generating concave
by solving (17) with the power fixed to the value shown in mapping to build a new mapping that preserves the fixed
Table I. Then we solve the reverse problem; we compute point. The standard fixed point iterations applied to this new
the power shown in Table I by using the standard iteration mapping typically requires fewer evaluations of the original
pn+1 = T (pn ) and its accelerated version pn+1 = T A (pn ). mapping to obtain an estimate of the fixed point for any given
Both algorithms start from the zero vector. The normalized precision. The additional computational complexity of this
mean error is again used as the figure of merit (which in novel approach is very modest. In the tasks of load and power
this application is defined by replacing the load vector by estimation in LTE networks, where we are mostly interested
the power vector in (20)). We can see in Fig. 2 that in in the precision of the estimates after a limited number of
this application the proposed acceleration scheme once again iterations, numerical examples show that the improvement in
14
convergence speed obtained with the proposed method can be [15] I. Siomina and D. Yuan, Load balancing in heterogeneous LTE:
substantial. Range optimization via cell offset and load-coupling characterization,
in Communications (ICC), 2012 IEEE International Conference on.
IEEE, 2012, pp. 13571361.
R EFERENCES
[16] C. Ho, D. Yuan, and S. Sun, Data offloading in load coupled networks:
[1] R. D. Yates, A framework for uplink power control in cellular radio A utility maximization framework, IEEE Trans. Wireless Commun.,
systems, IEEE J. Select. Areas Commun., vol. 13, no. 7, pp. pp. 1341 vol. 13, no. 4, pp. 19211931, April 2014.
1348, Sept. 1995.
[2] S. Stanczak, M. Wiczanowski, and H. Boche, Fundamentals of Resource
Allocation in Wireless Networks, 2nd ed., ser. Foundations in Signal
Processing, Communications and Networking, W. Utschick, H. Boche,
and R. Mathar, Eds. Berlin Heidelberg: Springer, 2009.
[3] M. Schubert and H. Boche, Interference Calculus - A General Frame-
work for Interference Management and Network Utility Optimization.
Berlin: Springer, 2011.
[4] K. Majewski and M. Koonert, Conservative cell load approximation
for radio networks with Shannon channels and its application to
LTE network planning, in Telecommunications (AICT), 2010 Sixth
Advanced International Conference on, May 2010, pp. 219 225.
[5] A. Fehske, H. Klessig, J. Voigt, and G. Fettweis, Concurrent load-
aware adjustment of user association and antenna tilts in self-organizing
radio networks, IEEE Trans. Veh. Technol., no. 5, June 2013.
[6] I. Siomina and D. Yuan, Analysis of cell load coupling for LTE network
planning and optimization, IEEE Trans. Wireless Commun., no. 6, pp.
22872297, June 2012.
[7] R. L. G. Cavalcante, S. Stanczak, M. Schubert, A. Eisenblater, and
U. Turke, Toward energy-efficient 5G wireless communication tech-
nologies, IEEE Signal Processing Mag., vol. 31, no. 6, pp. 2434, Nov.
2014.
[8] C. K. Ho, D. Yuan, L. Lei, and S. Sun, Power and load coupling
in cellular networks for energy optimization, IEEE Trans. Wireless
Commun., vol. 14, no. 1, pp. 500519, Jan. 2015.
[9] R. L. G. Cavalcante, E. Pollakis, and S. Stanczak, Power estimation
in LTE systems with the general framework of standard interference
mappings, in IEEE Global Conference on Signal and Information
Processing (GlobalSIP 14), Dec. 2014.
[10] K. Majewski, U. Turke, X. Huang, and B. Bonk, Analytical cell load
assessment in OFDM radio networks, in Proc. IEEE PIMRC07, 2007,
pp. 15.
[11] P. Mogensen, W. Na, I. Z. Kovacs, F. Frederiksen, A. Pokhariyal, K. I.
Pedersen, T. Kolding, K. Hugl, and M. Kuusela, LTE capacity com-
pared to the Shannon bound, in the 65th IEEE Vehicular Technology
Conference, VTC Spring 2007, Apr. 2007.
[12] A. Auslender and M. Teboulle, Asymptotic Cones and Functions in
Optimization and Variational Inequalities. New York: Springer, 2003.
[13] H. H. Bauschke and P. L. Combettes, Convex Analysis and Monotone
Operator Theory in Hilbert Spaces. Springer, 2011.
[14] J. Kennan, Uniqueness of positive fixed points for increasing concave
functions on Rn: an elementary result, Review of Economic Dynamics,
vol. 4, no. 4, pp. 893899, 2001.