NEW RESULTS ON DIFFERENTIAL AND NON–COHERENT TRANSMISSION: MSDD FOR CORRELATED MIMO FADING CHANNELS AND PERFORMANCE ANALYSIS FOR GENERALIZED K–FADING by CINDY YUE ZHU B.ASc., The University of British Columbia, 2007 A THESIS SUBMITTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF MASTER OF APPLIED SCIENCE in THE FACULTY OF GRADUATE STUDIES (Electrical and Computer Engineering) The University of British Columbia (Vancouver) September 2009 c Cindy Yue Zhu, 2009 Abstract In this thesis, we revisit differential and non–coherent transmission techniques over fading channels. In particular, we consider receiver design for differential space–time modulation (DSTM) over correlated multiple–input multiple– output (MIMO) fading channels and the performance analysis of differential phase shift keying (DPSK) and non–coherent frequency shift keying (FSK) in generalized K–fading. For DSTM over spatially correlated MIMO channels, we derive a multiple– symbol differential detection (MSDD) and a novel MSDD–based decision– feedback differential detection (MS–DFDD) receiver. We show that MS– DFDD outperforms previously proposed decision–feedback differential detection (DFDD) schemes that are based on scalar and vector prediction. In addition, we prove that at high signal–to–noise ratio (SNR) vector prediction decision–feedback differential detection (VP–DFDD) is equivalent to scalar prediction decision–feedback differential detection (SP–DFDD) and thus fails to properly exploit the spatial fading correlations. Furthermore, we derive closed–form expressions for the bit error probability (BEP) of two non–coherent transmission schemes over L diversity branches being subject to generalized K–fading. Specifically, focus is on binary DPSK (DBPSK) and binary non–coherent FSK modulation with equal–gain combining (EGC) at the receiver. We also discuss the extension of our results to M –ary modulation schemes. Considering both independent and correlated fading across the L branches, we derive expressions for the asymptotic diversity order, which reveal an interesting interplay between the two parameters, ii k and m, of the generalized K–distribution. Moreover, we show that the diversity order of the considered non–coherent transmission schemes is the same as in the case of coherent transmission. Finally, numerical performance results are presented, and our analytical results are corroborated by means of Monte–Carlo simulation. iii Table of Contents Abstract . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ii Contents . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iv List of Figures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . vi List of Abbreviations and Symbols . . . . . . . . . . . . . . . . . . . . . x Acknowledgments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . xii 1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.1 Background and Motivation . . . . . . . . . . . . . . . . . . . . 1 1.2 Contributions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.3 Thesis Organization . . . . . . . . . . . . . . . . . . . . . . . . . 5 2 Non–Coherent Detectors for DPSK and DSTM . . . . . . . . . . . . 7 2.1 System Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2.2 Noncoherent Detectors . . . . . . . . . . . . . . . . . . . . . . . 8 2.2.1 MSDD . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2.2.2 MS–DFDD . . . . . . . . . . . . . . . . . . . . . . . . . 9 2.2.3 The Relationship between MS–DFDD and SP–/VP–DFDD 10 2.3 Performance Analysis . . . . . . . . . . . . . . . . . . . . . . . . 12 2.4 Simulation and Numerical Results . . . . . . . . . . . . . . . . . 12 3 The Generalized K –Fading Model . . . . . . . . . . . . . . . . . . . . 19 3.1 PDF of the Instantaneous Received SNR . . . . . . . . . . . . . 19 3.2 MGF of Sum SNR for the Case of I.N.D. Fading . . . . . . . . . 21 iv 3.3 MGF of Sum SNR for Correlated Composite Shadowing and Multipath Fading . . . . . . . . . . . . . . . . . . . . . . . . . . 22 4 Generalized K –Fading: Binary Modulation Scenario . . . . . . . . . . 25 4.1 BEP for I.N.D. Fading . . . . . . . . . . . . . . . . . . . . . . . 25 4.2 BEP for Correlated Composite Shadowing and Multipath Fading 27 4.3 Asymptotic Analysis and Diversity Order . . . . . . . . . . . . . 29 4.3.1 The Case of Independent Fading . . . . . . . . . . . . . 29 4.3.2 Correlated Composite Shadowing and Multipath Fading 32 5 Generalized K–Fading: Extensions to M –ary Modulation . . . . . . . 35 5.1 BEP for I.N.D. Fading . . . . . . . . . . . . . . . . . . . . . . . 35 5.2 BEP for Correlated Composite Shadowing and Multipath Fading 37 5.3 Simulation and Numerical Results . . . . . . . . . . . . . . . . . 38 5.3.1 The Case of Independent Fading . . . . . . . . . . . . . 38 5.3.2 Correlated Composite Shadowing and Multipath Fading 5.3.3 Performance of M –ary Modulation Schemes . . . . . . . 47 43 6 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50 Bibliography . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52 v List of Figures 2.1 BEP of SP–DFDD, VP–DFDD, MS–DFDD (proposed), and MSDD (proposed) vs. Eb /N0 for diagonal DSTM with R = 2 bit/(channel use), NT = 2, NR = 1, ρ = 0.9, and Bf T = 0.05. Numerical results: Solid lines. Simulation results: Markers. . . . 14 2.2 BEP of SP–DFDD, VP–DFDD, MS–DFDD (proposed), and MSDD (proposed) vs. Eb /N0 for DQPSK, NT = 1, NR = 2, ρ = 0.9, and Bf T = 0.05. Numerical results: Solid lines. Simulation results: Markers. . . . . . . . . . . . . . . . . . . . . . . . 15 2.3 BEP of SP–DFDD, VP–DFDD, MS–DFDD (proposed), and MSDD (proposed) vs. transmit antenna correlation ρ for diagonal DSTM with R = 2 bit/(channel use), NT = 2, NR = 1, Eb /N0 → ∞, and Bf T = 0.05. Simulation results. . . . . . . . . 16 2.4 BEP of SP–DFDD, VP–DFDD, MS–DFDD (proposed), and MSDD (proposed) vs. receive antenna correlation ρ for DQPSK, NT = 1, NR = 2, Eb /N0 → ∞, and Bf T = 0.05. Simulation results. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 2.5 BEP vs. Bf T for diagonal DSTM with R = 2 bit/(channel use), NT = 2, and NR = 1 under various channel conditions. a) MS–DFDD (proposed) and VP–DFDD designed for Bf T = 0.05, ρˆ = 0.6, and Eb /N0 = 35 dB; b) MS–DFDD (proposed) designed for matched and mismatched (Bf T = 0.05, ρˆ = 0.6, and Eb /N0 = 35 dB) channel parameters. . . . . . . . . . . . . . 18 vi 5.1 Average BEP P¯b (θ) versus average SNR Lθ in dB for the case of i.i.d. double Rayleigh fading (k = 1, m = 1). Solid lines represent analytical results for DBPSK modulation with EGC at the receiver evaluated based on (4.8) /(4.9) using the values k = 1.01 and m = 0.99. Dashed lines represent corresponding analytical results for the case of i.i.d. Rayleigh fading evaluated based on (4.10)/(4.11). Corresponding simulation results for Rayleigh fading and double Rayleigh fading (k = 1, m = 1) are indicated by markers ‘◦’. . . . . . . . . . . . . . . . . . . . . . . 39 5.2 Average BEP P¯b (θ) versus overall average SNR Lθ in dB for the case of i.i.d. double Rayleigh fading (k = 1, m = 1). Solid lines represent analytical results for DBPSK modulation with EGC at the receiver evaluated based on (4.8) /(4.9) using the values k = 1.01 and m = 0.99. Dashed lines represent corresponding analytical results for coherent BPSK modulation with MRC at the receiver evaluated based on (3.11), (4.26) using numerical integration. Corresponding simulation results for k = 1 and m = 1 are indicated by markers ‘◦’ (both for DPSK and PSK modulation). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41 vii 5.3 Average BEP P¯b (θ) versus overall average SNR Lθ in dB for different cases of cascade fading (k = 1 and m ∈ {1, 3, 5}). Solid lines represent analytical results for DBPSK modulation with EGC at the receiver evaluated based on (4.8) /(4.9) using the values k = 1.01 and m ∈ {0.99, 2.99, 4.99}, respectively. Dashed lines represent corresponding analytical results for coherent BPSK modulation with MRC at the receiver evaluated based on (3.11), (4.26) using numerical integration. Corresponding simulation results for k = 1 and m ∈ {1, 3, 5} are indicated by markers ‘◦’ (both for DPSK and PSK modulation). The dotted lines represent asymptotic BEP curves for the case m = 3, L = 3 evaluated based on (4.18)/(4.19) for DPSK modulation and based on (4.27) for PSK modulation. . . . . . . . . 42 5.4 Average BEP P¯b (θ) versus overall average SNR L θ in dB for the case k = 3 and m = 1 (mild shadowing). Solid lines represent analytical results for DBPSK modulation with EGC at the receiver evaluated based on (4.15) using the values k = 3.01 and m = 0.99. Dashed lines represent corresponding analytical results for coherent BPSK modulation with MRC at the receiver evaluated based on (3.16) , (4.26) using numerical integration. Corresponding simulation results for k = 3 and m = 1 are indicated by markers ‘o’ (both for DPSK and PSK modulation). . . 44 5.5 Average BEP P¯b (θ) versus overall average SNR L θ in dB for the case k = 3 and m = 1 (mild shadowing). Solid lines represent analytical results for DBPSK modulation with EGC at the receiver, evaluated based on (4.15) using the values k = 3.01 and m = 0.99. Dashed lines represent corresponding asymptotic results evaluated based on (4.30) . . . . . . . . . . . . . . . . . . . 45 viii 5.6 Average BEP P¯b (θ) versus overall average SNR L θ in dB for the case k = 1 and m = 3 (severe shadowing). Solid lines represent analytical results for DBPSK modulation with EGC at the receiver evaluated based on (4.15) using the values k = 1.01 and m = 2.99. Dashed lines represent corresponding analytical results for coherent BPSK modulation with MRC at the receiver evaluated based on (3.16) , (4.26) using numerical integration. Corresponding simulation results for k = 1 and m = 3 are indicated by markers ‘o’ (both for DPSK and PSK modulation). The dotted lines represent asymptotic BEP curves for the case L = 4 evaluated based on (4.30) for DPSK modulation and based on (4.33) for PSK modulation. . . . . . . . . . . . . . . . . . . . 47 5.7 Average BEP P¯b (θ) versus overall average SNR per bit Lθ/2 in dB for the case of cascade fading with k = 1 and m = 3. Solid lines represent analytical results for DQPSK modulation with EGC at the receiver evaluated based on (3.11) and (5.1) using the values k = 1.01 and m = 2.99. Dashed lines represent corresponding analytical results for coherent QPSK modulation with MRC at the receiver evaluated based on (3.11) and (4.26) using numerical integration. Corresponding simulation results for k = 1 and m = 3 are indicated by markers ‘o’ (both for DPSK and PSK modulation). . . . . . . . . . . . . . . . . . . . 48 ix List of Abbreviations and Symbols Acronyms AWGN Additive white Gaussian noise BEP Bit error probability CD Coherent detection CDD Conventional differential detection CSI Channel state information DBPSK Binary differential phase shift keying DFDD Decision–feedback differential detection DPSK Differential phase shift keying DQPSK Quadrature differential phase shift keying DSTM Differential space–time modulation EGC Equal–gain combining FSK Frequency shift keying I.I.D Independent and identically distributed I.N.D Independent but not necessarily identically distributed MGF Moment generating function MIMO Multiple–input multiple–output MRC Maximum–ratio combining MS–DFDD MSDD–based decision–feedback differential detection MSDD Multiple–symbol differential detection PDF Probability density function PEP Pairwise error probability x PSK Phase shift keying QAM Quadrature amplitude modulation QPSK Quadrature phase shift keying SEP Symbol error probability SNR Signal–to–noise ratio SP Scalar predictor SP–DFDD Scalar prediction decision–feedback differential detection VP Vector predictor VP–DFDD Vector prediction decision–feedback differential detection Operators and Notation |·| Absolute value of a complex number E {·} Expectation [·]∗ Complex conjugate [·]T Matrix or vector transposition [·]H Matrix or vector Hermitian transposition Im . = Identity matrix with dimension m × m ⊗ Kronecker product diag{x } Diagonal matrix with the elements of vector x in its main diagonal [X]i,j Element in row i and column j of matrix X Asymptotic equality xi Acknowledgments I would like to express my sincere appreciation toward my supervisor, Dr. Robert Schober, for his outstanding supervision, support and encouragement throughout my research projects. Professor Schober provided much of the initial motivation for pursuing this investigation and also provided priceless feedback that has improved this work in nearly every aspect. In addition, I would like to thank Dr. Simon Yiu and Dr. Jan Mietzner for their help in my research. Finally, I would like to thank my family for their support and encouragement in my quest for higher education. I would also like to extend my thanks to the colleagues at the Department of Electrical and Computer Engineering, UBC, for creating a stimulating and a friendly environment at work. Cindy Yue Zhu The University of British Columbia Vancouver, Canada July 2009 xii Chapter 1 1 Introduction The following section provides an overview of the background information and motivation for this work in detail. We also review the related work that has been reported by other researchers in this field. The contributions of this work are briefly summarized in the second section of this chapter, and the concluding section outlines the organization of this thesis. 1.1 Background and Motivation In recent years, the application of multiple antennas in different wireless communication environments has received considerable interest from academia and industry. In particular, in practical cases where accurate channel knowledge at the receiver is not available, differential and non–coherent transmission schemes eliminate the need for channel estimation at the receiver and are thus attractive for high–mobility and low SNR scenarios as well as for low– cost receiver implementations. DPSK and DSTM [1] are popular modulation schemes if channel state information (CSI) is not available at the receiver side. Since conventional differential detection (CDD) causes significant performance degradations compared to coherent detection (CD) in time–variant fading channels, in the last few years various DFDD and MSDD schemes have been proposed for performance improvement, cf. e.g. [2, 3]. However, while 1 in practice the fading gains may be spatially correlated due to insufficient antenna spacing, [2, 3] only considered the spatially uncorrelated case. The performance of DSTM and beamforming for DSTM in spatially correlated fading were considered in [4] and [5, 6], respectively. However, the detection scheme applied in [4, 5, 6] was simple CDD which does not take into account spatial correlations. A sequence–detection based non–coherent detection scheme taking into account spatial fading correlations was proposed in [7]. Interestingly, if the number of trellis states of the sequence–detection based scheme in [7] is reduced to zero, it can be interpreted as DFDD for correlated fading, where the DFDD coefficients are the coefficients of a scalar predictor (SP) or a vector predictor (VP) for the fading–plus–noise process. Thus, we refer to the corresponding detectors as SP–DFDD and VP–DFDD, respectively. Since the transmission environment is essential to a wireless communication system, we also investigate the generalized K–fading model. The performance of wireless communication systems is largely governed by shadowing and multipath fading effects [8, Ch. 2]. While major obstacles between transmitter and receiver cause macroscopic fading effects, i.e., fluctuations in the average received SNR, scatterers in the vicinity of transmitter and receiver entail microscopic fading effects, i.e., fluctuations in the instantaneous received SNR. The generalized K–fading model is characterized by two parameters, k > 0 and m > 0, which accurately capture the effects of composite shadowing and multipath fading. In particular, it comprises a large variety of channel conditions, ranging from severe shadowing (small values of k) to mild shadowing (large values of k) and from severe multipath fading (small values of m) to mild multipath fading (large values of m). Moreover, the generalized K–fading model can also be employed to model cascade multipath fading, which occurs, e.g., in keyhole and in mobile–to–mobile communication scenarios [9], [10]. For the special case where k = m = 1, the generalized K–fading model reduces to the double Rayleigh–fading model. By varying the fading parameters accordingly, more or less severe cascade multipath fading can be modeled. 2 A favorable property of the generalized K–fading model is that it allows for a closed–form expression for the probability density function (PDF) of the instantaneous received SNR, which is in contrast to, e.g., competing composite shadowing/multipath fading models that are based on the lognormal PDF. As a result, several analytical performance results for generalized K–fading and ordinary K–fading (when m = 1) have been reported in the literature. Moreover, analytical performance results for the special case of double Rayleigh fading were presented in [10, 11, 12]. Most of the papers mentioned above have focused on coherent transmission schemes, which rely on the availability of accurate channel knowledge at the receiver side. However, since non–coherent transmission schemes eliminate the need for channel estimation at the receiver, we derive closed–form expressions for the BEP of two non–coherent transmission schemes over L generalized K–fading branches with (post–detection) EGC at the receiver. Specifically, focus is on DBPSK modulation with CDD at the receiver (i.e., based on two subsequent received symbols) and orthogonal binary frequency–shift keying (FSK) modulation with non–coherent detection at the receiver [13, Ch. 9.4]. We also discuss the extension of our results to M –ary modulation schemes. Concerning the K–fading model we consider two scenarios. First, we focus on the case of independent fading across the L branches. This scenario appears to be relevant for cascade multipath fading, if the underlying assumption is a rich– scattering radio environment (see [10] for examples). Here, the assumption of uncorrelated diversity branches – created, e.g., by multiple receive antennas with sufficiently large antenna spacing – appears to be reasonable. Afterwards, we turn to the case of composite shadowing and multipath fading. Here, we consider the scenario where the shadowing part is fully correlated across links, whereas the multipath fading is independent and identically distributed (i.i.d.) across the L branches. Since shadowing represents a large–scale fading effect, it can be expected to affect all diversity branches simultaneously, while in a rich–scattering environment the multipath fading part can again be considered 3 independent across links. For both scenarios, we present a high–SNR analysis and provide expressions for the resulting asymptotic diversity orders, which reveal an interesting interplay between the two fading parameters k and m. It is worth noting that the existing papers on non–coherent transmission schemes over generalized K–fading or double Rayleigh–fading links [10]-[14, 15] are all restricted to a single branch (L = 1). In particular, to the best of our knowledge closed–form expressions for the BEP and the asymptotic diversity order of the considered non–coherent transmission schemes in generalized K– fading have not yet been presented in the literature. 1.2 Contributions The main contributions of the present research work are as follows: • We derive an MSDD and a low-complexity MS–DFDD receiver for DSTM transmitted over spatially correlated MIMO fading channels. The proposed DFDD scheme is obtained by introducing decision-feedback symbols into the MSDD metric. We show that MS-DFDD outperforms both SP–DFDD and VP–DFDD. Furthermore, we prove that at high SNR SP– DFDD and VP–DFDD are equivalent. Thus, at high SNR VP-DFDD does not result in performance gains compared to the simpler SP-DFDD. • We also derive closed–form expressions for the BEP of two non–coherent transmission schemes over L generalized K–fading branches with EGC at the receiver. Specifically, focus is on DBPSK and binary non–coherent FSK modulation. Note that the existing papers on non-coherent transmission schemes over (generalized) K–fading or double Rayleigh–fading links are all restricted to the case of a single link (L = 1). – First, we focus on the case of i.i.d. fading across the L branches, which appears to be relevant for the case of cascade multipath fad- 4 ing. – We then turn to the case of composite shadowing and multipath fading. Here, we consider the scenario where the shadowing part is fully correlated across links, whereas the multipath fading is i.i.d. across the L branches. For both cases, we present a high–SNR analysis and state expressions for the resulting asymptotic diversity order, which reveal an interesting interplay between the two fading parameters k and m. The results of our work are summarized in the following papers: • C. Zhu, S. Yiu, and R. Schober. On Noncoherent Receivers for DSTM in Spatially Correlated Fading. Accepted for publication in the IEEE Transactions on Communications, December 2008. • C. Zhu, J. Mietzner, and R. Schober. On the Performance of Non– Coherent Transmission Schemes over Multiple Generalized K–Fading Links. Submitted to the IEEE Transaction of Wireless Communications, February 2009. • C. Zhu, J. Mietzner, and R. Schober. On the Performance of Non– Coherent Transmission Schemes with Equal–Gain Combining in Correlated Generalized K–Fading. Accepted for presentation at the IEEE Vehicular Technology Conference, Anchorage, Alaska, USA, September 2009. 1.3 Thesis Organization To explain the above findings in detail, this thesis is organized as follows. In Chapter 2, we will describe DSTM in detail. The proposed differential detectors for DPSK and DSTM are also discussed in this chapter. The simulations results for the improved differential detectors are also provided. In Chapter 5 3, the generalized K–fading model is introduced. The performance analysis of both binary and M –ary modulation over generalized K–fading channels is discussed in Chapters 4 and 5, respectively. The simulation results for the generalized K–fading channels are provided also included in Chapter 5, and some conclusions are given in Chapter 6. 6 Chapter 2 1 Non–Coherent Detectors for DPSK and DSTM In this section, we first give a brief introduction to DSTM followed by the derivation of the optimum MSDD decision rule and the related MS–DFDD scheme for spatially correlated fading channels. We also compare MS–DFDD with SP–DFDD and VP–DFDD. 2.1 System Model In this section, we assume a MIMO channel with NT transmit and NR receive antennas. In DSTM, the data–carrying NT × NT matrix symbols V [k] are taken from a suitable alphabet V of unitary matrices [1]. Here, k denotes the matrix symbol index and the NT × NT transmit symbol S[k] is obtained from V [k] via differential encoding S[k] = V [k]S[k − 1]. For the special case when NT = 1, DSTM simplifies to DPSK. The signals received at the NR receive antennas in NT consecutive symbol intervals are collected in a column vector r[k] = B[k]h[k] + n[k], where r[k] [r11 [k] . . . rNT 1 [k] r12 [k] . . . rNT NR [k]]T , h[k] h12 [k] . . . hNT NR [k]]T , n[k] (2.1) [h11 [k] . . . hNT 1 [k] [n11 [k] . . . nNT 1 [k] n12 [k] . . . nNT NR [k]]T , and 7 I NR ⊗ S[k]. rnt nr [k], hnt nr [k], and nnt nr [k] denote the received sig- B[k] nal, the fading gain, and the noise, respectively, corresponding to transmit antenna nt , 1 ≤ nt ≤ NT , and receive antenna nr , 1 ≤ nr ≤ NR . The Rayleigh fading component h[k] is modeled as a zero–mean Gaussian random vector with correlation matrix E{h[k]hH [k]} = Rrx ⊗ Rtx , where Rrx and Rtx denote the NR × NR receive and the NT × NT transmit correlation matrices respectively and E {·} denotes statistical expectation. The temporal fading correlation is modeled as Rt [λ] E{hnt nr [k + λ]h∗nt nr [k]} = J0 (2πBf T NT λ) [16], where J0 (·), Bf , and T denote the zeroth order Bessel function of the first kind, the Doppler bandwidth, and the symbol interval, respectively. nnt nr [k] is spatially and temporally i.i.d. additive white Gaussian noise (AWGN) with variance σn2 2.2 2.2.1 E{|nnt nr [k]|2 }. Noncoherent Detectors MSDD To derive the MSDD decision rule we first collect N received vectors r[k] in a new vector r [r T [k] r T [k − 1] . . . r T [k − N + 1]]T which can be modeled as r = Bh + n, with B n diag{B[k] . . . B[k − N + 1]}, h (2.2) [hT [k] . . . hT [k − N + 1]]T , and [nT [k] . . . nT [k − N + 1]]T . From (2.2) we observe that the PDF p(r|B) of r conditioned on B is a zero–mean Gaussian PDF with covariance matrix BRB H , where R E{hhH } + E{nnH } = Rt ⊗ Rrx ⊗ Rtx + σn2 I N NR NT with [Rt ]i,j = Rt [i − j], 0 ≤ i, j ≤ N − 1. Thus, performing maximum–likelihood detection leads to the MSDD decision rule 8 Vˆ = argmax V ∈ V N −1 , [k−N +1]∈ S = argmin V ∈ V N −1 , [k−N +1]∈ S where V {p (r|B)} (2.3) {r H BR−1 B H r}, [V [k] . . . V [k − N + 2]], Vˆ is the estimate of V , and S is the alphabet of the transmit symbols S[k]. We note that for DSTM constellations that form a group S = V holds [1]. For further development of (2.3) , the Cholesky factorization of R−1 = U H U is introduced. We partition the upper triangular matrix U into NT NR × NT NR sub–matrices U i,j , 0 ≤ i, j ≤ N − 1 [17]. Thus, (2.3) can be rewritten as 2 N −1 N −1 Vˆ = argmin U i, j B H [k − j]r[k − j] . V ∈V N −1 ,[k−N +1]∈S i=0 j=i For spatially uncorrelated fading we can show that U i,j with uti,j (2.4) uti,j I NT NR [U t ]i,j where U t denotes an upper triangular matrix obtained by Cholesky factorization of Rt + σn2 I N . Therefore, in this special case, (2.4) is the well–known MSDD decision rule for uncorrelated fading, cf. e.g. [16, 18]. Since the complexity of MSDD grows exponentially with the observation window size N , in the next section, we will introduce MS–DFDD whose complexity grows only linearly with N . 2.2.2 MS–DFDD The fundamental idea of MS–DFDD is to replace V [k − j], 1 ≤ j ≤ N − 2, and S[k − N + 1] in (2.4) by the corresponding previously decided symbols ˆ − N + 1]. After all irrelevant terms are neglected, this leads Vˆ [k − j] and S[k to the MS–DFDD decision rule given by Vˆ [k] = argmin V [k]∈V E ˜ H [k]r[k] + B N −1 j=1 9 2 H ˆ [k − j]r[k − j] P jB , (2.5) where E U 0,0 , P j ˆ U −1 0,0 U 0,j , 1 ≤ j ≤ N − 1, B[k] ˆ ˆ − 1], and B[k] ˜ S[k] = Vˆ [k]S[k ˆ I NR ⊗ S[k], ˆ − 1]). Since the U i,j are I NR ⊗ (V [k]S[k obtained through Cholesky factorization of R−1 , it can be shown that the P j are the coefficients of the optimum linear (N − 1)th order VP for the fading– plus–noise process f [k] error variance σe2 h[k] + n[k] [17], i.e., the P j minimize the prediction E{||e[k]||2 } with N −1 e[k] f [k] − j=1 P j f [k − j]. (2.6) −1 Furthermore, (E H E)−1 = (U H can be shown to be the covariance 0,0 U 0,0 ) matrix of the prediction error, i.e., Ree −1 E{e[k]eH [k]} = (U H 0,0 U 0,0 ) . Con- sequently, (2.5) can be interpreted as temporal linear vector prediction with subsequent spatial prediction error whitening. We note that for the special case of spatially uncorrelated fading E = ut0,0 I NT NR and P j = (ut0,j /ut0,0 )I NT NR , where (ut0,0 )−2 and ut0,j /ut0,0 , 1 ≤ j ≤ N − 1, denote the error variance and the coefficients of the optimum (N −1)th order SP for the scalar fading–plus–noise process fnt nr [k] hnt nr [k] + nnt nr [k]. Thus, in this case, (2.5) is equivalent to the DFDD scheme proposed in [16] for spatially independent fading. 2.2.3 The Relationship between MS–DFDD and SP– /VP–DFDD It is of interest to compare the MS–DFDD decision rule in (2.5) with SP– DFDD and VP–DFDD, which can be obtained as special cases of the sequence detection scheme in [7] if the number of trellis states is reduced to zero. In particular, by letting E = I NT NR and P j = (ut0,j /ut0,0 )I NT NR , 1 ≤ j ≤ N − 1, (2.5) simplifies to the SP–DFDD metric in [7, Eq. (5)]. Obviously, SP– DFDD completely ignores the fading correlations. The VP–DFDD metric in [7, Eq. (10)] is obtained by letting E = I NT NR and P j U −1 0,0 U 0,j , 1 ≤ j ≤ N −1, in (2.5). Thus, similar to MS–DFDD, VP–DFDD contains an optimum linear VP. However, in contrast to MS–DFDD, spatial whitening of the prediction 10 error is not performed in VP–DFDD. We will show in Section 2.4 that this might have some unexpected consequences. It is also worth noting that, similar to the schemes in [7, 19], the metric in (2.5) can also be used as branch metric in a Viterbi algorithm. This leads to an improved performance as compared to DFDD since error propagation is mitigated but increases receiver complexity. For this purpose, we compare all three DFDD schemes for the case σn2 → 0. ˜ t as the (N −1)×(N −1) lower sub–block matrix of N ×N matrix Rt , Define R rt [Rt [−1] . . . Rt [−(N − 1)]]T , and P [P T1 . . . P TN −1 ]T . The Yule–Walker equation for the optimum VP is given by ˜ t ⊗ Rrx ⊗ Rtx + σ 2 I (N −1)N N )P = r t ⊗ Rrx ⊗ Rtx . (R n T R (2.7) We observe from (2.7) that for σn2 → 0 the optimum VP coefficients are given ˜ −1 r t ) ⊗ I N N . Since vector R ˜ −1 r t contains the coefficients of by P = (R t t T R the optimum scalar predictor of length N − 1, we conclude that surprisingly for σn2 → 0 VP–DFDD simplifies to SP–DFDD. Similarly, it can be shown that for σn2 → 0 the prediction error covariance matrix becomes Ree = (1 − −1 −1 −1/2 ˜ ˜ / 1 − rH rH t Rt r t . Therefore, t Rt r t )(Rrx ⊗ Rtx ), i.e., E = (Rrx ⊗ Rtx ) unlike VP–DFDD, MS–DFDD exploits spatial fading correlations also for high SNR. As mentioned before, the complexity of all considered DFDD schemes is linear in N . However, for metric calculation SP–DFDD requires the smallest number of multiplications, whereas MS–DFDD requires the most. In particular, for SP–DFDD all predictor coefficients are scalars and E can be omitted in (2.5), while for MS–DFDD, in general, all predictor coefficients are NT NR × NT NR matrices and E cannot be omitted. The complexity of VP– DFDD is between that of SP–DFDD and MS–DFDD since the predictor coefficients are matrices but E can be omitted in (2.5). 11 2.3 Performance Analysis The performance analysis of MSDD and DFDD in correlated fading closely follows the corresponding analyses for the uncorrelated case in [16, 18]. Therefore, we only give a brief sketch of the analysis here. To simplify our exposition, we assume group codes in which case the elements V l , 0 ≤ l ≤ L − 1, of V are diagonal matrices [1]. The Pb ≈ BEP xe RNT L−1 l=1 of DFDD can be approximated as Pe (V l → V 0 ) [16, Eqs. (45)–(47)], where R and Pe (V l → V 0 ) are the rate of the considered DSTM scheme and the pairwise error probability ˆ − j] = S[k − j], 1 ≤ j ≤ N − 1 (genie–aided DFDD), (PEP) assuming S[k respectively. If decision feedback is not required, xe = 1, otherwise xe = 2. Based on (2.5) it can be shown that since the V l , 0 ≤ l ≤ L − 1, are diagonal matrices, feedback is not needed for N = 2 for SP–DFDD. In contrast, for VP– ˆ − 1] is required even for N = 2 DFDD and MS–DFDD feedback in form of S[k except for the special case of DPSK (NT = 1). The PEP Pe (V l → V 0 ) itself can be obtained using standard tools, cf. e.g. [16, 18] and references therein, since the corresponding metric difference is a quadratic form of Gaussian random variables. Similarly, for MSDD the metric difference is also a Gaussian quadratic form and the approach outlined in [18, Section IV] can be used to compute an approximation for the BEP based on the PEPs. 2.4 Simulation and Numerical Results In this section, we compare optimum MSDD, MS–DFDD, SP–DFDD, and VP– DFDD based on simulations and numerical results. For all results a normalized Doppler bandwidth of Bf T = 0.05 is assumed. In Fig. 2.1, we show the BEP of the considered detection strategies for diagonal DSTM [1] vs. Eb /N0 (Eb : received energy per bit, N0 : single–sided power spectral density of the underlying continuous–time noise process). NT = 2, 12 NR = 1, R = 2 bit/(channel use), and the correlation between both transmit antennas is ρ = 0.9.1 For N = 2 we observe from Fig. 2.1 that while MSDD leads to substantial performance gains compared to SP- and VP–DFDD, this is not true for the proposed MS–DFDD. For N = 2 MS–DFDD is negatively affected by error propagation negating any potential performance gains over SPand VP–DFDD which both do not suffer from error propagation in this case. In contrast, for N = 3 all DFDD schemes are affected by error propagation and MS–DFDD yields substantial gains compared to SP- and VP–DFDD, especially in the error floor region. For low–to–medium SNRs (e.g. Eb /N0 = 15 dB) all considered DFDD schemes have a comparable performance, while MSDD still yields considerable gains. For N = 10, where simulation of MSDD is too time consuming because of its high complexity, MS–DFDD achieves a gain of approximately 0.6 dB at BEP = 10−6 compared to VP–DFDD. However, even for N = 10 the performance gap between MS–DFDD and CD is quite large because of the relatively large normalized Doppler bandwidth. For N = 2 and N = 3 SP–DFDD and VP–DFDD achieve a similar performance in the considered range of SNRs. In contrast, for N = 10 VP–DFDD outperforms SP–DFDD, especially for Eb /N0 ≥ 20 dB. We note that the theoretical results (solid lines) obtained with the methods outlined in Section 2 agree well with the simulation results (markers) at high SNR. In Fig. 2.2, we consider the same detection schemes as in Fig. 2.1. However, now quaternary DPSK (DQPSK) transmission with NT = 1 and NR = 2 is assumed, and the two receive antennas have correlation ρ = 0.9. We observe that both MS–DFDD and MSDD yield substantial performance gains compared to SP- and VP–DFDD, especially in the error floor region. Since unlike for DSTM with NT ≥ 2, for single–antenna transmission feedback is not required for MS–DFDD with N = 2, MS–DFDD also outperforms SPand VP–DFDD in this case. 1 We note that experiments have shown that antenna correlations of ρ = 0.9 and more can occur for example in small handsets accommodating multiple antennas [20]. 13 Figure 2.1: BEP of SP–DFDD, VP–DFDD, MS–DFDD (proposed), and MSDD (proposed) vs. Eb /N0 for diagonal DSTM with R = 2 bit/(channel use), NT = 2, NR = 1, ρ = 0.9, and Bf T = 0.05. Numerical results: Solid lines. Simulation results: Markers. In Figs. 2.3 and 2.4, we show the simulated error floor (Eb /N0 → ∞) of diagonal DSTM (NT = 2, NR = 1, R = 2 bit/(channel use)) and DQPSK (NT = 1, NR = 2) caused by the various considered receivers as a function of the transmit/receive antenna correlation ρ, respectively. As expected, for ρ = 0 SP-, VP-, and MS–DFDD yield the same performance as these schemes are identical in this case. However, as ρ increases, both MS–DFDD and MSDD outperform SP–DFDD and VP–DFDD, which yield identical performance, cf. Section 2.2.3. Interestingly, Fig. 2.3 shows that the performance of MS–DFDD and MSDD may even improve with increasing ρ, whereas that of SP–DFDD and VP–DFDD always deteriorates. In order to explain this observation, two different effects have to be taken into account. On the one hand, the spatial diversity, and thus the performance, is negatively affected 14 Figure 2.2: BEP of SP–DFDD, VP–DFDD, MS–DFDD (proposed), and MSDD (proposed) vs. Eb /N0 for DQPSK, NT = 1, NR = 2, ρ = 0.9, and Bf T = 0.05. Numerical results: Solid lines. Simulation results: Markers. by increasing ρ. On the other hand, spatial fading correlations lead to spatial correlations in the prediction error vector e[k], which constitutes the effective noise vector for detection purpose, cf. Section 2.2.3, (2.5), (2.6). These correlations in the prediction error are beneficial if they are properly exploited by the detector. Since both MS–DFDD and MSDD exploit the spatial correlation in the prediction error vector, their performance improves with increasing ρ if this positive effect of spatial correlation outweighs the negative effect of the decreased diversity. In contrast, the performance of SP–DFDD and VP– DFDD always deteriorates with increasing spatial fading correlation since these schemes do not exploit the resulting spatial correlation of the prediction error vector. In Figs. 2.1 to 2.4, we have assumed that the spatial and temporal correlations as well as the operating SNR are perfectly known for DFDD and MSDD 15 Figure 2.3: BEP of SP–DFDD, VP–DFDD, MS–DFDD (proposed), and MSDD (proposed) vs. transmit antenna correlation ρ for diagonal DSTM with R = 2 bit/(channel use), NT = 2, NR = 1, Eb /N0 → ∞, and Bf T = 0.05. Simulation results. design. In a practical scenario, these parameters are not known a priori and have to be estimated by the receiver which may lead to a mismatch between the estimated channel parameters and the true channel parameters. The effects of such a mismatch are investigated in Fig. 2.5 for diagonal DSTM (NT = 2, NR = 1, R = 2 bit/(channel use)). In Fig. 2.5, we show the BEP as a function of Bf T for different ρ and Eb /N0 adopting mismatched estimated channel parameters of Bf T = 0.05, ρˆ = 0.6, and Eb /N0 = 35 dB for receiver design. In Fig. 2.5a), the performance of VP–DFDD (solid lines) and MS–DFDD (dashed lines) are compared under these conditions for N = 3. As can be observed, even for mismatched channel parameters MS–DFDD outperforms VP–DFDD in all cases for the considered parameter range. In Fig. 2.5b), the performances of MS–DFDD with mismatched (solid lines) and matched (dashed lines) chan- 16 Figure 2.4: BEP of SP–DFDD, VP–DFDD, MS–DFDD (proposed), and MSDD (proposed) vs. receive antenna correlation ρ for DQPSK, NT = 1, NR = 2, Eb /N0 → ∞, and Bf T = 0.05. Simulation results. nel parameters are compared for N = 5. In the mismatched case, the estimated channel parameters (Bf T = 0.05, ρˆ = 0.6, and Eb /N0 = 35 dB) were used for MS–DFDD design, whereas in the matched case the true channel parameters were employed. As expected, Fig. 2.5b) shows that mismatch causes a certain performance degradation. We note that in practice the predictor coefficients P j , 1 ≤ j ≤ N − 1, and the prediction error covariance matrix Ree may be directly computed using an adaptive algorithm, which would avoid the need for explicit estimation of the channel parameters. For this purpose, the approach presented in [21] for scalar DFDD may be extended to the vector case. 17 Figure 2.5: BEP vs. Bf T for diagonal DSTM with R = 2 bit/(channel use), NT = 2, and NR = 1 under various channel conditions. a) MS–DFDD (proposed) and VP–DFDD designed for Bf T = 0.05, ρˆ = 0.6, and Eb /N0 = 35 dB; b) MS–DFDD (proposed) designed for matched and mismatched (Bf T = 0.05, ρˆ = 0.6, and Eb /N0 = 35 dB) channel parameters. 18 Chapter 3 1 The Generalized K –Fading Model In this section, a brief review of the PDF of the instantaneous received SNR for generalized K–fading is introduced. Subsequently, certain moment generating functions (MGFs) for the case of cascade multipath fading and the case of composite shadowing/multipath fading are also derived. For the remainder of this thesis, we assume quasi–static channel conditions, i.e., the instantaneous SNRs of all fading branches remain constant over an entire block of data symbols and change randomly from one block to the next. 3.1 PDF of the Instantaneous Received SNR In order to derive the generalized K–distribution, we first consider the case of composite shadowing and multipath fading [22]. In this case, the generalized K–fading model describes a composite Gamma–shadowing/Nakagami–m fading process. The PDF of the instantaneous SNR γ, conditioned on the average SNR γ¯ , is given by pγ|¯γ (γ|¯ γ) = mγ mm γ m−1 exp − Γ(m)¯ γm γ¯ , m > 0, γ ≥ 0, (3.1) where Γ(x) denotes the Gamma function. The average SNR γ¯ itself is a random variable with PDF given by 19 pγ¯ (¯ γ) = where γ¯ γ¯ γ¯ k−1 exp − k γ¯ Γ (k) γ¯ , k > 0, γ¯ ≥ 0, (3.2) E {¯ γ }. By combining the above two equations we obtain the PDF of the instantaneous SNR γ given by pγ (γ) = where a 2 m ¯, γ α β−1 aβ+1 √ 2 K (a γ), γ α β Γ(k)Γ(m)2 k − m, β (3.3) k + m − 1, and Kv (x) denotes the modified Bessel function of the second kind and order v. This instantaneous SNR may also be used to model cascade multipath fading. As an example, the case of double Rayleigh–fading [9, 10] is obtained when k = m = 1, where pγ (γ) = 2 K0 2 γ¯ m γ¯ . (3.4) More or less severe cascade multipath fading can be modeled by varying the parameters k and m accordingly. In particular, for the special case where k = 1, we obtain a cascade multipath fading model composed of a Rayleigh fading process and a Nakagami–m fading process. Finally, it is worth noting that in the case of cascade multipath fading, γ¯ is a deterministic quantity and γ¯ = γ¯ . In the following, we consider transmission over L generalized K–fading branches and derive expressions for the MGF of the instantaneous sum SNR L γt γl , (3.5) l=1 where γl is the instantaneous SNR associated with the lth branch (l ∈ {1, . . . , L}). These expressions will later be utilized in Section 4.3 to determine the diversity order of coherent transmission with maximum–ratio combining (MRC) at the receiver, and in Section 5 to extend our performance analysis for DBPSK/non–coherent FSK modulation with EGC at the receiver (Section 4) to the case of DQPSK and M –ary non–coherent FSK modulation. We note that the derived MGF expressions could also be useful for other performance analyses (e.g., outage analysis) and are thus of general interest. 20 We start with the case of independent but not necessarily identically distributed (i.n.d.) fading across branches, which is relevant for the case of cascade multipath fading. Subsequently, we address the case of composite shadowing and multipath fading. 3.2 MGF of Sum SNR for the Case of I.N.D. Fading Let γ¯l E{γl } denote the average SNR associated with the lth branch minl∈{1,...,L} {γ¯l }, i.e., the average (l ∈ {1, . . . , L}). Moreover, we define θ SNR γ¯l can be written as γ¯l δl · θ with constant δl ≥ 1 for all indices l ∈ {1, . . . , L}. In the following, the individual branches are assumed to be characterized by independent generalized K–fading, where for the lth branch βl ml , γ¯l αl kl − ml , and The MGF of the instantaneous branch SNR γl , Mγl (x) E{exγl }, can the parameters of the PDF (3.3) are given by al 2 kl + ml − 1. be derived based on (3.3) by employing [§6.643, no. 3] from [23]. Using the relation [24, Ch. 13] Wµ,ν (x) = e−x/2 xν+1/2 U (1/2 + ν − µ, 1 + 2ν; x) (3.6) between the Whittaker function Wµ,ν (x) and the confluent hypergeometric function of the second kind U (a, b; x), one obtains the following closed-form expression: Mγl (x) = −ml xδl θ kl U kl , 1 + αl ; −ml xδl θ . (3.7) Note that U (a, b; x) is also known as Kummer’s function of the second kind or Tricomi’s confluent hypergeometric function. In addition, for numerical evaluation, the representation [24, Ch. 13] 21 U (a, b; x) = Γ (1 − b) 1 F1 (a, b; x) Γ (a − b + 1) Γ (b − 1) + x1−b 1 F1 (a − b + 1, 2 − b; x) Γ (a) (3.8) of U (a, b; x) in terms of the Kummer confluent hypergeometric function 1 F1 (a, b; x) is sometimes preferable, which leads to the following expression for Mγl (x): Mγl (x) = −ml xδl θ + kl −m Γ (−αl ) 1 F1 kl , 1 + αl ; Γ (ml ) xδl θ ml −ml −m Γ (αl ) 1 F1 ml , 1 − αl ; xδl θ Γ (kl ) xδl θ (3.9) . Due to the assumption of independent fading, the MGF of the instantaneous E{exγt }, is given by sum SNR γt according to (3.5), Mγt (x) L Mγt (x) = l=1 kl −ml xδl θ U kl , 1 + αl ; −ml xδl θ . (3.10) In the case of i.i.d. fading, the above expression reduces to Mγt (x) = k1 = . . . = kL 3.3 −ml xθ k, m1 = . . . = mL kL U −m k, 1 + α; xθ m, δ1 = . . . = δL L (3.11) 1 . MGF of Sum SNR for Correlated Composite Shadowing and Multipath Fading In the case of composite shadowing and multipath fading, it is assumed that the shadowing part is fully correlated across links, whereas the multipath fading is i.i.d. across the L branches k1 = . . . = kL k, m1 = . . . = mL m . Correspondingly, all branches are characterized by the same average SNR, γ¯ , which itself is a random variable with PDF given by (3.2). Moreover, we 22 have γ¯1 = . . . = γ¯L θ. The joint PDF of the instantaneous branch SNRs γl (l ∈ {1, . . . , L}), conditioned on the average SNR γ¯ , is given by L pγ1 ,...,γL |¯γ (γ1 , . . . , γL |¯ γ) = l=1 pγl |¯γ (γl |¯ γ) , (3.12) due to the assumption of independent multipath fading across the L branches. Correspondingly, the conditional MGF of the instantaneous sum SNR γt , Mγt |¯γ (x) ∞ xγt e pγt |¯γ 0 (γt |¯ γ ) dγt , is given by L Mγt |¯γ (x) = Mγl |¯γ (x) . (3.13) l=1 Based on (3.1) and [§3.381, no. 4] from [23], the conditional MGF of the instan∞ xγl e pγl |¯γ 0 taneous branch SNR γl , Mγl |¯γ (x) (γl |¯ γ ) dγl , can be calculated as Mγl |¯γ (x) = m m − x¯ γ m , ℜ{x} < 0, (3.14) which is the well-known MGF for Nakagami-m fading [13, Ch. 2.2]. Based on (3.2), (3.13) and (3.14), the (unconditional) MGF of γt can be written as Mγt (x) = 1 Γ (k) θk ∞ γ¯ k−1 1− 0 mL x γ¯ m · e−¯γ /θ d¯ γ. (3.15) As will be seen in Section 5.3, error probabilities for values m ∈ N, where N denotes the set of all integers greater than zero, can typically be evaluated with a high accuracy by replacing m with a slightly different value m ± ǫ ∈ / N, where ǫ > 0 is a small perturbation value. Therefore, assuming that m is a finite non-integer value and employing [§3.383, no. 5] from [23], we find the following closed-form expression for the MGF of γt : 23 Mγt (x) = (k)−mL · (mL)1−k × −m xθ − where (x)ν mL −m xθ (3.16) Γ(mL) Γ(1−mL) −∆k,m · L−mL Γ(1−k) k Γ(k) Γ(1−k) ∆k,m · L−k Γ(1−mL) −m xθ −m xθ , θ < ∞, ℜ{x} < 0. Γ (x + ν) /Γ (x) denotes the Pochhammer symbol and Lba (x) de- notes the generalized Laguerre function. Moreover, the identity Γ (x) Γ (1 − x) = π/ sin (πx) is used for the Gamma function and the short-hand notation ∆k,m k−mL is introduced. Finally, similar to Section 3.2, the MGF (3.16) can be expressed in terms of the Kummer confluent hypergeometric function 1 F1 (a, b; x): Mγt (x) = γ (∆k,m ) · − −m xθ −m xθ k mL −m 1 1 F1 mL, 1 − ∆k,m ; Γ (k) xθ (3.17) −m 1 Γ (1 − ∆k,m ) 1 F1 k, 1 + ∆k,m ; Γ (mL) Γ (1 + ∆k,m ) xθ , where we have used the relation [24, Ch. 13] Lba (x) = (b + 1)a 1 F1 (−a, b + 1; x) . γ (a + 1) for non-integer values of b. 24 (3.18) Chapter 4 1 Generalized K –Fading: Binary Modulation Scenario In this section, closed–form BEP expressions for DBPSK/non–coherent FSK modulation over L generalized K–fading branches with EGC at the receiver are derived. We start with the case of i.n.d. fading across branches. Furthermore, we will derive the expressions for the case of composite shadowing and multipath fading. 4.1 BEP for I.N.D. Fading In this section, we consider the case of DPSK/non–coherent FSK modulation over L branches with EGC at the receiver, the instantaneous EGC output SNR is given by γt L l=1 γl [13, Ch. 9.4], where γl denotes the instantaneous SNR associated with the lth branch. For a fixed value of γt , the BEP of DBPSK/non–coherent FSK modulation over L branches with EGC at the receiver is given by [25, Ch. 14.4] Pb (γt ) = cl L−1 1 22L−1 1 l! cl (gγt )l , exp(−gγt ) (4.1) l=0 L−1−l κ=0 25 2L − 1 , κ (4.2) where g 1 for DBPSK and g 1/2 for binary non–coherent FSK mod- ulation. In order to derive a closed–form expression for the average BEP P¯b (θ) Eγ t {Pb (γt )}, we first note that the joint PDF of the instantaneous branch SNRs γl (l ∈ {1, . . . , L}) is given by L pγ1 ,...,γL (γ1 , . . . , γL ) = pγl (γl ), (4.3) l=1 due to the assumption of independent fading across the L branches. Further[κ1 , . . . , κL ] ∈ NL0 and the index set more, we define the index vector κ κ ∈ NL0 | κ1 + . . . + κL = l , Kl (4.4) where N0 denotes the set of all integers greater than or equal to zero. We also note that γtl can be expressed as [24, Ch. 24] l κ1 γ . . . γLκL , κ 1 γtl = (γ1 + . . . + γL )l = κ∈Kl where l κ (4.5) l!/(κ1 ! . . . κL !). Based on the above findings, the average BEP P¯b (θ) can be expressed as P¯b (θ) = L−1 1 22L−1 cl g l=0 L l κ l κ∈Kl ∞ 0 λ=1 exp(−gγλ )γλκλ pγλ (γλ ) dγλ . (4.6) Plugging in (3.3) for the PDFs pγl (γl ), l ∈ {1, . . . , L}, and employing [§6.643, no. 3] from [23] in conjunction with (3.6), we obtain for the average BEP the following closed–form expression: P¯b (θ) = 1 22L−1 L−1 l κ cl l=0 κ∈Kl (4.7) L × mλ δλ θ (kλ )κλ (mλ )κλ g kλ λ=1 kλ U kλ + κλ , 1 + αλ ; For the special case of i.i.d. fading, where k1 = . . . = kL mL m, α k − m, and δ1 = . . . = δL P¯b (θ) = 1 22L−1 m gθ cl κ∈Kl (k)κλ (m)κλ U λ=1 26 k, m1 = . . . = l κ L × . 1, (4.7) simplifies to kL L−1 l=0 mλ gδλ θ k + κλ , 1 + α; (4.8) m gθ . Finally, for the special case L = 1, (4.1) reduces to Pb (γt ) = Pb (γ1 ) = 21 e−gγ1 , and P¯b (θ) can be evaluated as 1 P¯b (θ) = 2 k m gθ U k, 1 + α; m gθ . (4.9) For comparison, in the case of i.i.d. Rayleigh fading the average BEP P¯b (θ) is given by [25, Ch. 14.4] P¯b (θ) = L−1 1 22L−1 (L − 1)! (1 + gθ)L l=0 cl (L − 1 + l)! gθ 1 + gθ l , (4.10) and we have P¯b (θ) = 1 , 2 (1 + gθ) (4.11) for the special case L = 1. 4.2 BEP for Correlated Composite Shadowing and Multipath Fading In the case of composite shadowing and multipath fading, we again assume that the shadowing part is fully correlated across links, whereas the multipath fading is i.i.d. across the L branches. In or to arrive at a closed–form expression for the average BEP P¯b (θ), we first average (4.1) over the instantaneous branch SNRs γl , while conditioning on γ¯ . In the final step, the resulting conditional BEP, denoted as P¯b (¯ γ ), is then averaged over γ¯ . Similar to (4.6), the conditional BEP P¯b (¯ γ ) can be written as P¯b (¯ γ) = 1 22L−1 L−1 cl g l=0 l κ∈Kl l κ L λ=1 ∞ 0 e−gγλ γλκλ pγλ |¯γ (γλ |¯ γ ) dγλ , (4.12) where we have used the joint PDF pγ1 ,...,γL |¯γ (γ1 , . . . , γL |¯ γ ), conditioned on the average SNR γ¯ , can be written as the product of the conditional PDFs 27 pγl |¯γ (γl |¯ γ ) of the instantaneous branch SNRs γl (l ∈ {1, . . . , L}), cf. (3.12). Plugging in (3.1) for the conditional PDFs pγl |¯γ (γl |¯ γ ) and employing [§3.381, no.4] from [23], we find the following expression for P¯b (¯ γ ): L L−1 mm Γ (m) 1 P¯b (¯ γ) = 22L−1 cl g l l=0 L Γ (m + κλ ) × m1 = . . . = mL = (4.13) γ¯κλ (g¯ γ + m)m+κλ , m . Based on the PDF (3.2) of the average SNR γ¯ , the average BEP P¯b θ¯ P¯b θ¯ λ=1 κ∈Kl l κ Eγ¯ {P¯b (¯ γ )} can be written as L−1 1 1 22L−1 Γ (k) (Γ (m))L θk × L λ=1 l κ κ∈Kl cl g l (4.14) l=0 Γ (m + κλ ) ml ∞ 0 γ¯ k+l−1 · e−¯γ /θ g γ¯ m +1 mL+l d¯ γ. Employing [§3.383, no. 5] from [23] and assuming that m is a finite non-integer value and k = mL, we find the following closed–form expression for the average BEP P¯b (θ): P¯b (θ) = 1 22L−1 π 1 Γ (k) sin (π∆k,m ) L−1 × cl l=0 κ∈Kl m gθ × − L l κ mL m gθ (4.15) (m)κλ λ=1 Γ (1 − ϕm,l ) −∆k,m L Γ (1 − ψk,l ) −ϕm,l k sin (πϕm,l ) ∆k,m L sin (πψk,l ) −ψk,l where we have introduced the short–hand notations ψk,l mL + l. 28 m gθ m gθ , k + l and ϕm,l 4.3 Asymptotic Analysis and Diversity Order Since the closed–form BEP expressions (4.8) and (4.12) involve non–standard functions and the primary behavior of the resulting BEP curves is not obvious, in this section, we will investigate the behavior of (4.8) and (4.12) for high SNR values (θ → ∞). In particular, we derive expressions for the resulting (asymptotic) diversity order1 . d lim d (θ) , θ→∞ d (θ) − ∂ log P¯b (θ) . ∂ log (θ) (4.16) In particular, we show that the diversity order of DBPSK/non-coherent FSK modulation is, in fact, the same as that in the case of coherent transmission. 4.3.1 The Case of Independent Fading For the ease of exposition, we focus on the case of i.i.d. fading here, i.e., γ¯1 = . . . = γ¯L = θ, m1 = . . . = mL m, k1 = . . . = kL k. An extension to the case of i.n.d fading is, however, straightforward. In the following, we derive approximate expressions for the average BEP (4.9), by employing corresponding approximations of the confluent hypergeometric function U (a, b; x). Consider first the case where the two fading parameters k and m are different, i.e., α = k − m = 0. For the ease of exposition, we assume that α is a non–integer value. For x → ∞ and non–integer values of b, the confluent hypergeometric function U (a, b; x) can be approximated as [24, Ch. 13] U (a, b; x) = ˙ 1 Γ (1 − b) Γ (b − 1) 1−b + x , Γ (1 − b + a) Γ (a) (4.17) The (asymptotic) diversity order is the negative slope of the BEP curve for high SNR values on a log–log scale. It has been shown to be a useful measure for characterizing the principal behavior of digital transmission schemes over various fading channels [25, Ch. 14.4]. 29 where = ˙ denotes asymptotic equality. For θ → ∞ and non–integer values of α, the average BEP (4.8) can thus be approximated as 1 P¯b (θ) = ˙ 2L−1 2 where ξ1 m gθ ξ1 L L−1 cl l=0 κ∈Kl min{k, m} and ξ2 L (k)κλ (m)κλ Γ (|α|) Γ (k + κλ ) Γ (ξ2 + κλ ) λ=1 l κ . (4.18) max{k, m}. In the case k < m, (4.18) simplifies to 1 P¯b (θ) = ˙ 2L−1 2 m gθ ξ1 L Γ (|α|) Γ (k) Γ (m) L L−1 cl l=0 κ∈Kl l . κ (4.19) From (4.18) and (4.19) we find d = ξ1 L = min{k, m} · L. (4.20) Interestingly, the smaller of the two fading parameters, k and m, limits the asymptotic diversity order. For example, in the case of cascade Rayleigh/ Nakagami–m fading with k = 1 and m ≥ 1 the asymptotic diversity order is always given by d = L, just as in the case of pure Rayleigh fading, where [25, Ch. 14.4] P¯b (θ) = ˙ 1 2gθ L 2L − 1 . L (4.21) Next, consider the case α = 0, i.e., k = m. For x → 0 and b = 1, the confluent hypergeometric function U (a, b; x) can be approximated as [24, Ch. 13] U (a, b; x) = ˙ − where Ψ (x) ∂ Γ (x) ∂x 1 (ln (x) + Ψ (a) + 2γ ′ ) , Γ (a) (4.22) /Γ (x) denotes the Digamma function and γ ′ the Euler–Mascheroni constant. For θ → ∞ and α = 0, the average BEP (4.9) can thus be approximated as 30 P¯b (θ) = ˙ 1 − 22L−1 k m gθ ln L−1 × l=0 κ∈Kl (4.23) L (k)κλ (m)κλ Γ (k + κλ ) λ=1 l κ cl L m gθ . Correspondingly, we find d (θ) = k− 1 ln (θ) L= m− 1 ln (θ) L, (4.24) i.e., the asymptotic diversity order is given by d = kL = mL. (4.25) This result is in accordance with [10], where the diversity order of various coherent modulation schemes was determined for the special case of a single branch (L = 1) being subject to double Rayleigh fading (k = m = 1). Moreover, note that (4.25) is also in accordance with (4.20). Finally, we compare the above results for DBPSK/non–coherent FSK modulation to the asymptotic diversity order obtained in the case of a coherent transmission scheme. As an example, we consider a binary phase shift keying (BPSK) scheme over L i.i.d. generalized K–fading links with MRC at the receiver. The corresponding average BEP can be determined via the following finite–range integral [26]: 1 P¯b (θ) = π π/2 0 Mγt − 1 sin (φ) 2 dφ, where the MGF Mγ t (x) of the instantaneous MRC output SNR γt = (4.26) L l=1 γl is given by (3.11). As earlier, we assume for simplicity that α is a non–integer value. Based on (4.17) and employing [§3.621, no. 1] from [23], the average BEP (4.26) for high SNR values θ → ∞ can be approximated as 1 P¯b (θ) = ˙ 2π Γ (|α|) Γ (ξ2 ) L 4m θ ξ1 L B (ξ1 L + 1/2, ξ1 L + 1/2) , 31 (4.27) where B(x, y) denotes the Beta function. Correspondingly, the diversity order of BPSK modulation over L i.i.d. generalized K–fading links with MRC at the receiver is given by d = ξ1 L = min{k, m} · L, (4.28) just as in the case of the considered non–coherent transmission schemes, cf. (4.20). 4.3.2 Correlated Composite Shadowing and Multipath Fading In this section, we derive an approximate expression for the average BEP (4.15) for high SNR values θ → ∞, by employing a corresponding approximation of the generalized Laguerre function Lba (x). For x → ∞, the generalized Laguerre function Lba (x) can be approximated as [27, Ch. 13.2] . (b+1)a . Lba (x) = Γ(a+1) (4.29) For θ → ∞, the average BEP (4.15) can thus be approximated as . P¯b (θ) = 1 22L−1 sign (∆k,m ) π Γ (k) sin (π∆k,m ) × where ζ1 κ∈Kl l κ L (m)κλ λ=1 m gθ ζ1 L−1 cl Ξl (4.30) l=0 (1 − |∆k,m |)−ζ1 −l , Γ(1 − ψk,l ) min{k, mL}, sign(x) denotes the sign function (i.e., sign(x)=+1 for all x ≥ 0 and sign(x)= -1 otherwise), and2 2 As earlier, we assume that k = mL, since otherwise (4.15) is not valid. However, it turns out that (4.30) yields nearly identical results for k = mL + ǫ and k = mL − ǫ, if ǫ is chosen sufficiently small. 32 Ξl sin(πϕ )/ sin(πψ ) for k < mL m,l k,l . 1 for k > mL (4.31) Correspondingly, the asymptotic diversity order in the case of correlated composite shadowing and multipath fading is obtained as d = ζ1 = min{k, mL}. (4.32) This result reveals an interesting interplay between macroscopic diversity due to shadowing effects and microscopic diversity due to multipath fading: the asymptotic diversity order is always limited by either the shadowing effect (k ≤ mL) or the multipath fading (mL < k), depending on which one of the two fading effects is more severe. In order to arrive at (4.30) , we have utilized that for θ → ∞ only one of the two Lba (x)–terms in (4.15) dominates, namely the one which is associated with the term ( gmθ )ζ1 . Correspondingly, if k ≈ mL the convergence of the asymptotic solution (4.30) to the exact expression (4.15) can be expected to be rather slow, since the dominant term will only emerge for very large values of θ. However, if k and mL are sufficiently different, the convergence of (4.30) is typically quite fast, as will be seen from the numerical performance results presented in Section 5.3. In order to compare the asymptotic diversity order (4.32) for DBPSK/non– coherent FSK modulation to that in the case of BPSK modulation, we first note that (4.26) is valid for arbitrary fading correlations (if an expression for the MGF Mγt (x) of the instantaneous MRC output SNR γt is available). In the case of correlated composite shadowing and multipath fading, the MGF Mγt (x) is given by (3.16). Based on (4.29) and employing [§3.621, no. 1] from [23], the average BEP (4.26) for θ → ∞ can be approximated as 33 . sign (∆k,m ) (k)−mL (mL)1−k P¯b (θ) = 2π Γ (ζ1 ) (1 − |∆k,m |)−ζ1 4m × Γ (1 − ζ2 ) θ where ζ2 (4.33) ζ1 B (ζ1 + 1/2, ζ1 + 1/2) , max{k, mL}. Correspondingly, the diversity order of BPSK mod- ulation over L correlated composite shadowing/multipath fading links with MRC at the receiver is given by d = ζ1 = min{k, mL}, (4.34) just as in the case of the non–coherent transmission schemes, cf. (4.32). 34 Chapter 5 1 Generalized K–Fading: Extensions to M –ary Modulation The closed-form expressions (3.10) and (3.16) for the MGF of the instantaneous sum SNR γt in the case of i.n.d. fading and correlated composite shadowing/multipath fading, respectively, can be utilized to extend our performance analysis in Section 4 to the case of non–binary transmission. As an example, we will focus on the average BEP of DQPSK modulation with Gray mapping, the average BEP of M –ary orthogonal FSK modulation, and the average symbol error probability (SEP) of coherent M –ary phase shift keying (PSK) modulation. 5.1 BEP for I.N.D. Fading In the case of i.n.d. fading, the average BEP of DQPSK modulation with Gray mapping over L branches with EGC at the receiver is given by [13, Ch. 9.4] P¯b (θ) = 1 π22L π −π f (L, ρ; φ) 1 + 2ρ sin (φ) + ρ2 where 35 L l=1 Mγl −2 − √ 2 sin (φ) dφ, (5.1) L f (L, ρ; φ) l=1 c′l · [a1 (ρ) cos ((l − 1) (φ + π/2)) (5.2) − a2 (ρ) cos (l (φ + π/2))] , c′l 2L − 1 , a1 (ρ) L−l ρ−l+1 − ρl+1 , a2 (ρ) ρ−l+2 − ρl , √ 2− 2 √ , 2+ 2 ρ (5.3) (5.4) and Mγl (x) is given by (3.7). Thus, the average BEP (5.1) for the case of i.n.d. generalized K–fading can be evaluated numerically via a single finite– range integral over known functions. Similarly, the average BEP for M –ary orthogonal FSK over L branches with non–coherent detection and EGC at the receiver can be evaluated numerically based on the single finite–range integral expression (9.130) in [13, Ch. 9.4], which again depends on the product of the MGFs Mγl (x), l ∈ {1, . . . , L}. Finally, the average SEP for coherent M –ary PSK modulation over L branches with MRC at the receiver can be calculated via the finite–range integral1 [26] 1 P¯S (θ) = π (M −1)π/M 0 L l=1 Mγl − sin2 (π/M ) sin2 (φ) dφ. (5.5) For the special case L = 1, there is also a finite–range integral expression for the average SEP of M –ary DPSK modulation [13, Ch. 8.2.5]: 1 P¯S (θ) = π (M −1)π/M Mγt 0 − sin2 (π/M ) 1+ 1 − sin2 (π/M ) cos (φ) dφ. (5.6) Next, we consider the case of correlated composite shadowing and multipath fading. 1 Similar expressions can also be stated for M –ary amplitude–shift–keying (ASK) modu- lation and M –ary quadrature–amplitude modulation (QAM) [26]. 36 5.2 BEP for Correlated Composite Shadowing and Multipath Fading Since (5.1) is also valid for the case of fully correlated shadowing/i.i.d. multipath fading (proof is given at the end of the section), we have P¯b (θ) = 1 π22L π −π √ f (L, ρ; φ) M −2 − 2 sin (φ) dφ, γ t 1 + 2ρ sin (φ) + ρ2 (5.7) where Mγt (x) is given by (3.16) .2 Similarly, (5.5) again holds for arbitrary fading correlations, i.e., we have (M −1)π/M sin2 (π/M ) dφ. (5.8) sin2 (φ) 0 Based on (3.16) , the average SEP (5.8) for correlated composite shadowing 1 P¯S (θ) = π Mγt − and multipath fading can thus be evaluated numerically via a single finite– range integral over known functions. To prove the validity of (5.7) for the case of fully correlated shadowing/i.i.d. multipath fading, we extend the derivation of (5.1) presented in [13, Ch. 9.4] accordingly. Given a fixed value of the instantaneous EGC output SNR γt , the BEP of DQPSK modulation with Gray mapping over L branches with EGC at the receiver can be written as P¯b (γt ) = 1 π22L π −π L f (L, ρ; φ) 1 + 2ρ sin (φ) + ρ2 b 2 γl 1 + 2ρ sin (φ) + ρ2 × exp − 2 l=1 (5.9) dφ, where f (L, ρ; φ) and ρ are given by (5.2) and (5.4), respectively, and b √ 2 + 2 [13, Ch. 9.4]. The average BEP P¯b (θ) can thus be written as 0 2 ∞ ∞ P¯b (θ) = ··· 0 ∞ L P¯b (γt ) 0 l=1 pγl |¯γ (γl |¯ γ ) pγ¯ (¯ γ ) d¯ γ dγ1 · · · γL , Note that (5.7) is not valid for arbitrary fading correlations. 37 (5.10) where we have used that the joint PDF pγ1 ···γL |¯γ (γ1 · · · γL |¯ γ ), conditioned on the average SNR γ¯ , can be written as the product of the conditional PDFs pγl |¯γ (γl |¯ γ ) of the instantaneous branch SNRs γl (l ∈ {1, . . . , L}), cf. (3.12). Using (5.8) one obtains P¯b (θ) = 1 π22L π −π ∞ × 0 f (L, ρ; φ) 1 + 2ρ sin (φ) + ρ2 L l=1 ∞ 0 exp − b 2 γl 1 + 2ρ sin (φ) + ρ2 2 γ ) d¯ γ dφ × pγl |¯γ (γl |¯ γ ) dγl pγ¯ (¯ = 1 π22L π −π (5.11) f (L, ρ; φ) 1 + 2ρ sin (φ) + ρ2 L ∞ = 1 π22L b2 1 + 2ρ sin (φ) + ρ2 pγ¯ (¯ γ ) d¯ γ dφ × Mγl |¯γ − 2 0 π b2 f (L, ρ; φ) − M 1 + 2ρ sin (φ) + ρ2 dφ γt 2 1 + 2ρ sin (φ) + ρ 2 −π where we have used that the multipath fading is i.i.d., i.e., the conditional MGFs Mγl |¯γ (x) are identical for all branches l ∈ {1, . . . , L} and the (unconditional) MGF Mγt (x) is given by Mγt (x) = ∞ 0 Mγl |¯γ (x) L pγ¯ (¯ γ ) d¯ γ . Combin- ing (5.11) with the values for ρ and b, we finally arrives at (5.7). 5.3 Simulation and Numerical Results In the following, numerical performance results are presented which illustrate our findings in Section 4 and Section 5. In particular, we will present Monte– Carlo simulation results, so as to corroborate our analytical performance results. 5.3.1 The Case of Independent Fading In this section, we investigate the BEP performance of DBPSK modulation over L independent generalized K–fading branches with EGC at the receiver 38 (cf. Section 4.1 and 4.3.1). As an example, we focus on the case of i.i.d. cascade Rayleigh/Nakagami–m fading with k = 1 and m ≥ 1. Figure 5.1: Average BEP P¯b (θ) versus average SNR Lθ in dB for the case of i.i.d. double Rayleigh fading (k = 1, m = 1). Solid lines represent analytical results for DBPSK modulation with EGC at the receiver evaluated based on (4.8) /(4.9) using the values k = 1.01 and m = 0.99. Dashed lines represent corresponding analytical results for the case of i.i.d. Rayleigh fading evaluated based on (4.10)/(4.11). Corresponding simulation results for Rayleigh fading and double Rayleigh fading (k = 1, m = 1) are indicated by markers ‘◦’. Fig. 5.1 shows the average BEP P¯b (θ) for DBPSK versus the overall average received SNR Lθ in dB for the case of i.i.d. double Rayleigh fading (k = 1, m = 1). The solid lines represent analytical results for L ∈ {1, . . . , 4} evaluated based on (4.8) and (4.9) using the values k = 1.01 and m = 0.99. Corresponding simulation results (for k = 1 and m = 1), obtained by Monte– 39 Carlo simulations over a large number of independent channel realizations, are indicated by markers ‘◦’. As a reference, we have also included corresponding performance results for i.i.d. Rayleigh fading (L ∈ {1, . . . , 4}). As can be seen, the relative performance gains obtained for L > 1 diversity branches are quite similar for double Rayleigh fading and conventional Rayleigh fading. However, in comparison the BEP performance for double Rayleigh fading is significantly worse than that for Rayleigh fading (for all values of L).3 For example, in the case of L = 4 diversity branches, the performance difference between double Rayleigh fading and conventional Rayleigh fading at a BEP of 10−4 is about 5.3 dB. Vice versa, in order to achieve a BEP of less than 3 × 10−4 at an overall SNR of 20 dB, one requires L = 4 diversity branches in the case of double Rayleigh fading, whereas in the case of conventional Rayleigh fading L = 2 diversity branches are sufficient. Finally, we note that the analytical results and the simulation results are in good agreement, which corroborates our analysis in Section 4.1. In Fig. 5.2, the average P¯b (θ) of DBPSK modulation with EGC at the receiver is compared to that of coherent BPSK modulation with MRC at the receiver. As an example, we consider again the case of i.i.d. double Rayleigh fading (k = 1, m = 1). The analytical curves for BPSK modulation were obtained based on (3.11) and (4.26) using numerical integration. As can be seen, the general behavior of the curves for growing values of L is quite similar in the case of DBPSK and BPSK modulation. In particular, the asymptotic slopes of the curves are identical in both cases, as predicted by our asymptotic analysis in Section 4.3.1. Interestingly, the performance difference between DBPSK and BPSK modulation at high SNR values is about 3.8 dB (for all values of L), which is slightly larger than the well–known 3 dB difference in the case of conventional Rayleigh fading. Finally, Fig. 5.3 compares the average BEP P¯b (θ) of DBPSK with EGC 3 For the special case L = 1 and coherent PSK modulation, this observation was already made in [10]. 40 Figure 5.2: Average BEP P¯b (θ) versus overall average SNR Lθ in dB for the case of i.i.d. double Rayleigh fading (k = 1, m = 1). Solid lines represent analytical results for DBPSK modulation with EGC at the receiver evaluated based on (4.8) /(4.9) using the values k = 1.01 and m = 0.99. Dashed lines represent corresponding analytical results for coherent BPSK modulation with MRC at the receiver evaluated based on (3.11), (4.26) using numerical integration. Corresponding simulation results for k = 1 and m = 1 are indicated by markers ‘◦’ (both for DPSK and PSK modulation). at the receiver for various examples of i.i.d. cascade Rayleigh/Nakagami–m fading (k = 1, m ∈ {1, 3, 5}, L ∈ {1, 3}). For the example m = 3, we have also included the average BEP of coherent BPSK modulation with MRC at the receiver. Moreover, for the example m = 3, L = 3 we have included the asymptotic BEP curves as a reference (dotted lines), which were evaluated based on (4.18)/(4.19) and (4.27) for DBPSK and BPSK modulation, respec- 41 Figure 5.3: Average BEP P¯b (θ) versus overall average SNR Lθ in dB for different cases of cascade fading (k = 1 and m ∈ {1, 3, 5}). Solid lines represent analytical results for DBPSK modulation with EGC at the receiver evaluated based on (4.8) /(4.9) using the values k = 1.01 and m ∈ {0.99, 2.99, 4.99}, respectively. Dashed lines represent corresponding analytical results for coherent BPSK modulation with MRC at the receiver evaluated based on (3.11), (4.26) using numerical integration. Corresponding simulation results for k = 1 and m ∈ {1, 3, 5} are indicated by markers ‘◦’ (both for DPSK and PSK modulation). The dotted lines represent asymptotic BEP curves for the case m = 3, L = 3 evaluated based on (4.18)/(4.19) for DPSK modulation and based on (4.27) for PSK modulation. tively. As can be seen, the performance of DBPSK improves significantly, if the fading parameter m is increased from m = 1 to m = 3. As opposed to this, increasing m further to m = 5 yields comparatively small additional perfor- 42 mance gains, which indicates that the BEP performance is somewhat limited by the small value of the fading parameter k. Another interesting observation is that the performance difference between DBPSK and BPSK modulation at high SNR values is slightly reduced if the fading parameter m is increased. For example, in the case m = 3 the performance difference is about 3.3 dB, as opposed to 3.8 dB in the case of double Rayleigh fading, cf. Fig. 5.2. Finally, we again note that the analytical results (evaluated based on (4.8) and (4.9) using the values k = 1.01 and m ∈ {0.99, 2.99, 4.99}) and the simulation results for k = 1 and m ∈ {1, 3, 5} are in good agreement for all considered cases. Moreover, the asymptotic BEP curves accurately represent the behavior of the BEP curves at high SNR values, which corroborates our asymptotic analysis in Section 4.3.1. 5.3.2 Correlated Composite Shadowing and Multipath Fading Next, we consider the BEP performance of DBPSK modulation over L diversity branches that are subject to correlated composite shadowing and multipath fading (cf. Section 4.2 and 4.3.2). Fig. 5.4 presents numerical results for the average BEP P¯b (θ) as a function of the overall average received SNR Lθ in dB for the case k = 3 and m = 1 (mild shadowing) and L ∈ {1, . . . , 4}. Solid lines represent analytical results evaluated based on (4.15) , using the values k = 3.01 and m = 0.99. Dashed lines represent analytical results for coherent BPSK modulation with MRC at the receiver (for the cases L ∈ {1, 3, 4}), evaluated based on (3.16) and (4.26) using the same values k = 3.01 and m = 0.99. Corresponding simulation results for k = 3 and m = 1, obtained by Monte–Carlo simulations over a large number of independent channel realizations, are indicated by markers ‘◦’ (both for DPSK and PSK modulation). As can be seen, the analytical results and the simulation results are in good agreement, which corroborates our analysis in Section 4.2. Note 43 Figure 5.4: Average BEP P¯b (θ) versus overall average SNR L θ in dB for the case k = 3 and m = 1 (mild shadowing). Solid lines represent analytical results for DBPSK modulation with EGC at the receiver evaluated based on (4.15) using the values k = 3.01 and m = 0.99. Dashed lines represent corresponding analytical results for coherent BPSK modulation with MRC at the receiver evaluated based on (3.16) , (4.26) using numerical integration. Corresponding simulation results for k = 3 and m = 1 are indicated by markers ‘o’ (both for DPSK and PSK modulation). that significant diversity gains are accomplished in the case L > 1, both in the case of DPSK and PSK modulation. As can be seen, the general behavior of the BEP curves is the same for coherent and non–coherent transmission (similar to the case of i.i.d. cascade Rayleigh/Nakagami–m fading). The asymptotic advantage of BPSK over DBPSK modulation is about 3 dB, similar to the case of pure Rayleigh fading. 44 Figure 5.5: Average BEP P¯b (θ) versus overall average SNR L θ in dB for the case k = 3 and m = 1 (mild shadowing). Solid lines represent analytical results for DBPSK modulation with EGC at the receiver, evaluated based on (4.15) using the values k = 3.01 and m = 0.99. Dashed lines represent corresponding asymptotic results evaluated based on (4.30) . In Fig. 5.5, we compare the exact analytical BEPs for DPSK modulation according to (4.15) with the asymptotic BEPs according to (4.30) .4 As earlier, the values k = 3.01 and m = 0.99 were employed for evaluating the expressions (4.15) and (4.30) . It can be seen that convergence is comparatively fast for the cases L = 2 and L = 4. In particular, the BEP curves exhibit the predicted diversity orders of d = 2m = 2 and d = k = 3, respectively. However, as 4 For BPSK modulation with MRC at the receiver we have obtained very similar results (not depicted) by evaluating asymptotic BEPs according to (4.33) and comparing them with the corresponding analytical BEPs according to (3.16) and (4.26). 45 discussed in Section 4.3.2, in the case L = 3 convergence is very slow, since k ≈ mL. In this example, SNR values on the order of 100 dB are required, until the exact analytical BEP (4.15) approaches the asymptotic BEP (4.30) and assumes the predicted asymptotic diversity order of d = 3m ≈ k ≈ 3. Note that since the maximum diversity order is accomplished for L = 3, the relative performance advantage of L > 3 branches is comparatively small in this example. Finally, in Fig. 5.6 numerical performance results for the case k = 1 and m = 3 (severe shadowing) and L ∈ {1, 4} are presented. Again it can be seen that the analytical results (solid lines for DBPSK and dashed lines for BPSK modulation) and the simulation results (markers ‘◦’) are in good agreement. The analytical results for DBPSK and BPSK modulation were again evaluated based on (4.15) and (3.16) , (4.26), respectively, using the values k = 1.01 and m = 2.99. Interestingly, in contrast to the case of mild shadowing, L > 1 branches offer no diversity benefit at all. As can be seen, in the case of DBPSK modulation the BEP curve for L = 4 is even slightly worse than the BEP curve for L = 1 (due to the SNR normalization). The BEP curves for L = 2 and L = 3 (not depicted) lie in between the curves for L = 1 and L = 4. As predicted by the asymptotic BEP (4.30) , included here for the case L = 4 (dotted line), the BEP curves of DBPSK for L ≥ 1 branches are all characterized by the same asymptotic diversity order of d = k = 1. Also note that the convergence of the asymptotic BEP (4.30) to the exact BEP (4.15) is comparatively fast in this example. Finally, we note that while in the case of BPSK modulation the asymptotic diversity order is the same as for DBPSK modulation, the order of the curves is swapped here, i.e., L = 4 offers a slight performance advantage over L = 1 (the BEP curves for L = 2 and L = 3 were again found in between the curves for L = 1 and = 4). 46 Figure 5.6: Average BEP P¯b (θ) versus overall average SNR L θ in dB for the case k = 1 and m = 3 (severe shadowing). Solid lines represent analytical results for DBPSK modulation with EGC at the receiver evaluated based on (4.15) using the values k = 1.01 and m = 2.99. Dashed lines represent corresponding analytical results for coherent BPSK modulation with MRC at the receiver evaluated based on (3.16) , (4.26) using numerical integration. Corresponding simulation results for k = 1 and m = 3 are indicated by markers ‘o’ (both for DPSK and PSK modulation). The dotted lines represent asymptotic BEP curves for the case L = 4 evaluated based on (4.30) for DPSK modulation and based on (4.33) for PSK modulation. 5.3.3 Performance of M –ary Modulation Schemes Finally, we present some numerical performance results for M –ary modulation. As an example, we focus on the case of DQPSK and coherent quaternary 47 Figure 5.7: Average BEP P¯b (θ) versus overall average SNR per bit Lθ/2 in dB for the case of cascade fading with k = 1 and m = 3. Solid lines represent analytical results for DQPSK modulation with EGC at the receiver evaluated based on (3.11) and (5.1) using the values k = 1.01 and m = 2.99. Dashed lines represent corresponding analytical results for coherent QPSK modulation with MRC at the receiver evaluated based on (3.11) and (4.26) using numerical integration. Corresponding simulation results for k = 1 and m = 3 are indicated by markers ‘o’ (both for DPSK and PSK modulation). PSK (QPSK) modulation over L i.i.d. cascade Rayleigh/ Nakagami–m fading branches with k = 1 and m = 3. Fig. 5.7 displays the corresponding average BEPs P¯b (θ) versus the overall average received SNR per bit Lθ/2 in dB for L ∈ {1, . . . , 4} diversity branches. The analytical results for DQPSK modulation with EGC at the receiver (solid lines) were evaluated based on (3.11) and (5.1) via numerical integration using the values k = 1.01 and m = 2.99. The 48 analytical results for coherent QPSK modulation with MRC at the receiver (dashed lines) were evaluated based on (3.11) and (4.26), exploiting the fact that the average BEP of QPSK with Gray mapping is identical to that of BPSK modulation. As can be seen, the basic behavior of the BEP curves is very similar to the case of DBPSK/BPSK modulation.5 In particular, the asymptotic slope of the BEP curves as well as the performance difference between DQPSK and QPSK modulation is the same as in the case of binary transmission (cf. Fig. 5.3). Again, we note that the analytical results and the simulation results are in good agreement, which corroborates our analysis in Section 5. 5 We have made the same observation for the case of correlated composite shadowing and multipath fading (not depicted). 49 Chapter 6 1 Conclusion In this thesis, we have focused on the receiver design for DSTM over correlated MIMO channels. In addition, the performance analysis of DPSK and non– coherent FSK over generalized fading channels is considered. For DSTM receiver design, we have derived novel MSDD and low–complexity MS–DFDD receivers for DSTM in spatially correlated fading. We have compared MS–DFDD with previously proposed SP- and VP–DFDD, and shown that SP- and VP–DFDD are equivalent at high SNR. In contrast to VP–DFDD, MS–DFDD performs spatial whitening of the prediction error and thus exploits spatial fading correlations in an optimum manner. The generalized K–fading model, which is characterized by two fading parameters, k > 0 and m > 0, is versatile enough to cover both scenarios with cascade multipath fading and scenarios with composite shadowing and multipath fading. In this thesis, we have derived closed–form expressions for the BEP of DBPSK modulation and binary non–coherent FSK modulation over L generalized K–fading links. In particular, we have considered the case of independent fading across links, which is relevant for cascade multipath fading scenarios, and the case of correlated composite shadowing and multipath fading. Moreover, we have conducted an asymptotic performance analysis for high SNR values and have studied the resulting diversity orders for various cases. We have also discussed the extension of our results to M –ary modulation 50 schemes. Our results have shown that there is an interesting interplay between the two fading parameters k and m. In the case of independent fading, the smaller of the two fading parameters limits the asymptotic diversity order. Similarly, in the case of correlated composite shadowing and multipath fading, the asymptotic diversity order is always limited by either the shadowing effect or the multipath fading, depending on which one of the two fading effects is more severe. Moreover, for both scenarios we have shown that the diversity order of the considered non–coherent transmission schemes is, in fact, the same as in the case of coherent transmission. Finally, numerical performance results were presented, in order to illustrate the above findings, and our analytical performance results were corroborated by means of Monte–Carlo simulations. Some recommendations for future work may include the study of amplify– and–forward and/or decode–and–forward relaying under general K–fading (on each link). One could again study the interplay of shadowing and multipath fading. Since the individual nodes are spatially distributed on a larger scale, the assumption of independent fading on each link would apply. 51 Bibliography [1] B. M. Hochwald and W. Sweldens. Differential unitary space–time modulation. IEEE Trans. Commun., 48:2041–2052, December 2000. [2] D. Divsalar and M. K. Simon. Multiple symbol differential detection of MPSK. IEEE Trans. Commun., 38(3):300–308, March 1990. [3] P. Ho and D. Fung. Error performance of multiple–symbol differential detection of PSK signals transmitted over correlated Rayleigh fading channels. IEEE Trans. Commun., 40(10):1566–1569, October 1992. [4] B. Allen, Y. Kuroda, F. Said, and A. Aghvami. Comparison of coherent and differential space-time block codes over spatially correlated channels. IEEE Trans. Consumer Electronics, 50:1232–1236, November 2004. [5] X. Cai and G. Giannakis. Differential space–time modulation with eigen– beamforming for correlated MIMO fading channels. IEEE Trans. Signal Processing, 54:1279–1288, April 2006. [6] V. Nguyen. A differential space–time modulation scheme for correlated Rayleigh fading channels: Performance analysis and design. IEEE Trans. Signal Processing, 55:299–312, January 2007. [7] P. Tarasak, H. Minn, and V. K. Bhargava. Linear prediction receiver for differential space–time block codes with spatial correlation. IEEE Commun. Lett., 7(11):543–545, November 2003. [8] D. Tse and P. Viswanath. Fundamentals of Wireless Communication. New York: Cambridge University Press, 2005. 52 [9] V. Erceg, S. Fortune, J. Ling, Jr. A. Rustako, and R. Valenzuela. Comparisons of a computer–based propagation prediction tool with experimental data collected in urban microcellular environments. IEEE J. Selected Areas Commun., 15(4):677–684, May 1997. [10] J. Salo, H. M. El-Sallabi, and P. Vainikainen. Impact of double–Rayleigh fading on system performance. In Proc. Int. Symp. on Wireless Pervasive Computing (ISWPC), Phuket, Thailand, January 2006. [11] M. Uysal. Diversity analysis of space–time coding in cascaded Rayleigh fading channels. IEEE Commun. Letters, 10(3):165–167, March 2006. [12] N. H. Tran, H. H. Nguyen, and T. Le-Ngoc. Application of signal space diversity in BICM–ID over cascaded Rayleigh fading channels. In Proc Int. Conf. Commun. (ICC), pages 4011–4016, Glasgow, Scotland, June 2007. [13] M. K. Simon and M.-S. Alouini. Digital Communication Over Fading Channels. John Wiley & Sons, Hoboken, NJ, 2nd edition. [14] I. M. Kostic. Analytical approach to performance analysis for channel subject to shadowing and fading. IET Proc. Commun., 152(6):821–827, April 2006. [15] P. S. Bithas, N. C. Sagias, P. T. Mathiopoulos, G. K. Karagiannidis, and A. A. Rontogiannis. On the performance analysis of digital communications over generalized–K fading channels. [16] R. Schober and L. Lampe. Noncoherent receivers for differential space– time modulation. IEEE Trans. Commun., 50:768–777, May 2002. [17] G. Reinsel. Elements of Multivariate Time Series Analysis. Springer, Berlin, 1993. 53 [18] V. Pauli and L. Lampe. Tree–search multiple–symbol differential decoding for unitary space–time modulation. IEEE Trans. Commun., 55(8):1567– 1576, August 2007. [19] E. Chiavaccini and G. M. Vitetta. Further results on Tarokh’s space– time differential technique. IEEE Trans. Commun., 51(7):1093–1101, July 2003. [20] W. Kottermann, G. Pedersen, K. Olesen, and P. Eggers. Correlation properties for radio channels from multiple base stations to two antennas on a small handheld terminal. In Proc. IEEE Veh. Techn. Conf. (VTC), pages 462–466, September 2002. [21] R. Schober and W. Gerstacker. Decision–feedback differential detection based on linear prediction for MDPSK signals transmitted over Ricean fading channels. IEEE J. Select. Areas Commun., 18(3):391–402, March 2000. [22] P. Shankar. Error rates in generalized shadowed fading channels. Wireless Personal Commun., 28(4):233–238, February 2004. [23] I. S. Gradsheteyn and I. M. Ryzhik. Table of Integrals, Series, and Products. Academic Press, New York, NY, 7th edition, 1994. [24] M. Abramowitz and I. A. Stegun (Eds.). Handbook of Mathematical Functions. National Bureau of Standards, Washington, D.C, 10th edition, 1972. [25] J. G. Proakis. Digital Communications. McGraw-Hill, New York, 4th edition, 2001. [26] M.-S. Alouini and A. J. Goldsmith. A unified approach for calculating error rates of linearly modulated signals over generalized fading channels. IEEE Trans. Commun., 47(9):1324–1334, September 1999. 54 [27] G. Arfken. Mathematical Methods for Physicists. Academic Press, Orlando, FL, 3rd edition, 1985. 55
- Library Home /
- Search Collections /
- Open Collections /
- Browse Collections /
- UBC Theses and Dissertations /
- New results on differential and non-coherent transmission:...
Open Collections
UBC Theses and Dissertations
Featured Collection
UBC Theses and Dissertations
New results on differential and non-coherent transmission: MSDD for correlated MIMO fading channels and… Zhu, Cindy Yue 2009
pdf
Page Metadata
Item Metadata
Title | New results on differential and non-coherent transmission: MSDD for correlated MIMO fading channels and performance analysis for generalized K-fading |
Creator |
Zhu, Cindy Yue |
Publisher | University of British Columbia |
Date Issued | 2009 |
Description | In this thesis, we revisit differential and non-coherent transmission techniques over fading channels. In particular, we consider receiver design for differential space-time modulation (DSTM) over correlated multiple-input multiple-output (MIMO) fading channels and the performance analysis of differential phase shift keying (DPSK) and non-coherent frequency shift keying (FSK) in generalized K-fading. For DSTM over spatially correlated MIMO channels, we derive a multiple-symbol differential detection (MSDD) and a novel MSDD-based decision-feedback differential detection (MS-DFDD) receiver. We show that MS-DFDD outperforms previously proposed decision-feedback differential detection (DFDD) schemes that are based on scalar and vector prediction. In addition, we prove that at high signal-to-noise ratio (SNR) vector prediction decision-feedback differential detection (VP-DFDD) is equivalent to scalar prediction decision-feedback differential detection (SP-DFDD) and thus fails to properly exploit the spatial fading correlations. Furthermore, we derive closed-form expressions for the bit error probability (BEP) of two non-coherent transmission schemes over L diversity branches being subject to generalized K-fading. Specifically, focus is on binary DPSK (DBPSK) and binary non-coherent FSK modulation with equal-gain combining (EGC) at the receiver. We also discuss the extension of our results to M-ary modulation schemes. Considering both independent and correlated fading across the L branches, we derive expressions for the asymptotic diversity order, which reveal an interesting interplay between the two parameters, k and m, of the generalized K-distribution. Moreover, we show that the diversity order of the considered non-coherent transmission schemes is the same as in the case of coherent transmission. Finally, numerical performance results are presented, and our analytical results are corroborated by means of Monte-Carlo simulation. |
Extent | 1355767 bytes |
Genre |
Thesis/Dissertation |
Type |
Text |
File Format | application/pdf |
Language | eng |
Date Available | 2009-10-01 |
Provider | Vancouver : University of British Columbia Library |
Rights | Attribution-NonCommercial-NoDerivatives 4.0 International |
DOI | 10.14288/1.0065512 |
URI | http://hdl.handle.net/2429/13469 |
Degree |
Master of Applied Science - MASc |
Program |
Electrical and Computer Engineering |
Affiliation |
Applied Science, Faculty of Electrical and Computer Engineering, Department of |
Degree Grantor | University of British Columbia |
Graduation Date | 2009-11 |
Campus |
UBCV |
Scholarly Level | Graduate |
Rights URI | http://creativecommons.org/licenses/by-nc-nd/4.0/ |
Aggregated Source Repository | DSpace |
Download
- Media
- 24-ubc_2009_fall_zhu_cindy_yue.pdf [ 1.29MB ]
- Metadata
- JSON: 24-1.0065512.json
- JSON-LD: 24-1.0065512-ld.json
- RDF/XML (Pretty): 24-1.0065512-rdf.xml
- RDF/JSON: 24-1.0065512-rdf.json
- Turtle: 24-1.0065512-turtle.txt
- N-Triples: 24-1.0065512-rdf-ntriples.txt
- Original Record: 24-1.0065512-source.json
- Full Text
- 24-1.0065512-fulltext.txt
- Citation
- 24-1.0065512.ris
Full Text
Cite
Citation Scheme:
Usage Statistics
Share
Embed
Customize your widget with the following options, then copy and paste the code below into the HTML
of your page to embed this item in your website.
<div id="ubcOpenCollectionsWidgetDisplay">
<script id="ubcOpenCollectionsWidget"
src="{[{embed.src}]}"
data-item="{[{embed.item}]}"
data-collection="{[{embed.collection}]}"
data-metadata="{[{embed.showMetadata}]}"
data-width="{[{embed.width}]}"
async >
</script>
</div>
Our image viewer uses the IIIF 2.0 standard.
To load this item in other compatible viewers, use this url:
http://iiif.library.ubc.ca/presentation/dsp.24.1-0065512/manifest