Professional Documents
Culture Documents
Design and Analysis of Turbo Codes On Rayleigh Fading Channels
Design and Analysis of Turbo Codes On Rayleigh Fading Channels
Design and Analysis of Turbo Codes On Rayleigh Fading Channels
2, FEBRUARY 1998
Abstract— The performance and design of turbo codes using coder is constructed from simple recursive systematic convo-
coherent BPSK signaling on the Rayleigh fading channel is con- lutional (RSC) encoders connected in parallel and separated
sidered. In low signal-to-noise regions, performance analysis uses by interleavers. The decoder uses an iterative, suboptimal,
simulations of typical turbo coding systems. For higher signal-
to-noise regions beyond simulation capabilities, an average upper soft-decoding rule where each constituent RSC is decoded
bound is used in which the average is over all possible interleaving separately. The constituent decoders then participate in sharing
schemes. Fully interleaved and exponentially correlated Rayleigh of bit-likelihood information in an iterative fashion. The
channels are explored. Furthermore, the design issues relevant constituent decoders traditionally use the BCJR algorithm [4],
to turbo codes are examined for the correlated fading channel. which is a MAP symbol decoding algorithm for block and
Turbo interleaver design criteria are developed and architectural
modifications are proposed for improved performance. convolutional codes. While the global turbo decoder is not ML,
it has been shown to perform within 0.7 dB of the Shannon
Index Terms— Codes, concatenated coding, fading channels, limit on the AWGN channel for bit-error rates (BER’s) of 10
interleaved coding, Rayleigh channels.
and message lengths of 65 536 [1].
I. INTRODUCTION In this paper, we consider coherent BPSK signaling over a
nondispersive Rayleigh slow-fading channel. With appropriate
To formulate , we use the law of total probability with Hamming weight produces a codeword with Hamming
and to write weight . Substituting into (6), the average upper bound for
word and bit error can be expressed as
(3)
(4) (9)
(5)
In (8) and (9), is an expectation with respect to
The term is not a function of the conditioning ( ), the distribution . This average upper bound is attractive
therefore making its computation unnecessary in the MAP because relatively simple schemes exist for computing
algorithm [9]. It should also be noted that for the Rayleigh from the state transition matrix of the RSC [10], [11]. With
channel with average energy of 1, . , the performance of turbo codes can be studied on
various statistical channels by formulating the two-codeword
III. PERFORMANCE BOUNDING probability for the channel of interest and using (8) or
(9).
The ability to evaluate turbo codes in regions of high
signal-to-noise requires lengthy simulations or an analytic
B. for Fully Interleaved Channels with SI
bounding technique. In [10] and [11], an average upper bound
is developed for turbo codes. It is shown that this bound is very For the average upper bound, exact two-codeword probabili-
useful in determining the “error floor” as well as understanding ties or tight upper bounds are required. On the fully interleaved
the impact of constituent encoder choice and block size on channel with SI, the exact probability of incorrectly decoding
performance for the AWGN channel. Here, we apply this a codeword into a codeword which differs from in
bound to the Rayleigh fading channel. bit positions indexed by is
(6)
To compute the average word error probability, we must
average over the channel gains . The result
Here, is the number of codewords with Hamming weight is a multidimensional integral given as
and is the probability of incorrectly decoding to
a codeword with weight . For a turbo code with a fixed
interleaver, the construction of requires an exhaustive
search. Due to complexity issues involved in this search, (11)
[10] and [11] propose an average upper bound constructed If the fading amplitudes are independent, the indexes of the
by averaging over all possible interleavers. The result of this differing bit positions are of no importance—only the weight
averaging can be thought of as the traditional union upper of the incorrect codeword matters. Therefore, we can formulate
bound, but with an average weight distribution. As in [11], the two-codeword probability in terms of only the Hamming
the average weight distribution can be written as distance of the codewords as
(7)
(15)
(23)
slope
Fig. 1. Comparison of P2 (d) expressions for the fully interleaved Rayleigh channel with SI and d = 5.
C. for Fully Interleaved Channels with NSI assumption, the two-codeword probability can be bounded by
For the fully interleaved channel with NSI, we use the bound an expression which is a function of and given as
developed by Hagenauer in [8]. This bound is based on the
simplified decoding metric (5), and is given by
(27)
A. Simulation Results
For the low signal-to-noise region, analytic evaluation of
where and . turbo codes has proven very difficult. Therefore, we examine
performance based on simulations. Simulations will consider
D. for Correlated Channels with SI rate-1/3 turbo schemes using the 16-state RSC with generator
(21/37) . This scheme is often denoted (1, 21/37, 21/37) due to
For the exponentially correlated fading channel with SI, we
its construction via parallel concatenation. The 16-state RSC
will appeal to bounds developed in [5] and [6] for . In
has 6, one less than the optimum free distance code
[6], it is noted that tight bounds on require knowl-
which has 7. However, this is the encoder used in
edge of the positions of differing symbols in the codewords
original paper of turbo codes [1].
and . This bound is given as
For the fully interleaved channel, we have plotted simulation
data for rate-1/3 turbo schemes with different block sizes in
Figs. 2 and 3. Here, we are considering input frames of length
420, 5000, and 50 000 bits. In each plot, a capacity limit
is shown for reference (see the Appendix for a derivation of
(26) these limits). In all simulations, the turbo decoder uses the
BJCR algorithm with modifications found in [7]. The results
In this expression, is the Hamming distance between the for 420 are shown after eight iterations, while both
two codewords, and indicates the time spacing between 5000 and 50 000 are shown after 15 iterations.
differing code symbols with duration . For example, It should be noted the simulations without side information
(100101) compared to the all-zeros codeword has and were done using the optimum metric rather than the simplified
and . Note that there will be ’s. metric shown previously [13]. In all cases, a single turbo
For the union bound, we can loosen the bound in (26) as interleaver is used with the interleaver fixed for all simulated
in [6] and [5] by making the pessimistic assumption that all frames. For 420, a helical interleaver is used which
differing symbols are adjacent ( , ). With this has been shown to be effective on the AWGN channel [14].
164 IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, VOL. 16, NO. 2, FEBRUARY 1998
Fig. 2. Simulations on the fully interleaved Rayleigh channel with side information (SI).
Fig. 3. Simulations on the fully interleaved Rayleigh channel without side information (NSI).
For block sizes greater that 1000, it has been observed that capable of coding gains exceeding 40 dB. Without channel
randomly generated interleavers generally perform better than side information, the performance degrades approximately 0.8
deterministic interleaver designs [15]. Therefore, for dB, consistent with the corresponding capacity limits (see the
5000 and 50 000, the fixed interleaver is generated Appendix). Furthermore, the performance for 50 000
randomly and used without optimization. remains within 0.7 dB of the capacity limit for BER .
With SI, it can be observed that for 50 000, the perfor- In Figs. 4 and 5, the performance of the same turbo schemes
mance of is within 0.7 dB of the capacity limit on the Rayleigh with 420 and 5000 is shown for various fading
channel. However, even for 420, the performance is bandwidths. It can be observed that performance deteriorates
much better than uncoded BPSK which achieves BER rapidly as decreases (fading process slows). It should also
at 44 dB. Therefore, these rate-1/3 turbo codes are be noted that for large blocks, the penalty for decreased fading
HALL AND WILSON: TURBO CODES ON RAYLEIGH FADING CHANNELS 165
Fig. 4. Simulations on the exponentially correlated Rayleigh channel with k = 420 and SI.
Fig. 5. Simulations on the exponentially correlated Rayleigh channel with k = 5000 and SI.
bandwidth is less severe. For a BER and (Figs. 6–12). It should be noted that the tightness of these
0.01, the 420 scheme suffers roughly a 4-dB penalty bounds to actual simulation data from a specific interleaving
versus fully interleaved performance, while 5000 is only scheme is questionable for several reasons. These include
penalized 2 dB. Similar results can be observed for the union bound, the averaging over all interleavers, and the
0.001, implying that large blocks contribute greater diversity bounding of . This fact is illustrated in Fig. 6. It should
to the system. also be noted that the true performance of turbo codes does
not “diverge” at low SNR, as indicated by the bounds. In fact,
B. Bound Results the change in slope of the BER bound curves around 10 is
We now evaluate the average upper bounding technique not an effect of the channel, but rather an artifact of the union
for various channel models and various turbo schemes bound attributable to overcounting [11].
166 IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, VOL. 16, NO. 2, FEBRUARY 1998
Fig. 6. Simulation and average bound for (1, 21/37, 21/37), K = 420 (SI and NSI).
Fig. 7. Average upper bound results on the fully interleaved Rayleigh channel with SI using different two-codeword probabilities and the (1, 5/7, 5/7)
turbo scheme with K = 10.
In Fig. 7, a plot for small block length illustrates the effects Therefore, for an increase in block length from 100 to 1000,
of the different bounds outlined previously. Motivated the performance increase is 1/10, which can be observed in the
by this figure, the bound results in the remainder of this figures. The slopes of BER bounds will eventually converge
work will use the bound given in (24). This bound offers the to the minimum distance of the ensemble of codes. Therefore,
best compromise between performance in regions of low SNR the effects of using encoders with better free distance can be
while not requiring numerical integration. seen in Figs. 9–11. This effect is most evident is regions of
In Figs. 8 and 10, the effects of increased block length can high SNR. In regions of low SNR where our bounds are less
be observed. In [10], it is noted that the interleaver gain for useful, the actual weight spectrum becomes more important in
increased block length is proportional to for all RSC’s. influencing performance.
HALL AND WILSON: TURBO CODES ON RAYLEIGH FADING CHANNELS 167
Fig. 8. Average bounds for the fully interleaved Rayleigh channel with K = 100 and SI.
Fig. 9. Average bounds for the fully interleaved Rayleigh channel with 16-state RSC’s and SI.
Fig. 10. Average bounds for the fully interleaved Rayleigh channel with K = 100 and NSI.
Fig. 11. Average bounds for the fully interleaved Rayleigh channel with 16-state RSC’s and NSI.
a given block size and constituent encoder. In can be said in regions of high SNR, actual performance will be much
that the best scheme performs better than the ensemble bound better than the average bound due to the dramatic differences
but performance could be much better. This is due to the in the diversity orders. Again, at low SNR, the multipliers on
variation in the achievable minimum distances within the class low-weight events contribute to make the situation less clear.
of interleaving schemes for a given block size and constituent
encoder. For example, over the class of all interleavers, the (1, V. DESIGN FOR CORRELATED FADING
21/37, 21/37) turbo scheme with 420 has a worst case To examine the design of turbo codes on correlated chan-
interleaver which yields a minimum distance of ten. However, nels, we will consider the union upper bound on block-error
it is known that this scheme using a helical interleaver can probabilities for a specific turbo code rather than the ensemble
achieve a minimum Hamming distance of 22 [16]. Therefore, average considered above. The union bound for the probability
HALL AND WILSON: TURBO CODES ON RAYLEIGH FADING CHANNELS 169
Fig. 12. Average bounds for the exponentially correlated Rayleigh channel with (1, 21/37, 21/37), K = 100 and SI.
of bit error of an turbo code is given as The term is referred to as the phrase length
product and can be used as a design parameter [6].
(28)
A. Interleaver Design Issues
where is the information weight of and Using (30) and (31), we can make some statements regard-
is the two-codeword probability. A bound for this probability ing the design of turbo codes in areas of high signal-to-noise.
is given in (26). As in [6], we can loosen and simplify this In this region, error events will be dominated by codewords
bound to having minimum Hamming distance . Therefore, we can
rewrite (30) as
(29) (32)
Fig. 17. Simulation results for turbo modifications on the exponentially correlated Rayleigh channel with K = 420, BTs = 0.01, and SI.
The variable is an AWGN component, and is the channel conditioned on this knowledge. For this case, we write the
gain with Rayleigh distribution and is independent of . capacity expression as
Channel capacity is defined as the maximum over the input (33)
distribution of the mutual information between the
channel output and input . For the fading channel, (34)
if the fading amplitude is known, the mutual information is
172 IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, VOL. 16, NO. 2, FEBRUARY 1998
Fig. 18. Simulation results for turbo modifications on the exponentially correlated Rayleigh channel with K = 5000, BTs = 0.001, and SI.
and simplifies to
(35) (38)
The steps above are based on the independence of and , In this expression, is the Rayleigh pdf with average
conditional probability rules, and the law of total probability. power of 1 and is the Gaussian pdf with a mean
is the mutual information between and of and variance . The term is defined as
conditioned on knowledge of the channel gain .
is the expectation over the distribution . Based on the (39)
independence of and , this distribution can be written as
(40)
If channel side information is not available, the channel
For symmetric channels with a finite input alphabet (i.e., capacity is written
BPSK), the maximization in the capacity definition is achieved
(41)
by an equiprobable input distribution
. From the determination of
and , the capacity expression is (42)
(43)
By symmetry, is
(37)
(44)
HALL AND WILSON: TURBO CODES ON RAYLEIGH FADING CHANNELS 173
Fig. 19. Channel capacity on the fully interleaved Rayleigh channel with coherent BPSK signaling.
Int. Symp. Inform. Theory Appl., Sydney, NSW, Australia, Nov. 1994, Stephen G. Wilson (S’65–M’68) received the
pp. 1073–1077. B.S.E.E. degree from Iowa State University,
[10] S. Benedetto and G. Montorsi, “Unveiling turbo codes: Some results Ames, the M.S.E.E. degree from the University
on parallel concatenated coding schemes,” IEEE Trans. Inform. Theory, of Michigan, Ann Arbor, and the Ph.D. degree
vol. 42, pp. 409–429, Mar. 1996. in electrical engineering from the University of
[11] D. Divsalar, S. Dolinar, R. J. McEliece, and F. Pollara, “Transfer Washington, Seattle.
function bounds on the performance of turbo codes,” TDA Progr. Rep. He is currently Professor of Electrical Engineer-
42-121, JPL, Cal Tech, Aug. 1995. ing at the University of Virginia, Charlottesville. His
[12] J. Craig, “A new, simple and exact result for calculating probability for research interests are in applications of information
two-dimensional signal constellations,” in Proc. IEEE MILCOM, 1991, theory and coding to modern communication
p. 25.5.1. systems, specifically data compression of still
[13] E. K. Hall, “Performance and design of turbo codes on Rayleigh fading and moving imagery for digital transmission, and digital modulation
channels,” Master’s thesis, Univ. Virginia, Charlottsville, 1996. and coding techniques for satellite channels, wireless networks, spread
[14] A. S. Barbulescu and S. S. Pietrobon, “Terminating the trellis of turbo- spectrum technology, and transmission on time-dispersive channels. Prior
codes in the same state,” Electron. Lett., vol. 31, pp. 22–23, Jan. to joining the University of Virginia faculty, he was a Staff Engineer for
1995. the Boeing Company, Seattle, WA, engaged in system studies for deep-space
[15] S. Dolinar and D. Divsalar, “Weight distributions for turbo codes using communication, satellite air-traffic-control systems, and military spread-
random and nonrandom permutations,” TDA Progr. Rep. 42-121, JPL, spectrum modem development. He also acts as consultant to industrial
Cal Tech, Aug. 1995. organizations in the area of communication system design and analysis and
[16] W. J. Blackert, E. K. Hall, and S. G. Wilson, “An upper bound on
digital signal processing, and is the author of the graduate-level text Digital
turbo code free distance,” in Proc. IEEE Int. Conf. Commun., Dallas,
Modulation and Coding.
TX, June 1996, pp. 957–961.
Dr. Wilson is presently Area Editor for Coding Theory and Applications
[17] S. G. Wilson, Digital Modulation and Coding. Englewood Cliffs, NJ:
of the IEEE TRANSACTIONS ON COMMUNICATIONS.
Prentice-Hall, 1996.