- Research Article
- Open Access

# Differentially Encoded LDPC Codes—Part I: Special Case of Product Accumulate Codes

- Jing Li (Tiffany)
^{1}Email author

**2008**:824673

https://doi.org/10.1155/2008/824673

© Jing Li (Tiffany). 2008

**Received:**19 November 2007**Accepted:**6 March 2008**Published:**13 March 2008

## Abstract

Part I of a two-part series investigates product accumulate codes, a special class of differentially-encoded low density parity check (DE-LDPC) codes with high performance and low complexity, on flat Rayleigh fading channels. In the coherent detection case, Divsalar's simple bounds and iterative thresholds using density evolution are computed to quantify the code performance at finite and infinite lengths, respectively. In the noncoherent detection case, a simple iterative differential detection and decoding (IDDD) receiver is proposed and shown to be robust for different Doppler shifts. Extrinsic information transfer (EXIT) charts reveal that, with pilot symbol assisted differential detection, the widespread practice of inserting pilot symbols to terminate the trellis actually incurs a loss in capacity, and a more efficient way is to separate pilots from the trellis. Through analysis and simulations, it is shown that PA codes perform very well with both coherent and noncoherent detections. The more general case of DE-LDPC codes, where the LDPC part may take arbitrary degree profiles, is studied in Part II Li 2008.

## Keywords

- LDPC Code
- Rayleigh Fading Channel
- Pilot Symbol
- Coherent Detection
- Outer Code

## 1. Introduction

The discovery of turbo codes and the rediscovery of low-density parity-check (LDPC) codes have renewed the research frontier of capacity-achieving codes [1, 2]. They also revolutionized the coding theory by establishing a new soft-iterative paradigm, where long powerful codes are constructed from short simple codes and decoded through iterative message exchange and successive refinement between component decoders. Compared to turbo codes, LDPC codes boast a lower complexity in decoding, a richer variety in code construction, and not being patented.

One important application of LDPC codes is wireless communications, where sender and receiver communicate through, for example, a no-line-of-sight land-mobile channel that is characterized by the Rayleigh fading model. It is well-recognized that LDPC codes perform remarkably well on Rayleigh fading channels, that is, assuming the carrier phase is perfectly synchronized and coherent detection is performed; but what if otherwise?

It should be noted that, due to practical issues like complexity, acquisition time, sensitivity to tracking errors, and phase ambiguity, coherent detection may become expensive or infeasible in some cases. In the context of noncoherent detection, the technique of differential encoding becomes immediately relevant. Differential encoding admits simple noncoherent differential detection which solves phase ambiguity and requires only frequency synchronization (often more readily available than phase synchronization). Viewed from the coding perspective, performing differential encoding is essentially concatenating the original code with an accumulator, or, a recursive convolutional code in the form of .

In this series of two-part papers, we investigate the theory and practice of LDPC codes with differential encoding. We start with a special class of differentially encoded LDPC (DE-LDPC) codes, namely, product accumulate (PA) codes (Part I), and then we move to the general case where an arbitrary (random) LDPC code is concatenated with an accumulator (Part II) [3].

The primary interest is the noncoherent detection case, but for completeness of investigation and for comparison, we also include the case of coherent detection. Under the assumption that phase information is known, we compute Divsalar's simple bounds to benchmark the performance of PA codes at finite code lengths [5], and we evaluate iterative thresholds using density evolution (DE) to benchmark the performance of PA codes at infinite code lengths. The asymptotic thresholds reveal that PA codes are about from 0.6 to 0.7 dB better than regular LDPC codes, but 0.5 dB worse than optimal irregular LDPC codes (whose maximal left degree is 50) on Rayleigh fading channels with coherent detection. Simulations of fairly long block lengths show a good agreement with the analytical results.

