Next Article in Journal
Efficient Deployment with Throughput Maximization for UAVs Communication Networks
Previous Article in Journal
Dielectric Spectroscopy and Application of Mixing Models Describing Dielectric Dispersion in Clay Minerals and Clayey Soils
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Large Intelligent Surfaces Communicating Through Massive MIMO Rayleigh Fading Channels

by
Ricardo Coelho Ferreira
1,
Michelle S. P. Facina
1,
Felipe A. P. de Figueiredo
2,
Gustavo Fraidenraich
1,* and
Eduardo Rodrigues de Lima
3
1
DECOM/FEEC, State University of Campinas, Av. Albert Einstein 400, Campinas 13083-970, Brazil
2
Instituto Nacional de Telecomunicações, Santa Rita do Sapucaí 37540-000, Brazil
3
Department of Hardware Design, Instituto de Pesquisas Eldorado, Campinas 3083-898, Brazil
*
Author to whom correspondence should be addressed.
Submission received: 14 October 2020 / Revised: 11 November 2020 / Accepted: 17 November 2020 / Published: 22 November 2020
(This article belongs to the Section Intelligent Sensors)

Abstract

:
Large intelligent surfaces (LIS) promises not only to improve the signal to noise ratio, and spectral efficiency but also to reduce the energy consumption during the transmission. We consider a base station equipped with an antenna array using the maximum ratio transmission (MRT), and a large reflector array sending signals to a single user. Each subchannel is affected by the Rayleigh flat fading, and the reflecting elements perform non-perfect phase correction which introduces a Von Mises distributed phase error. Based on the central limit theorem (CLT), we conclude that the overall channel has an equivalent Gamma fading whose parameters are derived from the moments of the channel fading between the antenna array and LIS, and also from the LIS to the single user. Assuming that the equivalent channel can be modeled as a Gamma distribution, we propose very accurate closed-form expressions for the bit error probability and a very tight upper bound. For the case where the LIS is not able to perform perfect phase cancellation, that is, under phase errors, it is possible to analyze the system performance considering the analytical approximations and the simulated results obtained using the well known Monte Carlo method. The analytical expressions for the parameters of the Gamma distribution are very difficult to be obtained due to the complexity of the nonlinear transformations of random variables with non-zero mean and correlated terms. Even with perfect phase cancellation, all the fading coefficients are complex due to the link between the user and the base station that is not neglected in this paper.

1. Introduction

The future of mobile digital communications in the age of the internet of things (IoT) requires to optimize the energy consumption for transmission, improve the signal to noise ratio (SNR) at the receiver, increase the spectral efficiency, and propose communication protocols, channel estimation methods and beamforming strategies suitable for the adopted system model.
Many solutions have been proposed as alternatives to the sixth generation of mobile communications. Zhang et al. [1] make an excellent review of the literature on these emerging techniques, citing among them large intelligent surfaces (LIS), holographic beamforming (HBF), angular orbital momentum (OAM) multiplexing, laser and visible-light communications (VLC) [2] and the advent of quantum computing which is increasingly present in large technology companies like Google and allows unmatched performance and security for quantum communication systems. Nawaz et al. [3] investigate the use of quantum machine learning strategies to improve the performance of the processes involved in the network structure since we mess with many parallel operations involving large arrays and tensors with data loaded and that through quantum computing can be mapped into large tensors product spaces where operations are handled by quantum processors that take advantage of the phenomenon of quantum superposition to achieve large communication rate and encryption security.
The proposal to make use of large intelligent surfaces (LIS) to improve transmission quality in massive MIMO systems is recent and has been gaining visibility in the literature as a concrete solution for the sixth generation (6G) of mobile communications and has presented a competitive performance in comparison with classic methods like relaying switches.
One of the great challenges for the implementation of the LIS is to estimate the channel and obtain the distribution of the fading coefficient. Wang et al. [4] propose channel estimation methods for multiuser massive MIMO systems assisted by LIS and present alternatives to decrease the training time necessary to have complete knowledge of the channel coefficients. Tataria et al. [5] discuss practical aspects of real-time implementation of LIS, especially in terms of processing and applications in radio frequency (RF) communications. Elbir et al. [6] present a deep learning framework for channel estimation, considering the massive MIMO scenario using mm-Wave.
Yu et al. [7] propose the use of LIS to improve the coverage of a cellular IoT in the so-called beyond fifth-generation (B5G). The LIS project aims to minimize the energy consumption and study the impact of channel parameters on spectral efficiency.
Ye et al. [8] propose techniques to minimize the symbol error rate (SER) by optimizing the phase shifts and the precoder for a MIMO reconfigurable intelligent surface (RIS) considering a finite alphabet of symbols. Among the strategies proposed are to fix the phase shifts and obtain the optimal precoder or to fix the precoder and find the phase shifts, that solution is useful to reduce the dimensionality of the optimization task and also the performance of the proposed RIS strategy is compared with a relay system and we see the advantage of using the techniques proposed by the authors.
Wu et al. [9] develope a mmWave point-to-point communication system assisted by multiple intelligent subsurfaces with passive reflecting elements, and antenna arrays on the transmitter and receiver. The authors derived the system achievable rate and have found the optimal precoding and power allocation for the LIS phase shift design. He et al. [10] investigate the theoretical limits and Cramér-Rao bounds for the LIS performance in a MIMO 5G system dealing with mmWave and considering the existence of a direct path (NLoS and LoS).
Dardari [11] derives analytical expressions for the channel gain and the spatial degrees-of-freedom (DoF) for the optimal LIS design considering MIMO systems. The analysis is based on electromagnetic theory and employs only geometric arguments. Jung et al. [12] consider that a MIMO system assisted by LIS can be modeled as an LoS after phase cancellation. The authors also analyze the theoretical limitations of the practical system’s performance considering spatially correlated Rician channels and demonstrate that the NLoS component can be neglected when the number of antennas increases.
Yan et al. [13] present a multiuser MIMO (Mu-MIMO) system in which intelligent electromagnetic reflectors perform passive beamforming. The authors also propose to design a receiver with two estimation modules. One for the signal transmitted by the base station and the other, to estimate the additional On/Off information associated with the reflectors that modulate the digital signal arriving at them.
Badiu et al. [14] shows that the perfect estimation of the reflection angles at the LIS array is unfeasible, so we have to model the phase errors due to the estimation and discretization errors. The authors claim that the overall channel, including the LIS, can be modeled as Nakagami-m distributed, for phase errors having a generic distribution.
Cavers [15] defines maximal ratio transmission (MRT), establishing that the base station applies a vector of complex weights to compensate the downlink channel by canceling the phase and perform a signal reinforcement. He also shows a generalization for the effects of fading when the system has multiple users, although there is no exact generic solution for the optimal precoder in this scenario.
Makarfi et al. [16] propose to apply reconfigurable intelligent surfaces to expand coverage and improve the signal-to-noise ratio of a vehicular network, which can be seen as a case study of the IoT area using this new massive MIMO solution. The authors explore the idea of using smart radio environments for IoT problems and discuss some relevant aspects beyond 5G to establish communication between vehicles.
Qian et al. [17] present a MIMO system that uses LIS and has an array of antennas on the transmitter and receiver. The signals suffer uncorrelated Rayleigh fading in each channel. The authors obtain good approximations and performance studies based on analytical derivations of the statistical moments associated with the largest eigenvalues of the Wishart matrices related to the LoS and NLoS component. Without losing generality, they assume that the largest eigenvalues have a Gamma distribution and their moments are a function of the number of LIS elements and the number of antennas in the array.
Björnson et al. [18] discuss how the correlation matrix of the LIS elements can be computed under certain conditions, considering Rayleigh fading channels with a direct path between the signal and the final user. In this study, the authors make a more geometric analysis of the problem considering a rectangular panel formed by several reflectors and their constructive parameters, thereby establishing a relationship between the degrees of freedom of the LIS and the rank of the autocorrelation matrix of the reflector panel. Asymptotic analyzes of the SNR variation and channel hardening are also performed when the number of antennas and reflectors increase.
In this work, we investigate the performance of system employing LIS, also known as large reflective surfaces (LRS), taking into account Rayleigh channels and phase errors due to imperfect channel phase cancellation. This work is very general since it considers a direct link between the base station with multiple antennas and the single user. We investigate the system performance and quality of the proposed approximations for channel distribution in terms of the Kullback-Leibler divergence metric. We also present analytical expressions for the bit error probability and a very tight upper bounds for different scenarios in terms of the Von Misses parameter.
Note that the phase estimation errors is modeled as zero mean Von Mises distribution [14], which has a concentration parameter, κ , that helps us model the accuracy of the estimation. Large values of the Von Mises κ implies small errors, when κ the zero mean Von Mises probability density function is impulsive at zero, and for κ = 0 the probability distribution is the uniform distribution.
Analytically obtaining the equivalent fading distribution and the bit error probability is quite intricate due to the considerable sums and transformations of random variables with distinct distributions.
This paper tries to cover some gaps in the literature, with regard to obtaining analytical solutions in the form of simple algebraic expressions involving the channel parameters and the Von Mises parameter, in this way we were able to simplify the analysis of a very generalist system model that may include the direct link with the user, may have one or more antennas at the base station and we maintain the validity of the analysis even when the phase correction algorithm is not efficient. Badiu et al. [14] use the central limit theorem to solve a simpler scenario with one Rayleigh NLoS channel and a rician LoS channel, but considering a single antenna transmitter. Björnson et al. [18] propose asymptotic approaches in a scenario that takes into account the correlation of the LIS elements but is also restricted to the context with a single antenna transmitter which simplifies the analytical solutions.
For organizational purposes, we summarize what is covered in each section. In Section 2, we define the mathematical notation used in the next chapters, in Section 3, the problem is well described mathematically. Section 4 discusses about the effect of phase correction errors. In Section 5, we propose an approximation for the SNR distribution and the error probability. In Section 7, we present the Monte Carlo simulations and the analytical results. Finally, in Section 8, we make our final considerations about the system performance. For easier reading of this paper, the analytical calculations of the mean and variance of the fading coefficient and the Von Mises trigonometric moments are left for the Appendix C.

