Abstract
Perspective functions have long been used to convert fractional programs into convex programs. More recently, they have been used to form tight relaxations of mixedinteger nonlinear programs with socalled indicator variables. Motivated by a practical application (maximising energy efficiency in an OFDMA system), we consider problems that have a fractional objective and indicator variables simultaneously. To obtain a tight relaxation of such problems, one must consider what we call a “biperspective” (BiP) function. An analysis of BiP functions leads to the derivation of a new kind of cutting planes, which we call “BiPcuts”. Computational results indicate that BiPcuts typically close a substantial proportion of the integrality gap.
Introduction
Let y be a vector of n continuous variables, and let f(y) be a real function of y that is defined over a convex domain \(C \subseteq \mathbb {R}_+^n\). The perspective function of f takes the form tf(y/t), where t is a new continuous variable, and is defined over the domain \(t \in \mathbb {R}_+\), \(y \in tC\) [9, 17]. (By convention, the perspective function takes the value zero when \(t = 0\) and y is the origin.) It is known that the perspective function of f(y) is convex (or concave) if and only if f(y) is convex (or concave) [17].
Perspective functions have a wide range of uses in, e.g., convex analysis, optimisation, statistics, signal processing and machine learning (see [4] for a recent survey). In this paper, we focus on two uses in optimisation. The first is to convert fractional programs into convex optimisation problems, and thereby render them easier to solve [3, 19]. The second is to reformulate certain mixedinteger nonlinear programs (MINLPs), in such a way that the continuous relaxation is strengthened [6, 7]. The MINLPs in question are those with socalled indicator variables.
Recently, while studying certain problems arising in the context of mobile wireless communications, we encountered an MINLP that exhibited both of these features (i.e., a fractional objective and indicator variables) simultaneously. It turns out that, in order to obtain tight convex relaxations of such problems, one needs to study a new kind of function, which we call a biperspective (BiP) function. These functions are the topic of this paper.
Unfortunately, it turns out that the BiP function of a concave function is not concave in general. To deal with this, we characterise the concave envelope of a BiP function over a rectangular domain. We then derive a family of linear inequalities, which we call BiP cuts, that completely describe the concave envelope. We also show how to generalise the BiP cuts when there are “multiplechoice” constraints, stating that two or more indicator variables cannot take the value 1 simultaneously. Finally, we report the results of some computational experiments. It turns out that, for our particular problem, the new cuts typically close over 95% of the integrality gap.
The paper is structured as follows. The relevant literature is reviewed in Sect. 2. In Sect. 3, we present the theoretical results concerning BiP functions and BiP cuts. In Sect. 4, we consider the multiplechoice case. In Sect. 5, we give details of our practical application. Computational results are given in Sect. 6, and concluding remarks are made in Sect. 7.
Literature review
Now we briefly review the relevant literature. We cover perspective functions and perspective cuts in Sects. 2.1 and 2.2, respectively. In Sect. 2.3, we give some background on optimisation in mobile wireless communications.
Perspective functions
As mentioned in the introduction, two particular uses of perspective functions will turn out to be of importance to us. These are as follows.

1.
Consider a fractional program of the form:
$$\begin{aligned} \max \Big \{ f(y)/g(y) : \, x \in C \Big \}, \end{aligned}$$where \(C \subseteq \mathbb {R}^n\) is convex, f(y) is nonnegative and concave over the domain C, and g(y) is positive and convex over the domain C. It is known [3, 19] that such a problem can be reformulated as
$$\begin{aligned} \max \Big \{ tf(y'/t): \; tg(y'/t) \le 1, \; y' \in t C, \; t > 0 \Big \}, \end{aligned}$$where t is a new nonnegative variable representing 1/g(y), and \(y'\) is a new vector of variables representing y/g(y). The reformulated problem can often be solved efficiently, since the objective function is concave and the feasible region is convex.

