This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Performance Analysis and Optimization for RIS-Assisted Multi-User Massive MIMO Systems with Imperfect Hardware

Zhangjie Peng, Xianzhe Chen, Cunhua Pan, , Maged Elkashlan, , and Jiangzhou Wang Copyright (c) 2015 IEEE. Personal use of this material is permitted. However, permission to use this material for any other purposes must be obtained from the IEEE by sending a request to pubs-permissions@ieee.org.This work was supported in part by the Natural Science Foundation of Shanghai under Grant 22ZR1445600, in part by the open research fund of National Mobile Communications Research Laboratory, Southeast University under Grant 2018D14, and in part by the National Natural Science Foundation of China under Grant 61701307. (Corresponding author: Cunhua Pan, Xianzhe Chen).Zhangjie Peng is with the College of Information, Mechanical and Electrical Engineering, Shanghai Normal University, Shanghai 200234, China, also with the National Mobile Communications Research Laboratory, Southeast University, Nanjing 210096, China, and also with the Shanghai Engineering Research Center of Intelligent Education and Bigdata, Shanghai Normal University, Shanghai 200234, China (e-mail: pengzhangjie@shnu.edu.cn).Xianzhe Chen is with the College of Information, Mechanical and Electrical Engineering, Shanghai Normal University, Shanghai 200234, China, and also with the Department of Electrical and Computer Engineering, The University of British Columbia, Vancouver, BC V6T1Z4, Canada (e-mail: cxzdubu001@163.com).Cunhua Pan is with the National Mobile Communications Research Laboratory, Southeast University, Nanjing 210096, China (e-mail: cpan@seu.edu.cn).Maged Elkashlan is with the School of Electronic Engineering and Computer Science at Queen Mary University of London, London E1 4NS, U.K. (e-mail: maged.elkashlan@qmul.ac.uk).Jiangzhou Wang is with the School of Engineering, University of Kent, Canterbury, CT2 7NT, United Kingdom (e-mail: j.z.wang@kent.ac.uk).
Abstract

The paper studies a reconfigurable intelligent surface (RIS)-assisted multi-user uplink massive multiple-input multiple-output (MIMO) system with imperfect hardware. At the RIS, the paper considers phase noise, while at the base station, the paper takes into consideration the radio frequency impairments and low-resolution analog-to-digital converters. The paper derives approximate expressions for the ergodic achievable rate in closed forms under Rician fading channels. For the cases of infinite numbers of antennas and infinite numbers of reflecting elements, asymptotic data rates are derived to provide new design insights. The derived power scaling laws indicate that while guaranteeing a required system performance, the transmit power of the users can be scaled down at most by the factor 1M\frac{1}{M} when MM goes infinite, or by the factor 1MN\frac{1}{MN} when MM and NN go infinite, where MM is the number of antennas and NN is the number of the reflecting units. Furthermore, an optimization algorithm is proposed based on the genetic algorithm to solve the phase shift optimization problem with the aim of maximizing the sum rate of the system. Additionally, the optimization problem with discrete phase shifts is considered. Finally, numerical results are provided to validate the correctness of the analytical results.

Index Terms:
Reconfigurable Intelligent Surface (RIS), massive MIMO, phase noise, radio frequency impairments, analog-to-digital converter, achievable rate

I Introduction

As fifth generation (5G) commercial networks began to be deployed in 2020, there is an increasing demand for the future communication systems to support the ever-increasing number of devices while guaranteeing the high quality of the communication service [1]. Massive multiple-input multiple-output (MIMO) has been widely used to enhance the system performance, since it can efficiently reduce multi-user interference and scale down the transmit power of users [2, 3, 4]. Recently, reconfigurable intelligent surface (RIS), also known as intelligent reflecting surface (IRS) or large intelligent surface (LIS), has been proposed as a promising technique to extend the coverage and improve the spectrum efficiency (SE) and energy efficiency (EE) of communication networks [5, 6, 7, 8, 9, 10]. RIS is mainly composed of numerous reflecting elements, each of which imposes an independent phase shift on the incident signals. In particular, by carefully tuning the phase shifts, RIS can shape the wireless radio propagation environment to be customized to meet specific targets. Different from the relay, the reflecting elements at RIS require no active hardware components such as radio frequency (RF) chains and amplifiers, which significantly reduce the power consumption and hardware cost. Furthermore, RIS can work in the full-dulplex mode without the self-loop interference [11].

Due to its appealing advantages, RIS has attracted extensive research attention from both academia and industry. For instance, the authors in [12] studied an RIS-assisted single-user downlink system, derived the upper bound expression of the SE, and optimized the phase shifts at the RIS. In the case where the working base station (BS) was interfered by another BS, the authors in [13] obtained tractable expressions for the data rates under both instantaneous and statistical channel state information (CSI). In [14], the authors applied RIS to Internet of Things, analyzed the system performance and proposed a time-length allocation scheme for minimizing the energy consumption. The authors in [15] investigated a multi-RIS downlink system with imperfect location information of the users, and analyzed the impacts of the system parameters with derived approximate expressions for the ergodic AR. In [16], the authors studied a multi-pair system assisted by RIS, and utilized the genetic algorithm (GA) to solve the phase shift optimization problem for maximizing the sum ergodic achievable rate (AR). In [17], the authors in took into account the interplay of the responses between the phase shift and the amplitude in an RIS-assisted single-user system. The authors in [18] investigated a downlink RIS-assisted massive MIMO system with statistical CSI at the BS, and optimized the beamformings at the RIS and the BS. The authors in [19] derived closed-form sum rates for RIS-assisted uplink systems under spatially correlated Rician Fading, and jointly optimized the phase-shifting matrix and the transmit covariance matrix. In [20], the authors focused on an RIS-assisted multi-user uplink massive MIMO system, and proposed a GA-based algorithm for maximizing the sum ergodic AR according to the derived closed-form expressions.

It should be noted that the assumption of perfect hardware was considered in the aforementioned works. However, in practice, communication systems suffer from imperfect hardware, which leads to hardware impairments (HIs), such as oscillator phase noise, in-phase/quadrature-phase (I/Q) imbalance, non-linearities and quantization errors [21, 22]. Although compensation algorithms can alleviate the effects of HIs [23, 24, 25], the residual HIs still degrade and limit the system performance. Therefore, it is necessary to take HIs into consideration when analyzing practical systems. The authors in [26] considered HIs at the transmitters in an RIS-assisted single-user downlink system. They first obtained closed-form solutions for the optimal beamforming at the multi-antenna source, and then optimized the phase shifts at the RIS for maximizing the signal-to-noise ratio (SNR). In [27], the secrecy rate was studied in RIS-assisted systems with HIs at the transmitters of the BS. The authors proposed an iterative method to optimize the beamforming vectors at both the BS and the RIS. For a multi-RIS-assisted full-duplex system, the authors in [28] investigated the impacts of HIs at the transceivers of the BS and users, and jointly optimized the beamformings at the BS and the RISs and the transmit power of the users for maximizing the sum AR.

Moreover, in massive MIMO systems, the BS is equipped with a large number of antennas, which requires a large number of analog-to-digital converters/digital-to-analog converters (ADCs/DACs), leading to a high power consumption and hardware cost. To address this, researchers use low-resolution ADCs/DACs to reduce the power consumption and hardware cost while sacrificing a certain system performance [29, 30, 31]. The authors in [32] investigated an RIS-assisted single-user uplink system with low-resolution ADCs at the BS, and derived the AR expressions and analyzed the system performance. In [33], an RIS-assisted multi-user downlink system with low-resolution DACs was studied. The authors derived the approximate expressions for AR and optimized the phase shifts at the RIS.

On the other hand, the phase noise has recently gain much attention in RIS-assisted systems, which is generated from the non-ideal reconfiguration of the phase shifts at the RIS in practical systems [34]. Considering phase noise at the RIS, the authors in [35] studied an RIS-assisted system with two legitimate nodes and one eavesdropper, and analyzed the system performance based on the secrecy rate. The authors in [36] considered RIS-assisted single-user systems with phase noise and transceiver HIs, and analyzed the EE under Rayleigh fading channels. The authors in [37] extended the work to imperfect CSI cases, and studied the power scaling laws. In [38], the authors investigated the SE and EE of an RIS-assisted downlink system with phase noise and RF impairments, assuming determined line-of-sight (LoS) channels. The authors in [39] derived the closed-form expressions for the AR of an RIS-assisted downlink system with phase noise and transceiver HIs, and optimized the phase shifts for maximizing the SNR. The authors in [40] optimized the transmit power, the beamformings at the BS and the RIS of an RIS-assisted multi-user system with phase noise and transceiver HIs under correlated Rayleigh fading channels and instantaneous CSI. In [41], assuming correlated Rayleigh fading channels and statistical CSI, the authors studied the channel estimation, and optimized the phase shifts of RIS-assisted multi-user systems with phase noise and transceiver HIs.

In this paper, we focus on an RIS-assisted multi-user uplink massive MIMO system under Rician fading channels and with imperfect hardware. We jointly consider the phase noise at the RIS, and the RF impairments and low-resolution ADCs at the BS. Based on that, we derive the closed-form expressions for the ergodic AR, analyze the system performance and optimize the phase shifts. The main contributions of this paper are summarized as follows:

  • We investigate an RIS-assisted multi-user uplink massive MIMO system under Rician fading channels and with imperfect hardware. The channels between the users and the RIS and that between the RIS and the BS are modelled as Rician fading. Furthermore, we jointly consider the phase noise at the RIS, and the RF impairments and low-resolution ADCs at the BS, due to the imperfect hardware.

  • We derive approximate expressions for the ergodic AR in closed forms. Based on that, asymptotic data rates are obtained with infinite number of antennas MM and of reflecting elements NN, when the RIS is aligned to a specific user and when the RIS is aligned to none of the users. Besides, we study the power scaling laws of the users. We find that while guaranteeing a required system performance, the transmit power of the users can be scaled down at most by the factor 1M\frac{1}{M} when MM goes infinite, or by the factor 1MN\frac{1}{MN} when MM and NN go infinite.

  • We propose an optimization algorithm based on GA, which can be applied to solving the continuous and the discrete phase shift optimization problems for maximizing the sum rates of the system. Moreover, we verify in simulations that the proposed optimization algorithm can largely improve the sum rates of the considered system.

The remainder of this paper is organized as follows: Section II models the RIS-assisted multi-user uplink massive MIMO system under Rician fading channels and with imperfect hardware. Section III derives the approximate expressions for ergodic AR, and analyzes the system performance. Section IV proposes an algorithm based on GA to solve the continuous and discrete phase shift optimization problems for maximizing the sum rates of the system. Section V provides the simulation results. Section VI gives a brief conclusion.

Notations: In this paper, we use lower case letters, bold lower case letters and bold upper case letters to denote scalars, vectors and matrices, respectively. The matrix inverse, conjugate-transpose, transpose and conjugate operations are respectively denoted by the superscripts ()1{\left(\cdot\right)^{-1}}, ()H{\left(\cdot\right)^{H}}, ()T{\left(\cdot\right)^{T}} and (){\left(\cdot\right)^{*}}. We use tr(){\rm tr}\left(\cdot\right), \left\|\cdot\right\| and E{}{\rm E}\left\{\cdot\right\} to denote trace, Euclidean 2-norm and the expectation operations, respectively. And [𝐀]ij{\left[{\bf{A}}\right]_{ij}} denotes the (i,j)\left({i,j}\right)th element of matrix 𝐀{\bf{A}}. The matrix 𝐈N{{\bf{I}}_{N}} denotes an N×NN\times N identity matrix. In addition, we denote a circularly symmetric complex Gaussian vector 𝐚{\bf a} with zero mean and covariance 𝚺{\bf{\Sigma}} by 𝐚𝒞𝒩(𝟎,𝚺){\bf a}\thicksim{\cal C}{\cal N}\left({{\bf{0}},{\bf{\Sigma}}}\right).

II System Model

We investigate a multi-user uplink communication system with imperfect hardware, where KK single-antenna users transmit signals to a BS equipped with large-scale arrays of MM antennas. As shown in Fig. 1, the direct links between the users and the BS are blocked by obstacles such as buildings and trees. Therefore, we employ an RIS with NN elements to assist the communications between the users and the BS.

Refer to caption
Figure 1: System Model

II-A Channel Model

The channels from the users to the RIS and from the RIS to the BS follow the Rician fading distribution, which can be expressed respectively as

𝐇=[𝐡1,𝐡2,,𝐡k],\vspace{-0.1cm}{\bf{H}}=\left[{{{\bf{h}}_{1}},{{\bf{h}}_{2}},...,{{\bf{h}}_{k}}}\right],
𝐡k=αk(μkμk+1𝐡¯k+1μk+1𝐡~k),\vspace{-0.1cm}{\bf{h}}_{k}=\sqrt{{\alpha_{k}}}\left({\sqrt{\frac{{{\mu_{k}}}}{{{\mu_{k}}+1}}}{\bf{\bar{h}}}_{k}+\sqrt{\frac{1}{{{\mu_{k}}+1}}}{\bf{\tilde{h}}}_{k}}\right), (1)
𝐆=β(δδ+1𝐆¯+1δ+1𝐆~),\vspace{-0.1cm}{\bf{G}}=\sqrt{\beta}\left({\sqrt{\frac{\delta}{{\delta+1}}}{\bf{\bar{G}}}+\sqrt{\frac{1}{{\delta+1}}}{\bf{\tilde{G}}}}\right), (2)

where scalars αk{\alpha_{k}} and β\beta are respectively the large-scale fading coefficients between user kk and the RIS, and between the RIS and the BS. Scalars μk{\mu_{k}} and δ\delta stand for the Rician factors of the channels between user kk and the RIS, and between the RIS and the BS, respectively. Vector 𝐡~kN×1{\bf{\tilde{h}}}_{k}\in{\mathbb{C}^{N\times 1}} and matrix 𝐆~M×N{\bf{\tilde{G}}}\in{\mathbb{C}^{M\times N}} are the non-line-of-sight (nLoS) parts of the channels with independently and identically distributed (i.i.d) elements following the distribution of 𝒞𝒩(0,1)\mathcal{CN}\left(0,1\right). Vector 𝐡¯kN×1{\bf{\bar{h}}}_{k}\in{\mathbb{C}^{N\times 1}} and matrix 𝐆¯M×N{\bf{\bar{G}}}\in{\mathbb{C}^{M\times N}} are the LoS parts of the channels, which are expressed respectively as

𝐡¯k=𝐚N(ϕkra,ϕkre),\vspace{-0.05cm}{{{\bf{\bar{h}}}}_{k}}={\bf{a}}_{N}\left({\phi_{kr}^{a},\phi_{kr}^{e}}\right), (3)
𝐆¯=𝐚M(ϕra,ϕre)𝐚NH(ϕta,ϕte),\vspace{-0.05cm}{\bf{\bar{G}}}={{\bf{a}}_{M}}\left({\phi_{r}^{a},\phi_{r}^{e}}\right){\bf{a}}_{N}^{H}\left({\phi_{t}^{a},\phi_{t}^{e}}\right), (4)

where ϕkra\phi_{kr}^{a} and ϕkre\phi_{kr}^{e} represent the azimuth angles of arrival (AoA) and elevation AoA at the RIS from user kk, respectively. ϕta\phi_{t}^{a} and ϕte\phi_{t}^{e} are the azimuth angles of departure (AoD) and elevation AoD from the RIS to the BS, respectively. ϕra\phi_{r}^{a} and ϕre\phi_{r}^{e} stand for the azimuth AoA and elevation AoA at the BS from the RIS, respectively. Furthermore, it is assumed that uniform square planar arrays are equipped at both the RIS and the BS with size of N×N\sqrt{N}\times\sqrt{N} and M×M\sqrt{M}\times\sqrt{M}, respectively. Thus, the ith element of vector 𝐚XN×1{\bf{a}}_{X}\in{\mathbb{C}^{N\times 1}} is expressed as [20], [38]

[𝐚X(ϕ1,ϕ2)]i=ej2πdλ(xisinϕ1sinϕ2+yicosϕ2),\vspace{-0.2cm}{\left[{{\bf{a}}_{X}\left({{\phi_{1}},{\phi_{2}}}\right)}\right]_{i}}={e^{j2\pi\frac{d}{\lambda}\left({{x_{i}}\sin{\phi_{1}}\sin{\phi_{2}}+{y_{i}}\cos{\phi_{2}}}\right)}},
xi=(i1)modX,yi=i1X,\vspace{-0.05cm}{x_{i}}=\left(i-1\right)\bmod\sqrt{X},\;\;{y_{i}}=\left\lfloor{\frac{i-1}{{\sqrt{X}}}}\right\rfloor, (5)

where dd is the antenna/unit spacing, and λ\lambda is the carrier wavelength.

Rk=E{log2(1+pkτ2|𝐡kH𝚽H𝐆H𝝌𝐆𝚽𝚯𝐡k|2ikKpiτ2|𝐡kH𝚽H𝐆H𝝌𝐆𝚽𝚯𝐡i|2+DNk+ANk+QNk)}R_{k}=\mathrm{E}\left\{\log_{2}\left(1+\frac{p_{k}\tau^{2}\left|\mathbf{h}_{k}^{H}\mathbf{\Phi}^{H}\mathbf{G}^{H}\bm{\chi}\mathbf{G\Phi\Theta h}_{k}\right|^{2}}{\sum_{i\neq k}^{K}{p_{i}\tau^{2}\left|\mathbf{h}_{k}^{H}\mathbf{\Phi}^{H}\mathbf{G}^{H}\bm{\chi}\mathbf{G\Phi\Theta h}_{i}\right|^{2}}+\mathrm{DN}_{k}+\mathrm{AN}_{k}+\mathrm{QN}_{k}}\right)\right\} (14)
R~k=log2(1+pkτ2ξkikKpiτ2γki+τ(1τ)ϖkζM+τ(σRF2+σ2)ϖkM)\tilde{R}_{k}=\log_{2}\left(1+\frac{p_{k}\tau^{2}\xi_{k}}{\sum_{i\neq k}^{K}{p_{i}\tau^{2}\gamma_{ki}}+\tau\left(1-\tau\right)\varpi_{k}\zeta M+\tau\left(\sigma_{\mathrm{RF}}^{2}+\sigma^{2}\right)\varpi_{k}M}\right) (18)
R~k=log2(1+(ρ2N+2ρ2)ι2M+((1ι2)ρ2+1)N+(ι21)ρ2+36ι2+i=1Kpiαipkαk(ι2M+1ι2+1ττN)+σRF2+σ2pkτκ2βαkι2M1+ι2)\tilde{R}_{k}=\log_{2}\left(1+\frac{\left(\rho^{2}N+2-\rho^{2}\right)\iota^{2}M+\left(\left(1-\iota^{2}\right)\rho^{2}+1\right)N+\left(\iota^{2}-1\right)\rho^{2}+3-6\iota^{2}}{+\sum_{i=1}^{K}{\frac{p_{i}\alpha_{i}}{p_{k}\alpha_{k}}\left(\iota^{2}M+1-\iota^{2}+\frac{1-\tau}{\tau}N\right)}+\frac{\sigma_{\mathrm{RF}}^{2}+\sigma^{2}}{p_{k}\tau\kappa^{2}\beta\alpha_{k}}-\iota^{2}M-1+\iota^{2}}\right) (19)

II-B Data Transmission with Imperfect Hardware

Since the RIS is employed to assist the communications between the users and the BS, the signals are first transmitted to the RIS, then reflected to the BS. Therefore, when the RIS and the BS have ideal configurations, the received signal at the BS can be expressed as

𝐲p=𝐆𝚽𝐇𝐏𝐱+𝐧,\vspace{-0.05cm}{\bf{y}}_{\rm p}={\bf{G\Phi HPx}}+{\bf{n}}, (6)

