arXiv is now an independent nonprofit! Learn more
License: arXiv.org perpetual non-exclusive license
arXiv:1809.03856v1 [cs.IT] 08 Sep 2018

Robust Energy Efficient Beamforming in MISOME-SWIPT Systems With Proportional Secrecy Rate

Yanjie Dong, , Md. Jahangir Hossain, , Julian Cheng, , and Victor C. M. Leung,  Thanks:  This paper was accepted in part by the IEEE Globecom, Abu Dhabi, UAE, Dec. 9–13, 2018 [1]. This work was supported in part by the National Natural Science Foundation of China under Grant 61671088, in part by a UBC Four-Year Doctoral Fellowship, and in part by the Natural Science and Engineering Research Council of Canada. (Corresponding author: Victor C. M. Leung.) Thanks: Y. Dong is with the Department of Electrical and Computer Engineering, The University of British Columbia, Vancouver, BC, V6T 1Z4 Canada (email:ydong16@ece.ubc.ca). Thanks: V. C. M. Leung is with the Department of Electrical and Computer Engineering, The University of British Columbia, Vancouver, BC V6T 1Z4, Canada, and also with Zhejiang Gongshang University, Hangzhou 310018, China (e-mail: vleung@ece.ubc.ca). Thanks: M. J. Hossain and J. Cheng are with the School of Engineering, The University of British Columbia, Kelowna, BC, V1V 1V7 Canada (email:{jahangir.hossain, julian.cheng}@ubc.ca).
Abstract

The joint design of beamforming vector and artificial noise covariance matrix is investigated for the multiple-input-single-output-multiple-eavesdropper simultaneous wireless information and power transferring (MISOME-SWIPT) systems. In the MISOME-SWIPT system, the base station delivers information signals to the legitimate user equipments and broadcasts jamming signals to the eavesdroppers. A secrecy energy efficiency (SEE) maximization problem is formulated for the considered MISOME-SWIPT system with imperfect channel state information, where the SEE is defined as the ratio of sum secrecy rate over total power consumption. Since the formulated SEE maximization problem is non-convex, it is first recast into a series of convex problems in order to obtain the optimal solution with a reasonable computational complexity. Two suboptimal solutions are also proposed based on the heuristic beamforming techniques that trade performance for computational complexity. In addition, the analysis of computational complexity is performed for the optimal and suboptimal solutions. Numerical results are used to verify the performance of proposed algorithms and to reveal practical insights.

Index Terms: 
Beamforming, energy efficient communications, MISOME-SWIPT, proportional secrecy rate, secrecy energy efficiency maximization.

I Introduction

Energy harvesting technology, which enables devices to scavenge energy from ambient resources, has attracted significant attention from academia and industry in recent decade [2, 3]. Harvesting energy from natural resources requires the natural-resource energy-harvesting (NR-EH) module to be directly exposed in natural resources, such as solar and wind [3, 4, 5]. Moreover, the NR-EH module has a large form factor [3], which is not suitable for small devices, e.g., implantable wireless sensors. Another drawback of NR-EH takes root in the volatility of natural resources. Since the radio-frequency (RF) signals deliver both information and energy as well as penetrate the obstacles, radio-frequency energy-harvesting (RF-EH) technology becomes an alternative to overcome the shortcomings of NR-EH technology. Since the energy of RF signals is controllable, the RF-EH technology is more suitable for stable energy provision [6, 7, 8].

The current research on RF-EH technology can be categorized into two branches. The first branch focuses on wireless powered communication systems (WPCSs), where the wireless devices harvest energy from RF signals and then use the harvested energy to transmit information [8, 9, 10]. For example, the authors in [9, 10] proposed algorithms to maximize the system throughput in the multiuser WPCSs, where the base station (BST) broadcasts the energy signals and receives information signals in half-duplex mode [9] or full-duplex mode [10]. The WPCSs also find the applications in device-to-device communications [11], secure communications [11, 12], wireless relaying communications [13, 14, 15] and passive communications [16]. These works mainly focused on the usage of harvested energy to optimize certain performance metrics, such as throughput [9, 10], system secrecy [11, 12], outage probability [13, 14, 15], power consumption [16], and energy efficiency (EE) [17, 18]. Another branch of research on RF-EH technology is named as simultaneous wireless information and power transferring (SWIPT) systems, where the energy and information signals are broadcast simultaneously [19, 20, 21, 22]. The concept of SWIPT systems was originally proposed by Varshney in [19], where he studied the fundamental tradeoff within the rate-energy region in point-to-point (PtP) systems. Then, the authors in [20] proposed two practical receiver architectures, where the RF signals are split into two streams for energy harvesting module and information detecting module. Moreover, the authors in [20, 21] investigated the rate-energy region of PtP systems for linear energy harvester and non-linear energy harvester, respectively. Since the application of multiple antenna technology can enable the transmission of practical amount of energy, the research on the WPCSs and SWIPT systems was extended to multiple-input-single-output (MISO) [23, 24, 25, 15, 26] and multiple-input-multiple-output (MIMO) systems [27, 28, 29, 30, 31].

I-A Related Works and Contributions

The current research on SWIPT systems focus on three types of receivers: 1) time-switching receiver [15, 30]; 2) power-splitting receiver [23, 24, 30]; and 3) antenna-separating receiver [25, 26, 29, 30, 31]. Based on the receiver setups, significant research efforts have been made to investigate the system power minimization [24], system throughput maximization [30, 31] and harvested energy maximization (HEM) [25, 26, 30, 31]. For examples, the authors in [25] and [26] studied the HEM for the antenna-separating receiver with linear energy harvester and non-linear energy harvester, respectively.

Though the broadcast characteristic of wireless channels enables one-to-many energy delivery, it also increases the probability of legitimate messages to be eavesdropped in the SWIPT systems [32, 33, 34, 35, 36]. Therefore, the combination of physical layer security with SWIPT systems becomes an emerging research topic. For examples, the authors in [32] investigated the secrecy rate maximization (SRM) and HEM in the PtP systems with multiple energy-harvesting nodes (EHNs) co-located with eavesdroppers (EVEs). Combining Charnes-Cooper transformation [37] with one-dimensional search method, the authors in [32] proposed optimal solutions to the SRM and HEM problems. Then, the authors in [33] studied the SRM in single-stream and multiple-stream MIMO-PtP systems with perfect channel state information (CSI). Using a semidefinite relaxation (SDR) technique and an inexact block-coordinate-descent method, the optimal and near-optimal solutions are obtained for the single-stream and multiple-stream cases. The authors in [38] studied the secure communication in the renewable resource powered distributed antenna systems with SWIPT capability, which allows each access point to exchange energy with the central processor. By jointly designing the beamforming vector, artificial noise (AN) covariance matrix and energy exchange variables, the system power consumption is minimized in [38].

Due to the tremendous growth of energy consumption, the wireless operators require new approaches to reduce their energy bills or maximize the energy utilization efficiency. Hence, the EE optimization is one of the most important research issues for the future generation wireless communications [39, 40]. When multiple EVEs exist in the wireless communication systems, a natural extension to the traditional EE optimization becomes secrecy energy efficiency (SEE) optimization. The SEE optimization is more important than traditional EE optimization since the traditional EE optimization does not jointly consider the constructive and detrimental effects of artificial noise in energy efficiency. Although there a number of works considered EE optimization in SWIPT systems [23, 41], the SEE optimization in SWIPT systems has become an active research area recently [42]. Moreover, the SEE optimization induces a better energy utilization efficiency compared with the system throughput maximization or system power minimization. With perfect CSI, the authors in [42] investigated the SEE optimization problem in a MIMO-PtP system with multiple EVEs. Using the Dinkelbach method, they proposed an iterative algorithm to obtain the optimal SEE. However, their proposed algorithm cannot be applied to the SWIPT systems with multiple legitimate users (LUEs). When multiple LUEs exist in the MISO-SWIPT systems, the fairness issue among the LUEs becomes an important topic, which has yet been investigated.

Since the perfect CSI is challenging to obtain in MISO and MIMO systems11 1 This situation is especially true when the users are passive or roaming to a new place and do not interchange information with the local BST., the authors in [34] studied the system power minimization in the multiuser multiple-input-single-output-multiple-eavesdropper (MISOME)-SWIPT systems with imperfect CSI. Specifically, they leveraged the energy signals and AN to secure the legitimate communication and satisfy the energy requirement. Then, the authors extended the work in [34] and jointly considered the transmission power, RF-EH efficiency and interference power leakage as a multiobjective optimization problem with imperfect CSI [35]. In [36], the authors studied the impact of non-linear energy harvester on system power consumption in a multiuser MISOME-SWIPT system. To the authors’ best knowledge, the robust SEE optimization problem in the multiuser MISOME-SWIPT systems with proportional-secrecy-rate (PSR) constraints has not been reported.

In this work, we consider a multiuser MISOME-SWIPT system where a BST transmits information signals and jamming signals to the LUEs and EVEs, respectively. Meanwhile, the EHNs scavenge energy from the information signals and jamming signals. Different from [42], we study the SEE optimization via joint design of beamforming vector and AN covariance matrix under the imperfect CSI of EVEs and EHNs. Moreover, we include the RF-EH constraints and PSR constraints to guarantee the harvested energy at the EHNs and ensure the fairness among LUEs as in [43, 44], respectively. The formulated SEE optimization problem is more complicated than the traditional EE optimization problem [23, 41] due to the non-convex PSR constraints and non-convex SEE function. In order to develop tractable algorithms, we first simplify the SEE optimization problem via exploiting the problem structure. Based on the introduced parameter, we leverage the SDR technique coupled with a one-dimensional search method to address the simplified SEE optimization problem. The major contributions of this work can be summarized as follows.

  • We formulate the SEE maximization problem for a multiuser MISOME-SWIPT system via the joint design of beamforming vector and AN covariance matrix. In order to guarantee the fairness among LUEs, we explicitly confine the secrecy rates of LUEs to a predefined ratio such that the secrecy rates of LUEs are proportional. Since the EVEs and EHNs are either roaming users or passive devices, they may not exchange CSI as frequently as that of LUEs. Hence, we consider the bounded-error CSI of EVEs and EHNs.

  • The formulated SEE maximization problem in the MISOME-SWIPT system is non-convex in SEE function and PSR constraints. Therefore, it is difficult and ineffective to solve the non-convex SEE maximization problem via standard methods. In order to develop effective algorithms, we exploit the structure of non-convex PSR constraints such that a tractable form of SEE maximization problem is obtained where the strong duality holds. We theoretically prove that: 1) the non-convex PSR constraints can be relaxed into a finite set of convex constraints; and 2) the relaxations are tight. Based on these facts, we propose a two-stage algorithm such that an optimal solution is obtained via solving a series of convex optimization problems and a one-dimensional search method.

  • In order to trade the performance for computational complexity, we propose two suboptimal algorithms based on several heuristic beamforming techniques, e.g., maximal ratio transmission (MRT) and zero-forcing beamforming (ZFBF). The computational complexity of the proposed optimal and suboptimal algorithms are quantitatively compared.

Numerical results are used to verify the performance of the proposed optimal and suboptimal algorithms.

I-B Organization and Notations

The remainder of this paper is organized as follows. The system model and the SEE maximization problem are presented with imperfect CSI of EVEs and EHNs in Section II. The optimal and suboptimal algorithms are proposed in Section III and Section IV, respectively. Numerical results are used to verify the effectiveness of proposed solutions and provide several practical insights in Section V. Finally, Section VI concludes the work.

Notations: Vectors and matrices are shown in bold lowercase letters and bold uppercase letters, respectively. N×M\mathbb{C}^{N\times M} denotes the N×MN\times M dimension complex-value matrices. F\left\|\cdot\right\|_{\mbox{\tiny F}} and ||\left|\cdot\right| are the Frobenius norm and absolute value, respectively. \sim stands for “distributed as”. 𝑰N\bm{I}_{N} and 𝟎N×M\bm{0}_{N\times M} denote, respectively, an NN dimensional identity matrix and a zero matrix with NN rows and MM columns. The expectation of a random variable is denoted as 𝔼[]\mathds{E}\left[\cdot\right]. vec[𝑾]\mbox{vec}\left[\bm{W}\right] obtains a vector by stacking the columns of 𝑾\bm{W} under the other. diag{𝑾1,𝑾2,,𝑾N}\mbox{diag}\{\bm{W}_{1},\bm{W}_{2},\ldots,\bm{W}_{N}\} denotes a diagonal matrix with the diagonal elements given by the matrices 𝑾1,𝑾2,,𝑾N\bm{W}_{1},\bm{W}_{2},\ldots,\bm{W}_{N}. {𝒘n}n𝒩\left\{\bm{w}_{n}\right\}_{n\in\mathcal{N}} represents the set made of 𝒘n\bm{w}_{n}, n𝒩n\in\mathcal{N}. For a square matrix 𝑾\bm{W}, 𝑾H\bm{W}^{\mbox{\tiny H}} and Tr(𝑾)\mbox{Tr}\left(\bm{W}\right) denote its conjugate transpose and trace, respectively. 𝑾𝟎\bm{W}\succeq\bm{0} and 𝑾𝟎\bm{W}\succ\bm{0} respectively denote that 𝑾\bm{W} is a positive semidefinite and 𝑾\bm{W} is a positive definite matrix.

II System Model and Problem Formulation

II-A Overall Description

Refer to caption
Fig. 1: An illustration of the MISOME-SWIPT system that consists one BST, a set of LUEs, a set of EVEs and a set of EHNs.

We consider downlink transmission of a MISOME-SWIPT system, which consists of one single BST, a set of LUEs, a set of EVEs and a set of EHNs. Let 𝒩={1,2,,N}\mathcal{N}=\left\{1,2,\ldots,N\right\}, ={1,2,,M}\mathcal{M}=\left\{1,2,\ldots,M\right\} and ={1,2,,I}\mathcal{I}=\left\{1,2,\ldots,I\right\} denote the set of LUEs, set of EVEs and set of EHNs, respectively. The BST is equipped with NtN_{t} antennas for simultaneous transmission of information and artificial noise over the same single carrier-frequency band. Therefore, the LUEs and EVEs decode information via beamforming. Each LUE is equipped with one antenna to receive the legitimate information. Each EVE, which is also equipped with one single antenna, can be roaming user from other wireless communication systems and searching for the services from the local BST22 2 This is due to the fact that the malicious roaming users have the potential to intercept signals intended for LUEs under the coverage of the same BST.. Therefore, we leverage the AN to interrupt EVEs and guarantee RF-EH requirement of EHNs. Here, the EHNs are equipped with one antenna and can be the passive sensors to monitor the environment status of the MISOME-SWIPT system.

II-B Signal Model

At the BST, the information-bearing signal for the nn-th LUE is given as sns_{n} with 𝔼[|sn|2]=1\mathds{E}\left[|s_{n}|^{2}\right]=1. Therefore, the transmission signal for LUEs is denoted by

n=1N𝒘nsn\sum\limits_{n=1}^{N}{{\bm{w}_{n}}{s_{n}}} (1)

where 𝒘nNt×1\bm{w}_{n}\in\mathbb{C}^{N_{t}\times 1} is the beamforming vector for the nn-th LUE. In order to secure the BST-LUE links, the BST needs to transmit an AN vector 𝒒\bm{q} to reduce information leakage to EVEs. Hence, the transmission signal at the BST is given as

𝒙=n=1N𝒘nsn+𝒒\bm{x}=\sum\limits_{n=1}^{N}{{\bm{w}_{n}}{s_{n}}}+\bm{q} (2)

where the AN vector 𝒒Nt×1\bm{q}\in\mathbb{C}^{N_{t}\times 1} is modeled as a complex Gaussian random vector with mean zero and covariance 𝑸Nt×Nt\bm{Q}\in\mathbb{C}^{N_{t}\times N_{t}}. In particular, it is assumed that the information-bearing signals {sn}n𝒩\left\{s_{n}\right\}_{n\in\cal N} and the AN vector 𝒒\bm{q} are statistically independent.