2. Notation

The mathematical notation adopted in this paper considers E | X | , var ( X ) , and cov ( X ) as the expected value, variance, and covariance of the random variable X, respectively. The function I p ( κ ) is the modified Bessel function of first kind and order p, and Q ( . ) is the Gaussian error function. The operation A B is the Haddamard tensor product between the tensors A and B . The term X H represents the Hermitian of the complex matrix X (transposed conjugate) and z C is an element of the set of complex numbers.

3. System Model

In this section, we describe the mathematical model adopted in this paper and present the rationale to justify the models used for the channel, the distribution of the fading coefficients in the direct (LoS) and indirect (NLoS) links, in addition to the probability distribution associated with the error of phase accomplished by the LIS when performing the beamforming.
This paper considers a multiple-input single-output (MISO) system between a base station (BS) equipped with an antenna array composed of M antennas and a single-antenna user as shown in Figure 1. The signal path passes through the LIS environment dividing the system fading in an LoS component between the BS and the user. There are two indirect paths, between each antenna and the LIS reflector, and between each reflector and the user, these indirect links form a composite channel between the base station and the user.We suppose that the LIS is far from the BS, and the user is also far from the LIS. So, the fading coefficients are modeled as uncorrelated Rayleigh.
In this formulation the signal received by the user can be written as
y = h L I S H Φ H G H + h B S H x + ζ ,
where h L I S C N × 1 is the Rayleigh channel between the LIS and the user, G = [ g 1 g N ] C M × N is the Rayleigh channel between the BS and the LIS, h B S C M × 1 is the complex normal fading of the direct path between the antenna array and the user (LoS component), x C M × 1 is the transmitted symbol after precoding and Φ = diag ( e j ϕ 1 e j ϕ N ) C N × N is a diagonal matrix representing the response of the LIS where ϕ n [ 0 , 2 π ] , n is the adjustable phase-shift produced by the nth LIS’s element. The variable ζ CN ( 0 , 1 ) is the additive white Gaussian noise (AWGN) term. The Tx signal x is defined as x = u s where u C M × 1 is the precoding vector and s CN ( 0 , 1 ) is the data symbol. The precoding vector u is applied by the antenna array at the BS before the transmission.
Considering the MRT criterion, the optimal precoder is given as [19]
u = p w H w
where p is the precoder gain and w is the overall channel defined as
w = h L I S H Φ H G H + h B S H .
Let η k i and θ i be the phases of g k i and h i L I S , respectively. Therefore, we can rewrite each channel fading coefficient as
w k = i = 1 N | g k i | h i L I S e j ϕ i θ i η k i + h k B S
From (4), we see that the best situation occurs when the composite fading coefficient is perfectly corrected by the LIS and we can state that ϕ i = θ i + η k i . But this scenario is unfeasible because perfect channel state information is not a very realistic assumption. Therefore, both cases are approached: (i) the case where the LIS is able to perform perfect phase cancellation, and; (ii) the case where imperfect cancellation is assumed.
Considering the first case, the composite channel can be written as
w k = i = 1 N | g k i | h i L I S + h k B S .
Let C B S , k = R e { h k B S } and = S B S , k = I m { h k B S } . Then, the square of the fading vector norm can be written as w 2 = w H w and
w 2 = k = 1 M i = 1 N | g k i | h i L I S + C B S , k 2 + S B S , k 2 .
To evaluate the system performance and understand the relationship between the bit error rate and the energy per bit applied by the transmitter, we need to know how the fading coefficients of the overall channel are distributed. Therefore, we need to obtain the statistical moments and the distribution of w 2 .

4. Von Mises Distributed Continuous Phase Estimation Errors

Since the phase adjustments performed by the intelligent reflectors are imperfect and cannot completely cancel the channel phase, a term associated with the phase error appears in the equation of the composite channel phase.
Consider that ϕ i = θ k + η k i + δ k i is the phase correction performed by the LIS, so the fading coefficients for each antenna is
w k = i = 1 N | g k i | h i L I S e j δ k i + h k B S
where the term δ k i is the phase error, here supposed as Von Mises distributed with probability density function
f Δ ( δ ) = 1 2 π I 0 ( κ ) e κ cos δ .
Therefore, we have that
w = | G | Δ | h L I S | + h B S H ,
This error model considers a matrix Δ C M × N in which we have the Von Mises phase errors and the Haddamard product is an elementwise product between the phase errors and each channel fading magnitude.
In this case, the moment generating function (MGF) of the Von Mises distribution is useful to obtain the trigonometric moments that are needed to obtain the mean and variance of the fading coefficients. For a random variable δ Von Mises distributed, the MGF can be calculated by
E e j p δ = α p + j β p ,
where α p = I p ( κ ) I 0 ( κ ) and β p = 0 are defined in terms of the modified Bessel function of first kind.

5. Approximated Gamma Fading Distribuition

Since each fading coefficient w k is the summation of independent and equally probable random variables, we can apply the central limit theorem (CLT). So, for large values of N each w k is approximately complex Gaussian. The term w 2 is the sum of squared Gaussian random variables whose generalized distribution is the Gamma distribution. Let V Γ ( α , β ) be a Gamma-distributed variable with shape parameter α and rate parameter β , therefore its probability density function is given as
f V ( v ; α , β ) = β α v α 1 e β v Γ ( α )
Note that the mean of the Gamma random variable V is given by E [ V ] = α β , and the variance as var [ V ] = α β 2 [20]. We can compute the mean and variance of w 2 , denoted here as μ w 2 and σ w 2 2 , respectively, and match with E [ V ] and var [ V ] . Using this rationale, the following can be written: μ w 2 = α β and σ w 2 2 = α β 2 . Solving this linear equation system, we get that
α w 2 = μ w 2 2 σ w 2 2 , β w 2 = μ w 2 σ w 2 2
therefore, with the mean and variance of w 2 , we can generate its Gamma approximated probability density function. Although the idea might seem very simple, the mean and variance of the channel norm are very difficult to be obtained. For the sake of clarity, we detail these calculations in Appendix A, for the case where there are no phase errors. For this case, the mean μ w 2 and variance σ w 2 2 , are given in (A17) and (A45), respectively. In the same way, for the case where phase error occurs, Appendix B presents the mean μ w 2 and variance σ w 2 2 as in (A76) and (A91), respectively.
The trigonometric moments needed to perform the calculations are in the Appendix C.