where 𝐱=[x1,x2,,xK]KT{\bf{x}}=\left[{{x_{1}},{x_{2}},...,{x_{K}}}\right]_{K}^{T} with xkx_{k} representing the signal transmitted from user kk and subject to E{|xk|2}=1{\rm E}\left\{{{{\left|{{x_{k}}}\right|}^{2}}}\right\}=1. 𝐏=diag{p1,p2,,pK}1/2{\bf{P}}={\rm{diag}}\left\{{{p_{1}},{p_{2}},...,{p_{K}}}\right\}^{{1\mathord{\left/{\vphantom{12}}\right.\kern-1.2pt}2}}, and pkp_{k} is the transmit power of user kk. 𝚽=diag{ejθ1,ejθ2,,ejθN}{\bf{\Phi}}={\rm{diag}}{\left\{{{e^{j{\theta_{1}}}},{e^{j{\theta_{2}}}},...,{e^{j{\theta_{N}}}}}\right\}} stands for the phase shift matrix, and θn\theta_{n} is the phase shift at the unit nn of the RIS. 𝐧{\bf{n}} is the additive white Gaussian noise (AWGN) at the BS, whose elements follow i.i.d 𝒞𝒩(0,σ2)\mathcal{CN}\left(0,\sigma^{2}\right).

However, in real scenarios, the imperfect hardware at the RIS and the BS should be taken into consideration , which would limit the system performance. To address this, we consider the phase noise at the RIS, the RF impairments and low-resolution ADCs at the BS.

The phase noise is induced by the imperfection of the reflecting elements, or by the imperfect channel estimation [34]. In this paper, it is modelled as

𝚯=diag{ejε1,ejε2,,ejεN},{\bf\Theta}={\rm{diag}}{\left\{{{e^{j{\varepsilon_{1}}}},{e^{j{\varepsilon_{2}}}},...,{e^{j{\varepsilon_{N}}}}}\right\}}, (7)

where εn{\varepsilon_{n}} follows a zero-mean Von Mises distribution with the probability density function (PDF) of [41]

Mυ(εn)=12πI0(υ)eυcosεn,εn[0,2π),\vspace{-0.05cm}M_{\upsilon}\left(\varepsilon_{n}\right)=\frac{1}{2\pi I_{0}\left(\upsilon\right)}e^{\upsilon\cos\varepsilon_{n}},\;\;\;\varepsilon_{n}\in\left[0,2\pi\right), (8)

with υ\upsilon being the concentration parameter.

Then, we adopt the extended error vector magnitude (EEVM) model to depict the impacts of the RF impairments, such as I/Q imbalance and carrier frequency offset [42, 31, 38]. Thus, the received signal at the RF chains is re-expressed as

𝐲RF=𝝌𝐆𝚽𝚯𝐇𝐏𝐱+𝐧RF+𝐧,\mathbf{y}_{\mathrm{RF}}=\bm{\chi}\mathbf{G\Phi\Theta HPx}+\mathbf{n}_{\mathrm{RF}}+\mathbf{n}, (9)

where 𝝌=diag{χ1,χ2,,χM}\bm{\chi}=\mathrm{diag}\left\{\chi_{1},\chi_{2},...,\chi_{M}\right\} with χm=κmejφm\chi_{m}=\kappa_{m}e^{j\varphi_{m}} representing the amplitude attenuation and phase shift for the mmth RF chain. The scalar κm\kappa_{m} satisfies |κm|1\left|\kappa_{m}\right|\leqslant 1, while φm\varphi_{m} follows a uniform distribution of 𝒰[ηm,ηm]\mathcal{U}\left[-\eta_{m},\eta_{m}\right] with ηm[0,π)\eta_{m}\in\left[0,\pi\right). Additionally, vector 𝐧RF=[nRF,1,nRF,2,,nRF,M]T\mathbf{n}_{\mathrm{RF}}=\left[n_{\mathrm{RF},1},n_{\mathrm{RF},2},...,n_{\mathrm{RF},M}\right]^{T} stands for the additive distortion noise at the RF chains, where nRF,mn_{\mathrm{RF},m} has the distribution of 𝒞𝒩(0,σRF,m2)\mathcal{C}\mathcal{N}\left(0,\sigma_{\mathrm{RF},m}^{2}\right). In the following analysis, we assume κm=κ\kappa_{m}=\kappa, ηm=η\eta_{m}=\eta and σRF,m2=σRF2\sigma_{\mathrm{RF},m}^{2}=\sigma_{\mathrm{RF}}^{2} for m\forall m for simplicity, which means all the RF chains have the same level of imperfections.

Moreover, the BS uses low-resolution ADCs to reduce the hardware cost and power consumption, the impacts of which can be modelled by the additive quantization noise model (AQNM) [29, 31]. Therefore, the quantized signals can be obtained as

𝐲Q=τ𝝌𝐆𝚽𝚯𝐇𝐏𝐱+τ𝐧RF+τ𝐧+𝐧Q,\mathbf{y}_{\mathrm{Q}}=\tau\bm{\chi}\mathbf{G\Phi\Theta HPx}+\tau\mathbf{n}_{\mathrm{RF}}+\tau\mathbf{n}+\mathbf{n}_{\mathrm{Q}}, (10)

where τ=1ϱ\tau=1-\varrho, and ϱ\varrho is the inverse of the signal-to-quantization-noise ratio. For the quantization bits b5b\leq 5, the values of ϱ\varrho are listed in Table I, while for b>5b>5, we have ϱ=π3222b\varrho=\frac{\pi\sqrt{3}}{2}\cdot 2^{-2b}. Vector 𝐧Q𝒞𝒩(𝟎,τ(1τ)𝐒Q)\mathbf{n}_{\mathrm{Q}}\sim\mathcal{C}\mathcal{N}\left(\mathbf{0},\tau\left(1-\tau\right)\mathbf{S}_{\mathrm{Q}}\right) represents the additive Gaussian quantization noise, which is uncorrelated with 𝐲RF\mathbf{y}_{\mathrm{RF}}. The matrix 𝐒Q\mathbf{S}_{\mathrm{Q}} satisfies 𝐒Q=diag{E{𝐲RF𝐲RFH}}\mathbf{S}_{\mathrm{Q}}=\mathrm{diag}\left\{\mathrm{E}\left\{\mathbf{y}_{\mathrm{RF}}\mathbf{y}_{\mathrm{RF}}^{H}\right\}\right\}, which yields

[𝐒Q]mm=E{|𝟏M,m𝝌𝐆𝚽𝚯𝐇𝐏𝐱|2}+σRF2+σ2,\left[\mathbf{S}_{\mathrm{Q}}\right]_{mm}=\mathrm{E}\left\{\left|\mathbf{1}_{M,m}\bm{\chi}\mathbf{G\Phi\Theta HPx}\right|^{2}\right\}+\sigma_{\mathrm{RF}}^{2}+\sigma^{2}, (11)

where 𝟏M,m1×M{\bf{1}}_{M,m}\in\mathbb{C}^{1\times M} is the vector whose mth element is 1, while the rest elements are zero.

TABLE I: Values of ϱ\varrho
bb 1 2 3 4 5
ϱ\varrho 0.3634 0.1175 0.03454 0.009497 0.002499

After the quantization, the BS adopts the maximal-ratio-combining (MRC) processing. Then, the processed signal is obtained as

𝐫=𝐖𝐲Q=τ𝐖𝝌𝐆𝚽𝚯𝐇𝐏𝐱+τ𝐖𝐧RF+τ𝐖𝐧+𝐖𝐧Q,\vspace{-0.05cm}\mathbf{r}\!=\!\mathbf{Wy}_{\mathrm{Q}}\!=\!\tau\mathbf{W}\bm{\chi}\mathbf{G\Phi\Theta HPx}+\tau\mathbf{Wn}_{\mathrm{RF}}+\tau\mathbf{Wn}+\mathbf{Wn}_{\mathrm{Q}}, (12)

where the beamforming matrix is given by 𝐖=𝐇H𝚽H𝐆H{\bf{W}}={{\bf{H}}^{H}}{{\bf{\Phi}}^{H}}{{\bf{G}}^{H}}. Herein, we focus on the signal transmitted from user kk, which is obtained as

rk=pkτ𝐡kH𝚽H𝐆H𝝌𝐆𝚽𝚯𝐡kxk\vspace{-0.05cm}r_{k}=\sqrt{p_{k}}\tau\mathbf{h}_{k}^{H}\mathbf{\Phi}^{H}\mathbf{G}^{H}\bm{\chi}\mathbf{G\Phi\Theta h}_{k}x_{k}
+ikKpiτ𝐡kH𝚽H𝐆H𝝌𝐆𝚽𝚯𝐡ixi+τ𝐡kH𝚽H𝐆H𝐧RF+\sum_{i\neq k}^{K}{\sqrt{p_{i}}\tau\mathbf{h}_{k}^{H}\mathbf{\Phi}^{H}\mathbf{G}^{H}\bm{\chi}\mathbf{G\Phi\Theta h}_{i}x_{i}}+\tau\mathbf{h}_{k}^{H}\mathbf{\Phi}^{H}\mathbf{G}^{H}\mathbf{n}_{\mathrm{RF}}
+τ𝐡kH𝚽H𝐆H𝐧+𝐡kH𝚽H𝐆H𝐧Q.+\tau\mathbf{h}_{k}^{H}\mathbf{\Phi}^{H}\mathbf{G}^{H}\mathbf{n}+\mathbf{h}_{k}^{H}\mathbf{\Phi}^{H}\mathbf{G}^{H}\mathbf{n}_{\mathrm{Q}}. (13)

Note that at the right hand side of (13), the first term is the desired signal from user kk; the second term is the multi-user interference from the other users; the third and the fourth terms are generated from the distortion noise and the AWGN at RF chains, respectively; the last term is from the quantization noise.

III Achievable Rate Analysis

In this section, we investigate the uplink ergodic AR of this multi-user massive MIMO system and the impacts of the system settings, such as the number of the reflecting elements NN at the RIS and the number of the antennas MM at the BS.

According to (13), the uplink ergodic AR for user kk is expressed as (14) at the bottom of this page, where the power of the distortion noise, the AWGN, and the quantization noise are respectively expressed as

DNk=τ2σRF2𝐡kH𝚽H𝐆H2,\vspace{-0.05cm}\mathrm{DN}_{k}=\tau^{2}\sigma_{\mathrm{RF}}^{2}\left\|\mathbf{h}_{k}^{H}\mathbf{\Phi}^{H}\mathbf{G}^{H}\right\|^{2}, (15)
ANk=τ2σ2𝐡kH𝚽H𝐆H2,\vspace{-0.05cm}\mathrm{AN}_{k}=\tau^{2}\sigma^{2}\left\|\mathbf{h}_{k}^{H}\mathbf{\Phi}^{H}\mathbf{G}^{H}\right\|^{2}, (16)
QNk=τ(1τ)𝐡kH𝚽H𝐆H𝐒Q1/22.\vspace{-0.05cm}\mathrm{QN}_{k}=\tau\left(1-\tau\right)\left\|\mathbf{h}_{k}^{H}\mathbf{\Phi}^{H}\mathbf{G}^{H}\mathbf{S}_{\mathrm{Q}}^{{{1}/{2}}}\right\|^{2}. (17)

Based on (14), we present the following theorem.

Theorem 1

With MRC processing, the uplink ergodic AR for user kk in the RIS-assisted multi-user uplink massive MIMO system can be approximated in a closed form as (18) at the bottom of this page, where ξk{\xi_{k}}, γki{\gamma_{ki}}, ϖk{\varpi_{k}} and ζ\zeta are respectively given by (67), (78), (86) and (94) in Appendix A.

Proof:

See Appendix A. ∎

It can be readily observed from Theorem 1 that the uplink ergodic AR of user kk depends on MM, NN, the AoA at the BS, the AoA and AoD at the RIS, the power of users, the large-scale fading coefficients, the Rician factors, the phase shifts and noise at the RIS, the RF impairments, and the quantization bit and accuracy.

In particular, when the Rician factors satisfy μk=0\mu_{k}=0, k\forall k and δ=0\delta=0, the Rician fading channels expressed in (1) and (2) degenerate to Rayleigh fading channels, where only the nLoS parts of the channels remain. The following remark discusses the uplink ergodic AR with Rayleigh fading channels under the considered system.

Remark 1

When Rayleigh fading channels are considered, where μk=0\mu_{k}=0, k\forall k and δ=0\delta=0, the closed-form expression of the uplink ergodic AR for user kk in the RIS-assisted multi-user uplink massive MIMO system is obtained as (19) at the bottom of the previous page, where ρ\rho and ι\iota are respectively given by (39) and (57) in Appendix A.

III-A Asymptotic Analysis

According to (54) in Appendix A, it is noted that |fk|N\left|f_{k}\right|\leqslant N and the equality holds when the RIS is aligned to user kk. Specifically, the phase shifts aligned to user kk at the RIS should satisfy

θn=2πdλ(xnpk+ynqk),n,\theta_{n}=-2\pi\frac{d}{\lambda}\left(x_{n}p_{k}+y_{n}q_{k}\right),\;\;\;\forall n,
pk=sinϕkrasinϕkresinϕtasinϕte,p_{k}=\sin\phi_{kr}^{a}\sin\phi_{kr}^{e}-\sin\phi_{t}^{a}\sin\phi_{t}^{e},
qk=cosϕkrecosϕte.q_{k}=\cos\phi_{kr}^{e}-\cos\phi_{t}^{e}. (20)

In this case, we assume that |fi|\left|f_{i}\right| is bounded when iki\neq k. Therefore, when the RIS is aligned to user kk, the numerator pkξk{p_{k}}{\xi_{k}} in (18) is on the order of 𝒪(M2N4)\mathcal{O}\left(M^{2}N^{4}\right).

To obtain the order of the denominator in (18), we need to focus on the term 𝐡¯kH𝐡¯i\mathbf{\bar{h}}_{k}^{H}\mathbf{\bar{h}}_{i} in (79) and (82) first, which can be further expressed as

𝐡¯kH𝐡¯i=n=1NaNn(ϕkra,ϕkre)aNn(ϕira,ϕire)\vspace{-0.2cm}\mathbf{\bar{h}}_{k}^{H}\mathbf{\bar{h}}_{i}=\sum_{n=1}^{N}{a_{Nn}^{\ast}\left(\phi_{kr}^{a},\phi_{kr}^{e}\right)a_{Nn}\left(\phi_{ir}^{a},\phi_{ir}^{e}\right)}
=n=1Nej2πdλ(xn(sinϕirasinϕiresinϕkrasinϕkre)+yn(cosϕirecosϕkre))\vspace{-0.2cm}=\sum_{n=1}^{N}{e^{j2\pi\frac{d}{\lambda}\left(x_{n}\left(\sin\phi_{ir}^{a}\sin\phi_{ir}^{e}\!-\sin\phi_{kr}^{a}\sin\phi_{kr}^{e}\right)+y_{n}\left(\cos\phi_{ir}^{e}\!-\cos\phi_{kr}^{e}\right)\right)}}
n=1Nej2πdλ(xnsik+yntik)=(a)y=0N1x=0N1ej2πdλ(xsik+ytik)\vspace{-0.2cm}\triangleq\sum_{n=1}^{N}{e^{j2\pi\frac{d}{\lambda}\left(x_{n}s_{ik}+y_{n}t_{ik}\right)}}\overset{\left(a\right)}{=}\sum_{y=0}^{\sqrt{N}-1}{\sum_{x=0}^{\sqrt{N}-1}{e^{j2\pi\frac{d}{\lambda}\left(xs_{ik}+yt_{ik}\right)}}}
=y=0N1ej2πdλ(ytik)x=0N1ej2πdλ(xsik).\vspace{-0.05cm}=\sum_{y=0}^{\sqrt{N}-1}{e^{j2\pi\frac{d}{\lambda}\left(yt_{ik}\right)}}\sum_{x=0}^{\sqrt{N}-1}{e^{j2\pi\frac{d}{\lambda}\left(xs_{ik}\right)}}. (21)

Step (a)\left(a\right) is because xn=(n1)modN,yn=n1Nx_{n}=\left(n-1\right)\mathrm{mod}\sqrt{N},\left.y_{n}=\left.\lfloor\frac{n-1}{\sqrt{N}}\right.\right.\rfloor. On the other hand, for fixed ss, we have

x=0N1ej2πdλxs=1ej2πdλNs1ej2πdλs=(ejπdλNsejπdλNs)ejπdλNs(ejπdλsejπdλs)ejπdλs\sum_{x=0}^{\sqrt{N}-1}\!\!\!{e^{j2\pi\frac{d}{\lambda}xs}}\!\!=\!\!\frac{1\!\!-\!e^{j2\pi\frac{d}{\lambda}\sqrt{N}s}}{1\!\!-\!e^{j2\pi\frac{d}{\lambda}s}}\!\!=\!\!\frac{(\!e^{-j\pi\frac{d}{\lambda}\sqrt{N}s}\!\!-\!e^{j\pi\frac{d}{\lambda}\sqrt{N}s}\!)e^{j\pi\frac{d}{\lambda}\sqrt{N}s}}{(\!e^{-j\pi\frac{d}{\lambda}s}\!\!-\!e^{j\pi\frac{d}{\lambda}s}\!)e^{j\pi\frac{d}{\lambda}s}}
=sin(πdλNs)sin(πdλs)ejπdλ(N1)s=Nsinc(dλNs)sinc(dλs)ejπdλ(N1)s=\!\!\frac{\sin\mathrm{(}\pi\frac{d}{\lambda}\sqrt{N}s)}{\sin\mathrm{(}\pi\frac{d}{\lambda}s)}e^{j\pi\frac{d}{\lambda}(\sqrt{N}-\!1)s}\!\!=\!\!\sqrt{N}\frac{\sin\mathrm{c(}\frac{d}{\lambda}\sqrt{N}s)}{\sin\mathrm{c(}\frac{d}{\lambda}s)}e^{j\pi\frac{d}{\lambda}(\sqrt{N}-\!1)s} (22)

which yields

x=0N1ej2πdλxsNN0.\frac{\sum_{x=0}^{\sqrt{N}-1}{e^{j2\pi\frac{d}{\lambda}xs}}}{\sqrt{N}}\xrightarrow{N\rightarrow\infty}0. (23)

According to (21), it is noted that 𝐡¯kH𝐡¯i\mathbf{\bar{h}}_{k}^{H}\mathbf{\bar{h}}_{i} is below the order of 𝒪(N)\mathcal{O}\left(N\right), which means |𝐡¯kH𝐡¯i|2\left|\mathbf{\bar{h}}_{k}^{H}\mathbf{\bar{h}}_{i}\right|^{2} is not the term which dominates the order of the denominator. Since the quantization noise is proportional to the power of the received signals, the denominator is on the order of 𝒪(MN4)\mathcal{O}\left(MN^{4}\right). Thus, the fraction in (18) is on the order of 𝒪(M)\mathcal{O}\left(M\right). Then, we have the following corollary:

Corollary 1

When the RIS is aligned to user kk and the number of the reflecting elements at the RIS satisfies NN\rightarrow\infty, the uplink ergodic AR for user kk in the RIS-assisted multi-user uplink massive MIMO system converges to

R~klog2(τι21τM+1ι2τ1τ),\tilde{R}_{k}\rightarrow\log_{2}\left(\frac{\tau\iota^{2}}{1-\tau}M+\frac{1-\iota^{2}\tau}{1-\tau}\right), (24)

where ι\iota is given by (57) in Appendix A.

It can be seen from Corollary 1 that the converged uplink ergodic AR for user kk is determined by MM, the quantization parameter τ\tau, and the scalar ι\iota which is related to the RF impairments.

Furthermore, we can find that the impact of the phase noise at the RIS vanishes in the converged AR for user kk. This is because when the RIS is aligned to user kk, the signal transmitted from user kk is on the order of 𝒪(N4)\mathcal{O}\left(N^{4}\right), while the interference from the other users is on the order of 𝒪(N3)\mathcal{O}\left(N^{3}\right). Then as NN goes to infinity, the signal transmitted from user kk becomes dominant. On the other hand, the phase noise at the RIS is multiplicative to the transmitted signal, and the quantization noise at the ADCs is proportional to the signal power. Therefore, the impact of phase noise at the RIS vanishes as the equal parts of coefficients in the numerator and denominator are eliminated.

When none of the users is aligned to the RIS, we assume that |fk|\left|f_{k}\right| is bounded for k\forall k. In this case, both of the numerator and the denominator in the fraction of (18) are on the order of 𝒪(M2N2)\mathcal{O}\left(M^{2}N^{2}\right). Then, we have the following conclusion.

Corollary 2

When none of the users is aligned to the RIS, as the number of the reflecting elements NN at the RIS and the number of the antennas MM at the BS satisfy N,MN,M\rightarrow\infty, the uplink ergodic AR for user kk in the RIS-assisted multi-user uplink massive MIMO system converges to