2.
Consider an MINLP of minimisation type, in which the cost function contains a term f(y), where y is a vector of continuous variables and f is a convex function. Suppose that the MINLP also contains an indicator variable, i.e., a binary variable x with the property that, if x takes the value zero, then all of the components of y must also take the value zero. Then the continuous relaxation of the MINLP is strengthened, while maintaining convexity, if we replace f(y) with the perspective function xf(y/x) [6, 7]. (For a generalisation, see [1].)
Perspective cuts
One problem with perspective functions is that they are nondifferentiable at the origin. Moreover, they become increasingly illconditioned as t approaches zero from above. This can cause algorithms for convex optimisation (or indeed convex MINLP) to run into serious numerical difficulties. To get around this, Frangioni and Gentile [6] proposed to approximate perspective functions using linear inequalities. They show that imposing a nonlinear constraint of the form \(z \ge x f(y/x)\), where f is a convex function and x is an indicator variable, is equivalent to imposing the linear constraints
for all \(\bar{y}\) in the domain of y. The constraints (1) are called perspective cuts. Although the perspective cuts are infinite in number, they can be very useful as cutting planes within an exact algorithm for convex MINLPs with indicator variables (see again [6, 7]).
Note that the classical Kelley cuts [10] for the function f(y) take the form
Thus, the perspective cuts can be viewed as strengthened Kelley cuts.
Optimisation in mobile wireless communications
In mobile wireless communications, mobile devices (such as smartphones or tablets) communicate with one another via socalled base stations. Each base station must periodically allocate its available resources (time, power and bandwidth) in order to receive and transmit data efficiently (see, e.g., [5, 8, 16]).
These days, many base stations follow an Orthogonal FrequencyDivision Multiple Access (OFDMA) architecture. In an OFDMA system, we have a set I of communication channels, called subcarriers, and a set J of users. Each subcarrier can be assigned to at most one user, but a user may be assigned to more than one subcarrier. If we let \(p_i\) denote the power (in watts) assigned to subcarrier i, the classical Shannon–Hartley theorem [21] states that the maximum data rate (in bits per second) that can be transmitted from subcarrier i is:
where \(B_i\) is the bandwidth of subcarrier i (in hertz), and \(N_i\) is the level of noise in channel i (in watts). We remark that \(f_i(p_i)\) is concave over the domain \(p_i \ge 0\). Moreover, if we let \(S_j \subset I\) denote the set of subcarriers allocated to user j, the total data rate for user j is just \(\sum _{i \in S_j} f_i(p_i)\).
A wide variety of optimisation problems concerned with OFDMA systems have been considered, with various objectives and sideconstraints (see, e.g., [11, 12, 14, 15, 20, 22,23,24,25,26]). Recently, driven by environmental considerations, some authors working on OFDMA systems have focused on maximising energy efficiency, which is defined as total data rate divided by total power (e.g., [22,23,24, 26]). This leads immediately to a fractional objective function, which is what led us to the present paper.
Biperspective functions and cuts
This section is concerned with biperspective (BiP) functions and cuts. In Sect. 3.1, we define BiP functions and point out that they are neither convex nor concave in general. In Sect. 3.2, we show how to compute concave overestimators of BiP functions. Then, in Sect. 3.3, we present the BiP cuts.
BiP functions
To begin, we give a formal definition of BiP functions.
Definition 1
Let y be a vector of n continuous variables, let f(y) be a real function of y that is defined over a convex domain \(C \subseteq \mathbb {R}_+^n\), let x be an indicator variable, and let t be a continuous variable with domain \([\ell ,u]\), where \(0< \ell < u\). The function
with domain \(x \in [0,1]\), \(t \in [\ell ,u]\) and \(y \in x \, t \, C\), will be called the “biperspective” (BiP) function of f(y). (By convention, the BiP function takes the value zero when \(x \, t = 0\) and y is the origin.)
Whereas standard perspective functions preserve convexity and/or concavity, the same is not true for BiP functions. This is shown by the following example.
Example 1
Let \(f(y) = 1\) for all \(y \in C\). The BiP function g(x, t, y) is just xt, with domain \(x \in [0,1]\), \(t \in [\ell ,u]\) and \(y \in xtC\). Since it is an indefinite quadratic function, it is neither convex nor concave over the given domain. \(\square \)
Concave envelope
Now suppose that f(y) is concave over C. Since the corresponding BiP function g(x, t, y) is not guaranteed to be concave over its domain, it is natural to seek the strongest possible concave overestimating function (sometimes called the concave envelope). We will let h(x, t, y) denote this function. The following theorem expresses h(x, t, y) as the solution to an optimisation problem in the single continuous variable \(t'\).
Theorem 1
For any concave function f(y) with convex domain C, the concave envelope h(x, t, y) of the BiP function of f is equal to:
Proof
Theorem 1 of [2], together with the disjunction \((x = 0) \vee (x = 1)\), implies that h(x, t, y) is equal to:
Eliminating \(x_0\) and \(x_1\), and using the fact that \(y^0\) must be the origin, this reduces to:
We can now replace \(\theta _1\) and \(\theta _0\) with x and \(1x\), respectively, to give:
Next, we can replace \(y^1\) with y/x, to give:
Finally, we eliminate \(t_0\), and replace \(t_1\) with \(t'\) to get the result. \(\square \)
In general, one must use calculus to solve the optimisation problem (2)–(4). In some important special cases, however, it is possible to obtain a closedform solution. To show this, we will need the following two definitions.
Definition 2
The function f(y) is said to be tincreasing if
holds for all \(t \in [\ell ,u)\), \(0 \le \epsilon \le ut\) and \(y \in t C \cap (t+\epsilon )C\).
Definition 3
The function f(y) is said to be tdecreasing if
holds for all \(t \in [\ell ,u)\), \(0 \le \epsilon \le ut\) and \(y \in t C \cap (t+\epsilon )C\).
We then have the following two results:
Proposition 1
If f(y) is concave and tincreasing over convex domain C, then
Proof
In this case, the optimum in (2)–(4) is obtained by setting \(t'\) to its maximum possible value, which is \(\min \Big \{ u, \, \big ( t  \ell (1x) \big )/x \Big \}\). \(\square \)
Proposition 2
If f(y) is concave and tdecreasing over convex domain C, then
Proof
In this case, the optimum in (2)–(4) is obtained by setting \(t'\) to its minimum possible value, which is \(\max \Big \{ \ell , \, \big ( t  u (1x) \big )/x \Big \}\). \(\square \)
An obvious sufficient condition for a concave function to be tincreasing is for it to be nonnegative and nondecreasing. The following proposition gives a rather different sufficient condition.
Proposition 3
If \(0 \in C\) and \(f(0) \ge 0\), then f(y) is tincreasing.
Proof
Since f(y) is concave, we have
Given that \(\epsilon > 0\), \(t \ge \ell > 0\) and \(f(0) \ge 0\), we have
Multiplying both sides by \(t+\epsilon \) yields the stated result. \(\square \)
Checking whether f(y) is tdecreasing, on the other hand, is more difficult. In particular, it is not sufficient for f(y) to be nonpositive and nondecreasing. For example, the function \(f(y) = 2^y\) is nonpositive and nondecreasing over the domain \(\mathbb {R}_+\), but it is not tdecreasing, since \(0.6 f(1/0.6) \approx 1.905 > 0.5 f(1/0.5) = 2\). The same function also shows that it is not sufficient to have \(0 \in C\) and \(f(0) \le 0\). On the other hand, tdecreasing functions do exist. A trivial example is \(f(y) = 1\). A more complex example is \(f(y) = \sqrt{y^2+1}\).
BiP cuts
Observe that the nonlinear function (5) is nondifferentiable not only when \(x t = 0\), but also when \(u = t  \ell (1x)\). This suggests that standard NLP solvers could struggle to handle functions of the form (5). Moreover, there are situations in which one might prefer to use an LP (or MILP) solver rather than an NLP (or MINLP) solver. So, following Frangioni and Gentile [6], we consider the hypograph of h(x, t, y), i.e., the set
The following proposition gives a complete description of H by linear inequalities, for the case in which f(y) is tincreasing.
Proposition 4
When f(y) is tincreasing over C, the hypograph H is described by the linear inequalities
for \({\bar{y}} \in C\).
Proof
Let \(H^+\) denote the set of 6tuples \(\big ( x,t,y,z,\alpha _1,\alpha _2 \big )\) satisfying
Given that the Eqs. (9) and (10) are linear, \(H^+\) is an affine image of H. Moreover, using exactly the same argument as in [6], one can show that \(H^+\) is described by the constraints (8) together with the following perspective cuts:
Eliminating \(\alpha _1\) and \(\alpha _2\) yields the result. \(\square \)
We will call constraints (6) and (7) type1 and type2 BiP cuts, respectively. Note that the type1 cuts can be derived as standard perspective cuts from the modified perspective function uxf(y/(ux)). The type2 cuts, on the other hand, are harder to interpret.
We now make some remarks about BiP cuts.
Remark 1 The type 1 BiP cuts pass through all points satisfying \(t = \ell \), \(y = 0\) and \(z = 0\), along with the point \(x = 1\), \(t = u\), \(y = u \, {\bar{y}}\) and \(z = u \, f \big ( \frac{\bar{y}}{u} \big )\). Thus, they define maximal faces of H whenever the point \(\big ( {\bar{y}}, f({\bar{y}}) \big )\) lies on a maximal face of the hypograph of the original function f(y). A similar argument applies to the type2 BiP cuts.
Remark 2 If we reduce the domain of t, the BiP cuts become stronger. Thus, if one wishes to make the cuts as tight as possible, it may be worthwhile applying “domain reduction” techniques (see, e.g., [18]) to t.
Remark 3 Let \((x^*, t^*, y^*, z^*)\) be the solution to some relaxation. To solve the separation problem for type1 BiP cuts, it suffices to compute the quantity \(u x^* \, f \left( \frac{y^*}{u x^*} \right) \). If this quantity is less than \(z^*\), then a cut is violated and the vector \(\bar{y}\) yielding the cut is \(y^*/ux^*\). Similarly, to solve the separation problem for type2 BiP cuts, it suffices to compute \(\big ( t^*  \ell (1  x^*) \big ) \, f \left( \frac{y^*}{t^*  \ell (1  x^*)} \right) \) and compare it with \(z^*\).
BiP cuts and multiplechoice constraints
It is very common in integer programming to encounter constraints which state that at most one of a set of binary variables can take a positive value. Such constraints go by various names, such as multiplechoice constraints, clique constraints or generalised upper bounds. In this subsection, we consider the case in which each of the variables in the given set is an indicator variable.
To be more precise, suppose we have:

positive constants \(\ell , u\) with \(\ell < u\);

an integer \(m \ge 2\) and positive integers \(n_1, \ldots , n_m\);

a convex domain \(C_j \subseteq \mathbb {R}^{n_j}\) for \(j = 1, \ldots , m\);

a tincreasing concave function \(f_j: \mathbb {R}^{n_j} \rightarrow \mathbb {R}\) for \(j = 1, \ldots , m\).
Let Q denote the set of quadruples (x, y, z, t) satisfying
Note that all points in Q satisfy the (nonconvex) constraints
provided that, as usual, we use the convention that the righthand side evaluates to zero when \(t x_j\) is zero. Together with Remark 3 in Sect. 3.2, this implies that all points in Q satisfy the convex constraints:
From this, one can derive one family of type1 and type2 BiP cuts for each value of j.
Perhaps surprisingly, the addition of the constraints (18), (19) to the system (12)–(17) does not yield a complete description of the convex hull of Q. This is shown in the following example.
Example: Let \(\epsilon \) be a small positive constant. Suppose that (i) \(\ell = \epsilon \) and \(u = 1\); and (ii) \(n_j = 1\), \(C_j = [0,1]\) and \(f_j \big ( y^j_1 \big ) = \big ( y^j_1 \big )^{\epsilon }\) for all j. Consider the fractional point obtained by setting t to \(\epsilon \), all x and y variables to 1/m, and all z variables to \(\epsilon /(m \epsilon )^{\epsilon }\). One can check that this point satisfies (18) and (19) for all j, and therefore all BiP cuts. Now, observe that all points in Q satisfy the following convex inequality:
The abovementioned fractional point does not satisfy this, since the left and righthand sides evaluate to \((m\epsilon )^{1\epsilon }\) and \(\epsilon ^{1\epsilon }\), respectively. Accordingly, the point cannot lie in the convex hull of Q. \(\Box \)
Now, for any \(j \in \{1, \ldots , m\}\) and any \({\bar{y}}^j \in C^j\), let \({\bar{y}}^j\) denote \(f_j({\bar{y}}^j)  \nabla f_j ({\bar{y}}^j) \cdot {\bar{y}}^j\). The following theorem presents a huge family of valid inequalities, which generalise the type2 BiP cuts (7).
Theorem 2
Let S be any nonempty subset of \(\{1, \ldots , m\}\). For each \(j \in S\), let \({\bar{y}}^j\) be any point in \(C^j\) such that \({\bar{y}}^j > 0\). Then the linear inequality
is satisfied by all points in Q.
Proof
We consider two cases:
Case 1: \(x_j = 0\) for all \(j \in S\). This forces \(y^j_i\) to be zero for all \(j \in S\) and for \(i = 1, \ldots , n_j\). This in turn forces \(z_j\) to be zero for all \(j \in S\). Thus, the inequality reduces to \(t \ge a\), which is trivially valid.
Case 2: \(x_j = 1\) for some \(j \in S\). This forces \(x_k\) to be zero for all \(k \in S \setminus \{j\}\), along with the associated y and z variables. Thus, the inequality reduces to
Multiplying this by \({\bar{y}}^j\) we obtain:
This last inequality can be derived from the (convex) constraint \(z_j \le t f_j(y^j/t )\), in exactly the same way as the perspective cuts. \(\square \)
We call the constraints (20) multiplechoice BiP cuts, or MC cuts for short. They reduce to type2 BiP cuts when \(S = 1\).
The separation problem for MC cuts can be solved in polynomial time as follows. Let \(\big ( x^*,y^*,z^*,t^* \big )\) be the point to be separated. For \(j = 1, \ldots , m\), compute \(\ell x^*_j f \big ( (y^j)^*/(\ell x^*_j) \big )\). If this quantity is less than \(z^*_j\), then insert j into S and set \({\bar{y}}^j\) to \((y^j)^*/(\ell x^*_j)\); otherwise, do not insert j into S. Once this has been done for all j, check the MC cut for violation.
Application to OFDMA systems
We now apply the theoretical results in the last section to an optimisation problem associated with OFDMA systems. In Sect. 5.1, we define our problem formally and model it as a mixed 0–1 fractional program with indicator variables. In Sect. 5.2, we reformulate the problem as a semiinfinite mixed 0–1 linear program. In Sect. 5.3, we show how to strengthen the semiinfinite formulation using BiP cuts.
The problem
Let I, J, \(B_i\), \(N_i\) and \(f_i\) be defined as in Sect. 2.3. Let \(P > 0\) denote the maximum power available, and let \(\sigma \in (0,P)\) denote the system power, which is the amount of power needed by the OFDMA system regardless of actual data rates. Finally, suppose that each user \(j \in J\) has a nonnegative demand \(d_j\). The task is to maximise the energy efficiency, subject to the constraint that the total data rate for each user j is at least \(d_j\).
We call this problem the fractional subcarrier and power allocation problem with rate constraints (FSPARC). (A related problem, called the SPARC, was studied in [12]. The difference is that the objective in the SPARC was simply to maximise the total data rate.)
A natural formulation of the FSPARC is obtained as follows. For all \(i \in I\) and \(j \in J\), let \(x_{ij}\) be a binary variable, indicating whether user j is assigned to subcarrier i. Also let \(p_{ij}\) be a nonnegative continuous variable, which represents the amount of power supplied to subcarrier i (if \(x_{ij} = 1\)), or zero otherwise. We then have:
The objective function (21) represents the total data rate divided by the total power used (including system power). The constraint (22) ensures that the total power used does not exceed the amount available. Constraints (23) ensure that each subcarrier is assigned to at most one user. Constraints (24) ensure that the user demands are met. Constraints (25)–(27) are selfexplanatory.
The problem (21)–(27) is a mixed 0–1 fractional program. The x variables are clearly indicator variables, since setting any x variable to zero forces the corresponding p variable to zero. Moreover, the constraints (23) are clearly multiplechoice constraints.
From now on, we let \(D = \sum _{j \in J} d_j\) denote the total user demand. Note that an upper bound for the FSPARC can be computed by solving the following (continuous) fractional program:
This fractional program can be converted into a convex program using the transformation mentioned in Sect. 2.1. We denote the corresponding upper bound by U.
Reformulation
We now reformulate the problem to make it easier to solve. This is done in three steps.
The first step is to convert the fractional objective function into a concave function. To do this, we use the transformation mentioned in Sect. 2.1. Let t be a nonnegative continuous variable, representing \(1/(\sigma +\sum _{i \in I} \sum _{j \in J} p_{ij})\), i.e., the reciprocal of the total power used. Also, for all i and j, let \({\tilde{p}}_{ij}\) be a nonnegative continuous variable, representing \(t \, p_{ij}\). The problem is then equivalent to the following:
The objective function (28) is now concave, and all constraints are linear, apart from (31), which are convex.
The second step is the following. For \(i \in I\) and \(j \in J\), define a new variable, say \(z_{ij}\), representing the quantity \(t f_i({\tilde{p}}_{ij}/t)\). The problem then becomes:
Now, all of the nonlinearity has been “concentrated” in the (convex) constraints (33).
Finally, we replace the constraints (33) with the following linear constraints:
These linear constraints can be derived in the same way as standard perspective cuts. Since they are infinite in number, we have formulated the FSPARC as a semiinfinite mixed 0–1 linear program. It can be solved (to arbitrary fixed accuracy) with an LPbased branchandcut algorithm.
BiP cuts
We now use the results in Sect. 3 to strengthen our semiinfinite formulation of the FSPARC.
We start by reducing the domain of t. Recall that D denotes the total user demand. We compute the following lower bound on the total amount of power used:
The upper bound on t in (30) can then be reduced from \(1/\sigma \) to \(1/P_{\min }\).
Now, let i and j be fixed, and consider the constraints (27), (32) and (33). It is clear that all feasible triples \((x_{ij},{\tilde{p}}_{ij}, r_{ij})\) satisfy
where, as usual, the convention is that the function on the righthand side takes the value zero when \({\tilde{p}}_{ij} = t x_{ij} = 0\). The function is clearly a tincreasing BiP function. The only tricky part is that the natural domain of \({\tilde{p}}_{ij}\) is [0, 1], which is not equal to \(t \, x_{ij} \, C\) for some convex domain C. Despite this complication, we have the following result.
Proposition 5
For all \(i \in I\), \(j \in J\) and \({\bar{p}} \in [0,P\sigma ]\), the following type1 and type2 BiP cuts are valid for the FSPARC:
Proof
We already know that t must lie in the interval \(\left[ 1/P, \, 1/P_{\min } \right] \). Also, \(p_{ij} \le P  \sigma \), or, equivalently, \({\tilde{p}}_{ij} \in t \, [0, P  \sigma ]\). In fact, given that \({\tilde{p}}_{ij}\) must be zero when \(x_{ij}\) is zero, we can conclude that \({\tilde{p}}_{ij} \in t \, x_{ij} \, [0,P  \sigma ]\). We can now generate BiP cuts as usual. \(\square \)
Note that the type2 cuts (36) dominate (34).
Finally, since the constraints (23) are multiplechoice constraints, we can also generate MC cuts. In our preliminary experiments, we found that the most useful MC cuts were those with (a) \(S = J\) and (b) \({\bar{p}}_{ij}\) equal to the same (positive) value for all \(j \in J\). These cuts take the form:
We remark that the cuts (37) collectively enforce the following convex inequalities:
From this it can be shown that the upper bound obtained by adding all of the cuts (37) to the continuous relaxation of the semiinfinite formulation is equal to U, the upper bound mentioned at the end of Sect. 5.1.
We remark that the separation problem for the cuts (37) can be solved simply by setting \(\bar{p}\) to the current value of \(\sum _{j \in J} {\tilde{p}}_{ij}\), and checking the inequality (38) for violation. This can be done in O(J) time for a given i.
Computational experiments
In the previous section, we described three families of cutting planes for the FSPARC: the type1 cuts (35), the type2 cuts (36), and the special MC cuts (37). In this section, we present some computational results to shed light on the relative usefulness of these different kinds of cuts.
Test instances
To construct our test instances, we used the procedure described in [12], which is designed to produce instances typical of a small base station. In detail, the instances have \(I = 72\), \(J \in \{4,6\}\), and P set to 36 watts. The noise powers \(N_i\) are random numbers distributed uniformly in \((10^{6},10^{5})\), and the bandwidths \(B_i\) are all set to 1.25MHz. The user demands follow a lognormal distribution.
Let D be the total demand, as before, and let M be the maximum possible data rate of the system. As in [12], we call the quantity D/M the demand ratio (DR) of the given instance. The user demands are scaled so that the DR takes values in \(\{0.75,0.8,0.85,0.9,0.95\}\). (The closer the DR is to 1, the harder the instance tends to be.) For each combination of J and DR, we constructed 10 random instances. This makes \(2 \times 5 \times 10 = 100\) instances in total. These instances have been made available at: http://www.research.lancs.ac.uk/portal/en/datasets/search.html under “OFDMA Optimisation”.
Experimental setup
For each instance, we did the following. We began by computing the upper bound U mentioned at the end of Sect. 5.1, using MOSEK. We then ran the heuristic described in [13] to compute a lower bound. If the bounds differed by more than 0.1%, we ran an exact algorithm, similar to the one described in [12], until the difference between the lower and upper bounds dropped below 0.1%. We remark that this exact algorithm took a long time (sometimes several minutes) to converge for some of our test instances.
The next step was to solve, for each instance, the continuous relaxation of the formulation described in Sect. 5.2. To do this, we used a (fairly standard) LPbased cuttingplane algorithm, in which the inequalities (34) were added dynamically as cutting planes. In each major iteration, all inequalities violated by more than \(10^{4}\) were added to the LP. A time limit of two minutes per instance was also imposed. (In most cases, tailing off occurred well before the time limit.)
The cuttingplane algorithm was coded in Julia v0.5 and run on a virtual machine cluster with 16 CPUs (ranging from Sandy Bridge to Haswell architectures) and 16GB of RAM, under Ubuntu 16.04.1 LTS. The program used the LP solver from the CPLEX 12.6.3 Callable Library (with default settings). More specifically, we used primal simplex to solve the initial relaxation and dual simplex to reoptimise after adding cuts.
Finally, we ran the cuttingplane algorithm again for each instance, switching on and off various combinations of the cuts (35)–(37). The purpose of this was to enable us to identify the cuts that tend to be most useful in practice.
Results
We present results for six versions of the cuttingplane algorithm:
Tables 1 and 2 show, for each set of 10 instances and each combination of cutting planes, the average gap between the upper bound from the cuttingplane algorithm and the lower bound from the exact algorithm, expressed as a percentage of the lower bound.
From the tables, we see that the unstrengthened cuts (34) lead to extremely poor upper bounds in all cases. Moreover, the gaps for \(J=4\) are much worse than the gaps for \(J=6\). Type1, type2 and MC cuts all close the gap considerably, but type1 and type2 cuts appear to be more effective than MC cuts. Using type1 and type2 cuts in combination is particularly effective. In fact, the benefit gained by including MC cuts as well is rather small.
Concluding remarks
Perspective reformulations and cuts are an invaluable tool for both fractional programming and MINLP with indicator variables. We have shown that, when one is dealing with a mixedinteger fractional program with indicator variables, one needs to use “biperspective” reformulations and cuts in order to obtain bounds that are useful within an exact solution algorithm. We believe that extensions of perspective reformulations and cuts to other classes of problems would be a valuable topic for future research.
As for our specific application, to optimisation in OFDMA systems, we plan to look next at stochastic dynamic variants of the problem, in which users arrive and depart at random over time.
References
 1.
Bonami, P., Lodi, A., Tramontani, A., Wiese, S.: On mathematical programming with indicator constraints. Math. Program. 115, 191–223 (2015)
 2.
Ceria, S., Soares, J.: Convex programming for disjunctive convex optimization. Math. Program. 86, 595–614 (1999)
 3.
Charnes, A., Cooper, W.: Programming with linear fractional functionals. Nav. Res. Log. Quart. 9, 181–186 (1962)
 4.
Combettes, P.L.: Perspective functions: properties, constructions, and examples. SetValued Var. Anal. 26, 247–264 (2018)
 5.
Fazel, K., Kaiser, S.: Multicarrier and Spread Spectrum Systems, 2nd edn. Wiley, Chichester (2008)
 6.
Frangioni, A., Gentile, C.: Perspective cuts for a class of convex 0–1 mixedinteger programs. Math. Program. 106, 225–236 (2006)
 7.
Günlük, O., Linderoth, J.: Perspective reformulation and applications. In: Lee, J., Leyffer, S. (eds.) Mixed Integer Nonlinear Programming, pp. 61–89. Springer, Berlin (2011)
 8.
Haykin, S.: Communication Systems. Wiley, New York (1994)
 9.
HiriartUrruty, J.B., Lémaréchal, C.: Convex Analysis and Minimization Algorithms. Springer, New York (1993)
 10.
Kelley Jr., J.E.: The cuttingplane method for solving convex programs. SIAM J. 8, 703–712 (1960)
 11.
Kim, K., Han, Y., Kim, S.L.: Joint subcarrier and power allocation in uplink OFDMA systems. IEEE Commun. Lett. 9, 526–528 (2005)
 12.
Letchford, A.N., Ni, Q., Zhong, Z.: An exact algorithm for a resource allocation problem in mobile wireless communications. Comput. Optim. Appl. 68, 193–208 (2017)
 13.
Letchford, A.N., Ni, Q., Zhong, Z.: A heuristic for maximising energy efficiency in OFDMA systems. In: Lee, J., Rinaldi, G., Mahjoub, A.R. (eds.) Combinatorial Optimization: 5th International Symposium, pp. 303–312. Springer, Berlin (2018)
 14.
Liu, Y.F., Dai, Y.H.: On the complexity of joint subcarrier and power allocation for multiuser OFDMA systems. IEEE Trans. Signal Process. 62, 583–596 (2014)
 15.
Luo, Z.Q., Zhang, S.: Dynamic spectrum management: complexity and duality. IEEE J. Sel. Top. Signal Process. 2, 57–73 (2008)
 16.
Resende, M., Pardalos, P. (eds.): Handbook of Optimization in Telecommunications. Springer, New York (2007)
 17.
Rockafellar, R.T.: Convex Analysis. Princeton University Press, Princeton (1970)
 18.
Ryoo, H.S., Sahinidis, N.V.: A branchandreduce approach to global optimization. J. Glob. Optim. 8, 107–138 (1996)
 19.
Schaible, S.: Fractional programming. Z. Oper. Res. 27, 39–54 (1983)
 20.
Seong, K., Mohseni, M., Cioffi, J.: Optimal resource allocation for OFDMA downlink systems. In: Proceedings of the 2006 IEEE International Symposium Information Theory, pp. 1394–1398 (2006)
 21.
Shannon, C.: Communication in the presence of noise. Proc. IRE 1, 10–21 (1949)
 22.
Ting, T., Chien, S.F., Yang, X.S., Lee, S.: Analysis of qualityofservice aware orthogonal frequency division multiple access system considering energy efficiency. IET Commun. 8, 1947–1954 (2014)
 23.
Xiao, X., Tao, X., Lu, J.: QoSaware energyefficient radio resource scheduling in multiuser OFDMA systems. IEEE Commun. Lett. 17, 75–78 (2013)
 24.
Xiong, C., Li, G., Zhang, S., Chen, Y., Xu, S.: Energyand spectralefficiency tradeoff in downlink OFDMA networks. IEEE Trans. Wirel. Commun. 10, 3874–3886 (2011)
 25.
Yu, W., Lui, R.: Dual methods for nonconvex spectrum optimization of multicarrier systems. IEEE Trans. Commun. 54, 1310–1322 (2006)
 26.
Zarakovitis, C.C., Ni, Q.: Maximising energy efficiency in multiuser multicarrier broadband wireless systems: convex relaxation and global optimisation techniques. IEEE Trans. Veh. Technol. 65, 5275–5286 (2016)
Acknowledgements
We are grateful to an anonymous referee whose careful reading and detailed suggestions enabled us to improve the paper substantially.
Author information
Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Letchford, A.N., Ni, Q. & Zhong, Z. Biperspective functions for mixedinteger fractional programs with indicator variables. Math. Program. 190, 39–55 (2021). https://doi.org/10.1007/s10107020015199
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10107020015199
Keywords
 Fractional programming
 Mixedinteger nonlinear programming
 Mobile wireless communications
 OFDMA systems
Mathematics Subject Classification
 90C11
 90C27
 90C32