 Research
 Open access
 Published:
Weighted sum of per cell minrate maximization for multicell downlink OFDMA with opportunistic DF relaying
EURASIP Journal on Wireless Communications and Networking volume 2014, Article number: 71 (2014)
Abstract
This paper considers a multicell relayaided orthogonal frequency division multiple access (OFDMA) downlink system, in which all stations are coordinated by a central controller for resource allocation (RA). The decodeandforward (DF) protocol with opportunistic relaying (OR) and high spectrum efficiency (HSE) is applied. The problem of maximizing the weighted sum of per cell minrate (WSMR) with percell total power constraints is formulated, and its percell maximum fairness property is proven. An iterative RA algorithm is proposed to optimize mode selection (decision whether the relay should help or not), subcarrier assignment (MSSA) and power allocation (PA) alternatively. Each iteration is composed of the MSSA stage and the PA stage. During the MSSA stage, the original problem is decoupled into mixed integer linear programs (MILPs) with the tentative PA results, which can be solved by typical MILP solvers. To solve the MILPs more efficiently in polynomial time, a randomized roundingbased MSSA (RRMSSA) algorithm and a direct roundingbased MSSA (DRMSSA) algorithm are further proposed. During the PA stage, an algorithm based on single condensation and geometric programming (SCGP) PA is designed to optimize PA with the tentative MSSA results. The convergence and the percell user fairness of the proposed RA algorithm are proven. Finally, the performance of the RA algorithm and the benefits of using OR and the HSE protocol are illustrated through numerical experiments.
1 Introduction
In nextgeneration wireless communication networks, ubiquitous coverage and high data rate are strongly required. To achieve this goal, incorporating orthogonal frequency division multiple access (OFDMA) technology with emerging relaying technologies is highly investigated by both academia and industry. Specifically, OFDMA is able to combat the frequencyselective multipath fading and flexible in applying dynamic radio resource allocation (RA) for performance improvement. On the other hand, the relaying technology has an attractive feature of coverage extension and data rate improvement [1].
For relayaided OFDM(A) systems, the authors in [2] and [3] have proposed two efficient types of relaying, namely amplify and forward (AF) and decode and forward (DF). Recently, the DF relaying is receiving a lot of interest due to its simple processing at the relay. With DF relaying, symbols are transmitted in two time slots (TSs). During the first TS, the source broadcasts symbols on all subcarriers with the relay keeping quiet. During the second TS, except from the relay, the source might also broadcast symbols on subcarriers not used by the relay, as will be elaborated later. Adopting DF relaying, the authors in [4–23] have studied the RA problems for downlink OFDMA intensively.
In particular, the works in [4–7] have considered RA in OFDM systems with fixed relaying (FR) when the destination cannot or hardly hear from the source, meaning the sourcetodestination (SD) link is unavailable. Considering the case where the SD link is available, the authors in [8–23] have studied RA in systems with opportunistic relaying (OR), sometimes termed as selection relaying. To start with, a low spectrum efficiency (LSE) protocol was studied in [8–13], when only the relay broadcasts symbols during the second TS. Specifically, each transmission is carried out in two TSs using either the relayaided mode or the direct mode. As for a relayaided transmission, during the first TS, a symbol is first broadcast by the base station (BS) at a subcarrier k. Both the relay station (RS) and the targeted mobile station (MS) receive this symbol. Then, during the second TS, the RS decodes the received symbol and retransmits it to the targeted MS at a subcarrier l. Note that subcarrier l might not be the same as subcarrier k, which means subcarrier pairing (SP) can be implemented [17, 24]. Finally, the MS chooses to decode the source symbol from either the received symbols during both TSs using some combination methods or the received symbol during the second TS only. For a direct mode transmission, the MS only uses what is received from the BS. Note that adopting this LSE protocol, the BS keeps quiet with unpaired subcarriers unused during the second TS, which causes a waste of the limited spectrum resource. To address this issue, the authors in [14–22] have proposed and studied improved high spectrum efficiency (HSE) protocols, which allow new symbols to be transmitted on the unpaired subcarriers during the second TS. In this paper, the HSE protocol will be considered.
Note that all these papers model the cochannel interference (CCI) as additive background noise and only consider RA in singlecell situations. This is reasonable only when the frequency reuse factor 1/W is low, where W denotes the number of cell clusters that cannot use the same frequencies for transmission. However, in nextgeneration cellular systems, aggressive frequency reuse is recommended due to its ability to achieve higher system capacity [25]. Here, the CCI becomes a key factor affecting the system performance and thus cannot be ignored [26].
Considering the CCI in multicell DF relayaided OFDMA systems, RA algorithms have been proposed in [27] and [28] when powers are uniformly allocated to all stations. Considering subcarrier allocation and power allocation jointly, the papers [26] and [29] have recently formulated and solved the sum rate maximized RA problem in multicell OFDMA downlink systems aided by DF RSs in each cell. However, fairness was not considered there. Recently in [30], the maximization of the weighted sum of per cell minrate (WSMR) was considered for multicell OFDMA systems without relaying. The corresponding optimum RA leads to percell maximum fairness and different priorities in different cells. The authors only illustrate the percell fairness by experiments without mathematical proof.
Compared with the above existing works, the contributions of the current paper are listed below:

We formulate the WSMR maximized joint RA problem in multicell OFDMA downlink systems aided by a RS in each cell. To start with, the DF protocol with OR and HSE is considered without signal combining. It will be shown that the system performance can be enhanced largely by using OR and the HSE protocol. Note that when modeling the intercell CCI of a subcarrier in a selected cell, instead of using an additional integer variable to indicate whether a node in an interfering cell transmits data on this subcarrier or not, we use the corresponding power value to do it. This choice is motivated to simplify the system sum rate expression and facilitate the algorithm design.

We unveil and prove the percell maximum fairness feature of the formulated RA problem. Specifically, with any feasible mode selection and subcarrier assignment (MSSA) result, the optimum power allocation results in the same transmission rates for all users in the same cell.