Remark 1

In order to guarantee the strongly secure communications, the information-bearing signals contain both main information and auxiliary information. Here, the main information must be reliably delivered for BST-LUE links, and the auxiliary information is used to increase randomness to mislead the EVEs [45].

The frame-based frequency non-selective fading channels with unit duration for each frame is considered; therefore, the words “energy” and “power” can be used interchangeably. In each frame, the BST broadcasts information-bearing signals and jamming signals over the same single carrier-frequency band. Considering the Rayleigh fading channels, the channel-coefficient vector for the nn-th BST-LUE link 𝒉nNt×1\bm{h}_{n}\in\mathbb{C}^{N_{t}\times 1} is circularly symmetric complex Gaussian (CSCG) distributed as 𝒉n𝒞𝒩(𝟎,Ωu,n1𝑰Nt)\bm{h}_{n}\sim{\cal CN}\left(\bm{0},\Omega_{u,n}^{-1}\bm{I}_{N_{t}}\right). Here, Ωu,n1\Omega_{u,n}^{-1} captures the joint effect of link distance and carrier frequency for the nn-th BST-LUE link [46, 47]. As a result, the received signals of the nn-th LUE is expressed as

yu,n=𝒉nH𝒘nsn+k=1,knN𝒉nH𝒘kskInterference at the n-th LUE+𝒉nH𝒒AN+zu,ny_{u,n}=\bm{h}_{n}^{\mbox{\tiny H}}\bm{w}_{n}s_{n}\\ +\underbrace{\sum\limits_{k=1,k\neq n}^{N}{\bm{h}_{n}^{\mbox{\tiny H}}{\bm{w}_{k}}{s_{k}}}}_{\mbox{Interference at the $n$-th LUE}}+\underbrace{\bm{h}_{n}^{\mbox{\tiny H}}\bm{q}}_{\mbox{AN}}+z_{u,n} (3)

where zu,n𝒞𝒩(0,σu,n2)z_{u,n}\sim{\cal CN}\left(0,\sigma^{2}_{u,n}\right) is the additive white Gaussian noise (AWGN) with mean zero and variance σu,n2\sigma^{2}_{u,n} of the nn-th LUE.

Based on the received signals in (3), the data rate of the nn-th LUE is denoted as

Ru,n=ℬ𝒲log(1+SINRu,n)R_{u,n}={\cal BW}\log\left(1+\mbox{SINR}_{u,n}\right) (4)

where

SINRu,n=Tr(𝑯n𝑾n)k=1,knNTr(𝑯n𝑾k)+Tr(𝑯n𝑸)+σu,n2\mbox{SINR}_{u,n}=\frac{\mbox{Tr}\left(\bm{H}_{n}\bm{W}_{n}\right)}{\sum\limits_{k=1,k\neq n}^{N}\mbox{Tr}\left(\bm{H}_{n}\bm{W}_{k}\right)+\mbox{Tr}\left(\bm{H}_{n}\bm{Q}\right)+{\sigma_{u,n}^{2}}} (5)

with 𝑯n𝒉n𝒉nH\bm{H}_{n}\triangleq\bm{h}_{n}\bm{h}_{n}^{\mbox{\tiny H}} and 𝑾n𝒘n𝒘nH\bm{W}_{n}\triangleq\bm{w}_{n}\bm{w}_{n}^{\mbox{\tiny H}}, n𝒩n\in\cal N. In addition, the rank of each beamforming matrix 𝑾n\bm{W}_{n} is upper bounded as Rank(𝑾n)1\mbox{Rank}\left(\bm{W}_{n}\right)\leq 1. The term ℬ𝒲{\cal BW} denotes the bandwidth of the system.

Besides, the received signal at the mm-th EVE is denoted as

ye,m=𝒈e,mH𝒘nsn+k=1,knN𝒈e,mH𝒘kskInterference of the n-th LUE+𝒈e,mH𝒒AN+ze,my_{e,m}={\bm{g}_{e,m}^{\mbox{\tiny H}}}{\bm{w}_{n}}{s_{n}}\\ +\underbrace{\sum\limits_{k=1,k\neq n}^{N}{{\bm{g}_{e,m}^{\mbox{\tiny H}}}{\bm{w}_{k}}{s_{k}}}}_{\mbox{Interference of the $n$-th LUE}}+\underbrace{{\bm{g}_{e,m}^{\mbox{\tiny H}}}\bm{q}}_{\mbox{AN}}+z_{e,m} (6)

where ze,m𝒞𝒩(0,σe,m2)z_{e,m}\sim{\cal CN}\left(0,\sigma^{2}_{e,m}\right) is the AWGN with mean zero and variance σe,m2\sigma^{2}_{e,m} at the mm-th EVE, mm\in\cal M𝒈e,mNt×1\bm{g}_{e,m}\in\mathbb{C}^{N_{t}\times 1} is the channel-coefficient vector for the mm-th BST-EVE link.

Based on the signal model in (6), the information leakage to the mm-th EVE of the nn-th LUE by treating the interference as noise is denoted as [46]

Re,mn=ℬ𝒲log(1+SINRe,mn)R_{e,m\rightarrow n}={\cal BW}\log\left(1+\mbox{SINR}_{e,m\rightarrow n}\right) (7)

where

SINRe,mn=Tr(𝑮e,m𝑾n)k=1,knNTr(𝑮e,m𝑾k)+Tr(𝑮e,m𝑸)+σe,m2\mbox{SINR}_{e,m\rightarrow n}=\frac{\mbox{Tr}\left(\bm{G}_{e,m}\bm{W}_{n}\right)}{\sum\limits_{k=1,k\neq n}^{N}\mbox{Tr}\left(\bm{G}_{e,m}\bm{W}_{k}\right)+\mbox{Tr}\left(\bm{G}_{e,m}\bm{Q}\right)+{\sigma_{e,m}^{2}}} (8)

where 𝑮e,m𝒈e,m𝒈e,mH\bm{G}_{e,m}\triangleq\bm{g}_{e,m}\bm{g}_{e,m}^{\mbox{\tiny H}}.

Denote the channel-coefficient vector of the ii-th BST-EHN link as 𝒈h,iNt×1\bm{g}_{h,i}\in\mathbb{C}^{N_{t}\times 1}, the received baseband signal of the ii-th EHN is denoted as

yh,i=n=1N𝒈h,iH𝒘nsn+𝒈h,iH𝒒+zh,iy_{h,i}=\sum\limits_{n=1}^{N}\bm{g}_{h,i}^{\mbox{\tiny H}}\bm{w}_{n}s_{n}+\bm{g}_{h,i}^{\mbox{\tiny H}}\bm{q}+z_{h,i} (9)

where zh,i𝒞𝒩(0,σh,i2)z_{h,i}\sim{\cal CN}\left(0,\sigma_{h,i}^{2}\right) is the AWGN at the ii-th EHN, and 𝒈h,i\bm{g}_{h,i} is associated with the pathloss and carrier frequency of the ii-th BST-LUE link.

Ignoring the energy that can be harvested from the AWGN, the amount of harvested energy of the ii-th EHN is denoted as

Ph,i=ξh,i(n=1NTr(𝑮h,i𝑾n)+Tr(𝑮h,i𝑸))P_{h,i}=\xi_{h,i}\left(\sum\limits_{n=1}^{N}\mbox{Tr}\left(\bm{G}_{h,i}\bm{W}_{n}\right)+\mbox{Tr}\left(\bm{G}_{h,i}\bm{Q}\right)\right) (10)

where 𝑮h,i𝒈h,i𝒈h,iH\bm{G}_{h,i}\triangleq\bm{g}_{h,i}\bm{g}_{h,i}^{\mbox{\tiny H}}, and ξh,i(0,1]\xi_{h,i}\in\left(0,1\right] is the energy conversion efficiency.

II-C Secure Data Rate, Power Consumption and SEE

Since we consider strongly secure communication, the information-leakage rate of the nn-th BST-LUE link is confined to be smaller than or equal to the rate of auxiliary information Re,nREQR_{e,n}^{\mbox{\tiny REQ}}. Hence, the secrecy rate of the nn-th BST-LUE link is written as [45, 48]

Ru,nSEC=(Ru,nRe,nREQ)+R_{u,n}^{\mbox{\tiny SEC}}=\left(R_{u,n}-R^{\mbox{\tiny REQ}}_{e,n}\right)^{+} (11)

with

Re,mnRe,nREQ,mR_{e,m\rightarrow n}\leq R^{\mbox{\tiny REQ}}_{e,n},\forall m (12)

where ()+=max(,0)\left(\cdot\right)^{+}=\max\left(\cdot,0\right).

Furthermore, the power consumption of BST in the MISOME-SWIPT system is comprised of the power of downlink beamforming, power of AN and power of circuit. Therefore, the expression of power consumption is given as

PTOT=1ϕ(n=1NTr(𝑾n)+Tr(𝑸))+PCIRP^{\mbox{\tiny TOT}}=\frac{1}{\phi}\left({\sum\limits_{n=1}^{N}\mbox{Tr}\left(\bm{W}_{n}\right)+\mbox{Tr}\left(\bm{Q}\right)}\right)+{P^{\mbox{\tiny CIR}}} (13)

where the constant circuit power consumption PCIRP^{\mbox{\tiny CIR}} is given as PCIR=PSP(0.87+0.1Nt+0.03Nt2)P^{\mbox{\tiny CIR}}=P^{\mbox{\tiny SP}}\left(0.87+0.1N_{t}+0.03N_{t}^{2}\right) since the circuit power consumption is positively correlated to the number of antennas [49]. Here, the term PSPP^{\mbox{\tiny SP}} denotes the baseband processing power consumption.

In this work, the SEE is defined as the ratio of the sum secrecy rates of BST-LUE links over the power consumption of BST. Based on (11) and (13), the SEE of MISOME-SWIPT system is given as

SEE({𝑾n}n𝒩,𝑸)=n=1NRu,nSECPTOT\mbox{SEE}\left(\left\{\bm{W}_{n}\right\}_{n\in\cal N},\bm{Q}\right)=\frac{\sum\limits_{n=1}^{N}R_{u,n}^{\mbox{\tiny SEC}}}{{P^{\mbox{\tiny TOT}}}} (14)

whose unit is Nats/joule.

Remark 2

Different from [23], we ignore the harvested energy in the power consumption and investigate the SEE maximization. This is due to the fact that the harvested energy is stored in the integrated battery of EHNs and cannot reduce the energy bills of the wireless operators.

II-D Channel State Information

We assume that the MISOME-SWIPT system operates in time-division duplex mode. At the beginning of each frame, each LUE sends a pilot signal to the BST. After receiving the pilot signals, the BST estimates the channels associated with each LUE that sends the pilot signal. Since each LUE facilitates each uplink transmission with pilot signals, the BST can exploit the uplink reciprocity to periodically update the downlink CSI for BST-LUE links. Therefore, we assume that the BST can perfectly estimate the downlink CSI for the BST-LUE links. However, the EVEs and EHNs can be the roaming users and/or low-power nodes and do not exchange the pilot signals with the BST as frequently as the LUEs. The obtained CSI for the BST-EVE links can be imperfect subject to channel estimation errors and/or quantization errors. Hence, we are motivated to use the bounded-error CSI model to formulate the CSI for the BST-EVE and BST-EHNs links as [50, 51]

𝒈e,m\displaystyle\bm{g}_{e,m} =𝒈¯e,m+Δ𝒈e,m,Δ𝒈e,mFΘe,m,m\displaystyle=\bar{\bm{g}}_{e,m}+\Delta{\bm{g}}_{e,m},\left\|\Delta\bm{g}_{e,m}\right\|_{\mbox{\tiny F}}\leq\Theta_{e,m},\forall m (15)
𝒈h,i\displaystyle\bm{g}_{h,i} =𝒈¯h,i+Δ𝒈h,i,Δ𝒈h,iFΘh,i,i\displaystyle=\bar{\bm{g}}_{h,i}+\Delta{\bm{g}}_{h,i},\left\|\Delta{\bm{g}}_{h,i}\right\|_{\mbox{\tiny F}}\leq\Theta_{h,i},\forall i (16)

where 𝒈¯e,mNt×1\bar{\bm{g}}_{e,m}\in\mathbb{C}^{N_{t}\times 1} and Δ𝒈e,mNt×1\Delta\bm{g}_{e,m}\in\mathbb{C}^{N_{t}\times 1} are, respectively, the estimated channel-coefficient vector and channel uncertainty of the mm-th BST-EVE link. Similarly, 𝒈h,i\bm{g}_{h,i} and Δ𝒈h,i\Delta\bm{g}_{h,i} are the estimated channel-coefficient vector and channel uncertainty vector of the ii-th EHN. The positive constants Θe,m\Theta_{e,m} and Θh,i\Theta_{h,i} denote the radii of uncertainty region of 𝒈e,m\bm{g}_{e,m} and 𝒈h,i\bm{g}_{h,i}. Here, the vectors 𝒈¯e,m𝒞𝒩(𝟎,Ωe,m1𝑰Nt)\bar{\bm{g}}_{e,m}\sim{\cal CN}\left(\bm{0},\Omega_{e,m}^{-1}\bm{I}_{N_{t}}\right) and 𝒈¯h,i𝒞𝒩(𝟎,Ωh,i1𝑰Nt)\bar{\bm{g}}_{h,i}\sim{\cal CN}\left(\bm{0},\Omega_{h,i}^{-1}\bm{I}_{N_{t}}\right) are CSCG distributed having the terms Ωe,m\Omega_{e,m} and Ωh,i\Omega_{h,i} that take into account of the joint effect of pathloss and carrier frequency of the mm-th BST-EVE link. In addition, the channel uncertainty vectors Δ𝒈e,m\Delta\bm{g}_{e,m} and Δ𝒈h,i\Delta{\bm{g}}_{h,i} capture the joint effect of estimation errors and time-varying characteristics of wireless channels.

Remark 3

When the roaming users are malicious and want to intercept the unauthorized services, they become the EVEs. However, the EVEs also need to exchange pilot signal with the BST to establish links to obtain their registered services. The low-power nodes can be sensors in the coverage of the same BST. Although the low-power nodes do not interact with the BST, they may still need to report messages to the data fusion. Thus, the BST can still estimate the CSI of BST-EHN links.

II-E Problem Formulation

Our objective is to maximize SEE via the joint design of beamforming vector and AN covariance matrix in the MISOME-SWIPT system. At the beginning of each frame, the BST performs beamforming and jamming in a centralized way. The SEE maximization problem is formulated as

max{𝑾n}n𝒩,𝑸\displaystyle\max\limits_{\left\{\bm{W}_{n}\right\}_{n\in\cal N},\bm{Q}} SEE({𝑾n}n𝒩,𝑸)\displaystyle\;\mbox{SEE}\left(\left\{{{\bm{W}_{n}}}\right\}_{n\in\cal N},\bm{Q}\right) (17a)
s.t. Ru,1SEC::Ru,NSEC=φ1::φN\displaystyle\;{R_{u,1}^{\mbox{\tiny SEC}}}:\ldots:{R_{u,N}^{\mbox{\tiny SEC}}}={\varphi_{1}}:\ldots:{\varphi_{N}} (17b)
maxΔ𝒈e,mFΘe,mRe,mnRe,nREQ,m,n\displaystyle\;\max\limits_{\left\|\Delta\bm{g}_{e,m}\right\|_{\mbox{\tiny F}}\leq\Theta_{e,m}}R_{e,m\rightarrow n}\leq R_{e,n}^{\mbox{\tiny REQ}},\forall m,n (17c)
minΔ𝒈h,iFΘh,iPh,iPh,iREQ,i\displaystyle\;\min\limits_{\left\|\Delta\bm{g}_{h,i}\right\|_{\mbox{\tiny F}}\leq\Theta_{h,i}}P_{h,i}\geq P_{h,i}^{\mbox{\tiny REQ}},\forall i (17d)
n=1NTr(𝑾n)+Tr(𝑸)Pmax\displaystyle\;\sum\limits_{n=1}^{N}\mbox{Tr}\left(\bm{W}_{n}\right)+\mbox{Tr}\left(\bm{Q}\right)\leq{P^{\max}} (17e)
𝑸𝟎,𝑾n𝟎,n\displaystyle\;\bm{Q}\succeq\bm{0},\bm{W}_{n}\succeq\bm{0},\forall n (17f)
Rank(𝑾n)1,n\displaystyle\;\mbox{Rank}\left(\bm{W}_{n}\right)\leq 1,\forall n (17g)