R~klog2(1+ρ2δ2(μk+δ+1)2+μk+1ρ2μkikKpiαi(μk+1)pkαk(μi+1)(μi+1ρ2μi)),\tilde{R}_{k}\!\rightarrow\log_{2}\!\left(\!1\!+\!\frac{\frac{\rho^{2}}{\delta^{2}}\left(\mu_{k}+\delta+1\right)^{2}+\mu_{k}+1-\rho^{2}\mu_{k}}{\sum_{i\neq k}^{K}{\frac{p_{i}\alpha_{i}\left(\mu_{k}+1\right)}{p_{k}\alpha_{k}\left(\mu_{i}+1\right)}\left(\mu_{i}+1-\rho^{2}\mu_{i}\right)}}\right), (25)

where ρ\rho is given by (39) in Appendix A.

In Corollary 2, the converged uplink ergodic AR for user kk is determined by the power of the users, the large-scale fading coefficients, the Rician factors, and the level of phase noise.

R~klog2(1+ρ2δ2(μk+δ+1)2+μk+1ρ2μkikKαi(μk+1)αk(μi+1)(μi+1ρ2μi)+(σRF2+σ2)(μk+δ+1)(δ+1)(μk+1)Euι2κ2τβαkδ2)\tilde{R}_{k}\rightarrow\log_{2}\left(1+\frac{\frac{\rho^{2}}{\delta^{2}}\left(\mu_{k}+\delta+1\right)^{2}+\mu_{k}+1-\rho^{2}\mu_{k}}{\sum_{i\neq k}^{K}{\frac{\alpha_{i}\left(\mu_{k}+1\right)}{\alpha_{k}\left(\mu_{i}+1\right)}\left(\mu_{i}+1-\rho^{2}\mu_{i}\right)}+\frac{\left(\sigma_{\mathrm{RF}}^{2}+\sigma^{2}\right)\left(\mu_{k}+\delta+1\right)\left(\delta+1\right)\left(\mu_{k}+1\right)}{E_{u}\iota^{2}\kappa^{2}\tau\beta\alpha_{k}\delta^{2}}}\right) (30)
R~klog2(1+ρ2μkikKαi(μk+1)αk(μi+1)(μi+1ρ2μi)+(σRF2+σ2)(δ+1)(μk+1)Euτι2κ2βαkδ)\tilde{R}_{k}\rightarrow\log_{2}\left(1+\frac{\rho^{2}\mu_{k}}{\sum_{i\neq k}^{K}{\frac{\alpha_{i}\left(\mu_{k}+1\right)}{\alpha_{k}\left(\mu_{i}+1\right)}\left(\mu_{i}+1-\rho^{2}\mu_{i}\right)}+\left(\sigma_{\mathrm{RF}}^{2}+\sigma^{2}\right)\frac{\left(\delta+1\right)\left(\mu_{k}+1\right)}{E_{u}\tau\iota^{2}\kappa^{2}\beta\alpha_{k}\delta}}\right) (31)

III-B Power Scaling Laws

An important feature of massive MIMO is that it reduces the transmit power of the users proportionally to the number of antennas while maintaining the required system performance. As such, to gather valuable insights on energy savings, we investigate the power scaling laws of the users..

We scale down the power as pk=EuMϵp_{k}=\frac{E_{u}}{M^{\epsilon}}, k\forall k, with fixed EuE_{u}, where ϵ0\epsilon\geqslant 0 is the power scaling factor deciding the power scaling level. Then, from (18) in Theorem 1, as the number of antennas MM\rightarrow\infty, we have

R~kM{0,ϵ>1log2(1+EuΓkikKEuΓki+(σRF2+σ2)τϖk),ϵ=1log2(1+ΓkikKΓki),ϵ<1\tilde{R}_{k}\xrightarrow{M\rightarrow\infty}\begin{cases}0,\epsilon>1\\ \log_{2}\left(1+\frac{E_{u}\varGamma_{k}}{\sum_{i\neq k}^{K}{E_{u}\varGamma_{ki}}+\left(\sigma_{\mathrm{RF}}^{2}+\sigma^{2}\right)\tau\varpi_{k}}\right),\epsilon=1\\ \log_{2}\left(1+\frac{\varGamma_{k}}{\sum_{i\neq k}^{K}{\varGamma_{ki}}}\right),\epsilon<1\\ \end{cases} (26)

where Γk\varGamma_{k} and Γki\varGamma_{ki} are respectively defined as (27) and (28)

Γk=τ2ι2κ2β2αk2(δ+1)2(μk+1)2×\vspace{-0.2cm}\varGamma_{k}=\frac{\tau^{2}\iota^{2}\kappa^{2}\beta^{2}\alpha_{k}^{2}}{\left(\delta+1\right)^{2}\left(\mu_{k}+1\right)^{2}}\times
((ρ2(μk+δ+1)2+(1ρ2)δ2μk+δ2)N2\vspace{-0.2cm}\Bigg{(}\left(\rho^{2}\left(\mu_{k}+\delta+1\right)^{2}+\left(1-\rho^{2}\right)\delta^{2}\mu_{k}+\delta^{2}\right)N^{2}
+(((2μk+3δ+2δμk)ρ2+(1+μk)δ)δμk|fk|2\vspace{-0.2cm}+\Big{(}\left(\left(2\mu_{k}+3\delta+2-\delta\mu_{k}\right)\rho^{2}+\left(1+\mu_{k}\right)\delta\right)\delta\mu_{k}\left|f_{k}\right|^{2}
+(μk+δ+2)2ρ2(μk+δ+1)22ρ2δμk2)N\vspace{-0.2cm}+\left(\mu_{k}+\delta+2\right)^{2}-\rho^{2}\left(\mu_{k}+\delta+1\right)^{2}-2\rho^{2}\delta\mu_{k}-2\Big{)}N
+ρ2δ2μk2|fk|4+2((1ρ2)(μk+δ)+2)δμk|fk|2),\vspace{-0.1cm}+\rho^{2}\delta^{2}\mu_{k}^{2}\left|f_{k}\right|^{4}+2\left(\left(1-\rho^{2}\right)\left(\mu_{k}+\delta\right)+2\right)\delta\mu_{k}\left|f_{k}\right|^{2}\Bigg{)}, (27)
Γki=τ2ι2κ2β2αkαi(δ+1)2(μk+1)(μi+1)×((μi+1ρ2μi)δ2N2\vspace{-0.2cm}\varGamma_{ki}=\frac{\tau^{2}\iota^{2}\kappa^{2}\beta^{2}\alpha_{k}\alpha_{i}}{\left(\delta\!+\!1\right)^{2}\left(\mu_{k}\!+\!1\right)\left(\mu_{i}\!+\!1\right)}\times\Bigg{(}\left(\mu_{i}+1-\rho^{2}\mu_{i}\right)\delta^{2}N^{2}
+((μi+1ρ2μi)δ2μk|fk|2+ρ2δ2μi|fi|2\vspace{-0.2cm}+\Big{(}\left(\mu_{i}+1-\rho^{2}\mu_{i}\right)\delta^{2}\mu_{k}\left|f_{k}\right|^{2}+\rho^{2}\delta^{2}\mu_{i}\left|f_{i}\right|^{2}
+(μk+2δ+1)(μi+1ρ2μi)+ρ2μi)N\vspace{-0.2cm}+\left(\mu_{k}+2\delta+1\right)\left(\mu_{i}+1-\rho^{2}\mu_{i}\right)+\rho^{2}\mu_{i}\Big{)}N
+(ρ2δμi|fi|2+2μi(1ρ2)+2)δμk|fk|2\vspace{-0.2cm}+\left(\rho^{2}\delta\mu_{i}\left|f_{i}\right|^{2}+2\mu_{i}\left(1-\rho^{2}\right)+2\right)\delta\mu_{k}\left|f_{k}\right|^{2}
+(2δ|fi|2+μk|𝐡¯kH𝐡¯i|2+2δμkRe(fkfi𝐡¯iH𝐡¯k))ρ2μi),+\left(2\delta\left|f_{i}\right|^{2}\!+\!\mu_{k}\left|\mathbf{\bar{h}}_{k}^{H}\mathbf{\bar{h}}_{i}\right|^{2}\!+\!2\delta\mu_{k}\mathrm{Re}\left(f_{k}^{\ast}f_{i}\mathbf{\bar{h}}_{i}^{H}\mathbf{\bar{h}}_{k}\right)\right)\rho^{2}\mu_{i}\Bigg{)}, (28)

and ρ\rho, ι\iota, and ϖk\varpi_{k} are respectively given by (39), (57), and (86) in Appendix A.

It is noted that the converged AR is determined by the power scaling factor ϵ\epsilon. When ϵ>1\epsilon>1, the converged AR goes to zero as MM\rightarrow\infty. This is because the transmit power is aggressively scaled down with a large ϵ\epsilon, which certainly degrades the system performance. When ϵ1\epsilon\leqslant 1, the converged AR is a non-zero value as MM\rightarrow\infty. It means the system performance can be maintained when the transmit power is scaled down. Furthermore, when ϵ=1\epsilon=1, the transmit power can be scaled down by the factor 1M\frac{1}{M} at most while guaranteeing the required system performance. Therefore, we obtain the following corollary.

Corollary 3

As the number of antennas MM\rightarrow\infty, the transmit power of the users can be scaled down at most to pk=EuMp_{k}=\frac{E_{u}}{M}, k\forall k, with fixed EuE_{u}, then the uplink ergodic AR for user kk in the RIS-assisted multi-user uplink massive MIMO system converges to

R~klog2(1+EuΓkikKEuΓki+(σRF2+σ2)τϖk),\tilde{R}_{k}\rightarrow\log_{2}\left(1+\frac{E_{u}\varGamma_{k}}{\sum_{i\neq k}^{K}{E_{u}\varGamma_{ki}}+\left(\sigma_{\mathrm{RF}}^{2}+\sigma^{2}\right)\tau\varpi_{k}}\right), (29)

where Γk\varGamma_{k} and Γki\varGamma_{ki} are respectively defined in (27) and (28).

Corollary 3 illustrates the power scaling law related to MM. Theoretically, the transmit power of the users can be further cut down according to the number of reflecting elements NN at the RIS in the considered RIS-assisted system. The following corollary shows the power scaling law related to MM and NN, when none of the users is aligned to the RIS.

Corollary 4

When none of the users is aligned to the RIS, as the number of antennas and reflecting elements M,NM,N\rightarrow\infty, the transmit power of the users can be scaled down at most to pk=EuMNp_{k}=\frac{E_{u}}{MN}, k\forall k, with fixed EuE_{u}, then the uplink ergodic AR for user kk in the RIS-assisted multi-user uplink massive MIMO system converges to (30) at the bottom of this page.

Corollary 4 investigates the power scaling law in the case where none of the users is aligned to the RIS. Moreover, the following Corollary 5 investigates the power scaling law in the case where the RIS is aligned to user kk.

Corollary 5

When the RIS is aligned to user kk, as the number of antennas and reflecting elements M,NM,N\rightarrow\infty, the transmit power of user kk can be scaled down at most to pk=EuMN2p_{k}=\frac{E_{u}}{MN^{2}}, while the transmit power of other users is scaled down to pi=EuMNp_{i}=\frac{E_{u}}{MN}, iki\neq k, with fixed EuE_{u}, then the uplink ergodic AR for user kk in the RIS-assisted multi-user uplink massive MIMO system converges to (31) at the bottom of this page.

IV Phase Shift Optimization

Theorem 1 shows that the uplink ergodic AR depends on the phase shift of the RIS. Thus, to enhance the system performance, we can optimize the phase shifts at the RIS for maximizing the sum uplink ergodic AR.

From (18), the sum uplink ergodic AR of the RIS-assisted multi-user uplink massive MIMO system can be expressed as

R~sum=k=1KR~k.\vspace{-0.05cm}\tilde{R}_{\mathrm{sum}}=\sum_{k=1}^{K}{\tilde{R}_{k}}. (32)

Since the phase shift at each unit of the RIS lies in the range of [0,2π)\left[0,2\pi\right), the phase shift optimization problem can be expressed as

max𝚽\displaystyle\max_{\mathbf{\Phi}}\;\;\; R~sum\displaystyle\tilde{R}_{\mathrm{sum}}
s.t.\displaystyle\mathrm{s}.\mathrm{t}.\;\;\; θn[0,2π),n,\displaystyle\theta_{n}\in\left[0,2\pi\right),\;\forall n, (33)

where R~sum\tilde{R}_{\mathrm{sum}} is the sum uplink ergodic AR defined in (32), 𝚽\mathbf{\Phi} is the phase shift matrix, and θn\theta_{n} is the phase shift at unit nn of the RIS. According to (18) and (32), the expression for the objective function of Problem (IV) is complicated, which makes the problem challenging to be solved. Herein, we apply GA to solve our phase shift optimization problem.

Simulating the evolution of nature population, GA mainly includes five parts: population initialization, fitness evaluation & sort, selection, crossover and mutation. By tailoring it to our phase shift optimization problem, we further discuss the five parts of GA.

1) Population initialization: In the beginning, NtotN_{\mathrm{tot}} individuals are generated in the initial population. For the NN phase shifts at the NN reflecting elements of the RIS, each individual has one chromosome containing NN genes. Furthermore, the value of each gene is initially generated in [0,2π)\left[0,2\pi\right).

2) Fitness evaluation & sort: The fitness value of the individual ii is evaluated by the fitness function, which is given by

ffit,i=R~sum,i,i=1,2,,Ntot,f_{\mathrm{fit},i}=\tilde{R}_{\mathrm{sum},i},\;\;\;i=1,2,...,N_{\mathrm{tot}}, (34)

where R~sum,i\tilde{R}_{\mathrm{sum},i} is the sum uplink ergodic AR corresponding to individual ii. Since we use the objective function in Problem (IV) as the fitness function, the individual corresponding to a higher sum uplink ergodic AR has a higher fitness value. Then, NtotN_{\mathrm{tot}} individuals are sorted by the fitness values given in (34) as LIST 1.

Algorithm 1 Algorithm for selection
1:Generate cc from a uniform distribution in (0,1)\left(0,1\right);
2:Set acc=f¯fit,j\mathrm{acc}=\bar{f}_{\mathrm{fit},j};
3:for j=1:Ntotj=1:N_{\mathrm{tot}} do
4:     if c>accc>\mathrm{acc} then
5:         j=j+1j=j+1;
6:         acc=acc+f¯fit,j\mathrm{acc}=\mathrm{acc}+\bar{f}_{\mathrm{fit},j};
7:     else
8:         Set the jjth individual in the LIST 1 as a parent;
9:         break;
10:     end if
11:end for

3) Selection: The selection operation is to choose individuals from the current population as parents. Before the selection operation, we choose the top NeN_{\mathrm{e}} individuals in LIST 1 as elite individuals, which are directly copied to the next generation. The operation for the elite individuals is to make sure that the optimal individuals in the current population are passed to the next. Then, we scale the fitness values of the individuals in LIST 1 as follows:

f¯fit,j=fjlists=1Ntotfslist,j=1,2,,Ntot,\bar{f}_{\mathrm{fit},j}=\frac{f_{j}^{\mathrm{list}}}{\sum_{s=1}^{N_{\mathrm{tot}}}{f_{s}^{\mathrm{list}}}},\;\;\;j=1,2,...,N_{\mathrm{tot}}, (35)

where filistf_{i}^{\mathrm{list}} is the fitness value of the iith individual in LIST 1. Based on (35), the selection algorithm is given in Algorithm 1, which is used to select one parent once at a time.

Algorithm 2 Algorithm for crossover
1:Generate c1c_{1} and c2c_{2} from a uniform distribution in (0,1)\left(0,1\right);
2:if c1>pcc_{1}>p_{\mathrm{c}} then
3:     child1=parent1\mathrm{child}1=\mathrm{parent}1;
4:     child2=parent2\mathrm{child}2=\mathrm{parent}2;
5:else
6:     Set cp=c2Nc_{\mathrm{p}}=\lceil c_{2}N\rceil;
7:     child1=[parent1(1:cp),parent2(cp+1:N)]\mathrm{child}1=\left[\mathrm{parent}1\left(1:c_{\mathrm{p}}\right),\mathrm{parent}2\left(c_{\mathrm{p}}+1:N\right)\right];
8:     child2=[parent2(1:cp),parent1(cp+1:N)]\mathrm{child}2=\left[\mathrm{parent}2\left(1:c_{\mathrm{p}}\right),\mathrm{parent}1\left(c_{\mathrm{p}}+1:N\right)\right];
9:end if

4) Crossover: The crossover operation needs two parents. Simply, we execute the selection operation two times to generate two parents for one crossover operation. The crossover algorithm is given in Algorithm 2, where pcp_{\mathrm{c}} stands for the crossover probability, and parent1\mathrm{parent}1 and parent2\mathrm{parent}2 are generated from the selection operation.

Algorithm 3 Algorithm for mutation
1:for i=1:Ni=1:N do
2:     Generate cc from a uniform distribution in (0,1)\left(0,1\right);
3:     if c<pmc<p_{\mathrm{m}} then
4:         Reset child(i)\mathrm{child}\left(i\right) from a uniform distribution in [0,2π)\left[0,2\pi\right);
5:     end if
6:end for

5) Mutation: The mutation operation is after the crossover operation. Each gene of the child generated from the crossover operation can mutate under the mutation probability pmp_{\mathrm{m}}. The mutation operation is shown in Algorithm 3. Finally, the child after the mutation operation is added to the next generation.

Based on Algorithms 1-3, we propose a GA for the phase shift optimization problem (IV) to obtain the optimal phase shifts {θnopt|n=1,2,N}\left\{\theta_{n}^{\mathrm{opt}}\left|n=1,2,...N\right.\right\} along with the maximum sum rate R~summax\tilde{R}_{\mathrm{sum}}^{\max}. The GA is given in Algorithm 4. Additionally, the complexity of the proposed GA-based algorithm is NtotnN_{\mathrm{tot}}\ast n, where NtotN_{\mathrm{tot}} is the population size, and nn is the number of generations evaluated which is determined by the convergence behavior of the GA [43].

Algorithm 4 GA for phase shift optimization
1:initialization: Generate the initial population P1\mathrm{P}_{1} with NtotN_{\mathrm{tot}} individuals. The NN genes of each individual are initially generated in [0,2π)\left[0,2\pi\right). Set the iteration number t=1t=1. The number of the termination iteration times is tTt_{T}, and the termination value is fTf_{T}.
2:repeat
3:     Calculate the fitness values for Pt\mathrm{P}_{t} as {ffit,i|ffit,i=R~sum,i,i=1,2,,Ntot}\left\{f_{\mathrm{fit},i}\left|f_{\mathrm{fit},i}=\tilde{R}_{\mathrm{sum},i},i=1,2,...,N_{\mathrm{tot}}\right.\right\};
4:     Sort the individuals in Pt\mathrm{P}_{t}, select the top NeN_{\mathrm{e}} individuals as elites, and add them to the population Pt+1\mathrm{P}_{t+1};
5:     Scale the fitness values of the individuals in LIST 1;
6:     for j=1:(NtotNe)/2j=1:\left(N_{\mathrm{tot}}-N_{\mathrm{e}}\right)/2 do
7:         Execute Algorithm 1 two times for selection, and generate two parents as parent1\mathrm{parent}1 and parent2\mathrm{parent}2;
8:         Execute Algorithm 2 for crossover, and generate two children as child1\mathrm{child}1 and child2\mathrm{child}2;
9:         For each child, execute Algorithm 3 for mutation, and then add child1\mathrm{child}1 and child2\mathrm{child}2 to the population Pt+1\mathrm{P}_{t+1};
10:     end for
11:     Set t=t+1t=t+1;
12:until t>tTt>t_{T} or max({ffit,i})>fT\max\left(\left\{f_{\mathrm{fit},i}\right\}\right)>f_{T}
13:Output max({ffit,i})\max\left(\left\{f_{\mathrm{fit},i}\right\}\right) as the maximum sum rate R~summax\tilde{R}_{\mathrm{sum}}^{\max} and genes of the corresponding individual as the optimal phase shifts {θnopt|n=1,2,N}\left\{\theta_{n}^{\mathrm{opt}}\left|n=1,2,...N\right.\right\}.

It is noted that the phase shifts vary in a continuous range of [0,2π)\left[0,2\pi\right) in Problem (IV). However, in practical scenarios, the phase shifts are usually discrete values in the range of [0,2π)\left[0,2\pi\right). In that case, the phase shift optimization problem can be formulated as