When phase information is unavailable, the decoder/detector will either proceed without phase information (completely blind), or entails some (coarse) estimation and compensation in the decoding process. We regard either case as noncoherent detection. The presence of a differential encoder in the code structure readily lands PA codes to noncoherent differential detection. Conventional differential detection (CDD) operates on two symbol intervals and recovers the information by subtracting the phase of the previous signal sample from the current signal sample. It is cheap to implement, but suffers as much as from
to
dB in bit error rate (BER) performance [6]. Closing the gap between CDD and *differentially encoded coherent detection* generally requires the extension of the observation window beyond two symbol intervals. The result is multisymbol differential detection (MSDD), exemplified by maximum-likelihood (ML) multisymbol detection, trellis-based multisymbol detection with per-survivor processing, and their variations [7, 8]. MSDD performs significantly better than CDD, at the cost of a considerably higher complexity which increases exponentially with the window size. To preserve the simplicity of PA codes, here we propose an efficient *iterative differential detection and decoding* (IDDD) receiver which is robust against various Doppler spreads and can perform, for example, within 1 dB from coherent detection on fast fading channels.

We investigate the impact of pilot spacing and filter lengths, and we show that the proposed PA IDDD receiver requires very moderate number of pilot symbols, compared to, for example, turbo codes [6]. It is quite expected that the percentage of pilots directly affects the performance especially on very fast fading channels, but much less expected is that how these pilot symbols are inserted also makes a huge difference. Through extrinsic information transfer (EXIT) analysis [9], we show that the widespread practice of inserting pilot symbols to periodically terminate the trellis of the differential encoder inevitably [6, 7] incurs a loss in code capacity. We attribute this to what we call the "trellis segmentation" effect, namely, error events are made much shorter in the periodically terminated trellis than otherwise. We propose that pilot symbols be separated from the trellis structure, and simulation confirms the efficiency of the new method.

From analysis and simulation, it is fair to say that PA codes perform well both with coherent and noncoherent detection. In Part II of this series of papers, we will show that conventional LDPC codes, such as regular LDPC codes with uniform column weight of 3 and optimized irregular ones reported in literature, actually perform poorly with noncoherent differential detection. We will discuss why, how, and how to change the situation [3].

The rest of the paper is organized as follows. Section 2 introduces PA codes and the channel model. Section 3 analyzes the coherently detected PA codes on fading channels using Divsalar's simple bounds and iterative thresholds. Section 4 discusses noncoherent detection and decoding of PA codes and performs EXIT analysis. Finally, Section 5 summarizes the paper.

## 2. PA Codes and Channel Model

### 2.1. Channel Model

We consider binary phase shift-keying (BPSK) signaling over flat Rayleigh fading channels. Assuming proper sampling of the outputs from the matched filter, the received discrete-time baseband signal can be modeled as , where is the BPSK-modulated signal, is the i.i.d. complex AWGN with zero mean and variance in each dimension. The fading amplitude is modeled as a normalized Rayleigh random variable with and pdf for , and the fading phase is uniformly distributed over .

For fully interleaved channels, 's and 's are independent for different time indexes . For insufficiently interleaved channels, they are correlated. We use the Jakes' isotropic scattering land mobile Rayleigh channel model to describe the correlated Rayleigh process which has autocorrelation , where is the normalized Doppler spread, and is the th order Bessel function of the first kind.

Throughout the paper, is assumed known perfectly to the receiver/decoder in the coherent detection case, and unknown (and needs to be worked around) in the noncoherent detection case. Further, the receiver is said to have channel state information (CSI) if known (irrespective of ), and no CSI otherwise.

### 2.2. PA Codes and Decoding Analysis

where is the mean of . Due to the space limitation, we omit the details of the overall message-passing algorithm, but refer readers to [4].

## 3. Coherent Detection

This section investigates the coherent detection case on Rayleigh fading channels. We employ Divsalar's simple bounds and the iterative threshold to analyze the ensemble average performance of PA codes, and simulate individual PA codes at short and long lengths.

### 3.1. Simple Bounds

Union bounds are simple to compute, but are rather loose at low SNRs. Divsalar's simple bound is possibly one of the best closed-form bounds [5]. Like many other tight bounds, the simple bound is based on the second Gallager's bounding techniques [1]. By using numerical integration instead of a Chernoff bound and by reducing the number of codewords to be included in the bound, Divsalar was able to tighten the bound to overcome the cutoff rate limitation. Since the simple bound requires the knowledge of the distance spectrum, a hard-to-attain property especially for concatenated codes, it has not seen wide application. Here, the simplicity of PA codes permits an accurate computation of the ensemble-average distance spectrum (whose details can be found in [4]), and thus enables the exploitation of the simple bound.

