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

Optimal Relaying Beamforming in Multiple Access Broadcast Channel (MABC) Bidirectional Cognitive Radio Networks in Presence of Interferers

Mohammad Zaeri-Amirani1, Fatemeh Afghah1, and Jonathan D.  Ashdown2 Affiliation: 1School of Informatics, Computing and Cyber Systems, Northern Arizona University, Flagstaff, AZ, United States
Email: {Mohammad.Zaeri-Amirani,fatemeh.afghah}@nau.edu
Affiliation: 2Air Force Research Laboratory, Rome, NY, United States
Email: jonathan.ashdown@us.af.mil
Abstract

In this paper, a general cognitive radio system consisting of a set of users with different level of spectrum access including two primary transceivers and several types of secondary users is considered. It is assumed that two secondary users operate based on an underlay model at the same frequency bandwidth and at the same time as the primary users based on a multiple access broadcast channel (MABC) bidirectional beamforming scheme. Other secondary users provide a relaying service to the primary users in exchange for the opportunity to send their messages towards their own destinations for a fixed portion of the communication cycle. In addition, it is assumed that some interferers are active during the communication cycle and cause interference for the network. Furthermore, it is assumed that only partial channel state information (CSI) between interferers and other nodes in the network is available. We provide a robust optimization method against imperfection on the interferers’ CSI to maximize the joint primary and secondary signal-to-interference-plus-noise-ratio (SINR) with the assumption of limited available power at the secondary relays. An amplify-and-forward (AF) relaying scheme is deployed at the secondary relays and the optimal beamforming is obtained using second order convex programming (SOCP) method. The simulation results show the performance of the proposed beamforming method against the existence of interferers, and demonstrate the effectiveness of our robust method against uncertainty in knowledge of interferers’ CSIs 11 1 This work is partially supported by Air Force Research Laboratory under grant number 18.0257. Distribution Statement A: Approved for Public Release; distribution unlimited: 88ABW-2017-5903 on 21 Nov. 2017..

I Introduction

While the ever-increasing demand for wireless service makes the radio spectrum one of the most valuable and scarce resources for wireless communication, recent studies have shown that the spectrum is not efficiently utilized at some locations for certain times of the day [1]. Dynamic spectrum management is a new paradigm to manage the radio spectrum in a dynamic manner by allowing cognitive nodes to utilize the unused bandwidth [2]. Cognitive radio systems are usually composed of legacy spectrum owners, primary users (PUs), and cognitive devices seeking to access the PU’s spectrum, called secondary users (SUs).

Generally, dynamic spectrum technologies are broadly categorized into the two categories of common model and property-right model [3]. Unlike the common model for spectrum sharing, where the primary users are oblivious to the presence of SUs, in the property-right model, the PUs can willingly lease a portion of their spectrum to the SUs in exchange for monetary benefits or physical compensations. This compensation could be in form of providing relaying service, energy harvesting or cooperative jamming for the PUs [4, 5, 6, 7, 8]. The property-right model for spectrum sharing in exchange for relaying service, also known as ’cooperative spectrum leasing’ has received much attention in the last years, as it offers a win-win solution for both licensed and unlicensed users. The primary users can benefit from such spectrum leasing by enhancing their quality of service (QoS), in particular when experiencing a poor channel condition, while the secondary users can obtain the chance of affordable spectrum access. Furthermore, the property-right model can result in less energy consumption for the unlicensed users compared to the spectrum sensing models where they need to constantly sense the PUs’ spectrum looking for spectrum holes.

In this work, we consider a general model of cognitive radio networks with co-existence of several types of SUs that operate in different modes. This network consists of two PU transceivers and two SU transceivers which desire to exchange their signals with the help of available secondary relays. It is assumed that two underlay SUs are allowed to share the radio spectrum with the PUs provided that their interference at the PUs’ receivers remains below an acceptable threshold. In addition to the two SUs operating in the underlay model, we consider the existence of multiple SUs that are interested in obtaining the spectrum access in exchange for providing relaying service for the PUs, based on the property-right model. Such model can limit the potential undesired interference that can be caused to the PUs, as well as the level of interference among the underlay SUs. Enabling a cooperative spectrum leasing to other SUs through property-right model can extend the number of SUs that can get the chance of spectrum access while benefiting the PUs through the cooperative relaying. To further enhance the efficiency of radio spectrum utilization in this network, a two-way cooperative communication scenario is utilized in this network. In general, the two methods of time division broadcast (TDBC) and multiple access broadcast (MABC) are utilized in two-way communication scenarios [9, 10, 11, 12, 13, 14, 15, 16, 17]. In spite of TDBC scheme, where the transceivers send their signals in different time-slots, in MABC protocol both transceivers transmit their signals simultaneously. Since the proposed cooperative spectrum sharing mechanism is designed for cases when the quality of the direct link for the primary users is low, we consider an MABC scheme as it outperforms the TDBC scheme in such conditions [18].

One of the main concerns regarding the implementation of spectrum sharing solutions is combating the interference caused by simultaneous transmission of SUs with the PUs. Spectrum sharing networks are also vulnerable to the presence of unfriendly interferers that, despite the compliance of SUs, are not designated to respect the QoS requirement for the PUs. Unlike the intentional interferers (jammers), who intend to disturb the PUs’ communication, the unfriendly interferers degrade the PUs’ performance due to simultaneous transmission without PUs’ consent. A potential example of these interferers can be the sensing-based secondary users that may interfer with the PUs’ communication due to false detection of the PUs’ presence or synchronization imperfections. A cognitive radio network must account for such burdens, imposed by either intentional interferers or false detection errors in the sensing process. Therefore, we study a scenario for co-existence of two PUs, and two underlay SUs operating in a two-way relaying system with multiple secondary relays when multiple unfriendy interferers exist. When such interferers exist, the information related to their channel state information is not usually available to the cognitive radio network. This is due to the fact that there is no cooperation between the unfriendly interferers and the networks’ centralized controller which can only obtain an imperfect knowledge of the CSI. Withal, this imperfection can be due to time delays or frequency offset between the reciprocal channels as well as inaccurate channel estimation [19]. In order to study the impact of the imperfect CSI of the interferers, we assume that the CSI of all other channels is perfectly known. This assumption can be easily justified due to the existing collaboration between the PUs and SUs and the secondary relays, where CSI could be directly fed back from node to node [3]. While no collaboration between the interferers and the primary and secondary users is imagined, other mechanisms can be used to estimate the CSI between them. For instance, this CSI can be measured by a band manager and be provided using finite bandwidth channels [20]. Eventually, this mechanism will cause inaccuracy in the estimated CSI which should be considered in the design of dynamic spectrum sharing systems.

To the best of our knowledge, this is the first work that considers the impact of multiple interferers and CSI uncertainty on beamforming in the context of underlay cognitive radio systems which allows both PUs and SUs to operate in a two-way relaying mode. The existing relay nodes can also obtain the chance of spectrum access in exchange for providing an amplify-and forward cooperative service based on property-right spectrum sharing model. The main contribution of this work is to find the optimal beamforming vector which maximizes the QoS for both PU and SU transceivers in the above-mentioned system. The optimization problem is formulated as finding the beamform vector of the relay nodes that maximizes the QoS for PUs and SUs in the presence of unfriendly interferers with imperfect CSI. We consider the most general scenario with respect to uncertainty in interferers’ CSI knowledge, in which no information is available about the distribution of such CSIs or its stochastic parameters. In the proposed model, we only consider a limited bound on the uncertainty of the interferers’ CSI knowledge and design a robust solution that accounts for the worst-case scenario.

Here we study two cases, where in the first one a complete knowledge of CSI of the channels between the interferers and the PUs, the SUs, and the secondary relays is available. The feasibility of the pristine optimization problem is examined and closed form equations for the feasibility conditions are derived for this case. The feasibility condition leads us to provide an upper bound on the optimal PUs’ SINR. Afterward, a solution for the SINR optimization problem is proposed. The bisection method is applied to obtain the optimal SINR which can be achieved by the PU and SU transceivers. In second case , we consider the impact of imperfect knowledge of interferers’ CSI on the designed system and calculate a robust solution for the SINR optimization problem. Another mathematical contribution of this work is to obtain the closed-form formulation of the worst-case scenario for each constraint instead of using linear matrix inequality (LMI) approaches with additional variables.

The rest of this paper is organized as follows: In Section II, an overview of some related works in the literature is presented. Section III describes the system model. In Section IV, the SINR optimization problem is defined and solved with the assumption of perfect CSI knowledge for the unfriendly interferers. Subsequently, in Section V, we show how to obtain the solution for the SINR optimization problem if only an imperfect knowledge of interferers’ CSI is available. Numerical results are provided in Section VI; and Section VII draws the concluding remarks.

II Related Works

In general, cooperative communication techniques have proven to significantly enhance the performance of wireless communication systems in terms of reducing the energy consumption, enhancing the transmission rate, and extending the connectivity, to only name a few [21, 22, 23]. A growing body of literature has investigated different factors that play a key role in optimizing the performance of cooperative relaying systems including studying the impact of power allocation, relay selection, relaying modes and time allocation strategies among direct and cooperative communication [24, 25, 26]. Furthermore, several joint optimization techniques have been proposed with the goal of improving the network performance when looking at the combined effect of these factors [27, 28, 29, 30, 31]. The authors in [28] and [29] aimed at generalizing the common assumption of equal time allocation between the source and relay nodes and designed optimum joint power and time allocation mechanisms to minimize the outage probability when only the statistical knowledge of CSI is available.

Motivated by the results of cooperative relaying in wireless networks, the SUs have been deployed as relays in cognitive radio networks to enhance the QoS of PUs, particularly when the PUs experience a poor channel condition due to shadowing or sparse network coverage [6, 4, 32]. Cooperative spectrum leasing solutions have recently received a considerable attention in cognitive radio networks as they offer a coordination mechanism between the licensed and licensed users for dynamic spectrum access. In this methods, the secondary users can obtain the chance of spectrum access in exchange for providing cooperative services for the spectrum owners when they face poor channel conditions [4, 5, 6, 7, 33]. In [6], a model for cooperative spectrum leasing among a primary user and a network of Ad-Hoc secondary users is presented in which the primary user can decide whether to lease a portion of its spectrum access time to the secondary users noting its channel quality. Moreover, a non-cooperative game theoretic model is defined to determine the optimum power allocation of the secondary users when they compete with one another to enhance their transmission rate over the assigned time for SUs’ transmission. In [32], the authors studied the cooperative spectrum leasing in heterogeneous Ad-Hoc networks and calculated the necessary condition on the channel quality between the primary user and the SUs to encourage primary users to participate in leasing. A cooperation protocol is proposed to maximize the transmission rate of secondary cognitive users for the given amount of spectrum released by the PU and their given power budget, where an equal time allocation is assigned for transmission of the primary and secondary users. Similar to any cooperative communication networks, the performance of the cooperative spectrum leasing techniques depend on several factors such as relay selection, deployed relaying methods, availability of global CSI, reliability of the secondary users, and presence of jamming or interference.

Different relaying strategies, including decode and forward (DF), compress and forward (CF), and amplify and forward (AF) are investigated in literature [34]. The AF relaying mode has been widely utilized in practical applications due to its simplicity, as the relay nodes are only required to amplify and phase steer, i.e., beamform, the received signal and rebroadcast it. Despite the DF and CF coding relaying techniques, where the relay nodes need to decode and re-encode the transmitter’s message; in AF relaying mode, the relay nodes only amplify and forward the received signal. Therefore, AF involves lower complexity and are an appropriate relaying solution for cooperative spectrum sharing applications as selected in this paper since the SUs do not require to have the knowledge of PU’s codebooks for relaying [35, 32].

While in cooperative spectrum leasing models, it is assumed that the secondary relays follow the agreement among the users to only transmit their messages in their allocated time slots [4, 5, 6, 33, 36, 37], it is likely that these users will deviate from this agreement and cause harmful interference for the spectrum owners. Such undesired interference can be also caused by other unlicensed users in the proximity of the primary users working based on other spectrum sharing schemes such as spectrum sensing. In these conditions, the information about the channel conditions among the interferers and the PUs is often unavailable due to the lack of coordination among these users. This calls for new models to provide robust solutions to combat such undesired interference when minimum amount of information is accessible about the interferers. In general, three different approaches are known to handle the difficulties imposed by uncertainty in a data set, which in our case is imperfection in the interferers’ CSI, [38]: 1) stochastic programming (SP), 2) robust mathematical programming (RMP), and 3) robust counterpart (RC) approach (worst-case scenario). The SP is limited to the problems where the uncertainty is stochastic in nature, i. e.  can be modeled as random variables. In this approach, the system is robustly designed in such a way that the average of network constraints including interference level or minimum QoS thresholds are in a desired range [20, 39, 40, 41, 42, 28, 29]. One may think of two practical drawbacks for this approach. First, we need to be able to identify the underlying probability distributions of uncertainty in the data set. The other vital pragmatic drawback of this approach is that it is very likely that the constraints on the average will be violated. Similarly, in the RMP approach, the violation of the constraints can occur but with a penalty in the objective [43]. Hence, this cannot be a proper option in software defined radio (SDR) networks, where the constraints on PUs’ QoS must be met accurately. Finally, RC approaches, first introduced by Ben-Tal and Nemrovski [38], comply with the specified constraints in a problem by considering a worst-case scenario. To be more precise, a bounded region is assumed for the uncertainty on the variables that are not perfectly known, while the objective of RC method is to find a robust solution that is feasible over the whole uncertainty region. Commonly, a mathematical concept known as the linear matrix inequality (LMI) along with defining new variables is used to solve an RC problem such as robust optimization problems in underlay SDR systems with uncertainty in CSI [44, 45, 46, 19].

Notations: A summary of the notation is provided in Table I.

TABLE I: Notation
Notation Description
uppercase boldface letters matrices
lowercase boldface letters vectors
(.)(.)^{*} conjugate of the complex scalar
(.)T(.)^{T} transpose of a vector or matrix
(.)H(.)^{H} Hermitian (conjugate) transpose of a vector or matrix
𝐚\|{\bf{a}}\| Euclidean norm (.2\|.\|_{2}) of the vector 𝐚{\bf{a}}
λmax{𝐀}\lambda_{max}\{{\bf{A}}\} maximum eigenvalue of the matrix 𝐀{\bf{A}}
𝐀i,j{\bf{A}}_{{i,j}} or 𝐚i{\bf{a}}_{{i}} the {i,j}th{\{i,j\}}^{\mbox{th}} or {i}th{\{i\}}^{\mbox{th}} element of matrix 𝐀{\bf{A}} or vector 𝐚{\bf{a}}
𝐀=diag(𝐚){\bf{A}}={\rm{diag}}({\bf{a}}) diagonal matrix with 𝐀i,i=𝐚i{\bf{A}}_{{i,i}}={\bf{a}}_{{i}}
𝐚=diag(𝐀){\bf{a}}={\rm{diag}}({\bf{A}}) vertical vector with 𝐚i=𝐀i,i{\bf{a}}_{{i}}={\bf{A}}_{{i,i}}
blkdiag(𝐀,𝐁)\textsl{blkdiag}({\bf{A}},{\bf{B}}) diagonal matrix with the elements of the vectors 𝐚{\bf{a}} and 𝐛{\bf{b}} in order
𝐀𝐁{\bf{A}}\bullet{\bf{B}} ij𝐀i,j𝐁i,j\sum_{i}{\sum_{j}{{\bf{A}}_{{i,j}}{\bf{B}}_{{i,j}}}}
i¯ for i=1,2\begin{array}[]{c}\\ \bar{i}\mbox{\;\;for\;}i=1,2\\ \end{array} all except i\begin{array}[]{c}\\ \mbox{all except \;}i\\ \end{array}
N,j\boldsymbol{\ell}_{N,j} N×1N\times 1 vector with jjth element 1 and the rest 0

III System Model

In this section, the system and channel models considered in the paper are briefly outlined. A SDR network consists of two primary transceivers (PU1PU_{1} and PU2PU_{2}) and two secondary transceivers (SU1SU_{1} and SU2SU_{2}) is considered. The SUs are in a soft lease contract with the PUs, meaning that they obtained the permission to simultaneously access the PUs’ spectrum based on an agreement [47]. Due to a low quality of the direct link between PU1PU_{1} and PU2PU_{2}, the primary network is willing to employ several secondary relays for the sake of cooperative relaying advantages. An MABC two-way cooperative scenario is designed, where two PU transceivers, as well as two secondary transceivers, desire to exchange their signals with the help of NrN_{r} relays, simultaneously. As a reward, the relays, called R1,R2,,RNrR_{1},R_{2},\ldots,R_{N_{r}}, will obtain access to the PU’s spectrum during each communication cycle for a fixed portion of the time slot, as depicted in Fig.  1. It is also assumed that the network is affected by NIN_{I} unfriendly interferers {I1,I2,,INI}\{I_{1},I_{2},\ldots,I_{N_{I}}\} and that all wireless channels are reciprocal and frequency flat.

Refer to caption

Fig. 1: (a) MABC phase I in which both the PUs and SUs transmit their signals, simultaneously, and the relays receive these signals in presence of interferers. (b) MABC Phase II, in which the relays broadcast an amplified and phase shifted version of the signals they received in Phase I. (c) As a reward, the relays transmit their signal to their own destinations in a portion of this time-slot. T1T_{1} refers to a portion of time slot allocated to transmission of the PUs and the SUs, while T2T_{2} is the portion of the time slot allocated to the relays’ transmission as an award for their cooperative services.

We assume that, in a given time-slot, the antennas can only transmit or receive a signal but not both at the same time, i. e.  all antennas operate in half-duplex mode. A centralized controller is considered to provide the perfect CSI of the SDR system as well as to calculate the optimum beamforming vector of the relays, an assumption which has been considered in similar reported works [46, 48, 49, 50]. The parameters of the system model are summarized in Table II.

TABLE II: Summary of parameters
Parameters Description
PUiPU_{i} i’th primary user
SUiSU_{i} i’th Secondary users
𝐟Pi{\bf{f}}_{P_{i}} channel coefficient vectors between PUiPU_{i} and relays
𝐟Si{\bf{f}}_{S_{i}} channel coefficient vectors between SUiSU_{i} and relays
𝐡Pi{\bf{h}}_{P_{i}} channel coefficient vectors between the interferers and PUiPU_{i}
𝐡Si{\bf{h}}_{S_{i}} channel coefficient vectors between the interferers and SUiSU_{i}
𝐡Il{\bf{h}}_{I_{l}} channel coefficient vectors between the interferers and l’th relay
𝐫{\bf{r}} received vector signal at relays
𝐰{\bf{w}} beamformer vector
𝐭{\bf{t}} transmitted signal by relays
yPiy_{P_{i}} received signal by PUiPU_{i}
ySiy_{S_{i}} received signal by SUiSU_{i}
SINRPiSINR_{P_{i}} SINR at PUiPU_{i}
SINRSiSINR_{S_{i}} SINR at SUiSU_{i}

We assume that the Nr×1N_{r}\times 1 complex channel coefficient vectors 𝐟Pi{\bf{f}}_{P_{i}}, i=1,2i=1,2, are defined as:

𝐟Pi\displaystyle{\bf{f}}_{P_{i}} =\displaystyle= [fPiR1,fPiR2,,fPiRNr]T,\displaystyle[f_{P_{i}R_{1}},f_{P_{i}R_{2}},\ldots,f_{P_{i}R_{N_{r}}}]^{T}, (1)

where fPiRjf_{P_{i}R_{j}} is the instant reciprocal flat fading channel coefficient between PUiPU_{i} and the secondary relay RjR_{j} for i=1,2i=1,2 and j=1,2,,Nrj=1,2,\ldots,N_{r}. The Nr×1N_{r}\times 1 complex channel coefficient vectors 𝐟Si{\bf{f}}_{S_{i}}, i=1,2i=1,2, are denoted by:

𝐟Si\displaystyle{\bf{f}}_{S_{i}} =\displaystyle= [fSiR1,fSiR2,,fSiRNr]T,\displaystyle[f_{S_{i}R_{1}},f_{S_{i}R_{2}},\ldots,f_{S_{i}R_{N_{r}}}]^{T}, (2)

where fSiRjf_{S_{i}R_{j}}s, i=1,2i=1,2 and j=1,2,,Nrj=1,2,\ldots,N_{r} are the instant reciprocal flat fading channel coefficients between the transceiver SUiSU_{i} and the secondary relay RjR_{j}.

Moreover, we assume that the NI×1N_{I}\times 1 complex channel coefficient vectors between the interferers and PUiPU_{i} and SUiSU_{i}, i=1,2i=1,2, are defined as:

𝐡Pi\displaystyle{\bf{h}}_{P_{i}} =\displaystyle= [hPiI1,hPiI2,,hPiINI]T\displaystyle[h_{P_{i}{I_{1}}},h_{P_{i}{I_{2}}},\ldots,h_{P_{i}{I_{N_{I}}}}]^{T} (3a)
𝐡Si\displaystyle{\bf{h}}_{S_{i}} =\displaystyle= [hSiI1,hSiI2,,hSiINI]T,\displaystyle[h_{S_{i}{I_{1}}},h_{S_{i}{I_{2}}},\ldots,h_{S_{i}{I_{N_{I}}}}]^{T}, (4a)

where hPiIlh_{P_{i}{I_{l}}} and hSiIlh_{S_{i}{I_{l}}} denote the instant reciprocal flat fading channel coefficients between the interferer IlI_{l}, l=1,,NIl=1,\ldots,N_{I}, and PUiPU_{i} and SUiSU_{i}, i=1,2i=1,2, respectively. Also, the Nr×1N_{r}\times 1 complex channel coefficient vectors between the secondary relays and the interferer IlI_{l}, l=1,2,,NIl=1,2,\ldots,N_{I}, are defined as:

𝐡Il\displaystyle{\bf{h}}_{I_{l}} =\displaystyle= [hR1Il,hR2Il,,hRNrIl]T,\displaystyle[h_{R_{1}I_{l}},h_{R_{2}I_{l}},\ldots,h_{R_{N_{r}}I_{l}}]^{T}, (5)

where, hRjIlh_{R_{j}I_{l}}s, j=1,2,,Nrj=1,2,\ldots,N_{r} and l=1,2,,NIl=1,2,\ldots,N_{I}, are the instant reciprocal flat fading channel coefficients between the secondary relay RjR_{j} and the interferer IlI_{l}. The channel coefficients in the system model are summarized in Fig. 2.

The complete knowledge of CSI between the interferers and the SDR users is not available and only imperfect CSI estimations of channels between the PUs and the interferers, the SUs and interferers, and the secondary relays and the the interferers denoted by 𝐡^Pi\hat{{\bf{h}}}_{P_{i}}, 𝐡^Si\hat{{\bf{h}}}_{S_{i}}, 𝐡^Il\hat{{\bf{h}}}_{I_{l}}, i=1,2i=1,2 and l=1,2,,NIl=1,2,\ldots,N_{I}, respectively is provided by the centralized controller. Mathematically, this assumption can be written as [46]:

𝐡Pi=\displaystyle{{\bf{h}}_{P_{i}}}= 𝐡^Pi+𝐡Pi,\displaystyle\hat{{\bf{h}}}_{P_{i}}+\nabla{\bf{h}}_{P_{i}}, 𝐡PiϵPi\displaystyle\|\nabla{\bf{h}}_{P_{i}}\|\leq\epsilon_{P_{i}} (6a)
𝐡Si=\displaystyle{{\bf{h}}_{S_{i}}}= 𝐡^Si+𝐡Si,\displaystyle\hat{{\bf{h}}}_{S_{i}}+\nabla{\bf{h}}_{S_{i}}, 𝐡SiϵSi\displaystyle\|\nabla{\bf{h}}_{S_{i}}\|\leq\epsilon_{S_{i}} (7a)
𝐡Il=\displaystyle{{\bf{h}}_{I_{l}}}= 𝐡Il^+𝐡Il,\displaystyle\hat{{\bf{h}}_{I_{l}}}+\nabla{\bf{h}}_{I_{l}}, 𝐡Ilϵl\displaystyle\|\nabla{\bf{h}}_{I_{l}}\|\leq\epsilon_{l} (8a)

where 𝐡Pi\nabla{\bf{h}}_{P_{i}}, 𝐡Si\nabla{\bf{h}}_{S_{i}} and 𝐡Il\nabla{\bf{h}}_{I_{l}} are the bounded uncertainty CSI vectors and ϵPi\epsilon_{P_{i}}, ϵSi\epsilon_{S_{i}}, and ϵl\epsilon_{l} denote the maximum value of CSI estimation error. The key advantage of this model is that it does not rely on the knowledge of distribution of the estimation errors rather it only requires the maximum value of these errors [46].

Refer to caption

Fig. 2: Channel coefficient vectors between interferers and SUiSU_{i} (𝐡Si{\bf{h}}_{S_{i}}), interferers and PUiPU_{i} (𝐡Pi{\bf{h}}_{P_{i}}), interferer IlI_{l} and relays (𝐡Il{\bf{h}}_{I_{l}}), SUiSU_{i} and relays(𝐟Si{\bf{f}}_{S_{i}}), and PUiPU_{i} and relays(𝐟Si{\bf{f}}_{S_{i}}).

In MABC protocol, the messages are exchanged in two time slots, where in the first one, the primary and secondary transceivers send their messages, xPix_{P_{i}} and xSix_{S_{i}}, i=1,2i=1,2, simultaneously. The relays receive a linear combination of all primary and secondary transmitted signals as well as the external interference signals xIl(1)x_{I_{l}}^{(1)}, l=1,2,,NIl=1,2,\ldots,N_{I}. Each relay rebroadcasts a weighted version of the received signal (AF relaying) in the second time-slot. Each transceiver receives a linear combination of its own signal, the other primary or secondary transceivers and the external interference signals xIl(2)x_{I_{l}}^{(2)}, l=1,2,,NIl=1,2,\ldots,N_{I}, in this time-slot. Without loss of generality, we assume that 𝐄{|xPi|2}=𝐄{|xSi|2}=𝐄{|xIl(i)|2}=1\mathbf{E}\{|x_{P_{i}}|^{2}\}=\mathbf{E}\{|x_{S_{i}}|^{2}\}=\mathbf{E}\{|x_{I_{l}}^{(i)}|^{2}\}=1 for all i=1,2i=1,2 and l=1,,NIl=1,\ldots,N_{I}. Also, we assume that all messages from different sources or in different time-slots are independent. Either primary or secondary transceivers may extract the desired signal considering the full knowledge of the self-interference portion of the signal.

The Nr×1N_{r}\times 1 vector of the received signal at the secondary relay network, in the first time-slot, can be written as:

𝐫\displaystyle{\bf{r}} =\displaystyle= i=12PPi𝐟PixPi+i=12PSi𝐟SiRxSi+l=1NIPIl𝐡IlxIl(1)+𝝂,\displaystyle\sum_{i=1}^{2}{\sqrt{P_{P_{i}}}{\bf{f}}_{P_{i}}x_{P_{i}}}+\sum_{i=1}^{2}{\sqrt{P_{S_{i}}}{\bf{f}}_{S_{i}R}x_{S_{i}}}+\sum_{l=1}^{N_{I}}{\sqrt{P_{I_{l}}}{\bf{h}}_{I_{l}}x_{I_{l}}^{(1)}}+\boldsymbol{\nu}, (9)

where PPiP_{P_{i}}, PSiP_{S_{i}} and PIlP_{I_{l}}, i=1,2i=1,2 and l=1,2,,NIl=1,2,\ldots,N_{I} denote the transmit power of primary transceivers, secondary transceivers and interferers, respectively. The Nr×1N_{r}\times 1 vector 𝝂𝒩𝒞(0,σ2𝐈Nr)\boldsymbol{\nu}\sim\mathcal{N}_{\mathcal{C}}(\textbf{0},\sigma^{2}{\bf{I}}_{N_{r}}) represents the white Gaussian noise at the relays. Each relay multiplies its received signal by a complex number wjw^{*}_{j}, j=1,2,,Nrj=1,2,\ldots,N_{r} and rebroadcasts it in the second time-slot. By defining the Nr×1N_{r}\times 1 beamforming vector 𝐰=[w1,w2,,wNr]T{\bf{w}}=[w_{1},w_{2},\ldots,w_{N_{r}}]^{T}, the Nr×1N_{r}\times 1 transmitted vector at the relays can be written as:

𝐭\displaystyle{\bf{t}} =\displaystyle= 𝐖H𝐫\displaystyle{\bf{W}}^{H}{\bf{r}} (10)
=\displaystyle= i=12PPi𝐖H𝐟PixPi+i=12PSi𝐖H𝐟SixSi+l=1NIPIl𝐖H𝐡IlxIl(1)+𝐖H𝝂.\displaystyle\sum_{i=1}^{2}{\sqrt{P_{P_{i}}}{\bf{W}}^{H}{\bf{f}}_{P_{i}}x_{P_{i}}}+\sum_{i=1}^{2}{\sqrt{P_{S_{i}}}{\bf{W}}^{H}{\bf{f}}_{S_{i}}x_{S_{i}}}+\sum_{l=1}^{N_{I}}{\sqrt{P_{I_{l}}}{\bf{W}}^{H}{\bf{h}}_{I_{l}}x_{I_{l}}^{(1)}}+{\bf{W}}^{H}\boldsymbol{\nu}.

The individual power consumption at each relay can be written as:

Prj\displaystyle P_{r_{j}} =\displaystyle= 𝐄{|𝐭{j}|2}=(𝐖H𝐄{𝐫𝐫H}𝐖){j,j}\displaystyle\mathbf{E}\{|{\bf{t}}_{\{j\}}|^{2}\}=({\bf{W}}^{H}\mathbf{E}\{{\bf{r}}{\bf{r}}^{H}\}{\bf{W}})_{\{j,j\}} (11)
=\displaystyle= (𝐖H{i=12PPj𝐟PiR𝐟PiRH+i=12PSi𝐟SiR𝐟SiRH+l=1NIPIl𝐡Il𝐡IlH+σ2𝐈Nr}𝐖){j,j},\displaystyle({\bf{W}}^{H}\left\{\sum_{i=1}^{2}{{P_{P_{j}}}{\bf{f}}_{P_{i}R}{\bf{f}}_{P_{i}R}^{H}}+\sum_{i=1}^{2}{{P_{S_{i}}}{\bf{f}}_{S_{i}R}{\bf{f}}_{S_{i}R}^{H}}+\sum_{l=1}^{N_{I}}{{P_{I_{l}}}{\bf{h}}_{I_{l}}{\bf{h}}_{I_{l}}^{H}}+\sigma^{2}{\bf{I}}_{N_{r}}\right\}{\bf{W}})_{\{j,j\}},

for j=1,,Nrj=1,\ldots,N_{r}. After some mathematical manipulation and by using the fact that 𝐀𝐛=𝐁𝐚{\bf{A}}{\bf{b}}={\bf{B}}{\bf{a}} if 𝐚=diag(𝐀){\bf{a}}=diag({\bf{A}}) and 𝐛=diag(𝐁){\bf{b}}=diag({\bf{B}}) for arbitrary same-size vectors 𝐚{\bf{a}} and 𝐛{\bf{b}}, (11) is simplified as:

Prj=ξrj|wj|2,\displaystyle P_{r_{j}}=\xi_{r_{j}}|w_{j}|^{2}, (12)

where

ξrj\displaystyle\xi_{r_{j}} =\displaystyle= i=12PPi|(𝐟PiR){j}|2+i=12PSi|(𝐟SiR){j}|2+l=1NIPIl|(𝐡Il){j}|2+σ2,\displaystyle\sum_{i=1}^{2}{{P_{P_{i}}}{|({\bf{f}}_{P_{i}R})_{\{j\}}|^{2}}}+\sum_{i=1}^{2}{{P_{S_{i}}}|({\bf{f}}_{S_{i}R})_{\{j\}}|^{2}}+\sum_{l=1}^{N_{I}}{{P_{I_{l}}}|({\bf{h}}_{I_{l}})_{\{j\}}|^{2}}+\sigma^{2}, (13)

for j=1,,Nrj=1,\ldots,N_{r}. The received signal at PUiPU_{i}, i=1,2i=1,2, in the second time-slot can be written as:

yPi\displaystyle y_{P_{i}} =\displaystyle= k=12PPk𝐰H𝐅Pi𝐟PkxPk+k=12PSk𝐰H𝐅Pi𝐟SkxSk\displaystyle\sum_{k=1}^{2}{\sqrt{P_{P_{k}}}{\bf{w}}^{H}{\bf{F}}_{P_{i}}{\bf{f}}_{P_{k}}x_{P_{k}}}+\sum_{k=1}^{2}{\sqrt{P_{S_{k}}}{\bf{w}}^{H}{\bf{F}}_{P_{i}}{\bf{f}}_{S_{k}}x_{S_{k}}} (14)
+\displaystyle+ l=1NIPIl𝐰H𝐅Pi𝐡IlxIl(1)+l=1NIPIlhPiIlxIl(2)+𝐰H𝐅Pi𝝂+νPi,\displaystyle\sum_{l=1}^{N_{I}}{\sqrt{P_{I_{l}}}{\bf{w}}^{H}{\bf{F}}_{P_{i}}{\bf{h}}_{I_{l}}x_{I_{l}}^{(1)}}+\sum_{l=1}^{N_{I}}{\sqrt{P_{I_{l}}}h_{P_{i}{I_{l}}}x_{I_{l}}^{(2)}}+{\bf{w}}^{H}{\bf{F}}_{P_{i}}\boldsymbol{\nu}+\nu_{P_{i}},

where νPi𝒩𝒞(0,σ2)\nu_{P_{i}}\sim\mathcal{N}_{\mathcal{C}}(0,\sigma^{2}) is the white Gaussian noise at the PUiPU_{i}, 𝐰{\bf{w}} denotes the beamforming vector. Notation 𝐅{\bf{F}} represents a diagonal matrix with 𝐅i,i=𝐢{\bf{F}}_{{i,i}}=\bf_{{i}} as previously defined in Table I. The received signal at SUiSU_{i}, i=1,2i=1,2, in the second time-slot can be written as:

ySi\displaystyle y_{S_{i}} =\displaystyle= k=12PPk𝐰H𝐅Si𝐟PkxPk+k=12PSk𝐰H𝐅Si𝐟SkxSk\displaystyle\sum_{k=1}^{2}{\sqrt{P_{P_{k}}}{\bf{w}}^{H}{\bf{F}}_{S_{i}}{\bf{f}}_{P_{k}}x_{P_{k}}}+\sum_{k=1}^{2}{\sqrt{P_{S_{k}}}{\bf{w}}^{H}{\bf{F}}_{S_{i}}{\bf{f}}_{S_{k}}x_{S_{k}}} (15)
+\displaystyle+ l=1NIPIl𝐰H𝐅Si𝐡IlxIl(1)+l=1NIPIlhSiIlxIl(2)+𝐰H𝐅Si𝝂+νSi,\displaystyle\sum_{l=1}^{N_{I}}{\sqrt{P_{I_{l}}}{\bf{w}}^{H}{\bf{F}}_{S_{i}}{\bf{h}}_{I_{l}}x_{I_{l}}^{(1)}}+\sum_{l=1}^{N_{I}}{\sqrt{P_{I_{l}}}h_{S_{i}{I_{l}}}x_{I_{l}}^{(2)}}+{\bf{w}}^{H}{\bf{F}}_{S_{i}}\boldsymbol{\nu}+\nu_{S_{i}},

where νSi𝒩𝒞(0,σ2)\nu_{S_{i}}\sim\mathcal{N}_{\mathcal{C}}(0,\sigma^{2}) is the white Gaussian noise at the SUiSU_{i}. It is assumed that each primary and secondary transceiver can compute and subtract the self-interference part of the received signal. Therefore, the residual received signals at the primary transceiver can be written as:

y~Pj\displaystyle\tilde{y}_{P_{j}} =\displaystyle= PPj¯𝐰H𝐅Pj𝐟Pj¯RxPj¯Desired Signal+i=12PSi𝐰H𝐅Pj𝐟SixSi\displaystyle\underbrace{\sqrt{P_{P_{\bar{j}}}}{\bf{w}}^{H}{\bf{F}}_{P_{j}}{\bf{f}}_{P_{\bar{j}}R}x_{P_{\bar{j}}}}_{\mbox{Desired Signal}}+\sum_{i=1}^{2}{\sqrt{P_{S_{i}}}{\bf{w}}^{H}{\bf{F}}_{P_{j}}{\bf{f}}_{S_{i}}x_{S_{i}}} (16)
+\displaystyle+ l=1NIPIl𝐰H𝐅Pj𝐡IlxIl(1)+l=1NIPIlhPjIlxIl(2)+𝐰H𝐅Pj𝝂+νPj,j=1,2.\displaystyle\sum_{l=1}^{N_{I}}{\sqrt{P_{I_{l}}}{\bf{w}}^{H}{\bf{F}}_{P_{j}}{\bf{h}}_{I_{l}}x_{I_{l}}^{(1)}}+\sum_{l=1}^{N_{I}}{\sqrt{P_{I_{l}}}h_{P_{j}{I_{l}}}x_{I_{l}}^{(2)}}+{\bf{w}}^{H}{\bf{F}}_{P_{j}}\boldsymbol{\nu}+\nu_{P_{j}},\;\;\;j=1,2.

Also the residual received signals at the secondary transceivers can be written as:

y~Sj\displaystyle\tilde{y}_{S_{j}} =\displaystyle= i=12PPi𝐰H𝐅Sj𝐟PixPi+PSj¯𝐰H𝐅Sj𝐟Sj¯RxSj¯Desired Signal\displaystyle\sum_{i=1}^{2}{\sqrt{P_{P_{i}}}{\bf{w}}^{H}{\bf{F}}_{S_{j}}{\bf{f}}_{P_{i}}x_{P_{i}}}+\underbrace{\sqrt{P_{S_{\bar{j}}}}{\bf{w}}^{H}{\bf{F}}_{S_{j}}{\bf{f}}_{S_{\bar{j}}R}x_{S_{\bar{j}}}}_{\mbox{Desired Signal}} (17)
+\displaystyle+ l=1NIPIl𝐰H𝐅Sj𝐡IlxIl(1)+l=1NIPIlhSjIlxIl(2)+𝐰H𝐅Sj𝝂+νSj,j=1,2.\displaystyle\sum_{l=1}^{N_{I}}{\sqrt{P_{I_{l}}}{\bf{w}}^{H}{\bf{F}}_{S_{j}}{\bf{h}}_{I_{l}}x_{I_{l}}^{(1)}}+\sum_{l=1}^{N_{I}}{\sqrt{P_{I_{l}}}h_{S_{j}{I_{l}}}x_{I_{l}}^{(2)}}+{\bf{w}}^{H}{\bf{F}}_{S_{j}}\boldsymbol{\nu}+\nu_{S_{j}},\;\;\;j=1,2.

Let us define

𝐤PiPj=𝐅Pi𝐟Pj,𝐤SiSj=𝐅Si𝐟Sjand𝐤SiPj=𝐅Si𝐟Pj,\displaystyle{\bf{k}}_{P_{i}P_{j}}={\bf{F}}_{P_{i}}{\bf{f}}_{P_{j}}\qquad,\qquad{\bf{k}}_{S_{i}S_{j}}={\bf{F}}_{S_{i}}{\bf{f}}_{S_{j}}\qquad\mbox{and}\qquad{\bf{k}}_{S_{i}P_{j}}={\bf{F}}_{S_{i}}{\bf{f}}_{P_{j}}, (18)

for i,j=1,2i,j=1,2,

𝐐Pj\displaystyle{\bf{Q}}_{P_{j}} =\displaystyle= i=12PSi𝐤SiPj𝐤SiPjH+σ2𝐅Pj𝐅PjH+l=1NIPIl𝐅Pj𝐡Il𝐡IlH𝐅PjH,j=1,2\displaystyle\sum_{i=1}^{2}{P_{S_{i}}{\bf{k}}_{S_{i}P_{j}}{\bf{k}}_{S_{i}P_{j}}^{H}}+\sigma^{2}{\bf{F}}_{P_{j}}{\bf{F}}_{P_{j}}^{H}+\sum_{l=1}^{N_{I}}{P_{I_{l}}{{\bf{F}}_{P_{j}}{\bf{h}}_{I_{l}}{\bf{h}}_{I_{l}}^{H}{\bf{F}}_{P_{j}}^{H}}},\;\;\;j=1,2 (19a)
𝐐Sj\displaystyle{\bf{Q}}_{S_{j}} =\displaystyle= i=12PPi𝐤SjPi𝐤SjPiH+σ2𝐅Sj𝐅SjH+l=1NIPIl𝐅Sj𝐡Il𝐡IlH𝐅SjH,j=1,2.\displaystyle\sum_{i=1}^{2}{P_{P_{i}}{\bf{k}}_{S_{j}P_{i}}{\bf{k}}_{S_{j}P_{i}}^{H}}+\sigma^{2}{\bf{F}}_{S_{j}}{\bf{F}}_{S_{j}}^{H}+\sum_{l=1}^{N_{I}}{P_{I_{l}}{{\bf{F}}_{S_{j}}{\bf{h}}_{I_{l}}{\bf{h}}_{I_{l}}^{H}{\bf{F}}_{S_{j}}^{H}}},\;\;\;j=1,2. (20a)

and

ζPi=l=1NIPIl|hPiIl|2,ζSi=l=1NIPIl|hSiIl|2,i=1,2.\displaystyle\zeta_{P_{i}}=\sum_{l=1}^{N_{I}}{P_{I_{l}}|h_{P_{i}{I_{l}}}|^{2}}\qquad,\qquad\zeta_{S_{i}}=\sum_{l=1}^{N_{I}}{P_{I_{l}}|h_{S_{i}{I_{l}}}|^{2}},\;\;\;i=1,2. (21)

By using the above definitions and the residual signals (16) and (17), the SINRs at the primary and secondary transceivers can be written as:

SINRPi\displaystyle{}SINR_{P_{i}} =\displaystyle= PPi¯𝐰H𝐤P1P2𝐤P1P2H𝐰𝐰H𝐐Pi𝐰+ζPi+σ2,i=1,2\displaystyle\frac{P_{P_{\bar{i}}}{\bf{w}}^{H}{\bf{k}}_{P_{1}P_{2}}{\bf{k}}_{P_{1}P_{2}}^{H}{\bf{w}}}{{\bf{w}}^{H}{\bf{Q}}_{P_{i}}{\bf{w}}+\zeta_{P_{i}}+\sigma^{2}},\;\;\;i=1,2 (22a)
SINRSi\displaystyle SINR_{S_{i}} =\displaystyle= PSi¯𝐰H𝐤S1S2𝐤S1S2H𝐰𝐰H𝐐Si𝐰+ζSi+σ2,i=1,2.\displaystyle\frac{P_{S_{\bar{i}}}{\bf{w}}^{H}{\bf{k}}_{S_{1}S_{2}}{\bf{k}}_{S_{1}S_{2}}^{H}{\bf{w}}}{{\bf{w}}^{H}{\bf{Q}}_{S_{i}}{\bf{w}}+\zeta_{S_{i}}+\sigma^{2}},\;\;\;i=1,2. (23a)

In the next section, the SINR optimization problem is discussed.

IV SINR’s Optimization with perfect CSI

The goal of this section is to find an optimal weight vector, 𝐰{\bf{w}} such that the SINRs in the primary and secondary network is maximized. This optimization problem can be represented as a Max-Min problem with the sense of maximizing the minimum value among primary and secondary’s SINRs. Despite the majority of reported works, in which the optimal beamforming vector is found to guarantee a minimum QoS for only the PUs, here we provide a solution to assure the required QoS for both PUs and SUs. In fact, the SUs have already obtained access to the spectrum by reason of their soft-lease and deserve to have a minimum QoS. However, considering the priority of the PUs as the spectrum owners, a design parameter μ1\mu\geq 1 is defined as an expected ratio between SINRs for the PUs and SUs. Another assumption in this optimization problem is that the available individual power at the relays is limited. Therefore, the SINR maximization problem can be written as:

max𝐰 \displaystyle\max_{{\bf{w}}}\mbox{\;} min{{SINRPi}i=1,2,μ{SINRSi}i=1,2}\displaystyle\min{\left\{\{SINR_{P_{i}}\}_{i=1,2},\mu\{SINR_{S_{i}}\}_{i=1,2}\right\}} (24)
Subject To: PrjPlmax,\displaystyle\mbox{Subject To:\;}~~P_{r_{j}}\leq P_{l}^{max}, l=1,,Nr.\displaystyle\;\;\;l=1,\ldots,N_{r}. (25a)

By defining an auxiliary real variable γ>0\gamma>0, the Max-Min problem (24) can be rewritten as:

max𝐰,γ>0\displaystyle\max_{{\bf{w}},\gamma>0} γ\displaystyle\gamma (26)
Subject To: SINRPiγ,\displaystyle SINR_{P_{i}}\geq\gamma,  i=1,2\displaystyle\mbox{\;\;\;}i=1,2 (27a)
μSINRSiγ,\displaystyle\mu SINR_{S_{i}}\geq\gamma,  i=1,2\displaystyle\mbox{\;\;\;}i=1,2 (28a)
PrjPjmax,\displaystyle P_{r_{j}}\leq P_{j}^{max},  j=1,,Nr.\displaystyle\mbox{\;\;\;}j=1,\ldots,N_{r}. (29a)

By using (12) and (22a), the optimization problem (26) can be rewritten as:

max𝐰,γ>0\displaystyle\max_{{\bf{w}},\gamma>0} γ\displaystyle\gamma (30)
Subject To: PPi¯𝐰H𝐤P1P2𝐤P1P2H𝐰𝐰H𝐐Pi𝐰+ζPi+σ2γ,\displaystyle\frac{P_{P_{\bar{i}}}{\bf{w}}^{H}{\bf{k}}_{P_{1}P_{2}}{\bf{k}}_{P_{1}P_{2}}^{H}{\bf{w}}}{{\bf{w}}^{H}{\bf{Q}}_{P_{i}}{\bf{w}}+\zeta_{P_{i}}+\sigma^{2}}\geq\gamma,  i=1,2\displaystyle\mbox{\;\;\;}i=1,2 (31a)
μPSi¯𝐰H𝐤S1S2𝐤S1S2H𝐰𝐰H𝐐Si𝐰+ζSi+σ2γ,\displaystyle\mu\frac{P_{S_{\bar{i}}}{\bf{w}}^{H}{\bf{k}}_{S_{1}S_{2}}{\bf{k}}_{S_{1}S_{2}}^{H}{\bf{w}}}{{\bf{w}}^{H}{\bf{Q}}_{S_{i}}{\bf{w}}+\zeta_{S_{i}}+\sigma^{2}}\geq\gamma,  i=1,2\displaystyle\mbox{\;\;\;}i=1,2 (32a)
ξrj|Nr,jT𝐰|2Pjmax,\displaystyle\xi_{r_{j}}|{\boldsymbol{\ell}_{N_{r},j}}^{T}{\bf{w}}|^{2}\leq P_{j}^{max},  j=1,,Nr.\displaystyle\mbox{\;\;\;}j=1,\ldots,N_{r}. (33a)

In the following subsection we investigate the feasibility condition(s) of the optimization problem (30).

IV-A Feasibility Condition

Lemma IV.1.

Let 𝚫{\boldsymbol{\Delta}} denote a Positive Definite (PD) matrix, 𝐚{\bf{a}} represent a vector of the same length as size of 𝚫{\boldsymbol{\Delta}}, t and c are positive scalars and 𝐱{\bf{x}} be the vector variable with the same length as 𝐚{\bf{a}}, then 𝐚H𝚫1𝐚t0{\bf{a}}^{H}{\boldsymbol{\Delta}}^{-1}{\bf{a}}-t\geq 0 is a feasibility condition for the following constraint:

𝐱H𝐚𝐚H𝐱𝐱H𝚫𝐱+ct.\displaystyle\frac{{\bf{x}}^{H}{\bf{a}}{\bf{a}}^{H}{\bf{x}}}{{\bf{x}}^{H}{\boldsymbol{\Delta}}{\bf{x}}+c}\geq t. (34)
Proof.

The constraint (34) can be rearranged and be written as:

𝐱H(𝐚𝐚Ht𝚫)𝐱ct\displaystyle{\bf{x}}^{H}({\bf{a}}{\bf{a}}^{H}-t{\boldsymbol{\Delta}}){\bf{x}}\geq ct (35)

An optimization becomes infeasible, i. e.  no feasible point for 𝐱{\bf{x}} were found, if the core matrix 𝐚𝐚Ht𝚫{\bf{a}}{\bf{a}}^{H}-t{\boldsymbol{\Delta}} was negative semi-definite. Also, if this matrix was not negative semi-definite, a vector 𝐱p{\bf{x}}_{p} exists such a way that 𝐱pH(𝐚𝐚Ht𝚫)𝐱p>0{\bf{x}}_{p}^{H}({\bf{a}}{\bf{a}}^{H}-t{\boldsymbol{\Delta}}){\bf{x}}_{p}>0, thus one may scale up 𝐱p{\bf{x}}_{p} in a way that the inequality (35) is satisfied. Therefore, (35) is feasible if and only if the matrix 𝐚𝐚Ht𝚫{\bf{a}}{\bf{a}}^{H}-t{\boldsymbol{\Delta}} was not negative semi-definite. As a result of the above discussion, the infeasibility condition can be written as:

𝐚𝐚Ht𝚫0.\displaystyle{\bf{a}}{\bf{a}}^{H}-t{\boldsymbol{\Delta}}\preceq 0. (36)

Since the matrix 𝚫{\boldsymbol{\Delta}} is positive definite, the constraint (36) is equivalent to 𝚫12(𝚫12𝐚𝐚H𝚫12t𝐈)𝚫120{\boldsymbol{\Delta}}^{\frac{1}{2}}({\boldsymbol{\Delta}}^{\frac{-1}{2}}{\bf{a}}{\bf{a}}^{H}{\boldsymbol{\Delta}}^{\frac{-1}{2}}-t{\bf{I}}){\boldsymbol{\Delta}}^{\frac{1}{2}}\preceq 0. Also, the matrix 𝚫12{\boldsymbol{\Delta}}^{\frac{1}{2}} is positive definite, we can rewrite the above mentioned condition as 𝚫12𝐚𝐚H𝚫12t𝐈0{\boldsymbol{\Delta}}^{\frac{-1}{2}}{\bf{a}}{\bf{a}}^{H}{\boldsymbol{\Delta}}^{\frac{-1}{2}}-t{\bf{I}}\preceq 0, or equivalently λmax{𝚫12𝐚𝐚H𝚫12t𝐈}>0\lambda_{max}\{{\boldsymbol{\Delta}}^{\frac{-1}{2}}{\bf{a}}{\bf{a}}^{H}{\boldsymbol{\Delta}}^{\frac{-1}{2}}-t{\bf{I}}\}>0. The matrix 𝚫12𝐚𝐚H𝚫12{\boldsymbol{\Delta}}^{\frac{-1}{2}}{\bf{a}}{\bf{a}}^{H}{\boldsymbol{\Delta}}^{\frac{-1}{2}} is a rank one matrix. Hence, for t>0t>0, all of the eigenvalues of the matrix 𝚫12𝐚𝐚H𝚫12t𝐈{\boldsymbol{\Delta}}^{\frac{-1}{2}}{\bf{a}}{\bf{a}}^{H}{\boldsymbol{\Delta}}^{\frac{-1}{2}}-t{\bf{I}} are equal to zero except 𝐚H𝚫1𝐚t{\bf{a}}^{H}{\boldsymbol{\Delta}}^{-1}{\bf{a}}-t. Therefore, the feasibility condition can be summarized as 𝐚H𝚫1𝐚t>0{\bf{a}}^{H}{\boldsymbol{\Delta}}^{-1}{\bf{a}}-t>0. ∎

Using Lemma IV.1, the feasibility conditions for the individual constraints in optimization problem (30) can be written as:

PPi¯𝐤P1P2H𝐐Pi1𝐤P1P2γ>0,\displaystyle P_{P_{\bar{i}}}{\bf{k}}_{P_{1}P_{2}}^{H}{{\bf{Q}}_{P_{i}}}^{-1}{\bf{k}}_{P_{1}P_{2}}-\gamma>0, i=1,2\displaystyle\;\;\;i=1,2 (37a)
μPSi¯𝐤S1S2H𝐐Si1𝐤S1S2γ>0,\displaystyle\mu P_{S_{\bar{i}}}{\bf{k}}_{S_{1}S_{2}}^{H}{{\bf{Q}}_{S_{i}}}^{-1}{\bf{k}}_{S_{1}S_{2}}-\gamma>0, i=1,2.\displaystyle\;\;\;i=1,2. (38a)

Therefore, by using the feasibility conditions (37a), an upper bound condition for γ\gamma can be written as:

γup\displaystyle\gamma^{up} =\displaystyle= min{{PPi¯𝐤P1P2H𝐐Pi1𝐤P1P2}i=1,2,μ{PSi¯𝐤S1S2H𝐐Si1𝐤S1S2}i=1,2}.\displaystyle\min{\left\{\{P_{P_{\bar{i}}}{\bf{k}}_{P_{1}P_{2}}^{H}{{\bf{Q}}_{P_{i}}}^{-1}{\bf{k}}_{P_{1}P_{2}}\}_{i=1,2},\mu\{P_{S_{\bar{i}}}{\bf{k}}_{S_{1}S_{2}}^{H}{{\bf{Q}}_{S_{i}}}^{-1}{\bf{k}}_{S_{1}S_{2}}\}_{i=1,2}\right\}}. (39)

The upper bound value (39) of γ\gamma does not guarantee the feasibility of the optimization problem (30), since it was obtained from individual constraints. In other word, the union of the feasibility regions associated with each constraint in (30) may provide additional limitation on γ\gamma value. Therefore, we provide a method to find the optimal solution of γ\gamma in the next subsection.

IV-B Optimal SINR Solution

In this subsection, a feasibility check bisection method is used to find the optimal value of γ\gamma. In this method, the optimization problem (30) will turn into the following feasibility check problem for a given value of γ\gamma:

Find𝐰\displaystyle\mbox{Find}\;\;\;{{\bf{w}}} (40)
PPi¯𝐰H𝐤P1P2𝐤P1P2H𝐰𝐰H𝐐Pi𝐰+ζPi+σ2γ,\displaystyle\frac{P_{P_{\bar{i}}}{\bf{w}}^{H}{\bf{k}}_{P_{1}P_{2}}{\bf{k}}_{P_{1}P_{2}}^{H}{\bf{w}}}{{\bf{w}}^{H}{\bf{Q}}_{P_{i}}{\bf{w}}+\zeta_{P_{i}}+\sigma^{2}}\geq\gamma,  i=1,2\displaystyle\mbox{\;\;\;}i=1,2 (41a)
μPSi¯𝐰H𝐤S1S2𝐤S1S2H𝐰𝐰H𝐐Si𝐰+ζSi+σ2γ,\displaystyle\mu\frac{P_{S_{\bar{i}}}{\bf{w}}^{H}{\bf{k}}_{S_{1}S_{2}}{\bf{k}}_{S_{1}S_{2}}^{H}{\bf{w}}}{{\bf{w}}^{H}{\bf{Q}}_{S_{i}}{\bf{w}}+\zeta_{S_{i}}+\sigma^{2}}\geq\gamma,  i=1,2\displaystyle\mbox{\;\;\;}i=1,2 (42a)
ξrj|Nr,jT𝐰|2Pjmax, \displaystyle\xi_{r_{j}}|{\boldsymbol{\ell}_{N_{r},j}}^{T}{\bf{w}}|^{2}\leq P_{j}^{max},\mbox{\;\;\;} j=1,,Nr.\displaystyle j=1,\ldots,N_{r}. (43a)

The idea is to find the optimal value of γ\gamma, i.e., γopt\gamma^{opt}, we do not need to calculate the optimum vector 𝐰{\bf{w}}. To do so, we start from an initial interval (γ0low,γ0up)(\gamma_{0}^{low},\gamma_{0}^{up}) of γopt\gamma^{opt} where γ0up\gamma_{0}^{up} is the initial upper bound of γopt\gamma^{opt}, which is derived in (39) and γ0low\gamma_{0}^{low} is the initial lower bound of γopt\gamma^{opt}, which is zero. Then, at step nn, by choosing γ=12(γn1low+γn1up)\gamma=\frac{1}{2}(\gamma_{n-1}^{low}+\gamma_{n-1}^{up}) and checking the feasibility of problem (40), the solution interval of γopt\gamma^{opt} will be updated as:

(γnlow,γnup)\displaystyle(\gamma_{n}^{low},\gamma_{n}^{up}) =\displaystyle= {(12(γn1low+γn1up),γn1up), if (40) feasible(γn1low,12(γn1low+γn1up)), otherwise.\displaystyle\left\{\begin{array}[]{cc}(\frac{1}{2}(\gamma_{n-1}^{low}+\gamma_{n-1}^{up}),\gamma_{n-1}^{up})&\mbox{, if (\ref{Equ:Findw}) feasible}\\ &\\ (\gamma_{n-1}^{low},\frac{1}{2}(\gamma_{n-1}^{low}+\gamma_{n-1}^{up}))&\mbox{, otherwise.}\end{array}\right.

This bisection method will be continued until a small enough range of ϵ\epsilon for the solution interval of γopt\gamma^{opt} is achieved. It is worth mentioning that the bisection method increases the complexity order of our method by a factor of log2(γupϵ)\log_{2}\left(\frac{\gamma^{up}}{\epsilon}\right). In order to solve the feasibility check problem (40), we rearrange the constraints in a quadratic format:

Find𝐰\displaystyle\mbox{Find}\;\;\;{{\bf{w}}} (48)
𝐰H(PPi¯𝐤P1P2𝐤P1P2Hγ𝐐Pi)𝐰γ(ζPi+σ2),\displaystyle{\bf{w}}^{H}(P_{P_{\bar{i}}}{\bf{k}}_{P_{1}P_{2}}{\bf{k}}_{P_{1}P_{2}}^{H}-\gamma{\bf{Q}}_{P_{i}}){\bf{w}}\geq\gamma(\zeta_{P_{i}}+\sigma^{2}),  i=1,2\displaystyle\mbox{\;\;\;}i=1,2 (49a)
𝐰H(μPSi¯𝐤S1S2𝐤S1S2Hγ𝐐Si)𝐰γ(ζSi+σ2),\displaystyle{\bf{w}}^{H}(\mu P_{S_{\bar{i}}}{\bf{k}}_{S_{1}S_{2}}{\bf{k}}_{S_{1}S_{2}}^{H}-\gamma{\bf{Q}}_{S_{i}}){\bf{w}}\geq\gamma(\zeta_{S_{i}}+\sigma^{2}),  i=1,2\displaystyle\mbox{\;\;\;}i=1,2 (50a)
ξrj|Nr,jT𝐰|2Pjmax,\displaystyle\xi_{r_{j}}|{\boldsymbol{\ell}_{N_{r},j}}^{T}{\bf{w}}|^{2}\leq P_{j}^{max},  j=1,,Nr.\displaystyle\mbox{\;\;\;}j=1,\ldots,N_{r}. (51a)

It is observed that if 𝐰{\bf{w}} is in the feasible region of (48), then for any arbitrary real number θ\theta, the vector 𝐰~=ejθ𝐰\tilde{{\bf{w}}}=e^{j\theta}{\bf{w}} is also in the feasible region. Therefore, without loss of generality, we can assume that 𝐤P1P2H𝐰{\bf{k}}_{P_{1}P_{2}}^{H}{\bf{w}} (or 𝐤S1S2H𝐰{\bf{k}}_{S_{1}S_{2}}^{H}{\bf{w}}) is a non-negative real number. By applying this assumption, the constraints (48a) are turned to:

PPi¯γ𝐤P1P2H𝐰𝐰H𝐐Pi𝐰+ζPi+σ2,\displaystyle\sqrt{\frac{P_{P_{\bar{i}}}}{\gamma}}{{\bf{k}}_{P_{1}P_{2}}}^{H}{\bf{w}}\geq\sqrt{{\bf{w}}^{H}{\bf{Q}}_{P_{i}}{\bf{w}}+\zeta_{P_{i}}+\sigma^{2}},  i=1,2\displaystyle\mbox{\;\;\;}i=1,2 (52a)
{𝐤P1P2H𝐰}0,{𝐤P1P2H𝐰}=0\displaystyle\Re\{{\bf{k}}_{P_{1}P_{2}}^{H}{\bf{w}}\}\geq 0\qquad,\qquad\Im\{{\bf{k}}_{P_{1}P_{2}}^{H}{\bf{w}}\}=0 , (53a)

where (52aa) constraints are complex second order (Lorentz) cone (SOC) [51]. However, as an indirect conclusion from Lemma IV.1, the matrices μPSi¯𝐤S1S2𝐤S1S2Hγ𝐐Si\mu P_{S_{\bar{i}}}{\bf{k}}_{S_{1}S_{2}}{\bf{k}}_{S_{1}S_{2}}^{H}-\gamma{\bf{Q}}_{S_{i}}, i=1,2i=1,2, are not positive definite and therefore the constraints (48) do not represent convex regions. In order to make these constraints set convex, we define an auxiliary matrix variable 𝛀=𝐰𝐰H{\boldsymbol{\Omega}}={\bf{w}}{\bf{w}}^{H}. In a quadratic optimization problem, we are allowed to use the matrix variable 𝛀{\boldsymbol{\Omega}} by adding the following counterpart constraints [52]:

𝛀𝐰𝐰H0\displaystyle{\boldsymbol{\Omega}}-{\bf{w}}{\bf{w}}^{H}\succeq 0 (54)

and rank(𝛀)=1rank({\boldsymbol{\Omega}})=1. The positive semidefinite (PSD) condition (54) represents a convex region for variables 𝛀{\boldsymbol{\Omega}} and 𝐰{\bf{w}} [51]. Although, the rank one condition does not represent a convex region; however, one may ignore the rank constraint of Ω\Omega and solve the relaxed optimization problem. It is shown that if a relaxed problem (non ranked restricted) which is linear with respect to 𝛀{\boldsymbol{\Omega}}, was feasible then the rank-one restricted version of that problem is also feasible [52]. Therefore, we remove the rank constraint from our optimization problem.

By using the matrix variable 𝛀{\boldsymbol{\Omega}}, equation (48b) can be converted to:

γ𝐰H𝐐Si𝐰μPSi¯𝐤S1S2𝐤S1S2H𝛀+γ(ζSi+σ2)0\displaystyle\gamma{\bf{w}}^{H}{\bf{Q}}_{S_{i}}{\bf{w}}-\mu P_{S_{\bar{i}}}{\bf{k}}_{S_{1}S_{2}}{\bf{k}}_{S_{1}S_{2}}^{H}\bullet{\boldsymbol{\Omega}}+\gamma(\zeta_{S_{i}}+\sigma^{2})\leq 0  i=1,2\displaystyle\mbox{\;\;\;}i=1,2 (55a)
{(𝐤S1S2𝐤S1S2H)𝛀}0,{(𝐤S1S2𝐤S1S2H)𝛀}=0\displaystyle\Re\{({\bf{k}}_{S_{1}S_{2}}{\bf{k}}_{S_{1}S_{2}}^{H})\bullet{\boldsymbol{\Omega}}\}\geq 0\qquad,\qquad\Im\{({\bf{k}}_{S_{1}S_{2}}{\bf{k}}_{S_{1}S_{2}}^{H})\bullet{\boldsymbol{\Omega}}\}=0 (56a)

for j=1,2j=1,2. In order to reduce the computational complexity order of the problem, the following lemma can be used to convert the quadratic region (55a) into a SOC region.

Lemma IV.2.

For a vector 𝐚{\bf{a}} and positive real numbers α0\alpha\geq 0 and β0\beta\geq 0, the inequality 𝐚H𝐚αβ{\bf{a}}^{H}{\bf{a}}\leq\alpha\beta holds if and only if the inequality [αβ2𝐚]α+β\left\|\left[\begin{array}[]{c}\alpha-\beta\\ 2{\bf{a}}\end{array}\right]\right\|\leq\alpha+\beta holds [52].

Proof.

The lemma will be simply proved by noting that [αβ2𝐚]2=(αβ)2+4𝐚2\left\|\left[\begin{array}[]{c}\alpha-\beta\\ 2{\bf{a}}\end{array}\right]\right\|^{2}=(\alpha-\beta)^{2}+4\|{\bf{a}}\|^{2}. ∎

By applying Lemma IV.2 for the values of α=1\alpha=1, β=μγPSi¯𝐤S1S2𝐤S1S2H𝛀ζSiσ2\beta=\frac{\mu}{\gamma}P_{S_{\bar{i}}}{\bf{k}}_{S_{1}S_{2}}{\bf{k}}_{S_{1}S_{2}}^{H}\bullet{\boldsymbol{\Omega}}-\zeta_{S_{i}}-\sigma^{2} and 𝐚=𝐐Si12𝐰{\bf{a}}={{\bf{Q}}_{S_{i}}}^{\frac{1}{2}}{\bf{w}}, the constraints (55a) will turned into the following SOC constraints:

[1μPSi¯γ𝐤S1S2𝐤S1S2H𝛀+ζSi+σ22𝐐Si12𝐰]1+μPSi¯γ𝐤S1S2𝐤S1S2H𝛀ζSiσ2,\displaystyle\left\|\left[\begin{array}[]{c}1-\frac{\mu P_{S_{\bar{i}}}}{\gamma}{\bf{k}}_{S_{1}S_{2}}{\bf{k}}_{S_{1}S_{2}}^{H}\bullet{\boldsymbol{\Omega}}+\zeta_{S_{i}}+\sigma^{2}\\ 2{{\bf{Q}}_{S_{i}}}^{\frac{1}{2}}{\bf{w}}\end{array}\right]\right\|\leq 1+\frac{\mu P_{S_{\bar{i}}}}{\gamma}{\bf{k}}_{S_{1}S_{2}}{\bf{k}}_{S_{1}S_{2}}^{H}\bullet{\boldsymbol{\Omega}}-\zeta_{S_{i}}-\sigma^{2}, i=1,2\displaystyle\;\;\;i=1,2 (60a)
{(𝐤S1S2𝐤S1S2H)𝛀}0,{(𝐤S1S2𝐤S1S2H)𝛀}=0.\displaystyle\Re\{({\bf{k}}_{S_{1}S_{2}}{\bf{k}}_{S_{1}S_{2}}^{H})\bullet{\boldsymbol{\Omega}}\}\geq 0\qquad,\qquad\Im\{({\bf{k}}_{S_{1}S_{2}}{\bf{k}}_{S_{1}S_{2}}^{H})\bullet{\boldsymbol{\Omega}}\}=0.

By using (52a), (54) and (IV-B), the relaxed version of the problem (48) can be written as:

Find𝐰,𝛀\displaystyle\mbox{Find}\;\;\;{{\bf{w}},{\boldsymbol{\Omega}}} (61)
γ𝐰H𝐐Pi𝐰+ζip+σ2PPi¯γ𝐤P1P2H𝐰,\displaystyle\sqrt{\gamma{\bf{w}}^{H}{\bf{Q}}_{P_{i}}{\bf{w}}+\zeta_{i}^{p}+\sigma^{2}}\leq\sqrt{\frac{P_{P_{\bar{i}}}}{\gamma}}{\bf{k}}_{P_{1}P_{2}}^{H}{\bf{w}},  i=1,2\displaystyle\mbox{\;\;\;}i=1,2
{𝐤P1P2H𝐰}0{𝐤P1P2H𝐰}=0\displaystyle\Re\{{\bf{k}}_{P_{1}P_{2}}^{H}{\bf{w}}\}\geq 0\qquad\Im\{{\bf{k}}_{P_{1}P_{2}}^{H}{\bf{w}}\}=0
[1μγPSi¯𝐤S1S2𝐤S1S2H𝛀+ζSi+σ22𝐐Si12𝐰]1+μγPSi¯𝐤S1S2𝐤S1S2H𝛀ζSiσ2,\displaystyle\left\|\left[\begin{array}[]{c}1-\frac{\mu}{\gamma}P_{S_{\bar{i}}}{\bf{k}}_{S_{1}S_{2}}{\bf{k}}_{S_{1}S_{2}}^{H}\bullet{\boldsymbol{\Omega}}+\zeta_{S_{i}}+\sigma^{2}\\ 2{{\bf{Q}}_{S_{i}}}^{\frac{1}{2}}{\bf{w}}\end{array}\right]\right\|\leq 1+\frac{\mu}{\gamma}P_{S_{\bar{i}}}{\bf{k}}_{S_{1}S_{2}}{\bf{k}}_{S_{1}S_{2}}^{H}\bullet{\boldsymbol{\Omega}}-\zeta_{S_{i}}-\sigma^{2},  i=1,2\displaystyle\mbox{\;\;\;}i=1,2
{(𝐤S1S2𝐤S1S2H)𝛀}0,{(𝐤S1S2𝐤S1S2H)𝛀}=0\displaystyle\Re\{({\bf{k}}_{S_{1}S_{2}}{\bf{k}}_{S_{1}S_{2}}^{H})\bullet{\boldsymbol{\Omega}}\}\geq 0\qquad,\qquad\Im\{({\bf{k}}_{S_{1}S_{2}}{\bf{k}}_{S_{1}S_{2}}^{H})\bullet{\boldsymbol{\Omega}}\}=0
ξrj|Nr,jT𝐰|Pjmax\displaystyle\sqrt{\xi_{r_{j}}}|{\boldsymbol{\ell}_{N_{r},j}}^{T}{\bf{w}}|\leq\sqrt{P_{j}^{max}}  j=1,,Nr\displaystyle\mbox{\;\;\;}j=1,\ldots,N_{r}
𝛀𝐰𝐰H0.\displaystyle{\boldsymbol{\Omega}}-{\bf{w}}{\bf{w}}^{H}\succeq 0.

The feasibility check problem can be solved by employing Second Order Cone Programming (SOCP) using cvx software [53]. It is worth emphasizing that no rank deduction algorithm is required to obtain a rank one solution for 𝛀{\boldsymbol{\Omega}}. In the next section, we define and solve the QoS’s maximization problem when any imperfect interference CSI is available to the central controller.

V SINR’s Optimization with Imperfect Interferers CSI

In session IV, the problem of joint optimizing the SINR of the PUs and SUs considering the perfect knowledge of the external interferences is discussed. However, the assumption of perfect knowledge on the unfriendly interferers’ CSI is not realistic in practical applications. We provide an optimization problem which is robust against all uncertainties in interferers’ CSI. Let Ψ\Psi denote the set of uncertainty regions of all interferers’ CSI. By using (6a) we have:

Ψ\displaystyle\Psi =\displaystyle= {{{𝐡Pi}i=1,2,{𝐡Si}i=1,2,{𝐡Il}l=1,,NI}|𝐡PiϵPi&𝐡SiϵSi&𝐡Ilϵl} \displaystyle\left\{\forall\left\{\{\nabla{\bf{h}}_{P_{i}}\}_{i=1,2},\{\nabla{\bf{h}}_{S_{i}}\}_{i=1,2},\{\nabla{\bf{h}}_{I_{l}}\}_{l=1,\ldots,N_{I}}\right\}\left|\|\nabla{\bf{h}}_{P_{i}}\|\leq\epsilon_{P_{i}}\&\|\nabla{\bf{h}}_{S_{i}}\|\leq\epsilon_{S_{i}}\&\|\nabla{\bf{h}}_{I_{l}}\|\leq\epsilon_{l}\right.\right\}\mbox{\;} (65)

By applying (65), the robust version of the optimization problem (26) can be written as:

max𝐰,γ>0\displaystyle\max_{{\bf{w}},\gamma>0} γ\displaystyle\gamma (66)
Subject To: SINRPi(ψ)γ,\displaystyle SINR_{P_{i}}(\psi)\geq\gamma,  ψΨ i=1,2\displaystyle\mbox{\;\;\;}\forall\psi\in\Psi\mbox{\;\;\;}i=1,2
μSINRSi(ψ)γ,\displaystyle\mu SINR_{S_{i}}(\psi)\geq\gamma,  ψΨ i=1,2\displaystyle\mbox{\;\;\;}\forall\psi\in\Psi\mbox{\;\;\;}i=1,2
Prj(ψ)Pjmax,\displaystyle P_{r_{j}}(\psi)\leq P_{j}^{max},  ψΨ j=1,,Nr.\displaystyle\mbox{\;\;\;}\forall\psi\in\Psi\mbox{\;\;\;}j=1,\ldots,N_{r}.

The robust optimization problem (66) suggests common ψ\psi for all constraints. However, one may think of a separate uncertainty array ψ\psi for every set of constraints. In fact, Theorem 2.1 of [38] allows us to write a counterpart robust optimization problem of (66) as:

max𝐰,γ>0\displaystyle\max_{{\bf{w}},\gamma>0} γ\displaystyle\gamma (67)
Subject To: SINRPi(ψPi)γ,\displaystyle SINR_{P_{i}}(\psi_{P_{i}})\geq\gamma,  ψPiΨ i=1,2\displaystyle\mbox{\;\;\;}\forall\psi_{P_{i}}\in\Psi\mbox{\;\;\;}i=1,2
μSINRSi(ψSi)γ,\displaystyle\mu SINR_{S_{i}}(\psi_{S_{i}})\geq\gamma,  ψSiΨ i=1,2\displaystyle\mbox{\;\;\;}\forall\psi_{S_{i}}\in\Psi\mbox{\;\;\;}i=1,2
Prj(ψrj)Pjmax,\displaystyle P_{r_{j}}(\psi_{r_{j}})\leq P_{j}^{max},  ψrjΨ j=1,,Nr,\displaystyle\mbox{\;\;\;}\forall\psi_{r_{j}}\in\Psi\mbox{\;\;\;}j=1,\ldots,N_{r},

or equivalently:

max𝐰,γ>0\displaystyle\max_{{\bf{w}},\gamma>0} γ\displaystyle\gamma (68)
Subject To: minψPiΨSINRPi(ψPi)γ,\displaystyle\min_{\forall\psi_{P_{i}}\in\Psi}SINR_{P_{i}}(\psi_{P_{i}})\geq\gamma,  i=1,2\displaystyle\mbox{\;\;\;}i=1,2 (69a)
μminψSiΨSINRSi(ψSi)γ,\displaystyle\mu\min_{\forall\psi_{S_{i}}\in\Psi}SINR_{S_{i}}(\psi_{S_{i}})\geq\gamma,  i=1,2\displaystyle\mbox{\;\;\;}i=1,2 (70a)
maxψrjΨPrj(ψrj)Pjmax,\displaystyle\max_{\forall\psi_{r_{j}}\in\Psi}P_{r_{j}}(\psi_{r_{j}})\leq P_{j}^{max}, j=1,,Nr.\displaystyle\;\;\;j=1,\ldots,N_{r}. (71a)

In the next subsection, a closed-form format for all constraints of the optimization problem (68) is provided.

V-A Closed-Form Worst Case Imperfection

By using the definitions (6a), (19a) and (21), the constraints (68a-b) can be rewritten as:

γmaxψPiΨ{l=1NIPIl𝐰H𝐅Pi(𝐡Il^+𝐡Il)2+(𝐡Pi^+𝐡Pi)H𝐏I122}\displaystyle\gamma\max_{\forall\psi_{P_{i}}\in\Psi}\left\{\sum_{l=1}^{N_{I}}{P_{I_{l}}}\|{\bf{w}}^{H}{\bf{F}}_{P_{i}}(\hat{{\bf{h}}_{I_{l}}}+\nabla{\bf{h}}_{I_{l}})\|^{2}+\|(\hat{{\bf{h}}_{P_{i}}}+\nabla{\bf{h}}_{P_{i}})^{H}{\bf{P}}_{I}^{\frac{1}{2}}\|^{2}\right\}
𝐰H(PPi¯𝐤P1P2𝐤P1P2Hγ𝐓Pi)𝐰γσ2\displaystyle\leq{\bf{w}}^{H}(P_{P_{\bar{i}}}{\bf{k}}_{P_{1}P_{2}}{\bf{k}}_{P_{1}P_{2}}^{H}-\gamma{\bf{T}}_{P_{i}}){\bf{w}}-\gamma\sigma^{2} (72a)
γmaxψSiΨ{l=1NIPIl𝐰H𝐅Si(𝐡Il^+𝐡Il)2+(𝐡Si^+𝐡Si)H𝐏I122}\displaystyle{\gamma}\max_{\forall\psi_{S_{i}}\in\Psi}\left\{\sum_{l=1}^{N_{I}}{P_{I_{l}}}\|{\bf{w}}^{H}{\bf{F}}_{S_{i}}(\hat{{\bf{h}}_{I_{l}}}+\nabla{\bf{h}}_{I_{l}})\|^{2}+\|(\hat{{\bf{h}}_{S_{i}}}+\nabla{\bf{h}}_{S_{i}})^{H}{\bf{P}}_{I}^{\frac{1}{2}}\|^{2}\right\}
𝐰H(μPSi¯𝐤S1S2𝐤S1S2Hγ𝐓Si)𝐰γσ2\displaystyle\leq{\bf{w}}^{H}(\mu P_{S_{\bar{i}}}{\bf{k}}_{S_{1}S_{2}}{\bf{k}}_{S_{1}S_{2}}^{H}-\gamma{\bf{T}}_{S_{i}}){\bf{w}}-\gamma\sigma^{2} (73a)

where 𝐏I=[PI1,PI1,,PINI]T{\bf{P}}_{I}=[P_{I_{1}},P_{I_{1}},\ldots,P_{I_{N_{I}}}]^{T}, and

𝐓Pi\displaystyle{\bf{T}}_{P_{i}} =\displaystyle= j=12PSj𝐤SjPi𝐤SjPiH+σ2𝐅Pi𝐅PiH,i=1,2\displaystyle\sum_{j=1}^{2}{P_{S_{j}}{\bf{k}}_{S_{j}P_{i}}{\bf{k}}_{S_{j}P_{i}}^{H}}+\sigma^{2}{\bf{F}}_{P_{i}}{\bf{F}}_{P_{i}}^{H},\;\;\;i=1,2 (74a)
𝐓Si\displaystyle{\bf{T}}_{S_{i}} =\displaystyle= j=12PPj𝐤SiPj𝐤SiPjH+σ2𝐅Si𝐅SiH,i=1,2.\displaystyle\sum_{j=1}^{2}{P_{P_{j}}{\bf{k}}_{S_{i}P_{j}}{\bf{k}}_{S_{i}P_{j}}^{H}}+\sigma^{2}{\bf{F}}_{S_{i}}{\bf{F}}_{S_{i}}^{H},\;\;\;i=1,2. (75a)

Also, by using (6a) and (12) the constraint (68c) can be written as:

maxψrjΨ{l=1NIPIl|Nr,jT(𝐡^Il+𝐡Il)|2}|Nr,jT𝐰|2Pjmaxχrj|Nr,jT𝐰|2\displaystyle\max_{\forall\psi_{r_{j}}\in\Psi}\{\sum_{l=1}^{N_{I}}{{P_{I_{l}}}|{\boldsymbol{\ell}_{N_{r},j}}^{T}(\hat{{\bf{h}}}_{I_{l}}+\nabla{{\bf{h}}}_{I_{l}})|^{2}}\}|{\boldsymbol{\ell}_{N_{r},j}}^{T}{\bf{w}}|^{2}\leq P_{j}^{max}-\chi_{r_{j}}|{\boldsymbol{\ell}_{N_{r},j}}^{T}{\bf{w}}|^{2} (76)

where,

χrj=i=12PPi|Nr,jT𝐟Pi|2+i=12PSi|Nr,jT𝐟Si|2+σ2,j=1,,Nr\displaystyle\chi_{r_{j}}=\sum_{i=1}^{2}{{P_{P_{i}}}|{\boldsymbol{\ell}_{N_{r},j}}^{T}{\bf{f}}_{P_{i}}|^{2}}+\sum_{i=1}^{2}{{P_{S_{i}}}|{\boldsymbol{\ell}_{N_{r},j}}^{T}{\bf{f}}_{S_{i}}|^{2}}+\sigma^{2},\;\;\;j=1,\ldots,N_{r} (77)

In order to write the constraints (V-A) and (76) in a closed format, we use two lemmas on norm vector inequalities. First:

Lemma V.1.

Let 𝐜{\bf{c}} and 𝐚{\bf{a}} denote complex vectors. If 𝐛{\bf{b}} is a vector whose norm is bounded by constant ϵ\epsilon, i. e.  𝐛ϵ\|{\bf{b}}\|\leq\epsilon, then 𝐜H(𝐚+𝐛)|𝐜H𝐚|+ϵ𝐜\|{\bf{c}}^{H}({\bf{a}}+{\bf{b}})\|\leq|{\bf{c}}^{H}{\bf{a}}|+\epsilon\|{\bf{c}}\| and the equality holds if and only if 𝐛=ϵ𝐜𝐜ej𝐜H𝐚{\bf{b}}=\frac{\epsilon}{\|{\bf{c}}\|}{\bf{c}}e^{j\angle{{\bf{c}}^{H}{\bf{a}}}}.

Proof.

The proof is provided in [46] by using triangle inequality theorem and Cauchy-Schwarz inequality. ∎

By applying lemma V.1 we have:

maxψPiΨ\displaystyle\max_{\forall\psi_{P_{i}}\in\Psi} 𝐰H𝐅Pi(𝐡^Il+𝐡Il)=|𝐰H𝐅Pi𝐡^Il|+ϵl𝐰H𝐅Pi\displaystyle\|{\bf{w}}^{H}{\bf{F}}_{P_{i}}(\hat{{\bf{h}}}_{I_{l}}+\nabla{\bf{h}}_{I_{l}})\|=|{\bf{w}}^{H}{\bf{F}}_{P_{i}}\hat{{\bf{h}}}_{I_{l}}|+\epsilon_{l}\|{\bf{w}}^{H}{\bf{F}}_{P_{i}}\| (78a)
maxψSiΨ\displaystyle\max_{\forall\psi_{S_{i}}\in\Psi} 𝐰H𝐅Si(𝐡^Il+𝐡Il)=|𝐰H𝐅Si𝐡^Il|+ϵl𝐰H𝐅Sj\displaystyle\|{\bf{w}}^{H}{\bf{F}}_{S_{i}}(\hat{{\bf{h}}}_{I_{l}}+\nabla{\bf{h}}_{I_{l}})\|=|{\bf{w}}^{H}{\bf{F}}_{S_{i}}\hat{{\bf{h}}}_{I_{l}}|+\epsilon_{l}\|{\bf{w}}^{H}{\bf{F}}_{S_{j}}\| (79a)
maxψjrΨ |Nr,jT(𝐡^Ij+𝐡Ij)|=|Nr,jT𝐡^Ij|+ϵl\displaystyle\max_{\forall\psi^{r}_{j}\in\Psi}\mbox{\;\;\;}|{\boldsymbol{\ell}_{N_{r},j}}^{T}(\hat{{\bf{h}}}_{I_{j}}+\nabla{{\bf{h}}}_{I_{j}})|=|{\boldsymbol{\ell}_{N_{r},j}}^{T}\hat{{\bf{h}}}_{I_{j}}|+\epsilon_{l} (80a)

Next,

Lemma V.2.

Let 𝚫{\boldsymbol{\Delta}} denote an invertible matrix, let 𝐚{\bf{a}} represent a vector and let 𝐛{\bf{b}} represent a vector whose norm is upper bounded by constant ϵ\epsilon, i. e.  𝐛ϵ\|{\bf{b}}\|\leq\epsilon. Then (𝐚+𝐛)H𝚫(1+ϵ𝐚)𝐚H𝚫\|({\bf{a}}+{\bf{b}})^{H}{\boldsymbol{\Delta}}\|\leq(1+\frac{\epsilon}{\|{\bf{a}}\|})\|{\bf{a}}^{H}{\boldsymbol{\Delta}}\| and the equality holds if and only if 𝐛=ϵ𝐚𝐚{\bf{b}}=\frac{\epsilon}{\|{\bf{a}}\|}{\bf{a}}.

Proof.

The proof is provided in [46] by using triangle inequality theorem and Cauchy-Schwarz inequality. ∎

By defining:

κpi=(1+ϵPi𝐡Pi^)2𝐡Pi^H𝐏I122andκsi=(1+ϵSi𝐡Si^)2𝐡Si^H𝐏I122,i=1,2,\displaystyle\kappa_{p_{i}}=(1+\frac{\epsilon_{P_{i}}}{\|\hat{{\bf{h}}_{P_{i}}}\|})^{2}\|\hat{{\bf{h}}_{P_{i}}}^{H}{\bf{P}}_{I}^{\frac{1}{2}}\|^{2}\qquad\mbox{and}\qquad\kappa_{s_{i}}=(1+\frac{\epsilon_{S_{i}}}{\|\hat{{\bf{h}}_{S_{i}}}\|})^{2}\|\hat{{\bf{h}}_{S_{i}}}^{H}{\bf{P}}_{I}^{\frac{1}{2}}\|^{2},\;\;\;i=1,2, (81)

and by using Lemma V.2, we have:

maxψPiΨ\displaystyle\max_{\forall\psi_{P_{i}}\in\Psi} (𝐡Pi^+𝐡Pi)H𝐏I122=κpiandmaxψSiΨ\displaystyle\|(\hat{{\bf{h}}_{P_{i}}}+\nabla{\bf{h}}_{P_{i}})^{H}{\bf{P}}_{I}^{\frac{1}{2}}\|^{2}=\kappa_{p_{i}}\qquad\mbox{and}\qquad\max_{\forall\psi_{S_{i}}\in\Psi} (𝐡Si^+𝐡Si)H𝐏I122=κsi,i=1,2.\displaystyle\|(\hat{{\bf{h}}_{S_{i}}}+\nabla{\bf{h}}_{S_{i}})^{H}{\bf{P}}_{I}^{\frac{1}{2}}\|^{2}=\kappa_{s_{i}},\;\;\;i=1,2. (82a)

As a result, the constraints (V-A) and (76) can be rewritten as the following closed format:

γ(l=1NIPIl(|𝐰H𝐅Pi𝐡^Il|+ϵl𝐰H𝐅Pi)2+κpi)𝐰H(PPi¯𝐤P1P2𝐤P1P2Hγ𝐓Pi)𝐰γσ2,i=1,2\displaystyle\gamma\left(\sum_{l=1}^{N_{I}}{P_{I_{l}}}(|{\bf{w}}^{H}{\bf{F}}_{P_{i}}\hat{{\bf{h}}}_{I_{l}}|+\epsilon_{l}\|{\bf{w}}^{H}{\bf{F}}_{P_{i}}\|)^{2}+\kappa_{p_{i}}\right)\leq{\bf{w}}^{H}(P_{P_{\bar{i}}}{\bf{k}}_{P_{1}P_{2}}{\bf{k}}_{P_{1}P_{2}}^{H}-\gamma{\bf{T}}_{P_{i}}){\bf{w}}-\gamma\sigma^{2},\;\;\;i=1,2 (83a)
γ(l=1NIPIl(|𝐰H𝐅Si𝐡^Il|+ϵl𝐰H𝐅Sj)2+κsi)𝐰H(μPSi¯𝐤S1S2𝐤S1S2Hγ𝐓Si)𝐰γσ2,i=1,2\displaystyle{\gamma}\left(\sum_{l=1}^{N_{I}}{P_{I_{l}}}(|{\bf{w}}^{H}{\bf{F}}_{S_{i}}\hat{{\bf{h}}}_{I_{l}}|+\epsilon_{l}\|{\bf{w}}^{H}{\bf{F}}_{S_{j}}\|)^{2}+\kappa_{s_{i}}\right)\leq{\bf{w}}^{H}(\mu P_{S_{\bar{i}}}{\bf{k}}_{S_{1}S_{2}}{\bf{k}}_{S_{1}S_{2}}^{H}-\gamma{\bf{T}}_{S_{i}}){\bf{w}}-\gamma\sigma^{2},\;\;\;i=1,2 (84a)
κrj|Nr,jT𝐰|2Pjmax,j=1,,Nr\displaystyle\kappa_{r_{j}}|{\boldsymbol{\ell}_{N_{r},j}}^{T}{\bf{w}}|^{2}\leq P_{j}^{max},\;\;\;j=1,\ldots,N_{r} (85a)

where

κrj=l=1NIPIl(|Nr,jT𝐡^Il|+ϵl)2+χrj,j=1,,Nr\displaystyle\kappa_{r_{j}}=\sum_{l=1}^{N_{I}}{{P_{I_{l}}}(|{\boldsymbol{\ell}_{N_{r},j}}^{T}\hat{{\bf{h}}}_{I_{l}}|+\epsilon_{l})^{2}}+\chi_{r_{j}},\;\;\;j=1,\ldots,N_{r} (86)

The closed-form constraints are substituted in the optimization problem (68). In the next subsection, we use SOCP method to obtain the optimal beamforming of our system model considering the imperfection of interferers’ CSI.

V-B Optimal SINR Solution

In this subsection, we provide a bisection method to find the optimal value of γ\gamma when just imperfect interferers’ CSI are known. By applying (83a), the optimization problem (68) is turned to a feasibility check problem of finding 𝐰{\bf{w}} with the constraints (83a) for a given value of γ\gamma. The upper bound on γ\gamma for the case when perfect knowledge of interferers’ CSI is available was described in (39). It should be noted that the same upper bound applies for the case when only an imperfect knowledge of interferers’ CSI is available. Therefore, the same bisection approach as is used in subsection IV-B can be applied for the imperfection case. Drawing to a close, we modify the constraints (83a) to the SOCP format, so the discussed feasibility check problem is solved in an efficient way.

Let us use auxiliary positive relay variables ρpi\rho_{p_{i}} and ρsi\rho_{s_{i}}, i=1,2i=1,2 in such a way that 𝐰H𝐅Piρpi\|{\bf{w}}^{H}{\bf{F}}_{P_{i}}\|\leq\rho_{p_{i}} and 𝐰H𝐅Siρsi\|{\bf{w}}^{H}{\bf{F}}_{S_{i}}\|\leq\rho_{s_{i}}. Also, we use the NI×1N_{I}\times 1 auxiliary positive real vector variables ϱpi=[ϱpi,1,,ϱpi,NI]T\boldsymbol{\varrho}_{p_{i}}=[\varrho_{p_{i},1},\ldots,\varrho_{p_{i},N_{I}}]^{T} and ϱsi=[ϱsi,1,,ϱsi,NI]T\boldsymbol{\varrho}_{s_{i}}=[\varrho_{s_{i},1},\ldots,\varrho_{s_{i},N_{I}}]^{T} for i=1,2i=1,2 in such a way that |𝐰H𝐅Pi𝐡^Il|ϱpi,l|{\bf{w}}^{H}{\bf{F}}_{P_{i}}\hat{{\bf{h}}}_{I_{l}}|\leq\varrho_{p_{i},l} and |𝐰H𝐅Si𝐡^Il|ϱsi,l|{\bf{w}}^{H}{\bf{F}}_{S_{i}}\hat{{\bf{h}}}_{I_{l}}|\leq\varrho_{s_{i},l} for l=1,,NIl=1,\ldots,N_{I}. By using the above mentioned auxiliary variables the feasibility check problem for a given value of γ\gamma can be written as:

Find{ρpi,ρsi,ϱpi,ϱsi}i=1,2,𝐰\displaystyle\mbox{Find}\;\;\;{\{\rho_{p_{i}},\rho_{s_{i}},\boldsymbol{\varrho}_{p_{i}},\boldsymbol{\varrho}_{s_{i}}\}_{i=1,2},{\bf{w}}} (87)
γ(l=1NIPIl(NI,lTϱpi+ϵlρpi)2+κpi)𝐰H(PPi¯𝐤P1P2𝐤P1P2Hγ𝐓Pi)𝐰γσ2,\displaystyle\gamma\left(\sum_{l=1}^{N_{I}}{P_{I_{l}}}({\boldsymbol{\ell}_{N_{I},l}}^{T}\boldsymbol{\varrho}_{p_{i}}+\epsilon_{l}\rho_{p_{i}})^{2}+\kappa_{p_{i}}\right)\leq{\bf{w}}^{H}(P_{P_{\bar{i}}}{\bf{k}}_{P_{1}P_{2}}{\bf{k}}_{P_{1}P_{2}}^{H}-\gamma{\bf{T}}_{P_{i}}){\bf{w}}-\gamma\sigma^{2},  i=1,2\displaystyle\mbox{\;\;\;}i=1,2 (88a)
γ(l=1NIPIl(NI,lTϱpi+ϵlρpi)2+κsi)𝐰H(μPSi¯𝐤S1S2𝐤S1S2Hγ𝐓Si)𝐰γσ2,\displaystyle{\gamma}\left(\sum_{l=1}^{N_{I}}{P_{I_{l}}}({\boldsymbol{\ell}_{N_{I},l}}^{T}\boldsymbol{\varrho}_{p_{i}}+\epsilon_{l}\rho_{p_{i}})^{2}+\kappa_{s_{i}}\right)\leq{\bf{w}}^{H}(\mu P_{S_{\bar{i}}}{\bf{k}}_{S_{1}S_{2}}{\bf{k}}_{S_{1}S_{2}}^{H}-\gamma{\bf{T}}_{S_{i}}){\bf{w}}-\gamma\sigma^{2},  i=1,2\displaystyle\mbox{\;\;\;}i=1,2 (89a)
κrj|Nr,jT𝐰|Pjmax,\displaystyle\sqrt{\kappa_{r_{j}}}|{\boldsymbol{\ell}_{N_{r},j}}^{T}{\bf{w}}|\leq\sqrt{P_{j}^{max}},  j=1,,Nr\displaystyle\mbox{\;\;\;}j=1,\ldots,N_{r} (90a)
𝐰H𝐅Piρpi ,𝐰H𝐅Siρsi\displaystyle\|{\bf{w}}^{H}{\bf{F}}_{P_{i}}\|\leq\rho_{p_{i}}\mbox{\;\;}\qquad,\qquad\|{\bf{w}}^{H}{\bf{F}}_{S_{i}}\|\leq\rho_{s_{i}}  i=1,2\displaystyle\mbox{\;\;\;}i=1,2 (91a)
|𝐰H𝐅Pi𝐡^Il|NI,lTϱpi,|𝐰H𝐅Si𝐡^Il|NI,lTϱsi,\displaystyle|{\bf{w}}^{H}{\bf{F}}_{P_{i}}\hat{{\bf{h}}}_{I_{l}}|\leq{\boldsymbol{\ell}_{N_{I},l}}^{T}\boldsymbol{\varrho}_{p_{i}}\qquad,\qquad|{\bf{w}}^{H}{\bf{F}}_{S_{i}}\hat{{\bf{h}}}_{I_{l}}|\leq{\boldsymbol{\ell}_{N_{I},l}}^{T}\boldsymbol{\varrho}_{s_{i}},  i=1,2andl=1,,NI.\displaystyle\mbox{\;}i=1,2~\mbox{and}~l=1,\ldots,N_{I}~. (92a)

All (87c-e) constraints represent SOC regions. We use auxiliary vector variables ϖpi=[ϖpi,1,,ϖpi,NI]T\boldsymbol{\varpi}_{p_{i}}=[{\varpi}_{p_{i},1},\ldots,{\varpi}_{p_{i},N_{I}}]^{T} and ϖsi=[ϖsi,1,,ϖsi,NI]T\boldsymbol{\varpi}_{s_{i}}=[{\varpi}_{s_{i},1},\ldots,{\varpi}_{s_{i},N_{I}}]^{T}, in the interest of clarity, in which ϖpi,l=NI,lTϱpi+ϵlρpi{\varpi}_{p_{i},l}={\boldsymbol{\ell}_{N_{I},l}}^{T}\boldsymbol{\varrho}_{p_{i}}+\epsilon_{l}\rho_{p_{i}} and ϖsi,l=NI,lTϱsi+ϵlρsi{\varpi}_{s_{i},l}={\boldsymbol{\ell}_{N_{I},l}}^{T}\boldsymbol{\varrho}_{s_{i}}+\epsilon_{l}\rho_{s_{i}} for i=1,2i=1,2 and l=1,,NIl=1,\ldots,N_{I}.

By assuming that 𝐤P1P2H𝐰{\bf{k}}_{P_{1}P_{2}}^{H}{\bf{w}} is a positive real number, the constraints (87a) can be turned to the following SOC constraint:

PPi¯γ𝐤P1P2H𝐰ϖpiT𝐏Iϖpi+𝐰H𝐓Pi𝐰+κpi+σ2,i=1,2..\displaystyle\frac{P_{P_{\bar{i}}}}{\gamma}{\bf{k}}_{P_{1}P_{2}}^{H}{\bf{w}}\geq\sqrt{\boldsymbol{\varpi}_{p_{i}}^{T}{\bf{P}}_{I}\boldsymbol{\varpi}_{p_{i}}+{\bf{w}}^{H}{\bf{T}}_{P_{i}}{\bf{w}}+\kappa_{p_{i}}+\sigma^{2}},\;\;\;i=1,2.. (93)

Ultimately, by using Lemma IV.2 and by defining matrices 𝐏si=blkdiag(𝐏I,𝐓Si){\bf{P}}_{s_{i}}=\textsl{blkdiag}({\bf{P}}_{I},{\bf{T}}_{S_{i}}), i=1,2i=1,2, the constraints (87b) can be relaxed to the following SOC format:

[1μPSi¯γ𝐤S1S2𝐤S1S2H𝛀+κsi+σ22𝐏si12[ϖsi𝐰]]1+μPSi¯γ𝐤S1S2𝐤S1S2H𝛀κsiσ2,i=1,2.\displaystyle\left\|\left[\begin{array}[]{c}1-\frac{\mu P_{S_{\bar{i}}}}{\gamma}{\bf{k}}_{S_{1}S_{2}}{\bf{k}}_{S_{1}S_{2}}^{H}\bullet{\boldsymbol{\Omega}}+\kappa_{s_{i}}+\sigma^{2}\\ 2{\bf{P}}_{s_{i}}^{\frac{1}{2}}\left[\begin{array}[]{c}\boldsymbol{\varpi}_{s_{i}}\\ {\bf{w}}\end{array}\right]\end{array}\right]\right\|\leq 1+\frac{\mu P_{S_{\bar{i}}}}{\gamma}{\bf{k}}_{S_{1}S_{2}}{\bf{k}}_{S_{1}S_{2}}^{H}\bullet{\boldsymbol{\Omega}}-\kappa_{s_{i}}-\sigma^{2},\;\;\;i=1,2.

Therefore, the feasibility check problem (87) can be effectively solved using the SOCP method.

VI Numerical Experiments

In this section, we present different simulation scenarios to illustrate the effectiveness of our proposed method in combating interference when the perfect information on CSIs of channels between the interferers and other users is not available. To do so, all channel coefficients were generated as complex Gaussian variables with zero mean and unit variance. The PU and SU transceivers’ powers were assumed to be 0 dBm. For the sake of simplicity, we considered two unfriendly interferers that operate in the PUs’ spectrum property, with the power of -1 dBm. Also, 10 relays were considered to cooperate with both PU and SU transceivers with a maximum individual power limit of 1 dBm. We consider 3 times priority for the primaries quality of service with respect to the secondaries, i.e., μ=3\mu=3. The achievable rate at each receiver is defined by R=log2(1+SINR)R=\log_{2}(1+SINR) and is plotted in Fig. 3 versus the noise power (σ2\sigma^{2}). The minimum achievable rate of PU1PU_{1} and PU2PU_{2} is shown by RPR_{P} and plotted versus σ2\sigma^{2}. As can be seen in the figure, RPR_{P} decreased from 2 to 0 when noise power increased from -20 to 20 dBm. Also, by using the priority design parameter μ=3\mu=3, the optimization problem forces the network to assign more resources for primary transmissions purposes. This limits the achievable rate for the secondary transmission as it is shown by allowable RSR_{S} in the figure. As it can be seen in Fig. 3, the optimization problem makes a restriction on maximum achievable rate of 1 when σ2\sigma^{2} is -20 dBm for RS1R_{S_{1}} and RS2R_{S_{2}}. However, at this level of noise power, RS1R_{S_{1}} and RS2R_{S_{2}} achieve the rates of 0.4 and 0.6 dBm, respectively.

Refer to caption

Fig. 3: Achievable rate for 1 Hz bandwidth for primary and secondary transceivers for fairness design parameter μ=3\mu=3.

The impact of the interferers on the SDR system is illustrated in Fig.  4 for different transmission powers of these interferers. The designed parameter μ\mu was considered to be 1, and achievable rate were obtained for different levels of interferers’ power, while all other parameters were the same as before. Figure 4 shows that, by increasing the interferers’ power from -2 dBm to 1 dBm, the rate decreased by 2.5 dB when the noise is too weak. However, this performance reduction is regulatable if noise variance is high.

Refer to caption

Fig. 4: Achievable rate for 1 Hz bandwidth versus P(σ𝐟σ)2P(\frac{\sigma_{{\bf{f}}}}{\sigma})^{2} for different interferers power.

We also investigated the effects of cooperation level of relays on interference mitigation. In this scenario, we considered 2 interferers and, the maximum power that each relay was assigned for relaying purposes, was varied from -2 to 2 dBm while all other parameters were the same as before. Figure 5 shows the changes on the average γ\gamma in a Monte-Carlo simulation versus the noise power for different maximum limitations on individual relay powers. As it is shown in this figure, by increasing the relay power limit, the diversity gain of the system increased. For instance, increasing relay power limit from -2 dBm to 2 dBm caused a 3 dB increase on SINR when the noise power is -20 dBm.

Refer to caption

Fig. 5: Achievable rate for 1 Hz bandwidth versus P(σ𝐟σ)2P(\frac{\sigma_{{\bf{f}}}}{\sigma})^{2} for different maximum limitation on individual relay powers.

The previous numerical experiments were based on the assumption of perfect CSI availability for interferes. We examined our proposed robust method against uncertainties on interferers’ CSI. A scenario where the interferers’ CSI are known imperfectly is considered. We assumed the imperfection as a percentage of the estimated CSI and varied this percentage from 2%2\% to 10%10\%. The optimal robust γ\gamma is calculated by solving the robust optimization problem (87). Figure 6 illustrates that the system will pay the cost by gaining less SINR if the knowledge accuracy is decreased. For example, the performance of the system decreased by 1 dB if the accuracy of the interferers’ CSI decreases from 2 to 10 percent.

Refer to caption

Fig. 6: Achievable rate for 1 Hz bandwidth versus P(σ𝐟σ)2P(\frac{\sigma_{{\bf{f}}}}{\sigma})^{2} for different level of imperfection in knowledge of interferers’ CSI.

The σ2\sigma^{2} value is fixed on 0 dB in Fig. 7 and the achievable rate is plotted versus the changes in the individual relay powers for different levels on the interferers CSI imperfection. As it is mentioned before, the relays provide diversity gain to the system and the achievable rates for the transceivers in the system increase when the relays power increase. Besides, more uncertainty on the interferers CSI causes less performance for the system. As it can be seen from this figure, the achievable rate decreases from 1.25 to 1.05 when the imperfection on CSI increased between 5 and 15 percentages for a maximum available power of 4 dBm for the relays.

Refer to caption

Fig. 7: Achievable rate for 1 Hz Bandwidth versus relays’ power limit for different level of imperfection in knowledge of interferers’ CSI.

To summarize, in the simulations, we showed the diversity gain on a two-way SDR-network in which the resources are fairly distributed among primary and secondary users. The effect of interferers in our cooperative model was investigated. Moreover, the interferers CSI uncertainties effect on the system performance was investigated and it was shown that our proposed method is robust against such uncertainties. It is worth mentioning that the convergence of the proposed method depends on the convergence of the bisection method which is in order of O(12n)O(\frac{1}{2^{n}}) [54]. While the bisection method may be slower than numerical methods, but it always converges to the solution.

VII Conclusion

We propose a model for co-existence different types of secondary users in an SDR network. A system consists of two pairs of PU and SU transceivers, several SU relays and also several interferers is considered. The optimum beamforming solution is provided to maximize quality service in PU and SU transceivers. Moreover, the optimization problem is solved by considering the worst-case scenario when the knowledge on the interferers channels is imperfect. The simulation results show the performance of our proposed method and its robustness against uncertainties in interferers CSI.

References

  • [1] S. E. W. Group et al., “Spectrum policy task force report, federal communications commission,” 2002.
  • [2] A. M. Wyglinski, M. Nekovee, and Y. T. Hou, “Cognitive radio communications and networks,” IEEE Communications Magazine, Guest editorial, 2008.
  • [3] A. Jovicic and P. Viswanath, “Cognitive radio: An information-theoretic perspective,” IEEE Transactions on Information Theory, vol. 55, no. 9, pp. 3945–3958, 2009.
  • [4] F. Afghah, M. Costa, A. Razi, A. Abedi, and A. Ephremides, “A reputation-based stackelberg game approach for spectrum sharing with cognitive cooperation,” in Decision and Control (CDC), 2013 IEEE 52nd Annual Conference on, Dec 2013, pp. 3287–3292.
  • [5] F. Afghah and A. Razi, “Cooperative spectrum leasing in cognitive radio networks,” in Wireless Research Collaboration Symposium (NWRCS), 2014 National. IEEE, 2014, pp. 106–111.
  • [6] O. Simeone, I. Stanojev, S. Savazzi, Y. Bar-Ness, U. Spagnolini, and R. Pickholtz, “Spectrum leasing to cooperating secondary ad hoc networks,” IEEE J.Sel. A. Commun., vol. 26, no. 1, pp. 203–213, Jan. 2008. [Online]. Available: http://dx.doi.org/10.1109/JSAC.2008.080118
  • [7] F. Afghah, A. Shamsoshoara, L. Njilla, and C. A. Kamhoua, “A reputation-based stackelberg game model to enhance secrecy rate in spectrum leasing to selfish iot devices,” CoRR, vol. abs/1802.05832, 2018. [Online]. Available: http://arxiv.org/abs/1802.05832
  • [8] F. Afghah and A. Razi, “Game theoretic study of cooperative spectrum leasing in cognitive radio networks,” International Journal of Handheld Computing Research (IJHCR), vol. 5, no. 2, 2014.
  • [9] A. Gavili and S. Shahbazpanahi, “Optimal resource sharing and network beamforming in multi-carrier bidirectional relay networks,” IEEE Transactions on Signal Processing, vol. 63, no. 23, pp. 6354–6367, 2015.
  • [10] P. Ubaidulla and S. Aissa, “Robust two-way cognitive relaying: Precoder designs under interference constraints and imperfect CSI,” IEEE Transactions on Wireless Communications, vol. 13, no. 5, pp. 2478–2489, May 2014.
  • [11] S. Ma, Z.-L. Dong, J. Ma, and D. Sun, “Robust relay beamforming in cognitive two-way relay networks,” IEEE Communications Letters, vol. 17, no. 10, pp. 2000–2003, 2013.
  • [12] D. K. Nguyen, D. N. Jayakody, S. Chatzinotas, J. Thompson, and J. Li, “Wireless energy harvesting assisted two-way cognitive relay networks: Protocol design and performance analysis,” IEEE Access, 2017.
  • [13] Q. Li and P. K. Varshney, “Resource allocation and outage analysis for an adaptive cognitive two-way relay network,” IEEE Transactions on Wireless Communications, 2017.
  • [14] H. Iranpanah, B. M. Ali, F. Hashim, and H. Mohamad, “Distributed power control and beamforming for cognitive two-way relay networks using a game-theoretic approach,” in Telecommunication Technologies (ISTT), 2016 IEEE 3rd International Symposium on. IEEE, 2016, pp. 81–86.
  • [15] U. Pareek and D. C. Lee, “Monotonic optimization for power assignment in two-way cognitive radio networks with shared-band amplify-and-forward relays,” in 2017 26th International Conference on Computer Communication and Networks (ICCCN), July 2017, pp. 1–6.
  • [16] J. Zhang, L. Guo, T. Kang, and P. Zhang, “Cooperative beamforming in cognitive radio network with two-way relay,” in 2014 IEEE 79th Vehicular Technology Conference (VTC Spring), May 2014, pp. 1–5.
  • [17] A. Alsharoa, F. Bader, and M. S. Alouini, “Relay selection and resource allocation for two-way df-af cognitive radio networks,” IEEE Wireless Communications Letters, vol. 2, no. 4, pp. 427–430, August 2013.
  • [18] M. Zaeri-Amirani, S. Shahbazpanahi, T. Mirfakhraie, and K. Ozdemir, “Performance tradeoffs in amplify-and-forward bidirectional network beamforming,” IEEE Transactions on Signal Processing, vol. 60, no. 8, pp. 4196–4209, Aug 2012.
  • [19] J. Wang, G. Scutari, and D. P. Palomar, “Robust mimo cognitive radio via game theory,” IEEE Transactions on Signal Processing, vol. 59, no. 3, pp. 1183–1201, 2011.
  • [20] H. A. Suraweera, P. J. Smith, and M. Shafi, “Capacity limits and performance analysis of cognitive radio with imperfect channel knowledge,” IEEE Transactions on Vehicular Technology, vol. 59, no. 4, pp. 1811–1822, 2010.
  • [21] M. Dai, P. Wang, S. Zhang, B. Chen, H. Wang, X. Lin, and C. Sun, “Survey on cooperative strategies for wireless relay channels,” Transactions on Emerging Telecommunications Technologies, vol. 25, no. 9, pp. 926–942, Sep. 2014.
  • [22] Q. Li, R. Q. Hu, Y. Qian, and G. Wu, “Cooperative communications for wireless networks: techniques and applications in lte-advanced systems,” IEEE Wireless Communications, vol. 19, no. 2, April 2012.
  • [23] M. Sami, N. K. Noordin, M. Khabazian, F. Hashim, and S. Subramaniam, “A survey and taxonomy on medium access control strategies for cooperative communication in wireless networks: Research issues and challenges,” IEEE Communications Surveys Tutorials, vol. 18, no. 4, pp. 2493–2521, Fourthquarter 2016.
  • [24] F. Afghah, A. Razi, and A. Abedi, “Stochastic game theoretical model for packet forwarding in relay networks,” Telecommunication Systems, pp. 1–17, 2013.
  • [25] S. Nam, M. Vu, and V. Tarokh, “Relay selection methods for wireless cooperative communications,” in 2008 42nd Annual Conference on Information Sciences and Systems, March 2008, pp. 859–864.
  • [26] F. Chen, W. Su, S. Batalama, and J. D. Matyjas, “Joint power optimization for multi-source multi-destination relay networks,” IEEE Transactions on Signal Processing, vol. 59, no. 5, pp. 2370–2381, May 2011.
  • [27] L. Liu, C. Hua, C. Chen, and X. Guan, “Semidistributed relay selection and power allocation for outage minimization in cooperative relaying networks,” IEEE Transactions on Vehicular Technology, vol. 66, no. 1, pp. 295–305, Jan 2017.
  • [28] Z. Mo, W. Su, S. Batalama, and J. D. Matyjas, “Cooperative communication protocol designs based on optimum power and time allocation,” IEEE Transactions on Wireless Communications, vol. 13, no. 8, pp. 4283–4296, Aug 2014.
  • [29] Z. Mo, W. Su, and J. D. Matyjas, “Amplify and forward relaying protocol design with optimum power and time allocation,” in MILCOM 2016 - 2016 IEEE Military Communications Conference, Nov 2016, pp. 412–417.
  • [30] T. C.-Y. Ng and W. Yu, “Joint optimization of relay strategies and resource allocations in cooperative cellular networks,” IEEE J.Sel. A. Commun., vol. 25, no. 2, pp. 328–339, Feb. 2007. [Online]. Available: http://dx.doi.org/10.1109/JSAC.2007.070209
  • [31] W. Su, F. Chen, D. A. Pados, and J. D. Matyjas, “The outage probability and optimum power assignment for differential amplify-and-forward relaying,” in 2010 IEEE International Conference on Communications, May 2010, pp. 1–5.
  • [32] W. Su, J. D. Matyjas, and S. Batalama, “Active cooperation between primary users and cognitive radio users in heterogeneous ad-hoc networks,” IEEE Transactions on Signal Processing, vol. 60, no. 4, pp. 1796–1805, April 2012.
  • [33] S. K. Jayaweera, M. Bkassiny, and K. A. Avery, “Asymmetric cooperative communications based spectrum leasing via auctions in cognitive radio networks,” IEEE Transactions on Wireless Communications, vol. 10, no. 8, pp. 2716–2724, August 2011.
  • [34] S. J. Kim, N. Devroye, P. Mitran, and V. Tarokh, “Comparison of bi-directional relaying protocols,” in 2008 IEEE Sarnoff Symposium. IEEE, 2008, pp. 1–5.
  • [35] K. T. Truong, P. Sartori, and R. W. Heath, “Cooperative algorithms for mimo amplify-and-forward relay networks,” IEEE Transactions on Signal Processing, vol. 61, no. 5, pp. 1272–1287, March 2013.
  • [36] A. R. Korenda, M. Zaeri-Amirani, and F. Afghah, “A hierarchical stackelberg-coalition formation game theoretic framework for cooperative spectrum leasing,” in 2017 51st Annual Conference on Information Sciences and Systems (CISS), March 2017, pp. 1–6.
  • [37] N. Namvar and F. Afghah, “Spectrum sharing in cooperative cognitive radio networks: A matching game framework,” in Information Sciences and Systems (CISS), 2015 49th Annual Conference on, March 2015, pp. 1–5.
  • [38] A. Ben-Tal and A. Nemirovski, “Robust convex optimization,” Mathematics of operations research, vol. 23, no. 4, pp. 769–805, 1998.
  • [39] X. Zhang, J. Xing, Z. Yan, Y. Gao, and W. Wang, “Outage performance study of cognitive relay networks with imperfect channel knowledge,” IEEE Communications Letters, vol. 17, no. 1, pp. 27–30, 2013.
  • [40] N. Jamal and P. Mitran, “Performance tradeoffs offered by beamforming in cognitive radio systems: An analytic approach,” IEEE Transactions on Wireless Communications, vol. 11, no. 10, pp. 3766–3777, 2012.
  • [41] G. Ozcan, M. C. Gursoy, N. Tran, and J. Tang, “Energy-efficient power allocation in cognitive radio systems with imperfect spectrum sensing,” IEEE Journal on Selected Areas in Communications, vol. 34, no. 12, pp. 3466–3481, 2016.
  • [42] C. C. Zarakovitis, Q. Ni, and J. Spiliotis, “Energy-efficient green wireless communication systems with imperfect CSI and data outage,” IEEE Journal on Selected Areas in Communications, vol. 34, no. 12, pp. 3108–3126, Dec 2016.
  • [43] J. M. Mulvey, R. J. Vanderbei, and S. A. Zenios, “Robust optimization of large-scale systems,” Operations research, vol. 43, no. 2, pp. 264–281, 1995.
  • [44] Q. Li, Q. Zhang, and J. Qin, “Robust beamforming for cognitive multi-antenna relay networks with bounded channel uncertainties,” IEEE Transactions on Communications, vol. 62, no. 2, pp. 478–487, 2014.
  • [45] D. Tian, J. Zhou, Z. Sheng, and V. C. M. Leung, “Robust energy-efficient MIMO transmission for cognitive vehicular networks,” IEEE Transactions on Vehicular Technology, vol. 65, no. 6, pp. 3845–3859, June 2016.
  • [46] S. Salari, M. Z. Amirani, I. M. Kim, D. I. Kim, and J. Yang, “Distributed beamforming in two-way relay networks with interference and imperfect CSI,” IEEE Transactions on Wireless Communications, vol. PP, no. 99, pp. 1–1, 2016.
  • [47] L. Sboui, H. Ghazzai, Z. Rezki, and M.-S. Alouini, “Achievable rate of spectrum sharing cognitive radio multiple-antenna channels,” IEEE Transactions on Wireless Communications, vol. 14, no. 9, pp. 4847–4856, 2015.
  • [48] A. Gavili and S. Shahbazpanahi, “Optimal resource sharing and network beamforming in multi-carrier bidirectional relay networks,” IEEE Transactions on Signal Processing, vol. 63, no. 23, pp. 6354–6367, Dec 2015.
  • [49] M. Zaeri-Amirani, S. Shahbazpanahi, T. Mirfakhraie, and K. Ozdemir, “Performance tradeoffs in amplify-and-forward bidirectional network beamforming,” IEEE Transactions on Signal Processing, vol. 60, no. 8, pp. 4196–4209, Aug 2012.
  • [50] V. Havary-Nassab, S. Shahbazpanahi, and A. Grami, “Optimal distributed beamforming for two-way relay networks,” IEEE Transactions on Signal Processing, vol. 58, no. 3, pp. 1238–1250, March 2010.
  • [51] S. Boyd and L. Vandenberghe, Convex optimization. Cambridge university press, 2004.
  • [52] D. P. Palomar and Y. C. Eldar, Convex optimization in signal processing and communications. Cambridge university press, 2010.
  • [53] C. Research, “CVX: Matlab software for disciplined convex programming, version 2.0.”
  • [54] A. Kaw, E. Kalu, and D. Nguyen, Numerical Methods with Applications. University of South Florida, 2011.