Kullback–Leibler Divergence

To evaluate the accuracy of approximating w 2 as a Gamma random variable, we can use Kullback-Leibler divergence [21]. The Gamma distribution will be compared with the simulation obtained by the Monte Carlo method.
Although the distribution of the fading coefficient is continuous, for purposes of numerical calculation, we estimate the PDF with a finite number of points and thus we also sample the Gamma distribution and calculate the Kullback-Leibler divergence in its discrete form [21]
D K L D 1 | | D 2 = x χ d 1 ( x ) log d 1 ( x ) d 2 ( x ) ,
where D 1 and D 2 are the simulated and the theoretical distributions, respectively, whose probability distribution functions are d 1 ( x ) and d 2 ( x ) respectively and χ is the set of points available to represent the distributions.

6. Error Probability Calculations

The error probability for the M-QAM modulation can be approximately obtained by [22]
P e Q A M ( γ ) = 1 1 2 1 1 M Q 3 γ log 2 M ( M 1 ) 2 ,
where M is the size of the M-QAM constellation. Under Gamma fading, the mean error probability can be calculated as
P ¯ e Q A M ( γ ) = 0 P e Q A M ( γ v ) f w 2 ( v ) d v ,
where γ = p γ 0 and γ 0 is the SNR at the receiver while P ¯ e Q A M is the mean error probability considering the fading coefficient v and the Gamma pdf f w 2 ( v ) .
Therefore the error probability can be expressed as
P ¯ e Q A M ( γ ) = 0 P e Q A M ( γ v ) β α v α 1 e β v Γ ( α ) d v ,
where α = α w 2 and β = β w 2 are calculated by (12).
In [23], we have a useful approximation for the bit error probability on an M-QAM schema. Considering coherent detection, we can state that
P e Q A M ( γ ) 4 log 2 M Q 3 γ log 2 M M 1
By using the approximation in (17), we propose an upper bound for the bit error probability for the transmission of M-QAM symbols under Gamma fading by applying the Chernoff bound Q ( x ) < 1 2 e 1 2 x 2 and solving the integral formula in (16). The proposed bound for error probability can be calculated as
P ¯ e Q A M ( γ ) < 1.38629 2.16404 γ log ( M ) ( M 1 ) β w 2 + 1 α w 2 log ( M )
The gamma approximation for the resulting fading coefficient is adequate and works even for small values of N and M when we consider the scenario without phase errors, as in Figure 2, and in the case where we have the Von Mises distributed phase errors as shown in Figure 3.
As we can see in Figure 4 the Kullback-Leibler divergence decays with the number of reflectors at the LIS and the distribution is well represented by the proposed gamma approximation.

7. Simulated Results

We have simulated the bit error probability and generated the fading coefficients of all LoS and NLoS channels using the Monte Carlo method with 10 6 iterations. We have assumed that the phase errors follow the uniform or the Von Mises distribution. To calculate the error probability, we have solved numerically the integral in (16) and compared it with the Monte Carlo simulation.
Figure 5 shows the simulated bit error rate when there are no phase errors. As it can be observed, the simulation is very close to the analytical bit error probability. Moreover, as the number of LIS reflectors increases, the bit error probability decreases faster concerning the SNR. This result is valid even for small values of N, for example, for N = 8 .
On the other hand, when the phase error is uniformly distributed, as shown in Figure 6, the bit error probability increases significantly compared to the scenario where there are no phase errors. Again, we can observe that the analytical curve matches perfectly the simulated results, even for a small number of antennas or a small number of elements at the LIS.
It is worth mentioning that a uniform phase error, as pointed out by [24], may mean that the LIS’s channel estimation or phase correction was not so effective since large and small phase errors are equiprobable.
Comparing Figure 6 and Figure 7, we can see that the error probability is smaller when κ > 0 . The occurrence of small errors is more probable than large errors ( ± π ).
Figure 8 shows how the bit error probability behaves as the concentration parameter varies for SNR of 25 dB. It is clear that the rate decreases as κ increases. Therefore, the κ parameter of the LIS can be considered a qualitative parameter of the phase correction performed by the reflectors for a specific channel estimation method.
In Figure 9, we vary the size of the antenna array at BS and note that the bit error rate decreases significantly when M increases. Furthermore, our approximation is valid for both large and small values of M.
Although the numerical calculation of the analytical expression of the bit error probability is computationally fast, it may still be interesting to use a direct expression that does not involve solving numerical integrals. The proposed upper bound is very close to the simulated results, as we can see in Figure 10.
Figure 11 shows the influence of the direct link in the bit error probability. In this figure, we have assumed that the direct link is 10 dB and 30 dB larger than the two indirect links. As it can be seen, when the direct link is strong, the error probability decays quickly with the increase of the SNR, on the other hand, when the direct link is weak, the bit error probability requires a larger SNR to decrease.

8. Final Considerations

This paper has presented how some parameters like number of antennas at BS and electromagnetic reflectors at LIS, channel, and phase error distribution can influence on the performance of a massive MIMO system assisted by LIS.
Assuming that there is the direct link between the user and the base station and phase errors performed by the LIS, we have derived analytical expressions for the channel probability distribution function and bit error probability. As conclusion, all the sum of the fading coefficients and phase noise involved in the MIMO communication system assisted by LIS can be modeled as a Gamma random variable.
We have proved the accuracy of our approximation through the Kullback-Leibler divergence even when the phase error follows either the uniform or the Von Mises distribution with arbitrary concentration parameter. In the absence of phase error, the divergence between the simulated distribution and the proposed analytical approach decreases even faster with the increase of the number of reflectors at the LIS.
Further studies may include expanding this analysis to more general fading distributions such as Nakagami-m, which include the Rayleigh distribution as special case and can reasonably approximate Rician fading channels for large values of m.

Author Contributions

All authors contributed equally to the idealization, bibliographic review, calculations, execution of simulations and analyzes. All authors have read and agreed to the published version of the manuscript.

Funding

This research is funded by CAPES under the grant 88882.329402/2019-01 and by CNPq under the grant 301777/2019-5.

Acknowledgments

This work was supported in part by the European Union’s Horizon 2020 research and innovation program under grant agreement No. 732174 (ORCA project), grant 2016/16181-2, São Paulo Research Foundation (FAPESP), R&D ANEEL—PROJECT COPEL 2866-0366/2013 and EMBRAPII—Empresa Brasileira de Pesquisa e Inovação Industrial, CNPq under Grant 304946/2016-8 and 313239/2017-7.

Conflicts of Interest

The funders had no role in the design of the study; in the collection, analyses, or interpretation of data; in the writing of the manuscript, or in the decision to publish the results.

Appendix A

Appendix A.1. Mean of w k Given in (5)

Departing from (5), the mean of the each total fading coefficient can be calculated as
E [ w k ] = E i = 1 N | g k i | h i L I S + h k B S
The mean of the product of two random variables X and Y is given by var ( X Y ) = var ( X ) var ( Y ) + var ( X ) E [ Y ] 2 + var ( X ) E [ Y ] 2 [20], since | g k i | and | h k L I S | are independent and equally probable on the summation variable. So,
E [ w k ] = N × E g k i E h i L I S + E h k B S
Since E h k B S = 0 ,
E [ w k ] = N × E g k i E h i L I S
The terms | g k i | and h i L I S are Rayleigh distributed, since the variables g k i and h i L I S are zero mean with variances σ 1 2 and σ 2 2 respectively. Therefore
E g k i = σ 1 π 2 , E h i L I S = σ 2 π 2 .
Let w k = c k + j s k , where c k and s k are the in-phase and quadrature components of the fading coefficient with respect to the antenna k. Also, let μ c k = E [ c k ] and μ s k = E [ s k ] = 0 . Then,
E w k = μ c k = N π 2 σ 1 σ 2 .

