Human-Centric Resource Allocation in the
Metaverse over Wireless Communications

Abstract

The Metaverse will provide numerous immersive applications for human users, by consolidating technologies like extended reality (XR), video streaming, and cellular networks. Optimizing wireless communications to enable the human-centric Metaverse is important to satisfy the demands of mobile users. In this paper, we formulate the optimization of the system utility-cost ratio (UCR) for the Metaverse over wireless networks. Our human-centric utility measure for virtual reality (VR) applications of the Metaverse represents users’ perceptual assessment of the VR video quality as a function of the data rate and the video resolution and is learned from real datasets. The variables jointly optimized in our problem include the allocation of both communication and computation resources as well as VR video resolutions. The system cost in our problem comprises the energy consumption and delay and is non-convex with respect to the optimization variables. To solve the non-convex optimization, we develop a novel fractional programming technique, which contributes to optimization theory and has broad applicability beyond our paper. Our proposed algorithm for the system UCR optimization is computationally efficient and finds a stationary point to the constrained optimization. Through extensive simulations, our algorithm is demonstrated to outperform other approaches.

I Introduction

The Metaverse is expected to offer a myriad of opportunities for mobile users to interact with the immersive virtual world [1]. In various Augmented/Virtual Reality (AR/VR) applications for the Metaverse, humans are at the core since users judge whether the AR/VR videos or games provide a satisfying Quality of Experience (QoE) [2]. Compared with the traditional Quality of Service (QoS) that measures the objective service performance (e.g., bit rate, data accuracy), QoE as a utility measure concerns the enjoyment of users [3]. Providing satisfying utilities to multiple users in a resource-constrained system requires allocating resources wisely. In this paper, we formulate and solve human-centric resource allocation for VR in the Metaverse over wireless communications. Our goal is to reduce the Metaverse system’s cost in terms of delay and energy, as well as to enhance the human-centric utilities of mobile users accessing the Metaverse via wireless networks. Tackling this problem also motivates us to propose a new optimization technique.

Studied problem. Our researched system consists of one Metaverse Server (MS) and multiple VR Users (VUs). We consider downlink wireless communications, where the MS sends to each VU the corresponding VR video via frequency division multiple access (FDMA). The MS solves the system utility-cost ratio (UCR) optimization by allocating 1) communication resources (i.e., bandwidth and transmission power) for the MS’s communication with each VU, and 2) the MS’s computation resources for processing the videos to be sent to VUs, as well as deciding 3) the video resolution for all VUs, and 4) the CPU frequencies for the VUs. Then, the MS uses the allocated computation resource to process each VR video with the selected resolution, and transmits the videos to the VUs with the decided bandwidth and transmission power. Each VU receives VR frames of a video and processes the frames with the arranged CPU frequency. To perform the UCR optimization, the MS knows the human-centric utilities of all VUs and how the energy or delay depends on the optimization variables. The system cost is a weighted sum of the energy consumption and delay. For energy, we take into account both the MS and VUs. The energy usage on the MS comprises those for video processing and transmission, whereas the energy of VUs is for video processing. The delay computation includes the processing on the MS, the wireless transmission, and the processing on each VU. Next, we discuss VUs’ human-centric utilities.

Human-centric utility. Prior resource allocation studies [4, 5, 7, 6, 8, 9] for wireless communications typically do not consider human-centric utilities. Incorporating subjective user perception into the design is critical for the development of VR and the Metaverse, as it provides valuable insights into how the technologies can be improved to deliver the best possible experiences for VUs. A recent work [2] also argues the importance of develo** the Metaverse to be human-centric. In our paper, the human-centric utility for each VU is learned from the VU’s perceptual assessment of the VR video quality as a function of the data rate and the video resolution, as illustrated by a recent dataset reporting users’ evaluation of watching $360^{\circ}$ VR videos [10]. Then UCR is the ratio of all VUs’ sum human-centric utilities to the system cost.

Our contributions include the problem formulation, a novel fractional programming technique, and an efficient optimization algorithm, as listed below.

• To the best of our knowledge, our work is the first in the literature to consider the optimization of the system utility-cost ratio (UCR) for the Metaverse over wireless communications. Our work is also among pioneering studies that incorporate human-centric utility for Metaverse optimization.

• We propose a novel technique for fractional programming (FP), where the objective to be minimized is the sum of a convex function and a series of non-convex ratios with convex numerators and concave denominators. FP of the above kind cannot be addressed by prior work [11, 12] (viz., Section IV). Our technique contributes to optimization theory and is applicable to many other problems.

• Our UCR optimization is difficult to solve due to the following two aspects: 1) the objective function being the sum of a complicated function and a sequence of non-convex fractions, and 2) jointly deciding five vector variables (for bandwidth, transmission power, video resolution, allocation of the Metaverse server’s computing resource, CPU frequencies of VR users, respectively). Despite the challenges, we propose an efficient algorithm by leveraging our novel FP technique above and carefully identifying a roadmap (on Pages VI and VI) to solve the variables step-by-step.

• Simulations demonstrate the superiority of our algorithm over other baselines. The human-centric utilities used in the simulations are learnt from real-world data including a recent VR dataset [10].

Roadmap. This work is organized as follows. We review related work in Section II. The system model is presented in Section III. We propose a novel technique for fractional programming (FP) in Section IV. Using this FP technique, we analyze how to solve the UCR optimization for the Metaverse over wireless communications in Sections V and VI. Based on the analysis, Section VII presents our algorithm for the UCR optimization, as well as its performance including solution quality, convergence, and time complexity. We model human-centric utilities from real datasets in Section VIII, and use the obtained utility functions to provide simulation results in Section IX. We conclude the paper in Section X.

II Related Work

We discuss related work from the following aspects: optimization in wireless networks, the Metaverse over wireless communications, human-centric utility, and the fractional programming technique.

Optimization for wireless networks. Many studies have addressed optimization related to delay, energy, or utility for wireless networks, as discussed below. Optimizing the system cost, defined as the weighted sum of system delay and system energy consumption, is investigated in [4, 5] for wireless federated learning, in [7] for UAV-enabled mobile edge computing, in [8] for 5G networks. In [9], the difference between the utility and the energy consumption in a heterogeneous network is maximized. There are also papers on ratio optimization to improve the system’s performance. The ratio is often energy efficiency (EE) [13, 14] or computation efficiency (CE) [15, 16], which denotes the ratio of the number of transmitted or computed bits to energy consumption. EE or CE above can be understood as $\frac{\textnormal{utility}}{\textnormal{energy}}$, but surprisingly there seems no existing work in communication/network publications on optimizing $\frac{\textnormal{utility}}{\textnormal{energy}+\textnormal{delay}}$ like our paper, although we have conducted an extensive literature survey. Moreover, we consider human-centric utility for the Metaverse, which further increases the novelty of our studied problem.

Metaverse over wireless communications. Recently, researching the Metaverse over wireless communications and networks has become an emerging topic. Recent papers [1, 3] have surveyed Metaverse research from different aspects: [1] focusing on fundamental underlying technologies as well as security/privacy issues, [3] on how edge computing empowers the Metaverse. In addition to surveys [1, 3] above, we discuss representative technical work [17, 18, 19, 20, 21] below. In [17], sampling, communication and prediction are co-designed to minimize the communication load for synchronizing a real-world device and its digital model in the Metaverse. Yu et al. [18] optimize the delay and reliability of wireless Metaverse using deep reinforcement learning. Contest theory is utilized in [19] for the Metaverse with semantic communications, while game theory is applied in [20, 21] for the vehicular Metaverse. In [14] led by the current paper’s first author, fractional programming (FP) is leveraged for energy efficiency optimization of the Metaverse subject to physical-layer security of wireless communications. In addition to the difference in terms of problem formulation compared with ours, [14] allocates communication resources only without optimizing computing resources and video resolutions. Also [14] does not use our novel FP technique of Section IV.

Network Utility Maximization (NUM). Our work is related to the research on network utility maximization (NUM) [22]. For a network of users, NUM considers that all users act altruistically to maximize the total network utility [23], defined as the sum of all users’ individual utilities. In the classical NUM problem by Kelly et al. [24], the goal is to allocate traffic rates to users in order to maximize the total network utility subject to resource constraints (e.g., link capacity limitations). Since then, various NUM problems have been investigated in the literature [25, 26, 27]. The total network utility is also referred to as the social welfare in [28], where game theory is adopted to solve the problem. Despite the relevance of NUM research to our work, we emphasize that our objective is optimizing the ratio $\frac{\mathcal{U}}{\mathcal{C}}$ of the total system utility $\mathcal{U}$ to the total system cost $\mathcal{C}$, rather than just maximizing $\mathcal{U}$. The optimization of the fraction $\frac{\mathcal{U}}{\mathcal{C}}$ is more challenging than that of $\mathcal{U}$ due to the non-convexity of the fraction.

Human-centric utility. When utility is referred to as video quality, it can be measured using objective or subjective assessment methods. The subjective quality assessment (SQA) results in human-centric perceptual utility since human subjects are asked for their opinions directly. Higher human-centric utility means better Quality of Experience (QoE), which is in contrast with the traditional notion of Quality of Service (QoS) that quantifies the objective performance of the system. The survey [29] covers human-centric utility for traditional 2D video applications. Human-centric design for Augmented/Virtual Reality (AR/VR) and the Metaverse has received much interest recently. A 2023 survey [30] systematically reviews human-centric mobile AR. Elwardy et al. [10] report SQA of users watching 360° videos when wearing HTC Vive Pro VR headsets. In [2], the human-centric nature of the Metaverse and using it for personalized value creation are discussed. In the current paper on VR for the Metaverse, we model human-centric utility functions of VR users from SQA video datasets [10, 31], as elaborated on in Section VIII later. The logarithmic function form will be adopted, which has been used in [32] for crowdsourcing, in [33] for mobile edge computing, and in [34] for space-air-ground integrated networks.

Fractional programming (FP). In this paper, we present a novel FP technique and use it to transform a non-convex optimization problem into parametric convex optimization. The detailed comparison between our work and other FP papers [11, 12] is deferred to Section IV.

III System Model

Our studied system consists of one Metaverse Server (MS) and $N$ VR Users (VUs), indexed by $\mathcal{N}=\left\{1,2,\cdots,\mathit{N}\right\}$. In downlink wireless communications, the MS sends to each VU the corresponding VR video via frequency division multiple access (FDMA) so that communications do not interfere.

We have overviewed the system operation in the “Studied problem” paragraph on Page I. As already stated, our goal is to optimize the system utility-cost ratio (UCR), by deciding communication resources (i.e., bandwidth and transmission power) and computation resources (i.e., the MS’s computation allocation and the VUs’ CPU frequencies), as well as VR video resolutions. Figure 1 illustrates the system model.

Note that before the video transmission, there are message exchanges between the MS and VUs for control purpose; e.g., each VU informs the MS of its maximum CPU frequency and utility function, and the MS notifies the obtained CPU frequency for each VU from the system utility-cost ratio (UCR) optimization. We ignore the overhead of the control information since it is much smaller than the video data sizes. Below we first introduce notations, which are used to define the system utility and cost in Sections III-A and III-B. Then we formalize the UCR optimization in Section III-C.

Figure 1: Optimizing the system utility-cost ratio (UCR), in a system of one Metaverse Server (MS) and $N$ VR Users (VUs), by deciding communication and computation resources as well as VR video resolutions.

For communications via FDMA, we define $\bm{b}=[b_{1},b_{2},\ldots,b_{N}]$, $\bm{p}=[p_{1},p_{2},\ldots,p_{N}]$ as the bandwidths and transmission powers used for the MS to communicate with VUs. With $g_{n}$ being the channel attenuation from MS to VU $n$, the achievable rate from MS to VU $n$ is given by the function notation below:

$$\textstyle r_{n}(b_{n},p_{n})=b_{n}\log_{2}(1+\frac{g_{n}p_{n}}{\sigma^{2}b_{n}}).$$ (1)

III-A Modeling the human-centric utilities of VR users

Based on the subjective test in [10], for each VU $n$, we formulate the human-centric utility as $U_{n}(r_{n},s_{n})$, a function of the transmission rate $r_{n}$ and resolution $s_{n}$ satisfying Assumption 1 below.

Assumption 1.

$U_{n}(r_{n},s_{n})$ is non-decreasing in $r_{n}$ and $s_{n}$, concave in $r_{n}$, and concave in $s_{n}$.

The vector $\bm{s}=[s_{1},r_{2},\ldots,s_{N}]$ gives the resolutions of VR frames for the VUs. The system utility, defined as the sum of all $N$ VUs’ human-centric utilities, is given by

$$\textstyle\mathcal{U}(\bm{b},\bm{p},\bm{s})= \textstyle\sum_{n\in\mathcal{N}}U_{n}(r_{n}(b_{n},p_{n}),s_{n}).$$ (2)

Our analysis and algorithm use Assumption 1, and do not need $U_{n}(r_{n},s_{n})$’s joint concavity in $r_{n}$ and $s_{n}$, though the expression of $U_{n}(r_{n},s_{n})$ in Section VIII from real datasets is jointly concave in $r_{n}$ and $s_{n}$.

III-B System cost comprising delay and energy consumption

We start with defining some notations. For each $n\in\mathcal{N}$, let $f_{n}^{\textnormal{MS}}$ be the MS’s computational resource allocated to process the frames for VU $n$. Such allocation of computing resources is also considered in [35] for edge computing. The CPU frequency of VU $n$ is denoted by $f_{n}^{\textnormal{VU}}$. Then $\bm{f}^{\textnormal{MS}}:=[f_{1}^{\textnormal{MS}},f_{2}^{\textnormal{MS}},\ldots,f_{N}^{\textnormal{MS}}]$ and $\bm{f}^{\textnormal{VU}}:=[f_{1}^{\textnormal{VU}},f_{2}^{\textnormal{VU}},\ldots,f_{N}^{\textnormal{VU}}]$. About the frames for VU $n$, let $\mu_{n}$ be the number of bits per pixel, and $\nu_{n}>1$ be the compression ratio. The MS will generate a VR video of $\Lambda_{n}$ frames for XU $n$. Let $\mathcal{A}_{n}(s_{n},\Lambda_{n})$ (resp., $\mathcal{B}_{n}(s_{n},\Lambda_{n})$) be the number of CPU cycles on MS (resp., VU $n$) to process a part of those $\Lambda_{n}$ frames before (resp., after) wireless transmission. While later frames of the VR video are yet to be generated, earlier frames can be transmitted from the MS to each VU $n$. Similarly, while later frames of the VR video are yet to be received, VU $n$ can process earlier frames which have already been accepted. Hence, the following three stages partially overlap: processing at the MS, wireless transmission from the MS to VU $n$, and processing at VU $n$, as shown in Fig. 2.

Figure 2: The timeline.

Then we define the following:

• the time used on the MS to generate and process frames
  for VU $n$ before wireless transmission: $t_{n}^{\textnormal{MS}:\textnormal{Pro}}(s_{n},f_{n}^{\textnormal{MS}})=\frac{\mathcal{A}_{n}(s_{n},\Lambda_{n})}{f_{n}^{\textnormal{MS}}}$,

• the time expended to transmit all $\Lambda_{n}$ VR frames from the MS to VU $n$: $t_{n}^{\textnormal{Tx}}(b_{n},p_{n},s_{n})=\frac{s_{n}{\color[rgb]{0,0,0}\mu_{n}}{\color[rgb]{0,0,0}\Lambda_{n}}}{r_{n}(b_{n},p_{n}){\color[rgb]{0,0,0}\nu_{n}}}$,

• the time cost on VU $n$ for processing frames after wireless transmission: $t_{n}^{\textnormal{VU}:\textnormal{Pro}}(s_{n},f_{n}^{\textnormal{VU}})=\frac{\mathcal{B}_{n}(s_{n},\Lambda_{n})}{f_{n}^{\textnormal{VU}}}$,

We will set the expressions of $\mathcal{A}_{n}(\cdot),\mathcal{B}_{n}(\cdot)$ in Section IX on simulations. Thus, the delay for VU $n$ is

$$\textstyle t_{n}(b_{n},p_{n},s_{n},f_{n}^{\textnormal{MS}},f_{n}^{\textnormal{VU}}) \textstyle=t_{n}^{\textnormal{MS}:\textnormal{Pro}}(s_{n},f_{n}^{\textnormal{MS}})+t_{n}^{\textnormal{Tx}}(b_{n},p_{n},s_{n})$$

$$\textstyle+t_{n}^{\textnormal{VU}:\textnormal{Pro}}(s_{n},f_{n}^{\textnormal{VU}}).$$ (3)

Then, we let the maximum of all VUs’ delays be the system delay:

$$\textstyle\mathcal{T}(\bm{b},\bm{p},\bm{s},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}}) \textstyle=\max_{n\in\mathcal{N}}t_{n}(b_{n},p_{n},s_{n},f_{n}^{\textnormal{MS}},f_{n}^{\textnormal{VU}}).$$ (4)

Let $\kappa^{\textnormal{MS}},\kappa_{n}^{\textnormal{VU}}$ be MS’s and VU $n$’s effective switched capacitance. From the process of generating $\Lambda_{n}$ frames at MS to rendering them at VU $n$, the following energy will be consumed:

• energy spent on MS to process $\Lambda_{n}$ VR frames for VU $n$: $E_{n}^{\textnormal{MS}:\textnormal{Pro}}(s_{n},f_{n}^{\textnormal{MS}})=\kappa^{\textnormal{MS}}{\color[rgb]{0,0,0}\mathcal{F}_{n}(s_{n},\Lambda_{n})}({f_{n}^{\textnormal{MS}}})^{2}$,

• energy spent for transmitting $\Lambda_{n}$ VR frames from MS to VU $n$: $E_{n}^{\textnormal{Tx}}(b_{n},p_{n},s_{n})=\frac{(p_{n}+p_{n}^{\textnormal{cir}})s_{n}{\color[rgb]{0,0,0}\mu_{n}}{\color[rgb]{0,0,0}\Lambda_{n}}}{r_{n}(b_{n},p_{n}){\color[rgb]{0,0,0}\nu_{n}}}$,

• energy spent on VU $n$ to process $\Lambda_{n}$ VR frames: $E_{n}^{\textnormal{VU}:\textnormal{Pro}}(s_{n},f_{n}^{\textnormal{VU}})=\kappa_{n}^{\textnormal{VU}}{\color[rgb]{0,0,0}\mathcal{G}_{n}(s_{n},\Lambda_{n})}(f_{n}^{\textnormal{VU}})^{2}$,

where we note that $\mathcal{F}_{n}(s_{n},\Lambda_{n})$ (resp., $\mathcal{G}_{n}(s_{n},\Lambda_{n})$) is different from $\mathcal{A}_{n}(s_{n},\Lambda_{n})$ (resp., $\mathcal{B}_{n}(s_{n},\Lambda_{n})$) above, since the latter is only before (resp., after) wireless transmission as shown in Fig. 2, while the former considers CPU cycles to process $\Lambda_{n}$ frames. The notations above highlight the dependence on $\Lambda_{n}$, but we do not write $\Lambda_{n}$ in delay and energy functions as $\Lambda_{n}$ is not optimized. The total consumed energy is:

$$\textstyle\mathcal{E}(\bm{b},\bm{p},\bm{s},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}})=\sum_{n\in\mathcal{N}}E_{n}^{\textnormal{MS}:\textnormal{Pro}}(s_{n},f_{n}^{\textnormal{MS}})$$

$$\textstyle+\sum_{n\in\mathcal{N}}E_{n}^{\textnormal{Tx}}(b_{n},p_{n},s_{n})+\sum_{n\in\mathcal{N}}E_{n}^{\textnormal{VU}:\textnormal{Pro}}(s_{n},f_{n}^{\textnormal{VU}}).$$ (5)

The system cost is a weighted sum of the system delay in Eq. (4) and energy consumption in Eq. (5):

$$\textstyle\mathcal{C}(\bm{b},\bm{p},\bm{s},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}}) \textstyle=c_{\hskip 0.5pt\textnormal{e}}\mathcal{E}(\bm{b},\bm{p},\bm{s},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}})$$

$$\textstyle+c_{\hskip 0.8pt\textnormal{t}}\mathcal{T}(\bm{b},\bm{p},\bm{s},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}}),$$ (6)

where $c_{\textnormal{e}}$ and $c_{\textnormal{t}}$ are the weight parameters for energy and delay, respectively. With the utility in Eq. (2) and the cost of the whole system in Eq. (6), we present the optimization problem in the next section.

III-C Optimization problem

The aim is to maximize the utility-cost ratio (UCR) of the system as follows:

$$\textstyle\textnormal{Problem $\mathbb{P}_{1}$}:~{} \textstyle\max_{\bm{b},\bm{p},\bm{s},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}}}\quad\frac{\mathcal{U}(\bm{b},\bm{p},\bm{s})}{\mathcal{C}(\bm{b},\bm{p},\bm{s},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}})}$$ (III-C)

s.t. $$\textstyle\sum_{n\in\mathcal{N}}b_{n}\leq b_{\textnormal{max}},$$ (7a)

$$\textstyle\sum_{n\in\mathcal{N}}p_{n}\leq p_{\textnormal{max}},$$ (7b)

$$\textstyle s_{n}\in\mathbb{S}_{n},~{}\forall n\in\mathcal{N},\text{ where the set $\mathbb{S}_{n}$}$$

$$\textstyle\text{ can be continuous or discrete},$$ (7c)

$$\textstyle\sum_{n\in\mathcal{N}}f_{n}^{\textnormal{MS}}\leq f_{\textnormal{max}}^{\textnormal{MS}},$$ (7d)

$$\textstyle f_{n}^{\textnormal{VU}}\leq f_{n,\textnormal{max}}^{\textnormal{VU}},~{}\forall n\in\mathcal{N}.$$ (7e)

Constraints (7a), (7b), and (7d) mean the sum-limit of the bandwidth, power, and computing resources of the MS. Constraint (7c) gives the range of the resolution, and (7e) sets the CPU frequency limit of each VU. Our approach to solving $\mathbb{P}_{1}$ will use a fractional programming technique presented next.

IV Our Proposed Technique for Fractional Programming (FP)

In this section, we will first formulate the FP problem and then explain how our proposed FP technique differs from those in the state-of-the-art work [11, 12].

Fractional programming (FP) problem. Let $A_{n}(\bm{x}),B_{n}(\bm{x}),G(\bm{x})$ be functions of variable(s) $\bm{x}$, and these functions have definitions on a convex set $\mathcal{S}$, which is a subset of a real vector space. Also, for $\bm{x}\in\mathcal{S}$, we have $A_{n}(\bm{x})\geq 0$ and $B_{n}(\bm{x})>0$. Then we consider:

FP-problem:optimizing $$H(\bm{x}):=G(\bm{x})+\sum_{n=1}^{N}\frac{A_{n}(\bm{x})}{B_{n}(\bm{x})}$$

subject to $$\bm{x}\in\mathcal{S}$$. (8)

Two specific instances of FP-problem above are as follows:

FP-maximization: maximizing $$H(\bm{x}) \bm{x}\in\mathcal{S}$$ subject to ,

for concave $$A_{n}(\bm{x}) B_{n}(\bm{x})$$ and convex , (9)

FP-minimization: minimizing $$H(\bm{x}) \bm{x}\in\mathcal{S}$$ subject to ,

for convex $$A_{n}(\bm{x}) B_{n}(\bm{x})$$ and concave . (10)

Note that the above problem formulations (8) (9) (10) cover constrained optimization where the constraints are convex so that we can incorporate the constraints into defining $\mathcal{S}$.

TABLE I: A comparison of our paper and other work [11, 12] on fractional programming (FP).

Paper	Contribution to fractional programming
Jong [11]	Find the global solution to FP-maximization in (9) and FP-minimization in (10), both only in the special case of $G(\bm{x})\equiv 0$, but fail to tackle any problem in the case of $G(\bm{x})\not\equiv 0$.
Shen and Yu [12]	Find a stationary point for FP-maximization in (9) for both cases of $G(\bm{x})\equiv 0$ and $G(\bm{x})\not\equiv 0$, but fail to tackle FP-minimization.
Our current work	Find a stationary point for FP-minimization in (10) for both cases of $G(\bm{x})\equiv 0$ and $G(\bm{x})\not\equiv 0$.

An overview of our contribution in FP technique. With problems defined in (8) (9) (10) above, Table II compares our novel FP technique and those in [11, 12]. We present the details in the paragraphs below, describing [11], [12] and our work, respectively.

Prior work [11] on FP. In case of $G(\bm{x})\equiv 0$, [11] optimizes $\sum_{n=1}^{N}\frac{A_{n}(\bm{x})}{B_{n}(\bm{x})}$, which is referred to as the sum of ratios (SoR). Then FP-maximization (resp., FP-minimization) under $G(\bm{x})\equiv 0$ can be referred to SoR-maximization (resp., SoR-minimization). Via a transform into parametric convex optimization problems, [11] obtains a global optimum for SoR-maximization (i.e., maximizing $\sum_{n=1}^{N}\frac{A_{n}(\bm{x})}{B_{n}(\bm{x})}$ for concave $A_{n}(\bm{x})$ and convex $B_{n}(\bm{x})$) and SoR-minimization (i.e., maximizing $\sum_{n=1}^{N}\frac{A_{n}(\bm{x})}{B_{n}(\bm{x})}$ for convex $A_{n}(\bm{x})$ and concave $B_{n}(\bm{x})$). However, the approach of [11] is only applicable to the case of $G(\bm{x})\equiv 0$. The reason is that although the original SoR optimization and the transformed problem find the same optimal solution for the variable(s), the optimal objective-function values of the two problems are different.

Prior work [12] on FP. To address cases of $G(\bm{x})\equiv 0$ and $G(\bm{x})\not\equiv 0$, in the breakthrough work [12], Shen and Yu transform each $\frac{A_{n}(\bm{x})}{B_{n}(\bm{x})}$ into $J_{n}(\bm{x},y_{n}):=$ $2y_{n}\sqrt{A_{n}(\bm{x})}-{y_{n}}^{2}B_{n}(\bm{x})$, and prove that for concave $A_{n}(\bm{x})$ and convex $B_{n}(\bm{x})$, FP-maximization in (9) is the same as maximizing $V(\bm{x},\bm{y}):=G(\bm{x})+\sum_{n=1}^{N}J_{n}(\bm{x},y_{n})$ subject to $\bm{x}\in\mathcal{S}$ and $y_{n}\in\mathbb{R}$ (the set of real numbers). Then alternating optimization (AO) is adopted to optimize $\bm{x}$ and $\bm{y}:=[y_{1},\ldots,y_{N}]$ in an alternating manner, since $V(\bm{x},\bm{y})$ is concave in $\bm{x}$ and concave in $\bm{y}$, despite not being jointly concave in them. This AO algorithm leads to a stationary point for FP-maximization. Note that [12] tackles only FP-maximization and does not address FP-minimization. $J_{n}(\bm{x},y_{n})$ above can not be used for FP-minimization, since the minimum of $J_{n}(\bm{x},y_{n})$ is $-\infty$.

Our new technique for FP. Based on the above discussions, [11, 12] do not cover FP-minimization in (10) with $G(\bm{x})\not\equiv 0$. To fill this gap, our paper proposes the following technique for FP-minimization in both cases of $G(\bm{x})\equiv 0$ and $G(\bm{x})\not\equiv 0$. Specifically, we transform each $\frac{A_{n}(\bm{x})}{B_{n}(\bm{x})}$ into $K_{n}(\bm{x},y_{n}):=[A_{n}(\bm{x})]^{2}y_{n}+\frac{1}{4[B_{n}(\bm{x})]^{2}y_{n}}$, and prove that for convex $A_{n}(\bm{x})$ and concave $B_{n}(\bm{x})$, FP-minimization in (10) is the same as minimizing $W(\bm{x},\bm{y}):=G(\bm{x})+\sum_{n=1}^{N}K_{n}(\bm{x},y_{n})$ subject to $\bm{x}\in\mathcal{S}$ and $y_{n}\in\mathbb{R}^{+}$. The above holds because with $\bm{y}^{\#}(\bm{x})$ denoting $\bm{y}\in(\mathbb{R}^{+})^{N}$ which minimizes $W(\bm{x},\bm{y})$ given $\bm{x}$ (i.e., $y_{n}^{\#}(\bm{x}):=\frac{1}{2A_{n}(\bm{x})B_{n}(\bm{x})}$), the partial derivative of $W(\bm{x},\bm{y})$ with respect to $\bm{x}$ at $\bm{y}$ being $\bm{y}^{\#}(\bm{x})$ is the same as the derivative of $H(\bm{x})$ with respect to $\bm{x}$, where the computations are straightforward and shown in the Appendix of our full version [36]. Then FP-minimization in (10) can be tackled by optimizing $\bm{x}$ and $\bm{y}$ in an alternating manner to minimize $W(\bm{x},\bm{y})$, since $W(\bm{x},\bm{y})$ is convex in $\bm{x}$ (for convex $G(\bm{x})$) and convex in $\bm{y}$ (for any $G(\bm{x})$), despite not being jointly convex in them. For non-convex $G(\bm{x})$, optimizing $W(\bm{x},\bm{y})$ with respect to $\bm{x}$ can employ techniques such as difference-of-convex programming or successive convex approximation [37]. The above alternating optimization finds a stationary point for FP-minimization in (10). Finally, we note that while our proposed FP technique will be used to solve the current paper’s Problem $\mathbb{P}_{1}$ of Section III-C, the technique can also be applied to many other FP problems [12] beyond our paper.

V Solve the Optimization Problem $\mathbb{P}_{1}$

We present our method of solving $\mathbb{P}_{1}$ of (III-C) below. The denominator in the objective function of (III-C), i.e., the system cost, is given by (6) and involves a “maximize” term from the system delay in (4). We add an auxiliary variable $T$ to circumvent that “maximize” so that $\mathbb{P}_{1}$ is transformed into Problem $\mathbb{P}_{2}$:

$$\textstyle\textnormal{Problem $\mathbb{P}_{2}$}:~{} \textstyle\max_{\bm{b},\bm{p},\bm{s},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},T}\quad\frac{\mathcal{U}(\bm{b},\bm{p},\bm{s})}{c_{\hskip 0.5pt\textnormal{e}}\mathcal{E}(\bm{b},\bm{p},\bm{s},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}})+c_{\hskip 0.8pt\textnormal{t}}T}$$ (V)