We propose an iterative RA algorithm to optimize the MSSA and the power allocation (PA) alternatively with the WSMR keeping increasing. Each iteration is composed of the MSSA stage and the PA stage. During the MSSA stage, the original problem is decoupled into mixed integer linear programs (MILPs), which can be solved by typical MILP solvers. To solve the MILPs more efficiently in polynomial time, we further propose the randomized roundingbased MSSA (RRMSSA) algorithm and the direct roundingbased MSSA (DRMSSA) algorithm at this stage. During the PA stage, an algorithm based on single condensation and geometric programming PA (SCGP) is used to optimize PA with the tentative MSSA results. The convergence and the percell user fairness of the proposed RA algorithm are proven.
The rest of this paper is organized as follows: First, the considered system model is presented in the next section. Then, the RA problem is formulated and its fairness property is discussed in Section 3. After that, the proposed algorithms are described in Section 4. Furthermore, the effectiveness and convergence of the proposed RA algorithms as well as the benefits of using OR and the HSE protocol are illustrated by numerical experiments in Section 5. Finally, some conclusions are drawn in Section 6.
2 System description
Let us consider a cellular downlink OFDMA system with N cells coordinated by a central controller for RA. In each cell, the data is transmitted from a source to U destinations with the help of a DF relay. For each link, the frequencyselective channel is transformed into K parallel subchannels by using OFDM with sufficiently long cyclic prefix. The data transmission is carried out in two TSs choosing either relayaided mode or direct mode. During the first TS, a symbol is first broadcast by the BS at a subcarrier and received by the RS and the MS. In relayaided mode, the RS decodes the received symbol and relays it to the targeted MS over this subcarrier with the BS keeping quiet at the subcarrier during the second TS. The destination only decodes the symbol received during the second TS. If direct transmission is used, the targeted destination decodes the symbol received during the first TS. Also, another symbol is broadcast by the source at this subcarrier during the second TS, which is received and decoded by this destination.
With OFDMA, each subcarrier can be allocated to only one destination in each cell. In this paper, we first assume that the coherence time of each link is sufficiently long for implementing the RA in the central controller, which has perfect knowledge of the system channel state information. Moreover, we assume that the optimized RA can be correctly distributed to all nodes. Lastly, perfect timing and carrier synchronization is assumed. Note that an upper bound on the system performances is obtained by assuming the above idealities.
2.1 Transmission procedure
Let us describe the data transmission procedure inside one selected cell n, which is impaired by cochannel interference from the other cells. The transmission procedures in other cells are the same. Specifically in cell n, symbols are transmitted in either relayaided mode or direct mode, as will be elaborated in the following.
We first consider the relayaided data transmission. The source s_{ n } first produces a symbol \sqrt{{P}_{{\mathrm{s}}_{n},{t}_{1}}^{k}}{x}_{{\mathrm{s}}_{n},{t}_{1}}^{k} at subcarrier k during the first TS, while the transmitter of the relay r_{ n } remains idle. Here, {x}_{{\mathrm{s}}_{n},{t}_{1}}^{k} denotes the normalized symbol (meaning E\left\{{x}_{{\mathrm{s}}_{n},{t}_{1}}^{k}{}^{2}\right\}=1) transmitted by s_{ n } at subcarrier k during the first TS, and {P}_{{\mathrm{s}}_{n},{t}_{1}}^{k} denotes the corresponding transmit power. Simultaneously in an interfering cell n^{′}, a symbol \sqrt{{P}_{{\mathrm{s}}_{{n}^{\prime}},{t}_{1}}^{k}}{x}_{{\mathrm{s}}_{{n}^{\prime}},{t}_{1}}^{k} is also produced from the interfering source {\mathrm{s}}_{{n}^{\prime}} at the same subcarrier. Note that instead of using an additional integer variable to indicate whether {\mathrm{s}}_{{n}^{\prime}} transmits data on subcarrier k or not, we use \sqrt{{P}_{{\mathrm{s}}_{{n}^{\prime}},{t}_{1}}^{k}} to do so. Specifically, {P}_{{\mathrm{s}}_{{n}^{\prime}},{t}_{1}}^{k}>0 means that {\mathrm{s}}_{{n}^{\prime}} uses subcarrier k for data transmission during the first TS, and {P}_{{\mathrm{s}}_{{n}^{\prime}},{t}_{1}}^{k}=0 means that {\mathrm{s}}_{{n}^{\prime}} does not transmit at the subcarrier k during the first TS. This choice is motivated to simplify the system sum rate expression and facilitate the algorithm design. At the end of the first TS, the signal received by r_{ n } for subcarrier k can be expressed as
where {v}_{{\mathrm{r}}_{n}}^{k} denotes the additive white Gaussian noise (AWGN) at subcarrier k and r_{ n } during the first TS. {h}_{{\mathrm{s}}_{{n}^{\prime}},{\mathrm{r}}_{n}}^{k} denotes the channel frequency response (CFR) for subcarrier k from {\mathrm{s}}_{{n}^{\prime}} to r_{ n }.
During the second TS, the relay r_{ n } reencodes the decoded symbol and forwards \sqrt{{P}_{{\mathrm{r}}_{n}}^{k}}{x}_{{\mathrm{r}}_{n}}^{k} at a subcarrier k. Here, {x}_{{\mathrm{r}}_{n}}^{k}={x}_{{\mathrm{s}}_{n},{t}_{1}}^{k}. The source s_{ n } transmits nothing on this subcarrier, meaning that {P}_{{\mathrm{s}}_{n},{t}_{2}}^{k}=0. Here, {P}_{{\mathrm{r}}_{n}}^{k} and {P}_{{\mathrm{s}}_{n},{t}_{2}}^{k} denote the transmit power allocated to r_{ n } and s_{ n }, respectively, at subcarrier k during the second TS. At the same time, in an interfering cell n^{′}, {\mathrm{r}}_{{n}^{\prime}} and {\mathrm{s}}_{{n}^{\prime}} also transmit \sqrt{{P}_{{\mathrm{r}}_{{n}^{\prime}}}^{k}}{x}_{{\mathrm{r}}_{{n}^{\prime}}}^{k} and \sqrt{{P}_{{\mathrm{s}}_{{n}^{\prime}},{t}_{2}}^{k}}{x}_{{\mathrm{s}}_{{n}^{\prime}},{t}_{2}}^{k} at subcarrier k. Remembering that at most only one power value out of {P}_{{\mathrm{r}}_{{n}^{\prime}}}^{k} and {P}_{{\mathrm{s}}_{{n}^{\prime}},{t}_{2}}^{k} can be nonzero. More specifically, when subcarrier k of cell n^{′} is assigned, the relay mode for data transmission {P}_{{\mathrm{s}}_{{n}^{\prime}},{t}_{2}}^{k}=0. Otherwise, {P}_{{\mathrm{r}}_{{n}^{\prime}}}^{k}=0. Here again E\left\{{x}_{{\mathrm{r}}_{{n}^{\prime}}}^{k}{}^{2}\right\}=1 and E\left\{{x}_{{\mathrm{s}}_{{n}^{\prime}},{t}_{2}}^{k}{}^{2}\right\}=1. At the end of the second TS, the signal received by the targeted destination d_{ u n } at subcarrier k can be expressed as
where {v}_{{\mathrm{d}}_{\mathit{\text{un}}},{t}_{2}}^{k} denotes the AWGN corrupting d_{ u n } at subcarrier k during the second TS, {h}_{{\mathrm{r}}_{{n}^{\prime}},{\mathrm{d}}_{\mathit{\text{un}}}}^{k} denotes the CFR for subcarrier k from {\mathrm{r}}_{{n}^{\prime}} to d_{ u n }, and {h}_{{\mathrm{s}}_{{n}^{\prime}},{\mathrm{d}}_{\mathit{\text{un}}}}^{k} denotes the CFR of subcarrier k from {\mathrm{s}}_{{n}^{\prime}} to d_{ u n }.
Let us now describe the direct data transmission in cell n. During the first TS, s_{ n } broadcasts \sqrt{{P}_{{\mathrm{s}}_{n},{t}_{1}}^{k}}{x}_{{\mathrm{s}}_{n},{t}_{1}}^{k} at subcarrier k. The targeted destination d_{ u n } receives signals from all sources. The signal received by d_{ u n } at subcarrier k can be expressed as
where {v}_{{\mathrm{d}}_{\mathit{\text{un}}},{t}_{1}}^{k} denotes the AWGN corrupting d_{ u n } at subcarrier k during the first TS.
During the second TS, another symbol \sqrt{{P}_{{\mathrm{s}}_{n},{t}_{2}}^{k}}{x}_{{\mathrm{s}}_{n},{t}_{2}}^{k} is broadcast by s_{ n } at subcarrier k and received by the destination d_{ u n }. The received signal can be expressed as
2.2 Weighted sum of per cell minimum rate
In order to formulate the WSMR, we now introduce binary variables {a}_{\mathit{\text{un}}}^{k} and {b}_{\mathit{\text{un}}}^{k} to describe the mode selection and subcarrier assignment in both TSs. To be more specific, {a}_{\mathit{\text{un}}}^{k}=1 indicates that subcarrier k is allocated for data transmission to d_{ u n } in direct mode during the first TS, and so is subcarrier k to d_{ u n } during the second TS. {b}_{\mathit{\text{un}}}^{k}=1 indicates that subcarrier k is allocated for data transmission to d_{ u n } aided by r_{ n }.
We assume \left\{{v}_{{\mathrm{r}}_{n}}^{k},{v}_{{\mathrm{d}}_{\mathit{\text{un}}},{t}_{2}}^{k},{v}_{{\mathrm{d}}_{\mathit{\text{un}}},{t}_{1}}^{k}\right\} are independent zeromean circular Gaussian random variables with the same variance σ^{2}. After some mathematical calculations, the sum rate achievable for the direct mode subcarrier k is given by
in nats/twoTSs, where
denotes the SINR associated with the decoding of {x}_{{\mathrm{s}}_{n},{t}_{1}}^{k} from {y}_{{\mathrm{d}}_{\mathit{\text{un}}},{t}_{1}}^{k} at d_{ u n } during the first TS. {f}_{{\mathrm{d}}_{\mathit{\text{un}}},{t}_{1}}^{k}={\sigma}^{2}+\sum _{{n}^{\prime}=1,{n}^{\prime}\ne n}^{N}{P}_{{\mathrm{s}}_{{n}^{\prime}},{t}_{1}}^{k}{G}_{{\mathrm{s}}_{{n}^{\prime}},{\mathrm{d}}_{\mathit{\text{un}}}}^{k} denotes the sum power of the AWGN and the interference received by d_{ u n } at subcarrier k during the first TS. {G}_{{\mathrm{s}}_{{n}^{\prime}},{\mathrm{d}}_{\mathit{\text{un}}}}^{k}={h}_{{\mathrm{s}}_{{n}^{\prime}},{\mathrm{d}}_{\mathit{\text{un}}}}^{k}{}^{2} denotes the channel gain of subcarrier k from {\mathrm{s}}_{{n}^{\prime}} to d_{ u n }.
denotes the SINR associated with the decoding of {x}_{{\mathrm{s}}_{n},{t}_{2}}^{k} from {y}_{{\mathrm{d}}_{\mathit{\text{un}}},{t}_{2}}^{k} at d_{ u n } during the second TS. {f}_{{\mathrm{d}}_{\mathit{\text{un}}},{t}_{2}}^{k}={\sigma}^{2}+\sum _{{n}^{\prime}=1,{n}^{\prime}\ne n}^{N}{P}_{{\mathrm{s}}_{{n}^{\prime}},{t}_{2}}^{k}{G}_{{\mathrm{s}}_{{n}^{\prime}},{\mathrm{d}}_{\mathit{\text{un}}}}^{k}+\sum _{{n}^{\prime}=1,{n}^{\prime}\ne n}^{N}{P}_{{\mathrm{r}}_{{n}^{\prime}}}^{k}{G}_{{\mathrm{r}}_{{n}^{\prime}},{\mathrm{d}}_{\mathit{\text{un}}}}^{k} denotes the sum power of the AWGN and the interference received by d_{ u n } at subcarrier k during the second TS. {G}_{{\mathrm{r}}_{n},{\mathrm{d}}_{\mathit{\text{un}}}}^{k}={h}_{{\mathrm{r}}_{n},{\mathrm{d}}_{\mathit{\text{un}}}}^{k}{}^{2} denotes the channel gain of subcarrier k from r_{ n } to d_{ u n }.
Also, the maximum achievable rate for subcarrier k when allocated to d_{ u n } in relayaided mode is given by [3]
in nats/twoTSs, where
denotes the signaltointerferenceplusnoise ratio (SINR) associated with decoding {x}_{{\mathrm{s}}_{n},{t}_{1}}^{k} from {y}_{{\mathrm{r}}_{n}}^{k} at r_{ n } during the first TS, {f}_{{\mathrm{r}}_{n}}^{k}={\sigma}^{2}+\sum _{{n}^{\prime},{n}^{\prime}\ne n}{P}_{{\mathrm{s}}_{{n}^{\prime}},{t}_{1}}^{k}{G}_{{\mathrm{s}}_{{n}^{\prime}},{\mathrm{r}}_{n}}^{k} denotes the sum power of the AWGN and the interference received by r_{ n } at subcarrier k during the first TS, and {G}_{{\mathrm{s}}_{n},{\mathrm{r}}_{n}}^{k}={h}_{{\mathrm{s}}_{n},{\mathrm{r}}_{n}}^{k}{}^{2} denotes the channel gain of subcarrier k from s_{ n } to r_{ n }.
denotes the SINR associated with decoding {x}_{{\mathrm{r}}_{n}}^{k}, which equals {x}_{{\mathrm{s}}_{n},{t}_{1}}^{k}, from {y}_{{\mathrm{d}}_{\mathit{\text{un}}},{\mathrm{r}}_{n}}^{k} at d_{ u n } during the second TS.
Thus, the WSMR of the considered system is denoted as
where {\mathbf{P}}^{k}={\left[{\left[{P}_{1}^{k}\right]}^{\mathrm{T}},\dots ,{\left[{P}_{N}^{k}\right]}^{\mathrm{T}}\right]}^{\mathrm{T}}, {P}_{n}^{k}={\left[{P}_{{\mathrm{s}}_{n},{t}_{1}}^{k},{P}_{{\mathrm{s}}_{n},{t}_{2}}^{k},{P}_{{\mathrm{r}}_{n}}^{k}\right]}^{\mathrm{T}}, \mathbf{A}=\left\{{a}_{\mathit{\text{un}}}^{k}\right\}, and \mathbf{B}=\left\{{b}_{\mathit{\text{un}}}^{k}\right\}. ω_{ n } denotes the weight of the minimal rate in cell n, and {\mathcal{U}}_{n} denotes the MS set in cell n.
3 Problem formulation and its property
3.1 Problem formulation
We consider maximizing the WSMR under percell total power constraints. The optimization variables are the transmission mode for each subcarrier, the subcarrier assignments, and the power allocations at the sources and the relays. According to the system model, the considered RA problem can be formulated as
Here, C 1 and C 2 ensure that each subcarrier k during the first TS can select only one mode (direct/relayaided) to transmit data towards only one destination d_{ u n }. Moreover, C 3 and C 4 ensure that the consumed sum power for each cell is less than its available sum power. This type of power constraints give an upper bound of the system performance. In practice, each node (source, relay) in each cell will have an individual power constraint. Finally, C 5, C 6, and C 7 guarantee that no data is transmitted on an unused subcarrier, and subcarrier k is used by only one node (either the source or the relay) in each cell during the second TS.
3.2 Fairness property
To investigate the fairness property of the formulated problem, let us denote by R_{ u n } the sum rate of each user u in each cell n, {\mathcal{U}}_{n} the set of users in cell n, {\stackrel{~}{\mathcal{U}}}_{n}\subset {\mathcal{U}}_{n} the set of users with the minimum rate in cell n, {\stackrel{~}{\mathcal{V}}}_{n} the set of other users (the complimentary set of {\stackrel{~}{\mathcal{U}}}_{n}), and {\mathcal{S}}_{\mathrm{\u0169n}} ({\mathcal{S}}_{\stackrel{~}{v}n}) the set of subcarriers allocated to MS {d}_{\mathrm{\u0169n}} ({d}_{\stackrel{~}{v}n}), where \u0169\in {\stackrel{~}{\mathcal{U}}}_{n} (\stackrel{~}{v}\in {\stackrel{~}{\mathcal{V}}}_{n}). Note that {\stackrel{~}{\mathcal{V}}}_{n}\ne \varnothing means that
Then, for each subcarrier k, there exists three states considering which one of the two user sets does the allocated user belong to in each cell. Specifically, state 1 corresponds to k\in {\mathcal{S}}_{\mathrm{\u0169n}},\forall n, meaning that in each cell, subcarrier k is allocated to a user with the minimum rate of that cell. State 2 corresponds to k\in {\mathcal{S}}_{\stackrel{~}{v}n},\forall n, meaning that in each cell, subcarrier k is allocated to a user with a rate larger than the minimum rate of that cell. State 3 corresponds to ∃ n_{1},n_{2} such that k\in {\mathcal{S}}_{\u0169{n}_{1}} and k\in {\mathcal{S}}_{\stackrel{~}{v}{n}_{2}}, meaning other possible allocation results for subcarrier k in all cells. Note that when all subcarriers are in state 1, percell user fairness is reached, meaning all users inside the same cell obtain the same rate.
We first consider the following lemma, which will be used later in this section.
Lemma 1. Given any feasible values of variables A, B and P, if there exists n and k where {\stackrel{~}{\mathcal{V}}}_{n}\ne \varnothingand k\in {\mathcal{S}}_{\stackrel{~}{v}n}(meaning that there exists subcarrier k in state 2 or state 3), then part of the feasible powers at this subcarrier k in each cell({P}_{n}^{k}=\left\{{P}_{{\mathrm{s}}_{n},{t}_{1}}^{k},{P}_{{\mathrm{s}}_{n},{t}_{2}}^{k},{P}_{{\mathrm{r}}_{n}}^{k}\right\} and {\mathbf{P}}_{{n}^{\prime}}^{k},\forall \phantom{\rule{2.83795pt}{0ex}}{n}^{\prime}\ne n) can be saved while keeping the WSMR of the system nondecreased.
Proof. Considering the subcarrier k in cell n where {\stackrel{~}{\mathcal{V}}}_{n}\ne \varnothing and k\in {\mathcal{S}}_{\stackrel{~}{v}n}, we now introduce two sets of cells {\mathcal{N}}_{1}^{k}=\left\{n\rightk\in {\mathcal{S}}_{\mathrm{\u0169n}}\} and {\mathcal{N}}_{2}^{k}=\left\{n\right{\stackrel{~}{\mathcal{V}}}_{n}\ne \varnothing ,k\in {\mathcal{S}}_{\stackrel{~}{v}n}\}. Note that when k is in state 2, {\mathcal{N}}_{1}^{k}=\varnothing and {\mathcal{N}}_{2}^{k}\ne \varnothing. Also, when k is in state 3, {\mathcal{N}}_{1}^{k}\ne \varnothing and {\mathcal{N}}_{2}^{k}\ne \varnothing.
Let us consider the case when k is in state 3. We define
where s^{k}∈(0,1], {\stackrel{~}{R}}_{\mathit{\text{un}}}^{k}\left({\stackrel{~}{\mathbf{P}}}^{k}\left({s}^{k}\right)\right)={a}_{\mathit{\text{un}}}^{k}{R}_{\mathit{\text{un}},1}^{k}\left({\stackrel{~}{\mathbf{P}}}^{k}\left({s}^{k}\right)\right)+{b}_{\mathit{\text{un}}}^{k}{R}_{\mathit{\text{un}},2}^{k}\left({\stackrel{~}{\mathbf{P}}}^{k}\left({s}^{k}\right)\right), and {\stackrel{~}{\mathbf{P}}}^{k}\left({s}^{k}\right)={\left[{\left[{\stackrel{~}{\mathbf{P}}}_{1}^{k}\left({s}^{k}\right)\right]}^{\mathrm{T}},\dots ,{\left[{\stackrel{~}{\mathbf{P}}}_{N}^{k}\left({s}^{k}\right)\right]}^{\mathrm{T}}\right]}^{\mathrm{T}}. Please note that s^{k} is the same for all cells.
\forall \phantom{\rule{2.77626pt}{0ex}}n\in {\mathcal{N}}_{2}^{k}, {{\rm Y}}_{{\mathrm{d}}_{\stackrel{~}{v}n},{t}_{1}}^{k} can be denoted as
which can be further written as
It is obvious that {{\rm Y}}_{{\mathrm{d}}_{\stackrel{~}{v}n},{t}_{1}}^{k} is an increasing function of s^{k}. Similarly, {{\rm Y}}_{{\mathrm{d}}_{\stackrel{~}{v}n},{t}_{2}}^{k}, {\Gamma}_{{\mathrm{r}}_{n}}^{k}, and {\Gamma}_{{\mathrm{d}}_{\stackrel{~}{v}n},{t}_{2}}^{k} are also increasing functions of s^{k}. Thus, {\stackrel{~}{R}}_{\stackrel{~}{v}n}^{k}\left({\stackrel{~}{\mathbf{P}}}^{k}\left({s}^{k}\right)\right) is an increasing function of s^{k}.
\forall \phantom{\rule{2.77626pt}{0ex}}n\in {\mathcal{N}}_{1}^{k}, {{\rm Y}}_{{\mathrm{d}}_{\mathrm{\u0169n}},{t}_{1}}^{k} can be denoted as
It is obvious that {{\rm Y}}_{{\mathrm{d}}_{\mathrm{\u0169n}},{t}_{1}}^{k} is a decreasing function of s^{k}. Similarly, {{\rm Y}}_{{\mathrm{d}}_{\mathrm{\u0169n}},{t}_{2}}^{k}, {\Gamma}_{{\mathrm{r}}_{n}}^{k}, and {\Gamma}_{{\mathrm{d}}_{\mathrm{\u0169n}},{t}_{2}}^{k} are also decreasing functions of s^{k}. Thus, {\stackrel{~}{R}}_{\mathrm{\u0169n}}^{k}\left({\stackrel{~}{\mathbf{P}}}^{k}\left({s}^{k}\right)\right) is a decreasing function of s^{k}.
Note that {\stackrel{~}{\mathbf{P}}}^{k}\left({s}^{k}\right)\le {\stackrel{~}{\mathbf{P}}}^{k}\left(1\right)={\mathbf{P}}^{k}, where the inequality should be understood as elementwise. Thus, \exists \phantom{\rule{2.77626pt}{0ex}}{s}_{0}^{k}\in (0,1),{\epsilon}_{n}^{k}>0,{\eta}_{{n}^{\prime}}^{k}>0, such that \forall \phantom{\rule{2.77626pt}{0ex}}n\in {\mathcal{N}}_{2}^{k},{\stackrel{~}{R}}_{\stackrel{~}{v}n}^{k}\left({\stackrel{~}{\mathbf{P}}}^{k}\left({s}_{0}^{k}\right)\right)={\stackrel{~}{R}}_{\stackrel{~}{v}n}^{k}\left({\stackrel{~}{\mathbf{P}}}^{k}\left(1\right)\right){\epsilon}_{n}^{k}={R}_{\stackrel{~}{v}n}^{k}\left({\mathbf{P}}^{k}\right){\epsilon}_{n}^{k},{\stackrel{~}{R}}_{\stackrel{~}{v}n}={R}_{\stackrel{~}{v}n}{\epsilon}_{n}^{k}>\underset{u\in {\mathcal{U}}_{n}}{min}{R}_{\mathit{\text{un}}} and \forall \phantom{\rule{2.77626pt}{0ex}}{n}^{\prime}\in {\mathcal{N}}_{1}^{k},{\stackrel{~}{R}}_{\u0169{n}^{\prime}}^{k}\left({\stackrel{~}{\mathbf{P}}}^{k}\left({s}_{0}^{k}\right)\right)={R}_{\u0169{n}^{\prime}}^{k}\left({\stackrel{~}{\mathbf{P}}}^{k}\left(1\right)\right)+{\eta}_{{n}^{\prime}}^{k}={R}_{\u0169{n}^{\prime}}^{k}\left({\mathbf{P}}^{k}\right)+{\eta}_{{n}^{\prime}}^{k},{\stackrel{~}{R}}_{\u0169{n}^{\prime}}={R}_{\u0169{n}^{\prime}}+{\eta}_{{n}^{\prime}}^{k}>\underset{u\in {\mathcal{U}}_{{n}^{\prime}}}{min}{R}_{u{n}^{\prime}}. Note that the WSMR of the system is nondecreased, while the power \left(1{s}_{0}^{k}\right){P}_{n}^{k} is saved from subcarrier k in cell n\in {\mathcal{N}}_{2}^{k}.
Let us introduce {R}_{n}^{min}=\underset{u\in {\mathcal{U}}_{n}}{min}{R}_{\mathit{\text{un}}},\forall n. After substituting {\mathbf{P}}_{n}^{{}^{\prime}k} with {\stackrel{~}{\mathbf{P}}}_{n}^{k}\left({s}_{0}^{k}\right), we now have \forall n\in {\mathcal{N}}_{2}^{k},k\in {\mathcal{S}}_{\stackrel{~}{v}n},{\stackrel{~}{R}}_{\stackrel{~}{v}n}>{R}_{n}^{min} and \forall n\in {\mathcal{N}}_{1}^{k},k\in {\mathcal{S}}_{\mathrm{\u0169n}},{\stackrel{~}{R}}_{\mathrm{\u0169n}}>{R}_{n}^{min}. Let us define {\stackrel{\u0306}{\mathbf{P}}}_{n}^{k}\left({c}^{k}\right)={c}^{k}\ast {\mathbf{P}}_{n}^{{}^{\prime}k} where c^{k}∈(0,1). Thus, {{\rm Y}}_{{\mathrm{d}}_{\mathit{\text{un}}},{t}_{1}}^{k} can be denoted as
It is obvious that {{\rm Y}}_{{\mathrm{d}}_{\mathit{\text{un}}},{t}_{1}}^{k} is an increasing function of c^{k}. Similarly, {{\rm Y}}_{{\mathrm{d}}_{\mathit{\text{un}}},{t}_{2}}^{k}, {\Gamma}_{{\mathrm{r}}_{n}}^{k}, and {\Gamma}_{{\mathrm{d}}_{\mathit{\text{un}}},{t}_{2}}^{k} are also increasing functions of c^{k}. Thus, {\stackrel{\u0306}{R}}_{\mathit{\text{un}}}^{k}\left({\stackrel{\u0306}{\mathbf{P}}}^{k}\left({c}^{k}\right)\right) is an increasing function of c^{k}. There exists a {c}_{0}^{k}\in (0,1),{\alpha}_{n}^{k}>0 such that \forall \phantom{\rule{2.77626pt}{0ex}}n,{\stackrel{\u0306}{R}}_{\mathit{\text{un}}}^{k}\left({\stackrel{\u0306}{\mathbf{P}}}^{k}\left({c}_{0}^{k}\right)\right)={\stackrel{\u0306}{R}}_{\mathit{\text{un}}}^{k}\left({\stackrel{\u0306}{\mathbf{P}}}^{k}\left(1\right)\right){\alpha}_{n}^{k}={R}_{\mathit{\text{un}}}^{k}\left({\mathbf{P}{}^{\prime}}^{k}\right){\alpha}_{n}^{k}={\stackrel{~}{R}}_{\mathit{\text{un}}}^{k}\left({\stackrel{~}{\mathbf{P}}}^{k}\left({s}_{0}^{k}\right)\right){\alpha}_{n}^{k},{\stackrel{\u0306}{R}}_{\mathit{\text{un}}}={\stackrel{~}{R}}_{\mathit{\text{un}}}{\alpha}_{n}^{k}>{R}_{n}^{min}. The power \left(1{c}_{0}^{k}\right){\stackrel{~}{\mathbf{P}}}_{n}^{k}\left({s}_{0}^{k}\right) can be saved from subcarrier k in each cell n while keeping the WSMR of the system nondecreased.
We now consider the case when k is in state 2, meaning n\in {\mathcal{N}}_{2}^{k},\forall n. By using the previous derivations, we can still find {s}_{1}^{k}\in (0,1), such that the power \left(1{s}_{1}^{k}\right){P}_{n}^{k} can be saved from subcarrier k in each cell n while keeping the WSMR of the system nondecreased. This concludes the proof of Lemma 1.
We now state the main result of this section. Based on Lemma 1, the following theorem is proposed, which sheds light on the fairness property of the formulated problem.
Theorem 1. With any feasible values A=A_{0} and B=B_{0}, the optimum power allocation P_{opt} of the formulated problem results in the same transmission rates for all users in the same cell.
Proof. When A=A_{0} and B=B_{0}, we assume at the optimum, ∃ n_{0} where {\stackrel{~}{\mathcal{V}}}_{{n}_{0}}\ne \varnothing and a subcarrier {k}_{0}\in {\mathcal{S}}_{\stackrel{~}{v}n} in state 2 or state 3. Then, \forall \phantom{\rule{2.77626pt}{0ex}}n,k\in {\mathcal{S}}_{\mathrm{\u0169n}} where \u0169\in {\stackrel{~}{\mathcal{U}}}_{n}, subcarrier k can be in either state 3 or state 1.
When subcarrier k is in state 3, as discussed in the proof of Lemma 1, we can still improve {R}_{\mathrm{\u0169n}}^{k} by decreasing the interfering powers of subcarrier k in cell n^{′} while keeping the minimum user rate of cell n^{′} nondecreased.
When subcarrier k is in state 1, as at the optimum ∃ k_{0}≠k that is in state 2 or state 3, we can save power from {\mathbf{P}}_{n}^{{k}_{0}} in each cell n while keeping the WSMR of the system nondecreased. Let us denote the saved power in each cell n as Δ P_{ n } and define {\widehat{\mathbf{P}}}_{n}^{k}\left({t}^{k}\right)={t}^{k}\ast {P}_{n}^{k} where t^{k}>1. Thus, {{\rm Y}}_{{\mathrm{d}}_{\mathrm{\u0169n}},{t}_{1}}^{k} can be denoted as
It is obvious that {{\rm Y}}_{{\mathrm{d}}_{\mathrm{\u0169n}},{t}_{1}}^{k} is an increasing function of t^{k}. Similarly, {{\rm Y}}_{{\mathrm{d}}_{\mathrm{\u0169n}},{t}_{2}}^{k}, {\Gamma}_{{\mathrm{r}}_{n}}^{k}, and {\Gamma}_{{\mathrm{d}}_{\mathrm{\u0169n}},{t}_{2}}^{k} are also increasing functions of t^{k}. Thus, for the subcarrier k in state 1, {\stackrel{~}{R}}_{\mathrm{\u0169n}}^{k}\left({\widehat{\mathbf{P}}}^{k}\left({t}^{k}\right)\right) is an increasing function of t^{k}. Thus, there exists a {t}_{0}^{k}>1 such that {\stackrel{~}{R}}_{\mathrm{\u0169n}}^{k}\left({\widehat{\mathbf{P}}}^{k}\left({t}_{0}^{k}\right)\right)>{R}_{\mathrm{\u0169n}}^{k} and \sum _{k\in \widehat{\mathcal{K}}}\left({t}_{0}^{k}1\right)\parallel {P}_{n}^{k}\parallel \le \Delta {P}_{n}. Here, \widehat{\mathcal{K}} denotes the set of subcarriers in state 1.
Therefore, \forall \phantom{\rule{2.77626pt}{0ex}}k\in {\mathcal{S}}_{\mathrm{\u0169n}} in cell n, {R}_{\mathrm{\u0169n}}^{k} can still be improved. Thus, the minimum user rate of each cell can still be improved by adjusting power allocation. Specifically, we can find matrices S,C,T,P_{1}=S C T P_{opt}, according to the previous discussions, such that R(P_{1},A_{0},B_{0})>R(P_{opt},A_{0},B_{0}). Here, each element of S,C, and T takes value from (0,1],(0,1], and [1,∞), respectively. This obviously contradicts the optimum assumption and concludes the proof of Theorem 1.
4 Algorithm development
In this section, we will propose an iterative RA algorithm, which obtains a local optimum of the formulated problem after convergence. The proposed algorithm is based on the coordinate ascent (CA) approach, which divides the whole set of optimization variables into several sets of variables and iteratively optimizes each set of variables with other sets of variables fixed.
Specifically, variables {P,A,B} are divided into two sets: the integral variable set {A,B} and the continuous variable set {P}. During each iteration, the MSSA stage is first carried out followed by the PA stage. Let us introduce integer m to indicate the iteration number. At the MSSA stage of iteration m, the integral variables {A,B} are optimized with P=P^{m−1}. While at the PA stage of iteration m, the continuous variables {P} are optimized with A=A^{m} and B=B^{m}. Here, a variable with the superscript m denotes the value obtained at the end of iteration m. In the following, we first design algorithms for both stages, based on which the iterative RA algorithm will then be stated. Finally, several characteristics of the proposed RA algorithm will be discussed.
4.1 MSSA optimization
In this subsection, the MSSA stage for iteration m is considered. After setting P to P^{m−1}, the formulated problem can be rewritten as
Note that each cell has independent constraints for its local integral variables. Therefore problem (20) can be decoupled into N subproblems. As for subproblem n_{0}, the minimum rate of all users in the cell n_{0} is maximized subject to the local constraints. Specifically, subproblem n_{0} is formulated as
where {\mathbf{A}}_{{n}_{0}}=\left\{{a}_{\mathit{\text{un}}}^{k}n={n}_{0}\right\}, {\mathbf{B}}_{{n}_{0}}=\left\{{b}_{\mathit{\text{un}}}^{k}n={n}_{0}\right\}, and
By introducing a slack variable {\xi}_{{n}_{0}}, problem (21) can be reformulated as
Note that (22) is actually a mixed integer linear program (MILP). Hence, it can be solved by means of typical MILP solvers, like MOSEK and TOMLAB. In order to solve it much faster in polynomial time, we now propose a RRMSSA algorithm and a DRMSSA algorithm. Specifically, both algorithms consist of three steps: the relaxation step, the rounding step, and the decision step.
During the relaxation step, we first relax constraint C 2^{′} as C{2}^{\mathrm{\prime \prime}}:{a}_{u{n}_{0}}^{k}\in [\phantom{\rule{0.3em}{0ex}}0,1],{b}_{u{n}_{0}}^{k}\in [\phantom{\rule{0.3em}{0ex}}0,1],\phantom{\rule{2.77626pt}{0ex}}\forall u,k. Then, the MILP is relaxed as a linear program (LP), which can easily be solved by any standard LP algorithm in polynomial time (time that is bounded by a fixed polynomial of the length of the input). Note that as the feasible set of the LP is larger than that of the MILP, the optimal objective function value of the LP is an upper bound of that of the MILP.
During the rounding step, we round the fractional optimal solution \left(\left\{{\mathbf{A}}_{{n}_{0}}^{\ast},{\mathbf{B}}_{{n}_{0}}^{\ast}\right\}\right) of the LP into an integer solution \left(\left\{{\mathbf{A}}_{{n}_{0}}^{\prime},{\mathbf{B}}_{{n}_{0}}^{\prime}\right\}\right). Specifically, each value of the fractional solution is viewed as the probability that this value should be rounded to 1. Then, a direct rounding (DR) algorithm is ∀k,
After this rounding, the {R}_{{n}_{0}} calculated with \left\{{\mathbf{A}}_{{n}_{0}}^{\prime},{\mathbf{B}}_{{n}_{0}}^{\prime}\right\} is decreased, compared to that calculated with \left\{{\mathbf{A}}_{{n}_{0}}^{\ast},{\mathbf{B}}_{{n}_{0}}^{\ast}\right\}.
In order to make {R}_{{n}_{0}}\left({\mathbf{P}}^{m1},{\mathbf{A}}_{{n}_{0}}^{\prime},{\mathbf{B}}_{{n}_{0}}^{\prime}\right) closer to {R}_{{n}_{0}}\left({\mathbf{P}}^{m1},{\mathbf{A}}_{{n}_{0}}^{\ast},{\mathbf{B}}_{{n}_{0}}^{\ast}\right), we now use the randomized rounding (RR) algorithm, where N_{ s } samples of binary values are generated for variables \left\{{\mathbf{A}}_{{n}_{0}},{\mathbf{B}}_{{n}_{0}}\right\} by a randomized process with probability \left(\left\{{\mathbf{A}}_{{n}_{0}}^{\ast},{\mathbf{B}}_{{n}_{0}}^{\ast}\right\}\right). Each sample is denoted as \left\{{\mathbf{A}}_{{n}_{0}}^{\left(s\right)},{\mathbf{B}}_{{n}_{0}}^{\left(s\right)}\right\}. Finally, the feasible sample with the maximum {R}_{{n}_{0}} is assigned to \left\{{\mathbf{A}}_{{n}_{0}}^{\prime},{\mathbf{B}}_{{n}_{0}}^{\prime}\right\}.
During the decision step, we assign \left\{{\mathbf{A}}_{{n}_{0}}^{m},{\mathbf{B}}_{{n}_{0}}^{m}\right\} with
4.2 PA optimization
In this subsection, the PA stage for iteration m is considered. After setting the indicators to {A^{m},B^{m}}, the transmission modes are fixed in all cells. Let us denote by {\mathcal{S}}_{\mathit{\text{un}}}\left(d\right) ({\mathcal{S}}_{\mathit{\text{un}}}\left(r\right)) the set of subcarriers allocated to MS d_{ u n } in direct (relayaided) mode. Then, the objective function of problem (12) can be rewritten as R(P,A^{m},B^{m}), given by
Note that R is a nonconvex function due to the presence of interfering power terms in the denominators of {{\rm Y}}_{{\mathrm{d}}_{\mathit{\text{un}}},{t}_{1}}^{k},{{\rm Y}}_{{\mathrm{d}}_{\mathit{\text{un}}},{t}_{2}}^{k},{\Gamma}_{{\mathrm{r}}_{n}}^{k}, and {\Gamma}_{{\mathrm{d}}_{\mathit{\text{un}},{t}_{2}}}^{k}. To solve problem (12), we first replace it with an equivalent complementary geometric program (CGP; see Additional file 1) that is then addressed by means of the algorithm based on SCGP. Note that this methodology has also been used in [26] to tackle another optimization problem.
The equivalent CGP is obtained by formulating problem (12) as a minimization problem. Problem (12) is first converted into an equivalent one given by
where {e}^{R\left(\mathbf{P},{\mathbf{A}}^{m},{\mathbf{B}}^{m}\right)} is given by
and
Second, another equivalent formulation is obtained by introducing slack variables \left\{{R}_{n}^{{}^{\prime}}\right\} and {\mathbf{\Psi}}_{r}=\left\{{\Psi}_{r}^{\mathit{\text{unk}}},\forall u,n,k\in {\mathcal{S}}_{\mathit{\text{un}}}\left(r\right)\right\}. Then, problem (24) can be formulated as
where
Problem (30) consists of an objective function and bounding constraints which all are ratios of two posynomials, making the problem belong to the class of CGP [31]. Problem (30) cannot be made convex and is NPhard [32]. In order to solve it, the SCGP algorithm is now proposed. The proposed SCGP algorithm approximates the nonconvex problem (30) into a series of standard GPs. Therefore, it belongs to the class of successive convex approximation methods [33]. The SCGP is described in Algorithm 1. Integer m^{′} indicates the current iteration number, and a variable with superscripts m and m^{′} denotes the value obtained at the end of inner iteration m^{′} in outer iteration m.
Specifically in the proposed SCGP algorithm, we first set m^{′}=0 and initialize the PA vector P^{m,0} with P_{ini}. Each iteration m^{′} contains an SC stage followed by a standard geometric programming (SGP) stage.
During the SC stage, a GP approximation of problem (30) is constructed by using the method of Lemma 1 in [31] to condense all denominator posynomials \left\{{g}_{{\mathrm{d}}_{\mathit{\text{un}}},{t}_{1}}^{k},{g}_{{\mathrm{d}}_{\mathit{\text{un}}},{t}_{2}}^{{}^{\prime}k},{g}_{{\mathrm{r}}_{n}}^{k},{g}_{{\mathrm{d}}_{\mathit{\text{un}}},{t}_{2}}^{k}\right\} into monomials \left\{{\stackrel{~}{g}}_{{\mathrm{d}}_{\mathit{\text{un}}},{t}_{1}}^{k},{\stackrel{~}{g}}_{{\mathrm{d}}_{\mathit{\text{un}}},{t}_{2}}^{{}^{\prime}k},{\stackrel{~}{g}}_{{\mathrm{r}}_{n}}^{k},{\stackrel{~}{g}}_{{\mathrm{d}}_{\mathit{\text{un}}},{t}_{2}}^{k}\right\}. Specifically, the exact expressions of the monomials are given in Additional file 2. Functions {h}_{1}^{n,k}=\frac{{f}_{{\mathrm{r}}_{n}}^{k}}{{g}_{{\mathrm{r}}_{n}}^{k}{\Psi}_{r}^{\mathit{\text{unk}}}}, {h}_{2}^{n,k}=\frac{{f}_{{\mathrm{d}}_{\mathit{\text{un}}},{t}_{2}}^{k}}{{g}_{{\mathrm{d}}_{\mathit{\text{un}}},{t}_{2}}^{k}{\Psi}_{r}^{\mathit{\text{unk}}}} and {h}_{3}^{n,k}=\frac{1}{{R}_{n}^{{}^{\prime}}}{\left(\prod _{k\in {\mathcal{S}}_{\mathit{\text{un}}}\left(d\right)}\frac{{f}_{{\mathrm{d}}_{\mathit{\text{un}}},{t}_{1}}^{k}}{{g}_{{\mathrm{d}}_{\mathit{\text{un}}},{t}_{1}}^{k}}\frac{{f}_{{\mathrm{d}}_{\mathit{\text{un}}},{t}_{1}}^{k}}{{g}_{{\mathrm{d}}_{\mathit{\text{un}}},{t}_{2}}^{{}^{\prime}k}}\prod _{k\in {\mathcal{S}}_{\mathit{\text{un}}}\left(r\right)}{\Psi}_{r}^{\mathit{\text{unk}}}\right)}^{{\omega}_{n}} are approximated by, respectively, {\stackrel{~}{h}}_{1}^{n,k}=\frac{{f}_{{\mathrm{r}}_{n}}^{k}}{{\stackrel{~}{g}}_{{\mathrm{r}}_{n}}^{k}{\Psi}_{r}^{\mathit{\text{unk}}}}, {\stackrel{~}{h}}_{2}^{n,k}=\frac{{f}_{{\mathrm{d}}_{\mathit{\text{un}}},{t}_{2}}^{k}}{{\stackrel{~}{g}}_{{\mathrm{d}}_{\mathit{\text{un}}},{t}_{2}}^{k}{\Psi}_{r}^{\mathit{\text{unk}}}} and {\stackrel{~}{h}}_{3}^{n,k}=\frac{1}{{R}_{n}^{{}^{\prime}}}{\left(\prod _{k\in {\mathcal{S}}_{\mathit{\text{un}}}\left(d\right)}\frac{{f}_{{\mathrm{d}}_{\mathit{\text{un}}},{t}_{1}}^{k}}{{\stackrel{~}{g}}_{{\mathrm{d}}_{\mathit{\text{un}}},{t}_{1}}^{k}}\frac{{f}_{{\mathrm{d}}_{\mathit{\text{un}}},{t}_{1}}^{k}}{{\stackrel{~}{g}}_{{\mathrm{d}}_{\mathit{\text{un}}},{t}_{2}}^{{}^{\prime}k}}\prod _{k\in {\mathcal{S}}_{\mathit{\text{un}}}\left(r\right)}{\Psi}_{r}^{\mathit{\text{unk}}}\right)}^{{\omega}_{n}}. According to proposition 3 in [31], all the approximations satisfy the three conditions proposed in [33] for the convergence of the successive approximation method. By denoting \mathbf{\Theta}=\left\{\mathbf{P},\left\{{R}_{n}^{{}^{\prime}}\right\},{\mathbf{\Psi}}_{r}\right\}, the three conditions are listed as follows:

1.
Bounding condition: ∀Θ,
\begin{array}{l}{h}_{i}^{n,k}\left(\mathbf{\Theta}\right)\le {\stackrel{~}{h}}_{i}^{n,k}\left(\mathbf{\Theta}\right),\phantom{\rule{2.77626pt}{0ex}}\forall i=1,2,3.\end{array} 
2.
Tightness condition: At the beginning of iteration m ^{′},
\begin{array}{l}{h}_{i}^{n,k}\left({\mathbf{\Theta}}^{m,{m}^{\prime}1}\right)={\stackrel{~}{h}}_{i}^{n,k}\left({\mathbf{\Theta}}^{m,{m}^{\prime}1}\right),\phantom{\rule{2.77626pt}{0ex}}\forall i=1,2,3.\end{array} 
3.
Differential condition: At the beginning of iteration m ^{′}, ∀θ∈Θ,
\begin{array}{l}\frac{\partial {h}_{i}^{n,k}\left({\mathbf{\Theta}}^{m,{m}^{\prime}1}\right)}{\mathrm{\partial \theta}}=\frac{\partial {\stackrel{~}{h}}_{i}^{n,k}\left({\mathbf{\Theta}}^{m,{m}^{\prime}1}\right)}{\mathrm{\partial \theta}},\phantom{\rule{2.77626pt}{0ex}}\forall i=1,2,3.\phantom{\rule{2em}{0ex}}\end{array}
After the SC stage, problem (30) is formulated by a standard GP. The SGP stage amounts to solving the GP by means of a standard GP solver, e.g., the software provided in [34]. The output provided by this stage corresponds to {\mathbf{P}}^{m,{m}^{\prime}}.
Thanks to the three conditions fulfilled during the SC stage, our proposed SCGP algorithm is a general inner approximation algorithm [33], which will converge to a local optimum satisfying the KKT conditions of problem (30) according to corollary 1 of [33]. In practice, the iterations of the SCGP algorithm will be stopped when \left\right{\mathbf{P}}^{m,{m}^{\prime}}{\mathbf{P}}^{m,{m}^{\prime}1}\left\right\le {\epsilon}_{1} or when m^{′} exceeds a prescribed value M^{′}.
4.3 The proposed RA algorithm and its characteristics
Based on the algorithms proposed at both the MSSA stage and the PA stage, we now propose the overall RA algorithm as follows:
Specifically in the proposed RA algorithm, we first set m=0 and initialize the power P^{0} by uniform power allocation (UPA). Each iteration consists of the MSSA stage and the PA stage. During the MSSA stage of iteration m, we set P=P^{m−1} and decouple problem (12) into n MILPs, which can be solved by either typical MILP solvers (named the MSSA algorithm) or the RRMSSA algorithm and the DRMSSA algorithm proposed in Section 4.1. Note that both the RRMSSA algorithm and the DRMSSA algorithm can be solved in polynomial time. The output delivered is denoted as A^{m} and B^{m}. Finally, we have R(P^{m−1},A^{m−1},B^{m−1})≤R(P^{m−1},A^{m},B^{m}).
During the PA stage of iteration m, we set A=A^{m}, B=B^{m} and solve problem (12) using the SCGP algorithm proposed in Section 4.1. The output delivered is denoted as P^{m}. As shown in Section 4.2, the solutions of the approximated GP problems converge to a local optimum satisfying the KarushKuhnTucker (KKT) conditions of the nonconvex problem. Note that as each standard GP can be solved in polynomial time [32], P^{m} will be obtained in polynomial time after the convergence of the SCGP algorithm. Finally, we have R(P^{m−1},A^{m},B^{m})≤R(P^{m},A^{m},B^{m}).
Considering the proposed RA algorithm, we now have
where E1 and E2 are due to effects of the MSSA stage and the PA stage, respectively. This means that Algorithm 2 yields nondecreasing sum rates with iterations. Moreover, the optimum sum rate is upper bounded due to the total power constraint in each cell. Thus, the sum rate values will not increase indefinitely with iterations, meaning that the iterations will eventually converge. Algorithm 2 will stop when the sum rate increase is below a prescribed value ε_{2} or when m reaches a prescribed value M.
At the end of iteration m, a local optimum of the formulated problem is obtained at the SCGP stage, which is then improved at the MSSA stage of the next iteration. After that, a better local optimum can be calculated at the SCGP stage of iteration m+1. Finally, a good local optimum can be obtained after convergence. As both problems at two stages can be solved by the proposed algorithms in polynomial time, the formulated problem can be solved by Algorithm 2 in polynomial time.
We now propose Theorem 2 as follows:
Theorem 2. After the convergence of Algorithm 2, percell user fairness is reached, meaning that every user in the same cell obtains the same transmission rate.
Proof. As mentioned before, after the convergence of Algorithm 2, a local optimum of problem (12) is obtained. Let us denote the optimal solutions as A^{∗}, B^{∗}, and P^{∗}. Thus, for the local optimum, there exists r>0, such that ∀P∈B_{ r }(P^{∗}),R(P,A^{∗},B^{∗})≤R(P^{∗},A^{∗},B^{∗}). Here, B_{ r }(P^{∗})={P  d(P,P^{∗})<r} is the open ball with center P^{∗} and radius r, where d(P,P^{∗}) denotes the Euclidean distance between P and P^{∗}. Let us assume ∃n where {\stackrel{~}{\mathcal{V}}}_{n}\ne \varnothing. Following the methodology similar to the proof of Theorem 1, there exists matrices S,C,T and P_{1}=S C T P^{∗}∈B_{ r }(P^{∗}), such that R(P_{1},A^{∗},B^{∗})>R(P^{∗},A^{∗},B^{∗}). Here, each element of S,C, and T takes the value from (0,1],(0,1], and [ 1,∞), respectively. This obviously contradicts the previous optimality statement, and {\stackrel{~}{\mathcal{V}}}_{n}=\varnothing, which concludes the proof of Theorem 2.
5 Numerical experiments
In this section, the performance of our proposed RA algorithm as well as the benefits of using OR and the HSE protocol will be discussed. To illustrate the convergence and effectiveness of the algorithm, the rates of all users and the WSMRs are first presented for one particular channel realization. Then, the results are provided and discussed for the performance of the algorithms averaged over many channel realizations. Note that we introduce the MSSAbased algorithm, the RRMSSAbased algorithm, and the DRMSSAbased algorithm to denote the proposed iterative RA algorithms which adopt the MSSA algorithm, the RRMSSA algorithm, and the DRMSSA algorithm, respectively, at the MSSA stage.
5.1 System setup
For the purpose of illustration, a multicell OFDMA system with N=3 coordinated cells and K=32 available subcarriers is considered. Each cell contains U=4 MSs. Figure 1 shows the positions of the BSs, the RSs, and the MSs expressed in meters. Specifically, the coordinates of BS 1, 2, and 3 are \left(100\sqrt{3},100\right), \left(100\sqrt{3},100\right), and (0,200), respectively. Also, the coordinates of RS 1, 2, and 3 are \left(100\sqrt{3},60\right), \left(100\sqrt{3},60\right), and (0,160), respectively. Each member of the MS group {\mathcal{U}}_{n} in cell n is located randomly and uniformly inside a confined region of that cell, which is depicted as a blue box in Figure 1.
The channel impulse response (CIR) of each link is drawn randomly from an 8tap delay line model, where each tap has a circular complex Gaussian distribution with zero mean and variance as {\sigma}_{i}^{2}. We further assume \frac{{\sigma}_{i}^{2}}{{\sigma}_{i+1}^{2}}={e}^{3}, meaning that the tap power decreases exponentially with a coefficient 3. Moreover, \sum _{i}{\sigma}_{i}^{2}={d}^{3}, meaning that the received power decreases exponentially with distance d and the propagation exponent equals 3. Finally, the CFR of each link is computed from its CIR using the Kpoint FFT. Each cell is assumed to have the same total power constraint, and we set ω_{ n }=1,P_{t,n}=P_{ t },∀n, σ^{2}=−70 dBm, ε_{1}=R_{ini}/100, and ε_{2}=R_{ini}/100. Here, R_{ini} denotes the sum rate calculated with the initial RA results at the beginning of each iteration.
5.2 Results for a random realization of channels
In order to illustrate the convergence and effectiveness of three RA algorithms, we set P_{ t }=20 dBm and U=4. The positions of MSs and a set of channels are randomly generated. Specifically, the coordinates of d_{11}, d_{12}, d_{13}, d_{14}, d_{21}, d_{22}, d_{23}, d_{24}, d_{31}, d_{32}, d_{33}, and d_{34} are (−110.9,−29.6), (−57,−34.9), (−76.9,−53.9), (−122.9,−73.6), (72.5,−35), (121.4,−0.1), (66.9,−49.5), (110.6,−73.4), (−3.2,130.8), (−32.6,78.9), (14.6,115.1), and (15.2,72.2), respectively.
As shown in Figure 2, using the three proposed algorithms, the WSMRs keep increasing continuously and converge smoothly to the final rate. After convergence, the WSMRs are increased by around 74%, 73%, and 55% using the MSSAbased algorithm, the RRMSSAbased algorithm, and the DRMSSAbased algorithm, respectively. Compared to the MSSAbased algorithm, the RRMSSAbased algorithm has similar performance and less complexity. Thus, it is preferred for practical implementation.
Figure 3 shows the optimized user rates in three cells using three RA algorithms. After the convergence of each RA algorithm, the minimal user rate in each cell is enhanced and all users in the same cell obtain the same rates. Therefore, the fairness of our algorithms is illustrated.
5.3 Results averaged over channel distribution
In order to illustrate the average performance of our proposed RA algorithms, 100 random realizations of channels are generated with U=8. We set up different total power constraints ranging from 0 to 50 dBm. To show the benefit of using OR and the HSE protocol, we now compare the proposed protocol with a FR protocol and a LSE protocol. Specifically, the FR protocol is the same as the proposed protocol except that all subcarriers are forced to be in relayaided mode. The LSE protocol is also the same as the proposed protocol except that all direct mode subcarriers are activated only during the first TS. We also compare the performances of the MSSAbased algorithm, the RRMSSAbased algorithm, and the DRMSSAbased algorithm.
Figure 4 adopts the MSSAbased algorithm. It appears that the average WSMR is increased significantly after optimization, especially when P_{ t } takes high values. This confirms the effectiveness of our proposed algorithm. Figure 5 provides the average WSMRs for the FR protocol, the LSE protocol, and the proposed protocol. We can see that the proposed protocol performs much better than the other two protocols. Thus, the effectiveness of using OR and the HSE protocol is illustrated. Figure 6 provides the average WSMRs of using the MSSAbased algorithm, the RRMSSAbased algorithm, and the DRMSSAbased algorithm. We can see that the RRMSSAbased algorithm performs similarly as the MSSAbased algorithm and better than the DRMSSAbased algorithm. Note that the RRMSSAbased algorithm can be solved in polynomial time. Thus, it offers a good tradeoff between the performance and the complexity.
6 Conclusion
We have considered a multicell OFDMA downlink system where the BS transmissions are aided by a DF RS with OR and the HSE protocol. Assuming a central controller, we have formulated the WSMR maximization problem with percell total power constraints. Three iterative RA algorithms have been proposed, and their convergence as well as fairness characteristics were proven. Through numerical experiments, the convergence and effectiveness of the proposed algorithms as well as the benefit of using OR and the HSE protocol have been illustrated. Future work will be devoted to considering signal combining schemes at the destinations and AF/compressandforward (CF) relaying protocols with subcarrier pairing. Moreover, the case of multiple RSs and individual power constraints will also be investigated.
Abbreviations
 AWGN:

additive white Gaussian noise
 AF:

amplify and forward
 BS:

base station
 CCI:

cochannel interference
 CF:

compressandforward
 CFR:

channel frequency response
 CGP:

complementary geometric program
 CIR:

channel impulse response
 CSI:

channel state information
 DF:

decode and forward
 DR:

direct rounding
 DRMSSA:

direct roundingbased MSSA
 GP:

geometric program
 HSE:

high spectrum efficiency
 KKT:

KarushKuhnTucker
 LSE:

low spectrum efficiency
 MILPs:

mixed integer linear programs
 MSSA:

mode selection and subcarrier assignment
 MS:

mobile station
 OFDM:

orthogonal frequency division modulation
 OFDMA:

orthogonal frequency division multiple access
 OR:

opportunistic relaying
 PA:

power allocation
 RA:

resource allocation
 RR:

randomized rounding
 RRMSSA:

randomized roundingbased MSSA
 RS:

relay station
 SCGP:

single condensation and geometric programming
 SGP:

standard geometric programming
 SINR:

signaltointerferenceplusnoise ratio
 TS:

time slot
 WSMR:

weighted sum of per cell minrate.
References
Pabst R, Walke BH, Schultz DC, Herhold P, Yanikomeroglu H, Mukherjee S, Viswanathan H, Lott M, Zirwas W, Dohler M, Aghvami H, Falconer DD, Fettweis GP: Relaybased deployment concepts for wireless and mobile broadband radio. IEEE Commun. Mag 2004, 42(9):8089. 10.1109/MCOM.2004.1336724
Laneman JN, Wornell GW: Distributed spacetimecoded protocols for exploiting cooperative diversity in wireless networks. IEEE Trans. Inform. Theor 2003, 49(10):2415242. 10.1109/TIT.2003.817829
Laneman JN, Tse DNC, Wornell GW: Cooperative diversity in wireless networks: efficient protocols and outage behavior. IEEE. Trans. Inform. Theor 2004, 50(12):30623080. 10.1109/TIT.2004.838089
Wang W, Yan S, Yang S: Optimally joint subcarrier matching and power allocation in OFDM multihop system. Eurasip J. Adv. Signal Process 2008, 2008: 18.
Wang W, Wu R: Capacity maximization for OFDM twohop relay system with separate power constraints. IEEE Trans. Veh. Tech 2009, 58(9):49434954.
Li Y, Wang W, Kong J, Peng M: Subcarrier pairing for amplifyandforward and decodeandforward OFDM relay links. IEEE Comm. Lett 2009, 13(4):209211.
Wang T: Weighted sum power minimisation for multichannel decodeandforward relaying. IET Electron. Lett 2012, 48(7):410411. 10.1049/el.2012.0258
Vandendorpe L, Duran RT, Louveaux J, Zaidi A: Power allocation for OFDM transmission with DF relaying. In IEEE International Conference on Communications. IEEE, Beijing; 2008:37953800.
Louveaux J, Duran RT, Vandendorpe L: Efficient algorithm for optimal power allocation in OFDM transmission with relaying. In IEEE ICASSP 2008. IEEE, Las Vegas; 2008:32573260.
Ng TCY, Yu W: Joint optimization of relay strategies and resource allocations in cooperative cellular networks. IEEE J. Sel. Area Comm 2007, 25(2):328339.
Ying W, Xinchun Q, Tong W, Baoling L: Power allocation and subcarrier pairing algorithm for regenerative OFDM relay system. In IEEE VTC2007Spring. IEEE Dublin; 2007:27272731.
Li Y, Wang W, Kong J, Hong W, Zhang X, Peng M: Power allocation and subcarrier pairing in OFDMbased relaying networks. In IEEE International Conference on Communications, 2008. IEEE, Beijing; 2008:26022606.
Hajiaghayi M, Dong M, Liang B: Optimal channel assignment and power allocation for dualhop multichannel multiuser relaying. In IEEE INFOCOM 2011. IEEE, Shanghai; 2011:7680.
Vandendorpe L, Louveaux J, Oguz O, Zaidi A: Improved OFDM transmission with DF relaying and power allocation for a sum power constraint. In 3rd International Symposium on Wireless Pervasive Computing. IEEE, Santorini; 2008:665669.
Vandendorpe L, Louveaux J, Oguz O, Zaidi A: Power allocation for improved DF relayed OFDM transmission: the individual power constraint case. In IEEE International Conference on Communications. IEEE, Dresden; 2009:16.
Vandendorpe L, Louveaux J, Oguz O, Zaidi A: Rateoptimized power allocation for DFrelayed OFDM transmission under sum and individual power constraints. EURASIP J. Wirel. Commun. Netw 2009, 2009(11):111.
Hsu CN, Su HJ, Lin PH: Joint subcarrier pairing and power allocation for OFDM transmission with decodeandforward relaying. IEEE Trans. Signal Process 2011, 59(1):399414.
Wang T, Vandendorpe L: Wsr maximized resource allocation in multiple DF relays aided OFDMA downlink transmission. IEEE Trans. Signal Process 2011, 59(8):39643976.
Wang T, Vandendorpe L: Sum rate maximized resource allocation in multiple DF relays aided OFDM transmission. IEEE J. Sel. Area Comm 2011, 29(8):15591571.
Boostanimehr H, Bhargava VK: Selective subcarrier pairing and power allocation for DF OFDM relay systems with perfect and partial CSI. IEEE Trans. Wireless Comm 2011, 10(12):40574067.
Liu Y, Tao M: An optimal graph approach for optimizing OFDMA relay networks. In 2012 IEEE ICC. IEEE, Ottawa; 2012:42774281.
Wang T, Fang Y, Vandendorpe L: Power minimization for OFDM transmission with subcarrierpair based opportunistic DF relaying. IEEE Comm. Lett 2013, 17(3):471474.
Wang T, Glineur F, Louveaux J, Vandendorpe L: Weighted sum rate maximization for downlink OFDMA with subcarrierpair based opportunistic DF relaying. IEEE Trans. Signal Process 2013, PP(99):11.
Dang W, Tao M, Mu H, Huang J: Subcarrierpair based resource allocation for cooperative multirelay OFDM systems. IEEE Trans. Wireless Comm 2010, 9(5):16401649.
Himayat N, Talwar S, Rao A, Soni R: Interference management for 4G cellular standards [WIMAX/LTE UPDATE]. IEEE Comm. Mag 2010, 48(8):8692.
Jin Z, Vandendorpe L: Resource allocation in multicellular DF relayed OFDMA systems. In IEEE Global Telecommunications Conference. IEEE, Houston; 2011:15.
Salem M, Adinoyi A, Yanikomeroglu H, Falconer D: Opportunities and challenges in OFDMAbased cellular relay networksa radio resource management perspective. IEEE Trans. Veh. Tech 2010, 59(5):24962510.
Salem M, Adinoyi A, Rahman M, Yanikomeroglu H, Falconer D, Kim YD, Kim E, Cheong YC: An overview of radio resource management in relayenhanced OFDMAbased networks. IEEE Commun. Surv. Tutorials 2010, 12(3):422438.
Ng DWK, Schober R: Resource allocation and scheduling in multicell OFDMA systems with decodeandforward relaying. IEEE Trans. Wireless Comm 2011, 10(7):22462258.
Wang T, Vandendorpe L: Iterative resource allocation for maximizing weighted sum minrate in downlink cellular OFDMA systems. IEEE Trans. Signal Process 2011, 59(1):223234.
Chiang M, Tan CW, Palomar DP, O’Neill D, Julian D: Power control by geometric programming. IEEE Trans. Wireless Comm 2007, 6(7):26402651.
Chiang M: Geometric programming for communication systems. Foundations Trends Commun. Inform. Theory 2005, 2: 1156. 10.1561/0100000005
Marks BR, Wright GP: A general inner approximation algorithm for nonconvex mathematical programs. Oper. Res 1978, 26(4):681683. 10.1287/opre.26.4.681
Boyd SP: Software. Accessed 1 Feb 2014 http://stanford.edu/~boyd/software.html
Avriel M, Williams AC: Complementary geometric programming. SIAM J. Appl. Math 1970, 19(1):125141. 10.1137/0119011
Acknowledgments
The authors would like to thank Prof. S. Boyd for sharing the GGPLAB toolbox online, the China Scholarship Council (CSC) for funding this work, and the Belgian Science Policy Office (BELSPO) for the support of the Interuniversity Attractive Poles Programme (IAP) BESTCOM network. The work of T. Wang is supported by the Program for Professor of Special Appointment (Eastern Scholar) at Shanghai Institutions of Higher Learning.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Electronic supplementary material
13638_2013_900_MOESM2_ESM.pdf
Additional file 2: Exact expressions of the condensed monomials in Section 4.2. In this file, exact expressions of the condensed monomials in Section 4.2 are given. (PDF 636 KB)
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.