The technique of the simple bound allows for the computation of either a maximum likelihood (ML) threshold in the asymptotic sense [4, 5], or a performance upper bound with respect to a given finite length. Divsalar derived the general form of the simple bound on independent Rayleigh fading channels with perfect CSI. Following a similar line of reasoning, below we extend it to the case of non-CSI.

#### 3.1.1. Gallager's Second Bounding Technique

where
is the received codeword (*N*-dimensional noise-corrupted vector),
is the transmitted codeword vector,
is the noise vector whose components are i.i.d. Gaussian random variables with zero mean and unit variance,
is the known constant (in modulation),
is the
matrix containing fading coefficients (
is an identity matrix for AWGN channels), and
denotes a region in the observed space around the transmitted codeword. To get a tight bound, optimization and integration are usually needed to determine a meaningful
.

#### 3.1.2. Divsalar's Simple Bound for Independent Rayleigh Fading Channels with CSI

For Rayleigh fading channels, the decision metric is based on the minimization of the norm , where , and are the transmitted signal, received signal, and the fading amplitude in vector form, respectively, and is the amplitude of the transmitted signal such that .

For a good approximation of the error using (3), and for computational simplicity, the decision region was chosen as an -dimensional hypersphere centered at and with radius , where and are the parameters to be optimized [5].

#### 3.1.3. Extension of the Simple Bound to the Case of No CSI

and and are the same as in (8) and (9).

Please note that the aforediscussed extension to the fading case with no CSI slightly loosens the simple bound, but it preserves the computational simplicity. It is possible for a more sophisticated transformation to yield tighter bounds but not necessarily a feasible analytical expression.

### 3.2. Threshold Computation via the Iterative Analysis

The ML performance bound evaluated in the previous subsection factors in the finite length of a PA code ensemble, but the assumption of an ML decoder may be optimistic. Below we account for the iterative nature of the practical decoder and compute an asymptotic iterative threshold using the renowned method of density evolution [11].

where is the BPSK modulated signals, and denotes the pdf of LLR information on after the decoding iteration.

Tracking the density of the messages requires the computation of the initial pdf of the LLR messages from the channel, and the transformation of the message pdf's in each step of the decoding process. Although Gaussian approximation is reported to incur only very little inaccuracy on AWGN channels [12, 13], the deviation is larger on fading channels, since the pdf of the initial LLRs from a fading channel looks different from a Gaussian distribution. Hence, exact density evolution is used to preserve accuracy.

#### 3.2.1. Initial LLR Pdf from the Channel

where , , and .

#### 3.2.2. Evolution of LLR Pdf in the Decoder

To track the evolution of the pdf's along the iterative process can either employ Monte Carlo simulation, or, more accurately and more efficiently, to proceed analytically through discretized density evolution. The latter is possible due to the simplicity in the code structure and in the decoding algorithm of PA codes. As a selfcontained discussion, we summarize the major steps of the discretized density evolution of PA codes in the Appendix, but for details, please refer to [4].

Using (15) for perfect CSI case or (16) for no CSI case (i.e., substituting them in (A.4) and (A.5) in the Appendix), the thresholds of PA codes on Rayleigh channels can be computed through (A.3) to (A.12) in the Appendix. The computed thresholds are a good indication of the performance limit as the code length and the number of iterations increase without bound.

Thresholds ( in dB) of PA codes on Rayleigh channels (3, ) LDPC data by courtesy of Hou et al. [14]).

Flat Rayleigh CSI | Flat Rayleigh no CSI | |||||
---|---|---|---|---|---|---|

Rate | Capacity (dB) | PA (dB) | LDPC (dB) | Capacity (dB) | PA (dB) | LDPC (dB) |

0.5 | 1.8 | 2.42 | 3.06 | 2.6 | 3.33 | 4.06 |

0.6 | 3.0 | 3.56 | — | 3.8 | 4.48 | — |

2/3 | 3.7 | 4.34 | 4.72 | 4.4 | 5.15 | 5.74 |

### 3.3. Simulation with Coherent Detection

To benchmark the performance of coherently detected PA codes, several PA configurations are simulated on correlated and independent Rayleigh fading channels. In each global iteration (i.e., iteration between the inner decoder and the outer decoder), two local iterations of the outer decoding are performed. This scheduling is found to strike the best trade-off between complexity and performance (with coherent detection).