max𝚽\displaystyle\max_{\mathbf{\Phi}}\;\;\; R~sum\displaystyle\tilde{R}_{\mathrm{sum}}
s.t.\displaystyle\mathrm{s}.\mathrm{t}.\;\;\; θn{0,2π2B,2×2π2B,,(2B1)×2π2B},n,\displaystyle\theta_{n}\in\left\{0,\frac{2\pi}{2^{B}},2\times\frac{2\pi}{2^{B}},...,\left(2^{B}-1\right)\times\frac{2\pi}{2^{B}}\right\},\;\forall n, (36)

where the range of the phase shifts is divided into BB bits. It is readily to be seen that with a larger BB, the phase shifts can be adjusted more accurately. When the values of the genes are generated from the discrete range, Algorithm 4 can be applied to solve Problem (IV) with discrete phase shifts as to solve Problem (IV).

V Numerical Results

In this section, numerical results are provided. Similar to the settings in [44] and [20], we consider a scenario placed in an XYZ Cartesian coordinate system, where the BS is at coordinate (0,0,25)\left(0,0,25\right), and the RIS is at (5,100,30)\left(5,100,30\right). Users are assumed to be randomly distributed within the circle in Plane z=1.6z=1.6 with the center at (0,0,1.6)\left(0,0,1.6\right). The values for the AoA and AoD of the BS and the RIS are generated from a uniform distribution in (0,2π)\left(0,2\pi\right). Furthermore, we set the spacing distance at the BS and the RIS as d=λ2d=\frac{\lambda}{2}, the number of users as K=4K=4, the Rician factors as δ=1\delta=1 and μk=10\mu_{k}=10, k\forall k, the transmit power of users as pk=30p_{k}=30 dBm, k\forall k, the parameter of the phase noise as υ=20\upsilon=20, the amplitude and phase parameters of RF impairments as κ=0.9\kappa=0.9 and η=π/6\eta=\pi/6, the noise power as σ2=σRF2=104\sigma^{2}=\sigma_{\mathrm{RF}}^{2}=-104 dBm, and the ADC quantization bits as b=2b=2. The large-scale fading coefficient is modeled as

pathloss=lαp1000,\vspace{-0.1cm}\mathrm{pathloss}=\frac{l^{-\alpha_{\mathrm{p}}}}{1000}, (37)

where ll is the distance between the source and the destination. αp\alpha_{\mathrm{p}} is the path-loss exponent, which is assumed to be αp=2.8\alpha_{\mathrm{p}}=2.8 in this section. Additionally, the simulation results in this section are obtained by averaging over 2000 Monte Carlo realizations.

Refer to caption
Figure 2: Sum AR versus the number of antennas MM

In Fig. 2, we study how the sum rates vary with the number of the antennas MM at the BS, setting the number of the reflecting elements NN at the RIS as N=16N=16 and N=64N=64. The curves marked with “Simulation” are obtained based on (14), while the curves marked with “Approximation” are obtained according to (18) in Theorem 1. Two cases are considered: 1) Case 1: the phase shifts at the RIS are fixed, each of which is randomly generated from a uniform distribution in (0,2π)\left(0,2\pi\right); 2) Case 2: the phase shifts at the RIS are obtained by applying the GA in Algorithm 4 to Problem (IV). The parameters of the GA are set as: the population is Ntot=200N_{\mathrm{tot}}=200, the number of elites is Ne=10N_{\mathrm{e}}=10, the crossover probability is pc=0.4p_{\mathrm{c}}=0.4, the mutation probability is pm=0.1p_{\mathrm{m}}=0.1, and the number of the termination iteration times is tT=2000t_{T}=2000. It can be seen that the approximation curves match well with the simulation curves, which supports the results in Theorem 1. Moreover, it is noted that the sum rates with the optimized phase shifts obtained by Algorithm 4 are better than that with the fixed phase shifts. Furthermore, the sum rates increase with MM in Case 2 with the optimized phase shifts, while for Case 1 with the fixed phase shifts, the sum rates first increase and then tend to be saturated with MM. Additionally, the sum rates with N=64N=64 are higher than that with N=16N=16 in both Case 1 and 2. Therefore, we can improve the performance of the RIS-assisted multi-user massive MIMO system by increasing MM and NN, while using the optimized phase shifts obtained by the proposed GA in Algorithm 4.

Refer to caption
Figure 3: Power scaling laws of the users
Refer to caption
Figure 4: Sum AR versus the parameter υ\upsilon of RIS phase noise

In Fig. 3, we investigate the power scaling laws of the users. Two groups of the fixed phase shifts are considered, which are obtained by using the GA in Algorithm 4 with N=16N=16 and N=64N=64 respectively, when M=64M=64. We set the power as pk=EuMϵp_{k}=\frac{E_{u}}{M^{\epsilon}}, k\forall k, with fixed Eu=10E_{u}=10 dB. The curves marked with “Approximation” in Fig. 3 are obtained according to (26). It can be seen that when the power scaling factor ϵ=1.4\epsilon=1.4, as MM\rightarrow\infty, the sum rates converge to zero in both cases with N=16N=16 and N=64N=64. This is because the transmit power is scaled down too fast with MM. Furthermore, when ϵ=1\epsilon=1, as MM\rightarrow\infty, the sum rates converge to non-zero limits in both cases with N=16N=16 and N=64N=64. It means the system maintains a required performance when the transmit power is scaled down by the factor 1M\frac{1}{M}, which validates our analysis in Section III.

Refer to caption
Figure 5: Sum AR versus the amplitude parameter κ\kappa of RF impairments
Refer to caption
Figure 6: Sum AR versus the phase parameter η\eta of RF impairments

Fig. 4 shows the impacts of the phase noise at the RIS on the sum rates. It can be seen that the sum rates increase as the concentration parameter υ\upsilon increases. For both N=16N=16 and N=64N=64 cases, the increase of the sum rates is rapid when υ\upsilon is small, and then slows down when υ\upsilon is large. Since the phase noise εn{\varepsilon_{n}} at the unit nn of the RIS follows a Von Mises distribution, a higher concentration parameter υ\upsilon means the fluctuation for εn{\varepsilon_{n}} lies in a smaller range. Specifically, when υ\upsilon\rightarrow\infty, we have εn0{\varepsilon_{n}}\rightarrow 0, which means there is no phase noise at the RIS. Therefore, the sum rates converge to the case without phase noise as the concentration parameter υ\upsilon grows to infinity, which is consistent with the results in Fig. 4, where the sum rates first increase and then become saturated as υ\upsilon increases.

Fig. 5 and 6 focus on the impacts of RF impairments on the sum rates while setting M=64M=64. In Fig. 5, we can find that the sun rates increase with the amplitude parameter κ\kappa in both N=16N=16 and N=64N=64 cases. It should be mentioned that κ=1\kappa=1 means RF impairments have no impacts on the amplitude of the receiving signals. Thus, a smaller κ\kappa stands for severer RF impairments, causing larger reduction of the system performance, as is shown in Fig. 5. In Fig. 6, it is observed that the sun rates decrease with the phase parameter η\eta in both N=16N=16 and N=64N=64 cases. This is because when η\eta is large, the phase shifts brought by RF impairments would lie in a large range, which leads to poor system performance.

Refer to caption
Figure 7: Sum AR versus ADC quantization bits bb
Refer to caption
Figure 8: The comparison of the continuous and the discrete phase shifts

Fig. 7 depicts how the sum rates vary with the ADC quantization bits bb. It is readily seen that in both N=16N=16 and N=64N=64 cases, the sum rates first increase fast with bb, and then become saturated. It is well known that the power consumption and hardware cost of wireless systems increase rapidly as ADC quantization bits bb increases.. Thus, Fig. 7 indicates that we can choose b=3b=3 for the considered system to obtain a balance between system performance, power consumption and hardware cost.

Finally, we make a comparison between the cases with continuous phase shifts and with discrete phase shifts in Fig. 8. The phase shifts for the curves marked with ”Discrete” is obtained by applying Algorithm 4 to Problem (IV) with discrete phase shifts. The RIS discrete bits BB is defined in (IV). In practical scenarios, discrete phase shifts are used, while the continuous phase shifts are considered for ideal scenarios. Therefore, it is essential to study the system performance with discrete phase shifts. From Fig. 8, the sum rates with the optimized discrete phase shifts increase as BB increases, and converge to that with the optimized continuous phase shifts. It is noted that B=6B=6 and B=3B=3 are reasonable choices for the discrete case with N=16N=16 and N=64N=64, respectively, since they achieve the performance for the corresponding continuous cases, while a higher BB leads to more cost.

VI Conclusion

The paper studied an RIS-assisted multi-user uplink massive MIMO system under Rician fading channels and with imperfect hardware at both the RIS and BS. At the RIS, the paper used Von Mises distribution to model the phase noise, while at the BS, the paper adopted EEVM model for RF impairments and AQNM for low-resolution ADCs. Based on that, asymptotic data rates were obtained with infinite MM and NN, when the RIS was aligned to a specific user and when the RIS was aligned to none of the users. Besides, the paper investigated the power scaling laws of the users, and showed that while guaranteeing a required system performance, the transmit power of the users can be scaled down at most by the factor 1M\frac{1}{M} when MM goes infinite, or by the factor 1MN\frac{1}{MN} when MM and NN go infinite. Furthermore, an optimization algorithm was proposed based on GA, which can be applied to solve the continuous and discrete phase shift optimization problems for maximizing the sum rates of the system. Numerical results were provided to support the main results. The numerical results revealed that the sum rate of the considered system can be improved by increasing MM and NN. Moreover, the impacts of the parameters of the imperfect hardware on the system performance were revealed. The numerical results also revealed that when M=64M=64, B=6B=6 and B=3B=3 are reasonable choices for the discrete cases with N=16N=16 and N=64N=64, respectively.

RkR~k=log2(1+pkτ2E{|𝐡kH𝚽H𝐆H𝝌𝐆𝚽𝚯𝐡k|2}ikKpiτ2E{|𝐡kH𝚽H𝐆H𝝌𝐆𝚽𝚯𝐡i|2}+E{DNk}+E{ANk}+E{QNk})R_{k}\approx\tilde{R}_{k}=\log_{2}\left(1+\frac{p_{k}\tau^{2}\mathrm{E}\left\{\left|\mathbf{h}_{k}^{H}\mathbf{\Phi}^{H}\mathbf{G}^{H}\bm{\chi}\mathbf{G\Phi\Theta h}_{k}\right|^{2}\right\}}{\sum_{i\neq k}^{K}{p_{i}\tau^{2}\mathrm{E}\left\{\left|\mathbf{h}_{k}^{H}\mathbf{\Phi}^{H}\mathbf{G}^{H}\bm{\chi}\mathbf{G\Phi\Theta h}_{i}\right|^{2}\right\}}+\mathrm{E}\left\{\mathrm{DN}_{k}\right\}+\mathrm{E}\left\{\mathrm{AN}_{k}\right\}+\mathrm{E}\left\{\mathrm{QN}_{k}\right\}}\right) (45)
𝐡kH𝚽H𝐆H𝝌𝐆𝚽𝚯𝐡k=𝐡kH𝚽Hβδ+1(δ𝐆¯H𝝌𝐆¯+δ𝐆¯H𝝌𝐆~+δ𝐆~H𝝌𝐆¯+𝐆~H𝝌𝐆~)𝚽𝚯𝐡k\displaystyle\mathbf{h}_{k}^{H}\mathbf{\Phi}^{H}\mathbf{G}^{H}\bm{\chi}\mathbf{G\Phi\Theta h}_{k}=\mathbf{h}_{k}^{H}\mathbf{\Phi}^{H}\frac{\beta}{\delta+1}\left(\delta\mathbf{\bar{G}}^{H}\bm{\chi}\mathbf{\bar{G}}+\sqrt{\delta}\mathbf{\bar{G}}^{H}\bm{\chi}\mathbf{\tilde{G}}+\sqrt{\delta}\mathbf{\tilde{G}}^{H}\bm{\chi}\mathbf{\bar{G}}+\mathbf{\tilde{G}}^{H}\bm{\chi}\mathbf{\tilde{G}}\right)\mathbf{\Phi\Theta h}_{k}
=βαk(δ+1)(μk+1)(μk𝐡¯kH+𝐡~kH)𝐀𝚯(μk𝐡¯k+𝐡~k)\displaystyle=\frac{\beta\alpha_{k}}{\left(\delta+1\right)\left(\mu_{k}+1\right)}\left(\sqrt{\mu_{k}}\mathbf{\bar{h}}_{k}^{H}+\mathbf{\tilde{h}}_{k}^{H}\right)\mathbf{A\Theta}\left(\sqrt{\mu_{k}}\mathbf{\bar{h}}_{k}+\mathbf{\tilde{h}}_{k}\right)
=βαk(δ+1)(μk+1)(μk𝐡¯kH𝐀𝚯𝐡¯kωkk1+μk𝐡¯kH𝐀𝚯𝐡~kωkk2+μk𝐡~kH𝐀𝚯𝐡¯kωkk3+𝐡~kH𝐀𝚯𝐡~kωkk4)\displaystyle=\frac{\beta\alpha_{k}}{\left(\delta+1\right)\left(\mu_{k}+1\right)}({\underbrace{\mu_{k}\mathbf{\bar{h}}_{k}^{H}\mathbf{A\Theta\bar{h}}_{k}}_{\omega_{kk}^{1}}}+{\underbrace{\sqrt{\mu_{k}}\mathbf{\bar{h}}_{k}^{H}\mathbf{A\Theta\tilde{h}}_{k}}_{\omega_{kk}^{2}}}+{\underbrace{\sqrt{\mu_{k}}\mathbf{\tilde{h}}_{k}^{H}\mathbf{A\Theta\bar{h}}_{k}}_{\omega_{kk}^{3}}}+{\underbrace{\mathbf{\tilde{h}}_{k}^{H}\mathbf{A\Theta\tilde{h}}_{k}}_{\omega_{kk}^{4}}}) (46)
ωkk1,2=κfkn=1Nm=1MaMm(ϕra,ϕre)ejφmg~mnejθnejεnaNn(ϕkra,ϕkre)\vspace{-0.2cm}\omega_{kk}^{1,2}=\kappa f_{k}^{\ast}\sum_{n=1}^{N}{\sum_{m=1}^{M}{a_{Mm}^{*}\left(\phi_{r}^{a},\phi_{r}^{e}\right)e^{j\varphi_{m}}\tilde{g}_{mn}e^{j\theta_{n}}e^{j\varepsilon_{n}}a_{Nn}\left(\phi_{kr}^{a},\phi_{kr}^{e}\right)}} (51)
ωkk1,3=κn=1Nm=1MaMm(ϕra,ϕre)ejφmg~mnejθnaNn(ϕkra,ϕkre)s=1Nejεsfk,s\vspace{-0.2cm}\omega_{kk}^{1,3}=\kappa\sum_{n=1}^{N}{\sum_{m=1}^{M}{a_{Mm}\left(\phi_{r}^{a},\phi_{r}^{e}\right)e^{j\varphi_{m}}\tilde{g}_{mn}^{*}e^{-j\theta_{n}}a_{Nn}^{*}\left(\phi_{kr}^{a},\phi_{kr}^{e}\right)}}\sum_{s=1}^{N}{e^{j\varepsilon_{s}}f_{k,s}} (52)
ωkk1,4=κm=1Mejφmn1=1NaNn1(ϕkra,ϕkre)ejθn1g~mn1n2=1Ng~mn2ejθn2ejεn2aNn2(ϕkra,ϕkre)\omega_{kk}^{1,4}=\kappa\sum_{m=1}^{M}{e^{j\varphi_{m}}\sum_{n_{1}=1}^{N}{a_{Nn_{1}}^{*}\left(\phi_{kr}^{a},\phi_{kr}^{e}\right)e^{-j\theta_{n_{1}}}\tilde{g}_{mn_{1}}^{*}}\sum_{n_{2}=1}^{N}{\tilde{g}_{mn_{2}}e^{j\theta_{n_{2}}}e^{j\varepsilon_{n_{2}}}a_{Nn_{2}}\left(\phi_{kr}^{a},\phi_{kr}^{e}\right)}} (53)

It should be aware that the considered system model can be further extended to investigate a more practical scenario. For example, this work considered perfect CSI, while perfect CSI is usually hard to obtain in practical. Furthermore, due to the large number of antennas at BS and reflecting units at RIS, channels are usually correlated with each other in a practical RIS-assisted massive MIMO system. Therefore, the future work would take channel estimation and channel correlation into consideration to provide more insights for RIS-assisted massive MIMO systems.

Appendix A Proof of Theorem 1

First, we review some key preliminary results given in the following lemmas.

Lemma 1: [45, Lemma 1] If X=i=1t1XiX=\sum\nolimits_{i=1}^{{t_{1}}}{{X_{i}}} and Y=j=1t2YjY=\sum\nolimits_{j=1}^{{t_{2}}}{{Y_{j}}} are both sums of nonnegative random variables Xi{X_{i}} and Yj{Y_{j}}, then we get the following approximation

E{log2(1+XY)}log2(1+E{X}E{Y}).\vspace{-0.05cm}{\rm E}\left\{{{{\log}_{2}}\left({1+\frac{X}{Y}}\right)}\right\}\approx{\log_{2}}\left({1+\frac{{{\rm E}\left\{X\right\}}}{{{\rm E}\left\{Y\right\}}}}\right). (38)

Note that it is not necessary for the random variables XX and YY to be independent. In addition, the approximation becomes more accurate as t1{t_{1}} and t2{t_{2}} increase.

Lemma 2: If ε\varepsilon is a random variable following zero-mean Von Mises distribution with a concentration parameter υ\upsilon, the characteristic function of ε\varepsilon, E{ejtε}\mathrm{E}\left\{e^{jt\varepsilon}\right\}, equals to I1(ν)I0(ν)\frac{I_{1}\left(\nu\right)}{I_{0}\left(\nu\right)} when t=1t=1. In other words, we have

E{ejε}=I1(υ)I0(υ)ρ,\vspace{-0.1cm}\mathrm{E}\left\{e^{j\varepsilon}\right\}=\frac{I_{1}\left(\upsilon\right)}{I_{0}\left(\upsilon\right)}\triangleq\rho, (39)

where In(υ)I_{n}\left(\upsilon\right) represents the modified Bessel function of the first kind and order nn.

Proof:

The Bessel Function of the first kind and order nn is given by

Jn(υ)=12π02πej(nευsinε)𝑑ε,\vspace{-0.05cm}J_{n}\left(\upsilon\right)=\frac{1}{2\pi}\int_{0}^{2\pi}{e^{j\left(n\varepsilon-\upsilon\sin\varepsilon\right)}d\varepsilon}, (40)

and the corresponding Modified Bessel Function is given by

In(υ)=jnJn(jυ)=jn12π02πejnε+υsinε𝑑ε.\vspace{-0.1cm}I_{n}\left(\upsilon\right)=j^{-n}J_{n}\left(j\upsilon\right)=j^{-n}\frac{1}{2\pi}\int_{0}^{2\pi}{e^{jn\varepsilon+\upsilon\sin\varepsilon}d\varepsilon}. (41)

When n=1n=1, we can obtain

I1(υ)=j1J1(jυ)=j112π02πejε+υsinε𝑑ε\displaystyle I_{1}\left(\upsilon\right)=j^{-1}J_{1}\left(j\upsilon\right)=j^{-1}\frac{1}{2\pi}\!\int_{0}^{2\pi}{e^{j\varepsilon+\upsilon\sin\varepsilon}d\varepsilon}
=ejπ212π02πejε+υsinε𝑑ε\displaystyle=e^{-j\frac{\pi}{2}}\frac{1}{2\pi}\!\int_{0}^{2\pi}{e^{j\varepsilon+\upsilon\sin\varepsilon}d\varepsilon}
=12π02πej(επ2)+υsin(επ2+π2)𝑑ε\displaystyle=\frac{1}{2\pi}\!\int_{0}^{2\pi}{e^{j\left(\varepsilon-\frac{\pi}{2}\right)+\upsilon\sin\left(\varepsilon-\frac{\pi}{2}+\frac{\pi}{2}\right)}d\varepsilon}
=12π02πej(επ2)+υcos(επ2)𝑑ε=12π02πejε+υcosε𝑑ε.\displaystyle=\frac{1}{2\pi}\!\int_{0}^{2\pi}{e^{j\left(\varepsilon-\frac{\pi}{2}\right)+\upsilon\cos\left(\varepsilon-\frac{\pi}{2}\right)}d\varepsilon}=\frac{1}{2\pi}\!\int_{0}^{2\pi}{e^{j\varepsilon+\upsilon\cos\varepsilon}d\varepsilon}. (42)

