Rehashing the Bit-Interleaved Coded Modulation by Alireabout:za Kenarsari Anhari B.Sc., The University of Tehran, 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 UNWERSITY OF BRITISH COLUMBIA (Vancouver) August 2009 © Alireabout:za Kenarsari Anhari 2009 Abstract Bit-interleaved coded modulation (BICM) is a pragmatic yet powerful ap proach for spectrally efficient coded transmission. BICM was originally de signed as a superior alternative to the conventional trellis coded modulation in fading channels. However, its flexibility and ease of implementation also make BICM an attractive scheme for transmission over unfaded channels. In fact, a noticeable advantage of BICM is its simplicity and flexibility. Notably, most of today’s communication systems that achieve high spectral efficiency such as ADSL, Wireless LANs, and WiMax feature BICM. Percep tibly, the design of efficient BICM-based transmission strategies relies on the existence of a general analytical framework for evaluating its performance. Therefore, alongside its vast popularity and deployment, performance eval uation of BICM has attracted considerable attention. Developing such a performance evaluation framework is one of the main contributions of this thesis. In addition to conventional additive white Gaussian noise model, the practically important case of transmission over fading channels impaired by Gaussian mixture noise has also been studied. Different from previously pro posed methods, our scheme results in closed-form expressions and is valid for arbitrary mapping rules and fading distributions. Furthermore, making use of the newly developed framework, we propose two novel transmission 11 Abstract strategies. First, we consider the problem of optimal power allocation for a BICM system employing orthogonal frequency division multiplexing. In particular, we show that this problem translates into a linear program in the high signal-to-noise ratio regime. This reformulation extends the ap plicability and delivers considerable complexity reduction in comparison to existing algorithms. Finally, we propose novel detector architectures for a BICM system employing iterative decoding using hard-decision feedback at the receiver. We show that, taking the feedback error into account results in considerable performance improvement while retains decoding complexity. 111 Table of Contents Abstract ii Table of Contents iv List of Tables ix List of Figures xi Abbreviations xvii Acknowledgements xix Dedication xx Statement of Co-Authorship xxi 1 Introduction 1 1.1 Background 1 1.2 Objectives and Related Previous Work 3 1.2.1 Performance Evaluation of BICM Transmission 1.2.2 Power Allocation for BIC-OFDM 5 1.2.3 BICM-ID with Hard Decision Feedback 6 . . 4 iv Table of Contents 1.3 Summary of Thesis and Contributions 7 Bibliography 2 11 An Analytical Approach for Performance Evaluation of BICM Transmission over Nakagami-m Fading Channels 16 2.1 Introduction 16 2.2 Preliminaries 20 2.2.1 System Model 20 2.2.2 Error-Rate Approximation Using Union Bounding and 2.2.3 2.3 Saddlepoint Approximation 23 Cutoff Rate 25 Approximation for the PDF of LLRs and its Laplace Trans form 2.4 26 2.3.1 Approximation for the PDF of LLRs 2.3.2 Laplace Transform of the PDF Approximation 26 . 32 . Asymptotic Analysis for High SNRs 36 2.4.1 PDF of LLRs and Its Laplace Transform 37 2.4.2 Saddlepoint Approximation 38 2.4.3 Direct Analysis 39 2.5 Numerical Results and Discussions 43 2.6 Conclusion 48 2.7 Appendix 49 2.7.1 Closed-form Expression for I(s) in (2.23) for s C 49 2.7.2 Closed-form Expression for ‘2I(s) in (2.24) for s e 50 V Table of Contents eR 2.7.3 Computation of I i,.,,(s) in (2.27) for s 3 2.7.4 Computation of I4jpv() in (2.28) for s C Bibliography 3 51 53 55 Performance Analysis for BICM ‘flansmission over Gaus sian Mixture Noise Fading Channels 58 3.1 Introduction 58 3.2 System Model 61 3.3 Error Rate Analysis 63 3.3.1 BER Estimation 64 3.3.2 Previous Result 65 3.3.3 Extension of PDF Result to Nonfading GMN 66 3.3.4 Laplace Transform of the PDF of Reliability Metrics for Fading GMN 3.4 Analysis in the High-SNR Regime 3.4.1 3.5 3.6 68 72 Simplified Expression for PDF of Reliability Metric and Its Laplace Transform 73 3.4.2 Nonfading GMN Channel 74 3.4.3 Fading GMN Channels 76 Numerical Results and Discussion 78 3.5.1 Parameters 79 3.5.2 Results 80 Conclusions Bibliography 88 89 vi Table of Contents 4 Power Allocation for Coded OFDM via Linear Program ming 93 4.1 Introduction 93 4.2 System Model 95 4.3 Power Allocation Method 96 4.3.1 Error Event Probability 97 4.3.2 Linear Program Power Allocation 98 4.4 Numerical Results 4.5 Conclusions Bibliography 5 6 99 101 104 New Designs for Bit-Interleaved Coded Modulation with Hard-Decision Feedback Iterative Decoding 106 5.1 Introduction 106 5.2 Preliminaries 109 5.3 New BICM-HID Scheme 110 5.3.1 Demapper Design I 111 5.3.2 Demapper Design II 112 5.3.3 Low-Complexity Estimation of P: 114 5.4 Simulation Results 115 5.5 Conclusion 119 Bibliography 121 Summary, Conclusions, and Future Work 123 6.1 Summary and Conclusions 123 6.2 Future Work 126 vii Table of Contents 6.2.1 Adaptive Bit/Power Allocation and Code Selection for BIC-OFDM 6.2.2 BICM Transmission over Block Fading Channels Bibliography 127 . 127 129 vi” List of Tables 2.1 Probability density function of LLRs fA,kI., 7 (A) for transmis sion over nonfading AWGN channel for the six different sets of competitive signal points 2.2 Numbers k,j, 1 1 signal sets of type k, 1 {qmax, k shown in Figure 2.2 31 M/2}, of nearest competitive 6 (Cases shown in Figure 2.2) for different constellations and labelings used for numerical re sults in Section 2.5. Only non-zero coefficients k,j are shown. Gray labeling (GL), set partitioning labeling (SPL), modified set partitioning labeling (MSPL), semi set partitioning label ing (SSPL), and mixed labeling (ML) 2.3 31 Laplace transform of the probability density function of LLRs for transmission over nonfading AWGN channel A,kI., 7 (s) for the six different sets of competitive signal points shown in Figure 2.2 2.4 33 Laplace transform of the probability density function of LLRs when transmitting over Nakagami-m fading channels (s) for the six different sets of competitive signal points shown in Figure 2.2 34 ix List of Tables 2.5 Asymptotic values of Probability Density Function of LLRs () 7 f,kId, for transmission over nonfading AWGN channel, its Laplace transform ,kId7()’ and the Laplace transform of the PDF of LLRs when transmitting over Nakagami-m fading channels for the six different sets of competitive signal points 3.1 shown in Figure 2.2 36 Probability density function of reliability metrics, fAkI d(A) 7 and fA,k1 ,d,e(A), for transmission over nonfading AWGN chan 7 nel, used in (3.12) and (3.13) 3.2 65 Expressions for the PDF of reliability metrics, fA,k ,fl,,,(A), 1 for transmission over nonfading GMN channel, used in (3.17). = 3.3 d fork = 1,... ,5, and = [d,O] fork = 6 67 Expressions for the Laplace transform of the PDF of LLRs for transmission over unfaded channel , 7 A 4 n, ,kj (s) used in (3.23). sER,r=dfork=1,...,5,and=[d,8]fork=6 3.4 69 Expressions for the Laplace transform 4 A,kIf,n,i() for fading GMN channels as function of MGF Mf(5) (3.28) and the finite-series expressions Si(s; w, v, p) (3.29) and S (s; w, v, p) 2 (3.30). 1 =dfork=1,...,5,andr s€JRC,r = {d,e]fork=6 3.5 72 The MGF of SNR Mf (s) and its asymptotic form M7 (s) for a number of popular fading distributions 72 x List of Figures 2.1 Block diagram of BICM transmission over a fading AWGN channel. Also indicated is the binary-input continuous-output equivalent BICM channel 2.2 20 Illustration for possible sets of nearest competitive signal points for general QAM and PSK constellations. The “1” rep resents the transmitted signal point x, and the “0” show the elements of A = The shaded areas indicates D(Aj, X, ‘y) for 0. For A > 0 the boundaries move towards x, for A <0 the boundaries move towards the competitive signal points. 2.3 28 Probability density functions of reliability metrics for BICM transmission over the nonfading AWGN channel for different constellations and labeling. Lines represent the PDF approxi mation given in (2.19) and (2.20) while markers represent the estimated histograms through simulative measurement. . . 32 xi List of Figures 2.4 Cutoff Rate R 0 for BICM channel with different constella tions, labeling rules, and channels. Lines are obtained from evaluation of (2.12) using the approximation for the Laplace transform derived in Section 2.3.2, while markers are obtained from Monte Carlo simulation 2.5 44 BER of BICM transmission over nonfading AWGN channel for a 64-state convolutional code of rate 1/2. Solid lines: BER union bound. Dashed lines: Asymptotic analysis with (2.41). Markers: Simulation results 2.6 45 BER of BJCM transmission over Nakagami-m fading chan nel for a 64-state convolutional code of rate 1/2. Solid lines: BER union bound using the exact closed-form solutions for integrals (2.27), (2.28). Dashed lines: BER union bound us ing the approximations (2.61), (2.66). Markers: Simulation 46 results 2.7 BER of BICM transmission over Nakagami-m fading channel for a 64-state convolutional code of rate 1/2. Solid lines: Asymptotic analysis with (2.47). Markers: BER union bound 47 2.8 The graphical representation of integrals (2.50) (left) and (2.53) (right). Shaded areas are integration supports, and dashed lines indicate decomposition into support areas for which the integrals can be solved 49 xii List of Figures 3.1 Block diagram of BICM transmission over a fading channel impaired by Gaussian mixture noise. Also indicated is the binary-input continuous-output equivalent BICM channel. r and r 1 denote interleaving and deinterleaving, respectively. and denote bit-to-symbol mapping and demapping (i.e., bit-metric computation), respectively 3.2 63 PDF of reliability metrics for BICM transmission over nonfading channel impaired by f-mixture noise with parameters (c, ic) for different constellations, labeling, and noise param eters. Solid lines represent the PDF approximation given in (3.16), while markers represent the simulated histograms. 3.3 . 81 BER of BICM transmission over a nonfading channel im paired by c-mixture noise with parameters (c, ic) for a 64state convolutional code of rate 1/2. Solid lines: BER union bound using the saddlepoint approximation (3.10). The sad dlepoint is found numerically for each SNR. Dashed lines: BER union bound using the PEP expression for high SNR in (3.42). Dash-dotted lines: BER using only the PEP expres sion in (3.42) for dH = dfree. Markers are simulation results. 82 xli’ List of Figures 3.4 BER of BICM transmission over fading AWGN channels for a 64-state convolutional code of rate 1/2. Nakagami-m and Nakagami-n fading with different parameters m and n. Solid lines: BER union bound using the saddlepoint approxima tion, = 1/2 is assumed. Dashed lines: BER union bound using saddlepoint approximation, saddlepoint has been found numerically. (Note that solid and dashed lines overlap almost perfectly.) Markers are simulation results 3.5 83 BER of BICM transmission over fading channels impaired by €-mixture noise with parameters (, t) for a 64-state con volutional code of rate 1/2. Nakagami-m and Nakagami-n fading with different parameters m and n. Solid lines: BER union bound using saddlepoint approximation, saddlepoint has been found numerically. Dashed lines: BER union bound using saddlepoint approximation, the asymptotic saddlepoint from (3.46) is used. Dash-dotted lines: BER union bound using saddlepoint approximation, the asymptotic saddlepoint approximation given in (3.48) is used. Markers are simulation results 85 xiv List of Figures 3.6 BER of BICM transmission over fading channels impaired by E-mixture noise with parameters (, ,) for a 64-state con volutional code of rate 1/2. Nakagami-m, Nakagami-n, and Nakagami-q fading with different parameters m, n, and q. Solid lines: Asymptotic BER from PEP (3.50) for dH = dfree and numerically found saddlepoint. Dashed lines: Asymp totic BER from PEP (3.50) for dH approximation 3.7 e = dfr and the saddlepoint from (3.48). Markers: BER union bound. Evolution of saddlepoint a as a function of constellations, labeling, and noise parameters. 86 for different The circles indicate the asymptotic values of saddlepoint given in (3.36) for nonfading channels and in (3.48) for fading channels. The squares denote the exact asymptotic saddlepoint for fading channels given in (3.46) 4.1 87 BER of BIC-OFDM transmission systems with QPSK and 16QAM. Uniform power allocation (UPA), optimal power al location (PA) for uncoded transmission, PA according to con vex optimization, and PA using the proposed LP (4.11) are compared 4.2 101 Absolute difference ’iI 4 I between the power allocation solu tions obtained from convex optimization and the LP (4.11) (for QPSK) 4.3 CDF of 4 102 from (4.9) for uniform power allocation (UPA) and PA with the proposed LP (4.11) 103 xv List of Figures 5.1 Block diagram of BICM transmission over a fading channel and iterative decoding. ir and ir denote interleaving and deinterleaving, respectively. r coded binary symbols [Cl,... , c,.] are mapped to one transmitted symbol x. The feedback from the FEC decoder (FEC DEC) to the demapper is shown the form of decoded code symbols ,... 1 [e , er], i.e., hard-decision feedback 5.2 108 Two-term PDF approximation from (5.13) and empirical PDF from simulations during the (i + 1)st iteration, i SNR ‘Yb = = 1, .., 4, at 10 dB. The PDF approximation is shown for the cases of known P, and using the estimate P from (5.17). A total of n 5.3 = 5 iterations is assumed 116 BER for BICM-HID with conventional and proposed demap pers. As reference, BER for BICM-SID, and BER estimates 1 and P P 5 are also included 5.4 117 FER for BICM-HID with conventional and proposed demap pers, and demapper previously proposed for improving the performance of BICM-HID. As reference, FER for BICM-SID. 119 xvi Abbreviations APSK Amplitude Phase-Shift Keying AWGN Additive White Gaussian Noise BER Bit-Error Rate BICM Bit-Interleaved Coded Modulation BICM-EB BICM Expurgated Bound BICM-HID BICM with Hard-Feedback Iterative Decoding BICM-ID BICM with Iterative Decoding BICM-SID BICM with Soft-Feedback Iterative Decoding BIOS Binary-Input Output-Symmetric BPSK Binary Phase-Shift Keying CDF Cumulative Density Function FEC Forward Error Correction FER Frame-Error Rate GL Gray Labeling i.i.d Independent and Identically Distributed LLR Log-Likelihood Ratio MBIOS Memoryless Binary-Input Output Symmetric MGF Moment Generating Function ML Mixed Labeling xvii Abbreviations MSPL Modified Set-Partitioning Labeling OFDM Orthogonal Frequency-Division Multiplexing PA Power Allocation PDF Probability Density Function PEP Pairwise Error Probability PSK Phase Shift Keying QAM Quadrature Amplitude Modulation QPSK Quadrature Phase-Shift Keying SIHO Soft-Input Hard-Output SISO Soft-Input Soft-Output SNR Signal-to-Noise Ratio SPL Set-Partitioning Labeling SSPL Semi Set-Partitioning Labeling TCM Trellis Coded Modulation MLC Multi-Level Coded Modulation UPA Uniform Power Allocation xviii Acknowledgements First, I would like to convey my sincere gratitude to my supervisor, Pro fessor Lutz Lampe, for his insightful guidance. I also would like to thank Professors Robert Schober, Vikram Krishnamurthy, and Joel Friedman for their support. Furthermore, I am especially grateful to Mrs. Zahra Ahma dian for her continuous support and encouragement. Finally, I would like to extend my many thanks to my dear colleagues at the University of British Columbia. xix Dedication to my parents xx Statement of Co-Authorship Alireza Kenarsari Anhari is the primary author of all the papers presented in this work. For all these papers, Mr. Kenarsari Anhari identified and proposed the research topic, performed the literature survey and research, analyzed the data, performed the simulations and prepared the manuscripts under the supervision and direction of Professor Lutz Lampe. All this work has been done completely during Mr. Kenrsari Anhari’s M.A.Sc. program. None of the papers presented in this work have been received credit or presented in any other thesis work. Xxi Chapter 1 Introduction 1.1 Background The early designs of communication systems focused separately on modu lation and channel coding. The correct perspective of signal space coding, also known as coded modulation, was brought into the focus of communica tion engineers by Ungerboeck’s pioneering work on trellis coded modulation (TCM) [1, 2]. TCM combines trellis codes with (non-binary) modulations through the concept of set partitioning labeling aiming to maximize the minimum Euclidean distance of the code [1]. An alternative coded modula tion scheme which has been proposed by Imai and Hirakawa, is multi-level coding (MLC) [3]. MLC uses several binary codes, each protecting a single coded bit in the binary label of the transmitted constellation. At the re ceiver, instead of optimal joint decoding of all the component binary codes, a suboptimal multi-stage decoding is used. It is known that this decoding scheme achieves good performance with limited complexity [2,3]. The increasing interest for wireless communications has led to the con sideration of coded modulation for fading channels. First, it seemed quite natural to apply the Ungerboeck’s paradigm of “keeping coding combined with modulation” even in a situation where the code performance depends 1 1.1. Background strongly, rather than the minimum Euclidian distance of the code, on its minimum Hamming distance (i.e. diversity order of the code) 121. A no table departure from Ungerboek’s paradigm was the core idea of [4]. In [4], Zehavi recognized that code diversity and hence the reliability of coded mod ulation over fading channels’ could be further improved via decoupling of channel encoder and modulator. Zehavi’s idea was to make the code di versity equal to the smallest number of distinct bits along any error event. This is achieved by bit-wise interleaving at the encoder output. This coded modulation scheme is known as bit-interleaved coded modulation (BICM). Although first introduced by Zehavi’s landmark paper, BICM subsequently has been widely generalized by Caire et. al. in [5]. BICM is known as a pragmatic yet powerful approach for coded mod ulation. Notably, most of today’s communication systems that achieve high spectral efficiency such as ADSL, Wireless LANs, and WiMax feature the combination of BICM with orthogonal frequency division multiplexing (OFDM), also known as bit-interleaved coded OFDM (BIC-OFDM) [2,6]. The most noticeable advantage of BICM is its simplicity and flexibility, as the only provision it takes to combat the multi-path fading is a ran dom bit-wise interleaver. Therefore, a single binary code can be used along with several modulations without the need for further adaptations and vice versa. In particular, BICM separates (binary) channel encoder from the (non-binary) modulator using a bit-wise interleaver. At the receiving side, in order to alleviate the loss of information imposed by this sub-optimal ap proach, soft information about the coded bits is fed from the demodulator ‘In his paper, [4], Zehavi considered Rayleigh fading channels. 2 1.2. Objectives and Related Previous Work to the decoder in the form of bit-wise reliability metrics or log-likelihood ratios (LLRs) [2, 5]. [5] illustrated the performance advantages of BICM. It also has provided a comprehensive analysis of BICM in terms of achiev able capacity and error probability, showing that in fact the loss incurred by the BICM may be very small. Furthermore, this loss can be recovered by using iterative decoding [2, 7, 8]. Building upon this principle, Li and Ritcey [7,8] proposed iterative demodulation and decoding for BICM, also known as BICM-ID, and illustrated significant performance gains with re spect to classical non-iterative BICM decoding. However, BICM designs based on iterative decoding cannot approach the capacity, unless the num ber of transmitted bits grows large [2,7,8]. 1.2 Objectives and Related Previous Work The first goal of this thesis is to develop a general analytical framework for performance evaluation of BICM transmission over additive white Gaus sian noise (AWGN) fading channels. Furthermore, we note that the study of communication systems in non-Gaussian environments has become very popular due to its practical relevance. In many practical cases such as in door radio communication, partial-time jamming, ultra-wideband communi cation, and power line communication, this interference is well modeled as a Gaussian mixture noise (GMN) [9—15]. Therefore, we also study the BICM transmission over fading channels impaired by GMN. Finally, we focus on a few applications of the developed analysis in improving the performance of BICM-based transmission systems. In particular, first we focus on the 3 1.2. Objectives and Related Previous Work problem of optimal power allocation for a BIC-OFDM transmission system, when the channel information is available at the transmitter. Then, we turn our attention to improving the performance of BICM-ID with hard-decision feedback. In the following, a brief review of previous work related to each of the objectives is given. The detailed review of previous research on each topic can be found in the “Introduction” section of corresponding chapter(s). 1.2.1 Performance Evaluation of BICM Transmission Different bounds for the bit error-rate (BER) of BICM have been derived in previous works. A popular technique, which was developed in [5] and re ferred to as BICM Expurgated bound (BICM-EB), provides tight results but is complex to compute and limited to the Gray labeling. Also, [16] pointed out that the BICM-EB is not an upper bound but rather an error-rate ap proximation. A generalized version of the BICM-EB has been proposed in [17] which considers finite-length interleaving, but again is limited to the Gray labeling and numerically more complex to compute than the bounds given in [5]. The authors of [18] presented two new approximations, namely, the Gaussian and saddlepoint approximations. Both approximations are applicable to arbitrary labeling rules but rely on numerical integration. Re cently, [19] devised an algorithmic approach to compute the probability den sity function (PDF) of LLRs for the unfaded AWGN channel applicable to arbitrary labeling rules. However, this method results in PDF expressions which are not simple and thus, evaluation of performance expressions, as for example BER, based on these PDF expressions again invokes numerical 4 1.2. Objectives and Related Previous Work techniques. These problems have been overcome in the follow-up work [20], where a closed-form expression for the PDF for square quadrature ampli tude modulation (QAM) with Gray labeling is obtained, and then further simplified using a Gaussian approximation. In [21] (cf. also [22]), closedform PDF expressions are derived for BICM transmission over Nakagami-m fading channels with integer m, which are applied for BER approximation using the saddlepoint technique. Again, the approach is restricted to QAM with Gray labeling. Finally, we note that while performance evaluation of BICM transmission over AWGN channels has been of interest since its invention, the analysis of BICM transmission impaired by non-Gaussian noise has received rela tively little attention, cf. e.g. [23,24]. The authors of [24] has presented a framework that modifies the BICM-EB to encompass non-Gaussian noise. Since the analysis relies on the expurgated bound, it is limited to the case of Gray labeling and does not result in closed-form expressions for BER. Furthermore, the asymptotic performance analysis in [24] is valid only when the diversity order of the system is an integer. 1.2.2 Power Allocation for BIC-OFDM OFDM enables transmitter side adaptation according to the present channel conditions, assuming that the channel remains unchanged over a sufficiently long interval. In particular, numerous algorithms for bit-loading and power allocation per OFDM sub-carrier have been developed, cf. e.g. [25—27]. Re cently, [28] has studied the problem of power allocation for BIC-OFDM aiming at the minimization of BER under a power budget constraint. Using 5 1.2. Objectives and Related Previous Work the BER union bound approach to approximate the bit-error probability, it was shown [281 that the problem is a convex optimization problem. However, the solution presented in [28] is limited to (complex) binary transmission, i.e., binary and quadrature phase-shift keying, since linearity of coding and modulation was required. Notably, to the best of our knowledge [28] is the only work which takes the interplay of interleaving, coding and modulation into account for defining the optimization problem. 1.2.3 BICM-ID with Hard Decision Feedback BICM structure can also be looked at as a concatenated coding system, with the forward error correction (FEC) encoder and the multilevel modulator as outer and inner encoder, respectively. BICM considered as concatenated code is commonly decoded in an iterative fashion, in which the demapper and a SISO channel decoder for the outer FEC code exchange extrinsic information. This decoding scheme is known as BICM with sof-feedback it erative decoding (BICM-SID). An alternative decoder proposed in [29] uses a soft-input hard-output (SIHO) outer decoder, like the Viterbi decoder for convolutional codes. This decoding method is known as BICM with hardfeedback iterative decoding (BICM-HID). BICM-HID has two complexity advantages over BICM-SID. First, the outer SIHO decoder is less complex than its SISO counterpart, and second, the demapper using hard-decision feedback needs to consider only two instead of all constellation points for each labeling bit [7]. On the downside, BICM-HID is considerably outper formed by BICM-SID due to the effect of erroneous feedback. Recently, [23] proposed an alternative detector architecture for BICM-HID which improves 6 1.3. Summary of Thesis and Contributions its performance. The key idea is that the demapper makes use of the error rate of the hard-decision feedback after each iteration. Notably, [23] requires a SISO decoder for extracting the error-rate estimation and furthermore the detector needs to consider all the signal points in order to recompute the LLRs. The main difference in terms of computational complexity is that, different from BICM-SID, [23] does not require any multiplication operation. 1.3 Summary of Thesis and Contributions This thesis addresses several topics in performance evaluation and design of BICM-based transmission systems. The main results are divided into four chapters . Furthermore, in Chapter 6, the summary of contributions, 2 concluding remarks, and proposals for further research are offered. In what follows, a brief introduction to the topic covered in each chapter and a summary of contributions made in is given. In chapter 2, we present an analytical approach to evaluate the perfor mance of BICM transmission over frequency-flat fading AWGN channels. The statistic of the fading envelope is modeled as Nakagami-m distributed, which spans a wide range of practical multi-path fading scenarios through adjustment of the rn-parameter. For this setup, we derive approximations for the BER and cutoff rate of BICM. Different from previously proposed methods, our analysis is valid for general QAM and phase shift keying signal constellations and arbitrary bit-to-symbol mapping rules, and it results in Eh of the four chapters in this thesis is self-contained and included in a separate 2 journal article. The notations are also separately defined for each chapter, but has been tried to be consistent throughout the thesis for the ease of understanding. 7 1.3. Summary of Thesis and Contributions simple closed-form expressions. The key idea is to use well-chosen subsets of signal points to approximate the PDF of reliability metrics used for de coding. This approximation is accurate for signal-to-noise (SNR) regions of interest for BICM systems with moderate coding complexity such as, e.g., convolutional coded BICM systems. Based on this approximation we also derive an asymptotic BER expression, which reveals the diversity order and coding gain of BICM. The usefulness of the proposed analytical approach is validated through numerical and simulation results for a number of BICM transmission examples. Furthermore, in chapter 3, we derive BER approximations for BICM transmission over general fading channels impaired by GMN. To this end, we build upon the saddlepoint approximation of the pairwise error probability (PEP) and the approximation developed in chapter 2 for the PDF of bit-wise reliability metrics for AWGN channels. We extend this PDF approximation to the case of GMN, and obtain closed-form expressions for its Laplace transform for fading GMN channels. The latter allows us to express the PEP and thus BER via the saddlepoint approximation. For the special case of fading AWGN channels the presented approximations are closed form, since the saddlepoint is known to be 1/2. Furthermore, we derive closed-form PEP expressions also for GMN channels in the high SNR regime and establish the diversity and coding gain for BICM transmission over fading GMN channels. Selected numerical results for BER of convolutional coded BICM highlight the usefulness of the proposed approximations and the differences between AWGN and GMN channels. Then, making use of the performance approximations developed in Chap 8 1.3. Summary of Thesis and Contributions ter 2 and Chapter 3, in the next two chapters we focus of designing trans mission strategies for BICM-based communication systems. In particular, Chapter 4 considers the problem of power allocation for a system utilizing the combination of BICM with OFDM. The combination of BICM with OFDM forms a powerful coded modulation scheme for transmission over wideband channels. Recently, Moon and Cox [28] presented a new power al location method to minimize the BER of BIC-OFDM. Different from many previous related works, the method proposed in [28] considers the interplay of interleaving, coding, and modulation but is limited to (complex) binary modulation as the linearity of coding and modulation was required. Further more, it translates into a fairy computationally intense convex optimization problem [28] . Motivated by their work, in this chapter we present an alter native power allocation method, which has the advantages of being a linear program and applicable to arbitrary signal constellations. Our approach relies on using the PDF approximation presented in Chapter 2 and a fur ther simplification of it for asymptotically large SNRs. Simulative evidence shows that the proposed power allocation method achieves a performance very close to that from [28] for the case of binary modulation. Finally, Chapter 5 considers the iterative decoding of BICM transmis sion. In particular, if relatively simple FEC codes such as convolutional codes are employed, iterative decoding between demapper and FEC de coder can provide significant performance improvements over non-iterative decoding. In practice, to keep the complexity of iterative decoding low, the use of hard-decision feedback from FEC decoder to demapper is appealing. However, the price to be paid is a performance degradation due to feedback 9 1.3. Summary of Thesis and Contributions errors. In this chapter, two new demapper designs are developed which are able to strongly mitigate the effect of erroneous feedback. The key ideas are (a) the use of the error rate estimation developed in Chapter 2 for the average error rate in the hard-decision feedback and (b) the interpretation of feedback errors as additive impulsive noise. Simulation results show that the proposed designs achieve error rates close to those for iterative decoding with soft feedback, while they maintain the complexity advantage of using hard-decision feedback. 10 1.3. Bibliography Bibliography [1] G. Ungerboeck, “Channel coding with multilevel/phase signals,” IEEE Trans. Inform. Theory, vol. 28, PP. 55—67, Jan. 1982. [2] A. Guillén i Fàbregas, A. Martinez, and G. Caire, “Bit-interleaved coded modulation,” Foundations and Trends in Communications and Information Theory, vol. 5, no. 1-2, pp. 1—153, 2008. [3] H. Imai and S. Hirakawa, “A new multilevel coding method using errorcorrecting codes,” Information Theory, IEEE Transactions on, vol. 23, no. 3, pp. 371—377, May 1977. [4] E. Zehavi, “8-PSK trellis codes for a Rayleigh channel,” IEEE Trans. Commun., vol. 40, no. 5, PP. 873—884, May 1992. [5] G. Caire, G. Taricco, and E. Biglieri, “Bit-interleaved coded modula tion,” IEEE Trans. Inform. Theory, vol. 44, no. 3, pp. 927—946, May 1998. [6] K.-B. Song, A. Ekbal, S. T. Chung, and J. Cioffi, “Adaptive modulation and coding (AMC) for bit-interleaved coded OFDM (BIC-OFDM),” vol. 6, June 2004, pp. 3197—3201 Vol.6. [7] A. Chindapol and J. Ritcey, “Design, analysis, and performance evalu ation for BICM-ID with square QAM constellations in Rayleigh fading channels,” “IEEE J. Select. Areas Commun. “, vol. 19, no. 5, pp. 944— 957, May 2001. 11 1.3. Bibliography [8] X. Li, A. Chindapol, and J. Ritcey, “Bit-interleaved coded modulation with iterative decoding and 8PSK signaling,” IEEE Trans. Commun., vol. 50, no. 8, pp. 1250—1257, Aug 2002. [9] D. Middleton, “Statistical-physical models of man-made radio noise- parts I and II,” U.S. Dept. Commerece Office Telecommun., April 1974 and 1976. [10] D. Stein, “Detection of Random Signals in Gaussian Mixture Noise,” IEEE Trans. Inform. Theory, vol. 41, no. 6, pp. 1788—1801, Nov. 1995. [11] X. Wang and V. Poor, “Robust Multiuser Detection in Non-Gaussian Channels,” IEEE Trans. Signal Processing, vol. 47, no. 2, pp. 289—305, Feb. 1999. [12] J.-W. Moon, T. Wong, and J. Shea, “Pilot-assisted and Blind Joint Data Detection and Channel Estimation in Partial-time Jamming,” IEEE Trans. Commun., vol. 54, no. 11, pp. 2092—2102, Nov. 2006. [13] M. Flury and J .-Y. Le Boudec, “Interference Mitigation by Statistical Interference Modeling in an Impulse Radio UWB Receiver,” in IEEE Intl. Conf. on Ultra-Wideband (ICUWB), Waltham, MA, Sept. 2006, pp. 393—398. [14] M. Zimmermann and K. Dostert, “Analysis and Modeling of Impulsive Noise in Broadband Powerline Communications,” IEEE Trans. Elec tromagn. Compat., vol. 44, no. 1, pp. 249—258, Feb. 2002. 12 1.3. Bibliography [15] J. Häring and A. Vinck, “Performance Bounds for Optimum and Subop timum Reception under Class-A Impulsive Noise,” IEEE Trans. Corn rnun., vol. 50, no. 7, pp. 1130—1136, July 2002. [16] V. Sethuraman and B. Hajek, “Comments on “Bit-interleaved coded modulation”,” IEEE Trans. Inform. Theory, vol. 52, no. 4, pp. 1795— 1797, Apr. 2006. [17] P.-C. Yeh, S. Zummo, and W. Stark, “Error probability of bitinterleaved coded modulation in wireless environments,” IEEE Trans. Veh. Technol., vol. 55, no. 2, pp. 722—728, March 2006. [18] A. Martinez, A. Guillen i Fabregas, and G. Caire, “Error probability analysis of bit-interleaved coded modulation,” IEEE Trans. Inform. Theory, vol. 52, no. 1, pp. 262—271, Jan. 2006. [19] L. Szczecinski, R. Bettancourt, and R. Feick, “Probability density func tion of reliability metrics in BICM with arbitrary modulation: Closedform through algorithmic approach,” IEEE Trans. Commun., vol. 56, no. 5, pp. 736—742, May 2008. [20] A. Alvarado, L. Szczecinski, R. Feick, and L. Ahumada, “Distribution of -QAM: Closed-form approximations and 2 L-values in Gray-mapped M applications,” to appear in the IEEE Trans. Commun., available online at http://externe. emt. mrs. ca/users/leszek/Publications. html. [21] L. Szczecinski, max-log metrics A. for Alvarado, and QAM-based R. Feick, BICM in “Distribution fading of channels,” 13 1.3. Bibliography to appear in the IEEE Trans. Commun., available online at http://externe. emt. mrs. ca/users/leszek/Publications. html. [22] , “Closed-form approximation of coded BER in QAM-ba.sed BICM faded transmission,” IEEE Sarnoff Symposium, pp. 1—5, Apr. 2008. [23) T. Li, W. Mow, and M. Siu, “Bit-interleaved coded modulation in the presence of unknown impulsive noise,” in IEEE International Confer ence on Communications (ICC), Istanbul, Thrkey, June 2006, pp. 3014 — 3019. [24] A. Nasri and R. Schober, “Performance of BICM-SC and BICM-OFDM systems with diversity reception in non-Gaussian noise and interfer ence,” to appear in the IEEE Trans. Commun., available online at www. ece. ubc. ca/ amirn/TCOM- 08-0180.pdf. [25] P. Chow, J. Cioffi, and J. Bingham, “A practical discrete multitone transceiver loading algorithm for data transmission over spectrally shaped channels,” IEEE Trans. Commun., vol. 43, no. 234, pp. 773— 775, Feb/Mar/Apr 1995. [26] R. Fischer and J. Huber, “A new loading algorithm for discrete multitone transmission,” vol. 1, Nov 1996, pp. 724—728 vol.1. [27] L. Goldfeld, V. Lyandres, and D. Wulich, “Minimum BER power load ing for OFDM in fading channel,” IEEE Trans. Commun., vol. 50, no. 11, pp. 1729 — 1733, 2002. 14 1.3. Bibliography [28] H. Moon and D. Cox, “Efficient power allocation for coded OFDM systems,” IEEE Trans. Commun., vol. 57, no. 4, pp. 943—947, April 2009. [29] X. Li and J. Ritcey, “Bit-interleaved coded modulation with itera tive decoding,” in IEEE International Conference on Communications (ICC), vol. 2, Vancouver, BC, Canada, june 1999, pp. 858—863. 15 Chapter 2 An Analytical Approach for Performance Evaluation of BICM Transmission over Nakagami-m Fading 3 Channels 2.1 Introduction Bit-interleaved coded modulation (BICM) introduced in [1] and further gen eralized in [2] has established itself as the most popular scheme for spectrally efficient coded transmission. BICM connects a binary encoder to a nonbinary modulator and achieves nearly optimal performance in terms of, e.g., constellation-constrained channel capacity [2]. The most noticeable advan A version of this chapter has been accepted for publication with minor revisions. A. 3 Kenarsari Anhari and L. Lampe, “An Analytical Approach for Performance Evaluation of BICM Transmission over Nakagami-m Fading Channels,” accepted for publication (with minor revisions) in IEEE Transactions on Communications, August 2009. 16 2.1. Introduction tage of BICM is its simplicity and flexibility, as a single binary code can be used along with several modulations without further adaptations. BICM was originally designed as a superior alternative to trellis coded modulation (TCM) [3] in fading channels [1]. However, its flexibility and ease of im plementation also make BICM an attractive scheme for transmission over nonfading channels [2]. Different bounds for the bit error-rate (BER) of BICM have been derived in literature, all of which require numerical integration or computer simula tion [2,4—6]. The Bhattacharyya union bound was found to be quite loose but a true upper bound for arbitrary mapping rules [2]. A refined technique, which was also developed in [2] and referred to as BICM Expurgated bound (BICM-EB), provides tighter results but is more complex to compute and limited to the Gray labeling. Also, [5] pointed out that the BICM-EB is not an upper bound but rather an error-rate approximation. A generalized ver sion of the BICM-EB has been proposed in [4] which considers finite-length interleaving, but again is limited to the Gray labeling and numerically more complex to compute than the bounds given in [2]. Recently, [6] presented two new approximations, namely, the Gaussian and saddlepoint approxi mations. The former is based on the Gaussian approximation of the tail of the probability density function (PDF) of the bitwise log-likelihood ratio (LLR) while the latter is an application of the saddlepoint approximation technique known from statistics [7]. Both approximations are applicable to arbitrary mapping rules but rely on numerical integration using various Gauss quadrature rules for computing the cumulant generating function of the LLRs [6]. 17 2.1. Introduction The need for numerical integration renders the aforementioned approx imations complex to compute and rather hard to use as a design tool. Re cently, [8] devised an algorithmic approach to compute the PDF of LLRs for the nonfading additive white Gaussian noise (AWGN) channel applicable to arbitrary mapping rules. However, this method results in PDF expressions which are not simple and thus, evaluation of performance expressions, as for example BER, based on these PDF expressions again invokes numerical techniques. Also the intricacy of the algorithm itself affects its suitability for evaluation and design of BICM-based systems. Furthermore, as stated in [8], the closed-form expressions are achievable only for the case of transmission over nonfading channels. In this chapter we present a novel approach for performance evaluation of BICM transmission over frequency-fiat fading AWGN channels. More specifically, we consider fading according to the Nakagami-m distribution, which often provides the best fit to land-mobile and indoor-mobile multipath propagation channels. Through adjustment of the m parameter, it spans the widest range of “fading figure” among the well-known fading distribu tions [9], and includes the popular Rayleigh fading and nonfading channels as special cases. The main contributions of this work can be summarized as follows. (i) A closed-form approximation for the PDF of bitwise relia bility metrics when transmitting over the nonfading AWGN channel is de rived. The resulting PDF expression is valid for arbitrary modulation and mapping rules. Different from [8], the simplicity of our novel PDF approx imation enables the expression of pertinent BICM performance parameters in closed form. (ii) Towards this end, we derive the Laplace transform of 18 2.1. Introduction the newly found PDF expression for general Nakagami-m fading AWGN channels. Using this result together with the saddlepoint approximation, closed-form expressions for the pairwise error probability (PEP) between codewords are obtained. The BER for BICM with linear codes is then eas ily upper bounded in terms of these PEP expressions. (iii) In addition to BER, also the generalized cutoff for BICM is written in terms of the men tioned Laplace transform and thus can be expressed in closed form. We note that the cutoff rate has widely been used as a parameter to predict the per formance of BICM with moderate-complexity coding schemes [2]. (iv) Based on the new PDF approximation we also derive asymptotic BER expressions as the signal-to-noise power ratio (SNR) goes to infinity. It is shown that for the nonfading channel the BER is closely approximated by the BER ex pression for an equivalent binary transmission scaled by a constant which is a function of the minimum Hamming distance of the code and the mapping rule. For the case of Nakagami-m fading it is shown that the di versity order is the product of m and dfree. Furthermore, the asymptotic coding gain is shown to depend on a parameter which is a generalization of the harmonic mean presented in [2] for Rayleigh fading (i.e., m = 1). (v) A set of numerical and simulation results for BICM with convolutional codes is presented, which provides evidence of the tightness of the proposed approximations, including the asymptotic BER expressions. The remainder of this chapter is organized as follows. In Section 2.2 the BICM transmission model is introduced. Then, the formulation of BER union bound, saddlepoint approximation for PEP, and cutoff rate for BICM is briefly reviewed, which shows that evaluation of these performance param 19 2.2. Preliminaries BICM hanne1 ENC ) ‘U 1j Physical Channel— h ADEC z I Figure 2.1: Block diagram of BICM transmission over a fading AWGN chan nel. Also indicated is the binary-input continuous-output equivalent BICM channel. eters requires knowledge of the Laplace transform of the PDF of LLRs. The novel closed-form approximation for this PDF and its Laplace transform are derived in Section 2.3. The detailed solutions of a number of integrals en countered during the derivations are relegated to the appendix. The asymp totic BER analysis for large SNR is provided in Section 2.4. Comparisons between the proposed analytical approximations and simulation results are given in Section 2.5. Finally, conclusions are offered in Section 2.6. 2.2 Preliminaries In this section, we first introduce the BICM transmission model. Then, we briefly review error-rate approximations for such systems using union bound ing and saddlepoint approximation techniques. Furthermore, we present an expression for the BICM cutoff rate. 2.2.1 System Model Figure 2.1 shows the block diagram of the equivalent baseb and BICM trans mission system. 20 2.2. Preliminaries Transmitter The BICM codeword x = , 2 {xi,x ...,XL] E C comprises L complex valued symbols and is obtained by first interleaving (ir) the output of a binary encoder c = [ci, c2, sequent mapping = ,. 1 ([CZ_ , i ..., cNl E 1F into c : {O, 1}’ C(i_1)r+2 ..., —* = [cr, c, X of each r ..., c E lF” and a sub 2 (M) bits such that log c]). X is an M-ary quadrature amplitude modulation (QAM) or phase-shift keying (PSK) constellation with unit sym bol energy and we assume that coding and mapping results in a uniform distribution of signal points. Channel We consider BICM transmission over AWGN channels. Making the usual assumptions about synchronization, filtering, sampling, and channel-phase compensation in a coherent receiver, the equivalent baseband discrete-time transmission model can be written as (2.1) where y, E C is the received sample, h E R denotes the fading gain, zj e C is the additive noise sample at discrete-time i. The noise samples are assumed to be independent and identically distributed (i.i.d.) according to a zero mean complex Gaussian distribution. We further assume that interleaving effectively renders the fading coefficients h i.i.d. random variables. Applying normalization such that h and z have average power one, represents the 21 2.2. Preliminaries average SNR. The instantaneous SNR is given by =h. 71 (2.2) To make matters concrete we consider the widely used Nakagami-m dis tribution to model multipath fading. Adjustment of the fading parameter m ? 1/2 renders this distribution very flexible. It includes Rayleigh fad ing (m = 1) and nonfading AWGN (m —> oo) channels as special cases and closely approximates Nakagami-n (Rice) and Nakagami-q (Hoyt) dis tributions [9, Ch. 2.2.141. The corresponding distribution of the SNR (2.2) reads [9] (F(.) denotes the Gamma function) mm rn—i ,m 1 fy (7) = m1(m) my exp (—--s—) (2.3) . Receiver At the receiver, the demapper (1r’ in Figure 2.1) produces r bitwise relia bility metrics per symbol in the form of = — aEX3,1 (IIYi — h a112) + (IiYi — /3 h a112) (2.4) where Xj,b is the set of symbols with jth bit in the binary label fixed to b. The metrics A are deinterleaved into A, which are then input to the decoder for the binary code. We note that A is the so-called max-log simplification of the LLR, which is known to provide practically maximum likelihood (ML) decoding performance [1,21. Therefore we adopt this simple 22 2.2. Preliminaries metric expression (cf. also [8, 10]). In slight abuse of terminology, we will refer to A from 2.2.2 of (2.4) as LLR in the following. Error-Rate Approximation Using Union Bounding and Saddlepoint Approximation The transmission channel between encoder output c and decoder input A can be considered as an equivalent binary-input output-symmetric (BIOS) channel [6], which is known as equivalent BICM channel. 4 Assuming ML decoding, the error-rate of linear codes transmitted over BIOS channels is well approximated by the union bound in the region above the cutoff rate [11]. For example, the BER union bound for a convolutional code of rate k/n is given by Pb where Wd (2.5) wdHPEP(dHIy,m), C dHdfree denotes total input weight of error events at Hamming dis tance dH, d&ee denotes the free distance of the convolutional code, and PEP(dH , m) is the PEP corresponding to an error event with Hamming weight dH. For clarity, we made the dependency of PEP(dH SNR ‘ ‘, m) on average and fading parameter m explicit. For BIOS channels, the PEP can be considered as the tail probability of a random variable generated by summing dH i.i.d. LLRs. More specifically, 1n [2], it has been shown that for BICM systems with signal constellation X and/or 4 labeling t which do not preserve the symmetry of the output an equivalent BIOS channel could be considered by switching between the labeling p and its complement j with probability of 1/2. This equivalence is valid due to the common hypothesis of uniform encoder outputs. 23 2.2. Preliminaries choosing the all-one codeword as reference codeword, PEP(dHI,m) = Pr (d <Om) (2.6) . A common approach for computing such a probability is through the use of the Laplace transform 1 ’AIm (s) of the PDF of A. That is [12] cr+joo Pr(z2dH <Oj,m) = j J [i,m(s)] (2.7) , a—joo where PT and a e R, 0 j < a < am, is chosen in the region of convergence of the integral. The computation of (2.7) itself is often not straightforward and invokes the use of numerical methods [12]. For this reason [12] has proposed a few bounds and estimations, among which the saddlepoint approximation has recently attracted considerable interest due to its simple form and accuracy [6]. Approximation of (2.7) using the sad dlepoint technique results in [12] [6] Pr (dH <0! , 1 m) a 2 ir dH ‘AI,m (a) (AI,m (a)) (dH+O.5) where Im (a) denotes the second-order derivative of T AI,m (a) and (2.8) a is the saddlepoint defined as dAI,m (a) da While & = — 29 a= 1/2 for BIOS channels with ML decoding, a slightly different 24 2.2. Preliminaries saddlepoint may be found for the max-log approximated LLR in (2.4) [101. 2.2.3 Cutoff Rate From (2.7) we can write the Chernoff bound for the PEP between two code words c and c’ as ( denotes addition in 1F2) (())CC) Pr(c c’) , O<max (2.10) and thus express the cutoff rate as [13] = 2 —m log Pr(c) Pr(c’) (AI,m(a))’)] [<max (cE1} (2.11) The factor m in (2.11) renders the unit of R 0 bit per transmission symbol. With the assumption of uniformly distributed coded bits, (2.11) can be rewritten as 0 R = m (i — 2 [i + AI,m(a)j) log , (2.12) with & from (2.9). We observe that the evaluation of the error-rate approximation via (2.8) and the cutoff rate (2.12) hinge on expressions for the Laplace transform R+. The derivation of these expressions in closed form is AI,m (s) for s e considered in the next section. 25 2.3. Approximation for the PDF of LLRs and its Laplace Transform 2.3 Approximation for the PDF of LLRs and its Laplace Transform In this section, we first derive an approximation for the PDF of the LLRs de fined in (2.4) assuming transmission over the nonfading AWGN channel (i.e., m — oo). Using this approximation, we then derive closed-form expressions for AI,m (s) for s E 2.3.1 and arbitrary m. Approximation for the PDF of LLRs We denote the PDF of LLRs (2.4) for the nonfading channel with c being transmitted by fAICb,(A) and the complement of b by b = b = b 1. Since the channel is BIOS, the symmetry property fAI=o,P) = , (2.13) = 1 without loss of gener (—A) 7 fAIC=, holds, and thus we consider the transmission of c ality. The PDF of LLRs can be considered as a weighted sum of PDFs fAIj,x,(A) j conditioned on the bit position 1 r and the transmitted symbol x E (A), 1 Pr(xlc= 1,i)fA fAI=l,(A) j=1xEX , 3 i (2.14) j=1 3 zEX , i where the second step follows from the assumption of equiprobable modu 26 2.3. Approximation for the PDF of LLRs and its Laplace Transform lator inputs. Hence, the task is to find expressions for ( 7 , 1 fA A) , for every 1 j r and x e Xj,i. This requires consideration of all signal points in the constellation and, depending on the type of modulation and labeling, may not lead to a closed-form result. To motivate our approach, consider a transmitted codeword c and a given competitive codeword c’ with Hamming distance of dH from c. As suming that the dH distinct bits of c are transmitted using dH symbols and label positions c = [jl,j2, ••,JdHl, the corresponding bits of c’ could be transmitted using any sequence of the signal points in X dH,C } Using the union upper bound over X’ results in the BICM Union Bound (BICM-UB) [2, Section IV.Bj. In this case, fAj..(A) is approximated by considering all signal points in for x E Xj,b. Replacing Xj,’ with a single, nearest-neighbor signal point leads to the BICM-EB [2, Section IV.C]. That is, the BICM-EB estimates fAI,,(A) by considering only one member of which is not a valid simplification for non-Gray labeling rules due to the presence of multiple nearest neighbors [2,4,6]. Instead of these two extreme approaches, we propose to use the set of all nearest signal points in a given z E for Xj,b. That is, we define the set of nearest competitive signal points of x, {a a E X, Ja xli liz xli - - = }, (2.15) 27 2.3. Approximation for the PDF of LLRs and its Laplace Transform Case I Case II Case III Case IV Case V Case VI Figure 2.2: Illustration for possible sets of nearest competitive signal points for general QAM and PSK constellations. The “1” represents the trans mitted signal point x, and the “0” show the elements of A ,. The shaded 3 indicates areas D(AIj, x, -y) for A = 0. For A > 0 the boundaries move to wards x, for A < 0 the boundaries move towards the competitive signal points. to approximate 7 fAIJ,, ( A). We note that this corresponds to the approxi mation — (ii — h xII2) + (ii v’ h a112) — , (2.16) for the LLR in (2.4), which is expected to be tight in the SNR range in which the BER union bound converges to the true error rate. There are six non-equivalent formations for the sets of nearest compet itive signal points for QAM and PSK constellations. These are illus 28 2.3. Approximation for the PDF of LLRs and its Laplace Transform trated in Figure 2.2. For each formation we determine the PDF 7 fAIj,, (A) from the corresponding cumulative density function 7 , 1 FA , (A) = Pr (z E D (Au, x, (2.17) , where ID (Aj, X, y) is the part of complex plane in which the LLR according to (2.16) is less than A (see Figure 2.2 for A = 0). Thus, the PDF is expressed by fAIj,x,y (A) J = exp DQiIj,x,y) (— liz 112) dz, (2.18) whose closed-form solution for the kth configuration from Figure 2.2 is spec ified as fA,kI.,.(A) in Table 2.1. For the expressions in Table 2.1 we used the notations 1 (x) exp / (x— )2\ 2 2o- = ) Ip(_t2)dt, erf(x) u(x) fi, x>0 0, x<0 = Substituting fAj 7 (A) in (2.14) with the corresponding fA,kI., (A) from Table 2.1 gives us the desired closed-form expression for fA (A). For a = general M-ary QAM constellation we obtain 5 (A) q k,1 fA,kd 7 , 1 = (A) , 1 d = I dmjj , (2.19) k=1 1=1 29 2.3. Approximation for the PDF of LLRs and its Laplace Transform where k,j denotes the number of nearest competitive signal sets of type k with Euclidean distance d , dmin is the minimum Euclidean distance of the 1 constellation, and = I I max < max < max IIIa—a’II 1jr 1aEvj,l a’EAj,a I.. dmjn Similarly, for an M-ary PSK constellation we find M 7 , 1 [ni,tf,i 1 d P’) + 6,1fA,6jd,O,- 0’)] (2.20) = I_ ::dmin, - — Numerical values for k,j are summarized for some popular signal constel lations and labelings in Table 2.2. It should be noted that the expressions in (2.19) and (2.20) are much easier to evaluate than the PDF approxima tions in [8]. In particular, their computation does not require any numerical integration. Figure 2.3 shows a comparison of PDF histograms, obtained through Monte Carlo simulation, and the approximations (2.19) and (2.20) for dif ferent constellations, labelings, and SNRs. In addition to popular Gray labeling (GL) [14], two non-Gray labeling, namely modified set partitioning labeling (MSPL) and semi set partitioning labeling (SSPL) (cf. [2,15,16]) are also included. These non-Gray labeling bear significance for BICM transmis sion with iterative decoding (BICM-ID) [15,16]. From Figure 2.3 we observe that the proposed approximation is very accurate regardless of the type of 30 2.3. Approximation for the PDF of LLRs and its Laplace Transform Table 2.1: Probability density function of LLRs fA,kI., 7 (A) for transmission over nonfading AWGN channel for the six different sets of competitive signal points shown in Figure 2.2. d 1 fA,1 ( 7 A) , 7 fA,21d, d 2 , .N2 ( 7 A) 2 (A) d2(A) 2 .A42, d 1 fA,3 ( 7 A) , d,(A) 1 fA,4 7 fA,sId, (i erf (l’\’\ 2d}) — (A)u 7 2J’fd2,2d2 (i d 1 J\ , ( 7 2d2 A) 2 — 2erf y 2 (d — y 2 (?)) u (d d2(A)erf (r) u 2 , 7 —4.Afd2 (A) fA,6jd,e,y(A) (i ,2d2(A) 7 J\Id2 — A) -y 2 (d “°‘ erf (tan 1 k — — A) A) x” 2d,J7,) Table 2.2: Numbers rik,l, 1 < 1 {Qm, M/2}, of nearest competitive signal sets of type k, 1 k 6 (Cases shown in Figure 2.2) for different constella tions and labelings used for numerical results in Section 2.5. Only non-zero coefficients k,1 are shown. Gray labeling (GL), set partitioning labeling (SPL), modified set partitioning labeling (MSPL), semi set partitioning la beling (SSPL), and mixed labeling (ML). 4QAM 16QAM 64QAM 8PSK GL ni,i=4 SPL , 1 n = 1 , 2 2,n GL , 1 ri = 24,fl1,2 SPL , 1 n = 2 , 1 8, n MSPL fli,i = 16, fl2,1 = 4, ML , 1 n = 24,fl3,1 = 8 GL fli,i = 112, 731,2 = GL i,i = 8, fll,2 = 4 SPL i,i = 6, fll,2 = 2, fl2,1 SSPL fli,i = 6,fl2,1 = 6 = 2 = = 8 4, n ,i 2 = fl2,2 10, n 1 , 3 = 4, ni,i = 4, n 1 , 5 = 2 2, fl3,1 = 4, fl4,1 = 4, n 1 , 5 = 2 = 3 , 1 48,n = = 16,fll,4 = 16 4 31 2.3. Approximation for the PDF of LLRs and its Laplace Transform 1 I I 0 D V . 101 .:::: ::. SSPL, 8PSK, 12 dB MSPL, 16QAM, 12dB GL,8PSK,9dB GL,16QAM,9dB :: :... -ç 102 ::.:::.::: :.:::.:::.:.:::::.:::;::: h:::: io —10 —5 0 ::: 5 :: 10 ::::: :: 15 A .::::. :::.: 20 :: : 25 30 35 40 Figure 2.3: Probability density functions of reliability metrics for BICM transmission over the nonfading AWGN channel for different constellations and labeling. Lines represent the PDF approximation given in (2.19) and (2.20) while markers represent the estimated histograms through simulative measurement. labeling. Especially the negative tail of the PDF is represented faithfully, which is important when evaluating performance parameters. 2.3.2 Laplace Transform of the PDF Approximation We now apply (2.19) and (2.20) to obtain expressions for the Laplace trans form Al,m (s) which become closed form for s e R+. 32 2.3. Approximation for the PDF of LLRs and its Laplace Transform Table 2.3: Laplace transform of the probability density function of LLRs for transmission over nonfading AWGN channel (s) for the six different sets of competitive signal points shown in Figure 2.2. 7 A,1d, exp (d 7 (2 2 (s) exp A,2Id, ( 7 s) A,3Id, (s) exp exp A,4d,(s) 7 2 (d (2 — -y 2 (d 2 (s exp (d -y (2 2 A,6d,O,y(5) — s)) (1 + erf (d,j5 s)) (i + erf (d s) + (i + erf (d s)) exp (d 7 (s 2 2 A,5Id, ( 7 s) s)) s)) (i + erf (d/ s)) — 2 7 (s 2 (d — — — s)) (i + erf (d/ s)) (i + erf (sin ))2) ))2 () d/5 s)) Nonfading Channel First we consider the nonfading case, i.e., m —* oo, for which y = ‘. We denote the Laplace transform for this case by 4 AI (s). Starting from (2.19) and (2.20), 7 A1 (s) is obtained as 4 AI 2 (s) A,kIdj,y = (s) , 1 d I dmin , (2.21) k=1 1=1 for a general M-ary QAM constellation and as M [ni,i A,1Idi, 7 (s) At (s) + n , 6 j A,6Idi,ei,-y (s)] =— I dI I Oj — — sin(f)d mm, SIflM) = for PSK constellations, respectively. fA,kI., P 7 0, 1 k (2.22) f\ is the Laplace transform of 6. Using the expressions for 7 fA,kI., P ) from Table 2.1, 33 2.3. Approximation for the PDF of LLRs and its Laplace Transform Table 2.4: Laplace transform of the probability density function of LLRs when transmitting over Nakagami-m fading channels (s) for the six different sets of competitive signal points shown in Figure 2.2. m (s) A,1jd,,m (m_d4s2_s)) ( A,2Id,,m() A,3jd,,m (s) m (m_d4s2_s)) A,5Id,,m(8) m + + I31d2d(S) + I3Id2d(S) +I3Id2d/,,/(S) + (m_d4s2_s) ) I4Id2d/.J(S) m + d2 2 _s))m 2 (m_d4s A,6d,O,,m(8) the ) _s))m 2 (m_d4s A,4Id,,m() ,d/(S) + I4Id2d//(S) + ‘3&,(o/2)d() can be written as weighted sum of the following integrals: I (s) = I2I (s) = where —s) 2 m—d(s = assuming s 7 and 2 d e f f ii = (x)erf 2 , (x) erf () ( u( x_j — x) exp (—sx) dx , (2.23) exp (—sx) dx, (2.24) tan(8/2). Closed-form expressions for these integrals R+ are derived in the appendix, and the resulting expressions for FA,kl., (s) are summarized in Table 2.3. 7 Nakagami-m Fading Channel We now consider the faded AWGN channel. Due to the linearity property of Laplace transform, we have = f f,m(7)Al() . 7 d (2.25) 34 2.3. Approximation for the PDF of LLRs and its Laplace Transform Substituting (2.21) and (2.22) for AI (S) in (2.25), we can write I>AIm() 7 as linear superposition of = ff (2.26) , 7 ,m(7)A,kI.,(S) d for which expressions are given in Table 2.4 in terms of the integrals Here, (s) 3 I 1 = (s) 4 I 1 = ‘ = exp (_(s ,m(7) 7 7f exp (_(s — — s2)7) (2.27) erf (v s) d , 7 s2)7) (erf (u ))2 d 7 (2.28) . , and v E {d/’/,d,dsin(O/2)}. In the appendix, we provide 2 d closed-form expressions for these integrals for s E R+ and general m in terms of Appell’s double Hypergeometric function and Gauss’ Hypergeo metric function [17] [18] together with simplified approximations in terms of elementary functions. Furthermore, for integer values of m exact closedform expressions are given using only elementary functions. For example, for the important case of Rayleigh fading (m = 1) the integrals in (2.27) and (2.28) are obtained as I3(S) [1 14I,v(8) — +(s — [1 +(s )] (vs)2 +i(s 2 s — )] 2 s — )+ 2 s tan (VS2 +i(s — )+ 2 s 35 2.4. Asymptotic Analysis for High SNRs Table 2.5: Asymptotic values of Probability Density Function of LLRs (’) for transmission over nonfading AWON channel, its Laplace trans 7 fkjd form FkId (s), and the Laplace transform of the PDF of LLRs when trans 7 mitting over Nakagami-m fading channels kIdm(S) for the six different sets of competitive signal points shown in Figure 2.2. fa A,1d,y ‘ Case 1 (A) a (S) 1 A,ljd, ,2d2(A) 7 AId2 exp (d 7 (s 2 2 a a JA,2d,y (A) Case 2 a A,2Id,,m() d 2 , 2.N2 ( 7 A) 2 2exp (d 7 (s 2 2 2 ja a A,3d,y(S) a A,3Id,,m(S) 2 a Case 4 A,4Id,() A,5Id,7() 4exp (d 7 2 fa Case 6 2.4 — s)) ,2d2 2/2 ( 7 A) A,6Jd,y() A,6Id,,m() 2 (s _s))m s 2 (m_d A,5Id,,m() a A,6Id,() s)) d 2 , 4.N2 ( 7 A) 2 a .‘ — _s))m 82 (m_dz d, y) a s)) s))m s 2 (m_d 3exp (d 7 (s 2 2 A,4Id,,m() Case 5 — d2(A) 2 , 7 3.N2 a ta JA,5Id, (A; s)) _s))m s 2 (m_d 2exp (d 7 (s 2 2 JA,4d,yP’) a — ’ 1 2 , ( 7 2d2. fd2 A) J A,31d, Q’) 7 Case 3 s)) _s))m s 2 (m_d A,1Id,,m(S) a A,2Id,y(S) — 2exp (d 7 (s 2 2 2 — s)) m (md4s2_s)) Asymptotic Analysis for High SNRs In this section, we consider the case of asymptotically high SNR to further simplify the expressions for the PDF of LLRs and its Laplace transform. We 36 2.4. Asymptotic Analysis for High SNRs then provide the saddlepoint approximation (2.8) and the direct derivation of the PEP without saddlepoint approximation for the asymptotic case. From this analysis we immediately obtain important performance indicators for BICM transmission over Nakagami-m fading channels. 2.4.1 PDF of LLRs and Its Laplace Transform The expressions for the PDF of LLRs and its Laplace transform for transmis sion over the nonfading AWGN channel shown in Table 2.1 and Table 2.3 can be simplified for high SNRs by replacing the error function with its asymp totic values, i.e., erf(x) 1 (—1) for x >> 0 (x << 0), which corresponds to high SNRs -y. The Laplace transform expressions for transmission over fading channels are then obtained from averaging using (2.26). Table 2.5 summarizes the closed-form asymptotic results fkId (A), A,kId, 7 ()’ and 7 for 1 k 6. Using the expressions from Table 2.5 in (2.19)- (2.22), the following simplified expressions are obtained: I max , (A) 1 f= N1 ?, d?(A) 2 = 1 exp (d N 7 = (2.29) , (s2 _s)) m Imax = 1 N (2.30) , , (m_d?(s2_s)) (2.31) 37 2.4. Asymptotic Analysis for High SNRs where lma,c A f q, for QAM, M/2 for PSK, (2.32) c — ? 1 N ( 2.4.2 , (fli,i ,j + 2n 2 ,j + 3 + 2n ) 1 , 6 (ni,j + 2n 374,1 ,j) 5 + 4n for QAM, , for PSK. , Saddlepoint Approximation We now apply the saddlepoint approximation (2.8) and the asymptotic Laplace transform expressions from (2.30) and (2.31) to obtain asymptotic BER expressions. We note from the expressions for the saddlepoint & = (s) in Table 2.5 that 1/2 (cf. (2.9)). Nonfading Channel In the nonfading channel case (m —* 00, y = ‘), substituting the Laplace transform expression given in (2.30) into (2.8) and considering only the asymptotically dominant term, we arrive at PEP (dHIy) 1 /7rdH d exp (—dH d 7) . (2.34) Finally, substituting (2.34) into (2.5) and only considering the PEP with minimum Hamming distance gives asymptotic BER for transmission over the nonfading channel. 38 2.4. Asymptotic Analysis for High SNRs Nakagami-m Fading Channel The substitution of (2.31) into (2.8) results in PEP(dHIj,in) = 2./lrdHm dH [ (i)] (—) lmax 1 N ?fldH (2.35) Substituting (2.35) into (2.5) we can identify the diversity order as Gd = (2.36) mdfr, i.e., the product of the free distance of the convolutional code and the Nakagami-m fading parameter. The horizontal offset of the log-error-rate curve, and thus the coding gain, depends on modulation, labeling, and fad ing parameter m. In particular, the coefficient [ ()] I max d?m -1/rn . (2.37) can be considered as a direct generalization of the harmonic mean d ob tained in [2, Eq. (63)] for Gray labeling and transmission over Rayleigh fading channels (m 2.4.3 = 1) to arbitrary labeling rules and fading factors m. Direct Analysis The simplified expression (2.30) also allows direct evaluation of the PEP without saddlepoint approximation. 39 2.4. Asymptotic Analysis for High SNRs Nonfading Channel For transmission over the nonfading AWGN channel we use (2.30) to define dH (s)] 1 [ 1 exp (d N 7 (s2 — s))] . (2.38) = Using the multinomial-series representation (cf. [17, P. 823]), this can be written as I dHI7() imax Z12++1LmlH d! rrtmax 1 \i.L11 l (2.39) lmax itflax ) exP[(izd?) (S2_s)7] t (fiN Since (2.39) is the Laplace transform of a linear superposition of Gaussian PDFs, the PEP is obtained in closed form as / PEP(dHI-y)= \ (\ 1=1 tmi) 2 ji, it. Ii+12+•••+ttmax_dH ax m u ( \ I / N flNiL) \11 1 /lmax ( Zitd \11 (2.40) Considering only the asymptotically dominant term gives the approximation PEP(dHIy) = NQ (/dHd) . (2.41) Hence, the asymptotic PEP is expressed as the PEP for binary (i.e., BPSK) transmission with an equivalent SNR of dH 7, scaled by a constant which is a function of the minimum Hamming distance of the code and the mapping 40 2.4. Asymptotic Analysis for High SNRs rule. From the convergence of lower and upper bounds for the Q-function for large arguments [19j, we obtain for PEP(dHI7) = dl/7rdH7 —+ cc exp (2.42) (—dHd7) which coincides with the result (2.34) from the saddlepoint approximation. Nakagami-m Fading Channel Instead of directly using (2.31) we found it easier (i) first to determine the PEP conditioned on the vector y .. , 7dJ of instantaneous SNRs experienced by the dH bits involved in an error event and 9ii) then to average with respect to the PDF i,m(7) 7 f of the SNR vector. Hence, starting again from (2.30) we write the Laplace transform conditioned on dH dHI7() [J \ /dH (s) 7 i=1 ( [J J) 13 N = i t { dH} fdH exp 2 (s 7 (d? \j=1 \j=1 — s) ) J E{i (2.43) from which we obtain the conditioned PEP as dH 1 lr PEFdHy) = 1 {t dH} t E{1 ,...,tmax}’ H 1 (fl N ) Q ( j > \j=1 / \N j=1 d?7j . (2.44) J 41 2.4. Asymptotic Analysis for High SNRs Applying the alternative representation of the Q-function (cf. [9, p. 85]) and averaging with respect to the SNR vector leads to dH 1 PEFdH,m) ) 1 (nN = E{1 ,...,max}dH / fl —m 2 d (1 + 4msin2()) dq5. (2.45) 2 d Making the high SNR assumption 1 << (> Imax PEP(dHI,m) = 4msin2() dH Ni) md 4 we obtain Tr/2 1 / ()2TfldH d (2.46) which finally can be solved to [20, Eq. 3.6211 PEP(dHI,m) - 2/F(rndH+1) ( )H ()mdH. 1 N (2.47) We note that the PEP in (2.47) has the same form as the PEP (2.35) ob tained with the saddlepoint approximation. In particular, the diversity order Gd (2.36) and the generalized harmonic mean dim (2.37) are confirmed as important parameters for code and channel diversity and coding gain. Fur thermore, recalling the asymptotic series P(x±1/2) = 2 ’ 1 x [1 + O(x )], 1 x , (2.48) we note that (2.47) and (2.35) become identical for mdH >> 1. The discrep ancy for small values of mdH indicates the insufficiency of the second-order approximation of the cumulant transform log (AI,m(_s)) used in (2.8) for 42 2.5. Numerical Results and Discussions extreme cases of fading (i.e., m << 1). 2.5 Numerical Results and Discussions In this section, we present a number of exemplary numerical results to illus trate the accuracy of cutoff rate and BER approximations based on the new closed-form expressions. For the BER results we assume BICM with the popular, quasi-standard 64-state rate-1/2 convolutional code with generator polynomials (171,133)8. Cutoff-Rate Results First, we consider the cutoff rate (2.12) using the closed-form approximations for the Laplace transform derived in Section 2.3.2. We found that c = 1/2 yields practically the same results as when using the exact saddlepoint a (cf. Eq. (2.9)), which is consistent with the results reported in [10] and the fact that & adopted c — = 1/2 with increasing SNR (cf. Section 2.4.2). We therefore 1/2 in all cases. -curves for QAM and PSK constellations with differ 0 Figure 2.4 shows R ent mapping rules and channel types. In addition to popular Gray labeling (GL), two non-Gray labeling, namely, mixed labeling (ML) and set parti tioning labeling (SPL) (cf. [2,15]) are also included. The markers represent -values obtained with Monte Carlo simulation, and the lines represent 0 R results from the evaluation of the closed form expression. We observe that there is an excellent agreement between analytical and simulation results for a wide range of SNR, and in particular for all R 0 values of practical inter 43 2.5. Numerical Results and Discussions o D 5 V GL, 64QAM, m=3 ML,16QAM,AWGN SPL,8PSKm=1 GL,8PSK,m=0.5 —4 0 .0 $ 3 0 C —20 —10 0 10 20 30 40 50 [dB] Figure 2.4: Cutoff Rate R 0 for BICM channel with different constellations, labeling rules, and channels. Lines are obtained from evaluation of (2.12) using the approximation for the Laplace transform derived in Section 2.3.2, while markers are obtained from Monte Carlo simulation. est. The discrepancies between analytical and simulated cutoff-rate curves for non-GL and low SNRs in Figure 2.4 are expected, since the underlying approximation of the PDF of LLRs (cf. Section 2.3) is not accurate in this SNR range. Bit-Error Rate Results Next, we compare simulated and analytical BER results. In case of the BER union bound (2.5), only the 15 first terms of the distance spectrum of the convolutional code were taken into account, and thus, strictly speaking, the 44 2.5. Numerical Results and Discussions 100 O999.O 10 •...D. -l \ 0 4 V \ \ V SPL16QAM GL8PSK SSPL8PSK GL64QAM 102 3 io ::::::::::;::::::....::.:b\:::;..::::.’..:.:::;::::::::::..:::::.: ...‘ 10 V .. “.. 10 5 . 10_6 ... ............,, ‘ S 10 10_8 0 2 4 6 8 7b 10 12 14 [dB] Figure 2.5: BER of BICM transmission over nonfading AWGN channel for a 64-state convolutional code of rate 1/2. Solid lines: BER union bound. Dashed lines: Asymptotic analysis with (2.41). Markers: Simulation results BER union bound is a BER approximation. Figure 2.5 shows the analytical (lines) and simulated (markers) BER results for different constellations and labeling for transmission over the nonfading AWGN channel. Solid lines represent the BER union bound, while dashed lines represent the asymptotic approximation (2.41) for dH = dfree, i.e., only the asymptotically dominating error event is considered. We observe that the BER union bound is fairly tight for all modulation schemes and BERs below about iO. Likewise, the proposed simple expression (2.41) accurately predicts the asymptotic error-rate performance at high SNR. Similar results are obtained with the expression (2.34) derived from 45 2.5. Numerical Results and Discussions 100 0 H!HH!HH SEE 0 5 ‘ 15 10 ML 16QAM m=0.5 GL 16QAM m=0.5 GL8PSKm=1 MSPL 16QAM m=1 25 j, [dB] Figure 2.6: BER of BICM transmission over Nakagami-m fading channel for a 64-state convolutional code of rate 1/2. Solid lines: BER union bound using the exact closed-form solutions for integrals (2.27), (2.28). Dashed lines: BER union bound using the approximations (2.61), (2.66). Markers: Simulation results the saddlepoint approximation, which is apparent from the equivalence of (2.41) and (2.34) for high SNR (cf. Section 2.4.3). We now compare analytical and simulated BER results for BICM trans mission over fading channels with different constellations and labeling rules. To this end, Figure 2.6 shows BER curves obtained from the BER union bound and the exact closed-form solutions for integrals (2.27), (2.28) (solid lines) and their approximations (2.61), (2.66) (dashed lines) derived in the appendix. Again, we observe an excellent match between results from analy 46 2.5. Numerical Results and Discussions 106 10 -8 0 5 10 15 20 25 30 35 40 7o [dB] Figure 2.7: BER of BICM transmission over Nakagami-m fading channel for a 64-state convolutional code of rate 1/2. Solid lines: Asymptotic analysis with (2.47). Markers: BER union hound. sis and simulations, which confirms the validity of the approximations made for the derivation of the closed-form BER expressions. Since this is also true for the expressions using the exponential approximations of the error func tion, i.e., (2.61) and (2.66), we have provided tight BER approximations in terms of elementary functions. Finally, in Figure 2.7 the asymptotic BER results from (2.47) and dH = dfree (solid lines) are plotted together with the BER union hound (markers) for the same transmission scenarios as in Figure 2.6. It can be seen that the asymptotic results correctly predict coding and fading gain of the BICM scheme. Similar results are obtained when evaluating (2.35), since the term 47 2.6. Conclusion on the left-hand side of (2.48) is well approximated by (mdH)’/ 2 for mdH mdfr = lOm > 5 for m e {O.5, 1} in Figure 2.7. = Hence, we conclude that the simple expressions (2.35) and (2.47) are very valuable to quickly determine the asymptotic performance of BICM transmission over fading channels. 2.6 Conclusion In this chapter we have presented a new method for analyzing the perfor mance of BICM transmission. Its key element is a new approximation of the PDF of the bitwise reliability metrics, which is a valuable contribution in its own right. This approximation has led us to closed-form expressions for the Laplace transform of the PDF, in terms of which BER and cutoff rate of BICM can be expressed. Notably, our results are valid for BICM with ar bitrary QAM and PSK constellations and mapping rules, and transmission over Nakagami-m fading channels for arbitrary m. Furthermore, we have developed an asymptotic analysis which provides valuable insights into the performance of BICM over fading channels, namely expressions for diversity order and asymptotic coding gain. We have presented selected numerical results, which confirmed the accuracy of the proposed analytical results for SNR regions of interest for moderately complex coding schemes, such as convolutional coded BICM. 48 2.7. Appendix 2 x 2 x • • -- - S • • - -- - * • S S S S S V3 55.,,, - --- _4. A. 4 xI ‘. 55 / S S S — v,s 5, S S S S S S I Figure 2.8: The graphical representation of integrals (2.50) (left) and (2.53) (right). Shaded areas are integration supports, and dashed lines indicate decomposition into support areas for which the integrals can be solved. 2.7 Appendix In this appendix we present the solutions for the four integrals IkI.(s) that appear in Section 2.3.2. 2.7.1 Closed-form Expression for Iii(s) in (2.23) for s e R Using the integral form of the error function, I (s) 1 1 from (2.23) is written as i (s) 1 Ii = 2/7 f exp ( 2) exp (_x) exp (—sx) dx 2 dx. (2.49) 49 2.7. Appendix Applying the change of variables x 1 leads to /S-X1 / Iii,i(s)=_exp(ii(s2_s))f exp(_(x?+x))d.x d 2 xi. (2.50) The support of this integral is illustrated in Figure 2.8 (shaded area in the left sub-figure), from which we can express it as 11 I ,(s) = — exp (t (2 — s)) (si + s 2+ , (2.51) where S, S, and S 3 denote the corresponding areas indicated in the Fig ure 2.8 (left sub-figure). Using the rotational invariance of the integrarid in (2.50), the areas are easily determined and from (2.51) the integral is finally obtained as ())2 j(s) 1 I 2.7.2 = — (i +erf . Closed-form Expression for ,(s) 21 in (2.24) for s I (2.52) eR Starting from (2.24) and performing the same transformations as above, we obtain 00 21 I (s) = — exp (i (s2 — s))f 2v(/is_xi) / exp 2 dx . 1 (_ (x + x)) dx (2.53) The support of this integral is illustrated in Figure 2.8 (shaded area in the right sub-figure). Exploiting again the fact that integrand in (2.50) is 50 2.7. Appendix rotational invariant, we can write 2 21 I ,(s) = —— exp ( (s — S4’\ (j-) s)) (2.54) where S 4 is illustrated in Figure 2.8 (right sub-figure). Finally, we arrive at the closed-form expression I2I,j(S) 2.7.3 = —exp ( (s / erf — (+ 2v (2.55) 2 (2v) Computation of ,(s) 31 in (2.27) for .s I eR Exact Solution Applying the alternative representation of the Q-function (cf. [9, p. 85j), the integral (2.27) can be written as 31 I (s) = (m + — 2)) [1 — ] 1 2P , (2.56) where 2 ir () ) m C = 2 (vs) ) 2 + i(s s (2.57) — The integral P 1 has been solved in [9, p. 127] as 1 F(m+) 1 ) F(m+1) 5 2(1+C)(m+O Fi(1m+;m+1;) 2 (2.58) 51 2.7. Appendix for general values of m in terms of the Gauss Hypergeometric function (.,;.;.), which simplifies to 1 F 2 Pi = -p(c)> (c)12)k] (2k) , p(c) (1_ ---, 1 (2.59) for positive integer m. Substituting (2.58) or (2.59) into (2.56) gives the desired closed form. Approximation For non-integer m an approximation of I3 ,,(s) in terms of elementary func 1 tions may be desirable. This is possible through the use of the exponential approximations of erf (x). For example, using the tight approximation [211 erf (x) 1 — exp (_x2) — exp (—) , (2.60) the integral (2.27) can be approximated as 3 31 I (s) where 3 , 2 [ai,a j a = a (m + [p(s — )+ 2 s [i,_,_] and 3 1 [b , 2 ] b = ] 2 b(vs) (2.61) [o,i,]. 52 2.7. Appendix 2.7.4 Computation of I4I,,v(s) in (2.28) for s e R Exact Solution Using again the alternative representation of the Q-function (cf. [9, p. 85]), we can rewrite the integral (2.28) as I4I,v(s) = +4P 1 —4P ] (+“2))[1 2 , (2.62) where F 1 and c are defined in (2.57), and It —m 4 1(1+ sin 2 P . ()J d. (2.63) The integral P 2 has been computed in [22, p.538] for general m in terms of Appell’s double Hypergeometric function 1 F ( .; .,.;.;.,.): 1 3 1+c 1’\ / 1 / 1 1; m, 1; m + F 2 (2m + 1) 1 + 2c) 1 + 2c’ ‘ 2 P = (2.64) In case of positive integer m, a closed-form expression in terms of elementary functions can be obtained [9, p. 130]: 1 1 I/ir \m1 P = 2 --p(c) -tan 1 ((c))) —sin (tan_i (p(c))) k=1i=1 [ T ( +c) k /2k’\ 1 [cos (tan-i (p (c))) 2(kz) +1] 1 } (2.65) where T,k 53 2.7. Appendix Approximation Exponential approximations of erf (x) allow us to express I4j, (s) in terms of elementary functions also for non-integer rn. For example, applying again approximation (2.60), we obtain 6 (m + [(s 411 I (s) — m ) + b(vs) 2 s j 2 m (2.66) . where ] 6 2 [ai,a 3 4 , 5 a “ 10 1 L ‘ ‘ ‘ 2 ‘ ‘ = [i — 3’ —1 ‘36’6’4 and ] 6 1 [b 2 3 4 , 5 b = 1 ‘ 54 2.7. Bibliography Bibliography [1] E. Zehavi, “8-PSK trellis codes for a Rayleigh channel,” IEEE Trans. Commun., vol. 40, no. 5, pp. 873—884, May 1992. [21 G. Caire, G. Taricco, and E. Biglieri, “Bit-interleaved coded modula tion,” IEEE Trans. Inform. Theory, vol. 44, no. 3, pp. 927—946, May 1998. [3] G. Ungerboeck, “Channel coding with multilevel/phase signals,” IEEE Trans. Inform. Theory, vol. 28, pp. 55—67, Jan. 1982. [4] P.-C. Yeh, S. Zummo, and W. Stark, “Error probability of bitinterleaved coded modulation in wireless environments,” IEEE Trans. Veh. Technol., vol. 55, no. 2, pp. 722—728, March 2006. [5] V. Sethuraman and B. Hajek, “Comments on “Bit-interleaved coded modulation”,” IEEE Trans. Inform. Theory, vol. 52, no. 4, pp. 1795— 1797, Apr. 2006. [6] A. Martinez, A. Guillen i Fabregas, and G. Caire, “Error probability analysis of bit-interleaved coded modulation,” IEEE Trans. Inform. Theory, vol. 52, no. 1, pp. 262—271, Jan. 2006. [7] C. Goutis and G. Casella, “Explaining the saddlepoint approximation,” The American Statistician, vol. 53, no. 3, pp. 216—224, Aug. 1999. [8] L. Szczecinski, R. Bettancourt, and R. Feick, “Probability density func tion of reliability metrics in BICM with arbitrary modulation: Closed- 55 2.7. Bibliography form through algorithmic approach,” IEEE Trans. Commun., vol. 56, no. 5, pp. 736—742, May 2008. [9] M. K. Simon and M. S. Alouini, Digital Communication Over Fading Channels. New York: Wiley-Interscience, 2000. [10] L. Szczecinski, A. Alvarado, and R. Feick, “Closed-form approximation of coded BER in QAM-based BICM faded transmission,” IEEE Sarnoff Symposium, pp. 1—5, Apr. 2008. [11] A. J. Viterbi and J. K. Omura, Principles of Digital Communication and Coding. New York: McGraw-Hill, Inc., 1979. [12] E. Biglieri, G. Caire, G. Taricco, and J. Ventura-Traveset, “Comput ing error probabilities over fading channels: A unified approach,” Eur. Trans. Telecommun., vol. 9, no. 1, pp. 15—25, Jan./Feb. 1998. [13] C. Schiegel and D. Costello, Jr., “Bandwidth efficient coding for fad ing channels: Code construction and performance analysis,” IEEE J. Select. Areas Commun., vol. 7, no. 9, pp. 1356—1368, Dec. 1989. [14] C. Stierstorfer and R. Fischer, “(gray) mappings for bit-interleaved coded modulation,” in IEEE 65th Vehicular Technology Conference, April 2007, pp. 1703—1707. [15] A. Chindapol and J. Ritcey, “Design, analysis, and performance evalu ation for BICM-ID with square QAM constellations in Rayleigh fading channels,” “IEEE J. Select. Areas Commun. “, vol. 19, no. 5, pp. 944— 957, May 2001. 56 2.7. Bibliography [16] X. Li, A. Chindapol, and J. Ritcey, “Bit-interleaved coded modulation with iterative decoding and 8PSK signaling,” IEEE Trans. Commun., vol. 50, no. 8, pp. 1250—1257, Aug 2002. [17] M. Abramowitz and I. Stegun, Handbook of Mathematical Functions. New York: Dover Publications, 1972. [18] R. Askey, “Multiple hypergeometric functions and applications (harold exton),” SIAM Review, vol. 20, no. 4, pp. 874—875, 1978. [Online]. Available: http://link.aip.org/link/?SIR/20/874/1 [19] T. Philips and A. Sahraoui, “A sequence of upper and lower bounds for the Q function,” IEEE Trans. Inform. Theory, vol. 30, no. 6, pp. 877—878, Nov. 1984. [20] I. Gradshteyn and I. Ryzhik, Table of Integrals, Series, and Products, 7th ed. Academic Press, 2007. [21] M. Chiani, D. Dardari, and M. Simon, “New exponential bounds and approximations for the computation of error probability in fading chan nels,” IEEE Trans. Wireless Commun., vol. 2, no. 4, pp. 840—845, July 2003. [22] H. Shin and J. H. Lee, “On the error probability of binary and M ary signals in Nakagami-m fading channels,” IEEE Trans. Commun., vol. 52, no. 4, pp. 536—539, April 2004. 57 Chapter 3 Performance Analysis for BICM Transmission over Gaussian Mixture Noise Fading Channels 5 3.1 Introduction While bit-interleaved coded modulation (BICM) has been thoroughly inves tigated for the additive white Gaussian noise (AWGN) case, the analysis of BICM transmission impaired by non-Gaussian noise has received relatively little attention, cf. e.g. [1, 2]. In general, the study of communication in non-Gaussian environments has become very popular due to its practical relevance. In many practical cases such as indoor radio communication, partial-time jamming, ultrawideband communication, and power line com munication, this interference is well modeled as a Gaussian mixture noise (GMN) [3—9]. It is therefore of immediate interest to extend BICM per formance analysis as those mentioned above to the case of GMN. To this A version of this chapter has been submitted for publication. A. Kenarsari Anhari and 5 L. Lampe, “Performance Analysis for BICM Transmission over Gaussian Mixture Noise Fading Channels,” submitted for publication, June 2009 58 3.1. Introduction end, the authors of [2] present a framework that modifies the BICM ex purgated bound (BICM-EB) from [10) to encompass non-Gaussian noise. Since the analysis relies on the expurgated bound, it is limited to the case of Gray labeling and does not result in closed-form expressions for bit-error rate (BER). Furthermore, the asymptotic performance analysis in [2] is valid only when the diversity order of the system is an integer. In this chapter, we present a novel approach for performance evaluation of BICM transmission over general frequency-flat fading channels impaired by GMN. As in [2] it is assumed that the system employs the standard Euclidean-distance decoder. Our analysis mainly builds upon (i) the sad dlepoint approximation proposed for BICM in [11) and (ii) the approxima tion of the PDF of bitwise reliability metrics from Chapter 2. The main contributions of this chapter can be summarized as follows. • A closed-form approximation for the PDF of bit-wise reliability metrics when transmitting over nonfading GMN channels and using Euclidean distance based decoding is derived. The resulting PDF expression is valid for arbitrary signal constellations and labeling rules. • Based on this new expression, we derive the Laplace transform of the PDF of reliability metrics for general fading GMN channels. Using this result together with the saddlepoint approximation [11], the PEP between codewords can be obtained. For the general GMN case, the saddlepoint needs to be found numerically, which however can be done very efficiently due to the convexity of the Laplace transform [12]. The BER for BICM with linear codes is then readily approximated in terms of these PEP expressions. • For the special case of fading AWGN channels, for which the Eucidean distance based metric is maximum likelihood, the PEP is given in closed form. This is a valuable result in its own right, as previous 59 3.1. Introduction studies have been limited to Nakagami-m fading channels [13—15]. We simplify the saddlepoint-based approximation for the high signalto-noise ratio (SNR) regime, which results in closed-form expressions for asymptotically high SNR. It is shown that the diversity order of the system is the product of the fading diversity order and the min imum Hamming distance of the BICM code. The asymptotic coding gain consists of two terms, one of which is a function of the GMN parameters and the other is a generalization of the harmonic distance obtained in [10,14]. • In the case of nonfading GMN, where the noise component with the largest power dominates the asymptotic BER, the convergence of the asymptotic BER approximation occurs only at very low BERs for typ ical GMN scenarios. We therefore also derive a novel closed-form ex pression for the PEP in nonfading GMN, which takes all mixture-noise components into account and is confirmed to be tight in BER ranges typically of interest. We present a number of selected numerical results for convolutional coded BICM and different constellations, labeling rules, and fading and noise sce narios, which clearly illustrate the usefulness of the proposed approximations and asymptotic results to predict the BER performance. The remainder of this chapter is organized as follows. In Section 3.2, the BICM transmission model is introduced. The new expressions to analyze the BICM error rate are derived in Section 3.3. In Section 3.4 we provide the simplifications applicable in the high SNR regime. Numerical results obtained from the proposed analytical approximations and simulations are compared and discussed in Section 3.5. Section 3.6 concludes this chapter. 60 3.2. System Model 3.2 System Model The block diagram of the equivalent baseband discrete-time BICM trans mission system is shown in Figure 3.1. At the transmitter, the output of a binary encoder c = ,c 1 [c , 2 ..., CB] is first interleaved into clr = [cr, c, ..., cj and then input to a mapper : {O, 1}’ —* bol x at symbol time i. The transmitted = [C_l)r+l, C(i_l)r+ 2 ..., X to obtain the transmitted sym symbols x are taken from a general complex-valued constellation X of size 2. The channel considered in this work is fiat fading with additive nonGaussian noise. Assuming coherent reception, the equivalent discrete-time transmission model can be written as (3.1) where y E C, h e R+, and z E C are the ith received sample, channel gain, and noise sample, respectively. Taking into account the effect of interleaving, the fading gains h are modeled as i.i.d. random variables with unit power IE {h} = 1. Similarly, the noise samples are also i.i.d. and distributed according to the zero-mean Gaussian mixture distribution fz (z) exp (_iii) = 1, (3.3) = , (3.4) , (3.2) = where N n= 1 61 3.2. System Model and thus IE {IIzII2} = 1. Also, without loss of generality, we assume that V(i,j)i>j. (3.5) The finite-order GMN PDF (3.2) can well approximate many continuous probability density functions (PDFs) and is often used to represent the combined effect of Gaussian background noise and man-made or impulsive noise [2—9]. We will repeatedly consider the special case of AWGN, for which N = 1 in (3.2). Considering the fading and noise power normalization, ‘ in (3.1) repre sents the average SNR at the receiver. We define the instantaneous SNR as (3.6) At the receiver, the demapper outputs r bitwise reliability metrics per sym bol according to (IIYi —1)r+j — %/hi a112) aEX,,o (iYi — ) 2 ‘./hi al1 (3.7) where Xj,b is the set of symbols in the constellation with the jth bit in the binary label fixed to b. Even though (3.7) is not the true log-likelihood ra tio (LLR) in the presence of GMN, optimum maximum-likelihood decoding would require the knowledge of noise PDF or the active mixture component (i.e., the noise state n) and its variance. Since this knowledge is usually not available at the receiver, the use of the conventional Euclidean distance met ric (3.7) is often considered, e.g. [2]. The “max-log” approximation applied in (3.7) is appealing from an implementation point of view and has been shown to be effective in Gaussian noise environments [10, 16]. The metrics are deinterleaved into )j, which are then input to the decoder for the binary code in order to retrieve the binary transmitted data. 62 3.3. Error Rate Analysis BICM channel Physical channel /h z Figure 3.1: Block diagram of BICM transmission over a fading channel impaired by Gaussian mixture noise. Also indicated is the binary-input continuous-output equivalent BICM channel. ir and 7r 1 denote interleaving and deinterleaving, respectively. and r’ denote bit-to-symbol mapping and demapping (i.e., bit-metric computation), respectively. We make the common approximation of perfect (i.e., infinite-depth) in terleaving, so that the transmission channel between encoder output c 3 and decoder input A 3 can be modeled as an equivalent binary-input outputsymmetric (BIOS) channel, which is known as equivalent BICM channel [17] (refer to Figure 3.1). 3.3 Error Rate Analysis In this section, we derive expressions to approximate the BICM BER for fading GMN channels. To this end, we first briefly review the saddlepoint approximation for the PEP [11] (Section 3.3.1) and the approximation of the PDF of reliability metrics developed in Chapter 2 (Section 2.3). The latter is then extended to the case of GMN (Section 3.3.3), and its Laplace trans form for fading GMN channels, which is required for the PEP saddlepoint approximation, is derived (Section 3.3.4). 63 3.3. Error Rate Analysis 3.3.1 BER Estimation We consider the popular union bound BER estimation [18], which relies on the code’s distance spectrum and expressions for the PEP between two codewords. Assuming a linear code and the BIOS channel with perfect interleaving, the PEP only depends on the Hamming weight dH of the cor responding error event and can be expressed as the tail probability of the random variable dH 3 A (3.8) , j=1 generated by adding dH i.i.d. random variables A 3 which have the same distribution as the reliability metrics (3.7) when transmitting c = 1,6 That is, PEP(dH) = Pr (dH <0) (3.9) . For a closed-form estimation of (3.9), the saddlepoint approximation Pr (dH 1 <0) s 21rdH ())dH+1/2 AIf- (s) (A , (3.10) has become very popular, e.g. [11, 13, 17]. In (3.10), FAlf. (s) denotes the Laplace transform of the PDF of reliability metrics when transmitting c over a fading channel with PDF 7 (y) f. = 1 for the instantaneous 7 SNR y defined (s) is the second derivative of AIf (s), and E (0, Smax) 5 known as the saddlepoint, where 8 max e R denotes the leftmost pole of in (3.6), . 4Af AIf (s). The saddlepoint . is defined as dA (s) =0. (3.11) 6 T he choice of c = 1 is without loss of generality. “We drop the time index since variables are i.i.d. 64 3.3. Error Rate Analysis Table 3.1: Probability density function of reliability metrics, fAkI,d(A) and fA,kI,d,o(A), for transmission over nonfading AWGN channel, used in (3.12) and (3.13). k = 1 k = 2 k = 3 k =4 ,2d2 J\Id2 ( 7 A) d2 2 , jV2 ) 7 [i — d 2 , 2A/2 ( 7 A)u 2 ,2d2(A) 7 2 {i — 2erf k = 5 d 2 , —4.N2 ( 7 A)erf 2 k = 6 d 2 , .N2 ( 7 A) 2 [i — erf (!1\1 2d)j 7 2 (d — A) -y 2 ()) u (d u (d ’y 2 erf (tan (O”l 2) — A] — A) 2d.J )j For BIOS channels with maximum likelihood demapping it is known that = 1/2, which is also a close approximation for the max-log metric (3.7) in the case of AWGN [13]. However, for general GMN the saddlepoint deviates significantly from 1/2. In this case, since A 4 If. (s) is a convex function [12], can be determined by fast search methods [19, Ch. 9, 10]. 3.3.2 Previous Result The following derivations build on the fundamental result from Chapter 2 that the PDF of reliability metrics for transmission of c = 1 over the non- fading AWGN channel are well approximated by 8 fAM (A) = r 5 2’—1 k=1 1=1 k,1 1 ,d 7 fA,k1 (A) , dt = Idmin, (3.12) The notation “17” means that the expression is conditioned on the instantaneous SNR 8 while “If ” denotes an expression for given SNR distribution f 7 . In the nonfading case, 7 we have -y = and thus the expression conditioned on ‘y is the final result. , 65 3.3. Error Rate Analysis for regular quadrature amplitude modulation (QAM) constellations and 21 [ni,1 fA,1j,d r 2r—1 f l ,i 1 6 P’) + fl 7 fA,6I , d o (A)] (3.13) 1 d = 0 = [sin()/sin()] ir—. for phase-shift keying (PSK) constellations with minimum Euclidean dis tance dmjn. In (3.12) and (3.13), 1 ,d,(e (A) is the PDF of the reliability 7 fA,kj ) metric given c = 1 was transmitted considering a subset of “competitive” signal points representing c = . There are six non-equivalent 1 0 at distance d types of subsets for QAM and PSI< constellations and, for convenience, the Af (x) closed-form expressions for 7 fAkI (A) are given in Table 3.1, where d denotes the real-valued Gaussian PDF with mean t and variance a , erf(x) 2 is the Gauss error function, and u(x) is the unit step function. The coef ficient k,j denotes the number of subsets of type k at Euclidean distance . Table 2.2 provides numerical values for k,j for a number of popular 1 d constellations and labeling rules. 3.3.3 Extension of PDF Result to Nonfading GMN We note that the PDF approximation developed in Chapter 2 is applicable to arbitrary signal constellations, including, for example, PSK with non uniformly spaced signal points and amplitude phase-shift keying (APSK) [20] constellations. The resulting PDF expressions have the same form as those in (3.12) and (3.13), with appropriately modified numerical values for k,1, , and Sj. In the following, we therefore use the general expression 1 d (A) 17 fA = 2’ nk,zfA,kj kEFC 1=1 (A), (3.14) 66 3.3. Error Rate Analysis Table 3.2: Expressions for the PDF of reliability metrics, fA,k ,,,(A), for 17 transmission over nonfading GMN channel, used in (3.17). i = d for k = 1,...,5, arid = [d,Oj fork = 6. PDF fA,kIy,n,’) k = 1 k = 2 [i k = 3 y 2 7 2 , 1 & (A) 40 u (d N k =4 4d2(A) — 2erf k = 5 —4 ( 4 , 27 A) erf k = 6 Nd2,4d2(A) [i — — y 2 A—d erf A) — 2 A—d (2d)] A(2) erf (tan () ‘\l u (d -y 2 u (d 2 y 2 .X—d — — A) A) 1 2V’nd)j where K is the set of non-equivalent types, M is the maximal number of non-zero coefficients rik,j, and example, IC = {1,6}, M 2T_1, = {1,.. . , and 5}, M j ij = denotes the constellation parameters. For 2 — 1, and ij = 1 for QAM, and IC d = [dj,Ojj for PSK. In order to extend (3.14) to the case of GMN, we introduce the auxiliary random variable which identifies to which component n of the PDF (3.2) zj belongs. The “noise-state” variable n} is i.i.d. with distribution Pr{ = = Instead of directly using the PDF of GMN for performance analysis, we use to define the component-noise random variable pzn(z) = --exp (_i) . with (3.15) Then, the PDF of reliability metrics can be considered as a weighted sum 67 3.3. Error Rate Analysis of PDFs fAI, (A) conditioned on the state of GMN tj = n, N 7 fAI (A) fj (A) , 7 = (3.16) , where 7 fAl (A) is expressed analogous to (3.14) as , fAI, (A) = r2 flk,1fA,k,,n, (A). (3.17) keIC 1=1 Since fA,kI 1 , 7 ,, (A) is conditioned on = n, one may be inclined to obtain its PDF by replacing the instantaneous SNR ‘y with ‘y/(2o) in the expres N sions for fA k1 7 , (A) in Table 3.1 (recall the normalization = 1/2). n=1 This would indeed be correct, if the receiver had knowledge about the in stantaneous noise state j, which however is not the case for the conventional demapper (3.7) considered here. A proper derivation of fA,kI 71 , 7 ,, (A) follow ing the steps in Chapter 2 leads to the closed-form expressions presented in Table 3.2. We observe that the resulting PDF expression (3.16) using (3.17) and the results in Table 3.2 is very easy to evaluate, and its computation does not require any numerical integration. 3.3.4 Laplace Transform of the PDF of Reliability Metrics for Fading GMN Using the PDF expression (3.16), we now proceed to derive expressions for the Laplace transform AIf (s), which is required for the PEP saddlepoint approximation (3.10). We will assume s e R+, which is sufficient for evalu ation of (3.10). Using the fact that PDF of reliability metrics for fading channels can be 68 3.3. Error Rate Analysis Table 3.3: Expressions for the Laplace transform of the PDF of LLRs for transmission over unfaded channel A,kI.y,fl,l?(S) used in (3.23). $ E R+, = d fork = 1,... ,5, and = [d,O1 fork = 6. Laplace transform 7 AkI (s) n k = 1 k = 2 k = 3 exp (d -y (2os 2 2 exp (d y (2os 2 2 exp (d -y (2os 2 2 — — — s)) s)) (1 + erf (ud,/7s)) s)) (i + erf (vo-d,ñs)) 7(2as exp(d — 2 s))x k=4 (1 + erf (‘fld\,’s) + (1 + erf (and vs))2) k = 5 k = 6 exp (d -y (2os 2 2 7 (2as 2 2 exp (d — — s)) (1 + erf (ad/s)) 2 s)) (i + erf (sin j7s)) 1 () vod expressed as fAf () = , 7 ff(7) fAI (A) d (3.18) we write the Laplace transform (s) = f fA (A) exp (—sA) dA L = / fyQ) () (s) d-y, exp (-sA) dA] d 7 (3.19) (3.20) (3.21) where we changed the order of integration (assuming s is such that AIf (s) exists) and defined 1 AI’ (s) as the Laplace transform of fAI 7 (A). From (3.16), 69 3.3. Error Rate Analysis (3.17), and the linearity property of the Laplace transform we have N 7 (s) AI = nAI,n (s) (3.22) , where AI7,n (s) and = 1 r2 k,l (s) is the Laplace transform of expressions for (s) (3.23) keIC 1=1 (A). Considering the (A) in Table 3.2 and using the integration tech nique presented in Chapter 2 (Section 2.7.1 and Section 2.7.2), closed-form expressions for A,kI,n,,ii (s) are obtained, which are summarized in Ta ble 3.3. These results together with (3.23) and (3.22) give us closed-form expressions for Aj 7 (s), which allows us to evaluate the saddlepoint approx imation (3.10) for nonfading GMN channels. For fading GMN channels we define , 7 ff(7) A,kI7,n,m (s) d (s) (3.24) and it follows from (3.21), (3.22), and (3.23) that N AIf (s) r 2’ M k,1 A,kIf,n,t (s). fl= (3.25) keICt=1 Applying the methods from Chapter 2 (Section 2.7.3 and Section 2.7.4), the integral in (3.24) can be solved in closed form with elementary function for Nakagami-m fading channels with integer parameter m, and in terms of hypergeometric functions for non-integer m. However, no closed-form solution exists for other popular fading distributions like Nakagami-n or 70 3.3. Error Rate Analysis Nakagami-q. Therefore, we propose the use of the approximations erf (x) P(x) (x))2 P(x) (erf with coefficients a, b, a, b > a exp (b x2) a exp , (3.26) x2), (3.27) and number of terms K, 1? chosen accord ing to the particular approximation method and required accuracy. Such approximations for the error function can be obtained using the alternative representation of the Gaussian Q-function and approximation of the integral using a Riemann sum, cf. [21]. Equipped with (3.26), (3.27), and defining the moment generating function (MOF) of the instantaneous SNR y Mf (s) ff (t) exp (s t) dt, (3.28) as well as the finite series Si(s;,v,p) (s; , v, p) 2 S Mf (—vs+ (w+bp2)s2) a Mf (—vs + (w + bp2) s2) , (3.29) , (3.30) the resulting expressions for A,klfy,n,t (s) are presented in Table 3.4. Hence a simple closed-form approximation of AIf (s) for fading GMN channels is obtained as long as the MGF of the SNR is available in closed form, which is the case for almost all the practical fading distributions [22]. Table 3.5 (second column) summarizes the formulas for 7 Mf ( s) for the most popular fading models. 71 3.4. Analysis in the High-SNR Regime Table 3.4: Expressions for the Laplace transform for fading GMN channels as function of MGF Mf(s) (3.28) and the finite-series ex pressions Si(s;w,v,p) (3.29) and S (s;w,u,p) (3.30). s E R, 7) = d for 2 k = 1,... ,5, and ij = 4,0] fork = 6. Laplace transform k = 1 k = 2 k = 3 k = 4 Mf (d 2 (2os 2 Mf, (d 2 (2as 2 Mf (d 2 2 (2cis 7 (d Mf. 2 (2us 2 — — — — s)) ,d 2 , and) 2 s)) + S 1 (s; 2d s)) + Si (s; 2od , &, ‘./ond) 2 ,d 2 , /ad) + 2 s)) + Si (s; 2od d , 2 (s;2od ord) ,&,od) + S 2 2, 1 (s;2od S k = Mf (d2 (2os2 5 — 1 (s; 2od ,d 2 , d) + 2 s)) + 2S 2 (s;2o&,&,od) S k = 6 Mf (d2 (2os2 — () s)) + Si (s;2od2,d2,vsin ciid) Table 3.5: The MGF of SNR Mf (S) and its asymptotic form M7(s) for a 7 number of Dopular fading distributions. Fading model Rayleigh M7(s) Mf(s) (1 — 1 s) ;, /(—s) m — Nakagami-m Nakagami-n (i m (1 + n ) 2 (1+n2)_s ( n2s )—s 2 exp__(1+n Nakagami-q 3.4 — (1 + n) exp (—n ) Is 2 ) 05 (2s) q2\ 2 (1_2s+ 1 2 (1+q2) 2q S —____ Analysis in the High-SNR Regime In this section, we consider the high-SNR regime to obtain further simpli fied expressions for the PEP. We first consider the nonfading GMN channel 72 3.4. Analysis in the High-SNR Regime (where ‘ = -y) and derive the PEP saddlepoint approximation for high SNR. Since the saddlepoint analysis does not result in a fully analytical solution (the numerical search for the saddlepoint remains), we also derive an alterna tive BER expression, which does not rely on the saddlepoint approximation. For general fading channels, we consider the PEP saddlepoint approxima tion for the case of asymptotically high SNR, which leads us to expressions for the coding and diversity gain for BICM transmission. 3.4.1 Simplified Expression for PDF of Reliability Metric and Its Laplace Transform In the case of high SNR, the PDF expressions in Tables 3.2, 3.3, and 3.4 can be well approximated by 1 , 7 f,kI n,d (A) where ] 6 2 [ci,c 3 4 , 5 c = .d(A) 40 Ck.4, (3.31) , [1,2,2,3,4,2], and thus the PDF expression = given in (3.16) simplifies to N f(A) where N 1 M [NijV c 4 , 7 t.y(A)] = (3.32) , can be interpreted as the average number of = kEIC competitive signal points at distance d . The Laplace transform of 1 f7 (A) 7 is given by N = M n 1 exp (d? N 7 (2s2 , (3.33) — 73 3.4. Analysis in the High-SNR Regime and its average with respect to the instantaneous SNR for fading channels is obtained as N 7 Af 3.4.2 (s) M 1 Mf (d? (2crs2 [N = (3.34) . — Nonfading GMN Channel Saddlepoint Analysis From the Laplace transform expression in (3.33) we find the saddlepoint as the (unique) solution of (see (3.11)) N (s) = M 1 (d N 7 (4o-s _i)) exp (d? 7 (2crs2 € - = (3.35) from which we infer that i/o-? <4â < 1/o. Hence, a numerical search for in (1/(4u?), 1/(4a)) is required. In asymptotically high SNR y —* negative and thus the term for n (3.35), since d?(2u?s 2 — s) = = oo, all terms (2os 2 1 and 1 2 maxi,{d?(2os — = — s) need to be 1 dominates the sum in s)}. Hence, the saddlepoint approaches the solution lim 7 a (3.36) = —- 1 4a and the PEP asymptotic approximation pEpa(dH) dlo-i/21rdH exp (_4i 7) (3.37) is obtained from (3.10). We observe that the asymptotic PEP is the same as the PEP for binary transmission with an equivalent SNR of (dH d? 7) / (2u?), scaled by a constant which is a function of the Hamming distance, mapping rule, and GMN parameter associated with the component with the largest 74 3.4. Analysis in the High-SNR Regime variance. Due to the multiplicative term we expect (3.37) to be relevant only for very low BERs in most practical cases, since the probability of the impulsive components is typically relatively low, cf. e.g. [2—9]. Therefore, next we present a different expression for the PEP in high SNRs which includes all mixture noise components. Direct Analysis We again start from the expression for Laplace transform of reliability met rics given in (3.32), and compute the Laplace transform of the PDF of dH defined in (3.8). Due to the perfect interleaving assumption we obtain dHI7 = (s) [i (s)] dH (3.38) NrM dH. “1 “N fll+.+flNdH II N I fl (n!/e)] j=1 1 exp (dy(2crs2 N - s))] (3.39) 1=1 Li=1 dH! “N flj+...+flNdH I II L=’ NI II i=1 r tJpf 11 [hl++tMfh J fl (n!/’) i=1 [N rN M i=lj=1 ‘‘ 2 ld7(2us — s)) (3.40) fl (l!/N) I ILi=’ = “N fll+...+flNdH exp 1 M dH! Ill fJ IM n! 1 j ] ‘N s... t1,1+...+tl,Mfl1 iN,1++IN,MflN M exp 2 l,d7(2s — s)) , (3.41) \i=lj=1 75 3.4. Analysis in the High-SNR Regime where we applied the multinomial series expansion in (a) and (b). From (3.41) we observe that the PDF of ‘dH is a superposition of Gaussian PDFs and thus we can directly evaluate (3.9) as PEP (dH) dH! = “N n1+...+nN=dH N N [1 / e‘i t./ j l,l ‘ 1,M 1 i1,1++i1,M=fll IN,1++IN,M=”N M fiLl ‘ Q . 2 / (3.42) ljjctjo i=lj=1 This is a closed-form result for the PEP for transmission over nonfading GMN channels with high SNR. We note that for the asymptotic case 7 where the term with the largest argument of the Q-function dominates the — sum, it can be shown that (3.42) converges to (3.37). However, as noted above, this asymptotic result is of interest only for very low BERs. 3.4.3 Fading GMN Channels In the case of fading channels, we consider the case of asymptotically high SNR j and assume that the MGF of the instantaneous SNR Mf(s) can be expressed as M7(s) = (3.43) (_s)99 where c> 0 and the diversity order g > 0 depend on the fading distribution, cf. [23, AS3)]. For integer g, (3.43) can be considered as the first term of the Maclaurin series expansion of Mf (s) in 1 /. Table 3.5 (third column) presents the respective expressions for M7 (s) for a number of popular fading 76 3.4. Analysis in the High-SNR Regime distributions. Substituting (3.43) into (3.34) we have N f(5) M = M = (3.44) 9 ) 2 (d?(s-2cs ) N [ [ s — j 9 ) s 2 . (3.45) Therefore, the asymptotic saddlepoint is the (unique) solution of e(4os—1) i=1 (1 — 2os)’ =0, (3.46) which cannot be given in closed form. However, we note that the saddlepoint only depends on the GMN parameters and diversity order g of the fading process. We can further limit the numerical search interval considering that ma3c = 1/(2u?) is the leftmost pole of the Laplace transform (3.45) and that (3.46) is negative for s 1/(4cr?). Hence, we get the lower and upper limit 1 4o <5 < 1 2u 1 . (3.47) In order to arrive at a closed-form approximation, we may consider the midpoint of the above interval, = , (3.48) as an estimate for the asymptotic saddlepoint. Given the saddlepoint , ((s) defining (4 [s _2gs2])9 (3.49) and substituting (3.45) into (3.10), we obtain after some simplifications the 77 3.5. Numerical Results and Discussion asymptotic PEP expression dH M d+1/2 PEP(dH) = . i/27r dH “(.) N 1 (&)9 —a—. (3.50) We observe that the diversity gain for BICM transmission over fading GMN channels is given by the product dHg. The coding gain consists of two terms, where the first one depends on the GMN parameters through ct(s) (3.49). The second term cNj 351 (2)9 1=1 depends on the signal constellation and labeling, and can be considered as a generalization of the harmonic distance for BICM with Gray labeling obtained in [10] and [14] for Rayleigh and Nakagami-m fading, respectively. In the special case of fading AWGN channels, for which . = 1/2, (3.50) simplifies to PEP (dH) = 2 dH [ ] dH dHg’ (3.52) which is a generalization of the asymptotic result in Chapter 2 for Nakagami m fading channels. 3.5 Numerical Results and Discussion In this section, we present and discuss a number of exemplary numerical results to illustrate the accuracy of the proposed PDF and PEP approxi mations (cf. Sections 3.3.3, 3.3.4, and 3.4). For this purpose, we use the 78 3.5. Numerical Results and Discussion PEP expressions in the BER union bound for a convolutional code of rate R = kc/nc, which is given by [18] 1 Pb W,j PEP(d), (3.53) where dfree denotes the free distance of the convolutional code and WdH denotes the total input weight of error events at Hamming distance dH. 3.5.1 Parameters For the BER results we assume BICM with the popular 64-state rate-1/2 convolutional code with generator polynomials (171, 133)8 and dfr = 10. The union bound (3.53) is truncated to dH < 25. To evaluate the series terms Sj(s;.) (3.29) and S (s;.) (3.30) needed in Table 3.4, we use the 2 error-function approximation (cf. (3.26) and (3.27)) [21] P(x) = 1— exp (_x2) — exp (—v) , P(x) = (x). 2 P (3.54) Furthermore, we consider the following labeling rules: Gray labeling (GL), set partitioning labeling (SPL), modified set partitioning labeling (MSPL), semi set partitioning labeling (SSPL), and mixed labeling (ML). While GL is of importance when used with non-iterative decoders [10], the other label ings are of practical and theoretical importance for the case of, e.g., BICM transmission with iterative decoding [24,25], for which our analytical results would provide an approximation of BER after the first decoding iteration and facilitate the selection of the labeling rule. The BER results for different constellations are presented as function of the bit-wise SNR = 7/(Rr) , -- 78 = 7/(Rr). (3.55) 79 3.5. Numerical Results and Discussion Finally, we consider f-mixture noise, which is an important instance of general GMN with two terms, e.g., 51 The first term represents impulsive noise due to some ambient phenomenon, while the second term accounts for Gaussian background noise. The e-mixture noise parameters can be expressed as = = 1—f, = = where tc = 1/(2(1+kE_f)) cr/o is a measure for the strength of the impulsive component compared to the thermal noise. In the following, we specify the parameters of f-mixture noise by 3.5.2 (E, ic). Results PDF Approximation Results Figure 3.2 shows a comparison of PDF histograms, obtained through Monte Carlo simulation, and the approximation (3.16) for different constellations, labeling, and noise parameters. The SNR 7 = = 20 dB is adjusted for these results. We observe that the proposed approximation is very accurate in all cases. In particular, the negative tail of the PDF (i.e., A < 0) is faithfully matched, which is critical for performance evaluation. BER Results for Nonfading GMN Channels Figure 3.3 shows the analytical (lines) and simulated (markers) BER results for two different constellations and labeling rules assuming transmission over 80 3.5. Numerical Results and Discussion 100 : :1:: lOl . ... : : ::: .. . . :.:: :: 0 :: : z A . . .:: .. SPL, 16QAM, (0.1 .100) GL, 8P5K, (0.15,200) SSPL, 8PSK, (0.05,75) .. 102 ::..:.::..:.: —100 —50 ...:.: I I 0 50 100 150 200 250 300 350 A Figure 3.2: PDF of reliability metrics for BICM transmission over nonfad ing channel impaired by f-mixture noise with parameters (€, ic) for different constellations, labeling, and noise parameters. Solid lines represent the PDF approximation given in (3.16), while markers represent the simulated his tograms. the nonfading channel impaired by f-mixture noise. The figure includes (i) the BER union bound (3.53) with the saddlepoint approximation (3.10) using the saddlepoint found numerically for each SNR (solid lines), (ii) the the BER union bound (3.53) using the PEP expression for high SNR in (3.42) (dashed lines), and (iii) the PEP expression in (3.42) for d(dash-dotted lines). dfree It can be seen that the BER union bound is fairly tight for both BICM examples. Likewise, the closed-form expression (3.42) provides very good BER approximations and the curves converge to those 81 3.5. Numerical Results and Discussion 100 10 El 8PSK SSPL (0.210) El ::::::::::::::: :::::::::::::::::::S::: ::: ::: : :: :::::: :: ::: 102 El :.:..::::::::::::::.:D.. b-\1 1 10 -4 11 1 El 1 06 0 5 10 15 1dB] 1 0 10 5 [dBJ Figure 3.3: BER of BICM transmission over a nonfading channel impaired by €-mixture noise with parameters (f, i) for a 64-state convolutional code of rate 1/2. Solid lines: BER union bound using the saddlepoint approximation (3.10). The saddlepoint is found numerically for each SNR. Dashed lines: BER union bound using the PEP expression for high SNR in (3.42). Dashdotted lines: BER using only the PEP expression in (3.42) for dH = dfr. Markers are simulation results. from the non-asymptotic saddlepoint analysis. Considering only the PEP from (3.42) for the minimum Hamming distance term enables a quick and fairly accurate BER estimation. We note that the asymptotic saddlepoint approximation (3.37) (not shown in this figure) becomes tight only for BERs below and thus it is more useful for codes with lower dfr and f-mixture noise with high probability of impulses. 82 3.5. Numerical Results and Discussion 100 2 4 6 8 ‘Yb 10 12 14 16 [dBj Figure 3.4: BER of BICM transmission over fading AWGN channels for a 64state convolutional code of rate 1/2. Nakagami-m and Nakagami-n fading with different parameters m and n. Solid lines: BER union bound using the saddlepoint approximation, 1/2 is assumed. Dashed lines: BER union bound using saddlepoint approximation, saddlepoint has been found numerically. (Note that solid and dashed lines overlap almost perfectly.) Markers are simulation results. BER Results for Fading AWGN Channels Next we consider BER results for BICM transmission over fading AWGN channels (i.e., = 1) with different constellations and labeling rules. Specif ically, Nakagami-m and Nakagami-n fading distributions are applied. Fig ure 3.4 shows BER curves obtained from the BER union bound using the saddlepoint approximation (lines) together with simulation results (mark ers). For the former, both the actual saddlepoint, which has been deter mined numerically (dashed lines), and the approximation . = 1/2 (solid 83 3.5. Numerical Results and Discussion lines) has been used. We observe a very good match between results from analysis and simulations. In particular, since for AWGN the applied decod ing metric is almost the maximum-likelihood metric (note that the max-log approximation is used in (3.7)), the difference between the results using the true saddlepoint and = 1/2 is negligible (the dashed and solid lines overlap almost completely). We note that, considering the expressions for A,kIf,n,() in Table 3.4 with Si(s;.) and S (s;.) given in (3.29) and (3.30) 2 using the exponential approximations of the error function (3.54), we have provided tight BER approximations in terms of elementary functions. BER Results for Fading GMN Channels We now consider the case of both fading and GMN, and present selected BER results for different fading parameters, e-mixture noise parameters, and BICM constellations and labeling rules. Figure 3.5 compares the BER curves obtained from the BER union bound using the saddlepoint approx imation (lines) and simulations (markers). For the saddlepoint approxima tion three cases are included: (i) the exact saddlepoint is determined for each SNR (solid lines), (ii) the asymptotic saddlepoint is determined from (3.46) and used for all SNRs (dashed lines), and (iii) the asymptotic saddlepoint approximation given in (3.48) is used (dash-dotted lines). Therefore the dash-dotted lines are obtained from a truly closed-form expression for approximating the BER. Also, solving (3.46) only once and over the small interval (3.47) requires little computational effort. The BER results con firm the usefulness of the proposed BER approximations for fading GMN. Clearly, the convergence of the union bound depends on the fading rate and mixture noise parameters. As can be seen from Figure 3.5, using asymptotic saddlepoint approximations gives relatively close union-bound approxima tions, with more noticeable gaps for the cases where the asymptotic analysis 84 3.5. Numerical Results and Discussion 100 u 0 0 5 10 15 16QAM, ML, m=1, (0.05,100) 8PSK, GL, m=0.5, (0.01,200) 16QAM, GL, n=2, (0.15,50) 8PSK, SPL, n=0.75, (0.1,75) 20 ‘Yb [dB} Figure 3.5: BER of BICM transmission over fading channels impaired by €-mixture noise with parameters (e, i) for a 64-state convolutional code of rate 1/2. Nakagami-m and Nakagami-n fading with different parameters m and n. Solid lines: BER union bound using saddlepoint approximation, sad dlepoint has been found numerically. Dashed lines: BER union bound using saddlepoint approximation, the asymptotic saddlepoint from (3.46) is used. Dash-dotted lines: BER union bound using saddlepoint approximation, the asymptotic saddlepoint approximation given in (3.48) is used. Markers are simulation results. converges at lower BERs. In Figure 3.6 the asymptotic BER results (lines) using the PEP ex pression (3.50) and only dH = dfree are plotted together with the BER union bound (markers). In this figure, Nakagami-m, Nakagami-n, and Nakagami-q fading distributions are used. For the evaluation of the asymptotic expres sions the numerically found saddlepoint (solid lines) and the saddlepoint ap proximation e from (3.48) (dashed lines) is applied. It can be seen that the 85 3.5. Numerical Results and Discussion 100 o a V 1 02 16QAM, ML, m=1, (0.05,100) 8PSK, GL, q=1, (0.1,120) 16QAM, GL, n=0.75, (0.1 5,50) 8PSK, SSPL, n=0.5, (0.1,150) 1 06 10 1016 7b [dB Figure 3.6: BER of BICM transmission over fading channels impaired by c-mixture noise with parameters (c, i) for a 64-state convolutional code of rate 1/2. Nakagami-m, Nakagami-n, and Nakagami-q fading with different parameters m, n, and q. Solid lines: Asymptotic BER from PEP (3.50) for dH = dfree and numerically found saddlepoint. Dashed lines: Asymptotic BER from PEP (3.50) for dH d&ee and the saddiepoint approximation ‘e from (3.48). Markers: BER union bound. asymptotic results correctly predict the diversity gain and the asymptotic coding gain of the BICM scheme. Furthermore, the closed-form saddlepoint approximation (3.48) leads to negligible shifts in the asymptotic BER re sults. Hence, using (3.50) with ‘e from (3.48) allows us to approximate the asymptotic performance of BICM from a closed-form expression. 86 3.5. Numerical Results and Discussion ; [dB] Figure 3.7: Evolution of saddlepoint as a function of for different constel lations, labeling, and noise parameters. The circles indicate the asymptotic values of saddlepoint given in (3.36) for nonfading channels and in (3.48) for fading channels. The squares denote the exact asymptotic saddlepoint for fading channels given in (3.46) Saddlepoint Finally, in Figure 3.7 we take a look at the evolution of the saddlepoint function of the SNR ‘ as for the GMN cases studied in Figures 3.3 and 3.5. Also included are the asymptotic values for the saddlepoint (3.36) for nonfading and (3.46) for fading channels, and the asymptotic saddlepoint approxima tion (3.48) for fading channels, respectively. We observe that the saddlepoint strongly deviates from 1/2, the solution for the AWGN case, and eventually converges to the value obtained through the asymptotic analysis developed in Section 3.4. The simple estimation given in (3.48) is shown to be reason- 87 3.6. Conclusions ably accurate for these exemplarily cases. The range for . strongly depends on the mapping rule, while its value at high SNR solely depends on the channel parameters as seen from (3.36) and (3.46). 3.6 Conclusions BICM is a very popular spectrally and power efficient coded modulation scheme, whose BER analysis has received a lot of attention in the recent past. In this chapter, we have extended and generalized previous approaches considering BICM transmission over general fading channels and additive GMN. We have derived closed-form approximations for the PDF of relia bility metrics for the nonfading GMN channel, and its Laplace transform for fading GMN channels. Using the latter together with the saddlepoint approximation for PEP, we have provided a method for quick BER perfor mance approximation. Since in the GMN case the saddlepoint needs to be computed numerically, we have also derived approximations for the (asymp totically) high SNR regime, which involve a single saddlepoint computation (for all SNR values) or are given in closed form. This analysis has also established expressions for the diversity and coding gain of BICM trans mission over fading GMN channels. The presented numerical results have confirmed the relative accuracy of the analytical BER approximations for convolutionally coded BICM. 88 3.6. Bibliography Bibliography [1] T. Li, W. Mow, and M. Siu, “Bit-interleaved coded modulation in the presence of unknown impulsive noise,” in IEEE International Confer ence on Communications (ICC), Istanbul, Turkey, June 2006, pp. 3014 — 3019. [2] A. Nasri and R. Schober, “Performance of BICM-SC and BICM-OFDM systems with diversity reception in non-Gaussian noise and interfer ence,” to appear in the IEEE Trans. Commun., available online at www. ece. ubc. ca/ amirn/TCOM- 08-01 80.pdf [3] D. Middleton, “Statistical-physical models of man-made radio noiseparts I and II,” U.S. Dept. Commerece Office Telecommun., April 1974 and 1976. [4] D. Stein, “Detection of Random Signals in Gaussian Mixture Noise,” IEEE Trans. Inform. Theory, vol. 41, no. 6, pp. 1788—1801, Nov. 1995. [5] X. Wang and V. Poor, “Robust Multiuser Detection in Non-Gaussian Channels,” IEEE Trans. Signal Processing, vol. 47, no. 2, pp. 289—305, Feb. 1999. [6] J.-W. Moon, T. Wong, and J. Shea, “Pilot-assisted and Blind Joint Data Detection and Channel Estimation in Partial-time Jamming,” IEEE Trans. Commun., vol. 54, no. 11, pp. 2092—2102, Nov. 2006. [7] M. Flury and J.-Y. Le Boudec, “Interference Mitigation by Statistical Interference Modeling in an Impulse Radio UWB Receiver,” in IEEE Intl. Conf. on Ultra- Wideband (ICUWB), Waltham, MA, Sept. 2006, pp. 393—398. 89 3.6. Bibliography [8] M. Zimmermann and K. Dostert, “Analysis and Modeling of Impulsive Noise in Broadband Powerline Communications,” IEEE Trans. Elec tromagn. Compat., vol. 44, no. 1, PP. 249—258, Feb. 2002. [9] J. Häring and A. Vinck, “Performance Bounds for Optimum and Subop timum Reception under Class-A Impulsive Noise,” IEEE Trans. Corn mun., vol. 50, no. 7, pp. 1130—1136, July 2002. [10] G. Caire, G. Taricco, and E. Biglieri, “Bit-interleaved coded modula tion,” IEEE Trans. Inform. Theory, vol. 44, no. 3, pp. 927—946, May 1998. [111 A. Martinez, A. Guillén i Fàbregas, and G. Caire, “New simple evalua tion of the error probability of bit-interleaved coded modulation using the saddlepoint approximation,” in ISITA 2004 International Sympo sium on Information Theory and Applications, October 10-13, 2004, Parma, Italy, Oct 2004. [12] E. Biglieri, G. Caire, G. Taricco, and J. Ventura-Traveset, “Comput ing error probabilities over fading channels: A unified approach,” Eur. Trans. Telecommun., vol. 9, no. 1, pp. 15—25, Jan./Feb. 1998. [13] L. Szczecinski, max-log metrics A. for Alvarado, and QAM-based to appear in the IEEE Trans. R. Feick, BICM Commun., in “Distribution fading of channels,” available online at http://externe. emt. is. ca/users/leszek/Publications. html. [141 A. Martinez and A. Guillén i Fàbregas, “Large-SNR error probability analysis of BICM with uniform interleaving in fading channels,” IEEE Trans. Wireless Commun., vol. 8, no. 1, pp. 38—44, Jan. 2009. 90 3.6. Bibliography [151 A. Kenarsari-Anhari and L. Lampe, “An analytical approach for per formance evaluation of BICM transmission over Nakagami-m fading channels,” submitted to IEEE Trans. Commun., May 2009. [16] B. Classon, K. Blankenship, and V. Desai, “Channel codng for 4g sys tems with adaptive modulation and codng,” Wireless Communications, IEEE, vol. 9, no. 2, pp. 8—13, April 2002. [17] A. Martinez, A. Guillen i Fabregas, and G. Caire, “Error probability analysis of bit-interleaved coded modulation,” IEEE Trans. Inform. Theory, vol. 52, no. 1, pp. 262—271, Jan. 2006. [18] A. J. Viterbi and J. K. Omura, Principles of Digital Communication and Coding. New York: McGraw-Hill, Inc., 1979. [19] W. Press, S. Teukoisky, W. Vetterling, and B. Flannery, Numerical Receipes in Gi—i-, 2nd ed. New York: Cambridge University Press, 2002. [20] C. Chan, “Combined Digital Phase and Amplitude Modulation Com munication Systems,” IRE Trans. Commun. Systems, vol. 8, pp. 150— 155, Sept. 1960. [21] M. Chiani, D. Dardari, and M. Simon, “New exponential bounds and approximations for the computation of error probability in fading chan nels,” IEEE Trans. Wireless Commun., vol. 2, no. 4, pp. 840—845, July 2003. [22] M. K. Simon and M. S. Alouini, Digital Communication Over Fading Channels. New York: Wiley-Interscience, 2000. 91 3.6. Bibliography [23] Z. Wang and 0. Giannakis, “A simple and general parameterizaation quantifying performance in fading channels,” IEEE Trans. Commun., vol. 51, no. 8, pp. 1389—1398, Aug. 2003. [24] A. Chindapol and J. Ritcey, “Design, analysis, and performance evalu ation for BICM-ID with square QAM constellations in Rayleigh fading channels,” “IEEE J. Select. Areas Commun. “, vol. 19, no. 5, pp. 944— 957, May 2001. [25] X. Li, A. Chindapol, and J. Ritcey, “Bit-interleaved coded modulation with iterative decoding and 8PSK signaling,” IEEE Trans. Commun., vol. 50, no. 8, pp. 1250—1257, Aug 2002. 92 Chapter 4 Power Allocation for Coded OFDM via Linear .9 Programming 4.1 Introduction Bit-interleaved coded modulation (BICM) [1] has gained immense popu larity for coded multilevel transmission. In combination with orthogonal frequency-division multiplexing (OFDM), i.e., BIC-OFDM, it is a powerful technique for transmission over frequency selective channels [2], which has been adopted in a number of recent standards. OFDM enables transmitter side adaptation according to the present channel conditions, assuming that the channel remains unchanged over a suf ficiently long interval. In particular, numerous algorithms for bit-loading and power allocation per OFDM sub-carrier have been developed, cf. e.g. [3—5]. Recently, [6] has studied the problem of power allocation for BIC-OFDM A version of this chapter has been submitted for publication. A. Kenarsari Anhari 9 and L. Lampe, “Power Allocation for Coded OFDM via Linear Programming,” submitted for publication, July 2009. 93 4.1. Introduction aiming at the minimization of bit-error rate (BER) under a power budget constraint, i.e., mm p PBER L (4.1) s.t. PiO where p ViE{1,...,L}, [pi,... p] denotes the vector of powers allocated to each OFDM , sub-carrier, PBER denotes the BER, P is the maximal transmit power, and L is the number of OFDM sub-carriers. Using the union bound approach to approximate PBER, it was shown [6] that (4.1) is a convex optimization problem. However, the solution presented in [6] is limited to (complex) binary transmission, i.e., binary and quadrature phase-shift keying (BPSK and QPSK), since linearity of coding and modulation was required. Motivated by the approach in [6], we revisit the problem of power alloca tion for BIC-OFDM in this chapter. We stipulate an approximative binary channel model for BIC-OFDM and make use of the derived expression for BICM error event probability from Chapter 2 to arrive at a simplified ob jective function. This allows us to translate the optimization problem into a linear program (LP). Solving this LP using standard numerical methods is much faster than solving the general convex optimization problem obtained in [6] (cf. e.g. [7]). Numerical results show that the LP-based power allo cation achieves a performance very close to that from convex programming of [6] for QPSK. Furthermore, the proposed method is applicable to arbi trary signal constellations and thus overcomes the restriction of BPSK and QPSK signaling needed in [6]. 94 4.2. System Model The rest of this chapter is organized as follows. Section 4.2 introduces the system model for BIC-OFDM transmission. In Section 4.3, a method for performance evaluation of BIC-OFDM is presented, based on which the power allocation optimization problem is formulated as an LP. Selected sim ulation results are shown in Section 4.4 to illustrate the performance of the proposed method. Section 4.5 concludes the chapter. 4.2 System Model We consider a BIC-OFDM system with L sub-carriers. At the transmitter, the codeword = [ci, bit-wise interleaved into , = crJ generated from a linear binary encoder is [4,4,... , cj. The interleaved codeword is partitioned into blocks of r binary symbols, which are input to a subsequent mapper i {O, 1} —‘ X such that x = (C_l)r+l,••• , c;) is the signal point transmitted over the ith sub-carrier. The signal constellation X can be arbitrary, but most commonly PSK or quadrature amplitude modulation (QAM) constellations are considered. Furthermore, binary-reflected Gray mapping is applied. Assuming a sufficiently long cyclic prefix and coherent reception, the equivalent baseband channel model is given by (4.2) where y, h, p, and z are the received symbol, the frequency-domain channel gain, the allocated power, and the additive white Gaussian noise 95 4.3. Power Allocation Method (AWGN) sample for the ith sub-carrier, respectively. For (4.2) we assumed that L N/r is an integer. Without loss of generality, we apply the nor = malizations (4.3) } 2 E{IzjI and = 1. Since the power constrain in (4.1) is always met with equality, i.e., = PT, these normalizations ensure that ‘ in (4.2) is the average signal-to-noise ratio (SNR) at the receiver. At the receiver, the demapper outputs bit-wise reliability metrics = — mm aEX,j j = 1,.. . , yj — mm 2 + aEXj,o \/hIaI yj — , 2 i/hjaI (4.4) r, for the r coded bits transmitted over the ith sub-carrier. Xj,b denotes the set of symbols in X with the jth bit in the binary label fixed to b. Finally, the metrics are deinterleaved and input to the maximum-likelihood decoder of the binary code in order to retrieve the information bits. 4.3 Power Allocation Method In this section, we present the new power allocation method. To this end, we first derive an expression for the probability of decoding errors, which relies on a simplified BIC-OFDM channel model and the result from Chap ter 2. We then show that this expression allows us to formulate the power allocation problem for BIC-OFDM with arbitrary constellations as an LP. 96 4.3. Power Allocation Method 4.3.1 Error Event Probability For a given vector of frequency-domain channel gains h ,. 1 [h .. , hj,] we model the effective channel between encoder output at the transmitter and decoder input at the receiver as a memoryless binary-input output syrnmet nc (MBIOS) channel. This model is only an approximation for BIC-OFDM, as it neglects the dependencies between binary symbols ck mapped to the same transmitted symbol x. However, their effect on the overall error prob ability of BIC-OFDM is negligible as long as interleaving distributes these Ck across dominant error events. Let us identify an error event by the tuple (dH,j), where dH denotes its Hamming weight and j its index within the group of events with distance dH. Under the MBIOS channel model, the probability for this error event can be written as Pe(dH,j,) = Pr( (4.5) 0), where dH ‘‘SJbk is the accumulated metric difference, and k 8 (4.6) , and bk denote the sub-carrier index and label position of the kth non-zero bit for the event, i.e., k 8 and bk are functions of (dH, j). The bit metrics in (4.6) are mutually independent for the MBIOS model, and thus we can apply the PDF approximation for 97 4.3. Power Allocation Method A,j developed in Chapter 2 (Section 2.3.1) to arrive at Pe(dH,j,h) = 1 ii= d= 1 [fl I3bktk] k=1 Q ( [Pskhk k=1 Qkdmin)2] J (4.7) where dmin is the minimum Euclidean distance between signal points of X, and ii and 13 j,l are parameters solely defined by X (cf. Section 2.3.1 for details). 4.3.2 Linear Program Power Allocation The error event probability can be used as a lower bound for the BIC.-OFDM BER: PBER > max [C(dH,j)Pe(dH,j,bJl dH,3 , (4.8) where the factor c(dH, j) accounts for the number of errors caused by an error event. Considering the expression (4.7), the lower bound (4.8) will be asymptotically dominated by the component with the minimum effective squared Euclidean distance dH 4(dH,j) k11rflifl. 3 Pskt1 (4.9) Thus, we suggest to apply power allocation such that the minimum of 4 (dH, j) is maximized. That is, the power allocation problem (4.1) can 98 4.4. Numerical Results be reformulated as max min4(dH,j) L s.t. (4.10) 1. P , j=1 pO Vie{1,...,L}. Considering (4.9), this problem can be re-written as (recall that the index k 8 is a function of (dH, .2)) maxt p dH s.t. t PSkhSk k=1 V(dH,j) L Pi (4.11) PT, i=1 p0 ViE{1,...,L}, which is an LP. The number of inequality constraints in (4.11) needs to be limited by considering only significant error events with dH dH,m, as has been done in [6j. Different from the convex program in [6], the LP is independent of the SNR. Using CVX, a package for specifying and solving convex programs [8], we have observed that the LP is solved ten times faster than the convex program from [61 (for a given SNR). 4.4 Numerical Results In this section, we present selected simulation results for the proposed power allocation method. We have used the WLAN IEEE 802.lla OFDM system 99 4.4. Numerical Results with 48 active sub-carriers and the quasi-standard memory-6 convolutional code with generator polynomials [133, 17118 and rate R events with Hamming weight 10 The channel realization dH = 1/2. All error 14 have been considered in (4.11). is randomly generated according to an exponen tially decaying power delay profile. Figure 4.1 compares the BER performances for (i) uniform power allo cation (UPA), (ii) minimum BER allocation for uncoded transmission ac cording to [51, (iii) power allocation (PA) for BIC-OFDM according to [61, and (iv) the proposed PA from (4.11) as function of the bit-wise SNR = /(rR). QPSK and 16QAM are considered for all methods but the method from [61, which is only applicable to QPSK. We observe that the proposed method clearly outperforms UPA and PA designed for uncoded transmission. More importantly, its performance closely approaches that achieved with the considerably more complex method from [61 for the case of QPSK. The difference between the PA solutions obtained from [61 and from the LP (4.11) is plotted in Figure 4.2. It can be seen that the LP solution converges to the PA from convex programming as SNR grows. This is due to the increasing dominance of the minimum distance error event for the overall error rate with increasing SNR. Finally, Figure 4.3 illustrates the effect of LP-based PA on the distance profile of BIC-OFDM. For this purpose, the empirical cumulative density function (CDF) of 4 defined in (4.9) is shown for UPA and the proposed PA. We observe that by maximizing the minimum distance, the LP effectively shifts the profile towards larger distances. This in turn reduces the overall 100 4.5. Conclusions 10 :::‘‘ ::::::::::::::: ::::‘: :: ::: V’ ••• 0 ::::.:::: :.::.:. : :::: D ::::::::::;: ::::::: . UPA PAfrom(61 PAfrom[1] PAfromLP r *... .‘ [16QAM 10 I ‘ El * I 2 3 ] l b I 4 5 6 7 7b 8 9 10 11 12 [dB] Figure 4.1: BER of BIC-OFDM transmission systems with QPSK and 16QAM. Uniform power allocation (UPA), optimal power allocation (PA) for uncoded transmission, PA according to convex optimization, and PA using the proposed LP (4.11) are compared. error rate as has been seen in Figure 4.1. 4.5 Conclusions We have developed a new power allocation policy for BIC-OFDM transmis sion. It is based on maximizing the minimum effective Euclidean distance of error events, which is equivalent to BER minimization in the high SNR regime. Different from the BER union-bound based method developed in [6}, 101 I-i t’,z C N • — a — CD CD CD e c 5• Cl E 0- S 0 C< •-5 V’ z Ct 0 CD — — - CD o C) — o CD -t Ct I1 ci CD — I-) ‘ CD CD 0 i-s —. o o 0 C-I- CD cs 0 —. . 0 I-s 0 :- - CD C-I- Ct CD Ct D’ :D- CI- CD o Ci) Ci) 0 Ct 0 — 0 Ci) 5- CD -t 0 ct CDC 0-CD NO ç,,CD 0 CDCD <Ct 0) Pr# V 0 01 / 01 P I I 01 I tO I 01 tO lAni [dB] / Ci) I CS 01 I Ci) Pt 4.5. Conclusions I 0 x —* 2 4 6 8 10 x 4 Figure 4.3: CDF of from (4.9) for uniform power allocation (UPA) and PA with the proposed LP (4.11). 103 4.5. Bibliography Bibliography [1] A. Guillén i Fàbregas, A. Martinez, and C. Caire, “Bit-interleaved coded modulation,” Foundations and Trends in Communications and Inforrna tion Theory, vol. 5, no. 1-2, pp. 1—153, 2008. [2] B. Le Floch, M. Alard, and C. Berrou, “Coded orthogonal frequency division multiplex,” Proc. IEEE, vol. 83, no. 6, pp. 982 — 996, June 1995. [3] P. Chow, J. Cioffi, and J. Bingham, “A practical discrete multitone transceiver loading algorithm for data transmission over spectrally shaped channels,” IEEE Trans. Commun., vol. 43, no. 234, pp. 773—775, Feb/Mar/Apr 1995. [4] R. Fischer and J. Huber, “A new loading algorithm for discrete multitone transmission,” vol. 1, Nov 1996, pp. 724—728 vol.1. [5] L. Goldfeld, V. Lyandres, and D. Wulich, “Minimum BER power loading for OFDM in fading channel,” IEEE Trans. Commun., vol. 50, no. 11, pp. 1729 — 1733, 2002. [6] H. Moon and D. Cox, “Efficient power allocation for coded OFDM sys tems,” IEEE Trans. Commun., vol. 57, no. 4, pp. 943—947, April 2009. [7] S. Boyd and L. Vandenberghe, Convex Optimization. Cambridge, UK: Cambridge University Press, 2005. 104 4.5. Bibliography [81 M. Grant and S. Boyd. (2009, June) CVX: Matlab software for disciplined convex programming (web page and software). [Onlinel. Available: http://stanford.edu/ boyd/cvx 105 Chapter 5 New Designs for Bit-Interleaved Coded Modulation with Hard-Decision Feedback Iterative Decoding 10 5.1 Introduction The bit-interleaved coded modulation (BICM) structure can also be looked at as a concatenated coding system, with the forward error correction (FEC) encoder and the multilevel modulator as outer and inner encoder, respec tively. The inner encoder is made “stronger”, if non-Gray labeling is applied, cf. e.g. [1—3j. Interestingly, this BICM with non-Gray labeling can achieve excellent error-rate performance with relatively simple outer binary codes, ‘°A version of this chapter has been submitted for publication. A. Kenarsari Anhari and L. Lampe, “New Designs for Bit-Interleaved Coded Modulation with Hard-Decision Feedback Iterative Decoding,” submitted for publication, July 2009. 106 5.1. Introduction such as for example convolutional codes. 81CM considered as concatenated code is commonly decoded in an iterative fashion, in which the demapper and a soft-input soft-output (SISO) channel decoder for the outer FEC code exchange extrinsic information. We will refer to this structure as BICM with soft-feedback terative decoding (BICM-SID). An alternative decoder proposed in [4] uses a soft-input hard-output (SIHO) outer decoder, like the Viterbi decoder for convolutional codes. This BICM with hard-decision feedback jterative decoding (BICM-HID) has two complexity advantages over BICM-SID. First, the outer SIHO decoder is less complex than its SISO counterpart, and second, the demapper using hard-decision feedback needs to consider only two instead of all constellation points for each label ing bit [1]. On the downside, BICM-HID is considerably outperformed by BICM-SID due to the effect of erroneous feedback. In this chapter, we propose two novel demapper designs for BICM-HID which mitigate the effect of feedback errors and thus improve the overall error-rate performance of BICM-HID. We focus on convolutionally coded transmission, for which SIHO FEC decoding, i.e., Viterbi decoding is com monly applied. The first key idea is that the demapper makes use of the error rate of the hard-decision feedback after iteration i, which we denote by P,. As we will show, this essentially provides the demapper with reli ability information and penalizes unreliable feedback. The corresponding demapper is similar to that proposed in [5]. However, different from the scheme in [5], which relies on a SISO outer decoder, our approach retains the outer Viterbi decoder and makes use of the analytical result, developed in Chapter 2, for the error rate performance of coded BICM to estimate P. 107 5.1. Introduction h z Figure 5.1: Block diagram of BICM transmission over a fading channel and iterative decoding. ir and ir 4 denote interleaving and deinterleaving, respec tively. r coded binary symbols [Cl,... , c,.] are mapped to one transmitted symbol x. The feedback from the FEC decoder (FEC DEC) to the demapper is shown the form of decoded code symbols [e ,... ,Cr], i.e., hard-decision 1 feedback. Furthermore, parameter tuning as in [5, Eq.(1O)j is unnecessary. The sec ond key idea is the interpretation of the effect of feedback errors as additive impulsive noise, and its statistical approximation through a two-term Gaus sian mixture probability density function (PDF). This leads us to the second proposed demapper, whose complexity is practically the same as that of the demapper used in conventional BICM-HJD. We provide simulative evidence that BICM-HID with the proposed designs effectively bridges the error-rate gap between conventional BICM-HID and BICM-SID. The remainder of this chapter is organized as follows. In Section 5.2, BICM with iterative decoding and demappers for conventional BICM-HID and BICM-SID are briefly reviewed. In Section 5.3, we derive the two new demapper designs. Numerical results are presented in Section 5.4. In Sec tion 5.5, concluding remarks are offered. 108 5.2. Preliminaries 5.2 Preliminaries We consider a convolutionally coded BICM system, whose block diagram is shown in Figure 5.1. The bit-interleaved output of the FEC encoder is input to a subsequent mapper/i: {O, a signal point x e 1}T —+ X assigning r coded bits [c ,... 1 ,Cr] to X. The signal x is transmitted over a fiat fading AWGN channel, and assuming a coherent receiver the corresponding received sample y e C is given by y=hx+z, e where h (5.1) R+ denotes the channel gain and z e C is the AWGN sam ple. Without loss of generality, we assume E{Ix } 2 } 2 E{1z1 = = 1, E{h } 2 = 7, and 1, and thus y is the average SNR. The receiver applies a concatenated demapper-decoder structure (see Figure 5.1), where the demapper generates r bit-wise decoding metrics exp(f(a,j)_Iy_haI2) A,=log 3 aEX — 1 (5.2) exp (f(a,j) log — — haI2) ,o 3 aEX 1 < r, for each transmitted symbol x. In the above expression, j,b denotes the set of symbols in the constellation with the jth binary label fixed to b, and f(a, j) represents a-priori information or a bias provided by the FEC decoder. Of course, f(a,j) = 0 for the first iteration, in which no feedback from the decoder is available. In the case of a BICM-SID with soft feedback Pr(c 3 = b), 1 j r, we 109 5.3. New BICM-FIID Scheme can write the bias-term as f(a,j) where [b , 1 . . . , = log(Pr(ce be)) , (5.3) Ir’(a). For BICM-HID with hard-decision feedback br.] ee{O,l}, 1jr,wehave f(a,j) 0, if be êe,V {1,...,r},j, = —oo, otherwise We observe that BICM-HID has two complexity advantages over BICM-SID. First, a SIHO decoder, typically the Viterbi decoder, can be used instead of a more complex SISO decoder. Second, the summation in (5.2) and thus the 2’S-times evaluation of the Eucidean distance can be omitted and the computation of the bias term f(a, j) is greatly simplified. 5.3 New BICM-HID Scheme We now present two new demapper designs for BICM-HID. The additional information that is used by the proposed demappers is an estimate of the average bit-error rate (BER) for the coded bits c 3 after the ith iteration, P. The first proposed demapper has the same computational complexity as the demapper proposed in [5J, but does not require outer SISO decoding and parameter tuning. The second demapper design enjoys a very similar complexity advantage over BICM—SID as the conventional BICM-HID, but achieves a greatly improved error-rate performance. 110 5.3. New BICM-HID Scheme For the moment, let us assume that P is known perfectly at the demap per. 5.3.1 Demapper Design I Given P and where d 3 = j, the best estimate for Pr(c 3 dH (e, b) and dH (S,.) _p)1_dJ, 1 ( 2 pd be) is given by returns the Hamming distance between its arguments. Hence, the bias f(a,j) from (5.3) is replaced by = f(a,j) (5.5) - (êj,&,(a)) 1 ,3d = where we added the constant term —(r—1)log(1 —P) (5.6) for convenience and defined = I log j Pi ‘ , ,b = [ci,.. 2 C . , cj_1, b, cji,. .. , Cr] . (5.7) — Substituting the bias from (5.5) in the metric (5.2) leads to = log [ exp (idH (êj,_1(a)) — — haI2)] aEX,i (5.8) exp(I3iciH(ej,o,Ir’(a)) _Iy_haI2) —log aEXo 111 5.3. New BICM-HID Scheme which is our first new demapper design and referred to as “design I”. In passing, we remark that an efficient implementation of the log-sum of exponentials or the max-log approximation [61 can equally be applied to (5.2) and (5.8), if the exp-operation is to be avoided. 5.3.2 Demapper Design II To derive the second demapper design (“design II”), we first provide an interpretation of feedback errors 3 as impulsive noise. c Gaussian Mixture Noise Interpretation The new metric (5.8) allows the interpretation of BICM-HID as transmission over a channel affected by additive Gaussian mixture noise [71 More specif ically, the bit-wise metric (5.8) is also obtained when considering detection for a channel with the effective noise z=z+z, (5.9) where z is due to the hard-decision feedback and thus depends on bit posi tion j, feedback j,b, and fading gain vector v [j, h, which are collected in the parameter h}. The feedback noise has a probability mass function Ps (m) with mass p(a, Cj,b) at location m = dH(b,Ir’(a)) h(p(e,) — (1 — 1 (a))] P) [r—1—dH(ê,b,r (5.10) a). 112 5.3. New BICM-HID Scheme Hence, the PDF of z is the Gaussian mixture density pz(m) p(a,êj,b)exp = aEXb (— rn — [h(i(êj,b) — a)112) (5.11) . Simplified Demapper For the second, simplified demapper, we propose the approximation of (5.11) by a single two-term Gaussian mixture function for all j, 4j,s, and h. To this end, we consider the average of the PDF (5.11) with respect to these variables, which can be shown to have zero mean and variance = 1+ p(a, cj,b)I/L(cj,b) 7 j r} E {1, bE {O,1} Ej,b E {O, i}(’) — aj2 . (5.12) aEXJ,b The two-term approximation is then given by (1 - Pze(m) — P)’ = exp (—Imi 2 ) + 1 — (1 — p)r 1 I exp ImI (5.13) where u 2 = _(_p)r—l 2 to maintain the same variance as in (5.11). In tuitively, in (5.13) the first term indicates the noise when there is no error in the feedback from the FEC decoder, and the second term represents the 2 only equivalent noise in the presence of feedback errors. We note that a depends on the signal constellation X, the SNR , and the BER P, and thus it is computed once per iteration. 113 5.3. New BICM-HID Scheme Using the noise PDF given in (5.13), defining / p)r_l} ( 1 6j_1o , (5.14) and applying the max-log approximation [61, we can re-write the bit-metric (5.2) as = —mm 2 + 1 Q , Iy—h(êj,i)j j+ (5.15) +min c + I — We observe that (5.15) requires only two additional comparisons relative to conventional BICM-HID using (5.4). 5.3.3 Low-Complexity Estimation of P We now consider the estimation of P, which is required for the new demap per designs (5.8) and (5.15). It should be noted that the overall error-rate performance is relatively robust with respect to the estimation accuracy, and thus we are content with a simple method that provides a coarse estimate for P. 1 after the first iteration, we consider the dominant For the error rate P error events of the Viterbi decoder and thus use the estimate 1J1 = 1 —Wd PEP(dfree) , (5.16) where PEFdfree) is the pairwise error probability between two codewords 114 5.4. Simulation Results with Hamming distance dfree, dfree denotes the free distance of the convolu tional code of rate R = k/n, and Wdfr is the total weight of output bits in error events with Hamming weight d&ee. Using the saddlepoint approx imation 1 8, Eq.(12)], closed-form expressions/approximations for this PEP have been provided in Chapter 2 and Chapter 3 for arbitrary AWGN fad ing channels, and thus (5.16) can be easily evaluated. Next, for the BER P,- after the final iteration i n, we use the perfect-feedback lower bound from {lj together with the saddlepoint approximation, which again results in a closed-form PEP expression and thus estimate P. Finally, we estimate the BER for iteration i using the interpolation log(F) 5.4 = log(P)+ log(P). (5.17) Simulation Results In this section, we present selected simulation results to illustrate the per formance of BICM-HID with the proposed demappers. We use the example of 16-ary quadrature amplitude modulation (QAM) BICM with modified set-partitioning labeling over a Rayleigh fading channel, cf. [lj, and employ the maximum-free distance 4-state rate-1/2 convolutional code (very sim ilar results have been obtained for codes with larger memory). BER and frame-error rate (FER) results are shown as function of the average bit-wise SNR 7b = 7/(Rr) = 7/2. First, we take a look at the goodness of the proposed PDF approximation (5.13). For this purpose, Figure 5.2 shows the analytical two-term PDF i3ze (m) and the empirical PDF obtained from 115 5.4. Simulation Results 10 H H 1 1 1: I H empirical PDF PDF(13) known P PDF (13), estimate p — — — 10’ 10_2 . [iteratIon 2 — 10 iteration 3 — ::. A :::::::::::::::::::::::. I 10 Hi —.—.—... .: :::::::.:;::::: :.:::_ HHHHHHH .i:iiiii!:.iHHH — :: ::,: .: :: . 10 — :::::. : ... 10 iiii H IHH : ::. :.: .:;: . : : : ::: . •, HiHHH. •. — %,.t __ — iteration 4 . iø : iteration 5 _B 10 1 0 2 3 4 5 7 6 8 :. : 9 10 m —> Figure 5.2: Two-term PDF approximation from (5.13) and empirical PDF from simulations during the (i+1)st iteration, i = 1, 4, at SNR 7o = 10 dB. The PDF approximation is shown for the cases of known P and using the estimate P from (5.17). A total of n = 5 iterations is assumed. .., Monte Carlo simulation for an SNR of ‘y = 10 dB. The two-term PDF is plotted for known P and using the estimate F, from (5.17), respectively. A total of ii = 5 iterations is assumed, so four sets of curves are plotted in Fig ure 5.2. The interleaver length is set to 10000 binary symbols. It can be seen that the empirical PDF displays a markedly non-Gaussian shape, which is a result of erroneous feedback and explains the relatively poor performance of conventional BICM-HID that is based on the Euclidean distance metric (see also results below). The two-term approximation seems to mimic the 116 5.4. Simulation Results 10° :.: 1 0’ . 4 1 02 . . . . Ui 1 0° BICM HID (8) known P Estimate P, 10 0 2 10 4 12 Figure 5.3: BER for BICM-HID with conventional and proposed demappers. As reference, BER for BICM-SID, and BER estimates P 1 and P 5 are also included. non-Gaussian behaviour fairly well, which corroborates the proposed demap per design approach. The difference between P and its estimate P, reflects mainly in a vertical shift of the second term of the mixture PDF. This can be also seen from (5.13) when approximating (1 — P)’ by (1 — rP), which is valid for small P, for which also o 2 Figure 5.3 presents the simulated BER’ 1 after the first and fifth iteration “As usual, we plot the BER for binary information symbols. To enable a direct com parison, the shown analytical results for P, and P, are also determined with respect to information symbols. 117 5.4. Simulation Results for BICM-HID with (a) the conventional demapper ((5.2) with bias (5.4)), (b) demapper design 1(5.8), and (c) demapper design 11(5.15). For design I we also include the case of perfect BER estimation, i.e., F = P. Further more, as a reference, the curves for BICM-SID and the estimated BERs P 1 and P, = 5 after the first and fifth iteration are shown (see Footnote 11). P The total number of iterations and interleaver length are the same as for the results in Figure 5.2. We observe that the proposed demapper designs significantly improve the BER performance relative to the conventional demapper for BICM HID. In particular, the considerable gap between conventional BICM-HID and BICM-SID is largely closed through the modified demappers. Demapper design II achieves a performance close to that of demapper design I, which renders it the perhaps preferred choice considering its low computational complexity. It can also be seen that the feedback-BER approximation F of P is sufficiently accurate for the purposes of BICM-HID, since the two BER curves for estimated and known F almost coincide. The quality of the estimate P is also confirmed by the relatively good approximation of the actually BER after one and five iteration through P 1 and F , respectively. 5 Figure 5.4 shows the FER for the same scenario as above, but a relatively short interleaver of length 2000. This allows a comparison with the results from [5, Fig. 3]. We observe that the proposed designs achieve a performance very close to that from [5], despite the use of a SIHO decoder (designs I and II) and a less complex demapper (design II). The small consistent gap between design I and the demapper from [5] could likely be removed through scaling of 13 in (5.8), which however requires a simulation-based tuning of 118 5.5. Conclusion 100 iO2 . —e— 1st iteration Cony. BICM-HID : —0-— 81CM-HID (15) ± —-— 10_a 6 : BICM-HID (8) BICM-HID from (7] BICM-SID 7 8 I I I I 9 10 11 12 ‘l [dBj 13 —> Figure 5.4: FER for BICM-HID with conventional and proposed demappers, and demapper previously proposed for improving the performance of BICM HID. As reference, FER for BICM-SID. the scaling parameter that was done in [51 Since design II performs close to design I also in terms of FER and for this relatively short interleaver length, it is an attractive choice for low-complexity BICM-HID. 5.5 Conclusion In this chapter, we have presented two novel demapper designs for BICM HID. The key ideas are the use of an simple approximation of the feedback error-rate and the interpretation of feedback errors as additive impulsive 119 5.5. Conclusion noise. The first demapper design makes optimal use of error-rate informa tion, while the second design is suboptimal but enjoys the low complexity of conventional BICM-HID. Our simulation results have shown that the proposed schemes significantly outperform conventional BICM-HID and ap proach the performance of BICM-SID, which is the ultimate performance limit for BICM with iterative decoding. 120 5.5. Bibliography Bibliography [1] A. Chindapol and J. Ritcey, “Design, analysis, and performance evalu ation for BICM-ID with square QAM constellations in Rayleigh fading channels,” “IEEE J. Select. Areas Commun. “, vol. 19, no. 5, pp. 944— 957, May 2001. [2] J. Tan and C. Stüber, “Analysis and design of symbol mappers for iter atively decoded BICM,” IEEE Trans. Wireless Commun., vol. 4, no. 2, pp. 662—672, Mar. 2005. [3] F. Schreckenbach, N. Görtz, J. Hagenauer, and G. Bauch, “Optimization of symbol mappings for bit-interleaved coded modulation with iterative decoding,” IEEE Commun. Lett., vol. 7, no. 12, pp. 593—595, Dec. 2003. [4] X. Li and J. Ritcey, “Bit-interleaved coded modulation with iterative de coding,” in IEEE International Conference on Communications (ICC), vol. 2, Vancouver, BC, Canada, june 1999, pp. 858—863. [5] T. Li, W. Mow, and M. Siu, “Bit-interleaved coded modulation in the presence of unknown impulsive noise,” in IEEE International Conference on Communications (ICC), Istanbul, Turkey, June 2006, pp. 3014 — 3019. [6] P. Robertson, P. Hoeher, and E. Villebrun, “Optimal and sub-optimal maximum a posteriori algorithms suitable for turbo decoding,” Euro pean Transactions on Telecommunication, vol. 2, no. 8, pp. 119—125, Mar./Apr. 1997. 121 5.5. Bibliography [7] D. Stein, “Detection of Random Signals in Gaussian Mixture Noise,” IEEE Trans. Inform. Theory, vol. 41, no. 6, pp. 1788—1801, Nov. 1995. [8] A. Martinez, A. Guillen i Fabregas, and G. Caire, “Error probability analysis of bit-interleaved coded modulation,” IEEE Trans. Inform. The ory, vol. 52, no. 1, pp. 262—271, Jan. 2006. 122 Chapter 6 Summary, Conclusions, and Future Work 6.1 Summary and Conclusions This work delivers three major breakthroughs in the analysis and design of communication systems based on bit-interleaved coded modulation (BICM). Generally, in Chapter 2 and Chapter 3, we have presented the first main con tribution which is a novel analytical framework for performance evaluation of BICM. In addition to additive white Gaussian noise (AWGN) model, the practically important case of transmission over fading channels impaired by Gaussian mixture noise (GMN) has also been studied. The proposed framework is based on the assumptions of perfect interleaving and the use of max-log simplification at the receiver which are common in almost all previously proposed methods. Different from previous approaches avail able in the literature, the proposed framework is applicable to arbitrary mapping rules and results in closed-form expressions disregarding the prob ability density function (PDF) of channel’s fading process. The key idea is to approximate the PDF of reliability metrics using the so-called nearest 123 6.1. Summary and Conclusions neighbours approximation. It is shown that the error caused by using the proposed PDF approximation becomes negligible in the signal-to-noise ratio (SNR) region wherein the bit-error rate (BER) union bound converges to the real BER the system. Furthermore this approach makes use of the sad dlepoint approximation [1] and the finite exponential series approximation of the Gaussian error function [2]. Additionally, Chapter 2 contains other interesting contributions such as: • The derivation of exact Laplace transform of the newly found PDF expression for general Nakagami-m fading AWGN channels. • A closed-form expression for the cutoff of BICM • Based on the new PDF approximation, the asymptotic BER expres sions as SNR goes to infinity, is derived. It is shown that for the nonfading channel the BER is closely approximated by the BER ex pression for an equivalent binary transmission scaled by a constant which is a function of the minimum Hamming distance d&ee of the code and the mapping rule. For the case of Nakagami-m fading it is shown that the diversity order is the product of m and Further more, the asymptotic coding gain is shown to depend on a parameter which is a generalization of the harmonic mean presented in [31 Furthermore, in Chapter 3 we present the following specific contributions • Based on this new PDF expression and a finite series approximation of error function, we derive an approximation for the Laplace transform of the PDF of reliability metrics for general fading GMN channels. 124 6.1. Summary and Conclusions We simplify the saddlepoint-based approximation for the high SNR regime. It is shown that the diversity order of the system is the product of the fading diversity order and the minimum Hamming distance of the BICM code. The asymptotic coding gain consists of two terms, one of which is a function of the GMN parameters and the other is a generalization of the harmonic distance obtained in [3,4]. • In the case of nonfading GMN, where the noise component with the largest power dominates the asymptotic BER, the convergence of the asymptotic BER approximation occurs only at very low BERs for typ ical GMN scenarios. We therefore also derive a novel closed-form ex pression for the PEP in nonfading GMN, which takes all mixture-noise components into account and is confirmed to be tight in BER ranges typically of interest. Then, making use of the performance expressions developed in Chapter 2 and Chapter 3, two novel transmission strategies are designed. In particular, in Chapter 4, the problem of optimal power allocation aiming at BER min imization for a systems employing BICM along with orthogonal frequency division multiplexing (OFDM), also known as BIC-OFDM, is considered. A recent study of the problem, presented in [5], translates the problem into a convex optimization problem but is only applicable to (complex) binary transmission. Based on the PDF approximation developed in Chapter 2, a general algorithm applicable to arbitrary constellations has been proposed. In particular, we show that the power allocation problem can be transformed into a linear program in the high SNR regime. The use of linear program 125 6.2. Future Work ming considerably reduces the complexity of the algorithm in comparison to what has been proposed by [5j. Furthermore, our simulation results re veals that the performance loss due to employing linear program instead on convex optimization is negligible. Finally, Chapter 5 considers the design of a practical iterative decoder for BICM transmission. The decoder employs hard decision feedback from the decoder in order to recompute the reliability metrics. It is known that the bit-errors in the feedback substantially degrades the performance of the system. It is shown that substantial gains can be achieved if the effect of this errors is considered. Since the error rate of the system is not available at the receiver we make use of error rate approximations developed in Chapter 2 and Chapter 3. Based on this, the optimal detector architecture has been derived and further simplified. We show that computational complexity of our proposed iterative decoding scheme using the simplified detector is the same as the original method while it results in considerable performance gains. 6.2 Future Work There are quite a few open avenues for future research in the topics related to BICM transmission. In the following, two potential research topic along with proposed approaches are discussed briefly. 126 6.2. Future Work 6.2.1 Adaptive Bit/Power Allocation and Code Selection for BIC-OFDM While the problem of power allocation for BIC-OFDM transmission has been considered in Chapter 4, adaptive bit and code (rate) selection for BIC OFDM is an open avenue to be explored. Notably, the fairly recent paper by Song [6] has considered a similar problem. But, the analysis developed in [6] could not be used for design purposes as in their expression for pairwise error probability (PEP) the number of terms exponentially grows with the Hamming distance of the PEP. Therefore the authors of [6] proposed to use a heuristic (sub-optimal) optimization criterion which has been previously used in [7] for uncoded transmission. Therefore, there is an interest to design optimal bit/power loading and code selection algorithms using the exact BER expression. We stipulate that the use of novel PDF approximation proposed in Chapter 2 will alleviate the problem of exponential growth of number of terms in PEP expression. 6.2.2 BICM Transmission over Block Fading Channels It is known that the standard BER union bound is not tight for transmission over block fading channels. An intuitive explanation can be achieved by noting that this bound, in fact, is the expected value of the BER union bound over unfaded channel with regard to the PDF of instantaneous SNR. Since the BER union bound diverges for low SNRs, this average tends to not be tight in the SNR region of interest. A rather intuitive remedy has been proposed in [8] which is to limit the BER union bound by 1/2 when averaging 127 6.2. Future Work over instantaneous SNR. While the BER bound achieved using this method is considerably tighter than the standard union bound, this method does not result in closed-form expressions and it needs multi-dimensional numerical integration. One possible remedy to get rid of the multi-dimensional integration is the use of newly developed expressions for the PDF of LLRs. For complex bi nary transmission it is easy to examine that this reveals the equivalent SNR at the receiver. Furthermore, such a perspective for higher modulations can be achieved using the Gaussian approximation of the PDF of LLRs [1,9]. Fi nally, the area of integration for computing the PEP is a multi-dimensional sphere in the space of fading coefficients. The radius should be found nu merically by equating the BER union bound for unfaded transmission to 1/2. Even if this integral does not result in closed-form expressions, using its symmetry property, it can be simplified to one dimensional integration. 128 6.2. Bibliography Bibliography [1] A. Martinez, A. Guillen i Fabregas, and G. Caire, “Error probability analysis of bit-interleaved coded modulation,” IEEE Trans. Inform. The ory, vol. 52, no. 1, PP. 262—271, Jan. 2006. [2] M. Chiani, D. Dardari, and M. Simon, “New exponential bounds and approximations for the computation of error probability in fading chan nels,” IEEE Trans. Wireless Commun., vol. 2, no. 4, pp. 840—845, July 2003. [3] G. Caire, G. Taricco, and E. Biglieri, “Bit-interleaved coded modula tion,” IEEE Trans. Inform. Theory, vol. 44, no. 3, pp. 927—946, May 1998. [4] A. Martinez and A. Guillén i Fàbregas, “Large-SNR error probability analysis of BICM with uniform interleaving in fading channels,” IEEE Trans. Wireless Commun., vol. 8, no. 1, pp. 38—44, Jan. 2009. [5] H. Moon and D. Cox, “Efficient power allocation for coded OFDM sys tems,” IEEE Trans. Commun., vol. 57, no. 4, pp. 943—947, April 2009. [6] K.-B. Song, A. Ekbal, S. T. Chung, and J. Cioffi, “Adaptive modula tion and coding (AMC) for bit-interleaved coded OFDM (BIC-OFDM),” vol. 6, June 2004, pp. 3197—3201 Vol.6. [7] P. Chow, J. Cioffi, and J. Bingham, “A practical discrete multitone transceiver loading algorithm for data transmission over spectrally 129 6.2. Bibliography shaped channels,” IEEE Trans. Commun., vol. 43, no. 234, pp. 773—775, Feb/Mar/Apr 1995. [8] E. Malkamaki and H. Leib, “Evaluating the performance of convolutional codes over block fading channels,” IEE 1 Trans. Inform. Theory, vol. 45, no. 5, pp. 1643—1646, Jul 1999. [9] A. Guillén i Fabregas, A. Martinez, and G. Caire, “Error probabil ity of bit-interleaved coded modulation using the Gaussian approxima tion,” in 88th annual Conference on Information Sciences and Systems (CISS2004), Princeton University, USA, Mar. 2004. 130
- Library Home /
- Search Collections /
- Open Collections /
- Browse Collections /
- UBC Theses and Dissertations /
- Rehashing the bit-interleaved coded modulation
Open Collections
UBC Theses and Dissertations
Featured Collection
UBC Theses and Dissertations
Rehashing the bit-interleaved coded modulation Anhari , Alireabout:za Kenarsari 2009
pdf
Page Metadata
Item Metadata
Title | Rehashing the bit-interleaved coded modulation |
Creator |
Anhari , Alireabout:za Kenarsari |
Publisher | University of British Columbia |
Date Issued | 2009 |
Description | Bit-interleaved coded modulation (BICM) is a pragmatic yet powerful approach for spectrally efficient coded transmission. BICM was originally designed as a superior alternative to the conventional trellis coded modulation in fading channels. However, its flexibility and ease of implementation also make BICM an attractive scheme for transmission over unfaded channels. In fact, a noticeable advantage of BICM is its simplicity and flexibility. Notably, most of today’s communication systems that achieve high spectral efficiency such as ADSL, Wireless LANs, and WiMax feature BICM. Perceptibly, the design of efficient BICM-based transmission strategies relies on the existence of a general analytical framework for evaluating its performance. Therefore, alongside its vast popularity and deployment, performance evaluation of BICM has attracted considerable attention. Developing such a performance evaluation framework is one of the main contributions of this thesis. In addition to conventional additive white Gaussian noise model, the practically important case of transmission over fading channels impaired by Gaussian mixture noise has also been studied. Different from previously proposed methods, our scheme results in closed-form expressions and is valid for arbitrary mapping rules and fading distributions. Furthermore, making use of the newly developed framework, we propose two novel transmission strategies. First, we consider the problem of optimal power allocation for a BICM system employing orthogonal frequency division multiplexing. In particular, we show that this problem translates into a linear program in the high signal-to-noise ratio regime. This reformulation extends the applicability and delivers considerable complexity reduction in comparison to existing algorithms. Finally, we propose novel detector architectures for a BICM system employing iterative decoding using hard-decision feedback at the receiver. We show that, taking the feedback error into account results in considerable performance improvement while retains decoding complexity. |
Genre |
Thesis/Dissertation |
Type |
Text |
Language | eng |
Date Available | 2010-03-24 |
Provider | Vancouver : University of British Columbia Library |
Rights | Attribution-NonCommercial-NoDerivatives 4.0 International |
DOI | 10.14288/1.0070926 |
URI | http://hdl.handle.net/2429/22473 |
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_anhari_alireaboutza.pdf [ 3.15MB ]
- Metadata
- JSON: 24-1.0070926.json
- JSON-LD: 24-1.0070926-ld.json
- RDF/XML (Pretty): 24-1.0070926-rdf.xml
- RDF/JSON: 24-1.0070926-rdf.json
- Turtle: 24-1.0070926-turtle.txt
- N-Triples: 24-1.0070926-rdf-ntriples.txt
- Original Record: 24-1.0070926-source.json
- Full Text
- 24-1.0070926-fulltext.txt
- Citation
- 24-1.0070926.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-0070926/manifest