Appendix A.2. Variance of w k Given in (5)

The variance of w k is given by
var ( w k ) = E ( c k + j s k ) ( c k j s k ) E ( c k + j s k ) 2 = var ( c k ) + var ( s k ) ,
where
var ( c k ) = var i = 1 N | g k i | h i L I S + C B S , k ,
and can be expanded as
var ( c k ) = var i = 1 N | g k i | h i L I S + var C B S , k + 2 E C B S , k i = 1 N | g k i | h i L I S 2 ,
The first term of (A8) can be written as
var i = 1 N | g k i | h i L I S = N var | g k i | h i L I S
Note in (A9) that it is necessary to compute the variance of the product of two random variables. Let X and Y, two independent random variables, then var ( X Y ) = var ( X ) var ( Y ) + var ( X ) E [ Y ] 2 + var ( Y ) E [ X ] 2 and then.
var | g k i | h i L I S = var | g k i | × var h i L I S + var | g k i | E h i L I S 2 + var h i L I S E | g k i | 2
Since g k i and h i L I S are Rayleigh distributed,
var g k i = 4 π 2 σ 1 2 , var h i L I S = 4 π 2 σ 2 2
and so, after some simplifications, we have that
var | g k i | h i L I S = 16 π 2 4 σ 1 σ 2 2
Since E C B S , k = 0 and the terms C B S , k and i = 1 N | g k i | h i L I S are independent, then
var ( c k ) = N 16 π 2 4 σ 1 σ 2 2 + σ 3 2
therefore the variance of w k is given as
var ( w k ) = N 16 π 2 4 σ 1 σ 2 2 + 2 σ 3 2 .

Appendix A.3. Expected Value of w 2

The expected value of w 2 can be calculated by
E w 2 = E k = 1 M | w k | 2 = M E | w k | 2
With E [ w k ] and var ( w k ) , we can calculate E | w k | 2 as E | w k | 2 = var ( w k ) + E w k 2 . Therefore, we have
E | w k | 2 = N 16 π 2 4 σ 1 σ 2 2 + 2 σ 3 2 + N π 2 σ 1 σ 2 2 ,
so the mean of the overall channel fading coefficient is
μ w 2 = E w 2 = M N 16 π 2 4 σ 1 σ 2 2 + 2 σ 3 2 + N π 2 σ 1 σ 2 2

Appendix A.4. Correlation between the Fading Coefficients

Since the real and imaginary parts of the fading coefficients, without phase errors, are uncorrelated, we analyze only the correlation between the real parts as follows.
ρ c i , c k = E [ c i c k ] E [ c i ] E [ c k ] var ( c i ) var ( c k ) .
Since var ( c i ) = var ( c k ) and E [ c i ] = E [ c k ] ,
ρ c i , c k = E [ c i c k ] μ c k 2 var ( c k )
where
E [ c i c k ] = E l = 1 N | g i l | | h l L I S | + C B S , i × m = 1 N | g k m | | h m L I S | + C B S , k ,
and simplifies to
E [ c i c k ] = E l = 1 N m = 1 N | g i l | | g k m | | h l L I S | | h m L I S | + E [ C B S , i C B S , k ] + E [ C B S , i ] m = 1 N | g k m | | h k L I S | + C B S , k + E [ C B S , k ] l = 1 N | g i l | h i L I S + C B S , i .
Since E [ C B S , i ] = E [ C B S , k ] = 0 , E | g i l | = E | g k m | , E | h l L I S | = E | h m L I S | so
E [ c i c k ] = l = 1 N m = 1 N E | g i l | | g k m | | h l L I S | | h m L I S | + E [ C B S , i C B S , k ]
Since | g i l | and | g k m | are independent, therefore
E | g i l | | g k m | | h l L I S | | h m L I S | = E | g i l | E | g k m | E | h l L I S | E | h m L I S | l m
and
l = m E g i l g k m h l L I S h m L I S = E | g i l | E | g k m | E | h m L I S | 2
since
E h m L I S 2 = var | h m L I S | + E | h m L I S | 2 ,
so we have that
E h m L I S 2 = 4 π 2 σ 2 2 + π 2 σ 2 2 = 2 σ 2 2
Therefore
l = 1 N m = 1 N E | g i l | | g k m | | h l L I S | | h m L I S | = N π σ 1 2 σ 2 2 1 + ( N 1 ) π 4
Since
E [ C B S , i C B S , k ] = 0 k i E [ C B S , k 2 ] = σ 3 2 k = i
Therefore
E [ c i c k ] = N π σ 1 2 σ 2 2 1 + ( N 1 ) π 4 k i N π σ 1 2 σ 2 2 1 + ( N 1 ) π 4 + σ 3 2 k = i
Since E c k = E w k = N π 2 σ 1 σ 2 , we only need to consider the case i k , because for i = k we have that ρ c i , c k = ρ c k , c k = 1 therefore
ρ c i , c k = N π σ 1 2 σ 2 2 1 + ( N 1 ) π 4 N π 2 σ 1 σ 2 2 N 16 π 2 4 σ 1 σ 2 2 + σ 3 2 i k
by performing algebraic simplifications we have that
ρ c i , c k = N π σ 1 σ 2 2 N ( π + 4 ) σ 1 σ 2 2 + 4 4 π σ 3 2 i k

Appendix A.5. Variance of w 2