s.t. $$\textstyle t_{n}(b_{n},p_{n},s_{n},f_{n}^{\textnormal{MS}},f_{n}^{\textnormal{VU}})\leq T,~{}\forall n\in\mathcal{N},$$ (11a)

$$\textstyle\textnormal{(\ref{constraintbn})},\textnormal{(\ref{constraintpn})},\textnormal{(\ref{constraintsn})},\textnormal{(\ref{constraintfMS})},\textnormal{(\ref{constraintfn})}.$$ (11b)

1 Initialize $i\leftarrow-1$ and for all $n\in\mathcal{N}$: $b_{n}^{(0)}=\frac{b_{\max}}{N}$, $p_{n}^{(0)}=\frac{p_{\max}}{N}$, $s_{n}^{(0)}=\frac{s_{n}^{\textnormal{min}}+s_{n}^{\textnormal{max}}}{2}$, $(f_{n}^{\textnormal{MS}})^{(0)}=\frac{f_{\textnormal{max}}^{\textnormal{MS}}}{N}$, $(f_{n}^{\textnormal{VU}})^{(0)}=f_{n,\textnormal{max}}^{\textnormal{VU}}$; $T^{(0)}\leftarrow\max_{n\in\mathcal{N}}t_{n}(b_{n}^{(0)},p_{n}^{(0)},s_{n}^{(0)},(f_{n}^{\textnormal{MS}})^{(0)},(f_{n}^{\textnormal{VU}})^{(0)})$; repeat

2       Let $i\leftarrow i+1$; $y^{(i)}\leftarrow\frac{\mathcal{U}(\bm{b}^{(i)},\bm{p}^{(i)},\bm{s}^{(i)})}{c_{\hskip 0.5pt\textnormal{e}}\mathcal{E}(\bm{b}^{(i)},\bm{p}^{(i)},\bm{s}^{(i)},(\bm{f}^{\textnormal{MS}})^{(i)},(\bm{f}^{\textnormal{VU}})^{(i)})+c_{\hskip 0.8pt\textnormal{t}}T^{(i)}}$; //Lines 8–25 solve $\mathbb{P}_{3}(y^{(i)})$ Initialize $j\leftarrow-1$, $[\bm{b}^{(i,0)},\bm{p}^{(i,0)},\bm{s}^{(i,0)},(\bm{f}^{\textnormal{MS}})^{(i,0)},(\bm{f}^{\textnormal{VU}})^{(i,0)},T^{(i,0)}]\leftarrow[\bm{b}^{(i)},\bm{p}^{(i)},\bm{s}^{(i)},(\bm{f}^{\textnormal{MS}})^{(i)},(\bm{f}^{\textnormal{VU}})^{(i)},T^{(i)}]$; repeat

3             //Lines 13–22 solve $\mathbb{P}_{4}(y^{(i)},\bm{s}^{(i,j)})$ Let $j\leftarrow j+1$. Initialize $\ell\leftarrow-1$; $[\bm{b}^{(i,j,0)},\bm{p}^{(i,j,0)}]\leftarrow[\bm{b}^{(i,j)},\bm{p}^{(i,j)}]$; repeat

4                   Let $\ell\leftarrow\ell+1$. Set $z_{n}^{(i,j,\ell)}\leftarrow\frac{1}{2\cdot(p_{n}^{(i,j,\ell)}+p_{n}^{\textnormal{cir}})s_{n}^{(i)}{\color[rgb]{0,0,0}\mu_{n}}{\color[rgb]{0,0,0}\Lambda_{n}}\cdot r_{n}(b_{n}^{(i,j,\ell)},p_{n}^{(i,j,\ell)}){\color[rgb]{0,0,0}\nu_{n}}}$ Obtain $[\bm{b}^{(i,j,\ell+1)},\bm{p}^{(i,j,\ell+1)},(\bm{f}^{\textnormal{MS}})^{(i,j,\ell+1)},(\bm{f}^{\textnormal{VU}})^{(i,j,\ell+1)},T^{(i,j,\ell+1)}]$ through solving Problem $\mathbb{P}_{5}(\bm{z}^{(i,j,\ell)},y^{(i)},\bm{s}^{(i,j)})$ according to Algorithm 2, and denote the resulting optimal objective-function value of $\mathbb{P}_{5}(\bm{z}^{(i,j,\ell)},y^{(i)},\bm{s}^{(i,j)})$ by $V^{*}_{\mathbb{P}_{5}}(\bm{z}^{(i,j,\ell)},y^{(i)},\bm{s}^{(i,j)})$;

5            until $\ell\geq 1$ and the relative difference between the optimal objective-function values for Problem $\mathbb{P}_{5}(\bm{z}^{(i,j,\ell)},y^{(i)},\bm{s}^{(i,j)})$ and Problem $\mathbb{P}_{5}(\bm{z}^{(i,j,\ell-1)},y^{(i)},\bm{s}^{(i,j)})$ is no greater than $\epsilon_{3}$ for a small positive number $\epsilon_{3}$ (i.e., $\frac{V^{*}_{\mathbb{P}_{5}}(\bm{z}^{(i,j,\ell)},y^{(i)},\bm{s}^{(i,j)})}{V^{*}_{\mathbb{P}_{5}}(\bm{z}^{(i,j,\ell-1)},y^{(i)},\bm{s}^{(i,j)})}-1\leq\epsilon_{3}$);

6            Set $[\bm{b}^{(i,j+1)},\bm{p}^{(i,j+1)},(\bm{f}^{\textnormal{MS}})^{(i,j+1)},(\bm{f}^{\textnormal{VU}})^{(i,j+1)},T^{(i,j+1)}]\leftarrow[\bm{b}^{(i,j,\ell+1)},\bm{p}^{(i,j,\ell+1)},(\bm{f}^{\textnormal{MS}})^{(i,j,\ell+1)},(\bm{f}^{\textnormal{VU}})^{(i,j,\ell+1)},T^{(i,j,\ell+1)}]$, which we consider as a solution to $\mathbb{P}_{4}(y^{(i)},\bm{s}^{(i,j)})$; Set $\bm{s}$ as $\bm{s}^{(i,j+1)}$ denoting the optimal solution of Problem $\mathbb{P}_{6}(\bm{b}^{(i,j+1)},\bm{p}^{(i,j+1)},(\bm{f}^{\textnormal{MS}})^{(i,j+1)},(\bm{f}^{\textnormal{VU}})^{(i,j+1)},T^{(i,j+1)},y^{(i)})$, which is obtained from (V-D).

7      until the relative difference between $H_{\mathbb{P}_{3}}(\bm{b}^{(i,j+1)},\bm{p}^{(i,j+1)},\bm{s}^{(i,j+1)},(\bm{f}^{\textnormal{MS}})^{(i,j+1)},(\bm{f}^{\textnormal{VU}})^{(i,j+1)},T^{(i,j+1)}\mid y^{(i)})$ and $H_{\mathbb{P}_{3}}(\bm{b}^{(i,j)},\bm{p}^{(i,j)},\bm{s}^{(i,j)},(\bm{f}^{\textnormal{MS}})^{(i,j)},(\bm{f}^{\textnormal{VU}})^{(i,j)},T^{(i,j)}\mid y^{(i)})$ is no greater than $\epsilon_{2}$ for a small positive number $\epsilon_{2}$ (i.e., $\frac{H_{\mathbb{P}_{3}}(\bm{b}^{(i,j+1)},\bm{p}^{(i,j+1)},\bm{s}^{(i,j+1)},(\bm{f}^{\textnormal{MS}})^{(i,j+1)},(\bm{f}^{\textnormal{VU}})^{(i,j+1)},T^{(i,j+1)}\mid y^{(i)})}{H_{\mathbb{P}_{3}}(\bm{b}^{(i,j)},\bm{p}^{(i,j)},\bm{s}^{(i,j)},(\bm{f}^{\textnormal{MS}})^{(i,j)},(\bm{f}^{\textnormal{VU}})^{(i,j)},T^{(i,j)}\mid y^{(i)})}-1\leq\epsilon_{2}$) ;

8      Set $[\bm{b}^{(i+1)},\bm{p}^{(i+1)},\bm{s}^{(i+1)},(\bm{f}^{\textnormal{MS}})^{(i+1)},(\bm{f}^{\textnormal{VU}})^{(i+1)},T^{(i+1)}]\leftarrow[\bm{b}^{(i,j+1)},\bm{p}^{(i,j+1)},\bm{s}^{(i,j+1)},(\bm{f}^{\textnormal{MS}})^{(i,j+1)},(\bm{f}^{\textnormal{VU}})^{(i,j+1)},T^{(i,j+1)}]$, which we consider as a solution to Problem $\mathbb{P}_{3}(y^{(i)})$;

9until the relative difference between $y^{(i+1)}$ (i.e., $\frac{\mathcal{U}(\bm{b}^{(i+1)},\bm{p}^{(i+1)},\bm{s}^{(i+1)})}{c_{\hskip 0.5pt\textnormal{e}}\mathcal{E}(\bm{b}^{(i+1)},\bm{p}^{(i+1)},\bm{s}^{(i+1)},(\bm{f}^{\textnormal{MS}})^{(i+1)},(\bm{f}^{\textnormal{VU}})^{(i+1)})+c_{\hskip 0.8pt\textnormal{t}}T^{(i+1)}}$) and $y^{(i)}$ is no greater than $\epsilon_{1}$ for a small positive number $\epsilon_{1}$ (i.e., $\frac{y^{(i+1)}}{y^{(i)}}-1\leq\epsilon_{1}$);

Return $[\bm{b}^{(i+1)},\bm{p}^{(i+1)},\bm{s}^{(i+1)},(\bm{f}^{\textnormal{MS}})^{(i+1)},(\bm{f}^{\textnormal{VU}})^{(i+1)},T^{(i+1)}]$ as a solution to Problem $\mathbb{P}_{2}$, which means $[\bm{b}^{(i+1)},\bm{p}^{(i+1)},\bm{s}^{(i+1)},(\bm{f}^{\textnormal{MS}})^{(i+1)},(\bm{f}^{\textnormal{VU}})^{(i+1)}]$ is a solution to Problem $\mathbb{P}_{1}$;

Algorithm 1 Solve Problem $\mathbb{P}_{2}$ and hence Problem $\mathbb{P}_{1}$ for the system UCR optimization.

The subsections below present our steps for solving $\mathbb{P}_{1}$. These steps together induce our Algorithm 1 on Page 1, which can be better understood after readers have finished all subsections below.

V-A Dinkelbach’s transform for the ratio optimization

For $\mathbb{P}_{2}$ maximizing a ratio (i.e., $\frac{\textnormal{numerator of (\ref{problemP2})}}{\textnormal{denominator of (\ref{problemP2})}}$), we use Dinkelbach’s transform [12] to transform $\mathbb{P}_{2}$ into a series of parametric optimization $\mathbb{P}_{3}(y)$ which maximizes “$\textnormal{numerator of (\ref{problemP2})}-y\cdot\textnormal{denominator of (\ref{problemP2})}$” subject to $\mathbb{P}_{2}$’s constraints, where solving the current $\mathbb{P}_{3}(y)$ decides “$y$” used in the next $\mathbb{P}_{3}(y)$. For an optimization problem $\mathbb{P}_{i}$, let $H_{\mathbb{P}_{i}}$ denote its objective function. Then $H_{\mathbb{P}_{3}}$ and $\mathbb{P}_{3}$ are as follows:

$$\textstyle H_{\mathbb{P}_{3}} \textstyle(\bm{b},\bm{p},\bm{s},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},T\mid y):$$

$$\textstyle=\textnormal{numerator of (\ref{problemP2})}-y\cdot\textnormal{denominator of (\ref{problemP2})}$$

$$\textstyle=\mathcal{U}(\bm{b},\bm{p},\bm{s})-y\cdot(c_{\hskip 0.5pt\textnormal{e}}\mathcal{E}(\bm{b},\bm{p},\bm{s},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}})+c_{\hskip 0.8pt\textnormal{t}}T),$$ (12)

Pro $$\textstyle\textnormal{blem}~{}\textnormal{$\mathbb{P}_{3}(y)$}:$$

$$\textstyle\max_{\bm{b},\bm{p},\bm{s},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},T}\quad H_{\mathbb{P}_{3}}(\bm{b},\bm{p},\bm{s},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},T\mid y)$$ (13)

$$\textstyle\textrm{s.t.}\quad\textnormal{(\ref{constraintbn})},\textnormal{(\ref{constraintpn})},\textnormal{(\ref{constraintsn})},\textnormal{(\ref{constraintfMS})},\textnormal{(\ref{constraintfn})},\textnormal{(\ref{constraintTtau})}.$$

The process of using $\mathbb{P}_{3}$ to solve $\mathbb{P}_{2}$ is as follows. For ease of explanation, we denote $[\bm{b},\bm{p},\bm{s},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},T]$ by $\bm{x}$, and write the objective function of $\mathbb{P}_{3}(y)$ as $U(\bm{x})-y\cdot C(\bm{x})$. Then starting from a feasible $\bm{x}^{(0)}$ at initialization, we set $\bm{y}^{(0)}$ as $\frac{U(\bm{x}^{(0)})}{C(\bm{x}^{(0)})}$. Then we solve $\mathbb{P}_{3}(\bm{y}^{(0)})$, denote the obtained solution as $\bm{x}^{(1)}$, set $\bm{y}^{(1)}$ as $\frac{U(\bm{x}^{(1)})}{C(\bm{x}^{(1)})}$. This process continues iteratively: in the $(i+1)$th iteration, $\bm{y}^{(i)}$ is set as $\frac{U(\bm{x}^{(i)})}{C(\bm{x}^{(i)})}$ (given by Line 1 of Algorithm 1 on Page 1), and $\bm{x}^{(i+1)}$ is obtained from solving $\mathbb{P}_{3}(\bm{y}^{(i)})$. As stated in [12], the above process converges and does not lose optimality; i.e., under global optimization of each $P_{3}(y)$ (not achieved in our current paper, as discussed later), global optimization of $P_{2}$ is also achieved.

We will solve each $\mathbb{P}_{3}(y)$ by alternating optimizing (AO) $\bm{s}$ and $\bm{b},\bm{p},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},T$. Section V-B optimizes $\bm{b},\bm{p},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},T$ given $\bm{s}$, while Section V-D optimizes $\bm{s}$ given $\bm{b},\bm{p},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},T$. AO means loo** through these two steps until convergence; i.e., the relative difference between the objective-function values of consecutive iterations is no more than the error tolerance, as shown in Line 1 of Algorithm 1.

V-B Optimizing $\bm{b},\bm{p},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},T$ given $\bm{s}$ for Problem $\mathbb{P}_{3}(y)$

For Problem $\mathbb{P}_{3}(y)$, given $\bm{s}$, optimizing $\bm{b},\bm{p},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},T$ means the following optimization:

$$\textstyle\textnormal{Problem $\mathbb{P}_{4}(y,\bm{s})$}:$$

$$\textstyle\max_{\bm{b},\bm{p},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},T}~{}F(\bm{b},\bm{p},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}}\mid\bm{s},y)-yc_{\hskip 0.5pt\textnormal{e}}\cdot E^{\textnormal{Tx}}(\bm{b},\bm{p},\bm{s})$$ (14)

$$\textstyle\textrm{s.t.}~{}\textnormal{(\ref{constraintbn})},\textnormal{(\ref{constraintpn})},\textnormal{(\ref{constraintfMS})},\textnormal{(\ref{constraintfn})},\textnormal{(\ref{constraintTtau})}.$$

$$\textstyle\textnormal{where }F(\bm{b},\bm{p},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},T\mid\bm{s},y)=\mathcal{U}(\bm{b},\bm{p},\bm{s})$$

$$\textstyle~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}-y\cdot[c_{\hskip 0.5pt\textnormal{e}}\cdot(\sum\limits_{n\in\mathcal{N}}E_{n}^{\textnormal{MS}:\textnormal{Pro}}(s_{n},f_{n}^{\textnormal{MS}})$$

$$\textstyle~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}+\sum\limits_{n\in\mathcal{N}}E_{n}^{\textnormal{VU}:\textnormal{Pro}}(s_{n},f_{n}^{\textnormal{VU}}))+c_{\hskip 0.8pt\textnormal{t}}T],$$

$$\textstyle\text{and }E^{\textnormal{Tx}}(\bm{b},\bm{p},\bm{s}):=\sum_{n\in\mathcal{N}}E_{n}^{\textnormal{Tx}}(b_{n},p_{n},s_{n})$$

$$\textstyle~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}=\sum_{n\in\mathcal{N}}\frac{(p_{n}+p_{n}^{\textnormal{cir}})s_{n}{\color[rgb]{0,0,0}\mu_{n}}{\color[rgb]{0,0,0}\Lambda_{n}}}{r_{n}(b_{n},p_{n}){\color[rgb]{0,0,0}\nu_{n}}}.$$ (15)

Eq. (15) has a summation of non-convex ratios, which we address using our fractional programming technique of Section IV, as detailed soon. Note that we cannot use the sum-of-ratios approach in [12], since the objective function in (14) includes not just the sum of ratios, but also $F(\bm{b},\bm{p},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},T\mid\bm{s},y)$.

V-C Leveraging our fractional programming technique to solve $\mathbb{P}_{4}(y,\bm{s})$

We utilize our fractional programming technique of Section IV to transform $\mathbb{P}_{4}$ into a series of $\mathbb{P}_{5}$:

$$\textstyle\textnormal{$\mathbb{P}_{5}(\bm{z},y,\bm{s})$}:\max\limits_{\bm{b},\bm{p},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},T}F(\bm{b},\bm{p},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},T\mid\bm{s},y)$$

$$\textstyle-yc_{\hskip 0.5pt\textnormal{e}}\cdot\sum_{n\in\mathcal{N}}\left\{[(p_{n}+p_{n}^{\textnormal{cir}})s_{n}{\color[rgb]{0,0,0}\mu_{n}}{\color[rgb]{0,0,0}\Lambda_{n}}]^{2}z_{n}+\frac{1}{4(r_{n}(b_{n},p_{n}){\color[rgb]{0,0,0}\nu_{n}})^{2}z_{n}}\right\}$$ (16)

$$\textstyle\textrm{s.t.}\quad\textnormal{(\ref{constraintbn})},\textnormal{(\ref{constraintpn})},\textnormal{(\ref{constraintfMS})},\textnormal{(\ref{constraintfn})},\textnormal{(\ref{constraintTtau})},$$ (17)

where we introduce the auxiliary $\bm{z}:=[z_{1},z_{2},\ldots,z_{N}]$ with $z_{n}>0$. We solve $\mathbb{P}_{5}(\bm{z},y,\bm{s})$ in Section VI.

The process of using $\mathbb{P}_{5}(\bm{z},y,\bm{s})$ to solve $\mathbb{P}_{4}(y,\bm{s})$ is as follows. For ease of explanation, we denote $[\bm{b},\bm{p},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},T]$ by $\bm{\chi}$, and write the objective function of $\mathbb{P}_{5}(\bm{z},y,\bm{s})$ as $A(\bm{\chi})-\sum_{n\in\mathcal{N}}(B_{n}(\bm{\chi})z_{n}+\frac{C_{n}(\bm{\chi})}{z_{n}})$. Then starting from a feasible $\bm{\chi}^{(0)}$ at initialization, we set $z_{n}^{(0)}$ as $\sqrt{\frac{C_{n}(\bm{\chi}^{(0)})}{B_{n}(\bm{\chi}^{(0)})}}$ (i.e., optimizing the above objective function with respect to $\bm{z}$ given $\bm{\chi}=\bm{\chi}^{(0)}$). Then we solve $\mathbb{P}_{5}(\bm{z}^{(0)},y,\bm{s})$, denote the obtained solution as $\bm{\chi}^{(1)}$, set $z_{n}^{(1)}$ as $\sqrt{\frac{C_{n}(\bm{\chi}^{(1)})}{B_{n}(\bm{\chi}^{(1)})}}$. This process continues iteratively: in the $(\ell+1)$th iteration, $z_{n}^{(\ell)}$ is set as $\sqrt{\frac{C_{n}(\bm{\chi}^{(\ell)})}{B_{n}(\bm{\chi}^{(\ell)})}}$, and $\bm{\chi}^{(\ell+1)}$ is obtained from solving $\mathbb{P}_{5}(\bm{z}^{(\ell)},y,\bm{s})$. As explained in Section V-C, the above process is alternating optimization and thus converges. We will discuss its performance in Section VI.

V-D Optimizing $\bm{s}$ given $\bm{b},\bm{p},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},T$ for Problem $\mathbb{P}_{3}(y)$

When $\mathbb{S}_{n}$ in (7c) is $[s_{n}^{\textnormal{min}},s_{n}^{\textnormal{max}}]$, given $\bm{b},\bm{p},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},T$, optimizing $\bm{s}$ for $\mathbb{P}_{3}(y)$ means the following:

$$\textstyle\textnormal{Problem $\mathbb{P}_{6}(\bm{b},\bm{p},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},T,y)$}:$$

$$\textstyle\max_{\bm{s}}\quad\mathcal{U}(\bm{b},\bm{p},\bm{s})-y\cdot(c_{\hskip 0.5pt\textnormal{e}}\mathcal{E}(\bm{b},\bm{p},\bm{s},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}})+c_{\hskip 0.8pt\textnormal{t}}T)$$ (18)

$$\textstyle\textrm{s.t.}\quad s_{n}^{\textnormal{min}}\leq s_{n}\leq\min\{s_{n}^{\textnormal{max}},\,v_{n}(b_{n},p_{n},f_{n}^{\textnormal{MS}},f_{n}^{\textnormal{VU}},T)\},$$

$$\textstyle~{}~{}~{}~{}~{}~{}\forall n\in\mathcal{N},$$

where $v_{n}(b_{n},p_{n},f_{n}^{\textnormal{MS}},f_{n}^{\textnormal{VU}},T)$ is defined as $s_{n}$ which makes $t_{n}(b_{n},p_{n},s_{n},f_{n}^{\textnormal{MS}},f_{n}^{\textnormal{VU}})$ equal $T$.

Assuming $\mathcal{A}_{n}(s_{n},\Lambda_{n})$, $\mathcal{B}_{n}(s_{n},\Lambda_{n})$, $\mathcal{F}_{n}(s_{n},\Lambda_{n})$, and $\mathcal{G}_{n}(s_{n},\Lambda_{n})$ of Section III-B to be convex in $s_{n}$ (which hold in our simulations in Section IX), $\mathbb{P}_{6}(\bm{b},\bm{p},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},T,y)$ is convex optimization for $\bm{s}$, for which the Karush–Kuhn–Tucker (KKT) conditions give a global optimum. Using the KKT conditions, we obtain that with $s_{n}^{\#}$ denoting the maximum point of the function $V_{n}(s_{n}):=U_{n}(r_{n}(b_{n},p_{n}),s_{n})-yc_{\hskip 0.5pt\textnormal{e}}\times\big{(}\kappa^{\textnormal{MS}}{\color[rgb]{0,0,0}\mathcal{F}_{n}(s_{n},\Lambda_{n})}({f_{n}^{\textnormal{MS}}})^{2}+\frac{(p_{n}+p_{n}^{\textnormal{cir}})s_{n}{\color[rgb]{0,0,0}\mu_{n}}{\color[rgb]{0,0,0}\Lambda_{n}}}{r_{n}(b_{n},p_{n}){\color[rgb]{0,0,0}\nu_{n}}}+\kappa_{n}^{\textnormal{VU}}{\color[rgb]{0,0,0}\mathcal{G}_{n}(s_{n},\Lambda_{n})}(f_{n}^{\textnormal{VU}})^{2}\big{)}$ that is concave with respect to $s_{n}\in(0,\infty)$, the optimal solution of $s_{n}$ to $\mathbb{P}_{6}(\bm{b},\bm{p},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},T,y)$ is

$$\textstyle\begin{cases}\text{for continuous $\mathbb{S}_{n}=[s_{n}^{\textnormal{min}},s_{n}^{\textnormal{max}}]$: }\\ \widetilde{s}_{n}:=\max\{s_{n}^{\textnormal{min}},\min\{s_{n}^{\#},~{}s_{n}^{\textnormal{max}},~{}v_{n}(b_{n},p_{n},f_{n}^{\textnormal{MS}},f_{n}^{\textnormal{VU}},T)\}\},\\ \text{for discrete $\mathbb{S}_{n}$: one of $s_{n}^{\textnormal{up}}$ and $s_{n}^{\textnormal{low}}$ which gives a higher }\\[-5.0pt] \text{~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}$V_{n}(\cdot)$, for $s_{n}^{\textnormal{up}}$ (resp., $s_{n}^{\textnormal{low}}$) denoting the}\\[-5.0pt] \text{~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}smallest (resp., largest) $s_{n}$ in $\mathbb{S}_{n}$ greater}\\[-5.0pt] \text{~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}(resp., less) than $\widetilde{s}_{n}$.}\end{cases}$$

V-E Putting the above together: Our Algorithm 1 on Page 1

Based on the above, we present Algorithm 1 on Page 1 to solve $\mathbb{P}_{1}$. Algorithm 1 consists of three levels of iterations: the outermost iteration based on Dinkelbach’s transform in Section V-A, the mid-level iteration for alternating optimization based on Sections V-B and V-D, and the innermost iteration using our fractional programming technique as discussed in Section V-C. In Algorithm 1’s pseudocode, Line 3 represents the outermost iteration based on Dinkelbach’s transform, which solves a series of Problem $\mathbb{P}_{3}(y)$ for iteratively-updated $y$, in order to solve Problem $\mathbb{P}_{2}$ at convergence. Line 9 corresponding to the mid-level iteration is to alternating solve Problem $\mathbb{P}_{4}(y,\bm{s})$ and Problem $\mathbb{P}_{6}(\bm{b},\bm{p},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},T,y)$, in order to resolve Problem $\mathbb{P}_{3}(y)$ at convergence. In Line 14, the innermost iteration is executed to solve Problem $\mathbb{P}_{5}(\bm{z},y,\bm{s})$ for iteratively-updated $\bm{z}$, in order to settle Problem $\mathbb{P}_{4}(y,\bm{s})$ at convergence.

We defer the solution quality and time complexity of Algorithm 1 to Section VII after explaining in Section VI below how each $\mathbb{P}_{5}(\bm{z},y,\bm{s})$ in Line 1 of Algorithm 1 is solved.

VI Global Optimization of Problem $\mathbb{P}_{5}(\bm{z},y,\bm{s})$ in (16)

The transmission rate $r_{n}(b_{n},p_{n})$ is jointly concave in $b_{n}$ and $p_{n}$ [6]. Then from the composition rule in Eq. (3.11) of [38] and our Assumption 1 on Page 1, $\mathcal{U}(\bm{b},\bm{p},\bm{s})$ in Eq. (2) is jointly concave in $\bm{b}$ and $\bm{p}$. Thus, $\mathbb{P}_{5}(\bm{z},y,\bm{s})$ belongs to convex optimization. The CVX tool [38] can be used to solve it. However, the worst-case complexity of global convex optimization grows exponentially with the problem size $N$ from Section 1.4.2 of [38]. Below we analyze the KKT conditions [38] to globally optimize $\mathbb{P}_{5}(\bm{z},y,\bm{s})$.

The Lagrange function of $\mathbb{P}_{5}(\bm{z},y,\bm{s})$ is given below, where $\alpha,\beta,\gamma,\bm{\delta},\bm{\zeta}$ denote the multipliers:

$$\textstyle L_{\mathbb{P}_{5}}(\bm{b},\bm{p},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},T,\alpha,\beta,\gamma,\bm{\delta},\bm{\zeta}\mid\bm{z},y,\bm{s})$$

$$\textstyle=-F(\bm{b},\bm{p},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},T\mid y,\bm{s})$$

$$\textstyle+yc_{\hskip 0.5pt\textnormal{e}}\cdot\sum_{n\in\mathcal{N}}\left\{[(p_{n}+p_{n}^{\textnormal{cir}})s_{n}{\color[rgb]{0,0,0}\mu_{n}}{\color[rgb]{0,0,0}\Lambda_{n}}]^{2}z_{n}+\frac{1}{4(r_{n}(b_{n},p_{n}){\color[rgb]{0,0,0}\nu_{n}})^{2}z_{n}}\right\}$$

$$\textstyle+\alpha\cdot\big{(}\sum_{n\in\mathcal{N}}b_{n}-b_{\textnormal{max}}\big{)}+\beta\cdot\big{(}\sum_{n\in\mathcal{N}}p_{n}-p_{\textnormal{max}}\big{)}$$

$$\textstyle+\gamma\cdot\big{(}\sum_{n\in\mathcal{N}}f_{n}^{\textnormal{MS}}-f_{\textnormal{max}}^{\textnormal{MS}}\big{)}+\sum_{n\in\mathcal{N}}\big{[}\delta_{n}\cdot(f_{n}^{\textnormal{VU}}-f_{n,\textnormal{max}}^{\textnormal{VU}})\big{]}$$

$$\textstyle+\sum_{n\in\mathcal{N}}\big{[}\zeta_{n}\cdot(t_{n}(b_{n},p_{n},s_{n},f_{n}^{\textnormal{MS}},f_{n}^{\textnormal{VU}})-T)\big{]}.$$ (19)

Abbreviating $L_{\mathbb{P}_{5}}(\bm{b},\bm{p},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},T,\alpha,\beta,\gamma,\bm{\delta},\bm{\zeta}\mid\bm{z},y,\bm{s}),\bm{f}^{\textnormal{VU}},T\mid\bm{s},y)$, $U_{n}(r_{n}(b_{n},p_{n}),s_{n})$ and $r_{n}(b_{n},p_{n})$ as $L_{\mathbb{P}_{5}}$, $U_{n}$ and $r_{n}$ for simplicity, we present the KKT conditions of $\mathbb{P}_{5}(\bm{z},y,\bm{s})$ as (20)-(33) below.

• Stationarity:

$$\textstyle\forall n\in\mathcal{N}:\frac{\partial L_{\mathbb{P}_{5}}}{\partial b_{n}}=0,\text{ meaning }$$