where the constraints in (17b) are used to guarantee the proportional fairness on the secrecy rates of LUEs with n=1Nφn=1\sum\nolimits_{n=1}^{N}\varphi_{n}=1 and φn0\varphi_{n}\geq 0 [43, 44]; and the information-leakage constraints and the harvested-power constraints are respectively defined in (17c) and (17d). Here, the term Ph,iREQP_{h,i}^{\mbox{\tiny REQ}} in (17d) denotes the energy requirement of the ii-th EHN; and the constant PmaxP^{\max} in the constraints in (17e) is the power budget of BST due to the circuit limitation.

Remark 4

Although we use the linear energy harvester, it is easy to justify that, by properly setting the threshold Ph,iREQP_{h,i}^{\mbox{\tiny REQ}}, the non-linear energy harvester model can be incorporated in (17d) [26, 15]. Using the model in [26], harvesting Ph,iREQP_{h,i}^{\mbox{\tiny REQ}} power requires the input power P^h,iREQ=ξh,iah,ilog(Mh,i+Ph,iREQexp(ah,ibh,i)Mh,iPh,iREQ)\hat{P}_{h,i}^{\mbox{\tiny REQ}}=\frac{\xi_{h,i}}{a_{h,i}}\log\left(\frac{M_{h,i}+P_{h,i}^{\mbox{\tiny REQ}}\exp\left(a_{h,i}b_{h,i}\right)}{M_{h,i}-P_{h,i}^{\mbox{\tiny REQ}}}\right), where Mh,iM_{h,i}, ah,ia_{h,i} and bh,ib_{h,i} are the shaping parameters [26].

III Optimal SEE Maximization

We observe that the finding the optimal solution to optimization problem (17) is challenging due to the non-convex objective function (17a), the PSR constraints in (17b), the infinite amount of information-leakage constraints in (17c) and RF-EH constraints in (17d) and the non-convex rank-one constraints in (17g). In order to solve the problem (17), we deal with non-convexity in the objective function (17a) and constraints in (17b) and (17g) via a convex relaxation and SDR. Moreover, we obtain the equivalent convex forms in finite amount for the constraints in (17c) and (17d) via 𝒮\cal S-procedure [52].

Since the non-convex objective function (17a) and PSR constraints in (17b) contain the secrecy rate of LUEs, we are motivated to handle the non-convexity in (17a) and (17b) via convex relaxation. Introducing an auxiliary variable tt with 0tn=1NRu,nSEC0\leq t\leq\sum\nolimits_{n=1}^{N}R_{u,n}^{\mbox{\tiny SEC}}, the objective function (17a) and PSR constraints (17b) are respectively relaxed as

SEE({𝑾n}n𝒩,𝑸)tPTOT({𝑾n}n𝒩,𝑸)\mbox{SEE}\left(\left\{\bm{W}_{n}\right\}_{n\in\cal N},\bm{Q}\right)\geq\frac{t}{P^{\mbox{\tiny TOT}}\left(\left\{\bm{W}_{n}\right\}_{n\in\cal N},\bm{Q}\right)} (18)

and

1+θn(t)θn(t)Tr(𝑯n𝑾n)k=1NTr(𝑯n𝑾k)+Tr(𝑯n𝑸)+σu,n2,n\frac{1+\theta_{n}\left(t\right)}{\theta_{n}\left(t\right)}\mbox{Tr}\left(\bm{H}_{n}\bm{W}_{n}\right)\geq\sum\limits_{k=1}^{N}\mbox{Tr}\left(\bm{H}_{n}\bm{W}_{k}\right)\\ +\mbox{Tr}\left(\bm{H}_{n}\bm{Q}\right)+\sigma_{u,n}^{2},\forall n (19)

where θn(t)exp(φnℬ𝒲t+R~e,nREQ)1{\theta_{n}}\left(t\right)\triangleq\exp\left(\frac{\varphi_{n}}{\cal BW}t+\widetilde{R}^{\mbox{\tiny REQ}}_{e,n}\right)-1. Note that the sum secrecy rate of all BST-LUE links is lower bounded by tt, and the secrecy rate of the nn-th BST-LUE link is lower bounded by φnt\varphi_{n}t, n𝒩n\in\cal N. Thus, the lower bounds of secrecy rates of BST-LUE links satisfy the predefined ratios.

Therefore, the convex-relaxation version of optimization problem (17) is obtained as

max{𝑾n}n𝒩,𝑸,t\displaystyle\max\limits_{{\left\{{\bm{W}_{n}}\right\}_{n\in{\cal N}}},\bm{Q},t} tPTOT({𝑾n}n𝒩,𝑸)\displaystyle\;\frac{t}{P^{\mbox{\tiny TOT}}\left(\left\{\bm{W}_{n}\right\}_{n\in\cal N},\bm{Q}\right)} (20a)
s.t. (17c)(17g) and (19).\displaystyle\;\eqref{eq:15c}-\eqref{eq:15g}\mbox{ and }\eqref{eq:20}. (20b)

In problem (20), we replace the objective function (17a) with its lower bound (18) and relax the PSR constraints in (17c) by (19). Before we proceed to justify the equivalence between (17) and (20), we verify the tightness of convex relaxations in (18) and (19) for problem (20) in Proposition 1.

Proposition 1

Suppose that the right-hand-side of (18) and the constraints in (19) are not inactive under the optimal beamforming matrices {𝐖n}n𝒩\{\bm{W}_{n}^{*}\}_{n\in\cal N} and AN covariance matrix 𝐐\bm{Q}^{*} to problem (20). Then, the inequalities in (18) and (19) are active via another optimal beamforming matrices {𝐖^n}n𝒩\{\widehat{\bm{W}}_{n}^{*}\}_{n\in\cal N} and AN covariance matrix 𝐐^\widehat{\bm{Q}}^{*} to (20), which can be constructed as

𝑾^n\displaystyle\widehat{\bm{W}}_{n}^{*} =yn𝑾n,n\displaystyle=y_{n}\bm{W}_{n}^{*},\forall n (21a)
𝑸^\displaystyle\widehat{\bm{Q}}^{*} =𝑸+n=1N(1yn)𝑾n\displaystyle=\bm{Q}^{*}+\sum\limits_{n=1}^{N}\left(1-y_{n}\right)\bm{W}_{n}^{*} (21b)
yn\displaystyle y_{n} =θn(t)1+θn(t)Tr(𝑯n(n=1N𝑾n+𝑸))+σu,n2Tr(𝑯n𝑾n).\displaystyle=\frac{\theta_{n}\left(t^{*}\right)}{1+\theta_{n}\left(t^{*}\right)}\frac{\mbox{Tr}\left(\bm{H}_{n}\left(\sum\limits_{n=1}^{N}\bm{W}_{n}^{*}+\bm{Q}^{*}\right)\right)+\sigma_{u,n}^{2}}{\mbox{Tr}\left(\bm{H}_{n}\bm{W}_{n}^{*}\right)}. (21c)
Proof:

See Appendix A. ∎

Based on Proposition 1, we conclude the equivalence between the problems (17) and (20), which is verified in Appendix B. Hence, we investigate the problem (20) to seek a low complexity algorithm for the problem (17).

In order to deal with the infinite amount of information-leakage constraints in (17c) and (17d), we first review the 𝒮\cal S-procedure [52] in Lemma 1.

Lemma 1 (𝒮\cal S-procedure [52])

Denote the functions f1(𝐱)f_{1}\left(\bm{x}\right) and f2(𝐱)f_{2}\left(\bm{x}\right) as f1(𝐱)=𝐱H𝐀1𝐱+𝐛1H𝐱+𝐱H𝐛1+c1f_{1}\left(\bm{x}\right)=\bm{x}^{\mbox{\tiny H}}\bm{A}_{1}\bm{x}+\bm{b}_{1}^{\mbox{\tiny H}}\bm{x}+\bm{x}^{\mbox{\tiny H}}\bm{b}_{1}+c_{1} and f2(𝐱)=𝐱H𝐀2𝐱+𝐛2H𝐱+𝐱H𝐛2+c2f_{2}\left(\bm{x}\right)=\bm{x}^{\mbox{\tiny H}}\bm{A}_{2}\bm{x}+\bm{b}_{2}^{\mbox{\tiny H}}\bm{x}+\bm{x}^{\mbox{\tiny H}}\bm{b}_{2}+c_{2} with 𝐀1=𝐀1H\bm{A}_{1}=\bm{A}_{1}^{\mbox{\tiny H}} and 𝐀2=𝐀2H\bm{A}_{2}=\bm{A}_{2}^{\mbox{\tiny H}}. Then, the condition f1(𝐱)0f2(𝐱)0f_{1}\left(\bm{x}\right)\leq 0\Rightarrow f_{2}\left(\bm{x}\right)\leq 0 holds if and only if there is η0\eta\geq 0 such that

η[𝑨1𝒃1𝒃1Hc1][𝑨2𝒃2𝒃2Hc2]𝟎\eta\left[{\begin{array}[]{*{20}{c}}{\bm{A}_{1}}&{\bm{b}_{1}}\\ {\bm{b}_{1}^{\mbox{\tiny H}}}&{c_{1}}\end{array}}\right]-\left[{\begin{array}[]{*{20}{c}}{\bm{A}_{2}}&{\bm{b}_{2}}\\ {\bm{b}_{2}^{\mbox{\tiny H}}}&{c_{2}}\end{array}}\right]\succeq\bm{0} (22)

provided that there exists a point 𝐱\bm{x} such that fk(𝐱)<0f_{k}\left(\bm{x}\right)<0, k=1,2k=1,2.

With (7) and (8), we obtain an equivalent form of information-leakage constraints in (17c) as

𝒈e,mH𝑿n𝒈e,mσe,m2,Δ𝒈e,m,m,n\bm{g}_{e,m}^{\mbox{\tiny H}}\bm{X}_{n}\bm{g}_{e,m}\leq\sigma_{e,m}^{2},\forall\Delta\bm{g}_{e,m},\forall m,n (23)

where 𝑿n11exp(R~e,nREQ)𝑾nk=1N𝑾k𝑸\bm{X}_{n}\triangleq\frac{1}{1-\exp\left(-\widetilde{R}^{\mbox{\tiny REQ}}_{e,n}\right)}\bm{W}_{n}-\sum\nolimits_{k=1}^{N}\bm{W}_{k}-\bm{Q} with R~e,nREQ=Re,mnREQℬ𝒲\widetilde{R}^{\mbox{\tiny REQ}}_{e,n}=\frac{R_{e,m\rightarrow n}^{\mbox{\tiny REQ}}}{\cal BW} and Δ𝒈e,mF2Θe,m2\left\|\Delta\bm{g}_{e,m}\right\|_{\mbox{\tiny F}}^{2}\leq\Theta^{2}_{e,m}.

Applying Lemma 1 to (23), we obtain an equivalent form of information-leakage constraints in (17c) as

𝚽m,n(𝑿n,ζm,n)=[ζm,n𝑰Nt𝟎𝟎σe,m2ζm,nΘe,m2]𝑮~e,mH𝑿n𝑮~e,m𝟎,m,n\bm{\Phi}_{m,n}\left(\bm{X}_{n},\zeta_{m,n}\right)=\left[{\begin{array}[]{*{20}{c}}\zeta_{m,n}\bm{I}_{N_{t}}&\bm{0}\\ \bm{0}&\sigma_{e,m}^{2}-\zeta_{m,n}\Theta_{e,m}^{2}\end{array}}\right]\\ -\widetilde{\bm{G}}_{e,m}^{\mbox{\tiny H}}\bm{X}_{n}\widetilde{\bm{G}}_{e,m}\succeq\bm{0},\forall m,n (24)

where 𝑮~e,m[𝑰Nt,𝒈¯e,m]\widetilde{\bm{G}}_{e,m}\triangleq\left[\bm{I}_{N_{t}},\bar{\bm{g}}_{e,m}\right], and ζm,n0\zeta_{m,n}\geq 0 is the introduced auxiliary variable, mm\in\cal M and n𝒩n\in\cal N.

Similarly, the equivalent form of (17d) is obtained as

𝒈h,iH𝒀𝒈h,iPh,iREQξh,i,i\bm{g}_{h,i}^{\mbox{\tiny H}}\bm{Y}\bm{g}_{h,i}\geq\frac{P_{h,i}^{\mbox{\tiny REQ}}}{\xi_{h,i}},\forall i (25)

with 𝒀=n=1N𝑾n+𝑸\bm{Y}=\sum\nolimits_{n=1}^{N}\bm{W}_{n}+\bm{Q}.

Then, applying Lemma 1 to (25) and performing some algebraic manipulations, we obtain an equivalent form of RF-EH constraints in (17d) as

𝚿i(𝒀,ηi)=[ηi𝑰Nt𝟎𝟎Ph,iREQξh,iηiΘh,i2]+𝑮~h,iH𝒀𝑮~h,i𝟎,i\bm{\Psi}_{i}\left(\bm{Y},\eta_{i}\right)=\left[{\begin{array}[]{*{20}{c}}\eta_{i}\bm{I}_{N_{t}}&\bm{0}\\ \bm{0}&-\frac{P_{h,i}^{\mbox{\tiny REQ}}}{\xi_{h,i}}-\eta_{i}\Theta_{h,i}^{2}\end{array}}\right]\\ +\widetilde{\bm{G}}_{h,i}^{\mbox{\tiny H}}\bm{Y}\widetilde{\bm{G}}_{h,i}\succeq\bm{0},\forall i (26)

where 𝑮~h,i=[𝑰Nt,𝒈h,i]\widetilde{\bm{G}}_{h,i}=\left[\bm{I}_{N_{t}},\bm{g}_{h,i}\right], and ηi\eta_{i} is the introduced nonnegative auxiliary variable, ii\in\cal I.

Based on the previous manipulations in (19), (24) and (26), we can now convexify the feasible region of the problem (20) via SDR technique. By dropping the constraints in (17g), the feasible region of problem (20) is transformed into a convex one as

max{𝑾n}n𝒩,𝑸,{ηi}i{ζm,n}m,n𝒩,t\displaystyle\max\limits_{\scriptstyle{\left\{{\bm{W}_{n}}\right\}_{n\in{\cal N}}},\bm{Q},\{\eta_{i}\}_{i\in\cal I}\hfill\atop\scriptstyle{\left\{{{\zeta_{m,n}}}\right\}_{m\in{\cal M},n\in{\cal N}},t}\hfill} tPTOT({𝑾n}n𝒩,𝑸)\displaystyle\;\frac{t}{P^{\mbox{\tiny TOT}}\left(\left\{\bm{W}_{n}\right\}_{n\in\cal N},\bm{Q}\right)} (27a)
s.t. ζm,n0,ηi0,m,n,i\displaystyle\;\zeta_{m,n}\geq 0,\eta_{i}\geq 0,\forall m,n,i (27b)
(17e),(17f),(19),(24) and (26).\displaystyle\;\eqref{eq:15e},\eqref{eq:15f},\eqref{eq:20},\eqref{eq:17}\mbox{ and }\eqref{eq:18}. (27c)
Remark 5