Let Z k = | w k | 2 , so the variance of the sum of the correlated random variables Z k will be given by
var w 2 = var i = 1 M Z i = i = 1 M var ( Z i ) + 2 1 i < k M cov Z i , Z k .
Since the variables have the same distribution and parameters therefore
var i = 1 M Z i = M × var ( Z i ) + M ( M 1 ) × cov Z i , Z k ,
so the pairwise covariance can be obtained by
cov Z i , Z k = E [ Z i Z k ] E [ Z i ] E [ Z k ]
where
E [ Z i Z k ] = E [ | w i | 2 | w k | 2 ] = E [ ( c i 2 + s i 2 ) ( c k 2 + s k 2 ) ]
and simplifies to
E [ Z i Z k ] = E [ c i 2 c k 2 ] + E [ c i 2 s k 2 ] + E [ s i 2 c k 2 ] + E [ s i 2 s k 2 ]
Since
E [ c i 2 s k 2 ] = E [ s i 2 c k 2 ] ,
so,
E [ Z i Z k ] = E [ c i 2 c k 2 ] + 2 E [ c i 2 s k 2 ] + E [ s i 2 s k 2 ]
Considering that c k and c i are correlated Gaussian random variables with the same mean and variance, therefore we have that
E [ c i 2 c k 2 ] = x 2 y 2 f c i , c k ( x , y ) d x d y
where f c i , c k ( x , y ) is the joint probability density function of the correlated Gaussian random variables c i and c k .
E [ c i 2 c k 2 ] = μ c k 4 + 2 μ c k 2 1 + 2 ρ c i , c k σ c k 2 + 1 + 2 ρ c i , c k 2 σ c k 4
E [ c i 2 c k 2 ] = k 1 4 σ 12 4 + 2 k 1 2 σ 12 2 k 1 2 π a 1 a 2 σ 12 2 + σ 3 2 + 2 k 1 3 a 1 σ 12 4 + 1 2 k 1 2 σ 12 4 a 1 2 + k 1 2 π a 1 a 2 σ 12 2 + σ 3 2 2 i k k 1 4 σ 12 4 + 6 k 1 2 σ 12 2 k 1 2 π a 1 a 2 σ 12 2 + σ 3 2 + 3 k 1 2 π a 1 a 2 σ 12 2 + σ 3 2 2 i = k
Therefore E [ c i 2 c k 2 ] can be calculated by (A68), where k 1 = N π 2 , a 1 = 4 π , a 2 = 4 + π and σ 12 = σ 1 σ 2 .
Since c i and s k are independent and E [ | s k 2 | ] = var ( s k ) so we have that
E [ c i 2 s k 2 ] = E [ c i 2 ] E [ s k 2 ]
Since
E [ c i 2 ] = v a r ( c i ) + E [ c i ] 2 = k 1 2 π a 1 a 2 σ 12 2 + σ 3 2 + k 1 2 σ 12 2 ,
so we have that
E [ c i 2 ] = σ 12 2 k 1 2 π a 1 a 2 + k 1 2 + σ 3 2 ,
Since E [ s k 2 ] = v a r ( s k ) = σ 3 2 , therefore
E [ c i 2 s k 2 ] = σ 123 2 k 1 2 π a 1 a 2 + k 1 2 + σ 3 4
where σ 123 2 = σ 1 2 σ 2 2 σ 3 2 .
The fourth order moment E [ s k 4 ] of a Gaussian random variable is well known in the literature and can be calculated by
E [ s k 4 ] = ( E [ s k ] ) 4 + 2 ( E [ s k ] ) 2 var ( s k ) + 3 ( var ( s k ) ) 2
Since E [ s k ] = 0 , therefore
E [ s k 4 ] = 3 σ 3 4
E [ Z i Z k ] = k 1 4 σ 12 4 + 2 k 1 2 σ 12 2 k 1 2 π a 1 a 2 σ 12 2 + σ 3 2 + 2 k 1 3 a 1 σ 12 4 + 1 2 k 1 2 σ 12 4 a 1 2 + k 1 2 π a 1 a 2 σ 12 2 + σ 3 2 2 + + 2 σ 123 2 k 1 2 π a 1 a 2 + k 1 2 + 3 σ 3 4 i k k 1 4 σ 12 4 + 6 k 1 2 σ 12 2 k 1 2 π a 1 a 2 σ 12 2 + σ 3 2 + 3 k 1 2 π a 1 a 2 σ 12 2 + σ 3 2 2 + 2 σ 123 2 k 1 2 π a 1 a 2 + k 1 2 + 5 σ 3 4 i = k
With the expected value E [ Z i Z k ] , the expected value of Z k = | w k | 2 and the consideration that E [ Z i ] = E [ Z k ] i k , the covariance between Z i and Z k can be obtained by
cov Z i , Z k = E [ Z i Z k ] E [ Z k ] 2
Note that var ( Z k ) = cov ( Z k , Z k ) , so the variance of w 2 can be obtained by
σ w 2 2 = var w 2 = M cov ( Z k , Z k ) + M ( M 1 ) cov ( Z i , Z k )
By substituting the terms E [ Z i Z k ] and E [ Z k ] , given in (A43) and (A5), in the Equation (A45), we have finally have the analytical expression of the variance in (A46).
σ w 2 2 = M k 2 4 + 2 k 2 2 ( k 3 + σ 3 2 ) + 2 k 1 k 4 2 a 1 1 2 k 4 2 a 1 2 + ( k 3 + σ 3 2 ) 2 + 2 σ 3 2 ( k 3 + k 2 2 ) + 3 σ 3 4 ( k 3 + 2 σ 3 2 + k 2 2 ) 2 + M ( M + 1 ) k 2 4 + 6 k 2 2 ( k 3 + σ 3 2 ) + 3 ( k 3 + σ 3 2 ) 2 + 2 ( k 3 + k 2 2 ) + 5 σ 3 4 ( k 3 + 2 σ 3 2 + k 2 2 ) 2
where
k 2 = k 1 σ 12 , k 3 = k 1 2 π a 1 a 2 σ 12 2 , k 4 = k 1 σ 12 2

Appendix B. Mean and Variance of the Overall Channel Fading Coefficient with Von Mises Distributed Phase Errors

Appendix B.1. Mean of w ˜ k

Let w ˜ k = c ˜ k + j s ˜ k be the fading coefficient with respect to the antenna k when phase errors occurs at the LIS.
To obtain the mean of w ˜ k we need to calculate the mean of c ˜ k and s ˜ k .
The mean value of the in-phase fading component c ˜ k is
E [ c ˜ k ] = N π 2 σ 12 α 1
and the quadrature component mean E [ s ˜ k ] is
E [ s ˜ k ] = E i = 1 N | g k i | h i L I S sin δ k i + S ˜ k B S
using the linearity of the expected value we can rewrite the equation as
E [ s ˜ k ] = i = 1 N E | g k i | h i L I S sin δ k i + E S ˜ k B S
since β 1 = 0 , so
E [ s ˜ k ] = N π 2 σ 12 β 1 = 0
Therefore we can calculate the mean of the overall fading coefficient, for the antenna k by using
E [ w ˜ k ] = E [ c ˜ k ] + E [ s ˜ k ] = N π 2 σ 12 α 1 .

Appendix B.2. Variance of the In-Phase and Quadrature Components

To obtain the variance of w ˜ k we need to calculate the variance of c ˜ k and s ˜ k . The variance of the quadrature component is
var ( s ˜ k ) = N var ( | g k i | h i L I S sin δ k i ) + σ 3 2 ,
where
var ( | g k i | h i L I S sin δ k i ) = var ( | g k i | h i L I S ) var ( sin δ k i ) + var ( sin δ k i ) E [ | g k i | h i L I S ] 2 + var ( | g k i | h i L I S ) E [ sin δ k i ] 2
and simplifies to
var ( | g k i | h i L I S cos δ k i ) = var ( | g k i | h i L I S ) var ( cos δ k i ) + var ( cos δ k i ) E [ | g k i | h i L I S ] 2 + var ( | g k i | h i L I S ) E [ cos δ k i ] 2 .
To compute the variance of the in-phase and quadrature components we need to calculate closed expressions for the trigonometric moments of the Von Mises random variable.
The expected value of the sine of a Von Mises distributed phase error is given as
var ( sin δ k i ) = E [ sin 2 δ k i ] E [ sin δ k i ] 2 = 1 2 1 E [ cos 2 δ k i ] E [ sin δ k i ] 2 = 1 2 1 α 2 β 1 2
Since β 1 = 0 , so
var ( sin δ k i ) = 1 2 1 α 2
The expected value of the cosine of a Von Mises variable can be calculated by
var ( cos δ k i ) = E [ cos 2 δ k i ] E [ cos δ k i ] 2 ,
or, using a trigonometric substitution,
var ( cos δ k i ) = 1 2 1 + E [ cos 2 δ k i ] α 1 2 ,
In terms of the the characteristic function, we have
var ( cos δ k i ) = 1 2 1 + α 2 α 1 2
So the variance of s ˜ k is
var ( s ˜ k ) = N 16 π 2 8 σ 12 2 1 α 2 π 2 8 σ 12 2 1 α 2 + σ 3 2
and simplifies to
var ( s ˜ k ) = N 2 σ 12 2 1 α 2 + σ 3 2 .
The variance of the in-phase fading coefficient will be
var ( c ˜ k ) = N 16 π 2 4 σ 12 2 1 2 1 + α 2 α 1 2 + α 1 2 16 π 2 4 σ 12 2 + 1 2 1 + α 2 α 1 2 π 2 4 σ 12 2 + σ 3 2
and simplifies to
var ( c ˜ k ) = σ 3 2 + N 2 σ 12 2 ( 1 + α 2 ) π 2 4 α 1 2 σ 12 2

Appendix B.3. Mean of | w ˜ k | 2