On the other hand, the PDF of ε\varepsilon is given by

Mυ(ε)=12πI0(υ)eυcosε,ε[0,2π).\vspace{-0.1cm}M_{\upsilon}\left(\varepsilon\right)=\frac{1}{2\pi I_{0}\left(\upsilon\right)}e^{\upsilon\cos\varepsilon},\;\;\;\varepsilon\in\left[0,2\pi\right). (43)

Then the characteristic function with t=1t=1 can be calculated as

E{ejε}=02πejεMυ(ε)𝑑ε=02πejε12πI0(υ)eυcosε𝑑ε\vspace{-0.2cm}\mathrm{E}\left\{e^{j\varepsilon}\right\}=\int_{0}^{2\pi}{e^{j\varepsilon}M_{\upsilon}\left(\varepsilon\right)d\varepsilon}=\int_{0}^{2\pi}{e^{j\varepsilon}\frac{1}{2\pi I_{0}\left(\upsilon\right)}e^{\upsilon\cos\varepsilon}d\varepsilon}
=12πI0(υ)02πejε+υcosε𝑑ε=I1(υ)I0(υ)=ρ.\vspace{-0.1cm}=\frac{1}{2\pi I_{0}\left(\upsilon\right)}\int_{0}^{2\pi}{e^{j\varepsilon+\upsilon\cos\varepsilon}d\varepsilon}=\frac{I_{1}\left(\upsilon\right)}{I_{0}\left(\upsilon\right)}=\rho. (44)

From (14), by using Lemma 1, we can obtain (45) at the top of this page. Then, we start to derive the expectations in (45) one by one.

Based on (1) and (2), the term 𝐡kH𝚽H𝐆H𝝌𝐆𝚽𝚯𝐡k\mathbf{h}_{k}^{H}\mathbf{\Phi}^{H}\mathbf{G}^{H}\bm{\chi}\mathbf{G\Phi\Theta h}_{k} can be written as (VI) at the top of this page, where the matrix 𝐀\mathbf{A} is defined as

𝐀=𝚽H(δ𝐆¯H𝝌𝐆¯+δ𝐆¯H𝝌𝐆~+δ𝐆~H𝝌𝐆¯+𝐆~H𝝌𝐆~)𝚽.\vspace{-0.1cm}\mathbf{A}=\mathbf{\Phi}^{H}\!\left(\delta\mathbf{\bar{G}}^{H}\bm{\chi}\mathbf{\bar{G}}\!+\!\sqrt{\delta}\mathbf{\bar{G}}^{H}\bm{\chi}\mathbf{\tilde{G}}\!+\!\sqrt{\delta}\mathbf{\tilde{G}}^{H}\bm{\chi}\mathbf{\bar{G}}\!+\!\mathbf{\tilde{G}}^{H}\bm{\chi}\mathbf{\tilde{G}}\right)\!\mathbf{\Phi}. (47)

Therefore, E{|𝐡kH𝚽H𝐆H𝝌𝐆𝚽𝚯𝐡k|2}\mathrm{E}\left\{\left|\mathbf{h}_{k}^{H}\mathbf{\Phi}^{H}\mathbf{G}^{H}\bm{\chi}\mathbf{G\Phi\Theta h}_{k}\right|^{2}\right\} can be expressed as

E{|𝐡kH𝚽H𝐆H𝝌𝐆𝚽𝚯𝐡k|2}\vspace{-0.2cm}\mathrm{E}\left\{\left|\mathbf{h}_{k}^{H}\mathbf{\Phi}^{H}\mathbf{G}^{H}\bm{\chi}\mathbf{G\Phi\Theta h}_{k}\right|^{2}\right\}
=β2αk2(δ+1)2(μk+1)2E{|i=14ωkki|2}\vspace{-0.2cm}=\frac{\beta^{2}\alpha_{k}^{2}}{\left(\delta+1\right)^{2}\left(\mu_{k}+1\right)^{2}}\mathrm{E}\left\{\left|\sum_{i=1}^{4}{\omega_{kk}^{i}}\right|^{2}\right\}
=β2αk2(δ+1)2(μk+1)2\vspace{-0.2cm}=\frac{\beta^{2}\alpha_{k}^{2}}{\left(\delta+1\right)^{2}\left(\mu_{k}+1\right)^{2}}
×(i=14E{|ωkki|2}+2i=14j=i+14E{Re(ωkki(ωkkj))})\vspace{-0.2cm}\times\left(\sum_{i=1}^{4}{\mathrm{E}\left\{\left|\omega_{kk}^{i}\right|^{2}\right\}}+2\sum_{i=1}^{4}{\sum_{j=i+1}^{4}{\mathrm{E}\left\{\mathrm{Re}\left(\omega_{kk}^{i}\left(\omega_{kk}^{j}\right)^{*}\right)\right\}}}\right)
=(a)β2αk2(δ+1)2(μk+1)2\vspace{-0.2cm}\overset{\left(a\right)}{=}\frac{\beta^{2}\alpha_{k}^{2}}{\left(\delta+1\right)^{2}\left(\mu_{k}+1\right)^{2}}
×(i=14E{|ωkki|2}+2E{Re(ωkk1(ωkk4))}),\vspace{-0.1cm}\times\left(\sum_{i=1}^{4}{\mathrm{E}\left\{\left|\omega_{kk}^{i}\right|^{2}\right\}}+2\mathrm{E}\left\{\mathrm{Re}\left(\omega_{kk}^{1}\left(\omega_{kk}^{4}\right)^{*}\right)\right\}\right), (48)

where step (a)\left(a\right) is obtained by removing the zero-expectation terms. Then, we focus on deriving the expectation E{|ωkk1|2}\mathrm{E}\left\{\left|\omega_{kk}^{1}\right|^{2}\right\}. Note that

ωkk1=μk𝐡¯kH𝐀𝚯𝐡¯k\displaystyle\omega_{kk}^{1}=\mu_{k}\mathbf{\bar{h}}_{k}^{H}\mathbf{A\Theta\bar{h}}_{k}
=δμk𝐡¯kH𝚽H𝐆¯H𝝌𝐆¯𝚽𝚯𝐡¯kωkk1,1+δμk𝐡¯kH𝚽H𝐆¯H𝝌𝐆~𝚽𝚯𝐡¯kωkk1,2\displaystyle=\delta\mu_{k}{\underbrace{\mathbf{\bar{h}}_{k}^{H}\mathbf{\Phi}^{H}\mathbf{\bar{G}}^{H}\bm{\chi}\mathbf{\bar{G}\Phi\Theta\bar{h}}_{k}}_{\omega_{kk}^{1,1}}}+\sqrt{\delta}\mu_{k}{\underbrace{\mathbf{\bar{h}}_{k}^{H}\mathbf{\Phi}^{H}\mathbf{\bar{G}}^{H}\bm{\chi}\mathbf{\tilde{G}\Phi\Theta\bar{h}}_{k}}_{\omega_{kk}^{1,2}}}
+δμk𝐡¯kH𝚽H𝐆~H𝝌𝐆¯𝚽𝚯𝐡¯kωkk1,3+μk𝐡¯kH𝚽H𝐆~H𝝌𝐆~𝚽𝚯𝐡¯kωkk1,4\displaystyle+\sqrt{\delta}\mu_{k}{\underbrace{\mathbf{\bar{h}}_{k}^{H}\mathbf{\Phi}^{H}\mathbf{\tilde{G}}^{H}\bm{\chi}\mathbf{\bar{G}\Phi\Theta\bar{h}}_{k}}_{\omega_{kk}^{1,3}}}+\mu_{k}{\underbrace{\mathbf{\bar{h}}_{k}^{H}\mathbf{\Phi}^{H}\mathbf{\tilde{G}}^{H}\bm{\chi}\mathbf{\tilde{G}\Phi\Theta\bar{h}}_{k}}_{\omega_{kk}^{1,4}}}
=δμkωkk1,1+δμkωkk1,2+δμkωkk1,3+μkωkk1,4,\displaystyle=\delta\mu_{k}\omega_{kk}^{1,1}+\sqrt{\delta}\mu_{k}\omega_{kk}^{1,2}+\sqrt{\delta}\mu_{k}\omega_{kk}^{1,3}+\mu_{k}\omega_{kk}^{1,4}, (49)

where the term ωkk1,1\omega_{kk}^{1,1} in (A) is expressed as

ωkk1,1=κfkm=1Mejφmn=1Nejεnfk,n,\vspace{-0.1cm}\omega_{kk}^{1,1}=\kappa f_{k}^{\ast}\sum_{m=1}^{M}{e^{j\varphi_{m}}}\sum_{n=1}^{N}{e^{j\varepsilon_{n}}f_{k,n}}, (50)

and ωkk1,2\omega_{kk}^{1,2}, ωkk1,3\omega_{kk}^{1,3} and ωkk1,4\omega_{kk}^{1,4} in (A) are respectively expressed as (51)-(53) at the bottom of the page, where the terms fkf_{k} and fk,nf_{k,n} are defined as

fkn=1Nfk,n,fk,naNn(ϕta,ϕte)ejθnaNn(ϕkra,ϕkre).\vspace{-0.1cm}f_{k}\!\triangleq\!\sum_{n=1}^{N}{f_{k,n}},\;f_{k,n}\!\triangleq\!a_{Nn}^{*}\!\left(\phi_{t}^{a},\phi_{t}^{e}\right)e^{j\theta_{n}}a_{Nn}\!\left(\phi_{kr}^{a},\phi_{kr}^{e}\right). (54)
E{|ωkk1|2}=κ2M(((ρ2N+(1ρ2)δ2|fk|2+1ρ2+2ρ2δ|fk|2)N+ρ2δ2|fk|4+2(1ρ2)δ|fk|2)ι2μk2M\vspace{-0.2cm}\mathrm{E}\left\{\left|\omega_{kk}^{1}\right|^{2}\right\}=\kappa^{2}M\Big{(}\left(\left(\rho^{2}N+\left(1-\rho^{2}\right)\delta^{2}\left|f_{k}\right|^{2}+1-\rho^{2}+2\rho^{2}\delta\left|f_{k}\right|^{2}\right)N+\rho^{2}\delta^{2}\left|f_{k}\right|^{4}+2\left(1-\rho^{2}\right)\delta\left|f_{k}\right|^{2}\right)\iota^{2}\mu_{k}^{2}M
+((1ρ2)δ+(1+ρ2ι2ρ2))μk2N2+2(1ι2)(1ρ2)δμk2|fk|2+(1ι2)ρ2δ2μk2|fk|4\vspace{-0.2cm}+\left(\left(1-\rho^{2}\right)\delta+\left(1+\rho^{2}-\iota^{2}\rho^{2}\right)\right)\mu_{k}^{2}N^{2}+2\left(1-\iota^{2}\right)\left(1-\rho^{2}\right)\delta\mu_{k}^{2}\left|f_{k}\right|^{2}+\left(1-\iota^{2}\right)\rho^{2}\delta^{2}\mu_{k}^{2}\left|f_{k}\right|^{4}
+((1ι2)(1ρ2)δ2|fk|2+δ|fk|2+δρ2|fk|2+(1ρ2)(1ι2)+2(1ι2)ρ2δ|fk|2)μk2N)\vspace{-0.1cm}+\left(\left(1-\iota^{2}\right)\left(1-\rho^{2}\right)\delta^{2}\left|f_{k}\right|^{2}+\delta\left|f_{k}\right|^{2}+\delta\rho^{2}\left|f_{k}\right|^{2}+\left(1-\rho^{2}\right)\left(1-\iota^{2}\right)+2\left(1-\iota^{2}\right)\rho^{2}\delta\left|f_{k}\right|^{2}\right)\mu_{k}^{2}N\Big{)} (62)
E{|ωkk2|2}=κ2M(((δ2|fk|2+1)N+2δ|fk|2)ι2μkM+(δ+1)μkN2\vspace{-0.2cm}\mathrm{E}\left\{\left|\omega_{kk}^{2}\right|^{2}\right\}=\kappa^{2}M\Big{(}\left(\left(\delta^{2}\left|f_{k}\right|^{2}+1\right)N+2\delta\left|f_{k}\right|^{2}\right)\iota^{2}\mu_{k}M+\left(\delta+1\right)\mu_{k}N^{2}
+((1ι2)δ2|fk|2+δ|fk|2+1ι2)μkN+2(1ι2)δμk|fk|2)\vspace{-0.1cm}+\left(\left(1-\iota^{2}\right)\delta^{2}\left|f_{k}\right|^{2}+\delta\left|f_{k}\right|^{2}+1-\iota^{2}\right)\mu_{k}N+2\left(1-\iota^{2}\right)\delta\mu_{k}\left|f_{k}\right|^{2}\Big{)} (63)
E{|ωkk3|2}=κ2M(((1ρ2)δ2N2+(δ2ρ2|fk|2+2(1ρ2)δ+1)N+2δρ2|fk|2)ι2μkM\vspace{-0.2cm}\mathrm{E}\left\{\left|\omega_{kk}^{3}\right|^{2}\right\}=\kappa^{2}M\Big{(}\left(\left(1-\rho^{2}\right)\delta^{2}N^{2}+\left(\delta^{2}\rho^{2}\left|f_{k}\right|^{2}+2\left(1-\rho^{2}\right)\delta+1\right)N+2\delta\rho^{2}\left|f_{k}\right|^{2}\right)\iota^{2}\mu_{k}M
+((1ρ2)(1ι2)δ2+δ+(1ρ2)δ+1)μkN2+2(1ι2)δρ2μk|fk|2\vspace{-0.2cm}+\left(\left(1-\rho^{2}\right)\left(1-\iota^{2}\right)\delta^{2}+\delta+\left(1-\rho^{2}\right)\delta+1\right)\mu_{k}N^{2}+2\left(1-\iota^{2}\right)\delta\rho^{2}\mu_{k}\left|f_{k}\right|^{2}
+((1ι2)δ2ρ2|fk|2+δρ2|fk|2+1ι2+2(1ι2)(1ρ2)δ)μkN)\vspace{-0.1cm}+\left(\left(1-\iota^{2}\right)\delta^{2}\rho^{2}\left|f_{k}\right|^{2}+\delta\rho^{2}\left|f_{k}\right|^{2}+1-\iota^{2}+2\left(1-\iota^{2}\right)\left(1-\rho^{2}\right)\delta\right)\mu_{k}N\Big{)} (64)
E{|ωkk4|2}=κ2M((((ρ2+1)δ2+ρ2+2ρ2δ)N+(1ρ2)δ2+2ρ2+2(2ρ2)δ)ι2MN\vspace{-0.2cm}\mathrm{E}\left\{\left|\omega_{kk}^{4}\right|^{2}\right\}=\kappa^{2}M\Big{(}\left(\left(\left(\rho^{2}+1\right)\delta^{2}+\rho^{2}+2\rho^{2}\delta\right)N+\left(1-\rho^{2}\right)\delta^{2}+2-\rho^{2}+2\left(2-\rho^{2}\right)\delta\right)\iota^{2}MN
+((1ι2)(ρ2+1)δ2+2δ+ρ2+1ι2ρ2+2(1ι2)ρ2δ)N2\vspace{-0.2cm}+\left(\left(1-\iota^{2}\right)\left(\rho^{2}+1\right)\delta^{2}+2\delta+\rho^{2}+1-\iota^{2}\rho^{2}+2\left(1-\iota^{2}\right)\rho^{2}\delta\right)N^{2}
+((1ι2)(1ρ2)δ2+2δ+3ρ22ι2+ι2ρ2+2(1ι2)(2ρ2)δ)N)\vspace{-0.1cm}+\left(\left(1-\iota^{2}\right)\left(1-\rho^{2}\right)\delta^{2}+2\delta+3-\rho^{2}-2\iota^{2}+\iota^{2}\rho^{2}+2\left(1-\iota^{2}\right)\left(2-\rho^{2}\right)\delta\right)N\Big{)} (65)
E{Re(ωkk1(ωkk4))}=κ2M(((δ+1)ρ2N2+(ρ2δ|fk|2+1ρ2)(δ+1)N+(1ρ2)δ(δ+1)|fk|2)ι2μkM\vspace{-0.2cm}\mathrm{E}\left\{\mathrm{Re}\left(\omega_{kk}^{1}\left(\omega_{kk}^{4}\right)^{*}\right)\right\}=\kappa^{2}M\Big{(}\left(\left(\delta+1\right)\rho^{2}N^{2}+\left(\rho^{2}\delta\left|f_{k}\right|^{2}+1-\rho^{2}\right)\left(\delta+1\right)N+\left(1-\rho^{2}\right)\delta\left(\delta+1\right)\left|f_{k}\right|^{2}\right)\iota^{2}\mu_{k}M
+(1ι2)(δ+1)ρ2μkN2+((1ι2)(1ρ2)(δ+1)+1+ρ2)δμk|fk|2\vspace{-0.2cm}+\left(1-\iota^{2}\right)\left(\delta+1\right)\rho^{2}\mu_{k}N^{2}+\left(\left(1-\iota^{2}\right)\left(1-\rho^{2}\right)\left(\delta+1\right)+1+\rho^{2}\right)\delta\mu_{k}\left|f_{k}\right|^{2}
+((1ι2)ρ2δ(δ+1)|fk|2+(2ι2)(1ρ2)δ+2ι2ρ2+ι2ρ2)μkN)+\left(\left(1-\iota^{2}\right)\rho^{2}\delta\left(\delta+1\right)\left|f_{k}\right|^{2}+\left(2-\iota^{2}\right)\left(1-\rho^{2}\right)\delta+2-\iota^{2}-\rho^{2}+\iota^{2}\rho^{2}\right)\mu_{k}N\Big{)} (66)

Thus, the expectation E{|ωkk1|2}{\rm E}\left\{{{{\left|{\omega_{kk}^{1}}\right|}^{2}}}\right\} can be calculated as

E{|ωkk1|2}\vspace{-0.1cm}\mathrm{E}\left\{\left|\omega_{kk}^{1}\right|^{2}\right\}
=E{|δμkωkk1,1+δμkωkk1,2+δμkωkk1,3+μkωkk1,4|2}\vspace{-0.1cm}=\mathrm{E}\left\{\left|\delta\mu_{k}\omega_{kk}^{1,1}+\sqrt{\delta}\mu_{k}\omega_{kk}^{1,2}+\sqrt{\delta}\mu_{k}\omega_{kk}^{1,3}+\mu_{k}\omega_{kk}^{1,4}\right|^{2}\right\}
=(a)δ2μk2E{|ωkk1,1|2}+δμk2E{|ωkk1,2|2}+δμk2E{|ωkk1,3|2}\vspace{-0.1cm}\overset{\left(a\right)}{=}\delta^{2}\mu_{k}^{2}\mathrm{E}\left\{\left|\omega_{kk}^{1,1}\right|^{2}\right\}+\delta\mu_{k}^{2}\mathrm{E}\left\{\left|\omega_{kk}^{1,2}\right|^{2}\right\}+\delta\mu_{k}^{2}\mathrm{E}\left\{\left|\omega_{kk}^{1,3}\right|^{2}\right\}
+μk2E{|ωkk1,4|2}+2δμk2E{Re(ωkk1,1×(ωkk1,4))}.\vspace{-0.1cm}+\mu_{k}^{2}\mathrm{E}\left\{\left|\omega_{kk}^{1,4}\right|^{2}\right\}+2\delta\mu_{k}^{2}\mathrm{E}\left\{\mathop{\mathrm{Re}}\left(\omega_{kk}^{1,1}\times\left(\omega_{kk}^{1,4}\right)^{*}\right)\right\}. (55)

Step (a)(a) is obtained by removing zero-valued terms. The expectation E{|ωkk1,1|2}\mathrm{E}\left\{\left|\omega_{kk}^{1,1}\right|^{2}\right\} in (55) is further calculated as

E{|ωkk1,1|2}=E{|κfkm=1Mejφmn=1Nejεnfk,n|2}\vspace{-0.1cm}\mathrm{E}\left\{\left|\omega_{kk}^{1,1}\right|^{2}\right\}=\mathrm{E}\left\{\left|\kappa f_{k}^{\ast}\sum_{m=1}^{M}{e^{j\varphi_{m}}}\sum_{n=1}^{N}{e^{j\varepsilon_{n}}f_{k,n}}\right|^{2}\right\}
=κ2|fk|2E{|m=1Mejφm|2}E{|n=1Nejεnfk,n|2}\vspace{-0.1cm}=\kappa^{2}\left|f_{k}\right|^{2}\mathrm{E}\left\{\left|\sum_{m=1}^{M}{e^{j\varphi_{m}}}\right|^{2}\right\}\mathrm{E}\left\{\left|\sum_{n=1}^{N}{e^{j\varepsilon_{n}}f_{k,n}}\right|^{2}\right\}
=κ2|fk|2(M+M(M1)sin2(η)η2)\vspace{-0.2cm}=\kappa^{2}\left|f_{k}\right|^{2}\left(M+M\left(M-1\right)\frac{\sin^{2}\left(\eta\right)}{\eta^{2}}\right)
×(N+ρ2n1=1Nn2n1Nfk,n1(fk,n2))\vspace{-0.1cm}\times\left(N+\rho^{2}\sum_{n_{1}=1}^{N}{\sum_{n_{2}\neq n_{1}}^{N}{f_{k,n_{1}}\left(f_{k,n_{2}}\right)^{*}}}\right)
=Mκ2|fk|2(ι2M+1ι2)((1ρ2)N+ρ2|fk|2),\vspace{-0.1cm}=M\kappa^{2}\left|f_{k}\right|^{2}\left(\iota^{2}M+1-\iota^{2}\right)\left(\left(1-\rho^{2}\right)N+\rho^{2}\left|f_{k}\right|^{2}\right), (56)

where scalar ι\iota is defined as

ιE{ejφm}=sin(η)η=E{ejφm}.\vspace{-0.1cm}\iota\triangleq\mathrm{E}\left\{e^{j\varphi_{m}}\right\}=\frac{\sin\left(\eta\right)}{\eta}=\mathrm{E}\left\{e^{-j\varphi_{m}}\right\}. (57)

The ρ\rho is given by (39) in Lemma 2. Additionally, it is well known that E{ejε}=E{ejε}\mathrm{E}\left\{e^{-j\varepsilon}\right\}=\mathrm{E}\left\{e^{j\varepsilon}\right\}, since ρ\rho is real. The other expectations in (55) can be obtained in a similar way, which are respectively expressed as follows:

E{|ωkk1,2|2}=κ2MN|fk|2,\vspace{-0.1cm}\mathrm{E}\left\{\left|\omega_{kk}^{1,2}\right|^{2}\right\}=\kappa^{2}MN\left|f_{k}\right|^{2}, (58)
E{|ωkk1,3|2}=κ2ρ2MN|fk|2+κ2(1ρ2)MN2,\vspace{-0.1cm}\mathrm{E}\left\{\left|\omega_{kk}^{1,3}\right|^{2}\right\}=\kappa^{2}\rho^{2}MN\left|f_{k}\right|^{2}+\kappa^{2}\left(1-\rho^{2}\right)MN^{2}, (59)
E{|ωkk1,4|2}=κ2MN(ι2M+1ι2)(ρ2N+1ρ2)\vspace{-0.2cm}\mathrm{E}\left\{\left|\omega_{kk}^{1,4}\right|^{2}\right\}=\kappa^{2}MN\left(\iota^{2}M+1-\iota^{2}\right)\left(\rho^{2}N+1-\rho^{2}\right)
+κ2MN2,\vspace{-0.1cm}+\kappa^{2}MN^{2}, (60)
E{Re(ωkk1,1(ωkk1,4))}=κ2|fk|2M(ρ2N+1ρ2)\vspace{-0.1cm}\mathrm{E}\left\{\mathrm{Re}\!\left(\omega_{kk}^{1,1}\left(\omega_{kk}^{1,4}\right)^{*}\right)\right\}=\kappa^{2}\left|f_{k}\right|^{2}M\left(\rho^{2}N+1-\rho^{2}\right)
×(ι2M+1ι2).\vspace{-0.1cm}\hskip 65.44142pt\times\left(\iota^{2}M+1-\iota^{2}\right). (61)

Then, we arrived at (62) at the bottom of this page. Similar to the calculation for E{|ωkk1|2}{\rm E}\left\{{{{\left|{\omega_{kk}^{1}}\right|}^{2}}}\right\}, the rest expectations in (48) can be obtained as (63)-(66) at the bottom of this page. Substituting (62)-(66) into (48), we can obtain

E{|𝐡kH𝚽H𝐆H𝝌𝐆𝚽𝚯𝐡k|2}=β2αk2κ2M(δ+1)2(μk+1)2\vspace{-0.1cm}\mathrm{E}\left\{\left|\mathbf{h}_{k}^{H}\mathbf{\Phi}^{H}\mathbf{G}^{H}\bm{\chi}\mathbf{G\Phi\Theta h}_{k}\right|^{2}\right\}=\frac{\beta^{2}\alpha_{k}^{2}\kappa^{2}M}{\left(\delta+1\right)^{2}\left(\mu_{k}+1\right)^{2}}
×(ck,1ι2M+ck,2N2+ck,3N+ck,4)ξk,\vspace{-0.05cm}\times\left(c_{k,1}\iota^{2}M+c_{k,2}N^{2}+c_{k,3}N+c_{k,4}\right)\triangleq\xi_{k}, (67)

where the coefficients ck,1c_{k,1}, ck,2c_{k,2}, ck,3c_{k,3} and ck,3c_{k,3} are respectively given by

ck,1=(ρ2(μk+δ+1)2+(1ρ2)δ2μk+δ2)N2\vspace{-0.2cm}c_{k,1}=\left(\rho^{2}\left(\mu_{k}+\delta+1\right)^{2}+\left(1-\rho^{2}\right)\delta^{2}\mu_{k}+\delta^{2}\right)N^{2}
+(((2μk+3δ+2δμk)ρ2+(1+μk)δ)δμk|fk|2,\vspace{-0.2cm}+\Big{(}\left(\left(2\mu_{k}+3\delta+2-\delta\mu_{k}\right)\rho^{2}+\left(1+\mu_{k}\right)\delta\right)\delta\mu_{k}\left|f_{k}\right|^{2},
+(μk+δ+2)2ρ2(μk+δ+1)22ρ2δμk2)N\vspace{-0.2cm}+\left(\mu_{k}+\delta+2\right)^{2}-\rho^{2}\left(\mu_{k}+\delta+1\right)^{2}-2\rho^{2}\delta\mu_{k}-2\Big{)}N
+ρ2δ2μk2|fk|4+2((1ρ2)(μk+δ)+2)δμk|fk|2,\vspace{-0.1cm}+\rho^{2}\delta^{2}\mu_{k}^{2}\left|f_{k}\right|^{4}+2\left(\left(1-\rho^{2}\right)\left(\mu_{k}+\delta\right)+2\right)\delta\mu_{k}\left|f_{k}\right|^{2}, (68)
ck,2=((1ι2)(μk+δ+1)2δμk(μk+1+δι2δ))ρ2\vspace{-0.2cm}c_{k,2}=\left(\left(1\!-\!\iota^{2}\right)\left(\mu_{k}+\delta+1\right)^{2}-\delta\mu_{k}\left(\mu_{k}+1+\delta-\iota^{2}\delta\right)\right)\rho^{2}
+(δ+μk+1)δμk+(μk+δ+1)2(μk+1)ι2δ2,\vspace{-0.1cm}+\left(\delta+\mu_{k}+1\right)\delta\mu_{k}+\left(\mu_{k}+\delta+1\right)^{2}-\left(\mu_{k}+1\right)\iota^{2}\delta^{2}, (69)
ck,3=(((32ι2)(μk+1)+(ι21)δ(μk3))ρ2\vspace{-0.2cm}c_{k,3}=\Big{(}\left(\left(3-2\iota^{2}\right)\left(\mu_{k}+1\right)+\left(\iota^{2}-1\right)\delta\left(\mu_{k}-3\right)\right)\rho^{2}
+(δ+1ι2δ)(μk+1))δμk|fk|2\vspace{-0.2cm}+\left(\delta+1-\iota^{2}\delta\right)\left(\mu_{k}+1\right)\Big{)}\delta\mu_{k}\left|f_{k}\right|^{2}
+((ι21)(μk+δ+1)2+(ι22)2μkδ)ρ2\vspace{-0.2cm}+\left(\left(\iota^{2}-1\right)\left(\mu_{k}+\delta+1\right)^{2}+\left(\iota^{2}-2\right)2\mu_{k}\delta\right)\rho^{2}
+(1ι2)(μk+δ+2)2+2μkδ+2μk+2δ12ι2,\vspace{-0.1cm}+\left(1-\iota^{2}\right)\left(\mu_{k}+\delta+2\right)^{2}+2\mu_{k}\delta+2\mu_{k}+2\delta-1-2\iota^{2}, (70)
ck,4=(1ι2)ρ2δ2μk2|fk|4+2δμk|fk|2\vspace{-0.05cm}c_{k,4}=\left(1-\iota^{2}\right)\rho^{2}\delta^{2}\mu_{k}^{2}\left|f_{k}\right|^{4}+2\delta\mu_{k}\left|f_{k}\right|^{2}
×((1ι2)(1ρ2)(μk+δ+1)+(2ι2)(1+ρ2))\times\left(\left(1-\iota^{2}\right)\left(1-\rho^{2}\right)\left(\mu_{k}+\delta+1\right)+\left(2-\iota^{2}\right)\left(1+\rho^{2}\right)\right) (71)
E{|ωki1|2}=κ2M((((1ρ2)(δN+2)+ρ2δ|fi|2)δ|fk|2+(1ρ2)N+ρ2|𝐡¯kH𝐡¯i|2+2ρ2δRe(fkfi𝐡¯iH𝐡¯k))ι2μkμiM\vspace{-0.2cm}\mathrm{E}\left\{\left|\omega_{ki}^{1}\right|^{2}\right\}=\kappa^{2}M\Big{(}\left(\left(\left(1\!-\!\rho^{2}\right)\left(\delta N+2\right)+\rho^{2}\delta\left|f_{i}\right|^{2}\right)\delta\left|f_{k}\right|^{2}+\left(1\!-\!\rho^{2}\right)N+\rho^{2}\left|\mathbf{\bar{h}}_{k}^{H}\mathbf{\bar{h}}_{i}\right|^{2}+2\rho^{2}\delta\mathrm{Re}\left(f_{k}^{\ast}f_{i}\mathbf{\bar{h}}_{i}^{H}\mathbf{\bar{h}}_{k}\right)\right)\iota^{2}\mu_{k}\mu_{i}M
+((1ρ2)δ+1)μkμiN2+((1ι2)(1ρ2)(δ2|fk|2+1)+δ|fk|2+ρ2δ|fi|2)μkμiN\vspace{-0.2cm}+\left(\left(1-\rho^{2}\right)\delta+1\right)\mu_{k}\mu_{i}N^{2}+\left(\left(1-\iota^{2}\right)\left(1-\rho^{2}\right)\left(\delta^{2}\left|f_{k}\right|^{2}+1\right)+\delta\left|f_{k}\right|^{2}+\rho^{2}\delta\left|f_{i}\right|^{2}\right)\mu_{k}\mu_{i}N
+(ρ2δ2|fk|2|fi|2+ρ2|𝐡¯kH𝐡¯i|2+2δ(1ρ2)|fk|2+2δρ2Re(fkfi𝐡¯iH𝐡¯k))(1ι2)μkμi)\vspace{-0.1cm}+\left(\rho^{2}\delta^{2}\left|f_{k}\right|^{2}\left|f_{i}\right|^{2}+\rho^{2}\left|\mathbf{\bar{h}}_{k}^{H}\mathbf{\bar{h}}_{i}\right|^{2}+2\delta\left(1-\rho^{2}\right)\left|f_{k}\right|^{2}+2\delta\rho^{2}\mathrm{Re}\left(f_{k}^{\ast}f_{i}\mathbf{\bar{h}}_{i}^{H}\mathbf{\bar{h}}_{k}\right)\right)\left(1-\iota^{2}\right)\mu_{k}\mu_{i}\Big{)} (74)
E{|ωki2|2}=κ2M(((δN+2)δ|fk|2+N)ι2μkM+(δ+1)μkN2\vspace{-0.2cm}\mathrm{E}\left\{\left|\omega_{ki}^{2}\right|^{2}\right\}=\kappa^{2}M\Big{(}\left(\left(\delta N+2\right)\delta\left|f_{k}\right|^{2}+N\right)\iota^{2}\mu_{k}M+\left(\delta+1\right)\mu_{k}N^{2}
+((1ι2)(δ2|fk|2+1)+δ|fk|2)μkN+2(1ι2)δμk|fk|2)\vspace{-0.1cm}+\left(\left(1-\iota^{2}\right)\left(\delta^{2}\left|f_{k}\right|^{2}+1\right)+\delta\left|f_{k}\right|^{2}\right)\mu_{k}N+2\left(1-\iota^{2}\right)\delta\mu_{k}\left|f_{k}\right|^{2}\Big{)} (75)
E{|ωki3|2}=κ2M(((δN+2)δρ2|fi|2+N+(1ρ2)(δN+2)δN)ι2μiM+(((1ι2)δ+1)(1ρ2)δ+δ+1)μiN2\vspace{-0.2cm}\mathrm{E}\left\{\left|\omega_{ki}^{3}\right|^{2}\right\}=\kappa^{2}M\Big{(}\left(\left(\delta N\!+\!2\right)\delta\rho^{2}\left|f_{i}\right|^{2}+N+\left(1\!-\!\rho^{2}\right)\left(\delta N\!+\!2\right)\delta N\right)\iota^{2}\mu_{i}M+\left(\left(\left(1\!-\!\iota^{2}\right)\delta+1\right)\left(1\!-\!\rho^{2}\right)\delta+\delta+1\right)\mu_{i}N^{2}
+((ρ2δ2|fi|2+2(1ρ2)δ+1)(1ι2)+ρ2δ|fi|2)μiN+2(1ι2)ρ2δμi|fi|2)\vspace{-0.1cm}+\left(\left(\rho^{2}\delta^{2}\left|f_{i}\right|^{2}+2\left(1-\rho^{2}\right)\delta+1\right)\left(1-\iota^{2}\right)+\rho^{2}\delta\left|f_{i}\right|^{2}\right)\mu_{i}N+2\left(1-\iota^{2}\right)\rho^{2}\delta\mu_{i}\left|f_{i}\right|^{2}\Big{)} (76)
E{|ωki4|2}=κ2M((δ2N+2δ+1)ι2NM+((1ι2)δ2+2δ+1)N2+(1+2δ)(1ι2)N)\vspace{-0.1cm}\mathrm{E}\left\{\left|\omega_{ki}^{4}\right|^{2}\right\}=\kappa^{2}M\left(\left(\delta^{2}N+2\delta+1\right)\iota^{2}NM+\left(\left(1-\iota^{2}\right)\delta^{2}+2\delta+1\right)N^{2}+\left(1+2\delta\right)\left(1-\iota^{2}\right)N\right) (77)

Similar to (VI), we expand 𝐡kH𝚽H𝐆H𝝌𝐆𝚽𝚯𝐡i\mathbf{h}_{k}^{H}\mathbf{\Phi}^{H}\mathbf{G}^{H}\bm{\chi}\mathbf{G\Phi\Theta h}_{i} as

𝐡kH𝚽H𝐆H𝝌𝐆𝚽𝚯𝐡i=βδ+1αkαi(μk+1)(μi+1)\vspace{-0.1cm}\mathbf{h}_{k}^{H}\mathbf{\Phi}^{H}\mathbf{G}^{H}\bm{\chi}\mathbf{G\Phi\Theta h}_{i}=\frac{\beta}{\delta+1}\sqrt{\frac{\alpha_{k}\alpha_{i}}{\left(\mu_{k}+1\right)\left(\mu_{i}+1\right)}}
×(μkμi𝐡¯kH𝐀𝚯𝐡¯iωki1+μk𝐡¯kH𝐀𝚯𝐡~iωki2\vspace{-0.2cm}\times\Big{(}\;{\underbrace{\sqrt{\mu_{k}\mu_{i}}\mathbf{\bar{h}}_{k}^{H}\mathbf{A\Theta\bar{h}}_{i}}_{\omega_{ki}^{1}}}+{\underbrace{\sqrt{\mu_{k}}\mathbf{\bar{h}}_{k}^{H}\mathbf{A\Theta\tilde{h}}_{i}}_{\omega_{ki}^{2}}}
+μi𝐡~kH𝐀𝚯𝐡¯iωki3+𝐡~kH𝐀𝚯𝐡~iωki4).\vspace{-0.1cm}+{\underbrace{\sqrt{\mu_{i}}\mathbf{\tilde{h}}_{k}^{H}\mathbf{A\Theta\bar{h}}_{i}}_{\omega_{ki}^{3}}}+{\underbrace{\mathbf{\tilde{h}}_{k}^{H}\mathbf{A\Theta\tilde{h}}_{i}}_{\omega_{ki}^{4}}}\;\Big{)}. (72)

Thus, the expectation E{|𝐡kH𝚽H𝐆H𝝌𝐆𝚽𝚯𝐡i|2}\mathrm{E}\left\{\left|\mathbf{h}_{k}^{H}\mathbf{\Phi}^{H}\mathbf{G}^{H}\bm{\chi}\mathbf{G\Phi\Theta h}_{i}\right|^{2}\right\} can be expressed as

E{|𝐡kH𝚽H𝐆H𝝌𝐆𝚽𝚯𝐡i|2}\vspace{-0.2cm}\mathrm{E}\left\{\left|\mathbf{h}_{k}^{H}\mathbf{\Phi}^{H}\mathbf{G}^{H}\bm{\chi}\mathbf{G\Phi\Theta h}_{i}\right|^{2}\right\}
=β2αkαi(δ+1)2(μk+1)(μi+1)E{|s=14ωkis|2}\vspace{-0.2cm}=\frac{\beta^{2}\alpha_{k}\alpha_{i}}{\left(\delta+1\right)^{2}\left(\mu_{k}+1\right)\left(\mu_{i}+1\right)}\mathrm{E}\left\{\left|\sum_{s=1}^{4}{\omega_{ki}^{s}}\right|^{2}\right\}
=β2αkαi(δ+1)2(μk+1)(μi+1)\vspace{-0.2cm}=\frac{\beta^{2}\alpha_{k}\alpha_{i}}{\left(\delta+1\right)^{2}\left(\mu_{k}+1\right)\left(\mu_{i}+1\right)}
×(s=14E{|ωkis|2}+2s=14t=s+14E{Re(ωkis(ωkit))})\vspace{-0.2cm}\times\left(\sum_{s=1}^{4}{\mathrm{E}\left\{\left|\omega_{ki}^{s}\right|^{2}\right\}}+2\sum_{s=1}^{4}{\sum_{t=s+1}^{4}{\mathrm{E}\left\{\mathrm{Re}\left(\omega_{ki}^{s}\left(\omega_{ki}^{t}\right)^{*}\right)\right\}}}\right)
=(a)β2αkαi(δ+1)2(μk+1)(μi+1)×s=14E{|ωkis|2}.\vspace{-0.1cm}\overset{\left(a\right)}{=}\frac{\beta^{2}\alpha_{k}\alpha_{i}}{\left(\delta+1\right)^{2}\left(\mu_{k}+1\right)\left(\mu_{i}+1\right)}\times\sum_{s=1}^{4}{\mathrm{E}\left\{\left|\omega_{ki}^{s}\right|^{2}\right\}}. (73)

Step (a)\left(a\right) in (73) is obtained by removing the zero terms. Again, similar to the calculation for E{|ωkk1|2}{\rm E}\left\{{{{\left|{\omega_{kk}^{1}}\right|}^{2}}}\right\}, the expectations in (73) are obtained as (74)-(77) at the bottom of this page. Therefore, the expectation E{|𝐡kH𝚽H𝐆H𝐆𝚽𝚯𝐡i|2}{\rm E}\left\{{{{\left|{{\bf{h}}_{k}^{H}{{\bf{\Phi}}^{H}}{{\bf{G}}^{H}}{\bf{G\Phi\Theta h}}_{i}}\right|}^{2}}}\right\} can be obtained as