$$\textstyle~{}~{}~{}~{}~{}~{}~{}~{}~{}-\frac{\partial U_{n}}{\partial r_{n}}\cdot\frac{\partial r_{n}}{\partial b_{n}}-\frac{yc_{\hskip 0.5pt\textnormal{e}}}{2{r_{n}}^{3}{\color[rgb]{0,0,0}{\nu_{n}}^{2}}z_{n}}\frac{\partial r_{n}}{\partial b_{n}}$$

$$\textstyle~{}~{}~{}~{}~{}~{}~{}~{}~{}+\alpha-\zeta_{n}\frac{s_{n}{\color[rgb]{0,0,0}\mu_{n}}{\color[rgb]{0,0,0}\Lambda_{n}}}{{r_{n}}^{2}{\color[rgb]{0,0,0}\nu_{n}}}\frac{\partial r_{n}}{\partial b_{n}}=0;$$ (20)

$$\textstyle\forall n\in\mathcal{N}:\frac{\partial L_{\mathbb{P}_{5}}}{\partial p_{n}}=0,\text{ meaning }$$

$$\textstyle~{}~{}~{}~{}~{}~{}~{}~{}~{}-\frac{\partial U_{n}}{\partial r_{n}}\cdot\frac{\partial r_{n}}{\partial p_{n}}+2yc_{\hskip 0.5pt\textnormal{e}}z_{n}(s_{n}{\color[rgb]{0,0,0}\mu_{n}}{\color[rgb]{0,0,0}\Lambda_{n}})^{2}(p_{n}+p_{n}^{\textnormal{cir}})$$

$$\textstyle~{}~{}~{}~{}~{}~{}~{}~{}~{}-\frac{yc_{\hskip 0.5pt\textnormal{e}}}{2{r_{n}}^{3}{\color[rgb]{0,0,0}{\nu_{n}}^{2}}z_{n}}\frac{\partial r_{n}}{\partial p_{n}}+\beta-\zeta_{n}\frac{s_{n}{\color[rgb]{0,0,0}\mu_{n}}{\color[rgb]{0,0,0}\Lambda_{n}}}{{r_{n}}^{2}{\color[rgb]{0,0,0}\nu_{n}}}\frac{\partial r_{n}}{\partial p_{n}}=0;$$ (21)

$$\textstyle\forall n\in\mathcal{N}:\frac{\partial L_{\mathbb{P}_{5}}}{\partial f_{n}^{\textnormal{MS}}}=0,\text{ meaning }$$

$$\textstyle~{}~{}~{}~{}~{}~{}~{}~{}~{}yc_{\hskip 0.5pt\textnormal{e}}\cdot 2\kappa^{\textnormal{MS}}{\color[rgb]{0,0,0}\mathcal{F}_{n}(s_{n},\Lambda_{n})}{f_{n}^{\textnormal{MS}}}+\gamma-\zeta_{n}\frac{\mathcal{A}_{n}(s_{n},\Lambda_{n})}{(f_{n}^{\textnormal{MS}})^{2}}=0;$$ (22)

$$\textstyle\forall n\in\mathcal{N}:\frac{\partial L_{\mathbb{P}_{5}}}{\partial f_{n}^{\textnormal{VU}}}=0,\text{ meaning }$$

$$\textstyle~{}~{}~{}~{}~{}~{}~{}~{}~{}yc_{\hskip 0.5pt\textnormal{e}}\cdot 2\kappa_{n}^{\textnormal{VU}}{\color[rgb]{0,0,0}\mathcal{G}_{n}(s_{n},\Lambda_{n})}{f_{n}^{\textnormal{VU}}}+\delta_{n}-\zeta_{n}\frac{{\color[rgb]{0,0,0}\mathcal{B}_{n}(s_{n},\Lambda_{n})}}{(f_{n}^{\textnormal{VU}})^{2}}=0;$$ (23)

$$\textstyle\frac{\partial L_{\mathbb{P}_{5}}}{\partial T}=0,\text{ meaning }\sum_{n\in\mathcal{N}}\zeta_{n}=yc_{\hskip 0.8pt\textnormal{t}}.$$ (24)

• Complementary slackness:

$$\textstyle\alpha\cdot\big{(}\sum_{n\in\mathcal{N}}b_{n}-b_{\textnormal{max}}\big{)}=0;$$ (25)

$$\textstyle\beta\cdot\big{(}\sum_{n\in\mathcal{N}}p_{n}-p_{\textnormal{max}}\big{)}=0;$$ (26)

$$\textstyle\gamma\cdot\big{(}\sum_{n\in\mathcal{N}}f_{n}^{\textnormal{MS}}-f_{\textnormal{max}}^{\textnormal{MS}}\big{)}=0;$$ (27)

$$\textstyle\delta_{n}\cdot(f_{n}^{\textnormal{VU}}-f_{n,\textnormal{max}}^{\textnormal{VU}})=0\textnormal{ for all }n\in\mathcal{N};$$ (28)

$$\textstyle\zeta_{n}\cdot(t_{n}(b_{n},p_{n},s_{n},f_{n}^{\textnormal{MS}},f_{n}^{\textnormal{VU}})-T)=0\textnormal{ for all }n\in\mathcal{N}.$$ (29)

$$\textstyle\textbf{\textbullet~{}Primal feasibility: }\textnormal{(\ref{constraintbn})},\textnormal{(\ref{constraintpn})},\textnormal{(\ref{constraintfMS})},\textnormal{(\ref{constraintfn})},\textnormal{(\ref{constraintTtau})}.$$ (30)

• Dual feasibility:

$$\textstyle\begin{array}[]{l}\text{(\ref{Dualfeasibility}a):~{}}\alpha\geq 0;~{}~{}~{}\text{(\ref{Dualfeasibility}b):~{}}\beta\geq 0;~{}~{}~{}\text{(\ref{Dualfeasibility}c):~{}}\gamma\geq 0;\\ \text{(\ref{Dualfeasibility}d):~{}}\delta_{n}\geq 0\textnormal{ for all }n\in\mathcal{N};\text{(\ref{Dualfeasibility}e):~{}}\zeta_{n}\geq 0\textnormal{ for all }n\in\mathcal{N}.\end{array}$$ (33)

We now analyze the KKT conditions of (20)–(33), to solve $\mathbb{P}_{5}(\textnormal{\footnotesize$\bigstar$})$, where “$\bigstar$” denotes “$\bm{z},y,\bm{s}$” from now on for notation simplicity. Among the Lagrange multipliers, it is clear from (20) that

$$\textstyle\alpha>0.$$ (34)

Then using (34) in (25), we obtain

$$\textstyle\sum_{n\in\mathcal{N}}b_{n}=b_{\textnormal{max}}.$$ (35)

Thus, (25) (7a) (33a) can be replaced by (34) (35). Hence,

$$\textstyle\begin{array}[]{l}\textnormal{the KKT conditions of Problem $\mathbb{P}_{5}(\textnormal{\footnotesize$\bigstar$})$, which include }\\ \textnormal{(\ref{Stationaritybn})--(\ref{Complementarytime}), (\ref{Primalfeasibility}) (i.e., {(\ref{constraintbn})}, {(\ref{constraintpn})}, {(\ref{constraintfMS})}, {(\ref{constraintfn})}, {(\ref{constraintTtau})}), and (\ref{Dualfeasibility}) }\\ \textnormal{(i.e., (\ref{Dualfeasibility}a), (\ref{Dualfeasibility}b), (\ref{Dualfeasibility}c), (\ref{Dualfeasibility}d), (\ref{Dualfeasibility}e))},\\ \textnormal{can be expressed as $\mathcal{S}_{KKT}$, which denotes the collection of}\\ \textnormal{(\ref{Stationaritybn})--(\ref{partialLpartialT}), (\ref{Complementarybeta})--(\ref{Complementarytime}), {(\ref{constraintpn})}, {(\ref{constraintfMS})}, {(\ref{constraintfn})}, {(\ref{constraintTtau})}, (\ref{Dualfeasibility}b), (\ref{Dualfeasibility}c)},\\ \textnormal{(\ref{Dualfeasibility}d), (\ref{Dualfeasibility}e), (\ref{Stationaritypn3alpha}), and (\ref{Complementaryalpha2}).}\end{array}$$ (42)

(43)

Identifying a roadmap to compute the variables step-by-step. Given “$\bm{z},y,\bm{s}$” (denoted by “$\bigstar$” below), we will find $\bm{b},\bm{p},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},T,\alpha,\beta,\gamma,\bm{\delta},\bm{\zeta}$ to satisfy the KKT conditions $\mathcal{S}_{KKT}$ defined above.

We will partition the KKT conditions given in $\mathcal{S}_{KKT}$ of (43) for $\mathbb{P}_{5}(\textnormal{\footnotesize$\bigstar$})$ into the sets $\mathcal{S}_{1.1},\mathcal{S}_{1.2.1},\mathcal{S}_{1.2.2.1},$ $\mathcal{S}_{1.2.2.2},\mathcal{S}_{2.1},\mathcal{S}_{2.2}$ defined below to enable a step-by-step approach, in order to solve for the variables:

$$\textstyle\begin{cases}\textnormal{{Step 1:} Considering $\bm{\zeta}$ as an parameter, find $[\bm{b},\bm{p},\bm{f}^{\textnormal{MS}}$,}\\ \textnormal{$\bm{f}^{\textnormal{VU}},\alpha,\beta,\gamma,\bm{\delta}]$ satisfying }\textnormal{$\mathcal{S}_{1.1}\cup\mathcal{S}_{1.2.1}\cup\mathcal{S}_{1.2.2.1}\cup\mathcal{S}_{1.2.2.2}$}\\ \textnormal{as functions of $[\bm{\zeta},\textnormal{\small$\bigstar$}]$ through Steps 1.1 and 1.2 below, }\\ \textnormal{where}\mathcal{S}_{1.1}\cup\mathcal{S}_{1.2.1}\cup\mathcal{S}_{1.2.2.1}\cup\mathcal{S}_{1.2.2.2}=\\ \bigg{\{}\begin{array}[]{l}\textnormal{(\ref{Stationaritybn}), (\ref{Stationaritypn}), (\ref{partialLpartialfMS}), (\ref{partialLpartialfVU}), (\ref{Complementarybeta}), (\ref{Complementarygamma}), (\ref{Complementarydelta}),}\\[-5.0pt] \textnormal{(\ref{constraintpn})},\textnormal{(\ref{constraintfMS}), {(\ref{constraintfn})}, (\ref{Dualfeasibility}b), (\ref{Dualfeasibility}c), (\ref{Dualfeasibility}d), (\ref{Stationaritypn3alpha}), (\ref{Complementaryalpha2})}\end{array}\bigg{\}},\hfill\textnormal{(44)\hskip 42.0pt}\\ \textnormal{for $\mathcal{S}_{1.1}$, $\mathcal{S}_{1.2.1}$, $\mathcal{S}_{1.2.2.1}$ and $\mathcal{S}_{1.2.2.2}$ defined in~{}(45),~{}(47),}\\ \textnormal{(49) and~{}(50) below,}\\ \begin{cases}\textnormal{{Step 1.1}: Find $\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},\gamma,\bm{\delta}$ satisfying $\mathcal{S}_{1.1}$ as}\\ \textnormal{ functions of $[\bm{\zeta},\textnormal{\small$\bigstar$}]$:}\\ \mathcal{S}_{1.1}:=\big{\{}\textnormal{(\ref{partialLpartialfMS}), (\ref{partialLpartialfVU}), (\ref{Complementarygamma}), (\ref{Complementarydelta}), {(\ref{constraintfMS})}, {(\ref{constraintfn})}, (\ref{Dualfeasibility}c), (\ref{Dualfeasibility}d)}\big{\}},\hfill\\ ~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}\textnormal{(45)\hskip 29.0pt}\\ \textnormal{{Step 1.2}: Find $\bm{b},\bm{p},\alpha,\beta$ satisfying}\\ \textnormal{ $\mathcal{S}_{1.2.1}\cup\mathcal{S}_{1.2.2.1}\cup\mathcal{S}_{1.2.2.2}$ as functions of $[\bm{\zeta},\textnormal{\small$\bigstar$}]$ through }\\ \textnormal{Steps 1.2.1, 1.2.2.1, and 1.2.2.2 below, where }\\ \mathcal{S}_{1.2.1}\cup\mathcal{S}_{1.2.2.1}\cup\mathcal{S}_{1.2.2.2}=\\ \big{\{}\textnormal{(\ref{Stationaritybn}), (\ref{Stationaritypn}), (\ref{Complementarybeta}), {(\ref{constraintpn})}, (\ref{Dualfeasibility}b), (\ref{Stationaritypn3alpha}), (\ref{Complementaryalpha2})}\big{\}},\hfill\textnormal{(46)\hskip 55.0pt}\\ \textnormal{for $\mathcal{S}_{1.2.1}$, $\mathcal{S}_{1.2.2.1}$ and $\mathcal{S}_{1.2.2.2}$ defined in~{}(47),~{}(49)}\\ \textnormal{and~{}(50) below,}\\ \begin{cases}\textnormal{{Step 1.2.1}: Considering $[\alpha,\beta]$ as parameters, find}\\ \textnormal{ $\bm{b},\bm{p}$ satisfying $\mathcal{S}_{1.2.1}$ as functions of $[\alpha,\beta,\bm{\zeta},\textnormal{\small$\bigstar$}]$,}\\ \textnormal{ for $\mathcal{S}_{1.2.1}:=\big{\{}\textnormal{(\ref{Stationaritybn}), (\ref{Stationaritypn})}\big{\}}$,}\hfill\textnormal{(47)\hskip 15.0pt}\\ \textnormal{{Step 1.2.2}: Using results of Step 1.2.1, find $[\alpha,\beta]$}\\ \textnormal{ satisfying $\mathcal{S}_{1.2.2.1}\cup\mathcal{S}_{1.2.2.2}$ as functions of}\\ \textnormal{ $[\bm{\zeta},\textnormal{\small$\bigstar$}]$ through Steps 1.2.2.1 and 1.2.2.2 below, }\\ \textnormal{where }\mathcal{S}_{1.2.2.1}\cup\mathcal{S}_{1.2.2.2}=\\ \big{\{}\textnormal{(\ref{Complementarybeta}), {(\ref{constraintpn})}, (\ref{Dualfeasibility}b), (\ref{Stationaritypn3alpha}), (\ref{Complementaryalpha2})}\big{\}},\hfill\textnormal{(48)\hskip 15.0pt}\\ \textnormal{for $\mathcal{S}_{1.2.2.1}$ and $\mathcal{S}_{1.2.2.2}$ defined in~{}(49) and~{}(50) below,}\\ \begin{cases}\textnormal{{Step 1.2.2.1:} considering $\beta$ as a parameter, find $\alpha$}\\ \textnormal{satisfying $\mathcal{S}_{1.2.2.1}$ as a function of $[\beta,\bm{\zeta},\textnormal{\small$\bigstar$}]$, for}\\ \textnormal{ $\mathcal{S}_{1.2.2.1}:=\big{\{}\textnormal{(\ref{Stationaritypn3alpha}), (\ref{Complementaryalpha2})}\big{\}}$,}\hfill\textnormal{(49)\hskip 1.0pt}\\ \textnormal{{Step 1.2.2.2}: using results of Step 1.2.2.1, find $\beta$ }\\ \textnormal{satisfying $\mathcal{S}_{1.2.2.2}$ as a function of $[\bm{\zeta},\textnormal{\small$\bigstar$}]$,}\\ \textnormal{for $\mathcal{S}_{1.2.2.2}:=\big{\{}\textnormal{(\ref{Complementarybeta})},\textnormal{(\ref{constraintpn})},\textnormal{(\ref{Dualfeasibility}b)}\big{\}}$,}\hfill\textnormal{(50)\hskip 1.0pt}\\ \end{cases}\end{cases}\end{cases}\\ \textnormal{{Step 2:} Using results of Steps 1.1 and 1.2, find $[T,\bm{\zeta}]$}\\ \textnormal{ satisfying $\mathcal{S}_{2.1}\cup\mathcal{S}_{2.2}$ as a function of ``$\textnormal{\small$\bigstar$}$'' through Steps }\\ \textnormal{ 2.1 and 2.2 below, where $\mathcal{S}_{2.1}\cup\mathcal{S}_{2.2}:=$}\\ \textnormal{$\big{\{}\textnormal{(\ref{partialLpartialT}), (\ref{Complementarytime}), (\ref{constraintTtau}), (\ref{Dualfeasibility}e)}\big{\}}$,}\hskip 115.0pt\textnormal{(51)~{}}\\ \textnormal{for $\mathcal{S}_{2.1}$ and $\mathcal{S}_{2.2}$ defined in~{}(52) and~{}(53) below,}\\ \begin{cases}\textnormal{{Step 2.1}: considering $T$ as a parameter, find $\bm{\zeta}$ }\\ \textnormal{satisfying $\mathcal{S}_{2.1}$ as a function of $[T,\textnormal{\small$\bigstar$}]$,}\\ \textnormal{for $\mathcal{S}_{2.1}:=\big{\{}\textnormal{(\ref{Complementarytime}), (\ref{constraintTtau}), (\ref{Dualfeasibility}e)}\big{\}}$,}\hfill\textnormal{(52)}\\ \textnormal{{Step 2.2}: using results of Steps 1.1 and 1.2, find $T$ }\\ \textnormal{satisfying $\mathcal{S}_{2.2}$ as a function of ``$\textnormal{\small$\bigstar$}$'',}\\ \textnormal{for $\mathcal{S}_{2.2}:=\{\textnormal{(\ref{partialLpartialT})}\}$,}\hfill\textnormal{(53)}\end{cases}\end{cases}$$

(54)

Steps 1.1, 1.2.1, 1.2.2.1, 1.2.2.2, 2.1, and 2.2 use $\mathcal{S}_{1.1},\mathcal{S}_{1.2.1},\mathcal{S}_{1.2.2.1},\mathcal{S}_{1.2.2.2},\mathcal{S}_{2.1},$ and $\mathcal{S}_{2.2}$, respectively. Each step uses a subset of the KKT conditions $\mathcal{S}_{KKT}$ (defined in (43)) of Problem $\mathbb{P}_{5}(\textnormal{\footnotesize$\bigstar$})$, and all steps combined together utilize all the conditions, since it holds from (45), (47), (49), (50), (52) and (53) that

$$\textstyle\mathcal{S}_{1.1}\cup\mathcal{S}_{1.2.1}\cup\mathcal{S}_{1.2.2.1}\cup\mathcal{S}_{1.2.2.2}\cup\mathcal{S}_{2.1}\cup\mathcal{S}_{2.2}$$ (55)

$$\textstyle=\textnormal{KKT conditions $\mathcal{S}_{KKT}$ in (\ref{KKTP5}).}$$

We introduce notations to denote the computed results in the steps. The goal is to obtain

$$\textstyle\begin{array}[]{l}\textnormal{$[\bm{b}^{\#}(\textnormal{\small$\bigstar$}),\bm{p}^{\#}(\textnormal{\small$\bigstar$}),(\bm{f}^{\textnormal{MS}})^{\#}(\textnormal{\small$\bigstar$}),(\bm{f}^{\textnormal{VU}})^{\#}(\textnormal{\small$\bigstar$}),T^{\#}(\textnormal{\small$\bigstar$}),\alpha^{\#}(\textnormal{\small$\bigstar$})$,}\\ \textnormal{$\beta^{\#}(\textnormal{\small$\bigstar$}),\gamma^{\#}(\textnormal{\small$\bigstar$}),\bm{\delta}^{\#}(\textnormal{\small$\bigstar$}),\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$})]$,}\textnormal{denoting a solution of}\\ \textnormal{$[\bm{b},\bm{p},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},T,\alpha,\beta,\gamma,\bm{\delta},\bm{\zeta}]$ to the KKT conditions }\\ \textnormal{$\mathcal{S}_{KKT}$ in (\ref{KKTP5});}\\ \textnormal{i.e., $[\bm{b}^{\#}(\textnormal{\small$\bigstar$}),\bm{p}^{\#}(\textnormal{\small$\bigstar$}),(\bm{f}^{\textnormal{MS}})^{\#}(\textnormal{\small$\bigstar$}),(\bm{f}^{\textnormal{VU}})^{\#}(\textnormal{\small$\bigstar$}),T^{\#}(\textnormal{\small$\bigstar$})]$}\\ \textnormal{denotes a global optimum to $\mathbb{P}_{5}(\textnormal{\small$\bigstar$})$.}\end{array}$$ (62)

For X being 1.1, 1.2, 1.2.1, 1.2.2.1, 1.2.2.2, 2.1, or 2.2, Proposition X below is a formal presentation of Step X above. For better clarity, we also present the following table to help understand notations.

TABLE II: Notes for notations, where “   ” denotes a wildcard symbol hereinafter for convenience.

Notations	Notes
$\bigstar$	Represent “$\bm{z},y,\bm{s}$”
$\acute{\rule{5.0pt}{6.99997pt}}(\cdot)$ notations	Defined in Propositions 1.1 and 1.2
$\rule{5.0pt}{6.99997pt}^{\#}(\cdot)$, $\widetilde{\rule{5.0pt}{6.99997pt}}(\cdot)$, $\breve{\rule{5.0pt}{6.99997pt}}(\cdot)$, $\grave{\rule{5.0pt}{6.99997pt}}(\cdot)$	Defined in (62), and Propositions 1.2.1, 1.2.2.1, and 2.1, respectively

Proposition 1.1.

We have the following results which formally explain Step 1.1 of Page 54.
(i) Given “$\bigstar$”, if in $\mathcal{S}_{1.1}$ defined in (45), we substitute $\bm{\zeta}$ with $\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$})$ defined in (62), then
$[\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},\gamma,\bm{\delta}]$ satisfying $\mathcal{S}_{1.1}$ is $[(\bm{f}^{\textnormal{MS}})^{\#}(\textnormal{\small$\bigstar$}),(\bm{f}^{\textnormal{VU}})^{\#}(\textnormal{\small$\bigstar$}),\gamma^{\#}(\textnormal{\small$\bigstar$}),\bm{\delta}^{\#}(\textnormal{\small$\bigstar$})]$ defined in (62).
(ii) Given “$\bigstar$” and $\bm{\zeta}$, let the solution of $[\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},\gamma,\bm{\delta}]$ to $\mathcal{S}_{1.1}$ be$[\acute{\bm{f}}^{\textnormal{MS}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\bm{f}}^{\textnormal{VU}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\gamma}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\bm{\delta}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})]$. Then

$$[\acute{\bm{f}}^{\textnormal{MS}}(\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$}),\acute{\bm{f}}^{\textnormal{VU}}(\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$}),\acute{\gamma}(\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$})$$,

$$\acute{\bm{\delta}}(\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$})] [(\bm{f}^{\textnormal{MS}})^{\#}(\textnormal{\small$\bigstar$}),(\bm{f}^{\textnormal{VU}})^{\#}(\textnormal{\small$\bigstar$}),\gamma^{\#}(\textnormal{\small$\bigstar$}),\bm{\delta}^{\#}(\textnormal{\small$\bigstar$})]$$ = . (63)

Proof of Proposition 1.1: Given “$\bigstar$” and $\bm{\zeta}$, the conditions in $\mathcal{S}_{1.1}$ of (45) are necessary and sufficient to decide $[\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},\gamma,\bm{\delta}]$. Since setting $[\bm{\zeta},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},\gamma,\bm{\delta}]$ as $[\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$}),(\bm{f}^{\textnormal{MS}})^{\#}(\textnormal{\small$\bigstar$}),(\bm{f}^{\textnormal{VU}})^{\#}(\textnormal{\small$\bigstar$}),\gamma^{\#}(\textnormal{\small$\bigstar$}),\bm{\delta}^{\#}(\textnormal{\small$\bigstar$})]$ satisfies $\mathcal{S}_{1.1}$ due to (62), Results (i) and (ii) of Proposition 1.1 clearly hold. ∎

Proposition 1.2.

We have the following results, which formally explain Step 1.2 of Page 54.
(i) Given “$\bigstar$”, if in $\mathcal{S}_{1.2.1}\cup\mathcal{S}_{1.2.2.1}\cup\mathcal{S}_{1.2.2.2}$ defined in (46), we substitute $\bm{\zeta}$ with $\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$})$ defined in (62), then $[\bm{b},\bm{p},\alpha,\beta]$ satisfying $\mathcal{S}_{1.2.1}\cup\mathcal{S}_{1.2.2.1}\cup\mathcal{S}_{1.2.2.2}$ is $[\bm{b}^{\#}(\textnormal{\small$\bigstar$}),\bm{p}^{\#}(\textnormal{\small$\bigstar$}),\alpha^{\#}(\textnormal{\small$\bigstar$}),\beta^{\#}(\textnormal{\small$\bigstar$})]$ defined in (62).
(ii) Given “$\bigstar$” and $\bm{\zeta}$, let the solution of $[\bm{b},\bm{p},\alpha,\beta]$ to $\mathcal{S}_{1.2.1}\cup\mathcal{S}_{1.2.2.1}\cup\mathcal{S}_{1.2.2.2}$
be $[\acute{\bm{b}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\bm{p}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\alpha}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})]$. Then

$$[\acute{\bm{b}}(\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$}),\acute{\bm{p}}(\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$}),\acute{\alpha}(\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$}) \acute{\beta}(\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$})]$$,

$$\textstyle=\textnormal{$[\bm{b}^{\#}(\textnormal{\small$\bigstar$}),\bm{p}^{\#}(\textnormal{\small$\bigstar$}),\alpha^{\#}(\textnormal{\small$\bigstar$}),\beta^{\#}(\textnormal{\small$\bigstar$})]$.}$$ (64)

Proof of Proposition 1.2: Given “$\bigstar$” and $\bm{\zeta}$, the conditions in $\mathcal{S}_{1.2.1}\cup\mathcal{S}_{1.2.2.1}\cup\mathcal{S}_{1.2.2.2}$ of (46) are necessary and sufficient to decide $[\bm{b},\bm{p},\alpha,\beta]$. Since setting $[\bm{\zeta},\bm{b},\bm{p},\alpha,\beta]$ as $[\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$}),\bm{b}^{\#}(\textnormal{\small$\bigstar$}),\bm{p}^{\#}(\textnormal{\small$\bigstar$}),\alpha^{\#}(\textnormal{\small$\bigstar$}),\beta^{\#}(\textnormal{\small$\bigstar$})]$ satisfies $\mathcal{S}_{1.2.1}\cup\mathcal{S}_{1.2.2.1}\cup\mathcal{S}_{1.2.2.2}$ due to (62), Results (i) and (ii) of Proposition 1.2 clearly hold. ∎

Proposition 1.2.1.

We have the following result which formally explains Step 1.2.1 of Page 54.
(i) Given “$\bigstar$” and $\bm{\zeta}$, if in $\mathcal{S}_{1.2.1}$ defined in (47), we substitute $[\alpha,\beta]$ with $[\acute{\alpha}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})]$ defined in Proposition 1.2, then $[\bm{b},\bm{p}]$ satisfying $\mathcal{S}_{1.2.1}$ is $[\acute{\bm{b}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\bm{p}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})]$ defined in Proposition 1.2.
(ii) Given “$\bigstar$” and $[\alpha,\beta,\bm{\zeta}]$, let the solution of $[\bm{b},\bm{p}]$ to $\mathcal{S}_{1.2.1}$ be $[\widetilde{\bm{b}}(\alpha,\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\widetilde{\bm{p}}(\alpha,\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})]$. Then

$$[\widetilde{\bm{b}}(\acute{\alpha}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\widetilde{\bm{p}}(\acute{\alpha}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\bm{\zeta}\mid\textnormal{\small$\bigstar$})]$$

$$\textstyle=\textnormal{ $[\acute{\bm{b}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\bm{p}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})]$.}$$ (65)

Proof of Proposition 1.2.1: Given “$\bigstar$” and $[\alpha,\beta,\bm{\zeta}]$, the conditions in $\mathcal{S}_{1.2.1}$ of (47) are necessary and sufficient to decide $[\bm{b},\bm{p}]$. Since setting $[\bm{b},\bm{p},\alpha,\beta]$ as $[\acute{\bm{b}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\bm{p}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\alpha}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})]$ satisfies $\mathcal{S}_{1.2.1}$ by the $\acute{\rule{5.0pt}{6.99997pt}}(\cdot)$ notations in Proposition 1.2, Results (i) and (ii) of Proposition 1.2.1 clearly hold. ∎

Proposition 1.2.2.

We have the following result which formally explains Step 1.2.2 of Page 54.
Given “$\bigstar$” and $[\alpha,\beta,\bm{\zeta}]$, if in $\mathcal{S}_{1.2.2.1}\cup\mathcal{S}_{1.2.2.2}$ given in (48), we substitute $[\bm{b},\bm{p}]$
with $[\widetilde{\bm{b}}(\alpha,\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\widetilde{\bm{p}}(\alpha,\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})]$ defined in Proposition 1.2.1, then $[\alpha,\beta]$ satisfying $\mathcal{S}_{1.2.2.1}\cup\mathcal{S}_{1.2.2.2}$ is $[\acute{\alpha}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})]$ defined in Proposition 1.2.

Proof of Proposition 1.2.2: Given “$\bigstar$” and $[\alpha,\beta,\bm{\zeta}]$, if in $\mathcal{S}_{1.2.2.1}\cup\mathcal{S}_{1.2.2.2}$ of (48), we substitute $[\bm{b},\bm{p}]$ with $[\widetilde{\bm{b}}(\alpha,\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\widetilde{\bm{p}}(\alpha,\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})]$ defined in Proposition 1.2.1, the conditions in $\mathcal{S}_{1.2.2.1}\cup\mathcal{S}_{1.2.2.2}$ of (48) are necessary and sufficient to decide $[\alpha,\beta]$. Since setting $[\bm{b},\bm{p},\alpha,\beta]$ as
$[\widetilde{\bm{b}}(\acute{\alpha}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\widetilde{\bm{p}}(\acute{\alpha}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\alpha}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})]$
(i.e., $[\acute{\bm{b}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\bm{p}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\alpha}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})]$ according to (65)) satisfies $\mathcal{S}_{1.2.2.1}\cup\mathcal{S}_{1.2.2.2}$ by the definition of the $\acute{\rule{5.0pt}{6.99997pt}}(\cdot)$ notations in Proposition 1.2, Proposition 1.2.2 clearly follows. ∎

Despite Proposition 1.2.2, simultaneously solving for $[\alpha,\beta]$ to $\mathcal{S}_{1.2.2.1}\cup\mathcal{S}_{1.2.2.2}$ is challenging. Instead, we solve for $\alpha$ as a function of $\beta$ first and then decide $\beta$ in Propositions 1.2.2.1 and 1.2.2.2 below.

Proposition 1.2.2.1.

We have the following results which formally explain Step 1.2.2.1 of Page 54.
(i) Given “$\bigstar$” and $\bm{\zeta}$, if in $\mathcal{S}_{1.2.2.1}$ defined in (49), we substitute $\bm{b}$ with $\widetilde{\bm{b}}(\alpha,\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\bm{\zeta}\mid\textnormal{\small$\bigstar$})$, then $\alpha$ satisfying $\mathcal{S}_{1.2.2.1}$ is $\acute{\alpha}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})$, where the $\acute{\rule{5.0pt}{6.99997pt}}(\cdot)$ and $\widetilde{\rule{5.0pt}{6.99997pt}}(\cdot)$ notations are defined in Propositions 1.2 and 1.2.1.
(ii) Given “$\bigstar$” and $\bm{\zeta}$, if in $\mathcal{S}_{1.2.2.1}$, we substitute $\bm{b}$ with $\widetilde{\bm{b}}(\alpha,\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ defined in Proposition 1.2.1, let the solution of $\alpha$ to $\mathcal{S}_{1.2.2.1}$ be $\breve{\alpha}(\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})$. Then

$$\breve{\alpha}(\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\bm{\zeta}\mid\textnormal{\small$\bigstar$}) \acute{\alpha}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})$$ equals , and (66)

$$[\widetilde{\bm{b}}(\breve{\alpha}(\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\widetilde{\bm{p}}(\breve{\alpha}(\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\bm{\zeta}\mid\textnormal{\small$\bigstar$}),$$

$$\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\bm{\zeta}\mid\textnormal{\small$\bigstar$})] [\acute{\bm{b}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\bm{p}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})]$$ equals . (67)

Proof of Proposition 1.2.2.1: Given “$\bigstar$” and $\bm{\zeta}$, if in $\mathcal{S}_{1.2.2.1}$ defined in (49), we substitute $\bm{b}$ with $\widetilde{\bm{b}}(\alpha,\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\bm{\zeta}\mid\textnormal{\small$\bigstar$})$, then the conditions in $\mathcal{S}_{1.2.2.1}$ of (49) are necessary and sufficient to decide $\alpha$. Since setting $\alpha$ as $\acute{\alpha}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ and setting $\bm{b}$ as $\widetilde{\bm{b}}(\acute{\alpha}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ (i.e., $\acute{\bm{b}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ according to (65)) satisfies $\mathcal{S}_{1.2.2.1}$ by the definition of the $\acute{\rule{5.0pt}{6.99997pt}}(\cdot)$ notations in Proposition 1.2, Proposition 1.2.2.1 clearly follows. In particular, after we have (66), we further obtain (67) from (65) and (66).∎

Proposition 1.2.2.2.

We have the following result which formally explains Step 1.2.2.2 of Page 54.
Given “$\bigstar$”, if in $\mathcal{S}_{1.2.2.2}$ defined in (50), we substitute $\bm{p}$ with $\widetilde{\bm{p}}(\breve{\alpha}(\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})$, then $\beta$ satisfying $\mathcal{S}_{1.2.2.2}$ is $\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})$, where $\breve{\rule{5.0pt}{6.99997pt}}(\cdot)$, $\widetilde{\rule{5.0pt}{6.99997pt}}(\cdot)$, and $\acute{\rule{5.0pt}{6.99997pt}}(\cdot)$ notations are defined in Propositions 1.2.2.1, 1.2.1, and 1.2.

Proof of Proposition 1.2.2.2: Given “$\bigstar$”, if in $\mathcal{S}_{1.2.2.2}$ defined in (50), we substitute $\bm{p}$ with $\widetilde{\bm{p}}(\breve{\alpha}(\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})$, then the conditions in $\mathcal{S}_{1.2.2.2}$ of (50) are necessary and sufficient to decide $\beta$. Since setting $\beta$ as $\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ and setting $\bm{p}$ as $\widetilde{\bm{p}}(\breve{\alpha}(\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ (i.e., $\acute{\bm{p}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ based on (66) and (67)) satisfies $\mathcal{S}_{1.2.2.2}$ by the $\acute{\rule{5.0pt}{6.99997pt}}(\cdot)$ notations in Proposition 1.2, Proposition 1.2.2.2 clearly follows. ∎

Proposition 2.

We have the following result which formally explains Step 2 of Page 54.
Given “$\bigstar$”, if in $\mathcal{S}_{2.1}\cup\mathcal{S}_{2.2}$ defined in (51), we substitute $[\bm{b},\bm{p},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},\alpha,\beta,\gamma,\bm{\delta}]$ with
$[\acute{\bm{b}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\bm{p}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\bm{f}}^{\textnormal{MS}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\bm{f}}^{\textnormal{VU}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\alpha}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\gamma}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\bm{\delta}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})]$ defined in Propositions 1.1 and 1.2, then $[\bm{\zeta},T]$ satisfying $\mathcal{S}_{2.1}\cup\mathcal{S}_{2.2}$ is $[\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$}),T^{\#}(\textnormal{\small$\bigstar$})]$ defined in (62).

Despite Proposition 2, simultaneously solving for $[\bm{\zeta},T]$ to $\mathcal{S}_{1.2.2.1}\cup\mathcal{S}_{1.2.2.2}$ is challenging. Instead, we solve for $\zeta$ as a function of $T$ first and then decide $T$ in Propositions 2.1 and 2.2 below.

Proposition 2.1.

We have the following result which formally explains Step 2.1 of Page 54.
(i) Given “$\bigstar$”, if in $\mathcal{S}_{2.1}$ defined in (52), we substitute $[T,\bm{b},\bm{p},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}}]$ with
$[T^{\#}(\textnormal{\small$\bigstar$}),\acute{\bm{b}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\bm{p}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\bm{f}}^{\textnormal{MS}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\bm{f}}^{\textnormal{VU}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})]$, then $\bm{\zeta}$ satisfying $\mathcal{S}_{2.1}$ is $\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$})$, where the $\rule{5.0pt}{6.99997pt}^{\#}(\cdot)$ and $\acute{\rule{5.0pt}{6.99997pt}}(\cdot)$ notations are defined in (62) and Proposition 1.2 respectively.
(ii) Given “$\bigstar$”, if in $\mathcal{S}_{2.1}$ defined in (52), we substitute $[\bm{b},\bm{p},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}}]$ with
$[\acute{\bm{b}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\bm{p}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\bm{f}}^{\textnormal{MS}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\bm{f}}^{\textnormal{VU}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})]$, let the solution of $\bm{\zeta}$ to $\mathcal{S}_{2.1}$ be $\grave{\bm{\zeta}}(T\mid\textnormal{\small$\bigstar$})$. Then

$$\grave{\bm{\zeta}}(T^{\#}(\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$}) \bm{\zeta}^{\#}(\textnormal{\small$\bigstar$})$$ equals , and (68)

$$\textstyle[\acute{\bm{b}}(\grave{\bm{\zeta}}(T^{\#}(\textnormal{{\tiny$\bigstar$}})|\textnormal{{\tiny$\bigstar$}})|\textnormal{{\tiny$\bigstar$}}),\acute{\bm{p}}(\grave{\bm{\zeta}}(T^{\#}(\textnormal{{\tiny$\bigstar$}})|\textnormal{{\tiny$\bigstar$}})|\textnormal{{\tiny$\bigstar$}}),\acute{\bm{f}}^{\textnormal{MS}}(\grave{\bm{\zeta}}(T^{\#}(\textnormal{{\tiny$\bigstar$}})|\textnormal{{\tiny$\bigstar$}})|\textnormal{{\tiny$\bigstar$}}),$$

$$\textstyle\acute{\bm{f}}^{\textnormal{VU}}(\grave{\bm{\zeta}}(T^{\#}(\textnormal{{\tiny$\bigstar$}})|\textnormal{{\tiny$\bigstar$}})|\textnormal{{\tiny$\bigstar$}}),\acute{\alpha}(\grave{\bm{\zeta}}(T^{\#}(\textnormal{{\tiny$\bigstar$}})|\textnormal{{\tiny$\bigstar$}})|\textnormal{{\tiny$\bigstar$}}),\acute{\beta}(\grave{\bm{\zeta}}(T^{\#}(\textnormal{{\tiny$\bigstar$}})|\textnormal{{\tiny$\bigstar$}})|\textnormal{{\tiny$\bigstar$}}),$$

$$\textstyle\acute{\gamma}(\grave{\bm{\zeta}}(T^{\#}(\textnormal{{\tiny$\bigstar$}})|\textnormal{{\tiny$\bigstar$}})|\textnormal{{\tiny$\bigstar$}}),\acute{\bm{\delta}}(\grave{\bm{\zeta}}(T^{\#}(\textnormal{{\tiny$\bigstar$}})|\textnormal{{\tiny$\bigstar$}})|\textnormal{{\tiny$\bigstar$}})]$$

equals $$[\bm{b}^{\#}(\textnormal{\small$\bigstar$}),\bm{p}^{\#}(\textnormal{\small$\bigstar$}),(\bm{f}^{\textnormal{MS}})^{\#}(\textnormal{\small$\bigstar$}),(\bm{f}^{\textnormal{VU}})^{\#}(\textnormal{\small$\bigstar$}),$$

$$\alpha^{\#}(\textnormal{\small$\bigstar$}),\beta^{\#}(\textnormal{\small$\bigstar$}),\gamma^{\#}(\textnormal{\small$\bigstar$}),\bm{\delta}^{\#}(\textnormal{\small$\bigstar$})]$$. (69)

Proof of Proposition 2.1: Given “$\bigstar$”, if in $\mathcal{S}_{2.1}$ defined in (52), we substitute $[T,\bm{b},\bm{p},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}}]$ with $[T^{\#}(\textnormal{\small$\bigstar$}),\acute{\bm{b}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\bm{p}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\bm{f}}^{\textnormal{MS}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\bm{f}}^{\textnormal{VU}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})]$, then the conditions in $\mathcal{S}_{2.1}$ of (52) are necessary and sufficient to decide $\bm{\zeta}$. Since setting $[\bm{\zeta},T,\bm{b},\bm{p},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}}]$ as $[\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$}),T^{\#}(\textnormal{\small$\bigstar$}),\acute{\bm{b}}(\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$}),\acute{\bm{p}}(\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$}),\acute{\bm{f}}^{\textnormal{MS}}(\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$}),\acute{\bm{f}}^{\textnormal{VU}}(\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$})]$ (i.e., $[\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$}),T^{\#}(\textnormal{\small$\bigstar$}),\bm{b}^{\#}(\textnormal{\small$\bigstar$}),\bm{p}^{\#}(\textnormal{\small$\bigstar$}),(\bm{f}^{\textnormal{MS}})^{\#}(\textnormal{\small$\bigstar$}),(\bm{f}^{\textnormal{VU}})^{\#}(\textnormal{\small$\bigstar$})]$ according to (63) and (64)) satisfies $\mathcal{S}_{2.1}$ by the $\rule{5.0pt}{6.99997pt}^{\#}(\cdot)$ notations in (62), Proposition 2.1 clearly follows. ∎

Proposition 2.2.

We have the following result which formally explains Step 2.2 of Page 54.
Given “$\bigstar$”, if in $\mathcal{S}_{2.2}$ defined in (53), we substitute $[\bm{\zeta},\bm{b},\bm{p},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}}]$ with
$[\grave{\bm{\zeta}}(T\mid\textnormal{\small$\bigstar$}),\acute{\bm{b}}(\grave{\bm{\zeta}}(T\mid\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$}),\acute{\bm{p}}(\grave{\bm{\zeta}}(T\mid\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$}),\acute{\bm{f}}^{\textnormal{MS}}(\grave{\bm{\zeta}}(T\mid\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$}),\acute{\bm{f}}^{\textnormal{VU}}(\grave{\bm{\zeta}}(T\mid\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$})]$, then $T$ satisfying $\mathcal{S}_{2.2}$ is $T^{\#}(\textnormal{\small$\bigstar$})$, where $\acute{\rule{5.0pt}{6.99997pt}}(\cdot)$, $\grave{\rule{5.0pt}{6.99997pt}}(\cdot)$, and $\rule{5.0pt}{6.99997pt}^{\#}(\cdot)$ notations are in Proposition 1.2, Proposition 2.1, and (62).

Proof of Proposition 2.2: Given “$\bigstar$”, if in $\mathcal{S}_{2.2}$ defined in (53), we substitute $[\bm{\zeta},\bm{b},\bm{p},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}}]$ with
$[\grave{\bm{\zeta}}(T\mid\textnormal{\small$\bigstar$}),\acute{\bm{b}}(\grave{\bm{\zeta}}(T\mid\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$}),\acute{\bm{p}}(\grave{\bm{\zeta}}(T\mid\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$}),\acute{\bm{f}}^{\textnormal{MS}}(\grave{\bm{\zeta}}(T\mid\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$}),\acute{\bm{f}}^{\textnormal{VU}}(\grave{\bm{\zeta}}(T\mid\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$})]$, then the conditions in $\mathcal{S}_{2.2}$ of (53) are necessary and sufficient to decide $T$. Since setting $[\bm{\zeta},T,\bm{b},\bm{p},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}}]$ as
$[\grave{\bm{\zeta}}(T^{\#}(\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$}),\acute{\bm{b}}(\grave{\bm{\zeta}}(T^{\#}(\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$}),\acute{\bm{p}}(\grave{\bm{\zeta}}(T^{\#}(\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$}),\acute{\bm{f}}^{\textnormal{MS}}(\grave{\bm{\zeta}}(T^{\#}(\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$}),\acute{\bm{f}}^{\textnormal{VU}}(\grave{\bm{\zeta}}(T^{\#}(\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$})]$ (i.e., $[\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$}),T^{\#}(\textnormal{\small$\bigstar$}),\bm{b}^{\#}(\textnormal{\small$\bigstar$}),\bm{p}^{\#}(\textnormal{\small$\bigstar$}),(\bm{f}^{\textnormal{MS}})^{\#}(\textnormal{\small$\bigstar$}),(\bm{f}^{\textnormal{VU}})^{\#}(\textnormal{\small$\bigstar$})]$ according to (63) (64) and (68)) satisfies $\mathcal{S}_{2.2}$ by the definition of the $\rule{5.0pt}{6.99997pt}^{\#}(\cdot)$ notations in (62), Proposition 2.2 clearly follows. ∎

• Computing $$[\bm{b}^{\#}(\textnormal{\small$\bigstar$}),\bm{p}^{\#}(\textnormal{\small$\bigstar$}),(\bm{f}^{\textnormal{MS}})^{\#}(\textnormal{\small$\bigstar$}),(\bm{f}^{\textnormal{VU}})^{\#}(\textnormal{\small$\bigstar$}),T^{\#}(\textnormal{\small$\bigstar$})]$$

which denotes a globally optimal solution to Problem $$\mathbb{P}_{5}(\textnormal{\small$\bigstar$})$$ as defined in (62)

$$\textstyle\stackrel{{\scriptstyle\textnormal{Via (\ref{eqproposition2.1v2})}}}{{\Longleftrightarrow}}\begin{cases}\small\underline{\textnormal{\textbullet~{}{Algorithm} $\text{1.1}$:~{}Computing $[\acute{\bm{f}}^{\textnormal{MS}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\bm{f}}^{\textnormal{VU}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\gamma}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\bm{\delta}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})]$ defined in Proposition~{}1.1,}}\\ \small\underline{\textnormal{\textbullet~{}{Algorithm} $\text{1.2}$:~{}Computing $[\acute{\bm{b}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\bm{p}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})]$ defined in Proposition~{}1.2,}}\\ \small\stackrel{{\scriptstyle\textnormal{Via (\ref{eqproposition1.2.1})}}}{{\Longleftrightarrow}}\textnormal{\textbullet~{}Computing $[\widetilde{\bm{b}}(\acute{\alpha}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\widetilde{\bm{p}}(\acute{\alpha}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\bm{\zeta}\mid\textnormal{\small$\bigstar$})]$,}\\ \Longleftrightarrow\begin{cases}\small\underline{\textnormal{\textbullet~{}{Algorithm} $\text{1.2.1}$:~{}Computing $[\widetilde{\bm{b}}(\alpha,\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\widetilde{\bm{p}}(\alpha,\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})]$ defined in Proposition~{}1.2.1,}}\\ \small\textnormal{\textbullet~{}Computing $[\acute{\alpha}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})]$ defined in Proposition~{}1.2}\\ \stackrel{{\scriptstyle\begin{subarray}{c}\textnormal{Via (\ref{eqproposition1.2.2.1v1}) and}\\ \textnormal{Proposition 1.2.2.2}\end{subarray}}}{{\Longleftrightarrow}}\begin{cases}\small\underline{\textnormal{\textbullet~{}{Algorithm} $\text{1.2.2.1}$: }}\begin{array}[]{l}\small\underline{\textnormal{Computing $\breve{\alpha}(\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ defined in Proposition~{}1.2.2.1}}\\ \small\textnormal{(which needs Algorithm $\text{1.2.1}$ above),}\end{array}\\ \small\underline{\textnormal{\textbullet~{}{Algorithm} $\text{1.2.2.2}$:}}~{}\begin{array}[]{l}\small\underline{\textnormal{use Algorithm $\text{1.2.2.1}$ to compute $\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})$}}\\ \small{\textnormal{according to Proposition~{}1.2.2.2.}}\end{array}\end{cases}\end{cases}\\ \small\underline{\textnormal{\textbullet~{}{Algorithm} $\text{2.1}$:~{}Computing $\grave{\bm{\zeta}}(T\mid\textnormal{\small$\bigstar$})$ defined in Proposition 2.1}}\textnormal{, which needs}\\ \small\textnormal{$[\acute{\bm{b}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\bm{p}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\bm{f}}^{\textnormal{MS}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\bm{f}}^{\textnormal{VU}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})]$; i.e., Algorithms $\text{1.1},\text{1.2.1},\text{1.2.2.1},\text{1.2.2.2}$ above,}\\ \small\underline{\textnormal{\textbullet~{}{Algorithm} $\text{2.2}$:~{}Computing $T^{\#}(\textnormal{\small$\bigstar$})$ according to Proposition 2.2,}}\\ \small\textnormal{which needs Algorithm $\text{2.1}$ as well as Algorithms $\text{1.1},\text{1.2.1},\text{1.2.2.1},\text{1.2.2.2}$ above.}\vspace{-10pt}\end{cases}$$

Figure 3: Our procedure to solve Problem $\mathbb{P}_{5}(\textnormal{\small$\bigstar$})$.

Based on the above propositions, Fig. 3 and Algorithm 2 present our procedure to solve $\mathbb{P}_{5}(\textnormal{\small$\bigstar$})$. For clarity, the function “Alg-Solve-$x(\cdot)$” is to compute $x(\cdot)$; e.g., $\textnormal{Alg-Solve-}T^{\#}(\textnormal{\small$\bigstar$})$ obtains $T^{\#}(\textnormal{\small$\bigstar$})$.

Use $\textnormal{Alg-Solve-}T^{\#}(\textnormal{\small$\bigstar$})$ of Algorithm 2.2 on Page 10 to obtain $T^{\#}(\textnormal{\small$\bigstar$})$; Use Algorithm 2.1 on Page 9 to obtain $\grave{\bm{\zeta}}(T^{\#}(\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$})$, which is $\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$})$ from (68); Use Algorithm 1.2 on Page VI to obtain $[\acute{\bm{b}}(\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$}),\acute{\bm{p}}(\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$}),\acute{\alpha}(\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$})]$, which equals $[\bm{b}^{\#}(\textnormal{\small$\bigstar$}),\bm{p}^{\#}(\textnormal{\small$\bigstar$})]$ from (64); //Comment: Algorithm 1.2 uses Algorithms 1.2.1, 1.2.2.1, and 1.2.2.2. Use Algorithm 1.1 on Page 4 to obtain $[\acute{\bm{f}}^{\textnormal{MS}}(\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$}),\acute{\bm{f}}^{\textnormal{VU}}(\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$})]$, which equals $[(\bm{f}^{\textnormal{MS}})^{\#}(\textnormal{\small$\bigstar$}),(\bm{f}^{\textnormal{VU}})^{\#}(\textnormal{\small$\bigstar$})]$ from (63);

Algorithm 2 Given $\bm{z},y,\bm{s}$ (written as “$\bigstar$” below), find a globally optimal solution to Problem $\mathbb{P}_{5}(\textnormal{\small$\bigstar$})$, denoted as $[\bm{b}^{\#}(\textnormal{\small$\bigstar$}),\bm{p}^{\#}(\textnormal{\small$\bigstar$}),(\bm{f}^{\textnormal{MS}})^{\#}(\textnormal{\small$\bigstar$}),(\bm{f}^{\textnormal{VU}})^{\#}(\textnormal{\small$\bigstar$}),T^{\#}(\textnormal{\small$\bigstar$})]$.

For X being 1.1, 1.2, 1.2.1, 1.2.2.1, 1.2.2.2, 2.1, or 2.2, Algorithm X will be presented for the computation in Proposition X, as shown in Fig. 3 and explained in detail below.

Algorithm 1.1: Computing $[\acute{\bm{f}}^{\textnormal{MS}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\bm{f}}^{\textnormal{VU}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\gamma}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\bm{\delta}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})]$ defined in Proposition 1.1 using $\mathcal{S}_{1.1}$ of (45). Among $\mathcal{S}_{1.1}$, $[\acute{\bm{f}}^{\textnormal{MS}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\gamma}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})]$ is $[\bm{f}^{\textnormal{MS}},\gamma]$ satisfying (22) (27) (7d) (33c), while $[\acute{\bm{f}}^{\textnormal{VU}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\bm{\delta}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})]$ is $[\bm{f}^{\textnormal{VU}},\bm{\delta}]$ satisfying (23) (28) (7e) (33d). From (22) and (23), with $\text{PositiveRoot}(\mathbb{E})$ for an equation $\mathbb{E}$ denoting the positive root of $\mathbb{E}$, we have

$$\textstyle f_{n}^{\textnormal{MS}}$$

$$\textstyle=\text{PositiveRoot}(\zeta_{n}\frac{\mathcal{A}_{n}(s_{n},\Lambda_{n})}{x^{2}}-yc_{\hskip 0.5pt\textnormal{e}}\cdot 2\kappa^{\textnormal{MS}}\mathcal{F}_{n}(s_{n},\Lambda_{n})x=\gamma),$$ (70)

$$\textstyle f_{n}^{\textnormal{VU}}$$

$$\textstyle=\text{PositiveRoot}(\zeta_{n}\frac{\mathcal{B}_{n}(s_{n},\Lambda_{n})}{x^{2}}-yc_{\hskip 0.5pt\textnormal{e}}\cdot 2\kappa_{n}^{\textnormal{VU}}\mathcal{G}_{n}(s_{n},\Lambda_{n})x=\delta_{n}).$$ (71)

To obtain $[\bm{f}^{\textnormal{VU}},\bm{\delta}]$ satisfying (23) (28) (7e) (33d), we have the following two cases:

• If $\text{PositiveRoot}(\zeta_{n}\frac{\mathcal{B}_{n}(s_{n},\Lambda_{n})}{x^{2}}-yc_{\hskip 0.5pt\textnormal{e}}\cdot 2\kappa_{n}^{\textnormal{VU}}\mathcal{G}_{n}(s_{n},\Lambda_{n})x=0)>f_{n,\textnormal{max}}^{\textnormal{VU}}$; i.e., if $\sqrt[3]{\frac{\mathcal{B}_{n}(s_{n},\Lambda_{n})\zeta_{n}}{2\mathcal{G}_{n}(s_{n},\Lambda_{n})yc_{\hskip 0.5pt\textnormal{e}}\kappa_{n}^{\textnormal{VU}}}}>f_{n,\textnormal{max}}^{\textnormal{VU}}$, setting $\delta_{n}$ as $0$ violates (7e). This with (33d) means $\delta_{n}>0$, which with (28) induces $f_{n}^{\textnormal{VU}}=f_{n,\textnormal{max}}^{\textnormal{VU}}$;

• If $\text{PositiveRoot}(\zeta_{n}\frac{\mathcal{B}_{n}(s_{n},\Lambda_{n})}{x^{2}}-yc_{\hskip 0.5pt\textnormal{e}}\cdot 2\kappa_{n}^{\textnormal{VU}}\mathcal{G}_{n}(s_{n},\Lambda_{n})x=0)\leq f_{n,\textnormal{max}}^{\textnormal{VU}}$; i.e., if $\sqrt[3]{\frac{\mathcal{B}_{n}(s_{n},\Lambda_{n})\zeta_{n}}{2\mathcal{G}_{n}(s_{n},\Lambda_{n})yc_{\hskip 0.5pt\textnormal{e}}\kappa_{n}^{\textnormal{VU}}}}\leq f_{n,\textnormal{max}}^{\textnormal{VU}}$, then setting $\delta_{n}$ as $0$ and $f_{n}^{\textnormal{VU}}=\sqrt[3]{\frac{\mathcal{B}_{n}(s_{n},\Lambda_{n})\zeta_{n}}{2\mathcal{G}_{n}(s_{n},\Lambda_{n})yc_{\hskip 0.5pt\textnormal{e}}\kappa_{n}^{\textnormal{VU}}}}$ satisfies (23) (28) (7e) (33d).

To obtain $[\bm{f}^{\textnormal{MS}},\gamma]$ satisfying (22) (27) (7d) (33c), we discuss the following two cases:

• If $\text{PositiveRoot}(\zeta_{n}\frac{\mathcal{A}_{n}(s_{n},\Lambda_{n})}{x^{2}}-yc_{\hskip 0.5pt\textnormal{e}}\cdot 2\kappa^{\textnormal{MS}}\mathcal{F}_{n}(s_{n},\Lambda_{n})x=0)>f_{\textnormal{max}}^{\textnormal{MS}}$; i.e., if $\sum_{n\in\mathcal{N}}\sqrt[3]{\frac{\mathcal{A}_{n}(s_{n},\Lambda_{n})\zeta_{n}}{2\mathcal{F}_{n}(s_{n},\Lambda_{n})yc_{\hskip 0.5pt\textnormal{e}}\kappa^{\textnormal{MS}}}}>f_{\textnormal{max}}^{\textnormal{MS}}$, then setting $\gamma$ as $0$ violates (7d). This with (33c) means $\gamma>0$, which is used in (27) to induce

  $$\textstyle\sum_{n\in\mathcal{N}}\text{PositiveRoot}(\zeta_{n}\frac{\mathcal{A}_{n}(s_{n},\Lambda_{n})}{x^{2}}$$

  $$\textstyle-yc_{\hskip 0.5pt\textnormal{e}}\cdot 2\kappa^{\textnormal{MS}}\mathcal{F}_{n}(s_{n},\Lambda_{n})x=\gamma)=f_{\textnormal{max}}^{\textnormal{MS}}.$$ (72)

  After obtaining the desired $\gamma$, we use it in (70) to get $f_{n}^{\textnormal{MS}}$.

• If $\text{PositiveRoot}(\zeta_{n}\frac{\mathcal{A}_{n}(s_{n},\Lambda_{n})}{x^{2}}-yc_{\hskip 0.5pt\textnormal{e}}\cdot 2\kappa^{\textnormal{MS}}\mathcal{F}_{n}(s_{n},\Lambda_{n})x=0)\leq f_{\textnormal{max}}^{\textnormal{MS}}$; i.e., if $\sum_{n\in\mathcal{N}}\sqrt[3]{\frac{\mathcal{A}_{n}(s_{n},\Lambda_{n})\zeta_{n}}{2\mathcal{F}_{n}(s_{n},\Lambda_{n})yc_{\hskip 0.5pt\textnormal{e}}\kappa^{\textnormal{MS}}}}\leq f_{\textnormal{max}}^{\textnormal{MS}}$, then setting $\gamma$ as $0$ and $f_{n}^{\textnormal{MS}}=\sqrt[3]{\frac{\mathcal{A}_{n}(s_{n},\Lambda_{n})\zeta_{n}}{2\mathcal{F}_{n}(s_{n},\Lambda_{n})yc_{\hskip 0.5pt\textnormal{e}}\kappa^{\textnormal{MS}}}}$ satisfies (22) (27) (7d) (33c).

Set $\acute{f}_{n}^{\textnormal{VU}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ as $\min\big{\{}f_{n,\textnormal{max}}^{\textnormal{VU}},~{}\sqrt[3]{\frac{\mathcal{B}_{n}(s_{n},\Lambda_{n})\zeta_{n}}{2\mathcal{G}_{n}(s_{n},\Lambda_{n})yc_{\hskip 0.5pt\textnormal{e}}\kappa_{n}^{\textnormal{VU}}}}\big{\}}$; if $\sum_{n\in\mathcal{N}}\sqrt[3]{\frac{\mathcal{A}_{n}(s_{n},\Lambda_{n})\zeta_{n}}{2\mathcal{F}_{n}(s_{n},\Lambda_{n})yc_{\hskip 0.5pt\textnormal{e}}\kappa^{\textnormal{MS}}}}\leq f_{\textnormal{max}}^{\textnormal{MS}}$, then set $\acute{f}_{n}^{\textnormal{MS}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ as $\sqrt[3]{\frac{\mathcal{A}_{n}(s_{n},\Lambda_{n})\zeta_{n}}{2\mathcal{F}_{n}(s_{n},\Lambda_{n})yc_{\hskip 0.5pt\textnormal{e}}\kappa^{\textnormal{MS}}}}$; else with function $C(\cdot)$ being set as $\sum_{n\in\mathcal{N}}\text{PositiveRoot}(\zeta_{n}\frac{\mathcal{A}_{n}(s_{n},\Lambda_{n})}{x^{2}}-yc_{\hskip 0.5pt\textnormal{e}}\cdot 2\kappa^{\textnormal{MS}}\mathcal{F}_{n}(s_{n},\Lambda_{n})x=\gamma)$, and $C_{\textnormal{target}}$ being set as $f_{\textnormal{max}}^{\textnormal{MS}}$, run $\textnormal{Standard-Bisection-Search}([\bm{\zeta},\textnormal{\small$\bigstar$}],\textnormal{function~{}}C(\cdot),\newline C_{\textnormal{target}},0,f_{\textnormal{max}}^{\textnormal{MS}})$ based on Algorithm 12 on Page 12 to obtain the desired $\gamma$ satisfying Eq. (72), let the obtained $\gamma$ be $\acute{\gamma}$, and set set $\acute{f}_{n}^{\textnormal{MS}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ as $\text{PositiveRoot}(\zeta_{n}\frac{\mathcal{A}_{n}(s_{n},\Lambda_{n})}{x^{2}}-yc_{\hskip 0.5pt\textnormal{e}}\cdot 2\kappa^{\textnormal{MS}}\mathcal{F}_{n}(s_{n},\Lambda_{n})x=\acute{\gamma})$ for each $n\in\mathcal{N}$; Return $\acute{\bm{f}}^{\textnormal{VU}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ (resp., $\acute{\bm{f}}^{\textnormal{MS}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})$) as $[\acute{f}_{n}^{\textnormal{VU}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})|_{n\in\mathcal{N}}]$ (resp., $[\acute{f}_{n}^{\textnormal{MS}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})|_{n\in\mathcal{N}}]$);

Algorithm 3
$\textnormal{Alg-Solve-}\acute{\bm{f}}^{\textnormal{MS}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})\text{-and-}\acute{\bm{f}}^{\textnormal{VU}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})$.

Algorithm 1.2: Computing $[\acute{\bm{b}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\bm{p}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})]$ defined in Proposition 1.2. As shown in the pseudocode, Algorithm 1.2 calls Algorithms 1.2.1, 1.2.2.1, and 1.2.2.2 detailed below.

Run $\textnormal{Alg-Solve-}\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ of Algorithm 1.2.2.2 to obtain $\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})$; Use the just obtained $\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ as an input to $\textnormal{Alg-Solve-}\breve{\alpha}(\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ of Algorithm 1.2.2.1 to get $\breve{\alpha}(\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\bm{\zeta}\mid\textnormal{\small$\bigstar$})$, which equals $\acute{\alpha}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ according to (66); For each $n\in\mathcal{N}$, use Lines 2 and 1’s obtained $\acute{\alpha}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ and $\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ as inputs to $\textnormal{Alg-Solve-}\widetilde{b}_{n}(\alpha,\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ (resp., $\textnormal{Alg-Solve-}\widetilde{p}_{n}(\alpha,\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})$) of Algorithm 1.2.1 to get $\widetilde{b}_{n}(\acute{\alpha}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ (resp., $\widetilde{p}_{n}(\acute{\alpha}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\bm{\zeta}\mid\textnormal{\small$\bigstar$})$), which equals $\acute{b}_{n}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ (resp., $\acute{p}_{n}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})$) according to (65); Return $\acute{\bm{b}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ (resp., $\acute{\bm{p}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})$) as $[\acute{b}_{n}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})|_{n\in\mathcal{N}}]$ (resp., $[\acute{p}_{n}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})|_{n\in\mathcal{N}}]$);

Algorithm 4
$\textnormal{Alg-Solve-}\acute{\bm{b}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})\text{-and-}\acute{\bm{p}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})$.

Algorithm 1.2.1: Computing $[\widetilde{\bm{b}}(\alpha,\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\widetilde{\bm{p}}(\alpha,\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})]$ defined in Proposition 1.2.1 using $\mathcal{S}_{1.2.1}$ of (47). Recall that $\mathcal{S}_{1.2.1}$ includes (20) (21). From (20) (21) and (1), with $\vartheta_{n}$ defined by

$$\textstyle\vartheta_{n}:=\frac{g_{n}p_{n}}{\sigma_{n}^{2}b_{n}},$$ (73)

we obtain that $[\widetilde{b}_{n}(\alpha,\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\widetilde{p}_{n}(\alpha,\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})]$ is the solution of $[b_{n},p_{n}]$ to

$$\textstyle\big{(}\frac{\partial U_{n}(r_{n},s_{n})}{\partial r_{n}}+\frac{yc_{\hskip 0.5pt\textnormal{e}}}{2z_{n}{r_{n}}^{3}{\color[rgb]{0,0,0}{\nu_{n}}^{2}}}+\frac{\zeta_{n}s_{n}{\color[rgb]{0,0,0}\mu_{n}}{\color[rgb]{0,0,0}\Lambda_{n}}}{{r_{n}}^{2}{\color[rgb]{0,0,0}\nu_{n}}}\big{)}\times$$

$$\textstyle\big{(}\log_{2}(1+\vartheta_{n})-\frac{\vartheta_{n}}{(1+\vartheta_{n})\ln 2}\big{)}=\alpha,\textnormal{ and}$$ (74)

$$\textstyle\big{(}\frac{\partial U_{n}(r_{n},s_{n})}{\partial r_{n}}+\frac{yc_{\hskip 0.5pt\textnormal{e}}}{2z_{n}{r_{n}}^{3}{\color[rgb]{0,0,0}{\nu_{n}}^{2}}}+\frac{\zeta_{n}s_{n}{\color[rgb]{0,0,0}\mu_{n}}{\color[rgb]{0,0,0}\Lambda_{n}}}{{r_{n}}^{2}{\color[rgb]{0,0,0}\nu_{n}}}\big{)}\cdot\frac{g_{n}}{\sigma_{n}^{2}(1+\vartheta_{n})\ln 2}$$

$$\textstyle=\beta+2(p_{n}+p_{n}^{\textnormal{cir}})yc_{\hskip 0.5pt\textnormal{e}}z_{n}(s_{n}{\color[rgb]{0,0,0}\mu_{n}}{\color[rgb]{0,0,0}\Lambda_{n}})^{2}.$$ (75)

With (74) divided by (75), it holds that

$$\textstyle\frac{\log_{2}(1+\vartheta_{n})-\frac{\vartheta_{n}}{(1+\vartheta_{n})\ln 2}}{\frac{g_{n}}{\sigma_{n}^{2}(1+\vartheta_{n})\ln 2}}=\frac{\alpha}{\beta+2(p_{n}+p_{n}^{\textnormal{cir}})yc_{\hskip 0.5pt\textnormal{e}}z_{n}(s_{n}{\color[rgb]{0,0,0}\mu_{n}}{\color[rgb]{0,0,0}\Lambda_{n}})^{2}}.$$ (76)

Based on (76), we get

$$\textstyle\vartheta_{n}=\psi_{n}(p_{n},\alpha,\beta\mid\textnormal{\small$\bigstar$}),\textnormal{ for }\textstyle{\psi_{n}(p_{n},\alpha,\beta\mid\textnormal{\small$\bigstar$})}$$

$$\textstyle\textstyle{:=\exp\big{\{}1+W\big{(}\frac{1}{e}(\frac{g_{n}\alpha}{[\beta+2(p_{n}+p_{n}^{\textnormal{cir}})yc_{\hskip 0.5pt\textnormal{e}}z_{n}(s_{n}{\color[rgb]{0,0,0}\mu_{n}}{\color[rgb]{0,0,0}\Lambda_{n}})^{2}]\sigma_{n}^{2}}-1)\big{)}\big{\}}-1}.$$ (77)

Then we can substitute $\vartheta_{n}$ from (77) into (74) and (75), to decide $[\bm{b},\bm{p}]$, as shown in Lemma 1 below.

Lemma 1.

Given $[\alpha,\beta,\bm{\zeta},\textnormal{\small$\bigstar$}]$, we know from Proposition 1.2.1 that $\widetilde{p}_{n}(\alpha,\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ and $\widetilde{b}_{n}(\alpha,\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ denote the values of $p_{n}$ and $b_{n}$ satisfying (20) and (21). We define $\psi_{n}(p_{n},\alpha,\beta\mid\textnormal{\small$\bigstar$})$ in (77), and define

$$\textstyle\overline{r}_{n}(p_{n},\alpha,\beta\mid\textnormal{\small$\bigstar$}):=\frac{g_{n}p_{n}\log_{2}(1+\psi_{n}(p_{n},\alpha,\beta\mid\textnormal{\small$\bigstar$}))}{\sigma_{n}^{2}\psi_{n}(p_{n},\alpha,\beta\mid\textnormal{\small$\bigstar$})}.$$ (78)

Then $\widetilde{p}_{n}(\alpha,\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ is a solution of $p_{n}$ to

$$\textstyle\Bigg{[}\begin{array}[]{l}\big{(}\frac{\partial U_{n}(r_{n},s_{n})}{\partial r_{n}}\big{)}|_{r_{n}=\overline{r}_{n}(p_{n},\alpha,\beta\mid\textnormal{\small$\bigstar$})}\\ +\frac{yc_{\textnormal{e}}}{2z_{n}\cdot[\overline{r}_{n}(p_{n},\alpha,\beta\mid\textnormal{\small$\bigstar$})]^{3}{\color[rgb]{0,0,0}{\nu_{n}}^{2}}}+\frac{\zeta_{n}s_{n}{\color[rgb]{0,0,0}\mu_{n}}{\color[rgb]{0,0,0}\Lambda_{n}}}{[\overline{r}_{n}(p_{n},\alpha,\beta\mid\textnormal{\small$\bigstar$})]^{2}{\color[rgb]{0,0,0}\nu_{n}}}\end{array}\Bigg{]}\times$$ (81)

$$\textstyle\textstyle{\left[\log_{2}\big{(}1+\psi_{n}(p_{n},\alpha,\beta\mid\textnormal{\small$\bigstar$})\big{)}-\frac{\psi_{n}(p_{n},\alpha,\beta\mid\textnormal{\small$\bigstar$})}{(1+\psi_{n}(p_{n},\alpha,\beta\mid\textnormal{\small$\bigstar$}))\ln 2}\right]}=\alpha.$$ (82)

With $\widetilde{p}_{n}(\alpha,\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ decided according to (82) above, the corresponding $b_{n}$ satisfying (20) and (21) is

$$\textstyle\widetilde{b}_{n}(\alpha,\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})=\frac{g_{n}\widetilde{p}_{n}(\alpha,\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})}{\sigma_{n}^{2}\psi_{n}(\widetilde{p}_{n}(\alpha,\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\alpha,\beta\mid\textnormal{\small$\bigstar$})}.$$ (83)

Proof of Lemma 1: First, for $p_{n}$ and $b_{n}$ satisfying (20) and (21), we have already explained above that $\frac{g_{n}p_{n}}{\sigma_{n}^{2}b_{n}}$ (i.e., $\vartheta_{n}$ defined in (73)) equals $\psi_{n}(p_{n},\alpha,\beta\mid\textnormal{\small$\bigstar$})$ defined in (77). Then $b_{n}$ equals $\frac{g_{n}p_{n}}{\sigma_{n}^{2}\cdot\psi_{n}(p_{n},\alpha,\beta\mid\textnormal{\small$\bigstar$})}$, and $r_{n}(b_{n},p_{n})$ denoting $b_{n}\log_{2}(1+\frac{g_{n}p_{n}}{\sigma^{2}b_{n}})$ equals the right hand side of (78), which we denote as $\overline{r}_{n}(p_{n},\alpha,\beta\mid\textnormal{\small$\bigstar$})$ in (78) for notation simplicity. Then letting $r_{n}$ be $\overline{r}_{n}(p_{n},\alpha,\beta\mid\textnormal{\small$\bigstar$})$ in (74), we obtain (82) which will be used to solve $p_{n}$. With $\widetilde{p}_{n}(\alpha,\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ denoting the obtained $p_{n}$, the corresponding $b_{n}$ is given by (83). Hence, we have proved that $\widetilde{p}_{n}(\alpha,\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ and $\widetilde{b}_{n}(\alpha,\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})$, denoting $p_{n}$ and $b_{n}$ satisfying (20) and (21), are given by (82) and (83), respectively. ∎

Then we use (82) and (83) of Lemma 1 to solve $\widetilde{p}_{n}(\alpha,\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ and $\widetilde{b}_{n}(\alpha,\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})$, respectively. They are considered as two subprocedures of Algorithm 1.2.1, as described below.

With function $C(\cdot)$ being set as the left hand side of (82), and $C_{\textnormal{target}}$ being set as $\alpha$, run $\textnormal{Standard-Bisection-Search}([\alpha,\beta,\bm{\zeta},\textnormal{\small$\bigstar$}],\textnormal{function~{}}C(\cdot),\newline C_{\textnormal{target}},0,p_{\textnormal{max}})$ based on Algorithm 12 on Page 12 to obtain the desired $p_{n}$ satisfying Eq. (82), and set this $p_{n}$ as $\widetilde{p}_{n}(\alpha,\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})$;

Algorithm 5 $\textnormal{Alg-Solve-}\widetilde{p}_{n}(\alpha,\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})$.

Run $\textnormal{Alg-Solve-}\widetilde{p}_{n}(\alpha,\beta,\bm{\zeta},\textnormal{\small$\bigstar$})$ (i.e., Algorithm 1.2.1’s Subprocedure 1 above) to obtain $\widetilde{p}_{n}(\alpha,\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})$; Compute $\widetilde{b}_{n}(\alpha,\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ according to Eq. (83);

Algorithm 6 $\textnormal{Alg-Solve-}\widetilde{b}_{n}(\alpha,\beta,\bm{\zeta},\textnormal{\small$\bigstar$})$.

Algorithm 1.2.2.1: Computing $\breve{\alpha}(\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ defined in Proposition 1.2.2.1 using $\mathcal{S}_{1.2.2.1}$ of (49). Recall that $\mathcal{S}_{1.2.2.1}$ includes (34) and (35). Proposition 1.2.2.1 defines $\breve{\alpha}(\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ as the solution of $\alpha$ to

$$\textstyle\sum_{n\in\mathcal{N}}\widetilde{b}_{n}(\alpha,\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})=b_{\textnormal{max}}\textnormal{ and }\alpha>0.$$ (84)

With function $C(\cdot)$ being set as $\sum_{n\in\mathcal{N}}\textnormal{Alg-Solve-}\widetilde{b}_{n}(\alpha,\beta,\bm{\zeta},\textnormal{\small$\bigstar$})$ (whose computation requires Algorithm 1.2.1’s Subprocedure 2), and $C_{\textnormal{target}}$ being set as $b_{\textnormal{max}}$, run $\textnormal{Bisection-Search-with-No-Known-Upper-Bound}([\beta,\bm{z},y,\bm{s}],\newline \textnormal{function~{}}C(\cdot),C_{\textnormal{target}})$ based on Algorithm 11 on Page 11 to obtain the desired $\alpha$ satisfying Eq. (84), and set this $\alpha$ as $\breve{\alpha}(\beta\mid\bm{z},y,\bm{s})$;

Algorithm 7
$\textnormal{Alg-Solve-}\breve{\alpha}(\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})$.

Algorithm 1.2.2.2 (Pseudocode on Page 8 based on the following analysis): Using Algorithm 1.2.2.1 to compute $\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ according to Proposition 1.2.2.2 using $\mathcal{S}_{1.2.2.2}$ of (50). Recall from (50) that $\mathcal{S}_{1.2.2.2}$ includes (26), (7b), and (33b). Then $\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ is the solution of $\beta$ to

based on (26), we ensure

$$\textstyle{\beta\cdot\big{(}\sum_{n\in\mathcal{N}}\widetilde{p}_{n}(\breve{\alpha}(\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})-p_{\textnormal{max}}\big{)}=0};$$ (85a)

based on (7b), we ensure

$$\textstyle{\sum_{n\in\mathcal{N}}\widetilde{p}_{n}(\breve{\alpha}(\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})\leq p_{\textnormal{max}};}$$ (85b)

$$\textnormal{based on (\ref{Dualfeasibility}b), we ensure }\beta\geq 0.$$ (85c)

We have the following two cases:

• If $\sum_{n\in\mathcal{N}}\widetilde{p}_{n}(\breve{\alpha}(0,\bm{\zeta}\mid\textnormal{\small$\bigstar$}),0,\bm{\zeta}\mid\textnormal{\small$\bigstar$})>p_{\textnormal{max}}$, then the solution of $\beta$ to (85a)–(85c) cannot be $0$ (which along with (85c) means $\beta>0$), since setting $\beta$ as $0$ violates (85b). We use $\beta>0$ in (85a) to get

  $$\textstyle\sum_{n\in\mathcal{N}}\widetilde{p}_{n}(\breve{\alpha}(\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})=p_{\textnormal{max}}.$$ (86)

• If $\sum_{n\in\mathcal{N}}\widetilde{p}_{n}(\breve{\alpha}(0,\bm{\zeta}\mid\textnormal{\small$\bigstar$}),0,\bm{\zeta}\mid\textnormal{\small$\bigstar$})\leq p_{\textnormal{max}}$, then $0$ is a solution of $\beta$ to (85a)–(85c).

if $\sum_{n\in\mathcal{N}}\widetilde{p}_{n}(\breve{\alpha}(0,\bm{\zeta}\mid\textnormal{\small$\bigstar$}),0,\bm{\zeta}\mid\textnormal{\small$\bigstar$})\leq p_{\textnormal{max}}$, then set $\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ as $0$; else with function $C(\cdot)$ being set as $\sum_{n\in\mathcal{N}}\widetilde{p}_{n}(\breve{\alpha}(\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ (whose computation requires Algorithm 1.2.2.1 and Algorithm 1.2.1’s Subprocedure 1), and $C_{\textnormal{target}}$ being set as $p_{\textnormal{max}}$, run $\textnormal{Bisection-Search-with-No-Known-Upper-Bound}\newline ([\bm{\zeta},\textnormal{\small$\bigstar$}],\textnormal{function~{}}C(\cdot),C_{\textnormal{target}})$ based on Algorithm 11 on Page 11 to obtain the desired $\beta$ satisfying Eq. (86), and set this $\beta$ as $\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})$;

Algorithm 8 $\textnormal{Alg-Solve-}\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})$.

Algorithm 2.1: Computing $\grave{\bm{\zeta}}(T\mid\textnormal{\small$\bigstar$})$ defined in Proposition 2.1 using $\mathcal{S}_{2.1}$ defined in (52). Recall from (52) that $\mathcal{S}_{2.1}$ includes (29), (11a), and (33e). Then for each $n\in\mathcal{N}$, Proposition 2.1 means $\grave{{\zeta}}_{n}(T\mid\textnormal{\small$\bigstar$})$ is ${\zeta_{n}}$ which satisfies the following:

based on (29), we ensure

$$\zeta_{n}\cdot(t_{n}(\acute{b}_{n}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{p}_{n}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),s_{n},\acute{f}_{n}^{\textnormal{MS}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),$$

$$\acute{f}_{n}^{\textnormal{VU}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}))-T)=0;$$ (87a)

based on (11a), we ensure

$$t_{n}(\acute{b}_{n}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{p}_{n}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),s_{n},\acute{f}_{n}^{\textnormal{MS}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),$$

$$\acute{f}_{n}^{\textnormal{VU}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}))\leq T;$$ (87b)

$$\textnormal{based on (\ref{Dualfeasibility}e), we ensure }\zeta_{n}\geq 0.$$ (87c)

Given $n\in\mathcal{N}$, we can discuss two cases for ${\zeta_{n}}$ as follows:

• If setting $\zeta_{n}$ to $0$ violates (87b), then $\zeta_{n}$ must be strictly positive, which is used in (87a) to show that the inequality in (87b) actually becomes equality in this case.

• If setting $\zeta_{n}$ to $0$ satisfies (87b), then we can just set $\zeta_{n}$ as $0$.

Summarizing the above two cases, we know that after defining

$$\textstyle\mathring{\bm{\zeta}}^{(n)}:=[\zeta_{1},\zeta_{2},\ldots,\zeta_{n-1},0,\zeta_{n+1},\ldots,\zeta_{N}],\textnormal{ and}$$ (88)

$$\textstyle h_{n}(\bm{\zeta}\mid T):=\begin{cases}-\zeta_{n},\textnormal{ if }t_{n}(\acute{b}_{n}(\mathring{\bm{\zeta}}^{(n)}\mid\textnormal{\small$\bigstar$}),\acute{p}_{n}(\mathring{\bm{\zeta}}^{(n)}\mid\textnormal{\small$\bigstar$}),s_{n},\\ \hskip 25.0pt\acute{f}_{n}^{\textnormal{MS}}(\mathring{\bm{\zeta}}^{(n)}\mid\textnormal{\small$\bigstar$}),\acute{f}_{n}^{\textnormal{VU}}(\mathring{\bm{\zeta}}^{(n)}\mid\textnormal{\small$\bigstar$}))\leq T,~{}~{}~{}\text{(\ref{definehn}a)}\\[-3.0pt] t_{n}(\acute{b}_{n}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{p}_{n}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),s_{n},\acute{f}_{n}^{\textnormal{MS}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\\ \hskip 30.0pt\acute{f}_{n}^{\textnormal{VU}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}))-T,\textnormal{ otherwise,}~{}~{}~{}~{}~{}~{}~{}\text{(\ref{definehn}b)}\end{cases}$$ (89)

setting $\bm{\zeta}$ as $\grave{\bm{\zeta}}(T\mid\textnormal{\small$\bigstar$})$ always ensures that $h_{n}(\bm{\zeta}\mid T)=0$. Letting $n$ iterate through $\mathcal{N}$ and defining

$$\textstyle\bm{h}(\bm{\zeta}\mid T):=[h_{n}(\bm{\zeta}\mid T)|_{n\in\mathcal{N}}],$$ (90)

we know that setting $\bm{\zeta}$ as $\grave{\bm{\zeta}}(T\mid\textnormal{\small$\bigstar$})$ ensures that

$$\textstyle\bm{h}(\bm{\zeta}\mid T)\textnormal{ equals the}\textnormal{ $N$-dimensional zero vector }\bm{0}.$$ (91)

We define $\zeta_{n}^{\textnormal{upper}}$ such that when $\bm{\zeta}$ is $[0^{n-1},\zeta_{n}^{\textnormal{upper}},0^{N-n}]$,

$$\textstyle h_{n}(\bm{\zeta}\mid T)=0.$$ (92)

We will prove the following results and Lemma 2:

  • $$\grave{{\zeta}}_{n}(T\mid\textnormal{\small$\bigstar$})\leq\zeta_{n}^{\textnormal{upper}} \zeta_{n}\geq 0$$, which along with means

$$\zeta_{n}\in[0,\zeta_{n}^{\textnormal{upper}}]$$; (93)

$$\textstyle\begin{array}[]{l}\text{\textbullet~{}Given any $n\in\mathcal{N}$, for any $\zeta_{1},\zeta_{2},\ldots,\zeta_{n-1},\zeta_{n+1},\ldots,\zeta_{N}$, }\\ \text{we have~{}~{}$h_{n}([\zeta_{1},\zeta_{2},\ldots,\zeta_{n-1},\zeta_{n}^{\textnormal{upper}},\zeta_{n+1},\ldots,\zeta_{N}]\mid T)\leq 0$;}\end{array}$$ (96)

$$\textstyle\begin{array}[]{l}\text{\textbullet~{}Given any $n\in\mathcal{N}$, for any $\zeta_{1},\zeta_{2},\ldots,\zeta_{n-1},\zeta_{n+1},\ldots,\zeta_{N}$, }\\ \text{we have~{}~{}$h_{n}([\zeta_{1},\zeta_{2},\ldots,\zeta_{n-1},0,\zeta_{n+1},\ldots,\zeta_{N}]\mid T)\geq 0$;}\\ \text{i.e., $h_{n}(\mathring{\bm{\zeta}}^{(n)})\geq 0$ for $\mathring{\bm{\zeta}}^{(n)}$ defined in~{}(\ref{mathringzetadefine}).}\end{array}$$ (100)

Lemma 2 (Proved in the Appendix of our full version [36]).

Given $\bm{\zeta}$ and $T$, given $n\in\mathcal{N}$, given $\zeta_{1},\zeta_{2},\ldots,\zeta_{n-1},\zeta_{n+1},\ldots,\zeta_{N}$, then $h_{n}(\bm{\zeta}~{}\mid~{}T)$ is non-increasing as $\zeta_{n}$ increases.

We prove the above Result (93). From Lemma 2 and (92), it holds that

$$\textstyle h_{n}([0^{n-1},\zeta_{n}^{\textnormal{upper}},0^{N-n}]\mid T)=0=h_{n}(\bm{\zeta}\mid T)$$

$$\textstyle\leq h_{n}([0^{n-1},\zeta_{n},0^{N-n}]\mid T)\leq 0,$$ (101)

which with Lemma 2 means $\grave{{\zeta}}_{n}(T\mid\textnormal{\small$\bigstar$})\leq\zeta_{n}^{\textnormal{upper}}$.

The above Result (96) clearly follows from Result (93) and Lemma 2.

We prove the above Result (100). From (89), it holds that

$$\textstyle h_{n}(\mathring{\bm{\zeta}}^{(n)}):=\left\{\begin{array}[]{l}0,\textnormal{ if }t_{n}(\acute{b}_{n}(\mathring{\bm{\zeta}}^{(n)}\mid\textnormal{\small$\bigstar$}),\acute{p}_{n}(\mathring{\bm{\zeta}}^{(n)}\mid\textnormal{\small$\bigstar$}),\\ s_{n},\acute{f}_{n}^{\textnormal{MS}}(\mathring{\bm{\zeta}}^{(n)}\mid\textnormal{\small$\bigstar$}),\acute{f}_{n}^{\textnormal{VU}}(\mathring{\bm{\zeta}}^{(n)}\mid\textnormal{\small$\bigstar$}))\leq T,\\ t_{n}(\acute{b}_{n}(\mathring{\bm{\zeta}}^{(n)}\mid\textnormal{\small$\bigstar$}),\acute{p}_{n}(\mathring{\bm{\zeta}}^{(n)}\mid\textnormal{\small$\bigstar$}),\\ s_{n},\acute{f}_{n}^{\textnormal{MS}}(\mathring{\bm{\zeta}}^{(n)}\mid\textnormal{\small$\bigstar$}),\acute{f}_{n}^{\textnormal{VU}}(\mathring{\bm{\zeta}}^{(n)}\mid\textnormal{\small$\bigstar$}))-T,\\ \textnormal{ otherwise,}\end{array}\right\}\geq 0.$$ (107)

With the above Results (93) (96) (100), we apply the Poincaré–Miranda theorem [39] and solve (91) to obtain $\grave{\bm{\zeta}}(T\mid\textnormal{\small$\bigstar$})$ using the multivariate bisection algorithm of [40]. The pseudocode is given as Algorithm 2.1 below. Readers may wonder why the multivariate bisection is not used to jointly solve $[\bm{b},\bm{p},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},\alpha,\beta,\gamma,\bm{\delta}]$. The reason is that the conditions to use the multivariate bisection are quite strict; e.g., Results (93) (96) (100) are for any $\zeta_{1},\zeta_{2},\ldots,\zeta_{n-1},\zeta_{n+1},\ldots,\zeta_{N}$ given any $n\in\mathcal{N}$. We do not have such strong conditions if we try to solve $[\bm{b},\bm{p},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},\alpha,\beta,\gamma,\bm{\delta}]$ together.

For $\bm{\zeta}:=[\zeta_{1},\zeta_{2},\ldots,\zeta_{N}]\in\prod_{n\in\mathcal{N}}[0,\zeta_{n}^{\textnormal{upper}}]$ for $\zeta_{n}^{\textnormal{upper}}$ defined in (92), given Results (93) (96) (100), use the multivariate bisection algorithm proposed by [40] to obtain $\bm{\zeta}$ which induces $\bm{h}(\bm{\zeta}\mid T)$ to be the $N$-dimensional zero vector $\bm{0}$, to achieve the tolerance level of $\|\bm{h}(\bm{\zeta}\mid T)\|_{2}\leq\epsilon_{5}$, where computing $\bm{h}(\bm{\zeta}\mid T)$ defined in (89) and (90) will call Algorithm 1.1 (resp., Algorithm 1.2) to compute $\acute{f}_{n}^{\textnormal{MS}}(\mathring{\bm{\zeta}}^{(n)}\mid\textnormal{\small$\bigstar$})$ and $\acute{f}_{n}^{\textnormal{VU}}(\mathring{\bm{\zeta}}^{(n)}\mid\textnormal{\small$\bigstar$})$ as well as $\acute{f}_{n}^{\textnormal{MS}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ and $\acute{f}_{n}^{\textnormal{VU}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ (resp., $\acute{b}_{n}(\mathring{\bm{\zeta}}^{(n)}\mid\textnormal{\small$\bigstar$})$ and $\acute{p}_{n}(\mathring{\bm{\zeta}}^{(n)}\mid\textnormal{\small$\bigstar$})$ as well as $\acute{b}_{n}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ and $\acute{p}_{n}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})$) as inputs to the function $t_{n}()$ defined in (3), where $\mathring{\bm{\zeta}}^{(n)}$ is defined in (88); Return the obtained $\bm{\zeta}$ as $\grave{\bm{\zeta}}(T\mid\textnormal{\small$\bigstar$})$;

Algorithm 9 $\textnormal{Alg-Solve-}\grave{\bm{\zeta}}(T\mid\textnormal{\small$\bigstar$})$.

Algorithm 2.2: Computing $T^{\#}(\textnormal{\small$\bigstar$})$ according to Proposition 2.2 using $\mathcal{S}_{2.2}$ defined in (53). Recall from (53) that $\mathcal{S}_{2.2}$ includes (24). Then Proposition 2.2 defines $T^{\#}(\textnormal{\small$\bigstar$})$ as the solution of $T$ to

$$\textstyle\sum_{n\in\mathcal{N}}\grave{\zeta}_{n}(T\mid\textnormal{\small$\bigstar$})=yc_{\hskip 0.8pt\textnormal{t}}.$$ (108)

Run Bisection-Search-with-No-Known-Upper-Bound $(\textnormal{\small$\bigstar$},\sum_{n\in\mathcal{N}}\grave{\zeta}_{n}(T\mid\textnormal{\small$\bigstar$}),yc_{\hskip 0.8pt\textnormal{t}})$ based on Algorithm 11 on Page 11 to obtain the desired $T$ satisfying Eq. (108), and set this $T$ as $T^{\#}(\textnormal{\small$\bigstar$})$, where computing $\sum_{n\in\mathcal{N}}\grave{\zeta}_{n}(T\mid\textnormal{\small$\bigstar$})$ will call Algorithm 2.1;

Algorithm 10 $\textnormal{Alg-Solve-}T^{\#}(\textnormal{\small$\bigstar$})$.

The bisection method is used repeatedly in the algorithms above. The pseudocodes are given below.

Randomly pick $u^{(0)}$ from $(0,\infty)$; if $C(u^{(0)},\bm{v})=C_{\textnormal{target}}$: return $u^{(0)}$ as the desired $u$; if $C(u^{(0)},\bm{v})<C_{\textnormal{target}}$
//In this case, the solution $u$ is in $[0,u^{(0)})$  Use $\textnormal{Standard-Bisection-Search}(\bm{v},\textnormal{function~{}}C(u,\bm{v}),$ $C_{\textnormal{target}},0,u^{(0)})$ based on Algorithm 12 to find the result, and return it as the desired $u$; if $C(u^{(0)},\bm{v})>C_{\textnormal{target}}$
//In this case, the solution $u$ is in $(u^{(0)},\infty)$  Find $i\geq 0$ such that $C(u^{(0)}\cdot 2^{i},\bm{v})>C_{\textnormal{target}}$ but $C(u^{(0)}\cdot 2^{i+1},\bm{v})\leq C_{\textnormal{target}}$  if $C(u^{(0)}\cdot 2^{i+1},\bm{v})=C_{\textnormal{target}}$: return $u^{(0)}\cdot 2^{i+1}$ as the desired $u$;  elsif $C(u^{(0)}\cdot 2^{i+1},\bm{v})<C_{\textnormal{target}}$   Use $\textnormal{Standard-Bisection-Search}(\bm{v},$
     $\textnormal{function~{}}C(u,\bm{v}),C_{\textnormal{target}},u^{(0)}\cdot 2^{i},u^{(0)}\cdot 2^{i+1})$
      based on Algorithm 12 to find the result,
      and return it as the desired $u$;  endif endif

Algorithm 11
Bisection-Search-with-No-Known-Upper-Bound $(\bm{v},\textnormal{function~{}}C(u,\bm{v}),C_{\textnormal{target}})$, which returns $u\in[0,\infty)$ such that $C(u,\bm{v})$ equals (or is arbitrarily close to) $C_{\textnormal{target}}$ given $\bm{v}$, where $C(u,\bm{v})$ is non-increasing in $u$ given $\bm{v}$.

1 Initialize $B_{\textnormal{lower}}\leftarrow L_{0}$, $B_{\textnormal{upper}}\leftarrow U_{0}$; repeat

2       $u\leftarrow\frac{B_{\textnormal{lower}}+B_{\textnormal{upper}}}{2}$; if $C(u,\bm{v})=C_{\textnormal{target}}$: return $u$; if $C(u,\bm{v})>C_{\textnormal{target}}$: $B_{\textnormal{lower}}\leftarrow u$; else: $B_{\textnormal{upper}}\leftarrow u$; endif

3until $B_{\textnormal{upper}}-B_{\textnormal{lower}}$ is no greater than $\epsilon_{4}$ for a small positive number $\epsilon_{4}$;

Algorithm 12
Standard-Bisection-Search $(\bm{v},\textnormal{function~{}}C(u,\bm{v}),C_{\textnormal{target}},\textnormal{lower bound}~{}L_{0},\textnormal{upper bound}~{}U_{0})$, which returns $u\in[L_{0},U_{0}]$ such that $C(u,\bm{v})$ equals (or is arbitrarily close to) $C_{\textnormal{target}}$ given $\bm{v}$, where $C(u,\bm{v})$ is non-increasing in $u$ given $\bm{v}$.

To better understand bisection search in our algorithms above, we prove in the Appendix of our full paper [36] that the left-hand side of (72) (resp., (82), (84), (86), (108)) is non-increasing with respect to $\gamma$ (resp., $p_{n}$, $\alpha$, $\beta$, $T$). In simulations, the above often decreases so that there is a unique solution.

VII Our Algorithm to Solve Problem $\mathbb{P}_{1}$

Algorithm 1 has been presented on Page 1 to solve the system UCR optimization $\mathbb{P}_{1}$. In Section V-E, we have also explained how the different building blocks in Sections V-A, V-B, V-C, and V-D are combined together to produce Algorithm 1’s pseudocode. We now discuss the performance of Algorithm 1.

Solution quality and convergence. Algorithm 1 comprises three levels of iterations, with the innermost iteration from Line 17 containing Algorithm 2 in Line 20. Algorithm 2 obtains a global optimum for Problem $\mathbb{P}_{5}(\textnormal{\small$\bigstar$})$. The outermost iteration from Line 4 is based on Dinkelbach’s transform and does not lose optimality. However, the mid-level iteration from Line 11 is based on alternating optimization and cannot guarantee local/global optimality. Hence, Algorithm 1 cannot guarantee local/global optimality for $\mathbb{P}_{1}$. Yet, using the terminology of stationary points in [12] for constrained optimization, Algorithm 1 finds a stationary point for $\mathbb{P}_{1}$. The convergence of Algorithm 1 is also clear from the above analysis.

Time Complexity. In Algorithm 1 and its subroutine Algorithm 2, the bisection search is repeatedly used. Then the complexity of Algorithm 1 is polylogarithmic in the error tolerance’s reciprocal in various calls of the bisection search. Below we analyze the complexities of Algorithms 1 and 2 with respect to the number $N$ of users. Line 1 of Algorithm 2 calls Algorithm 2.2, which calls Algorithm 2.1. Algorithm 2.1 called in the above and in Line 2 of Algorithm 2 calls Algorithms 1.1 and 1.2. Algorithm 1.2 called in the above and in Line 3 of Algorithm 2 calls Algorithms 1.2.2.2, 1.2.2.1, and 1.2.1. For the multivariate bisection search in Algorithm 2.1, from Theorem 2.3 of [40], to achieve the tolerance level of $\|\bm{h}(\bm{\zeta}\mid T)\|_{2}\leq\epsilon_{5}$, the number of iterations required is $\log_{2}\frac{\sum_{n\in\mathcal{N}}\zeta_{n}^{\textnormal{upper}}}{\epsilon_{5}}$ for $\zeta_{n}^{\textnormal{upper}}$ define in (92); i.e., logarithmic in $N$. Computing $\widetilde{\bm{b}}(\alpha,\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ and $\widetilde{\bm{p}}(\alpha,\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ takes $\mathcal{O}(N)$. Then calculating $\breve{\alpha}(\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ costs $\mathcal{O}(N)$. Thus, obtaining $\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})$ takes $\mathcal{O}(N)$. Finally, computing $\bm{h}(\bm{\zeta}\mid T)$ costs $\mathcal{O}(N)$. Line 1 of Alg. 2 takes $\mathcal{O}(N\log N)$. We analyze other lines of Alg. 2 similarly. Then Alg. 2 and each innermost iteration of Alg. 1 cost $\mathcal{O}(N\log N)$. In the outermost and mid-level iterations, each computation of the utility $\mathcal{U}()$ in (2) and the cost in (6) requires $\mathcal{O}(N)$. To summarize, Algorithm 1 takes $\mathcal{O}(N^{2}\log N)$.

VIII Modeling the Human-centric Utility from Real Data

We now model users’ human-centric utilities in the Metaverse over wireless communications using two datasets [10, 31] explained below, which are both based on real experiments of humans assessing videos.

SSV360 dataset. This dataset of [10] captures users’ evaluation of 360° videos when wearing HTC Vive Pro Virtual Reality (VR) headsets. Each data point exhibits a user’s perceptual quality assessment of a 360° scene of a given bitrate and a given video resolution, under standing or seated viewing (SSV).

Netflix dataset. This dataset is a part of Netflix’s Emmy Award-winning VMAF project [31]. Each data point represents users’ mean opinion score for a video at a given bitrate and a given resolution.

The wireless data rate needs to be large enough for users’ smooth watching experience at the given video bitrate [41]. We consider the bitrate as a constant fraction (say $\theta$) of the wireless rate. Then substituting the bitrate $r_{\text{bitrate}}$ with the wireless rate $r_{\text{wireless}}$ just involves replacing $r_{\text{bitrate}}$ with $r_{\text{wireless}}/\theta$. Hence, for both datasets above, we perform curve-fitting with the bitrate and the resolution to obtain the utility functions.

Modeling human-centric utilities. Based on the two datasets above, the human-centric utility of each user $n$, denoted by $U_{n}(r_{n},s_{n})$, is modeled as a function of the bitrate $r_{n}$ and the video resolution $s_{n}$. We adopt the logarithmic utility function, which is used in [32, 33, 34] for various communication/network systems. The logarithmic function reflects users’ diminishing marginal gain as the bitrate and the resolution increase. Formally, we have $U_{n}(r_{n},s_{n})=\kappa_{n}\ln(1+l^{s}_{n}s_{n}+l^{r}_{n}r_{n})$ for coefficients $\kappa_{n},l^{s}_{n},l^{r}_{n}$, which are decided by fitting data. Since using a three-dimensional plot to show the two-variable function $U_{n}(r_{n},s_{n})$ is difficult for visual interpretation, we use the following transform to obtain a two-dimensional plot. Let $r_{n}^{\max}$ (resp., $s_{n}^{\max}$) be the maximum $r_{n}$ (resp., $s_{n}$) from the dataset. After defining $\alpha_{n}:=l^{r}_{n}r_{n}^{\max}+l^{s}_{n}s_{n}^{\max}$, we let $\frac{l^{r}_{n}}{\alpha_{n}}r_{n}+\frac{l^{s}_{n}}{\alpha_{n}}s_{n}$ be the $x$-axis coordinate, and plot $\kappa_{n}\ln(1+\alpha_{n}x)$ as the $y$-axis coordinate, since it holds that $U_{n}(r_{n},s_{n})=\kappa_{n}\ln(1+\alpha_{n}\cdot(\frac{l^{r}_{n}}{\alpha_{n}}r_{n}+\frac{l^{s}_{n}}{\alpha_{n}}s_{n}))=\kappa_{n}\ln(1+\alpha_{n}x)$. With the above transformation, each data point’s $x$-coordinate is between $0$ and $1$.

In Fig. 4(a) for the SSV360 dataset, the data and curves are about two users watching a 360° video (“Alcatraz” or “FormationPace” [10]) under seated or standing view. The score is an integer from $1$ to $5$ based on the well-known Absolute Category Rating. In Fig. 4(b) for the Netflix dataset, the data and curves present users’ average assessment (from $0$ to $100$) of different videos (BirdsInCage, BigBuckBunny, ElFuente1, or CrowdRun [31]). Both subfigures demonstrate that the curves of the logarithmic human-centric utility functions fit the data. The specific expressions of the functions are provided in the legends.

SSV360 dataset.

Netflix dataset.

Figure 4: Modeling the logarithmic human-centric utility functions from the SSV360 and Netflix datasets.

IX Simulations

In this section on simulations, we first describe the default settings and then report various results.

Default settings. We consider a macro-cell wireless channel model for urban areas. With $d_{n}$ denoting the distance between the Metaverse server (MS) and a virtual-reality user (VU) indexed by $n$, the path loss between them is $128.1+37.6\log d_{n}$ along with 8 decibels (dB) for the standard deviation of shadow fading [6], where the unit of $d_{n}$ is kilometer. The power spectral density of Gaussian noise ${\sigma_{n}}^{2}$ is $-174$ dBm/Hz (i.e., the thermal noise amount at 20 °C room temperature). VUs are randomly located in a circle of radius 500m centered at the MU. The default total bandwidth $b_{\textnormal{max}}$ is 20GHz, and the total transmission power $p_{\textnormal{max}}$ is 30W. The effective switched capacitance $\kappa^{\textnormal{MS}}$ and $\kappa^{\textnormal{VU}}$ are set as $10^{-27}$. The number $\mu_{n}$ of bits per pixel is 16, and the compression rate $\nu_{n}$ is 100. The maximum CPU frequencies at the MS and VUs, $f_{\textnormal{max}}^{\textnormal{MS}}$ and $f_{n,\textnormal{max}}^{\textnormal{VU}}$, are 300GHz and 50GHz, respectively. The default weights for energy and delay are $c_{e}=0.5$ and $c_{t}=0.5$. The default VU number is 5. Based on measurements, Section V of [41] quantifies the computational complexity of processing a video frame of resolution $s_{n}$ as $w(s_{n})=(7\times 10^{-10}\times{s_{n}}^{3/2}+0.083)$ tera (i.e., trillion) floating-point operations (FLOPs). From Fig. 2 in Section III-B, we know that $\mathcal{A}_{n}(s_{n},\Lambda_{n})$ (resp., $\mathcal{B}_{n}(s_{n},\Lambda_{n})$) of Page 2 for delay is less than $\mathcal{F}_{n}(s_{n},\Lambda_{n})$ (resp., $\mathcal{G}_{n}(s_{n},\Lambda_{n})$) of Page 2 for energy. In the simulations, we set both $\mathcal{A}_{n}(s_{n},\Lambda_{n})$ and $\mathcal{B}_{n}(s_{n},\Lambda_{n})$ as $\Lambda_{n}w(s_{n})/30$, and set both $\mathcal{F}_{n}(s_{n},\Lambda_{n})$ and $\mathcal{G}_{n}(s_{n},\Lambda_{n})$ as $\Lambda_{n}w(s_{n})$, which make all of them convex in $s_{n}$. For all VU $n$, we let $\Lambda_{n}$ be the same $\Lambda$. Then the optimization objective becomes a multiple of $\Lambda$, which thus has no impact. The above avoids considering the impact of heterogeneous $\Lambda_{n}$ for simplicity. Possible values for the resolution $s_{n}$ are $4096\times 2160$, $3072\times 1620$, $2048\times 1080$, $1920\times 1080$, and $1280\times 720$ pixels, which are also referred to as 4k, 3k, 2k, 1080p, and 720p. The SSV360 dataset [10] in Section VIII includes the perceptual assessment of users watching VR videos. We use those data for curve-fitting different logarithmic utility functions, and assign the functions to users in the simulations: one function for one user.

Comparison with baselines. For the simulation results, we first compare our algorithm with baselines:

• average allocation, which sets each $b_{n}$ as $\frac{b_{\textnormal{max}}}{N}$, each $p_{n}$ as $\frac{p_{\textnormal{max}}}{N}$, each $s_{n}$ as $2048\times 1080$ (i.e., 2k resolution), each $f_{n}^{\textnormal{MS}}$ as $\frac{f_{\textnormal{max}}^{\textnormal{MS}}}{N}$, and each $f_{n}^{\textnormal{VU}}$ as $f_{n,\textnormal{max}}^{\textnormal{VU}}$;

• optimize $\bm{b}$, $\bm{p}$, and $\bm{s}$ only, while setting each $f_{n}^{\textnormal{MS}}$ as $\frac{f_{\textnormal{max}}^{\textnormal{MS}}}{N}$ and each $f_{n}^{\textnormal{VU}}$ as $f_{n,\textnormal{max}}^{\textnormal{VU}}$,

• optimize $\bm{f^{\textnormal{MS}}}$ and $\bm{f^{\textnormal{VU}}}$ only, while setting each $b_{n}$ as $\frac{b_{\textnormal{max}}}{N}$, each $p_{n}$ as $\frac{p_{\textnormal{max}}}{N}$, and each $s_{n}$ as $2048\times 1080$.

Various simulation results are plotted in the subfigures of Fig. 5 for a detailed comparison and examining the impact of different parameters on the system utility-cost ratio (UCR). We discuss the results below.

• UCR versus the total bandwidth. Here we vary the total bandwidth from 1GHz to 20GHz. In Fig. 5(a), larger bandwidth induces higher data rates, which reduce latency and energy consumption, thus increasing the system UCR. In addition, the difference in UCR between the proposed algorithm and the average allocation baseline rises from 522.3% to 630.4% as the total bandwidth increases.

• UCR versus minimum resolution. We fix the maximum resolution as $4096\times 2160$ (4k) and change the minimum resolution from $1280\times 720$ (720P) to $4096\times 2160$. From Fig. 5(b), the UCR performance of all the algorithms improves as the minimum resolution decreases, with our proposed algorithm showing a significant improvement. The reason for this is that the high data volumes associated with high resolution can lead to higher energy consumption and system delay. The UCR of the proposed algorithm gradually plateaus when the minimum resolution reaches below $1920\times 1080$ (1080p).

• UCR versus transmission power. Here we configure the maximum downlink transmission power from 0.03W to 100W. From Fig. 5(c), the UCR of all algorithms increases as the transmission power grows, since raising the transmission power widens the search space for the optimization. When the transmission power is very small (e.g., 0.03W or 0.3W), the UCR of the proposed algorithm is slightly higher than other algorithms, but as the transmission power increases, the performance of the proposed algorithm far exceeds others. The UCR of all methods plateaus when the transmission power reaches 50W.

• UCR versus computation resource. We vary the maximum server CPU frequency from 0.5GHz to 60GHz and all VU’s maximum CPU frequencies from 10MHz to 10GHz. In Fig. 5(d) and Fig. 5(e), the system UCR increases as the maximum CPU frequency grows, since the optimization problem has a wider search space. The proposed algorithm outperforms the average allocation, reaching a difference of 660.9% and 653.2% for server CPU frequency at 60GHz and VU CPU frequencies at 10GHz, respectively.

• Impact of user number on UCR. We now amplify the bandwidth, transmission power, and server’s CPU frequency by 10 times and fix other parameters to see the impact of user number $N$ on UCR. In Fig. 7, as the user number increases from 10 to 160, the average UCR decreases. This is because the server allocates fewer resources to each VU and induces decreasing utility. In general, the comfortable frame rate for VR applications is at least 90 [42], i.e., at most 11ms for one frame. Note that the system delay in Fig. 7 is to complete each user’s all frames. In all user scenarios shown in Fig. 7, the delay for one frame (i.e., $\frac{\text{delay}}{\text{frame number}}$) is less than 7 ms, which satisfies the comfortable frame rate requirement.

All the above simulations compare our algorithm with the baselines. Below we provide additional simulation results to show the impact of other settings to our algorithm.

Figure 5: The system utility-cost ratio (UCR) versus various parameters.

Impact of cost weights on UCR. We configure different cost weights of energy and delay $(c_{e},c_{t})$ to see the effect on the system UCR, where we enforce $c_{e}+c_{t}=1$. In Fig. 5(f), as $c_{t}$ rises to 0.8, the system UCR also increases, reflecting the importance of delay optimization for the whole system. However, as $c_{t}$ increases to 0.9, the system UCR instead drops significantly, since emphasizing the latency overwhelmingly while undervaluing the energy may enlarge the system cost.

Figure 6: Metrics with respect to the number of users.

Allocated parameters for each user. Comparing individual users’ UCR.

Figure 6: Metrics with respect to the number of users.

Figure 7: Reviewing the allocated results of different users and the impact of user scenarios on UCR.

Reviewing different users’ allocated results. In Fig. 7(a), we present the optimized bandwidth $b_{n}$, transmit power $p_{n}$, resolution $s_{n}$, MS resource allocation $f^{\textnormal{MS}}_{n}$, and user CPU frequency $f^{\textnormal{VU}}_{n}$ of five users to visualize the resource allocation. Fig. 7(b) shows the impact of user scenarios on individual UCRs. Different user preferences and physical states affect subjective scores. For example, users who prefer high-quality videos may give stricter subjective scores than those who do not require high video quality. Generally, many users found sitting to provide more comfort than standing, as indicated by a higher UCR in most seated scenarios. However, it’s important to note that individual differences were observed, and this trend did not hold true for all participants.

To summarize, extensive simulation results above confirm the effectiveness of our proposed algorithm.

X Conclusion

In this paper, we optimize the system utility-cost ratio (UCR) for the Metaverse over wireless networks. The optimization variables include the allocation of both communication and computation resources as well as the resolutions of virtual reality (VR) videos. Our human-centric utility measure represents users’ subjective assessment of the VR video quality, and is supported by real datasets. We tackle the non-convex system UCR optimization by proposing a novel technique for fractional programming. Our computationally efficient algorithm for the system UCR optimization is validated by extensive simulations. Three future directions are as follows. Firstly, since the current paper solves the optimization problem via alternating optimization (AO) of video frame resolution and other variables, a future task is to see whether we can optimize all variables simultaneously to obtain the globally optimal solution. Secondly, we may incorporate the priorities of different users into computing the system utility (e.g., using a weighted sum with weights representing users’ priorities), and investigate the impact of such formulation on the optimization. Thirdly, while the current paper contains extensive simulation results to support the analysis, we can implement real-world systems to evaluate the performance of our proposed algorithm in practice.

Jun Zhao (Member, IEEE) received a bachelor’s degree in Information Engineering from Shanghai Jiao Tong University, China, in July 2010, and a Ph.D. degree in Electrical and Computer Engineering from Carnegie Mellon University (CMU), USA, in May 2015, (advisors: Virgil Gligor and Osman Yagan; collaborator: Adrian Perrig), affiliating with CMU’s renowned CyLab Security & Privacy Institute. He is currently an Assistant Professor in the School of Computer Science and Engineering (SCSE), Nanyang Technological University (NTU), Singapore. Before joining NTU as a Faculty Member, he was a Postdoctoral Researcher under the supervision of Xiaokui Xiao at NTU. Before that, he was a Postdoctoral Researcher at Arizona State University as an Arizona Computing Post-Doctoral Researcher Best Practices Fellow (advisors: Junshan Zhang and Vincent Poor).

Liangxin Qian received bachelor’s and master’s degrees in communication engineering from the University of Electronic Science and Technology of China, Chengdu, China, in 2019 and 2022, respectively. He is currently working toward his Ph.D. at the School of Computer Science and Engineering, Nanyang Technological University, Singapore. His research interests include Metaverse, mobile edge computing, and communication theory.

Wenhan Yu (Student Member, IEEE) received his B.S. degree in Computer Science and Technology from Sichuan University, Sichuan, China in 2021. He is currently pursuing a Ph.D. degree in the School of Computer Science and Engineering, Nanyang Technological University (NTU), Singapore. His research interests cover wireless communications, deep reinforcement learning, optimization, and Metaverse.

-A Proving the relationship between FP-minimization in (10) and minimizing $W(\bm{x},\bm{y}):=G(\bm{x})+\sum_{n=1}^{N}K_{n}(\bm{x},y_{n})$ subject to $\bm{x}\in\mathcal{S}$ and $y_{n}\in\mathbb{R}^{+}$, stated in Section IV on Pages IV and I

Recall that FP-minimization in (10) means minimizing $H(\bm{x}):=G(\bm{x})+\sum_{n=1}^{N}\frac{A_{n}(\bm{x})}{B_{n}(\bm{x})}$ subject to $\bm{x}$ in a convex set $\mathcal{S}$, for convex $A_{n}(\bm{x})$ and concave $B_{n}(\bm{x})$.

We now consider alternating optimization (AO) of $\bm{x}$ and $\bm{y}$ to minimize $W(\bm{x},\bm{y}):=G(\bm{x})+\sum_{n=1}^{N}K_{n}(\bm{x},y_{n})$ subject to $\bm{x}\in\mathcal{S}$ and $\bm{y}:=[y_{1},\ldots,y_{N}]\in(\mathbb{R}^{+})^{N}$, where $K_{n}(\bm{x},y_{n}):=[A_{n}(\bm{x})]^{2}y_{n}+\frac{1}{4[B_{n}(\bm{x})]^{2}y_{n}}$, and $\mathbb{R}^{+}$ denotes the set of positive numbers. We will show that

$$\begin{array}[]{l}\text{if the above AO process of minimizing $W(\bm{x},\bm{y})$ converges}\\ \text{to $(\bm{x}^{*},\bm{y}^{*})$, $\bm{x}^{*}$ is a stationary point for \mbox{{FP-minimization}}}\\ \text{in~{}(\ref{FP-minimization}).}\end{array}$$ (112)

The AO process is as follows: We start with a randomly initialized $\bm{x}^{(0)}\in\mathcal{S}$. Then we optimize $\bm{y}$ with $\bm{x}$ being $\bm{x}^{(0)}$ to minimize $W(\bm{x},\bm{y})$, and denote the obtained $\bm{y}\in(\mathbb{R}^{+})^{N}$ as $\bm{y}^{(1)}$. Given $\bm{y}$ as $\bm{y}^{(1)}$, we optimize $\bm{x}$ to minimize $W(\bm{x},\bm{y})$, and denote the obtained $\bm{x}\in\mathcal{S}$ as $\bm{x}^{(1)}$. Given $\bm{x}$ as $\bm{x}^{(1)}$, we optimize $\bm{y}$ to minimize $W(\bm{x},\bm{y})$, and denote the obtained $\bm{y}\in(\mathbb{R}^{+})^{N}$ as $\bm{y}^{(2)}$. The above process continues iteratively. The $i$-th iteration includes the following two steps:

• Given $\bm{x}$ as $\bm{x}^{(i-1)}$, we optimize $\bm{y}$ to minimize $W(\bm{x},\bm{y})$, and denote the obtained $\bm{y}\in(\mathbb{R}^{+})^{N}$ as $\bm{y}^{(i)}$.

• Given $\bm{y}$ as $\bm{y}^{(i)}$, we optimize $\bm{x}$ to minimize $W(\bm{x},\bm{y})$, and denote the obtained $\bm{x}\in\mathcal{S}$ as $\bm{x}^{(i)}$.

The above AO process converges when the relative difference between $W(\bm{x}^{(i-1)},\bm{y}^{(i-1)})$ and $W(\bm{x}^{(i)},\bm{y}^{(i)})$ is smaller than a predefined small error tolerance.

To examine the AO process of minimizing $W(\bm{x},\bm{y})$, we will analyze 1) optimizing $\bm{y}$ given $\bm{x}$, and 2) optimizing $\bm{x}$ given $\bm{y}$. Optimizing $\bm{y}$ given $\bm{x}$ means minimizing $K_{n}(\bm{x},y_{n}):=[A_{n}(\bm{x})]^{2}y_{n}+\frac{1}{4[B_{n}(\bm{x})]^{2}y_{n}}$ with respect to $y_{n}$ for each $n=1,2,\ldots,N$; i.e., letting $y_{n}$ be $y_{n}^{\#}(\bm{x}):=\frac{1}{2A_{n}(\bm{x})B_{n}(\bm{x})}$. If such $\bm{y}$ is substituted back to $K_{n}(\bm{x},y_{n})$, then $K_{n}(\bm{x},y_{n})$ will become the desired $\frac{A_{n}(\bm{x})}{B_{n}(\bm{x})}$. Moreover, we now show that the partial derivative of $W(\bm{x},\bm{y})$ with respect to $\bm{x}$ at $\bm{y}$ being $\bm{y}^{\#}(\bm{x})$ is the same as the derivative of $H(\bm{x})$ with respect to $\bm{x}$. In fact, we have

$$\frac{\partial K_{n}(\bm{x},y_{n})}{\partial\bm{x}} =2A_{n}(\bm{x})y_{n}\frac{\partial A_{n}(\bm{x})}{\partial\bm{x}}-\frac{1}{2[B_{n}(\bm{x})]^{3}y_{n}}\cdot\frac{\partial B_{n}(\bm{x})}{\partial\bm{x}},$$ (113)

and

$$\frac{\partial\big{(}\frac{A_{n}(\bm{x})}{B_{n}(\bm{x})}\big{)}}{\partial\bm{x}} =\frac{\frac{\partial A_{n}(\bm{x})}{\partial\bm{x}}\cdot B_{n}(\bm{x})-\frac{\partial B_{n}(\bm{x})}{\partial\bm{x}}\cdot A_{n}(\bm{x})}{(B_{n}(\bm{x}))^{2}}.$$ (114)

From (113) and (114), it holds that

$$\bigg{(}\frac{\partial K_{n}(\bm{x},y_{n})}{\partial\bm{x}}\bigg{)}|_{y_{n}=\frac{1}{2A_{n}(\bm{x})B_{n}(\bm{x})}} =\frac{\partial\big{(}\frac{A_{n}(\bm{x})}{B_{n}(\bm{x})}\big{)}}{\partial\bm{x}},$$ (115)

which further implies

$$\bigg{(}\frac{\partial W(\bm{x},\bm{y})}{\partial\bm{x}}\bigg{)}|_{\bm{y}=\bm{y}^{\#}(\bm{x})} =\frac{\partial H(\bm{x})}{\partial\bm{x}}.$$ (116)

Moreover, as explained, we have

$$W(\bm{x},\bm{y})|_{\bm{y}=\bm{y}^{\#}(\bm{x})} =H(\bm{x}).$$ (117)

Using (116) and (117), we now show (112). The AO process of minimizing $W(\bm{x},\bm{y})$ is non-decreasing. Specifically, we have $W(\bm{x}^{(i)},\bm{y}^{(i)})\leq W(\bm{x}^{(i-1)},\bm{y}^{(i)})\leq W(\bm{x}^{(i-1)},\bm{y}^{(i-1)})$. For lower-bounded $W(\bm{x},\bm{y})$, we know $W(\bm{x}^{(i)},\bm{y}^{(i)})$ converges as the iteration number $i\to\infty$. Supposing the variable solution of the AO process converges to $(\bm{x}^{*},\bm{y}^{*})$, we know that

• $\bm{y}^{*}$ is the optimal $\bm{y}$ for minimizing $W(\bm{x},\bm{y})$ given $\bm{x}$ as $\bm{x}^{*}$ (i.e., $y_{n}^{*}:=\frac{1}{2A_{n}(\bm{x}^{*})B_{n}(\bm{x}^{*})}$), and

• $\bm{x}^{*}$ is the optimal $\bm{x}$ for minimizing $W(\bm{x},\bm{y})$ given $\bm{y}$ as $\bm{y}^{*}$.

Result “②” means that $\bm{x}^{*}$ satisfies the KKT conditions for optimizing $\bm{x}$ to minimize $W(\bm{x},\bm{y}^{*})$ subject to $\bm{x}\in\mathcal{S}$. Suppose $\bm{x}$ is $M$-dimensional, and $\bm{x}\in\mathcal{S}$ means

$$\begin{cases}\mathcal{Q}_{q}(\bm{x})\leq 0,&q=1,2,\ldots,Q,\\ \mathcal{R}_{r}(\bm{x})=0,&r=1,2,\ldots,R,\\ \bm{x}\in\mathbb{R}^{M}.\end{cases}$$

Then with $\bm{\alpha}$ and $\bm{\beta}$ denoting the multipliers, the KKT conditions mean

(118e)

(118i)

(118k)

(118m)

Using (116) in (118e), we know that (118e)–(118m) are equivalent to

(118doe)

(118doi)

(118dok)

(118dom)

The above (118doe)–(118dom) mean that $\bm{x}^{*}$ is a stationary point for optimizing $\bm{x}$ to minimize $H(\bm{x})$ subject to $\bm{x}\in\mathcal{S}$; i.e., $\bm{x}^{*}$ is a stationary point of FP-minimization in (10). Hence, we have proved (112).∎

-B Proving that the left-hand side of (72) is non-increasing with respect to $\gamma$

With $v(x)$ defined by $\zeta_{n}\frac{\mathcal{A}_{n}(s_{n},\Lambda_{n})}{x^{2}}-yc_{\hskip 0.5pt\textnormal{e}}\cdot 2\kappa^{\textnormal{MS}}\mathcal{F}_{n}(s_{n},\Lambda_{n})x$, clearly $v(x)$ is non-increasing with respect to $x$. Then $\text{PositiveRoot}(v(x)=\gamma)$, denoting the positive root satisfying $v(x)=\gamma$, is non-increasing with respect to $\gamma$. Thus, the left-hand side of (72) is non-increasing with respect to $\gamma$. ∎

-C Proving that the left-hand side of (82) is non-increasing with respect to $p_{n}$

From (77), we know (i) $\psi_{n}(p_{n},\alpha,\beta\mid\textnormal{\small$\bigstar$})$ is positive and decreasing in $p_{n}$, where “$\bigstar$” denotes “$\bm{z},y,\bm{s}$”. In addition, (ii) the function $\log_{2}(1+x)-\frac{x}{(1+x)\ln 2}$ is increasing and positive for $x>0$ since the derivative $\frac{x}{(1+x)^{2}\ln 2}$ is positive for $x>0$, and $\log_{2}(1+x)-\frac{x}{(1+x)\ln 2}$ at $x=0$ equals $0$. From the above Results “(i)” and “(ii)”, we obtain (iii) $\left[\log_{2}\big{(}1+\psi_{n}(p_{n},\alpha,\beta\mid\textnormal{\small$\bigstar$})\big{)}-\frac{\psi_{n}(p_{n},\alpha,\beta\mid\textnormal{\small$\bigstar$})}{(1+\psi_{n}(p_{n},\alpha,\beta\mid\textnormal{\small$\bigstar$}))\ln 2}\right]$ is positive and decreasing in $p_{n}$.

We also have (iv) the function $\frac{\log_{2}(1+x)}{x}$ is decreasing for $x>0$ since the derivative $\frac{1}{x^{2}}[\frac{x}{(1+x)\ln 2}-\log_{2}(1+x)]$ is negative due to Result “(ii)” above. From the above Results “(i)” and “(iv)”, we obtain (v) $\overline{r}_{n}(p_{n},\alpha,\beta\mid\textnormal{\small$\bigstar$})$ defined in (78) is increasing in $p_{n}$. Since the utility function $U_{n}(r_{n},s_{n})$ is concave and non-decreasing in $r_{n}$, $\frac{\partial U_{n}(r_{n},s_{n})}{\partial r_{n}}$ is non-negative and non-increasing in $r_{n}$. Then (vi) $\frac{\partial U_{n}(r_{n},s_{n})}{\partial r_{n}}+\frac{yc_{\hskip 0.5pt\textnormal{e}}}{2z_{n}{r_{n}}^{3}{{\nu_{n}}^{2}}}+\frac{\zeta_{n}s_{n}{\color[rgb]{0,0,0}\mu_{n}}{\color[rgb]{0,0,0}\Lambda_{n}}}{{r_{n}}^{2}{\nu_{n}}}$ is positive and non-increasing in $r_{n}$. From the above Results “(v)” and “(vi)”, we obtain (vii) $\big{(}\frac{\partial U_{n}(r_{n},s_{n})}{\partial r_{n}}\big{)}|_{r_{n}=\overline{r}_{n}(p_{n},\alpha,\beta\mid\textnormal{\small$\bigstar$})}+\frac{yc_{\hskip 0.5pt\textnormal{e}}}{2z_{n}\cdot[\overline{r}_{n}(p_{n},\alpha,\beta\mid\textnormal{\small$\bigstar$})]^{3}{\color[rgb]{0,0,0}{\nu_{n}}^{2}}}+\frac{\zeta_{n}s_{n}{\color[rgb]{0,0,0}\mu_{n}}{\color[rgb]{0,0,0}\Lambda_{n}}}{[\overline{r}_{n}(p_{n},\alpha,\beta\mid\textnormal{\small$\bigstar$})]^{2}{\color[rgb]{0,0,0}\nu_{n}}}$ is positive and non-increasing in $p_{n}$.

From the above Results “(iii)” and “(vii)”, the left hand side of (82) is decreasing as $p_{n}$ increases. ∎

-D Further explanations of the step-by-step analysis in (54) on Page 54 for Problem $\mathbb{P}_{5}(\bm{z},y,\bm{s})$, which will be useful for Appendices -E, -F, and -H

In this part, we provide further explanations of the step-by-step analysis in (54) on Page 54 for Problem $\mathbb{P}_{5}(\bm{z},y,\bm{s})$, which will be useful to prove the results in Appendices -E, -F, and -H later.

We recall Problem $\mathbb{P}_{5}(\bm{z},y,\bm{s})$ (i.e., $\mathbb{P}_{5}(\textnormal{\small$\bigstar$})$) from (16):

$$\textnormal{$\mathbb{P}_{5}(\textnormal{\small$\bigstar$})$}:\max\limits_{\bm{b},\bm{p},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},T} F(\bm{b},\bm{p},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},T\mid\bm{s},y)$$

$$-yc_{\hskip 0.5pt\textnormal{e}}\cdot\sum_{n\in\mathcal{N}}\big{\{}[(p_{n}+p_{n}^{\textnormal{cir}})s_{n}{\color[rgb]{0,0,0}\mu_{n}}{\color[rgb]{0,0,0}\Lambda_{n}}]^{2}z_{n}$$

$$+\frac{1}{4(r_{n}(b_{n},p_{n}){\color[rgb]{0,0,0}\nu_{n}})^{2}z_{n}}\big{\}}$$

s.t. $$\textnormal{(\ref{constraintbn}): }\sum_{n\in\mathcal{N}}b_{n}\leq b_{\textnormal{max}},$$

$$\textnormal{(\ref{constraintpn}): }\sum_{n\in\mathcal{N}}p_{n}\leq p_{\textnormal{max}},$$

$$\textnormal{(\ref{constraintfMS}): }\sum_{n\in\mathcal{N}}f_{n}^{\textnormal{MS}}\leq f_{\textnormal{max}}^{\textnormal{MS}},$$

$$\textnormal{(\ref{constraintfn}): }f_{n}^{\textnormal{VU}}\leq f_{n,\textnormal{max}}^{\textnormal{VU}},~{}\forall n\in\mathcal{N},$$

$$\textnormal{(\ref{constraintTtau}): }t_{n}(b_{n},p_{n},s_{n},f_{n}^{\textnormal{MS}},f_{n}^{\textnormal{VU}})\leq T,~{}\forall n\in\mathcal{N}.$$

As shown at the beginning of Section VI on Page VI, $\mathbb{P}_{5}(\textnormal{\small$\bigstar$})$ belongs to convex optimization, and $\alpha,\beta,\gamma,\bm{\delta},\bm{\zeta}$ denote the Lagrange multipliers for (7a), (7b), (7d), (7e), and (11a), respectively.

Suppose we already know $\bm{\zeta}$. We move $\bm{\zeta}$ and (11a) to the objective function, and construct the following problem (recall that for an optimization problem $\mathbb{P}_{i}$, we use $H_{\mathbb{P}_{i}}$ to denote its objective function):

$$\textnormal{$\mathbb{P}_{7}(\textnormal{\small$\bigstar$},\bm{\zeta})$}:\min\limits_{\bm{b},\bm{p},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},T} -H_{\mathbb{P}_{5}}(\bm{b},\bm{p},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},T\mid\textnormal{\small$\bigstar$})$$

$$+\sum_{n\in\mathcal{N}}\big{[}\zeta_{n}\cdot(t_{n}(b_{n},p_{n},s_{n},f_{n}^{\textnormal{MS}},f_{n}^{\textnormal{VU}})-T)\big{]}$$

s.t. $$\textnormal{(\ref{constraintbn}): }\sum_{n\in\mathcal{N}}b_{n}\leq b_{\textnormal{max}},$$

$$\textnormal{(\ref{constraintpn}): }\sum_{n\in\mathcal{N}}p_{n}\leq p_{\textnormal{max}},$$

$$\textnormal{(\ref{constraintfMS}): }\sum_{n\in\mathcal{N}}f_{n}^{\textnormal{MS}}\leq f_{\textnormal{max}}^{\textnormal{MS}},$$

$$\textnormal{(\ref{constraintfn}): }f_{n}^{\textnormal{VU}}\leq f_{n,\textnormal{max}}^{\textnormal{VU}},~{}\forall n\in\mathcal{N}.$$

We define

• Statement $\mathcal{V}_{\mathbb{P}_{5}}$:

• $\left\{\begin{array}[]{l}[\bm{b}^{\#}(\textnormal{\small$\bigstar$}),\bm{p}^{\#}(\textnormal{\small$\bigstar$}),(\bm{f}^{\textnormal{MS}})^{\#}(\textnormal{\small$\bigstar$}),(\bm{f}^{\textnormal{VU}})^{\#}(\textnormal{\small$\bigstar$}),\\ T^{\#}(\textnormal{\small$\bigstar$}),\alpha^{\#}(\textnormal{\small$\bigstar$}),\beta^{\#}(\textnormal{\small$\bigstar$}),\gamma^{\#}(\textnormal{\small$\bigstar$}),\bm{\delta}^{\#}(\textnormal{\small$\bigstar$}),\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$})]\\ \textnormal{is a solution to the KKT conditions $\mathcal{S}_{KKT}$ in (\ref{KKTP5})}\\ \textnormal{for Problem $\mathbb{P}_{5}(\textnormal{\small$\bigstar$})$.}\end{array}\right\}$, and

• Statement $\mathcal{V}_{\mathbb{P}_{7}}$:

• $\left\{\begin{array}[]{l}[\bm{b}^{\#}(\textnormal{\small$\bigstar$}),\bm{p}^{\#}(\textnormal{\small$\bigstar$}),(\bm{f}^{\textnormal{MS}})^{\#}(\textnormal{\small$\bigstar$}),(\bm{f}^{\textnormal{VU}})^{\#}(\textnormal{\small$\bigstar$}),\\ T^{\#}(\textnormal{\small$\bigstar$}),\alpha^{\#}(\textnormal{\small$\bigstar$}),\beta^{\#}(\textnormal{\small$\bigstar$}),\gamma^{\#}(\textnormal{\small$\bigstar$}),\bm{\delta}^{\#}(\textnormal{\small$\bigstar$})]\\ \textnormal{is a solution to the KKT conditions of}\\ \textnormal{Problem $\mathbb{P}_{7}(\textnormal{\small$\bigstar$},\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$}))$.}\end{array}\right\}$.

By checking the KKT conditions of $\mathbb{P}_{5}(\textnormal{\small$\bigstar$})$ and $\mathbb{P}_{7}(\textnormal{\small$\bigstar$},\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$}))$, we build the following relationship between $\mathbb{P}_{5}(\textnormal{\small$\bigstar$})$ and $\mathbb{P}_{7}(\textnormal{\small$\bigstar$},\bm{\zeta})$:

Statement $$\mathcal{V}_{\mathbb{P}_{5}} \Leftrightarrow\left\{\begin{array}[]{l}\textnormal{Statement $\mathcal{V}_{\mathbb{P}_{7}}$ holds,}\\ \text{and $[\bm{b}^{\#}(\textnormal{\small$\bigstar$}),\bm{p}^{\#}(\textnormal{\small$\bigstar$}),(\bm{f}^{\textnormal{MS}})^{\#}(\textnormal{\small$\bigstar$}),$}\\ \text{$(\bm{f}^{\textnormal{VU}})^{\#}(\textnormal{\small$\bigstar$}),T^{\#}(\textnormal{\small$\bigstar$}),\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$})]$ satisfies}\\ \text{$\mathcal{S}_{2.1}\cup\mathcal{S}_{2.2}:=\big{\{}\textnormal{(\ref{partialLpartialT}), (\ref{Complementarytime}), (\ref{constraintTtau}), (\ref{Dualfeasibility}e)}\big{\}}$.}\end{array}\right\}.$$ (118doeb)

In $\mathbb{P}_{7}(\textnormal{\small$\bigstar$},\bm{\zeta})$, the optimizations of $[\bm{b},\bm{p}]$, $[\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}}]$ and $T$ are independent and thus separable. This independence holds because $\bm{\zeta}$ is already given for $\mathbb{P}_{7}(\textnormal{\small$\bigstar$},\bm{\zeta})$. We do not have such independence in optimizing $\mathbb{P}_{5}(\textnormal{\small$\bigstar$})$ where $\bm{\zeta}$ is not decided yet. Hence, $\mathbb{P}_{7}(\textnormal{\small$\bigstar$},\bm{\zeta})$ is equivalent to the combination of $\mathbb{P}_{8}(\textnormal{\small$\bigstar$},\bm{\zeta})$, $\mathbb{P}_{9}(\textnormal{\small$\bigstar$},\bm{\zeta})$, and $\mathbb{P}_{10}(\textnormal{\small$\bigstar$},\bm{\zeta})$ defined below:

$$\textnormal{Problem $\mathbb{P}_{8}(\textnormal{\small$\bigstar$},\bm{\zeta})$}:\min_{T}\quad yc_{\hskip 0.8pt\textnormal{t}}T-T\sum_{n\in\mathcal{N}}\zeta_{n}$$

$$\textnormal{Problem $\mathbb{P}_{9}(\textnormal{\small$\bigstar$},\bm{\zeta})$}:\min_{\bm{b},\bm{p}}\left\{\begin{array}[]{l}-\mathcal{U}(\bm{b},\bm{p},\bm{s})\\ +yc_{\hskip 0.5pt\textnormal{e}}\cdot\sum\limits_{n\in\mathcal{N}}\big{\{}[(p_{n}+p_{n}^{\textnormal{cir}})s_{n}{\color[rgb]{0,0,0}\mu_{n}}{\color[rgb]{0,0,0}\Lambda_{n}}]^{2}z_{n}\\ +\frac{1}{4(r_{n}(b_{n},p_{n}){\color[rgb]{0,0,0}\nu_{n}})^{2}z_{n}}\big{\}}\\ +\sum\limits_{n\in\mathcal{N}}(\zeta_{n}\cdot t_{n}^{\textnormal{Tx}}(b_{n},p_{n},s_{n}))\end{array}\right\}$$ (118doeg)

$$~{}~{}~{}~{}~{}~{}\textrm{s.t.}\quad\textnormal{(\ref{constraintbn})},\textnormal{(\ref{constraintpn})},$$

$$\textnormal{Problem $\mathbb{P}_{10}(\textnormal{\small$\bigstar$},\bm{\zeta})$}:\min_{\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}}}\left\{\begin{array}[]{l}y\cdot[c_{\hskip 0.5pt\textnormal{e}}\cdot(\sum_{n\in\mathcal{N}}E_{n}^{\textnormal{MS}:\textnormal{Pro}}(s_{n},f_{n}^{\textnormal{MS}})\\ +\sum_{n\in\mathcal{N}}E_{n}^{\textnormal{VU}:\textnormal{Pro}}(s_{n},f_{n}^{\textnormal{VU}}))]\\ +\sum_{n\in\mathcal{N}}(\zeta_{n}\cdot[t_{n}^{\textnormal{MS}:\textnormal{Pro}}(s_{n},f_{n}^{\textnormal{MS}})\\ +t_{n}^{\textnormal{VU}:\textnormal{Pro}}(s_{n},f_{n}^{\textnormal{VU}})]\end{array}\right\}$$ (118doel)

$$~{}~{}~{}~{}~{}~{}\textrm{s.t.}\quad\textnormal{(\ref{constraintfMS})},\textnormal{(\ref{constraintfn})},$$

Then after defining

• Statement $\mathcal{V}_{\mathbb{P}_{8}}$:

• $\left\{\begin{array}[]{l}\textnormal{$T^{\#}(\textnormal{\small$\bigstar$})$ is a solution to Problem $\mathbb{P}_{8}(\textnormal{\small$\bigstar$},\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$}))$.}\end{array}\right\}$,

• Statement $\mathcal{V}_{\mathbb{P}_{9}}$:

• $\left\{\begin{array}[]{l}\textnormal{$[\bm{b}^{\#}(\textnormal{\small$\bigstar$}),\bm{p}^{\#}(\textnormal{\small$\bigstar$}),\alpha^{\#}(\textnormal{\small$\bigstar$}),\beta^{\#}(\textnormal{\small$\bigstar$})]$}\\ \textnormal{is a solution to the KKT conditions of}\\ \textnormal{Problem $\mathbb{P}_{9}(\textnormal{\small$\bigstar$},\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$}))$.}\end{array}\right\}$, and

• Statement $\mathcal{V}_{\mathbb{P}_{10}}$:

• $\left\{\begin{array}[]{l}\textnormal{$(\bm{f}^{\textnormal{MS}})^{\#}(\textnormal{\small$\bigstar$}),(\bm{f}^{\textnormal{VU}})^{\#}(\textnormal{\small$\bigstar$}),\gamma^{\#}(\textnormal{\small$\bigstar$}),\bm{\delta}^{\#}(\textnormal{\small$\bigstar$})]$}\\ \textnormal{is a solution to the KKT conditions of}\\ \textnormal{Problem $\mathbb{P}_{10}(\textnormal{\small$\bigstar$},\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$}))$.}\end{array}\right\}$

we obtain

Statement $$\mathcal{V}_{\mathbb{P}_{5}}$$

$$\Leftrightarrow\left\{\begin{array}[]{l}\textnormal{Statements $\mathcal{V}_{\mathbb{P}_{8}}$, $\mathcal{V}_{\mathbb{P}_{9}}$, and $\mathcal{V}_{\mathbb{P}_{10}}$ hold,}\\ \text{and $[\bm{b}^{\#}(\textnormal{\small$\bigstar$}),\bm{p}^{\#}(\textnormal{\small$\bigstar$}),(\bm{f}^{\textnormal{MS}})^{\#}(\textnormal{\small$\bigstar$}),(\bm{f}^{\textnormal{VU}})^{\#}(\textnormal{\small$\bigstar$}),$}\\ \text{$T^{\#}(\textnormal{\small$\bigstar$}),\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$})]$ satisfies}\\ \text{$\mathcal{S}_{2.1}\cup\mathcal{S}_{2.2}:=\big{\{}\textnormal{(\ref{partialLpartialT}), (\ref{Complementarytime}), (\ref{constraintTtau}), (\ref{Dualfeasibility}e)}\big{\}}$.}\end{array}\right\},$$ (118doex)

$$\Leftrightarrow\left\{\begin{array}[]{l}\textnormal{Statements $\mathcal{V}_{\mathbb{P}_{9}}$ and $\mathcal{V}_{\mathbb{P}_{10}}$ hold,}\\ \text{and $[\bm{b}^{\#}(\textnormal{\small$\bigstar$}),\bm{p}^{\#}(\textnormal{\small$\bigstar$}),(\bm{f}^{\textnormal{MS}})^{\#}(\textnormal{\small$\bigstar$}),(\bm{f}^{\textnormal{VU}})^{\#}(\textnormal{\small$\bigstar$}),$}\\ \text{$T^{\#}(\textnormal{\small$\bigstar$}),\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$})]$ satisfies}\\ \text{$\mathcal{S}_{2.1}\cup\mathcal{S}_{2.2}:=\big{\{}\textnormal{(\ref{partialLpartialT}), (\ref{Complementarytime}), (\ref{constraintTtau}), (\ref{Dualfeasibility}e)}\big{\}}$.}\end{array}\right\}$$ (118dofc)

where the last step means $\mathbb{P}_{8}(\textnormal{\small$\bigstar$},\bm{\zeta})$ can be neglected since (24) induces the objective function of $\mathbb{P}_{8}(\textnormal{\small$\bigstar$},\bm{\zeta})$ to be always $0$.

Now we analyze Problem $\mathbb{P}_{9}(\textnormal{\small$\bigstar$},\bm{\zeta})$. Note that $\beta$ is the Lagrange multiplier for (7b). Suppose we already know $\beta$. We move $\beta$ and (7b) to the objective function, and construct the following problem:

$$\textnormal{Problem $\mathbb{P}_{11}(\textnormal{\small$\bigstar$},\bm{\zeta},\beta)$}:$$

$$\min_{\bm{b},\bm{p}}\begin{array}[]{l}\left\{H_{\mathbb{P}_{9}}(\bm{b},\bm{p}\mid\textnormal{\small$\bigstar$},\bm{\zeta})+\beta\cdot\big{(}\sum_{n\in\mathcal{N}}p_{n}-p_{\textnormal{max}}\big{)}\right\}\end{array}$$ (118dofe)

$$~{}~{}~{}~{}~{}~{}~{}~{}\textrm{s.t.}\quad\textnormal{(\ref{constraintbn})},$$ (118doff)

where $H_{\mathbb{P}_{9}}(\bm{b},\bm{p}\mid\textnormal{\small$\bigstar$},\bm{\zeta})$ denotes the objective function of Problem $\mathbb{P}_{9}$. Then after defining

• Statement $\mathcal{V}_{\mathbb{P}_{11}}$:

• $\left\{\begin{array}[]{l}\textnormal{$[\bm{b}^{\#}(\textnormal{\small$\bigstar$}),\bm{p}^{\#}(\textnormal{\small$\bigstar$}),\alpha^{\#}(\textnormal{\small$\bigstar$})]$}\\ \textnormal{is a solution to the KKT conditions of}\\ \textnormal{Problem $\mathbb{P}_{11}(\textnormal{\small$\bigstar$},\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$}),\beta^{\#}(\textnormal{\small$\bigstar$}))$.}\end{array}\right\}$

and checking the KKT conditions of $\mathbb{P}_{9}(\textnormal{\small$\bigstar$},\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$})$ and $\mathbb{P}_{11}(\textnormal{\small$\bigstar$},\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$}),\beta^{\#}(\textnormal{\small$\bigstar$}))$, we have

Statement $$\mathcal{V}_{\mathbb{P}_{9}} \Leftrightarrow\left\{\begin{array}[]{l}\textnormal{Statement $\mathcal{V}_{\mathbb{P}_{11}}$ holds,}\\ \text{and $[\beta^{\#}(\textnormal{\small$\bigstar$}),\bm{p}^{\#}(\textnormal{\small$\bigstar$})]$ satisfies}\\ \text{$\mathcal{S}_{1.2.2.2}:=\big{\{}\textnormal{(\ref{Complementarybeta})},\textnormal{(\ref{constraintpn})},\textnormal{(\ref{Dualfeasibility}b)}\big{\}}$.}\end{array}\right\}$$ (118dofm)

Now we analyze Problem $\mathbb{P}_{11}(\textnormal{\small$\bigstar$},\bm{\zeta},\beta)$. Note that $\alpha$ is the Lagrange multiplier for (7a). Suppose we already know $\alpha$. We move $\alpha$ and (7a) to the objective function, and construct the following problem:

$$\textnormal{Problem $\mathbb{P}_{12}(\textnormal{\small$\bigstar$},\bm{\zeta},\beta,\alpha)$}:$$

$$\min_{\bm{b},\bm{p}}\left\{\begin{array}[]{l}H_{\mathbb{P}_{11}}(\bm{b},\bm{p}\mid\textnormal{\small$\bigstar$},\bm{\zeta},\beta)+\alpha\cdot\big{(}\sum_{n\in\mathcal{N}}b_{n}-b_{\textnormal{max}}\big{)}\end{array}\right\},$$ (118dofo)

where $H_{\mathbb{P}_{11}}(\bm{b},\bm{p}\mid\textnormal{\small$\bigstar$},\bm{\zeta},\beta)$ denotes the objective function of Problem $\mathbb{P}_{11}$. Then after defining

• Statement $\mathcal{V}_{\mathbb{P}_{12}}$:

• $[\bm{b}^{\#}(\textnormal{\small$\bigstar$}),\bm{p}^{\#}(\textnormal{\small$\bigstar$})]$ is a globally optimal solution to Problem $\mathbb{P}_{12}(\textnormal{\small$\bigstar$},\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$}),\beta^{\#}(\textnormal{\small$\bigstar$}),\alpha^{\#}(\textnormal{\small$\bigstar$}))$,

and checking the KKT conditions of $\mathbb{P}_{11}(\textnormal{\small$\bigstar$},\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$}),\beta^{\#}(\textnormal{\small$\bigstar$}))$ and $\mathbb{P}_{12}(\textnormal{\small$\bigstar$},\bm{\zeta}^{\#}(\textnormal{\small$\bigstar$}),\beta^{\#}(\textnormal{\small$\bigstar$}),\alpha^{\#}(\textnormal{\small$\bigstar$}))$, we get

Statement $$\mathcal{V}_{\mathbb{P}_{11}} \Leftrightarrow\left\{\begin{array}[]{l}\textnormal{Statement $\mathcal{V}_{\mathbb{P}_{12}}$ holds,}\\ \text{and $[\alpha^{\#}(\textnormal{\small$\bigstar$}),\bm{b}^{\#}(\textnormal{\small$\bigstar$})]$ satisfies }\\ \text{$\mathcal{S}_{1.2.2.1}:=\big{\{}\textnormal{(\ref{Stationaritypn3alpha}), (\ref{Complementaryalpha2})}\big{\}}$.}\end{array}\right\}$$ (118dofs)

-E Proving that the left-hand side of (86) is non-increasing with respect to $\beta$

From the conditions of Proposition 1.2.1 and Proposition 1.2.2.1, setting $[\bm{b},\bm{p},\alpha]$ as $[\widetilde{\bm{b}}(\breve{\alpha}(\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\widetilde{\bm{p}}(\breve{\alpha}(\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\breve{\alpha}(\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})]$ satisfies $\mathcal{S}_{1.2.1}\cup\mathcal{S}_{1.2.2.1}=\big{\{}\textnormal{(\ref{Stationaritybn}), (\ref{Stationaritypn}), (\ref{Stationaritypn3alpha}), (\ref{Complementaryalpha2})}\big{\}}$; i.e., the KKT conditions of convex optimization $\mathbb{P}_{11}(\textnormal{\small$\bigstar$},\bm{\zeta},\beta)$. Hence,

$$\begin{array}[]{l}\text{$[\widetilde{\bm{b}}(\breve{\alpha}(\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\widetilde{\bm{p}}(\breve{\alpha}(\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})]$}\\ \text{is a globally optimal solution to $\mathbb{P}_{11}(\textnormal{\small$\bigstar$},\bm{\zeta},\beta)$.}\end{array}$$ (118dofv)

To prove the desired result, we consider the case where $\beta$ equals $\beta_{1}$, and the case where $\beta$ equals $\beta_{2}$, respectively, for arbitrarily chosen $\beta_{1}$ and $\beta_{2}$. Due to Result (118dofv) above, for $H_{\mathbb{P}_{11}}(\bm{b},\bm{p}\mid\textnormal{\small$\bigstar$},\bm{\zeta},\beta)$ denoting the objective function of Problem $\mathbb{P}_{11}$, we obtain

$$H_{\mathbb{P}_{11}}(\widetilde{\bm{b}}(\breve{\alpha}(\beta_{1},\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\beta_{1},\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\widetilde{\bm{p}}(\breve{\alpha}(\beta_{1},\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\beta_{1},\bm{\zeta}\mid\textnormal{\small$\bigstar$}\mid\textnormal{\small$\bigstar$},\bm{\zeta},\beta_{1}))$$

$$\leq$$

$$H_{\mathbb{P}_{11}}(\widetilde{\bm{b}}(\breve{\alpha}(\beta_{2},\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\beta_{2},\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\widetilde{\bm{p}}(\breve{\alpha}(\beta_{2},\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\beta_{2},\bm{\zeta}\mid\textnormal{\small$\bigstar$}\mid\textnormal{\small$\bigstar$},\bm{\zeta},\beta_{1}),$$ (118dofw)

and

$$H_{\mathbb{P}_{11}}(\widetilde{\bm{b}}(\breve{\alpha}(\beta_{2},\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\beta_{2},\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\widetilde{\bm{p}}(\breve{\alpha}(\beta_{2},\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\beta_{2},\bm{\zeta}\mid\textnormal{\small$\bigstar$}\mid\textnormal{\small$\bigstar$},\bm{\zeta},\beta_{2})$$

$$\leq$$

$$H_{\mathbb{P}_{11}}(\widetilde{\bm{b}}(\breve{\alpha}(\beta_{1},\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\beta_{1},\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\widetilde{\bm{p}}(\breve{\alpha}(\beta_{1},\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\beta_{1},\bm{\zeta}\mid\textnormal{\small$\bigstar$}\mid\textnormal{\small$\bigstar$},\bm{\zeta},\beta_{2}).$$ (118dofx)

From (118dofw) and (118dofx), it follows that

$$\left[\begin{array}[]{l}H_{\mathbb{P}_{11}}(\widetilde{\bm{b}}(\breve{\alpha}(\beta_{1},\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\beta_{1},\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\\ \widetilde{\bm{p}}(\breve{\alpha}(\beta_{1},\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\beta_{1},\bm{\zeta}\mid\textnormal{\small$\bigstar$}\mid\textnormal{\small$\bigstar$},\bm{\zeta},\beta_{1}))\\ -H_{\mathbb{P}_{11}}(\widetilde{\bm{b}}(\breve{\alpha}(\beta_{1},\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\beta_{1},\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\\ \widetilde{\bm{p}}(\breve{\alpha}(\beta_{1},\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\beta_{1},\bm{\zeta}\mid\textnormal{\small$\bigstar$}\mid\textnormal{\small$\bigstar$},\bm{\zeta},\beta_{2}))\end{array}\right]$$ (118dogc)

$$+\left[\begin{array}[]{l}H_{\mathbb{P}_{11}}(\widetilde{\bm{b}}(\breve{\alpha}(\beta_{2},\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\beta_{2},\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\\ \widetilde{\bm{p}}(\breve{\alpha}(\beta_{2},\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\beta_{2},\bm{\zeta}\mid\textnormal{\small$\bigstar$}\mid\textnormal{\small$\bigstar$},\bm{\zeta},\beta_{2}))\\ -H_{\mathbb{P}_{11}}(\widetilde{\bm{b}}(\breve{\alpha}(\beta_{2},\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\beta_{2},\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\\ \widetilde{\bm{p}}(\breve{\alpha}(\beta_{2},\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\beta_{2},\bm{\zeta}\mid\textnormal{\small$\bigstar$}\mid\textnormal{\small$\bigstar$},\bm{\zeta},\beta_{1})\end{array}\right]\leq 0.$$ (118dogh)

Since $H_{\mathbb{P}_{11}}(\bm{b},\bm{p},\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},T\mid\beta,\bm{\zeta},\bm{z},y,\bm{s})$ equals $H_{\mathbb{P}_{9}}(\bm{b},\bm{p}\mid\textnormal{\small$\bigstar$},\bm{\zeta})+\beta\cdot\big{(}\sum_{n\in\mathcal{N}}p_{n}-p_{\textnormal{max}}\big{)}$ from (118doff), the term inside the first “$[\cdot]$” of (118dogh) equals $(\beta_{1}-\beta_{2})\cdot\big{(}\sum_{n\in\mathcal{N}}\widetilde{p}_{n}(\breve{\alpha}(\beta_{1},\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\beta_{1},\bm{\zeta}\mid\textnormal{\small$\bigstar$})-p_{\textnormal{max}}\big{)}$, and the term inside the second “$[\cdot]$” of (118dogh) equals $(\beta_{2}-\beta_{1})\cdot\big{(}\sum_{n\in\mathcal{N}}\widetilde{p}_{n}(\breve{\alpha}(\beta_{2},\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\beta_{2},\bm{\zeta}\mid\textnormal{\small$\bigstar$})-p_{\textnormal{max}}\big{)}$. Then we obtain

$$\left\{\begin{array}[]{l}(\beta_{1}-\beta_{2})\cdot\big{(}\sum_{n\in\mathcal{N}}\widetilde{p}_{n}(\breve{\alpha}(\beta_{1},\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\beta_{1},\bm{\zeta}\mid\textnormal{\small$\bigstar$})-p_{\textnormal{max}}\big{)}\\ +(\beta_{2}-\beta_{1})\cdot\big{(}\sum_{n\in\mathcal{N}}\widetilde{p}_{n}(\breve{\alpha}(\beta_{2},\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\beta_{2},\bm{\zeta}\mid\textnormal{\small$\bigstar$})-p_{\textnormal{max}}\big{)}\end{array}\right\}$$ (118dogk)

$$\leq 0;$$ (118dogl)

i.e., $(\beta_{1}-\beta_{2})\cdot\big{(}\sum_{n\in\mathcal{N}}\widetilde{p}_{n}(\breve{\alpha}(\beta_{1},\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\beta_{1},\bm{\zeta}\mid\textnormal{\small$\bigstar$})-\sum_{n\in\mathcal{N}}\widetilde{p}_{n}(\breve{\alpha}(\beta_{2},\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\beta_{2},\bm{\zeta}\mid\textnormal{\small$\bigstar$})\big{)}\leq 0$. Hence, $\sum_{n\in\mathcal{N}}\widetilde{p}_{n}(\breve{\alpha}(\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})$, i.e., the left-hand side of (86), is non-increasing as $\beta$ increases. ∎

-F Proving that the left-hand side of (84) is non-increasing with respect to $\alpha$

From Proposition 1.2.1’s condition, setting $[\bm{b},\bm{p}]$ as $[\widetilde{\bm{b}}(\alpha,\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\widetilde{\bm{p}}(\alpha,\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})]$ satisfies $\mathcal{S}_{1.2.1}=\big{\{}\textnormal{(\ref{Stationaritybn}), (\ref{Stationaritypn})}\big{\}}$; i.e., the KKT conditions of convex optimization $\mathbb{P}_{12}(\textnormal{\small$\bigstar$},\bm{\zeta},\beta,\alpha)$. Hence,

$$\begin{array}[]{l}\text{$[\widetilde{\bm{b}}(\alpha,\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\widetilde{\bm{p}}(\alpha,\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})]$ is a globally optimal solution }\\ \text{to $\mathbb{P}_{12}(\textnormal{\small$\bigstar$},\bm{\zeta},\beta,\alpha)$.}\end{array}$$ (118dogo)

To prove the desired result, we consider the case where $\alpha$ equals $\alpha_{1}$, and the case where $\alpha$ equals $\alpha_{2}$, respectively, for arbitrarily chosen $\alpha_{1}$ and $\alpha_{2}$. Due to Result (118dogo) above, for $H_{\mathbb{P}_{12}}(\bm{b},\bm{p}\mid\textnormal{\small$\bigstar$},\bm{\zeta},\beta,\alpha)$ denoting the objective function of Problem $\mathbb{P}_{12}$, we obtain

$$H_{\mathbb{P}_{12}}(\widetilde{\bm{b}}(\alpha_{1},\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\widetilde{\bm{p}}(\alpha_{1},\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$},\bm{\zeta},\beta,\alpha_{1})\leq$$

$$H_{\mathbb{P}_{12}}(\widetilde{\bm{b}}(\alpha_{2},\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\widetilde{\bm{p}}(\alpha_{2},\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$},\bm{\zeta},\beta,\alpha_{1}),$$ (118dogp)

and

$$H_{\mathbb{P}_{12}}(\widetilde{\bm{b}}(\alpha_{2},\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\widetilde{\bm{p}}(\alpha_{2},\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$},\bm{\zeta},\beta,\alpha_{2})\leq$$

$$H_{\mathbb{P}_{12}}(\widetilde{\bm{b}}(\alpha_{1},\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\widetilde{\bm{p}}(\alpha_{1},\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$},\bm{\zeta},\beta,\alpha_{2}).$$ (118dogq)

From (118dogp) and (118dogq), it follows that

$$[H_{\mathbb{P}_{12}}(\widetilde{\bm{b}}(\alpha_{1},\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\widetilde{\bm{p}}(\alpha_{1},\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$},\bm{\zeta},\beta,\alpha_{1})$$

$$-H_{\mathbb{P}_{12}}(\widetilde{\bm{b}}(\alpha_{1},\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\widetilde{\bm{p}}(\alpha_{1},\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$},\bm{\zeta},\beta,\alpha_{2})]$$

$$+[H_{\mathbb{P}_{12}}(\widetilde{\bm{b}}(\alpha_{2},\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\widetilde{\bm{p}}(\alpha_{2},\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$},\bm{\zeta},\beta,\alpha_{2})$$

$$-H_{\mathbb{P}_{12}}(\widetilde{\bm{b}}(\alpha_{2},\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\widetilde{\bm{p}}(\alpha_{2},\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$},\bm{\zeta},\beta,\alpha_{1})]$$

$$\leq 0.$$ (118dogr)

Since $H_{\mathbb{P}_{12}}(\bm{b},\bm{p}\mid\textnormal{\small$\bigstar$},\bm{\zeta},\beta,\alpha)$ equals $H_{\mathbb{P}_{11}}(\bm{b},\bm{p}\mid\textnormal{\small$\bigstar$},\bm{\zeta},\beta)+\alpha\cdot\big{(}\sum_{n\in\mathcal{N}}b_{n}-b_{\textnormal{max}}\big{)}$ from (118dofo), the term inside the first “$[\cdot]$” of (118dogr) equals $(\alpha_{1}-\alpha_{2})\cdot\big{(}\sum_{n\in\mathcal{N}}\widetilde{b}_{n}(\alpha_{1},\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})-b_{\textnormal{max}}\big{)}$, and the term inside the second “$[\cdot]$” of (118dogr) equals $(\alpha_{2}-\alpha_{1})\cdot\big{(}\sum_{n\in\mathcal{N}}\widetilde{b}_{n}(\alpha_{2},\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})-b_{\textnormal{max}}\big{)}$. Then we obtain

$$(\alpha_{1}-\alpha_{2})\cdot\big{(}\sum_{n\in\mathcal{N}}\widetilde{b}_{n}(\alpha_{1},\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})-b_{\textnormal{max}}\big{)}$$

$$+ (\alpha_{2}-\alpha_{1})\cdot\big{(}\sum_{n\in\mathcal{N}}\widetilde{b}_{n}(\alpha_{2},\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})-b_{\textnormal{max}}\big{)}\leq 0;$$ (118dogs)

i.e., $(\alpha_{1}-\alpha_{2})\cdot\big{(}\sum_{n\in\mathcal{N}}\widetilde{b}_{n}(\alpha_{1},\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})-\sum_{n\in\mathcal{N}}\widetilde{b}_{n}(\alpha_{2},\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})\big{)}\leq 0$. Hence, $\sum_{n\in\mathcal{N}}\widetilde{b}_{n}(\alpha,\beta,\bm{\zeta}\mid\textnormal{\small$\bigstar$})$, i.e., the left-hand side of (84), is non-increasing as $\alpha$ increases. ∎

-G Proving Page 2’s Lemma 2

From Lemma 3 to be presented in Appendix -I, $t_{n}(\acute{b}_{n}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{p}_{n}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),s_{n},\acute{f}_{n}^{\textnormal{MS}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{f}_{n}^{\textnormal{VU}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}))$ is non-increasing as $\zeta_{n}$ increases. For $h_{n}(\bm{\zeta}\mid T)$ defined in (89), given $[\zeta_{1},\ldots,\zeta_{n-1},\zeta_{n+1}\ldots,\zeta_{N}]$ and $T$, we either have (89a) or (89b). In either case, “$t_{n}(\acute{b}_{n}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{p}_{n}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),s_{n},\acute{f}_{n}^{\textnormal{MS}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{f}_{n}^{\textnormal{VU}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}))-T$” or “$-\zeta_{n}$” defined for $h_{n}(\bm{\zeta}\mid T)$ is non-increasing as $\zeta_{n}$ increases. Hence, $h_{n}(\bm{\zeta}\mid T)$ is non-increasing as $\zeta_{n}$ increases, given $[\zeta_{1},\ldots,\zeta_{n-1},\zeta_{n+1}\ldots,\zeta_{N}]$ and $T$. ∎

-H Proving that the left-hand side of (108) is non-increasing with respect to $T$

We recall from (90) and (91) that

setting $$\bm{\zeta} \grave{\bm{\zeta}}(T\mid\textnormal{\small$\bigstar$}) h_{n}(\bm{\zeta}\mid T)=0 n\in\mathcal{N}$$ as ensures for any , (118dogt)

where $h_{n}(\bm{\zeta}\mid T)=0$ is defined in (89).

From Lemma 3 to be presented in Appendix -I below, we can prove that $\sum_{n\in\mathcal{N}}\grave{\zeta}_{n}(T\mid\textnormal{\small$\bigstar$})$; i.e., the left-hand side of (108) is non-increasing with respect to $T$. The proof is similar to those in Appendices -E and -F. ∎

-I Lemma 3 and its proof

Lemma 3.

Given “$\bigstar$” (i.e., $[\bm{z},y,\bm{s}]$) and $[\zeta_{1},\ldots,\zeta_{n-1},\zeta_{n+1}\ldots,\zeta_{N}]$, we have:

&given $[\zeta_{1},\ldots,\zeta_{n-1},\zeta_{n+1}\ldots,\zeta_{N}]$, and “$\bigstar$” (i.e., “$\bm{z},y,\bm{s}$”), then as $\zeta_{n}$ increases,

• $t_{n}^{\textnormal{Tx}}(\acute{b}_{n}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{p}_{n}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),s_{n})$ is non-increasing;

• $t_{n}^{\textnormal{MS}:\textnormal{Pro}}(s_{n},\acute{f}_{n}^{\textnormal{MS}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}))+t_{n}^{\textnormal{VU}:\textnormal{Pro}}(s_{n},\acute{f}_{n}^{\textnormal{VU}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}))$ is non-increasing; and

• $t_{n}(\acute{b}_{n}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{p}_{n}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),s_{n},\acute{f}_{n}^{\textnormal{MS}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{f}_{n}^{\textnormal{VU}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}))$ is non-increasing.

Proof of Lemma 3:

Below we prove Results “i)”, “ii)”, and “iii)”, respectively.

Proving Lemma 3’s Result “i)”:

From Proposition 1.2’s condition, setting $[\bm{b},\bm{p},\alpha,\beta]$ as $[\acute{\bm{b}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\bm{p}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\alpha}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\beta}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})]$ satisfies $\mathcal{S}_{1.2.1}\cup\mathcal{S}_{1.2.2.1}\cup\mathcal{S}_{1.2.2.2}=\big{\{}\textnormal{(\ref{Stationaritybn}), (\ref{Stationaritypn}), (\ref{Complementarybeta}), {(\ref{constraintpn})}, (\ref{Dualfeasibility}b), (\ref{Stationaritypn3alpha}), (\ref{Complementaryalpha2})}\big{\}}$; i.e., the KKT conditions of convex optimization $\mathbb{P}_{9}(\textnormal{\small$\bigstar$},\bm{\zeta})$. Hence,

$$\begin{array}[]{l}\text{$[\acute{\bm{b}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\bm{p}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})]$ is a globally optimal solution to $\mathbb{P}_{9}(\textnormal{\small$\bigstar$},\bm{\zeta})$.}\end{array}$$ (118dogv)

To prove the desired result, we consider the case where $\zeta_{n}$ equals $\zeta_{n}^{(1)}$, and the case where $\zeta_{n}$ equals $\zeta_{n}^{(2)}$, respectively, for arbitrarily chosen $\zeta_{n}^{(1)}$ and $\zeta_{n}^{(2)}$. Due to Result (118dogv) above, after defining

$$\bm{\zeta}^{(n,1)} :=[\zeta_{1},\ldots,\zeta_{n-1},\zeta_{n}^{(1)},\zeta_{n+1},\ldots,\zeta_{N}],$$

$$\bm{\zeta}^{(n,2)} :=[\zeta_{1},\ldots,\zeta_{n-1},\zeta_{n}^{(2)},\zeta_{n+1},\ldots,\zeta_{N}],$$

then with $H_{\mathbb{P}_{9}}(\bm{b},\bm{p}\mid\textnormal{\small$\bigstar$},\bm{\zeta})$ denoting the objective function of Problem $\mathbb{P}_{9}$, we obtain

$$H_{\mathbb{P}_{9}}(\acute{\bm{b}}(\bm{\zeta}^{(n,1)}\mid\textnormal{\small$\bigstar$}),\acute{\bm{p}}(\bm{\zeta}^{(n,1)}\mid\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$},\bm{\zeta}^{(n,1)})$$

$$\leq H_{\mathbb{P}_{9}}(\acute{\bm{b}}(\bm{\zeta}^{(n,1)}\mid\textnormal{\small$\bigstar$}),\acute{\bm{p}}(\bm{\zeta}^{(n,1)}\mid\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$},\bm{\zeta}^{(n,2)}),$$ (118dogw)

and

$$H_{\mathbb{P}_{9}}(\acute{\bm{b}}(\bm{\zeta}^{(n,2)}\mid\textnormal{\small$\bigstar$}),\acute{\bm{p}}(\bm{\zeta}^{(n,2)}\mid\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$},\bm{\zeta}^{(n,2)})$$

$$\leq H_{\mathbb{P}_{9}}(\acute{\bm{b}}(\bm{\zeta}^{(n,2)}\mid\textnormal{\small$\bigstar$}),\acute{\bm{p}}(\bm{\zeta}^{(n,2)}\mid\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$},\bm{\zeta}^{(n,1)}).$$ (118dogx)

From (118dogw) and (118dogx), it follows that

$$\big{[}H_{\mathbb{P}_{9}}(\acute{\bm{b}}(\bm{\zeta}^{(n,1)}\mid\textnormal{\small$\bigstar$}),\acute{\bm{p}}(\bm{\zeta}^{(n,1)}\mid\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$},\bm{\zeta}^{(n,1)})$$

$$-H_{\mathbb{P}_{9}}(\acute{\bm{b}}(\bm{\zeta}^{(n,1)}\mid\textnormal{\small$\bigstar$}),\acute{\bm{p}}(\bm{\zeta}^{(n,1)}\mid\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$},\bm{\zeta}^{(n,2)})\big{]}$$

$$+\big{[}H_{\mathbb{P}_{9}}(\acute{\bm{b}}(\bm{\zeta}^{(n,2)}\mid\textnormal{\small$\bigstar$}),\acute{\bm{p}}(\bm{\zeta}^{(n,2)}\mid\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$},\bm{\zeta}^{(n,2)})$$

$$-H_{\mathbb{P}_{9}}(\acute{\bm{b}}(\bm{\zeta}^{(n,2)}\mid\textnormal{\small$\bigstar$}),\acute{\bm{p}}(\bm{\zeta}^{(n,2)}\mid\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$},\bm{\zeta}^{(n,1)})\big{]}$$

$$\leq 0.$$ (118dogy)

Note that $H_{\mathbb{P}_{9}}(\bm{b},\bm{p}\mid\textnormal{\small$\bigstar$},\bm{\zeta})$ is given by (118doeg). Then the term inside the first “$[\cdot]$” of (118dogy) equals $(\zeta_{n}^{(1)}-\zeta_{n}^{(2)})\cdot t_{n}^{\textnormal{Tx}}(\acute{b}_{n}(\bm{\zeta}^{(n,1)}\mid\textnormal{\small$\bigstar$}),\acute{p}_{n}(\bm{\zeta}^{(n,1)}\mid\textnormal{\small$\bigstar$}),s_{n})$, and the term inside the second “$[\cdot]$” of (118dogy) equals $(\zeta_{n}^{(2)}-\zeta_{n}^{(1)})\cdot t_{n}^{\textnormal{Tx}}(\acute{b}_{n}(\bm{\zeta}^{(n,2)}\mid\textnormal{\small$\bigstar$}),\acute{p}_{n}(\bm{\zeta}^{(n,2)}\mid\textnormal{\small$\bigstar$}),s_{n})$. Then we obtain

$$(\zeta_{n}^{(1)}-\zeta_{n}^{(2)})\cdot t_{n}^{\textnormal{Tx}}(\acute{b}_{n}(\bm{\zeta}^{(n,1)}\mid\textnormal{\small$\bigstar$}),\acute{p}_{n}(\bm{\zeta}^{(n,1)}\mid\textnormal{\small$\bigstar$}),s_{n})$$

$$+ (\zeta_{n}^{(2)}-\zeta_{n}^{(1)})\cdot t_{n}^{\textnormal{Tx}}(\acute{b}_{n}(\bm{\zeta}^{(n,2)}\mid\textnormal{\small$\bigstar$}),\acute{p}_{n}(\bm{\zeta}^{(n,2)}\mid\textnormal{\small$\bigstar$}),s_{n})\leq 0;$$ (118dogz)

i.e., $(\zeta_{n}^{(1)}-\zeta_{n}^{(2)})\cdot\big{(}t_{n}^{\textnormal{Tx}}(\acute{b}_{n}(\bm{\zeta}^{(n,1)}\mid\textnormal{\small$\bigstar$}),\acute{p}_{n}(\bm{\zeta}^{(n,1)}\mid\textnormal{\small$\bigstar$}),s_{n})-t_{n}^{\textnormal{Tx}}(\acute{b}_{n}(\bm{\zeta}^{(n,2)}\mid\textnormal{\small$\bigstar$}),\acute{p}_{n}(\bm{\zeta}^{(n,2)}\mid\textnormal{\small$\bigstar$}),s_{n})\big{)}\leq 0$. Hence, $t_{n}^{\textnormal{Tx}}(\acute{b}_{n}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{p}_{n}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),s_{n})$ is non-increasing as $\zeta_{n}$ increases.

Proving Lemma 3’s Result “ii)”:

From Proposition 1.1’s condition, setting $[\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}},\gamma,\bm{\delta}]$ as $[\acute{\bm{f}}^{\textnormal{MS}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\bm{f}}^{\textnormal{VU}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\gamma}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\bm{\delta}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})]$ satisfies $\mathcal{S}_{1.1}:=\big{\{}\textnormal{(\ref{partialLpartialfMS}), (\ref{partialLpartialfVU}), (\ref{Complementarygamma}), (\ref{Complementarydelta}), {(\ref{constraintfMS})}, {(\ref{constraintfn})}, (\ref{Dualfeasibility}c), (\ref{Dualfeasibility}d)}\big{\}}$; i.e., the KKT conditions of convex optimization $\mathbb{P}_{10}(\textnormal{\small$\bigstar$},\bm{\zeta})$. Hence,

$$\begin{array}[]{l}\text{$[\acute{\bm{f}}^{\textnormal{MS}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{\bm{f}}^{\textnormal{VU}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$})]$ is a globally optimal solution}\\ \textnormal{to $\mathbb{P}_{10}(\textnormal{\small$\bigstar$},\bm{\zeta})$.}\end{array}$$ (118dohc)

To prove the desired result, we consider the case where $\zeta_{n}$ equals $\zeta_{n}^{(1)}$, and the case where $\zeta_{n}$ equals $\zeta_{n}^{(2)}$, respectively, for arbitrarily chosen $\zeta_{n}^{(1)}$ and $\zeta_{n}^{(2)}$. Due to Result (118dohc) above, after defining

$$\bm{\zeta}^{(n,1)} :=[\zeta_{1},\ldots,\zeta_{n-1},\zeta_{n}^{(1)},\zeta_{n+1},\ldots,\zeta_{N}],$$

$$\bm{\zeta}^{(n,2)} :=[\zeta_{1},\ldots,\zeta_{n-1},\zeta_{n}^{(2)},\zeta_{n+1},\ldots,\zeta_{N}],$$

then with $H_{\mathbb{P}_{10}}(\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}}\mid\textnormal{\small$\bigstar$},\bm{\zeta})$ denoting the objective function of Problem $\mathbb{P}_{10}$, we obtain

$$H_{\mathbb{P}_{10}}(\acute{\bm{f}}^{\textnormal{MS}}(\bm{\zeta}^{(n,1)}\mid\textnormal{\small$\bigstar$}),\acute{\bm{f}}^{\textnormal{VU}}(\bm{\zeta}^{(n,1)}\mid\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$},\bm{\zeta}^{(n,1)})\leq$$

$$H_{\mathbb{P}_{10}}(\acute{\bm{f}}^{\textnormal{MS}}(\bm{\zeta}^{(n,1)}\mid\textnormal{\small$\bigstar$}),\acute{\bm{f}}^{\textnormal{VU}}(\bm{\zeta}^{(n,1)}\mid\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$},\bm{\zeta}^{(n,2)}),$$ (118dohd)

and

$$H_{\mathbb{P}_{10}}(\acute{\bm{f}}^{\textnormal{MS}}(\bm{\zeta}^{(n,2)}\mid\textnormal{\small$\bigstar$}),\acute{\bm{f}}^{\textnormal{VU}}(\bm{\zeta}^{(n,2)}\mid\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$},\bm{\zeta}^{(n,2)})\leq$$

$$H_{\mathbb{P}_{10}}(\acute{\bm{f}}^{\textnormal{MS}}(\bm{\zeta}^{(n,2)}\mid\textnormal{\small$\bigstar$}),\acute{\bm{f}}^{\textnormal{VU}}(\bm{\zeta}^{(n,2)}\mid\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$},\bm{\zeta}^{(n,1)}).$$ (118dohe)

From (118dohd) and (118dohe), it follows that

$$\big{[}H_{\mathbb{P}_{10}}(\acute{\bm{f}}^{\textnormal{MS}}(\bm{\zeta}^{(n,1)}\mid\textnormal{\small$\bigstar$}),\acute{\bm{f}}^{\textnormal{VU}}(\bm{\zeta}^{(n,1)}\mid\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$},\bm{\zeta}^{(n,1)})$$

$$-H_{\mathbb{P}_{10}}(\acute{\bm{f}}^{\textnormal{MS}}(\bm{\zeta}^{(n,1)}\mid\textnormal{\small$\bigstar$}),\acute{\bm{f}}^{\textnormal{VU}}(\bm{\zeta}^{(n,1)}\mid\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$},\bm{\zeta}^{(n,2)})\big{]}$$

$$+\big{[}H_{\mathbb{P}_{10}}(\acute{\bm{f}}^{\textnormal{MS}}(\bm{\zeta}^{(n,2)}\mid\textnormal{\small$\bigstar$}),\acute{\bm{f}}^{\textnormal{VU}}(\bm{\zeta}^{(n,2)}\mid\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$},\bm{\zeta}^{(n,2)})$$

$$-H_{\mathbb{P}_{10}}(\acute{\bm{f}}^{\textnormal{MS}}(\bm{\zeta}^{(n,2)}\mid\textnormal{\small$\bigstar$}),\acute{\bm{f}}^{\textnormal{VU}}(\bm{\zeta}^{(n,2)}\mid\textnormal{\small$\bigstar$})\mid\textnormal{\small$\bigstar$},\bm{\zeta}^{(n,1)})\big{]}$$

$$\leq 0.$$ (118dohf)

Note that $H_{\mathbb{P}_{10}}(\bm{f}^{\textnormal{MS}},\bm{f}^{\textnormal{VU}}\mid\textnormal{\small$\bigstar$},\bm{\zeta})$ is given by (118doel). Then the term inside the first “$[\cdot]$” of (118dohf) equals $(\zeta_{n}^{(1)}-\zeta_{n}^{(2)})\cdot[t_{n}^{\textnormal{MS}:\textnormal{Pro}}(s_{n},\acute{f}_{n}^{\textnormal{MS}}(\bm{\zeta}^{(n,1)}\mid\textnormal{\small$\bigstar$}))+t_{n}^{\textnormal{VU}:\textnormal{Pro}}(s_{n},\acute{f}_{n}^{\textnormal{VU}}(\bm{\zeta}^{(n,1)}\mid\textnormal{\small$\bigstar$}))]$, and the term inside the second “$[\cdot]$” of (118dohf) equals $(\zeta_{n}^{(2)}-\zeta_{n}^{(1)})\cdot[t_{n}^{\textnormal{MS}:\textnormal{Pro}}(s_{n},\acute{f}_{n}^{\textnormal{MS}}(\bm{\zeta}^{(n,2)}\mid\textnormal{\small$\bigstar$}))+t_{n}^{\textnormal{VU}:\textnormal{Pro}}(s_{n},\acute{f}_{n}^{\textnormal{VU}}(\bm{\zeta}^{(n,2)}\mid\textnormal{\small$\bigstar$}))]$. Then we obtain

$$\left\{\begin{array}[]{l}(\zeta_{n}^{(1)}-\zeta_{n}^{(2)})\cdot[t_{n}^{\textnormal{MS}:\textnormal{Pro}}(s_{n},\acute{f}_{n}^{\textnormal{MS}}(\bm{\zeta}^{(n,1)}\mid\textnormal{\small$\bigstar$}))\\ +t_{n}^{\textnormal{VU}:\textnormal{Pro}}(s_{n},\acute{f}_{n}^{\textnormal{VU}}(\bm{\zeta}^{(n,1)}\mid\textnormal{\small$\bigstar$}))]\\ +(\zeta_{n}^{(2)}-\zeta_{n}^{(1)})\cdot[t_{n}^{\textnormal{MS}:\textnormal{Pro}}(s_{n},\acute{f}_{n}^{\textnormal{MS}}(\bm{\zeta}^{(n,2)}\mid\textnormal{\small$\bigstar$}))\\ +t_{n}^{\textnormal{VU}:\textnormal{Pro}}(s_{n},\acute{f}_{n}^{\textnormal{VU}}(\bm{\zeta}^{(n,2)}\mid\textnormal{\small$\bigstar$}))]\end{array}\right\}\leq 0;$$ (118dohk)

namely, $(\zeta_{n}^{(1)}-\zeta_{n}^{(2)})\cdot\left\{\begin{array}[]{l}[t_{n}^{\textnormal{MS}:\textnormal{Pro}}(s_{n},\acute{f}_{n}^{\textnormal{MS}}(\bm{\zeta}^{(n,1)}\mid\textnormal{\small$\bigstar$}))\\ +t_{n}^{\textnormal{VU}:\textnormal{Pro}}(s_{n},\acute{f}_{n}^{\textnormal{VU}}(\bm{\zeta}^{(n,1)}\mid\textnormal{\small$\bigstar$}))]\\ -[t_{n}^{\textnormal{MS}:\textnormal{Pro}}(s_{n},\acute{f}_{n}^{\textnormal{MS}}(\bm{\zeta}^{(n,2)}\mid\textnormal{\small$\bigstar$}))\\ +t_{n}^{\textnormal{VU}:\textnormal{Pro}}(s_{n},\acute{f}_{n}^{\textnormal{VU}}(\bm{\zeta}^{(n,2)}\mid\textnormal{\small$\bigstar$}))]\end{array}\right\}\leq 0$. Therefore, $t_{n}^{\textnormal{MS}:\textnormal{Pro}}(s_{n},\acute{f}_{n}^{\textnormal{MS}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}))+t_{n}^{\textnormal{VU}:\textnormal{Pro}}(s_{n},\acute{f}_{n}^{\textnormal{VU}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}))$ is non-increasing as $\zeta_{n}$ increases.

Proving Lemma 3’s Result “iii)”: From (3), $t_{n}(\acute{b}_{n}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{p}_{n}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),s_{n},\acute{f}_{n}^{\textnormal{MS}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{f}_{n}^{\textnormal{VU}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}))$ is the sum of $t_{n}^{\textnormal{Tx}}(\acute{b}_{n}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),\acute{p}_{n}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}),s_{n})$ and $t_{n}^{\textnormal{MS}:\textnormal{Pro}}(s_{n},\acute{f}_{n}^{\textnormal{MS}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}))+t_{n}^{\textnormal{VU}:\textnormal{Pro}}(s_{n},\acute{f}_{n}^{\textnormal{VU}}(\bm{\zeta}\mid\textnormal{\small$\bigstar$}))$. Then the desired result clearly follows from Lemma 3’s Results “i)” and “ii)”. ∎