To compute the variance of the total fading coefficient we need the mean value of the squared fading coefficients.
The mean of the squared in-phase component is given as
E [ c ˜ k 2 ] = σ 3 2 + N 2 σ 12 2 ( 1 + α 2 ) π 2 4 α 1 2 σ 12 2 + N π 2 σ 12 α 1 2 .
The expected value of the squared quadrature component can be written as
E [ s ˜ k 2 ] = var ( s ˜ k ) = N 2 σ 12 2 1 α 2 + σ 3 2
Therefore, the mean squared magnitude of the overall fading with respect to the antenna k is given as
E [ | w ˜ k | 2 ] = N 2 σ 12 2 ( 1 + α 2 ) π 2 4 α 1 2 σ 12 2 + N π 2 σ 12 α 1 2 + N 2 σ 12 2 1 α 2 + 2 σ 3 2
and simplifies to
E [ | w ˜ k | 2 ] = 4 N ( 1 + α 2 ) σ 12 2 + 2 σ 3 2

Appendix B.4. Correlation between the Fading Coefficients

The real and imaginary parts of the fading coefficients are uncorrelated, however we need to compute the correlation coefficient between the real parts.
The expected value of the product of two different in-phase coefficients can be written as
E [ c ˜ i c ˜ k ] = E l = 1 N | g i l | | h l L I S | cos δ i l + C ˜ B S , i × m = 1 N | g k m | | h m L I S | cos δ k m + C ˜ B S , k
since all the variables have the same distribution and parameters, therefore if l m , so all the summation variables are independent, and in addition E C ˜ B S , k k and the variables C ˜ B S , i and C ˜ B S , k are independent i k , therefore
E [ c ˜ i c ˜ k ] = E C ˜ B S , i C ˜ B S , k + l = 1 N m = 1 N E | g i l | | g k m | | h l L I S | | h m L I S | cos δ i l cos δ k m
and
l m E | g i l | | g k m | | h l L I S | | h m L I S | cos δ i l cos δ k m = E | g k m | 2 E | h m L I S | 2 E cos δ k m 2 = σ 1 π 2 2 σ 2 π 2 2 α 1 2 = π 2 4 σ 12 2 α 1 2
and also
l = m , i k E | g i l | | g k m | | h l L I S | | h m L I S | cos δ i l cos δ k m = E | g k m | 2 E | h m L I S | 2 E cos δ i m E cos δ k m = π 2 σ 1 2 2 σ 2 2 α 1 2 = π σ 12 2 α 1 2 ,
l = m , i = k E | g i l | | g k m | | h l L I S | | h m L I S | cos δ i l cos δ k m = E | g k m | 2 E | h m L I S | 2 E cos 2 δ k m = 2 σ 1 2 2 σ 2 2 1 2 ( 1 α 2 )
therefore
E [ c ˜ i c ˜ k ] = N ( N 1 ) π 2 4 σ 12 2 α 1 2 + N π σ 12 2 α 1 2 i k N 2 σ 1 2 2 σ 2 2 1 2 ( 1 α 2 ) + σ 3 2 + N ( N 1 ) π 2 4 σ 12 2 α 1 2 i = k
and the correlation for i k is given as
ρ c ˜ i c ˜ k = N ( N 1 ) π 2 4 σ 12 2 α 1 2 + N π σ 12 2 α 1 2 N π 2 σ 12 α 1 2 σ 3 2 + N 2 σ 12 2 ( 1 + α 2 ) π 2 4 α 1 2 σ 12 2

Appendix B.5. Mean of w ˜ 2

The mean value of the total fading coefficient can be written as
μ w ˜ 2 = E w ˜ 2 = E k = 1 M | w ˜ k | 2 .
Since the fading coefficients are identically distributed, then
μ w ˜ 2 = M E [ | w ˜ k | 2 ] ,
and
μ w ˜ 2 = 4 N M ( 1 + α 2 ) σ 12 2 + 2 M σ 3 2

Appendix B.6. Variance of w ˜ 2

