Вы находитесь на странице: 1из 11

An Accurate Sample Rejection Estimator for the

Estimation of Outage Probability of EGC Receivers


Nadhir Ben Rached1, Abla Kammoun2, Mohamed-Slim Alouini2 , and Raúl Tempone2,3

Abstract—In this work, we evaluate the outage probability ordered channel amplitudes for GSC/EGC or channel gains
arXiv:1903.05481v1 [eess.SP] 13 Mar 2019

(OP) for L−branch equal gain combining (EGC) diversity for GSC/MRC.
receivers operating over fading channels, i.e. equivalently the Except for the CDF of the sum of two Rayleigh distributions
cumulative distribution function (CDF) of the sum of the L chan-
nel envelopes. In general, closed form expressions of OP values [4], closed-form expressions of the CDF of the sum of fading
are unobtainable. The use of Monte Carlo (MC) simulations is channel envelopes have not yet been derived in the literature.
not considered a good alternative as it requires a large number To address this knowledge gap, various approximation meth-
of samples for small values of OP, making MC simulations ods have been proposed. For example, closed-form approxima-
very expensive. In this paper, we use the concept of importance tions have been developed for the case of independent Rician
sampling (IS), being known to yield accurate estimates using
fewer simulation runs. Our proposed IS scheme is essentially fading RVs [5]–[7]. In [8], a simple approximate expression of
based on sample rejection where the IS probability density the CDF of Rayleigh sums was derived. Approximations of the
function (PDF) is the truncation of the underlying PDF over the L sum of κ−µ and η −µ distributions have also been considered
dimensional sphere. It assumes the knowledge of the CDF of the in [9]. An extensive interest was devoted to the case of the sum
sum of the L channel gains in a closed-form expression. Such an of Log-normal RVs for which various approximation methods
assumption is not restrictive since it holds for various challenging
fading models. We apply our approach to the case of independent have been proposed [10]–[14].
Rayleigh, correlated Rayleigh, and independent and identically Generally, the accuracy of these closed-form approxima-
distributed Rice fading models. Next, we extend our approach tions is not always ensured and may degrade for a cer-
to the interesting scenario of generalised selection combining tain choice of systems parameters. Therefore, alternative ap-
receivers combined with EGC under the independent Rayleigh proaches are of important practical interest. The Monte Carlo
fading environment. For each case, we prove the desired bounded
relative error property. Finally, we validate these theoretical (MC) method presents one alternative method. However, this
results through some selected experiments. method requires substantial computational effort when small
values of the CDF are considered, thus making this method
Index Terms—Outage probability, equal gain combining, im-
portance sampling, sample rejection, generalised selection com- impractical. To avoid this, variance reduction techniques are
bining, bounded relative error. used extensively in the context of rare events simulations [15],
[16]. Importance sampling (IS) is the most popular variance
I. I NTRODUCTION reduction technique and is known, when used appropriately,
to yield a very accurate estimate of OP with a fewer number
Sums of random variables (RVs) occur in many challenging of runs.
wireless communication applications. For instance, the instan- There are numerous examples in the literature on the
taneous signal-to-noise-ratio (SNR) expressions at the output estimation of tail probabilities of sums of RVs using the IS
of equal gain combining (EGC) and maximum ratio combining approach. However, few works have been developed on the
(MRC) diversity receivers involve sums of RVs [1]. Therefore, probability that a sum of RVs is less than a sufficiently small
the evaluation of outage probability (OP) values turns out to be threshold, as we propose here.. For instance, in the Log-normal
equivalent to computing the cumulative distribution function fading environment, an exponential twisting approach has been
(CDF) of fading channel envelopes for EGC and of channel proposed in [17] to deal with the CDF of independent and
gains for MRC [2]. Sums of RVs play a central role when the identically distributed (i.i.d) sum of Log-normal variates. The
generalised selection combining (GSC) scheme is combined correlated Log-normal case has also been considered in [18]–
with either EGC or MRC techniques [3]. In such cases, the [20]. Efficient IS schemes have been developed to estimate
expressions of the OP are given by the CDFs of sums of the CDF of the sum of Gamma-Gamma [21] and κ − µ,
A part of this work has been accepted for publication in IEEE Global η − µ and α − µ [22] RVs. In [23], two unified IS approaches
Communications Conference (Globecom 2018), Abu Dhabi, UAE, Dec. 2018. have been proposed to estimate OP values over a generalised
This work was supported by the KAUST Office of Sponsored Research
(OSR) under Award No. URF/1/2584-01-01 and the Alexander von Humboldt fading framework using the well-known hazard rate twisting
Foundation. technique [24], [25]. Finally, IS and conditional MC (another
1 Chair of Mathematics for Uncertainty Quantification, Department of
popular variance reduction technique) estimators have been
Mathematics, RWTH Aachen University, 52062 Aachen, Germany.
2 Computer, Electrical and Mathematical Sciences & Engineering Division proposed in [3] to estimate the CDF of partial sums of ordered
(CEMSE), King Abdullah University of Science and Technology (KAUST), independent RVs that are useful to estimate OP values for
23955-6900 Thuwal, Saudi Arabia. GSC/EGC or GSC/MRC receivers.
3 Alexander von Humboldt Professor in Mathematics for Uncertainty
Quantification, RWTH Aachen University, 52062 Aachen, Germany. Contrary to the evaluation of OP under the EGC diversity
model, closed-form expressions of OP at the output of MRC
2

diversity receivers are available for many challenging fading Finally, a comparison of our estimator with some existing
environments. This is the case for independent but not neces- estimators as well as naive MC simulations is performed in
sarily identically distributed (i.n.i.d) Rayleigh fading channels Section IV.
where the expression of OP at the output of MRC receivers
is the CDF of the sum of i.n.i.d exponential RVs which is II. P ROBLEM S ETTING
given in [26]. The same observation holds for the correlated The instantaneous SNR at the output of L−branch EGC
Rayleigh case [27]. The i.i.d κ−µ and η−µ fading models are diversity receiver is expressed as in [2], [23]
other examples where the values of OP with the MRC scheme !2
L
are given respectively by the CDF of the squared κ − µ and Es X
γend = Ri , (1)
squared η − µ variates [28]. A further interesting example is N0 L i=1
when GSC is combined with MRC under the i.n.i.d Rayleigh
Es
fading channels. The OP expression, which is given in this case where N 0
is the SNR per symbol at the transmitter, L is the
by the CDF of sums of ordered i.n.i.d exponential variates, is number of diversity branches, and Ri is the channel envelope
given in closed-form [29]. (the fading channel amplitude) of the ith diversity branch.
These observations provide the main motivation for our The OP, which is a widely used metric for performance
study. We propose an IS estimator of the OP at the output analysis of wireless communication systems operating over
of EGC diversity receivers, i.e. the probability that the sum fading channels, is defined as the probability that the SNR
of fading channel envelopes (or the sum of ordered fading γend is below a given threshold γth
channel envelopes in the case of GSC/EGC receivers) falls Pout = P (γend ≤ γth ) , (2)
below a given threshold, based on the knowledge of a closed-
form expression of the OP with MRC scheme, i.e. the prob- which is equivalent, using the SNR expression in (1), to
ability that the sum of channel gains (or the sum of ordered XL
!
channel gains in the case of GSC/MRC receivers) is less than a Pout = P Ri ≤ γ0 , (3)
certain threshold. More specifically, our proposed IS scheme is i=1
based on sample rejection where the biased probability density q
γth LN0
function (PDF) is given by the truncation of the underlying where γ0 = Es .Thus, the problem is reduced to evalu-
PDF over the multidimensional hypersphere with a radius ating the CDF of the sum of fading envelopes (modulus of the
equal to the specified threshold. As previously mentioned, fading channels) of the L diversity branches. Unfortunately,
assuming the knowledge of a closed-form expression of the this quantity is out of reach for many practical fading models.
OP with MRC scheme is not restrictive since this assumption A non-exhaustive list includes, for instance, the Rayleigh
holds for several practical fading models. After we explain fading environment where the CDF of the sum of correlated
the general concept of the proposed estimator, we apply (or even independent) Rayleigh RVs is not known to have
our approach to four interesting scenarios, namely the i.n.i.d a closed-form expression. A similar observation also holds
Rayleigh, the correlated Rayleigh with exponential correlation, for the independent Rician, the κ − µ, and the η − µ fading
the i.i.d Rice, and the i.n.i.d Rayleigh when EGC is combined models. Note that when GSC is combined with EGC, the OP
with GSC. We provide for each case a detailed procedure expression corresponds to the CDF of partial sums of ordered
on how the proposed estimator is implemented and we prove fading channel amplitudes, i.e. the CDF of the sum of the N
that the bounded relative error property, which is one of the largest fading channel amplitudes with 1 ≤ N ≤ L.
desired properties in the context of rare event simulations Naive MC simulations constitute a good alternative to
[16], is achieved. Note that in addition to its simplicity in estimate the CDF of the sum of fading envelopes. Let f (·)
implementation and analysis, the scope of applicability of our denote the joint PDF of the random vector containing the
proposed IS estimator includes the sum of correlated Rayleigh L fading envelopes R = (R1 , R2 , · · · , RL ). Then, using M
RVs, which has not yet been considered by other existing independent replicants {R(k) }M k=1 of the random vector R
approaches. Moreover, although an estimator of the CDF of sampled according to f (·), the naive MC estimator is defined
the sum of i.i.d Rice variates has been developed in [23], it as
is not clear how sampling according to the biased PDF is M
1 X 
performed. This constitutes another contribution of the present P̂out,MC = 1 PL R(k) ≤γ  , (4)
M i=1 i 0
work where the CDF of the i.i.d sum of Rice variates is easily k=1
implemented. Finally, we compare the performance of our where 1(·) denotes the indicator function. However, the high
proposed IS estimator through various numerical results with computational complexity incurred by this method, in terms
some existing estimators as well as the naive MC sampler. of required number of samples to ensure an accurate estimate,
The rest of the paper is organised as follows. In Section II, makes it impractical for sophisticated wireless communication
we present the problem setting and describe the main concept systems where Pout is sufficiently small. To illustrate such
of IS. Section III is devoted to presenting the general idea of a point, the naive MC sampler requires a number of runs
the proposed IS estimator. Moreover, we apply, in the same approximately equal to 100/Pout to estimate Pout with a 20%
section, our IS estimator to four interesting scenarios. For each relative error.
scenario, we provide a detailed implementation procedure and When appropriately used, IS can save a substantial amount
prove that the desired property of bounded relative error holds. of computational gain compared to naive MC simulations. The
3

h i
concept of IS is to rewrite Pout = Ef 1(PL Ri ≤γ0 ) , where order to be able to implement the proposed IS approach with
i=1
Ef [·] is the expectation with respect to the PDF f (·), as follows the biased PDF above, the quantity P̃out must be known in
h i closed-form.
Pout = Eg 1(PL Ri ≤γ0 ) L(R1 , · · · , RL ) , (5) Our choice of S follows from the following observation.
i=1
For many fading models with MRC receivers, the OP, which
where g(·) is a new PDF named as IS PDF or biased PDF and
is given in this case by the CDF of the sum of squared fading
Eg [·] denotes the expectation operator with respect to the PDF
envelopes, is known in a closed-form expression. This is the
g(·). L is the likelihood ratio defined as the ratio between the
case for i.n.i.d Rayleigh and Nakagami-m fading envelopes
original and the new introduced PDFs
in which the CDFs of the sum of channel gains, which
f (R1 , · · · , RL ) correspond in this case to the CDFs of the sum of independent
L(R1 , · · · , RL ) = . (6)
g(R1 , · · · , RL ) exponentials and Gamma RVs respectively, are known in
closed-from expressions [26] [31]. A similar observation can
Then, using M samples {R(k) }Mk=1 of the random vector R be deduced from the i.i.d κ − µ and η − µ fading channels
sampled according to g(·), we construct the IS estimator as since the sum of i.i.d squared κ − µ and η − µ is again a
follows squared κ−µ and a squared η−µ, respectively [28]. Moreover,
M
1 X  (k) (k) for the correlated Rayleigh fading channels, the CDF of the
P̂out,IS = 1 PL R(k) ≤γ  L(R1 , · · · , RL ). (7) sum of correlated exponential RVs can be obtained explicitly
M i=1 i 0
k=1
[27]. A further interesting example is for GSC/EGC receivers
The remaining step is the choice of biased PDF g(·) that under i.n.i.d Rayleigh fading channels in which the CDF of the
results in a variance reduction and hence in a computational partial sum of ordered i.n.i.d exponential RVs can be shown
gain with respect to naive MC simulations. Before that, it is to admit a closed-form expression [29]. Therefore, the set S
necessary to define some performance metrics that serve to is chosen as follows
measure the goodness of an estimator. Among these criteria,
L
we focus on the bounded relative error property [30]. We say X
S = {(r1 , · · · , rL ), ri2 ≤ γ02 , ri ≥ 0}, (11)
that the estimator 1(PL Ri ≤γ0 ) L(R1 , · · · , RL ) achieves the
i=1 i=1
bounded relative error property when
h i and thus P̃out is the OP at the output of MRC receivers which
varg 1(PL Ri ≤γ0 ) L(R1 , · · · , RL )
lim sup i=1
< +∞. (8) is given by
2
Pout
γ0 →0 !
X L
This property has been used, for instance, in [23] and implies P̃out = P 2 2
Ri ≤ γ0 . (12)
that , when it holds, the number of samples needed to meet i=1
a certain accuracy requirement remains bounded regardless of
how small Pout is. Hence, it suffices to guarantee a substantial In other words, based on the knowledge of a closed-form
amount of computational gain over naive MC simulations. expression of the OP at the output of MRC receivers, we
construct an IS estimator of OP values at the output of EGC
III. S AMPLE R EJECTION IS E STIMATOR diversity receivers. In the next section, we provide more details
on the implementation of the above IS scheme for the case
Before presenting our choice of the biased PDF g(·), we of i.n.i.d Rayleigh, correlated Rayleigh and i.i.d Rice fading
describe the optimal IS density which PL is defined as the channels. Furthermore, we extend our approach to the case of
truncation of f (·) over the rare set { i=1 Ri ≤ γ0 } GSC/EGC receivers under the i.n.i.d Rayleigh fading channels.
f (r1 , · · · , rL )1(PL ri ≤γ0 )
We perform for each case a theoretical study of the proposed
g ∗ (r1 , · · · , rL ) = i=1
. (9) estimator and show that it achieves the bounded relative
Pout
error property. We note here that the considered scenarios
The above optimal IS density, known also as the zero variance are illustrations of our approach that can be applicable to
measure, is impractical since it involves the unknown quantity other scenarios such as Nakagami-m, κ − µ, and η − µ fading
Pout . However, this measure provides some insights on how channels.
the IS density may be selected in order to yield a substantial The squared coefficient of variation, defined as the ratio
amount of variance reduction. In fact, the optimal IS density between the variance of an estimator to its squared mean, of
encourages samples that belong to the rare set and maintains the proposed IS estimator is given by
over it the likelihood ratio constant. To this end, we propose a
biased PDF that is the truncation of the underlying PDF f (·)
h i
varg 1(PL Ri ≤γ0 ) L(R1 , · · · , RL ) P̃out
over a set S: i=1
= − 1. (13)
2
Pout Pout
f (r1 , · · · , rL )1(R∈S)
g(r1 , · · · , rL ) = , (10)
P̃out Therefore, the closer P̃out is to Pout , the smaller the coefficient
where S is P a set that contains the set of interest of variation is, and hence the more efficient the proposed
L
{(r1 , · · · , rL ), i=1 ri ≤ γ0 , ri ≥ 0} and P̃out is the estimator is. Particularly, the bounded relative error holds
probability that the random vector R is in S. Obviously, in when P̃out /Pout is bounded for a sufficiently small threshold.
4

A. Independent Rayleigh Fading Channels Proposition 1. In the case of independent Rayleigh fading
channels, the proposed IS estimator of Pout achieves the
We consider the first case study where Ri , i = 1, 2, · · · , L,
bounded relative error property, that is
have i.n.i.d Rayleigh distributions. Hence, the PDF f (·) is
given by P̃out
lim sup < ∞. (18)
L γ0 →0 Pout
Y
f (r1 , · · · , rL ) = fRi (ri ), (14)
i=1 Proof. We first upper bound the quantity P̃out as follows
L
!
where the univariate PDF of Ri is given by X
2 2
P̃out = P Ri ≤ γ0
2r i=1
exp −r2 /Ωi ,

fRi (r) = r ≥ 0. (15)
Ωi ≤ P (R1 ≤ γ0 , · · · , RL ≤ γ0 )
L
Next, in order to apply our proposed IS approach, it is essential
Y
1 − exp −γ02 /Ωi .

= (19)
to provide a closed-form expression of the quantity P̃out . This i=1
expression is obtained from [3], [26] as follows
Then, we lower bound Pout
P̃out = 1 − (1, 0, · · · , 0) exp γ02 A(Ω) (1, 1, · · · , 1)′ , (16)

L
!
X
Pout = P Ri ≤ γ0 (20)
with Ω = (Ω1 , · · · , ΩL )T , exp γ02 A(Ω) denotes the matrix

2 i=1
exponential of γ0 A(Ω) and
≥ P (R1 ≤ γ0 /L, · · · , RL ≤ γ0 /L)
  L
−1/Ω1 1/Ω1 0 ··· 0 Y
1 − exp −γ02 /L2 Ωi .

 0 −1/Ω 1/Ω · · · 0 = (21)
2 2 
i=1
 
 .. .
.. .. .. .
..
A(Ω) =  .

. . 
−1/ΩN −1 1/ΩN −1 Therefore, we obtain the following result
 
 0 ··· 0
0 ··· 0 0 −1/ΩN QL 2

(17)
P̃out i=1 1 − exp −γ0 /Ωi
≤ QL . (22)
Pout 2
i=1 (1 − exp (−γ0 /L Ωi ))
2

In the implementation of the proposed IS estimator, one has to


be able to efficiently sample from the biased PDF g(·) given in Applying the limit superior on both side, it follows
(10), that is, the truncation of the underlying PDF f (·) over the
P̃out
set S given in (11). To do that, we denote by Gi = Ri2 /γ02 , lim sup ≤ L2L , (23)
i = 1, 2, · · · , L, and thus our problem reduces to sampling γ 0 →0 P out
G1 , · · · , G
PLL according to their underlying PDF truncated over and hence the proof is concluded.
the set { i=1 Gi ≤ 1}. To this end, we propose to use the
acceptance-rejection technique withP proposal PDF the uniform
L
distribution over the unit simplex { i=1 Gi ≤ 1}. The whole B. Correlated Rayleigh Fading Channels
procedure is described in Algorithm 1.
Here we consider the case where the Rayleigh fading
Algorithm 1 Samples for the independent Rayleigh case channels are correlated. The correlation model that we adopt
is presented in [27], where the correlated Rayleigh RVs are
1: Inputs: {Ωi }L i=1 and γ0 .
generated from the correlated Gaussian RVs. More specifically,
2: Outputs: {Ri }L  . P
i=1
N
 we consider two L dimensional Gaussian random vectors X
3: while U > exp −γ02 i=1 Ui /Ωi do and Y with zero means andsame covariance matrices Σ. We
Generate {Ui }N from the uniform distribution over T

4: i=1 P assume for simplicity that E XY = 0 (the cross covariance
N
the set {ui ≥ 0, i=1 ui ≤ 1}, see [16, Algorithm matrix is zero). We define the random vector R as follows
3.23]. q
5: Generate a sample U from the uniform distribution over Ri = Xi2 + Yi2 , i = 1, · · · , L. (24)
[0, 1].
6: end while Thus, we can see that R is a multivariate Rayleigh random
7: G ← U. vector with correlated components. We settle for a particular

8: Set Ri ← γ0 Gi . structure of the covariance matrix Σ. In fact, we assume that
Σ is a matrix of exponential correlations, that is
We now provide a theoretical efficiency result of the
(
σ2 , if i = j
proposed IS estimator. In fact, we show in the following Σij = |i−j| 2
. (25)
proposition that it has a bounded relative error. ρ σ , if i 6= j
5

With this structure of the covariance matrix, the multivariate Proposition 2. In the case of correlated Rayleigh fading
Rayleigh PDF is given by [27] channels, the proposed IS estimator of Pout achieves the
bounded relative error property
QL
i=1 ri
f (r1 , · · · , rL ) = P̃out
σ 2L (1 − ρ2 )L−1 lim sup <∞ (29)
" L−1
#! γ0 →0 Pout
1 2 2 2
X
2
× exp − r + rL + (1 + ρ ) ri
2(1 − ρ2 )σ 2 1 i=2 Proof. We follow the same steps as in the proof of Proposition
L−1
Y  ρ
 1. In fact, we have
× I0 ri ri+1 , r1 , r2 , · · · , rL ≥ 0, (26)
i=1
(1 − ρ2 )σ 2 P̃ out P (R1 ≤ γ0 , · · · , RL ≤ γ0 )
≤ . (30)
Pout P (R1 ≤ γ0 /L, · · · , RL ≤ γ0 /L)
where I0 (·) denotes the zero order modified Bessel function
of the first kind [32]. Now, we aim to obtain a closed-form Then, we use the following asymptotic result of the multi-
expression of P̃out . In our settings, it was proven
PL in [27, variate CDF of the Rayleigh random vector which is given in
Eq.104] that the moment generating function of i=1 Ri2 is [33]
given by
P (R1 ≤ γ0 , · · · , RL ≤ γ0 ) ∼ aγ02L , as γ0 → 0. (31)
1 1
MPL R2i (s) = QL , s< for all i (27)
i=1
i=1 (1 − 2sλi ) 2λi This result concludes the proof.

where λi , i = 1, · · · , L, are the eigenvalues of Pthe Gaussian


L
covariance matrix Σ. Therefore, we deduce that i=1 Ri2 has C. i.i,d Rician Fading Channels
the same distribution as the sum of L independent exponential
RVs with means 2λi , i = 1, 2, · · · , L. Hence, the quantity P̃out Here, we explore the case where the Ri , i = 1, · · · , L, are
is expressed as i.i.d Rician fading channels with a common PDF
 
P̃out = 1 − (1, 0, · · · , 0) exp γ02 A(2λ) (1, 1, · · · , 1)′ ,
 2r(K + 1) K +1 2
fRi (r) = exp −K − r
(28) Ω Ω
r !
K(K + 1)
× I0 2r , r ≥ 0, (32)
with λ = (λ1 , · · · , λL )T . The remaining step is then to pro- Ω
vide an algorithm in order to sample from the biased PDF g(·).
To do that, we proceed as in the previous example by applying where K is the Rice factor and Ω = E Ri2 , for all i ∈
 
the acceptance-rejection technique
PL with a uniform distribution {1, 2, · · · , L}.
over the unit simplex { i=1 Gi ≤ 1} as a proposal. The
In order to obtain an expression of P̃out , we use the fact
following algorithm provides the necessary details to perform
that the sum of i.i.d squared Rician (equivalently the sum of
the sampling.
i.i.d non centered Chi squared RVs) is a squared κ − µ RV
with parameters κ = K and µ = L and average power PLequal
Algorithm 2 Samples for the correlated Rayleigh case to Ω̃ = LΩ [28], [34]. More precisely, the PDF of i=1 Ri2
1: Inputs: σ, ρ and γ0 . is given by
2: Outputs: {Ri }L  . 2
i=1 
γ0 [U1 +UL +(1+ρ2 ) L−1
i=2 Ui ]
L+1 L−1
P  
3: while U > exp − L(1 + K) 2 r 2(1 + K)Lr
2(1−ρ2 )σ2 fPL 2 (r) = exp −
i=1 Ri
L+1 L−1
 2
ργ0

Ui Ui+1
 Ω̃ 2 K 2 exp(LK) Ω̃
QL−1 I0 (1−ρ2 )σ2
 s 
× i=1

ργ 2
 do K(K + 1)r 
I0 0
(1−ρ2 )σ2 × IL−1 2L , r ≥ 0. (33)
Ω̃
4: Generate {Ui }Ni=1
PNfrom the uniform distribution over
the set {ui ≥ 0, i=1 ui ≤ 1}.
5: Generate a sample U from the uniform distribution over Therefore, the quantity P̃out is expressed as
[0, 1].  s 
6: end while √ 2(K + 1)L
7: G ← U. P̃out = 1 − QL  2KL, γ0  , (34)
√ Ω̃
8: Set Ri ← γ0 Gi .

where Qµ (·, ·) is the generalized Marcum Q function [35].


Next, we study the efficiency of the proposed estimator and Similarly to the previous cases, sampling according to the
investigate whether the bounded relative error property holds biased PDF g(·) is easily performed using the acceptance-
for this scenario as well. rejection approach.
6

Algorithm 3 Samples for the i.i.d Rice case i = 1, · · · , L are either exponentials or Gamma distributed
1: Inputs: K, Ω and γ0 . [37], [38]. These results can help to compute OP values at
2: Outputs: {Ri }L .
i=1  the output of GSC/MRC receivers. When GSC is combined
(K+1) PL
3: while U > exp − Ω γ02 i=1 Gi with EGC, a competitor of the present work is in [3] where
r
K(K+1)γ 2 Gi
! the authors proposed two variance reduction techniques based
I0 2 0
QL Ω on IS and conditional MC (another type of variance reduction
i=1
r
2
! do technique). However, the conditional MC estimator described
K(K+1)γ0
I0 2 Ω in [3] is only applicable when the Rayleigh RVs are i.i.d.
4: Generate {Ui }Ni=1
PNfrom the uniform distribution over Moreover, the construction of the IS estimator in [3] is based
the set {ui ≥ 0, i=1 ui ≤ 1}. on a choice of S given by S = {(r1 , · · · , rL ), max1≤i≤L ri ≤
5: Generate a sample U from the uniform distribution over γ0 , ri ≥ 0}. Therefore, given that this choice contains our
[0, 1]. choice of S in (11), we conclude that our proposed estimator
6: end while is more efficient than the IS estimator proposed in [3]. We
7: G ← U. verify this conclusion in the numerical results section.

8: Set Ri ← γ0 Gi . We now show how we can use our proposed IS approach
for the present case as well. Let hi = Ri2 , i = 1, · · · L, be the
Next we show that the bounded relative error holds again channel gains which are i.n.i.d exponential RVs with means
Ωi . Then, the quantity P̃out is given by the partial sum of the
for the case of i.i.d Rician fading channels.
ordered exponential RVs
Proposition 3. In the case of i.i.d Rice fading channels, the !
N
proposed IS estimator of Pout achieves the bounded relative X
(i) 2
error property P̃out = P h ≤ γ0 . (41)
i=1
P̃out
lim sup < ∞. (35) In order to compute P̃out , we introduce the following RVs
γ0 →0 Pout

Proof. First, the CDF of the Rice fading envelope is given by Xi = h(i) − h(i+1) , i = 1, 2, · · · , L − 1, XL = h(L) (42)


r
2(K + 1) Thus, with this representation, we get
P (Ri ≤ γ0 ) = 1 − Q1 ( 2K, γ0 ). (36) L
!
Ω X
Then, the proof is based on the following asymptotic which P̃out = P αi Xi ≤ γ02 , (43)
i=1
is obtained from [35], [36]
with
(K + 1) exp (−K) 2
P (Ri ≤ γ0 ) ∼ γ0 , γ0 → 0. (37) (
Ω i, i = 1, · · · , N
αi = (44)
In fact, similarly to the previous proofs, we have from (30) N, i = N + 1, · · · , L.
that
L
Moreover, it was shown in [29] that the joint PDF of X =
P̃out (P (R1 ≤ γ0 )) (X1 , · · · , XL )t is given as follows
≤ L
. (38)
Pout (P (R1 ≤ γ0 /L)) L L ℓ
!
X Y 1 X 1
Using the asymptotic expression in (37), it follows fX (x1 , · · · , xL ) = exp −xℓ .
i ,i ,··· ,i =1
Ωiℓ Ωik
1 2 L ℓ=1 k=1
P̃out i1 6=i2 6=···6=iL
lim sup ≤ L2L , (39) (45)
γ0 →0 Pout

and hence the proof is concluded. Interestingly, we observe that while the components of X are
dependent, their joint PDF is given by the sum of products of
independent exponentials. Therefore, by using the formula of
D. i.n.i.d Ordered Rayleigh RVs
the CDF of the sum of independent exponentials, we easily
The fading channel amplitudes Ri , i = 1, · · · , L are i.n.i.d obtain a closed-form expression of P̃out :
Rayleigh with PDF given in (15). In this section, we aim to  
L L L
efficiently estimate OP values when GSC is combined with Y 1 X Y 1
EGC P̃out =  Pℓ P̃out,i1 ,··· ,iL
Ωℓ i ,i ,··· ,i =1 k=1
1
! ℓ=1 1 2 L ℓ=1 Ωik
XN i1 6=i2 6=···6=iL
(i)
Pout = P R ≤ γ0 , (40) (46)
i=1
= 1−(1, 0, · · · , 0) exp γ02 A(α̃) (1, · · · , 1)t and

where N satisfies 1 ≤ N ≤ L and denotes the number of P̃out,i1 ,··· ,iL
selected branches, and R(i) denotes the ith order statistic such α̃i = Pi αi 1 , i = 1, 2, · · · , L.
k=1 Ωi
k
that R(1) ≥ R (2) (L)
p ≥ · · · ≥ R . Note that γ0 is given in Next, we show how sampling according to the biased PDF is
this case by γth N N0 /Es . There are few existing works performed. We exploit the representation
PL (42) and sample from
that have computed the above probability when the RVs Ri , X1 , · · · , XL truncated over { i=1 αi Xi ≤ γ02 }. By letting
7

Gi = αi Xi /γ02 , i = 1, · · · , L, we construct the following of an estimator. We define the relative error of the naive MC
algorithm. estimator as the relative half-width of its confidence interval
p
Algorithm 4 Samples for the independent ordered Rayleigh C Pout (1 − Pout )
ǫMC = √ , (51)
Inputs: γ0 , and {Ωi }L Pout M
1: i=1 .
2: Outputs: {h(i) }N i=1 . where C is the confidence constant chosen to be equal to 1.96
3: Sample a permutation (i1 , · · · , iL ) from the dis- (corresponding to 95% confidence level). The relative error of
crete distribution with probability p(i1 , · · · , iL ) = the proposed estimator is given using a similar argument by
P̃out,i1 ,··· ,iL QL 1 q
1
Pℓ
P̃out ℓ=1 Ωi
 ℓ k=1 Ωi
 k C P̃ P
out
−1
4: while U > exp −γ0 ℓ=1 U ℓ
Pℓ
2
PL 1
do ǫIS = √out . (52)
αℓ k=1 Ωik M
N
5: Generate {Ui }i=1 from the uniform distribution over
PN We performed the comparison between different estimators in
the set {ui ≥ 0, i=1 ui ≤ 1}.
terms of the necessary number of simulation runs in order
6: Generate a sample U from the uniform distribution over
to meet a fixed accuracy requirement measured by the above
[0, 1].
quantities. More specifically, we set ǫMC and ǫIS equal to a
7: end while
fixed value and use (51) and (52) to find the number of sim-
8: G ← U.
ulation runs needed to meet this fixed accuracy requirement.
9: Set Xi ← γ02 Gi /αi .
In the first experiment, we consider the i.i.d Rayleigh
10: Compute {h(i) }N
i=1 from (42).
fading channels and we evaluate the OP under EGC using
the proposed estimator as well the second estimator of [23],
In this case, we can also show that the bounded relative which is based on the use of the hazard rate twisting (HRT)
error property holds. technique. Then we investigate the efficiency of both estima-
Proposition 4. In the case of i.n.i.d Rayleigh fading channels tors using the number of simulation runs required to meet
at the output of GSC/EGC receivers, the proposed IS estimator a fixed accuracy level. The same steps are repeated for two
of Pout achieves the bounded relative error property other experiments; the correlated Rayleigh with exponential
correlation and the ordered i.n.i.d Rayleigh scenarios. In the
P̃out former experiment, we make the comparison with respect to
lim sup < ∞. (47)
γ0 →0 Pout the naive MC estimator since, to the best of our knowledge,
Proof. First, we upper bound P̃out as follows this problem has not been investigated by existing estimators.
! In the latter case, i.e., in the ordered i.n.i.d Rayleigh case, we
N
X
(i) 2
perform the comparison with the universal IS estimator of [3],
P̃out = P h ≤ γ0 as well as with the naive MC estimator.
i=1
  YL
≤ P h(1) ≤ γ02 = 1 − exp −γ02 /Ωi .

(48) A. i.i.d Rayleigh Fading Channels
i=1
In Fig. 1, we plot the estimated value of Pout given by naive
On the other hand, we have MC simulations, the HRT method and the proposed estimator
for the case of i.i.d Rayleigh fading channels. The plot is
N
!
X
(i)
Pout =P R ≤ γ0 a function of the threshold value γth and for three different
 i=1
 values of the number of diversity branches L.
≥ P R(1) ≤ γ0 /N, · · · , R(N ) ≤ γ0 /N This figure reveals the failure of naive MC simulations. In
fact, the naive estimator loses its accuracy when the value of
L 
γ02
 
Y Pout decreases, i.e. in the region of rare events. Thus, more
= 1 − exp − 2 . (49)
N Ωi than 5×105 samples are required in order for the naive sampler
i=1
to retrieve a good level of accuracy. The opposite observation
Thus, we obtain can be easily deduced regarding the accuracy of the proposed
P̃out estimator and the HRT method. In fact, using the same number
≤ N 2L , (50) of simulation runs, these two estimators coincide perfectly and
Pout
yield very accurate estimates of Pout in the considered range
and hence the proof is concluded. of OP values.
We now investigate the efficiency of these estimators in
IV. S IMULATION R ESULTS terms of the number of simulation runs needed to meet a fixed
In this section, we present some simulations to illustrate our accuracy requirement. More precisely, we compute from (51)
theoretical results. Furthermore, we study the efficiency of the and (52) the number of simulation runs needed to ensure that
proposed estimator with respect to other estimators including ǫMC = ǫIS = ǫHRT = 5%. Note that ǫHRT is given by a
the naive MC one. Before showing the results, we define a similar expression as in (51) and (52). In Fig. 2, we plot the
performance metric that will serve as a measure of efficiency number of samples needed by the naive MC simulation, the
8

10−1 whereas 1.5 × 105 and 5 × 104 samples are required by the
Naive MC
proposed approach and the HRT estimator, respectively, to
HRT
Proposed Estimator ensure 5% relative error.
10−3 Note also that the HRT approach performs better than our
proposed scheme for the considered values of L and γth .
Outage Probability

Moreover, Fig. 2 shows that increasing L has negative effects


10−5 on the performances of the proposed approach as well as the
HRT method. However, this negative effect is more important
for the former than the latter. For instance, the HRT approach
10−7
requires 3.5 (respectively 15) times less number of samples
than the proposed IS scheme when Pout is of the order of
10−9 and L = 4 (respectively L = 6).
10−9
Note however that the outperformance of the HRT approach
−10 −5 0 5 10 over our proposed method does not tell the whole story and
γ th (dB) does not necessarily exclude our proposed estimator from
being a useful technique. In fact, the scope of applicability
Fig. 1. Outage Probability for L = 4, 5, 6 branch EGC receiver with i.i.d of our proposed estimator includes the interesting scenario of
Rayleigh fading channels as a function of γth . L = 4 (solid line), L = 5
(dashed line), and L = 6 (dotted line). The system parameters are Es /N0 =
sums of correlated Rayleigh fading channels with exponential
1 dB, Ω = 10 dB, and M = 5 × 105 . correlation that, to the best of our knowledge, has not been
considered by other existing estimators. Moreover, the sum
1013 of i.i.d Rice constitutes another argument that shows the
Naive MC
relevance of the proposed estimator. In fact, while the HRT
HRT
Proposed Estimator
estimator is proven to have bounded relative error for the sum
1011 of i.i.d Rice variates, it is not clear how sampling according to
Number of Simulation Runs

the HRT biased PDF is performed. On the other hand, we show


in Section III-C how our approach can be easily implemented
109 for the i.i.d Rice setting. The same argument holds for the sum
of κ − µ RVs as well. Furthermore, our approach is applicable
to the case of ordered sum of i.n.i.d Rayleigh RVs which
107
has rarely been investigated. In the following subsections,
we apply our proposed estimator to the case of the sum
of exponentially correlated Rayleighs and the partial sum of
105
ordered i.n.i.d Rayleighs and determine their computational ef-
−10 −5 0 5 10
ficiencies. Note that we do not include simulations for the i.i.d
γ th (dB) Rician case to avoid redundant information and conclusions.

Fig. 2. Number of simulation runs for L = 4, 5, 6 branch EGC receiver


with i.i.d Rayleigh fading channels as a function of γth . L = 4 (solid line), B. Correlated Rayleigh Fading Channels
L = 5 (dashed line), and L = 6 (dotted line). The system parameters are
Es /N0 = 1 dB and Ω = 10 dB. Here we consider the case of exponentially correlated
Rayleigh fading channels and we aim to perform the same
experiment as above. Note that we compare our estimator to
proposed method, and the HRT technique as a function of γth only the naive MC method since we are not aware of any
and for the three values of L as in Fig. 1. other existing estimator for the sum of correlated Rayleigh
We first observe the high computational effort needed by RVs. In Fig. 3, we plot the estimated value of Pout given by
naive MC simulations in order to achieve a 5% relative error. the proposed estimator as well as the naive MC method as
In fact, the corresponding number of samples is increasing a function of the threshold and for three different values of
as we decrease the probability of interest Pout . On the other L. The same conclusions can be drawn, as in the previous
hand, the computational savings achieved by the proposed experiment, on the inability of naive MC simulations using
IS estimator and the HRT method is obvious and is clearly 5 × 105 samples to yield a precise estimate in the region of
increasing as we decrease Pout . More specifically, while the small values of Pout . On the other side, this number of samples
number of samples needed by the naive sampler is increasing is sufficient for our estimator to provide an estimate of Pout
as we decrease γth , the proposed IS approach and the HRT with a good level of accuracy.
method require numbers of runs that remain bounded indepen- Next, we quantify the efficiency of the proposed approach
dently of how small Pout is. This observation is in accordance with respect to naive MC simulations in terms of necessary
with Proposition 1 and the result proven in [23] that show that number of simulation runs required to ensure a 5% relative
both estimators have bounded relative errors. For the sake of error. We plot this number in Fig. 4 as a function of γth using
illustration, for L = 4 and γth = −9 dB, the number of runs the three values of L. We observe the clear outperformance
needed by naive MC simulation is approximately 1.5 × 1012 , of our proposed estimator compared to the naive MC sampler.
9

10−3 10−3
Naive MC Naive MC
10−4 Proposed Estimator 10−4 Proposed Estimator
Universal Estimator

10−5 10−5

Outage Probability
Outage Probability

10−6 10−6

10−7 10−7

10−8 10−8

10−9 10−9

10−10 10−10
−10 −8 −6 −4 −2 0 2 4 −14 −12 −10 −8 −6 −4 −2 0
γ th (dB) γ th (dB)

Fig. 3. Outage Probability for L = 4, 5, 6 branch EGC receiver with Fig. 5. Outage Probability at the output of GSC/EGC receiver with i.n.i.d
exponentially correlated Rayleigh fading channels as a function of γth . L = 4 Rayleigh fading channels as a function of γth . (N, L) = (2, 4) (solid
(solid line), L = 5 (dashed line), and√ L = 6 (dotted line). The system line) with Ω = (5, 5, 8, 8)t dB. (N, L) = (2, 5) (dashed line) with
parameters are Es /N0 = 1 dB, σ = 5, ρ = 0.5, and M = 5 × 105 . Ω = (5, 5, 5, 8, 8)t dB. The system parameters are Es /N0 = 1 dB, and
M = 105 .
Naive MC
1013 Proposed Estimator
Our proposed estimator and the universal estimator yield
precise estimates of Pout for all values of γth using 105
Number of Simulation Runs

1011 samples, whereas the failure of the naive MC sampler is


evident because it is unable to provide a non-zero estimate
when the event is rare.
109

1013
7 Naive MC
10
Proposed Estimator
Universal Estimator
1011
Number of Simulation Runs

105

−10 −8 −6 −4 −2 0 2 4
109
γ th (dB)

Fig. 4. Number of simulation runs for L = 4, 5, 6 branch EGC receiver


with exponentially correlated Rayleigh fading channels as a function of γth . 107
L = 4 (solid line), L = 5 (dashed line),
√ and L = 6 (dotted line). The system
parameters are Es /N0 = 1 dB, σ = 5, and ρ = 0.5.
105

In fact, contrary to the naive MC sampler, which requires a −14 −12 −10 −8 −6 −4 −2 0
number of runs that keeps increasing as we decrease the OP γ th (dB)
values, the number of runs needed by our proposed estimator
remains bounded, regardless of how much smaller Pout is. Fig. 6. Number of simulation runs for GSC/EGC receiver with i.n.i.d Rayleigh
This is in agreement with the result we have proven in fading channels as a function of γth . (N, L) = (2, 4) (solid line) with Ω =
(5, 5, 8, 8)t dB. (N, L) = (2, 5) (dashed line) with Ω = (5, 5, 5, 8, 8)t dB.
Proposition 2. For example, approximately 106 simulation runs The system parameters are Es /N0 = 1 dB.
are needed by our proposed IS estimator when L = 5 and
γth is less than −2 dB. On the other hand, the naive MC
We investigate the efficiency of these estimators in Fig. 6
sampler requires approximately 1011 runs (respectively more
using the necessary number of runs needed in order to obtain
than 1012 ) for the same value of L and when γth = −2 dB
5% relative error. As the event of interest becomes rarer and
(respectively when γth = −5 dB).
rarer, the number of samples needed by the naive sampler
rapidly increases (Fig. 6).. However, the bounded relative
C. i.n.i.d Ordered Rayleigh Fading Channels error property that our proposed estimator and the universal
In the last experiment, we aim to estimate the OP values at estimators enjoy is validated in Fig. 6. As expected, our pro-
the output of GSC/EGC receivers when operating over i.n.i.d posed estimator outperforms the universal estimator. Note also
Rayleigh fading channels. In Fig. 5, we plot the values of Pout that the efficiency of our proposed estimator increases with
as a function of the threshold for different values of N and L. increasing L, unlike the universal estimator. For example, our
10

estimator requires approximately 8 (respectively 8×107) times [13] L. Fenton, “The sum of Log-normal probability distributions in scatter
less number of simulations compared to the universal estimator transmission systems,” IRE Transactions on Communications Systems,
vol. 8, no. 1, pp. 57–67, Mar. 1960.
(respectively the naive MC sampler) when (N, L) = (2, 4) and [14] S. C. Schwartz and Y. S. Yeh, “On the distribution function and moments
γth = −13 dB. However, when (N, L) = (2, 5) and γth = −9 of power sums with Lognormal component.” The Bell Systems Technical
dB, our proposed estimator is approximately 15 times more Journal, 1982.
[15] G. Rubino and B. Tuffin, Rare Event Simulation using Monte Carlo
efficient than the universal estimator. Methods. Wiley, 2009.
[16] D. P. Kroese, T. Taimre, and Z. I. Botev, Handbook of Monte Carlo
V. C ONCLUSION methods. N.J: Wiley, 2011.
[17] S. Asmussen, J. L. Jensen, and L. Rojas-Nandayapa, “Exponential
We developed an importance sampling estimator for the family techniques for the Lognormal left tail,” Scandinavian Journal
estimation of the outage probability at the output of equal gain of Statistics, vol. 43, no. 3, pp. 774–787.
combining receivers. Our proposed biased probability density [18] A. Gulisashvili and P. Tankov, “Tail behavior of sums and differences of
Log-normal random variables,” Bernoulli, vol. 22, no. 1, pp. 444–493,
function is the truncation of the underlying one over the Feb. 2016.
multidimensional sphere with a radius given by the specified [19] Z. Botev, R. Salomone, and D. MacKinlay, “Accurate computation of
threshold. Our method is based on the perfect knowledge the distribution of sums of dependent Log-normals with applications to
the Black-Scholes model,” arXiv preprint arXiv:1705.03196, 2017.
of a closed-form expression of the outage probability with [20] M.-S. Alouini, N. Ben Rached, A. Kammoun, and R. Tempone, “On the
maximum ratio combining receivers. This assumption is not efficient simulation of the left-tail of the sum of correlated Log-normal
restrictive since it holds for various challenging fading mod- variates,” Monte Carlo Methods and Applications, Mar. 2018.
[21] C. Ben Issaid, N. Ben Rached, A. Kammoun, M. S. Alouini, and
els. We extended our approach to the case of generalised R. Tempone, “On the efficient simulation of the distribution of the sum
selection combining receivers combined with equal gain com- of Gamma-Gamma variates with application to the outage probability
bining technique for independent Rayleigh fading channels. evaluation over fading channels,” IEEE Transactions on Communica-
tions, vol. 65, no. 4, pp. 1839–1848, Apr. 2017.
We proved that our proposed estimator has bounded relative
[22] C. Ben Issaid, M.-S. Alouini, and R. Tempone, “On the fast and precise
error for four interesting fading channels. This study represents evaluation of the outage probability of diversity receivers over α − µ,
a valuable contribution to the field of variance reduction κ − µ, and η − µ fading channels.” IEEE Transactions on Wireless
techniques. Finally, we tested the performance of our proposed Communications, vol. 17, no. 2, pp. 1255–1268, Feb. 2018.
[23] N. Ben Rached and A. Kammoun and M.-S. Alouini and R. Tempone,
estimator through various simulations. “Unified importance sampling schemes for efficient simulation of outage
capacity over generalized fading channels,” IEEE Journal of Selected
R EFERENCES Topics in Signal Processing, vol. 10, no. 2, pp. 376–388, Mar. 2016.
[24] S. Juneja and P. Shahabuddin, “Simulating heavy tailed processes using
[1] M.K. Simon and M.-S. Alouini, Digital Communication over Fading delayed hazard rate twisting,” ACM Trans. Model. Comput. Simul.,
Channels, 2nd Edition. New York: Wiley, 2005. vol. 12, no. 2, pp. 94–118, Apr. 2002.
[2] F. Yilmaz and M.-S. Alouini, “An MGF-based capacity analysis of [25] N. Ben Rached, F. Benkhelifa, A. Kammoun, M.-S. Alouini, and
equal gain combining over fading channels,” in in Proc. of the IEEE R. Tempone, “On the generalization of the hazard rate twisting-based
International Symposium on Personal, Indoor and Mobile Radio Com- simulation approach,” Statistics and Computing, Nov. 2016.
munications, Sept 2010, pp. 945–950. [26] Z. I. Botev, P. L’Ecuyer, G. Rubino, R. Simard, and B. Tuffin, “Static
[3] N. Ben Rached, Z. Botev, A. Kammoun, M.-S. Alouini, and R. Tem- network reliability estimation via generalized splitting,” INFORMS J. on
pone, “On the sum of order statistics and applications to wireless Computing, vol. 25, no. 1, pp. 56–71, Jan. 2013.
communication systems performances,” IEEE Transactions on Wireless [27] R. K. Mallik, “On multivariate Rayleigh and exponential distributions,”
Communications, vol. 17, no. 11, pp. 7801–7813, Nov. 2018. IEEE Transactions on Information Theory, vol. 49, no. 6, pp. 1499–
[4] X. Qi, M.-S. Alouini, and Y.-C. Ko, “Closed-form analysis of dual- 1515, Jun. 2003.
diversity equal-gain combining over Rayleigh fading channels,” IEEE [28] M. D. Yacoub, “The κ − µ distribution and the η − µ distribution,”
Transactions on Wireless Communications, vol. 2, no. 6, pp. 1120–1125, IEEE Antennas and Propagation Magazine, vol. 49, no. 1, pp. 68–81,
Nov. 2003. Feb. 2007.
[5] J. Hu and N. C. Beaulieu, “Accurate closed-form approximations to
[29] M. K. Simon and M.-S. Alouini, “A compact performance analysis of
Ricean sum distributions and densities,” IEEE Communications Letters,
generalized selection combining with independent but nonidentically dis-
vol. 9, no. 2, pp. 133–135, Feb. 2005.
tributed Rayleigh fading paths,” IEEE Transactions on Communications,
[6] J. A. Lopez-Salcedo, “Simple closed-form approximation to Ricean sum
vol. 50, no. 9, pp. 1409–1412, Sep. 2002.
distributions,” IEEE Signal Processing Letters, vol. 16, no. 3, pp. 153–
[30] S. Asmussen and P. W. Glynn, Stochastic simulation : Algorithms and
155, Mar. 2009.
Analysis, ser. Stochastic modelling and applied probability. New York:
[7] J. C. S. S. Filho and M. D. Yacoub, “Highly accurate κ − µ approxima-
Springer, 2007.
tion to sum of m independent non-identical Ricean variates,” Electronics
Letters, vol. 41, no. 6, pp. 338–339, Mar. 2005. [31] I. S. Ansari, F. Yilmaz, M.-S. Alouini, and O. Kucur, “On the sum of
[8] J. Hu and N. C. Beaulieu, “Accurate simple closed-form approximations Gamma random variates with application to the performance of maximal
to Rayleigh sum distributions and densities,” IEEE Communications ratio combining over Nakagami-m fading channels,” in in Proc. of the
Letters, vol. 9, no. 2, pp. 109–111, Feb. 2005. IEEE 13th International Workshop on Signal Processing Advances in
[9] D. B. D. Costa and M. D. Yacoub, “Accurate approximations to the sum Wireless Communications (SPAWC), Jun. 2012, pp. 394–398.
of generalized random variables and applications in the performance [32] I. S. Gradshteyn and I. M. Ryzhik, Table of integrals, series, and
analysis of diversity systems,” IEEE Transactions on Communications, products, 7th ed. Elsevier/Academic Press, Amsterdam, 2007.
vol. 57, no. 5, pp. 1271–1274, May. 2009. [33] G. K. Karagiannidis, D. A. Zogas, and S. A. Kotsopoulos, “On the mul-
[10] N. B. Mehta, J. Wu, A. F. Molisch, and J. Zhang, “Approximating a sum tivariate Nakagami-m distribution with exponential correlation,” IEEE
of random variables with a Lognormal,” IEEE Transactions on Wireless Transactions on Communications, vol. 51, no. 8, pp. 1240–1244, Aug.
Communications, vol. 6, no. 7, pp. 2690–2699, Jul. 2007. 2003.
[11] N. C. Beaulieu and Q. Xie, “An optimal Lognormal approximation to [34] N. Y. Ermolova, “Moment generating functions of the generalized η − µ
Lognormal sum distributions,” IEEE Transactions on Vehicular Technol- and κ−µ distributions and their applications to performance evaluations
ogy, vol. 53, no. 2, pp. 479–489, Mar. 2004. of communication systems,” IEEE Communications Letters, vol. 12,
[12] M. D. Renzo, F. Graziosi, and F. Santucci, “Further results on the ap- no. 7, pp. 502–504, Jul. 2008.
proximation of Log-normal power sum via Pearson type IV distribution: [35] S. András, A. Baricz, and Y. Sun, “The generalized Marcum Q- func-
a general formula for log-moments computation,” IEEE Transactions on tion: an orthogonal polynomial approach,” Acta Universitatis Sapientiae
Communications, vol. 57, no. 4, pp. 893–898, Apr. 2009. Mathematica, vol. 3, no. 1, pp. 60–76, 2011.
11

[36] N. Ben Rached, A. Kammoun, M.-S. Alouini, and R. Tempone, “A random variables,” IEEE Transactions on Information Theory, vol. 56,
unified moment-based approach for the evaluation of the outage prob- no. 11, pp. 5655–5672, Nov. 2010.
ability with noise and interference,” IEEE Transactions on Wireless [38] S. S. Nam, Y. C. Ko, and M.-S. Alouini, “New closed-form results
Communications, vol. 16, no. 2, pp. 1012–1023, Feb. 2017. on ordered statistics of partial sums of Gamma random variables and
[37] S. S. Nam, M.-S. Alouini, and H. C. Yang, “An MGF-based unified its application to performance evaluation in the presence of Nakagami
framework to determine the joint statistics of partial sums of ordered fading,” IEEE Access, vol. 5, pp. 12 820–12 832, 2017.

Вам также может понравиться