#### 3.3.1. Coherent Bpsk on Independent Rayleigh Channels

Compared to the (3, 6)-regular LDPC codes reported in [14], the performance of this rate , codeword length PA code is about and dB better than regular LDPC codes of length and on independent Rayleigh channels. It is possible that optimized irregular LDPC codes will outperform PA codes (as indicated by their thresholds), but for regular codes, PA codes seem one of th best.

#### 3.3.2. Coherent BPSK on Correlated Rayleigh Channels

To illuminate how well short PA codes perform on correlated channels, we compare them with turbo codes (which are the best-known codes at short code lengths) in Figure 5. The comparing turbo code has 16-state component convolutional codes whose generator polynomial is and which are decoded using log-domain BCJR algorithm. Code rate is 075, data block size is 4 K, and -random interleavers are used in both codes to lower the possible error floors. Curves plotted are for PA codes at the 10th iteration and turbo codes at the 6th iteration. We observe that turbo codes perform about 0.6 and 0.7 dB better than PA codes for and , respectively. However, it should be noted that this performance gain comes at a price of a considerably higher complexity. While the message-passing decoding of a rate-0.75 PA code at the 10th iteration requires about operations per data bit [4], the log-domain BCJR decoding of a rate-0.75 turbo code at the 6th iteration requires as many as operations per data bit, a complexity times larger. Hence, PA codes are still attractive for providing good performance at low lost.

## 4. Noncoherent Detection of PA Codes

This section considers noncoherent detection. The channel model of interest is a Rayleigh fading channel with correlated fading coefficients.

### 4.1. Iterative Differential Detection and Decoding

In theory, differential decoding does not require pilot symbols. In practice, however, pilot symbols are inserted periodically even with multiple symbol detection, to avoid catastrophic error propagation in differential decoding. This is particularly so for the fast fading case where phases ( ) are changing rapidly (will show later). Hence, some of the 's (and 's) in the received sequence are pilot symbols.

We use
to denote the LLR information, superscript
to denote the *q* th (global) iteration, and subscript
,
,
and
to denote the quantities associated with the inner code, the outer code, the fading channel, and "the extrinsic", respectively.

#### 4.1.1. IDDD Receiver

Here is a sketch of how the proposed IDDD receiver operates. In the first iteration, the switch in Figure 6 is flipped up. The samples of the received symbols, , are fed into the conventional differential detector which computes and subsequently soft LLR from . Here denotes the complex conjugate. is then treated as and fed into the outer decoder, which, in return, generates and passes it to the inner decoder for use in the next detection/decoding iteration. Starting from the second iteration, the switch in Figure 6 is flipped down, and channel estimation for and is performed before the "coherent" detection and decoding of the inner and outer code. After iterations, a decision is made by combining the extrinsic information from both the inner and the outer decoders: . In the above discussion, we have ignored the existence of the random interleaver, but it is understood that proper interleaving and de-interleaving is performed whenever needed.

#### 4.1.2. Conventional Differential Detector for the First Decoding Iteration

*Q*-function is slow and does not always converge at large values, an exact evaluation of (18) and hence the computation of can be difficult. We propose a simple approximation which evaluates (17) with substituted by its mean . This leads to

Alternatively, instead of using the conventional differential decoding in the first iteration, a channel estimation followed by the decoding of the inner code can be used, which makes the first iteration exactly the same as subsequent iterations. This third option then leads to pilot symbol assisted modulation (PSAM), which has slightly higher complexity than using differential detection in the first iteration.

#### 4.1.3. Channel Estimator

where denotes the coefficient of the filter tap, and denotes the estimate on from the feedback of the previous iteration. For soft feedback, is computed using , and for hard feedback, . The LLR message is generated together with by the inner decoder in the decoding iteration (please refer to [4] for the step-by-step message-passing decoding algorithm of code). In the first iteration, 's are initiated as zeros for coded bits and a large positive number (i.e., ) for pilot symbols.

where . Since the computation of 's from (24) involves an inverse operation on a matrix (one-time job), it may not be computable when the matrix becomes (near) singular, which occurs when the channel is very slow fading. In such cases, a low-pass filter, or a simple "moving average" can be used [6].

### 4.2. Analysis of Pilot Insertion through Exit Charts

#### 4.2.1. Exit Charts

where
is either the *a priori* information
or the extrinsic information
, and
is the conditional pdf. The second equality holds when the channel is output symmetric such that
, and the third equality holds when the received messages satisfy the consistency condition (also known as the symmetry condition):
[11]. Note that the consistency condition is an invariant in the message-passing process on a number of channels including the AWGN channel and the independent Rayleigh fading channel with perfect CSI; but it is not preserved on fading channels without CSI or with estimated (thus imperfect) CSI, since the initial density function evaluated in the latter cases is but an approximation of the actual pdf of the LLR messages. Thus, (25) should be used to compute the mutual information in those cases. We use the *X*-axis to represent the mutual information to the inner code (*a prior*) or from the outer code (extrinsic), denoted as
, and the *Y*-axis to represent the mutual information from the inner code or to the outer code, denoted as
.

#### 4.2.2. Pilot Symbol Insertion

A practicality issue about noncoherent detection is pilot insertion. The number of pilot symbols inserted should be sufficient to attain a reasonable track of the channel, but not in excess. Many researchers have reported that excessive pilot symbols not only cause wasteful bandwidth expansion, but actually degrade the overall performance, since the energy compensation for the rate loss due to excessive pilot more than outweighs the gain that can be obtained by a finer channel tracking. This trade-off issue has long been noted in literature, but little attention has been given to another issue of no less importance, namely, how pilots should be inserted when differential encoding or other trellis-based coding/modulation front-end is used.

*a priori*information. However, the situation is completely reversed toward the right end of the EXIT curves. We see that more pilot symbols actually degrade the performance, the reason being, given sufficient information provided by the outer code, pilot symbols no longer constitute the key source of

*a priori*information; on the other hand, they segment the trellis and shorten error events, rendering an opposite effect to spectrum thinning and thus deteriorating the performance. The performance loss is more severe when more pilot symbols are inserted and when the code is operating at a relatively low SNR level. It is worth noting, for example, with of pilot insertion (pilot spacing is 5), even provided with a perfect mutual information from the outer code ( , but the channel remains noisy), the trellis decoder nevertheless fails to produce sufficient output mutual information . As such, the inner EXIT curve is bound to intersect the outer EXIT curve at a rather early stage of the iterative process, causing the iterative decoder to fail at a high BER level (not to mention this EXIT curve has more of energy consumption than the no-pilot case).

The implication of this EXIT analysis is that the widespread approach of inserting pilot symbols as part of the trellis could cause deficiency for differential encoding (and other serial concatenated schemes with inner trellis codes). Specifically, unless the outer code is itself a capacity-achieving code at some SNR, the inner and outer EXIT curves will intersect, result in convergence failure and cause error floors. We observe that the more the pilot symbols, the higher the error floor; and the lower the code rate (lower SNR), the more severe the impact. It is therefore particularly important to keep the number of pilot symbols in such schemes minimal, so that error floors do not occur too early. This analysis also suggests an alternative, and potentially better-performing, way of pilot insertion, namely, separating pilots from the trellis and thus not affecting error events; see Figure 8(b).

It should be pointed out, that the level of the impact caused by trellis segmentation may be very different for different outer codes. Many (outer) codes, including single parity check codes, block turbo codes (i.e., turbo product codes) and convolutional codes, will see a large impact, since these (outer) codes require sufficient input information in order to produce perfect output information, or, put another way, these codes alone are not "good" codes (good in the sense as MacKay defined in [2]). However, "good" codes like LDPC codes will likely see a much smaller impact. This is because an ideal LDPC code has an EXIT curve shaping like a box (e.g., see [3, Figure 3]) which can produce perfect output information as long as the input information is above some threshold (without requiring ). Alternatively, one may also interpret it as: ideal LDPC codes have large minimum distances and are capable of correcting short error events including those caused by the segmentation effect.

### 4.3. Impact of the Pilot Symbol Spacing and Filter Length

The impact of the length of the channel tracking filter is also studied. We observe that while the filter length affects the overall performance, the impact is limited compared to pilot spacing. This is consistent with what has been reported in other studies [6] and is not a new discovery. Hence, we omit the plot.