The variance of the total fading coefficient is given as
var w ˜ 2 = var k = 1 M | w ˜ k | 2 .
Let Z ˜ k = | w ˜ k | 2 , therefore
var w ˜ 2 = var i = 1 M Z ˜ i = M × var ( Z ˜ i ) + M ( M 1 ) × cov Z ˜ i , Z ˜ k ,
Since
cov Z ˜ i , Z ˜ k = E Z ˜ i Z ˜ k E Z ˜ i E Z ˜ k ,
the expected value of the product of the squared magnitude of two diffent fading coefficients is
E [ Z ˜ i Z ˜ k ] = E [ c ˜ i 2 c ˜ k 2 ] + 2 E [ c ˜ i 2 s ˜ k 2 ] + E [ s ˜ i 2 s ˜ k 2 ]
The term E [ c ˜ i 2 c ˜ k 2 ] can be calculated by (A81)
E [ c ˜ i 2 c ˜ k 2 ] = 2 k 5 σ 3 2 + k 6 k 5 a 3 + σ 3 2 + k 6 k 5 a 3 2 + 8 π k 5 3 a 3 N + 1 3 k 5 4 + 2 π k 5 a 3 N + 1 k 5 2 2 i k k 5 4 + 6 k 5 2 σ 3 2 + k 6 k 5 a 3 + 3 σ 3 2 + k 6 k 5 a 3 2 i = k
where k 5 = N π 2 σ 12 α 1 , k 6 = 2 N σ 12 2 ( 1 + α 2 ) and a 3 = π 2 σ 12 α 1 . Since E [ s ˜ k ] = 0 , thus the forth order moment of the quadrature component is
E [ s ˜ k 4 ] = 3 ( var ( s ˜ k ) ) 2 = 3 N 2 σ 12 2 1 α 2 + σ 3 2 2 = 3 k 7 + σ 3 2 2
where k 7 = 2 N σ 12 2 ( 1 α 2 ) .
We need to obtain the term E c ˜ i 2 s ˜ k 2 without considering the CLT, because the correlation coefficient between c ˜ and s ˜ is zero. But the terms c ˜ i 2 and s ˜ k 2 are not independent and the approach that use the integral of the product to obtain the expected value is hard to solve analytically.
Considering the definition, we have that
E c ˜ i 2 s ˜ k 2 = E l = 1 N | g i l | | h l L I S | cos δ i l + C ˜ B S , i 2 × m = 1 N | g k m | | h m L I S | sin δ k m + S ˜ B S , k 2
Expanding the power and the product of the two terms we can find the expression (A84). Considering that E C ˜ B S , i = 0 , E S ˜ B S , k = 0 , E S ˜ B S , k 2 = E S ˜ B S , k 2 = σ 3 2 so (A84) simplifies to (A85). The three summation terms of (A85) are obtained by (A86), (A87) and (A88) that can be obtained by analyzing the different possible values of the summation indexes that can made the indexed terms dependents or independents.
E c ˜ i 2 s ˜ k 2 = E l = 1 N | g i l | | h l L I S | cos δ i l 2 m = 1 N | g k m | | h m L I S | sin δ k m 2 + E l = 1 N | g i l | | h l L I S | cos δ i l 2 S ˜ B S , k 2 + 2 E l = 1 N | g i l | | h l L I S | cos δ i l 2 m = 1 N | g k m | | h m L I S | sin δ k m S ˜ B S , k + 2 E l = 1 N | g i l | | h l L I S | cos δ i l C ˜ B S , i S ˜ B S , k 2 + + 2 E l = 1 N | g i l | | h l L I S | cos δ i l C ˜ B S , i m = 1 N | g k m | | h m L I S | sin δ k m 2 + E C ˜ B S , i 2 m = 1 N | g k m | | h m L I S | sin δ k m 2 + 4 E l = 1 N | g i l | | h l L I S | cos δ i l C ˜ B S , i m = 1 N | g k m | | h m L I S | sin δ k m S ˜ B S , k + E C ˜ B S , i 2 S ˜ B S , k 2 + 2 E C ˜ B S , i 2 m = 1 N | g k m | | h m L I S | sin δ k m S ˜ B S , k
E c ˜ i 2 s ˜ k 2 = E l = 1 N | g i l | | h l L I S | cos δ i l 2 m = 1 N | g k m | | h m L I S | sin δ k m 2 + E l = 1 N | g i l | | h l L I S | cos δ i l 2 σ 3 2 + E m = 1 N | g k m | | h m L I S | sin δ k m 2 σ 3 2 + σ 3 4
E l = 1 N | g i l | | h l L I S | cos δ i l 2 = E l = 1 N t = 1 N | g i l | | | g i t | | h l L I S | | h t L I S | cos δ i l cos δ i t = 2 N σ 12 2 ( 1 + α 2 ) + ( N 2 N ) π 2 2 σ 12 2 α 1 2
E m = 1 N | g k m | | h m L I S | sin δ k m 2 = E d = 1 N m = 1 N | | g k d | | g k m | | h d L I S | | h m L I S | sin δ k d sin δ k m = 2 N σ 12 2 ( 1 α 2 )
E l = 1 N | g i l | | h l L I S | cos δ i l 2 m = 1 N | g k m | | h m L I S | sin δ k m 2 = E l = 1 N t = 1 N d = 1 N m = 1 N | g i l | | | g i t | | | g k d | | g k m | | h l L I S | | h t L I S | | h d L I S | | h m L I S | cos δ i l cos δ i t sin δ k d sin δ k m
E c ˜ i 2 s ˜ k 2 =
( N 1 ) k 10 + 3 ( N 2 N ) k 9 + 2 k 10 + ( N 3 3 N 2 + 2 N ) k 9 + k 6 + ( N 1 ) N k 5 + k 7 σ 3 2 + σ 3 4 i k ( N 1 ) k 8 + 9 2 ( N 2 N ) k 11 + 4 k 10 + ( N 3 3 N 2 + 2 N ) k 9 + k 6 + ( N 1 ) N k 5 + k 7 σ 3 2 + σ 3 4 i = k
where
k 8 = 2 N σ 12 4 ( 1 α 4 ) , k 9 = 2 π 2 2 σ 12 4 α 1 2 ( 1 α 2 ) , k 10 = 4 N σ 12 4 ( 1 α 2 2 ) , k 11 = π 2 2 σ 12 4 α 1 ( α 1 α 3 )
E [ Z ˜ i Z ˜ k ] =
2 k 5 σ 3 2 + k 6 k 5 a 3 + σ 3 2 + k 6 k 5 a 3 2 + 8 π k 5 3 a 3 N + 1 3 k 5 4 + 2 π k 5 a 3 N + 1 k 5 2 2 + 2 ( N 1 ) k 10 + 3 ( N 2 N ) k 9 + 2 k 10 + ( N 3 3 N 2 + 2 N ) k 9 + k 6 + ( N 1 ) N k 5 + k 7 σ 3 2 + σ 3 4 + 2 σ 3 2 + k 6 k 5 a 3 + k 5 2 k 7 + σ 3 2 + k 7 + σ 3 2 2 i k k 5 4 + 6 k 5 2 σ 3 2 + k 6 k 5 a 3 + 3 σ 3 2 + k 6 k 5 a 3 2 + 2 σ 3 2 + k 6 k 5 a 3 + k 5 2 k 7 + σ 3 2 + 2 ( N 1 ) k 8 + 9 2 ( N 2 N ) k 11 + 4 k 10 + ( N 3 3 N 2 + 2 N ) k 9 + k 6 + ( N 1 ) N k 5 + k 7 σ 3 2 + σ 3 4 + 3 k 7 + σ 3 2 2 i = k
Thus the covariance cov ( Z ˜ i , Z ˜ k ) can be obtained by (A79), where E Z ˜ i Z ˜ k is given by (A90), remember that E Z ˜ i = E Z ˜ k and E Z ˜ k = E | w ˜ k | 2 that can be calculated by (A67), also consider that var Z ˜ k = cov Z ˜ k , Z ˜ k and the variance of the overall fading coefficient is given by (A91).
σ w ˜ 2 2 = var w ˜ 2 = M ( M 1 ) 2 k 5 σ 3 2 + k 6 k 5 a 3 + σ 3 2 + k 6 k 5 a 3 2 + 8 π k 5 3 a 3 N + 1 3 k 5 4 + 2 π k 5 a 3 N + 1 k 5 2 2 + 2 ( N 1 ) k 10 + 3 ( N 2 N ) k 9 + 2 k 10 + ( N 3 3 N 2 + 2 N ) k 9 + k 6 + ( N 1 ) N k 5 + k 7 σ 3 2 + σ 3 4 + 2 σ 3 2 + k 6 k 5 a 3 + k 5 2 k 7 + σ 3 2 + k 7 + σ 3 2 2 2 k 6 + 2 σ 3 2 2 + M k 5 4 + 6 k 5 2 σ 3 2 + k 6 k 5 a 3 + 3 σ 3 2 + k 6 k 5 a 3 2 + 2 σ 3 2 + k 6 k 5 a 3 + k 5 2 k 7 + σ 3 2 + 2 ( N 1 ) k 8 + 9 2 ( N 2 N ) k 11 + 4 k 10 + ( N 3 3 N 2 + 2 N ) k 9 + k 6 + ( N 1 ) N k 5 + k 7 σ 3 2 + σ 3 4 + 3 k 7 + σ 3 2 2 2 k 6 + 2 σ 3 2 2

Appendix C. Trigonometric Moments of a Von Mises Random Variable

Since the Von Mises distribution is symmetric about zero, therefore the expected values of odd functions applied to a Von Mises distributed random variable will be zero, therefore
n , m Z E [ sin 2 n + 1 δ cos m δ ] = 0 ,
on the other hand, the expected value of a power of even trigonometric functions must be expanded in trigonometric Fourier series, or simply transformed in a superposition of cosine and sine functions using trigonometric transformations to allow us to use the characteristic function definition.
Since E [ cos p δ ] = α p , we have that
E [ cos 2 δ ] = E 1 2 1 + cos 2 δ = 1 2 1 + α 2 ,
E cos 3 δ = E 1 4 3 cos δ + cos 3 δ = 1 4 3 α 1 + α 3 ,
and
E [ cos 4 δ ] = E 1 8 3 + 4 cos 2 δ + cos 4 δ = 1 8 3 + 4 α 2 + α 4 .
We can write the power of a sine function in terms of the cosine function by applying the algebraic transformation sin 2 δ = 1 cos 2 δ , and this substitution is useful only when the power is even. The expected value is zero for every odd power of sin δ .