The only challenge in solving the problem (27) is to deal with the non-convex objective function. Since the objective function (27a) is joint convex with respect to the beamforming matrices {𝐖n}n𝒩\{\bm{W}_{n}\}_{n\in\cal N}, AN covariance matrix 𝐐\bm{Q} and auxiliary variables {yi}i\{y_{i}\}_{i\in\cal I} and {ζm,n}m,n𝒩\left\{{{\zeta_{m,n}}}\right\}_{m\in{\cal M},n\in{\cal N}}, we propose a two-stage algorithm to solve the problem (27): 1) solving the problem (27) with given tt; 2) performing a one-dimensional search to obtain the optimal tt^{*}.

Remark 6

The feasible region of problem (27) is a convex hull of the feasible region of problem (20). Hence, the optimal value of (27) serves as the lower bound of the optimal value of (20) with the optimal tt^{*}. Thus, we are motivated to show that the performed SDR in (27) given tt^{*} is tight such that the optimal solution to (27) given tt^{*} is the optimal value of (20).

Due to the power budget constraint in (17e), the strong duality of problem (27) may not hold. Hence, we are motivated to figure out an equivalent form of problem (27), whose strong duality holds. We observe that the power constraint in (17e) and objective function (27a) have a common term n=1NTr(𝑾n)+Tr(𝑸)\sum\nolimits_{n=1}^{N}\mbox{Tr}\left(\bm{W}_{n}\right)+\mbox{Tr}\left(\bm{Q}\right). Dropping the power constraint in (17e) and fixing the value of tt, we solve the problem (27) as

min{𝑾n}n𝒩,𝑸,{ηi}i{ζm,n}m,n𝒩\displaystyle\min\limits_{\scriptstyle{\left\{{\bm{W}_{n}}\right\}_{n\in{\cal N}}},\bm{Q},\{\eta_{i}\}_{i\in\cal I}\hfill\atop\scriptstyle{\left\{{{\zeta_{m,n}}}\right\}_{m\in{\cal M},n\in{\cal N}}}\hfill} n=1NTr(𝑾n)+Tr(𝑸)\displaystyle\;\sum\limits_{n=1}^{N}\mbox{Tr}\left(\bm{W}_{n}\right)+\mbox{Tr}\left(\bm{Q}\right) (28a)
s.t. ζm,n0,ηi0,m,n,i\displaystyle\;\zeta_{m,n}\geq 0,\eta_{i}\geq 0,\forall m,n,i (28b)
(17f),(19),(24) and (26).\displaystyle\;\eqref{eq:15f},\eqref{eq:20},\eqref{eq:17}\mbox{ and }\eqref{eq:18}. (28c)

The benefits of dropping the power constraint in (17e) are three folds: 1) the problem (28) is always feasible; 2) the strong duality of (28) always holds [52]; and 3) the computational complexity of solving (28) is lower than that of (27). Since the problem (27) is feasible if and only if the optimal value of (28) is less than or equal to PmaxP^{\max}, we exploit the monotonicity of objective function (28a) with respect to tt via the Proposition 2.

Proposition 2

Let f(t)=n=1NTr(𝐖nt)+Tr(𝐐t)f\left(t\right)=\sum\nolimits_{n=1}^{N}\mbox{Tr}\left(\bm{W}_{n}^{t}\right)+\mbox{Tr}\left(\bm{Q}^{t}\right) denote the optimal power consumption of (28) given tt where {𝐖nt}n𝒩\left\{\bm{W}_{n}^{t}\right\}_{n\in\cal N} and 𝐐t\bm{Q}^{t} are, respectively, the optimal beamforming matrices and AN covariance matrix to (28) given tt. The optimal power consumption f(t)f\left(t\right) monotonically increases with tt.

Proof:

See Appendix C. ∎

With the Proposition 2, we can claim that there exists only one value of tmaxt^{\max} such that the optimal power consumption f(tmax)=Pmaxf\left(t^{\max}\right)=P^{\max}. The value of tmaxt^{\max} can be obtained via a one-dimensional line search. Now, we investigate the optimality of SDR technique. Hereinafter, we ignore the superscript tt in order to keep the brevity of presentation.

Proposition 3

There exists an optimal solution ({𝐖n}n𝒩,𝐐,{ηi}i,{ζm,n}m,n𝒩)\left(\{\bm{W}_{n}\}_{n\in\cal N},\bm{Q},\{\eta_{i}\}_{i\in\cal I},\{\zeta_{m,n}\}_{{m\in\cal M},{n\in\cal N}}\right) to the problem (28) with the rank of beamforming matrices {𝐖n}n𝒩\{\bm{W}_{n}\}_{n\in\cal N} satisfying

Rank(𝑾n)1,n.\mbox{Rank}\left(\bm{W}_{n}\right)\leq 1,\forall n. (29)
Proof:

See Appendix D. ∎

When the value of tt guarantees f(t)Pmaxf\left(t\right)\leq P^{\max}, the optimal solution to problem (27) is obtained via solving the problem (28) and performing the one-dimensional search for the optimal tt^{*} based on Proposition 3. As a result, we propose Algorithm 1, which is named as SDP empowered two-stage beamforming and artificial jamming (SDP-TsBAJ) algorithm.

Algorithm 1 SDP Empowered Two-Stage Beamforming and Artificial Jamming Algorithm
1: BST initializes t=0t=0, Δt\Delta t and SEE(Δt)=0\mbox{SEE}\left(\Delta t\right)=0 with unit Nats/joule
2: repeat
3:   BST obtains 𝒪𝒫𝒯(t){\cal OPT}\left(t\right) via solving (28)
4:   BST generates the augmented SEE sequence as ASEE(t)=max{SEE(tΔt),tPTOT}\mbox{ASEE}\left(t\right)=\max\{\mbox{SEE}\left(t-\Delta t\right),\frac{t}{P^{\mbox{\tiny TOT}}}\} to store the optimal SEE given tt
5:   tt+Δtt\leftarrow t+\Delta t
6: until n=1NTr(𝑾n)+Tr(𝑸)>Pmax\sum\nolimits_{n=1}^{N}\mbox{Tr}\left(\bm{W}_{n}\right)+\mbox{Tr}\left(\bm{Q}\right)>P^{\max} and/or the sequence ASEE(t)\mbox{ASEE}\left(t\right) converges
7: if The constraints in (19) are inactive then
8:   BST performs the feasibility recovery procedure in (21a)–(21c)
9: end if
10: if Rank(𝑾n)>1\mbox{Rank}\left(\bm{W}_{n}^{*}\right)>1 then
11:   BST performs the rank-one recovery procedure in (53) and (54)
12: end if

We observe that the generated augmented SEE sequence increases monotonically with the number of search points. Since the system SEE is upper bounded due to the maximum transmit power of BST, we conclude that the SDP-TsBAJ algorithm in converges.

IV Low Complexity Suboptimal SEE Maximization

Although the proposed SDP-TsBAJ algorithm can significantly reduce the computational complexity compared with the brand-and-bound algorithm, we observe that the computational complexity of SDP-TsBAJ algorithm increases fast with the number of LUEs. In order to reduce the computational complexity of the SDP-TsBAJ algorithm, we design the beamforming vector based on heuristic beamforming techniques: ZFBF and MRT. Denote the matrices 𝑯\bm{H} and 𝑯n\bm{H}_{-n} as 𝑯=[𝒉1,𝒉2,,𝒉N]\bm{H}=\left[\bm{h}_{1},\bm{h}_{2},\ldots,\bm{h}_{N}\right] and 𝑯n=[𝒉1,,𝒉n1,𝒉n+1,,𝒉N]\bm{H}_{-n}=\left[\bm{h}_{1},\ldots,\bm{h}_{n-1},\bm{h}_{n+1},\ldots,\bm{h}_{N}\right], respectively. To remove the interference of AN, we perform the singular value decomposition to the matrix 𝑯H\bm{H}^{\mbox{\tiny H}} as 𝚽Nt×(NtN)\bm{\Phi}\in\mathbb{C}^{N_{t}\times\left(N_{t}-N\right)} with 𝚽H𝚽=𝑰NtN\bm{\Phi}^{\mbox{\tiny H}}\bm{\Phi}=\bm{I}_{N_{t}-N} and construct the AN covariance matrix as

𝑸=𝚽𝑸¯𝚽H\bm{Q}=\bm{\Phi}\overline{\bm{Q}}\bm{\Phi}^{\mbox{\tiny H}} (30)

where the matrix 𝑸¯(NtN)×(NtN)\overline{\bm{Q}}\in\mathbb{C}^{(N_{t}-N)\times(N_{t}-N)}.

Similarly, we apply the ZFBF technique to the beamforming vectors of LUEs as

𝒘n=𝚵n𝒘¯n,n\bm{w}_{n}=\bm{\Xi}_{n}\overline{\bm{w}}_{n},\forall n (31)

where the matrix 𝚵nNt×(NtN+1)\bm{\Xi}_{n}\in\mathbb{C}^{N_{t}\times(N_{t}-N+1)} is obtained via singular value decomposition of the matrix 𝑯nH\bm{H}_{-n}^{\mbox{\tiny H}} with 𝚵nH𝚵n=𝑰NtN+1\bm{\Xi}_{n}^{\mbox{\tiny H}}\bm{\Xi}_{n}=\bm{I}_{N_{t}-N+1}. Here, each entry of 𝒘¯n(NtN+1)×1\overline{\bm{w}}_{n}\in\mathbb{C}^{\left(N_{t}-N+1\right)\times 1} is a complex weight to each column vector of 𝚵n\bm{\Xi}_{n}.

Substituting (30) and (31) into the problem (28), we obtain a simplified problem as

min{𝑾¯n}n𝒩,𝑸¯,{ηi}i{ζm,n}m,n𝒩\displaystyle\mathop{\min}\limits_{\scriptstyle{\{\overline{\bm{W}}_{n}\}_{n\in{\cal N}},\overline{\bm{Q}},\{\eta_{i}\}_{i\in\cal I}}\hfill\atop\scriptstyle{\left\{{{\zeta_{m,n}}}\right\}_{m\in{\cal M},n\in{\cal N}}}\hfill} n=1NTr(𝑾¯n)+Tr(𝑸¯)\displaystyle\;\sum\limits_{n=1}^{N}\mbox{Tr}\left(\overline{\bm{W}}_{n}\right)+\mbox{Tr}\left(\overline{\bm{Q}}\right) (32a)
s.t. ζm,n0,𝑾¯n𝟎,m,n\displaystyle\;\zeta_{m,n}\geq 0,\overline{\bm{W}}_{n}\succeq\bm{0},\forall m,n (32b)
ηi0,𝑸¯𝟎,i\displaystyle\;\eta_{i}\geq 0,\overline{\bm{Q}}\succeq\bm{0},\forall i (32c)
𝚽m,n(𝑿¯n,ζm,n)𝟎,m,n\displaystyle\;\bm{\Phi}_{m,n}\left(\overline{\bm{X}}_{n},\zeta_{m,n}\right)\succeq\bm{0},\forall m,n (32d)
𝚿i(𝒀¯,ηi)𝟎,i\displaystyle\;\bm{\Psi}_{i}\left(\overline{\bm{Y}},\eta_{i}\right)\succeq\bm{0},\forall i (32e)
Tr(𝚵nH𝑯n𝚵n𝑾¯n)\displaystyle\;\mbox{Tr}\left(\bm{\Xi}_{n}^{\mbox{\tiny H}}\bm{H}_{n}\bm{\Xi}_{n}\overline{\bm{W}}_{n}\right)
=θn(t)σu,n2,n\displaystyle\;\hskip 51.21504pt=\theta_{n}\left(t\right)\sigma_{u,n}^{2},\forall n (32f)

where the matrices 𝑿¯n\overline{\bm{X}}_{n} and 𝒀¯\overline{\bm{Y}} are, respectively, denoted as

𝑿¯n=11exp(R~e,mnREQ)𝚵n𝑾¯n𝚵nHk=1N𝚵k𝑾¯k𝚵kH𝚽𝑸¯𝚽H,n\overline{\bm{X}}_{n}=\frac{1}{1-\exp\left(-\widetilde{R}^{\mbox{\tiny REQ}}_{e,m\rightarrow n}\right)}\bm{\Xi}_{n}\overline{\bm{W}}_{n}\bm{\Xi}_{n}^{\mbox{\tiny H}}\\ -\sum\limits_{k=1}^{N}\bm{\Xi}_{k}\overline{\bm{W}}_{k}\bm{\Xi}_{k}^{\mbox{\tiny H}}-\bm{\Phi}\overline{\bm{Q}}\bm{\Phi}^{\mbox{\tiny H}},\forall n (33)

and

𝒀¯=n=1N𝚵n𝑾¯n𝚵nH+𝚽𝑸¯𝚽H\overline{\bm{Y}}=\sum\limits_{n=1}^{N}\bm{\Xi}_{n}\overline{\bm{W}}_{n}\bm{\Xi}_{n}^{\mbox{\tiny H}}+\bm{\Phi}\overline{\bm{Q}}\bm{\Phi}^{\mbox{\tiny H}} (34)

with 𝑾¯n=𝒘¯n𝒘¯nH\overline{\bm{W}}_{n}=\overline{\bm{w}}_{n}\overline{\bm{w}}_{n}^{\mbox{\tiny H}}.

The optimization problem (32) is convex and solvable in CVX. The rank-one constraints for the matrices 𝑾¯n\overline{\bm{W}}_{n} can be recovered following the procedure in [48]. Instead of solving (28), the proposed ZFBF-TsBAJ algorithm solves (32) at the third step of the SDP-TsBAJ algorithm.

In order to obtain the beamforming vector 𝒘n\bm{w}_{n} in ZFBF-TsBAJ algorithm, we still need to calculate a complex weight vector 𝒘¯n\overline{\bm{w}}_{n}. Thus, we leverage the MRT technique to reduce number of variables such that computational complexity of ZFBF-TsBAJ algorithm is further reduced. Performing the MRT technique to the nn-th ZFBF vector by setting 𝒘n=𝒉n\bm{w}_{n}=\bm{h}_{n}, we obtain 𝒘¯n=𝚵nH𝒉n\overline{\bm{w}}_{n}=\bm{\Xi}_{n}^{\mbox{\tiny H}}\bm{h}_{n}. Hence, the nn-th MRT-ZFBF beamforming vector is given as

𝒘n=pn𝚵n𝚵nH𝒉n𝚵nH𝒉nF,n\bm{w}_{n}=\sqrt{p_{n}}\frac{\bm{\Xi}_{n}\bm{\Xi}_{n}^{\mbox{\tiny H}}\bm{h}_{n}}{\left\|\bm{\Xi}_{n}^{\mbox{\tiny H}}\bm{h}_{n}\right\|_{\mbox{\tiny F}}},\forall n (35)

where pnp_{n} is the transmit power for the nn-th BST-LUE link.

Substituting (30) and (35) into (19), we obtain the closed-form transmit power for the nn-th BST-LUE link as

pn=θn(t)σu,n2𝚵nH𝒉nF2,np_{n}=\frac{\theta_{n}\left(t\right)\sigma_{u,n}^{2}}{\left\|\bm{\Xi}_{n}^{\mbox{\tiny H}}\bm{h}_{n}\right\|_{\mbox{\tiny F}}^{2}},\forall n (36)

with given tt.

Substituting (30) and (35) into problem (28), we obtain a downgraded problem as

min𝑸¯,{ηi}i{ζm,n}m,n𝒩\displaystyle\min\limits_{\scriptstyle{\overline{\bm{Q}},\{\eta_{i}\}_{i\in\cal I}}\hfill\atop\scriptstyle{\left\{{{\zeta_{m,n}}}\right\}_{m\in{\cal M},n\in{\cal N}}}} Tr(𝑸¯)\displaystyle\;\mbox{Tr}\left(\overline{\bm{Q}}\right) (37a)
s.t. ζm,n0,𝑸¯𝟎,m,n\displaystyle\;\zeta_{m,n}\geq 0,\overline{\bm{Q}}\succeq\bm{0},\forall m,n (37b)
ηi0,i\displaystyle\;\eta_{i}\geq 0,\forall i (37c)
𝚽m,n(𝑿^n,ζm,n)𝟎,m,n\displaystyle\;\bm{\Phi}_{m,n}\left(\widehat{\bm{X}}_{n},\zeta_{m,n}\right)\succeq\bm{0},\forall m,n (37d)
𝚿i(𝒀^,ηi)𝟎,i\displaystyle\;\bm{\Psi}_{i}\left(\widehat{\bm{Y}},\eta_{i}\right)\succeq\bm{0},\forall i (37e)

where

𝑿^n=pn1exp(R~e,mnREQ)𝚵n𝚵nH𝑯n𝚵n𝚵nH𝚵nH𝒉nF2k=1Npk𝚵k𝚵kH𝑯k𝚵k𝚵kH𝚵kH𝒉kF2𝚽𝑸¯𝚽H,n\widehat{\bm{X}}_{n}=\frac{p_{n}}{1-\exp\left(-\widetilde{R}^{\mbox{\tiny REQ}}_{e,m\rightarrow n}\right)}\frac{\bm{\Xi}_{n}\bm{\Xi}_{n}^{\mbox{\tiny H}}\bm{H}_{n}\bm{\Xi}_{n}\bm{\Xi}_{n}^{\mbox{\tiny H}}}{\left\|\bm{\Xi}_{n}^{\mbox{\tiny H}}\bm{h}_{n}\right\|_{\mbox{\tiny F}}^{2}}\\ -\sum\limits_{k=1}^{N}p_{k}\frac{\bm{\Xi}_{k}\bm{\Xi}_{k}^{\mbox{\tiny H}}\bm{H}_{k}\bm{\Xi}_{k}\bm{\Xi}_{k}^{\mbox{\tiny H}}}{\left\|\bm{\Xi}_{k}^{\mbox{\tiny H}}\bm{h}_{k}\right\|_{\mbox{\tiny F}}^{2}}-\bm{\Phi}\overline{\bm{Q}}\bm{\Phi}^{\mbox{\tiny H}},\forall n (38)

and

𝒀^=n=1Npn𝚵n𝚵nH𝑯n𝚵n𝚵nH𝚵nH𝒉nF2𝚽𝑸¯𝚽H.\widehat{\bm{Y}}=\sum\limits_{n=1}^{N}p_{n}\frac{\bm{\Xi}_{n}\bm{\Xi}_{n}^{\mbox{\tiny H}}\bm{H}_{n}\bm{\Xi}_{n}\bm{\Xi}_{n}^{\mbox{\tiny H}}}{\left\|\bm{\Xi}_{n}^{\mbox{\tiny H}}\bm{h}_{n}\right\|_{\mbox{\tiny F}}^{2}}-\bm{\Phi}\overline{\bm{Q}}\bm{\Phi}^{\mbox{\tiny H}}. (39)

Solving the optimization problem (37) in the third step of the SDP-TsBAJ algorithm, we obtain the MRT-ZFBF-TsBAJ algorithm.

Complexity Comparison: The optimization problem (28) has N+1N+1 matrix variables and MN+IMN+I real variables, and each matrix variable is of size Nt×NtN_{t}\times N_{t}. Therefore, the number of decision variables of the SDP-TsBAJ algorithm is at the order of n2=(N+1)Nt2+MN+In_{2}=\left(N+1\right)N_{t}^{2}+MN+I. Moreover, the feasible region of problem (28) contains N+1N+1 positive-semidefinite constraints with size Nt×NtN_{t}\times N_{t}, MN+IMN+I positive-semidefinite constraints with size (Nt+1)×(Nt+1)\left(N_{t}+1\right)\times\left(N_{t}+1\right) and MN+I+NMN+I+N linear constraints. Hence, the number of iterations is at order of n1=logϵ1(N+1)Nt+(MN+I)(Nt+2)+Nn_{1}=\log\epsilon^{-1}\sqrt{\left(N+1\right)N_{t}+\left(MN+I\right)\left(N_{t}+2\right)+N}. The overall computational complexity is calculated as 𝒪(n1(n2m1+n22m2+n23))\mathcal{O}\left(n_{1}\left(n_{2}m_{1}+n_{2}^{2}m_{2}+n_{2}^{3}\right)\right), where m1=(N+1)Nt3+(MN+I)(Nt+1)3+MN+I+Nm_{1}=\left(N+1\right)N_{t}^{3}+\left(MN+I\right)\left(N_{t}+1\right)^{3}+MN+I+N and m2=(N+1)Nt2+(MN+I)(Nt+1)2+MN+I+Nm_{2}=\left(N+1\right)N_{t}^{2}+\left(MN+I\right)\left(N_{t}+1\right)^{2}+MN+I+N. Here, the operator 𝒪\cal O is the worst case computation bound [53]. Following the similar procedure, we summarize the computational complexities of the proposed SDP-TsBAJ, ZFBF-TsBAJ and MRT-ZFBF-TsBAJ in Table I with TT as the number of one-dimensional search.

TABLE I: Computational Complexity, 𝒪(Tn1(n2m1+n22m2+n23))\mathcal{O}\left(Tn_{1}\left(n_{2}m_{1}+n_{2}^{2}m_{2}+n_{2}^{3}\right)\right)
Algorithms Complexity Calculation
SDP-TsBAJ n1=log1ϵ(N+1)Nt+(MN+I)(Nt+2)+Nn_{1}=\log\frac{1}{\epsilon}\sqrt{\left(N+1\right)N_{t}+\left(MN+I\right)\left(N_{t}+2\right)+N}
n2=(N+1)Nt2+MN+In_{2}=\left(N+1\right)N_{t}^{2}+MN+I
m1=(N+1)Nt3+(MN+I)(Nt+1)3+MN+I+Nm_{1}=\left(N+1\right)N_{t}^{3}+\left(MN+I\right)\left(N_{t}+1\right)^{3}+MN+I+N
m2=(N+1)Nt2+(MN+I)(Nt+2)2+MN+I+Nm_{2}=\left(N+1\right)N_{t}^{2}+\left(MN+I\right)\left(N_{t}+2\right)^{2}+MN+I+N
ZFBF-TsBAJ n1=log1ϵN(NtN+1)+Nt+(MN+I)(Nt+2)n_{1}=\log\frac{1}{\epsilon}\sqrt{N\left(N_{t}-N+1\right)+N_{t}+\left(MN+I\right)\left(N_{t}+2\right)}
n2=N(NtN+1)2+(NtN)2+MN+In_{2}=N\left(N_{t}-N+1\right)^{2}+\left(N_{t}-N\right)^{2}+MN+I
m1=N(NtN+1)3+(NtN)3+(MN+I)(Nt+1)3+MN+I+Nm_{1}=N\left(N_{t}-N+1\right)^{3}+\left(N_{t}-N\right)^{3}+\left(MN+I\right)\left(N_{t}+1\right)^{3}+MN+I+N
m2=N(NtN+1)2+(NtN)2+(MN+I)(Nt+1)2+MN+I+Nm_{2}=N\left(N_{t}-N+1\right)^{2}+\left(N_{t}-N\right)^{2}+\left(MN+I\right)\left(N_{t}+1\right)^{2}+MN+I+N
MRT-ZFBF-TsBAJ n1=log1ϵNt+(MN+I)(Nt+2)n_{1}=\log\frac{1}{\epsilon}\sqrt{N_{t}+\left(MN+I\right)\left(N_{t}+2\right)}
n2=(NtN)2+MN+In_{2}=\left(N_{t}-N\right)^{2}+MN+I
m1=(NtN)3+(MN+I)(Nt+1)3+MN+Im_{1}=\left(N_{t}-N\right)^{3}+\left(MN+I\right)\left(N_{t}+1\right)^{3}+MN+I
m2=(NtN)2+(MN+I)(Nt+1)2+MN+Im_{2}=\left(N_{t}-N\right)^{2}+\left(MN+I\right)\left(N_{t}+1\right)^{2}+MN+I

We observe that the computational complexity of the proposed SDP-TsBAJ, ZFBF-TsBAJ and MRT-ZFBF-TsBAJ algorithms scale linearly with the number of one-dimensional search points. The SDP-TsBAJ algorithm has the highest computational complexity among the three proposed algorithms. Then, the computational complexity is followed by the proposed ZFBF-TsBAJ algorithm. The computational complexity of the MRT-ZFBF-TsBAJ algorithm is the lowest.

V Numerical Results

In this section, we present simulation results to demonstrate the performances of the proposed algorithms. The parameters Ωu,n\Omega_{u,n}, Ωe,m\Omega_{e,m} and Ωh,i\Omega_{h,i} follow the setup of indoor channels as 17.3+24.9log10fc+38.3log10d17.3+24.9\log_{10}f_{c}+38.3\log_{10}d dB, where fcf_{c} and dd are respectively the carrier frequency and link distance [47]. The values of Θe,m2\Theta^{2}_{e,m} and Θh,i2\Theta^{2}_{h,i} are set as 0.05Ωe,m0.05\Omega_{e,m} and 0.05Ωh,i0.05\Omega_{h,i}, respectively. Unless otherwise specified, the simulation parameters are set in Table II.

TABLE II: Simulation Parameters Setting
Parameters Symbols Values
Carrier frequency and system bandwidth fcf_{c}, ℬ𝒲{\cal BW} 900 MHz, 200 KHz
Number of LUEs, EVEs and EHNs NN, MM, II 3, 2, 2
Number of antennas at BST NtN_{t} 7
Power of AWGN σn,u2\sigma_{n,u}^{2}, σe,m2\sigma_{e,m}^{2}, σh,i2\sigma_{h,i}^{2} -30 dBm
Maximum Tx power of BS PmaxP^{\max} 43 dBm
Required harvested power of the ii-th EHN Ph,iREQP_{h,i}^{\mbox{\tiny REQ}} -5 dBm
Energy conversion efficiency of the ii-th EHN ξh,i\xi_{h,i} 0.8
Rate of auxiliary information of the nn-th LUE Re,nREQR^{\mbox{\tiny REQ}}_{e,n} 100 Knats/sec
Secrecy rate ratios φ1,φ2,φ3\varphi_{1},\varphi_{2},\varphi_{3} 0.4, 0.3, 0.3
Amplifier efficiency ϕ\phi 0.8
Distances of EVEs and EHNs to BST de,md_{e,m} and dh,id_{h,i} 8 m and 6 m
Distances of LUEs, EVEs and EHNs to BST du,nd_{u,n} 16 m, 19 m and 22 m
Fig. 2: The convergence of augmented SEE sequence.
Fig. 3: System SEE varies with sum secrecy rate.

Figure 3 shows the convergence behavior of the augmented SEE sequence for the proposed SDP-TsBAJ, ZFBF-TsBAJ and MRT-ZFBF-TsBAJ algorithms in a single channel implementation. Since the augmented SEE sequence contains the optimal SEE with unit Knats/joule given the sum secrecy rate tt, we observe that the proposed algorithms converge after at most 1010 searching attempts. From Fig. 3, we also observe that the system SEE increases first and starts to decrease after reaching the peak system SEE. Therefore, we conclude that the proposed one-dimensional search is effective in solving the formulated SEE maximization problem.

Fig. 4: The variation of Jain’s fairness index and system SEE with ratio of secrecy rate of the 11-st LUE in the two-LUE case.

Figure 4 shows the variation of the Jain’s fairness index and the system SEE with the secrecy-rate ratio of the first LUE in the two-LUE case. Here, the Jain’s fairness index is obtained as

Jain’s Index=(2n=12φn2)1\mbox{Jain's Index}=\left({2\sum\limits_{n=1}^{2}\varphi_{n}^{2}}\right)^{-1} (40)

with n=12φn=1\sum\nolimits_{n=1}^{2}\varphi_{n}=1. The value of Jain’s fairness index takes value within the region [0.5,1]\left[0.5,1\right] in the two-LUE case. A larger value of Jain’s fairness index indicates that the LUEs are more satisfied in the MISOME-SWIPT system.

In the two-LUE case, the distances of the first and second LUE to the BST are, respectively, set as 1616 m and 1919 m. Hence, the first LUE is referred to as strong LUE, and the second LUE is weak LUE due to the larger pathloss compared with the first LUE. We observe that increasing the secrecy-rate ratio φ1\varphi_{1} induces the enhancement of both system SEE and Jain’s fairness index when φ10.5\varphi_{1}\leq 0.5. This is due to the fact that enhancing the secrecy rate of the strong LUE reduces the secrecy-rate gap between the weak LUE and the strong LUE. Moreover, it is easier to increase the secrecy rate of the strong LUE due to its smaller pathloss compared with that of the weak LUE. When the value of φ1\varphi_{1} exceeds 0.50.5, the secrecy-rate gap between the strong LUE and the weak LUE increases. Therefore, the value of Jain’s fairness index reduces, and the satisfactory level of LUEs decreases. However, we observe that the system SEE increases with the value of φ1\varphi_{1} when φ1[0.5,0.6]\varphi_{1}\in\left[0.5,0.6\right]. After reaching the peak value with φ1=0.6\varphi_{1}=0.6, the system SEE decreases. This observation is due to the fact that an increased value of secrecy-rate ratio reduces the flexibility in suppressing the EVEs and powering the EHNs. Therefore, we conclude that the system SEE and fairness can be balanced with a proper value of φ1[0.5,0.6]\varphi_{1}\in\left[0.5,0.6\right].

Fig. 5: The variation of outage probability with maximum transmit power of BST.

Figure 5 shows that the outage probability of MISOME-SWIPT system varies with the maximum transmit power of BST. Here, the outage event of the MISOME-SWIPT system is defined as the minimum harvested energy is below the activation threshold of energy harvesters of EHNs. The proposed ZFBF-TsBAJ and MRT-ZFBF-TsBAJ algorithms share the same outage probability since both ZFBF-TsBAJ and MRT-ZFBF-TsBAJ algorithms share the same feasible region. We observe that the outage probability of MISOME-SWIPT system monotonically decreases with the maximum transmit power of BST. Moreover, the outage probability approaches zero and the energy harvesters of EHNs are activated with high probability when the maximum transmit power of BST exceeds 4343 dBm.

In order to demonstrate the effectiveness of the proposed algorithms, we consider another set of baseline schemes in the remaining simulations, where the BST solves the SRM problem with PSR constraints. Hereinafter, we name the considered baselines as SRM-SDP, SRM-ZFBF and SRM-MRT-ZFBF algorithms. In addition, when Nt=7N_{t}=7, N=3N=3, M=2M=2 and I=2I=2, the number of arithmetical manipulations for SDP-TsBAJ, ZFBF-TsBAJ and MRT-ZFBF-TsBAJ algorithms are, respectively, 1.1678×1091.1678\times 10^{9}, 7.9845×1087.9845\times 10^{8} and 6.2297×1076.2297\times 10^{7}. We observe that the computational complexities of ZFBF-TsBAJ and MRT-ZFBF-TsBAJ algorithms are only 68.37% and 5.33% of that of SDP-TsBAJ algorithms.

Fig. 6: System SEE v.s. rate of auxiliary information.
Fig. 7: Relative gap v.s. rate of auxiliary information.

Figure 7 shows that the system SEE varies with the rate of auxiliary information, and Fig. 7 shows the relative gaps between the SDP-TsBAJ algorithm with two suboptimal algorithms (ZFBF-TsBAJ and MRT-ZFBF-TsBAJ algorithms) and three baseline algorithms (SRM-SDP, SRM-ZFBF and SRM-MRT-ZFBF algorithms). Here, the relative gap is obtained as

Relative Gap=SEESDPTsBAJSEEπSEESDPTsBAJ\mbox{Relative Gap}=\frac{\mbox{SEE}_{\rm SDP-TsBAJ}-\mbox{SEE}_{\pi}}{\mbox{SEE}_{\rm SDP-TsBAJ}} (41)

where π\pi can be ZFBF-TsBAJ, MRT-ZFBF-TsBAJ, SRM-SDP, SRM-ZFBF and SRM-MRT-ZFBF algorithms.

We observe that the system SEE increases monotonically with the rate of auxiliary information. After reaching the peak, the system SEE starts to decreases with the rate of auxiliary information. This observation can be explained as follows: 1) a smaller rate of auxiliary information (30\leq 30 Knats/sec for SDP-TsBAJ, 50\leq 50 Knats/sec for ZFBF-TsBAJ and 90\leq 90 Knats/sec for MRT-ZFBF-TsBAJ) restricts the flexibility in enhancing the sum secrecy rate; and 2) larger rate of auxiliary information (>30>30 Knats/sec for SDP-TsBAJ, >50>50 Knats/sec for ZFBF-TsBAJ and >90>90 Knats/sec for MRT-ZFBF-TsBAJ) sacrifices the rate of main information. Therefore, we conclude that there exists an optimal rate of auxiliary information (ORAI). For example, the ORAI for SDP based algorithms (SDP-TsBAJ and SRM-SDP algorithms) is around 3030 Knats/sec as shown in Fig. 7. The ORAIs for the ZFBF based algorithms (ZFBF-TsBAJ and SRM-ZFBF algorithms) and MRT-ZFBF based algorithms (MRT-ZFBF-TsBAJ and SRM-MRT-ZFBF algorithms) are 5050 Knats/sec and 9090 Knats/sec as shown in Fig. 7.