### 4.4. Simulation Results of Noncoherent Detection

The performance of noncoherently detected PA codes on fast Rayleigh fading channels are presented below. Unless otherwise indicated, the BER curves shown are after 10 global iterations, and in each global iteration, 4 to 6 local iterations of the outer code are performed. We have chosen these parameters on the basis of a set of simulations and trading-off between performance and complexity.

#### 4.4.1. Noncoherent Detection of PA Codes with Different Receiver Strategies

#### 4.4.2. Comparison of Noncoherent Detection with Coherent Detection

Figure 13 shows the performance of rate 3/4 PA codes after 10 iterations on fast Rayleigh fading channels with Doppler rate . Short block size of 1 K and large block size of 48 K are evaluated. In each case, a family of 5 BER-versus- curves, accounting for rate loss due to pilot insertion, are plotted. The three leftmost curves are the ideal coherent case with knowledge of fading amplitudes and phases provided to the receiver, and the two right curves are the noncoherent case where IDDD is used to track amplitudes and phases. In both the coherent and the noncoherent case, trellis segmentation incurs a small performance loss, but since the pilot spacing is not very small (every 25 symbols), the effect is not as drastic as the case in Figure 10. The noncoherent cases are about 1 dB and 0.55 dB away from the ideal coherent case at BER of for block sizes of 48 K and 1 K, respectively. This satisfying performance is achieved with only of pilot insertion and a very low-complexity IDDD receiver.

## 5. Conclusion

Previous work has established product accumulate codes as a class of provenly "good" codes on AWGN channels, with low linear-time complexity and performances close to the Shannon limit. This paper performs a comprehensive study of product accumulate codes on Rayleigh fading channels with both coherent and noncoherent detection. Useful analytical tools including Divsalar's simple bounds, density evolution, and EXIT charts are employed, and extensive simulations are conducted. It is shown that PA codes not only perform remarkably well with coherent detection, but the embedded differential encoder makes them naturally suitable for noncoherent detection. A simple iterative differential detection and decoding (IDDD) strategy allows PA codes to perform only 1 dB away from the coherent case. Another useful finding reveals that the widespread practice of inserting pilot symbols to terminate the trellis actually incurs performance loss compared to when pilot symbols are inserted as separate parts from the trellis.

We conclude by proposing product accumulate codes as a promising low-cost candidate for wireless applications. The advantages of PA codes include (i) they perform very well with coherent and noncoherent detection (especially at high rates), (ii) the performance is comparable to turbo and LDPC codes, yet PA codes require much less decoding complexity than turbo codes and much less encoding complexity and memory than random LDPC codes, and (iii) the regular structure of PA codes makes it possible for low-cost implementation in hardware.

## Appendix

### Discretized Density Evolution for PA Codes

*check*operation or operation). For independent messages to add together, the resulting pdf of the sum is the discrete convolution (denoted by ) of the component pdf's which can be efficiently implemented using a fast Fourier transform (FFT). For the operation on messages, define: , where , and are quantified messages, and defines the quantization operation. The pdf of , , can be computed using

The following notations are also used:

- (i)
: pdf of the messages of the received signals obtained from the channel (see Figure 1(b)),

- (ii)
: pdf of the (

*a prior*) messages of the input to the inner code in the iteration (obtained from the outer code in the iteration) (see Figure 1(b)), - (iii)
: pdf of the (extrinsic) messages passed from the inner code to the outer code in the iteration,

- (iv)
and : pdf's of the extrinsic information computed from the upper and lower branch of the outer code in the th iteration, respectively. Subscripts and denote data and parity bit, respectively. Obviously, , the Kronecker delta function.

Although the outer code of PA codes can be viewed as an LDPC code, it is desirable to take a serial update procedure as described above rather than a parallel one as in a conventional LDPC code, since this allows the checks corresponding to the two SPC branches to take turns to update, which leads to a faster convergence [4].

## Declarations

### Acknowledgments

This research work is supported in part by the National Science Foundation under Grants no. CCF-0430634 and CCF-0635199, and by the Commonwealth of Pennsylvania through the Pennsylvania Infrastructure Technology Alliance (PITA).

## Authors’ Affiliations

## References

- Gallager RG:
*Low Density Parity Check Codes*. MIT Press, Cambridge, Mass, USA; 1963.Google Scholar - MacKay DJC: Good error-correcting codes based on very sparse matrices.
*IEEE Transactions on Information Theory*1999, 45(2):399-431. 10.1109/18.748992View ArticleMathSciNetMATHGoogle Scholar - Li J: Differentially encoded LDPC codes—part II: general case and code optimization. to appear in EURASIP Journal on Wireless Communications and NetworkingGoogle Scholar
- Li J, Narayanan KR, Georghiades CN: Product accumulate codes: a class of codes with near-capacity performance and low decoding complexity.
*IEEE Transactions on Information Theory*2004, 50(1):31-46. 10.1109/TIT.2003.821995View ArticleMathSciNetMATHGoogle Scholar - Divsalar D, Biglieri E: Upper bounds to error probabilities of coded systems beyond the cutoff rate.
*Proceedings of the IEEE International Symposium on Information Theory (ISIT '00), June 2000, Sorrento, Italy*288.Google Scholar - Valenti MC, Woerner BD: Iterative channel estimation and decoding of pilot symbol assisted turbo codes over flat-fading channels.
*IEEE Journal on Selected Areas in Communications*2001, 19(9):1697-1705. 10.1109/49.947034View ArticleGoogle Scholar - Hoeher P, Lodge J: "Turbo DPSK": iterative differential PSK demodulation and channel decoding.
*IEEE Transactions on Communications*1999, 47(6):837-843. 10.1109/26.771340View ArticleGoogle Scholar - Peleg M, Shamai S: Iterative decoding of coded and interleaved noncoherent multiple symbol detected DPSK.
*Electronics Letters*1997, 33(12):1018-1020. 10.1049/el:19970697View ArticleGoogle Scholar - Brink ST: Convergence behavior of iteratively decoded parallel concatenated codes.
*IEEE Transactions on Communications*2001, 49(10):1727-1737. 10.1109/26.957394View ArticleMATHGoogle Scholar - Robertson P, Villebrun E, Hoeher P: A comparison of optimal and sub-optimal MAP decoding algorithms operating in the log domain.
*Proceedings of the IEEE International Conference on Communications (ICC '95), June 1995, Seattle, Wash, USA*2: 1009-1013.View ArticleGoogle Scholar - Richardson TJ, Shokrollahi MA, Urbanke RL: Design of capacity-approaching irregular low-density parity-check codes.
*IEEE Transactions on Information Theory*2001, 47(2):619-637. 10.1109/18.910578View ArticleMathSciNetMATHGoogle Scholar - Chung S-Y, Richardson TJ, Urbanke RL: Analysis of sum-product decoding of low-density parity-check codes using a Gaussian approximation.
*IEEE Transactions on Information Theory*2001, 47(2):657-670. 10.1109/18.910580View ArticleMathSciNetMATHGoogle Scholar - Xie K, Li J: On accuracy of Gaussian assumption in iterative analysis for LDPC codes. in Proceedings ofIEEE International Symposium on Information Theory (ISIT 06), pp. 2398–2402, Seattle, Wash, USA, July 2006Google Scholar
- Hou J, Siegel PH, Milstein LB: Performance analysis and code optimization of low density parity-check codes on Rayleigh fading channels.
*IEEE Journal on Selected Areas in Communications*2001, 19(5):924-934. 10.1109/49.924876View ArticleGoogle Scholar - Gradshteyn IS, Ryzhik IM:
*Tables of Integrals, Series and Products*. Academic Press, New York, NY, USA; 1980.Google Scholar - Stuber GL:
*Principles of Mobile Communications*. Kluwer Academic Publishers, Norwell, Mass, USA; 1996.View ArticleGoogle Scholar - Simon MK, Alouini M-S:
*Digital Communication over Fading Channels*. John Wiley & Sons, New York, NY, USA; 2000.View ArticleGoogle Scholar - Hoeher P, Kaiser S, Robertson P: Two-dimensional pilot-symbol-aided channel estimation by Wiener filtering.
*Proceedings of the IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP '97), April 1997, Munich, Germany*1845-1848.Google Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.