E{|𝐡kH𝚽H𝐆H𝝌𝐆𝚽𝚯𝐡i|2}=κ2β2αkαiM(δ+1)2(μk+1)(μi+1)\vspace{-0.2cm}\mathrm{E}\left\{\left|\mathbf{h}_{k}^{H}\mathbf{\Phi}^{H}\mathbf{G}^{H}\bm{\chi}\mathbf{G\Phi\Theta h}_{i}\right|^{2}\right\}=\frac{\kappa^{2}\beta^{2}\alpha_{k}\alpha_{i}M}{\left(\delta+1\right)^{2}\left(\mu_{k}+1\right)\left(\mu_{i}+1\right)}
×(zki,1ι2M+zki,2N2+zki,3N+zki,4)γki,\vspace{-0.05cm}\times\left(z_{ki,1}\iota^{2}M+z_{ki,2}N^{2}+z_{ki,3}N+z_{ki,4}\right)\triangleq\gamma_{ki}, (78)

where the coefficients zki,1z_{ki,1} - zki,4z_{ki,4} are respectively given by

zki,1=(μi+1ρ2μi)δ2N2\vspace{-0.2cm}z_{ki,1}=\left(\mu_{i}+1-\rho^{2}\mu_{i}\right)\delta^{2}N^{2}
+((μi+1ρ2μi)δ2μk|fk|2+ρ2δ2μi|fi|2\vspace{-0.2cm}+\Big{(}\left(\mu_{i}+1-\rho^{2}\mu_{i}\right)\delta^{2}\mu_{k}\left|f_{k}\right|^{2}+\rho^{2}\delta^{2}\mu_{i}\left|f_{i}\right|^{2}
+(μk+2δ+1)(μi+1ρ2μi)+ρ2μi)N\vspace{-0.2cm}+\left(\mu_{k}+2\delta+1\right)\left(\mu_{i}+1-\rho^{2}\mu_{i}\right)+\rho^{2}\mu_{i}\Big{)}N
+(2δ|fi|2+μk|𝐡¯kH𝐡¯i|2+2δμkRe(fkfi𝐡¯iH𝐡¯k))ρ2μi\vspace{-0.2cm}+\left(2\delta\left|f_{i}\right|^{2}+\mu_{k}\left|\mathbf{\bar{h}}_{k}^{H}\mathbf{\bar{h}}_{i}\right|^{2}+2\delta\mu_{k}\mathrm{Re}\left(f_{k}^{\ast}f_{i}\mathbf{\bar{h}}_{i}^{H}\mathbf{\bar{h}}_{k}\right)\right)\rho^{2}\mu_{i}
+(ρ2δμi|fi|2+2μi(1ρ2)+2)δμk|fk|2,\vspace{-0.1cm}+\left(\rho^{2}\delta\mu_{i}\left|f_{i}\right|^{2}+2\mu_{i}\left(1-\rho^{2}\right)+2\right)\delta\mu_{k}\left|f_{k}\right|^{2}, (79)
zki,2=((δ+1)μk+(δ+1)2ι2δ2)(μi+1)\vspace{-0.2cm}z_{ki,2}=\left(\left(\delta+1\right)\mu_{k}+\left(\delta+1\right)^{2}-\iota^{2}\delta^{2}\right)\left(\mu_{i}+1\right)
(μk+δ+1ι2δ)ρ2δμi1,\vspace{-0.1cm}-\left(\mu_{k}+\delta+1-\iota^{2}\delta\right)\rho^{2}\delta\mu_{i}-1, (80)
zki,3=((1ι2)δ(μi+1ρ2μi)+μi+1)δμk|fk|2\vspace{-0.1cm}z_{ki,3}=\left(\left(1-\iota^{2}\right)\delta\left(\mu_{i}+1-\rho^{2}\mu_{i}\right)+\mu_{i}+1\right)\delta\mu_{k}\left|f_{k}\right|^{2}
+((μi+1)(μk+2δ+1)(μk+2δ)ρ2μi)(1ι2)\vspace{-0.1cm}+\left(\left(\mu_{i}+1\right)\left(\mu_{k}+2\delta+1\right)-\left(\mu_{k}+2\delta\right)\rho^{2}\mu_{i}\right)\left(1-\iota^{2}\right)
+(μk+δ+1ι2δ)ρ2δμi|fi|2,\vspace{-0.1cm}+\left(\mu_{k}+\delta+1-\iota^{2}\delta\right)\rho^{2}\delta\mu_{i}\left|f_{i}\right|^{2}, (81)
zki,4=((δ|fi|22)ρ2μi+2μi+2)(1ι2)δμk|fk|2\vspace{-0.2cm}z_{ki,4}=\left(\left(\delta\left|f_{i}\right|^{2}-2\right)\rho^{2}\mu_{i}+2\mu_{i}+2\right)\left(1-\iota^{2}\right)\delta\mu_{k}\left|f_{k}\right|^{2}
+(1ι2)ρ2μkμi(|𝐡¯kH𝐡¯i|2+2δRe(fkfi𝐡¯iH𝐡¯k))\vspace{-0.1cm}+\left(1-\iota^{2}\right)\rho^{2}\mu_{k}\mu_{i}\left(\left|\mathbf{\bar{h}}_{k}^{H}\mathbf{\bar{h}}_{i}\right|^{2}+2\delta\mathrm{Re}\left(f_{k}^{\ast}f_{i}\mathbf{\bar{h}}_{i}^{H}\mathbf{\bar{h}}_{k}\right)\right)
+2(1ι2)ρ2δμi|fi|2,+2\left(1-\iota^{2}\right)\rho^{2}\delta\mu_{i}\left|f_{i}\right|^{2}, (82)
E{𝐡sH𝚯H𝚽H𝐆H𝝌H(𝟏M,m)H𝟏M,m𝝌𝐆𝚽𝚯𝐡s}=E{𝐡sH𝚯H𝚽HE{𝐆H𝝌H(𝟏M,m)H𝟏M,m𝝌𝐆}𝚽𝚯𝐡s}\displaystyle\mathrm{E}\left\{\mathbf{h}_{s}^{H}\mathbf{\Theta}^{H}\mathbf{\Phi}^{H}\mathbf{G}^{H}\bm{\chi}^{H}\left(\mathbf{1}_{M,m}\right)^{H}\mathbf{1}_{M,m}\bm{\chi}\mathbf{G\Phi\Theta h}_{s}\right\}=\mathrm{E}\left\{\mathbf{h}_{s}^{H}\mathbf{\Theta}^{H}\mathbf{\Phi}^{H}\mathrm{E}\left\{\mathbf{G}^{H}\bm{\chi}^{H}\left(\mathbf{1}_{M,m}\right)^{H}\mathbf{1}_{M,m}\bm{\chi}\mathbf{G}\right\}\mathbf{\Phi\Theta h}_{s}\right\}
=κ2βδ+1E{δ𝐡sH𝚯H𝚽H𝐚N(ϕta,ϕte)𝐚NH(ϕta,ϕte)𝚽𝚯𝐡s}+βδ+1E{𝐡sH𝐡s}\displaystyle=\frac{\kappa^{2}\beta}{\delta+1}\mathrm{E}\left\{\delta\mathbf{h}_{s}^{H}\mathbf{\Theta}^{H}\mathbf{\Phi}^{H}\mathbf{a}_{N}\left(\phi_{t}^{a},\phi_{t}^{e}\right)\mathbf{a}_{N}^{H}\left(\phi_{t}^{a},\phi_{t}^{e}\right)\mathbf{\Phi\Theta h}_{s}\right\}+\frac{\beta}{\delta+1}\mathrm{E}\left\{\mathbf{h}_{s}^{H}\mathbf{h}_{s}\right\}
=κ2δβαs(δ+1)(μs+1)(μsE{|𝐚NH(ϕta,ϕte)𝚽𝚯𝐡¯s|2}+E{|𝐚NH(ϕta,ϕte)𝚽𝚯𝐡~s|2})+κ2βαsNδ+1\displaystyle=\frac{\kappa^{2}\delta\beta\alpha_{s}}{\left(\delta+1\right)\left(\mu_{s}+1\right)}\left(\mu_{s}\mathrm{E}\left\{\left|\mathbf{a}_{N}^{H}\left(\phi_{t}^{a},\phi_{t}^{e}\right)\mathbf{\Phi\Theta\bar{h}}_{s}\right|^{2}\right\}+\mathrm{E}\left\{\left|\mathbf{a}_{N}^{H}\left(\phi_{t}^{a},\phi_{t}^{e}\right)\mathbf{\Phi\Theta\tilde{h}}_{s}\right|^{2}\right\}\right)+\frac{\kappa^{2}\beta\alpha_{s}N}{\delta+1}
=(a)κ2βαs(δ+1)(μs+1)(ρ2δμs|fs|2+((1ρ2)δμs+δ+μs+1)N)\displaystyle\overset{\left(a\right)}{=}\frac{\kappa^{2}\beta\alpha_{s}}{\left(\delta+1\right)\left(\mu_{s}+1\right)}\left(\rho^{2}\delta\mu_{s}\left|f_{s}\right|^{2}+\left(\left(1-\rho^{2}\right)\delta\mu_{s}+\delta+\mu_{s}+1\right)N\right) (91)
E{|𝟏M,m𝝌𝐆𝚽𝚯𝐇𝐏𝐱|2}=s=1Kκ2psβαs(δ+1)(μs+1)(ρ2δμs|fs|2+((1ρ2)δμs+δ+μs+1)N)ζ\mathrm{E}\left\{\left|\mathbf{1}_{M,m}\bm{\chi}\mathbf{G\Phi\Theta HPx}\right|^{2}\right\}=\sum_{s=1}^{K}{\frac{\kappa^{2}p_{s}\beta\alpha_{s}}{\left(\delta+1\right)\left(\mu_{s}+1\right)}\left(\rho^{2}\delta\mu_{s}\left|f_{s}\right|^{2}+\left(\left(1-\rho^{2}\right)\delta\mu_{s}+\delta+\mu_{s}+1\right)N\right)}\triangleq\zeta (94)

Then, we focus on the expectations E{DNk}\mathrm{E}\left\{\mathrm{DN}_{k}\right\}, E{ANk}\mathrm{E}\left\{\mathrm{AN}_{k}\right\} and E{QNk}\mathrm{E}\left\{\mathrm{QN}_{k}\right\}. According to (15)-(17), they can be expanded respectively as

E{DNk}=τ2σRF2m=1ME{|𝐡kH𝚽H𝐆H𝟏M,mH|2},\vspace{-0.15cm}\mathrm{E}\left\{\mathrm{DN}_{k}\right\}=\tau^{2}\sigma_{\mathrm{RF}}^{2}\sum_{m=1}^{M}{\mathrm{E}\left\{\left|\mathbf{h}_{k}^{H}\mathbf{\Phi}^{H}\mathbf{G}^{H}\mathbf{1}_{M,m}^{H}\right|^{2}\right\}}, (83)
E{ANk}=τ2σ2m=1ME{|𝐡kH𝚽H𝐆H𝟏M,mH|2},\vspace{-0.15cm}\mathrm{E}\left\{\mathrm{AN}_{k}\right\}=\tau^{2}\sigma^{2}\sum_{m=1}^{M}{\mathrm{E}\left\{\left|\mathbf{h}_{k}^{H}\mathbf{\Phi}^{H}\mathbf{G}^{H}\mathbf{1}_{M,m}^{H}\right|^{2}\right\}}, (84)
E{QNk}=τ(1τ)m=1M[𝐒Q]mmE{|𝐡kH𝚽H𝐆H𝟏M,mH|2}.\vspace{-0.1cm}\mathrm{E}\left\{\mathrm{QN}_{k}\right\}=\tau\left(1\!-\!\tau\right)\sum_{m=1}^{M}{\left[\mathbf{S}_{Q}\right]_{mm}\mathrm{E}\left\{\left|\mathbf{h}_{k}^{H}\mathbf{\Phi}^{H}\mathbf{G}^{H}\mathbf{1}_{M,m}^{H}\right|^{2}\right\}}. (85)

To obtain the expectations in (83) and (84), we calculate the value of E{|𝐡kH𝚽H𝐆H𝟏M,mH|2}\mathrm{E}\left\{\left|\mathbf{h}_{k}^{H}\mathbf{\Phi}^{H}\mathbf{G}^{H}\mathbf{1}_{M,m}^{H}\right|^{2}\right\}, which is shown as follows:

E{|𝐡kH𝚽H𝐆H𝟏M,mH|2}\vspace{-0.1cm}\mathrm{E}\left\{\left|\mathbf{h}_{k}^{H}\mathbf{\Phi}^{H}\mathbf{G}^{H}\mathbf{1}_{M,m}^{H}\right|^{2}\right\}
=E{𝐡kH𝚽HE{𝐆H𝟏M,mH𝟏M,m𝐆}𝚽𝐡k}\vspace{-0.1cm}=\mathrm{E}\left\{\mathbf{h}_{k}^{H}\mathbf{\Phi}^{H}\mathrm{E}\left\{\mathbf{G}^{H}\mathbf{1}_{M,m}^{H}\mathbf{1}_{M,m}\mathbf{G}\right\}\mathbf{\Phi h}_{k}\right\}
=(a)E{𝐡kH𝚽Hβδ+1(δ𝐚N(ϕta,ϕte)𝐚NH(ϕta,ϕte)+𝐈M)𝚽𝐡k}\vspace{-0.2cm}\overset{\left(a\right)}{=}\mathrm{E}\left\{\mathbf{h}_{k}^{H}\mathbf{\Phi}^{H}\frac{\beta}{\delta+1}\left(\delta\mathbf{a}_{N}\left(\phi_{t}^{a},\phi_{t}^{e}\right)\mathbf{a}_{N}^{H}\left(\phi_{t}^{a},\phi_{t}^{e}\right)+\mathbf{I}_{M}\right)\mathbf{\Phi h}_{k}\right\}
=(b)βαk(δ+1)(μk+1)δE{|𝐚NH(ϕta,ϕte)𝚽𝐡~k|2}\vspace{-0.2cm}\overset{\left(b\right)}{=}\frac{\beta\alpha_{k}}{\left(\delta+1\right)\left(\mu_{k}+1\right)}\delta\mathrm{E}\left\{\left|\mathbf{a}_{N}^{H}\left(\phi_{t}^{a},\phi_{t}^{e}\right)\mathbf{\Phi\tilde{h}}_{k}\right|^{2}\right\}
+βαk(δ+1)(μk+1)(δμk|fk|2+(μk+1)N)\vspace{-0.1cm}+\frac{\beta\alpha_{k}}{\left(\delta+1\right)\left(\mu_{k}+1\right)}\left(\delta\mu_{k}\left|f_{k}\right|^{2}+\left(\mu_{k}+1\right)N\right)
=(c)βαk(δ+1)(μk+1)(δμk|fk|2+(μk+δ+1)N)ϖk,\overset{\left(c\right)}{=}\frac{\beta\alpha_{k}}{\left(\delta+1\right)\left(\mu_{k}+1\right)}\left(\delta\mu_{k}\left|f_{k}\right|^{2}+\left(\mu_{k}+\delta+1\right)N\right)\triangleq\varpi_{k}, (86)

where steps (a)\left(a\right) and (b)\left(b\right) are obtained by substituting (2) and (1) into the derivation respectively and then removing the zero terms. Step (c)\left(c\right) is based on the calculation

E{|𝐚NH(ϕta,ϕte)𝚽𝐡~k|2}=E{|n=1NaNn(ϕta,ϕte)ejθnh~nk|2}\mathrm{E}\!\left\{\left|\mathbf{a}_{N}^{H}\left(\phi_{t}^{a},\phi_{t}^{e}\right)\mathbf{\Phi\tilde{h}}_{k}\right|^{2}\right\}\!=\!\mathrm{E}\!\left\{\left|\sum_{n=1}^{N}{a_{Nn}^{\ast}\left(\phi_{t}^{a},\phi_{t}^{e}\right)e^{j\theta_{n}}\tilde{h}_{nk}}\right|^{2}\right\}
=E{n=1N|aNn(ϕta,ϕte)ejθnh~nk|2}=E{n=1N|h~nk|2}=N.=\!\mathrm{E}\!\left\{\sum_{n=1}^{N}{\left|a_{Nn}^{\ast}\left(\phi_{t}^{a},\phi_{t}^{e}\right)e^{j\theta_{n}}\tilde{h}_{nk}\right|^{2}}\right\}\!=\!\mathrm{E}\!\left\{\sum_{n=1}^{N}{\left|\tilde{h}_{nk}\right|^{2}}\right\}\!=\!N. (87)

Thus, we have

E{DNk}=τ2σRF2ϖkM,\vspace{-0.01cm}\mathrm{E}\left\{\mathrm{DN}_{k}\right\}=\tau^{2}\sigma_{\mathrm{RF}}^{2}\varpi_{k}M, (88)
E{ANk}=τ2σ2ϖkM.\vspace{-0.05cm}\mathrm{E}\left\{\mathrm{AN}_{k}\right\}=\tau^{2}\sigma^{2}\varpi_{k}M. (89)

Furthermore, to obtain the expectation in (85), we need additionally derive the expectation E{|𝟏M,m𝝌𝐆𝚽𝚯𝐇𝐏𝐱|2}\mathrm{E}\left\{\left|\mathbf{1}_{M,m}\bm{\chi}\mathbf{G\Phi\Theta HPx}\right|^{2}\right\} in [𝐒Q]mm\left[\mathbf{S}_{\mathrm{Q}}\right]_{mm} in (11), which can be further expressed as

E{|𝟏M,m𝝌𝐆𝚽𝚯𝐇𝐏𝐱|2}\mathrm{E}\left\{\left|\mathbf{1}_{M,m}\bm{\chi}\mathbf{G\Phi\Theta HPx}\right|^{2}\right\}
=E{𝟏M,m𝝌𝐆𝚽𝚯𝐇𝐏𝐏H𝐇H𝚯H𝚽H𝐆H𝝌H(𝟏M,m)H}=\mathrm{E}\left\{\mathbf{1}_{M,m}\bm{\chi}\mathbf{G\Phi\Theta HPP}^{H}\mathbf{H}^{H}\mathbf{\Theta}^{H}\mathbf{\Phi}^{H}\mathbf{G}^{H}\bm{\chi}^{H}\left(\mathbf{1}_{M,m}\right)^{H}\right\}
=tr(𝐏𝐏HE{𝐇H𝚯H𝚽H𝐆H𝝌H(𝟏M,m)H𝟏M,m𝝌𝐆𝚽𝚯𝐇})=\!\mathrm{tr}\!\left(\mathbf{PP}^{\!H}\mathrm{E}\!\left\{\mathbf{H}^{\!H}\mathbf{\Theta}^{\!H}\mathbf{\Phi}^{\!H}\mathbf{G}^{\!H}\bm{\chi}^{H}\!\left(\mathbf{1}_{M,m}\right)^{\!H}\!\mathbf{1}_{M,m}\bm{\chi}\mathbf{G\Phi\Theta H}\right\}\right)
=s=1KpsE{𝐡sH𝚯H𝚽H𝐆H𝝌H(𝟏M,m)H𝟏M,m𝝌𝐆𝚽𝚯𝐡s}=\sum_{s=1}^{K}{p_{s}\mathrm{E}\left\{\mathbf{h}_{s}^{H}\mathbf{\Theta}^{H}\mathbf{\Phi}^{H}\mathbf{G}^{H}\bm{\chi}^{H}\!\left(\mathbf{1}_{M,m}\right)\!^{H}\mathbf{1}_{M,m}\bm{\chi}\mathbf{G\Phi\Theta h}_{s}\right\}} (90)

where 𝟏M,m1×M{\bf{1}}_{M,m}\in\mathbb{C}^{1\times M} is the vector whose mth element is 1, while the rest elements are zero. The last expectation in (90) can be calculated as (A) at the top of this page, where step (a)\left(a\right) is based on the following calculations:

E{|𝐚NH(ϕta,ϕte)𝚽𝚯𝐡¯s|2}=E{|n=1Nejεnfs,n|2}\vspace{-0.2cm}\mathrm{E}\left\{\left|\mathbf{a}_{N}^{H}\left(\phi_{t}^{a},\phi_{t}^{e}\right)\mathbf{\Phi\Theta\bar{h}}_{s}\right|^{2}\right\}=\mathrm{E}\left\{\left|\sum_{n=1}^{N}{e^{j\varepsilon_{n}}f_{s,n}}\right|^{2}\right\}
=E{n=1N|ejεnfs,n|2+n1=1Nn2n1Nejεn1fs,n1ejεn2fs,n2}\vspace{-0.2cm}=\mathrm{E}\left\{\sum_{n=1}^{N}{\left|e^{j\varepsilon_{n}}f_{s,n}\right|^{2}}+\sum_{n_{1}=1}^{N}{\sum_{n_{2}\neq n_{1}}^{N}{e^{j\varepsilon_{n_{1}}}f_{s,n_{1}}e^{-j\varepsilon_{n_{2}}}f_{s,n_{2}}^{\ast}}}\right\}
=N+ρ2n1=1Nn2n1Nfs,n1fs,n2\vspace{-0.2cm}=N+\rho^{2}\sum_{n_{1}=1}^{N}{\sum_{n_{2}\neq n_{1}}^{N}{f_{s,n_{1}}f_{s,n_{2}}^{\ast}}}
=N+ρ2(|fk|2N)=(1ρ2)N+ρ2|fk|2,\vspace{-0.1cm}=N+\rho^{2}\left(\left|f_{k}\right|^{2}-N\right)=\left(1-\rho^{2}\right)N+\rho^{2}\left|f_{k}\right|^{2}, (92)
E{|𝐚NH(ϕta,ϕte)𝚽𝚯𝐡~s|2}=E{n=1N|h~ns|2}=N.\vspace{-0.1cm}\mathrm{E}\left\{\left|\mathbf{a}_{N}^{H}\left(\phi_{t}^{a},\phi_{t}^{e}\right)\mathbf{\Phi\Theta\tilde{h}}_{s}\right|^{2}\right\}=\mathrm{E}\left\{\sum_{n=1}^{N}{\left|\tilde{h}_{ns}\right|^{2}}\right\}=N. (93)

By using (90) and (A), we arrive at (94) at the top of this page. Therefore, from (11), (86) and (94), we can obtain

E{QNk}=τ(1τ)ϖk(ζ+σRF2+σ2)M.\vspace{-0.1cm}\mathrm{E}\left\{\mathrm{QN}_{k}\right\}=\tau\left(1-\tau\right)\varpi_{k}\left(\zeta+\sigma_{\mathrm{RF}}^{2}+\sigma^{2}\right)M. (95)

Finally, substituting (67), (78), (88), (89) and (95) into (45), we obtain (18) and complete the proof.

References

  • [1] Y. Zhou, L. Tian, L. Liu, and Y. Qi, “Fog computing enabled future mobile communication networks: A convergence of communication and computing,” IEEE Commun. Mag., vol. 57, no. 5, pp. 20–27, May 2019.
  • [2] H. Q. Ngo, H. A. Suraweera, M. Matthaiou, and E. G. Larsson, “Multipair full-duplex relaying with massive arrays and linear processing,” IEEE J. Sel. Areas Commun., vol. 32, no. 9, pp. 1721–1737, Sep. 2014.
  • [3] B. Sun, Y. Zhou, J. Yuan, and J. Shi, “Interference cancellation based channel estimation for massive MIMO systems with time shifted pilots,” IEEE Trans. Wireless Commun., vol. 19, no. 10, pp. 6826–6843, Oct. 2020.
  • [4] Z. Peng, X. Chen, W. Xu, C. Pan, L.-C. Wang, and L. Hanzo, “Analysis and optimization of massive access to the IoT relying on multi-pair two-way massive MIMO relay systems,” IEEE Trans. Commun., vol. 69, no. 7, pp. 4585–4598, Jul. 2021.
  • [5] S. Hu, F. Rusek, and O. Edfors, “Beyond massive MIMO: The potential of data transmission with large intelligent surfaces,” IEEE Trans. Signal Process., vol. 66, no. 10, pp. 2746–2758, May 2018.
  • [6] M. Di Renzo, A. Zappone, M. Debbah, M.-S. Alouini, C. Yuen, J. de Rosny, and S. Tretyakov, “Smart radio environments empowered by reconfigurable intelligent surfaces: How it works, state of research, and the road ahead,” IEEE J. Sel. Areas Commun., vol. 38, no. 11, pp. 2450–2525, Nov. 2020.
  • [7] z. Özdogan, E. Björnson, and E. G. Larsson, “Intelligent reflecting surfaces: Physics, propagation, and pathloss modeling,” IEEE Wireless Commun. Lett., vol. 9, no. 5, pp. 581–585, May 2020.
  • [8] W. Yan, X. Yuan, and X. Kuai, “Passive beamforming and information transfer via large intelligent surface,” IEEE Wireless Commun. Lett., vol. 9, no. 4, pp. 533–537, Apr. 2020.
  • [9] C. Pan, H. Ren, K. Wang, J. F. Kolb, M. Elkashlan, M. Chen, M. Di Renzo, Y. Hao, J. Wang, A. L. Swindlehurst, X. You, and L. Hanzo, “Reconfigurable intelligent surfaces for 6G systems: Principles, applications, and research directions,” IEEE Commun. Mag., vol. 59, no. 6, pp. 14–20, Jun. 2021.
  • [10] X. Wei, D. Shen, and L. Dai, “Channel estimation for RIS assisted wireless communications—part i: Fundamentals, solutions, and future opportunities,” IEEE Commun. Lett., vol. 25, no. 5, pp. 1398–1402, May 2021.
  • [11] Z. Peng, Z. Zhang, C. Pan, L. Li, and A. L. Swindlehurst, “Multiuser full-duplex two-way communications via intelligent reflecting surface,” IEEE Trans. Signal Process., vol. 69, pp. 837–851, Feb. 2021.
  • [12] Y. Han, W. Tang, S. Jin, C.-K. Wen, and X. Ma, “Large intelligent surface-assisted wireless communication exploiting statistical CSI,” IEEE Trans. Veh. Technol., vol. 68, no. 8, pp. 8238–8242, Aug. 2019.
  • [13] Y. Jia, C. Ye, and Y. Cui, “Analysis and optimization of an intelligent reflecting surface-assisted system with interference,” IEEE Trans. Wireless Commun., vol. 19, no. 12, pp. 8068–8082, Dec. 2020.
  • [14] G. Yu, X. Chen, C. Zhong, D. W. Kwan Ng, and Z. Zhang, “Design, analysis, and optimization of a large intelligent reflecting surface-aided b5g cellular internet of things,” IEEE Internet Things J., vol. 7, no. 9, pp. 8902–8916, Sep. 2020.
  • [15] X. Hu, C. Zhong, Y. Zhang, X. Chen, and Z. Zhang, “Location information aided multiple intelligent reflecting surface systems,” IEEE Trans. Commun., vol. 68, no. 12, pp. 7948–7962, Dec. 2020.
  • [16] Z. Peng, T. Li, C. Pan, H. Ren, W. Xu, and M. D. Renzo, “Analysis and optimization for RIS-aided multi-pair communications relying on statistical CSI,” IEEE Trans. Veh. Technol., vol. 70, no. 4, pp. 3897–3901, Apr. 2021.
  • [17] Y. Zhang, J. Zhang, M. D. Renzo, H. Xiao, and B. Ai, “Performance analysis of RIS-aided systems with practical phase shift and amplitude response,” IEEE Trans. Veh. Technol., vol. 70, no. 5, pp. 4501–4511, May 2021.
  • [18] J. Zhang, J. Liu, S. Ma, C.-K. Wen, and S. Jin, “Large system achievable rate analysis of ris-assisted MIMO wireless communication with statistical CSIT,” IEEE Trans. Wireless Commun., vol. 20, no. 9, pp. 5572–5585, Sep. 2021.
  • [19] K. Xu, J. Zhang, X. Yang, S. Ma, and G. Yang, “On the sum-rate of RIS-assisted MIMO multiple-access channels over spatially correlated rician fading,” IEEE Trans. Commun., vol. 69, no. 12, pp. 8228–8241, Dec. 2021.
  • [20] K. Zhi, C. Pan, H. Ren, and K. Wang, “Power scaling law analysis and phase shift optimization of RIS-aided massive MIMO systems with statistical CSI,” IEEE Trans. Commun., vol. 70, no. 5, pp. 3558–3574, May 2022.
  • [21] X. Zhang, M. Matthaiou, M. Coldrey, and E. Björnson, “Impact of residual transmit RF impairments on training-based MIMO systems,” IEEE Trans. Commun., vol. 63, no. 8, pp. 2899–2911, Aug. 2015.
  • [22] X. Xia, D. Zhang, K. Xu, W. Ma, and Y. Xu, “Hardware impairments aware transceiver for full-duplex massive MIMO relaying,” IEEE Trans. Signal Process., vol. 63, no. 24, pp. 6565–6580, Dec. 2015.
  • [23] T. Schenk, RF imperfections in high-rate wireless systems : impact and digital compensation.   Germany: Springer, 2008.
  • [24] C. Studer, M. Wenk, and A. Burg, “MIMO transmission with residual transmit-RF impairments,” in Proc. Int. ITG Workshop Smart Antennas, Feb. 2010, pp. 189–196.
  • [25] E. Björnson, M. Matthaiou, and M. Debbah, “Massive MIMO with non-ideal arbitrary arrays: Hardware scaling laws and circuit-aware design,” IEEE Trans. Wireless Commun., vol. 14, no. 8, pp. 4353–4368, Aug. 2015.
  • [26] H. Shen, W. Xu, S. Gong, C. Zhao, and D. W. K. Ng, “Beamforming optimization for IRS-aided communications with transceiver hardware impairments,” IEEE Trans. Commun., vol. 69, no. 2, pp. 1214–1227, Feb. 2021.
  • [27] G. Zhou, C. Pan, H. Ren, K. Wang, and Z. Peng, “Secure wireless communication in RIS-aided MISO system with hardware impairments,” IEEE Wireless Commun. Lett., vol. 10, no. 6, pp. 1309–1313, Jun. 2021.
  • [28] M. A. Saeidi, M. J. Emadi, H. Masoumi, M. R. Mili, D. W. K. Ng, and I. Krikidis, “Weighted sum-rate maximization for multi-IRS-assisted full-duplex systems with hardware impairments,” IEEE Trans. Cogn. Commun. Netw., vol. 7, no. 2, pp. 466–481, Jun. 2021.
  • [29] P. Dong, H. Zhang, W. Xu, and X. You, “Efficient low-resolution ADC relaying for multiuser massive MIMO system,” IEEE Trans. Veh. Technol., vol. 66, no. 12, pp. 11 039–11 056, Dec. 2017.
  • [30] P. Dong, H. Zhang, Q. Wu, and G. Y. Li, “Spatially correlated massive MIMO relay systems with low-resolution ADCs,” IEEE Trans. Veh. Technol., vol. 69, no. 6, pp. 6541–6553, Jun. 2020.
  • [31] L. Xu, X. Lu, S. Jin, F. Gao, and Y. Zhu, “On the uplink achievable rate of massive MIMO system with low-resolution ADC and RF impairments,” IEEE Commun. Lett., vol. 23, no. 3, pp. 502–505, Mar. 2019.
  • [32] K. Zhi, C. Pan, H. Ren, and K. Wang, “Uplink achievable rate of intelligent reflecting surface-aided millimeter-wave communications with low-resolution ADC and phase noise,” IEEE Wireless Commun. Lett., vol. 10, no. 3, pp. 654–658, Mar. 2021.
  • [33] J. Dai, Y. Wang, C. Pan, K. Zhi, H. Ren, and K. Wang, “Reconfigurable intelligent surface aided massive MIMO systems with low-resolution DACs,” IEEE Commun. Lett., vol. 25, no. 9, pp. 3124–3128, Sep. 2021.
  • [34] M.-A. Badiu and J. P. Coon, “Communication through a large reflecting surface with phase errors,” IEEE Wireless Commun. Lett., vol. 9, no. 2, pp. 184–188, Feb. 2020.
  • [35] J. D. Vega Sánchez, P. Ramírez-Espinosa, and F. J. López-Martínez, “Physical layer security of large reflecting surface aided communications with phase errors,” IEEE Wireless Commun. Lett., vol. 10, no. 2, pp. 325–329, Feb. 2021.
  • [36] Y. Liu, E. Liu, and R. Wang, “Energy efficiency analysis of intelligent reflecting surface system with hardware impairments,” in Proc. IEEE GLOBECOM, Dec. 2020, pp. 1–6.
  • [37] Y. Liu, E. Liu, R. Wang, and Y. Geng, “Channel estimation and power scaling of reconfigurable intelligent surface with non-ideal hardware,” in Proc. IEEE WCNC, Mar. 2021, pp. 1–6.
  • [38] S. Zhou, W. Xu, K. Wang, M. Di Renzo, and M.-S. Alouini, “Spectral and energy efficiency of IRS-assisted MISO communication with hardware impairments,” IEEE Wireless Commun. Lett., vol. 9, no. 9, pp. 1366–1369, Sep. 2020.
  • [39] Z. Xing, R. Wang, J. Wu, and E. Liu, “Achievable rate analysis and phase shift optimization on intelligent reflecting surface with hardware impairments,” IEEE Trans. Wireless Commun., vol. 20, no. 9, pp. 5514–5530, Sep. 2021.
  • [40] A. Papazafeiropoulos, C. Pan, A. Elbir, V. Nguyen, P. Kourtessis, and S. Chatzinotas, “Asymptotic analysis of max-min weighted SINR for IRS-assisted MISO systems with hardware impairments,” IEEE Wireless Commun. Lett., 2021, to be published, doi: 10.1109/LWC.2021.3095678.
  • [41] A. Papazafeiropoulos, C. Pan, P. Kourtessis, S. Chatzinotas, and J. M. Senior, “Intelligent reflecting surface-assisted MU-MISO systems with imperfect hardware: Channel estimation and beamforming design,” IEEE Trans. Wireless Commun., vol. 21, no. 3, pp. 2077–2092, Mar. 2022.
  • [42] T. C. W. Schenk and E. R. Fledderus, “RF impairments in high-rate wireless systems - understanding the impact of TX/RX-asymmetry,” in Proc. 3rd Int. Symp. ISCCSP, Mar. 2008, pp. 117–122.
  • [43] Z. Ye, C. Pan, H. Zhu, and J. Wang, “Tradeoff caching strategy of the outage probability and fronthaul usage in a cloud-RAN,” IEEE Trans. Veh. Technol., vol. 67, no. 7, pp. 6383–6397, Jul. 2018.
  • [44] C. Pan, H. Ren, K. Wang, W. Xu, M. Elkashlan, A. Nallanathan, and L. Hanzo, “Multicell MIMO communications relying on intelligent reflecting surfaces,” IEEE Trans. Wireless Commun., vol. 19, no. 8, pp. 5218–5233, May 2020.
  • [45] Q. Zhang, S. Jin, K. Wong, H. Zhu, and M. Matthaiou, “Power scaling of uplink massive MIMO systems with arbitrary-rank channel means,” IEEE J. Sel. Top. Sign. Proces., vol. 8, no. 5, pp. 966–981, Oct. 2014.
[Uncaptioned image] Zhangjie Peng received the B.S. degree from Southwest Jiaotong University, Chengdu, China, in 2004, and the M.S. and Ph.D. degrees from Southeast University, Southeast University, Nanjing, China, in 2007, and 2016, respectively, all in Communication and Information Engineering. He is currently an Associate Professor at the College of Information, Mechanical and Electrical Engineering, Shanghai Normal University, Shanghai 200234, China. His research interests include reconfigurable intelligent surface (RIS), cooperative communications, information theory, physical layer security, and machine learning for wireless communications.
[Uncaptioned image] Xianzhe Chen received the B.E. degree in information engineering from Zhejiang University, Zhejiang, China, in 2019, and the M.E. degree in information and communication engineering from Shanghai Normal University, Shanghai, China, in 2022. He is currently pursuing the Ph.D. degree with the Department of Electrical and Computer Engineering, The University of British Columbia, Vancouver, Canada. His major research interests include reconfigurable intelligent surfaces, massive multiple-input multiple-output systems and relaying communications.
[Uncaptioned image] Cunhua Pan received the B.S. and Ph.D. degrees from the School of Information Science and Engineering, Southeast University, Nanjing, China, in 2010 and 2015, respectively. From 2015 to 2016, he was a Research Associate at the University of Kent, U.K. He held a post-doctoral position at Queen Mary University of London, U.K., from 2016 and 2019.From 2019 to 2021, he was a Lecturer in the same university. From 2021, he is a full professor in Southeast University. His research interests mainly include reconfigurable intelligent surfaces (RIS), intelligent reflection surface (IRS), ultra-reliable low latency communication (URLLC) , machine learning, UAV, Internet of Things, and mobile edge computing. He has published over 120 IEEE journal papers. He is currently an Editor of IEEE Wireless Communication Letters, IEEE Communications Letters and IEEE ACCESS. He serves as the guest editor for IEEE Journal on Selected Areas in Communications on the special issue on xURLLC in 6G: Next Generation Ultra-Reliable and Low-Latency Communications. He also serves as a leading guest editor of IEEE Journal of Selected Topics in Signal Processing (JSTSP) Special Issue on Advanced Signal Processing for Reconfigurable Intelligent Surface-aided 6G Networks, leading guest editor of IEEE Vehicular Technology Magazine on the special issue on Backscatter and Reconfigurable Intelligent Surface Empowered Wireless Communications in 6G, leading guest editor of IEEE Open Journal of Vehicular Technology on the special issue of Reconfigurable Intelligent Surface Empowered Wireless Communications in 6G and Beyond, and leading guest editor of IEEE ACCESS Special Issue on Reconfigurable Intelligent Surface Aided Communications for 6G and Beyond. He is Workshop organizer in IEEE ICCC 2021 on the topic of Reconfigurable Intelligent Surfaces for Next Generation Wireless Communications (RIS for 6G Networks), and workshop organizer in IEEE Globecom 2021 on the topic of Reconfigurable Intelligent Surfaces for future wireless communications. He is currently the Workshops and Symposia officer for Reconfigurable Intelligent Surfaces Emerging Technology Initiative. He is workshop chair for IEEE WCNC 2024, and TPC co-chair for IEEE ICCT 2022. He serves as a TPC member for numerous conferences, such as ICC and GLOBECOM, and the Student Travel Grant Chair for ICC 2019. He received the IEEE ComSoc Leonard G. Abraham Prize in 2022.
[Uncaptioned image] Maged Elkashlan received the PhD degree in Electrical Engineering from the University of British Columbia in 2006. From 2007 to 2011, he was with the Commonwealth Scientific and Industrial Research Organization (CSIRO) Australia. During this time, he held visiting faculty appointments at University of New South Wales, University of Sydney, and University of Technology Sydney. In 2011, he joined the School of Electronic Engineering and Computer Science at Queen Mary University of London. He also holds a visiting faculty appointment at Beijing University of Posts and Telecommunications. His research interests fall into the broad areas of communication theory and signal processing. Dr. Elkashlan is an Editor of the IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY and the IEEE TRANSACTIONS ON MOLECULAR, BIOLOGICAL AND MULTI-SCALE COMMUNICATIONS. He was an Editor of the IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS from 2013 to 2018 and the IEEE COMMUNICATIONS LETTERS from 2012 to 2016. He received numerous awards, including the 2022 IEEE Communications Society Leonard G. Abraham Prize, and best paper awards at the 2014 and 2016 IEEE ICC, 2014 CHINACOM, and 2013 IEEE VTC-Spring.
[Uncaptioned image] Jiangzhou Wang (Fellow, IEEE) is a Professor at the University of Kent, U.K. His research interest is in mobile communications. He has published over 400 papers and 4 books. He was a recipient of the 2022 IEEE Communications Society Leonard G. Abraham Prize and the 2012 IEEE Globecom Best Paper Award. Professor Wang is a Fellow of the Royal Academy of Engineering, U.K., Fellow of the IEEE, and Fellow of the IET. He was the Technical Program Chair of the 2019 IEEE International Conference on Communications (ICC2019), Shanghai, the Executive Chair of the IEEE ICC2015, London, and the Technical Program Chair of the IEEE WCNC2013. He was an IEEE Distinguished Lecturer from 2013 to 2014. He has served as an Editor for a number of international journals, including IEEE Transactions on Communications from 1998 to 2013.