From Fig. 7, we observe that the SEE performance of ZFBF-TsBAJ and MRT-ZFBF-TsBAJ algorithms approaches that of the SDP-TsBAJ algorithm when the rate of auxiliary information increases. Moreover, the relative gap between the SDP-TsBAJ and MRT-ZFBF-TsBAJ decreases rapidly with the rate of auxiliary information (less than 30% when Re,nREQ=110R^{\mbox{\tiny REQ}}_{e,n}=110 Knats/sec). Hence, the MRT-ZFBF-TsBAJ algorithm is also a feasible solution since the computational complexity of MRT-ZFBF-TsBAJ algorithm is 5% of the SDP-TsBAJ algorithm.

Fig. 8: The variation of the system SEE with requirement of harvested energy.

Figure 8 shows the variation of system SEE with minimum harvested energy. We observe that the system SEE decreases with minimum harvested energy for the SDP-TsBAJ, ZFBF-TsBAJ algorithm and MRT-ZFBF-TsBAJ algorithms as well as three baseline algorithms. This is a result of two facts: 1) a higher RF-EH demand leads to a higher power consumption at BST; and 2) the system secrecy rate becomes smaller with the higher RF-EH demand. From Fig. 8, we also observe that performance gap between SDP-TsBAJ and SRM-SDP diminishes with the increase in minimum harvested energy. This is due to the fact that a higher RF-EH demand consumes more power on the energy delivery to EHNs such that the probability of BST draining its power budget becomes higher. Therefore, the SEE maximization problem is reduced to the SRM maximization problem when the minimum harvested energy increases.

VI Conclusion

We developed the TsBAJ framework for the SEE maximization via the joint design of beamforming vector and AN covariance matrix in the MISOME-SWIPT systems, where the CSI of EVEs and EHNs is imperfect. We considered the PSR constraints to guarantee the fairness among LUEs. Due to the non-convexity in the PSR constraints and SEE function as well as the infinite amount of RF-EH constraints and information-leakage constraints, we exploited the structure of formulated problem to propose efficient algorithms. Leveraging the SDR technique and one-dimensional search, we obtained the optimal solution within the TsBAJ framework. Moreover, we also developed two suboptimal solutions based on the heuristic beamforming techniques: ZFBF and MRT. Simulation results show that the system SEE of proposed SDP-TsBAJ algorithm outperforms the benchmarks, and the introduced PSR constraints can be used to strike the balance between the fairness and system SEE. Moreover, simulation results also demonstrate that the ZFBF-TsBAJ algorithm can approach the performance of SDP-TsBAJ algorithm when the rate of auxiliary information is large.

Appendix A Proof of Proposition 1

Suppose ({𝑾n}n𝒩,𝑸,t)\left(\left\{{\bm{W}_{n}^{*}}\right\}_{n\in{\cal N}},\bm{Q}^{*},t^{*}\right) is a solution to the problem (20) such that the inequalities in (18) and (19) are inactive. Therefore, we can find a set of scale factors {yn}n𝒩\{y_{n}\}_{n\in\cal N} with yn[0,1]y_{n}\in\left[0,1\right].

Scaling the beamforming matrices {𝑾n}n𝒩\{\bm{W}_{n}^{*}\}_{n\in\cal N} via the scale factors {yn}n𝒩\{y_{n}\}_{n\in\cal N}, we can construct another set of beamforming matrices {𝑾^n}n𝒩\{\widehat{\bm{W}}_{n}^{*}\}_{n\in\cal N} and AN covariance matrix 𝑸^\widehat{\bm{Q}}^{*} as

𝑾^n\displaystyle\widehat{\bm{W}}_{n}^{*} =yn𝑾n𝟎,n\displaystyle=y_{n}\bm{W}_{n}^{*}\succeq\bm{0},\forall n (42a)
𝑸^\displaystyle\widehat{\bm{Q}}^{*} =𝑸+n=1N(1yn)𝑾n𝟎\displaystyle={\bm{Q}}^{*}+\sum\limits_{n=1}^{N}\left(1-y_{n}\right)\bm{W}_{n}^{*}\succeq\bm{0} (42b)

such that the inequalities in (18) and (19) are active.

Substituting (42a) and (42b) into the inequalities in (19), we obtain the value of yny_{n} as

yn=θn(t)1+θn(t)Tr(𝑯n(n=1N𝑾n+𝑸))+σu,n2Tr(𝑯n𝑾n)y_{n}=\frac{\theta_{n}\left(t^{*}\right)}{1+\theta_{n}\left(t^{*}\right)}\frac{\mbox{Tr}\left(\bm{H}_{n}\left(\sum\limits_{n=1}^{N}\bm{W}_{n}^{*}+\bm{Q}^{*}\right)\right)+\sigma_{u,n}^{2}}{\mbox{Tr}\left(\bm{H}_{n}\bm{W}_{n}^{*}\right)} (43)

such that the inequalities in (19) become active. Since the equalities in (19) hold, the inequality in (18) is active. Moreover, we observe that the constructed beamforming matrices {𝑾^n}n𝒩\{\widehat{\bm{W}}_{n}^{*}\}_{n\in\cal N} and AN covariance matrix 𝑸^\widehat{\bm{Q}}^{*} also satisfy the constraints in (17c)-(17g) and (19). Hence, we conclude that the constructed optimal solution ({𝑾^n}n𝒩,𝑸^,t)(\{\widehat{\bm{W}}_{n}^{*}\}_{n\in{\cal N}},\widehat{\bm{Q}}^{*},t^{*}) to problem (20) guarantees that the inequalities in (18) and (19) are active.

Appendix B Proof of Equivalence Between (17) and (20)

Assuming that ({𝑾n}n𝒩,𝑸)\left(\{\bm{W}_{n}^{*}\}_{n\in{\cal N}},\bm{Q}^{*}\right) is an optimal solution to (17), we can construct an optimal solution to problem (20) by letting t=n=1NRu,nSEC({𝑾n}n𝒩,𝑸)t^{*}=\sum\nolimits_{n=1}^{N}R_{u,n}^{\mbox{\tiny SEC}}\left(\{\bm{W}_{n}^{*}\}_{n\in{\cal N}},\bm{Q}^{*}\right). Substituting ({𝑾n}n𝒩,𝑸,t)\left(\{\bm{W}_{n}^{*}\}_{n\in{\cal N}},\bm{Q}^{*},t^{*}\right) into problem (20), we can verify that the constraints in (20b) are satisfied, and the objective value of problem (17) is also equal to that of problem (20). Hence, we conclude that ({𝑾n}n𝒩,𝑸,t)\left(\{\bm{W}_{n}^{*}\}_{n\in{\cal N}},\bm{Q}^{*},t^{*}\right) is an optimal solution to problem (20). When ({𝑾n}n𝒩,𝑸,t)\left(\{\bm{W}_{n}^{*}\}_{n\in{\cal N}},\bm{Q}^{*},t^{*}\right) is an optimal solution to (20), we consider two cases as follows:

  • if ({𝑾n}n𝒩,𝑸,t)\left(\{\bm{W}_{n}^{*}\}_{n\in{\cal N}},\bm{Q}^{*},t^{*}\right) can guarantee the activeness of (18) and (19), ({𝑾n}n𝒩,𝑸)\left(\{\bm{W}_{n}^{*}\}_{n\in{\cal N}},\bm{Q}^{*}\right) is an optimal solution to (17).

  • if ({𝑾n}n𝒩,𝑸,t)\left(\{\bm{W}_{n}^{*}\}_{n\in{\cal N}},\bm{Q}^{*},t^{*}\right) cannot guarantee the activeness of (18) and (19), we can construct another optimal solution to (20), ({𝑾^n}n𝒩,𝑸^,t)(\{\widehat{\bm{W}}_{n}^{*}\}_{n\in{\cal N}},\widehat{\bm{Q}}^{*},t^{*}), as in (21) such that the inequalities in (18) and (19) are active.

Substituting ({𝑾^n}n𝒩,𝑸^)(\{\widehat{\bm{W}}_{n}^{*}\}_{n\in{\cal N}},\widehat{\bm{Q}}^{*}) into (17), the constraints in (17b)–(17g) are satisfied and the optimal value of (17a) is equal to that of the optimal value of (20a).

Hence, we obtain the equivalence between the problems (17) and (20).

𝒪𝒫𝒯(t1)=\displaystyle{\cal OPT}\left(t_{1}\right)= L(t2,{𝑾nt2,αnt2}n𝒩,𝑸t2,{ηit2,𝚪it2}i,{ζm,nt2,𝚲m,nt2}m,n𝒩)\displaystyle L\left({t_{2}},\{\bm{W}_{n}^{t_{2}},\alpha_{n}^{t_{2}}\}_{n\in\cal N},\bm{Q}^{t_{2}},\{\eta_{i}^{t_{2}},\bm{\Gamma}_{i}^{t_{2}}\}_{i\in\cal I},\{\zeta_{m,n}^{t_{2}},\bm{\Lambda}_{m,n}^{t_{2}}\}_{{m\in\cal M},{n\in\cal N}}\right) (44)
(a)\displaystyle{\mathop{\geq}\limits^{(a)}} L(t2,{𝑾nt2,αnt1}n𝒩,𝑸t2,{ηit2,𝚪it1}i,{ζm,nt2,𝚲m,nt1}m,n𝒩)\displaystyle L\left({t_{2}},\{\bm{W}_{n}^{t_{2}},\alpha_{n}^{t_{1}}\}_{n\in\cal N},\bm{Q}^{t_{2}},\{\eta_{i}^{t_{2}},\bm{\Gamma}_{i}^{t_{1}}\}_{i\in\cal I},\{\zeta_{m,n}^{t_{2}},\bm{\Lambda}_{m,n}^{t_{1}}\}_{{m\in\cal M},{n\in\cal N}}\right)
(b)\displaystyle{\mathop{\geq}\limits^{(b)}} L(t1,{𝑾nt2,αnt1}n𝒩,𝑸t2,{ηit2,𝚪it1}i,{ζm,nt2,𝚲m,nt1}m,n𝒩)\displaystyle L\left({t_{1}},\{\bm{W}_{n}^{t_{2}},\alpha_{n}^{t_{1}}\}_{n\in\cal N},\bm{Q}^{t_{2}},\{\eta_{i}^{t_{2}},\bm{\Gamma}_{i}^{t_{1}}\}_{i\in\cal I},\{\zeta_{m,n}^{t_{2}},\bm{\Lambda}_{m,n}^{t_{1}}\}_{{m\in\cal M},{n\in\cal N}}\right)
(c)\displaystyle{\mathop{\geq}\limits^{(c)}} L(t1,{𝑾nt1,αnt1}n𝒩,𝑸t1,{ηit1,𝚪it1}i,{ζm,nt1,𝚲m,nt1}m,n𝒩)=𝒪𝒫𝒯(t1)\displaystyle L\left({t_{1}},\{\bm{W}_{n}^{t_{1}},\alpha_{n}^{t_{1}}\}_{n\in\cal N},\bm{Q}^{t_{1}},\{\eta_{i}^{t_{1}},\bm{\Gamma}_{i}^{t_{1}}\}_{i\in\cal I},\{\zeta_{m,n}^{t_{1}},\bm{\Lambda}_{m,n}^{t_{1}}\}_{{m\in\cal M},{n\in\cal N}}\right)={\cal OPT}\left(t_{1}\right)
{αnt2}n𝒩,{𝚪it2}i and {𝚲m,nt2}m,n𝒩\displaystyle\{\alpha_{n}^{t_{2}}\}_{n\in\cal N},\{\bm{\Gamma}_{i}^{t_{2}}\}_{i\in\cal I}\mbox{ and }\{\bm{\Lambda}_{m,n}^{t_{2}}\}_{{m\in\cal M},{n\in\cal N}} (45)
=\displaystyle= argmax{αn}n𝒩,{𝚪i}i,{𝚲m,n}m,n𝒩L(t2,{𝑾nt2,αn}n𝒩,𝑸t2,{yit2,𝚪i}i,{ζm,nt2,𝚲m,n}m,n𝒩)\displaystyle\mathop{\rm argmax}\limits_{\scriptstyle\{\alpha_{n}\}_{n\in\cal N},\{\bm{\Gamma}_{i}\}_{i\in\cal I},\hfill\atop\scriptstyle\{\bm{\Lambda}_{m,n}\}_{{m\in\cal M},{n\in\cal N}}}L\left({t_{2}},\{\bm{W}_{n}^{t_{2}},\alpha_{n}\}_{n\in\cal N},\bm{Q}^{t_{2}},\{y_{i}^{t_{2}},\bm{\Gamma}_{i}\}_{i\in\cal I},\{\zeta_{m,n}^{t_{2}},\bm{\Lambda}_{m,n}\}_{{m\in\cal M},{n\in\cal N}}\right)
{𝑾nt1}n𝒩,𝑸t1,{ηit1}i and {ζm,n}m,n𝒩\displaystyle\{\bm{W}_{n}^{t_{1}}\}_{n\in\cal N},\bm{Q}^{t_{1}},\{\eta_{i}^{t_{1}}\}_{i\in\cal I}\mbox{ and }\{\zeta_{m,n}\}_{{m\in\cal M},{n\in\cal N}} (46)
=\displaystyle= argmin{𝑾n}n𝒩,𝑸,{ηi}i{ζm,n}m,n𝒩L(t1,{𝑾n,αnt1}n𝒩,𝑸,{ηi,𝚪it1}i,{ζm,n,𝚲m,nt1}m,n𝒩).\displaystyle\mathop{\rm argmin}\limits_{\scriptstyle{\left\{{\bm{W}_{n}}\right\}_{n\in{\cal N}}},\bm{Q},\{\eta_{i}\}_{i\in\cal I}\hfill\atop\scriptstyle{\left\{{{\zeta_{m,n}}}\right\}_{m\in{\cal M},n\in{\cal N}}}\hfill}L\left({t_{1}},\{\bm{W}_{n},\alpha_{n}^{t_{1}}\}_{n\in\cal N},\bm{Q},\{\eta_{i},\bm{\Gamma}_{i}^{t_{1}}\}_{i\in\cal I},\{\zeta_{m,n},\bm{\Lambda}_{m,n}^{t_{1}}\}_{{m\in\cal M},{n\in\cal N}}\right).

 

Appendix C Proof of Proposition 2

Since the strong duality hold for problem (28), we have the optimal value of (28) given tt as

𝒪𝒫𝒯(t)\displaystyle{\cal OPT}\left(t\right) (47)
=\displaystyle= L(t,{𝑾nt,αnt}n𝒩,𝑸t,{ηit,𝚪it}i,{ζm,nt,𝚲m,nt}m,n𝒩)\displaystyle L\left(t,\{\bm{W}_{n}^{t},\alpha_{n}^{t}\}_{n\in\cal N},\bm{Q}^{t},\{\eta_{i}^{t},\bm{\Gamma}_{i}^{t}\}_{i\in\cal I},\{\zeta_{m,n}^{t},\bm{\Lambda}_{m,n}^{t}\}_{{m\in\cal M},{n\in\cal N}}\right)

where {αnt}n𝒩\{\alpha_{n}^{t}\}_{n\in\cal N}, {𝚪it}i\{\bm{\Gamma}_{i}^{t}\}_{i\in\cal I} and {𝚲m,nt}m,n𝒩\{\bm{\Lambda}_{m,n}^{t}\}_{{m\in\cal M},{n\in\cal N}} are the optimal dual variables given tt.

Let {αnt2}n𝒩\{\alpha_{n}^{t_{2}}\}_{n\in\cal N}, {𝚪it2}i\{\bm{\Gamma}_{i}^{t_{2}}\}_{i\in\cal I} and {𝚲m,nt2}m,n𝒩\{\bm{\Lambda}_{m,n}^{t_{2}}\}_{{m\in\cal M},{n\in\cal N}} denote the optimal dual variables, and {𝑾nt2}n𝒩\{\bm{W}_{n}^{t_{2}}\}_{n\in\cal N}, 𝑸t2\bm{Q}^{t_{2}}, {ηit2}i\{\eta_{i}^{t_{2}}\}_{i\in\cal I} and {ζm,nt2}m,n𝒩\{\zeta_{m,n}^{t_{2}}\}_{{m\in\cal M},{n\in\cal N}} denote the optimal primal variables with respect to t2t_{2}. Moreover, let t1t2t_{1}\leq t_{2}. Then, we prove the monotonicity of 𝒪𝒫𝒯(t){\cal OPT}\left(t\right) based on following derivations

where step (a) is based on the fact in (45); step (b) follows from fact that 1+θn(t)θn(t)\frac{1+\theta_{n}\left(t\right)}{\theta_{n}\left(t\right)} is a monotonically decreasing function of tt; and step (c) follows from (46).

Appendix D Proof of Proposition 3

Since the proof of Proposition 3 follows similar arguments in [48, Proposition 1], we will only sketch the procedures. The Lagrangian of optimization problem (28) is denoted as

L({𝑾n,αn}n𝒩,𝑸,{ηi,𝚪i}i,{ζm,n,𝚲m,n}m,n𝒩)\displaystyle L\left(\{\bm{W}_{n},\alpha_{n}\}_{n\in\cal N},\bm{Q},\{\eta_{i},\bm{\Gamma}_{i}\}_{i\in\cal I},\{\zeta_{m,n},\bm{\Lambda}_{m,n}\}_{{m\in\cal M},{n\in\cal N}}\right)
=\displaystyle= n=1NTr(𝑾n𝑪n)+Tr(𝑸𝑫)+Υ\displaystyle\sum\limits_{n=1}^{N}\mbox{Tr}\left(\bm{W}_{n}\bm{C}_{n}\right)+\mbox{Tr}\left(\bm{Q}\bm{D}\right)+\Upsilon (48)

where 𝑪n=𝑰Nt+k=1Nαk𝑯ki=1I𝑮~h,iH𝚪i𝑮~h,i+m=1M11exp(R~e,mnREQ)𝑮~e,mH𝚲m,n𝑮~e,m+m=1Mk=1N𝑮~e,mH𝚲m,k𝑮~e,mαn1+θn(t)θn(t)𝑯n\bm{C}_{n}=\bm{I}_{N_{t}}+\sum\nolimits_{k=1}^{N}\alpha_{k}\bm{H}_{k}-\sum\nolimits_{i=1}^{I}\widetilde{\bm{G}}_{h,i}^{\mbox{\tiny H}}\bm{\Gamma}_{i}\widetilde{\bm{G}}_{h,i}+\sum\nolimits_{m=1}^{M}\frac{1}{1-\exp\left(-\widetilde{R}^{\mbox{\tiny REQ}}_{e,m\rightarrow n}\right)}\widetilde{\bm{G}}_{e,m}^{\mbox{\tiny H}}\bm{\Lambda}_{m,n}\widetilde{\bm{G}}_{e,m}+\sum\nolimits_{m=1}^{M}\sum\nolimits_{k=1}^{N}\widetilde{\bm{G}}_{e,m}^{\mbox{\tiny H}}\bm{\Lambda}_{m,k}\widetilde{\bm{G}}_{e,m}-\alpha_{n}\frac{1+\theta_{n}\left(t\right)}{\theta_{n}\left(t\right)}\bm{H}_{n}, 𝑫=𝑰Nt+n=1Nαn𝑯ni=1I𝑮~h,iH𝚪i𝑮~h,im=1Mn=1N𝑮~e,mH𝚲m,n𝑮~e,m\bm{D}=\bm{I}_{N_{t}}+\sum\nolimits_{n=1}^{N}\alpha_{n}\bm{H}_{n}-\sum\nolimits_{i=1}^{I}\widetilde{\bm{G}}_{h,i}^{\mbox{\tiny H}}\bm{\Gamma}_{i}\widetilde{\bm{G}}_{h,i}-\sum\nolimits_{m=1}^{M}\sum\nolimits_{n=1}^{N}\widetilde{\bm{G}}_{e,m}^{\mbox{\tiny H}}\bm{\Lambda}_{m,n}\widetilde{\bm{G}}_{e,m} and Υ=n=1Nαnσu,n2i=1ITr(𝚪idiag{ηi𝑰Nt,Ph,iREQξh,iηiΘh,i2})m=1Mn=1NTr(𝚲m,ndiag{ζm,n𝑰Nt,σe,m2ζm,nΘe,m2})\Upsilon=\sum\nolimits_{n=1}^{N}\alpha_{n}\sigma_{u,n}^{2}-\sum\nolimits_{i=1}^{I}\mbox{Tr}(\bm{\Gamma}_{i}\mbox{diag}\{\eta_{i}\bm{I}_{N_{t}},-\frac{P^{\mbox{\tiny REQ}}_{h,i}}{\xi_{h,i}}-\eta_{i}\Theta_{h,i}^{2}\})-\sum\nolimits_{m=1}^{M}\sum\nolimits_{n=1}^{N}\mbox{Tr}\left(\bm{\Lambda}_{m,n}\mbox{diag}\{\zeta_{m,n}\bm{I}_{N_{t}},\sigma_{e,m}^{2}-\zeta_{m,n}\Theta_{e,m}^{2}\}\right) with n𝒩n\in\cal N. Here, {αn}n𝒩\{\alpha_{n}\}_{n\in\cal N}, {𝚪i}i\{\bm{\Gamma}_{i}\}_{i\in\cal I} and {𝚲m,n}m,n𝒩\{\bm{\Lambda}_{m,n}\}_{{m\in\cal M},{n\in\cal N}} as the dual variables.

To guarantee the Lagrangian bounded below with ({𝑾n},𝑸,{ηi}i,{ζm,n}m,n𝒩)\left(\{\bm{W}_{n}^{*}\},\bm{Q}^{*},\{\eta_{i}^{*}\}_{i\in\cal I},\{\zeta_{m,n}^{*}\}_{{m\in\cal M},{n\in\cal N}}\right), the matrices 𝑪n\bm{C}_{n} and 𝑫\bm{D} need to be positive-semidefinite, i.e., 𝑪n𝟎 and 𝑫𝟎\bm{C}_{n}^{*}\succeq\bm{0}\mbox{ and }\bm{D}^{*}\succeq\bm{0}, n𝒩n\in\cal N. Moreover, the Karush-Khun-Tucker (KKT) conditions related to 𝑾n\bm{W}_{n} and 𝑸\bm{Q} are given as

𝑾n𝑪n=𝟎 and 𝑸𝑫=𝟎,n.\bm{W}_{n}^{*}\bm{C}_{n}^{*}=\bm{0}\mbox{ and }\bm{Q}^{*}\bm{D}^{*}=\bm{0},\forall n. (49)

Define the matrix 𝚯n\bm{\Theta}_{n}^{*} as 𝚯n𝑰Nti=1I𝑮~h,iH𝚪i𝑮~h,i+m=1Mk=1N𝑮~e,mH𝚲m,k𝑮~e,m+k=1Nαk𝑯k+m=1M11exp(R~e,mnREQ)𝑮~e,mH𝚲m,n𝑮~e,m+𝑯n\bm{\Theta}_{n}^{*}\triangleq\bm{I}_{N_{t}}-\sum\nolimits_{i=1}^{I}\widetilde{\bm{G}}_{h,i}^{\mbox{\tiny H}}\bm{\Gamma}_{i}^{*}\widetilde{\bm{G}}_{h,i}+\sum\nolimits_{m=1}^{M}\sum\nolimits_{k=1}^{N}\widetilde{\bm{G}}_{e,m}^{\mbox{\tiny H}}\bm{\Lambda}_{m,k}^{*}\widetilde{\bm{G}}_{e,m}+\sum\nolimits_{k=1}^{N}\alpha_{k}^{*}\bm{H}_{k}+\sum\nolimits_{m=1}^{M}\frac{1}{1-\exp\left(-\widetilde{R}^{\mbox{\tiny REQ}}_{e,m\rightarrow n}\right)}\widetilde{\bm{G}}_{e,m}^{\mbox{\tiny H}}\bm{\Lambda}_{m,n}^{*}\widetilde{\bm{G}}_{e,m}+\bm{H}_{n}. Then, the optimal matrix 𝑪n\bm{C}_{n}^{*} satisfies

𝑪n=𝚯n(αn1+θn(t)θn(t)+1)𝑯n,n.\bm{C}_{n}^{*}=\bm{\Theta}_{n}^{*}-\left(\alpha_{n}^{*}\frac{1+\theta_{n}\left(t\right)}{\theta_{n}\left(t\right)}+1\right)\bm{H}_{n},\forall n. (50)

Now, we start to analyze the rank property of the matrix 𝑾n\bm{W}_{n}^{*} as follows:

  • It is straightforward that the beamforming matrices satisfy the rank-one constraints when the matrix 𝚯n\bm{\Theta}_{n}^{*} is full rank since Rank(𝑾n)=Rank(𝚯n𝑾n)=Rank(𝑯n𝑾n)1\mbox{Rank}\left(\bm{W}_{n}^{*}\right)=\mbox{Rank}\left(\bm{\Theta}_{n}^{*}\bm{W}_{n}^{*}\right)=\mbox{Rank}\left(\bm{H}_{n}\bm{W}_{n}^{*}\right)\leq 1, n𝒩n\in\cal N.

  • If the matrix 𝚯n\bm{\Theta}_{n}^{*} is rank-deficient, i.e., Rank(𝚯n)Nt\mbox{Rank}\left(\bm{\Theta}_{n}^{*}\right)\leq N_{t}, we denote the rank of the matrix 𝚯n\bm{\Theta}_{n}^{*} as Rank(𝚿n)=an\mbox{Rank}\left(\bm{\Psi}_{n}^{*}\right)=a_{n}. Therefore, the rank of the null space of the matrix 𝚯n\bm{\Theta}_{n}^{*} is NtanN_{t}-a_{n}. Let the matrix 𝚷n=[𝝅n,1,𝝅n,2,,𝝅n,Ntan]\bm{\Pi}_{n}=\left[\bm{\pi}_{n,1},\bm{\pi}_{n,2},\ldots,\bm{\pi}_{n,N_{t}-a_{n}}\right] denote the orthogonal basis matrix of the null space of 𝚯n\bm{\Theta}_{n}^{*}. Since 𝝅n,kH𝚯n𝝅n,k=0\bm{\pi}_{n,k}^{\mbox{\tiny H}}\bm{\Theta}_{n}^{*}\bm{\pi}_{n,k}=0, we have

    𝝅n,kH𝑪n𝝅n,k=(αn1+θn(t)θn(t)+1)×𝝅n,kH𝑯n𝝅n,k0,k,n\bm{\pi}_{n,k}^{\mbox{\tiny H}}\bm{C}_{n}^{*}\bm{\pi}_{n,k}=-\left(\alpha_{n}^{*}\frac{1+\theta_{n}\left(t\right)}{\theta_{n}\left(t\right)}+1\right)\\ \times\bm{\pi}_{n,k}^{\mbox{\tiny H}}\bm{H}_{n}\bm{\pi}_{n,k}\geq 0,\forall k,n (51)

    where the inequality is based on the fact that 𝑪n\bm{C}_{n}^{*} is positive-semidefinite. Here, the factor αn1+θn(t)θn(t)+1>0\alpha_{n}^{*}\frac{1+\theta_{n}\left(t\right)}{\theta_{n}\left(t\right)}+1>0. Since the condition in (51) holds with 𝑯n=𝒉n𝒉nH𝟎\bm{H}_{n}=\bm{h}_{n}\bm{h}_{n}^{\mbox{\tiny H}}\succeq\bm{0}, we have 𝒉nH𝝅n,k=0\bm{h}_{n}^{\mbox{\tiny H}}\bm{\pi}_{n,k}=0. Hence, the matrix 𝚷n\bm{\Pi}_{n} is also the orthogonal basis matrix of the null space of 𝑯n\bm{H}_{n} and 𝑪n\bm{C}_{n}^{*}. Therefore, Rank(𝑪n)an\mbox{Rank}\left(\bm{C}_{n}^{*}\right)\leq a_{n}. Based on (50), we also have Rank(𝑪n)an1\mbox{Rank}\left(\bm{C}_{n}^{*}\right)\geq a_{n}-1. We prove that Rank(𝑪n)=an1\mbox{Rank}\left(\bm{C}_{n}^{*}\right)=a_{n}-1 via contradiction. If Rank(𝑪n)=an\mbox{Rank}\left(\bm{C}_{n}^{*}\right)=a_{n}, the optimal matrix 𝑪n\bm{C}_{n}^{*} shares the same null space with 𝚿n\bm{\Psi}_{n}^{*}. Based on the KKT condition (49), the optimal beamforming matrix 𝑾n\bm{W}_{n}^{*} can be denoted as 𝑾n=k=1anρn,k𝝅n,k𝝅n,kH\bm{W}_{n}^{*}=\sum\nolimits_{k=1}^{a_{n}}\rho_{n,k}\bm{\pi}_{n,k}\bm{\pi}_{n,k}^{\mbox{\tiny H}} with ρn,k0\rho_{n,k}\geq 0. In this case, the nn-th LUE receives no information since the received power of information signal is zero, i.e., Tr(𝑯n𝑾n)=Tr(𝑯nk=1anρn,k𝝅n,k𝝅n,kH)=0\mbox{Tr}\left(\bm{H}_{n}\bm{W}_{n}^{*}\right)=\mbox{Tr}\left(\bm{H}_{n}\sum\nolimits_{k=1}^{a_{n}}\rho_{n,k}\bm{\pi}_{n,k}\bm{\pi}_{n,k}^{\mbox{\tiny H}}\right)=0, n𝒩n\in\cal N. As a result, the optimal matrix 𝑪n\bm{C}_{n}^{*} satisfies Rank(𝑪n)=an1\mbox{Rank}\left(\bm{C}_{n}^{*}\right)=a_{n}-1, n𝒩n\in\cal N. Moreover, there exists an extra vector 𝝅n,0\bm{\pi}_{n,0} with 𝝅n,0H𝑪n𝝅n,0=0\bm{\pi}_{n,0}^{\mbox{\tiny H}}\bm{C}_{n}^{*}\bm{\pi}_{n,0}=0 and 𝝅n,0H𝑯n𝝅n,00\bm{\pi}_{n,0}^{\mbox{\tiny H}}\bm{H}_{n}\bm{\pi}_{n,0}\neq 0 such that the optimal beamforming matrix of (28) is expressed as

    𝑾n=k=0anρn,k𝝅n,k𝝅n,kH\bm{W}_{n}^{*}=\sum\limits_{k=0}^{a_{n}}\rho_{n,k}\bm{\pi}_{n,k}\bm{\pi}_{n,k}^{\mbox{\tiny H}} (52)

    where ρn,0>0\rho_{n,0}>0 and ρn,k0\rho_{n,k}\geq 0, k=1,2,,ank=1,2,\ldots,a_{n}.

    In order to recover the rank-one property of the beamforming matrix, we perform the following manipulations:

    𝑾~n=\displaystyle\widetilde{\bm{W}}_{n}^{*}= 𝑾nk=1anρn,k𝝅n,k𝝅n,kH,n\displaystyle\bm{W}_{n}^{*}-\sum\limits_{k=1}^{a_{n}}\rho_{n,k}\bm{\pi}_{n,k}\bm{\pi}_{n,k}^{\mbox{\tiny H}},\forall n (53)
    𝑸~=\displaystyle\widetilde{\bm{Q}}= 𝑸+n=1Nk=1anρn,k𝝅n,k𝝅n,kH\displaystyle\bm{Q}^{*}+\sum\limits_{n=1}^{N}\sum\limits_{k=1}^{a_{n}}\rho_{n,k}\bm{\pi}_{n,k}\bm{\pi}_{n,k}^{\mbox{\tiny H}} (54)

    where {𝑾n}n𝒩\{\bm{W}_{n}^{*}\}_{n\in\cal N} and 𝑸\bm{Q}^{*} are the optimal solution to (28). It is straightforward to verify that the beamforming matrices and AN covariance matrix in (53) and (54) lie in the feasible region of (28), and the corresponding optimal value of (28) is unchanged.

References

  • [1] Y. Dong, M. J. Hossain, J. Cheng, and V. C. M. Leung, “Robust secrecy energy efficient beamforming in MISOME-SWIPT systems with proportional fairness,” in Proc. IEEE Globecom 2018, Abu Dhabi, UAE, to be published.
  • [2] X. Lu, P. Wang, D. Niyato, D. I. Kim, and Z. Han, “Wireless networks with RF energy harvesting: A contemporary survey,” IEEE Commun. Surveys Tuts., vol. 17, no. 2, pp. 757–789, Second quarter 2015.
  • [3] Z. Hasan, H. Boostanimehr, and V. K. Bhargava, “Green cellular networks: A survey, some research issues and challenges,” IEEE Commun. Surveys Tuts., vol. 13, no. 4, pp. 524–540, Fourth quarter 2011.
  • [4] Y. Dong, M. J. Hossain, J. Cheng, and V. C. M. Leung, “Dynamic cross-layer beamforming in hybrid powered communication systems with harvest-use-trade strategy,” IEEE Trans. Wireless Commun., vol. 16, no. 12, pp. 8011–8025, Dec. 2017.
  • [5] F. Guo, H. Zhang, X. Li, H. Ji, and V. C. M. Leung, “Joint optimization of caching and association in energy harvesting powered small cell networks,” IEEE Trans. Veh. Technol., to be published.
  • [6] Y. Dong, M. J. Hossain, and J. Cheng, “Joint power control and time switching for SWIPT systems with heterogeneous QoS requirements,” IEEE Commun. Lett., vol. 20, no. 2, pp. 328–331, Feb. 2016.
  • [7] S. Bi, C. K. Ho, and R. Zhang, “Wireless powered communication: opportunities and challenges,” IEEE Commun. Mag., vol. 53, no. 4, pp. 117–125, Apr. 2015.
  • [8] Y. Zeng, B. Clerckx, and R. Zhang, “Communications and signals design for wireless power transmission,” IEEE Trans. Commun., vol. 65, no. 5, pp. 2264–2290, May 2017.
  • [9] H. Ju and R. Zhang, “Throughput maximization in wireless powered communication networks,” IEEE Trans. Wireless Commun., vol. 13, no. 1, pp. 418–428, Jan. 2014.
  • [10] ——, “Optimal resource allocation in full-duplex wireless-powered communication network,” IEEE Trans. Commun., vol. 62, no. 10, pp. 3528–3540, Oct. 2014.
  • [11] Y. Liu, L. Wang, S. A. R. Zaidi, M. Elkashlan, and T. Q. Duong, “Secure D2D communication in large-scale cognitive cellular networks: A wireless power transfer model,” IEEE Trans. Commun., vol. 64, no. 1, pp. 329–342, Jan. 2016.
  • [12] A. E. Shafie, A. Mabrouk, K. Tourki, and N. Al-Dhahir, “Efficient AN-aided scheme to power RF-EH source nodes and secure their transmissions,” IEEE Wireless Commun. Lett., vol. 6, no. 5, pp. 670–673, Oct. 2017.
  • [13] A. A. Nasir, X. Zhou, S. Durrani, and R. A. Kennedy, “Relaying protocols for wireless energy harvesting and information processing,” IEEE Trans. Wireless Commun., vol. 12, no. 7, pp. 3622–3636, Jul. 2013.
  • [14] Y. Gu and S. Aïssa, “RF-based energy harvesting in decode-and-forward relaying systems: Ergodic and outage capacities,” IEEE Trans. Wireless Commun., vol. 14, no. 11, pp. 6425–6434, Nov. 2015.
  • [15] Y. Dong, M. J. Hossain, and J. Cheng, “Performance of wireless powered amplify and forward relaying over Nakagami-mm fading channels with nonlinear energy harvester,” IEEE Commun. Lett., vol. 20, no. 4, pp. 672–675, Apr. 2016.
  • [16] Q. Yao, A. Huang, H. Shan, and T. Q. S. Quek, “WET-enabled passive communication networks: Robust energy minimization with uncertain CSI distribution,” IEEE Trans. Wireless Commun., vol. 17, no. 1, pp. 282–295, Jan. 2018.
  • [17] Q. Wu, W. Chen, and J. Li, “Wireless powered communications with initial energy: QoS guaranteed energy-efficient resource allocation,” IEEE Commun. Lett., vol. 19, no. 12, pp. 2278–2281, Dec. 2015.
  • [18] Q. Wu, M. Tao, D. W. K. Ng, W. Chen, and R. Schober, “Energy-efficient resource allocation for wireless powered communication networks,” IEEE Trans. Wireless Commun., vol. 15, no. 3, pp. 2312–2327, Mar. 2016.
  • [19] L. R. Varshney, “Transporting information and energy simultaneously,” in Proc. IEEE ISIT, July 2008, pp. 1612–1616.
  • [20] X. Zhou, R. Zhang, and C. K. Ho, “Wireless information and power transfer: Architecture design and rate-energy tradeoff,” IEEE Trans. Commun., vol. 61, no. 11, pp. 4754–4767, Nov. 2013.
  • [21] B. Clerckx, “Wireless information and power transfer: Nonlinearity, waveform design, and rate-energy tradeoff,” IEEE Trans. Signal Process., vol. 66, no. 4, pp. 847–862, Feb. 2018.
  • [22] Y. Huang and B. Clerckx, “Large-scale multiantenna multisine wireless power transfer,” IEEE Trans. Signal Process., vol. 65, no. 21, pp. 5812–5827, Nov. 2017.
  • [23] Q. Shi, C. Peng, W. Xu, M. Hong, and Y. Cai, “Energy efficiency optimization for MISO SWIPT systems with zero-forcing beamforming,” IEEE Trans. Signal Process., vol. 64, no. 4, pp. 842–854, Feb. 2016.
  • [24] Q. Shi, L. Liu, W. Xu, and R. Zhang, “Joint transmit beamforming and receive power splitting for MISO SWIPT systems,” IEEE Trans. Wireless Commun., vol. 13, no. 6, pp. 3269–3280, Jun. 2014.
  • [25] H. Son and B. Clerckx, “Joint beamforming design for multi-user wireless information and power transfer,” IEEE Trans. Wireless Commun., vol. 13, no. 11, pp. 6397–6409, Nov. 2014.
  • [26] E. Boshkovska, D. W. K. Ng, N. Zlatanov, and R. Schober, “Practical non-linear energy harvesting model and resource allocation for SWIPT systems,” IEEE Commun. Lett., vol. 19, no. 12, pp. 2082–2085, Dec. 2015.
  • [27] H. Lee, K. J. Lee, H. B. Kong, and I. Lee, “Sum-rate maximization for multiuser MIMO wireless powered communication networks,” IEEE Trans. Veh. Technol., vol. 65, no. 11, pp. 9420–9424, Nov. 2016.
  • [28] E. Boshkovska, D. W. K. Ng, N. Zlatanov, A. Koelpin, and R. Schober, “Robust resource allocation for MIMO wireless powered communication networks based on a non-linear EH model,” IEEE Trans. Commun., vol. 65, no. 5, pp. 1984–1999, May 2017.
  • [29] N. Zhao, F. R. Yu, and V. C. M. Leung, “Opportunistic communications in interference alignment networks with wireless power transfer,” IEEE Wireless Commun., vol. 22, no. 1, pp. 88–95, Feb. 2015.
  • [30] K. Xiong, B. Wang, and K. J. R. Liu, “Rate-energy region of SWIPT for MIMO broadcasting under nonlinear energy harvesting model,” IEEE Trans. Wireless Commun., vol. 16, no. 8, pp. 5147–5161, Aug. 2017.
  • [31] J. Rubio, A. Pascual-Iserte, D. P. Palomar, and A. Goldsmith, “Joint optimization of power and data transfer in multiuser MIMO systems,” IEEE Trans. Signal Process., vol. 65, no. 1, pp. 212–227, Jan. 2017.
  • [32] L. Liu, R. Zhang, and K. C. Chua, “Secrecy wireless information and power transfer with MISO beamforming,” IEEE Trans. Signal Process., vol. 62, no. 7, pp. 1850–1863, Apr. 2014.
  • [33] Q. Shi, W. Xu, J. Wu, E. Song, and Y. Wang, “Secure beamforming for MIMO broadcasting with wireless information and power transfer,” IEEE Trans. Wireless Commun., vol. 14, no. 5, pp. 2841–2853, May 2015.
  • [34] D. W. K. Ng, E. S. Lo, and R. Schober, “Robust beamforming for secure communication in systems with wireless information and power transfer,” IEEE Trans. Wireless Commun., vol. 13, no. 8, pp. 4599–4615, Aug. 2014.
  • [35] ——, “Multiobjective resource allocation for secure communication in cognitive radio networks with wireless information and power transfer,” IEEE Trans. Veh. Technol., vol. 65, no. 5, pp. 3166–3184, May 2016.
  • [36] Y. Lu, K. Xiong, P. Fan, Z. Zhong, and K. B. Letaief, “Robust transmit beamforming with artificial redundant signals for secure SWIPT systems under non-linear EH model,” IEEE Trans. Wireless Commun., to be published.
  • [37] A. Charnes and W. W. Cooper, “Programming with linear fractional functionals,” Naval Research Logistics (NRL), pp. 181–186, 1962.
  • [38] D. W. K. Ng and R. Schober, “Secure and green SWIPT in distributed antenna networks with limited backhaul capacity,” IEEE Trans. Wireless Commun., vol. 14, no. 9, pp. 5082–5097, Sept. 2015.
  • [39] Q. Wu, G. Y. Li, W. Chen, D. W. K. Ng, and R. Schober, “An overview of sustainable green 5G networks,” IEEE Wireless Commun., vol. 24, no. 4, pp. 72–80, Aug. 2017.
  • [40] J. Liu, M. Sheng, L. Liu, and J. Li, “Network densification in 5G: From the short-range communications perspective,” IEEE Commun. Mag., vol. 55, no. 12, pp. 96–102, Dec. 2017.
  • [41] M. Sheng, L. Wang, X. Wang, Y. Zhang, C. Xu, and J. Li, “Energy efficient beamforming in MISO heterogeneous cellular networks with wireless information and power transfer,” IEEE J. Sel. Areas Commun., vol. 34, no. 4, pp. 954–968, Apr. 2016.
  • [42] W. Mei, Z. Chen, and J. Fang, “Artificial noise aided energy efficiency optimization in MIMOME system with SWIPT,” IEEE Commun. Lett., vol. 21, no. 8, pp. 1795–1798, Aug. 2017.
  • [43] Z. Shen, J. G. Andrews, and B. L. Evans, “Adaptive resource allocation in multiuser OFDM systems with proportional rate constraints,” IEEE Trans. Wireless Commun., vol. 4, no. 6, pp. 2726–2737, Nov. 2005.
  • [44] G. Bansal, M. J. Hossain, V. K. Bhargava, and T. Le-Ngoc, “Subcarrier and power allocation for OFDMA-based cognitive radio systems with joint overlay and underlay spectrum access mechanism,” IEEE Trans. Veh. Technol., vol. 62, no. 3, pp. 1111–1122, Mar. 2013.
  • [45] A. J. Pierrot and M. R. Bloch, “Strongly secure communications over the two-way wiretap channel,” IEEE Trans. Inf. Forensics Security, vol. 6, no. 3, pp. 595–605, Sept. 2011.
  • [46] A. Goldsmith, Wireless Communications. Cambridge University Press, 2005.
  • [47] 3GPP, “Study on channel model for frequencies from 0.5 to 100 GHz,” 3GPP TR 38.901 version 14.0.0 Release 14, May 2017.
  • [48] Y. Dong, A. E. Shafie, M. J. Hossain, J. Cheng, N. Al-Dhahir, and V. C. M. Leung, “Secure beamforming in full-duplex SWIPT systems with loopback self-interference cancellation,” in Proc. IEEE ICC 2018, Kansas City, MO, USA, to be published.
  • [49] A. Attar, H. Li, and V. C. M. Leung, “Green last mile: How fiber-connected massively distributed antenna systems can save energy,” IEEE Wireless Commun., vol. 18, no. 5, pp. 66–74, Oct. 2011.
  • [50] J. Wang and D. P. Palomar, “Worst-case robust MIMO transmission with imperfect channel knowledge,” IEEE Trans. Signal Process., vol. 57, no. 8, pp. 3086–3100, Aug. 2009.
  • [51] Y. Sun, D. W. K. Ng, J. Zhu, and R. Schober, “Multi-objective optimization for robust power efficient and secure full-duplex wireless communication systems,” IEEE Trans. Wireless Commun., vol. 15, no. 8, pp. 5511–5526, Aug. 2016.
  • [52] S. P. Boyd and L. Vandenberghe, Convex Optimization. Cambridge University Press, 2004.
  • [53] A. Ben-Tal and A. Nemirovski, Lectures on Modern Convex Optimization. Society for Industrial and Applied Mathematics, 2001. [Online]. Available: http://epubs.siam.org/doi/book/10.1137/1.9780898718829