References

  1. Zhang, Z.; Xiao, Y.; Ma, Z.; Xiao, M.; Ding, Z.; Lei, X.; Karagiannidis, G.K.; Fan, P. 6G wireless networks: Vision, requirements, architecture, and key technologies. IEEE Veh. Technol. Mag. 2019, 14, 28–41. [Google Scholar] [CrossRef]
  2. Fernando, X.; Farahneh, H. Visible Light Communications; IOP Publishing: Bristol, UK, 2019; pp. 2053–2563. [Google Scholar] [CrossRef]
  3. Nawaz, S.J.; Sharma, S.K.; Wyne, S.; Patwary, M.N.; Asaduzzaman, M. Quantum machine learning for 6G communication networks: State-of-the-art and vision for the future. IEEE Access 2019, 7, 46317–46350. [Google Scholar] [CrossRef]
  4. Wang, Z.; Liu, L.; Cui, S. Channel Estimation for Intelligent Reflecting Surface Assisted Multiuser Communications. In Proceedings of the 2020 IEEE Wireless Communications and Networking Conference (WCNC), Seoul, Korea, 25–28 May 2020; pp. 1–6. [Google Scholar]
  5. Tataria, H.; Tufvesson, F.; Edfors, O. Real-Time Implementation Aspects of Large Intelligent Surfaces. In Proceedings of the ICASSP 2020—2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), Barcelona, Spain, 4–8 May 2020; pp. 9170–9174. [Google Scholar]
  6. Elbir, A.M.; Papazafeiropoulos, A.; Kourtessis, P.; Chatzinotas, S. Deep Channel Learning For Large Intelligent Surfaces Aided mm-Wave Massive MIMO Systems. IEEE Wirel. Commun. Lett. 2020, 9, 1447–1451. [Google Scholar] [CrossRef]
  7. Yu, G.; Chen, X.; Zhong, C.; Ng, D.W.K.; Zhang, Z. Design, Analysis and Optimization of A Large Intelligent Reflecting Surface Aided B5G Cellular Internet of Things. IEEE Internet Things J. 2020, 7, 8902–8916. [Google Scholar] [CrossRef]
  8. Ye, J.; Guo, S.; Alouini, M. Joint Reflecting and Precoding Designs for SER Minimization in Reconfigurable Intelligent Surfaces Assisted MIMO Systems. IEEE Trans. Wirel. Commun. 2020, 19, 5561–5574. [Google Scholar] [CrossRef]
  9. Yue, D.W.; Nguyen, H.H.; Sun, Y. mmWave Doubly-Massive-MIMO Communications Enhanced with an Intelligent Reflecting Surface. arXiv 2020, arXiv:eess.SP/2003.00282. [Google Scholar]
  10. He, J.; Wymeersch, H.; Kong, L.; Silvén, O.; Juntti, M. Large Intelligent Surface for Positioning in Millimeter Wave MIMO Systems. In Proceedings of the 2020 IEEE 91st Vehicular Technology Conference (VTC2020-Spring), Antwerp, Belgium, 25–28 May 2020; pp. 1–5. [Google Scholar]
  11. Dardari, D. Communicating with Large Intelligent Surfaces: Fundamental Limits and Models. IEEE J. Sel. Areas Commun. 2020, 38, 2526–2537. [Google Scholar] [CrossRef]
  12. Jung, M.; Saad, W.; Jang, Y.; Kong, G.; Choi, S. Performance Analysis of Large Intelligent Surfaces (LISs): Asymptotic Data Rate and Channel Hardening Effects. IEEE Trans. Wirel. Commun. 2020, 19, 2052–2065. [Google Scholar] [CrossRef] [Green Version]
  13. Yan, W.; Yuan, X.; He, Z.; Kuai, X. Passive Beamforming and Information Transfer Design for Reconfigurable Intelligent Surfaces Aided Multiuser MIMO Systems. IEEE J. Sel. Areas Commun. 2020, 38, 1793–1808. [Google Scholar] [CrossRef]
  14. Badiu, M.; Coon, J.P. Communication Through a Large Reflecting Surface With Phase Errors. IEEE Wirel. Commun. Lett. 2020, 9, 184–188. [Google Scholar] [CrossRef] [Green Version]
  15. Cavers, J.K. Single-user and multiuser adaptive maximal ratio transmission for Rayleigh channels. IEEE Trans. Veh. Technol. 2000, 49, 2043–2050. [Google Scholar] [CrossRef]
  16. Makarfi, A.U.; Rabie, K.M.; Kaiwartya, O.; Li, X.; Kharel, R. Physical Layer Security in Vehicular Networks with Reconfigurable Intelligent Surfaces. In Proceedings of the 2020 IEEE 91st Vehicular Technology Conference (VTC2020-Spring), Antwerp, Belgium, 25–28 May 2020; pp. 1–6. [Google Scholar]
  17. Qian, X.; Di Renzo, M.; Liu, J.; Kammoun, A.; Alouini, M.S. Beamforming Through Reconfigurable Intelligent Surfaces in Single-User MIMO Systems: SNR Distribution and Scaling Laws in the Presence of Channel Fading and Phase Noise. arXiv 2020, arXiv:2005.07472. [Google Scholar] [CrossRef]
  18. Björnson, E.; Sanguinetti, L. Rayleigh Fading Modeling and Channel Hardening for Reconfigurable Intelligent Surfaces. arXiv 2020, arXiv:2009.04723. [Google Scholar]
  19. Nadeem, Q.U.A.; Kammoun, A.; Chaaban, A.; Debbah, M.; Alouini, M.S. Asymptotic Analysis of Large Intelligent Surface Assisted MIMO Communication. arXiv 2019, arXiv:abs/1903.08127. [Google Scholar]
  20. Papoulis, A.; Pillai, S.U. Probability, Random Variables, and Stochastic Processes, 4th ed.; McGraw Hill: Boston, MA, USA, 2002. [Google Scholar]
  21. Cover, T.M.; Thomas, J.A. Elements of Information Theory; (Wiley Series in Telecommunications and Signal Processing); Wiley-Interscience: Hoboken, NJ, USA, 2006. [Google Scholar]
  22. Proakis. Digital Communications, 5th ed.; McGraw Hill: New York, NY, USA, 2007. [Google Scholar]
  23. Goldsmith, A. Wireless Communications; Cambridge University Press: Cambridge, UK, 2005. [Google Scholar]
  24. Ferreira, R.C.; Facina, M.S.; de Figueiredo, F.A.; Fraidenraich, G.; de Lima, E.R. Bit Error Probability for Large Intelligent Surfaces Under Double-Nakagami Fading Channels. IEEE Open J. Commun. Soc. 2020, 1, 750–759. [Google Scholar] [CrossRef]
Figure 1. System Model.
Figure 1. System Model.
Sensors 20 06679 g001
Figure 2. Approximated Gamma Distribution of w 2 without phase errors.
Figure 2. Approximated Gamma Distribution of w 2 without phase errors.
Sensors 20 06679 g002
Figure 3. Approximated Gamma Distribution of w 2 with Von Mises κ = 2 errors.
Figure 3. Approximated Gamma Distribution of w 2 with Von Mises κ = 2 errors.
Sensors 20 06679 g003
Figure 4. Kullback–Leibler divergence for the fading squared magnitude.
Figure 4. Kullback–Leibler divergence for the fading squared magnitude.
Sensors 20 06679 g004
Figure 5. Error probability without phase errors.
Figure 5. Error probability without phase errors.
Sensors 20 06679 g005
Figure 6. Error probability for uniformly distributed phase errors.
Figure 6. Error probability for uniformly distributed phase errors.
Sensors 20 06679 g006
Figure 7. Error probability for Von Mises distributed phase errors.
Figure 7. Error probability for Von Mises distributed phase errors.
Sensors 20 06679 g007
Figure 8. Error probability varying the Von Mises concentration parameter.
Figure 8. Error probability varying the Von Mises concentration parameter.
Sensors 20 06679 g008
Figure 9. Error probability varying the size of the antenna array.
Figure 9. Error probability varying the size of the antenna array.
Sensors 20 06679 g009
Figure 10. Proposed upper bound for the error probability.
Figure 10. Proposed upper bound for the error probability.
Sensors 20 06679 g010
Figure 11. Effect of the direct link in the bit error probability.
Figure 11. Effect of the direct link in the bit error probability.
Sensors 20 06679 g011
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Coelho Ferreira, R.; Facina, M.S.P.; de Figueiredo, F.A.P.; Fraidenraich, G.; de Lima, E.R. Large Intelligent Surfaces Communicating Through Massive MIMO Rayleigh Fading Channels. Sensors 2020, 20, 6679. https://0-doi-org.brum.beds.ac.uk/10.3390/s20226679

AMA Style

Coelho Ferreira R, Facina MSP, de Figueiredo FAP, Fraidenraich G, de Lima ER. Large Intelligent Surfaces Communicating Through Massive MIMO Rayleigh Fading Channels. Sensors. 2020; 20(22):6679. https://0-doi-org.brum.beds.ac.uk/10.3390/s20226679

Chicago/Turabian Style

Coelho Ferreira, Ricardo, Michelle S. P. Facina, Felipe A. P. de Figueiredo, Gustavo Fraidenraich, and Eduardo Rodrigues de Lima. 2020. "Large Intelligent Surfaces Communicating Through Massive MIMO Rayleigh Fading Channels" Sensors 20, no. 22: 6679. https://0-doi-org.brum.beds.ac.uk/10.3390/s20226679

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop